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

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=354977, runsolver pid=354974

[startup+0.100999 s]*
/proc/loadavg: 4.29 4.20 4.13 5/263 354981
/proc/meminfo: memFree=120537420/131524600 swapFree=131071472/131071996
[pid=354977] ppid=354974 vsize=9932 memory=2760 CPUtime=0 cores=5,7
/proc/354977/stat : 354977 (Hybrid-LSMabSP+) S 354974 354977 351858 0 -1 4194304 237 103 0 0 0 0 0 0 20 0 1 0 64569778 10170368 690 134679101440 94245873098752 94245874178072 140726955282544 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94245876276528 94245876323716 94245883138048 140726955291624 140726955291770 140726955291770 140726955298785 0
/proc/354977/statm: 2483 690 611 264 0 134 0
[pid=354980] ppid=354977 vsize=8660 memory=916 CPUtime=0 cores=5,7
/proc/354980/stat : 354980 (timeout) S 354977 354980 351858 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 64569778 8867840 229 134679101440 94041273896960 94041273931976 140731815678256 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94041276029392 94041276031524 94041284808704 140731815687209 140731815687325 140731815687325 140731815694311 0
/proc/354980/statm: 2165 229 204 9 0 87 0
[pid=354981] ppid=354980 vsize=23084 memory=10264 CPUtime=0.09 cores=5,7
/proc/354981/stat : 354981 (LS-MabSP) R 354980 354980 351858 0 -1 4194304 1105 0 0 0 9 0 0 0 20 0 1 0 64569778 23638016 2566 134679101440 4194304 15467897 140729032362208 0 0 0 0 0 17410 0 0 0 17 7 0 0 0 0 0 17807032 17896208 42844160 140729032365116 140729032365219 140729032365219 140729032372205 0
/proc/354981/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: 13940 KiB

[startup+0.206001 s]*
/proc/loadavg: 4.29 4.20 4.13 5/263 354981
/proc/meminfo: memFree=120537388/131524600 swapFree=131071472/131071996
[pid=354977] ppid=354974 vsize=9932 memory=2760 CPUtime=0 cores=5,7
/proc/354977/stat : 354977 (Hybrid-LSMabSP+) S 354974 354977 351858 0 -1 4194304 237 103 0 0 0 0 0 0 20 0 1 0 64569778 10170368 690 134679101440 94245873098752 94245874178072 140726955282544 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94245876276528 94245876323716 94245883138048 140726955291624 140726955291770 140726955291770 140726955298785 0
/proc/354977/statm: 2483 690 611 264 0 134 0
[pid=354980] ppid=354977 vsize=8660 memory=916 CPUtime=0 cores=5,7
/proc/354980/stat : 354980 (timeout) S 354977 354980 351858 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 64569778 8867840 229 134679101440 94041273896960 94041273931976 140731815678256 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94041276029392 94041276031524 94041284808704 140731815687209 140731815687325 140731815687325 140731815694311 0
/proc/354980/statm: 2165 229 204 9 0 87 0
[pid=354981] ppid=354980 vsize=23084 memory=10264 CPUtime=0.19 cores=5,7
/proc/354981/stat : 354981 (LS-MabSP) R 354980 354980 351858 0 -1 4194304 1105 0 0 0 18 1 0 0 20 0 1 0 64569778 23638016 2566 134679101440 4194304 15467897 140729032362208 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 42844160 140729032365116 140729032365219 140729032365219 140729032372205 0
/proc/354981/statm: 5771 2566 1073 2753 0 2424 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 41676 KiB
Current children cumulated memory: 13940 KiB

[startup+0.305706 s]*
/proc/loadavg: 4.29 4.20 4.13 5/263 354981
/proc/meminfo: memFree=120537088/131524600 swapFree=131071472/131071996
[pid=354977] ppid=354974 vsize=9932 memory=2760 CPUtime=0 cores=5,7
/proc/354977/stat : 354977 (Hybrid-LSMabSP+) S 354974 354977 351858 0 -1 4194304 237 103 0 0 0 0 0 0 20 0 1 0 64569778 10170368 690 134679101440 94245873098752 94245874178072 140726955282544 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94245876276528 94245876323716 94245883138048 140726955291624 140726955291770 140726955291770 140726955298785 0
/proc/354977/statm: 2483 690 611 264 0 134 0
[pid=354980] ppid=354977 vsize=8660 memory=916 CPUtime=0 cores=5,7
/proc/354980/stat : 354980 (timeout) S 354977 354980 351858 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 64569778 8867840 229 134679101440 94041273896960 94041273931976 140731815678256 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94041276029392 94041276031524 94041284808704 140731815687209 140731815687325 140731815687325 140731815694311 0
/proc/354980/statm: 2165 229 204 9 0 87 0
[pid=354981] ppid=354980 vsize=23084 memory=10264 CPUtime=0.28 cores=5,7
/proc/354981/stat : 354981 (LS-MabSP) R 354980 354980 351858 0 -1 4194304 1105 0 0 0 27 1 0 0 20 0 1 0 64569778 23638016 2566 134679101440 4194304 15467897 140729032362208 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 42844160 140729032365116 140729032365219 140729032365219 140729032372205 0
/proc/354981/statm: 5771 2566 1073 2753 0 2424 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 41676 KiB
Current children cumulated memory: 13940 KiB

