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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4437206-1722974302/watcher-4437206-1722974302 -o /tmp/evaluation-result-4437206-1722974302/solver-4437206-1722974302 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1722974302-351870 --watchdog 3760 --use-pty ./Hybrid-LSMabSP+Exact HOME/instance-4437206-1722974302.opb 3600 HOME 31000 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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=351918, runsolver pid=351909

[startup+0.100374 s]*
/proc/loadavg: 0.89 1.09 1.69 7/266 351943
/proc/meminfo: memFree=121446644/131524600 swapFree=131071472/131071996
[pid=351918] ppid=351909 vsize=9932 memory=2608 CPUtime=0 cores=1,3
/proc/351918/stat : 351918 (Hybrid-LSMabSP+) S 351909 351918 351858 0 -1 4194304 241 101 0 0 0 0 0 0 20 0 1 0 64028100 10170368 652 134679101440 94468269207552 94468270286872 140722471773120 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94468272385328 94468272432516 94468299059200 140722471781352 140722471781498 140722471781498 140722471788513 0
/proc/351918/statm: 2483 652 574 264 0 134 0
[pid=351926] ppid=351918 vsize=8660 memory=944 CPUtime=0 cores=1,3
/proc/351926/stat : 351926 (timeout) S 351918 351926 351858 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 64028100 8867840 236 134679101440 94786151649280 94786151684296 140720771714512 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94786153781712 94786153783844 94786161852416 140720771716137 140720771716253 140720771716253 140720771723239 0
/proc/351926/statm: 2165 236 212 9 0 87 0
[pid=351930] ppid=351926 vsize=23016 memory=10408 CPUtime=0.09 cores=1,3
/proc/351930/stat : 351930 (LS-MabSP) R 351926 351926 351858 0 -1 4194304 1592 0 0 0 9 0 0 0 20 0 1 0 64028100 23568384 2602 134679101440 4194304 15467897 140727383538272 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 37171200 140727383544892 140727383544995 140727383544995 140727383551981 0
/proc/351930/statm: 5754 2602 1073 2753 0 2407 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 41608 KiB
Current children cumulated memory: 13960 KiB

[startup+0.206235 s]*
/proc/loadavg: 0.89 1.09 1.69 5/266 351943
/proc/meminfo: memFree=121406080/131524600 swapFree=131071472/131071996
[pid=351918] ppid=351909 vsize=9932 memory=2608 CPUtime=0 cores=1,3
/proc/351918/stat : 351918 (Hybrid-LSMabSP+) S 351909 351918 351858 0 -1 4194304 241 101 0 0 0 0 0 0 20 0 1 0 64028100 10170368 652 134679101440 94468269207552 94468270286872 140722471773120 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94468272385328 94468272432516 94468299059200 140722471781352 140722471781498 140722471781498 140722471788513 0
/proc/351918/statm: 2483 652 574 264 0 134 0
[pid=351926] ppid=351918 vsize=8660 memory=944 CPUtime=0 cores=1,3
/proc/351926/stat : 351926 (timeout) S 351918 351926 351858 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 64028100 8867840 236 134679101440 94786151649280 94786151684296 140720771714512 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94786153781712 94786153783844 94786161852416 140720771716137 140720771716253 140720771716253 140720771723239 0
/proc/351926/statm: 2165 236 212 9 0 87 0
[pid=351930] ppid=351926 vsize=39612 memory=27048 CPUtime=0.2 cores=1,3
/proc/351930/stat : 351930 (LS-MabSP) R 351926 351926 351858 0 -1 4194304 5929 0 0 0 19 1 0 0 20 0 1 0 64028100 40562688 6762 134679101440 4194304 15467897 140727383538272 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 37171200 140727383544892 140727383544995 140727383544995 140727383551981 0
/proc/351930/statm: 9903 6762 1105 2753 0 6556 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 58204 KiB
Current children cumulated memory: 30600 KiB

