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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4437478-1722954714/watcher-4437478-1722954714 -o /tmp/evaluation-result-4437478-1722954714/solver-4437478-1722954714 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1722948202-333019 --watchdog 3760 --use-pty ./Hybrid-LSMabP+Exact HOME/instance-4437478-1722954714.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
solver pid=337052, runsolver pid=337049
Current StackSize limit: 8192 KiB


[startup+0.100084 s]*
/proc/loadavg: 4.17 4.17 4.12 5/265 337056
/proc/meminfo: memFree=121035292/131524600 swapFree=131071216/131071996
[pid=337052] ppid=337049 vsize=9932 memory=2752 CPUtime=0 cores=4,6
/proc/337052/stat : 337052 (Hybrid-LSMabP+E) S 337049 337052 333008 0 -1 4194304 238 102 0 0 0 0 0 0 20 0 1 0 62069672 10170368 688 134679101440 94023901028352 94023902107672 140724438410656 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94023904206128 94023904253316 94023923572736 140724438414314 140724438414459 140724438414459 140724438421474 0
/proc/337052/statm: 2483 688 610 264 0 134 0
[pid=337055] ppid=337052 vsize=8660 memory=1012 CPUtime=0 cores=4,6
/proc/337055/stat : 337055 (timeout) S 337052 337055 333008 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62069672 8867840 253 134679101440 94820123971584 94820124006600 140726474982640 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94820126104016 94820126106148 94820127019008 140726474990627 140726474990749 140726474990749 140726474997735 0
/proc/337055/statm: 2165 253 229 9 0 87 0
[pid=337056] ppid=337055 vsize=21508 memory=9288 CPUtime=0.1 cores=4,6
/proc/337056/stat : 337056 (LS-MabP) R 337055 337055 333008 0 -1 4194304 960 0 0 0 10 0 0 0 20 0 1 0 62069672 22024192 2322 134679101440 4194304 15467897 140723964649984 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 52109312 140723964658743 140723964658852 140723964658852 140723964665838 0
/proc/337056/statm: 5377 2322 1105 2753 0 2030 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 40100 KiB
Current children cumulated memory: 13052 KiB

[startup+0.205482 s]*
/proc/loadavg: 4.17 4.17 4.12 5/265 337056
/proc/meminfo: memFree=121033780/131524600 swapFree=131071216/131071996
[pid=337052] ppid=337049 vsize=9932 memory=2752 CPUtime=0 cores=4,6
/proc/337052/stat : 337052 (Hybrid-LSMabP+E) S 337049 337052 333008 0 -1 4194304 238 102 0 0 0 0 0 0 20 0 1 0 62069672 10170368 688 134679101440 94023901028352 94023902107672 140724438410656 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94023904206128 94023904253316 94023923572736 140724438414314 140724438414459 140724438414459 140724438421474 0
/proc/337052/statm: 2483 688 610 264 0 134 0
[pid=337055] ppid=337052 vsize=8660 memory=1012 CPUtime=0 cores=4,6
/proc/337055/stat : 337055 (timeout) S 337052 337055 333008 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62069672 8867840 253 134679101440 94820123971584 94820124006600 140726474982640 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94820126104016 94820126106148 94820127019008 140726474990627 140726474990749 140726474990749 140726474997735 0
/proc/337055/statm: 2165 253 229 9 0 87 0
[pid=337056] ppid=337055 vsize=22668 memory=10536 CPUtime=0.2 cores=4,6
/proc/337056/stat : 337056 (LS-MabP) R 337055 337055 333008 0 -1 4194304 2277 0 0 0 20 0 0 0 20 0 1 0 62069672 23212032 2634 134679101440 4194304 15467897 140723964649984 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 52109312 140723964658743 140723964658852 140723964658852 140723964665838 0
/proc/337056/statm: 5667 2634 1169 2753 0 2320 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 41260 KiB
Current children cumulated memory: 14300 KiB

