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

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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=355198, runsolver pid=355195
Current StackSize limit: 8192 KiB


[startup+0.100093 s]*
/proc/loadavg: 2.66 2.17 2.40 5/269 355202
/proc/meminfo: memFree=124840348/131524600 swapFree=131070704/131071996
[pid=355198] ppid=355195 vsize=9932 memory=2672 CPUtime=0 cores=4,6
/proc/355198/stat : 355198 (Hybrid-CASHWMax) S 355195 355198 354848 0 -1 4194304 242 104 0 0 0 0 0 0 20 0 1 0 65058948 10170368 668 134679101440 94255957901312 94255958980632 140725117268576 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94255961079088 94255961126276 94255975796736 140725117277136 140725117277294 140725117277294 140725117284309 0
/proc/355198/statm: 2483 668 588 264 0 134 0
[pid=355201] ppid=355198 vsize=8660 memory=1024 CPUtime=0 cores=4,6
/proc/355201/stat : 355201 (timeout) S 355198 355201 354848 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65058948 8867840 256 134679101440 94237586214912 94237586249928 140736303119664 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94237588347344 94237588349476 94237604249600 140736303121420 140736303121565 140736303121565 140736303128551 0
/proc/355201/statm: 2165 256 232 9 0 87 0
[pid=355202] ppid=355201 vsize=37700 memory=28988 CPUtime=0.09 cores=4,6
/proc/355202/stat : 355202 (CASHWMaxSAT-Dis) R 355201 355201 354848 0 -1 4194304 5582 0 0 0 9 0 0 0 20 0 1 0 65058948 38604800 7247 134679101440 4194304 14093885 140733072050208 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 28110848 140733072057362 140733072057494 140733072057494 140733072064480 0
/proc/355202/statm: 9425 7247 2142 2417 0 6527 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 56292 KiB
Current children cumulated memory: 32684 KiB

[startup+0.206094 s]*
/proc/loadavg: 2.66 2.17 2.40 5/269 355202
/proc/meminfo: memFree=124814812/131524600 swapFree=131070704/131071996
[pid=355198] ppid=355195 vsize=9932 memory=2672 CPUtime=0 cores=4,6
/proc/355198/stat : 355198 (Hybrid-CASHWMax) S 355195 355198 354848 0 -1 4194304 242 104 0 0 0 0 0 0 20 0 1 0 65058948 10170368 668 134679101440 94255957901312 94255958980632 140725117268576 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94255961079088 94255961126276 94255975796736 140725117277136 140725117277294 140725117277294 140725117284309 0
/proc/355198/statm: 2483 668 588 264 0 134 0
[pid=355201] ppid=355198 vsize=8660 memory=1024 CPUtime=0 cores=4,6
/proc/355201/stat : 355201 (timeout) S 355198 355201 354848 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65058948 8867840 256 134679101440 94237586214912 94237586249928 140736303119664 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94237588347344 94237588349476 94237604249600 140736303121420 140736303121565 140736303121565 140736303128551 0
/proc/355201/statm: 2165 256 232 9 0 87 0
[pid=355202] ppid=355201 vsize=61088 memory=51596 CPUtime=0.2 cores=4,6
/proc/355202/stat : 355202 (CASHWMaxSAT-Dis) R 355201 355201 354848 0 -1 4194304 10995 0 0 0 19 1 0 0 20 0 1 0 65058948 62554112 12899 134679101440 4194304 14093885 140733072050208 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 28110848 140733072057362 140733072057494 140733072057494 140733072064480 0
/proc/355202/statm: 15272 12899 2398 2417 0 12374 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 79680 KiB
Current children cumulated memory: 55292 KiB

