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: 63931 MiB (62645 MiB free)
  memory of node 1: 64510 MiB (62756 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4438411-1722965329/watcher-4438411-1722965329 -o /tmp/evaluation-result-4438411-1722965329/solver-4438411-1722965329 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1722960830-338982 --watchdog 3760 --use-pty ./Hybrid-CASHWMaxSATDisjComS+Exact HOME/instance-4438411-1722965329.opb 3600 HOME 31000 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

Enforcing FSIZE limit: 104857600 KiB
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
Using a pseudo terminal to collect output from the solver
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=343202, runsolver pid=343199

[startup+0.100707 s]*
/proc/loadavg: 4.09 4.10 4.09 5/266 343206
/proc/meminfo: memFree=128392508/131524600 swapFree=131071996/131071996
[pid=343202] ppid=343199 vsize=9932 memory=2664 CPUtime=0 cores=0,2
/proc/343202/stat : 343202 (Hybrid-CASHWMax) S 343199 343202 338972 0 -1 4194304 238 104 0 0 0 0 0 0 20 0 1 0 63133363 10170368 666 134679101440 94429741518848 94429742598168 140733522365696 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94429744696624 94429744743812 94429765926912 140733522371536 140733522371694 140733522371694 140733522378709 0
/proc/343202/statm: 2483 666 587 264 0 134 0
[pid=343205] ppid=343202 vsize=8660 memory=1020 CPUtime=0 cores=0,2
/proc/343205/stat : 343205 (timeout) S 343202 343205 338972 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 63133364 8867840 255 134679101440 94067020406784 94067020441800 140728836227584 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94067022539216 94067022541348 94067025182720 140728836236300 140728836236445 140728836236445 140728836243431 0
/proc/343205/statm: 2165 255 230 9 0 87 0
[pid=343206] ppid=343205 vsize=39656 memory=21092 CPUtime=0.09 cores=0,2
/proc/343206/stat : 343206 (CASHWMaxSAT-Dis) R 343205 343205 338972 0 -1 4194304 4648 0 0 0 9 0 0 0 20 0 1 0 63133364 40607744 5273 134679101440 4194304 14093885 140736316927344 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 15976432 16051504 52772864 140736316933138 140736316933270 140736316933270 140736316940256 0
/proc/343206/statm: 9914 5273 750 2417 0 7016 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 58248 KiB
Current children cumulated memory: 24776 KiB

[startup+0.205775 s]*
/proc/loadavg: 4.09 4.10 4.09 5/266 343206
/proc/meminfo: memFree=128374688/131524600 swapFree=131071996/131071996
[pid=343202] ppid=343199 vsize=9932 memory=2664 CPUtime=0 cores=0,2
/proc/343202/stat : 343202 (Hybrid-CASHWMax) S 343199 343202 338972 0 -1 4194304 238 104 0 0 0 0 0 0 20 0 1 0 63133363 10170368 666 134679101440 94429741518848 94429742598168 140733522365696 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94429744696624 94429744743812 94429765926912 140733522371536 140733522371694 140733522371694 140733522378709 0
/proc/343202/statm: 2483 666 587 264 0 134 0
[pid=343205] ppid=343202 vsize=8660 memory=1020 CPUtime=0 cores=0,2
/proc/343205/stat : 343205 (timeout) S 343202 343205 338972 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 63133364 8867840 255 134679101440 94067020406784 94067020441800 140728836227584 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94067022539216 94067022541348 94067025182720 140728836236300 140728836236445 140728836236445 140728836243431 0
/proc/343205/statm: 2165 255 230 9 0 87 0
[pid=343206] ppid=343205 vsize=57852 memory=39328 CPUtime=0.19 cores=0,2
/proc/343206/stat : 343206 (CASHWMaxSAT-Dis) R 343205 343205 338972 0 -1 4194304 9173 0 0 0 19 0 0 0 20 0 1 0 63133364 59240448 9832 134679101440 4194304 14093885 140736316927344 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 15976432 16051504 52772864 140736316933138 140736316933270 140736316933270 140736316940256 0
/proc/343206/statm: 14463 9832 750 2417 0 11565 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 76444 KiB
Current children cumulated memory: 43012 KiB

[startup+0.305737 s]*
/proc/loadavg: 4.09 4.10 4.09 5/266 343206
/proc/meminfo: memFree=128357748/131524600 swapFree=131071996/131071996
[pid=343202] ppid=343199 vsize=9932 memory=2664 CPUtime=0 cores=0,2
/proc/343202/stat : 343202 (Hybrid-CASHWMax) S 343199 343202 338972 0 -1 4194304 238 104 0 0 0 0 0 0 20 0 1 0 63133363 10170368 666 134679101440 94429741518848 94429742598168 140733522365696 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94429744696624 94429744743812 94429765926912 140733522371536 140733522371694 140733522371694 140733522378709 0
/proc/343202/statm: 2483 666 587 264 0 134 0
[pid=343205] ppid=343202 vsize=8660 memory=1020 CPUtime=0 cores=0,2
/proc/343205/stat : 343205 (timeout) S 343202 343205 338972 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 63133364 8867840 255 134679101440 94067020406784 94067020441800 140728836227584 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94067022539216 94067022541348 94067025182720 140728836236300 140728836236445 140728836236445 140728836243431 0
/proc/343205/statm: 2165 255 230 9 0 87 0
[pid=343206] ppid=343205 vsize=74096 memory=56064 CPUtime=0.3 cores=0,2
/proc/343206/stat : 343206 (CASHWMaxSAT-Dis) R 343205 343205 338972 0 -1 4194304 13449 0 0 0 29 1 0 0 20 0 1 0 63133364 75874304 14016 134679101440 4194304 14093885 140736316927344 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 15976432 16051504 52772864 140736316933138 140736316933270 140736316933270 140736316940256 0
/proc/343206/statm: 18524 14016 782 2417 0 15626 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 92688 KiB
Current children cumulated memory: 59748 KiB

[startup+0.700292 s]
/proc/loadavg: 4.09 4.10 4.09 5/266 343206
/proc/meminfo: memFree=128279544/131524600 swapFree=131071996/131071996
[pid=343202] ppid=343199 vsize=9932 memory=2664 CPUtime=0 cores=0,2
/proc/343202/stat : 343202 (Hybrid-CASHWMax) S 343199 343202 338972 0 -1 4194304 238 104 0 0 0 0 0 0 20 0 1 0 63133363 10170368 666 134679101440 94429741518848 94429742598168 140733522365696 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94429744696624 94429744743812 94429765926912 140733522371536 140733522371694 140733522371694 140733522378709 0
/proc/343202/statm: 2483 666 587 264 0 134 0
[pid=343205] ppid=343202 vsize=8660 memory=1020 CPUtime=0 cores=0,2
/proc/343205/stat : 343205 (timeout) S 343202 343205 338972 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 63133364 8867840 255 134679101440 94067020406784 94067020441800 140728836227584 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94067022539216 94067022541348 94067025182720 140728836236300 140728836236445 140728836236445 140728836243431 0
/proc/343205/statm: 2165 255 230 9 0 87 0
[pid=343206] ppid=343205 vsize=199464 memory=188656 CPUtime=0.68 cores=0,2
/proc/343206/stat : 343206 (CASHWMaxSAT-Dis) R 343205 343205 338972 0 -1 4194304 46064 0 0 0 63 5 0 0 20 0 1 0 63133364 204251136 47164 134679101440 4194304 14093885 140736316927344 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 52772864 140736316933138 140736316933270 140736316933270 140736316940256 0
/proc/343206/statm: 49866 47164 2350 2417 0 46968 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 218056 KiB
Current children cumulated memory: 192340 KiB

[startup+1.50029 s]
/proc/loadavg: 4.09 4.10 4.09 5/266 343206
/proc/meminfo: memFree=128228108/131524600 swapFree=131071996/131071996
[pid=343202] ppid=343199 vsize=9932 memory=2664 CPUtime=0 cores=0,2
/proc/343202/stat : 343202 (Hybrid-CASHWMax) S 343199 343202 338972 0 -1 4194304 238 104 0 0 0 0 0 0 20 0 1 0 63133363 10170368 666 134679101440 94429741518848 94429742598168 140733522365696 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94429744696624 94429744743812 94429765926912 140733522371536 140733522371694 140733522371694 140733522378709 0
/proc/343202/statm: 2483 666 587 264 0 134 0
[pid=343205] ppid=343202 vsize=8660 memory=1020 CPUtime=0 cores=0,2
/proc/343205/stat : 343205 (timeout) S 343202 343205 338972 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 63133364 8867840 255 134679101440 94067020406784 94067020441800 140728836227584 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94067022539216 94067022541348 94067025182720 140728836236300 140728836236445 140728836236445 140728836243431 0
/proc/343205/statm: 2165 255 230 9 0 87 0
[pid=343206] ppid=343205 vsize=252620 memory=238908 CPUtime=1.48 cores=0,2
/proc/343206/stat : 343206 (CASHWMaxSAT-Dis) R 343205 343205 338972 0 -1 4194304 58041 0 0 0 141 7 0 0 20 0 1 0 63133364 258682880 59727 134679101440 4194304 14093885 140736316927344 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 52772864 140736316933138 140736316933270 140736316933270 140736316940256 0
/proc/343206/statm: 63155 59727 2510 2417 0 60257 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 271212 KiB
Current children cumulated memory: 242592 KiB

[startup+3.10562 s]
/proc/loadavg: 4.09 4.10 4.09 5/266 343206
/proc/meminfo: memFree=128179864/131524600 swapFree=131071996/131071996
[pid=343202] ppid=343199 vsize=9932 memory=2664 CPUtime=0 cores=0,2
/proc/343202/stat : 343202 (Hybrid-CASHWMax) S 343199 343202 338972 0 -1 4194304 238 104 0 0 0 0 0 0 20 0 1 0 63133363 10170368 666 134679101440 94429741518848 94429742598168 140733522365696 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94429744696624 94429744743812 94429765926912 140733522371536 140733522371694 140733522371694 140733522378709 0
/proc/343202/statm: 2483 666 587 264 0 134 0
[pid=343205] ppid=343202 vsize=8660 memory=1020 CPUtime=0 cores=0,2
/proc/343205/stat : 343205 (timeout) S 343202 343205 338972 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 63133364 8867840 255 134679101440 94067020406784 94067020441800 140728836227584 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94067022539216 94067022541348 94067025182720 140728836236300 140728836236445 140728836236445 140728836243431 0
/proc/343205/statm: 2165 255 230 9 0 87 0
[pid=343206] ppid=343205 vsize=252620 memory=239428 CPUtime=3.08 cores=0,2
/proc/343206/stat : 343206 (CASHWMaxSAT-Dis) R 343205 343205 338972 0 -1 4194304 58181 0 0 0 301 7 0 0 20 0 1 0 63133364 258682880 59857 134679101440 4194304 14093885 140736316927344 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 52772864 140736316933138 140736316933270 140736316933270 140736316940256 0
/proc/343206/statm: 63155 59857 2510 2417 0 60257 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 271212 KiB
Current children cumulated memory: 243112 KiB

[startup+6.30028 s]
/proc/loadavg: 4.09 4.10 4.09 5/266 343207
/proc/meminfo: memFree=128177548/131524600 swapFree=131071996/131071996
[pid=343202] ppid=343199 vsize=9932 memory=2664 CPUtime=0 cores=0,2
/proc/343202/stat : 343202 (Hybrid-CASHWMax) S 343199 343202 338972 0 -1 4194304 238 104 0 0 0 0 0 0 20 0 1 0 63133363 10170368 666 134679101440 94429741518848 94429742598168 140733522365696 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94429744696624 94429744743812 94429765926912 140733522371536 140733522371694 140733522371694 140733522378709 0
/proc/343202/statm: 2483 666 587 264 0 134 0
[pid=343205] ppid=343202 vsize=8660 memory=1020 CPUtime=0 cores=0,2
/proc/343205/stat : 343205 (timeout) S 343202 343205 338972 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 63133364 8867840 255 134679101440 94067020406784 94067020441800 140728836227584 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94067022539216 94067022541348 94067025182720 140728836236300 140728836236445 140728836236445 140728836243431 0
/proc/343205/statm: 2165 255 230 9 0 87 0
[pid=343206] ppid=343205 vsize=252620 memory=239684 CPUtime=6.26 cores=0,2
/proc/343206/stat : 343206 (CASHWMaxSAT-Dis) R 343205 343205 338972 0 -1 4194304 58239 0 0 0 619 7 0 0 20 0 1 0 63133364 258682880 59921 134679101440 4194304 14093885 140736316927344 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 52772864 140736316933138 140736316933270 140736316933270 140736316940256 0
/proc/343206/statm: 63155 59921 2510 2417 0 60257 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 271212 KiB
Current children cumulated memory: 243368 KiB

[startup+12.7003 s]
/proc/loadavg: 4.08 4.10 4.09 5/267 343208
/proc/meminfo: memFree=128174464/131524600 swapFree=131071996/131071996
[pid=343202] ppid=343199 vsize=9932 memory=2664 CPUtime=0 cores=0,2
/proc/343202/stat : 343202 (Hybrid-CASHWMax) S 343199 343202 338972 0 -1 4194304 238 104 0 0 0 0 0 0 20 0 1 0 63133363 10170368 666 134679101440 94429741518848 94429742598168 140733522365696 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94429744696624 94429744743812 94429765926912 140733522371536 140733522371694 140733522371694 140733522378709 0
/proc/343202/statm: 2483 666 587 264 0 134 0
[pid=343205] ppid=343202 vsize=8660 memory=1020 CPUtime=0 cores=0,2
/proc/343205/stat : 343205 (timeout) S 343202 343205 338972 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 63133364 8867840 255 134679101440 94067020406784 94067020441800 140728836227584 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94067022539216 94067022541348 94067025182720 140728836236300 140728836236445 140728836236445 140728836243431 0
/proc/343205/statm: 2165 255 230 9 0 87 0
[pid=343206] ppid=343205 vsize=253696 memory=240724 CPUtime=12.64 cores=0,2
/proc/343206/stat : 343206 (CASHWMaxSAT-Dis) R 343205 343205 338972 0 -1 4194304 58539 0 0 0 1257 7 0 0 20 0 1 0 63133364 259784704 60181 134679101440 4194304 14093885 140736316927344 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 52772864 140736316933138 140736316933270 140736316933270 140736316940256 0
/proc/343206/statm: 63424 60181 2510 2417 0 60526 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 272288 KiB
Current children cumulated memory: 244408 KiB

[startup+25.5003 s]
/proc/loadavg: 4.06 4.09 4.09 5/267 343210
/proc/meminfo: memFree=128162932/131524600 swapFree=131071996/131071996
[pid=343202] ppid=343199 vsize=9932 memory=2664 CPUtime=0 cores=0,2
/proc/343202/stat : 343202 (Hybrid-CASHWMax) S 343199 343202 338972 0 -1 4194304 238 104 0 0 0 0 0 0 20 0 1 0 63133363 10170368 666 134679101440 94429741518848 94429742598168 140733522365696 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94429744696624 94429744743812 94429765926912 140733522371536 140733522371694 140733522371694 140733522378709 0
/proc/343202/statm: 2483 666 587 264 0 134 0
[pid=343205] ppid=343202 vsize=8660 memory=1020 CPUtime=0 cores=0,2
/proc/343205/stat : 343205 (timeout) S 343202 343205 338972 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 63133364 8867840 255 134679101440 94067020406784 94067020441800 140728836227584 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94067022539216 94067022541348 94067025182720 140728836236300 140728836236445 140728836236445 140728836243431 0
/proc/343205/statm: 2165 255 230 9 0 87 0
[pid=343206] ppid=343205 vsize=253696 memory=240724 CPUtime=25.39 cores=0,2
/proc/343206/stat : 343206 (CASHWMaxSAT-Dis) R 343205 343205 338972 0 -1 4194304 58543 0 0 0 2532 7 0 0 20 0 1 0 63133364 259784704 60181 134679101440 4194304 14093885 140736316927344 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 52772864 140736316933138 140736316933270 140736316933270 140736316940256 0
/proc/343206/statm: 63424 60181 2510 2417 0 60526 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 272288 KiB
Current children cumulated memory: 244408 KiB

[startup+51.1058 s]
/proc/loadavg: 4.10 4.10 4.09 5/267 343214
/proc/meminfo: memFree=128148788/131524600 swapFree=131071996/131071996
[pid=343202] ppid=343199 vsize=9932 memory=2664 CPUtime=0 cores=0,2
/proc/343202/stat : 343202 (Hybrid-CASHWMax) S 343199 343202 338972 0 -1 4194304 238 104 0 0 0 0 0 0 20 0 1 0 63133363 10170368 666 134679101440 94429741518848 94429742598168 140733522365696 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94429744696624 94429744743812 94429765926912 140733522371536 140733522371694 140733522371694 140733522378709 0
/proc/343202/statm: 2483 666 587 264 0 134 0
[pid=343205] ppid=343202 vsize=8660 memory=1020 CPUtime=0 cores=0,2
/proc/343205/stat : 343205 (timeout) S 343202 343205 338972 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 63133364 8867840 255 134679101440 94067020406784 94067020441800 140728836227584 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94067022539216 94067022541348 94067025182720 140728836236300 140728836236445 140728836236445 140728836243431 0
/proc/343205/statm: 2165 255 230 9 0 87 0
[pid=343206] ppid=343205 vsize=253696 memory=240724 CPUtime=50.92 cores=0,2
/proc/343206/stat : 343206 (CASHWMaxSAT-Dis) R 343205 343205 338972 0 -1 4194304 58549 0 0 0 5084 8 0 0 20 0 1 0 63133364 259784704 60181 134679101440 4194304 14093885 140736316927344 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 52772864 140736316933138 140736316933270 140736316933270 140736316940256 0
/proc/343206/statm: 63424 60181 2510 2417 0 60526 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 272288 KiB
Current children cumulated memory: 244408 KiB

[startup+102.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/268 343351
/proc/meminfo: memFree=128156336/131524600 swapFree=131071996/131071996
[pid=343202] ppid=343199 vsize=9932 memory=2664 CPUtime=0 cores=0,2
/proc/343202/stat : 343202 (Hybrid-CASHWMax) S 343199 343202 338972 0 -1 4194304 238 104 0 0 0 0 0 0 20 0 1 0 63133363 10170368 666 134679101440 94429741518848 94429742598168 140733522365696 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94429744696624 94429744743812 94429765926912 140733522371536 140733522371694 140733522371694 140733522378709 0

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

/proc/343206/statm: 135382 110428 2542 2417 0 132484 0
Current children cumulated CPU time: 1776.35 s
Current children cumulated vsize: 560120 KiB
Current children cumulated memory: 445396 KiB

[startup+1842.3 s]
/proc/loadavg: 4.43 4.21 4.13 5/266 344632
/proc/meminfo: memFree=125437800/131524600 swapFree=131071996/131071996
[pid=343202] ppid=343199 vsize=9932 memory=2724 CPUtime=1792.01 cores=0,2
/proc/343202/stat : 343202 (Hybrid-CASHWMax) S 343199 343202 338972 0 -1 4194304 270 106269 0 0 0 0 179180 21 20 0 1 0 63133363 10170368 681 134679101440 94429741518848 94429742598168 140733522365696 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94429744696624 94429744743812 94429765926912 140733522371536 140733522371694 140733522371694 140733522378709 0
/proc/343202/statm: 2483 681 587 264 0 134 0
[pid=344624] ppid=343202 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/344624/stat : 344624 (timeout) S 343202 344624 338972 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 63313164 8867840 245 134679101440 94404784119808 94404784154824 140727505241968 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94404786252240 94404786254372 94404808822784 140727505249268 140727505249437 140727505249437 140727505256423 0
/proc/344624/statm: 2165 245 221 9 0 87 0
[pid=344625] ppid=344624 vsize=42044 memory=28392 CPUtime=43.99 cores=0,2
/proc/344625/stat : 344625 (Exact) R 344624 344624 338972 0 -1 4194304 16219 0 0 0 4396 3 0 0 20 0 1 0 63313164 43053056 7098 134679101440 4194304 7210733 140733025755184 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1 0 0 7850304 7914896 23310336 140733025760272 140733025760422 140733025760422 140733025767408 0
/proc/344625/statm: 10511 7098 748 737 0 9599 0
Current children cumulated CPU time: 1836 s
Current children cumulated vsize: 60636 KiB
Current children cumulated memory: 32096 KiB

[startup+1878.1 s]
# the end of solver process 343202 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=1871.42 s, system=0.258501 s

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

[startup+1843.2 s]
/proc/loadavg: 4.40 4.21 4.12 5/266 344632
/proc/meminfo: memFree=125432184/131524600 swapFree=131071996/131071996
[pid=343202] ppid=343199 vsize=9932 memory=2724 CPUtime=1792.01 cores=0,2
/proc/343202/stat : 343202 (Hybrid-CASHWMax) S 343199 343202 338972 0 -1 4194304 270 106269 0 0 0 0 179180 21 20 0 1 0 63133363 10170368 681 134679101440 94429741518848 94429742598168 140733522365696 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94429744696624 94429744743812 94429765926912 140733522371536 140733522371694 140733522371694 140733522378709 0
/proc/343202/statm: 2483 681 587 264 0 134 0
[pid=344624] ppid=343202 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/344624/stat : 344624 (timeout) S 343202 344624 338972 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 63313164 8867840 245 134679101440 94404784119808 94404784154824 140727505241968 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94404786252240 94404786254372 94404808822784 140727505249268 140727505249437 140727505249437 140727505256423 0
/proc/344624/statm: 2165 245 221 9 0 87 0
[pid=344625] ppid=344624 vsize=42044 memory=28392 CPUtime=44.88 cores=0,2
/proc/344625/stat : 344625 (Exact) R 344624 344624 338972 0 -1 4194304 16219 0 0 0 4485 3 0 0 20 0 1 0 63313164 43053056 7098 134679101440 4194304 7210733 140733025755184 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1 0 0 7850304 7914896 23310336 140733025760272 140733025760422 140733025760422 140733025767408 0
/proc/344625/statm: 10511 7098 748 737 0 9599 0
Current children cumulated CPU time: 1836.89 s
Current children cumulated vsize: 60636 KiB
Current children cumulated memory: 32096 KiB

[startup+1856 s]*
/proc/loadavg: 4.34 4.20 4.12 5/266 344635
/proc/meminfo: memFree=125470816/131524600 swapFree=131071996/131071996
[pid=343202] ppid=343199 vsize=9932 memory=2724 CPUtime=1792.01 cores=0,2
/proc/343202/stat : 343202 (Hybrid-CASHWMax) S 343199 343202 338972 0 -1 4194304 270 106269 0 0 0 0 179180 21 20 0 1 0 63133363 10170368 681 134679101440 94429741518848 94429742598168 140733522365696 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94429744696624 94429744743812 94429765926912 140733522371536 140733522371694 140733522371694 140733522378709 0
/proc/343202/statm: 2483 681 587 264 0 134 0
[pid=344624] ppid=343202 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/344624/stat : 344624 (timeout) S 343202 344624 338972 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 63313164 8867840 245 134679101440 94404784119808 94404784154824 140727505241968 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94404786252240 94404786254372 94404808822784 140727505249268 140727505249437 140727505249437 140727505256423 0
/proc/344624/statm: 2165 245 221 9 0 87 0
[pid=344625] ppid=344624 vsize=42224 memory=28576 CPUtime=57.64 cores=0,2
/proc/344625/stat : 344625 (Exact) R 344624 344624 338972 0 -1 4194304 18627 0 0 0 5761 3 0 0 20 0 1 0 63313164 43237376 7144 134679101440 4194304 7210733 140733025755184 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1 0 0 7850304 7914896 23310336 140733025760272 140733025760422 140733025760422 140733025767408 0
/proc/344625/statm: 10556 7144 748 737 0 9644 0
Current children cumulated CPU time: 1849.65 s
Current children cumulated vsize: 60816 KiB
Current children cumulated memory: 32280 KiB

[startup+1868.8 s]
/proc/loadavg: 4.26 4.19 4.12 5/266 344637
/proc/meminfo: memFree=125447544/131524600 swapFree=131071996/131071996
[pid=343202] ppid=343199 vsize=9932 memory=2724 CPUtime=1792.01 cores=0,2
/proc/343202/stat : 343202 (Hybrid-CASHWMax) S 343199 343202 338972 0 -1 4194304 270 106269 0 0 0 0 179180 21 20 0 1 0 63133363 10170368 681 134679101440 94429741518848 94429742598168 140733522365696 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94429744696624 94429744743812 94429765926912 140733522371536 140733522371694 140733522371694 140733522378709 0
/proc/343202/statm: 2483 681 587 264 0 134 0
[pid=344624] ppid=343202 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/344624/stat : 344624 (timeout) S 343202 344624 338972 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 63313164 8867840 245 134679101440 94404784119808 94404784154824 140727505241968 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94404786252240 94404786254372 94404808822784 140727505249268 140727505249437 140727505249437 140727505256423 0
/proc/344624/statm: 2165 245 221 9 0 87 0
[pid=344625] ppid=344624 vsize=42540 memory=28912 CPUtime=70.38 cores=0,2
/proc/344625/stat : 344625 (Exact) R 344624 344624 338972 0 -1 4194304 20528 0 0 0 7035 3 0 0 20 0 1 0 63313164 43560960 7228 134679101440 4194304 7210733 140733025755184 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1 0 0 7850304 7914896 23310336 140733025760272 140733025760422 140733025760422 140733025767408 0
/proc/344625/statm: 10635 7228 748 737 0 9723 0
Current children cumulated CPU time: 1862.39 s
Current children cumulated vsize: 61132 KiB
Current children cumulated memory: 32616 KiB

[startup+1872 s]*
/proc/loadavg: 4.26 4.19 4.12 5/266 344637
/proc/meminfo: memFree=125433108/131524600 swapFree=131071996/131071996
[pid=343202] ppid=343199 vsize=9932 memory=2724 CPUtime=1792.01 cores=0,2
/proc/343202/stat : 343202 (Hybrid-CASHWMax) S 343199 343202 338972 0 -1 4194304 270 106269 0 0 0 0 179180 21 20 0 1 0 63133363 10170368 681 134679101440 94429741518848 94429742598168 140733522365696 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94429744696624 94429744743812 94429765926912 140733522371536 140733522371694 140733522371694 140733522378709 0
/proc/343202/statm: 2483 681 587 264 0 134 0
[pid=344624] ppid=343202 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/344624/stat : 344624 (timeout) S 343202 344624 338972 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 63313164 8867840 245 134679101440 94404784119808 94404784154824 140727505241968 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94404786252240 94404786254372 94404808822784 140727505249268 140727505249437 140727505249437 140727505256423 0
/proc/344624/statm: 2165 245 221 9 0 87 0
[pid=344625] ppid=344624 vsize=42616 memory=28992 CPUtime=73.58 cores=0,2
/proc/344625/stat : 344625 (Exact) R 344624 344624 338972 0 -1 4194304 21096 0 0 0 7355 3 0 0 20 0 1 0 63313164 43638784 7248 134679101440 4194304 7210733 140733025755184 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1 0 0 7850304 7914896 23310336 140733025760272 140733025760422 140733025760422 140733025767408 0
/proc/344625/statm: 10654 7248 748 737 0 9742 0
Current children cumulated CPU time: 1865.59 s
Current children cumulated vsize: 61208 KiB
Current children cumulated memory: 32696 KiB

[startup+1875.2 s]
/proc/loadavg: 4.24 4.19 4.12 5/266 344637
/proc/meminfo: memFree=125437624/131524600 swapFree=131071996/131071996
[pid=343202] ppid=343199 vsize=9932 memory=2724 CPUtime=1792.01 cores=0,2
/proc/343202/stat : 343202 (Hybrid-CASHWMax) S 343199 343202 338972 0 -1 4194304 270 106269 0 0 0 0 179180 21 20 0 1 0 63133363 10170368 681 134679101440 94429741518848 94429742598168 140733522365696 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94429744696624 94429744743812 94429765926912 140733522371536 140733522371694 140733522371694 140733522378709 0
/proc/343202/statm: 2483 681 587 264 0 134 0
[pid=344624] ppid=343202 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/344624/stat : 344624 (timeout) S 343202 344624 338972 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 63313164 8867840 245 134679101440 94404784119808 94404784154824 140727505241968 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94404786252240 94404786254372 94404808822784 140727505249268 140727505249437 140727505249437 140727505256423 0
/proc/344624/statm: 2165 245 221 9 0 87 0
[pid=344625] ppid=344624 vsize=42616 memory=28992 CPUtime=76.76 cores=0,2
/proc/344625/stat : 344625 (Exact) R 344624 344624 338972 0 -1 4194304 21096 0 0 0 7673 3 0 0 20 0 1 0 63313164 43638784 7248 134679101440 4194304 7210733 140733025755184 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1 0 0 7850304 7914896 23310336 140733025760272 140733025760422 140733025760422 140733025767408 0
/proc/344625/statm: 10654 7248 748 737 0 9742 0
Current children cumulated CPU time: 1868.77 s
Current children cumulated vsize: 61208 KiB
Current children cumulated memory: 32696 KiB

[startup+1876.8 s]
/proc/loadavg: 4.24 4.19 4.12 5/266 344638
/proc/meminfo: memFree=125433560/131524600 swapFree=131071996/131071996
[pid=343202] ppid=343199 vsize=9932 memory=2724 CPUtime=1792.01 cores=0,2
/proc/343202/stat : 343202 (Hybrid-CASHWMax) S 343199 343202 338972 0 -1 4194304 270 106269 0 0 0 0 179180 21 20 0 1 0 63133363 10170368 681 134679101440 94429741518848 94429742598168 140733522365696 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94429744696624 94429744743812 94429765926912 140733522371536 140733522371694 140733522371694 140733522378709 0
/proc/343202/statm: 2483 681 587 264 0 134 0
[pid=344624] ppid=343202 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/344624/stat : 344624 (timeout) S 343202 344624 338972 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 63313164 8867840 245 134679101440 94404784119808 94404784154824 140727505241968 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94404786252240 94404786254372 94404808822784 140727505249268 140727505249437 140727505249437 140727505256423 0
/proc/344624/statm: 2165 245 221 9 0 87 0
[pid=344625] ppid=344624 vsize=42732 memory=29108 CPUtime=78.36 cores=0,2
/proc/344625/stat : 344625 (Exact) R 344624 344624 338972 0 -1 4194304 21846 0 0 0 7832 4 0 0 20 0 1 0 63313164 43757568 7277 134679101440 4194304 7210733 140733025755184 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1 0 0 7850304 7914896 23310336 140733025760272 140733025760422 140733025760422 140733025767408 0
/proc/344625/statm: 10683 7277 748 737 0 9771 0
Current children cumulated CPU time: 1870.37 s
Current children cumulated vsize: 61324 KiB
Current children cumulated memory: 32812 KiB

[startup+1877.6 s]
/proc/loadavg: 4.24 4.19 4.12 5/266 344638
/proc/meminfo: memFree=125428956/131524600 swapFree=131071996/131071996
[pid=343202] ppid=343199 vsize=9932 memory=2724 CPUtime=1792.01 cores=0,2
/proc/343202/stat : 343202 (Hybrid-CASHWMax) S 343199 343202 338972 0 -1 4194304 270 106269 0 0 0 0 179180 21 20 0 1 0 63133363 10170368 681 134679101440 94429741518848 94429742598168 140733522365696 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94429744696624 94429744743812 94429765926912 140733522371536 140733522371694 140733522371694 140733522378709 0
/proc/343202/statm: 2483 681 587 264 0 134 0
[pid=344624] ppid=343202 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/344624/stat : 344624 (timeout) S 343202 344624 338972 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 63313164 8867840 245 134679101440 94404784119808 94404784154824 140727505241968 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94404786252240 94404786254372 94404808822784 140727505249268 140727505249437 140727505249437 140727505256423 0
/proc/344624/statm: 2165 245 221 9 0 87 0
[pid=344625] ppid=344624 vsize=42732 memory=29108 CPUtime=79.16 cores=0,2
/proc/344625/stat : 344625 (Exact) R 344624 344624 338972 0 -1 4194304 21846 0 0 0 7912 4 0 0 20 0 1 0 63313164 43757568 7277 134679101440 4194304 7210733 140733025755184 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1 0 0 7850304 7914896 23310336 140733025760272 140733025760422 140733025760422 140733025767408 0
/proc/344625/statm: 10683 7277 748 737 0 9771 0
Current children cumulated CPU time: 1871.17 s
Current children cumulated vsize: 61324 KiB
Current children cumulated memory: 32812 KiB

[startup+1878 s]*
/proc/loadavg: 4.22 4.18 4.12 5/266 344638
/proc/meminfo: memFree=125428928/131524600 swapFree=131071996/131071996
[pid=343202] ppid=343199 vsize=9932 memory=2724 CPUtime=1792.01 cores=0,2
/proc/343202/stat : 343202 (Hybrid-CASHWMax) S 343199 343202 338972 0 -1 4194304 270 106269 0 0 0 0 179180 21 20 0 1 0 63133363 10170368 681 134679101440 94429741518848 94429742598168 140733522365696 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94429744696624 94429744743812 94429765926912 140733522371536 140733522371694 140733522371694 140733522378709 0
/proc/343202/statm: 2483 681 587 264 0 134 0
[pid=344624] ppid=343202 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/344624/stat : 344624 (timeout) S 343202 344624 338972 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 63313164 8867840 245 134679101440 94404784119808 94404784154824 140727505241968 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94404786252240 94404786254372 94404808822784 140727505249268 140727505249437 140727505249437 140727505256423 0
/proc/344624/statm: 2165 245 221 9 0 87 0
[pid=344625] ppid=344624 vsize=42732 memory=29108 CPUtime=79.56 cores=0,2
/proc/344625/stat : 344625 (Exact) R 344624 344624 338972 0 -1 4194304 21846 0 0 0 7952 4 0 0 20 0 1 0 63313164 43757568 7277 134679101440 4194304 7210733 140733025755184 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1 0 0 7850304 7914896 23310336 140733025760272 140733025760422 140733025760422 140733025767408 0
/proc/344625/statm: 10683 7277 748 737 0 9771 0
Current children cumulated CPU time: 1871.57 s
Current children cumulated vsize: 61324 KiB
Current children cumulated memory: 32812 KiB

Child status: 0

Real time (s): 1878.1
CPU time (s): 1871.68
CPU user time (s): 1871.42
CPU system time (s): 0.258501
CPU usage (%): 99.6581
Max. virtual memory (cumulated for all children) (KiB): 560120
Max. memory (cumulated for all children) (KiB): 445396

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1871.42
system time used= 0.258501
maximum resident set size= 446492
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 129181
page faults= 0
swaps= 0
block input operations= 0
block output operations= 96
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 58
involuntary context switches= 12943


# summary of solver processes directly reported to runsolver:
#   pid: 343202
#   total CPU time (s): 1871.68
#   total CPU user time (s): 1871.42
#   total CPU system time (s): 0.258501

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.11161 second user time and 9.33845 second system time

The end