[startup+0.304405 s]*
/proc/loadavg: 4.17 4.17 4.12 5/265 337056
/proc/meminfo: memFree=121033640/131524600 swapFree=131071216/131071996
[pid=337052] ppid=337049 vsize=9932 memory=2752 CPUtime=0 cores=4,6
/proc/337052/stat : 337052 (Hybrid-LSMabP+E) S 337049 337052 333008 0 -1 4194304 238 102 0 0 0 0 0 0 20 0 1 0 62069672 10170368 688 134679101440 94023901028352 94023902107672 140724438410656 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94023904206128 94023904253316 94023923572736 140724438414314 140724438414459 140724438414459 140724438421474 0
/proc/337052/statm: 2483 688 610 264 0 134 0
[pid=337055] ppid=337052 vsize=8660 memory=1012 CPUtime=0 cores=4,6
/proc/337055/stat : 337055 (timeout) S 337052 337055 333008 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62069672 8867840 253 134679101440 94820123971584 94820124006600 140726474982640 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94820126104016 94820126106148 94820127019008 140726474990627 140726474990749 140726474990749 140726474997735 0
/proc/337055/statm: 2165 253 229 9 0 87 0
[pid=337056] ppid=337055 vsize=22528 memory=10536 CPUtime=0.3 cores=4,6
/proc/337056/stat : 337056 (LS-MabP) R 337055 337055 333008 0 -1 4194304 2701 0 0 0 29 1 0 0 20 0 1 0 62069672 23068672 2634 134679101440 4194304 15467897 140723964649984 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 52109312 140723964658743 140723964658852 140723964658852 140723964665838 0
/proc/337056/statm: 5632 2634 1169 2753 0 2285 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 41120 KiB
Current children cumulated memory: 14300 KiB

[startup+0.700188 s]
/proc/loadavg: 4.17 4.17 4.12 6/265 337056
/proc/meminfo: memFree=121033472/131524600 swapFree=131071216/131071996
[pid=337052] ppid=337049 vsize=9932 memory=2752 CPUtime=0 cores=4,6
/proc/337052/stat : 337052 (Hybrid-LSMabP+E) S 337049 337052 333008 0 -1 4194304 238 102 0 0 0 0 0 0 20 0 1 0 62069672 10170368 688 134679101440 94023901028352 94023902107672 140724438410656 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94023904206128 94023904253316 94023923572736 140724438414314 140724438414459 140724438414459 140724438421474 0
/proc/337052/statm: 2483 688 610 264 0 134 0
[pid=337055] ppid=337052 vsize=8660 memory=1012 CPUtime=0 cores=4,6
/proc/337055/stat : 337055 (timeout) S 337052 337055 333008 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62069672 8867840 253 134679101440 94820123971584 94820124006600 140726474982640 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94820126104016 94820126106148 94820127019008 140726474990627 140726474990749 140726474990749 140726474997735 0
/proc/337055/statm: 2165 253 229 9 0 87 0
[pid=337056] ppid=337055 vsize=22528 memory=10536 CPUtime=0.68 cores=4,6
/proc/337056/stat : 337056 (LS-MabP) R 337055 337055 333008 0 -1 4194304 2788 0 0 0 65 3 0 0 20 0 1 0 62069672 23068672 2634 134679101440 4194304 15467897 140723964649984 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 52109312 140723964658743 140723964658852 140723964658852 140723964665838 0
/proc/337056/statm: 5632 2634 1169 2753 0 2285 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 41120 KiB
Current children cumulated memory: 14300 KiB

[startup+1.50019 s]
/proc/loadavg: 4.17 4.17 4.12 5/265 337056
/proc/meminfo: memFree=121033388/131524600 swapFree=131071216/131071996
[pid=337052] ppid=337049 vsize=9932 memory=2752 CPUtime=0 cores=4,6
/proc/337052/stat : 337052 (Hybrid-LSMabP+E) S 337049 337052 333008 0 -1 4194304 238 102 0 0 0 0 0 0 20 0 1 0 62069672 10170368 688 134679101440 94023901028352 94023902107672 140724438410656 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94023904206128 94023904253316 94023923572736 140724438414314 140724438414459 140724438414459 140724438421474 0
/proc/337052/statm: 2483 688 610 264 0 134 0
[pid=337055] ppid=337052 vsize=8660 memory=1012 CPUtime=0 cores=4,6
/proc/337055/stat : 337055 (timeout) S 337052 337055 333008 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62069672 8867840 253 134679101440 94820123971584 94820124006600 140726474982640 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94820126104016 94820126106148 94820127019008 140726474990627 140726474990749 140726474990749 140726474997735 0
/proc/337055/statm: 2165 253 229 9 0 87 0
[pid=337056] ppid=337055 vsize=22528 memory=10536 CPUtime=1.49 cores=4,6
/proc/337056/stat : 337056 (LS-MabP) R 337055 337055 333008 0 -1 4194304 2788 0 0 0 142 7 0 0 20 0 1 0 62069672 23068672 2634 134679101440 4194304 15467897 140723964649984 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 52109312 140723964658743 140723964658852 140723964658852 140723964665838 0
/proc/337056/statm: 5632 2634 1169 2753 0 2285 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 41120 KiB
Current children cumulated memory: 14300 KiB