[startup+0.306284 s]*
/proc/loadavg: 0.89 1.09 1.69 7/266 351943
/proc/meminfo: memFree=121394084/131524600 swapFree=131071472/131071996
[pid=351918] ppid=351909 vsize=9932 memory=2608 CPUtime=0 cores=1,3
/proc/351918/stat : 351918 (Hybrid-LSMabSP+) S 351909 351918 351858 0 -1 4194304 241 101 0 0 0 0 0 0 20 0 1 0 64028100 10170368 652 134679101440 94468269207552 94468270286872 140722471773120 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94468272385328 94468272432516 94468299059200 140722471781352 140722471781498 140722471781498 140722471788513 0
/proc/351918/statm: 2483 652 574 264 0 134 0
[pid=351926] ppid=351918 vsize=8660 memory=944 CPUtime=0 cores=1,3
/proc/351926/stat : 351926 (timeout) S 351918 351926 351858 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 64028100 8867840 236 134679101440 94786151649280 94786151684296 140720771714512 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94786153781712 94786153783844 94786161852416 140720771716137 140720771716253 140720771716253 140720771723239 0
/proc/351926/statm: 2165 236 212 9 0 87 0
[pid=351930] ppid=351926 vsize=39612 memory=27048 CPUtime=0.3 cores=1,3
/proc/351930/stat : 351930 (LS-MabSP) R 351926 351926 351858 0 -1 4194304 5929 0 0 0 29 1 0 0 20 0 1 0 64028100 40562688 6762 134679101440 4194304 15467897 140727383538272 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 37171200 140727383544892 140727383544995 140727383544995 140727383551981 0
/proc/351930/statm: 9903 6762 1105 2753 0 6556 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 58204 KiB
Current children cumulated memory: 30600 KiB

[startup+0.700288 s]
/proc/loadavg: 0.89 1.09 1.69 7/266 351943
/proc/meminfo: memFree=121367836/131524600 swapFree=131071472/131071996
[pid=351918] ppid=351909 vsize=9932 memory=2608 CPUtime=0 cores=1,3
/proc/351918/stat : 351918 (Hybrid-LSMabSP+) S 351909 351918 351858 0 -1 4194304 241 101 0 0 0 0 0 0 20 0 1 0 64028100 10170368 652 134679101440 94468269207552 94468270286872 140722471773120 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94468272385328 94468272432516 94468299059200 140722471781352 140722471781498 140722471781498 140722471788513 0
/proc/351918/statm: 2483 652 574 264 0 134 0
[pid=351926] ppid=351918 vsize=8660 memory=944 CPUtime=0 cores=1,3
/proc/351926/stat : 351926 (timeout) S 351918 351926 351858 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 64028100 8867840 236 134679101440 94786151649280 94786151684296 140720771714512 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94786153781712 94786153783844 94786161852416 140720771716137 140720771716253 140720771716253 140720771723239 0
/proc/351926/statm: 2165 236 212 9 0 87 0
[pid=351930] ppid=351926 vsize=39612 memory=27048 CPUtime=0.68 cores=1,3
/proc/351930/stat : 351930 (LS-MabSP) R 351926 351926 351858 0 -1 4194304 5929 0 0 0 67 1 0 0 20 0 1 0 64028100 40562688 6762 134679101440 4194304 15467897 140727383538272 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 37171200 140727383544892 140727383544995 140727383544995 140727383551981 0
/proc/351930/statm: 9903 6762 1105 2753 0 6556 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 58204 KiB
Current children cumulated memory: 30600 KiB

[startup+1.50022 s]
/proc/loadavg: 0.89 1.09 1.69 7/266 351943
/proc/meminfo: memFree=121355704/131524600 swapFree=131071472/131071996
[pid=351918] ppid=351909 vsize=9932 memory=2608 CPUtime=0 cores=1,3
/proc/351918/stat : 351918 (Hybrid-LSMabSP+) S 351909 351918 351858 0 -1 4194304 241 101 0 0 0 0 0 0 20 0 1 0 64028100 10170368 652 134679101440 94468269207552 94468270286872 140722471773120 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94468272385328 94468272432516 94468299059200 140722471781352 140722471781498 140722471781498 140722471788513 0
/proc/351918/statm: 2483 652 574 264 0 134 0
[pid=351926] ppid=351918 vsize=8660 memory=944 CPUtime=0 cores=1,3
/proc/351926/stat : 351926 (timeout) S 351918 351926 351858 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 64028100 8867840 236 134679101440 94786151649280 94786151684296 140720771714512 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94786153781712 94786153783844 94786161852416 140720771716137 140720771716253 140720771716253 140720771723239 0
/proc/351926/statm: 2165 236 212 9 0 87 0
[pid=351930] ppid=351926 vsize=39612 memory=27048 CPUtime=1.48 cores=1,3
/proc/351930/stat : 351930 (LS-MabSP) R 351926 351926 351858 0 -1 4194304 5929 0 0 0 147 1 0 0 20 0 1 0 64028100 40562688 6762 134679101440 4194304 15467897 140727383538272 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 37171200 140727383544892 140727383544995 140727383544995 140727383551981 0
/proc/351930/statm: 9903 6762 1105 2753 0 6556 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 58204 KiB
Current children cumulated memory: 30600 KiB