[startup+0.70025 s]
/proc/loadavg: 4.29 4.20 4.13 5/263 354981
/proc/meminfo: memFree=120536584/131524600 swapFree=131071472/131071996
[pid=354977] ppid=354974 vsize=9932 memory=2760 CPUtime=0 cores=5,7
/proc/354977/stat : 354977 (Hybrid-LSMabSP+) S 354974 354977 351858 0 -1 4194304 237 103 0 0 0 0 0 0 20 0 1 0 64569778 10170368 690 134679101440 94245873098752 94245874178072 140726955282544 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94245876276528 94245876323716 94245883138048 140726955291624 140726955291770 140726955291770 140726955298785 0
/proc/354977/statm: 2483 690 611 264 0 134 0
[pid=354980] ppid=354977 vsize=8660 memory=916 CPUtime=0 cores=5,7
/proc/354980/stat : 354980 (timeout) S 354977 354980 351858 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 64569778 8867840 229 134679101440 94041273896960 94041273931976 140731815678256 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94041276029392 94041276031524 94041284808704 140731815687209 140731815687325 140731815687325 140731815694311 0
/proc/354980/statm: 2165 229 204 9 0 87 0
[pid=354981] ppid=354980 vsize=23084 memory=10264 CPUtime=0.68 cores=5,7
/proc/354981/stat : 354981 (LS-MabSP) R 354980 354980 351858 0 -1 4194304 1105 0 0 0 64 4 0 0 20 0 1 0 64569778 23638016 2566 134679101440 4194304 15467897 140729032362208 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 42844160 140729032365116 140729032365219 140729032365219 140729032372205 0
/proc/354981/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: 13940 KiB

[startup+1.50026 s]
/proc/loadavg: 4.29 4.20 4.13 5/263 354981
/proc/meminfo: memFree=120536368/131524600 swapFree=131071472/131071996
[pid=354977] ppid=354974 vsize=9932 memory=2760 CPUtime=0 cores=5,7
/proc/354977/stat : 354977 (Hybrid-LSMabSP+) S 354974 354977 351858 0 -1 4194304 237 103 0 0 0 0 0 0 20 0 1 0 64569778 10170368 690 134679101440 94245873098752 94245874178072 140726955282544 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94245876276528 94245876323716 94245883138048 140726955291624 140726955291770 140726955291770 140726955298785 0
/proc/354977/statm: 2483 690 611 264 0 134 0
[pid=354980] ppid=354977 vsize=8660 memory=916 CPUtime=0 cores=5,7
/proc/354980/stat : 354980 (timeout) S 354977 354980 351858 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 64569778 8867840 229 134679101440 94041273896960 94041273931976 140731815678256 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94041276029392 94041276031524 94041284808704 140731815687209 140731815687325 140731815687325 140731815694311 0
/proc/354980/statm: 2165 229 204 9 0 87 0
[pid=354981] ppid=354980 vsize=23084 memory=10264 CPUtime=1.47 cores=5,7
/proc/354981/stat : 354981 (LS-MabSP) R 354980 354980 351858 0 -1 4194304 1123 0 0 0 140 7 0 0 20 0 1 0 64569778 23638016 2566 134679101440 4194304 15467897 140729032362208 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 42844160 140729032365116 140729032365219 140729032365219 140729032372205 0
/proc/354981/statm: 5771 2566 1073 2753 0 2424 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 41676 KiB
Current children cumulated memory: 13940 KiB

