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

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Using a pseudo terminal to collect output from the solver
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=342803, runsolver pid=342796

[startup+0.100559 s]*
/proc/loadavg: 4.09 4.12 4.09 6/268 342924
/proc/meminfo: memFree=124914184/131524600 swapFree=131071996/131071996
[pid=342803] ppid=342796 vsize=9932 memory=2660 CPUtime=0 cores=0,2
/proc/342803/stat : 342803 (Hybrid-CASHWMax) S 342796 342803 337583 0 -1 4194304 240 101 0 0 0 0 0 0 20 0 1 0 62903265 10170368 665 134679101440 94697011929088 94697013008408 140731050307696 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94697015106864 94697015154052 94697027571712 140731050312656 140731050312814 140731050312814 140731050319829 0
/proc/342803/statm: 2483 665 585 264 0 134 0
[pid=342810] ppid=342803 vsize=8660 memory=1048 CPUtime=0 cores=0,2
/proc/342810/stat : 342810 (timeout) S 342803 342810 337583 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62903265 8867840 262 134679101440 94796756733952 94796756768968 140721631323184 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94796758866384 94796758868516 94796791431168 140721631331340 140721631331485 140721631331485 140721631338471 0
/proc/342810/statm: 2165 262 238 9 0 87 0
[pid=342811] ppid=342810 vsize=38932 memory=20556 CPUtime=0.09 cores=0,2
/proc/342811/stat : 342811 (CASHWMaxSAT-Dis) R 342810 342810 337583 0 -1 4194304 4456 0 0 0 8 1 0 0 20 0 1 0 62903265 39866368 5139 134679101440 4194304 14093885 140736794342400 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 15976432 16051504 47136768 140736794350610 140736794350742 140736794350742 140736794357728 0
/proc/342811/statm: 9733 5139 750 2417 0 6835 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 57524 KiB
Current children cumulated memory: 24264 KiB

[startup+0.209405 s]*
/proc/loadavg: 4.09 4.12 4.09 6/266 343044
/proc/meminfo: memFree=124898432/131524600 swapFree=131071996/131071996
[pid=342803] ppid=342796 vsize=9932 memory=2660 CPUtime=0 cores=0,2
/proc/342803/stat : 342803 (Hybrid-CASHWMax) S 342796 342803 337583 0 -1 4194304 240 101 0 0 0 0 0 0 20 0 1 0 62903265 10170368 665 134679101440 94697011929088 94697013008408 140731050307696 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94697015106864 94697015154052 94697027571712 140731050312656 140731050312814 140731050312814 140731050319829 0
/proc/342803/statm: 2483 665 585 264 0 134 0
[pid=342810] ppid=342803 vsize=8660 memory=1048 CPUtime=0 cores=0,2
/proc/342810/stat : 342810 (timeout) S 342803 342810 337583 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62903265 8867840 262 134679101440 94796756733952 94796756768968 140721631323184 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94796758866384 94796758868516 94796791431168 140721631331340 140721631331485 140721631331485 140721631338471 0
/proc/342810/statm: 2165 262 238 9 0 87 0
[pid=342811] ppid=342810 vsize=57260 memory=38792 CPUtime=0.19 cores=0,2
/proc/342811/stat : 342811 (CASHWMaxSAT-Dis) R 342810 342810 337583 0 -1 4194304 9020 0 0 0 18 1 0 0 20 0 1 0 62903265 58634240 9698 134679101440 4194304 14093885 140736794342400 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 15976432 16051504 47136768 140736794350610 140736794350742 140736794350742 140736794357728 0
/proc/342811/statm: 14315 9698 750 2417 0 11417 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 75852 KiB
Current children cumulated memory: 42500 KiB

