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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4437306-1722979818/watcher-4437306-1722979818 -o /tmp/evaluation-result-4437306-1722979818/solver-4437306-1722979818 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1722971653-349580 --watchdog 3760 --use-pty ./Hybrid-LSMabSP+Exact HOME/instance-4437306-1722979818.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
solver pid=354714, runsolver pid=354711
Current StackSize limit: 8192 KiB


[startup+0.100098 s]*
/proc/loadavg: 4.15 4.15 4.14 5/267 354718
/proc/meminfo: memFree=121795056/131524592 swapFree=131071996/131071996
[pid=354714] ppid=354711 vsize=9932 memory=2636 CPUtime=0 cores=1,3
/proc/354714/stat : 354714 (Hybrid-LSMabSP+) S 354711 354714 349568 0 -1 4194304 236 99 0 0 0 0 0 0 20 0 1 0 64578870 10170368 659 134679101440 94763473117184 94763474196504 140727397710048 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94763476294960 94763476342148 94763478429696 140727397712872 140727397713018 140727397713018 140727397720033 0
/proc/354714/statm: 2483 659 580 264 0 134 0
[pid=354717] ppid=354714 vsize=8660 memory=1016 CPUtime=0 cores=1,3
/proc/354717/stat : 354717 (timeout) S 354714 354717 349568 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 64578871 8867840 254 134679101440 94522840248320 94522840283336 140729157716336 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94522842380752 94522842382884 94522858409984 140729157719081 140729157719197 140729157719197 140729157726183 0
/proc/354717/statm: 2165 254 230 9 0 87 0
[pid=354718] ppid=354717 vsize=23084 memory=10264 CPUtime=0.09 cores=1,3
/proc/354718/stat : 354718 (LS-MabSP) R 354717 354717 349568 0 -1 4194304 1105 0 0 0 9 0 0 0 20 0 1 0 64578871 23638016 2566 134679101440 4194304 15467897 140732930972224 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 38903808 140732930974780 140732930974883 140732930974883 140732930981869 0
/proc/354718/statm: 5771 2566 1073 2753 0 2424 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 41676 KiB
Current children cumulated memory: 13916 KiB

[startup+0.20606 s]*
/proc/loadavg: 4.15 4.15 4.14 5/267 354718
/proc/meminfo: memFree=121794888/131524592 swapFree=131071996/131071996
[pid=354714] ppid=354711 vsize=9932 memory=2636 CPUtime=0 cores=1,3
/proc/354714/stat : 354714 (Hybrid-LSMabSP+) S 354711 354714 349568 0 -1 4194304 236 99 0 0 0 0 0 0 20 0 1 0 64578870 10170368 659 134679101440 94763473117184 94763474196504 140727397710048 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94763476294960 94763476342148 94763478429696 140727397712872 140727397713018 140727397713018 140727397720033 0
/proc/354714/statm: 2483 659 580 264 0 134 0
[pid=354717] ppid=354714 vsize=8660 memory=1016 CPUtime=0 cores=1,3
/proc/354717/stat : 354717 (timeout) S 354714 354717 349568 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 64578871 8867840 254 134679101440 94522840248320 94522840283336 140729157716336 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94522842380752 94522842382884 94522858409984 140729157719081 140729157719197 140729157719197 140729157726183 0
/proc/354717/statm: 2165 254 230 9 0 87 0
[pid=354718] ppid=354717 vsize=23084 memory=10264 CPUtime=0.2 cores=1,3
/proc/354718/stat : 354718 (LS-MabSP) R 354717 354717 349568 0 -1 4194304 1105 0 0 0 19 1 0 0 20 0 1 0 64578871 23638016 2566 134679101440 4194304 15467897 140732930972224 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 38903808 140732930974780 140732930974883 140732930974883 140732930981869 0
/proc/354718/statm: 5771 2566 1073 2753 0 2424 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 41676 KiB
Current children cumulated memory: 13916 KiB

