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: 63794 MiB (62220 MiB free)
  memory of node 1: 64507 MiB (63872 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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
Current StackSize limit: 8192 KiB

solver pid=47374, runsolver pid=47371

[startup+0.100068 s]*
/proc/loadavg: 3.01 2.61 3.37 5/252 47375
/proc/meminfo: memFree=129078240/131382120 swapFree=33010416/33010684
[pid=47374] ppid=47371 vsize=31064 memory=22912 CPUtime=0.09 cores=5,7
/proc/47374/stat : 47374 (CASHWMaxSAT-Dis) R 47371 47374 46674 0 -1 4194304 3511 0 0 0 9 0 0 0 20 0 1 0 49529730 31809536 5728 18446744073709551615 4198400 14817773 140722228480480 0 0 0 0 0 8408098 0 0 0 17 7 0 0 0 0 0 16829744 16914832 42979328 140722228488554 140722228488669 140722228488669 140722228494271 0
/proc/47374/statm: 7766 5728 2432 2593 0 4659 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 31064 KiB
Current children cumulated memory: 22912 KiB

[startup+0.213033 s]*
/proc/loadavg: 3.01 2.61 3.37 5/252 47375
/proc/meminfo: memFree=129037920/131382120 swapFree=33010416/33010684
[pid=47374] ppid=47371 vsize=39132 memory=30080 CPUtime=0.19 cores=5,7
/proc/47374/stat : 47374 (CASHWMaxSAT-Dis) R 47371 47374 46674 0 -1 4194304 5220 0 0 0 18 1 0 0 20 0 1 0 49529730 40071168 7520 18446744073709551615 4198400 14817773 140722228480480 0 0 0 0 0 8408098 0 0 0 17 7 0 0 0 0 0 16829744 16914832 42979328 140722228488554 140722228488669 140722228488669 140722228494271 0
/proc/47374/statm: 9783 7520 2528 2593 0 6676 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 39132 KiB
Current children cumulated memory: 30080 KiB

[startup+0.317102 s]*
/proc/loadavg: 3.01 2.61 3.37 5/252 47375
/proc/meminfo: memFree=129001128/131382120 swapFree=33010416/33010684
[pid=47374] ppid=47371 vsize=44908 memory=36060 CPUtime=0.28 cores=5,7
/proc/47374/stat : 47374 (CASHWMaxSAT-Dis) R 47371 47374 46674 0 -1 4194304 6763 0 0 0 27 1 0 0 20 0 1 0 49529730 45985792 9015 18446744073709551615 4198400 14817773 140722228480480 0 0 0 0 0 8408098 0 0 0 17 7 0 0 0 0 0 16829744 16914832 42979328 140722228488554 140722228488669 140722228488669 140722228494271 0
/proc/47374/statm: 11227 9015 2624 2593 0 8120 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 44908 KiB
Current children cumulated memory: 36060 KiB

[startup+0.700225 s]
/proc/loadavg: 3.01 2.61 3.37 5/252 47375
/proc/meminfo: memFree=128936616/131382120 swapFree=33010416/33010684
[pid=47374] ppid=47371 vsize=45732 memory=36956 CPUtime=0.62 cores=5,7
/proc/47374/stat : 47374 (CASHWMaxSAT-Dis) R 47371 47374 46674 0 -1 4194304 6973 0 0 0 61 1 0 0 20 0 1 0 49529730 46829568 9239 18446744073709551615 4198400 14817773 140722228480480 0 0 0 0 0 8408098 0 0 0 17 7 0 0 0 0 0 16829744 16914832 42979328 140722228488554 140722228488669 140722228488669 140722228494271 0
/proc/47374/statm: 11433 9239 2656 2593 0 8326 0
Current children cumulated CPU time: 0.62 s
Current children cumulated vsize: 45732 KiB
Current children cumulated memory: 36956 KiB

[startup+1.50015 s]
/proc/loadavg: 3.01 2.61 3.37 5/252 47375
/proc/meminfo: memFree=128747364/131382120 swapFree=33010416/33010684
[pid=47374] ppid=47371 vsize=51172 memory=42076 CPUtime=1.41 cores=5,7
/proc/47374/stat : 47374 (CASHWMaxSAT-Dis) R 47371 47374 46674 0 -1 4194304 8247 0 0 0 140 1 0 0 20 0 1 0 49529730 52400128 10519 18446744073709551615 4198400 14817773 140722228480480 0 0 0 0 0 8408098 0 0 0 17 7 0 0 0 0 0 16829744 16914832 42979328 140722228488554 140722228488669 140722228488669 140722228494271 0
/proc/47374/statm: 12793 10519 2656 2593 0 9686 0
Current children cumulated CPU time: 1.41 s
Current children cumulated vsize: 51172 KiB
Current children cumulated memory: 42076 KiB

[startup+3.10479 s]
/proc/loadavg: 3.09 2.63 3.38 5/252 47375
/proc/meminfo: memFree=127537764/131382120 swapFree=33010416/33010684
[pid=47374] ppid=47371 vsize=57956 memory=47196 CPUtime=3 cores=5,7
/proc/47374/stat : 47374 (CASHWMaxSAT-Dis) R 47371 47374 46674 0 -1 4194304 9551 0 0 0 298 2 0 0 20 0 1 0 49529730 59346944 11799 18446744073709551615 4198400 14817773 140722228480480 0 0 0 0 0 8408098 0 0 0 17 7 0 0 0 0 0 16829744 16914832 42979328 140722228488554 140722228488669 140722228488669 140722228494271 0
/proc/47374/statm: 14489 11799 2656 2593 0 11382 0
Current children cumulated CPU time: 3 s
Current children cumulated vsize: 57956 KiB
Current children cumulated memory: 47196 KiB

[startup+6.30013 s]
/proc/loadavg: 3.09 2.63 3.38 5/253 47377
/proc/meminfo: memFree=125828220/131382120 swapFree=33010416/33010684
[pid=47374] ppid=47371 vsize=101328 memory=89180 CPUtime=6.17 cores=5,7
/proc/47374/stat : 47374 (CASHWMaxSAT-Dis) R 47371 47374 46674 0 -1 4194304 20041 0 0 0 613 4 0 0 20 0 1 0 49529730 103759872 22295 18446744073709551615 4198400 14817773 140722228480480 0 0 0 0 0 8408098 0 0 0 17 7 0 0 0 0 0 16829744 16914832 42979328 140722228488554 140722228488669 140722228488669 140722228494271 0
/proc/47374/statm: 25332 22295 2656 2593 0 22225 0
Current children cumulated CPU time: 6.17 s
Current children cumulated vsize: 101328 KiB
Current children cumulated memory: 89180 KiB

[startup+12.7001 s]
/proc/loadavg: 3.23 2.68 3.38 5/253 47377
/proc/meminfo: memFree=125723388/131382120 swapFree=33010416/33010684
[pid=47374] ppid=47371 vsize=122520 memory=107076 CPUtime=12.51 cores=5,7
/proc/47374/stat : 47374 (CASHWMaxSAT-Dis) R 47371 47374 46674 0 -1 4194304 25654 0 0 0 1247 4 0 0 20 0 1 0 49529730 125460480 26769 18446744073709551615 4198400 14817773 140722228480480 0 0 0 0 0 8408098 0 0 0 17 7 0 0 0 0 0 16829744 16914832 42979328 140722228488554 140722228488669 140722228488669 140722228494271 0
/proc/47374/statm: 30630 26769 2656 2593 0 27523 0
Current children cumulated CPU time: 12.51 s
Current children cumulated vsize: 122520 KiB
Current children cumulated memory: 107076 KiB

[startup+25.5002 s]
/proc/loadavg: 3.42 2.74 3.40 5/253 47377
/proc/meminfo: memFree=125634804/131382120 swapFree=33010416/33010684
[pid=47374] ppid=47371 vsize=122520 memory=108100 CPUtime=25.22 cores=5,7
/proc/47374/stat : 47374 (CASHWMaxSAT-Dis) R 47371 47374 46674 0 -1 4194304 25915 0 0 0 2517 5 0 0 20 0 1 0 49529730 125460480 27025 18446744073709551615 4198400 14817773 140722228480480 0 0 0 0 0 8408098 0 0 0 17 7 0 0 0 0 0 16829744 16914832 42979328 140722228488554 140722228488669 140722228488669 140722228494271 0
/proc/47374/statm: 30630 27025 2656 2593 0 27523 0
Current children cumulated CPU time: 25.22 s
Current children cumulated vsize: 122520 KiB
Current children cumulated memory: 108100 KiB

[startup+51.1127 s]
/proc/loadavg: 3.62 2.84 3.41 5/254 47378
/proc/meminfo: memFree=125531420/131382120 swapFree=33010416/33010684
[pid=47374] ppid=47371 vsize=184260 memory=165252 CPUtime=50.72 cores=5,7
/proc/47374/stat : 47374 (CASHWMaxSAT-Dis) R 47371 47374 46674 0 -1 4194304 41702 0 0 0 5065 7 0 0 20 0 1 0 49529730 188682240 41313 18446744073709551615 4198400 14817773 140722228480480 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 42979328 140722228488554 140722228488669 140722228488669 140722228494271 0
/proc/47374/statm: 46065 41313 2656 2593 0 42958 0
Current children cumulated CPU time: 50.72 s
Current children cumulated vsize: 184260 KiB
Current children cumulated memory: 165252 KiB

[startup+102.3 s]
/proc/loadavg: 3.89 3.05 3.46 5/255 47381
/proc/meminfo: memFree=125006136/131382120 swapFree=33010416/33010684
[pid=47374] ppid=47371 vsize=220236 memory=196464 CPUtime=101.78 cores=5,7
/proc/47374/stat : 47374 (CASHWMaxSAT-Dis) R 47371 47374 46674 0 -1 4194304 49924 0 0 0 10169 9 0 0 20 0 1 0 49529730 225521664 49116 18446744073709551615 4198400 14817773 140722228480480 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 42979328 140722228488554 140722228488669 140722228488669 140722228494271 0
/proc/47374/statm: 55059 49116 2656 2593 0 51952 0
Current children cumulated CPU time: 101.78 s
Current children cumulated vsize: 220236 KiB
Current children cumulated memory: 196464 KiB

[startup+162.3 s]
/proc/loadavg: 4.06 3.26 3.50 5/254 47383
/proc/meminfo: memFree=124154460/131382120 swapFree=33010416/33010684
[pid=47374] ppid=47371 vsize=259900 memory=231024 CPUtime=161.62 cores=5,7
/proc/47374/stat : 47374 (CASHWMaxSAT-Dis) R 47371 47374 46674 0 -1 4194304 58592 0 0 0 16152 10 0 0 20 0 1 0 49529730 266137600 57756 18446744073709551615 4198400 14817773 140722228480480 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 42979328 140722228488554 140722228488669 140722228488669 140722228494271 0
/proc/47374/statm: 64975 57756 2656 2593 0 61868 0
Current children cumulated CPU time: 161.62 s
Current children cumulated vsize: 259900 KiB
Current children cumulated memory: 231024 KiB

[startup+222.3 s]
/proc/loadavg: 4.07 3.41 3.54 5/254 47436
/proc/meminfo: memFree=126385568/131382120 swapFree=33010416/33010684
[pid=47374] ppid=47371 vsize=264884 memory=233840 CPUtime=221.44 cores=5,7
/proc/47374/stat : 47374 (CASHWMaxSAT-Dis) R 47371 47374 46674 0 -1 4194304 59293 0 0 0 22133 11 0 0 20 0 1 0 49529730 271241216 58460 18446744073709551615 4198400 14817773 140722228480480 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 42979328 140722228488554 140722228488669 140722228488669 140722228494271 0
/proc/47374/statm: 66221 58460 2656 2593 0 63114 0
Current children cumulated CPU time: 221.44 s
Current children cumulated vsize: 264884 KiB
Current children cumulated memory: 233840 KiB

[startup+282.3 s]
/proc/loadavg: 4.13 3.55 3.58 5/252 47438
/proc/meminfo: memFree=126297412/131382120 swapFree=33010416/33010684
[pid=47374] ppid=47371 vsize=286176 memory=253820 CPUtime=281.24 cores=5,7
/proc/47374/stat : 47374 (CASHWMaxSAT-Dis) R 47371 47374 46674 0 -1 4194304 64788 0 0 0 28112 12 0 0 20 0 1 0 49529730 293044224 63455 18446744073709551615 4198400 14817773 140722228480480 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 42979328 140722228488554 140722228488669 140722228488669 140722228494271 0
/proc/47374/statm: 71544 63455 2656 2593 0 68437 0
Current children cumulated CPU time: 281.24 s
Current children cumulated vsize: 286176 KiB
Current children cumulated memory: 253820 KiB

[startup+342.3 s]
/proc/loadavg: 4.10 3.65 3.62 5/251 47440
/proc/meminfo: memFree=126220540/131382120 swapFree=33010416/33010684
[pid=47374] ppid=47371 vsize=342924 memory=304360 CPUtime=341.04 cores=5,7
/proc/47374/stat : 47374 (CASHWMaxSAT-Dis) R 47371 47374 46674 0 -1 4194304 77917 0 0 0 34089 15 0 0 20 0 1 0 49529730 351154176 76090 18446744073709551615 4198400 14817773 140722228480480 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 42979328 140722228488554 140722228488669 140722228488669 140722228494271 0
/proc/47374/statm: 85731 76090 2656 2593 0 82624 0
Current children cumulated CPU time: 341.04 s
Current children cumulated vsize: 342924 KiB
Current children cumulated memory: 304360 KiB

[startup+402.3 s]
/proc/loadavg: 4.77 3.92 3.71 5/250 47454
/proc/meminfo: memFree=126157536/131382120 swapFree=33010416/33010684
[pid=47374] ppid=47371 vsize=362984 memory=322408 CPUtime=400.84 cores=5,7
/proc/47374/stat : 47374 (CASHWMaxSAT-Dis) R 47371 47374 46674 0 -1 4194304 82932 0 0 0 40068 16 0 0 20 0 1 0 49529730 371695616 80602 18446744073709551615 4198400 14817773 140722228480480 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 42979328 140722228488554 140722228488669 140722228488669 140722228494271 0
/proc/47374/statm: 90746 80602 2656 2593 0 87639 0
Current children cumulated CPU time: 400.84 s
Current children cumulated vsize: 362984 KiB
Current children cumulated memory: 322408 KiB

[startup+462.3 s]
/proc/loadavg: 4.41 3.98 3.75 5/250 47456
/proc/meminfo: memFree=126145072/131382120 swapFree=33010416/33010684
[pid=47374] ppid=47371 vsize=369416 memory=325748 CPUtime=460.63 cores=5,7
/proc/47374/stat : 47374 (CASHWMaxSAT-Dis) R 47371 47374 46674 0 -1 4194304 84343 0 0 0 46047 16 0 0 20 0 1 0 49529730 378281984 81437 18446744073709551615 4198400 14817773 140722228480480 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 42979328 140722228488554 140722228488669 140722228488669 140722228494271 0
/proc/47374/statm: 92354 81437 2656 2593 0 89247 0
Current children cumulated CPU time: 460.63 s

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

Current children cumulated memory: 487656 KiB

[startup+2922.3 s]
/proc/loadavg: 4.12 4.10 4.03 5/249 47576
/proc/meminfo: memFree=125361916/131382120 swapFree=33010416/33010684
[pid=47374] ppid=47371 vsize=499824 memory=488040 CPUtime=2913.07 cores=5,7
/proc/47374/stat : 47374 (CASHWMaxSAT-Dis) R 47371 47374 46674 0 -1 4194304 124402 0 0 0 291283 24 0 0 20 0 1 0 49529730 511819776 122010 18446744073709551615 4198400 14817773 140722228480480 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 42979328 140722228488554 140722228488669 140722228488669 140722228494271 0
/proc/47374/statm: 124956 122010 2656 2593 0 121849 0
Current children cumulated CPU time: 2913.07 s
Current children cumulated vsize: 499824 KiB
Current children cumulated memory: 488040 KiB

[startup+2982.3 s]
/proc/loadavg: 4.25 4.12 4.04 5/250 47579
/proc/meminfo: memFree=125362672/131382120 swapFree=33010416/33010684
[pid=47374] ppid=47371 vsize=499808 memory=488368 CPUtime=2972.91 cores=5,7
/proc/47374/stat : 47374 (CASHWMaxSAT-Dis) R 47371 47374 46674 0 -1 4194304 124719 0 0 0 297267 24 0 0 20 0 1 0 49529730 511803392 122092 18446744073709551615 4198400 14817773 140722228480480 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 42979328 140722228488554 140722228488669 140722228488669 140722228494271 0
/proc/47374/statm: 124952 122092 2656 2593 0 121845 0
Current children cumulated CPU time: 2972.91 s
Current children cumulated vsize: 499808 KiB
Current children cumulated memory: 488368 KiB

[startup+3042.3 s]
/proc/loadavg: 4.68 4.28 4.11 5/250 47581
/proc/meminfo: memFree=125326036/131382120 swapFree=33010416/33010684
[pid=47374] ppid=47371 vsize=535380 memory=524848 CPUtime=3032.76 cores=5,7
/proc/47374/stat : 47374 (CASHWMaxSAT-Dis) R 47371 47374 46674 0 -1 4194304 133862 0 0 0 303250 26 0 0 20 0 1 0 49529730 548229120 131212 18446744073709551615 4198400 14817773 140722228480480 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 42979328 140722228488554 140722228488669 140722228488669 140722228494271 0
/proc/47374/statm: 133845 131212 2656 2593 0 130738 0
Current children cumulated CPU time: 3032.76 s
Current children cumulated vsize: 535380 KiB
Current children cumulated memory: 524848 KiB

[startup+3102.3 s]
/proc/loadavg: 4.30 4.25 4.10 5/251 47628
/proc/meminfo: memFree=128527152/131382120 swapFree=33010416/33010684
[pid=47374] ppid=47371 vsize=535380 memory=525616 CPUtime=3092.57 cores=5,7
/proc/47374/stat : 47374 (CASHWMaxSAT-Dis) R 47371 47374 46674 0 -1 4194304 134048 0 0 0 309229 28 0 0 20 0 1 0 49529730 548229120 131404 18446744073709551615 4198400 14817773 140722228480480 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 42979328 140722228488554 140722228488669 140722228488669 140722228494271 0
/proc/47374/statm: 133845 131404 2656 2593 0 130738 0
Current children cumulated CPU time: 3092.57 s
Current children cumulated vsize: 535380 KiB
Current children cumulated memory: 525616 KiB

[startup+3162.3 s]
/proc/loadavg: 4.15 4.21 4.09 5/251 47630
/proc/meminfo: memFree=128391828/131382120 swapFree=33010416/33010684
[pid=47374] ppid=47371 vsize=535380 memory=525744 CPUtime=3152.41 cores=5,7
/proc/47374/stat : 47374 (CASHWMaxSAT-Dis) R 47371 47374 46674 0 -1 4194304 134107 0 0 0 315213 28 0 0 20 0 1 0 49529730 548229120 131436 18446744073709551615 4198400 14817773 140722228480480 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 42979328 140722228488554 140722228488669 140722228488669 140722228494271 0
/proc/47374/statm: 133845 131436 2656 2593 0 130738 0
Current children cumulated CPU time: 3152.41 s
Current children cumulated vsize: 535380 KiB
Current children cumulated memory: 525744 KiB

[startup+3222.3 s]
/proc/loadavg: 4.15 4.20 4.09 5/251 47632
/proc/meminfo: memFree=128294836/131382120 swapFree=33010416/33010684
[pid=47374] ppid=47371 vsize=537404 memory=526256 CPUtime=3212.25 cores=5,7
/proc/47374/stat : 47374 (CASHWMaxSAT-Dis) R 47371 47374 46674 0 -1 4194304 134226 0 0 0 321197 28 0 0 20 0 1 0 49529730 550301696 131564 18446744073709551615 4198400 14817773 140722228480480 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 42979328 140722228488554 140722228488669 140722228488669 140722228494271 0
/proc/47374/statm: 134351 131564 2656 2593 0 131244 0
Current children cumulated CPU time: 3212.25 s
Current children cumulated vsize: 537404 KiB
Current children cumulated memory: 526256 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.18 4.09 5/250 47640
/proc/meminfo: memFree=128223908/131382120 swapFree=33010416/33010684
[pid=47374] ppid=47371 vsize=537404 memory=526512 CPUtime=3272.09 cores=5,7
/proc/47374/stat : 47374 (CASHWMaxSAT-Dis) R 47371 47374 46674 0 -1 4194304 134303 0 0 0 327181 28 0 0 20 0 1 0 49529730 550301696 131628 18446744073709551615 4198400 14817773 140722228480480 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 42979328 140722228488554 140722228488669 140722228488669 140722228494271 0
/proc/47374/statm: 134351 131628 2656 2593 0 131244 0
Current children cumulated CPU time: 3272.09 s
Current children cumulated vsize: 537404 KiB
Current children cumulated memory: 526512 KiB

[startup+3342.3 s]
/proc/loadavg: 4.14 4.17 4.09 5/251 47643
/proc/meminfo: memFree=128199804/131382120 swapFree=33010416/33010684
[pid=47374] ppid=47371 vsize=536380 memory=525784 CPUtime=3331.94 cores=5,7
/proc/47374/stat : 47374 (CASHWMaxSAT-Dis) R 47371 47374 46674 0 -1 4194304 134356 0 0 0 333166 28 0 0 20 0 1 0 49529730 549253120 131446 18446744073709551615 4198400 14817773 140722228480480 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 42979328 140722228488554 140722228488669 140722228488669 140722228494271 0
/proc/47374/statm: 134095 131446 2656 2593 0 130988 0
Current children cumulated CPU time: 3331.94 s
Current children cumulated vsize: 536380 KiB
Current children cumulated memory: 525784 KiB

[startup+3402.3 s]
/proc/loadavg: 4.11 4.16 4.09 5/250 47645
/proc/meminfo: memFree=128134552/131382120 swapFree=33010416/33010684
[pid=47374] ppid=47371 vsize=568044 memory=553304 CPUtime=3391.79 cores=5,7
/proc/47374/stat : 47374 (CASHWMaxSAT-Dis) R 47371 47374 46674 0 -1 4194304 141278 0 0 0 339149 30 0 0 20 0 1 0 49529730 581677056 138326 18446744073709551615 4198400 14817773 140722228480480 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 42979328 140722228488554 140722228488669 140722228488669 140722228494271 0
/proc/47374/statm: 142011 138326 2656 2593 0 138904 0
Current children cumulated CPU time: 3391.79 s
Current children cumulated vsize: 568044 KiB
Current children cumulated memory: 553304 KiB

[startup+3462.3 s]
/proc/loadavg: 4.16 4.16 4.09 5/251 47648
/proc/meminfo: memFree=128136552/131382120 swapFree=33010416/33010684
[pid=47374] ppid=47371 vsize=568044 memory=555096 CPUtime=3451.63 cores=5,7
/proc/47374/stat : 47374 (CASHWMaxSAT-Dis) R 47371 47374 46674 0 -1 4194304 141710 0 0 0 345133 30 0 0 20 0 1 0 49529730 581677056 138774 18446744073709551615 4198400 14817773 140722228480480 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 42979328 140722228488554 140722228488669 140722228488669 140722228494271 0
/proc/47374/statm: 142011 138774 2656 2593 0 138904 0
Current children cumulated CPU time: 3451.63 s
Current children cumulated vsize: 568044 KiB
Current children cumulated memory: 555096 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.14 4.09 5/251 47650
/proc/meminfo: memFree=128088196/131382120 swapFree=33010416/33010684
[pid=47374] ppid=47371 vsize=622092 memory=606552 CPUtime=3511.48 cores=5,7
/proc/47374/stat : 47374 (CASHWMaxSAT-Dis) R 47371 47374 46674 0 -1 4194304 154592 0 0 0 351116 32 0 0 20 0 1 0 49529730 637022208 151638 18446744073709551615 4198400 14817773 140722228480480 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 42979328 140722228488554 140722228488669 140722228488669 140722228494271 0
/proc/47374/statm: 155523 151638 2656 2593 0 152416 0
Current children cumulated CPU time: 3511.48 s
Current children cumulated vsize: 622092 KiB
Current children cumulated memory: 606552 KiB

[startup+3582.3 s]
/proc/loadavg: 4.15 4.15 4.09 5/251 47652
/proc/meminfo: memFree=128080904/131382120 swapFree=33010416/33010684
[pid=47374] ppid=47371 vsize=622092 memory=607832 CPUtime=3571.32 cores=5,7
/proc/47374/stat : 47374 (CASHWMaxSAT-Dis) R 47371 47374 46674 0 -1 4194304 154906 0 0 0 357100 32 0 0 20 0 1 0 49529730 637022208 151958 18446744073709551615 4198400 14817773 140722228480480 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 42979328 140722228488554 140722228488669 140722228488669 140722228494271 0
/proc/47374/statm: 155523 151958 2656 2593 0 152416 0
Current children cumulated CPU time: 3571.32 s
Current children cumulated vsize: 622092 KiB
Current children cumulated memory: 607832 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.11 s]
/proc/loadavg: 4.15 4.15 4.09 5/251 47697
/proc/meminfo: memFree=128778276/131382120 swapFree=33010416/33010684
[pid=47374] ppid=47371 vsize=292092 memory=284856 CPUtime=3600.04 cores=5,7
/proc/47374/stat : 47374 (CASHWMaxSAT-Dis) R 47371 47374 46674 0 -1 4194304 154911 0 0 0 359970 34 0 0 20 0 1 0 49529730 299102208 71214 18446744073709551615 4198400 14817773 140722228480480 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 42979328 140722228488554 140722228488669 140722228488669 140722228494271 0
/proc/47374/statm: 73023 71214 2688 2593 0 69916 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 292092 KiB
Current children cumulated memory: 284856 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.7 s, system=0.349494 s

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