[startup+3.10564 s]
/proc/loadavg: 4.35 4.22 4.14 5/265 355153
/proc/meminfo: memFree=120535104/131524600 swapFree=131071472/131071996
[pid=354977] ppid=354974 vsize=9932 memory=2760 CPUtime=0 cores=5,7
/proc/354977/stat : 354977 (Hybrid-LSMabSP+) S 354974 354977 351858 0 -1 4194304 237 103 0 0 0 0 0 0 20 0 1 0 64569778 10170368 690 134679101440 94245873098752 94245874178072 140726955282544 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94245876276528 94245876323716 94245883138048 140726955291624 140726955291770 140726955291770 140726955298785 0
/proc/354977/statm: 2483 690 611 264 0 134 0
[pid=354980] ppid=354977 vsize=8660 memory=916 CPUtime=0 cores=5,7
/proc/354980/stat : 354980 (timeout) S 354977 354980 351858 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 64569778 8867840 229 134679101440 94041273896960 94041273931976 140731815678256 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94041276029392 94041276031524 94041284808704 140731815687209 140731815687325 140731815687325 140731815694311 0
/proc/354980/statm: 2165 229 204 9 0 87 0
[pid=354981] ppid=354980 vsize=23084 memory=10264 CPUtime=3.08 cores=5,7
/proc/354981/stat : 354981 (LS-MabSP) R 354980 354980 351858 0 -1 4194304 1123 0 0 0 293 15 0 0 20 0 1 0 64569778 23638016 2566 134679101440 4194304 15467897 140729032362208 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 42844160 140729032365116 140729032365219 140729032365219 140729032372205 0
/proc/354981/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: 13940 KiB

[startup+6.30029 s]
/proc/loadavg: 4.35 4.22 4.14 5/265 355153
/proc/meminfo: memFree=120532140/131524600 swapFree=131071472/131071996
[pid=354977] ppid=354974 vsize=9932 memory=2760 CPUtime=0 cores=5,7
/proc/354977/stat : 354977 (Hybrid-LSMabSP+) S 354974 354977 351858 0 -1 4194304 237 103 0 0 0 0 0 0 20 0 1 0 64569778 10170368 690 134679101440 94245873098752 94245874178072 140726955282544 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94245876276528 94245876323716 94245883138048 140726955291624 140726955291770 140726955291770 140726955298785 0
/proc/354977/statm: 2483 690 611 264 0 134 0
[pid=354980] ppid=354977 vsize=8660 memory=916 CPUtime=0 cores=5,7
/proc/354980/stat : 354980 (timeout) S 354977 354980 351858 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 64569778 8867840 229 134679101440 94041273896960 94041273931976 140731815678256 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94041276029392 94041276031524 94041284808704 140731815687209 140731815687325 140731815687325 140731815694311 0
/proc/354980/statm: 2165 229 204 9 0 87 0
[pid=354981] ppid=354980 vsize=23084 memory=10264 CPUtime=6.26 cores=5,7
/proc/354981/stat : 354981 (LS-MabSP) R 354980 354980 351858 0 -1 4194304 1123 0 0 0 598 28 0 0 20 0 1 0 64569778 23638016 2566 134679101440 4194304 15467897 140729032362208 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 42844160 140729032365116 140729032365219 140729032365219 140729032372205 0
/proc/354981/statm: 5771 2566 1073 2753 0 2424 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 41676 KiB
Current children cumulated memory: 13940 KiB

[startup+12.7003 s]
/proc/loadavg: 4.38 4.23 4.14 5/265 355153
/proc/meminfo: memFree=120531748/131524600 swapFree=131071472/131071996
[pid=354977] ppid=354974 vsize=9932 memory=2760 CPUtime=0 cores=5,7
/proc/354977/stat : 354977 (Hybrid-LSMabSP+) S 354974 354977 351858 0 -1 4194304 237 103 0 0 0 0 0 0 20 0 1 0 64569778 10170368 690 134679101440 94245873098752 94245874178072 140726955282544 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94245876276528 94245876323716 94245883138048 140726955291624 140726955291770 140726955291770 140726955298785 0
/proc/354977/statm: 2483 690 611 264 0 134 0
[pid=354980] ppid=354977 vsize=8660 memory=916 CPUtime=0 cores=5,7
/proc/354980/stat : 354980 (timeout) S 354977 354980 351858 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 64569778 8867840 229 134679101440 94041273896960 94041273931976 140731815678256 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94041276029392 94041276031524 94041284808704 140731815687209 140731815687325 140731815687325 140731815694311 0
/proc/354980/statm: 2165 229 204 9 0 87 0
[pid=354981] ppid=354980 vsize=23084 memory=10264 CPUtime=12.65 cores=5,7
/proc/354981/stat : 354981 (LS-MabSP) R 354980 354980 351858 0 -1 4194304 1123 0 0 0 1207 58 0 0 20 0 1 0 64569778 23638016 2566 134679101440 4194304 15467897 140729032362208 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 42844160 140729032365116 140729032365219 140729032365219 140729032372205 0
/proc/354981/statm: 5771 2566 1073 2753 0 2424 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 41676 KiB
Current children cumulated memory: 13940 KiB

