runsolver version 3.4.0 (svn: 3018) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 15859 MiB (13204 MiB free)
  memory of node 1: 16087 MiB (13608 MiB free)
  node distances:
     10  21
     21  10

command line: runsolver -W 1800 ./pigeonPurSampling.py ./benchmarks2/sat-2002/biere/dinphil/dp12u11.shuffled.cnf 

running on 1 cores: 4

Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Linux 4.18.0-301.1.el8.x86_64
solver pid=1263086, runsolver pid=1263085
Current StackSize limit: 8192 KiB


[startup+0.100193 s]*
/proc/loadavg: 0.03 0.01 0.00 4/529 1263094
/proc/meminfo: memFree=27422432/32713960 swapFree=33554428/33554428
[pid=1263086] ppid=1263085 vsize=44412 memory=17416 CPUtime=0.07 cores=4
/proc/1263086/stat : 1263086 (pigeonPurSampli) R 1263085 1263086 1263078 0 -1 4194304 3154 0 0 0 7 0 0 0 20 0 1 0 390841363 45477888 4354 18446744073709551615 93903346155520 93903346159632 140722727290800 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 93903348260096 93903348260868 93903360933888 140722727293427 140722727293525 140722727293525 140722727296993 0
/proc/1263086/statm: 11103 4354 1531 2 0 3515 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 44412 KiB
Current children cumulated memory: 17416 KiB

[startup+0.225191 s]*
/proc/loadavg: 0.03 0.01 0.00 5/529 1263094
/proc/meminfo: memFree=27419684/32713960 swapFree=33554428/33554428
[pid=1263086] ppid=1263085 vsize=45436 memory=18472 CPUtime=0.18 cores=4
/proc/1263086/stat : 1263086 (pigeonPurSampli) R 1263085 1263086 1263078 0 -1 4194304 3436 0 0 0 18 0 0 0 20 0 1 0 390841363 46526464 4618 18446744073709551615 93903346155520 93903346159632 140722727290800 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 93903348260096 93903348260868 93903360933888 140722727293427 140722727293525 140722727293525 140722727296993 0
/proc/1263086/statm: 11359 4618 1531 2 0 3771 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 45436 KiB
Current children cumulated memory: 18472 KiB

[startup+0.323198 s]*
/proc/loadavg: 0.03 0.01 0.00 5/529 1263094
/proc/meminfo: memFree=27418900/32713960 swapFree=33554428/33554428
[pid=1263086] ppid=1263085 vsize=45436 memory=18472 CPUtime=0.26 cores=4
/proc/1263086/stat : 1263086 (pigeonPurSampli) R 1263085 1263086 1263078 0 -1 4194304 3436 0 0 0 26 0 0 0 20 0 1 0 390841363 46526464 4618 18446744073709551615 93903346155520 93903346159632 140722727290800 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 93903348260096 93903348260868 93903360933888 140722727293427 140722727293525 140722727293525 140722727296993 0
/proc/1263086/statm: 11359 4618 1531 2 0 3771 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 45436 KiB
Current children cumulated memory: 18472 KiB

[startup+0.701199 s]
/proc/loadavg: 0.03 0.01 0.00 6/529 1263094
/proc/meminfo: memFree=27418104/32713960 swapFree=33554428/33554428
[pid=1263086] ppid=1263085 vsize=45436 memory=18472 CPUtime=0.58 cores=4
/proc/1263086/stat : 1263086 (pigeonPurSampli) R 1263085 1263086 1263078 0 -1 4194304 3436 0 0 0 58 0 0 0 20 0 1 0 390841363 46526464 4618 18446744073709551615 93903346155520 93903346159632 140722727290800 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 93903348260096 93903348260868 93903360933888 140722727293427 140722727293525 140722727293525 140722727296993 0
/proc/1263086/statm: 11359 4618 1531 2 0 3771 0
Current children cumulated CPU time: 0.58 s
Current children cumulated vsize: 45436 KiB
Current children cumulated memory: 18472 KiB

[startup+1.5012 s]
/proc/loadavg: 0.03 0.01 0.00 4/529 1263094
/proc/meminfo: memFree=27418104/32713960 swapFree=33554428/33554428
[pid=1263086] ppid=1263085 vsize=45436 memory=18472 CPUtime=1.36 cores=4
/proc/1263086/stat : 1263086 (pigeonPurSampli) R 1263085 1263086 1263078 0 -1 4194304 3436 0 0 0 136 0 0 0 20 0 1 0 390841363 46526464 4618 18446744073709551615 93903346155520 93903346159632 140722727290800 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 93903348260096 93903348260868 93903360933888 140722727293427 140722727293525 140722727293525 140722727296993 0
/proc/1263086/statm: 11359 4618 1531 2 0 3771 0
Current children cumulated CPU time: 1.36 s
Current children cumulated vsize: 45436 KiB
Current children cumulated memory: 18472 KiB