[startup+0.305992 s]*
/proc/loadavg: 4.15 4.15 4.14 5/267 354718
/proc/meminfo: memFree=121792672/131524592 swapFree=131071996/131071996
[pid=354714] ppid=354711 vsize=9932 memory=2636 CPUtime=0 cores=1,3
/proc/354714/stat : 354714 (Hybrid-LSMabSP+) S 354711 354714 349568 0 -1 4194304 236 99 0 0 0 0 0 0 20 0 1 0 64578870 10170368 659 134679101440 94763473117184 94763474196504 140727397710048 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94763476294960 94763476342148 94763478429696 140727397712872 140727397713018 140727397713018 140727397720033 0
/proc/354714/statm: 2483 659 580 264 0 134 0
[pid=354717] ppid=354714 vsize=8660 memory=1016 CPUtime=0 cores=1,3
/proc/354717/stat : 354717 (timeout) S 354714 354717 349568 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 64578871 8867840 254 134679101440 94522840248320 94522840283336 140729157716336 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94522842380752 94522842382884 94522858409984 140729157719081 140729157719197 140729157719197 140729157726183 0
/proc/354717/statm: 2165 254 230 9 0 87 0
[pid=354718] ppid=354717 vsize=23084 memory=10264 CPUtime=0.3 cores=1,3
/proc/354718/stat : 354718 (LS-MabSP) R 354717 354717 349568 0 -1 4194304 1105 0 0 0 28 2 0 0 20 0 1 0 64578871 23638016 2566 134679101440 4194304 15467897 140732930972224 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 38903808 140732930974780 140732930974883 140732930974883 140732930981869 0
/proc/354718/statm: 5771 2566 1073 2753 0 2424 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 41676 KiB
Current children cumulated memory: 13916 KiB

[startup+0.700301 s]
/proc/loadavg: 4.13 4.14 4.13 5/267 354718
/proc/meminfo: memFree=121792532/131524592 swapFree=131071996/131071996
[pid=354714] ppid=354711 vsize=9932 memory=2636 CPUtime=0 cores=1,3
/proc/354714/stat : 354714 (Hybrid-LSMabSP+) S 354711 354714 349568 0 -1 4194304 236 99 0 0 0 0 0 0 20 0 1 0 64578870 10170368 659 134679101440 94763473117184 94763474196504 140727397710048 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94763476294960 94763476342148 94763478429696 140727397712872 140727397713018 140727397713018 140727397720033 0
/proc/354714/statm: 2483 659 580 264 0 134 0
[pid=354717] ppid=354714 vsize=8660 memory=1016 CPUtime=0 cores=1,3
/proc/354717/stat : 354717 (timeout) S 354714 354717 349568 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 64578871 8867840 254 134679101440 94522840248320 94522840283336 140729157716336 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94522842380752 94522842382884 94522858409984 140729157719081 140729157719197 140729157719197 140729157726183 0
/proc/354717/statm: 2165 254 230 9 0 87 0
[pid=354718] ppid=354717 vsize=23084 memory=10264 CPUtime=0.68 cores=1,3
/proc/354718/stat : 354718 (LS-MabSP) R 354717 354717 349568 0 -1 4194304 1105 0 0 0 65 3 0 0 20 0 1 0 64578871 23638016 2566 134679101440 4194304 15467897 140732930972224 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 38903808 140732930974780 140732930974883 140732930974883 140732930981869 0
/proc/354718/statm: 5771 2566 1073 2753 0 2424 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 41676 KiB
Current children cumulated memory: 13916 KiB

[startup+1.50031 s]
/proc/loadavg: 4.13 4.14 4.13 5/267 354718
/proc/meminfo: memFree=121792512/131524592 swapFree=131071996/131071996
[pid=354714] ppid=354711 vsize=9932 memory=2636 CPUtime=0 cores=1,3
/proc/354714/stat : 354714 (Hybrid-LSMabSP+) S 354711 354714 349568 0 -1 4194304 236 99 0 0 0 0 0 0 20 0 1 0 64578870 10170368 659 134679101440 94763473117184 94763474196504 140727397710048 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94763476294960 94763476342148 94763478429696 140727397712872 140727397713018 140727397713018 140727397720033 0
/proc/354714/statm: 2483 659 580 264 0 134 0
[pid=354717] ppid=354714 vsize=8660 memory=1016 CPUtime=0 cores=1,3
/proc/354717/stat : 354717 (timeout) S 354714 354717 349568 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 64578871 8867840 254 134679101440 94522840248320 94522840283336 140729157716336 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94522842380752 94522842382884 94522858409984 140729157719081 140729157719197 140729157719197 140729157726183 0
/proc/354717/statm: 2165 254 230 9 0 87 0
[pid=354718] ppid=354717 vsize=23084 memory=10264 CPUtime=1.48 cores=1,3
/proc/354718/stat : 354718 (LS-MabSP) R 354717 354717 349568 0 -1 4194304 1105 0 0 0 141 7 0 0 20 0 1 0 64578871 23638016 2566 134679101440 4194304 15467897 140732930972224 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 38903808 140732930974780 140732930974883 140732930974883 140732930981869 0
/proc/354718/statm: 5771 2566 1073 2753 0 2424 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 41676 KiB
Current children cumulated memory: 13916 KiB