[startup+25.5003 s]
/proc/loadavg: 4.32 4.22 4.14 5/266 355228
/proc/meminfo: memFree=121013028/131524600 swapFree=131071472/131071996
[pid=354977] ppid=354974 vsize=9932 memory=2760 CPUtime=0 cores=5,7
/proc/354977/stat : 354977 (Hybrid-LSMabSP+) S 354974 354977 351858 0 -1 4194304 237 103 0 0 0 0 0 0 20 0 1 0 64569778 10170368 690 134679101440 94245873098752 94245874178072 140726955282544 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94245876276528 94245876323716 94245883138048 140726955291624 140726955291770 140726955291770 140726955298785 0
/proc/354977/statm: 2483 690 611 264 0 134 0
[pid=354980] ppid=354977 vsize=8660 memory=916 CPUtime=0 cores=5,7
/proc/354980/stat : 354980 (timeout) S 354977 354980 351858 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 64569778 8867840 229 134679101440 94041273896960 94041273931976 140731815678256 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94041276029392 94041276031524 94041284808704 140731815687209 140731815687325 140731815687325 140731815694311 0
/proc/354980/statm: 2165 229 204 9 0 87 0
[pid=354981] ppid=354980 vsize=23084 memory=10264 CPUtime=25.42 cores=5,7
/proc/354981/stat : 354981 (LS-MabSP) R 354980 354980 351858 0 -1 4194304 1123 0 0 0 2423 119 0 0 20 0 1 0 64569778 23638016 2566 134679101440 4194304 15467897 140729032362208 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 42844160 140729032365116 140729032365219 140729032365219 140729032372205 0
/proc/354981/statm: 5771 2566 1073 2753 0 2424 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 41676 KiB
Current children cumulated memory: 13940 KiB

[startup+51.1057 s]
/proc/loadavg: 4.21 4.20 4.14 5/266 355231
/proc/meminfo: memFree=121008992/131524600 swapFree=131071472/131071996
[pid=354977] ppid=354974 vsize=9932 memory=2760 CPUtime=0 cores=5,7
/proc/354977/stat : 354977 (Hybrid-LSMabSP+) S 354974 354977 351858 0 -1 4194304 237 103 0 0 0 0 0 0 20 0 1 0 64569778 10170368 690 134679101440 94245873098752 94245874178072 140726955282544 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94245876276528 94245876323716 94245883138048 140726955291624 140726955291770 140726955291770 140726955298785 0
/proc/354977/statm: 2483 690 611 264 0 134 0
[pid=354980] ppid=354977 vsize=8660 memory=916 CPUtime=0 cores=5,7
/proc/354980/stat : 354980 (timeout) S 354977 354980 351858 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 64569778 8867840 229 134679101440 94041273896960 94041273931976 140731815678256 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94041276029392 94041276031524 94041284808704 140731815687209 140731815687325 140731815687325 140731815694311 0
/proc/354980/statm: 2165 229 204 9 0 87 0
[pid=354981] ppid=354980 vsize=23084 memory=10264 CPUtime=50.96 cores=5,7
/proc/354981/stat : 354981 (LS-MabSP) R 354980 354980 351858 0 -1 4194304 1123 0 0 0 4856 240 0 0 20 0 1 0 64569778 23638016 2566 134679101440 4194304 15467897 140729032362208 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 42844160 140729032365116 140729032365219 140729032365219 140729032372205 0
/proc/354981/statm: 5771 2566 1073 2753 0 2424 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 41676 KiB
Current children cumulated memory: 13940 KiB

[startup+102.3 s]
/proc/loadavg: 4.15 4.18 4.13 5/266 355239
/proc/meminfo: memFree=121001612/131524600 swapFree=131071472/131071996
[pid=354977] ppid=354974 vsize=9932 memory=2760 CPUtime=0 cores=5,7
/proc/354977/stat : 354977 (Hybrid-LSMabSP+) S 354974 354977 351858 0 -1 4194304 237 103 0 0 0 0 0 0 20 0 1 0 64569778 10170368 690 134679101440 94245873098752 94245874178072 140726955282544 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94245876276528 94245876323716 94245883138048 140726955291624 140726955291770 140726955291770 140726955298785 0

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