[startup+3.10426 s]
/proc/loadavg: 4.23 4.18 4.12 5/265 337056
/proc/meminfo: memFree=121033332/131524600 swapFree=131071216/131071996
[pid=337052] ppid=337049 vsize=9932 memory=2752 CPUtime=0 cores=4,6
/proc/337052/stat : 337052 (Hybrid-LSMabP+E) S 337049 337052 333008 0 -1 4194304 238 102 0 0 0 0 0 0 20 0 1 0 62069672 10170368 688 134679101440 94023901028352 94023902107672 140724438410656 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94023904206128 94023904253316 94023923572736 140724438414314 140724438414459 140724438414459 140724438421474 0
/proc/337052/statm: 2483 688 610 264 0 134 0
[pid=337055] ppid=337052 vsize=8660 memory=1012 CPUtime=0 cores=4,6
/proc/337055/stat : 337055 (timeout) S 337052 337055 333008 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62069672 8867840 253 134679101440 94820123971584 94820124006600 140726474982640 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94820126104016 94820126106148 94820127019008 140726474990627 140726474990749 140726474990749 140726474997735 0
/proc/337055/statm: 2165 253 229 9 0 87 0
[pid=337056] ppid=337055 vsize=22528 memory=10536 CPUtime=3.09 cores=4,6
/proc/337056/stat : 337056 (LS-MabP) R 337055 337055 333008 0 -1 4194304 2875 0 0 0 293 16 0 0 20 0 1 0 62069672 23068672 2634 134679101440 4194304 15467897 140723964649984 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 52109312 140723964658743 140723964658852 140723964658852 140723964665838 0
/proc/337056/statm: 5632 2634 1169 2753 0 2285 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 41120 KiB
Current children cumulated memory: 14300 KiB

[startup+6.30019 s]
/proc/loadavg: 4.23 4.18 4.12 5/265 337056
/proc/meminfo: memFree=121033312/131524600 swapFree=131071216/131071996
[pid=337052] ppid=337049 vsize=9932 memory=2752 CPUtime=0 cores=4,6
/proc/337052/stat : 337052 (Hybrid-LSMabP+E) S 337049 337052 333008 0 -1 4194304 238 102 0 0 0 0 0 0 20 0 1 0 62069672 10170368 688 134679101440 94023901028352 94023902107672 140724438410656 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94023904206128 94023904253316 94023923572736 140724438414314 140724438414459 140724438414459 140724438421474 0
/proc/337052/statm: 2483 688 610 264 0 134 0
[pid=337055] ppid=337052 vsize=8660 memory=1012 CPUtime=0 cores=4,6
/proc/337055/stat : 337055 (timeout) S 337052 337055 333008 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62069672 8867840 253 134679101440 94820123971584 94820124006600 140726474982640 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94820126104016 94820126106148 94820127019008 140726474990627 140726474990749 140726474990749 140726474997735 0
/proc/337055/statm: 2165 253 229 9 0 87 0
[pid=337056] ppid=337055 vsize=22528 memory=10536 CPUtime=6.27 cores=4,6
/proc/337056/stat : 337056 (LS-MabP) R 337055 337055 333008 0 -1 4194304 2875 0 0 0 595 32 0 0 20 0 1 0 62069672 23068672 2634 134679101440 4194304 15467897 140723964649984 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 52109312 140723964658743 140723964658852 140723964658852 140723964665838 0
/proc/337056/statm: 5632 2634 1169 2753 0 2285 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 41120 KiB
Current children cumulated memory: 14300 KiB

[startup+12.7002 s]
/proc/loadavg: 4.21 4.18 4.12 6/265 337057
/proc/meminfo: memFree=121029636/131524600 swapFree=131071216/131071996
[pid=337052] ppid=337049 vsize=9932 memory=2752 CPUtime=0 cores=4,6
/proc/337052/stat : 337052 (Hybrid-LSMabP+E) S 337049 337052 333008 0 -1 4194304 238 102 0 0 0 0 0 0 20 0 1 0 62069672 10170368 688 134679101440 94023901028352 94023902107672 140724438410656 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94023904206128 94023904253316 94023923572736 140724438414314 140724438414459 140724438414459 140724438421474 0
/proc/337052/statm: 2483 688 610 264 0 134 0
[pid=337055] ppid=337052 vsize=8660 memory=1012 CPUtime=0 cores=4,6
/proc/337055/stat : 337055 (timeout) S 337052 337055 333008 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62069672 8867840 253 134679101440 94820123971584 94820124006600 140726474982640 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94820126104016 94820126106148 94820127019008 140726474990627 140726474990749 140726474990749 140726474997735 0
/proc/337055/statm: 2165 253 229 9 0 87 0
[pid=337056] ppid=337055 vsize=22528 memory=10536 CPUtime=12.66 cores=4,6
/proc/337056/stat : 337056 (LS-MabP) R 337055 337055 333008 0 -1 4194304 2875 0 0 0 1202 64 0 0 20 0 1 0 62069672 23068672 2634 134679101440 4194304 15467897 140723964649984 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 52109312 140723964658743 140723964658852 140723964658852 140723964665838 0
/proc/337056/statm: 5632 2634 1169 2753 0 2285 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 41120 KiB
Current children cumulated memory: 14300 KiB