[startup+0.305985 s]*
/proc/loadavg: 4.09 4.12 4.09 5/265 343044
/proc/meminfo: memFree=124883184/131524600 swapFree=131071996/131071996
[pid=342803] ppid=342796 vsize=9932 memory=2660 CPUtime=0 cores=0,2
/proc/342803/stat : 342803 (Hybrid-CASHWMax) S 342796 342803 337583 0 -1 4194304 240 101 0 0 0 0 0 0 20 0 1 0 62903265 10170368 665 134679101440 94697011929088 94697013008408 140731050307696 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94697015106864 94697015154052 94697027571712 140731050312656 140731050312814 140731050312814 140731050319829 0
/proc/342803/statm: 2483 665 585 264 0 134 0
[pid=342810] ppid=342803 vsize=8660 memory=1048 CPUtime=0 cores=0,2
/proc/342810/stat : 342810 (timeout) S 342803 342810 337583 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62903265 8867840 262 134679101440 94796756733952 94796756768968 140721631323184 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94796758866384 94796758868516 94796791431168 140721631331340 140721631331485 140721631331485 140721631338471 0
/proc/342810/statm: 2165 262 238 9 0 87 0
[pid=342811] ppid=342810 vsize=72528 memory=54440 CPUtime=0.29 cores=0,2
/proc/342811/stat : 342811 (CASHWMaxSAT-Dis) R 342810 342810 337583 0 -1 4194304 12914 0 0 0 27 2 0 0 20 0 1 0 62903265 74268672 13610 134679101440 4194304 14093885 140736794342400 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 15976432 16051504 47136768 140736794350610 140736794350742 140736794350742 140736794357728 0
/proc/342811/statm: 18132 13610 782 2417 0 15234 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 91120 KiB
Current children cumulated memory: 58148 KiB

[startup+0.700308 s]
/proc/loadavg: 4.09 4.12 4.09 5/265 343044
/proc/meminfo: memFree=124809852/131524600 swapFree=131071996/131071996
[pid=342803] ppid=342796 vsize=9932 memory=2660 CPUtime=0 cores=0,2
/proc/342803/stat : 342803 (Hybrid-CASHWMax) S 342796 342803 337583 0 -1 4194304 240 101 0 0 0 0 0 0 20 0 1 0 62903265 10170368 665 134679101440 94697011929088 94697013008408 140731050307696 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94697015106864 94697015154052 94697027571712 140731050312656 140731050312814 140731050312814 140731050319829 0
/proc/342803/statm: 2483 665 585 264 0 134 0
[pid=342810] ppid=342803 vsize=8660 memory=1048 CPUtime=0 cores=0,2
/proc/342810/stat : 342810 (timeout) S 342803 342810 337583 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62903265 8867840 262 134679101440 94796756733952 94796756768968 140721631323184 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94796758866384 94796758868516 94796791431168 140721631331340 140721631331485 140721631331485 140721631338471 0
/proc/342810/statm: 2165 262 238 9 0 87 0
[pid=342811] ppid=342810 vsize=188876 memory=178020 CPUtime=0.68 cores=0,2
/proc/342811/stat : 342811 (CASHWMaxSAT-Dis) R 342810 342810 337583 0 -1 4194304 43302 0 0 0 62 6 0 0 20 0 1 0 62903265 193409024 44505 134679101440 4194304 14093885 140736794342400 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 47136768 140736794350610 140736794350742 140736794350742 140736794357728 0
/proc/342811/statm: 47219 44505 2350 2417 0 44321 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 207468 KiB
Current children cumulated memory: 181728 KiB

[startup+1.50031 s]
/proc/loadavg: 4.09 4.12 4.09 5/265 343045
/proc/meminfo: memFree=124755740/131524600 swapFree=131071996/131071996
[pid=342803] ppid=342796 vsize=9932 memory=2660 CPUtime=0 cores=0,2
/proc/342803/stat : 342803 (Hybrid-CASHWMax) S 342796 342803 337583 0 -1 4194304 240 101 0 0 0 0 0 0 20 0 1 0 62903265 10170368 665 134679101440 94697011929088 94697013008408 140731050307696 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94697015106864 94697015154052 94697027571712 140731050312656 140731050312814 140731050312814 140731050319829 0
/proc/342803/statm: 2483 665 585 264 0 134 0
[pid=342810] ppid=342803 vsize=8660 memory=1048 CPUtime=0 cores=0,2
/proc/342810/stat : 342810 (timeout) S 342803 342810 337583 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62903265 8867840 262 134679101440 94796756733952 94796756768968 140721631323184 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94796758866384 94796758868516 94796791431168 140721631331340 140721631331485 140721631331485 140721631338471 0
/proc/342810/statm: 2165 262 238 9 0 87 0
[pid=342811] ppid=342810 vsize=247620 memory=234400 CPUtime=1.48 cores=0,2
/proc/342811/stat : 342811 (CASHWMaxSAT-Dis) R 342810 342810 337583 0 -1 4194304 57192 0 0 0 139 9 0 0 20 0 1 0 62903265 253562880 58600 134679101440 4194304 14093885 140736794342400 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 47136768 140736794350610 140736794350742 140736794350742 140736794357728 0
/proc/342811/statm: 61905 58600 2510 2417 0 59007 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 266212 KiB
Current children cumulated memory: 238108 KiB