/proc/354977/statm: 2483 690 611 264 0 134 0
[pid=354980] ppid=354977 vsize=8660 memory=916 CPUtime=0 cores=5,7
/proc/354980/stat : 354980 (timeout) S 354977 354980 351858 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 64569778 8867840 229 134679101440 94041273896960 94041273931976 140731815678256 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94041276029392 94041276031524 94041284808704 140731815687209 140731815687325 140731815687325 140731815694311 0
/proc/354980/statm: 2165 229 204 9 0 87 0
[pid=354981] ppid=354980 vsize=23084 memory=10848 CPUtime=1658.67 cores=5,7
/proc/354981/stat : 354981 (LS-MabSP) R 354980 354980 351858 0 -1 4194304 1158 0 0 0 157808 8059 0 0 20 0 1 0 64569778 23638016 2712 134679101440 4194304 15467897 140729032362208 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 42844160 140729032365116 140729032365219 140729032365219 140729032372205 0
/proc/354981/statm: 5771 2712 1089 2753 0 2424 0
Current children cumulated CPU time: 1658.67 s
Current children cumulated vsize: 41676 KiB
Current children cumulated memory: 14524 KiB

[startup+1722.3 s]
/proc/loadavg: 4.09 4.16 4.13 5/265 355972
/proc/meminfo: memFree=120947564/131524600 swapFree=131071472/131071996
[pid=354977] ppid=354974 vsize=9932 memory=2760 CPUtime=0 cores=5,7
/proc/354977/stat : 354977 (Hybrid-LSMabSP+) S 354974 354977 351858 0 -1 4194304 237 103 0 0 0 0 0 0 20 0 1 0 64569778 10170368 690 134679101440 94245873098752 94245874178072 140726955282544 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94245876276528 94245876323716 94245883138048 140726955291624 140726955291770 140726955291770 140726955298785 0
/proc/354977/statm: 2483 690 611 264 0 134 0
[pid=354980] ppid=354977 vsize=8660 memory=916 CPUtime=0 cores=5,7
/proc/354980/stat : 354980 (timeout) S 354977 354980 351858 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 64569778 8867840 229 134679101440 94041273896960 94041273931976 140731815678256 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94041276029392 94041276031524 94041284808704 140731815687209 140731815687325 140731815687325 140731815694311 0
/proc/354980/statm: 2165 229 204 9 0 87 0
[pid=354981] ppid=354980 vsize=23084 memory=10848 CPUtime=1718.55 cores=5,7
/proc/354981/stat : 354981 (LS-MabSP) R 354980 354980 351858 0 -1 4194304 1159 0 0 0 163513 8342 0 0 20 0 1 0 64569778 23638016 2712 134679101440 4194304 15467897 140729032362208 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 42844160 140729032365116 140729032365219 140729032365219 140729032372205 0
/proc/354981/statm: 5771 2712 1089 2753 0 2424 0
Current children cumulated CPU time: 1718.55 s
Current children cumulated vsize: 41676 KiB
Current children cumulated memory: 14524 KiB

[startup+1782.3 s]
/proc/loadavg: 4.14 4.16 4.13 5/264 355986
/proc/meminfo: memFree=120937464/131524600 swapFree=131071472/131071996
[pid=354977] ppid=354974 vsize=9932 memory=2760 CPUtime=0 cores=5,7
/proc/354977/stat : 354977 (Hybrid-LSMabSP+) S 354974 354977 351858 0 -1 4194304 237 103 0 0 0 0 0 0 20 0 1 0 64569778 10170368 690 134679101440 94245873098752 94245874178072 140726955282544 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94245876276528 94245876323716 94245883138048 140726955291624 140726955291770 140726955291770 140726955298785 0
/proc/354977/statm: 2483 690 611 264 0 134 0
[pid=354980] ppid=354977 vsize=8660 memory=916 CPUtime=0 cores=5,7
/proc/354980/stat : 354980 (timeout) S 354977 354980 351858 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 64569778 8867840 229 134679101440 94041273896960 94041273931976 140731815678256 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94041276029392 94041276031524 94041284808704 140731815687209 140731815687325 140731815687325 140731815694311 0
/proc/354980/statm: 2165 229 204 9 0 87 0
[pid=354981] ppid=354980 vsize=23084 memory=10848 CPUtime=1778.42 cores=5,7
/proc/354981/stat : 354981 (LS-MabSP) R 354980 354980 351858 0 -1 4194304 1160 0 0 0 169202 8640 0 0 20 0 1 0 64569778 23638016 2712 134679101440 4194304 15467897 140729032362208 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 42844160 140729032365116 140729032365219 140729032365219 140729032372205 0
/proc/354981/statm: 5771 2712 1089 2753 0 2424 0
Current children cumulated CPU time: 1778.42 s
Current children cumulated vsize: 41676 KiB
Current children cumulated memory: 14524 KiB

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