[startup+3.1262 s]
/proc/loadavg: 0.27 0.06 0.02 4/529 1263094
/proc/meminfo: memFree=27418220/32713960 swapFree=33554428/33554428
[pid=1263086] ppid=1263085 vsize=45436 memory=18472 CPUtime=2.94 cores=4
/proc/1263086/stat : 1263086 (pigeonPurSampli) R 1263085 1263086 1263078 0 -1 4194304 3436 0 0 0 294 0 0 0 20 0 1 0 390841363 46526464 4618 18446744073709551615 93903346155520 93903346159632 140722727290800 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 93903348260096 93903348260868 93903360933888 140722727293427 140722727293525 140722727293525 140722727296993 0
/proc/1263086/statm: 11359 4618 1531 2 0 3771 0
Current children cumulated CPU time: 2.94 s
Current children cumulated vsize: 45436 KiB
Current children cumulated memory: 18472 KiB

[startup+6.3012 s]
/proc/loadavg: 0.27 0.06 0.02 4/529 1263094
/proc/meminfo: memFree=27418384/32713960 swapFree=33554428/33554428
[pid=1263086] ppid=1263085 vsize=45436 memory=18472 CPUtime=6.05 cores=4
/proc/1263086/stat : 1263086 (pigeonPurSampli) R 1263085 1263086 1263078 0 -1 4194304 3438 0 0 0 605 0 0 0 20 0 1 0 390841363 46526464 4618 18446744073709551615 93903346155520 93903346159632 140722727290800 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 93903348260096 93903348260868 93903360933888 140722727293427 140722727293525 140722727293525 140722727296993 0
/proc/1263086/statm: 11359 4618 1531 2 0 3771 0
Current children cumulated CPU time: 6.05 s
Current children cumulated vsize: 45436 KiB
Current children cumulated memory: 18472 KiB

[startup+12.7012 s]
/proc/loadavg: 0.49 0.11 0.03 4/529 1263094
/proc/meminfo: memFree=27417152/32713960 swapFree=33554428/33554428
[pid=1263086] ppid=1263085 vsize=45436 memory=18736 CPUtime=12.31 cores=4
/proc/1263086/stat : 1263086 (pigeonPurSampli) R 1263085 1263086 1263078 0 -1 4194304 3501 0 0 0 1231 0 0 0 20 0 1 0 390841363 46526464 4684 18446744073709551615 93903346155520 93903346159632 140722727290800 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 93903348260096 93903348260868 93903360933888 140722727293427 140722727293525 140722727293525 140722727296993 0
/proc/1263086/statm: 11359 4684 1531 2 0 3771 0
Current children cumulated CPU time: 12.31 s
Current children cumulated vsize: 45436 KiB
Current children cumulated memory: 18736 KiB

[startup+25.5012 s]
/proc/loadavg: 1.04 0.25 0.08 4/530 1263095
/proc/meminfo: memFree=27414636/32713960 swapFree=33554428/33554428
[pid=1263086] ppid=1263085 vsize=45728 memory=19264 CPUtime=24.81 cores=4
/proc/1263086/stat : 1263086 (pigeonPurSampli) R 1263085 1263086 1263078 0 -1 4194304 3617 0 0 0 2481 0 0 0 20 0 1 0 390841363 46825472 4816 18446744073709551615 93903346155520 93903346159632 140722727290800 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 93903348260096 93903348260868 93903360933888 140722727293427 140722727293525 140722727293525 140722727296993 0
/proc/1263086/statm: 11432 4816 1531 2 0 3844 0
Current children cumulated CPU time: 24.81 s
Current children cumulated vsize: 45728 KiB
Current children cumulated memory: 19264 KiB

[startup+51.1252 s]
/proc/loadavg: 1.94 0.52 0.18 4/531 1263106
/proc/meminfo: memFree=27411412/32713960 swapFree=33554428/33554428
[pid=1263086] ppid=1263085 vsize=46640 memory=20056 CPUtime=49.84 cores=4
/proc/1263086/stat : 1263086 (pigeonPurSampli) R 1263085 1263086 1263078 0 -1 4194304 3835 0 0 0 4984 0 0 0 20 0 1 0 390841363 47759360 5014 18446744073709551615 93903346155520 93903346159632 140722727290800 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 93903348260096 93903348260868 93903360933888 140722727293427 140722727293525 140722727293525 140722727296993 0
/proc/1263086/statm: 11660 5014 1531 2 0 4072 0
Current children cumulated CPU time: 49.84 s
Current children cumulated vsize: 46640 KiB
Current children cumulated memory: 20056 KiB

[startup+102.301 s]
/proc/loadavg: 2.54 0.91 0.33 4/531 1263115
/proc/meminfo: memFree=27411104/32713960 swapFree=33554428/33554428
[pid=1263086] ppid=1263085 vsize=46640 memory=20056 CPUtime=99.85 cores=4
/proc/1263086/stat : 1263086 (pigeonPurSampli) R 1263085 1263086 1263078 0 -1 4194304 3836 0 0 0 9985 0 0 0 20 0 1 0 390841363 47759360 5014 18446744073709551615 93903346155520 93903346159632 140722727290800 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 93903348260096 93903348260868 93903360933888 140722727293427 140722727293525 140722727293525 140722727296993 0
/proc/1263086/statm: 11660 5014 1531 2 0 4072 0
Current children cumulated CPU time: 99.85 s
Current children cumulated vsize: 46640 KiB
Current children cumulated memory: 20056 KiB

