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: 63665 MiB (62793 MiB free)
  memory of node 1: 64507 MiB (60811 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4499418-1751415161/watcher-4499418-1751415161 -o /tmp/evaluation-result-4499418-1751415161/solver-4499418-1751415161 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751415161-62234 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4499418-1751415161.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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=62279, runsolver pid=62272

[startup+0.10006 s]*
/proc/loadavg: 0.43 0.90 1.02 6/262 62290
/proc/meminfo: memFree=126491764/131249996 swapFree=33010684/33010684
[pid=62279] ppid=62272 vsize=39652 memory=21120 CPUtime=0.09 cores=5,7
/proc/62279/stat : 62279 (CASHWMaxSAT-Dis) R 62272 62279 61805 0 -1 4194304 4686 0 0 0 9 0 0 0 20 0 1 0 57193862 40603648 5280 18446744073709551615 4198400 14093885 140728335826560 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 34107392 140728335829354 140728335829469 140728335829469 140728335835071 0
/proc/62279/statm: 9913 5280 736 2416 0 7015 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 39652 KiB
Current children cumulated memory: 21120 KiB

[startup+0.205833 s]*
/proc/loadavg: 0.43 0.90 1.02 6/262 62290
/proc/meminfo: memFree=126441268/131249996 swapFree=33010684/33010684
[pid=62279] ppid=62272 vsize=52432 memory=43508 CPUtime=0.2 cores=5,7
/proc/62279/stat : 62279 (CASHWMaxSAT-Dis) R 62272 62279 61805 0 -1 4194304 9473 0 0 0 19 1 0 0 20 0 1 0 57193862 53690368 10877 18446744073709551615 4198400 14093885 140728335826560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 34107392 140728335829354 140728335829469 140728335829469 140728335835071 0
/proc/62279/statm: 13108 10877 2112 2416 0 10210 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 52432 KiB
Current children cumulated memory: 43508 KiB

[startup+0.305904 s]*
/proc/loadavg: 0.43 0.90 1.02 6/262 62290
/proc/meminfo: memFree=126316528/131249996 swapFree=33010684/33010684
[pid=62279] ppid=62272 vsize=87884 memory=77940 CPUtime=0.3 cores=5,7
/proc/62279/stat : 62279 (CASHWMaxSAT-Dis) R 62272 62279 61805 0 -1 4194304 17864 0 0 0 28 2 0 0 20 0 1 0 57193862 89993216 19485 18446744073709551615 4198400 14093885 140728335826560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 34107392 140728335829354 140728335829469 140728335829469 140728335835071 0
/proc/62279/statm: 21971 19485 2336 2416 0 19073 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 87884 KiB
Current children cumulated memory: 77940 KiB

[startup+0.700167 s]
/proc/loadavg: 0.43 0.90 1.02 6/262 62290
/proc/meminfo: memFree=126119400/131249996 swapFree=33010684/33010684
[pid=62279] ppid=62272 vsize=119096 memory=108640 CPUtime=0.68 cores=5,7
/proc/62279/stat : 62279 (CASHWMaxSAT-Dis) R 62272 62279 61805 0 -1 4194304 24897 0 0 0 65 3 0 0 20 0 1 0 57193862 121954304 27160 18446744073709551615 4198400 14093885 140728335826560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 34107392 140728335829354 140728335829469 140728335829469 140728335835071 0
/proc/62279/statm: 29774 27160 2496 2416 0 26876 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 119096 KiB
Current children cumulated memory: 108640 KiB

[startup+1.50011 s]
/proc/loadavg: 0.71 0.95 1.04 6/262 62290
/proc/meminfo: memFree=126006504/131249996 swapFree=33010684/33010684
[pid=62279] ppid=62272 vsize=126304 memory=112608 CPUtime=1.48 cores=5,7
/proc/62279/stat : 62279 (CASHWMaxSAT-Dis) R 62272 62279 61805 0 -1 4194304 25896 0 0 0 145 3 0 0 20 0 1 0 57193862 129335296 28152 18446744073709551615 4198400 14093885 140728335826560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 34107392 140728335829354 140728335829469 140728335829469 140728335835071 0
/proc/62279/statm: 31576 28152 2496 2416 0 28678 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 126304 KiB
Current children cumulated memory: 112608 KiB

[startup+3.10566 s]
/proc/loadavg: 0.71 0.95 1.04 6/262 62290
/proc/meminfo: memFree=125890140/131249996 swapFree=33010684/33010684
[pid=62279] ppid=62272 vsize=133332 memory=115680 CPUtime=3.08 cores=5,7
/proc/62279/stat : 62279 (CASHWMaxSAT-Dis) R 62272 62279 61805 0 -1 4194304 26654 0 0 0 305 3 0 0 20 0 1 0 57193862 136531968 28920 18446744073709551615 4198400 14093885 140728335826560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 34107392 140728335829354 140728335829469 140728335829469 140728335835071 0
/proc/62279/statm: 33333 28920 2496 2416 0 30435 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 133332 KiB
Current children cumulated memory: 115680 KiB

[startup+6.30011 s]
/proc/loadavg: 0.98 1.00 1.06 6/262 62290
/proc/meminfo: memFree=125888032/131249996 swapFree=33010684/33010684
[pid=62279] ppid=62272 vsize=137784 memory=117752 CPUtime=6.27 cores=5,7
/proc/62279/stat : 62279 (CASHWMaxSAT-Dis) R 62272 62279 61805 0 -1 4194304 26658 0 0 0 624 3 0 0 20 0 1 0 57193862 141090816 29438 18446744073709551615 4198400 14093885 140728335826560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 34107392 140728335829354 140728335829469 140728335829469 140728335835071 0
/proc/62279/statm: 34446 29438 2496 2416 0 31548 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 137784 KiB
Current children cumulated memory: 117752 KiB

[startup+12.7001 s]
/proc/loadavg: 1.22 1.05 1.07 6/262 62290
/proc/meminfo: memFree=125859608/131249996 swapFree=33010684/33010684
[pid=62279] ppid=62272 vsize=158140 memory=119416 CPUtime=12.65 cores=5,7
/proc/62279/stat : 62279 (CASHWMaxSAT-Dis) R 62272 62279 61805 0 -1 4194304 27085 0 0 0 1262 3 0 0 20 0 1 0 57193862 161935360 29854 18446744073709551615 4198400 14093885 140728335826560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 34107392 140728335829354 140728335829469 140728335829469 140728335835071 0
/proc/62279/statm: 39535 29854 2496 2416 0 36637 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 158140 KiB
Current children cumulated memory: 119416 KiB

[startup+25.5001 s]
/proc/loadavg: 1.65 1.15 1.10 6/263 62292
/proc/meminfo: memFree=125827408/131249996 swapFree=33010684/33010684
[pid=62279] ppid=62272 vsize=200568 memory=147704 CPUtime=25.42 cores=5,7
/proc/62279/stat : 62279 (CASHWMaxSAT-Dis) R 62272 62279 61805 0 -1 4194304 34198 0 0 0 2537 5 0 0 20 0 1 0 57193862 205381632 36926 18446744073709551615 4198400 14093885 140728335826560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 34107392 140728335829354 140728335829469 140728335829469 140728335835071 0
/proc/62279/statm: 50142 36926 2496 2416 0 47244 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 200568 KiB
Current children cumulated memory: 147704 KiB

[startup+51.1057 s]
/proc/loadavg: 2.63 1.44 1.20 6/263 62292
/proc/meminfo: memFree=125827280/131249996 swapFree=33010684/33010684
[pid=62279] ppid=62272 vsize=202752 memory=149240 CPUtime=50.95 cores=5,7
/proc/62279/stat : 62279 (CASHWMaxSAT-Dis) R 62272 62279 61805 0 -1 4194304 34591 0 0 0 5090 5 0 0 20 0 1 0 57193862 207618048 37310 18446744073709551615 4198400 14093885 140728335826560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 34107392 140728335829354 140728335829469 140728335829469 140728335835071 0
/proc/62279/statm: 50688 37310 2496 2416 0 47790 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 202752 KiB
Current children cumulated memory: 149240 KiB

[startup+102.3 s]
/proc/loadavg: 3.45 1.85 1.36 6/263 62294
/proc/meminfo: memFree=125787360/131249996 swapFree=33010684/33010684
[pid=62279] ppid=62272 vsize=229340 memory=163304 CPUtime=101.99 cores=5,7
/proc/62279/stat : 62279 (CASHWMaxSAT-Dis) R 62272 62279 61805 0 -1 4194304 37589 0 0 0 10194 5 0 0 20 0 1 0 57193862 234844160 40826 18446744073709551615 4198400 14093885 140728335826560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 34107392 140728335829354 140728335829469 140728335829469 140728335835071 0
/proc/62279/statm: 57335 40826 2496 2416 0 54437 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 229340 KiB
Current children cumulated memory: 163304 KiB

[startup+162.3 s]
/proc/loadavg: 3.92 2.27 1.54 6/264 62301
/proc/meminfo: memFree=125722244/131249996 swapFree=33010684/33010684
[pid=62279] ppid=62272 vsize=269916 memory=201916 CPUtime=161.83 cores=5,7
/proc/62279/stat : 62279 (CASHWMaxSAT-Dis) R 62272 62279 61805 0 -1 4194304 45978 0 0 0 16176 7 0 0 20 0 1 0 57193862 276393984 50479 18446744073709551615 4198400 14093885 140728335826560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 34107392 140728335829354 140728335829469 140728335829469 140728335835071 0
/proc/62279/statm: 67479 50479 2528 2416 0 64581 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 269916 KiB
Current children cumulated memory: 201916 KiB

[startup+222.3 s]
/proc/loadavg: 3.97 2.59 1.69 6/264 62303
/proc/meminfo: memFree=125630052/131249996 swapFree=33010684/33010684
[pid=62279] ppid=62272 vsize=295396 memory=219708 CPUtime=221.66 cores=5,7
/proc/62279/stat : 62279 (CASHWMaxSAT-Dis) R 62272 62279 61805 0 -1 4194304 50431 0 0 0 22158 8 0 0 20 0 1 0 57193862 302485504 54927 18446744073709551615 4198400 14093885 140728335826560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 34107392 140728335829354 140728335829469 140728335829469 140728335835071 0
/proc/62279/statm: 73849 54927 2528 2416 0 70951 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 295396 KiB
Current children cumulated memory: 219708 KiB

[startup+282.3 s]
/proc/loadavg: 4.03 2.86 1.84 5/264 62350
/proc/meminfo: memFree=125629292/131249996 swapFree=33010684/33010684
[pid=62279] ppid=62272 vsize=328604 memory=241644 CPUtime=281.49 cores=5,7
/proc/62279/stat : 62279 (CASHWMaxSAT-Dis) R 62272 62279 61805 0 -1 4194304 53501 0 0 0 28140 9 0 0 20 0 1 0 57193862 336490496 60411 18446744073709551615 4198400 14093885 140728335826560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 34107392 140728335829354 140728335829469 140728335829469 140728335835071 0
/proc/62279/statm: 82151 60411 2528 2416 0 79253 0
Current children cumulated CPU time: 281.49 s
Current children cumulated vsize: 328604 KiB
Current children cumulated memory: 241644 KiB

[startup+342.3 s]
/proc/loadavg: 4.11 3.10 1.99 5/264 62353
/proc/meminfo: memFree=125590456/131249996 swapFree=33010684/33010684
[pid=62279] ppid=62272 vsize=346752 memory=257248 CPUtime=341.28 cores=5,7
/proc/62279/stat : 62279 (CASHWMaxSAT-Dis) R 62272 62279 61805 0 -1 4194304 55557 0 0 0 34118 10 0 0 20 0 1 0 57193862 355074048 64312 18446744073709551615 4198400 14093885 140728335826560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 34107392 140728335829354 140728335829469 140728335829469 140728335835071 0
/proc/62279/statm: 86688 64312 2528 2416 0 83790 0
Current children cumulated CPU time: 341.28 s
Current children cumulated vsize: 346752 KiB
Current children cumulated memory: 257248 KiB

[startup+402.3 s]
/proc/loadavg: 4.09 3.28 2.13 5/264 62357
/proc/meminfo: memFree=125534720/131249996 swapFree=33010684/33010684
[pid=62279] ppid=62272 vsize=387240 memory=288352 CPUtime=401.07 cores=5,7
/proc/62279/stat : 62279 (CASHWMaxSAT-Dis) R 62272 62279 61805 0 -1 4194304 63334 0 0 0 40096 11 0 0 20 0 1 0 57193862 396533760 72088 18446744073709551615 4198400 14093885 140728335826560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 34107392 140728335829354 140728335829469 140728335829469 140728335835071 0
/proc/62279/statm: 96810 72088 2528 2416 0 93912 0
Current children cumulated CPU time: 401.07 s
Current children cumulated vsize: 387240 KiB
Current children cumulated memory: 288352 KiB

[startup+462.3 s]
/proc/loadavg: 4.11 3.43 2.25 5/263 62359
/proc/meminfo: memFree=125501244/131249996 swapFree=33010684/33010684
[pid=62279] ppid=62272 vsize=400928 memory=301788 CPUtime=460.86 cores=5,7
/proc/62279/stat : 62279 (CASHWMaxSAT-Dis) R 62272 62279 61805 0 -1 4194304 65189 0 0 0 46074 12 0 0 20 0 1 0 57193862 410550272 75447 18446744073709551615 4198400 14093885 140728335826560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 34107392 140728335829354 140728335829469 140728335829469 140728335835071 0
/proc/62279/statm: 100232 75447 2528 2416 0 97334 0
Current children cumulated CPU time: 460.86 s
Current children cumulated vsize: 400928 KiB
Current children cumulated memory: 301788 KiB

[startup+522.3 s]
/proc/loadavg: 4.09 3.55 2.37 5/263 62361
/proc/meminfo: memFree=125397652/131249996 swapFree=33010684/33010684
[pid=62279] ppid=62272 vsize=411564 memory=304220 CPUtime=520.66 cores=5,7
/proc/62279/stat : 62279 (CASHWMaxSAT-Dis) R 62272 62279 61805 0 -1 4194304 65238 0 0 0 52054 12 0 0 20 0 1 0 57193862 421441536 76055 18446744073709551615 4198400 14093885 140728335826560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 34107392 140728335829354 140728335829469 140728335829469 140728335835071 0
/proc/62279/statm: 102891 76055 2528 2416 0 99993 0
Current children cumulated CPU time: 520.66 s
Current children cumulated vsize: 411564 KiB
Current children cumulated memory: 304220 KiB

[startup+579.602 s]
# the end of solver process 62279 was just reported to runsolver
# Child status: 30

# cumulated CPU time of all completed processes:  user=577.654 s, system=0.132567 s

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

[startup+537.6 s]
/proc/loadavg: 4.07 3.58 2.40 5/263 62361
/proc/meminfo: memFree=125385588/131249996 swapFree=33010684/33010684
[pid=62279] ppid=62272 vsize=411564 memory=308700 CPUtime=535.91 cores=5,7
/proc/62279/stat : 62279 (CASHWMaxSAT-Dis) R 62272 62279 61805 0 -1 4194304 65244 0 0 0 53579 12 0 0 20 0 1 0 57193862 421441536 77175 18446744073709551615 4198400 14093885 140728335826560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 34107392 140728335829354 140728335829469 140728335829469 140728335835071 0
/proc/62279/statm: 102891 77175 2528 2416 0 99993 0
Current children cumulated CPU time: 535.91 s
Current children cumulated vsize: 411564 KiB
Current children cumulated memory: 308700 KiB

[startup+563.2 s]
/proc/loadavg: 4.11 3.63 2.45 5/263 62361
/proc/meminfo: memFree=125281796/131249996 swapFree=33010684/33010684
[pid=62279] ppid=62272 vsize=411564 memory=342620 CPUtime=561.43 cores=5,7
/proc/62279/stat : 62279 (CASHWMaxSAT-Dis) R 62272 62279 61805 0 -1 4194304 65251 0 0 0 56131 12 0 0 20 0 1 0 57193862 421441536 85655 18446744073709551615 4198400 14093885 140728335826560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 34107392 140728335829354 140728335829469 140728335829469 140728335835071 0
/proc/62279/statm: 102891 85655 2528 2416 0 99993 0
Current children cumulated CPU time: 561.43 s
Current children cumulated vsize: 411564 KiB
Current children cumulated memory: 342620 KiB

[startup+569.6 s]
/proc/loadavg: 4.10 3.63 2.45 5/263 62363
/proc/meminfo: memFree=125309044/131249996 swapFree=33010684/33010684
[pid=62279] ppid=62272 vsize=411564 memory=342620 CPUtime=567.82 cores=5,7
/proc/62279/stat : 62279 (CASHWMaxSAT-Dis) R 62272 62279 61805 0 -1 4194304 65257 0 0 0 56770 12 0 0 20 0 1 0 57193862 421441536 85655 18446744073709551615 4198400 14093885 140728335826560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 34107392 140728335829354 140728335829469 140728335829469 140728335835071 0
/proc/62279/statm: 102891 85655 2528 2416 0 99993 0
Current children cumulated CPU time: 567.82 s
Current children cumulated vsize: 411564 KiB
Current children cumulated memory: 342620 KiB

[startup+576 s]*
/proc/loadavg: 4.08 3.65 2.47 5/263 62363
/proc/meminfo: memFree=125269288/131249996 swapFree=33010684/33010684
[pid=62279] ppid=62272 vsize=411564 memory=342620 CPUtime=574.2 cores=5,7
/proc/62279/stat : 62279 (CASHWMaxSAT-Dis) R 62272 62279 61805 0 -1 4194304 65260 0 0 0 57408 12 0 0 20 0 1 0 57193862 421441536 85655 18446744073709551615 4198400 14093885 140728335826560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 34107392 140728335829354 140728335829469 140728335829469 140728335835071 0
/proc/62279/statm: 102891 85655 2528 2416 0 99993 0
Current children cumulated CPU time: 574.2 s
Current children cumulated vsize: 411564 KiB
Current children cumulated memory: 342620 KiB

[startup+577.6 s]
/proc/loadavg: 4.08 3.65 2.47 5/263 62363
/proc/meminfo: memFree=125261224/131249996 swapFree=33010684/33010684
[pid=62279] ppid=62272 vsize=411564 memory=342620 CPUtime=575.79 cores=5,7
/proc/62279/stat : 62279 (CASHWMaxSAT-Dis) R 62272 62279 61805 0 -1 4194304 65260 0 0 0 57567 12 0 0 20 0 1 0 57193862 421441536 85655 18446744073709551615 4198400 14093885 140728335826560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 34107392 140728335829354 140728335829469 140728335829469 140728335835071 0
/proc/62279/statm: 102891 85655 2528 2416 0 99993 0
Current children cumulated CPU time: 575.79 s
Current children cumulated vsize: 411564 KiB
Current children cumulated memory: 342620 KiB

[startup+578.4 s]
/proc/loadavg: 4.08 3.65 2.47 5/263 62363
/proc/meminfo: memFree=125245136/131249996 swapFree=33010684/33010684
[pid=62279] ppid=62272 vsize=411564 memory=342620 CPUtime=576.59 cores=5,7
/proc/62279/stat : 62279 (CASHWMaxSAT-Dis) R 62272 62279 61805 0 -1 4194304 65260 0 0 0 57647 12 0 0 20 0 1 0 57193862 421441536 85655 18446744073709551615 4198400 14093885 140728335826560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 34107392 140728335829354 140728335829469 140728335829469 140728335835071 0
/proc/62279/statm: 102891 85655 2528 2416 0 99993 0
Current children cumulated CPU time: 576.59 s
Current children cumulated vsize: 411564 KiB
Current children cumulated memory: 342620 KiB

[startup+579.2 s]
/proc/loadavg: 4.08 3.65 2.47 5/263 62363
/proc/meminfo: memFree=125237072/131249996 swapFree=33010684/33010684
[pid=62279] ppid=62272 vsize=411564 memory=342620 CPUtime=577.39 cores=5,7
/proc/62279/stat : 62279 (CASHWMaxSAT-Dis) R 62272 62279 61805 0 -1 4194304 65260 0 0 0 57727 12 0 0 20 0 1 0 57193862 421441536 85655 18446744073709551615 4198400 14093885 140728335826560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 34107392 140728335829354 140728335829469 140728335829469 140728335835071 0
/proc/62279/statm: 102891 85655 2528 2416 0 99993 0
Current children cumulated CPU time: 577.39 s
Current children cumulated vsize: 411564 KiB
Current children cumulated memory: 342620 KiB

[startup+579.4 s]
/proc/loadavg: 4.08 3.65 2.47 5/263 62363
/proc/meminfo: memFree=125237072/131249996 swapFree=33010684/33010684
[pid=62279] ppid=62272 vsize=411564 memory=342620 CPUtime=577.59 cores=5,7
/proc/62279/stat : 62279 (CASHWMaxSAT-Dis) R 62272 62279 61805 0 -1 4194304 65260 0 0 0 57747 12 0 0 20 0 1 0 57193862 421441536 85655 18446744073709551615 4198400 14093885 140728335826560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 34107392 140728335829354 140728335829469 140728335829469 140728335835071 0
/proc/62279/statm: 102891 85655 2528 2416 0 99993 0
Current children cumulated CPU time: 577.59 s
Current children cumulated vsize: 411564 KiB
Current children cumulated memory: 342620 KiB

[startup+579.5 s]
/proc/loadavg: 4.08 3.65 2.47 5/263 62363
/proc/meminfo: memFree=125237072/131249996 swapFree=33010684/33010684
[pid=62279] ppid=62272 vsize=411564 memory=342620 CPUtime=577.69 cores=5,7
/proc/62279/stat : 62279 (CASHWMaxSAT-Dis) R 62272 62279 61805 0 -1 4194304 65260 0 0 0 57757 12 0 0 20 0 1 0 57193862 421441536 85655 18446744073709551615 4198400 14093885 140728335826560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 34107392 140728335829354 140728335829469 140728335829469 140728335835071 0
/proc/62279/statm: 102891 85655 2528 2416 0 99993 0
Current children cumulated CPU time: 577.69 s
Current children cumulated vsize: 411564 KiB
Current children cumulated memory: 342620 KiB

Child status: 30

Real time (s): 579.602
CPU time (s): 577.787
CPU user time (s): 577.654
CPU system time (s): 0.132567
CPU usage (%): 99.6868
Max. virtual memory (cumulated for all children) (KiB): 411564
Max. memory (cumulated for all children) (KiB): 342620

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 577.654
system time used= 0.132567
maximum resident set size= 342620
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 65260
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= 41
involuntary context switches= 3311


# summary of solver processes directly reported to runsolver:
#   pid: 62279
#   total CPU time (s): 577.787
#   total CPU user time (s): 577.654
#   total CPU system time (s): 0.132567

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.12979 second user time and 2.49162 second system time

The end