# cumulated CPU time of all completed processes:  user=1715.04 s, system=87.2651 s

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

[startup+1792 s]*
/proc/loadavg: 4.12 4.16 4.12 5/264 355990
/proc/meminfo: memFree=120987252/131524600 swapFree=131071472/131071996
[pid=354977] ppid=354974 vsize=9932 memory=2760 CPUtime=0 cores=5,7
/proc/354977/stat : 354977 (Hybrid-LSMabSP+) S 354974 354977 351858 0 -1 4194304 237 103 0 0 0 0 0 0 20 0 1 0 64569778 10170368 690 134679101440 94245873098752 94245874178072 140726955282544 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94245876276528 94245876323716 94245883138048 140726955291624 140726955291770 140726955291770 140726955298785 0
/proc/354977/statm: 2483 690 611 264 0 134 0
[pid=354980] ppid=354977 vsize=8660 memory=916 CPUtime=0 cores=5,7
/proc/354980/stat : 354980 (timeout) S 354977 354980 351858 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 64569778 8867840 229 134679101440 94041273896960 94041273931976 140731815678256 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94041276029392 94041276031524 94041284808704 140731815687209 140731815687325 140731815687325 140731815694311 0
/proc/354980/statm: 2165 229 204 9 0 87 0
[pid=354981] ppid=354980 vsize=23084 memory=10848 CPUtime=1788.11 cores=5,7
/proc/354981/stat : 354981 (LS-MabSP) R 354980 354980 351858 0 -1 4194304 1160 0 0 0 170120 8691 0 0 20 0 1 0 64569778 23638016 2712 134679101440 4194304 15467897 140729032362208 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 42844160 140729032365116 140729032365219 140729032365219 140729032372205 0
/proc/354981/statm: 5771 2712 1089 2753 0 2424 0
Current children cumulated CPU time: 1788.11 s
Current children cumulated vsize: 41676 KiB
Current children cumulated memory: 14524 KiB

[startup+1798.4 s]
/proc/loadavg: 4.11 4.16 4.12 5/264 355991
/proc/meminfo: memFree=120852620/131524600 swapFree=131071472/131071996
[pid=354977] ppid=354974 vsize=9932 memory=2804 CPUtime=1794.09 cores=5,7
/proc/354977/stat : 354977 (Hybrid-LSMabSP+) S 354974 354977 351858 0 -1 4194304 269 1386 0 0 0 0 170685 8724 20 0 1 0 64569778 10170368 701 134679101440 94245873098752 94245874178072 140726955282544 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94245876276528 94245876323716 94245883138048 140726955291624 140726955291770 140726955291770 140726955298785 0
/proc/354977/statm: 2483 701 611 264 0 134 0
Current children cumulated CPU time: 1794.09 s
Current children cumulated vsize: 9932 KiB
Current children cumulated memory: 2804 KiB

[startup+1801.6 s]
/proc/loadavg: 4.11 4.16 4.12 5/264 355993
/proc/meminfo: memFree=120842260/131524600 swapFree=131071472/131071996
[pid=354977] ppid=354974 vsize=9932 memory=2804 CPUtime=1794.09 cores=5,7
/proc/354977/stat : 354977 (Hybrid-LSMabSP+) S 354974 354977 351858 0 -1 4194304 269 1386 0 0 0 0 170685 8724 20 0 1 0 64569778 10170368 701 134679101440 94245873098752 94245874178072 140726955282544 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94245876276528 94245876323716 94245883138048 140726955291624 140726955291770 140726955291770 140726955298785 0
/proc/354977/statm: 2483 701 611 264 0 134 0
[pid=355992] ppid=354977 vsize=8660 memory=1012 CPUtime=0 cores=5,7
/proc/355992/stat : 355992 (timeout) S 354977 355992 351858 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 64749578 8867840 253 134679101440 94746645913600 94746645948616 140724167690160 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94746648046032 94746648048164 94746672967680 140724167697396 140724167697565 140724167697565 140724167704551 0
/proc/355992/statm: 2165 253 229 9 0 87 0
[pid=355993] ppid=355992 vsize=35252 memory=19892 CPUtime=3.57 cores=5,7
/proc/355993/stat : 355993 (Exact) R 355992 355992 351858 0 -1 4194304 2891 0 0 0 356 1 0 0 20 0 1 0 64749578 36098048 4973 134679101440 4194304 7210733 140728729282560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 28897280 140728729285648 140728729285798 140728729285798 140728729292784 0
/proc/355993/statm: 8813 4973 748 737 0 7901 0
Current children cumulated CPU time: 1797.66 s
Current children cumulated vsize: 53844 KiB
Current children cumulated memory: 23708 KiB