[startup+25.5002 s]
/proc/loadavg: 4.17 4.17 4.12 5/265 337059
/proc/meminfo: memFree=121029404/131524600 swapFree=131071216/131071996
[pid=337052] ppid=337049 vsize=9932 memory=2752 CPUtime=0 cores=4,6
/proc/337052/stat : 337052 (Hybrid-LSMabP+E) S 337049 337052 333008 0 -1 4194304 238 102 0 0 0 0 0 0 20 0 1 0 62069672 10170368 688 134679101440 94023901028352 94023902107672 140724438410656 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94023904206128 94023904253316 94023923572736 140724438414314 140724438414459 140724438414459 140724438421474 0
/proc/337052/statm: 2483 688 610 264 0 134 0
[pid=337055] ppid=337052 vsize=8660 memory=1012 CPUtime=0 cores=4,6
/proc/337055/stat : 337055 (timeout) S 337052 337055 333008 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62069672 8867840 253 134679101440 94820123971584 94820124006600 140726474982640 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94820126104016 94820126106148 94820127019008 140726474990627 140726474990749 140726474990749 140726474997735 0
/proc/337055/statm: 2165 253 229 9 0 87 0
[pid=337056] ppid=337055 vsize=22528 memory=10536 CPUtime=25.44 cores=4,6
/proc/337056/stat : 337056 (LS-MabP) R 337055 337055 333008 0 -1 4194304 2875 0 0 0 2417 127 0 0 20 0 1 0 62069672 23068672 2634 134679101440 4194304 15467897 140723964649984 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 52109312 140723964658743 140723964658852 140723964658852 140723964665838 0
/proc/337056/statm: 5632 2634 1169 2753 0 2285 0
Current children cumulated CPU time: 25.44 s
Current children cumulated vsize: 41120 KiB
Current children cumulated memory: 14300 KiB

[startup+51.1043 s]
/proc/loadavg: 4.17 4.17 4.12 5/265 337063
/proc/meminfo: memFree=121024816/131524600 swapFree=131071216/131071996
[pid=337052] ppid=337049 vsize=9932 memory=2752 CPUtime=0 cores=4,6
/proc/337052/stat : 337052 (Hybrid-LSMabP+E) S 337049 337052 333008 0 -1 4194304 238 102 0 0 0 0 0 0 20 0 1 0 62069672 10170368 688 134679101440 94023901028352 94023902107672 140724438410656 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94023904206128 94023904253316 94023923572736 140724438414314 140724438414459 140724438414459 140724438421474 0
/proc/337052/statm: 2483 688 610 264 0 134 0
[pid=337055] ppid=337052 vsize=8660 memory=1012 CPUtime=0 cores=4,6
/proc/337055/stat : 337055 (timeout) S 337052 337055 333008 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62069672 8867840 253 134679101440 94820123971584 94820124006600 140726474982640 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94820126104016 94820126106148 94820127019008 140726474990627 140726474990749 140726474990749 140726474997735 0
/proc/337055/statm: 2165 253 229 9 0 87 0
[pid=337056] ppid=337055 vsize=22528 memory=10536 CPUtime=51.01 cores=4,6
/proc/337056/stat : 337056 (LS-MabP) R 337055 337055 333008 0 -1 4194304 2875 0 0 0 4843 258 0 0 20 0 1 0 62069672 23068672 2634 134679101440 4194304 15467897 140723964649984 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 52109312 140723964658743 140723964658852 140723964658852 140723964665838 0
/proc/337056/statm: 5632 2634 1169 2753 0 2285 0
Current children cumulated CPU time: 51.01 s
Current children cumulated vsize: 41120 KiB
Current children cumulated memory: 14300 KiB

