runsolver version 3.4.2 (svn: 4680) 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: 63708 MiB (61715 MiB free)
  memory of node 1: 64465 MiB (63347 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4519213-1751552888/watcher-4519213-1751552888 -o /tmp/evaluation-result-4519213-1751552888/solver-4519213-1751552888 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751552888-75374 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4519213-1751552888.opb -total-t=3600 -no-par -v0 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=75431, runsolver pid=75420
Current StackSize limit: 8192 KiB


[startup+0.100059 s]*
/proc/loadavg: 0.18 0.69 1.40 6/266 75433
/proc/meminfo: memFree=127988856/131250000 swapFree=33007332/33010684
[pid=75431] ppid=75420 vsize=52084 memory=42688 CPUtime=0.09 cores=1,3
/proc/75431/stat : 75431 (CASHWMaxSAT-Dis) R 75420 75431 75315 0 -1 4194304 8527 0 0 0 8 1 0 0 20 0 1 0 70966364 53334016 10672 18446744073709551615 4198400 14817773 140722475981232 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 54157312 140722475989354 140722475989469 140722475989469 140722475995071 0
/proc/75431/statm: 13021 10672 2528 2593 0 9914 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 52084 KiB
Current children cumulated memory: 42688 KiB

[startup+0.205774 s]*
/proc/loadavg: 0.18 0.69 1.40 6/266 75433
/proc/meminfo: memFree=127961388/131250000 swapFree=33007332/33010684
[pid=75431] ppid=75420 vsize=57616 memory=48204 CPUtime=0.2 cores=1,3
/proc/75431/stat : 75431 (CASHWMaxSAT-Dis) R 75420 75431 75315 0 -1 4194304 9938 0 0 0 19 1 0 0 20 0 1 0 70966364 58998784 12051 18446744073709551615 4198400 14817773 140722475981232 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 54157312 140722475989354 140722475989469 140722475989469 140722475995071 0
/proc/75431/statm: 14404 12051 2624 2593 0 11297 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 57616 KiB
Current children cumulated memory: 48204 KiB

[startup+0.305684 s]*
/proc/loadavg: 0.18 0.69 1.40 6/266 75433
/proc/meminfo: memFree=127914264/131250000 swapFree=33007332/33010684
[pid=75431] ppid=75420 vsize=83152 memory=71884 CPUtime=0.3 cores=1,3
/proc/75431/stat : 75431 (CASHWMaxSAT-Dis) R 75420 75431 75315 0 -1 4194304 15886 0 0 0 27 3 0 0 20 0 1 0 70966364 85147648 17971 18446744073709551615 4198400 14817773 140722475981232 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 54157312 140722475989354 140722475989469 140722475989469 140722475995071 0
/proc/75431/statm: 20788 17971 2624 2593 0 17681 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 83152 KiB
Current children cumulated memory: 71884 KiB

[startup+0.700168 s]
/proc/loadavg: 0.18 0.69 1.40 6/266 75433
/proc/meminfo: memFree=127889568/131250000 swapFree=33007332/33010684
[pid=75431] ppid=75420 vsize=96740 memory=86072 CPUtime=0.69 cores=1,3
/proc/75431/stat : 75431 (CASHWMaxSAT-Dis) R 75420 75431 75315 0 -1 4194304 20469 0 0 0 65 4 0 0 20 0 1 0 70966364 99061760 21518 18446744073709551615 4198400 14817773 140722475981232 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 54157312 140722475989354 140722475989469 140722475989469 140722475995071 0
/proc/75431/statm: 24185 21518 2624 2593 0 21078 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 96740 KiB
Current children cumulated memory: 86072 KiB

[startup+1.50017 s]
/proc/loadavg: 0.18 0.69 1.40 6/266 75433
/proc/meminfo: memFree=127865124/131250000 swapFree=33007332/33010684
[pid=75431] ppid=75420 vsize=122908 memory=110392 CPUtime=1.49 cores=1,3
/proc/75431/stat : 75431 (CASHWMaxSAT-Dis) R 75420 75431 75315 0 -1 4194304 26568 0 0 0 144 5 0 0 20 0 1 0 70966364 125857792 27598 18446744073709551615 4198400 14817773 140722475981232 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 54157312 140722475989354 140722475989469 140722475989469 140722475995071 0
/proc/75431/statm: 30727 27598 2624 2593 0 27620 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 122908 KiB
Current children cumulated memory: 110392 KiB

[startup+3.10562 s]
/proc/loadavg: 0.18 0.69 1.40 6/266 75433
/proc/meminfo: memFree=127836152/131250000 swapFree=33007332/33010684
[pid=75431] ppid=75420 vsize=135184 memory=117304 CPUtime=3.08 cores=1,3
/proc/75431/stat : 75431 (CASHWMaxSAT-Dis) R 75420 75431 75315 0 -1 4194304 28302 0 0 0 303 5 0 0 20 0 1 0 70966364 138428416 29326 18446744073709551615 4198400 14817773 140722475981232 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 54157312 140722475989354 140722475989469 140722475989469 140722475995071 0
/proc/75431/statm: 33796 29326 2624 2593 0 30689 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 135184 KiB
Current children cumulated memory: 117304 KiB

[startup+6.3001 s]
/proc/loadavg: 0.48 0.74 1.41 6/266 75433
/proc/meminfo: memFree=127824016/131250000 swapFree=33007332/33010684
[pid=75431] ppid=75420 vsize=136112 memory=117944 CPUtime=6.27 cores=1,3
/proc/75431/stat : 75431 (CASHWMaxSAT-Dis) R 75420 75431 75315 0 -1 4194304 28458 0 0 0 622 5 0 0 20 0 1 0 70966364 139378688 29486 18446744073709551615 4198400 14817773 140722475981232 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 54157312 140722475989354 140722475989469 140722475989469 140722475995071 0
/proc/75431/statm: 34028 29486 2624 2593 0 30921 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 136112 KiB
Current children cumulated memory: 117944 KiB

[startup+12.7001 s]
/proc/loadavg: 0.77 0.80 1.42 6/266 75433
/proc/meminfo: memFree=127792580/131250000 swapFree=33007332/33010684
[pid=75431] ppid=75420 vsize=149768 memory=131012 CPUtime=12.66 cores=1,3
/proc/75431/stat : 75431 (CASHWMaxSAT-Dis) R 75420 75431 75315 0 -1 4194304 32069 0 0 0 1260 6 0 0 20 0 1 0 70966364 153362432 32753 18446744073709551615 4198400 14817773 140722475981232 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 54157312 140722475989354 140722475989469 140722475989469 140722475995071 0
/proc/75431/statm: 37442 32753 2624 2593 0 34335 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 149768 KiB
Current children cumulated memory: 131012 KiB

[startup+25.5002 s]
/proc/loadavg: 1.48 0.96 1.47 6/267 75434
/proc/meminfo: memFree=127748264/131250000 swapFree=33007332/33010684
[pid=75431] ppid=75420 vsize=156904 memory=138692 CPUtime=25.42 cores=1,3
/proc/75431/stat : 75431 (CASHWMaxSAT-Dis) R 75420 75431 75315 0 -1 4194304 33974 0 0 0 2536 6 0 0 20 0 1 0 70966364 160669696 34673 18446744073709551615 4198400 14817773 140722475981232 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 54157312 140722475989354 140722475989469 140722475989469 140722475995071 0
/proc/75431/statm: 39226 34673 2624 2593 0 36119 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 156904 KiB
Current children cumulated memory: 138692 KiB

[startup+51.1056 s]
/proc/loadavg: 2.34 1.20 1.54 6/267 75434
/proc/meminfo: memFree=127672144/131250000 swapFree=33007332/33010684
[pid=75431] ppid=75420 vsize=203580 memory=180432 CPUtime=50.97 cores=1,3
/proc/75431/stat : 75431 (CASHWMaxSAT-Dis) R 75420 75431 75315 0 -1 4194304 44563 0 0 0 5088 9 0 0 20 0 1 0 70966364 208465920 45108 18446744073709551615 4198400 14817773 140722475981232 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 54157312 140722475989354 140722475989469 140722475989469 140722475995071 0
/proc/75431/statm: 50895 45108 2624 2593 0 47788 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 203580 KiB
Current children cumulated memory: 180432 KiB

[startup+102.3 s]
/proc/loadavg: 3.33 1.65 1.67 6/267 75436
/proc/meminfo: memFree=127580792/131250000 swapFree=33007332/33010684
[pid=75431] ppid=75420 vsize=219020 memory=195152 CPUtime=102.02 cores=1,3
/proc/75431/stat : 75431 (CASHWMaxSAT-Dis) R 75420 75431 75315 0 -1 4194304 48267 0 0 0 10192 10 0 0 20 0 1 0 70966364 224276480 48788 18446744073709551615 4198400 14817773 140722475981232 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 54157312 140722475989354 140722475989469 140722475989469 140722475995071 0
/proc/75431/statm: 54755 48788 2624 2593 0 51648 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 219020 KiB
Current children cumulated memory: 195152 KiB

[startup+162.3 s]
/proc/loadavg: 3.86 2.11 1.83 6/267 75439
/proc/meminfo: memFree=127565024/131250000 swapFree=33007332/33010684
[pid=75431] ppid=75420 vsize=238560 memory=214992 CPUtime=161.85 cores=1,3
/proc/75431/stat : 75431 (CASHWMaxSAT-Dis) R 75420 75431 75315 0 -1 4194304 78354 0 0 0 16167 18 0 0 20 0 1 0 70966364 244285440 53748 18446744073709551615 4198400 14817773 140722475981232 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 54157312 140722475989354 140722475989469 140722475989469 140722475995071 0
/proc/75431/statm: 59640 53748 2624 2593 0 56533 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 238560 KiB
Current children cumulated memory: 214992 KiB

[startup+222.3 s]
/proc/loadavg: 4.01 2.47 1.97 6/266 75441
/proc/meminfo: memFree=127507616/131250000 swapFree=33007332/33010684
[pid=75431] ppid=75420 vsize=238288 memory=215364 CPUtime=221.68 cores=1,3
/proc/75431/stat : 75431 (CASHWMaxSAT-Dis) R 75420 75431 75315 0 -1 4194304 98100 0 0 0 22145 23 0 0 20 0 1 0 70966364 244006912 53841 18446744073709551615 4198400 14817773 140722475981232 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 54157312 140722475989354 140722475989469 140722475989469 140722475995071 0
/proc/75431/statm: 59572 53841 2624 2593 0 56465 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 238288 KiB
Current children cumulated memory: 215364 KiB

[startup+282.3 s]
/proc/loadavg: 4.08 2.77 2.11 6/266 75533
/proc/meminfo: memFree=126666792/131250000 swapFree=33007332/33010684
[pid=75431] ppid=75420 vsize=242832 memory=220612 CPUtime=281.51 cores=1,3
/proc/75431/stat : 75431 (CASHWMaxSAT-Dis) R 75420 75431 75315 0 -1 4194304 99568 0 0 0 28127 24 0 0 20 0 1 0 70966364 248659968 55153 18446744073709551615 4198400 14817773 140722475981232 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 54157312 140722475989354 140722475989469 140722475989469 140722475995071 0
/proc/75431/statm: 60708 55153 2624 2593 0 57601 0
Current children cumulated CPU time: 281.51 s
Current children cumulated vsize: 242832 KiB
Current children cumulated memory: 220612 KiB

[startup+342.3 s]
/proc/loadavg: 4.09 3.01 2.24 6/264 75540
/proc/meminfo: memFree=126297380/131250000 swapFree=33007332/33010684
[pid=75431] ppid=75420 vsize=256820 memory=243060 CPUtime=341.34 cores=1,3
/proc/75431/stat : 75431 (CASHWMaxSAT-Dis) R 75420 75431 75315 0 -1 4194304 103557 0 0 0 34110 24 0 0 20 0 1 0 70966364 262983680 60765 18446744073709551615 4198400 14817773 140722475981232 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 54157312 140722475989354 140722475989469 140722475989469 140722475995071 0
/proc/75431/statm: 64205 60765 2624 2593 0 61098 0
Current children cumulated CPU time: 341.34 s
Current children cumulated vsize: 256820 KiB
Current children cumulated memory: 243060 KiB

[startup+402.3 s]
/proc/loadavg: 4.17 3.24 2.37 6/265 75543
/proc/meminfo: memFree=126303908/131250000 swapFree=33007332/33010684
[pid=75431] ppid=75420 vsize=256820 memory=249204 CPUtime=401.16 cores=1,3
/proc/75431/stat : 75431 (CASHWMaxSAT-Dis) R 75420 75431 75315 0 -1 4194304 103762 0 0 0 40092 24 0 0 20 0 1 0 70966364 262983680 62301 18446744073709551615 4198400 14817773 140722475981232 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 54157312 140722475989354 140722475989469 140722475989469 140722475995071 0
/proc/75431/statm: 64205 62301 2624 2593 0 61098 0
Current children cumulated CPU time: 401.16 s
Current children cumulated vsize: 256820 KiB
Current children cumulated memory: 249204 KiB

[startup+462.3 s]
/proc/loadavg: 4.10 3.40 2.47 6/265 75546
/proc/meminfo: memFree=126300800/131250000 swapFree=33007332/33010684
[pid=75431] ppid=75420 vsize=256820 memory=249204 CPUtime=461 cores=1,3
/proc/75431/stat : 75431 (CASHWMaxSAT-Dis) R 75420 75431 75315 0 -1 4194304 103877 0 0 0 46076 24 0 0 20 0 1 0 70966364 262983680 62301 18446744073709551615 4198400 14817773 140722475981232 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 54157312 140722475989354 140722475989469 140722475989469 140722475995071 0
/proc/75431/statm: 64205 62301 2624 2593 0 61098 0
Current children cumulated CPU time: 461 s

################
# More data... #
################

Current children cumulated memory: 336216 KiB

[startup+2862.3 s]
/proc/loadavg: 4.16 4.12 4.02 6/264 75677
/proc/meminfo: memFree=125771596/131250000 swapFree=33007332/33010684
[pid=75431] ppid=75420 vsize=343492 memory=336216 CPUtime=2854.52 cores=1,3
/proc/75431/stat : 75431 (CASHWMaxSAT-Dis) R 75420 75431 75315 0 -1 4194304 156141 0 0 0 285418 34 0 0 20 0 1 0 70966364 351735808 84054 18446744073709551615 4198400 14817773 140722475981232 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 54157312 140722475989354 140722475989469 140722475989469 140722475995071 0
/proc/75431/statm: 85873 84054 2688 2593 0 82766 0
Current children cumulated CPU time: 2854.52 s
Current children cumulated vsize: 343492 KiB
Current children cumulated memory: 336216 KiB

[startup+2922.3 s]
/proc/loadavg: 4.18 4.14 4.03 6/264 75681
/proc/meminfo: memFree=125759056/131250000 swapFree=33007332/33010684
[pid=75431] ppid=75420 vsize=343492 memory=336216 CPUtime=2914.35 cores=1,3
/proc/75431/stat : 75431 (CASHWMaxSAT-Dis) R 75420 75431 75315 0 -1 4194304 156155 0 0 0 291401 34 0 0 20 0 1 0 70966364 351735808 84054 18446744073709551615 4198400 14817773 140722475981232 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 54157312 140722475989354 140722475989469 140722475989469 140722475995071 0
/proc/75431/statm: 85873 84054 2688 2593 0 82766 0
Current children cumulated CPU time: 2914.35 s
Current children cumulated vsize: 343492 KiB
Current children cumulated memory: 336216 KiB

[startup+2982.3 s]
/proc/loadavg: 4.12 4.13 4.03 6/266 75685
/proc/meminfo: memFree=125767620/131250000 swapFree=33007332/33010684
[pid=75431] ppid=75420 vsize=343492 memory=336216 CPUtime=2974.2 cores=1,3
/proc/75431/stat : 75431 (CASHWMaxSAT-Dis) R 75420 75431 75315 0 -1 4194304 156173 0 0 0 297386 34 0 0 20 0 1 0 70966364 351735808 84054 18446744073709551615 4198400 14817773 140722475981232 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 54157312 140722475989354 140722475989469 140722475989469 140722475995071 0
/proc/75431/statm: 85873 84054 2688 2593 0 82766 0
Current children cumulated CPU time: 2974.2 s
Current children cumulated vsize: 343492 KiB
Current children cumulated memory: 336216 KiB

[startup+3042.3 s]
/proc/loadavg: 4.41 4.21 4.06 6/266 75687
/proc/meminfo: memFree=125762460/131250000 swapFree=33007332/33010684
[pid=75431] ppid=75420 vsize=343492 memory=336216 CPUtime=3034.03 cores=1,3
/proc/75431/stat : 75431 (CASHWMaxSAT-Dis) R 75420 75431 75315 0 -1 4194304 156228 0 0 0 303369 34 0 0 20 0 1 0 70966364 351735808 84054 18446744073709551615 4198400 14817773 140722475981232 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 54157312 140722475989354 140722475989469 140722475989469 140722475995071 0
/proc/75431/statm: 85873 84054 2688 2593 0 82766 0
Current children cumulated CPU time: 3034.03 s
Current children cumulated vsize: 343492 KiB
Current children cumulated memory: 336216 KiB

[startup+3102.3 s]
/proc/loadavg: 4.20 4.19 4.06 6/266 75690
/proc/meminfo: memFree=125763708/131250000 swapFree=33007332/33010684
[pid=75431] ppid=75420 vsize=343492 memory=336216 CPUtime=3093.87 cores=1,3
/proc/75431/stat : 75431 (CASHWMaxSAT-Dis) R 75420 75431 75315 0 -1 4194304 156245 0 0 0 309353 34 0 0 20 0 1 0 70966364 351735808 84054 18446744073709551615 4198400 14817773 140722475981232 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 54157312 140722475989354 140722475989469 140722475989469 140722475995071 0
/proc/75431/statm: 85873 84054 2688 2593 0 82766 0
Current children cumulated CPU time: 3093.87 s
Current children cumulated vsize: 343492 KiB
Current children cumulated memory: 336216 KiB

[startup+3162.3 s]
/proc/loadavg: 4.11 4.16 4.06 6/266 75692
/proc/meminfo: memFree=125787768/131250000 swapFree=33007332/33010684
[pid=75431] ppid=75420 vsize=343492 memory=336216 CPUtime=3153.71 cores=1,3
/proc/75431/stat : 75431 (CASHWMaxSAT-Dis) R 75420 75431 75315 0 -1 4194304 156281 0 0 0 315337 34 0 0 20 0 1 0 70966364 351735808 84054 18446744073709551615 4198400 14817773 140722475981232 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 54157312 140722475989354 140722475989469 140722475989469 140722475995071 0
/proc/75431/statm: 85873 84054 2688 2593 0 82766 0
Current children cumulated CPU time: 3153.71 s
Current children cumulated vsize: 343492 KiB
Current children cumulated memory: 336216 KiB

[startup+3222.3 s]
/proc/loadavg: 4.14 4.16 4.07 6/266 75694
/proc/meminfo: memFree=125776256/131250000 swapFree=33007332/33010684
[pid=75431] ppid=75420 vsize=343492 memory=336216 CPUtime=3213.55 cores=1,3
/proc/75431/stat : 75431 (CASHWMaxSAT-Dis) R 75420 75431 75315 0 -1 4194304 156306 0 0 0 321321 34 0 0 20 0 1 0 70966364 351735808 84054 18446744073709551615 4198400 14817773 140722475981232 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 54157312 140722475989354 140722475989469 140722475989469 140722475995071 0
/proc/75431/statm: 85873 84054 2688 2593 0 82766 0
Current children cumulated CPU time: 3213.55 s
Current children cumulated vsize: 343492 KiB
Current children cumulated memory: 336216 KiB

[startup+3282.3 s]
/proc/loadavg: 4.42 4.23 4.10 6/265 75696
/proc/meminfo: memFree=125772212/131250000 swapFree=33007332/33010684
[pid=75431] ppid=75420 vsize=343492 memory=336216 CPUtime=3273.39 cores=1,3
/proc/75431/stat : 75431 (CASHWMaxSAT-Dis) R 75420 75431 75315 0 -1 4194304 156306 0 0 0 327305 34 0 0 20 0 1 0 70966364 351735808 84054 18446744073709551615 4198400 14817773 140722475981232 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 54157312 140722475989354 140722475989469 140722475989469 140722475995071 0
/proc/75431/statm: 85873 84054 2688 2593 0 82766 0
Current children cumulated CPU time: 3273.39 s
Current children cumulated vsize: 343492 KiB
Current children cumulated memory: 336216 KiB

[startup+3342.3 s]
/proc/loadavg: 4.23 4.20 4.09 6/264 75702
/proc/meminfo: memFree=125767736/131250000 swapFree=33007332/33010684
[pid=75431] ppid=75420 vsize=343492 memory=336216 CPUtime=3333.23 cores=1,3
/proc/75431/stat : 75431 (CASHWMaxSAT-Dis) R 75420 75431 75315 0 -1 4194304 156356 0 0 0 333289 34 0 0 20 0 1 0 70966364 351735808 84054 18446744073709551615 4198400 14817773 140722475981232 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 54157312 140722475989354 140722475989469 140722475989469 140722475995071 0
/proc/75431/statm: 85873 84054 2688 2593 0 82766 0
Current children cumulated CPU time: 3333.23 s
Current children cumulated vsize: 343492 KiB
Current children cumulated memory: 336216 KiB

[startup+3402.3 s]
/proc/loadavg: 4.81 4.37 4.16 6/264 75704
/proc/meminfo: memFree=125769624/131250000 swapFree=33007332/33010684
[pid=75431] ppid=75420 vsize=343492 memory=336216 CPUtime=3393.07 cores=1,3
/proc/75431/stat : 75431 (CASHWMaxSAT-Dis) R 75420 75431 75315 0 -1 4194304 156369 0 0 0 339273 34 0 0 20 0 1 0 70966364 351735808 84054 18446744073709551615 4198400 14817773 140722475981232 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 54157312 140722475989354 140722475989469 140722475989469 140722475995071 0
/proc/75431/statm: 85873 84054 2688 2593 0 82766 0
Current children cumulated CPU time: 3393.07 s
Current children cumulated vsize: 343492 KiB
Current children cumulated memory: 336216 KiB

[startup+3462.3 s]
/proc/loadavg: 4.34 4.31 4.15 6/264 75707
/proc/meminfo: memFree=125774028/131250000 swapFree=33007332/33010684
[pid=75431] ppid=75420 vsize=343492 memory=336216 CPUtime=3452.91 cores=1,3
/proc/75431/stat : 75431 (CASHWMaxSAT-Dis) R 75420 75431 75315 0 -1 4194304 156416 0 0 0 345257 34 0 0 20 0 1 0 70966364 351735808 84054 18446744073709551615 4198400 14817773 140722475981232 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 54157312 140722475989354 140722475989469 140722475989469 140722475995071 0
/proc/75431/statm: 85873 84054 2688 2593 0 82766 0
Current children cumulated CPU time: 3452.91 s
Current children cumulated vsize: 343492 KiB
Current children cumulated memory: 336216 KiB

[startup+3522.3 s]
/proc/loadavg: 4.16 4.27 4.14 6/264 75711
/proc/meminfo: memFree=125765696/131250000 swapFree=33007332/33010684
[pid=75431] ppid=75420 vsize=343492 memory=336216 CPUtime=3512.75 cores=1,3
/proc/75431/stat : 75431 (CASHWMaxSAT-Dis) R 75420 75431 75315 0 -1 4194304 156446 0 0 0 351241 34 0 0 20 0 1 0 70966364 351735808 84054 18446744073709551615 4198400 14817773 140722475981232 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 54157312 140722475989354 140722475989469 140722475989469 140722475995071 0
/proc/75431/statm: 85873 84054 2688 2593 0 82766 0
Current children cumulated CPU time: 3512.75 s
Current children cumulated vsize: 343492 KiB
Current children cumulated memory: 336216 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.23 4.14 6/263 75713
/proc/meminfo: memFree=125772156/131250000 swapFree=33007332/33010684
[pid=75431] ppid=75420 vsize=343492 memory=336216 CPUtime=3572.59 cores=1,3
/proc/75431/stat : 75431 (CASHWMaxSAT-Dis) R 75420 75431 75315 0 -1 4194304 156456 0 0 0 357225 34 0 0 20 0 1 0 70966364 351735808 84054 18446744073709551615 4198400 14817773 140722475981232 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 54157312 140722475989354 140722475989469 140722475989469 140722475995071 0
/proc/75431/statm: 85873 84054 2688 2593 0 82766 0
Current children cumulated CPU time: 3572.59 s
Current children cumulated vsize: 343492 KiB
Current children cumulated memory: 336216 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.8 s]
/proc/loadavg: 4.14 4.23 4.14 6/263 75713
/proc/meminfo: memFree=125763412/131250000 swapFree=33007332/33010684
[pid=75431] ppid=75420 vsize=343492 memory=336216 CPUtime=3600.01 cores=1,3
/proc/75431/stat : 75431 (CASHWMaxSAT-Dis) R 75420 75431 75315 0 -1 4194304 156497 0 0 0 359967 34 0 0 20 0 1 0 70966364 351735808 84054 18446744073709551615 4198400 14817773 140722475981232 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 54157312 140722475989354 140722475989469 140722475989469 140722475995071 0
/proc/75431/statm: 85873 84054 2688 2593 0 82766 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 343492 KiB
Current children cumulated memory: 336216 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+3609.8 s]
# the end of solver process 75431 was just reported to runsolver
# Child status: 10

# cumulated CPU time of all completed processes:  user=3599.68 s, system=0.342027 s

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

Child status: 10

Real time (s): 3609.8
CPU time (s): 3600.02
CPU user time (s): 3599.68
CPU system time (s): 0.342027
CPU usage (%): 99.7291
Max. virtual memory (cumulated for all children) (KiB): 399564
Max. memory (cumulated for all children) (KiB): 390480

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.68
system time used= 0.342027
maximum resident set size= 390480
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 156500
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 47
involuntary context switches= 5015


# summary of solver processes directly reported to runsolver:
#   pid: 75431
#   total CPU time (s): 3600.02
#   total CPU user time (s): 3599.68
#   total CPU system time (s): 0.342027

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.6506 second user time and 12.2529 second system time

The end