[startup+3611.11 s]
/proc/loadavg: 4.15 4.15 4.09 5/251 47697
/proc/meminfo: memFree=128778276/131382120 swapFree=33010416/33010684
[pid=47374] ppid=47371 vsize=292092 memory=284856 CPUtime=3600.04 cores=5,7
/proc/47374/stat : 47374 (CASHWMaxSAT-Dis) R 47371 47374 46674 0 -1 4194304 154911 0 0 0 359970 34 0 0 20 0 1 0 49529730 299102208 71214 18446744073709551615 4198400 14817773 140722228480480 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 42979328 140722228488554 140722228488669 140722228488669 140722228494271 0
/proc/47374/statm: 73023 71214 2688 2593 0 69916 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 292092 KiB
Current children cumulated memory: 284856 KiB

Child status: 10

Real time (s): 3611.11
CPU time (s): 3600.05
CPU user time (s): 3599.7
CPU system time (s): 0.349494
CPU usage (%): 99.6937
Max. virtual memory (cumulated for all children) (KiB): 622092
Max. memory (cumulated for all children) (KiB): 607832

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.7
system time used= 0.349494
maximum resident set size= 607832
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 154914
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= 38
involuntary context switches= 2256


# summary of solver processes directly reported to runsolver:
#   pid: 47374
#   total CPU time (s): 3600.05
#   total CPU user time (s): 3599.7
#   total CPU system time (s): 0.349494

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.2902 second user time and 33.3289 second system time

The end