[startup+3.1059 s]
/proc/loadavg: 4.13 4.14 4.13 5/267 354718
/proc/meminfo: memFree=121778640/131524592 swapFree=131071996/131071996
[pid=354714] ppid=354711 vsize=9932 memory=2636 CPUtime=0 cores=1,3
/proc/354714/stat : 354714 (Hybrid-LSMabSP+) S 354711 354714 349568 0 -1 4194304 236 99 0 0 0 0 0 0 20 0 1 0 64578870 10170368 659 134679101440 94763473117184 94763474196504 140727397710048 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94763476294960 94763476342148 94763478429696 140727397712872 140727397713018 140727397713018 140727397720033 0
/proc/354714/statm: 2483 659 580 264 0 134 0
[pid=354717] ppid=354714 vsize=8660 memory=1016 CPUtime=0 cores=1,3
/proc/354717/stat : 354717 (timeout) S 354714 354717 349568 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 64578871 8867840 254 134679101440 94522840248320 94522840283336 140729157716336 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94522842380752 94522842382884 94522858409984 140729157719081 140729157719197 140729157719197 140729157726183 0
/proc/354717/statm: 2165 254 230 9 0 87 0
[pid=354718] ppid=354717 vsize=23084 memory=10264 CPUtime=3.08 cores=1,3
/proc/354718/stat : 354718 (LS-MabSP) R 354717 354717 349568 0 -1 4194304 1124 0 0 0 294 14 0 0 20 0 1 0 64578871 23638016 2566 134679101440 4194304 15467897 140732930972224 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 38903808 140732930974780 140732930974883 140732930974883 140732930981869 0
/proc/354718/statm: 5771 2566 1073 2753 0 2424 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 41676 KiB
Current children cumulated memory: 13916 KiB

[startup+6.30029 s]
/proc/loadavg: 4.12 4.14 4.13 5/267 354718
/proc/meminfo: memFree=121772440/131524592 swapFree=131071996/131071996
[pid=354714] ppid=354711 vsize=9932 memory=2636 CPUtime=0 cores=1,3
/proc/354714/stat : 354714 (Hybrid-LSMabSP+) S 354711 354714 349568 0 -1 4194304 236 99 0 0 0 0 0 0 20 0 1 0 64578870 10170368 659 134679101440 94763473117184 94763474196504 140727397710048 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94763476294960 94763476342148 94763478429696 140727397712872 140727397713018 140727397713018 140727397720033 0
/proc/354714/statm: 2483 659 580 264 0 134 0
[pid=354717] ppid=354714 vsize=8660 memory=1016 CPUtime=0 cores=1,3
/proc/354717/stat : 354717 (timeout) S 354714 354717 349568 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 64578871 8867840 254 134679101440 94522840248320 94522840283336 140729157716336 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94522842380752 94522842382884 94522858409984 140729157719081 140729157719197 140729157719197 140729157726183 0
/proc/354717/statm: 2165 254 230 9 0 87 0
[pid=354718] ppid=354717 vsize=23084 memory=10264 CPUtime=6.28 cores=1,3
/proc/354718/stat : 354718 (LS-MabSP) R 354717 354717 349568 0 -1 4194304 1124 0 0 0 600 28 0 0 20 0 1 0 64578871 23638016 2566 134679101440 4194304 15467897 140732930972224 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 38903808 140732930974780 140732930974883 140732930974883 140732930981869 0
/proc/354718/statm: 5771 2566 1073 2753 0 2424 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 41676 KiB
Current children cumulated memory: 13916 KiB

[startup+12.7003 s]
/proc/loadavg: 4.11 4.14 4.13 5/267 354776
/proc/meminfo: memFree=121629652/131524592 swapFree=131071996/131071996
[pid=354714] ppid=354711 vsize=9932 memory=2636 CPUtime=0 cores=1,3
/proc/354714/stat : 354714 (Hybrid-LSMabSP+) S 354711 354714 349568 0 -1 4194304 236 99 0 0 0 0 0 0 20 0 1 0 64578870 10170368 659 134679101440 94763473117184 94763474196504 140727397710048 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94763476294960 94763476342148 94763478429696 140727397712872 140727397713018 140727397713018 140727397720033 0
/proc/354714/statm: 2483 659 580 264 0 134 0
[pid=354717] ppid=354714 vsize=8660 memory=1016 CPUtime=0 cores=1,3
/proc/354717/stat : 354717 (timeout) S 354714 354717 349568 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 64578871 8867840 254 134679101440 94522840248320 94522840283336 140729157716336 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94522842380752 94522842382884 94522858409984 140729157719081 140729157719197 140729157719197 140729157726183 0
/proc/354717/statm: 2165 254 230 9 0 87 0
[pid=354718] ppid=354717 vsize=23084 memory=10264 CPUtime=12.66 cores=1,3
/proc/354718/stat : 354718 (LS-MabSP) R 354717 354717 349568 0 -1 4194304 1124 0 0 0 1207 59 0 0 20 0 1 0 64578871 23638016 2566 134679101440 4194304 15467897 140732930972224 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 38903808 140732930974780 140732930974883 140732930974883 140732930981869 0
/proc/354718/statm: 5771 2566 1073 2753 0 2424 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 41676 KiB
Current children cumulated memory: 13916 KiB