[startup+0.305808 s]*
/proc/loadavg: 2.66 2.17 2.40 5/269 355202
/proc/meminfo: memFree=124812420/131524600 swapFree=131070704/131071996
[pid=355198] ppid=355195 vsize=9932 memory=2672 CPUtime=0 cores=4,6
/proc/355198/stat : 355198 (Hybrid-CASHWMax) S 355195 355198 354848 0 -1 4194304 242 104 0 0 0 0 0 0 20 0 1 0 65058948 10170368 668 134679101440 94255957901312 94255958980632 140725117268576 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94255961079088 94255961126276 94255975796736 140725117277136 140725117277294 140725117277294 140725117284309 0
/proc/355198/statm: 2483 668 588 264 0 134 0
[pid=355201] ppid=355198 vsize=8660 memory=1024 CPUtime=0 cores=4,6
/proc/355201/stat : 355201 (timeout) S 355198 355201 354848 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65058948 8867840 256 134679101440 94237586214912 94237586249928 140736303119664 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94237588347344 94237588349476 94237604249600 140736303121420 140736303121565 140736303121565 140736303128551 0
/proc/355201/statm: 2165 256 232 9 0 87 0
[pid=355202] ppid=355201 vsize=62952 memory=53444 CPUtime=0.3 cores=4,6
/proc/355202/stat : 355202 (CASHWMaxSAT-Dis) R 355201 355201 354848 0 -1 4194304 11464 0 0 0 29 1 0 0 20 0 1 0 65058948 64462848 13361 134679101440 4194304 14093885 140733072050208 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 28110848 140733072057362 140733072057494 140733072057494 140733072064480 0
/proc/355202/statm: 15738 13361 2398 2417 0 12840 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 81544 KiB
Current children cumulated memory: 57140 KiB

[startup+0.70024 s]
/proc/loadavg: 2.66 2.17 2.40 5/269 355202
/proc/meminfo: memFree=124808920/131524600 swapFree=131070704/131071996
[pid=355198] ppid=355195 vsize=9932 memory=2672 CPUtime=0 cores=4,6
/proc/355198/stat : 355198 (Hybrid-CASHWMax) S 355195 355198 354848 0 -1 4194304 242 104 0 0 0 0 0 0 20 0 1 0 65058948 10170368 668 134679101440 94255957901312 94255958980632 140725117268576 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94255961079088 94255961126276 94255975796736 140725117277136 140725117277294 140725117277294 140725117284309 0
/proc/355198/statm: 2483 668 588 264 0 134 0
[pid=355201] ppid=355198 vsize=8660 memory=1024 CPUtime=0 cores=4,6
/proc/355201/stat : 355201 (timeout) S 355198 355201 354848 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65058948 8867840 256 134679101440 94237586214912 94237586249928 140736303119664 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94237588347344 94237588349476 94237604249600 140736303121420 140736303121565 140736303121565 140736303128551 0
/proc/355201/statm: 2165 256 232 9 0 87 0
[pid=355202] ppid=355201 vsize=78840 memory=69100 CPUtime=0.68 cores=4,6
/proc/355202/stat : 355202 (CASHWMaxSAT-Dis) R 355201 355201 354848 0 -1 4194304 15271 0 0 0 67 1 0 0 20 0 1 0 65058948 80732160 17275 134679101440 4194304 14093885 140733072050208 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 28110848 140733072057362 140733072057494 140733072057494 140733072064480 0
/proc/355202/statm: 19710 17275 2494 2417 0 16812 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 97432 KiB
Current children cumulated memory: 72796 KiB

[startup+1.50028 s]
/proc/loadavg: 2.77 2.20 2.41 5/269 355202
/proc/meminfo: memFree=124743036/131524600 swapFree=131070704/131071996
[pid=355198] ppid=355195 vsize=9932 memory=2672 CPUtime=0 cores=4,6
/proc/355198/stat : 355198 (Hybrid-CASHWMax) S 355195 355198 354848 0 -1 4194304 242 104 0 0 0 0 0 0 20 0 1 0 65058948 10170368 668 134679101440 94255957901312 94255958980632 140725117268576 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94255961079088 94255961126276 94255975796736 140725117277136 140725117277294 140725117277294 140725117284309 0
/proc/355198/statm: 2483 668 588 264 0 134 0
[pid=355201] ppid=355198 vsize=8660 memory=1024 CPUtime=0 cores=4,6
/proc/355201/stat : 355201 (timeout) S 355198 355201 354848 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65058948 8867840 256 134679101440 94237586214912 94237586249928 140736303119664 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94237588347344 94237588349476 94237604249600 140736303121420 140736303121565 140736303121565 140736303128551 0
/proc/355201/statm: 2165 256 232 9 0 87 0
[pid=355202] ppid=355201 vsize=133480 memory=119804 CPUtime=1.48 cores=4,6
/proc/355202/stat : 355202 (CASHWMaxSAT-Dis) R 355201 355201 354848 0 -1 4194304 27986 0 0 0 145 3 0 0 20 0 1 0 65058948 136683520 29951 134679101440 4194304 14093885 140733072050208 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 28110848 140733072057362 140733072057494 140733072057494 140733072064480 0
/proc/355202/statm: 33370 29951 2526 2417 0 30472 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 152072 KiB
Current children cumulated memory: 123500 KiB