[startup+3.10571 s]
/proc/loadavg: 4.09 4.12 4.09 5/265 343045
/proc/meminfo: memFree=124682296/131524600 swapFree=131071996/131071996
[pid=342803] ppid=342796 vsize=9932 memory=2660 CPUtime=0 cores=0,2
/proc/342803/stat : 342803 (Hybrid-CASHWMax) S 342796 342803 337583 0 -1 4194304 240 101 0 0 0 0 0 0 20 0 1 0 62903265 10170368 665 134679101440 94697011929088 94697013008408 140731050307696 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94697015106864 94697015154052 94697027571712 140731050312656 140731050312814 140731050312814 140731050319829 0
/proc/342803/statm: 2483 665 585 264 0 134 0
[pid=342810] ppid=342803 vsize=8660 memory=1048 CPUtime=0 cores=0,2
/proc/342810/stat : 342810 (timeout) S 342803 342810 337583 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62903265 8867840 262 134679101440 94796756733952 94796756768968 140721631323184 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94796758866384 94796758868516 94796791431168 140721631331340 140721631331485 140721631331485 140721631338471 0
/proc/342810/statm: 2165 262 238 9 0 87 0
[pid=342811] ppid=342810 vsize=248092 memory=234928 CPUtime=3.08 cores=0,2
/proc/342811/stat : 342811 (CASHWMaxSAT-Dis) R 342810 342810 337583 0 -1 4194304 57361 0 0 0 299 9 0 0 20 0 1 0 62903265 254046208 58732 134679101440 4194304 14093885 140736794342400 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 47136768 140736794350610 140736794350742 140736794350742 140736794357728 0
/proc/342811/statm: 62023 58732 2510 2417 0 59125 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 266684 KiB
Current children cumulated memory: 238636 KiB

[startup+6.30029 s]
/proc/loadavg: 4.08 4.12 4.09 5/265 343045
/proc/meminfo: memFree=124716296/131524600 swapFree=131071996/131071996
[pid=342803] ppid=342796 vsize=9932 memory=2660 CPUtime=0 cores=0,2
/proc/342803/stat : 342803 (Hybrid-CASHWMax) S 342796 342803 337583 0 -1 4194304 240 101 0 0 0 0 0 0 20 0 1 0 62903265 10170368 665 134679101440 94697011929088 94697013008408 140731050307696 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94697015106864 94697015154052 94697027571712 140731050312656 140731050312814 140731050312814 140731050319829 0
/proc/342803/statm: 2483 665 585 264 0 134 0
[pid=342810] ppid=342803 vsize=8660 memory=1048 CPUtime=0 cores=0,2
/proc/342810/stat : 342810 (timeout) S 342803 342810 337583 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62903265 8867840 262 134679101440 94796756733952 94796756768968 140721631323184 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94796758866384 94796758868516 94796791431168 140721631331340 140721631331485 140721631331485 140721631338471 0
/proc/342810/statm: 2165 262 238 9 0 87 0
[pid=342811] ppid=342810 vsize=248352 memory=235192 CPUtime=6.26 cores=0,2
/proc/342811/stat : 342811 (CASHWMaxSAT-Dis) R 342810 342810 337583 0 -1 4194304 57421 0 0 0 617 9 0 0 20 0 1 0 62903265 254312448 58798 134679101440 4194304 14093885 140736794342400 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 47136768 140736794350610 140736794350742 140736794350742 140736794357728 0
/proc/342811/statm: 62088 58798 2510 2417 0 59190 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 266944 KiB
Current children cumulated memory: 238900 KiB

[startup+12.7003 s]
/proc/loadavg: 4.15 4.14 4.10 5/265 343047
/proc/meminfo: memFree=124713024/131524600 swapFree=131071996/131071996
[pid=342803] ppid=342796 vsize=9932 memory=2660 CPUtime=0 cores=0,2
/proc/342803/stat : 342803 (Hybrid-CASHWMax) S 342796 342803 337583 0 -1 4194304 240 101 0 0 0 0 0 0 20 0 1 0 62903265 10170368 665 134679101440 94697011929088 94697013008408 140731050307696 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94697015106864 94697015154052 94697027571712 140731050312656 140731050312814 140731050312814 140731050319829 0
/proc/342803/statm: 2483 665 585 264 0 134 0
[pid=342810] ppid=342803 vsize=8660 memory=1048 CPUtime=0 cores=0,2
/proc/342810/stat : 342810 (timeout) S 342803 342810 337583 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62903265 8867840 262 134679101440 94796756733952 94796756768968 140721631323184 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94796758866384 94796758868516 94796791431168 140721631331340 140721631331485 140721631331485 140721631338471 0
/proc/342810/statm: 2165 262 238 9 0 87 0
[pid=342811] ppid=342810 vsize=249460 memory=236248 CPUtime=12.63 cores=0,2
/proc/342811/stat : 342811 (CASHWMaxSAT-Dis) R 342810 342810 337583 0 -1 4194304 57692 0 0 0 1253 10 0 0 20 0 1 0 62903265 255447040 59062 134679101440 4194304 14093885 140736794342400 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 47136768 140736794350610 140736794350742 140736794350742 140736794357728 0
/proc/342811/statm: 62365 59062 2510 2417 0 59467 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 268052 KiB
Current children cumulated memory: 239956 KiB