[startup+25.5003 s]
/proc/loadavg: 4.10 4.13 4.13 5/267 354777
/proc/meminfo: memFree=121625604/131524592 swapFree=131071996/131071996
[pid=354714] ppid=354711 vsize=9932 memory=2636 CPUtime=0 cores=1,3
/proc/354714/stat : 354714 (Hybrid-LSMabSP+) S 354711 354714 349568 0 -1 4194304 236 99 0 0 0 0 0 0 20 0 1 0 64578870 10170368 659 134679101440 94763473117184 94763474196504 140727397710048 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94763476294960 94763476342148 94763478429696 140727397712872 140727397713018 140727397713018 140727397720033 0
/proc/354714/statm: 2483 659 580 264 0 134 0
[pid=354717] ppid=354714 vsize=8660 memory=1016 CPUtime=0 cores=1,3
/proc/354717/stat : 354717 (timeout) S 354714 354717 349568 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 64578871 8867840 254 134679101440 94522840248320 94522840283336 140729157716336 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94522842380752 94522842382884 94522858409984 140729157719081 140729157719197 140729157719197 140729157726183 0
/proc/354717/statm: 2165 254 230 9 0 87 0
[pid=354718] ppid=354717 vsize=23084 memory=10264 CPUtime=25.44 cores=1,3
/proc/354718/stat : 354718 (LS-MabSP) R 354717 354717 349568 0 -1 4194304 1124 0 0 0 2421 123 0 0 20 0 1 0 64578871 23638016 2566 134679101440 4194304 15467897 140732930972224 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 38903808 140732930974780 140732930974883 140732930974883 140732930981869 0
/proc/354718/statm: 5771 2566 1073 2753 0 2424 0
Current children cumulated CPU time: 25.44 s
Current children cumulated vsize: 41676 KiB
Current children cumulated memory: 13916 KiB

[startup+51.1059 s]
/proc/loadavg: 4.06 4.12 4.12 5/266 354783
/proc/meminfo: memFree=121544756/131524592 swapFree=131071996/131071996
[pid=354714] ppid=354711 vsize=9932 memory=2636 CPUtime=0 cores=1,3
/proc/354714/stat : 354714 (Hybrid-LSMabSP+) S 354711 354714 349568 0 -1 4194304 236 99 0 0 0 0 0 0 20 0 1 0 64578870 10170368 659 134679101440 94763473117184 94763474196504 140727397710048 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94763476294960 94763476342148 94763478429696 140727397712872 140727397713018 140727397713018 140727397720033 0
/proc/354714/statm: 2483 659 580 264 0 134 0
[pid=354717] ppid=354714 vsize=8660 memory=1016 CPUtime=0 cores=1,3
/proc/354717/stat : 354717 (timeout) S 354714 354717 349568 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 64578871 8867840 254 134679101440 94522840248320 94522840283336 140729157716336 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94522842380752 94522842382884 94522858409984 140729157719081 140729157719197 140729157719197 140729157726183 0
/proc/354717/statm: 2165 254 230 9 0 87 0
[pid=354718] ppid=354717 vsize=23084 memory=10264 CPUtime=50.99 cores=1,3
/proc/354718/stat : 354718 (LS-MabSP) R 354717 354717 349568 0 -1 4194304 1124 0 0 0 4844 255 0 0 20 0 1 0 64578871 23638016 2566 134679101440 4194304 15467897 140732930972224 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 38903808 140732930974780 140732930974883 140732930974883 140732930981869 0
/proc/354718/statm: 5771 2566 1073 2753 0 2424 0
Current children cumulated CPU time: 50.99 s
Current children cumulated vsize: 41676 KiB
Current children cumulated memory: 13916 KiB