[startup+3.10641 s]
/proc/loadavg: 1.14 1.14 1.71 7/266 351943
/proc/meminfo: memFree=121079360/131524600 swapFree=131071472/131071996
[pid=351918] ppid=351909 vsize=9932 memory=2608 CPUtime=0 cores=1,3
/proc/351918/stat : 351918 (Hybrid-LSMabSP+) S 351909 351918 351858 0 -1 4194304 241 101 0 0 0 0 0 0 20 0 1 0 64028100 10170368 652 134679101440 94468269207552 94468270286872 140722471773120 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94468272385328 94468272432516 94468299059200 140722471781352 140722471781498 140722471781498 140722471788513 0
/proc/351918/statm: 2483 652 574 264 0 134 0
[pid=351926] ppid=351918 vsize=8660 memory=944 CPUtime=0 cores=1,3
/proc/351926/stat : 351926 (timeout) S 351918 351926 351858 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 64028100 8867840 236 134679101440 94786151649280 94786151684296 140720771714512 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94786153781712 94786153783844 94786161852416 140720771716137 140720771716253 140720771716253 140720771723239 0
/proc/351926/statm: 2165 236 212 9 0 87 0
[pid=351930] ppid=351926 vsize=138412 memory=128000 CPUtime=3.08 cores=1,3
/proc/351930/stat : 351930 (LS-MabSP) R 351926 351926 351858 0 -1 4194304 30988 0 0 0 304 4 0 0 20 0 1 0 64028100 141733888 32000 134679101440 4194304 15467897 140727383538272 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 37171200 140727383544892 140727383544995 140727383544995 140727383551981 0
/proc/351930/statm: 34603 32000 2817 2753 0 31256 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 157004 KiB
Current children cumulated memory: 131552 KiB

[startup+6.3002 s]
/proc/loadavg: 1.14 1.14 1.71 7/266 351943
/proc/meminfo: memFree=120854872/131524600 swapFree=131071472/131071996
[pid=351918] ppid=351909 vsize=9932 memory=2608 CPUtime=0 cores=1,3
/proc/351918/stat : 351918 (Hybrid-LSMabSP+) S 351909 351918 351858 0 -1 4194304 241 101 0 0 0 0 0 0 20 0 1 0 64028100 10170368 652 134679101440 94468269207552 94468270286872 140722471773120 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94468272385328 94468272432516 94468299059200 140722471781352 140722471781498 140722471781498 140722471788513 0
/proc/351918/statm: 2483 652 574 264 0 134 0
[pid=351926] ppid=351918 vsize=8660 memory=944 CPUtime=0 cores=1,3
/proc/351926/stat : 351926 (timeout) S 351918 351926 351858 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 64028100 8867840 236 134679101440 94786151649280 94786151684296 140720771714512 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94786153781712 94786153783844 94786161852416 140720771716137 140720771716253 140720771716253 140720771723239 0
/proc/351926/statm: 2165 236 212 9 0 87 0
[pid=351930] ppid=351926 vsize=139256 memory=128528 CPUtime=6.27 cores=1,3
/proc/351930/stat : 351930 (LS-MabSP) R 351926 351926 351858 0 -1 4194304 31134 0 0 0 622 5 0 0 20 0 1 0 64028100 142598144 32132 134679101440 4194304 15467897 140727383538272 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 37171200 140727383544892 140727383544995 140727383544995 140727383551981 0
/proc/351930/statm: 34814 32132 2817 2753 0 31467 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 157848 KiB
Current children cumulated memory: 132080 KiB

[startup+12.7002 s]
/proc/loadavg: 1.37 1.18 1.72 7/266 351945
/proc/meminfo: memFree=120838472/131524600 swapFree=131071472/131071996
[pid=351918] ppid=351909 vsize=9932 memory=2608 CPUtime=0 cores=1,3
/proc/351918/stat : 351918 (Hybrid-LSMabSP+) S 351909 351918 351858 0 -1 4194304 241 101 0 0 0 0 0 0 20 0 1 0 64028100 10170368 652 134679101440 94468269207552 94468270286872 140722471773120 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94468272385328 94468272432516 94468299059200 140722471781352 140722471781498 140722471781498 140722471788513 0
/proc/351918/statm: 2483 652 574 264 0 134 0
[pid=351926] ppid=351918 vsize=8660 memory=944 CPUtime=0 cores=1,3
/proc/351926/stat : 351926 (timeout) S 351918 351926 351858 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 64028100 8867840 236 134679101440 94786151649280 94786151684296 140720771714512 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94786153781712 94786153783844 94786161852416 140720771716137 140720771716253 140720771716253 140720771723239 0
/proc/351926/statm: 2165 236 212 9 0 87 0
[pid=351930] ppid=351926 vsize=150900 memory=136292 CPUtime=12.65 cores=1,3
/proc/351930/stat : 351930 (LS-MabSP) R 351926 351926 351858 0 -1 4194304 33044 0 0 0 1260 5 0 0 20 0 1 0 64028100 154521600 34073 134679101440 4194304 15467897 140727383538272 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 37171200 140727383544892 140727383544995 140727383544995 140727383551981 0
/proc/351930/statm: 37725 34073 2849 2753 0 34378 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 169492 KiB
Current children cumulated memory: 139844 KiB