[startup+25.5003 s]
/proc/loadavg: 4.12 4.13 4.09 5/263 343048
/proc/meminfo: memFree=124711080/131524600 swapFree=131071996/131071996
[pid=342803] ppid=342796 vsize=9932 memory=2660 CPUtime=0 cores=0,2
/proc/342803/stat : 342803 (Hybrid-CASHWMax) S 342796 342803 337583 0 -1 4194304 240 101 0 0 0 0 0 0 20 0 1 0 62903265 10170368 665 134679101440 94697011929088 94697013008408 140731050307696 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94697015106864 94697015154052 94697027571712 140731050312656 140731050312814 140731050312814 140731050319829 0
/proc/342803/statm: 2483 665 585 264 0 134 0
[pid=342810] ppid=342803 vsize=8660 memory=1048 CPUtime=0 cores=0,2
/proc/342810/stat : 342810 (timeout) S 342803 342810 337583 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62903265 8867840 262 134679101440 94796756733952 94796756768968 140721631323184 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94796758866384 94796758868516 94796791431168 140721631331340 140721631331485 140721631331485 140721631338471 0
/proc/342810/statm: 2165 262 238 9 0 87 0
[pid=342811] ppid=342810 vsize=249460 memory=236248 CPUtime=25.37 cores=0,2
/proc/342811/stat : 342811 (CASHWMaxSAT-Dis) R 342810 342810 337583 0 -1 4194304 57693 0 0 0 2526 11 0 0 20 0 1 0 62903265 255447040 59062 134679101440 4194304 14093885 140736794342400 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 47136768 140736794350610 140736794350742 140736794350742 140736794357728 0
/proc/342811/statm: 62365 59062 2510 2417 0 59467 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 268052 KiB
Current children cumulated memory: 239956 KiB

[startup+51.1059 s]
/proc/loadavg: 4.08 4.12 4.09 5/263 343053
/proc/meminfo: memFree=124708656/131524600 swapFree=131071996/131071996
[pid=342803] ppid=342796 vsize=9932 memory=2660 CPUtime=0 cores=0,2
/proc/342803/stat : 342803 (Hybrid-CASHWMax) S 342796 342803 337583 0 -1 4194304 240 101 0 0 0 0 0 0 20 0 1 0 62903265 10170368 665 134679101440 94697011929088 94697013008408 140731050307696 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94697015106864 94697015154052 94697027571712 140731050312656 140731050312814 140731050312814 140731050319829 0
/proc/342803/statm: 2483 665 585 264 0 134 0
[pid=342810] ppid=342803 vsize=8660 memory=1048 CPUtime=0 cores=0,2
/proc/342810/stat : 342810 (timeout) S 342803 342810 337583 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62903265 8867840 262 134679101440 94796756733952 94796756768968 140721631323184 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94796758866384 94796758868516 94796791431168 140721631331340 140721631331485 140721631331485 140721631338471 0
/proc/342810/statm: 2165 262 238 9 0 87 0
[pid=342811] ppid=342810 vsize=249460 memory=236248 CPUtime=50.87 cores=0,2
/proc/342811/stat : 342811 (CASHWMaxSAT-Dis) R 342810 342810 337583 0 -1 4194304 57693 0 0 0 5074 13 0 0 20 0 1 0 62903265 255447040 59062 134679101440 4194304 14093885 140736794342400 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 47136768 140736794350610 140736794350742 140736794350742 140736794357728 0
/proc/342811/statm: 62365 59062 2510 2417 0 59467 0
Current children cumulated CPU time: 50.87 s
Current children cumulated vsize: 268052 KiB
Current children cumulated memory: 239956 KiB