[startup+3.1057 s]
/proc/loadavg: 2.77 2.20 2.41 5/269 355202
/proc/meminfo: memFree=124735188/131524600 swapFree=131070704/131071996
[pid=355198] ppid=355195 vsize=9932 memory=2672 CPUtime=0 cores=4,6
/proc/355198/stat : 355198 (Hybrid-CASHWMax) S 355195 355198 354848 0 -1 4194304 242 104 0 0 0 0 0 0 20 0 1 0 65058948 10170368 668 134679101440 94255957901312 94255958980632 140725117268576 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94255961079088 94255961126276 94255975796736 140725117277136 140725117277294 140725117277294 140725117284309 0
/proc/355198/statm: 2483 668 588 264 0 134 0
[pid=355201] ppid=355198 vsize=8660 memory=1024 CPUtime=0 cores=4,6
/proc/355201/stat : 355201 (timeout) S 355198 355201 354848 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65058948 8867840 256 134679101440 94237586214912 94237586249928 140736303119664 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94237588347344 94237588349476 94237604249600 140736303121420 140736303121565 140736303121565 140736303128551 0
/proc/355201/statm: 2165 256 232 9 0 87 0
[pid=355202] ppid=355201 vsize=135664 memory=125600 CPUtime=3.08 cores=4,6
/proc/355202/stat : 355202 (CASHWMaxSAT-Dis) R 355201 355201 354848 0 -1 4194304 29422 0 0 0 305 3 0 0 20 0 1 0 65058948 138919936 31400 134679101440 4194304 14093885 140733072050208 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 28110848 140733072057362 140733072057494 140733072057494 140733072064480 0
/proc/355202/statm: 33916 31400 2542 2417 0 31018 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 154256 KiB
Current children cumulated memory: 129296 KiB

[startup+6.30027 s]
/proc/loadavg: 2.95 2.25 2.42 5/269 355204
/proc/meminfo: memFree=124698372/131524600 swapFree=131070704/131071996
[pid=355198] ppid=355195 vsize=9932 memory=2672 CPUtime=0 cores=4,6
/proc/355198/stat : 355198 (Hybrid-CASHWMax) S 355195 355198 354848 0 -1 4194304 242 104 0 0 0 0 0 0 20 0 1 0 65058948 10170368 668 134679101440 94255957901312 94255958980632 140725117268576 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94255961079088 94255961126276 94255975796736 140725117277136 140725117277294 140725117277294 140725117284309 0
/proc/355198/statm: 2483 668 588 264 0 134 0
[pid=355201] ppid=355198 vsize=8660 memory=1024 CPUtime=0 cores=4,6
/proc/355201/stat : 355201 (timeout) S 355198 355201 354848 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65058948 8867840 256 134679101440 94237586214912 94237586249928 140736303119664 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94237588347344 94237588349476 94237604249600 140736303121420 140736303121565 140736303121565 140736303128551 0
/proc/355201/statm: 2165 256 232 9 0 87 0
[pid=355202] ppid=355201 vsize=135664 memory=125600 CPUtime=6.26 cores=4,6
/proc/355202/stat : 355202 (CASHWMaxSAT-Dis) R 355201 355201 354848 0 -1 4194304 29428 0 0 0 623 3 0 0 20 0 1 0 65058948 138919936 31400 134679101440 4194304 14093885 140733072050208 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 28110848 140733072057362 140733072057494 140733072057494 140733072064480 0
/proc/355202/statm: 33916 31400 2542 2417 0 31018 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 154256 KiB
Current children cumulated memory: 129296 KiB

[startup+12.7003 s]
/proc/loadavg: 3.04 2.27 2.43 5/269 355204
/proc/meminfo: memFree=124683492/131524600 swapFree=131070704/131071996
[pid=355198] ppid=355195 vsize=9932 memory=2672 CPUtime=0 cores=4,6
/proc/355198/stat : 355198 (Hybrid-CASHWMax) S 355195 355198 354848 0 -1 4194304 242 104 0 0 0 0 0 0 20 0 1 0 65058948 10170368 668 134679101440 94255957901312 94255958980632 140725117268576 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94255961079088 94255961126276 94255975796736 140725117277136 140725117277294 140725117277294 140725117284309 0
/proc/355198/statm: 2483 668 588 264 0 134 0
[pid=355201] ppid=355198 vsize=8660 memory=1024 CPUtime=0 cores=4,6
/proc/355201/stat : 355201 (timeout) S 355198 355201 354848 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65058948 8867840 256 134679101440 94237586214912 94237586249928 140736303119664 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94237588347344 94237588349476 94237604249600 140736303121420 140736303121565 140736303121565 140736303128551 0
/proc/355201/statm: 2165 256 232 9 0 87 0
[pid=355202] ppid=355201 vsize=135664 memory=125600 CPUtime=12.65 cores=4,6
/proc/355202/stat : 355202 (CASHWMaxSAT-Dis) R 355201 355201 354848 0 -1 4194304 29440 0 0 0 1262 3 0 0 20 0 1 0 65058948 138919936 31400 134679101440 4194304 14093885 140733072050208 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 28110848 140733072057362 140733072057494 140733072057494 140733072064480 0
/proc/355202/statm: 33916 31400 2542 2417 0 31018 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 154256 KiB
Current children cumulated memory: 129296 KiB