[startup+162.301 s]
/proc/loadavg: 2.83 1.29 0.50 4/531 1263125
/proc/meminfo: memFree=27411000/32713960 swapFree=33554428/33554428
[pid=1263086] ppid=1263085 vsize=46640 memory=20056 CPUtime=158.48 cores=4
/proc/1263086/stat : 1263086 (pigeonPurSampli) R 1263085 1263086 1263078 0 -1 4194304 3861 0 0 0 15848 0 0 0 20 0 1 0 390841363 47759360 5014 18446744073709551615 93903346155520 93903346159632 140722727290800 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 93903348260096 93903348260868 93903360933888 140722727293427 140722727293525 140722727293525 140722727296993 0
/proc/1263086/statm: 11660 5014 1531 2 0 4072 0
Current children cumulated CPU time: 158.48 s
Current children cumulated vsize: 46640 KiB
Current children cumulated memory: 20056 KiB

[startup+222.301 s]
/proc/loadavg: 2.94 1.61 0.66 4/531 1263134
/proc/meminfo: memFree=27410000/32713960 swapFree=33554428/33554428
[pid=1263086] ppid=1263085 vsize=46916 memory=20320 CPUtime=217.11 cores=4
/proc/1263086/stat : 1263086 (pigeonPurSampli) R 1263085 1263086 1263078 0 -1 4194304 3902 0 0 0 21711 0 0 0 20 0 1 0 390841363 48041984 5080 18446744073709551615 93903346155520 93903346159632 140722727290800 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 93903348260096 93903348260868 93903360933888 140722727293427 140722727293525 140722727293525 140722727296993 0
/proc/1263086/statm: 11729 5080 1531 2 0 4141 0
Current children cumulated CPU time: 217.11 s
Current children cumulated vsize: 46916 KiB
Current children cumulated memory: 20320 KiB

[startup+282.301 s]
/proc/loadavg: 2.98 1.86 0.80 4/531 1263143
/proc/meminfo: memFree=27410032/32713960 swapFree=33554428/33554428
[pid=1263086] ppid=1263085 vsize=46916 memory=20320 CPUtime=275.73 cores=4
/proc/1263086/stat : 1263086 (pigeonPurSampli) R 1263085 1263086 1263078 0 -1 4194304 3920 0 0 0 27573 0 0 0 20 0 1 0 390841363 48041984 5080 18446744073709551615 93903346155520 93903346159632 140722727290800 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 93903348260096 93903348260868 93903360933888 140722727293427 140722727293525 140722727293525 140722727296993 0
/proc/1263086/statm: 11729 5080 1531 2 0 4141 0
Current children cumulated CPU time: 275.73 s
Current children cumulated vsize: 46916 KiB
Current children cumulated memory: 20320 KiB

[startup+342.301 s]
/proc/loadavg: 2.99 2.07 0.94 4/529 1263153
/proc/meminfo: memFree=27409796/32713960 swapFree=33554428/33554428
[pid=1263086] ppid=1263085 vsize=46916 memory=20320 CPUtime=334.36 cores=4
/proc/1263086/stat : 1263086 (pigeonPurSampli) R 1263085 1263086 1263078 0 -1 4194304 3920 0 0 0 33436 0 0 0 20 0 1 0 390841363 48041984 5080 18446744073709551615 93903346155520 93903346159632 140722727290800 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 93903348260096 93903348260868 93903360933888 140722727293427 140722727293525 140722727293525 140722727296993 0
/proc/1263086/statm: 11729 5080 1531 2 0 4141 0
Current children cumulated CPU time: 334.36 s
Current children cumulated vsize: 46916 KiB
Current children cumulated memory: 20320 KiB

[startup+402.301 s]
/proc/loadavg: 3.00 2.24 1.08 4/528 1263162
/proc/meminfo: memFree=27409740/32713960 swapFree=33554428/33554428
[pid=1263086] ppid=1263085 vsize=46916 memory=20320 CPUtime=393 cores=4
/proc/1263086/stat : 1263086 (pigeonPurSampli) R 1263085 1263086 1263078 0 -1 4194304 3920 0 0 0 39300 0 0 0 20 0 1 0 390841363 48041984 5080 18446744073709551615 93903346155520 93903346159632 140722727290800 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 93903348260096 93903348260868 93903360933888 140722727293427 140722727293525 140722727293525 140722727296993 0
/proc/1263086/statm: 11729 5080 1531 2 0 4141 0
Current children cumulated CPU time: 393 s
Current children cumulated vsize: 46916 KiB
Current children cumulated memory: 20320 KiB

[startup+462.301 s]
/proc/loadavg: 3.00 2.38 1.20 4/528 1263171
/proc/meminfo: memFree=27409604/32713960 swapFree=33554428/33554428
[pid=1263086] ppid=1263085 vsize=46916 memory=20320 CPUtime=451.63 cores=4
/proc/1263086/stat : 1263086 (pigeonPurSampli) R 1263085 1263086 1263078 0 -1 4194304 3920 0 0 0 45163 0 0 0 20 0 1 0 390841363 48041984 5080 18446744073709551615 93903346155520 93903346159632 140722727290800 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 93903348260096 93903348260868 93903360933888 140722727293427 140722727293525 140722727293525 140722727296993 0
/proc/1263086/statm: 11729 5080 1531 2 0 4141 0
Current children cumulated CPU time: 451.63 s
Current children cumulated vsize: 46916 KiB
Current children cumulated memory: 20320 KiB