[startup+102.3 s]
/proc/loadavg: 4.17 4.17 4.12 5/264 337072
/proc/meminfo: memFree=121004012/131524600 swapFree=131071216/131071996
[pid=337052] ppid=337049 vsize=9932 memory=2752 CPUtime=0 cores=4,6
/proc/337052/stat : 337052 (Hybrid-LSMabP+E) S 337049 337052 333008 0 -1 4194304 238 102 0 0 0 0 0 0 20 0 1 0 62069672 10170368 688 134679101440 94023901028352 94023902107672 140724438410656 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94023904206128 94023904253316 94023923572736 140724438414314 140724438414459 140724438414459 140724438421474 0

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

/proc/338092/statm: 53135 51872 820 745 0 52200 0
Current children cumulated CPU time: 3394.5 s
Current children cumulated vsize: 231132 KiB
Current children cumulated memory: 211312 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.16 4.14 5/266 339033
/proc/meminfo: memFree=124424412/131524600 swapFree=131071216/131071996
[pid=337052] ppid=337049 vsize=9932 memory=2800 CPUtime=1794.59 cores=4,6
/proc/337052/stat : 337052 (Hybrid-LSMabP+E) S 337049 337052 333008 0 -1 4194304 268 3215 0 0 0 0 170272 9187 20 0 1 0 62069672 10170368 700 134679101440 94023901028352 94023902107672 140724438410656 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94023904206128 94023904253316 94023923572736 140724438414314 140724438414459 140724438414459 140724438421474 0
/proc/337052/statm: 2483 700 610 264 0 134 0
[pid=338091] ppid=337052 vsize=8660 memory=1024 CPUtime=0 cores=4,6
/proc/338091/stat : 338091 (timeout) S 337052 338091 333008 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62249473 8867840 256 134679101440 94549128118272 94549128153288 140727322959856 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94549130250704 94549130252836 94549159280640 140727322964980 140727322965149 140727322965149 140727322972135 0
/proc/338091/statm: 2165 256 231 9 0 87 0
[pid=338092] ppid=338091 vsize=214396 memory=209116 CPUtime=1659.77 cores=4,6
/proc/338092/stat : 338092 (Exact) R 338091 338091 333008 0 -1 4194304 28092 0 0 0 165967 10 0 0 20 0 1 0 62249473 219541504 52279 134679101440 4194304 7243121 140721265676464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7942632 8006904 13828096 140721265685520 140721265685670 140721265685670 140721265692656 0
/proc/338092/statm: 53599 52279 820 745 0 52664 0
Current children cumulated CPU time: 3454.36 s
Current children cumulated vsize: 232988 KiB
Current children cumulated memory: 212940 KiB

[startup+3522.3 s]
/proc/loadavg: 4.16 4.16 4.14 5/266 339099
/proc/meminfo: memFree=124413020/131524600 swapFree=131071216/131071996
[pid=337052] ppid=337049 vsize=9932 memory=2800 CPUtime=1794.59 cores=4,6
/proc/337052/stat : 337052 (Hybrid-LSMabP+E) S 337049 337052 333008 0 -1 4194304 268 3215 0 0 0 0 170272 9187 20 0 1 0 62069672 10170368 700 134679101440 94023901028352 94023902107672 140724438410656 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94023904206128 94023904253316 94023923572736 140724438414314 140724438414459 140724438414459 140724438421474 0
/proc/337052/statm: 2483 700 610 264 0 134 0
[pid=338091] ppid=337052 vsize=8660 memory=1024 CPUtime=0 cores=4,6
/proc/338091/stat : 338091 (timeout) S 337052 338091 333008 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62249473 8867840 256 134679101440 94549128118272 94549128153288 140727322959856 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94549130250704 94549130252836 94549159280640 140727322964980 140727322965149 140727322965149 140727322972135 0
/proc/338091/statm: 2165 256 231 9 0 87 0
[pid=338092] ppid=338091 vsize=215424 memory=209928 CPUtime=1719.63 cores=4,6
/proc/338092/stat : 338092 (Exact) R 338091 338091 333008 0 -1 4194304 28434 0 0 0 171953 10 0 0 20 0 1 0 62249473 220594176 52482 134679101440 4194304 7243121 140721265676464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7942632 8006904 13828096 140721265685520 140721265685670 140721265685670 140721265692656 0
/proc/338092/statm: 53856 52482 820 745 0 52921 0
Current children cumulated CPU time: 3514.22 s
Current children cumulated vsize: 234016 KiB
Current children cumulated memory: 213752 KiB