[startup+25.5003 s]
/proc/loadavg: 3.18 2.33 2.45 5/269 355207
/proc/meminfo: memFree=124650448/131524600 swapFree=131070704/131071996
[pid=355198] ppid=355195 vsize=9932 memory=2672 CPUtime=0 cores=4,6
/proc/355198/stat : 355198 (Hybrid-CASHWMax) S 355195 355198 354848 0 -1 4194304 242 104 0 0 0 0 0 0 20 0 1 0 65058948 10170368 668 134679101440 94255957901312 94255958980632 140725117268576 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94255961079088 94255961126276 94255975796736 140725117277136 140725117277294 140725117277294 140725117284309 0
/proc/355198/statm: 2483 668 588 264 0 134 0
[pid=355201] ppid=355198 vsize=8660 memory=1024 CPUtime=0 cores=4,6
/proc/355201/stat : 355201 (timeout) S 355198 355201 354848 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65058948 8867840 256 134679101440 94237586214912 94237586249928 140736303119664 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94237588347344 94237588349476 94237604249600 140736303121420 140736303121565 140736303121565 140736303128551 0
/proc/355201/statm: 2165 256 232 9 0 87 0
[pid=355202] ppid=355201 vsize=139836 memory=125860 CPUtime=25.41 cores=4,6
/proc/355202/stat : 355202 (CASHWMaxSAT-Dis) R 355201 355201 354848 0 -1 4194304 29471 0 0 0 2538 3 0 0 20 0 1 0 65058948 143192064 31465 134679101440 4194304 14093885 140733072050208 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 28110848 140733072057362 140733072057494 140733072057494 140733072064480 0
/proc/355202/statm: 34959 31465 2542 2417 0 32061 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 158428 KiB
Current children cumulated memory: 129556 KiB

[startup+51.1058 s]
/proc/loadavg: 3.59 2.51 2.50 5/269 355210
/proc/meminfo: memFree=124587956/131524600 swapFree=131070704/131071996
[pid=355198] ppid=355195 vsize=9932 memory=2672 CPUtime=0 cores=4,6
/proc/355198/stat : 355198 (Hybrid-CASHWMax) S 355195 355198 354848 0 -1 4194304 242 104 0 0 0 0 0 0 20 0 1 0 65058948 10170368 668 134679101440 94255957901312 94255958980632 140725117268576 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94255961079088 94255961126276 94255975796736 140725117277136 140725117277294 140725117277294 140725117284309 0
/proc/355198/statm: 2483 668 588 264 0 134 0
[pid=355201] ppid=355198 vsize=8660 memory=1024 CPUtime=0 cores=4,6
/proc/355201/stat : 355201 (timeout) S 355198 355201 354848 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65058948 8867840 256 134679101440 94237586214912 94237586249928 140736303119664 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94237588347344 94237588349476 94237604249600 140736303121420 140736303121565 140736303121565 140736303128551 0
/proc/355201/statm: 2165 256 232 9 0 87 0
[pid=355202] ppid=355201 vsize=213376 memory=163660 CPUtime=50.96 cores=4,6
/proc/355202/stat : 355202 (CASHWMaxSAT-Dis) R 355201 355201 354848 0 -1 4194304 37374 0 0 0 5091 5 0 0 20 0 1 0 65058948 218497024 40915 134679101440 4194304 14093885 140733072050208 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 28110848 140733072057362 140733072057494 140733072057494 140733072064480 0
/proc/355202/statm: 53344 40915 2542 2417 0 50446 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 231968 KiB
Current children cumulated memory: 167356 KiB