[startup+522.301 s]
/proc/loadavg: 3.00 2.50 1.31 4/528 1263181
/proc/meminfo: memFree=27409332/32713960 swapFree=33554428/33554428
[pid=1263086] ppid=1263085 vsize=46916 memory=20320 CPUtime=510.27 cores=4
/proc/1263086/stat : 1263086 (pigeonPurSampli) R 1263085 1263086 1263078 0 -1 4194304 3929 0 0 0 51027 0 0 0 20 0 1 0 390841363 48041984 5080 18446744073709551615 93903346155520 93903346159632 140722727290800 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 93903348260096 93903348260868 93903360933888 140722727293427 140722727293525 140722727293525 140722727296993 0
/proc/1263086/statm: 11729 5080 1531 2 0 4141 0
Current children cumulated CPU time: 510.27 s
Current children cumulated vsize: 46916 KiB
Current children cumulated memory: 20320 KiB

[startup+582.301 s]
/proc/loadavg: 4.41 2.95 1.54 4/528 1263190
/proc/meminfo: memFree=27409388/32713960 swapFree=33554428/33554428
[pid=1263086] ppid=1263085 vsize=46916 memory=20320 CPUtime=568.91 cores=4
/proc/1263086/stat : 1263086 (pigeonPurSampli) R 1263085 1263086 1263078 0 -1 4194304 3929 0 0 0 56891 0 0 0 20 0 1 0 390841363 48041984 5080 18446744073709551615 93903346155520 93903346159632 140722727290800 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 93903348260096 93903348260868 93903360933888 140722727293427 140722727293525 140722727293525 140722727296993 0
/proc/1263086/statm: 11729 5080 1531 2 0 4141 0
Current children cumulated CPU time: 568.91 s
Current children cumulated vsize: 46916 KiB
Current children cumulated memory: 20320 KiB

[startup+642.301 s]
/proc/loadavg: 5.62 3.57 1.85 4/528 1263200
/proc/meminfo: memFree=27409260/32713960 swapFree=33554428/33554428
[pid=1263086] ppid=1263085 vsize=47060 memory=20584 CPUtime=627.54 cores=4
/proc/1263086/stat : 1263086 (pigeonPurSampli) R 1263085 1263086 1263078 0 -1 4194304 3938 0 0 0 62754 0 0 0 20 0 1 0 390841363 48189440 5146 18446744073709551615 93903346155520 93903346159632 140722727290800 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 93903348260096 93903348260868 93903360933888 140722727293427 140722727293525 140722727293525 140722727296993 0
/proc/1263086/statm: 11765 5146 1531 2 0 4177 0
Current children cumulated CPU time: 627.54 s
Current children cumulated vsize: 47060 KiB
Current children cumulated memory: 20584 KiB

[startup+702.301 s]
/proc/loadavg: 4.54 3.67 1.99 4/529 1263210
/proc/meminfo: memFree=27408496/32713960 swapFree=33554428/33554428
[pid=1263086] ppid=1263085 vsize=47060 memory=20584 CPUtime=686.18 cores=4
/proc/1263086/stat : 1263086 (pigeonPurSampli) R 1263085 1263086 1263078 0 -1 4194304 3938 0 0 0 68618 0 0 0 20 0 1 0 390841363 48189440 5146 18446744073709551615 93903346155520 93903346159632 140722727290800 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 93903348260096 93903348260868 93903360933888 140722727293427 140722727293525 140722727293525 140722727296993 0
/proc/1263086/statm: 11765 5146 1531 2 0 4177 0
Current children cumulated CPU time: 686.18 s
Current children cumulated vsize: 47060 KiB
Current children cumulated memory: 20584 KiB

[startup+762.301 s]
/proc/loadavg: 3.60 3.56 2.06 4/529 1263220
/proc/meminfo: memFree=27408456/32713960 swapFree=33554428/33554428
[pid=1263086] ppid=1263085 vsize=47060 memory=20584 CPUtime=744.81 cores=4
/proc/1263086/stat : 1263086 (pigeonPurSampli) R 1263085 1263086 1263078 0 -1 4194304 3955 0 0 0 74481 0 0 0 20 0 1 0 390841363 48189440 5146 18446744073709551615 93903346155520 93903346159632 140722727290800 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 93903348260096 93903348260868 93903360933888 140722727293427 140722727293525 140722727293525 140722727296993 0
/proc/1263086/statm: 11765 5146 1531 2 0 4177 0
Current children cumulated CPU time: 744.81 s
Current children cumulated vsize: 47060 KiB
Current children cumulated memory: 20584 KiB

[startup+822.301 s]
/proc/loadavg: 3.22 3.45 2.13 4/529 1263229
/proc/meminfo: memFree=27408432/32713960 swapFree=33554428/33554428
[pid=1263086] ppid=1263085 vsize=47060 memory=20584 CPUtime=803.45 cores=4
/proc/1263086/stat : 1263086 (pigeonPurSampli) R 1263085 1263086 1263078 0 -1 4194304 3956 0 0 0 80345 0 0 0 20 0 1 0 390841363 48189440 5146 18446744073709551615 93903346155520 93903346159632 140722727290800 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 93903348260096 93903348260868 93903360933888 140722727293427 140722727293525 140722727293525 140722727296993 0
/proc/1263086/statm: 11765 5146 1531 2 0 4177 0
Current children cumulated CPU time: 803.45 s
Current children cumulated vsize: 47060 KiB
Current children cumulated memory: 20584 KiB