[startup+25.5003 s]
/proc/loadavg: 2.02 1.34 1.76 7/266 351946
/proc/meminfo: memFree=120795112/131524600 swapFree=131071472/131071996
[pid=351918] ppid=351909 vsize=9932 memory=2608 CPUtime=0 cores=1,3
/proc/351918/stat : 351918 (Hybrid-LSMabSP+) S 351909 351918 351858 0 -1 4194304 241 101 0 0 0 0 0 0 20 0 1 0 64028100 10170368 652 134679101440 94468269207552 94468270286872 140722471773120 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94468272385328 94468272432516 94468299059200 140722471781352 140722471781498 140722471781498 140722471788513 0
/proc/351918/statm: 2483 652 574 264 0 134 0
[pid=351926] ppid=351918 vsize=8660 memory=944 CPUtime=0 cores=1,3
/proc/351926/stat : 351926 (timeout) S 351918 351926 351858 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 64028100 8867840 236 134679101440 94786151649280 94786151684296 140720771714512 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94786153781712 94786153783844 94786161852416 140720771716137 140720771716253 140720771716253 140720771723239 0
/proc/351926/statm: 2165 236 212 9 0 87 0
[pid=351930] ppid=351926 vsize=183084 memory=161628 CPUtime=25.41 cores=1,3
/proc/351930/stat : 351930 (LS-MabSP) R 351926 351926 351858 0 -1 4194304 39372 0 0 0 2536 5 0 0 20 0 1 0 64028100 187478016 40407 134679101440 4194304 15467897 140727383538272 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 37171200 140727383544892 140727383544995 140727383544995 140727383551981 0
/proc/351930/statm: 45771 40407 2849 2753 0 42424 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 201676 KiB
Current children cumulated memory: 165180 KiB

[startup+51.1065 s]
/proc/loadavg: 2.77 1.57 1.83 7/266 351951
/proc/meminfo: memFree=120697912/131524600 swapFree=131071472/131071996
[pid=351918] ppid=351909 vsize=9932 memory=2608 CPUtime=0 cores=1,3
/proc/351918/stat : 351918 (Hybrid-LSMabSP+) S 351909 351918 351858 0 -1 4194304 241 101 0 0 0 0 0 0 20 0 1 0 64028100 10170368 652 134679101440 94468269207552 94468270286872 140722471773120 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94468272385328 94468272432516 94468299059200 140722471781352 140722471781498 140722471781498 140722471788513 0
/proc/351918/statm: 2483 652 574 264 0 134 0
[pid=351926] ppid=351918 vsize=8660 memory=944 CPUtime=0 cores=1,3
/proc/351926/stat : 351926 (timeout) S 351918 351926 351858 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 64028100 8867840 236 134679101440 94786151649280 94786151684296 140720771714512 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94786153781712 94786153783844 94786161852416 140720771716137 140720771716253 140720771716253 140720771723239 0
/proc/351926/statm: 2165 236 212 9 0 87 0
[pid=351930] ppid=351926 vsize=248896 memory=210320 CPUtime=50.95 cores=1,3
/proc/351930/stat : 351930 (LS-MabSP) R 351926 351926 351858 0 -1 4194304 50565 0 0 0 5087 8 0 0 20 0 1 0 64028100 254869504 52580 134679101440 4194304 15467897 140727383538272 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 37171200 140727383544892 140727383544995 140727383544995 140727383551981 0
/proc/351930/statm: 62224 52580 2849 2753 0 58877 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 267488 KiB
Current children cumulated memory: 213872 KiB