[startup+102.3 s]
/proc/loadavg: 4.13 4.13 4.13 5/266 354791
/proc/meminfo: memFree=121189896/131524592 swapFree=131071996/131071996
[pid=354714] ppid=354711 vsize=9932 memory=2636 CPUtime=0 cores=1,3
/proc/354714/stat : 354714 (Hybrid-LSMabSP+) S 354711 354714 349568 0 -1 4194304 236 99 0 0 0 0 0 0 20 0 1 0 64578870 10170368 659 134679101440 94763473117184 94763474196504 140727397710048 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94763476294960 94763476342148 94763478429696 140727397712872 140727397713018 140727397713018 140727397720033 0

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

/proc/354714/statm: 2483 659 580 264 0 134 0
[pid=354717] ppid=354714 vsize=8660 memory=1016 CPUtime=0 cores=1,3
/proc/354717/stat : 354717 (timeout) S 354714 354717 349568 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 64578871 8867840 254 134679101440 94522840248320 94522840283336 140729157716336 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94522842380752 94522842382884 94522858409984 140729157719081 140729157719197 140729157719197 140729157726183 0
/proc/354717/statm: 2165 254 230 9 0 87 0
[pid=354718] ppid=354717 vsize=23084 memory=10536 CPUtime=1658.44 cores=1,3
/proc/354718/stat : 354718 (LS-MabSP) R 354717 354717 349568 0 -1 4194304 1540 0 0 0 157651 8193 0 0 20 0 1 0 64578871 23638016 2634 134679101440 4194304 15467897 140732930972224 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 38903808 140732930974780 140732930974883 140732930974883 140732930981869 0
/proc/354718/statm: 5771 2634 1089 2753 0 2424 0
Current children cumulated CPU time: 1658.44 s
Current children cumulated vsize: 41676 KiB
Current children cumulated memory: 14188 KiB

[startup+1722.3 s]
/proc/loadavg: 4.21 4.16 4.11 5/266 355780
/proc/meminfo: memFree=100401440/131524592 swapFree=131071996/131071996
[pid=354714] ppid=354711 vsize=9932 memory=2636 CPUtime=0 cores=1,3
/proc/354714/stat : 354714 (Hybrid-LSMabSP+) S 354711 354714 349568 0 -1 4194304 236 99 0 0 0 0 0 0 20 0 1 0 64578870 10170368 659 134679101440 94763473117184 94763474196504 140727397710048 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94763476294960 94763476342148 94763478429696 140727397712872 140727397713018 140727397713018 140727397720033 0
/proc/354714/statm: 2483 659 580 264 0 134 0
[pid=354717] ppid=354714 vsize=8660 memory=1016 CPUtime=0 cores=1,3
/proc/354717/stat : 354717 (timeout) S 354714 354717 349568 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 64578871 8867840 254 134679101440 94522840248320 94522840283336 140729157716336 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94522842380752 94522842382884 94522858409984 140729157719081 140729157719197 140729157719197 140729157726183 0
/proc/354717/statm: 2165 254 230 9 0 87 0
[pid=354718] ppid=354717 vsize=23084 memory=10860 CPUtime=1718.32 cores=1,3
/proc/354718/stat : 354718 (LS-MabSP) R 354717 354717 349568 0 -1 4194304 1545 0 0 0 163340 8492 0 0 20 0 1 0 64578871 23638016 2715 134679101440 4194304 15467897 140732930972224 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 38903808 140732930974780 140732930974883 140732930974883 140732930981869 0
/proc/354718/statm: 5771 2715 1089 2753 0 2424 0
Current children cumulated CPU time: 1718.32 s
Current children cumulated vsize: 41676 KiB
Current children cumulated memory: 14512 KiB

[startup+1782.3 s]
/proc/loadavg: 3.97 4.11 4.09 4/258 355844
/proc/meminfo: memFree=101923536/131524592 swapFree=131071996/131071996
[pid=354714] ppid=354711 vsize=9932 memory=2636 CPUtime=0 cores=1,3
/proc/354714/stat : 354714 (Hybrid-LSMabSP+) S 354711 354714 349568 0 -1 4194304 236 99 0 0 0 0 0 0 20 0 1 0 64578870 10170368 659 134679101440 94763473117184 94763474196504 140727397710048 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94763476294960 94763476342148 94763478429696 140727397712872 140727397713018 140727397713018 140727397720033 0
/proc/354714/statm: 2483 659 580 264 0 134 0
[pid=354717] ppid=354714 vsize=8660 memory=1016 CPUtime=0 cores=1,3
/proc/354717/stat : 354717 (timeout) S 354714 354717 349568 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 64578871 8867840 254 134679101440 94522840248320 94522840283336 140729157716336 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94522842380752 94522842382884 94522858409984 140729157719081 140729157719197 140729157719197 140729157726183 0
/proc/354717/statm: 2165 254 230 9 0 87 0
[pid=354718] ppid=354717 vsize=23084 memory=10860 CPUtime=1778.21 cores=1,3
/proc/354718/stat : 354718 (LS-MabSP) R 354717 354717 349568 0 -1 4194304 1548 0 0 0 169032 8789 0 0 20 0 1 0 64578871 23638016 2715 134679101440 4194304 15467897 140732930972224 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 38903808 140732930974780 140732930974883 140732930974883 140732930981869 0
/proc/354718/statm: 5771 2715 1089 2753 0 2424 0
Current children cumulated CPU time: 1778.21 s
Current children cumulated vsize: 41676 KiB
Current children cumulated memory: 14512 KiB

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