[startup+3582.3 s]
/proc/loadavg: 4.51 4.26 4.18 5/266 339110
/proc/meminfo: memFree=124409016/131524600 swapFree=131071216/131071996
[pid=337052] ppid=337049 vsize=9932 memory=2800 CPUtime=1794.59 cores=4,6
/proc/337052/stat : 337052 (Hybrid-LSMabP+E) S 337049 337052 333008 0 -1 4194304 268 3215 0 0 0 0 170272 9187 20 0 1 0 62069672 10170368 700 134679101440 94023901028352 94023902107672 140724438410656 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94023904206128 94023904253316 94023923572736 140724438414314 140724438414459 140724438414459 140724438421474 0
/proc/337052/statm: 2483 700 610 264 0 134 0
[pid=338091] ppid=337052 vsize=8660 memory=1024 CPUtime=0 cores=4,6
/proc/338091/stat : 338091 (timeout) S 337052 338091 333008 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62249473 8867840 256 134679101440 94549128118272 94549128153288 140727322959856 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94549130250704 94549130252836 94549159280640 140727322964980 140727322965149 140727322965149 140727322972135 0
/proc/338091/statm: 2165 256 231 9 0 87 0
[pid=338092] ppid=338091 vsize=216512 memory=211264 CPUtime=1779.51 cores=4,6
/proc/338092/stat : 338092 (Exact) R 338091 338091 333008 0 -1 4194304 28785 0 0 0 177940 11 0 0 20 0 1 0 62249473 221708288 52816 134679101440 4194304 7243121 140721265676464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7942632 8006904 13828096 140721265685520 140721265685670 140721265685670 140721265692656 0
/proc/338092/statm: 54128 52816 852 745 0 53193 0
Current children cumulated CPU time: 3574.1 s
Current children cumulated vsize: 235104 KiB
Current children cumulated memory: 215088 KiB

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

# cumulated CPU time of all completed processes:  user=3495.82 s, system=91.9957 s

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

[startup+3584 s]*
/proc/loadavg: 4.47 4.25 4.18 5/266 339110
/proc/meminfo: memFree=124409016/131524600 swapFree=131071216/131071996
[pid=337052] ppid=337049 vsize=9932 memory=2800 CPUtime=1794.59 cores=4,6
/proc/337052/stat : 337052 (Hybrid-LSMabP+E) S 337049 337052 333008 0 -1 4194304 268 3215 0 0 0 0 170272 9187 20 0 1 0 62069672 10170368 700 134679101440 94023901028352 94023902107672 140724438410656 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94023904206128 94023904253316 94023923572736 140724438414314 140724438414459 140724438414459 140724438421474 0
/proc/337052/statm: 2483 700 610 264 0 134 0
[pid=338091] ppid=337052 vsize=8660 memory=1024 CPUtime=0 cores=4,6
/proc/338091/stat : 338091 (timeout) S 337052 338091 333008 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62249473 8867840 256 134679101440 94549128118272 94549128153288 140727322959856 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94549130250704 94549130252836 94549159280640 140727322964980 140727322965149 140727322965149 140727322972135 0
/proc/338091/statm: 2165 256 231 9 0 87 0
[pid=338092] ppid=338091 vsize=216512 memory=211264 CPUtime=1781.21 cores=4,6
/proc/338092/stat : 338092 (Exact) R 338091 338091 333008 0 -1 4194304 28785 0 0 0 178110 11 0 0 20 0 1 0 62249473 221708288 52816 134679101440 4194304 7243121 140721265676464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7942632 8006904 13828096 140721265685520 140721265685670 140721265685670 140721265692656 0
/proc/338092/statm: 54128 52816 852 745 0 53193 0
Current children cumulated CPU time: 3575.8 s
Current children cumulated vsize: 235104 KiB
Current children cumulated memory: 215088 KiB