[startup+882.301 s]
/proc/loadavg: 3.08 3.37 2.18 4/530 1263250
/proc/meminfo: memFree=27408412/32713960 swapFree=33554428/33554428
[pid=1263086] ppid=1263085 vsize=47060 memory=20584 CPUtime=862.07 cores=4
/proc/1263086/stat : 1263086 (pigeonPurSampli) R 1263085 1263086 1263078 0 -1 4194304 3956 0 0 0 86207 0 0 0 20 0 1 0 390841363 48189440 5146 18446744073709551615 93903346155520 93903346159632 140722727290800 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 93903348260096 93903348260868 93903360933888 140722727293427 140722727293525 140722727293525 140722727296993 0
/proc/1263086/statm: 11765 5146 1531 2 0 4177 0
Current children cumulated CPU time: 862.07 s
Current children cumulated vsize: 47060 KiB
Current children cumulated memory: 20584 KiB

[startup+942.301 s]
/proc/loadavg: 3.03 3.30 2.24 4/530 1263260
/proc/meminfo: memFree=27408428/32713960 swapFree=33554428/33554428
[pid=1263086] ppid=1263085 vsize=47060 memory=20584 CPUtime=920.7 cores=4
/proc/1263086/stat : 1263086 (pigeonPurSampli) R 1263085 1263086 1263078 0 -1 4194304 3956 0 0 0 92070 0 0 0 20 0 1 0 390841363 48189440 5146 18446744073709551615 93903346155520 93903346159632 140722727290800 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 93903348260096 93903348260868 93903360933888 140722727293427 140722727293525 140722727293525 140722727296993 0
/proc/1263086/statm: 11765 5146 1531 2 0 4177 0
Current children cumulated CPU time: 920.7 s
Current children cumulated vsize: 47060 KiB
Current children cumulated memory: 20584 KiB

[startup+1002.3 s]
/proc/loadavg: 3.22 3.30 2.31 4/530 1263269
/proc/meminfo: memFree=27408336/32713960 swapFree=33554428/33554428
[pid=1263086] ppid=1263085 vsize=47060 memory=20584 CPUtime=979.33 cores=4
/proc/1263086/stat : 1263086 (pigeonPurSampli) R 1263085 1263086 1263078 0 -1 4194304 3956 0 0 0 97933 0 0 0 20 0 1 0 390841363 48189440 5146 18446744073709551615 93903346155520 93903346159632 140722727290800 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 93903348260096 93903348260868 93903360933888 140722727293427 140722727293525 140722727293525 140722727296993 0
/proc/1263086/statm: 11765 5146 1531 2 0 4177 0
Current children cumulated CPU time: 979.33 s
Current children cumulated vsize: 47060 KiB
Current children cumulated memory: 20584 KiB

[startup+1062.3 s]
/proc/loadavg: 3.08 3.25 2.36 4/529 1263278
/proc/meminfo: memFree=27408420/32713960 swapFree=33554428/33554428
[pid=1263086] ppid=1263085 vsize=47060 memory=20584 CPUtime=1037.95 cores=4
/proc/1263086/stat : 1263086 (pigeonPurSampli) R 1263085 1263086 1263078 0 -1 4194304 3956 0 0 0 103795 0 0 0 20 0 1 0 390841363 48189440 5146 18446744073709551615 93903346155520 93903346159632 140722727290800 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 93903348260096 93903348260868 93903360933888 140722727293427 140722727293525 140722727293525 140722727296993 0
/proc/1263086/statm: 11765 5146 1531 2 0 4177 0
Current children cumulated CPU time: 1037.95 s
Current children cumulated vsize: 47060 KiB
Current children cumulated memory: 20584 KiB

[startup+1122.3 s]
/proc/loadavg: 3.11 3.22 2.40 4/529 1263288
/proc/meminfo: memFree=27408452/32713960 swapFree=33554428/33554428
[pid=1263086] ppid=1263085 vsize=47060 memory=20584 CPUtime=1096.59 cores=4
/proc/1263086/stat : 1263086 (pigeonPurSampli) R 1263085 1263086 1263078 0 -1 4194304 3956 0 0 0 109658 1 0 0 20 0 1 0 390841363 48189440 5146 18446744073709551615 93903346155520 93903346159632 140722727290800 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 93903348260096 93903348260868 93903360933888 140722727293427 140722727293525 140722727293525 140722727296993 0
/proc/1263086/statm: 11765 5146 1531 2 0 4177 0
Current children cumulated CPU time: 1096.59 s
Current children cumulated vsize: 47060 KiB
Current children cumulated memory: 20584 KiB

[startup+1182.3 s]
/proc/loadavg: 3.24 3.24 2.46 4/528 1263297
/proc/meminfo: memFree=27408264/32713960 swapFree=33554428/33554428
[pid=1263086] ppid=1263085 vsize=47060 memory=20584 CPUtime=1155.23 cores=4
/proc/1263086/stat : 1263086 (pigeonPurSampli) R 1263085 1263086 1263078 0 -1 4194304 3956 0 0 0 115522 1 0 0 20 0 1 0 390841363 48189440 5146 18446744073709551615 93903346155520 93903346159632 140722727290800 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 93903348260096 93903348260868 93903360933888 140722727293427 140722727293525 140722727293525 140722727296993 0
/proc/1263086/statm: 11765 5146 1531 2 0 4177 0
Current children cumulated CPU time: 1155.23 s
Current children cumulated vsize: 47060 KiB
Current children cumulated memory: 20584 KiB