# cumulated CPU time of all completed processes:  user=1707.71 s, system=88.6759 s

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

[startup+1792 s]*
/proc/loadavg: 3.90 4.09 4.09 4/258 355845
/proc/meminfo: memFree=101923460/131524592 swapFree=131071996/131071996
[pid=354714] ppid=354711 vsize=9932 memory=2636 CPUtime=0 cores=1,3
/proc/354714/stat : 354714 (Hybrid-LSMabSP+) S 354711 354714 349568 0 -1 4194304 236 99 0 0 0 0 0 0 20 0 1 0 64578870 10170368 659 134679101440 94763473117184 94763474196504 140727397710048 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94763476294960 94763476342148 94763478429696 140727397712872 140727397713018 140727397713018 140727397720033 0
/proc/354714/statm: 2483 659 580 264 0 134 0
[pid=354717] ppid=354714 vsize=8660 memory=1016 CPUtime=0 cores=1,3
/proc/354717/stat : 354717 (timeout) S 354714 354717 349568 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 64578871 8867840 254 134679101440 94522840248320 94522840283336 140729157716336 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94522842380752 94522842382884 94522858409984 140729157719081 140729157719197 140729157719197 140729157726183 0
/proc/354717/statm: 2165 254 230 9 0 87 0
[pid=354718] ppid=354717 vsize=23084 memory=10860 CPUtime=1787.89 cores=1,3
/proc/354718/stat : 354718 (LS-MabSP) R 354717 354717 349568 0 -1 4194304 1548 0 0 0 169955 8834 0 0 20 0 1 0 64578871 23638016 2715 134679101440 4194304 15467897 140732930972224 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 38903808 140732930974780 140732930974883 140732930974883 140732930981869 0
/proc/354718/statm: 5771 2715 1089 2753 0 2424 0
Current children cumulated CPU time: 1787.89 s
Current children cumulated vsize: 41676 KiB
Current children cumulated memory: 14512 KiB

[startup+1795.2 s]
/proc/loadavg: 3.90 4.09 4.09 4/258 355845
/proc/meminfo: memFree=101923004/131524592 swapFree=131071996/131071996
[pid=354714] ppid=354711 vsize=9932 memory=2636 CPUtime=0 cores=1,3
/proc/354714/stat : 354714 (Hybrid-LSMabSP+) S 354711 354714 349568 0 -1 4194304 236 99 0 0 0 0 0 0 20 0 1 0 64578870 10170368 659 134679101440 94763473117184 94763474196504 140727397710048 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94763476294960 94763476342148 94763478429696 140727397712872 140727397713018 140727397713018 140727397720033 0
/proc/354714/statm: 2483 659 580 264 0 134 0
[pid=354717] ppid=354714 vsize=8660 memory=1016 CPUtime=0 cores=1,3
/proc/354717/stat : 354717 (timeout) S 354714 354717 349568 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 64578871 8867840 254 134679101440 94522840248320 94522840283336 140729157716336 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94522842380752 94522842382884 94522858409984 140729157719081 140729157719197 140729157719197 140729157726183 0
/proc/354717/statm: 2165 254 230 9 0 87 0
[pid=354718] ppid=354717 vsize=23084 memory=10860 CPUtime=1791.08 cores=1,3
/proc/354718/stat : 354718 (LS-MabSP) R 354717 354717 349568 0 -1 4194304 1548 0 0 0 170258 8850 0 0 20 0 1 0 64578871 23638016 2715 134679101440 4194304 15467897 140732930972224 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 38903808 140732930974780 140732930974883 140732930974883 140732930981869 0
/proc/354718/statm: 5771 2715 1089 2753 0 2424 0
Current children cumulated CPU time: 1791.08 s
Current children cumulated vsize: 41676 KiB
Current children cumulated memory: 14512 KiB

