runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63968 MiB (63082 MiB free)
  memory of node 1: 64473 MiB (63331 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4437479-1722955398/watcher-4437479-1722955398 -o /tmp/evaluation-result-4437479-1722955398/solver-4437479-1722955398 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1722948202-337872 --watchdog 3760 --use-pty ./Hybrid-LSMabP+Exact HOME/instance-4437479-1722955398.opb 3600 HOME 31000 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=342182, runsolver pid=342179

[startup+0.100103 s]*
/proc/loadavg: 4.13 4.12 4.09 5/265 342186
/proc/meminfo: memFree=129441736/131524600 swapFree=131071996/131071996
[pid=342182] ppid=342179 vsize=9932 memory=2748 CPUtime=0 cores=4,6
/proc/342182/stat : 342182 (Hybrid-LSMabP+E) S 342179 342182 337861 0 -1 4194304 240 103 0 0 0 0 0 0 20 0 1 0 62142124 10170368 687 134679101440 94289982447616 94289983526936 140723660635792 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94289985625392 94289985672580 94289992339456 140723660637162 140723660637307 140723660637307 140723660644322 0
/proc/342182/statm: 2483 687 609 264 0 134 0
[pid=342185] ppid=342182 vsize=8660 memory=980 CPUtime=0 cores=4,6
/proc/342185/stat : 342185 (timeout) S 342182 342185 337861 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62142124 8867840 245 134679101440 94525945839616 94525945874632 140726473012096 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94525947972048 94525947974180 94525956603904 140726473016355 140726473016477 140726473016477 140726473023463 0
/proc/342185/statm: 2165 245 221 9 0 87 0
[pid=342186] ppid=342185 vsize=21516 memory=9288 CPUtime=0.09 cores=4,6
/proc/342186/stat : 342186 (LS-MabP) R 342185 342185 337861 0 -1 4194304 961 0 0 0 9 0 0 0 20 0 1 0 62142124 22032384 2322 134679101440 4194304 15467897 140723751155072 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 45268992 140723751158839 140723751158948 140723751158948 140723751165934 0
/proc/342186/statm: 5379 2322 1105 2753 0 2032 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 40108 KiB
Current children cumulated memory: 13016 KiB

[startup+0.205829 s]*
/proc/loadavg: 4.13 4.12 4.09 5/265 342186
/proc/meminfo: memFree=129440384/131524600 swapFree=131071996/131071996
[pid=342182] ppid=342179 vsize=9932 memory=2748 CPUtime=0 cores=4,6
/proc/342182/stat : 342182 (Hybrid-LSMabP+E) S 342179 342182 337861 0 -1 4194304 240 103 0 0 0 0 0 0 20 0 1 0 62142124 10170368 687 134679101440 94289982447616 94289983526936 140723660635792 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94289985625392 94289985672580 94289992339456 140723660637162 140723660637307 140723660637307 140723660644322 0
/proc/342182/statm: 2483 687 609 264 0 134 0
[pid=342185] ppid=342182 vsize=8660 memory=980 CPUtime=0 cores=4,6
/proc/342185/stat : 342185 (timeout) S 342182 342185 337861 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62142124 8867840 245 134679101440 94525945839616 94525945874632 140726473012096 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94525947972048 94525947974180 94525956603904 140726473016355 140726473016477 140726473016477 140726473023463 0
/proc/342185/statm: 2165 245 221 9 0 87 0
[pid=342186] ppid=342185 vsize=22592 memory=10588 CPUtime=0.19 cores=4,6
/proc/342186/stat : 342186 (LS-MabP) R 342185 342185 337861 0 -1 4194304 2183 0 0 0 19 0 0 0 20 0 1 0 62142124 23134208 2647 134679101440 4194304 15467897 140723751155072 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 45268992 140723751158839 140723751158948 140723751158948 140723751165934 0
/proc/342186/statm: 5648 2647 1169 2753 0 2301 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 41184 KiB
Current children cumulated memory: 14316 KiB

[startup+0.305196 s]*
/proc/loadavg: 4.13 4.12 4.09 5/265 342186
/proc/meminfo: memFree=129440056/131524600 swapFree=131071996/131071996
[pid=342182] ppid=342179 vsize=9932 memory=2748 CPUtime=0 cores=4,6
/proc/342182/stat : 342182 (Hybrid-LSMabP+E) S 342179 342182 337861 0 -1 4194304 240 103 0 0 0 0 0 0 20 0 1 0 62142124 10170368 687 134679101440 94289982447616 94289983526936 140723660635792 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94289985625392 94289985672580 94289992339456 140723660637162 140723660637307 140723660637307 140723660644322 0
/proc/342182/statm: 2483 687 609 264 0 134 0
[pid=342185] ppid=342182 vsize=8660 memory=980 CPUtime=0 cores=4,6
/proc/342185/stat : 342185 (timeout) S 342182 342185 337861 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62142124 8867840 245 134679101440 94525945839616 94525945874632 140726473012096 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94525947972048 94525947974180 94525956603904 140726473016355 140726473016477 140726473016477 140726473023463 0
/proc/342185/statm: 2165 245 221 9 0 87 0
[pid=342186] ppid=342185 vsize=22592 memory=10588 CPUtime=0.29 cores=4,6
/proc/342186/stat : 342186 (LS-MabP) R 342185 342185 337861 0 -1 4194304 2699 0 0 0 28 1 0 0 20 0 1 0 62142124 23134208 2647 134679101440 4194304 15467897 140723751155072 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 45268992 140723751158839 140723751158948 140723751158948 140723751165934 0
/proc/342186/statm: 5648 2647 1169 2753 0 2301 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 41184 KiB
Current children cumulated memory: 14316 KiB

[startup+0.700207 s]
/proc/loadavg: 4.13 4.12 4.09 5/265 342186
/proc/meminfo: memFree=129439968/131524600 swapFree=131071996/131071996
[pid=342182] ppid=342179 vsize=9932 memory=2748 CPUtime=0 cores=4,6
/proc/342182/stat : 342182 (Hybrid-LSMabP+E) S 342179 342182 337861 0 -1 4194304 240 103 0 0 0 0 0 0 20 0 1 0 62142124 10170368 687 134679101440 94289982447616 94289983526936 140723660635792 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94289985625392 94289985672580 94289992339456 140723660637162 140723660637307 140723660637307 140723660644322 0
/proc/342182/statm: 2483 687 609 264 0 134 0
[pid=342185] ppid=342182 vsize=8660 memory=980 CPUtime=0 cores=4,6
/proc/342185/stat : 342185 (timeout) S 342182 342185 337861 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62142124 8867840 245 134679101440 94525945839616 94525945874632 140726473012096 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94525947972048 94525947974180 94525956603904 140726473016355 140726473016477 140726473016477 140726473023463 0
/proc/342185/statm: 2165 245 221 9 0 87 0
[pid=342186] ppid=342185 vsize=22592 memory=10588 CPUtime=0.68 cores=4,6
/proc/342186/stat : 342186 (LS-MabP) R 342185 342185 337861 0 -1 4194304 2957 0 0 0 65 3 0 0 20 0 1 0 62142124 23134208 2647 134679101440 4194304 15467897 140723751155072 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 45268992 140723751158839 140723751158948 140723751158948 140723751165934 0
/proc/342186/statm: 5648 2647 1169 2753 0 2301 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 41184 KiB
Current children cumulated memory: 14316 KiB

[startup+1.5002 s]
/proc/loadavg: 4.13 4.12 4.09 5/265 342186
/proc/meminfo: memFree=129439940/131524600 swapFree=131071996/131071996
[pid=342182] ppid=342179 vsize=9932 memory=2748 CPUtime=0 cores=4,6
/proc/342182/stat : 342182 (Hybrid-LSMabP+E) S 342179 342182 337861 0 -1 4194304 240 103 0 0 0 0 0 0 20 0 1 0 62142124 10170368 687 134679101440 94289982447616 94289983526936 140723660635792 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94289985625392 94289985672580 94289992339456 140723660637162 140723660637307 140723660637307 140723660644322 0
/proc/342182/statm: 2483 687 609 264 0 134 0
[pid=342185] ppid=342182 vsize=8660 memory=980 CPUtime=0 cores=4,6
/proc/342185/stat : 342185 (timeout) S 342182 342185 337861 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62142124 8867840 245 134679101440 94525945839616 94525945874632 140726473012096 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94525947972048 94525947974180 94525956603904 140726473016355 140726473016477 140726473016477 140726473023463 0
/proc/342185/statm: 2165 245 221 9 0 87 0
[pid=342186] ppid=342185 vsize=22592 memory=10588 CPUtime=1.48 cores=4,6
/proc/342186/stat : 342186 (LS-MabP) R 342185 342185 337861 0 -1 4194304 2957 0 0 0 141 7 0 0 20 0 1 0 62142124 23134208 2647 134679101440 4194304 15467897 140723751155072 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 45268992 140723751158839 140723751158948 140723751158948 140723751165934 0
/proc/342186/statm: 5648 2647 1169 2753 0 2301 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 41184 KiB
Current children cumulated memory: 14316 KiB

[startup+3.10583 s]
/proc/loadavg: 4.13 4.12 4.09 4/261 342284
/proc/meminfo: memFree=129490580/131524600 swapFree=131071996/131071996
[pid=342182] ppid=342179 vsize=9932 memory=2748 CPUtime=0 cores=4,6
/proc/342182/stat : 342182 (Hybrid-LSMabP+E) S 342179 342182 337861 0 -1 4194304 240 103 0 0 0 0 0 0 20 0 1 0 62142124 10170368 687 134679101440 94289982447616 94289983526936 140723660635792 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94289985625392 94289985672580 94289992339456 140723660637162 140723660637307 140723660637307 140723660644322 0
/proc/342182/statm: 2483 687 609 264 0 134 0
[pid=342185] ppid=342182 vsize=8660 memory=980 CPUtime=0 cores=4,6
/proc/342185/stat : 342185 (timeout) S 342182 342185 337861 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62142124 8867840 245 134679101440 94525945839616 94525945874632 140726473012096 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94525947972048 94525947974180 94525956603904 140726473016355 140726473016477 140726473016477 140726473023463 0
/proc/342185/statm: 2165 245 221 9 0 87 0
[pid=342186] ppid=342185 vsize=22592 memory=10588 CPUtime=3.09 cores=4,6
/proc/342186/stat : 342186 (LS-MabP) R 342185 342185 337861 0 -1 4194304 2957 0 0 0 292 17 0 0 20 0 1 0 62142124 23134208 2647 134679101440 4194304 15467897 140723751155072 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 45268992 140723751158839 140723751158948 140723751158948 140723751165934 0
/proc/342186/statm: 5648 2647 1169 2753 0 2301 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 41184 KiB
Current children cumulated memory: 14316 KiB

[startup+6.30018 s]
/proc/loadavg: 4.12 4.12 4.09 5/266 342321
/proc/meminfo: memFree=129481592/131524600 swapFree=131071996/131071996
[pid=342182] ppid=342179 vsize=9932 memory=2748 CPUtime=0 cores=4,6
/proc/342182/stat : 342182 (Hybrid-LSMabP+E) S 342179 342182 337861 0 -1 4194304 240 103 0 0 0 0 0 0 20 0 1 0 62142124 10170368 687 134679101440 94289982447616 94289983526936 140723660635792 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94289985625392 94289985672580 94289992339456 140723660637162 140723660637307 140723660637307 140723660644322 0
/proc/342182/statm: 2483 687 609 264 0 134 0
[pid=342185] ppid=342182 vsize=8660 memory=980 CPUtime=0 cores=4,6
/proc/342185/stat : 342185 (timeout) S 342182 342185 337861 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62142124 8867840 245 134679101440 94525945839616 94525945874632 140726473012096 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94525947972048 94525947974180 94525956603904 140726473016355 140726473016477 140726473016477 140726473023463 0
/proc/342185/statm: 2165 245 221 9 0 87 0
[pid=342186] ppid=342185 vsize=22592 memory=10588 CPUtime=6.27 cores=4,6
/proc/342186/stat : 342186 (LS-MabP) R 342185 342185 337861 0 -1 4194304 2957 0 0 0 592 35 0 0 20 0 1 0 62142124 23134208 2647 134679101440 4194304 15467897 140723751155072 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 45268992 140723751158839 140723751158948 140723751158948 140723751165934 0
/proc/342186/statm: 5648 2647 1169 2753 0 2301 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 41184 KiB
Current children cumulated memory: 14316 KiB

[startup+12.7002 s]
/proc/loadavg: 4.11 4.12 4.09 5/266 342321
/proc/meminfo: memFree=129481488/131524600 swapFree=131071996/131071996
[pid=342182] ppid=342179 vsize=9932 memory=2748 CPUtime=0 cores=4,6
/proc/342182/stat : 342182 (Hybrid-LSMabP+E) S 342179 342182 337861 0 -1 4194304 240 103 0 0 0 0 0 0 20 0 1 0 62142124 10170368 687 134679101440 94289982447616 94289983526936 140723660635792 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94289985625392 94289985672580 94289992339456 140723660637162 140723660637307 140723660637307 140723660644322 0
/proc/342182/statm: 2483 687 609 264 0 134 0
[pid=342185] ppid=342182 vsize=8660 memory=980 CPUtime=0 cores=4,6
/proc/342185/stat : 342185 (timeout) S 342182 342185 337861 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62142124 8867840 245 134679101440 94525945839616 94525945874632 140726473012096 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94525947972048 94525947974180 94525956603904 140726473016355 140726473016477 140726473016477 140726473023463 0
/proc/342185/statm: 2165 245 221 9 0 87 0
[pid=342186] ppid=342185 vsize=22592 memory=10588 CPUtime=12.66 cores=4,6
/proc/342186/stat : 342186 (LS-MabP) R 342185 342185 337861 0 -1 4194304 2957 0 0 0 1198 68 0 0 20 0 1 0 62142124 23134208 2647 134679101440 4194304 15467897 140723751155072 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 45268992 140723751158839 140723751158948 140723751158948 140723751165934 0
/proc/342186/statm: 5648 2647 1169 2753 0 2301 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 41184 KiB
Current children cumulated memory: 14316 KiB

[startup+25.5002 s]
/proc/loadavg: 4.16 4.13 4.09 5/266 342322
/proc/meminfo: memFree=129481208/131524600 swapFree=131071996/131071996
[pid=342182] ppid=342179 vsize=9932 memory=2748 CPUtime=0 cores=4,6
/proc/342182/stat : 342182 (Hybrid-LSMabP+E) S 342179 342182 337861 0 -1 4194304 240 103 0 0 0 0 0 0 20 0 1 0 62142124 10170368 687 134679101440 94289982447616 94289983526936 140723660635792 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94289985625392 94289985672580 94289992339456 140723660637162 140723660637307 140723660637307 140723660644322 0
/proc/342182/statm: 2483 687 609 264 0 134 0
[pid=342185] ppid=342182 vsize=8660 memory=980 CPUtime=0 cores=4,6
/proc/342185/stat : 342185 (timeout) S 342182 342185 337861 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62142124 8867840 245 134679101440 94525945839616 94525945874632 140726473012096 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94525947972048 94525947974180 94525956603904 140726473016355 140726473016477 140726473016477 140726473023463 0
/proc/342185/statm: 2165 245 221 9 0 87 0
[pid=342186] ppid=342185 vsize=22592 memory=10588 CPUtime=25.44 cores=4,6
/proc/342186/stat : 342186 (LS-MabP) R 342185 342185 337861 0 -1 4194304 2957 0 0 0 2411 133 0 0 20 0 1 0 62142124 23134208 2647 134679101440 4194304 15467897 140723751155072 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 45268992 140723751158839 140723751158948 140723751158948 140723751165934 0
/proc/342186/statm: 5648 2647 1169 2753 0 2301 0
Current children cumulated CPU time: 25.44 s
Current children cumulated vsize: 41184 KiB
Current children cumulated memory: 14316 KiB

[startup+51.1045 s]
/proc/loadavg: 4.17 4.13 4.10 5/266 342388
/proc/meminfo: memFree=128577688/131524600 swapFree=131071996/131071996
[pid=342182] ppid=342179 vsize=9932 memory=2748 CPUtime=0 cores=4,6
/proc/342182/stat : 342182 (Hybrid-LSMabP+E) S 342179 342182 337861 0 -1 4194304 240 103 0 0 0 0 0 0 20 0 1 0 62142124 10170368 687 134679101440 94289982447616 94289983526936 140723660635792 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94289985625392 94289985672580 94289992339456 140723660637162 140723660637307 140723660637307 140723660644322 0
/proc/342182/statm: 2483 687 609 264 0 134 0
[pid=342185] ppid=342182 vsize=8660 memory=980 CPUtime=0 cores=4,6
/proc/342185/stat : 342185 (timeout) S 342182 342185 337861 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62142124 8867840 245 134679101440 94525945839616 94525945874632 140726473012096 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94525947972048 94525947974180 94525956603904 140726473016355 140726473016477 140726473016477 140726473023463 0
/proc/342185/statm: 2165 245 221 9 0 87 0
[pid=342186] ppid=342185 vsize=22592 memory=10588 CPUtime=51 cores=4,6
/proc/342186/stat : 342186 (LS-MabP) R 342185 342185 337861 0 -1 4194304 2957 0 0 0 4827 273 0 0 20 0 1 0 62142124 23134208 2647 134679101440 4194304 15467897 140723751155072 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 45268992 140723751158839 140723751158948 140723751158948 140723751165934 0
/proc/342186/statm: 5648 2647 1169 2753 0 2301 0
Current children cumulated CPU time: 51 s
Current children cumulated vsize: 41184 KiB
Current children cumulated memory: 14316 KiB

[startup+102.3 s]
/proc/loadavg: 4.20 4.14 4.10 5/266 342398
/proc/meminfo: memFree=128926892/131524600 swapFree=131071996/131071996
[pid=342182] ppid=342179 vsize=9932 memory=2748 CPUtime=0 cores=4,6
/proc/342182/stat : 342182 (Hybrid-LSMabP+E) S 342179 342182 337861 0 -1 4194304 240 103 0 0 0 0 0 0 20 0 1 0 62142124 10170368 687 134679101440 94289982447616 94289983526936 140723660635792 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94289985625392 94289985672580 94289992339456 140723660637162 140723660637307 140723660637307 140723660644322 0

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

/proc/343279/statm: 66928 49288 820 745 0 65993 0
Current children cumulated CPU time: 3395.74 s
Current children cumulated vsize: 286304 KiB
Current children cumulated memory: 200940 KiB

[startup+3462.3 s]
/proc/loadavg: 4.21 4.13 4.10 5/264 344262
/proc/meminfo: memFree=128667304/131524600 swapFree=131071996/131071996
[pid=342182] ppid=342179 vsize=9932 memory=2792 CPUtime=1795.19 cores=4,6
/proc/342182/stat : 342182 (Hybrid-LSMabP+E) S 342179 342182 337861 0 -1 4194304 271 3304 0 0 0 0 170170 9349 20 0 1 0 62142124 10170368 698 134679101440 94289982447616 94289983526936 140723660635792 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94289985625392 94289985672580 94289992339456 140723660637162 140723660637307 140723660637307 140723660644322 0
/proc/342182/statm: 2483 698 609 264 0 134 0
[pid=343278] ppid=342182 vsize=8660 memory=996 CPUtime=0 cores=4,6
/proc/343278/stat : 343278 (timeout) S 342182 343278 337861 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62321925 8867840 249 134679101440 93835345764352 93835345799368 140726032602400 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 93835347896784 93835347898916 93835351187456 140726032606196 140726032606365 140726032606365 140726032613351 0
/proc/343278/statm: 2165 249 225 9 0 87 0
[pid=343279] ppid=343278 vsize=267904 memory=197528 CPUtime=1660.41 cores=4,6
/proc/343279/stat : 343279 (Exact) R 343278 343278 337861 0 -1 4194304 26638 0 0 0 166030 11 0 0 20 0 1 0 62321925 274333696 49382 134679101440 4194304 7243121 140728291287568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 2 0 0 7942632 8006904 18567168 140728291292176 140728291292326 140728291292326 140728291299312 0
/proc/343279/statm: 66976 49382 820 745 0 66041 0
Current children cumulated CPU time: 3455.6 s
Current children cumulated vsize: 286496 KiB
Current children cumulated memory: 201316 KiB

[startup+3522.3 s]
/proc/loadavg: 4.18 4.14 4.10 5/264 344273
/proc/meminfo: memFree=128661596/131524600 swapFree=131071996/131071996
[pid=342182] ppid=342179 vsize=9932 memory=2792 CPUtime=1795.19 cores=4,6
/proc/342182/stat : 342182 (Hybrid-LSMabP+E) S 342179 342182 337861 0 -1 4194304 271 3304 0 0 0 0 170170 9349 20 0 1 0 62142124 10170368 698 134679101440 94289982447616 94289983526936 140723660635792 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94289985625392 94289985672580 94289992339456 140723660637162 140723660637307 140723660637307 140723660644322 0
/proc/342182/statm: 2483 698 609 264 0 134 0
[pid=343278] ppid=342182 vsize=8660 memory=996 CPUtime=0 cores=4,6
/proc/343278/stat : 343278 (timeout) S 342182 343278 337861 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62321925 8867840 249 134679101440 93835345764352 93835345799368 140726032602400 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 93835347896784 93835347898916 93835351187456 140726032606196 140726032606365 140726032606365 140726032613351 0
/proc/343278/statm: 2165 249 225 9 0 87 0
[pid=343279] ppid=343278 vsize=268356 memory=197840 CPUtime=1720.28 cores=4,6
/proc/343279/stat : 343279 (Exact) R 343278 343278 337861 0 -1 4194304 26840 0 0 0 172017 11 0 0 20 0 1 0 62321925 274796544 49460 134679101440 4194304 7243121 140728291287568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 2 0 0 7942632 8006904 18567168 140728291292176 140728291292326 140728291292326 140728291299312 0
/proc/343279/statm: 67089 49460 820 745 0 66154 0
Current children cumulated CPU time: 3515.47 s
Current children cumulated vsize: 286948 KiB
Current children cumulated memory: 201628 KiB

[startup+3582.3 s]
/proc/loadavg: 4.16 4.14 4.10 6/264 344283
/proc/meminfo: memFree=128657964/131524600 swapFree=131071996/131071996
[pid=342182] ppid=342179 vsize=9932 memory=2792 CPUtime=1795.19 cores=4,6
/proc/342182/stat : 342182 (Hybrid-LSMabP+E) S 342179 342182 337861 0 -1 4194304 271 3304 0 0 0 0 170170 9349 20 0 1 0 62142124 10170368 698 134679101440 94289982447616 94289983526936 140723660635792 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94289985625392 94289985672580 94289992339456 140723660637162 140723660637307 140723660637307 140723660644322 0
/proc/342182/statm: 2483 698 609 264 0 134 0
[pid=343278] ppid=342182 vsize=8660 memory=996 CPUtime=0 cores=4,6
/proc/343278/stat : 343278 (timeout) S 342182 343278 337861 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62321925 8867840 249 134679101440 93835345764352 93835345799368 140726032602400 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 93835347896784 93835347898916 93835351187456 140726032606196 140726032606365 140726032606365 140726032613351 0
/proc/343278/statm: 2165 249 225 9 0 87 0
[pid=343279] ppid=343278 vsize=268868 memory=199164 CPUtime=1780.14 cores=4,6
/proc/343279/stat : 343279 (Exact) R 343278 343278 337861 0 -1 4194304 27046 0 0 0 178003 11 0 0 20 0 1 0 62321925 275320832 49791 134679101440 4194304 7243121 140728291287568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 2 0 0 7942632 8006904 18567168 140728291292176 140728291292326 140728291292326 140728291299312 0
/proc/343279/statm: 67217 49791 820 745 0 66282 0
Current children cumulated CPU time: 3575.33 s
Current children cumulated vsize: 287460 KiB
Current children cumulated memory: 202952 KiB

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

# cumulated CPU time of all completed processes:  user=3495.43 s, system=93.6176 s

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

[startup+3584 s]*
/proc/loadavg: 4.23 4.15 4.10 5/264 344283
/proc/meminfo: memFree=128657992/131524600 swapFree=131071996/131071996
[pid=342182] ppid=342179 vsize=9932 memory=2792 CPUtime=1795.19 cores=4,6
/proc/342182/stat : 342182 (Hybrid-LSMabP+E) S 342179 342182 337861 0 -1 4194304 271 3304 0 0 0 0 170170 9349 20 0 1 0 62142124 10170368 698 134679101440 94289982447616 94289983526936 140723660635792 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94289985625392 94289985672580 94289992339456 140723660637162 140723660637307 140723660637307 140723660644322 0
/proc/342182/statm: 2483 698 609 264 0 134 0
[pid=343278] ppid=342182 vsize=8660 memory=996 CPUtime=0 cores=4,6
/proc/343278/stat : 343278 (timeout) S 342182 343278 337861 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62321925 8867840 249 134679101440 93835345764352 93835345799368 140726032602400 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 93835347896784 93835347898916 93835351187456 140726032606196 140726032606365 140726032606365 140726032613351 0
/proc/343278/statm: 2165 249 225 9 0 87 0
[pid=343279] ppid=343278 vsize=268868 memory=199164 CPUtime=1781.84 cores=4,6
/proc/343279/stat : 343279 (Exact) R 343278 343278 337861 0 -1 4194304 27049 0 0 0 178173 11 0 0 20 0 1 0 62321925 275320832 49791 134679101440 4194304 7243121 140728291287568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 2 0 0 7942632 8006904 18567168 140728291292176 140728291292326 140728291292326 140728291299312 0
/proc/343279/statm: 67217 49791 820 745 0 66282 0
Current children cumulated CPU time: 3577.03 s
Current children cumulated vsize: 287460 KiB
Current children cumulated memory: 202952 KiB

[startup+3590.4 s]
/proc/loadavg: 4.21 4.15 4.10 5/264 344284
/proc/meminfo: memFree=128657712/131524600 swapFree=131071996/131071996
[pid=342182] ppid=342179 vsize=9932 memory=2792 CPUtime=1795.19 cores=4,6
/proc/342182/stat : 342182 (Hybrid-LSMabP+E) S 342179 342182 337861 0 -1 4194304 271 3304 0 0 0 0 170170 9349 20 0 1 0 62142124 10170368 698 134679101440 94289982447616 94289983526936 140723660635792 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94289985625392 94289985672580 94289992339456 140723660637162 140723660637307 140723660637307 140723660644322 0
/proc/342182/statm: 2483 698 609 264 0 134 0
[pid=343278] ppid=342182 vsize=8660 memory=996 CPUtime=0 cores=4,6
/proc/343278/stat : 343278 (timeout) S 342182 343278 337861 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62321925 8867840 249 134679101440 93835345764352 93835345799368 140726032602400 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 93835347896784 93835347898916 93835351187456 140726032606196 140726032606365 140726032606365 140726032613351 0
/proc/343278/statm: 2165 249 225 9 0 87 0
[pid=343279] ppid=343278 vsize=269060 memory=199208 CPUtime=1788.22 cores=4,6
/proc/343279/stat : 343279 (Exact) R 343278 343278 337861 0 -1 4194304 27105 0 0 0 178811 11 0 0 20 0 1 0 62321925 275517440 49802 134679101440 4194304 7243121 140728291287568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 2 0 0 7942632 8006904 18567168 140728291292176 140728291292326 140728291292326 140728291299312 0
/proc/343279/statm: 67265 49802 820 745 0 66330 0
Current children cumulated CPU time: 3583.41 s
Current children cumulated vsize: 287652 KiB
Current children cumulated memory: 202996 KiB

[startup+3593.6 s]
/proc/loadavg: 4.21 4.15 4.10 5/264 344284
/proc/meminfo: memFree=128657704/131524600 swapFree=131071996/131071996
[pid=342182] ppid=342179 vsize=9932 memory=2792 CPUtime=1795.19 cores=4,6
/proc/342182/stat : 342182 (Hybrid-LSMabP+E) S 342179 342182 337861 0 -1 4194304 271 3304 0 0 0 0 170170 9349 20 0 1 0 62142124 10170368 698 134679101440 94289982447616 94289983526936 140723660635792 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94289985625392 94289985672580 94289992339456 140723660637162 140723660637307 140723660637307 140723660644322 0
/proc/342182/statm: 2483 698 609 264 0 134 0
[pid=343278] ppid=342182 vsize=8660 memory=996 CPUtime=0 cores=4,6
/proc/343278/stat : 343278 (timeout) S 342182 343278 337861 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62321925 8867840 249 134679101440 93835345764352 93835345799368 140726032602400 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 93835347896784 93835347898916 93835351187456 140726032606196 140726032606365 140726032606365 140726032613351 0
/proc/343278/statm: 2165 249 225 9 0 87 0
[pid=343279] ppid=343278 vsize=269060 memory=199208 CPUtime=1791.41 cores=4,6
/proc/343279/stat : 343279 (Exact) R 343278 343278 337861 0 -1 4194304 27105 0 0 0 179130 11 0 0 20 0 1 0 62321925 275517440 49802 134679101440 4194304 7243121 140728291287568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 2 0 0 7942632 8006904 18567168 140728291292176 140728291292326 140728291292326 140728291299312 0
/proc/343279/statm: 67265 49802 820 745 0 66330 0
Current children cumulated CPU time: 3586.6 s
Current children cumulated vsize: 287652 KiB
Current children cumulated memory: 202996 KiB

[startup+3595.2 s]
/proc/loadavg: 4.19 4.15 4.10 5/264 344284
/proc/meminfo: memFree=128657712/131524600 swapFree=131071996/131071996
[pid=342182] ppid=342179 vsize=9932 memory=2792 CPUtime=1795.19 cores=4,6
/proc/342182/stat : 342182 (Hybrid-LSMabP+E) S 342179 342182 337861 0 -1 4194304 271 3304 0 0 0 0 170170 9349 20 0 1 0 62142124 10170368 698 134679101440 94289982447616 94289983526936 140723660635792 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94289985625392 94289985672580 94289992339456 140723660637162 140723660637307 140723660637307 140723660644322 0
/proc/342182/statm: 2483 698 609 264 0 134 0
[pid=343278] ppid=342182 vsize=8660 memory=996 CPUtime=0 cores=4,6
/proc/343278/stat : 343278 (timeout) S 342182 343278 337861 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62321925 8867840 249 134679101440 93835345764352 93835345799368 140726032602400 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 93835347896784 93835347898916 93835351187456 140726032606196 140726032606365 140726032606365 140726032613351 0
/proc/343278/statm: 2165 249 225 9 0 87 0
[pid=343279] ppid=343278 vsize=269060 memory=199208 CPUtime=1793.01 cores=4,6
/proc/343279/stat : 343279 (Exact) R 343278 343278 337861 0 -1 4194304 27105 0 0 0 179290 11 0 0 20 0 1 0 62321925 275517440 49802 134679101440 4194304 7243121 140728291287568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 2 0 0 7942632 8006904 18567168 140728291292176 140728291292326 140728291292326 140728291299312 0
/proc/343279/statm: 67265 49802 820 745 0 66330 0
Current children cumulated CPU time: 3588.2 s
Current children cumulated vsize: 287652 KiB
Current children cumulated memory: 202996 KiB

[startup+3595.6 s]
/proc/loadavg: 4.19 4.15 4.10 5/264 344284
/proc/meminfo: memFree=128657712/131524600 swapFree=131071996/131071996
[pid=342182] ppid=342179 vsize=9932 memory=2792 CPUtime=1795.19 cores=4,6
/proc/342182/stat : 342182 (Hybrid-LSMabP+E) S 342179 342182 337861 0 -1 4194304 271 3304 0 0 0 0 170170 9349 20 0 1 0 62142124 10170368 698 134679101440 94289982447616 94289983526936 140723660635792 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94289985625392 94289985672580 94289992339456 140723660637162 140723660637307 140723660637307 140723660644322 0
/proc/342182/statm: 2483 698 609 264 0 134 0
[pid=343278] ppid=342182 vsize=8660 memory=996 CPUtime=0 cores=4,6
/proc/343278/stat : 343278 (timeout) S 342182 343278 337861 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62321925 8867840 249 134679101440 93835345764352 93835345799368 140726032602400 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 93835347896784 93835347898916 93835351187456 140726032606196 140726032606365 140726032606365 140726032613351 0
/proc/343278/statm: 2165 249 225 9 0 87 0
[pid=343279] ppid=343278 vsize=269060 memory=199208 CPUtime=1793.41 cores=4,6
/proc/343279/stat : 343279 (Exact) R 343278 343278 337861 0 -1 4194304 27105 0 0 0 179330 11 0 0 20 0 1 0 62321925 275517440 49802 134679101440 4194304 7243121 140728291287568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 2 0 0 7942632 8006904 18567168 140728291292176 140728291292326 140728291292326 140728291299312 0
/proc/343279/statm: 67265 49802 820 745 0 66330 0
Current children cumulated CPU time: 3588.6 s
Current children cumulated vsize: 287652 KiB
Current children cumulated memory: 202996 KiB

[startup+3596 s]*
/proc/loadavg: 4.19 4.15 4.10 5/264 344286
/proc/meminfo: memFree=128657656/131524600 swapFree=131071996/131071996
[pid=342182] ppid=342179 vsize=9932 memory=2792 CPUtime=1795.19 cores=4,6
/proc/342182/stat : 342182 (Hybrid-LSMabP+E) S 342179 342182 337861 0 -1 4194304 271 3304 0 0 0 0 170170 9349 20 0 1 0 62142124 10170368 698 134679101440 94289982447616 94289983526936 140723660635792 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94289985625392 94289985672580 94289992339456 140723660637162 140723660637307 140723660637307 140723660644322 0
/proc/342182/statm: 2483 698 609 264 0 134 0
[pid=343278] ppid=342182 vsize=8660 memory=996 CPUtime=0 cores=4,6
/proc/343278/stat : 343278 (timeout) S 342182 343278 337861 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62321925 8867840 249 134679101440 93835345764352 93835345799368 140726032602400 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 93835347896784 93835347898916 93835351187456 140726032606196 140726032606365 140726032606365 140726032613351 0
/proc/343278/statm: 2165 249 225 9 0 87 0
[pid=343279] ppid=343278 vsize=269060 memory=199208 CPUtime=1793.81 cores=4,6
/proc/343279/stat : 343279 (Exact) R 343278 343278 337861 0 -1 4194304 27105 0 0 0 179370 11 0 0 20 0 1 0 62321925 275517440 49802 134679101440 4194304 7243121 140728291287568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 2 0 0 7942632 8006904 18567168 140728291292176 140728291292326 140728291292326 140728291299312 0
/proc/343279/statm: 67265 49802 820 745 0 66330 0
Current children cumulated CPU time: 3589 s
Current children cumulated vsize: 287652 KiB
Current children cumulated memory: 202996 KiB

Child status: 0

Real time (s): 3596.02
CPU time (s): 3589.05
CPU user time (s): 3495.43
CPU system time (s): 93.6176
CPU usage (%): 99.806
Max. virtual memory (cumulated for all children) (KiB): 368192
Max. memory (cumulated for all children) (KiB): 270152

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3495.43
system time used= 93.6176
maximum resident set size= 274556
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33701
page faults= 0
swaps= 0
block input operations= 0
block output operations= 336
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 113
involuntary context switches= 1647


# summary of solver processes directly reported to runsolver:
#   pid: 342182
#   total CPU time (s): 3589.05
#   total CPU user time (s): 3495.43
#   total CPU system time (s): 93.6176

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.42011 second user time and 15.2399 second system time

The end