[startup+102.3 s]
/proc/loadavg: 3.90 2.76 2.59 5/269 355221
/proc/meminfo: memFree=124516720/131524600 swapFree=131070704/131071996
[pid=355198] ppid=355195 vsize=9932 memory=2672 CPUtime=0 cores=4,6
/proc/355198/stat : 355198 (Hybrid-CASHWMax) S 355195 355198 354848 0 -1 4194304 242 104 0 0 0 0 0 0 20 0 1 0 65058948 10170368 668 134679101440 94255957901312 94255958980632 140725117268576 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94255961079088 94255961126276 94255975796736 140725117277136 140725117277294 140725117277294 140725117284309 0

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

/proc/356106/statm: 26961 24792 748 737 0 26049 0
Current children cumulated CPU time: 3393.63 s
Current children cumulated vsize: 126436 KiB
Current children cumulated memory: 102868 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.16 4.10 5/262 357016
/proc/meminfo: memFree=116443764/131524600 swapFree=131070704/131071996
[pid=355198] ppid=355195 vsize=9932 memory=2728 CPUtime=1793.2 cores=4,6
/proc/355198/stat : 355198 (Hybrid-CASHWMax) S 355195 355198 354848 0 -1 4194304 276 173881 0 0 0 0 179236 84 20 0 1 0 65058948 10170368 682 134679101440 94255957901312 94255958980632 140725117268576 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94255961079088 94255961126276 94255975796736 140725117277136 140725117277294 140725117277294 140725117284309 0
/proc/355198/statm: 2483 682 588 264 0 134 0
[pid=356105] ppid=355198 vsize=8660 memory=972 CPUtime=0 cores=4,6
/proc/356105/stat : 356105 (timeout) S 355198 356105 354848 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65238750 8867840 243 134679101440 94478738489344 94478738524360 140726789337840 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94478740621776 94478740623908 94478751371264 140726789342196 140726789342365 140726789342365 140726789349351 0
/proc/356105/statm: 2165 243 219 9 0 87 0
[pid=356106] ppid=356105 vsize=108024 memory=99396 CPUtime=1660.28 cores=4,6
/proc/356106/stat : 356106 (Exact) R 356105 356105 354848 0 -1 4194304 14210 0 0 0 166022 6 0 0 20 0 1 0 65238750 110616576 24849 134679101440 4194304 7210733 140721284282448 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7850304 7914896 44228608 140721284285456 140721284285606 140721284285606 140721284292592 0
/proc/356106/statm: 27006 24849 748 737 0 26094 0
Current children cumulated CPU time: 3453.48 s
Current children cumulated vsize: 126616 KiB
Current children cumulated memory: 103096 KiB

[startup+3522.3 s]
/proc/loadavg: 4.08 4.14 4.09 5/262 357026
/proc/meminfo: memFree=116418268/131524600 swapFree=131070704/131071996
[pid=355198] ppid=355195 vsize=9932 memory=2728 CPUtime=1793.2 cores=4,6
/proc/355198/stat : 355198 (Hybrid-CASHWMax) S 355195 355198 354848 0 -1 4194304 276 173881 0 0 0 0 179236 84 20 0 1 0 65058948 10170368 682 134679101440 94255957901312 94255958980632 140725117268576 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94255961079088 94255961126276 94255975796736 140725117277136 140725117277294 140725117277294 140725117284309 0
/proc/355198/statm: 2483 682 588 264 0 134 0
[pid=356105] ppid=355198 vsize=8660 memory=972 CPUtime=0 cores=4,6
/proc/356105/stat : 356105 (timeout) S 355198 356105 354848 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65238750 8867840 243 134679101440 94478738489344 94478738524360 140726789337840 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94478740621776 94478740623908 94478751371264 140726789342196 140726789342365 140726789342365 140726789349351 0
/proc/356105/statm: 2165 243 219 9 0 87 0
[pid=356106] ppid=356105 vsize=108180 memory=99560 CPUtime=1720.14 cores=4,6
/proc/356106/stat : 356106 (Exact) R 356105 356105 354848 0 -1 4194304 14275 0 0 0 172008 6 0 0 20 0 1 0 65238750 110776320 24890 134679101440 4194304 7210733 140721284282448 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7850304 7914896 44228608 140721284285456 140721284285606 140721284285606 140721284292592 0
/proc/356106/statm: 27045 24890 748 737 0 26133 0
Current children cumulated CPU time: 3513.34 s
Current children cumulated vsize: 126772 KiB
Current children cumulated memory: 103260 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.13 4.09 5/264 357251
/proc/meminfo: memFree=125599928/131524600 swapFree=131070704/131071996
[pid=355198] ppid=355195 vsize=9932 memory=2728 CPUtime=1793.2 cores=4,6
/proc/355198/stat : 355198 (Hybrid-CASHWMax) S 355195 355198 354848 0 -1 4194304 276 173881 0 0 0 0 179236 84 20 0 1 0 65058948 10170368 682 134679101440 94255957901312 94255958980632 140725117268576 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94255961079088 94255961126276 94255975796736 140725117277136 140725117277294 140725117277294 140725117284309 0
/proc/355198/statm: 2483 682 588 264 0 134 0
[pid=356105] ppid=355198 vsize=8660 memory=972 CPUtime=0 cores=4,6
/proc/356105/stat : 356105 (timeout) S 355198 356105 354848 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65238750 8867840 243 134679101440 94478738489344 94478738524360 140726789337840 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94478740621776 94478740623908 94478751371264 140726789342196 140726789342365 140726789342365 140726789349351 0
/proc/356105/statm: 2165 243 219 9 0 87 0
[pid=356106] ppid=356105 vsize=108596 memory=99944 CPUtime=1779.98 cores=4,6
/proc/356106/stat : 356106 (Exact) R 356105 356105 354848 0 -1 4194304 14412 0 0 0 177992 6 0 0 20 0 1 0 65238750 111202304 24986 134679101440 4194304 7210733 140721284282448 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7850304 7914896 44228608 140721284285456 140721284285606 140721284285606 140721284292592 0
/proc/356106/statm: 27149 24986 748 737 0 26237 0
Current children cumulated CPU time: 3573.18 s
Current children cumulated vsize: 127188 KiB
Current children cumulated memory: 103644 KiB

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