[startup+1798.4 s]
/proc/loadavg: 3.83 4.07 4.08 4/258 355845
/proc/meminfo: memFree=101923016/131524592 swapFree=131071996/131071996
[pid=354714] ppid=354711 vsize=9932 memory=2736 CPUtime=1793.88 cores=1,3
/proc/354714/stat : 354714 (Hybrid-LSMabSP+) S 354711 354714 349568 0 -1 4194304 270 1771 0 0 0 0 170522 8866 20 0 1 0 64578870 10170368 684 134679101440 94763473117184 94763474196504 140727397710048 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94763476294960 94763476342148 94763478429696 140727397712872 140727397713018 140727397713018 140727397720033 0
/proc/354714/statm: 2483 684 595 264 0 134 0
Current children cumulated CPU time: 1793.88 s
Current children cumulated vsize: 9932 KiB
Current children cumulated memory: 2736 KiB

[startup+1799.2 s]
/proc/loadavg: 3.83 4.07 4.08 4/258 355847
/proc/meminfo: memFree=101917248/131524592 swapFree=131071996/131071996
[pid=354714] ppid=354711 vsize=9932 memory=2736 CPUtime=1793.88 cores=1,3
/proc/354714/stat : 354714 (Hybrid-LSMabSP+) S 354711 354714 349568 0 -1 4194304 270 1771 0 0 0 0 170522 8866 20 0 1 0 64578870 10170368 684 134679101440 94763473117184 94763474196504 140727397710048 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94763476294960 94763476342148 94763478429696 140727397712872 140727397713018 140727397713018 140727397720033 0
/proc/354714/statm: 2483 684 595 264 0 134 0
[pid=355846] ppid=354714 vsize=8660 memory=1016 CPUtime=0 cores=1,3
/proc/355846/stat : 355846 (timeout) S 354714 355846 349568 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 64758671 8867840 254 134679101440 94840662364160 94840662399176 140725071229360 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94840664496592 94840664498724 94840671744000 140725071234036 140725071234205 140725071234205 140725071241191 0
/proc/355846/statm: 2165 254 229 9 0 87 0
[pid=355847] ppid=355846 vsize=33332 memory=14928 CPUtime=1.18 cores=1,3
/proc/355847/stat : 355847 (Exact) R 355846 355846 349568 0 -1 4194304 2656 0 0 0 118 0 0 0 20 0 1 0 64758671 34131968 3732 134679101440 4194304 7210733 140730584144448 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 15347712 140730584146960 140730584147110 140730584147110 140730584154096 0
/proc/355847/statm: 8333 3732 748 737 0 7421 0
Current children cumulated CPU time: 1795.06 s
Current children cumulated vsize: 51924 KiB
Current children cumulated memory: 18680 KiB

[startup+1800 s]*
/proc/loadavg: 3.83 4.07 4.08 4/258 355849
/proc/meminfo: memFree=101916884/131524592 swapFree=131071996/131071996
[pid=354714] ppid=354711 vsize=9932 memory=2736 CPUtime=1793.88 cores=1,3
/proc/354714/stat : 354714 (Hybrid-LSMabSP+) S 354711 354714 349568 0 -1 4194304 270 1771 0 0 0 0 170522 8866 20 0 1 0 64578870 10170368 684 134679101440 94763473117184 94763474196504 140727397710048 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94763476294960 94763476342148 94763478429696 140727397712872 140727397713018 140727397713018 140727397720033 0
/proc/354714/statm: 2483 684 595 264 0 134 0
[pid=355846] ppid=354714 vsize=8660 memory=1016 CPUtime=0 cores=1,3
/proc/355846/stat : 355846 (timeout) S 354714 355846 349568 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 64758671 8867840 254 134679101440 94840662364160 94840662399176 140725071229360 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94840664496592 94840664498724 94840671744000 140725071234036 140725071234205 140725071234205 140725071241191 0
/proc/355846/statm: 2165 254 229 9 0 87 0
[pid=355847] ppid=355846 vsize=33740 memory=15452 CPUtime=1.98 cores=1,3
/proc/355847/stat : 355847 (Exact) R 355846 355846 349568 0 -1 4194304 2767 0 0 0 198 0 0 0 20 0 1 0 64758671 34549760 3863 134679101440 4194304 7210733 140730584144448 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 15347712 140730584146960 140730584147110 140730584147110 140730584154096 0
/proc/355847/statm: 8435 3863 748 737 0 7523 0
Current children cumulated CPU time: 1795.86 s
Current children cumulated vsize: 52332 KiB
Current children cumulated memory: 19204 KiB