[startup+1804.8 s]
/proc/loadavg: 4.10 4.15 4.12 5/264 356163
/proc/meminfo: memFree=120835036/131524600 swapFree=131071472/131071996
[pid=354977] ppid=354974 vsize=9932 memory=2804 CPUtime=1794.09 cores=5,7
/proc/354977/stat : 354977 (Hybrid-LSMabSP+) S 354974 354977 351858 0 -1 4194304 269 1386 0 0 0 0 170685 8724 20 0 1 0 64569778 10170368 701 134679101440 94245873098752 94245874178072 140726955282544 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94245876276528 94245876323716 94245883138048 140726955291624 140726955291770 140726955291770 140726955298785 0
/proc/354977/statm: 2483 701 611 264 0 134 0
[pid=355992] ppid=354977 vsize=8660 memory=1012 CPUtime=0 cores=5,7
/proc/355992/stat : 355992 (timeout) S 354977 355992 351858 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 64749578 8867840 253 134679101440 94746645913600 94746645948616 140724167690160 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94746648046032 94746648048164 94746672967680 140724167697396 140724167697565 140724167697565 140724167704551 0
/proc/355992/statm: 2165 253 229 9 0 87 0
[pid=355993] ppid=355992 vsize=38536 memory=22420 CPUtime=6.76 cores=5,7
/proc/355993/stat : 355993 (Exact) R 355992 355992 351858 0 -1 4194304 3538 0 0 0 675 1 0 0 20 0 1 0 64749578 39460864 5605 134679101440 4194304 7210733 140728729282560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 28897280 140728729285648 140728729285798 140728729285798 140728729292784 0
/proc/355993/statm: 9634 5605 748 737 0 8722 0
Current children cumulated CPU time: 1800.85 s
Current children cumulated vsize: 57128 KiB
Current children cumulated memory: 26236 KiB

[startup+1805.6 s]
/proc/loadavg: 4.10 4.15 4.12 5/264 356163
/proc/meminfo: memFree=120829084/131524600 swapFree=131071472/131071996
[pid=354977] ppid=354974 vsize=9932 memory=2804 CPUtime=1794.09 cores=5,7
/proc/354977/stat : 354977 (Hybrid-LSMabSP+) S 354974 354977 351858 0 -1 4194304 269 1386 0 0 0 0 170685 8724 20 0 1 0 64569778 10170368 701 134679101440 94245873098752 94245874178072 140726955282544 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94245876276528 94245876323716 94245883138048 140726955291624 140726955291770 140726955291770 140726955298785 0
/proc/354977/statm: 2483 701 611 264 0 134 0
[pid=355992] ppid=354977 vsize=8660 memory=1012 CPUtime=0 cores=5,7
/proc/355992/stat : 355992 (timeout) S 354977 355992 351858 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 64749578 8867840 253 134679101440 94746645913600 94746645948616 140724167690160 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94746648046032 94746648048164 94746672967680 140724167697396 140724167697565 140724167697565 140724167704551 0
/proc/355992/statm: 2165 253 229 9 0 87 0
[pid=355993] ppid=355992 vsize=38536 memory=22420 CPUtime=7.56 cores=5,7
/proc/355993/stat : 355993 (Exact) R 355992 355992 351858 0 -1 4194304 3540 0 0 0 755 1 0 0 20 0 1 0 64749578 39460864 5605 134679101440 4194304 7210733 140728729282560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 28897280 140728729285648 140728729285798 140728729285798 140728729292784 0
/proc/355993/statm: 9634 5605 748 737 0 8722 0
Current children cumulated CPU time: 1801.65 s
Current children cumulated vsize: 57128 KiB
Current children cumulated memory: 26236 KiB

