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: 63968 MiB (61865 MiB free)
  memory of node 1: 64473 MiB (60890 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458001-1722988180/watcher-4458001-1722988180 -o /tmp/evaluation-result-4458001-1722988180/solver-4458001-1722988180 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1722984325-360240 --watchdog 3760 --use-pty ./Hybrid-CASHWMaxSATDisjComS+Exact HOME/instance-4458001-1722988180.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
solver pid=362838, runsolver pid=362835
Current StackSize limit: 8192 KiB


[startup+0.100093 s]*
/proc/loadavg: 4.07 4.11 4.09 5/262 362842
/proc/meminfo: memFree=125683400/131524600 swapFree=131071996/131071996
[pid=362838] ppid=362835 vsize=9932 memory=2664 CPUtime=0 cores=0,2
/proc/362838/stat : 362838 (Hybrid-CASHWMax) S 362835 362838 360230 0 -1 4194304 239 100 0 0 0 0 0 0 20 0 1 0 65420260 10170368 666 134679101440 94563696283648 94563697362968 140725985492672 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94563699461424 94563699508612 94563705917440 140725985498064 140725985498222 140725985498222 140725985505237 0
/proc/362838/statm: 2483 666 586 264 0 134 0
[pid=362841] ppid=362838 vsize=8660 memory=1000 CPUtime=0 cores=0,2
/proc/362841/stat : 362841 (timeout) S 362838 362841 360230 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 65420261 8867840 250 134679101440 94582566264832 94582566299848 140721739702128 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94582568397264 94582568399396 94582590889984 140721739707404 140721739707549 140721739707549 140721739714535 0
/proc/362841/statm: 2165 250 225 9 0 87 0
[pid=362842] ppid=362841 vsize=42364 memory=32292 CPUtime=0.09 cores=0,2
/proc/362842/stat : 362842 (CASHWMaxSAT-Dis) R 362841 362841 360230 0 -1 4194304 7051 0 0 0 8 1 0 0 20 0 1 0 65420261 43380736 8073 134679101440 4194304 14093885 140731019816608 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 45387776 140731019822098 140731019822230 140731019822230 140731019829216 0
/proc/362842/statm: 10591 8073 2142 2417 0 7693 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 60956 KiB
Current children cumulated memory: 35956 KiB

[startup+0.205916 s]*
/proc/loadavg: 4.07 4.11 4.09 5/262 362842
/proc/meminfo: memFree=125620472/131524600 swapFree=131071996/131071996
[pid=362838] ppid=362835 vsize=9932 memory=2664 CPUtime=0 cores=0,2
/proc/362838/stat : 362838 (Hybrid-CASHWMax) S 362835 362838 360230 0 -1 4194304 239 100 0 0 0 0 0 0 20 0 1 0 65420260 10170368 666 134679101440 94563696283648 94563697362968 140725985492672 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94563699461424 94563699508612 94563705917440 140725985498064 140725985498222 140725985498222 140725985505237 0
/proc/362838/statm: 2483 666 586 264 0 134 0
[pid=362841] ppid=362838 vsize=8660 memory=1000 CPUtime=0 cores=0,2
/proc/362841/stat : 362841 (timeout) S 362838 362841 360230 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 65420261 8867840 250 134679101440 94582566264832 94582566299848 140721739702128 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94582568397264 94582568399396 94582590889984 140721739707404 140721739707549 140721739707549 140721739714535 0
/proc/362841/statm: 2165 250 225 9 0 87 0
[pid=362842] ppid=362841 vsize=101740 memory=89832 CPUtime=0.2 cores=0,2
/proc/362842/stat : 362842 (CASHWMaxSAT-Dis) R 362841 362841 360230 0 -1 4194304 21275 0 0 0 17 3 0 0 20 0 1 0 65420261 104181760 22458 134679101440 4194304 14093885 140731019816608 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 45387776 140731019822098 140731019822230 140731019822230 140731019829216 0
/proc/362842/statm: 25435 22458 2350 2417 0 22537 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 120332 KiB
Current children cumulated memory: 93496 KiB

[startup+0.305768 s]*
/proc/loadavg: 4.07 4.11 4.09 5/262 362842
/proc/meminfo: memFree=125594344/131524600 swapFree=131071996/131071996
[pid=362838] ppid=362835 vsize=9932 memory=2664 CPUtime=0 cores=0,2
/proc/362838/stat : 362838 (Hybrid-CASHWMax) S 362835 362838 360230 0 -1 4194304 239 100 0 0 0 0 0 0 20 0 1 0 65420260 10170368 666 134679101440 94563696283648 94563697362968 140725985492672 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94563699461424 94563699508612 94563705917440 140725985498064 140725985498222 140725985498222 140725985505237 0
/proc/362838/statm: 2483 666 586 264 0 134 0
[pid=362841] ppid=362838 vsize=8660 memory=1000 CPUtime=0 cores=0,2
/proc/362841/stat : 362841 (timeout) S 362838 362841 360230 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 65420261 8867840 250 134679101440 94582566264832 94582566299848 140721739702128 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94582568397264 94582568399396 94582590889984 140721739707404 140721739707549 140721739707549 140721739714535 0
/proc/362841/statm: 2165 250 225 9 0 87 0
[pid=362842] ppid=362841 vsize=126764 memory=115176 CPUtime=0.3 cores=0,2
/proc/362842/stat : 362842 (CASHWMaxSAT-Dis) R 362841 362841 360230 0 -1 4194304 27601 0 0 0 26 4 0 0 20 0 1 0 65420261 129806336 28794 134679101440 4194304 14093885 140731019816608 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 45387776 140731019822098 140731019822230 140731019822230 140731019829216 0
/proc/362842/statm: 31691 28794 2350 2417 0 28793 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 145356 KiB
Current children cumulated memory: 118840 KiB

[startup+0.700301 s]
/proc/loadavg: 4.07 4.11 4.09 5/262 362842
/proc/meminfo: memFree=125588800/131524600 swapFree=131071996/131071996
[pid=362838] ppid=362835 vsize=9932 memory=2664 CPUtime=0 cores=0,2
/proc/362838/stat : 362838 (Hybrid-CASHWMax) S 362835 362838 360230 0 -1 4194304 239 100 0 0 0 0 0 0 20 0 1 0 65420260 10170368 666 134679101440 94563696283648 94563697362968 140725985492672 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94563699461424 94563699508612 94563705917440 140725985498064 140725985498222 140725985498222 140725985505237 0
/proc/362838/statm: 2483 666 586 264 0 134 0
[pid=362841] ppid=362838 vsize=8660 memory=1000 CPUtime=0 cores=0,2
/proc/362841/stat : 362841 (timeout) S 362838 362841 360230 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 65420261 8867840 250 134679101440 94582566264832 94582566299848 140721739702128 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94582568397264 94582568399396 94582590889984 140721739707404 140721739707549 140721739707549 140721739714535 0
/proc/362841/statm: 2165 250 225 9 0 87 0
[pid=362842] ppid=362841 vsize=218192 memory=189700 CPUtime=0.69 cores=0,2
/proc/362842/stat : 362842 (CASHWMaxSAT-Dis) R 362841 362841 360230 0 -1 4194304 35021 0 0 0 63 6 0 0 20 0 1 0 65420261 223428608 47425 134679101440 4194304 14093885 140731019816608 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 45387776 140731019822098 140731019822230 140731019822230 140731019829216 0
/proc/362842/statm: 54548 47425 2414 2417 0 51650 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 236784 KiB
Current children cumulated memory: 193364 KiB

[startup+1.5003 s]
/proc/loadavg: 4.07 4.11 4.09 5/262 362842
/proc/meminfo: memFree=125451096/131524600 swapFree=131071996/131071996
[pid=362838] ppid=362835 vsize=9932 memory=2664 CPUtime=0 cores=0,2
/proc/362838/stat : 362838 (Hybrid-CASHWMax) S 362835 362838 360230 0 -1 4194304 239 100 0 0 0 0 0 0 20 0 1 0 65420260 10170368 666 134679101440 94563696283648 94563697362968 140725985492672 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94563699461424 94563699508612 94563705917440 140725985498064 140725985498222 140725985498222 140725985505237 0
/proc/362838/statm: 2483 666 586 264 0 134 0
[pid=362841] ppid=362838 vsize=8660 memory=1000 CPUtime=0 cores=0,2
/proc/362841/stat : 362841 (timeout) S 362838 362841 360230 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 65420261 8867840 250 134679101440 94582566264832 94582566299848 140721739702128 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94582568397264 94582568399396 94582590889984 140721739707404 140721739707549 140721739707549 140721739714535 0
/proc/362841/statm: 2165 250 225 9 0 87 0
[pid=362842] ppid=362841 vsize=357264 memory=325744 CPUtime=1.48 cores=0,2
/proc/362842/stat : 362842 (CASHWMaxSAT-Dis) R 362841 362841 360230 0 -1 4194304 63536 0 0 0 138 10 0 0 20 0 1 0 65420261 365838336 81436 134679101440 4194304 14093885 140731019816608 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 45387776 140731019822098 140731019822230 140731019822230 140731019829216 0
/proc/362842/statm: 89316 81436 2526 2417 0 86418 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 375856 KiB
Current children cumulated memory: 329408 KiB

[startup+3.10567 s]
/proc/loadavg: 4.07 4.11 4.09 5/262 362842
/proc/meminfo: memFree=125367968/131524600 swapFree=131071996/131071996
[pid=362838] ppid=362835 vsize=9932 memory=2664 CPUtime=0 cores=0,2
/proc/362838/stat : 362838 (Hybrid-CASHWMax) S 362835 362838 360230 0 -1 4194304 239 100 0 0 0 0 0 0 20 0 1 0 65420260 10170368 666 134679101440 94563696283648 94563697362968 140725985492672 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94563699461424 94563699508612 94563705917440 140725985498064 140725985498222 140725985498222 140725985505237 0
/proc/362838/statm: 2483 666 586 264 0 134 0
[pid=362841] ppid=362838 vsize=8660 memory=1000 CPUtime=0 cores=0,2
/proc/362841/stat : 362841 (timeout) S 362838 362841 360230 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 65420261 8867840 250 134679101440 94582566264832 94582566299848 140721739702128 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94582568397264 94582568399396 94582590889984 140721739707404 140721739707549 140721739707549 140721739714535 0
/proc/362841/statm: 2165 250 225 9 0 87 0
[pid=362842] ppid=362841 vsize=360188 memory=330256 CPUtime=3.08 cores=0,2
/proc/362842/stat : 362842 (CASHWMaxSAT-Dis) R 362841 362841 360230 0 -1 4194304 64641 0 0 0 297 11 0 0 20 0 1 0 65420261 368832512 82564 134679101440 4194304 14093885 140731019816608 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 45387776 140731019822098 140731019822230 140731019822230 140731019829216 0
/proc/362842/statm: 90047 82564 2542 2417 0 87149 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 378780 KiB
Current children cumulated memory: 333920 KiB

[startup+6.3003 s]
/proc/loadavg: 4.07 4.11 4.09 5/262 362843
/proc/meminfo: memFree=125348424/131524600 swapFree=131071996/131071996
[pid=362838] ppid=362835 vsize=9932 memory=2664 CPUtime=0 cores=0,2
/proc/362838/stat : 362838 (Hybrid-CASHWMax) S 362835 362838 360230 0 -1 4194304 239 100 0 0 0 0 0 0 20 0 1 0 65420260 10170368 666 134679101440 94563696283648 94563697362968 140725985492672 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94563699461424 94563699508612 94563705917440 140725985498064 140725985498222 140725985498222 140725985505237 0
/proc/362838/statm: 2483 666 586 264 0 134 0
[pid=362841] ppid=362838 vsize=8660 memory=1000 CPUtime=0 cores=0,2
/proc/362841/stat : 362841 (timeout) S 362838 362841 360230 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 65420261 8867840 250 134679101440 94582566264832 94582566299848 140721739702128 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94582568397264 94582568399396 94582590889984 140721739707404 140721739707549 140721739707549 140721739714535 0
/proc/362841/statm: 2165 250 225 9 0 87 0
[pid=362842] ppid=362841 vsize=371108 memory=342628 CPUtime=6.27 cores=0,2
/proc/362842/stat : 362842 (CASHWMaxSAT-Dis) R 362841 362841 360230 0 -1 4194304 67710 0 0 0 615 12 0 0 20 0 1 0 65420261 380014592 85657 134679101440 4194304 14093885 140731019816608 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 45387776 140731019822098 140731019822230 140731019822230 140731019829216 0
/proc/362842/statm: 92777 85657 2542 2417 0 89879 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 389700 KiB
Current children cumulated memory: 346292 KiB

[startup+12.7003 s]
/proc/loadavg: 4.06 4.11 4.09 5/262 362843
/proc/meminfo: memFree=125342964/131524600 swapFree=131071996/131071996
[pid=362838] ppid=362835 vsize=9932 memory=2664 CPUtime=0 cores=0,2
/proc/362838/stat : 362838 (Hybrid-CASHWMax) S 362835 362838 360230 0 -1 4194304 239 100 0 0 0 0 0 0 20 0 1 0 65420260 10170368 666 134679101440 94563696283648 94563697362968 140725985492672 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94563699461424 94563699508612 94563705917440 140725985498064 140725985498222 140725985498222 140725985505237 0
/proc/362838/statm: 2483 666 586 264 0 134 0
[pid=362841] ppid=362838 vsize=8660 memory=1000 CPUtime=0 cores=0,2
/proc/362841/stat : 362841 (timeout) S 362838 362841 360230 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 65420261 8867840 250 134679101440 94582566264832 94582566299848 140721739702128 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94582568397264 94582568399396 94582590889984 140721739707404 140721739707549 140721739707549 140721739714535 0
/proc/362841/statm: 2165 250 225 9 0 87 0
[pid=362842] ppid=362841 vsize=389480 memory=344876 CPUtime=12.64 cores=0,2
/proc/362842/stat : 362842 (CASHWMaxSAT-Dis) R 362841 362841 360230 0 -1 4194304 67777 0 0 0 1252 12 0 0 20 0 1 0 65420261 398827520 86219 134679101440 4194304 14093885 140731019816608 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 45387776 140731019822098 140731019822230 140731019822230 140731019829216 0
/proc/362842/statm: 97370 86219 2542 2417 0 94472 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 408072 KiB
Current children cumulated memory: 348540 KiB

[startup+25.5003 s]
/proc/loadavg: 4.13 4.12 4.09 5/264 362850
/proc/meminfo: memFree=125233660/131524600 swapFree=131071996/131071996
[pid=362838] ppid=362835 vsize=9932 memory=2664 CPUtime=0 cores=0,2
/proc/362838/stat : 362838 (Hybrid-CASHWMax) S 362835 362838 360230 0 -1 4194304 239 100 0 0 0 0 0 0 20 0 1 0 65420260 10170368 666 134679101440 94563696283648 94563697362968 140725985492672 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94563699461424 94563699508612 94563705917440 140725985498064 140725985498222 140725985498222 140725985505237 0
/proc/362838/statm: 2483 666 586 264 0 134 0
[pid=362841] ppid=362838 vsize=8660 memory=1000 CPUtime=0 cores=0,2
/proc/362841/stat : 362841 (timeout) S 362838 362841 360230 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 65420261 8867840 250 134679101440 94582566264832 94582566299848 140721739702128 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94582568397264 94582568399396 94582590889984 140721739707404 140721739707549 140721739707549 140721739714535 0
/proc/362841/statm: 2165 250 225 9 0 87 0
[pid=362842] ppid=362841 vsize=484684 memory=436244 CPUtime=25.4 cores=0,2
/proc/362842/stat : 362842 (CASHWMaxSAT-Dis) R 362841 362841 360230 0 -1 4194304 103250 0 0 0 2522 18 0 0 20 0 1 0 65420261 496316416 109061 134679101440 4194304 14093885 140731019816608 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 45387776 140731019822098 140731019822230 140731019822230 140731019829216 0
/proc/362842/statm: 121171 109061 2542 2417 0 118273 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 503276 KiB
Current children cumulated memory: 439908 KiB

[startup+51.1059 s]
/proc/loadavg: 4.08 4.11 4.09 5/264 362853
/proc/meminfo: memFree=125203956/131524600 swapFree=131071996/131071996
[pid=362838] ppid=362835 vsize=9932 memory=2664 CPUtime=0 cores=0,2
/proc/362838/stat : 362838 (Hybrid-CASHWMax) S 362835 362838 360230 0 -1 4194304 239 100 0 0 0 0 0 0 20 0 1 0 65420260 10170368 666 134679101440 94563696283648 94563697362968 140725985492672 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94563699461424 94563699508612 94563705917440 140725985498064 140725985498222 140725985498222 140725985505237 0
/proc/362838/statm: 2483 666 586 264 0 134 0
[pid=362841] ppid=362838 vsize=8660 memory=1000 CPUtime=0 cores=0,2
/proc/362841/stat : 362841 (timeout) S 362838 362841 360230 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 65420261 8867840 250 134679101440 94582566264832 94582566299848 140721739702128 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94582568397264 94582568399396 94582590889984 140721739707404 140721739707549 140721739707549 140721739714535 0
/proc/362841/statm: 2165 250 225 9 0 87 0
[pid=362842] ppid=362841 vsize=508680 memory=451776 CPUtime=50.92 cores=0,2
/proc/362842/stat : 362842 (CASHWMaxSAT-Dis) R 362841 362841 360230 0 -1 4194304 109535 0 0 0 5072 20 0 0 20 0 1 0 65420261 520888320 112944 134679101440 4194304 14093885 140731019816608 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 45387776 140731019822098 140731019822230 140731019822230 140731019829216 0
/proc/362842/statm: 127170 112944 2542 2417 0 124272 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 527272 KiB
Current children cumulated memory: 455440 KiB

[startup+102.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/264 362863
/proc/meminfo: memFree=125171620/131524600 swapFree=131071996/131071996
[pid=362838] ppid=362835 vsize=9932 memory=2664 CPUtime=0 cores=0,2
/proc/362838/stat : 362838 (Hybrid-CASHWMax) S 362835 362838 360230 0 -1 4194304 239 100 0 0 0 0 0 0 20 0 1 0 65420260 10170368 666 134679101440 94563696283648 94563697362968 140725985492672 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94563699461424 94563699508612 94563705917440 140725985498064 140725985498222 140725985498222 140725985505237 0

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

/proc/364135/statm: 101673 95211 748 737 0 100761 0
Current children cumulated CPU time: 3390.68 s
Current children cumulated vsize: 425284 KiB
Current children cumulated memory: 384548 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/263 365052
/proc/meminfo: memFree=128740492/131524600 swapFree=131071996/131071996
[pid=362838] ppid=362835 vsize=9932 memory=2720 CPUtime=1792 cores=0,2
/proc/362838/stat : 362838 (Hybrid-CASHWMax) S 362835 362838 360230 0 -1 4194304 272 407300 0 0 0 0 178706 494 20 0 1 0 65420260 10170368 680 134679101440 94563696283648 94563697362968 140725985492672 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94563699461424 94563699508612 94563705917440 140725985498064 140725985498222 140725985498222 140725985505237 0
/proc/362838/statm: 2483 680 586 264 0 134 0
[pid=364134] ppid=362838 vsize=8660 memory=984 CPUtime=0 cores=0,2
/proc/364134/stat : 364134 (timeout) S 362838 364134 360230 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 65600061 8867840 246 134679101440 94432151224320 94432151259336 140733595954592 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94432153356752 94432153358884 94432155332608 140733595960308 140733595960477 140733595960477 140733595967463 0
/proc/364134/statm: 2165 246 221 9 0 87 0
[pid=364135] ppid=364134 vsize=412004 memory=385168 CPUtime=1658.49 cores=0,2
/proc/364135/stat : 364135 (Exact) R 364134 364134 360230 0 -1 4194304 58765 0 0 0 165816 33 0 0 20 0 1 0 65600061 421892096 96292 134679101440 4194304 7210733 140730300687088 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 32800768 140730300695568 140730300695718 140730300695718 140730300702704 0
/proc/364135/statm: 103001 96292 748 737 0 102089 0
Current children cumulated CPU time: 3450.49 s
Current children cumulated vsize: 430596 KiB
Current children cumulated memory: 388872 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/263 365064
/proc/meminfo: memFree=128726780/131524600 swapFree=131071996/131071996
[pid=362838] ppid=362835 vsize=9932 memory=2720 CPUtime=1792 cores=0,2
/proc/362838/stat : 362838 (Hybrid-CASHWMax) S 362835 362838 360230 0 -1 4194304 272 407300 0 0 0 0 178706 494 20 0 1 0 65420260 10170368 680 134679101440 94563696283648 94563697362968 140725985492672 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94563699461424 94563699508612 94563705917440 140725985498064 140725985498222 140725985498222 140725985505237 0
/proc/362838/statm: 2483 680 586 264 0 134 0
[pid=364134] ppid=362838 vsize=8660 memory=984 CPUtime=0 cores=0,2
/proc/364134/stat : 364134 (timeout) S 362838 364134 360230 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 65600061 8867840 246 134679101440 94432151224320 94432151259336 140733595954592 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94432153356752 94432153358884 94432155332608 140733595960308 140733595960477 140733595960477 140733595967463 0
/proc/364134/statm: 2165 246 221 9 0 87 0
[pid=364135] ppid=364134 vsize=412712 memory=385900 CPUtime=1718.29 cores=0,2
/proc/364135/stat : 364135 (Exact) R 364134 364134 360230 0 -1 4194304 59103 0 0 0 171796 33 0 0 20 0 1 0 65600061 422617088 96475 134679101440 4194304 7210733 140730300687088 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 32800768 140730300695568 140730300695718 140730300695718 140730300702704 0
/proc/364135/statm: 103178 96475 748 737 0 102266 0
Current children cumulated CPU time: 3510.29 s
Current children cumulated vsize: 431304 KiB
Current children cumulated memory: 389604 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.08 4.09 5/263 365075
/proc/meminfo: memFree=128724904/131524600 swapFree=131071996/131071996
[pid=362838] ppid=362835 vsize=9932 memory=2720 CPUtime=1792 cores=0,2
/proc/362838/stat : 362838 (Hybrid-CASHWMax) S 362835 362838 360230 0 -1 4194304 272 407300 0 0 0 0 178706 494 20 0 1 0 65420260 10170368 680 134679101440 94563696283648 94563697362968 140725985492672 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94563699461424 94563699508612 94563705917440 140725985498064 140725985498222 140725985498222 140725985505237 0
/proc/362838/statm: 2483 680 586 264 0 134 0
[pid=364134] ppid=362838 vsize=8660 memory=984 CPUtime=0 cores=0,2
/proc/364134/stat : 364134 (timeout) S 362838 364134 360230 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 65600061 8867840 246 134679101440 94432151224320 94432151259336 140733595954592 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94432153356752 94432153358884 94432155332608 140733595960308 140733595960477 140733595960477 140733595967463 0
/proc/364134/statm: 2165 246 221 9 0 87 0
[pid=364135] ppid=364134 vsize=413480 memory=386440 CPUtime=1778.1 cores=0,2
/proc/364135/stat : 364135 (Exact) R 364134 364134 360230 0 -1 4194304 59450 0 0 0 177776 34 0 0 20 0 1 0 65600061 423403520 96610 134679101440 4194304 7210733 140730300687088 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 32800768 140730300695568 140730300695718 140730300695718 140730300702704 0
/proc/364135/statm: 103370 96610 748 737 0 102458 0
Current children cumulated CPU time: 3570.1 s
Current children cumulated vsize: 432072 KiB
Current children cumulated memory: 390144 KiB

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

# cumulated CPU time of all completed processes:  user=3578.52 s, system=5.29957 s

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

[startup+3584 s]*
/proc/loadavg: 4.08 4.08 4.09 5/263 365075
/proc/meminfo: memFree=128724904/131524600 swapFree=131071996/131071996
[pid=362838] ppid=362835 vsize=9932 memory=2720 CPUtime=1792 cores=0,2
/proc/362838/stat : 362838 (Hybrid-CASHWMax) S 362835 362838 360230 0 -1 4194304 272 407300 0 0 0 0 178706 494 20 0 1 0 65420260 10170368 680 134679101440 94563696283648 94563697362968 140725985492672 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94563699461424 94563699508612 94563705917440 140725985498064 140725985498222 140725985498222 140725985505237 0
/proc/362838/statm: 2483 680 586 264 0 134 0
[pid=364134] ppid=362838 vsize=8660 memory=984 CPUtime=0 cores=0,2
/proc/364134/stat : 364134 (timeout) S 362838 364134 360230 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 65600061 8867840 246 134679101440 94432151224320 94432151259336 140733595954592 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94432153356752 94432153358884 94432155332608 140733595960308 140733595960477 140733595960477 140733595967463 0
/proc/364134/statm: 2165 246 221 9 0 87 0
[pid=364135] ppid=364134 vsize=413480 memory=386440 CPUtime=1779.8 cores=0,2
/proc/364135/stat : 364135 (Exact) R 364134 364134 360230 0 -1 4194304 59450 0 0 0 177946 34 0 0 20 0 1 0 65600061 423403520 96610 134679101440 4194304 7210733 140730300687088 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 32800768 140730300695568 140730300695718 140730300695718 140730300702704 0
/proc/364135/statm: 103370 96610 748 737 0 102458 0
Current children cumulated CPU time: 3571.8 s
Current children cumulated vsize: 432072 KiB
Current children cumulated memory: 390144 KiB

[startup+3590.4 s]
/proc/loadavg: 4.07 4.08 4.09 5/263 365077
/proc/meminfo: memFree=128724652/131524600 swapFree=131071996/131071996
[pid=362838] ppid=362835 vsize=9932 memory=2720 CPUtime=1792 cores=0,2
/proc/362838/stat : 362838 (Hybrid-CASHWMax) S 362835 362838 360230 0 -1 4194304 272 407300 0 0 0 0 178706 494 20 0 1 0 65420260 10170368 680 134679101440 94563696283648 94563697362968 140725985492672 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94563699461424 94563699508612 94563705917440 140725985498064 140725985498222 140725985498222 140725985505237 0
/proc/362838/statm: 2483 680 586 264 0 134 0
[pid=364134] ppid=362838 vsize=8660 memory=984 CPUtime=0 cores=0,2
/proc/364134/stat : 364134 (timeout) S 362838 364134 360230 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 65600061 8867840 246 134679101440 94432151224320 94432151259336 140733595954592 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94432153356752 94432153358884 94432155332608 140733595960308 140733595960477 140733595960477 140733595967463 0
/proc/364134/statm: 2165 246 221 9 0 87 0
[pid=364135] ppid=364134 vsize=413672 memory=386704 CPUtime=1786.18 cores=0,2
/proc/364135/stat : 364135 (Exact) R 364134 364134 360230 0 -1 4194304 59495 0 0 0 178584 34 0 0 20 0 1 0 65600061 423600128 96676 134679101440 4194304 7210733 140730300687088 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 32800768 140730300695568 140730300695718 140730300695718 140730300702704 0
/proc/364135/statm: 103418 96676 748 737 0 102506 0
Current children cumulated CPU time: 3578.18 s
Current children cumulated vsize: 432264 KiB
Current children cumulated memory: 390408 KiB

[startup+3593.6 s]
/proc/loadavg: 4.07 4.08 4.09 5/263 365077
/proc/meminfo: memFree=128724652/131524600 swapFree=131071996/131071996
[pid=362838] ppid=362835 vsize=9932 memory=2720 CPUtime=1792 cores=0,2
/proc/362838/stat : 362838 (Hybrid-CASHWMax) S 362835 362838 360230 0 -1 4194304 272 407300 0 0 0 0 178706 494 20 0 1 0 65420260 10170368 680 134679101440 94563696283648 94563697362968 140725985492672 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94563699461424 94563699508612 94563705917440 140725985498064 140725985498222 140725985498222 140725985505237 0
/proc/362838/statm: 2483 680 586 264 0 134 0
[pid=364134] ppid=362838 vsize=8660 memory=984 CPUtime=0 cores=0,2
/proc/364134/stat : 364134 (timeout) S 362838 364134 360230 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 65600061 8867840 246 134679101440 94432151224320 94432151259336 140733595954592 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94432153356752 94432153358884 94432155332608 140733595960308 140733595960477 140733595960477 140733595967463 0
/proc/364134/statm: 2165 246 221 9 0 87 0
[pid=364135] ppid=364134 vsize=413672 memory=386852 CPUtime=1789.36 cores=0,2
/proc/364135/stat : 364135 (Exact) R 364134 364134 360230 0 -1 4194304 59614 0 0 0 178902 34 0 0 20 0 1 0 65600061 423600128 96713 134679101440 4194304 7210733 140730300687088 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 32800768 140730300695568 140730300695718 140730300695718 140730300702704 0
/proc/364135/statm: 103418 96713 748 737 0 102506 0
Current children cumulated CPU time: 3581.36 s
Current children cumulated vsize: 432264 KiB
Current children cumulated memory: 390556 KiB

[startup+3595.2 s]
/proc/loadavg: 4.07 4.08 4.09 5/263 365079
/proc/meminfo: memFree=128724448/131524600 swapFree=131071996/131071996
[pid=362838] ppid=362835 vsize=9932 memory=2720 CPUtime=1792 cores=0,2
/proc/362838/stat : 362838 (Hybrid-CASHWMax) S 362835 362838 360230 0 -1 4194304 272 407300 0 0 0 0 178706 494 20 0 1 0 65420260 10170368 680 134679101440 94563696283648 94563697362968 140725985492672 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94563699461424 94563699508612 94563705917440 140725985498064 140725985498222 140725985498222 140725985505237 0
/proc/362838/statm: 2483 680 586 264 0 134 0
[pid=364134] ppid=362838 vsize=8660 memory=984 CPUtime=0 cores=0,2
/proc/364134/stat : 364134 (timeout) S 362838 364134 360230 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 65600061 8867840 246 134679101440 94432151224320 94432151259336 140733595954592 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94432153356752 94432153358884 94432155332608 140733595960308 140733595960477 140733595960477 140733595967463 0
/proc/364134/statm: 2165 246 221 9 0 87 0
[pid=364135] ppid=364134 vsize=413672 memory=386852 CPUtime=1790.96 cores=0,2
/proc/364135/stat : 364135 (Exact) R 364134 364134 360230 0 -1 4194304 59614 0 0 0 179062 34 0 0 20 0 1 0 65600061 423600128 96713 134679101440 4194304 7210733 140730300687088 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 32800768 140730300695568 140730300695718 140730300695718 140730300702704 0
/proc/364135/statm: 103418 96713 748 737 0 102506 0
Current children cumulated CPU time: 3582.96 s
Current children cumulated vsize: 432264 KiB
Current children cumulated memory: 390556 KiB

[startup+3595.6 s]
/proc/loadavg: 4.07 4.08 4.09 5/263 365079
/proc/meminfo: memFree=128724448/131524600 swapFree=131071996/131071996
[pid=362838] ppid=362835 vsize=9932 memory=2720 CPUtime=1792 cores=0,2
/proc/362838/stat : 362838 (Hybrid-CASHWMax) S 362835 362838 360230 0 -1 4194304 272 407300 0 0 0 0 178706 494 20 0 1 0 65420260 10170368 680 134679101440 94563696283648 94563697362968 140725985492672 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94563699461424 94563699508612 94563705917440 140725985498064 140725985498222 140725985498222 140725985505237 0
/proc/362838/statm: 2483 680 586 264 0 134 0
[pid=364134] ppid=362838 vsize=8660 memory=984 CPUtime=0 cores=0,2
/proc/364134/stat : 364134 (timeout) S 362838 364134 360230 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 65600061 8867840 246 134679101440 94432151224320 94432151259336 140733595954592 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94432153356752 94432153358884 94432155332608 140733595960308 140733595960477 140733595960477 140733595967463 0
/proc/364134/statm: 2165 246 221 9 0 87 0
[pid=364135] ppid=364134 vsize=413672 memory=386852 CPUtime=1791.36 cores=0,2
/proc/364135/stat : 364135 (Exact) R 364134 364134 360230 0 -1 4194304 59614 0 0 0 179102 34 0 0 20 0 1 0 65600061 423600128 96713 134679101440 4194304 7210733 140730300687088 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 32800768 140730300695568 140730300695718 140730300695718 140730300702704 0
/proc/364135/statm: 103418 96713 748 737 0 102506 0
Current children cumulated CPU time: 3583.36 s
Current children cumulated vsize: 432264 KiB
Current children cumulated memory: 390556 KiB

[startup+3596 s]*
/proc/loadavg: 4.07 4.08 4.09 5/263 365079
/proc/meminfo: memFree=128724448/131524600 swapFree=131071996/131071996
[pid=362838] ppid=362835 vsize=9932 memory=2720 CPUtime=1792 cores=0,2
/proc/362838/stat : 362838 (Hybrid-CASHWMax) S 362835 362838 360230 0 -1 4194304 272 407300 0 0 0 0 178706 494 20 0 1 0 65420260 10170368 680 134679101440 94563696283648 94563697362968 140725985492672 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94563699461424 94563699508612 94563705917440 140725985498064 140725985498222 140725985498222 140725985505237 0
/proc/362838/statm: 2483 680 586 264 0 134 0
[pid=364134] ppid=362838 vsize=8660 memory=984 CPUtime=0 cores=0,2
/proc/364134/stat : 364134 (timeout) S 362838 364134 360230 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 65600061 8867840 246 134679101440 94432151224320 94432151259336 140733595954592 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94432153356752 94432153358884 94432155332608 140733595960308 140733595960477 140733595960477 140733595967463 0
/proc/364134/statm: 2165 246 221 9 0 87 0
[pid=364135] ppid=364134 vsize=413672 memory=386852 CPUtime=1791.76 cores=0,2
/proc/364135/stat : 364135 (Exact) R 364134 364134 360230 0 -1 4194304 59614 0 0 0 179142 34 0 0 20 0 1 0 65600061 423600128 96713 134679101440 4194304 7210733 140730300687088 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 32800768 140730300695568 140730300695718 140730300695718 140730300702704 0
/proc/364135/statm: 103418 96713 748 737 0 102506 0
Current children cumulated CPU time: 3583.76 s
Current children cumulated vsize: 432264 KiB
Current children cumulated memory: 390556 KiB

Child status: 0

Real time (s): 3596.03
CPU time (s): 3583.82
CPU user time (s): 3578.52
CPU system time (s): 5.29957
CPU usage (%): 99.6604
Max. virtual memory (cumulated for all children) (KiB): 848668
Max. memory (cumulated for all children) (KiB): 763660

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3578.52
system time used= 5.29957
maximum resident set size= 775536
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 470191
page faults= 0
swaps= 0
block input operations= 0
block output operations= 200
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 208
involuntary context switches= 24601


# summary of solver processes directly reported to runsolver:
#   pid: 362838
#   total CPU time (s): 3583.82
#   total CPU user time (s): 3578.52
#   total CPU system time (s): 5.29957

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.26966 second user time and 19.8082 second system time

The end