[startup+102.3 s]
/proc/loadavg: 3.76 2.04 1.97 7/266 351960
/proc/meminfo: memFree=120206504/131524600 swapFree=131071472/131071996
[pid=351918] ppid=351909 vsize=9932 memory=2608 CPUtime=0 cores=1,3
/proc/351918/stat : 351918 (Hybrid-LSMabSP+) S 351909 351918 351858 0 -1 4194304 241 101 0 0 0 0 0 0 20 0 1 0 64028100 10170368 652 134679101440 94468269207552 94468270286872 140722471773120 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94468272385328 94468272432516 94468299059200 140722471781352 140722471781498 140722471781498 140722471788513 0

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

/proc/351930/statm: 105247 101888 2849 2753 0 101900 0
Current children cumulated CPU time: 1718.08 s
Current children cumulated vsize: 439580 KiB
Current children cumulated memory: 411104 KiB

[startup+1782.3 s]
/proc/loadavg: 4.06 4.08 3.80 7/263 352669
/proc/meminfo: memFree=119170760/131524600 swapFree=131071472/131071996
[pid=351918] ppid=351909 vsize=9932 memory=2608 CPUtime=0 cores=1,3
/proc/351918/stat : 351918 (Hybrid-LSMabSP+) S 351909 351918 351858 0 -1 4194304 241 101 0 0 0 0 0 0 20 0 1 0 64028100 10170368 652 134679101440 94468269207552 94468270286872 140722471773120 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94468272385328 94468272432516 94468299059200 140722471781352 140722471781498 140722471781498 140722471788513 0
/proc/351918/statm: 2483 652 574 264 0 134 0
[pid=351926] ppid=351918 vsize=8660 memory=944 CPUtime=0 cores=1,3
/proc/351926/stat : 351926 (timeout) S 351918 351926 351858 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 64028100 8867840 236 134679101440 94786151649280 94786151684296 140720771714512 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94786153781712 94786153783844 94786161852416 140720771716137 140720771716253 140720771716253 140720771723239 0
/proc/351926/statm: 2165 236 212 9 0 87 0
[pid=351930] ppid=351926 vsize=420988 memory=407552 CPUtime=1777.95 cores=1,3
/proc/351930/stat : 351930 (LS-MabSP) R 351926 351926 351858 0 -1 4194304 80252 0 0 0 174313 3482 0 0 20 0 1 0 64028100 431091712 101888 134679101440 4194304 15467897 140727383538272 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 37171200 140727383544892 140727383544995 140727383544995 140727383551981 0
/proc/351930/statm: 105247 101888 2849 2753 0 101900 0
Current children cumulated CPU time: 1777.95 s
Current children cumulated vsize: 439580 KiB
Current children cumulated memory: 411104 KiB

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

# cumulated CPU time of all completed processes:  user=1773.74 s, system=35.3825 s

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

[startup+1792 s]*
/proc/loadavg: 4.05 4.08 3.81 7/263 352670
/proc/meminfo: memFree=119170640/131524600 swapFree=131071472/131071996
[pid=351918] ppid=351909 vsize=9932 memory=2608 CPUtime=0 cores=1,3
/proc/351918/stat : 351918 (Hybrid-LSMabSP+) S 351909 351918 351858 0 -1 4194304 241 101 0 0 0 0 0 0 20 0 1 0 64028100 10170368 652 134679101440 94468269207552 94468270286872 140722471773120 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94468272385328 94468272432516 94468299059200 140722471781352 140722471781498 140722471781498 140722471788513 0
/proc/351918/statm: 2483 652 574 264 0 134 0
[pid=351926] ppid=351918 vsize=8660 memory=944 CPUtime=0 cores=1,3
/proc/351926/stat : 351926 (timeout) S 351918 351926 351858 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 64028100 8867840 236 134679101440 94786151649280 94786151684296 140720771714512 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94786153781712 94786153783844 94786161852416 140720771716137 140720771716253 140720771716253 140720771723239 0
/proc/351926/statm: 2165 236 212 9 0 87 0
[pid=351930] ppid=351926 vsize=420988 memory=407552 CPUtime=1787.64 cores=1,3
/proc/351930/stat : 351930 (LS-MabSP) R 351926 351926 351858 0 -1 4194304 80262 0 0 0 175248 3516 0 0 20 0 1 0 64028100 431091712 101888 134679101440 4194304 15467897 140727383538272 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 37171200 140727383544892 140727383544995 140727383544995 140727383551981 0
/proc/351930/statm: 105247 101888 2849 2753 0 101900 0
Current children cumulated CPU time: 1787.64 s
Current children cumulated vsize: 439580 KiB
Current children cumulated memory: 411104 KiB