[startup+1242.3 s]
/proc/loadavg: 3.09 3.19 2.50 4/531 1263316
/proc/meminfo: memFree=27405208/32713960 swapFree=33554428/33554428
[pid=1263086] ppid=1263085 vsize=47060 memory=20612 CPUtime=1213.85 cores=4
/proc/1263086/stat : 1263086 (pigeonPurSampli) R 1263085 1263086 1263078 0 -1 4194304 3976 0 0 0 121384 1 0 0 20 0 1 0 390841363 48189440 5153 18446744073709551615 93903346155520 93903346159632 140722727290800 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 93903348260096 93903348260868 93903360933888 140722727293427 140722727293525 140722727293525 140722727296993 0
/proc/1263086/statm: 11765 5153 1531 2 0 4177 0
Current children cumulated CPU time: 1213.85 s
Current children cumulated vsize: 47060 KiB
Current children cumulated memory: 20612 KiB

[startup+1302.3 s]
/proc/loadavg: 3.03 3.15 2.53 4/531 1263329
/proc/meminfo: memFree=27406764/32713960 swapFree=33554428/33554428
[pid=1263086] ppid=1263085 vsize=47060 memory=20708 CPUtime=1272.49 cores=4
/proc/1263086/stat : 1263086 (pigeonPurSampli) R 1263085 1263086 1263078 0 -1 4194304 4000 0 0 0 127248 1 0 0 20 0 1 0 390841363 48189440 5177 18446744073709551615 93903346155520 93903346159632 140722727290800 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 93903348260096 93903348260868 93903360933888 140722727293427 140722727293525 140722727293525 140722727296993 0
/proc/1263086/statm: 11765 5177 1531 2 0 4177 0
Current children cumulated CPU time: 1272.49 s
Current children cumulated vsize: 47060 KiB
Current children cumulated memory: 20708 KiB

[startup+1362.3 s]
/proc/loadavg: 3.07 3.14 2.57 4/531 1263339
/proc/meminfo: memFree=27406884/32713960 swapFree=33554428/33554428
[pid=1263086] ppid=1263085 vsize=47060 memory=20708 CPUtime=1331.12 cores=4
/proc/1263086/stat : 1263086 (pigeonPurSampli) R 1263085 1263086 1263078 0 -1 4194304 4016 0 0 0 133111 1 0 0 20 0 1 0 390841363 48189440 5177 18446744073709551615 93903346155520 93903346159632 140722727290800 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 93903348260096 93903348260868 93903360933888 140722727293427 140722727293525 140722727293525 140722727296993 0
/proc/1263086/statm: 11765 5177 1531 2 0 4177 0
Current children cumulated CPU time: 1331.12 s
Current children cumulated vsize: 47060 KiB
Current children cumulated memory: 20708 KiB

[startup+1422.3 s]
/proc/loadavg: 3.02 3.11 2.60 4/531 1263348
/proc/meminfo: memFree=27406940/32713960 swapFree=33554428/33554428
[pid=1263086] ppid=1263085 vsize=47060 memory=20708 CPUtime=1389.75 cores=4
/proc/1263086/stat : 1263086 (pigeonPurSampli) R 1263085 1263086 1263078 0 -1 4194304 4020 0 0 0 138974 1 0 0 20 0 1 0 390841363 48189440 5177 18446744073709551615 93903346155520 93903346159632 140722727290800 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 93903348260096 93903348260868 93903360933888 140722727293427 140722727293525 140722727293525 140722727296993 0
/proc/1263086/statm: 11765 5177 1531 2 0 4177 0
Current children cumulated CPU time: 1389.75 s
Current children cumulated vsize: 47060 KiB
Current children cumulated memory: 20708 KiB

[startup+1482.3 s]
/proc/loadavg: 3.01 3.09 2.63 4/531 1263357
/proc/meminfo: memFree=27406932/32713960 swapFree=33554428/33554428
[pid=1263086] ppid=1263085 vsize=47060 memory=20708 CPUtime=1448.37 cores=4
/proc/1263086/stat : 1263086 (pigeonPurSampli) R 1263085 1263086 1263078 0 -1 4194304 4024 0 0 0 144836 1 0 0 20 0 1 0 390841363 48189440 5177 18446744073709551615 93903346155520 93903346159632 140722727290800 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 93903348260096 93903348260868 93903360933888 140722727293427 140722727293525 140722727293525 140722727296993 0
/proc/1263086/statm: 11765 5177 1531 2 0 4177 0
Current children cumulated CPU time: 1448.37 s
Current children cumulated vsize: 47060 KiB
Current children cumulated memory: 20708 KiB

[startup+1542.3 s]
/proc/loadavg: 3.08 3.09 2.66 4/532 1263368
/proc/meminfo: memFree=27406836/32713960 swapFree=33554428/33554428
[pid=1263086] ppid=1263085 vsize=47192 memory=20708 CPUtime=1506.99 cores=4
/proc/1263086/stat : 1263086 (pigeonPurSampli) R 1263085 1263086 1263078 0 -1 4194304 4052 0 0 0 150698 1 0 0 20 0 1 0 390841363 48324608 5177 18446744073709551615 93903346155520 93903346159632 140722727290800 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 93903348260096 93903348260868 93903360933888 140722727293427 140722727293525 140722727293525 140722727296993 0
/proc/1263086/statm: 11798 5177 1531 2 0 4210 0
Current children cumulated CPU time: 1506.99 s
Current children cumulated vsize: 47192 KiB
Current children cumulated memory: 20708 KiB