# cumulated CPU time of all completed processes:  user=3586.03 s, system=0.918376 s

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

[startup+3584 s]*
/proc/loadavg: 4.10 4.13 4.09 5/264 357251
/proc/meminfo: memFree=125564212/131524600 swapFree=131070704/131071996
[pid=355198] ppid=355195 vsize=9932 memory=2728 CPUtime=1793.2 cores=4,6
/proc/355198/stat : 355198 (Hybrid-CASHWMax) S 355195 355198 354848 0 -1 4194304 276 173881 0 0 0 0 179236 84 20 0 1 0 65058948 10170368 682 134679101440 94255957901312 94255958980632 140725117268576 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94255961079088 94255961126276 94255975796736 140725117277136 140725117277294 140725117277294 140725117284309 0
/proc/355198/statm: 2483 682 588 264 0 134 0
[pid=356105] ppid=355198 vsize=8660 memory=972 CPUtime=0 cores=4,6
/proc/356105/stat : 356105 (timeout) S 355198 356105 354848 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65238750 8867840 243 134679101440 94478738489344 94478738524360 140726789337840 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94478740621776 94478740623908 94478751371264 140726789342196 140726789342365 140726789342365 140726789349351 0
/proc/356105/statm: 2165 243 219 9 0 87 0
[pid=356106] ppid=356105 vsize=108596 memory=99944 CPUtime=1781.68 cores=4,6
/proc/356106/stat : 356106 (Exact) R 356105 356105 354848 0 -1 4194304 14415 0 0 0 178162 6 0 0 20 0 1 0 65238750 111202304 24986 134679101440 4194304 7210733 140721284282448 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7850304 7914896 44228608 140721284285456 140721284285606 140721284285606 140721284292592 0
/proc/356106/statm: 27149 24986 748 737 0 26237 0
Current children cumulated CPU time: 3574.88 s
Current children cumulated vsize: 127188 KiB
Current children cumulated memory: 103644 KiB

[startup+3590.4 s]
/proc/loadavg: 4.09 4.13 4.09 5/264 357252
/proc/meminfo: memFree=125516108/131524600 swapFree=131070704/131071996
[pid=355198] ppid=355195 vsize=9932 memory=2728 CPUtime=1793.2 cores=4,6
/proc/355198/stat : 355198 (Hybrid-CASHWMax) S 355195 355198 354848 0 -1 4194304 276 173881 0 0 0 0 179236 84 20 0 1 0 65058948 10170368 682 134679101440 94255957901312 94255958980632 140725117268576 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94255961079088 94255961126276 94255975796736 140725117277136 140725117277294 140725117277294 140725117284309 0
/proc/355198/statm: 2483 682 588 264 0 134 0
[pid=356105] ppid=355198 vsize=8660 memory=972 CPUtime=0 cores=4,6
/proc/356105/stat : 356105 (timeout) S 355198 356105 354848 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65238750 8867840 243 134679101440 94478738489344 94478738524360 140726789337840 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94478740621776 94478740623908 94478751371264 140726789342196 140726789342365 140726789342365 140726789349351 0
/proc/356105/statm: 2165 243 219 9 0 87 0
[pid=356106] ppid=356105 vsize=108596 memory=99944 CPUtime=1788.06 cores=4,6
/proc/356106/stat : 356106 (Exact) R 356105 356105 354848 0 -1 4194304 14415 0 0 0 178800 6 0 0 20 0 1 0 65238750 111202304 24986 134679101440 4194304 7210733 140721284282448 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7850304 7914896 44228608 140721284285456 140721284285606 140721284285606 140721284292592 0
/proc/356106/statm: 27149 24986 748 737 0 26237 0
Current children cumulated CPU time: 3581.26 s
Current children cumulated vsize: 127188 KiB
Current children cumulated memory: 103644 KiB