[startup+1806 s]*
/proc/loadavg: 4.10 4.15 4.12 5/264 356163
/proc/meminfo: memFree=120828428/131524600 swapFree=131071472/131071996
[pid=354977] ppid=354974 vsize=9932 memory=2804 CPUtime=1794.09 cores=5,7
/proc/354977/stat : 354977 (Hybrid-LSMabSP+) S 354974 354977 351858 0 -1 4194304 269 1386 0 0 0 0 170685 8724 20 0 1 0 64569778 10170368 701 134679101440 94245873098752 94245874178072 140726955282544 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94245876276528 94245876323716 94245883138048 140726955291624 140726955291770 140726955291770 140726955298785 0
/proc/354977/statm: 2483 701 611 264 0 134 0
[pid=355992] ppid=354977 vsize=8660 memory=1012 CPUtime=0 cores=5,7
/proc/355992/stat : 355992 (timeout) S 354977 355992 351858 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 64749578 8867840 253 134679101440 94746645913600 94746645948616 140724167690160 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94746648046032 94746648048164 94746672967680 140724167697396 140724167697565 140724167697565 140724167704551 0
/proc/355992/statm: 2165 253 229 9 0 87 0
[pid=355993] ppid=355992 vsize=38536 memory=22420 CPUtime=7.96 cores=5,7
/proc/355993/stat : 355993 (Exact) R 355992 355992 351858 0 -1 4194304 3540 0 0 0 795 1 0 0 20 0 1 0 64749578 39460864 5605 134679101440 4194304 7210733 140728729282560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 28897280 140728729285648 140728729285798 140728729285798 140728729292784 0
/proc/355993/statm: 9634 5605 748 737 0 8722 0
Current children cumulated CPU time: 1802.05 s
Current children cumulated vsize: 57128 KiB
Current children cumulated memory: 26236 KiB

[startup+1806.2 s]
/proc/loadavg: 4.10 4.15 4.12 5/264 356163
/proc/meminfo: memFree=120828428/131524600 swapFree=131071472/131071996
[pid=354977] ppid=354974 vsize=9932 memory=2804 CPUtime=1794.09 cores=5,7
/proc/354977/stat : 354977 (Hybrid-LSMabSP+) S 354974 354977 351858 0 -1 4194304 269 1386 0 0 0 0 170685 8724 20 0 1 0 64569778 10170368 701 134679101440 94245873098752 94245874178072 140726955282544 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94245876276528 94245876323716 94245883138048 140726955291624 140726955291770 140726955291770 140726955298785 0
/proc/354977/statm: 2483 701 611 264 0 134 0
[pid=355992] ppid=354977 vsize=8660 memory=1012 CPUtime=0 cores=5,7
/proc/355992/stat : 355992 (timeout) S 354977 355992 351858 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 64749578 8867840 253 134679101440 94746645913600 94746645948616 140724167690160 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94746648046032 94746648048164 94746672967680 140724167697396 140724167697565 140724167697565 140724167704551 0
/proc/355992/statm: 2165 253 229 9 0 87 0
[pid=355993] ppid=355992 vsize=38536 memory=22420 CPUtime=8.16 cores=5,7
/proc/355993/stat : 355993 (Exact) R 355992 355992 351858 0 -1 4194304 3543 0 0 0 815 1 0 0 20 0 1 0 64749578 39460864 5605 134679101440 4194304 7210733 140728729282560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 28897280 140728729285648 140728729285798 140728729285798 140728729292784 0
/proc/355993/statm: 9634 5605 748 737 0 8722 0
Current children cumulated CPU time: 1802.25 s
Current children cumulated vsize: 57128 KiB
Current children cumulated memory: 26236 KiB

Child status: 0

Real time (s): 1806.25
CPU time (s): 1802.31
CPU user time (s): 1715.04
CPU system time (s): 87.2651
CPU usage (%): 99.7818
Max. virtual memory (cumulated for all children) (KiB): 57128
Max. memory (cumulated for all children) (KiB): 26236

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1715.04
system time used= 87.2651
maximum resident set size= 22420
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6470
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= 39
involuntary context switches= 600


# summary of solver processes directly reported to runsolver:
#   pid: 354977
#   total CPU time (s): 1802.31
#   total CPU user time (s): 1715.04
#   total CPU system time (s): 87.2651

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.87503 second user time and 8.80947 second system time

The end