[startup+1602.3 s]
/proc/loadavg: 3.14 3.11 2.70 4/529 1263378
/proc/meminfo: memFree=27406812/32713960 swapFree=33554428/33554428
[pid=1263086] ppid=1263085 vsize=47192 memory=20708 CPUtime=1565.62 cores=4
/proc/1263086/stat : 1263086 (pigeonPurSampli) R 1263085 1263086 1263078 0 -1 4194304 4057 0 0 0 156561 1 0 0 20 0 1 0 390841363 48324608 5177 18446744073709551615 93903346155520 93903346159632 140722727290800 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 93903348260096 93903348260868 93903360933888 140722727293427 140722727293525 140722727293525 140722727296993 0
/proc/1263086/statm: 11798 5177 1531 2 0 4210 0
Current children cumulated CPU time: 1565.62 s
Current children cumulated vsize: 47192 KiB
Current children cumulated memory: 20708 KiB

[startup+1662.3 s]
/proc/loadavg: 3.05 3.09 2.72 4/529 1263387
/proc/meminfo: memFree=27406736/32713960 swapFree=33554428/33554428
[pid=1263086] ppid=1263085 vsize=47192 memory=20708 CPUtime=1624.26 cores=4
/proc/1263086/stat : 1263086 (pigeonPurSampli) R 1263085 1263086 1263078 0 -1 4194304 4061 0 0 0 162425 1 0 0 20 0 1 0 390841363 48324608 5177 18446744073709551615 93903346155520 93903346159632 140722727290800 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 93903348260096 93903348260868 93903360933888 140722727293427 140722727293525 140722727293525 140722727296993 0
/proc/1263086/statm: 11798 5177 1531 2 0 4210 0
Current children cumulated CPU time: 1624.26 s
Current children cumulated vsize: 47192 KiB
Current children cumulated memory: 20708 KiB

[startup+1722.3 s]
/proc/loadavg: 3.02 3.07 2.74 4/529 1263400
/proc/meminfo: memFree=27406164/32713960 swapFree=33554428/33554428
[pid=1263086] ppid=1263085 vsize=47192 memory=20840 CPUtime=1682.9 cores=4
/proc/1263086/stat : 1263086 (pigeonPurSampli) R 1263085 1263086 1263078 0 -1 4194304 4065 0 0 0 168289 1 0 0 20 0 1 0 390841363 48324608 5210 18446744073709551615 93903346155520 93903346159632 140722727290800 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 93903348260096 93903348260868 93903360933888 140722727293427 140722727293525 140722727293525 140722727296993 0
/proc/1263086/statm: 11798 5210 1531 2 0 4210 0
Current children cumulated CPU time: 1682.9 s
Current children cumulated vsize: 47192 KiB
Current children cumulated memory: 20840 KiB

[startup+1782.3 s]
/proc/loadavg: 3.00 3.05 2.76 4/529 1263409
/proc/meminfo: memFree=27406204/32713960 swapFree=33554428/33554428
[pid=1263086] ppid=1263085 vsize=47192 memory=20840 CPUtime=1741.54 cores=4
/proc/1263086/stat : 1263086 (pigeonPurSampli) R 1263085 1263086 1263078 0 -1 4194304 4069 0 0 0 174153 1 0 0 20 0 1 0 390841363 48324608 5210 18446744073709551615 93903346155520 93903346159632 140722727290800 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 93903348260096 93903348260868 93903360933888 140722727293427 140722727293525 140722727293525 140722727296993 0
/proc/1263086/statm: 11798 5210 1531 2 0 4210 0
Current children cumulated CPU time: 1741.54 s
Current children cumulated vsize: 47192 KiB
Current children cumulated memory: 20840 KiB
slurmstepd: error: *** JOB 4294 ON node130 CANCELLED AT 2021-07-15T10:17:08 DUE TO TIME LIMIT ***

Detected pigeons:

[startup+1799.42 s]
# the end of solver process 1263086 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1758.26 s, system=0.014874 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1792 s]*
/proc/loadavg: 3.00 3.05 2.76 4/529 1263410
/proc/meminfo: memFree=27406168/32713960 swapFree=33554428/33554428
[pid=1263086] ppid=1263085 vsize=47192 memory=20840 CPUtime=1751.03 cores=4
/proc/1263086/stat : 1263086 (pigeonPurSampli) R 1263085 1263086 1263078 0 -1 4194304 4069 0 0 0 175102 1 0 0 20 0 1 0 390841363 48324608 5210 18446744073709551615 93903346155520 93903346159632 140722727290800 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 93903348260096 93903348260868 93903360933888 140722727293427 140722727293525 140722727293525 140722727296993 0
/proc/1263086/statm: 11798 5210 1531 2 0 4210 0
Current children cumulated CPU time: 1751.03 s
Current children cumulated vsize: 47192 KiB
Current children cumulated memory: 20840 KiB