[startup+3590.4 s]
/proc/loadavg: 4.43 4.25 4.18 5/266 339111
/proc/meminfo: memFree=124408492/131524600 swapFree=131071216/131071996
[pid=337052] ppid=337049 vsize=9932 memory=2800 CPUtime=1794.59 cores=4,6
/proc/337052/stat : 337052 (Hybrid-LSMabP+E) S 337049 337052 333008 0 -1 4194304 268 3215 0 0 0 0 170272 9187 20 0 1 0 62069672 10170368 700 134679101440 94023901028352 94023902107672 140724438410656 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94023904206128 94023904253316 94023923572736 140724438414314 140724438414459 140724438414459 140724438421474 0
/proc/337052/statm: 2483 700 610 264 0 134 0
[pid=338091] ppid=337052 vsize=8660 memory=1024 CPUtime=0 cores=4,6
/proc/338091/stat : 338091 (timeout) S 337052 338091 333008 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62249473 8867840 256 134679101440 94549128118272 94549128153288 140727322959856 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94549130250704 94549130252836 94549159280640 140727322964980 140727322965149 140727322965149 140727322972135 0
/proc/338091/statm: 2165 256 231 9 0 87 0
[pid=338092] ppid=338091 vsize=216512 memory=211264 CPUtime=1787.59 cores=4,6
/proc/338092/stat : 338092 (Exact) R 338091 338091 333008 0 -1 4194304 28786 0 0 0 178748 11 0 0 20 0 1 0 62249473 221708288 52816 134679101440 4194304 7243121 140721265676464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7942632 8006904 13828096 140721265685520 140721265685670 140721265685670 140721265692656 0
/proc/338092/statm: 54128 52816 852 745 0 53193 0
Current children cumulated CPU time: 3582.18 s
Current children cumulated vsize: 235104 KiB
Current children cumulated memory: 215088 KiB

[startup+3593.6 s]
/proc/loadavg: 4.43 4.25 4.18 5/266 339111
/proc/meminfo: memFree=124408468/131524600 swapFree=131071216/131071996
[pid=337052] ppid=337049 vsize=9932 memory=2800 CPUtime=1794.59 cores=4,6
/proc/337052/stat : 337052 (Hybrid-LSMabP+E) S 337049 337052 333008 0 -1 4194304 268 3215 0 0 0 0 170272 9187 20 0 1 0 62069672 10170368 700 134679101440 94023901028352 94023902107672 140724438410656 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94023904206128 94023904253316 94023923572736 140724438414314 140724438414459 140724438414459 140724438421474 0
/proc/337052/statm: 2483 700 610 264 0 134 0
[pid=338091] ppid=337052 vsize=8660 memory=1024 CPUtime=0 cores=4,6
/proc/338091/stat : 338091 (timeout) S 337052 338091 333008 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62249473 8867840 256 134679101440 94549128118272 94549128153288 140727322959856 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94549130250704 94549130252836 94549159280640 140727322964980 140727322965149 140727322965149 140727322972135 0
/proc/338091/statm: 2165 256 231 9 0 87 0
[pid=338092] ppid=338091 vsize=216512 memory=211264 CPUtime=1790.78 cores=4,6
/proc/338092/stat : 338092 (Exact) R 338091 338091 333008 0 -1 4194304 28786 0 0 0 179067 11 0 0 20 0 1 0 62249473 221708288 52816 134679101440 4194304 7243121 140721265676464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7942632 8006904 13828096 140721265685520 140721265685670 140721265685670 140721265692656 0
/proc/338092/statm: 54128 52816 852 745 0 53193 0
Current children cumulated CPU time: 3585.37 s
Current children cumulated vsize: 235104 KiB
Current children cumulated memory: 215088 KiB

[startup+3595.2 s]
/proc/loadavg: 4.40 4.24 4.18 5/266 339111
/proc/meminfo: memFree=124408476/131524600 swapFree=131071216/131071996
[pid=337052] ppid=337049 vsize=9932 memory=2800 CPUtime=1794.59 cores=4,6
/proc/337052/stat : 337052 (Hybrid-LSMabP+E) S 337049 337052 333008 0 -1 4194304 268 3215 0 0 0 0 170272 9187 20 0 1 0 62069672 10170368 700 134679101440 94023901028352 94023902107672 140724438410656 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94023904206128 94023904253316 94023923572736 140724438414314 140724438414459 140724438414459 140724438421474 0
/proc/337052/statm: 2483 700 610 264 0 134 0
[pid=338091] ppid=337052 vsize=8660 memory=1024 CPUtime=0 cores=4,6
/proc/338091/stat : 338091 (timeout) S 337052 338091 333008 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62249473 8867840 256 134679101440 94549128118272 94549128153288 140727322959856 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94549130250704 94549130252836 94549159280640 140727322964980 140727322965149 140727322965149 140727322972135 0
/proc/338091/statm: 2165 256 231 9 0 87 0
[pid=338092] ppid=338091 vsize=216512 memory=211264 CPUtime=1792.38 cores=4,6
/proc/338092/stat : 338092 (Exact) R 338091 338091 333008 0 -1 4194304 28786 0 0 0 179227 11 0 0 20 0 1 0 62249473 221708288 52816 134679101440 4194304 7243121 140721265676464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7942632 8006904 13828096 140721265685520 140721265685670 140721265685670 140721265692656 0
/proc/338092/statm: 54128 52816 852 745 0 53193 0
Current children cumulated CPU time: 3586.97 s
Current children cumulated vsize: 235104 KiB
Current children cumulated memory: 215088 KiB

