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 (61259 MiB free)
  memory of node 1: 64465 MiB (62909 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4518662-1751546137/watcher-4518662-1751546137 -o /tmp/evaluation-result-4518662-1751546137/solver-4518662-1751546137 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751537885-78426 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4518662-1751546137.opb -total-t=3600 -no-par -v0 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=79270, runsolver pid=79267
Current StackSize limit: 8192 KiB


[startup+0.100067 s]*
/proc/loadavg: 2.00 2.07 2.08 3/253 79271
/proc/meminfo: memFree=127108472/131250000 swapFree=33010684/33010684
[pid=79270] ppid=79267 vsize=67624 memory=57188 CPUtime=0.09 cores=4,6
/proc/79270/stat : 79270 (CASHWMaxSAT-Dis) R 79267 79270 78415 0 -1 4194304 12902 0 0 0 8 1 0 0 20 0 1 0 70236217 69246976 14297 18446744073709551615 4198400 14093885 140721905278976 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 24162304 140721905281386 140721905281501 140721905281501 140721905287103 0
/proc/79270/statm: 16906 14297 2336 2416 0 14008 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 67624 KiB
Current children cumulated memory: 57188 KiB

[startup+0.205288 s]*
/proc/loadavg: 2.00 2.07 2.08 3/253 79271
/proc/meminfo: memFree=127092344/131250000 swapFree=33010684/33010684
[pid=79270] ppid=79267 vsize=83988 memory=73956 CPUtime=0.2 cores=4,6
/proc/79270/stat : 79270 (CASHWMaxSAT-Dis) R 79267 79270 78415 0 -1 4194304 17046 0 0 0 18 2 0 0 20 0 1 0 70236217 86003712 18489 18446744073709551615 4198400 14093885 140721905278976 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 24162304 140721905281386 140721905281501 140721905281501 140721905287103 0
/proc/79270/statm: 20997 18489 2368 2416 0 18099 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 83988 KiB
Current children cumulated memory: 73956 KiB

[startup+0.305248 s]*
/proc/loadavg: 2.00 2.07 2.08 3/253 79271
/proc/meminfo: memFree=127059832/131250000 swapFree=33010684/33010684
[pid=79270] ppid=79267 vsize=128796 memory=109356 CPUtime=0.3 cores=4,6
/proc/79270/stat : 79270 (CASHWMaxSAT-Dis) R 79267 79270 78415 0 -1 4194304 19907 0 0 0 27 3 0 0 20 0 1 0 70236217 131887104 27339 18446744073709551615 4198400 14093885 140721905278976 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 24162304 140721905281386 140721905281501 140721905281501 140721905287103 0
/proc/79270/statm: 32199 27339 2400 2416 0 29301 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 128796 KiB
Current children cumulated memory: 109356 KiB

[startup+0.700168 s]
/proc/loadavg: 2.00 2.07 2.08 3/253 79271
/proc/meminfo: memFree=127011192/131250000 swapFree=33010684/33010684
[pid=79270] ppid=79267 vsize=220716 memory=200608 CPUtime=0.68 cores=4,6
/proc/79270/stat : 79270 (CASHWMaxSAT-Dis) R 79267 79270 78415 0 -1 4194304 38569 0 0 0 63 5 0 0 20 0 1 0 70236217 226013184 50152 18446744073709551615 4198400 14093885 140721905278976 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 24162304 140721905281386 140721905281501 140721905281501 140721905287103 0
/proc/79270/statm: 55179 50152 2496 2416 0 52281 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 220716 KiB
Current children cumulated memory: 200608 KiB

[startup+1.50017 s]
/proc/loadavg: 2.00 2.07 2.08 3/253 79271
/proc/meminfo: memFree=126971364/131250000 swapFree=33010684/33010684
[pid=79270] ppid=79267 vsize=226136 memory=208032 CPUtime=1.49 cores=4,6
/proc/79270/stat : 79270 (CASHWMaxSAT-Dis) R 79267 79270 78415 0 -1 4194304 40407 0 0 0 143 6 0 0 20 0 1 0 70236217 231563264 52008 18446744073709551615 4198400 14093885 140721905278976 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 24162304 140721905281386 140721905281501 140721905281501 140721905287103 0
/proc/79270/statm: 56534 52008 2528 2416 0 53636 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 226136 KiB
Current children cumulated memory: 208032 KiB

[startup+3.10507 s]
/proc/loadavg: 2.00 2.07 2.08 3/253 79271
/proc/meminfo: memFree=126963300/131250000 swapFree=33010684/33010684
[pid=79270] ppid=79267 vsize=228664 memory=209824 CPUtime=3.08 cores=4,6
/proc/79270/stat : 79270 (CASHWMaxSAT-Dis) R 79267 79270 78415 0 -1 4194304 40845 0 0 0 302 6 0 0 20 0 1 0 70236217 234151936 52456 18446744073709551615 4198400 14093885 140721905278976 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 24162304 140721905281386 140721905281501 140721905281501 140721905287103 0
/proc/79270/statm: 57166 52456 2528 2416 0 54268 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 228664 KiB
Current children cumulated memory: 209824 KiB

[startup+6.30013 s]
/proc/loadavg: 2.00 2.06 2.08 3/253 79271
/proc/meminfo: memFree=126959268/131250000 swapFree=33010684/33010684
[pid=79270] ppid=79267 vsize=237364 memory=212844 CPUtime=6.27 cores=4,6
/proc/79270/stat : 79270 (CASHWMaxSAT-Dis) R 79267 79270 78415 0 -1 4194304 41071 0 0 0 621 6 0 0 20 0 1 0 70236217 243060736 53211 18446744073709551615 4198400 14093885 140721905278976 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 24162304 140721905281386 140721905281501 140721905281501 140721905287103 0
/proc/79270/statm: 59341 53211 2528 2416 0 56443 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 237364 KiB
Current children cumulated memory: 212844 KiB

[startup+12.7001 s]
/proc/loadavg: 2.00 2.06 2.08 3/253 79272
/proc/meminfo: memFree=126902820/131250000 swapFree=33010684/33010684
[pid=79270] ppid=79267 vsize=293048 memory=266732 CPUtime=12.65 cores=4,6
/proc/79270/stat : 79270 (CASHWMaxSAT-Dis) R 79267 79270 78415 0 -1 4194304 54572 0 0 0 1256 9 0 0 20 0 1 0 70236217 300081152 66683 18446744073709551615 4198400 14093885 140721905278976 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 24162304 140721905281386 140721905281501 140721905281501 140721905287103 0
/proc/79270/statm: 73262 66683 2528 2416 0 70364 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 293048 KiB
Current children cumulated memory: 266732 KiB

[startup+25.5002 s]
/proc/loadavg: 2.08 2.08 2.09 3/253 79272
/proc/meminfo: memFree=126862752/131250000 swapFree=33010684/33010684
[pid=79270] ppid=79267 vsize=324296 memory=295276 CPUtime=25.41 cores=4,6
/proc/79270/stat : 79270 (CASHWMaxSAT-Dis) R 79267 79270 78415 0 -1 4194304 66037 0 0 0 2530 11 0 0 20 0 1 0 70236217 332079104 73819 18446744073709551615 4198400 14093885 140721905278976 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 24162304 140721905281386 140721905281501 140721905281501 140721905287103 0
/proc/79270/statm: 81074 73819 2528 2416 0 78176 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 324296 KiB
Current children cumulated memory: 295276 KiB

[startup+51.1052 s]
/proc/loadavg: 2.05 2.07 2.08 3/252 79272
/proc/meminfo: memFree=126862752/131250000 swapFree=33010684/33010684
[pid=79270] ppid=79267 vsize=324296 memory=295276 CPUtime=50.94 cores=4,6
/proc/79270/stat : 79270 (CASHWMaxSAT-Dis) R 79267 79270 78415 0 -1 4194304 66041 0 0 0 5083 11 0 0 20 0 1 0 70236217 332079104 73819 18446744073709551615 4198400 14093885 140721905278976 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 24162304 140721905281386 140721905281501 140721905281501 140721905287103 0
/proc/79270/statm: 81074 73819 2528 2416 0 78176 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 324296 KiB
Current children cumulated memory: 295276 KiB

[startup+102.3 s]
/proc/loadavg: 2.07 2.07 2.08 3/253 79275
/proc/meminfo: memFree=126839172/131250000 swapFree=33010684/33010684
[pid=79270] ppid=79267 vsize=362160 memory=335340 CPUtime=101.98 cores=4,6
/proc/79270/stat : 79270 (CASHWMaxSAT-Dis) R 79267 79270 78415 0 -1 4194304 76071 0 0 0 10185 13 0 0 20 0 1 0 70236217 370851840 83835 18446744073709551615 4198400 14093885 140721905278976 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 24162304 140721905281386 140721905281501 140721905281501 140721905287103 0
/proc/79270/statm: 90540 83835 2528 2416 0 87642 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 362160 KiB
Current children cumulated memory: 335340 KiB

[startup+162.3 s]
/proc/loadavg: 2.06 2.07 2.08 3/253 79277
/proc/meminfo: memFree=126759384/131250000 swapFree=33010684/33010684
[pid=79270] ppid=79267 vsize=431728 memory=406132 CPUtime=161.81 cores=4,6
/proc/79270/stat : 79270 (CASHWMaxSAT-Dis) R 79267 79270 78415 0 -1 4194304 95995 0 0 0 16164 17 0 0 20 0 1 0 70236217 442089472 101533 18446744073709551615 4198400 14093885 140721905278976 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 24162304 140721905281386 140721905281501 140721905281501 140721905287103 0
/proc/79270/statm: 107932 101533 2528 2416 0 105034 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 431728 KiB
Current children cumulated memory: 406132 KiB

[startup+222.3 s]
/proc/loadavg: 2.07 2.07 2.08 3/253 79280
/proc/meminfo: memFree=126742356/131250000 swapFree=33010684/33010684
[pid=79270] ppid=79267 vsize=445804 memory=420212 CPUtime=221.63 cores=4,6
/proc/79270/stat : 79270 (CASHWMaxSAT-Dis) R 79267 79270 78415 0 -1 4194304 99509 0 0 0 22145 18 0 0 20 0 1 0 70236217 456503296 105053 18446744073709551615 4198400 14093885 140721905278976 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 24162304 140721905281386 140721905281501 140721905281501 140721905287103 0
/proc/79270/statm: 111451 105053 2528 2416 0 108553 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 445804 KiB
Current children cumulated memory: 420212 KiB

[startup+282.3 s]
/proc/loadavg: 2.07 2.07 2.08 3/253 79282
/proc/meminfo: memFree=126727092/131250000 swapFree=33010684/33010684
[pid=79270] ppid=79267 vsize=464056 memory=438644 CPUtime=281.44 cores=4,6
/proc/79270/stat : 79270 (CASHWMaxSAT-Dis) R 79267 79270 78415 0 -1 4194304 104116 0 0 0 28125 19 0 0 20 0 1 0 70236217 475193344 109661 18446744073709551615 4198400 14093885 140721905278976 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 24162304 140721905281386 140721905281501 140721905281501 140721905287103 0
/proc/79270/statm: 116014 109661 2528 2416 0 113116 0
Current children cumulated CPU time: 281.44 s
Current children cumulated vsize: 464056 KiB
Current children cumulated memory: 438644 KiB

[startup+342.3 s]
/proc/loadavg: 2.12 2.08 2.09 3/253 79284
/proc/meminfo: memFree=126728432/131250000 swapFree=33010684/33010684
[pid=79270] ppid=79267 vsize=464056 memory=438772 CPUtime=341.25 cores=4,6
/proc/79270/stat : 79270 (CASHWMaxSAT-Dis) R 79267 79270 78415 0 -1 4194304 104153 0 0 0 34106 19 0 0 20 0 1 0 70236217 475193344 109693 18446744073709551615 4198400 14093885 140721905278976 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 24162304 140721905281386 140721905281501 140721905281501 140721905287103 0
/proc/79270/statm: 116014 109693 2528 2416 0 113116 0
Current children cumulated CPU time: 341.25 s
Current children cumulated vsize: 464056 KiB
Current children cumulated memory: 438772 KiB

[startup+402.3 s]
/proc/loadavg: 2.04 2.07 2.08 3/252 79286
/proc/meminfo: memFree=126705092/131250000 swapFree=33010684/33010684
[pid=79270] ppid=79267 vsize=485760 memory=459252 CPUtime=401.07 cores=4,6
/proc/79270/stat : 79270 (CASHWMaxSAT-Dis) R 79267 79270 78415 0 -1 4194304 109287 0 0 0 40087 20 0 0 20 0 1 0 70236217 497418240 114813 18446744073709551615 4198400 14093885 140721905278976 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 24162304 140721905281386 140721905281501 140721905281501 140721905287103 0
/proc/79270/statm: 121440 114813 2528 2416 0 118542 0
Current children cumulated CPU time: 401.07 s
Current children cumulated vsize: 485760 KiB
Current children cumulated memory: 459252 KiB

[startup+462.3 s]
/proc/loadavg: 2.12 2.08 2.09 3/251 79290
/proc/meminfo: memFree=126685992/131250000 swapFree=33010684/33010684
[pid=79270] ppid=79267 vsize=502468 memory=476532 CPUtime=460.88 cores=4,6
/proc/79270/stat : 79270 (CASHWMaxSAT-Dis) R 79267 79270 78415 0 -1 4194304 113516 0 0 0 46067 21 0 0 20 0 1 0 70236217 514527232 119133 18446744073709551615 4198400 14093885 140721905278976 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 24162304 140721905281386 140721905281501 140721905281501 140721905287103 0
/proc/79270/statm: 125617 119133 2528 2416 0 122719 0

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

Current children cumulated memory: 590380 KiB

[startup+2862.3 s]
/proc/loadavg: 2.06 2.08 2.09 3/253 79471
/proc/meminfo: memFree=126788616/131250000 swapFree=33010684/33010684
[pid=79270] ppid=79267 vsize=597540 memory=590380 CPUtime=2853.4 cores=4,6
/proc/79270/stat : 79270 (CASHWMaxSAT-Dis) R 79267 79270 78415 0 -1 4194304 396591 0 0 0 284832 508 0 0 20 0 1 0 70236217 611880960 147595 18446744073709551615 4198400 14093885 140721905278976 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 24162304 140721905281386 140721905281501 140721905281501 140721905287103 0
/proc/79270/statm: 149385 147595 2528 2416 0 146487 0
Current children cumulated CPU time: 2853.4 s
Current children cumulated vsize: 597540 KiB
Current children cumulated memory: 590380 KiB

[startup+2922.3 s]
/proc/loadavg: 2.12 2.09 2.09 3/253 79478
/proc/meminfo: memFree=126822472/131250000 swapFree=33010684/33010684
[pid=79270] ppid=79267 vsize=597540 memory=590380 CPUtime=2913.23 cores=4,6
/proc/79270/stat : 79270 (CASHWMaxSAT-Dis) R 79267 79270 78415 0 -1 4194304 409737 0 0 0 290784 539 0 0 20 0 1 0 70236217 611880960 147595 18446744073709551615 4198400 14093885 140721905278976 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 24162304 140721905281386 140721905281501 140721905281501 140721905287103 0
/proc/79270/statm: 149385 147595 2528 2416 0 146487 0
Current children cumulated CPU time: 2913.23 s
Current children cumulated vsize: 597540 KiB
Current children cumulated memory: 590380 KiB

[startup+2982.3 s]
/proc/loadavg: 2.10 2.09 2.09 3/253 79480
/proc/meminfo: memFree=126794348/131250000 swapFree=33010684/33010684
[pid=79270] ppid=79267 vsize=597540 memory=590380 CPUtime=2973.07 cores=4,6
/proc/79270/stat : 79270 (CASHWMaxSAT-Dis) R 79267 79270 78415 0 -1 4194304 425249 0 0 0 296738 569 0 0 20 0 1 0 70236217 611880960 147595 18446744073709551615 4198400 14093885 140721905278976 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 24162304 140721905281386 140721905281501 140721905281501 140721905287103 0
/proc/79270/statm: 149385 147595 2528 2416 0 146487 0
Current children cumulated CPU time: 2973.07 s
Current children cumulated vsize: 597540 KiB
Current children cumulated memory: 590380 KiB

[startup+3042.3 s]
/proc/loadavg: 2.11 2.09 2.09 3/252 79482
/proc/meminfo: memFree=126818524/131250000 swapFree=33010684/33010684
[pid=79270] ppid=79267 vsize=597540 memory=590380 CPUtime=3032.9 cores=4,6
/proc/79270/stat : 79270 (CASHWMaxSAT-Dis) R 79267 79270 78415 0 -1 4194304 436046 0 0 0 302698 592 0 0 20 0 1 0 70236217 611880960 147595 18446744073709551615 4198400 14093885 140721905278976 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 24162304 140721905281386 140721905281501 140721905281501 140721905287103 0
/proc/79270/statm: 149385 147595 2528 2416 0 146487 0
Current children cumulated CPU time: 3032.9 s
Current children cumulated vsize: 597540 KiB
Current children cumulated memory: 590380 KiB

[startup+3102.3 s]
/proc/loadavg: 2.09 2.08 2.09 3/254 79486
/proc/meminfo: memFree=126809932/131250000 swapFree=33010684/33010684
[pid=79270] ppid=79267 vsize=597540 memory=590380 CPUtime=3092.74 cores=4,6
/proc/79270/stat : 79270 (CASHWMaxSAT-Dis) R 79267 79270 78415 0 -1 4194304 456241 0 0 0 308644 630 0 0 20 0 1 0 70236217 611880960 147595 18446744073709551615 4198400 14093885 140721905278976 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 24162304 140721905281386 140721905281501 140721905281501 140721905287103 0
/proc/79270/statm: 149385 147595 2528 2416 0 146487 0
Current children cumulated CPU time: 3092.74 s
Current children cumulated vsize: 597540 KiB
Current children cumulated memory: 590380 KiB

[startup+3162.3 s]
/proc/loadavg: 2.08 2.08 2.09 3/253 79488
/proc/meminfo: memFree=126809156/131250000 swapFree=33010684/33010684
[pid=79270] ppid=79267 vsize=597540 memory=590380 CPUtime=3152.58 cores=4,6
/proc/79270/stat : 79270 (CASHWMaxSAT-Dis) R 79267 79270 78415 0 -1 4194304 465002 0 0 0 314611 647 0 0 20 0 1 0 70236217 611880960 147595 18446744073709551615 4198400 14093885 140721905278976 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 24162304 140721905281386 140721905281501 140721905281501 140721905287103 0
/proc/79270/statm: 149385 147595 2528 2416 0 146487 0
Current children cumulated CPU time: 3152.58 s
Current children cumulated vsize: 597540 KiB
Current children cumulated memory: 590380 KiB

[startup+3222.3 s]
/proc/loadavg: 2.06 2.08 2.09 3/252 79490
/proc/meminfo: memFree=126812816/131250000 swapFree=33010684/33010684
[pid=79270] ppid=79267 vsize=646860 memory=630800 CPUtime=3212.42 cores=4,6
/proc/79270/stat : 79270 (CASHWMaxSAT-Dis) R 79267 79270 78415 0 -1 4194304 484588 0 0 0 320552 690 0 0 20 0 1 0 70236217 662384640 157700 18446744073709551615 4198400 14093885 140721905278976 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 24162304 140721905281386 140721905281501 140721905281501 140721905287103 0
/proc/79270/statm: 161715 157700 2528 2416 0 158817 0
Current children cumulated CPU time: 3212.42 s
Current children cumulated vsize: 646860 KiB
Current children cumulated memory: 630800 KiB

[startup+3282.3 s]
/proc/loadavg: 2.07 2.08 2.09 3/253 79493
/proc/meminfo: memFree=126806540/131250000 swapFree=33010684/33010684
[pid=79270] ppid=79267 vsize=597540 memory=590380 CPUtime=3272.26 cores=4,6
/proc/79270/stat : 79270 (CASHWMaxSAT-Dis) R 79267 79270 78415 0 -1 4194304 497878 0 0 0 326505 721 0 0 20 0 1 0 70236217 611880960 147595 18446744073709551615 4198400 14093885 140721905278976 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 24162304 140721905281386 140721905281501 140721905281501 140721905287103 0
/proc/79270/statm: 149385 147595 2528 2416 0 146487 0
Current children cumulated CPU time: 3272.26 s
Current children cumulated vsize: 597540 KiB
Current children cumulated memory: 590380 KiB

[startup+3342.3 s]
/proc/loadavg: 2.43 2.17 2.12 3/253 79495
/proc/meminfo: memFree=126811760/131250000 swapFree=33010684/33010684
[pid=79270] ppid=79267 vsize=646860 memory=626704 CPUtime=3332.09 cores=4,6
/proc/79270/stat : 79270 (CASHWMaxSAT-Dis) R 79267 79270 78415 0 -1 4194304 508597 0 0 0 332465 744 0 0 20 0 1 0 70236217 662384640 156676 18446744073709551615 4198400 14093885 140721905278976 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 24162304 140721905281386 140721905281501 140721905281501 140721905287103 0
/proc/79270/statm: 161715 156676 2528 2416 0 158817 0
Current children cumulated CPU time: 3332.09 s
Current children cumulated vsize: 646860 KiB
Current children cumulated memory: 626704 KiB

[startup+3402.3 s]
/proc/loadavg: 2.22 2.16 2.11 3/253 79498
/proc/meminfo: memFree=126814204/131250000 swapFree=33010684/33010684
[pid=79270] ppid=79267 vsize=646860 memory=626704 CPUtime=3391.92 cores=4,6
/proc/79270/stat : 79270 (CASHWMaxSAT-Dis) R 79267 79270 78415 0 -1 4194304 531848 0 0 0 338394 798 0 0 20 0 1 0 70236217 662384640 156676 18446744073709551615 4198400 14093885 140721905278976 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 24162304 140721905281386 140721905281501 140721905281501 140721905287103 0
/proc/79270/statm: 161715 156676 2528 2416 0 158817 0
Current children cumulated CPU time: 3391.92 s
Current children cumulated vsize: 646860 KiB
Current children cumulated memory: 626704 KiB

[startup+3462.3 s]
/proc/loadavg: 2.08 2.12 2.10 3/254 79503
/proc/meminfo: memFree=126822144/131250000 swapFree=33010684/33010684
[pid=79270] ppid=79267 vsize=597540 memory=590380 CPUtime=3451.77 cores=4,6
/proc/79270/stat : 79270 (CASHWMaxSAT-Dis) R 79267 79270 78415 0 -1 4194304 534341 0 0 0 344373 804 0 0 20 0 1 0 70236217 611880960 147595 18446744073709551615 4198400 14093885 140721905278976 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 24162304 140721905281386 140721905281501 140721905281501 140721905287103 0
/proc/79270/statm: 149385 147595 2528 2416 0 146487 0
Current children cumulated CPU time: 3451.77 s
Current children cumulated vsize: 597540 KiB
Current children cumulated memory: 590380 KiB

[startup+3522.3 s]
/proc/loadavg: 2.13 2.13 2.10 3/254 79509
/proc/meminfo: memFree=126809156/131250000 swapFree=33010684/33010684
[pid=79270] ppid=79267 vsize=646860 memory=632848 CPUtime=3511.6 cores=4,6
/proc/79270/stat : 79270 (CASHWMaxSAT-Dis) R 79267 79270 78415 0 -1 4194304 553099 0 0 0 350316 844 0 0 20 0 1 0 70236217 662384640 158212 18446744073709551615 4198400 14093885 140721905278976 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 24162304 140721905281386 140721905281501 140721905281501 140721905287103 0
/proc/79270/statm: 161715 158212 2528 2416 0 158817 0
Current children cumulated CPU time: 3511.6 s
Current children cumulated vsize: 646860 KiB
Current children cumulated memory: 632848 KiB

[startup+3582.3 s]
/proc/loadavg: 2.10 2.12 2.10 3/254 79511
/proc/meminfo: memFree=126818220/131250000 swapFree=33010684/33010684
[pid=79270] ppid=79267 vsize=597540 memory=590380 CPUtime=3571.44 cores=4,6
/proc/79270/stat : 79270 (CASHWMaxSAT-Dis) R 79267 79270 78415 0 -1 4194304 573106 0 0 0 356255 889 0 0 20 0 1 0 70236217 611880960 147595 18446744073709551615 4198400 14093885 140721905278976 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 24162304 140721905281386 140721905281501 140721905281501 140721905287103 0
/proc/79270/statm: 149385 147595 2528 2416 0 146487 0
Current children cumulated CPU time: 3571.44 s
Current children cumulated vsize: 597540 KiB
Current children cumulated memory: 590380 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611 s]*
/proc/loadavg: 2.13 2.12 2.10 3/253 79512
/proc/meminfo: memFree=126812676/131250000 swapFree=33010684/33010684
[pid=79270] ppid=79267 vsize=597540 memory=590380 CPUtime=3600.06 cores=4,6
/proc/79270/stat : 79270 (CASHWMaxSAT-Dis) R 79267 79270 78415 0 -1 4194304 573182 0 0 0 359117 889 0 0 20 0 1 0 70236217 611880960 147595 18446744073709551615 4198400 14093885 140721905278976 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 24162304 140721905281386 140721905281501 140721905281501 140721905287103 0
/proc/79270/statm: 149385 147595 2528 2416 0 146487 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 597540 KiB
Current children cumulated memory: 590380 KiB

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

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

# cumulated CPU time of all completed processes:  user=3591.18 s, system=8.89915 s

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

Child status: 10

Real time (s): 3611.01
CPU time (s): 3600.08
CPU user time (s): 3591.18
CPU system time (s): 8.89915
CPU usage (%): 99.6973
Max. virtual memory (cumulated for all children) (KiB): 677680
Max. memory (cumulated for all children) (KiB): 653596

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.18
system time used= 8.89915
maximum resident set size= 683776
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 573185
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= 109
involuntary context switches= 3336


# summary of solver processes directly reported to runsolver:
#   pid: 79270
#   total CPU time (s): 3600.08
#   total CPU user time (s): 3591.18
#   total CPU system time (s): 8.89915

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.56083 second user time and 14.9935 second system time

The end