[startup+1800.4 s]
/proc/loadavg: 3.83 4.07 4.08 4/258 355849
/proc/meminfo: memFree=101916884/131524592 swapFree=131071996/131071996
[pid=354714] ppid=354711 vsize=9932 memory=2736 CPUtime=1793.88 cores=1,3
/proc/354714/stat : 354714 (Hybrid-LSMabSP+) S 354711 354714 349568 0 -1 4194304 270 1771 0 0 0 0 170522 8866 20 0 1 0 64578870 10170368 684 134679101440 94763473117184 94763474196504 140727397710048 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94763476294960 94763476342148 94763478429696 140727397712872 140727397713018 140727397713018 140727397720033 0
/proc/354714/statm: 2483 684 595 264 0 134 0
[pid=355846] ppid=354714 vsize=8660 memory=1016 CPUtime=0 cores=1,3
/proc/355846/stat : 355846 (timeout) S 354714 355846 349568 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 64758671 8867840 254 134679101440 94840662364160 94840662399176 140725071229360 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94840664496592 94840664498724 94840671744000 140725071234036 140725071234205 140725071234205 140725071241191 0
/proc/355846/statm: 2165 254 229 9 0 87 0
[pid=355847] ppid=355846 vsize=34008 memory=15712 CPUtime=2.38 cores=1,3
/proc/355847/stat : 355847 (Exact) R 355846 355846 349568 0 -1 4194304 2827 0 0 0 238 0 0 0 20 0 1 0 64758671 34824192 3928 134679101440 4194304 7210733 140730584144448 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 15347712 140730584146960 140730584147110 140730584147110 140730584154096 0
/proc/355847/statm: 8502 3928 748 737 0 7590 0
Current children cumulated CPU time: 1796.26 s
Current children cumulated vsize: 52600 KiB
Current children cumulated memory: 19464 KiB

[startup+1800.5 s]
/proc/loadavg: 3.83 4.07 4.08 4/258 355849
/proc/meminfo: memFree=101916884/131524592 swapFree=131071996/131071996
[pid=354714] ppid=354711 vsize=9932 memory=2736 CPUtime=1793.88 cores=1,3
/proc/354714/stat : 354714 (Hybrid-LSMabSP+) S 354711 354714 349568 0 -1 4194304 270 1771 0 0 0 0 170522 8866 20 0 1 0 64578870 10170368 684 134679101440 94763473117184 94763474196504 140727397710048 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94763476294960 94763476342148 94763478429696 140727397712872 140727397713018 140727397713018 140727397720033 0
/proc/354714/statm: 2483 684 595 264 0 134 0
[pid=355846] ppid=354714 vsize=8660 memory=1016 CPUtime=0 cores=1,3
/proc/355846/stat : 355846 (timeout) S 354714 355846 349568 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 64758671 8867840 254 134679101440 94840662364160 94840662399176 140725071229360 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94840664496592 94840664498724 94840671744000 140725071234036 140725071234205 140725071234205 140725071241191 0
/proc/355846/statm: 2165 254 229 9 0 87 0
[pid=355847] ppid=355846 vsize=34008 memory=15712 CPUtime=2.48 cores=1,3
/proc/355847/stat : 355847 (Exact) R 355846 355846 349568 0 -1 4194304 2831 0 0 0 248 0 0 0 20 0 1 0 64758671 34824192 3928 134679101440 4194304 7210733 140730584144448 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 15347712 140730584146960 140730584147110 140730584147110 140730584154096 0
/proc/355847/statm: 8502 3928 748 737 0 7590 0
Current children cumulated CPU time: 1796.36 s
Current children cumulated vsize: 52600 KiB
Current children cumulated memory: 19464 KiB

Child status: 0

Real time (s): 1800.53
CPU time (s): 1796.39
CPU user time (s): 1707.71
CPU system time (s): 88.6759
CPU usage (%): 99.7702
Max. virtual memory (cumulated for all children) (KiB): 52600
Max. memory (cumulated for all children) (KiB): 19464

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1707.71
system time used= 88.6759
maximum resident set size= 16276
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6150
page faults= 0
swaps= 0
block input operations= 0
block output operations= 144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 59
involuntary context switches= 477


# summary of solver processes directly reported to runsolver:
#   pid: 354714
#   total CPU time (s): 1796.39
#   total CPU user time (s): 1707.71
#   total CPU system time (s): 88.6759

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.73512 second user time and 9.48427 second system time

The end