[startup+3595.6 s]
/proc/loadavg: 4.40 4.24 4.18 5/266 339111
/proc/meminfo: memFree=124408476/131524600 swapFree=131071216/131071996
[pid=337052] ppid=337049 vsize=9932 memory=2800 CPUtime=1794.59 cores=4,6
/proc/337052/stat : 337052 (Hybrid-LSMabP+E) S 337049 337052 333008 0 -1 4194304 268 3215 0 0 0 0 170272 9187 20 0 1 0 62069672 10170368 700 134679101440 94023901028352 94023902107672 140724438410656 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94023904206128 94023904253316 94023923572736 140724438414314 140724438414459 140724438414459 140724438421474 0
/proc/337052/statm: 2483 700 610 264 0 134 0
[pid=338091] ppid=337052 vsize=8660 memory=1024 CPUtime=0 cores=4,6
/proc/338091/stat : 338091 (timeout) S 337052 338091 333008 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62249473 8867840 256 134679101440 94549128118272 94549128153288 140727322959856 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94549130250704 94549130252836 94549159280640 140727322964980 140727322965149 140727322965149 140727322972135 0
/proc/338091/statm: 2165 256 231 9 0 87 0
[pid=338092] ppid=338091 vsize=216512 memory=211264 CPUtime=1792.78 cores=4,6
/proc/338092/stat : 338092 (Exact) R 338091 338091 333008 0 -1 4194304 28786 0 0 0 179267 11 0 0 20 0 1 0 62249473 221708288 52816 134679101440 4194304 7243121 140721265676464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7942632 8006904 13828096 140721265685520 140721265685670 140721265685670 140721265692656 0
/proc/338092/statm: 54128 52816 852 745 0 53193 0
Current children cumulated CPU time: 3587.37 s
Current children cumulated vsize: 235104 KiB
Current children cumulated memory: 215088 KiB

[startup+3596 s]*
/proc/loadavg: 4.40 4.24 4.18 5/266 339111
/proc/meminfo: memFree=124408500/131524600 swapFree=131071216/131071996
[pid=337052] ppid=337049 vsize=9932 memory=2800 CPUtime=1794.59 cores=4,6
/proc/337052/stat : 337052 (Hybrid-LSMabP+E) S 337049 337052 333008 0 -1 4194304 268 3215 0 0 0 0 170272 9187 20 0 1 0 62069672 10170368 700 134679101440 94023901028352 94023902107672 140724438410656 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94023904206128 94023904253316 94023923572736 140724438414314 140724438414459 140724438414459 140724438421474 0
/proc/337052/statm: 2483 700 610 264 0 134 0
[pid=338091] ppid=337052 vsize=8660 memory=1024 CPUtime=0 cores=4,6
/proc/338091/stat : 338091 (timeout) S 337052 338091 333008 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62249473 8867840 256 134679101440 94549128118272 94549128153288 140727322959856 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94549130250704 94549130252836 94549159280640 140727322964980 140727322965149 140727322965149 140727322972135 0
/proc/338091/statm: 2165 256 231 9 0 87 0
[pid=338092] ppid=338091 vsize=216512 memory=211264 CPUtime=1793.18 cores=4,6
/proc/338092/stat : 338092 (Exact) R 338091 338091 333008 0 -1 4194304 28786 0 0 0 179307 11 0 0 20 0 1 0 62249473 221708288 52816 134679101440 4194304 7243121 140721265676464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7942632 8006904 13828096 140721265685520 140721265685670 140721265685670 140721265692656 0
/proc/338092/statm: 54128 52816 852 745 0 53193 0
Current children cumulated CPU time: 3587.77 s
Current children cumulated vsize: 235104 KiB
Current children cumulated memory: 215088 KiB

Child status: 0

Real time (s): 3596.02
CPU time (s): 3587.82
CPU user time (s): 3495.82
CPU system time (s): 91.9957
CPU usage (%): 99.7718
Max. virtual memory (cumulated for all children) (KiB): 235104
Max. memory (cumulated for all children) (KiB): 215088

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3495.82
system time used= 91.9957
maximum resident set size= 211264
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35313
page faults= 0
swaps= 0
block input operations= 0
block output operations= 368
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 103
involuntary context switches= 3308


# summary of solver processes directly reported to runsolver:
#   pid: 337052
#   total CPU time (s): 3587.82
#   total CPU user time (s): 3495.82
#   total CPU system time (s): 91.9957

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.23898 second user time and 15.487 second system time

The end