[startup+3593.6 s]
/proc/loadavg: 4.08 4.13 4.09 5/264 357252
/proc/meminfo: memFree=125514136/131524600 swapFree=131070704/131071996
[pid=355198] ppid=355195 vsize=9932 memory=2728 CPUtime=1793.2 cores=4,6
/proc/355198/stat : 355198 (Hybrid-CASHWMax) S 355195 355198 354848 0 -1 4194304 276 173881 0 0 0 0 179236 84 20 0 1 0 65058948 10170368 682 134679101440 94255957901312 94255958980632 140725117268576 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94255961079088 94255961126276 94255975796736 140725117277136 140725117277294 140725117277294 140725117284309 0
/proc/355198/statm: 2483 682 588 264 0 134 0
[pid=356105] ppid=355198 vsize=8660 memory=972 CPUtime=0 cores=4,6
/proc/356105/stat : 356105 (timeout) S 355198 356105 354848 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65238750 8867840 243 134679101440 94478738489344 94478738524360 140726789337840 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94478740621776 94478740623908 94478751371264 140726789342196 140726789342365 140726789342365 140726789349351 0
/proc/356105/statm: 2165 243 219 9 0 87 0
[pid=356106] ppid=356105 vsize=108596 memory=99944 CPUtime=1791.25 cores=4,6
/proc/356106/stat : 356106 (Exact) R 356105 356105 354848 0 -1 4194304 14415 0 0 0 179119 6 0 0 20 0 1 0 65238750 111202304 24986 134679101440 4194304 7210733 140721284282448 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7850304 7914896 44228608 140721284285456 140721284285606 140721284285606 140721284292592 0
/proc/356106/statm: 27149 24986 748 737 0 26237 0
Current children cumulated CPU time: 3584.45 s
Current children cumulated vsize: 127188 KiB
Current children cumulated memory: 103644 KiB

[startup+3595.2 s]
/proc/loadavg: 4.08 4.13 4.09 5/267 357259
/proc/meminfo: memFree=125511544/131524600 swapFree=131070704/131071996
[pid=355198] ppid=355195 vsize=9932 memory=2728 CPUtime=1793.2 cores=4,6
/proc/355198/stat : 355198 (Hybrid-CASHWMax) S 355195 355198 354848 0 -1 4194304 276 173881 0 0 0 0 179236 84 20 0 1 0 65058948 10170368 682 134679101440 94255957901312 94255958980632 140725117268576 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94255961079088 94255961126276 94255975796736 140725117277136 140725117277294 140725117277294 140725117284309 0
/proc/355198/statm: 2483 682 588 264 0 134 0
[pid=356105] ppid=355198 vsize=8660 memory=972 CPUtime=0 cores=4,6
/proc/356105/stat : 356105 (timeout) S 355198 356105 354848 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65238750 8867840 243 134679101440 94478738489344 94478738524360 140726789337840 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94478740621776 94478740623908 94478751371264 140726789342196 140726789342365 140726789342365 140726789349351 0
/proc/356105/statm: 2165 243 219 9 0 87 0
[pid=356106] ppid=356105 vsize=108880 memory=100132 CPUtime=1792.85 cores=4,6
/proc/356106/stat : 356106 (Exact) R 356105 356105 354848 0 -1 4194304 14485 0 0 0 179279 6 0 0 20 0 1 0 65238750 111493120 25033 134679101440 4194304 7210733 140721284282448 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7850304 7914896 44228608 140721284285456 140721284285606 140721284285606 140721284292592 0
/proc/356106/statm: 27220 25033 748 737 0 26308 0
Current children cumulated CPU time: 3586.05 s
Current children cumulated vsize: 127472 KiB
Current children cumulated memory: 103832 KiB