[startup+1804.8 s]
/proc/loadavg: 4.04 4.07 3.81 7/264 352741
/proc/meminfo: memFree=121303592/131524600 swapFree=131071472/131071996
[pid=351918] ppid=351909 vsize=9932 memory=2656 CPUtime=1793.63 cores=1,3
/proc/351918/stat : 351918 (Hybrid-LSMabSP+) S 351909 351918 351858 0 -1 4194304 274 80531 0 0 0 0 175827 3536 20 0 1 0 64028100 10170368 664 134679101440 94468269207552 94468270286872 140722471773120 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94468272385328 94468272432516 94468299059200 140722471781352 140722471781498 140722471781498 140722471788513 0
/proc/351918/statm: 2483 664 574 264 0 134 0
[pid=352672] ppid=351918 vsize=8660 memory=976 CPUtime=0 cores=1,3
/proc/352672/stat : 352672 (timeout) S 351918 352672 351858 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 64207901 8867840 244 134679101440 93885181345792 93885181380808 140728488192176 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 93885183478224 93885183480356 93885202366464 140728488199156 140728488199325 140728488199325 140728488206311 0
/proc/352672/statm: 2165 244 220 9 0 87 0
[pid=352674] ppid=352672 vsize=36368 memory=20648 CPUtime=6.75 cores=1,3
/proc/352674/stat : 352674 (Exact) R 352672 352672 351858 0 -1 4194304 4673 0 0 0 675 0 0 0 20 0 1 0 64207901 37240832 5162 134679101440 4194304 7210733 140733453493680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 42319872 140733453501456 140733453501606 140733453501606 140733453508592 0
/proc/352674/statm: 9092 5162 748 737 0 8180 0
Current children cumulated CPU time: 1800.38 s
Current children cumulated vsize: 54960 KiB
Current children cumulated memory: 24280 KiB

[startup+1808 s]*
/proc/loadavg: 4.12 4.09 3.82 7/264 352741
/proc/meminfo: memFree=121301156/131524600 swapFree=131071472/131071996
[pid=351918] ppid=351909 vsize=9932 memory=2656 CPUtime=1793.63 cores=1,3
/proc/351918/stat : 351918 (Hybrid-LSMabSP+) S 351909 351918 351858 0 -1 4194304 274 80531 0 0 0 0 175827 3536 20 0 1 0 64028100 10170368 664 134679101440 94468269207552 94468270286872 140722471773120 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94468272385328 94468272432516 94468299059200 140722471781352 140722471781498 140722471781498 140722471788513 0
/proc/351918/statm: 2483 664 574 264 0 134 0
[pid=352672] ppid=351918 vsize=8660 memory=976 CPUtime=0 cores=1,3
/proc/352672/stat : 352672 (timeout) S 351918 352672 351858 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 64207901 8867840 244 134679101440 93885181345792 93885181380808 140728488192176 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 93885183478224 93885183480356 93885202366464 140728488199156 140728488199325 140728488199325 140728488206311 0
/proc/352672/statm: 2165 244 220 9 0 87 0
[pid=352674] ppid=352672 vsize=37292 memory=21744 CPUtime=9.95 cores=1,3
/proc/352674/stat : 352674 (Exact) R 352672 352672 351858 0 -1 4194304 5468 0 0 0 995 0 0 0 20 0 1 0 64207901 38187008 5436 134679101440 4194304 7210733 140733453493680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 42319872 140733453501456 140733453501606 140733453501606 140733453508592 0
/proc/352674/statm: 9323 5436 748 737 0 8411 0
Current children cumulated CPU time: 1803.58 s
Current children cumulated vsize: 55884 KiB
Current children cumulated memory: 25376 KiB