[startup+1795.2 s]
/proc/loadavg: 3.00 3.05 2.76 4/529 1263410
/proc/meminfo: memFree=27406208/32713960 swapFree=33554428/33554428
[pid=1263086] ppid=1263085 vsize=47192 memory=20840 CPUtime=1754.14 cores=4
/proc/1263086/stat : 1263086 (pigeonPurSampli) R 1263085 1263086 1263078 0 -1 4194304 4069 0 0 0 175413 1 0 0 20 0 1 0 390841363 48324608 5210 18446744073709551615 93903346155520 93903346159632 140722727290800 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 93903348260096 93903348260868 93903360933888 140722727293427 140722727293525 140722727293525 140722727296993 0
/proc/1263086/statm: 11798 5210 1531 2 0 4210 0
Current children cumulated CPU time: 1754.14 s
Current children cumulated vsize: 47192 KiB
Current children cumulated memory: 20840 KiB

[startup+1796.8 s]
/proc/loadavg: 3.00 3.05 2.76 4/529 1263410
/proc/meminfo: memFree=27406192/32713960 swapFree=33554428/33554428
[pid=1263086] ppid=1263085 vsize=47192 memory=20840 CPUtime=1755.72 cores=4
/proc/1263086/stat : 1263086 (pigeonPurSampli) R 1263085 1263086 1263078 0 -1 4194304 4069 0 0 0 175571 1 0 0 20 0 1 0 390841363 48324608 5210 18446744073709551615 93903346155520 93903346159632 140722727290800 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 93903348260096 93903348260868 93903360933888 140722727293427 140722727293525 140722727293525 140722727296993 0
/proc/1263086/statm: 11798 5210 1531 2 0 4210 0
Current children cumulated CPU time: 1755.72 s
Current children cumulated vsize: 47192 KiB
Current children cumulated memory: 20840 KiB

[startup+1798.4 s]
/proc/loadavg: 3.00 3.05 2.76 4/528 1263410
/proc/meminfo: memFree=27406208/32713960 swapFree=33554428/33554428
[pid=1263086] ppid=1263085 vsize=47192 memory=20840 CPUtime=1757.27 cores=4
/proc/1263086/stat : 1263086 (pigeonPurSampli) R 1263085 1263086 1263078 0 -1 4194304 4069 0 0 0 175726 1 0 0 20 0 1 0 390841363 48324608 5210 18446744073709551615 93903346155520 93903346159632 140722727290800 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 93903348260096 93903348260868 93903360933888 140722727293427 140722727293525 140722727293525 140722727296993 0
/proc/1263086/statm: 11798 5210 1531 2 0 4210 0
Current children cumulated CPU time: 1757.27 s
Current children cumulated vsize: 47192 KiB
Current children cumulated memory: 20840 KiB

[startup+1799.2 s]
/proc/loadavg: 3.00 3.05 2.77 4/528 1263410
/proc/meminfo: memFree=27406200/32713960 swapFree=33554428/33554428
[pid=1263086] ppid=1263085 vsize=47192 memory=20840 CPUtime=1758.05 cores=4
/proc/1263086/stat : 1263086 (pigeonPurSampli) R 1263085 1263086 1263078 0 -1 4194304 4069 0 0 0 175804 1 0 0 20 0 1 0 390841363 48324608 5210 18446744073709551615 93903346155520 93903346159632 140722727290800 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 93903348260096 93903348260868 93903360933888 140722727293427 140722727293525 140722727293525 140722727296993 0
/proc/1263086/statm: 11798 5210 1531 2 0 4210 0
Current children cumulated CPU time: 1758.05 s
Current children cumulated vsize: 47192 KiB
Current children cumulated memory: 20840 KiB

[startup+1799.4 s]
/proc/loadavg: 3.00 3.05 2.77 4/528 1263410
/proc/meminfo: memFree=27406200/32713960 swapFree=33554428/33554428
[pid=1263086] ppid=1263085 vsize=47192 memory=20840 CPUtime=1758.25 cores=4
/proc/1263086/stat : 1263086 (pigeonPurSampli) R 1263085 1263086 1263078 0 -1 4194304 4069 0 0 0 175824 1 0 0 20 0 1 0 390841363 48324608 5210 18446744073709551615 93903346155520 93903346159632 140722727290800 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 93903348260096 93903348260868 93903360933888 140722727293427 140722727293525 140722727293525 140722727296993 0
/proc/1263086/statm: 11798 5210 1531 2 0 4210 0
Current children cumulated CPU time: 1758.25 s
Current children cumulated vsize: 47192 KiB
Current children cumulated memory: 20840 KiB

Child status: 1
Real time (s): 1799.42
CPU time (s): 1758.28
CPU user time (s): 1758.26
CPU system time (s): 0.014874
CPU usage (%): 97.7136
Max. virtual memory (cumulated for all children) (KiB): 47192
Max. memory (cumulated for all children) (KiB): 20840

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1758.26
system time used= 0.014874
maximum resident set size= 20840
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4071
page faults= 0
swaps= 0
block input operations= 936
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 31
involuntary context switches= 24688


# summary of solver processes directly reported to runsolver:
#   pid: 1263086
#   total CPU time (s): 1758.28
#   total CPU user time (s): 1758.26
#   total CPU system time (s): 0.014874

??? end of timestamper thread
runsolver used 14.1891 second user time and 18.9824 second system time

The end