[startup+102.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/263 343062
/proc/meminfo: memFree=124708244/131524600 swapFree=131071996/131071996
[pid=342803] ppid=342796 vsize=9932 memory=2660 CPUtime=0 cores=0,2
/proc/342803/stat : 342803 (Hybrid-CASHWMax) S 342796 342803 337583 0 -1 4194304 240 101 0 0 0 0 0 0 20 0 1 0 62903265 10170368 665 134679101440 94697011929088 94697013008408 140731050307696 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94697015106864 94697015154052 94697027571712 140731050312656 140731050312814 140731050312814 140731050319829 0

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

/proc/342811/statm: 129434 114252 2542 2417 0 126536 0
Current children cumulated CPU time: 1476.67 s
Current children cumulated vsize: 536328 KiB
Current children cumulated memory: 460716 KiB

[startup+1542.3 s]
/proc/loadavg: 4.17 4.11 4.09 5/265 343609
/proc/meminfo: memFree=125229196/131524600 swapFree=131071996/131071996
[pid=342803] ppid=342796 vsize=9932 memory=2660 CPUtime=0 cores=0,2
/proc/342803/stat : 342803 (Hybrid-CASHWMax) S 342796 342803 337583 0 -1 4194304 240 101 0 0 0 0 0 0 20 0 1 0 62903265 10170368 665 134679101440 94697011929088 94697013008408 140731050307696 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94697015106864 94697015154052 94697027571712 140731050312656 140731050312814 140731050312814 140731050319829 0
/proc/342803/statm: 2483 665 585 264 0 134 0
[pid=342810] ppid=342803 vsize=8660 memory=1048 CPUtime=0 cores=0,2
/proc/342810/stat : 342810 (timeout) S 342803 342810 337583 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62903265 8867840 262 134679101440 94796756733952 94796756768968 140721631323184 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94796758866384 94796758868516 94796791431168 140721631331340 140721631331485 140721631331485 140721631338471 0
/proc/342810/statm: 2165 262 238 9 0 87 0
[pid=342811] ppid=342810 vsize=517736 memory=457008 CPUtime=1536.44 cores=0,2
/proc/342811/stat : 342811 (CASHWMaxSAT-Dis) R 342810 342810 337583 0 -1 4194304 101122 0 0 0 153595 49 0 0 20 0 1 0 62903265 530161664 114252 134679101440 4194304 14093885 140736794342400 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 47136768 140736794350610 140736794350742 140736794350742 140736794357728 0
/proc/342811/statm: 129434 114252 2542 2417 0 126536 0
Current children cumulated CPU time: 1536.44 s
Current children cumulated vsize: 536328 KiB
Current children cumulated memory: 460716 KiB

[startup+1602.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/265 343619
/proc/meminfo: memFree=125210344/131524600 swapFree=131071996/131071996
[pid=342803] ppid=342796 vsize=9932 memory=2660 CPUtime=0 cores=0,2
/proc/342803/stat : 342803 (Hybrid-CASHWMax) S 342796 342803 337583 0 -1 4194304 240 101 0 0 0 0 0 0 20 0 1 0 62903265 10170368 665 134679101440 94697011929088 94697013008408 140731050307696 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94697015106864 94697015154052 94697027571712 140731050312656 140731050312814 140731050312814 140731050319829 0
/proc/342803/statm: 2483 665 585 264 0 134 0
[pid=342810] ppid=342803 vsize=8660 memory=1048 CPUtime=0 cores=0,2
/proc/342810/stat : 342810 (timeout) S 342803 342810 337583 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62903265 8867840 262 134679101440 94796756733952 94796756768968 140721631323184 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94796758866384 94796758868516 94796791431168 140721631331340 140721631331485 140721631331485 140721631338471 0
/proc/342810/statm: 2165 262 238 9 0 87 0
[pid=342811] ppid=342810 vsize=517736 memory=457008 CPUtime=1596.22 cores=0,2
/proc/342811/stat : 342811 (CASHWMaxSAT-Dis) R 342810 342810 337583 0 -1 4194304 101302 0 0 0 159573 49 0 0 20 0 1 0 62903265 530161664 114252 134679101440 4194304 14093885 140736794342400 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 47136768 140736794350610 140736794350742 140736794350742 140736794357728 0
/proc/342811/statm: 129434 114252 2542 2417 0 126536 0
Current children cumulated CPU time: 1596.22 s
Current children cumulated vsize: 536328 KiB
Current children cumulated memory: 460716 KiB

[startup+1662.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/265 343630
/proc/meminfo: memFree=125208328/131524600 swapFree=131071996/131071996
[pid=342803] ppid=342796 vsize=9932 memory=2660 CPUtime=0 cores=0,2
/proc/342803/stat : 342803 (Hybrid-CASHWMax) S 342796 342803 337583 0 -1 4194304 240 101 0 0 0 0 0 0 20 0 1 0 62903265 10170368 665 134679101440 94697011929088 94697013008408 140731050307696 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94697015106864 94697015154052 94697027571712 140731050312656 140731050312814 140731050312814 140731050319829 0
/proc/342803/statm: 2483 665 585 264 0 134 0
[pid=342810] ppid=342803 vsize=8660 memory=1048 CPUtime=0 cores=0,2
/proc/342810/stat : 342810 (timeout) S 342803 342810 337583 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62903265 8867840 262 134679101440 94796756733952 94796756768968 140721631323184 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94796758866384 94796758868516 94796791431168 140721631331340 140721631331485 140721631331485 140721631338471 0
/proc/342810/statm: 2165 262 238 9 0 87 0
[pid=342811] ppid=342810 vsize=517736 memory=457464 CPUtime=1655.99 cores=0,2
/proc/342811/stat : 342811 (CASHWMaxSAT-Dis) R 342810 342810 337583 0 -1 4194304 101469 0 0 0 165549 50 0 0 20 0 1 0 62903265 530161664 114366 134679101440 4194304 14093885 140736794342400 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 47136768 140736794350610 140736794350742 140736794350742 140736794357728 0
/proc/342811/statm: 129434 114366 2542 2417 0 126536 0
Current children cumulated CPU time: 1655.99 s
Current children cumulated vsize: 536328 KiB
Current children cumulated memory: 461172 KiB

[startup+1722.3 s]
/proc/loadavg: 4.29 4.15 4.10 5/264 343641
/proc/meminfo: memFree=125204380/131524600 swapFree=131071996/131071996
[pid=342803] ppid=342796 vsize=9932 memory=2660 CPUtime=0 cores=0,2
/proc/342803/stat : 342803 (Hybrid-CASHWMax) S 342796 342803 337583 0 -1 4194304 240 101 0 0 0 0 0 0 20 0 1 0 62903265 10170368 665 134679101440 94697011929088 94697013008408 140731050307696 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94697015106864 94697015154052 94697027571712 140731050312656 140731050312814 140731050312814 140731050319829 0
/proc/342803/statm: 2483 665 585 264 0 134 0
[pid=342810] ppid=342803 vsize=8660 memory=1048 CPUtime=0 cores=0,2
/proc/342810/stat : 342810 (timeout) S 342803 342810 337583 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62903265 8867840 262 134679101440 94796756733952 94796756768968 140721631323184 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94796758866384 94796758868516 94796791431168 140721631331340 140721631331485 140721631331485 140721631338471 0
/proc/342810/statm: 2165 262 238 9 0 87 0
[pid=342811] ppid=342810 vsize=517736 memory=457464 CPUtime=1715.76 cores=0,2
/proc/342811/stat : 342811 (CASHWMaxSAT-Dis) R 342810 342810 337583 0 -1 4194304 101642 0 0 0 171526 50 0 0 20 0 1 0 62903265 530161664 114366 134679101440 4194304 14093885 140736794342400 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 47136768 140736794350610 140736794350742 140736794350742 140736794357728 0
/proc/342811/statm: 129434 114366 2542 2417 0 126536 0
Current children cumulated CPU time: 1715.76 s
Current children cumulated vsize: 536328 KiB
Current children cumulated memory: 461172 KiB

[startup+1782.3 s]
/proc/loadavg: 4.32 4.20 4.12 6/264 343651
/proc/meminfo: memFree=125202900/131524600 swapFree=131071996/131071996
[pid=342803] ppid=342796 vsize=9932 memory=2660 CPUtime=0 cores=0,2
/proc/342803/stat : 342803 (Hybrid-CASHWMax) S 342796 342803 337583 0 -1 4194304 240 101 0 0 0 0 0 0 20 0 1 0 62903265 10170368 665 134679101440 94697011929088 94697013008408 140731050307696 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94697015106864 94697015154052 94697027571712 140731050312656 140731050312814 140731050312814 140731050319829 0
/proc/342803/statm: 2483 665 585 264 0 134 0
[pid=342810] ppid=342803 vsize=8660 memory=1048 CPUtime=0 cores=0,2
/proc/342810/stat : 342810 (timeout) S 342803 342810 337583 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62903265 8867840 262 134679101440 94796756733952 94796756768968 140721631323184 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94796758866384 94796758868516 94796791431168 140721631331340 140721631331485 140721631331485 140721631338471 0
/proc/342810/statm: 2165 262 238 9 0 87 0
[pid=342811] ppid=342810 vsize=517736 memory=457464 CPUtime=1775.52 cores=0,2
/proc/342811/stat : 342811 (CASHWMaxSAT-Dis) R 342810 342810 337583 0 -1 4194304 101716 0 0 0 177502 50 0 0 20 0 1 0 62903265 530161664 114366 134679101440 4194304 14093885 140736794342400 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 47136768 140736794350610 140736794350742 140736794350742 140736794357728 0
/proc/342811/statm: 129434 114366 2542 2417 0 126536 0
Current children cumulated CPU time: 1775.52 s
Current children cumulated vsize: 536328 KiB
Current children cumulated memory: 461172 KiB

[startup+1842.3 s]
/proc/loadavg: 4.17 4.17 4.12 6/263 344045
/proc/meminfo: memFree=125621076/131524600 swapFree=131071996/131071996
[pid=342803] ppid=342796 vsize=9932 memory=2716 CPUtime=1791.17 cores=0,2
/proc/342803/stat : 342803 (Hybrid-CASHWMax) S 342796 342803 337583 0 -1 4194304 272 101938 0 0 0 0 179067 50 20 0 1 0 62903265 10170368 679 134679101440 94697011929088 94697013008408 140731050307696 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94697015106864 94697015154052 94697027571712 140731050312656 140731050312814 140731050312814 140731050319829 0
/proc/342803/statm: 2483 679 585 264 0 134 0
[pid=343654] ppid=342803 vsize=8660 memory=992 CPUtime=0 cores=0,2
/proc/343654/stat : 343654 (timeout) S 342803 343654 337583 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 63083066 8867840 248 134679101440 94043565076480 94043565111496 140736944255616 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94043567208912 94043567211044 94043574394880 140736944264180 140736944264349 140736944264349 140736944271335 0
/proc/343654/statm: 2165 248 223 9 0 87 0
[pid=343655] ppid=343654 vsize=42096 memory=28664 CPUtime=44.1 cores=0,2
/proc/343655/stat : 343655 (Exact) R 343654 343654 337583 0 -1 4194304 16492 0 0 0 4407 3 0 0 20 0 1 0 63083066 43106304 7166 134679101440 4194304 7210733 140726255454272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 23379968 140726255457296 140726255457446 140726255457446 140726255464432 0
/proc/343655/statm: 10524 7166 748 737 0 9612 0
Current children cumulated CPU time: 1835.27 s
Current children cumulated vsize: 60688 KiB
Current children cumulated memory: 32372 KiB

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

# cumulated CPU time of all completed processes:  user=1836.68 s, system=0.542524 s

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

[startup+1843.2 s]
/proc/loadavg: 4.17 4.17 4.12 5/263 344045
/proc/meminfo: memFree=125621188/131524600 swapFree=131071996/131071996
[pid=342803] ppid=342796 vsize=9932 memory=2716 CPUtime=1791.17 cores=0,2
/proc/342803/stat : 342803 (Hybrid-CASHWMax) S 342796 342803 337583 0 -1 4194304 272 101938 0 0 0 0 179067 50 20 0 1 0 62903265 10170368 679 134679101440 94697011929088 94697013008408 140731050307696 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94697015106864 94697015154052 94697027571712 140731050312656 140731050312814 140731050312814 140731050319829 0
/proc/342803/statm: 2483 679 585 264 0 134 0
[pid=343654] ppid=342803 vsize=8660 memory=992 CPUtime=0 cores=0,2
/proc/343654/stat : 343654 (timeout) S 342803 343654 337583 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 63083066 8867840 248 134679101440 94043565076480 94043565111496 140736944255616 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94043567208912 94043567211044 94043574394880 140736944264180 140736944264349 140736944264349 140736944271335 0
/proc/343654/statm: 2165 248 223 9 0 87 0
[pid=343655] ppid=343654 vsize=42096 memory=28664 CPUtime=45 cores=0,2
/proc/343655/stat : 343655 (Exact) R 343654 343654 337583 0 -1 4194304 16492 0 0 0 4497 3 0 0 20 0 1 0 63083066 43106304 7166 134679101440 4194304 7210733 140726255454272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 23379968 140726255457296 140726255457446 140726255457446 140726255464432 0
/proc/343655/statm: 10524 7166 748 737 0 9612 0
Current children cumulated CPU time: 1836.17 s
Current children cumulated vsize: 60688 KiB
Current children cumulated memory: 32372 KiB

[startup+1844 s]*
/proc/loadavg: 4.16 4.17 4.12 5/263 344045
/proc/meminfo: memFree=125621216/131524600 swapFree=131071996/131071996
[pid=342803] ppid=342796 vsize=9932 memory=2716 CPUtime=1791.17 cores=0,2
/proc/342803/stat : 342803 (Hybrid-CASHWMax) S 342796 342803 337583 0 -1 4194304 272 101938 0 0 0 0 179067 50 20 0 1 0 62903265 10170368 679 134679101440 94697011929088 94697013008408 140731050307696 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94697015106864 94697015154052 94697027571712 140731050312656 140731050312814 140731050312814 140731050319829 0
/proc/342803/statm: 2483 679 585 264 0 134 0
[pid=343654] ppid=342803 vsize=8660 memory=992 CPUtime=0 cores=0,2
/proc/343654/stat : 343654 (timeout) S 342803 343654 337583 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 63083066 8867840 248 134679101440 94043565076480 94043565111496 140736944255616 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94043567208912 94043567211044 94043574394880 140736944264180 140736944264349 140736944264349 140736944271335 0
/proc/343654/statm: 2165 248 223 9 0 87 0
[pid=343655] ppid=343654 vsize=42096 memory=28664 CPUtime=45.8 cores=0,2
/proc/343655/stat : 343655 (Exact) R 343654 343654 337583 0 -1 4194304 16492 0 0 0 4577 3 0 0 20 0 1 0 63083066 43106304 7166 134679101440 4194304 7210733 140726255454272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 23379968 140726255457296 140726255457446 140726255457446 140726255464432 0
/proc/343655/statm: 10524 7166 748 737 0 9612 0
Current children cumulated CPU time: 1836.97 s
Current children cumulated vsize: 60688 KiB
Current children cumulated memory: 32372 KiB

[startup+1844.2 s]
/proc/loadavg: 4.16 4.17 4.12 5/263 344045
/proc/meminfo: memFree=125621216/131524600 swapFree=131071996/131071996
[pid=342803] ppid=342796 vsize=9932 memory=2716 CPUtime=1791.17 cores=0,2
/proc/342803/stat : 342803 (Hybrid-CASHWMax) S 342796 342803 337583 0 -1 4194304 272 101938 0 0 0 0 179067 50 20 0 1 0 62903265 10170368 679 134679101440 94697011929088 94697013008408 140731050307696 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94697015106864 94697015154052 94697027571712 140731050312656 140731050312814 140731050312814 140731050319829 0
/proc/342803/statm: 2483 679 585 264 0 134 0
[pid=343654] ppid=342803 vsize=8660 memory=992 CPUtime=0 cores=0,2
/proc/343654/stat : 343654 (timeout) S 342803 343654 337583 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 63083066 8867840 248 134679101440 94043565076480 94043565111496 140736944255616 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94043567208912 94043567211044 94043574394880 140736944264180 140736944264349 140736944264349 140736944271335 0
/proc/343654/statm: 2165 248 223 9 0 87 0
[pid=343655] ppid=343654 vsize=42096 memory=28664 CPUtime=46 cores=0,2
/proc/343655/stat : 343655 (Exact) R 343654 343654 337583 0 -1 4194304 16493 0 0 0 4597 3 0 0 20 0 1 0 63083066 43106304 7166 134679101440 4194304 7210733 140726255454272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 23379968 140726255457296 140726255457446 140726255457446 140726255464432 0
/proc/343655/statm: 10524 7166 748 737 0 9612 0
Current children cumulated CPU time: 1837.17 s
Current children cumulated vsize: 60688 KiB
Current children cumulated memory: 32372 KiB

Child status: 0

Real time (s): 1844.23
CPU time (s): 1837.22
CPU user time (s): 1836.68
CPU system time (s): 0.542524
CPU usage (%): 99.6196
Max. virtual memory (cumulated for all children) (KiB): 536328
Max. memory (cumulated for all children) (KiB): 461172

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1836.68
system time used= 0.542524
maximum resident set size= 472964
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 119515
page faults= 0
swaps= 0
block input operations= 0
block output operations= 96
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 51
involuntary context switches= 12674


# summary of solver processes directly reported to runsolver:
#   pid: 342803
#   total CPU time (s): 1837.22
#   total CPU user time (s): 1836.68
#   total CPU system time (s): 0.542524

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.29483 second user time and 9.50081 second system time

The end