[startup+1811.2 s]
/proc/loadavg: 4.12 4.09 3.82 7/264 352742
/proc/meminfo: memFree=121272960/131524600 swapFree=131071472/131071996
[pid=351918] ppid=351909 vsize=9932 memory=2656 CPUtime=1793.63 cores=1,3
/proc/351918/stat : 351918 (Hybrid-LSMabSP+) S 351909 351918 351858 0 -1 4194304 274 80531 0 0 0 0 175827 3536 20 0 1 0 64028100 10170368 664 134679101440 94468269207552 94468270286872 140722471773120 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94468272385328 94468272432516 94468299059200 140722471781352 140722471781498 140722471781498 140722471788513 0
/proc/351918/statm: 2483 664 574 264 0 134 0
[pid=352672] ppid=351918 vsize=8660 memory=976 CPUtime=0 cores=1,3
/proc/352672/stat : 352672 (timeout) S 351918 352672 351858 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 64207901 8867840 244 134679101440 93885181345792 93885181380808 140728488192176 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 93885183478224 93885183480356 93885202366464 140728488199156 140728488199325 140728488199325 140728488206311 0
/proc/352672/statm: 2165 244 220 9 0 87 0
[pid=352674] ppid=352672 vsize=37700 memory=21996 CPUtime=13.13 cores=1,3
/proc/352674/stat : 352674 (Exact) R 352672 352672 351858 0 -1 4194304 5835 0 0 0 1313 0 0 0 20 0 1 0 64207901 38604800 5499 134679101440 4194304 7210733 140733453493680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 42319872 140733453501456 140733453501606 140733453501606 140733453508592 0
/proc/352674/statm: 9425 5499 748 737 0 8513 0
Current children cumulated CPU time: 1806.76 s
Current children cumulated vsize: 56292 KiB
Current children cumulated memory: 25628 KiB

[startup+1812.8 s]
/proc/loadavg: 4.12 4.09 3.82 7/264 352742
/proc/meminfo: memFree=121245900/131524600 swapFree=131071472/131071996
[pid=351918] ppid=351909 vsize=9932 memory=2656 CPUtime=1793.63 cores=1,3
/proc/351918/stat : 351918 (Hybrid-LSMabSP+) S 351909 351918 351858 0 -1 4194304 274 80531 0 0 0 0 175827 3536 20 0 1 0 64028100 10170368 664 134679101440 94468269207552 94468270286872 140722471773120 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94468272385328 94468272432516 94468299059200 140722471781352 140722471781498 140722471781498 140722471788513 0
/proc/351918/statm: 2483 664 574 264 0 134 0
[pid=352672] ppid=351918 vsize=8660 memory=976 CPUtime=0 cores=1,3
/proc/352672/stat : 352672 (timeout) S 351918 352672 351858 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 64207901 8867840 244 134679101440 93885181345792 93885181380808 140728488192176 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 93885183478224 93885183480356 93885202366464 140728488199156 140728488199325 140728488199325 140728488206311 0
/proc/352672/statm: 2165 244 220 9 0 87 0
[pid=352674] ppid=352672 vsize=38272 memory=22584 CPUtime=14.74 cores=1,3
/proc/352674/stat : 352674 (Exact) R 352672 352672 351858 0 -1 4194304 6221 0 0 0 1473 1 0 0 20 0 1 0 64207901 39190528 5646 134679101440 4194304 7210733 140733453493680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 42319872 140733453501456 140733453501606 140733453501606 140733453508592 0
/proc/352674/statm: 9568 5646 748 737 0 8656 0
Current children cumulated CPU time: 1808.37 s
Current children cumulated vsize: 56864 KiB
Current children cumulated memory: 26216 KiB

[startup+1813.2 s]
/proc/loadavg: 4.11 4.09 3.82 7/264 352742
/proc/meminfo: memFree=121215964/131524600 swapFree=131071472/131071996
[pid=351918] ppid=351909 vsize=9932 memory=2656 CPUtime=1793.63 cores=1,3
/proc/351918/stat : 351918 (Hybrid-LSMabSP+) S 351909 351918 351858 0 -1 4194304 274 80531 0 0 0 0 175827 3536 20 0 1 0 64028100 10170368 664 134679101440 94468269207552 94468270286872 140722471773120 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94468272385328 94468272432516 94468299059200 140722471781352 140722471781498 140722471781498 140722471788513 0
/proc/351918/statm: 2483 664 574 264 0 134 0
[pid=352672] ppid=351918 vsize=8660 memory=976 CPUtime=0 cores=1,3
/proc/352672/stat : 352672 (timeout) S 351918 352672 351858 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 64207901 8867840 244 134679101440 93885181345792 93885181380808 140728488192176 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 93885183478224 93885183480356 93885202366464 140728488199156 140728488199325 140728488199325 140728488206311 0
/proc/352672/statm: 2165 244 220 9 0 87 0
[pid=352674] ppid=352672 vsize=38272 memory=22584 CPUtime=15.14 cores=1,3
/proc/352674/stat : 352674 (Exact) R 352672 352672 351858 0 -1 4194304 6225 0 0 0 1513 1 0 0 20 0 1 0 64207901 39190528 5646 134679101440 4194304 7210733 140733453493680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 42319872 140733453501456 140733453501606 140733453501606 140733453508592 0
/proc/352674/statm: 9568 5646 748 737 0 8656 0
Current children cumulated CPU time: 1808.77 s
Current children cumulated vsize: 56864 KiB
Current children cumulated memory: 26216 KiB