[startup+3595.6 s]
/proc/loadavg: 4.08 4.13 4.09 5/267 357259
/proc/meminfo: memFree=125511544/131524600 swapFree=131070704/131071996
[pid=355198] ppid=355195 vsize=9932 memory=2728 CPUtime=1793.2 cores=4,6
/proc/355198/stat : 355198 (Hybrid-CASHWMax) S 355195 355198 354848 0 -1 4194304 276 173881 0 0 0 0 179236 84 20 0 1 0 65058948 10170368 682 134679101440 94255957901312 94255958980632 140725117268576 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94255961079088 94255961126276 94255975796736 140725117277136 140725117277294 140725117277294 140725117284309 0
/proc/355198/statm: 2483 682 588 264 0 134 0
[pid=356105] ppid=355198 vsize=8660 memory=972 CPUtime=0 cores=4,6
/proc/356105/stat : 356105 (timeout) S 355198 356105 354848 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65238750 8867840 243 134679101440 94478738489344 94478738524360 140726789337840 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94478740621776 94478740623908 94478751371264 140726789342196 140726789342365 140726789342365 140726789349351 0
/proc/356105/statm: 2165 243 219 9 0 87 0
[pid=356106] ppid=356105 vsize=108880 memory=100132 CPUtime=1793.24 cores=4,6
/proc/356106/stat : 356106 (Exact) R 356105 356105 354848 0 -1 4194304 14485 0 0 0 179318 6 0 0 20 0 1 0 65238750 111493120 25033 134679101440 4194304 7210733 140721284282448 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7850304 7914896 44228608 140721284285456 140721284285606 140721284285606 140721284292592 0
/proc/356106/statm: 27220 25033 748 737 0 26308 0
Current children cumulated CPU time: 3586.44 s
Current children cumulated vsize: 127472 KiB
Current children cumulated memory: 103832 KiB

[startup+3596 s]*
/proc/loadavg: 4.08 4.13 4.09 5/267 357259
/proc/meminfo: memFree=125511108/131524600 swapFree=131070704/131071996
[pid=355198] ppid=355195 vsize=9932 memory=2728 CPUtime=1793.2 cores=4,6
/proc/355198/stat : 355198 (Hybrid-CASHWMax) S 355195 355198 354848 0 -1 4194304 276 173881 0 0 0 0 179236 84 20 0 1 0 65058948 10170368 682 134679101440 94255957901312 94255958980632 140725117268576 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94255961079088 94255961126276 94255975796736 140725117277136 140725117277294 140725117277294 140725117284309 0
/proc/355198/statm: 2483 682 588 264 0 134 0
[pid=356105] ppid=355198 vsize=8660 memory=972 CPUtime=0 cores=4,6
/proc/356105/stat : 356105 (timeout) S 355198 356105 354848 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65238750 8867840 243 134679101440 94478738489344 94478738524360 140726789337840 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94478740621776 94478740623908 94478751371264 140726789342196 140726789342365 140726789342365 140726789349351 0
/proc/356105/statm: 2165 243 219 9 0 87 0
[pid=356106] ppid=356105 vsize=108880 memory=100132 CPUtime=1793.65 cores=4,6
/proc/356106/stat : 356106 (Exact) R 356105 356105 354848 0 -1 4194304 14485 0 0 0 179359 6 0 0 20 0 1 0 65238750 111493120 25033 134679101440 4194304 7210733 140721284282448 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7850304 7914896 44228608 140721284285456 140721284285606 140721284285606 140721284292592 0
/proc/356106/statm: 27220 25033 748 737 0 26308 0
Current children cumulated CPU time: 3586.85 s
Current children cumulated vsize: 127472 KiB
Current children cumulated memory: 103832 KiB

Child status: 0

Real time (s): 3596.08
CPU time (s): 3586.95
CPU user time (s): 3586.03
CPU system time (s): 0.918376
CPU usage (%): 99.7462
Max. virtual memory (cumulated for all children) (KiB): 984312
Max. memory (cumulated for all children) (KiB): 897336

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.03
system time used= 0.918376
maximum resident set size= 893708
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 191652
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 135
involuntary context switches= 3961


# summary of solver processes directly reported to runsolver:
#   pid: 355198
#   total CPU time (s): 3586.95
#   total CPU user time (s): 3586.03
#   total CPU system time (s): 0.918376

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.5411 second user time and 17.2159 second system time

The end