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: 64096 MiB (61930 MiB free)
  memory of node 1: 64473 MiB (63450 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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=340317, runsolver pid=340311

[startup+0.100655 s]*
/proc/loadavg: 2.13 3.17 3.72 6/253 340339
/proc/meminfo: memFree=128365864/131655788 swapFree=131071996/131071996
[pid=340317] ppid=340311 vsize=9932 memory=2732 CPUtime=0 cores=5,7
/proc/340317/stat : 340317 (Hybrid-CASHWMax) S 340311 340317 340253 0 -1 4194304 244 106 0 0 0 0 0 0 20 0 1 0 62273683 10170368 683 134679101440 94751736463360 94751737542680 140737283675200 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94751739641136 94751739688324 94751742857216 140737283679184 140737283679342 140737283679342 140737283686357 0
/proc/340317/statm: 2483 683 605 264 0 134 0
[pid=340324] ppid=340317 vsize=8660 memory=1028 CPUtime=0 cores=5,7
/proc/340324/stat : 340324 (timeout) S 340317 340324 340253 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62273683 8867840 257 134679101440 94828426014720 94828426049736 140731784268064 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94828428147152 94828428149284 94828437159936 140731784274956 140731784275101 140731784275101 140731784282087 0
/proc/340324/statm: 2165 257 233 9 0 87 0
[pid=340328] ppid=340324 vsize=28624 memory=10188 CPUtime=0.09 cores=5,7
/proc/340328/stat : 340328 (CASHWMaxSAT-Dis) R 340324 340324 340253 0 -1 4194304 1899 0 0 0 9 0 0 0 20 0 1 0 62273684 29310976 2547 134679101440 4194304 14093885 140721617111984 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 15976432 16051504 35893248 140721617118226 140721617118358 140721617118358 140721617125344 0
/proc/340328/statm: 7156 2547 750 2417 0 4258 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 47216 KiB
Current children cumulated memory: 13948 KiB

[startup+0.214262 s]*
/proc/loadavg: 2.13 3.17 3.72 5/253 340339
/proc/meminfo: memFree=128332640/131655788 swapFree=131071996/131071996
[pid=340317] ppid=340311 vsize=9932 memory=2732 CPUtime=0 cores=5,7
/proc/340317/stat : 340317 (Hybrid-CASHWMax) S 340311 340317 340253 0 -1 4194304 244 106 0 0 0 0 0 0 20 0 1 0 62273683 10170368 683 134679101440 94751736463360 94751737542680 140737283675200 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94751739641136 94751739688324 94751742857216 140737283679184 140737283679342 140737283679342 140737283686357 0
/proc/340317/statm: 2483 683 605 264 0 134 0
[pid=340324] ppid=340317 vsize=8660 memory=1028 CPUtime=0 cores=5,7
/proc/340324/stat : 340324 (timeout) S 340317 340324 340253 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62273683 8867840 257 134679101440 94828426014720 94828426049736 140731784268064 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94828428147152 94828428149284 94828437159936 140731784274956 140731784275101 140731784275101 140731784282087 0
/proc/340324/statm: 2165 257 233 9 0 87 0
[pid=340328] ppid=340324 vsize=35752 memory=17220 CPUtime=0.21 cores=5,7
/proc/340328/stat : 340328 (CASHWMaxSAT-Dis) R 340324 340324 340253 0 -1 4194304 3678 0 0 0 20 1 0 0 20 0 1 0 62273684 36610048 4305 134679101440 4194304 14093885 140721617111984 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 15976432 16051504 35893248 140721617118226 140721617118358 140721617118358 140721617125344 0
/proc/340328/statm: 8938 4305 750 2417 0 6040 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 54344 KiB
Current children cumulated memory: 20980 KiB

[startup+0.314773 s]*
/proc/loadavg: 2.13 3.17 3.72 6/253 340339
/proc/meminfo: memFree=128304984/131655788 swapFree=131071996/131071996
[pid=340317] ppid=340311 vsize=9932 memory=2732 CPUtime=0 cores=5,7
/proc/340317/stat : 340317 (Hybrid-CASHWMax) S 340311 340317 340253 0 -1 4194304 244 106 0 0 0 0 0 0 20 0 1 0 62273683 10170368 683 134679101440 94751736463360 94751737542680 140737283675200 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94751739641136 94751739688324 94751742857216 140737283679184 140737283679342 140737283679342 140737283686357 0
/proc/340317/statm: 2483 683 605 264 0 134 0
[pid=340324] ppid=340317 vsize=8660 memory=1028 CPUtime=0 cores=5,7
/proc/340324/stat : 340324 (timeout) S 340317 340324 340253 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62273683 8867840 257 134679101440 94828426014720 94828426049736 140731784268064 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94828428147152 94828428149284 94828437159936 140731784274956 140731784275101 140731784275101 140731784282087 0
/proc/340324/statm: 2165 257 233 9 0 87 0
[pid=340328] ppid=340324 vsize=42888 memory=24348 CPUtime=0.31 cores=5,7
/proc/340328/stat : 340328 (CASHWMaxSAT-Dis) R 340324 340324 340253 0 -1 4194304 5422 0 0 0 29 2 0 0 20 0 1 0 62273684 43917312 6087 134679101440 4194304 14093885 140721617111984 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 15976432 16051504 35893248 140721617118226 140721617118358 140721617118358 140721617125344 0
/proc/340328/statm: 10722 6087 750 2417 0 7824 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 61480 KiB
Current children cumulated memory: 28108 KiB

[startup+0.70049 s]
/proc/loadavg: 2.13 3.17 3.72 6/253 340339
/proc/meminfo: memFree=128261660/131655788 swapFree=131071996/131071996
[pid=340317] ppid=340311 vsize=9932 memory=2732 CPUtime=0 cores=5,7
/proc/340317/stat : 340317 (Hybrid-CASHWMax) S 340311 340317 340253 0 -1 4194304 244 106 0 0 0 0 0 0 20 0 1 0 62273683 10170368 683 134679101440 94751736463360 94751737542680 140737283675200 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94751739641136 94751739688324 94751742857216 140737283679184 140737283679342 140737283679342 140737283686357 0
/proc/340317/statm: 2483 683 605 264 0 134 0
[pid=340324] ppid=340317 vsize=8660 memory=1028 CPUtime=0 cores=5,7
/proc/340324/stat : 340324 (timeout) S 340317 340324 340253 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62273683 8867840 257 134679101440 94828426014720 94828426049736 140731784268064 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94828428147152 94828428149284 94828437159936 140731784274956 140731784275101 140731784275101 140731784282087 0
/proc/340324/statm: 2165 257 233 9 0 87 0
[pid=340328] ppid=340324 vsize=69860 memory=51200 CPUtime=0.68 cores=5,7
/proc/340328/stat : 340328 (CASHWMaxSAT-Dis) R 340324 340324 340253 0 -1 4194304 12174 0 0 0 64 4 0 0 20 0 1 0 62273684 71536640 12800 134679101440 4194304 14093885 140721617111984 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 15976432 16051504 35893248 140721617118226 140721617118358 140721617118358 140721617125344 0
/proc/340328/statm: 17465 12800 750 2417 0 14567 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 88452 KiB
Current children cumulated memory: 54960 KiB

[startup+1.5005 s]
/proc/loadavg: 2.13 3.17 3.72 9/253 340339
/proc/meminfo: memFree=128054240/131655788 swapFree=131071996/131071996
[pid=340317] ppid=340311 vsize=9932 memory=2732 CPUtime=0 cores=5,7
/proc/340317/stat : 340317 (Hybrid-CASHWMax) S 340311 340317 340253 0 -1 4194304 244 106 0 0 0 0 0 0 20 0 1 0 62273683 10170368 683 134679101440 94751736463360 94751737542680 140737283675200 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94751739641136 94751739688324 94751742857216 140737283679184 140737283679342 140737283679342 140737283686357 0
/proc/340317/statm: 2483 683 605 264 0 134 0
[pid=340324] ppid=340317 vsize=8660 memory=1028 CPUtime=0 cores=5,7
/proc/340324/stat : 340324 (timeout) S 340317 340324 340253 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62273683 8867840 257 134679101440 94828426014720 94828426049736 140731784268064 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94828428147152 94828428149284 94828437159936 140731784274956 140731784275101 140731784275101 140731784282087 0
/proc/340324/statm: 2165 257 233 9 0 87 0
[pid=340328] ppid=340324 vsize=223104 memory=212564 CPUtime=1.48 cores=5,7
/proc/340328/stat : 340328 (CASHWMaxSAT-Dis) R 340324 340324 340253 0 -1 4194304 51345 0 0 0 135 13 0 0 20 0 1 0 62273684 228458496 53141 134679101440 4194304 14093885 140721617111984 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 35893248 140721617118226 140721617118358 140721617118358 140721617125344 0
/proc/340328/statm: 55776 53141 2350 2417 0 52878 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 241696 KiB
Current children cumulated memory: 216324 KiB

[startup+3.11472 s]
/proc/loadavg: 2.36 3.20 3.73 6/253 340341
/proc/meminfo: memFree=127188716/131655788 swapFree=131071996/131071996
[pid=340317] ppid=340311 vsize=9932 memory=2732 CPUtime=0 cores=5,7
/proc/340317/stat : 340317 (Hybrid-CASHWMax) S 340311 340317 340253 0 -1 4194304 244 106 0 0 0 0 0 0 20 0 1 0 62273683 10170368 683 134679101440 94751736463360 94751737542680 140737283675200 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94751739641136 94751739688324 94751742857216 140737283679184 140737283679342 140737283679342 140737283686357 0
/proc/340317/statm: 2483 683 605 264 0 134 0
[pid=340324] ppid=340317 vsize=8660 memory=1028 CPUtime=0 cores=5,7
/proc/340324/stat : 340324 (timeout) S 340317 340324 340253 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62273683 8867840 257 134679101440 94828426014720 94828426049736 140731784268064 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94828428147152 94828428149284 94828437159936 140731784274956 140731784275101 140731784275101 140731784282087 0
/proc/340324/statm: 2165 257 233 9 0 87 0
[pid=340328] ppid=340324 vsize=486504 memory=449256 CPUtime=3.09 cores=5,7
/proc/340328/stat : 340328 (CASHWMaxSAT-Dis) R 340324 340324 340253 0 -1 4194304 73658 0 0 0 288 21 0 0 20 0 1 0 62273684 498180096 112314 134679101440 4194304 14093885 140721617111984 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 35893248 140721617118226 140721617118358 140721617118358 140721617125344 0
/proc/340328/statm: 121626 112314 2494 2417 0 118728 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 505096 KiB
Current children cumulated memory: 453016 KiB

[startup+6.30043 s]
/proc/loadavg: 2.36 3.20 3.73 6/253 340341
/proc/meminfo: memFree=127057756/131655788 swapFree=131071996/131071996
[pid=340317] ppid=340311 vsize=9932 memory=2732 CPUtime=0 cores=5,7
/proc/340317/stat : 340317 (Hybrid-CASHWMax) S 340311 340317 340253 0 -1 4194304 244 106 0 0 0 0 0 0 20 0 1 0 62273683 10170368 683 134679101440 94751736463360 94751737542680 140737283675200 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94751739641136 94751739688324 94751742857216 140737283679184 140737283679342 140737283679342 140737283686357 0
/proc/340317/statm: 2483 683 605 264 0 134 0
[pid=340324] ppid=340317 vsize=8660 memory=1028 CPUtime=0 cores=5,7
/proc/340324/stat : 340324 (timeout) S 340317 340324 340253 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62273683 8867840 257 134679101440 94828426014720 94828426049736 140731784268064 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94828428147152 94828428149284 94828437159936 140731784274956 140731784275101 140731784275101 140731784282087 0
/proc/340324/statm: 2165 257 233 9 0 87 0
[pid=340328] ppid=340324 vsize=528248 memory=478396 CPUtime=6.27 cores=5,7
/proc/340328/stat : 340328 (CASHWMaxSAT-Dis) R 340324 340324 340253 0 -1 4194304 79972 0 0 0 605 22 0 0 20 0 1 0 62273684 540925952 119599 134679101440 4194304 14093885 140721617111984 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 35893248 140721617118226 140721617118358 140721617118358 140721617125344 0
/proc/340328/statm: 132062 119599 2526 2417 0 129164 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 546840 KiB
Current children cumulated memory: 482156 KiB

[startup+12.7004 s]
/proc/loadavg: 2.50 3.22 3.73 6/253 340342
/proc/meminfo: memFree=126991248/131655788 swapFree=131071996/131071996
[pid=340317] ppid=340311 vsize=9932 memory=2732 CPUtime=0 cores=5,7
/proc/340317/stat : 340317 (Hybrid-CASHWMax) S 340311 340317 340253 0 -1 4194304 244 106 0 0 0 0 0 0 20 0 1 0 62273683 10170368 683 134679101440 94751736463360 94751737542680 140737283675200 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94751739641136 94751739688324 94751742857216 140737283679184 140737283679342 140737283679342 140737283686357 0
/proc/340317/statm: 2483 683 605 264 0 134 0
[pid=340324] ppid=340317 vsize=8660 memory=1028 CPUtime=0 cores=5,7
/proc/340324/stat : 340324 (timeout) S 340317 340324 340253 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62273683 8867840 257 134679101440 94828426014720 94828426049736 140731784268064 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94828428147152 94828428149284 94828437159936 140731784274956 140731784275101 140731784275101 140731784282087 0
/proc/340324/statm: 2165 257 233 9 0 87 0
[pid=340328] ppid=340324 vsize=544592 memory=479440 CPUtime=12.65 cores=5,7
/proc/340328/stat : 340328 (CASHWMaxSAT-Dis) R 340324 340324 340253 0 -1 4194304 80268 0 0 0 1243 22 0 0 20 0 1 0 62273684 557662208 119860 134679101440 4194304 14093885 140721617111984 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 35893248 140721617118226 140721617118358 140721617118358 140721617125344 0
/proc/340328/statm: 136148 119860 2526 2417 0 133250 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 563184 KiB
Current children cumulated memory: 483200 KiB

[startup+25.5005 s]
/proc/loadavg: 2.83 3.26 3.74 6/253 340344
/proc/meminfo: memFree=126949820/131655788 swapFree=131071996/131071996
[pid=340317] ppid=340311 vsize=9932 memory=2732 CPUtime=0 cores=5,7
/proc/340317/stat : 340317 (Hybrid-CASHWMax) S 340311 340317 340253 0 -1 4194304 244 106 0 0 0 0 0 0 20 0 1 0 62273683 10170368 683 134679101440 94751736463360 94751737542680 140737283675200 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94751739641136 94751739688324 94751742857216 140737283679184 140737283679342 140737283679342 140737283686357 0
/proc/340317/statm: 2483 683 605 264 0 134 0
[pid=340324] ppid=340317 vsize=8660 memory=1028 CPUtime=0 cores=5,7
/proc/340324/stat : 340324 (timeout) S 340317 340324 340253 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62273683 8867840 257 134679101440 94828426014720 94828426049736 140731784268064 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94828428147152 94828428149284 94828437159936 140731784274956 140731784275101 140731784275101 140731784282087 0
/proc/340324/statm: 2165 257 233 9 0 87 0
[pid=340328] ppid=340324 vsize=573124 memory=486496 CPUtime=25.41 cores=5,7
/proc/340328/stat : 340328 (CASHWMaxSAT-Dis) R 340324 340324 340253 0 -1 4194304 81542 0 0 0 2519 22 0 0 20 0 1 0 62273684 586878976 121624 134679101440 4194304 14093885 140721617111984 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 35893248 140721617118226 140721617118358 140721617118358 140721617125344 0
/proc/340328/statm: 143281 121624 2526 2417 0 140383 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 591716 KiB
Current children cumulated memory: 490256 KiB

[startup+51.1138 s]
/proc/loadavg: 3.31 3.33 3.75 7/253 340348
/proc/meminfo: memFree=126678032/131655788 swapFree=131071996/131071996
[pid=340317] ppid=340311 vsize=9932 memory=2732 CPUtime=0 cores=5,7
/proc/340317/stat : 340317 (Hybrid-CASHWMax) S 340311 340317 340253 0 -1 4194304 244 106 0 0 0 0 0 0 20 0 1 0 62273683 10170368 683 134679101440 94751736463360 94751737542680 140737283675200 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94751739641136 94751739688324 94751742857216 140737283679184 140737283679342 140737283679342 140737283686357 0
/proc/340317/statm: 2483 683 605 264 0 134 0
[pid=340324] ppid=340317 vsize=8660 memory=1028 CPUtime=0 cores=5,7
/proc/340324/stat : 340324 (timeout) S 340317 340324 340253 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62273683 8867840 257 134679101440 94828426014720 94828426049736 140731784268064 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94828428147152 94828428149284 94828437159936 140731784274956 140731784275101 140731784275101 140731784282087 0
/proc/340324/statm: 2165 257 233 9 0 87 0
[pid=340328] ppid=340324 vsize=775448 memory=586980 CPUtime=50.95 cores=5,7
/proc/340328/stat : 340328 (CASHWMaxSAT-Dis) R 340324 340324 340253 0 -1 4194304 106141 0 0 0 5068 27 0 0 20 0 1 0 62273684 794058752 146745 134679101440 4194304 14093885 140721617111984 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 35893248 140721617118226 140721617118358 140721617118358 140721617125344 0
/proc/340328/statm: 193862 146745 2526 2417 0 190964 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 794040 KiB
Current children cumulated memory: 590740 KiB

[startup+102.3 s]
/proc/loadavg: 3.86 3.48 3.78 6/253 340358
/proc/meminfo: memFree=126593804/131655788 swapFree=131071996/131071996
[pid=340317] ppid=340311 vsize=9932 memory=2732 CPUtime=0 cores=5,7
/proc/340317/stat : 340317 (Hybrid-CASHWMax) S 340311 340317 340253 0 -1 4194304 244 106 0 0 0 0 0 0 20 0 1 0 62273683 10170368 683 134679101440 94751736463360 94751737542680 140737283675200 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94751739641136 94751739688324 94751742857216 140737283679184 140737283679342 140737283679342 140737283686357 0

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

/proc/341252/statm: 39326 32218 748 737 0 38414 0
Current children cumulated CPU time: 3393.05 s
Current children cumulated vsize: 175896 KiB
Current children cumulated memory: 132708 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.13 4.16 6/251 342176
/proc/meminfo: memFree=127875564/131655788 swapFree=131071996/131071996
[pid=340317] ppid=340311 vsize=9932 memory=2796 CPUtime=1792.78 cores=5,7
/proc/340317/stat : 340317 (Hybrid-CASHWMax) S 340311 340317 340253 0 -1 4194304 275 358895 0 0 0 0 179200 78 20 0 1 0 62273683 10170368 699 134679101440 94751736463360 94751737542680 140737283675200 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94751739641136 94751739688324 94751742857216 140737283679184 140737283679342 140737283679342 140737283686357 0
/proc/340317/statm: 2483 699 605 264 0 134 0
[pid=341251] ppid=340317 vsize=8660 memory=1040 CPUtime=0 cores=5,7
/proc/341251/stat : 341251 (timeout) S 340317 341251 340253 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 62453486 8867840 260 134679101440 94648163078144 94648163113160 140730979348064 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94648165210576 94648165212708 94648171778048 140730979349492 140730979349661 140730979349661 140730979356647 0
/proc/341251/statm: 2165 260 236 9 0 87 0
[pid=341252] ppid=341251 vsize=158216 memory=129548 CPUtime=1660.07 cores=5,7
/proc/341252/stat : 341252 (Exact) R 341251 341251 340253 0 -1 4194304 19592 0 0 0 166000 7 0 0 20 0 1 0 62453486 162013184 32387 134679101440 4194304 7210733 140729498372880 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 39620608 140729498375184 140729498375334 140729498375334 140729498382320 0
/proc/341252/statm: 39554 32387 748 737 0 38642 0
Current children cumulated CPU time: 3452.85 s
Current children cumulated vsize: 176808 KiB
Current children cumulated memory: 133384 KiB

[startup+3522.3 s]
/proc/loadavg: 4.08 4.12 4.15 6/251 342187
/proc/meminfo: memFree=127874216/131655788 swapFree=131071996/131071996
[pid=340317] ppid=340311 vsize=9932 memory=2796 CPUtime=1792.78 cores=5,7
/proc/340317/stat : 340317 (Hybrid-CASHWMax) S 340311 340317 340253 0 -1 4194304 275 358895 0 0 0 0 179200 78 20 0 1 0 62273683 10170368 699 134679101440 94751736463360 94751737542680 140737283675200 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94751739641136 94751739688324 94751742857216 140737283679184 140737283679342 140737283679342 140737283686357 0
/proc/340317/statm: 2483 699 605 264 0 134 0
[pid=341251] ppid=340317 vsize=8660 memory=1040 CPUtime=0 cores=5,7
/proc/341251/stat : 341251 (timeout) S 340317 341251 340253 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 62453486 8867840 260 134679101440 94648163078144 94648163113160 140730979348064 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94648165210576 94648165212708 94648171778048 140730979349492 140730979349661 140730979349661 140730979356647 0
/proc/341251/statm: 2165 260 236 9 0 87 0
[pid=341252] ppid=341251 vsize=158216 memory=129776 CPUtime=1719.88 cores=5,7
/proc/341252/stat : 341252 (Exact) R 341251 341251 340253 0 -1 4194304 19650 0 0 0 171981 7 0 0 20 0 1 0 62453486 162013184 32444 134679101440 4194304 7210733 140729498372880 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 39620608 140729498375184 140729498375334 140729498375334 140729498382320 0
/proc/341252/statm: 39554 32444 748 737 0 38642 0
Current children cumulated CPU time: 3512.66 s
Current children cumulated vsize: 176808 KiB
Current children cumulated memory: 133612 KiB

[startup+3582.3 s]
/proc/loadavg: 4.26 4.16 4.17 6/251 342199
/proc/meminfo: memFree=127872304/131655788 swapFree=131071996/131071996
[pid=340317] ppid=340311 vsize=9932 memory=2796 CPUtime=1792.78 cores=5,7
/proc/340317/stat : 340317 (Hybrid-CASHWMax) S 340311 340317 340253 0 -1 4194304 275 358895 0 0 0 0 179200 78 20 0 1 0 62273683 10170368 699 134679101440 94751736463360 94751737542680 140737283675200 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94751739641136 94751739688324 94751742857216 140737283679184 140737283679342 140737283679342 140737283686357 0
/proc/340317/statm: 2483 699 605 264 0 134 0
[pid=341251] ppid=340317 vsize=8660 memory=1040 CPUtime=0 cores=5,7
/proc/341251/stat : 341251 (timeout) S 340317 341251 340253 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 62453486 8867840 260 134679101440 94648163078144 94648163113160 140730979348064 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94648165210576 94648165212708 94648171778048 140730979349492 140730979349661 140730979349661 140730979356647 0
/proc/341251/statm: 2165 260 236 9 0 87 0
[pid=341252] ppid=341251 vsize=158640 memory=129996 CPUtime=1779.69 cores=5,7
/proc/341252/stat : 341252 (Exact) R 341251 341251 340253 0 -1 4194304 19755 0 0 0 177962 7 0 0 20 0 1 0 62453486 162447360 32499 134679101440 4194304 7210733 140729498372880 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 39620608 140729498375184 140729498375334 140729498375334 140729498382320 0
/proc/341252/statm: 39660 32499 748 737 0 38748 0
Current children cumulated CPU time: 3572.47 s
Current children cumulated vsize: 177232 KiB
Current children cumulated memory: 133832 KiB

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

# cumulated CPU time of all completed processes:  user=3585.35 s, system=0.88584 s

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

[startup+3584 s]*
/proc/loadavg: 4.24 4.15 4.16 6/251 342199
/proc/meminfo: memFree=127872332/131655788 swapFree=131071996/131071996
[pid=340317] ppid=340311 vsize=9932 memory=2796 CPUtime=1792.78 cores=5,7
/proc/340317/stat : 340317 (Hybrid-CASHWMax) S 340311 340317 340253 0 -1 4194304 275 358895 0 0 0 0 179200 78 20 0 1 0 62273683 10170368 699 134679101440 94751736463360 94751737542680 140737283675200 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94751739641136 94751739688324 94751742857216 140737283679184 140737283679342 140737283679342 140737283686357 0
/proc/340317/statm: 2483 699 605 264 0 134 0
[pid=341251] ppid=340317 vsize=8660 memory=1040 CPUtime=0 cores=5,7
/proc/341251/stat : 341251 (timeout) S 340317 341251 340253 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 62453486 8867840 260 134679101440 94648163078144 94648163113160 140730979348064 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94648165210576 94648165212708 94648171778048 140730979349492 140730979349661 140730979349661 140730979356647 0
/proc/341251/statm: 2165 260 236 9 0 87 0
[pid=341252] ppid=341251 vsize=158640 memory=129996 CPUtime=1781.39 cores=5,7
/proc/341252/stat : 341252 (Exact) R 341251 341251 340253 0 -1 4194304 19755 0 0 0 178132 7 0 0 20 0 1 0 62453486 162447360 32499 134679101440 4194304 7210733 140729498372880 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 39620608 140729498375184 140729498375334 140729498375334 140729498382320 0
/proc/341252/statm: 39660 32499 748 737 0 38748 0
Current children cumulated CPU time: 3574.17 s
Current children cumulated vsize: 177232 KiB
Current children cumulated memory: 133832 KiB

[startup+3590.4 s]
/proc/loadavg: 4.22 4.15 4.16 6/251 342199
/proc/meminfo: memFree=127872360/131655788 swapFree=131071996/131071996
[pid=340317] ppid=340311 vsize=9932 memory=2796 CPUtime=1792.78 cores=5,7
/proc/340317/stat : 340317 (Hybrid-CASHWMax) S 340311 340317 340253 0 -1 4194304 275 358895 0 0 0 0 179200 78 20 0 1 0 62273683 10170368 699 134679101440 94751736463360 94751737542680 140737283675200 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94751739641136 94751739688324 94751742857216 140737283679184 140737283679342 140737283679342 140737283686357 0
/proc/340317/statm: 2483 699 605 264 0 134 0
[pid=341251] ppid=340317 vsize=8660 memory=1040 CPUtime=0 cores=5,7
/proc/341251/stat : 341251 (timeout) S 340317 341251 340253 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 62453486 8867840 260 134679101440 94648163078144 94648163113160 140730979348064 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94648165210576 94648165212708 94648171778048 140730979349492 140730979349661 140730979349661 140730979356647 0
/proc/341251/statm: 2165 260 236 9 0 87 0
[pid=341252] ppid=341251 vsize=158640 memory=129996 CPUtime=1787.76 cores=5,7
/proc/341252/stat : 341252 (Exact) R 341251 341251 340253 0 -1 4194304 19758 0 0 0 178769 7 0 0 20 0 1 0 62453486 162447360 32499 134679101440 4194304 7210733 140729498372880 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 39620608 140729498375184 140729498375334 140729498375334 140729498382320 0
/proc/341252/statm: 39660 32499 748 737 0 38748 0
Current children cumulated CPU time: 3580.54 s
Current children cumulated vsize: 177232 KiB
Current children cumulated memory: 133832 KiB

[startup+3593.6 s]
/proc/loadavg: 4.22 4.15 4.16 6/251 342200
/proc/meminfo: memFree=127872216/131655788 swapFree=131071996/131071996
[pid=340317] ppid=340311 vsize=9932 memory=2796 CPUtime=1792.78 cores=5,7
/proc/340317/stat : 340317 (Hybrid-CASHWMax) S 340311 340317 340253 0 -1 4194304 275 358895 0 0 0 0 179200 78 20 0 1 0 62273683 10170368 699 134679101440 94751736463360 94751737542680 140737283675200 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94751739641136 94751739688324 94751742857216 140737283679184 140737283679342 140737283679342 140737283686357 0
/proc/340317/statm: 2483 699 605 264 0 134 0
[pid=341251] ppid=340317 vsize=8660 memory=1040 CPUtime=0 cores=5,7
/proc/341251/stat : 341251 (timeout) S 340317 341251 340253 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 62453486 8867840 260 134679101440 94648163078144 94648163113160 140730979348064 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94648165210576 94648165212708 94648171778048 140730979349492 140730979349661 140730979349661 140730979356647 0
/proc/341251/statm: 2165 260 236 9 0 87 0
[pid=341252] ppid=341251 vsize=158640 memory=129996 CPUtime=1790.95 cores=5,7
/proc/341252/stat : 341252 (Exact) R 341251 341251 340253 0 -1 4194304 19759 0 0 0 179088 7 0 0 20 0 1 0 62453486 162447360 32499 134679101440 4194304 7210733 140729498372880 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 39620608 140729498375184 140729498375334 140729498375334 140729498382320 0
/proc/341252/statm: 39660 32499 748 737 0 38748 0
Current children cumulated CPU time: 3583.73 s
Current children cumulated vsize: 177232 KiB
Current children cumulated memory: 133832 KiB

[startup+3595.2 s]
/proc/loadavg: 4.20 4.15 4.16 6/251 342200
/proc/meminfo: memFree=127872224/131655788 swapFree=131071996/131071996
[pid=340317] ppid=340311 vsize=9932 memory=2796 CPUtime=1792.78 cores=5,7
/proc/340317/stat : 340317 (Hybrid-CASHWMax) S 340311 340317 340253 0 -1 4194304 275 358895 0 0 0 0 179200 78 20 0 1 0 62273683 10170368 699 134679101440 94751736463360 94751737542680 140737283675200 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94751739641136 94751739688324 94751742857216 140737283679184 140737283679342 140737283679342 140737283686357 0
/proc/340317/statm: 2483 699 605 264 0 134 0
[pid=341251] ppid=340317 vsize=8660 memory=1040 CPUtime=0 cores=5,7
/proc/341251/stat : 341251 (timeout) S 340317 341251 340253 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 62453486 8867840 260 134679101440 94648163078144 94648163113160 140730979348064 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94648165210576 94648165212708 94648171778048 140730979349492 140730979349661 140730979349661 140730979356647 0
/proc/341251/statm: 2165 260 236 9 0 87 0
[pid=341252] ppid=341251 vsize=158640 memory=129996 CPUtime=1792.55 cores=5,7
/proc/341252/stat : 341252 (Exact) R 341251 341251 340253 0 -1 4194304 19759 0 0 0 179248 7 0 0 20 0 1 0 62453486 162447360 32499 134679101440 4194304 7210733 140729498372880 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 39620608 140729498375184 140729498375334 140729498375334 140729498382320 0
/proc/341252/statm: 39660 32499 748 737 0 38748 0
Current children cumulated CPU time: 3585.33 s
Current children cumulated vsize: 177232 KiB
Current children cumulated memory: 133832 KiB

[startup+3595.6 s]
/proc/loadavg: 4.20 4.15 4.16 6/251 342200
/proc/meminfo: memFree=127872224/131655788 swapFree=131071996/131071996
[pid=340317] ppid=340311 vsize=9932 memory=2796 CPUtime=1792.78 cores=5,7
/proc/340317/stat : 340317 (Hybrid-CASHWMax) S 340311 340317 340253 0 -1 4194304 275 358895 0 0 0 0 179200 78 20 0 1 0 62273683 10170368 699 134679101440 94751736463360 94751737542680 140737283675200 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94751739641136 94751739688324 94751742857216 140737283679184 140737283679342 140737283679342 140737283686357 0
/proc/340317/statm: 2483 699 605 264 0 134 0
[pid=341251] ppid=340317 vsize=8660 memory=1040 CPUtime=0 cores=5,7
/proc/341251/stat : 341251 (timeout) S 340317 341251 340253 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 62453486 8867840 260 134679101440 94648163078144 94648163113160 140730979348064 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94648165210576 94648165212708 94648171778048 140730979349492 140730979349661 140730979349661 140730979356647 0
/proc/341251/statm: 2165 260 236 9 0 87 0
[pid=341252] ppid=341251 vsize=158640 memory=129996 CPUtime=1792.95 cores=5,7
/proc/341252/stat : 341252 (Exact) R 341251 341251 340253 0 -1 4194304 19759 0 0 0 179288 7 0 0 20 0 1 0 62453486 162447360 32499 134679101440 4194304 7210733 140729498372880 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 39620608 140729498375184 140729498375334 140729498375334 140729498382320 0
/proc/341252/statm: 39660 32499 748 737 0 38748 0
Current children cumulated CPU time: 3585.73 s
Current children cumulated vsize: 177232 KiB
Current children cumulated memory: 133832 KiB

[startup+3596 s]*
/proc/loadavg: 4.20 4.15 4.16 5/247 342222
/proc/meminfo: memFree=127974468/131655788 swapFree=131071996/131071996
[pid=340317] ppid=340311 vsize=9932 memory=2796 CPUtime=1792.78 cores=5,7
/proc/340317/stat : 340317 (Hybrid-CASHWMax) S 340311 340317 340253 0 -1 4194304 275 358895 0 0 0 0 179200 78 20 0 1 0 62273683 10170368 699 134679101440 94751736463360 94751737542680 140737283675200 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94751739641136 94751739688324 94751742857216 140737283679184 140737283679342 140737283679342 140737283686357 0
/proc/340317/statm: 2483 699 605 264 0 134 0
[pid=341251] ppid=340317 vsize=8660 memory=1040 CPUtime=0 cores=5,7
/proc/341251/stat : 341251 (timeout) S 340317 341251 340253 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 62453486 8867840 260 134679101440 94648163078144 94648163113160 140730979348064 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94648165210576 94648165212708 94648171778048 140730979349492 140730979349661 140730979349661 140730979356647 0
/proc/341251/statm: 2165 260 236 9 0 87 0
[pid=341252] ppid=341251 vsize=158640 memory=129996 CPUtime=1793.36 cores=5,7
/proc/341252/stat : 341252 (Exact) R 341251 341251 340253 0 -1 4194304 19759 0 0 0 179329 7 0 0 20 0 1 0 62453486 162447360 32499 134679101440 4194304 7210733 140729498372880 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 39620608 140729498375184 140729498375334 140729498375334 140729498382320 0
/proc/341252/statm: 39660 32499 748 737 0 38748 0
Current children cumulated CPU time: 3586.14 s
Current children cumulated vsize: 177232 KiB
Current children cumulated memory: 133832 KiB

Child status: 0

Real time (s): 3596.07
CPU time (s): 3586.23
CPU user time (s): 3585.35
CPU system time (s): 0.88584
CPU usage (%): 99.7264
Max. virtual memory (cumulated for all children) (KiB): 1691288
Max. memory (cumulated for all children) (KiB): 1430176

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.35
system time used= 0.88584
maximum resident set size= 1426416
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 381948
page faults= 0
swaps= 0
block input operations= 0
block output operations= 104
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 159
involuntary context switches= 1941


# summary of solver processes directly reported to runsolver:
#   pid: 340317
#   total CPU time (s): 3586.23
#   total CPU user time (s): 3585.35
#   total CPU system time (s): 0.88584

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.4411 second user time and 39.2246 second system time

The end