[startup+1813.4 s]
/proc/loadavg: 4.11 4.09 3.82 7/264 352742
/proc/meminfo: memFree=121215964/131524600 swapFree=131071472/131071996
[pid=351918] ppid=351909 vsize=9932 memory=2656 CPUtime=1793.63 cores=1,3
/proc/351918/stat : 351918 (Hybrid-LSMabSP+) S 351909 351918 351858 0 -1 4194304 274 80531 0 0 0 0 175827 3536 20 0 1 0 64028100 10170368 664 134679101440 94468269207552 94468270286872 140722471773120 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94468272385328 94468272432516 94468299059200 140722471781352 140722471781498 140722471781498 140722471788513 0
/proc/351918/statm: 2483 664 574 264 0 134 0
[pid=352672] ppid=351918 vsize=8660 memory=976 CPUtime=0 cores=1,3
/proc/352672/stat : 352672 (timeout) S 351918 352672 351858 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 64207901 8867840 244 134679101440 93885181345792 93885181380808 140728488192176 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 93885183478224 93885183480356 93885202366464 140728488199156 140728488199325 140728488199325 140728488206311 0
/proc/352672/statm: 2165 244 220 9 0 87 0
[pid=352674] ppid=352672 vsize=38272 memory=22584 CPUtime=15.34 cores=1,3
/proc/352674/stat : 352674 (Exact) R 352672 352672 351858 0 -1 4194304 6229 0 0 0 1533 1 0 0 20 0 1 0 64207901 39190528 5646 134679101440 4194304 7210733 140733453493680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 42319872 140733453501456 140733453501606 140733453501606 140733453508592 0
/proc/352674/statm: 9568 5646 748 737 0 8656 0
Current children cumulated CPU time: 1808.97 s
Current children cumulated vsize: 56864 KiB
Current children cumulated memory: 26216 KiB

[startup+1813.5 s]
/proc/loadavg: 4.11 4.09 3.82 7/264 352742
/proc/meminfo: memFree=121215964/131524600 swapFree=131071472/131071996
[pid=351918] ppid=351909 vsize=9932 memory=2656 CPUtime=1793.63 cores=1,3
/proc/351918/stat : 351918 (Hybrid-LSMabSP+) S 351909 351918 351858 0 -1 4194304 274 80531 0 0 0 0 175827 3536 20 0 1 0 64028100 10170368 664 134679101440 94468269207552 94468270286872 140722471773120 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94468272385328 94468272432516 94468299059200 140722471781352 140722471781498 140722471781498 140722471788513 0
/proc/351918/statm: 2483 664 574 264 0 134 0
[pid=352672] ppid=351918 vsize=8660 memory=976 CPUtime=0 cores=1,3
/proc/352672/stat : 352672 (timeout) S 351918 352672 351858 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 64207901 8867840 244 134679101440 93885181345792 93885181380808 140728488192176 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 93885183478224 93885183480356 93885202366464 140728488199156 140728488199325 140728488199325 140728488206311 0
/proc/352672/statm: 2165 244 220 9 0 87 0
[pid=352674] ppid=352672 vsize=38272 memory=22584 CPUtime=15.44 cores=1,3
/proc/352674/stat : 352674 (Exact) R 352672 352672 351858 0 -1 4194304 6244 0 0 0 1543 1 0 0 20 0 1 0 64207901 39190528 5646 134679101440 4194304 7210733 140733453493680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 42319872 140733453501456 140733453501606 140733453501606 140733453508592 0
/proc/352674/statm: 9568 5646 748 737 0 8656 0
Current children cumulated CPU time: 1809.07 s
Current children cumulated vsize: 56864 KiB
Current children cumulated memory: 26216 KiB

Child status: 0

Real time (s): 1813.54
CPU time (s): 1809.12
CPU user time (s): 1773.74
CPU system time (s): 35.3825
CPU usage (%): 99.7566
Max. virtual memory (cumulated for all children) (KiB): 443684
Max. memory (cumulated for all children) (KiB): 414800

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1773.74
system time used= 35.3825
maximum resident set size= 413888
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 88308
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 64
involuntary context switches= 1595


# summary of solver processes directly reported to runsolver:
#   pid: 351918
#   total CPU time (s): 1809.12
#   total CPU user time (s): 1773.74
#   total CPU system time (s): 35.3825

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.30299 second user time and 9.74699 second system time

The end