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: 63665 MiB (62409 MiB free)
  memory of node 1: 64507 MiB (62687 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4486044-1751306286/watcher-4486044-1751306286 -o /tmp/evaluation-result-4486044-1751306286/solver-4486044-1751306286 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751302914-42550 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4486044-1751306286.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=43386, runsolver pid=43383

[startup+0.100058 s]*
/proc/loadavg: 6.15 6.12 6.18 7/267 43387
/proc/meminfo: memFree=128098744/131250000 swapFree=33010684/33010684
[pid=43386] ppid=43383 vsize=41360 memory=6784 CPUtime=0.09 cores=4,6
/proc/43386/stat : 43386 (LSIPExact) R 43383 43386 42536 0 -1 4194304 683 0 0 0 9 0 0 0 20 0 1 0 46308853 42352640 1696 18446744073709551615 94685666295808 94685693552209 140733423152208 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94685702055048 94685702486656 94685713563648 140733423159642 140733423159818 140733423159818 140733423165420 0
/proc/43386/statm: 10340 1696 1184 6655 0 575 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 41360 KiB
Current children cumulated memory: 6784 KiB

[startup+0.205574 s]*
/proc/loadavg: 6.15 6.12 6.18 7/267 43387
/proc/meminfo: memFree=128098744/131250000 swapFree=33010684/33010684
[pid=43386] ppid=43383 vsize=41360 memory=6784 CPUtime=0.2 cores=4,6
/proc/43386/stat : 43386 (LSIPExact) R 43383 43386 42536 0 -1 4194304 683 0 0 0 20 0 0 0 20 0 1 0 46308853 42352640 1696 18446744073709551615 94685666295808 94685693552209 140733423152208 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94685702055048 94685702486656 94685713563648 140733423159642 140733423159818 140733423159818 140733423165420 0
/proc/43386/statm: 10340 1696 1184 6655 0 575 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 41360 KiB
Current children cumulated memory: 6784 KiB

[startup+0.305233 s]*
/proc/loadavg: 6.15 6.12 6.18 7/267 43387
/proc/meminfo: memFree=128098744/131250000 swapFree=33010684/33010684
[pid=43386] ppid=43383 vsize=41360 memory=6784 CPUtime=0.3 cores=4,6
/proc/43386/stat : 43386 (LSIPExact) R 43383 43386 42536 0 -1 4194304 683 0 0 0 30 0 0 0 20 0 1 0 46308853 42352640 1696 18446744073709551615 94685666295808 94685693552209 140733423152208 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94685702055048 94685702486656 94685713563648 140733423159642 140733423159818 140733423159818 140733423165420 0
/proc/43386/statm: 10340 1696 1184 6655 0 575 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 41360 KiB
Current children cumulated memory: 6784 KiB

[startup+0.700114 s]
/proc/loadavg: 6.15 6.12 6.18 7/267 43387
/proc/meminfo: memFree=128098744/131250000 swapFree=33010684/33010684
[pid=43386] ppid=43383 vsize=41360 memory=6784 CPUtime=0.68 cores=4,6
/proc/43386/stat : 43386 (LSIPExact) R 43383 43386 42536 0 -1 4194304 683 0 0 0 68 0 0 0 20 0 1 0 46308853 42352640 1696 18446744073709551615 94685666295808 94685693552209 140733423152208 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94685702055048 94685702486656 94685713563648 140733423159642 140733423159818 140733423159818 140733423165420 0
/proc/43386/statm: 10340 1696 1184 6655 0 575 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 41360 KiB
Current children cumulated memory: 6784 KiB

[startup+1.50011 s]
/proc/loadavg: 6.15 6.12 6.18 7/267 43387
/proc/meminfo: memFree=128098744/131250000 swapFree=33010684/33010684
[pid=43386] ppid=43383 vsize=41360 memory=6784 CPUtime=1.48 cores=4,6
/proc/43386/stat : 43386 (LSIPExact) R 43383 43386 42536 0 -1 4194304 683 0 0 0 148 0 0 0 20 0 1 0 46308853 42352640 1696 18446744073709551615 94685666295808 94685693552209 140733423152208 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94685702055048 94685702486656 94685713563648 140733423159642 140733423159818 140733423159818 140733423165420 0
/proc/43386/statm: 10340 1696 1184 6655 0 575 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 41360 KiB
Current children cumulated memory: 6784 KiB

[startup+3.10537 s]
/proc/loadavg: 6.15 6.12 6.18 7/267 43387
/proc/meminfo: memFree=128098996/131250000 swapFree=33010684/33010684
[pid=43386] ppid=43383 vsize=41360 memory=6784 CPUtime=3.09 cores=4,6
/proc/43386/stat : 43386 (LSIPExact) R 43383 43386 42536 0 -1 4194304 686 0 0 0 309 0 0 0 20 0 1 0 46308853 42352640 1696 18446744073709551615 94685666295808 94685693552209 140733423152208 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94685702055048 94685702486656 94685713563648 140733423159642 140733423159818 140733423159818 140733423165420 0
/proc/43386/statm: 10340 1696 1184 6655 0 575 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 41360 KiB
Current children cumulated memory: 6784 KiB

[startup+6.30012 s]
/proc/loadavg: 6.14 6.12 6.18 7/267 43387
/proc/meminfo: memFree=128094900/131250000 swapFree=33010684/33010684
[pid=43386] ppid=43383 vsize=41360 memory=6912 CPUtime=6.27 cores=4,6
/proc/43386/stat : 43386 (LSIPExact) R 43383 43386 42536 0 -1 4194304 687 0 0 0 627 0 0 0 20 0 1 0 46308853 42352640 1728 18446744073709551615 94685666295808 94685693552209 140733423152208 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94685702055048 94685702486656 94685713563648 140733423159642 140733423159818 140733423159818 140733423165420 0
/proc/43386/statm: 10340 1728 1184 6655 0 575 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 41360 KiB
Current children cumulated memory: 6912 KiB

[startup+12.7002 s]
/proc/loadavg: 6.13 6.12 6.18 8/268 43389
/proc/meminfo: memFree=128071220/131250000 swapFree=33010684/33010684
[pid=43386] ppid=43383 vsize=131008 memory=39268 CPUtime=15.26 cores=4,6
/proc/43386/stat : 43386 (LSIPExact) R 43383 43386 42536 0 -1 4194304 6085 0 0 0 1525 1 0 0 20 0 2 0 46308853 134152192 9817 18446744073709551615 94685666295808 94685693552209 140733423152208 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94685702055048 94685702486656 94685713563648 140733423159642 140733423159818 140733423159818 140733423165420 0
/proc/43386/statm: 32752 9817 3584 6655 0 8178 0
[pid=43386/tid=43388] ppid=43383 vsize=131008 memory=-6154003322034557284 CPUtime=2.59 cores=4,6
/proc/43386/task/43388/stat : 43388 (LSIPExact) R 43383 43386 42536 0 -1 4194368 1551 0 0 0 259 0 0 0 20 0 2 0 46309854 134152192 9817 18446744073709551615 94685666295808 94685693552209 140733423152208 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94685702055048 94685702486656 94685713563648 140733423159642 140733423159818 140733423159818 140733423165420 0
Current children cumulated CPU time: 15.26 s
Current children cumulated vsize: 131008 KiB
Current children cumulated memory: 39268 KiB

[startup+25.5002 s]
/proc/loadavg: 6.32 6.16 6.19 8/268 43389
/proc/meminfo: memFree=128059564/131250000 swapFree=33010684/33010684
[pid=43386] ppid=43383 vsize=131008 memory=40932 CPUtime=40.7 cores=4,6
/proc/43386/stat : 43386 (LSIPExact) R 43383 43386 42536 0 -1 4194304 14191 0 0 0 4068 2 0 0 20 0 2 0 46308853 134152192 10233 18446744073709551615 94685666295808 94685693552209 140733423152208 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94685702055048 94685702486656 94685713563648 140733423159642 140733423159818 140733423159818 140733423165420 0
/proc/43386/statm: 32752 10233 3584 6655 0 8440 0
[pid=43386/tid=43388] ppid=43383 vsize=131008 memory=40932 CPUtime=15.27 cores=4,6
/proc/43386/task/43388/stat : 43388 (LSIPExact) R 43383 43386 42536 0 -1 4194368 5027 0 0 0 1526 1 0 0 20 0 2 0 46309854 134152192 10233 18446744073709551615 94685666295808 94685693552209 140733423152208 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94685702055048 94685702486656 94685713563648 140733423159642 140733423159818 140733423159818 140733423165420 0
Current children cumulated CPU time: 40.7 s
Current children cumulated vsize: 131008 KiB
Current children cumulated memory: 40932 KiB

[startup+51.1056 s]
/proc/loadavg: 6.62 6.25 6.22 8/268 43389
/proc/meminfo: memFree=128059832/131250000 swapFree=33010684/33010684
[pid=43386] ppid=43383 vsize=138172 memory=46052 CPUtime=90.85 cores=4,6
/proc/43386/stat : 43386 (LSIPExact) R 43383 43386 42536 0 -1 4194304 17593 0 0 0 9082 3 0 0 20 0 2 0 46308853 141488128 11513 18446744073709551615 94685666295808 94685693552209 140733423152208 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94685702055048 94685702486656 94685713563648 140733423159642 140733423159818 140733423159818 140733423165420 0
/proc/43386/statm: 34543 11513 3648 6655 0 10264 0
[pid=43386/tid=43388] ppid=43383 vsize=138172 memory=46052 CPUtime=39.96 cores=4,6
/proc/43386/task/43388/stat : 43388 (LSIPExact) R 43383 43386 42536 0 -1 4194368 5234 0 0 0 3995 1 0 0 20 0 2 0 46309854 141488128 11513 18446744073709551615 94685666295808 94685693552209 140733423152208 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94685702055048 94685702486656 94685713563648 140733423159642 140733423159818 140733423159818 140733423165420 0
Current children cumulated CPU time: 90.85 s
Current children cumulated vsize: 138172 KiB
Current children cumulated memory: 46052 KiB

[startup+102.3 s]
/proc/loadavg: 6.89 6.38 6.27 8/266 43392
/proc/meminfo: memFree=128039352/131250000 swapFree=33010684/33010684
[pid=43386] ppid=43383 vsize=138172 memory=48100 CPUtime=192.6 cores=4,6
/proc/43386/stat : 43386 (LSIPExact) R 43383 43386 42536 0 -1 4194304 27262 0 0 0 19256 4 0 0 20 0 2 0 46308853 141488128 12025 18446744073709551615 94685666295808 94685693552209 140733423152208 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94685702055048 94685702486656 94685713563648 140733423159642 140733423159818 140733423159818 140733423165420 0
/proc/43386/statm: 34543 12025 3648 6655 0 10771 0
[pid=43386/tid=43388] ppid=43383 vsize=138172 memory=47972 CPUtime=90.66 cores=4,6
/proc/43386/task/43388/stat : 43388 (LSIPExact) R 43383 43386 42536 0 -1 4194368 9924 0 0 0 9065 1 0 0 20 0 2 0 46309854 141488128 12025 18446744073709551615 94685666295808 94685693552209 140733423152208 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94685702055048 94685702486656 94685713563648 140733423159642 140733423159818 140733423159818 140733423165420 0
Current children cumulated CPU time: 192.6 s
Current children cumulated vsize: 138172 KiB
Current children cumulated memory: 48100 KiB

[startup+162.3 s]
/proc/loadavg: 7.00 6.51 6.32 8/267 43395
/proc/meminfo: memFree=128025548/131250000 swapFree=33010684/33010684
[pid=43386] ppid=43383 vsize=138172 memory=49764 CPUtime=311.87 cores=4,6
/proc/43386/stat : 43386 (LSIPExact) R 43383 43386 42536 0 -1 4194304 32909 0 0 0 31181 6 0 0 20 0 2 0 46308853 141488128 12441 18446744073709551615 94685666295808 94685693552209 140733423152208 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94685702055048 94685702486656 94685713563648 140733423159642 140733423159818 140733423159818 140733423165420 0
/proc/43386/statm: 34543 12441 3648 6655 0 11108 0
[pid=43386/tid=43388] ppid=43383 vsize=138172 memory=49636 CPUtime=150.1 cores=4,6
/proc/43386/task/43388/stat : 43388 (LSIPExact) R 43383 43386 42536 0 -1 4194368 12984 0 0 0 15008 2 0 0 20 0 2 0 46309854 141488128 12441 18446744073709551615 94685666295808 94685693552209 140733423152208 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94685702055048 94685702486656 94685713563648 140733423159642 140733423159818 140733423159818 140733423165420 0
Current children cumulated CPU time: 311.87 s
Current children cumulated vsize: 138172 KiB
Current children cumulated memory: 49764 KiB

[startup+222.3 s]
/proc/loadavg: 7.11 6.63 6.38 8/267 43408
/proc/meminfo: memFree=128001328/131250000 swapFree=33010684/33010684
[pid=43386] ppid=43383 vsize=138172 memory=50660 CPUtime=431.14 cores=4,6
/proc/43386/stat : 43386 (LSIPExact) R 43383 43386 42536 0 -1 4194304 38650 0 0 0 43107 7 0 0 20 0 2 0 46308853 141488128 12665 18446744073709551615 94685666295808 94685693552209 140733423152208 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94685702055048 94685702486656 94685713563648 140733423159642 140733423159818 140733423159818 140733423165420 0
/proc/43386/statm: 34543 12665 3648 6655 0 11237 0
[pid=43386/tid=43388] ppid=43383 vsize=138172 memory=50148 CPUtime=209.53 cores=4,6
/proc/43386/task/43388/stat : 43388 (LSIPExact) R 43383 43386 42536 0 -1 4194368 15871 0 0 0 20950 3 0 0 20 0 2 0 46309854 141488128 12665 18446744073709551615 94685666295808 94685693552209 140733423152208 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94685702055048 94685702486656 94685713563648 140733423159642 140733423159818 140733423159818 140733423165420 0
Current children cumulated CPU time: 431.14 s
Current children cumulated vsize: 138172 KiB
Current children cumulated memory: 50660 KiB

[startup+282.3 s]
/proc/loadavg: 6.82 6.65 6.40 7/267 43412
/proc/meminfo: memFree=127966428/131250000 swapFree=33010684/33010684
[pid=43386] ppid=43383 vsize=139444 memory=53860 CPUtime=550.41 cores=4,6
/proc/43386/stat : 43386 (LSIPExact) R 43383 43386 42536 0 -1 4194304 45256 0 0 0 55033 8 0 0 20 0 2 0 46308853 142790656 13465 18446744073709551615 94685666295808 94685693552209 140733423152208 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94685702055048 94685702486656 94685713563648 140733423159642 140733423159818 140733423159818 140733423165420 0
/proc/43386/statm: 34861 13465 3648 6655 0 11736 0
[pid=43386/tid=43388] ppid=43383 vsize=139444 memory=53860 CPUtime=268.96 cores=4,6
/proc/43386/task/43388/stat : 43388 (LSIPExact) R 43383 43386 42536 0 -1 4194368 18712 0 0 0 26893 3 0 0 20 0 2 0 46309854 142790656 13465 18446744073709551615 94685666295808 94685693552209 140733423152208 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94685702055048 94685702486656 94685713563648 140733423159642 140733423159818 140733423159818 140733423165420 0
Current children cumulated CPU time: 550.41 s
Current children cumulated vsize: 139444 KiB
Current children cumulated memory: 53860 KiB

[startup+342.3 s]
/proc/loadavg: 6.29 6.53 6.38 7/267 43509
/proc/meminfo: memFree=127622692/131250000 swapFree=33010684/33010684
[pid=43386] ppid=43383 vsize=140032 memory=55012 CPUtime=669.65 cores=4,6
/proc/43386/stat : 43386 (LSIPExact) R 43383 43386 42536 0 -1 4194304 46843 0 0 0 66957 8 0 0 20 0 2 0 46308853 143392768 13753 18446744073709551615 94685666295808 94685693552209 140733423152208 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94685702055048 94685702486656 94685713563648 140733423159642 140733423159818 140733423159818 140733423165420 0
/proc/43386/statm: 35008 13753 3648 6655 0 12080 0
[pid=43386/tid=43388] ppid=43383 vsize=140032 memory=54500 CPUtime=328.41 cores=4,6
/proc/43386/task/43388/stat : 43388 (LSIPExact) R 43383 43386 42536 0 -1 4194368 19933 0 0 0 32838 3 0 0 20 0 2 0 46309854 143392768 13753 18446744073709551615 94685666295808 94685693552209 140733423152208 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94685702055048 94685702486656 94685713563648 140733423159642 140733423159818 140733423159818 140733423165420 0
Current children cumulated CPU time: 669.65 s
Current children cumulated vsize: 140032 KiB
Current children cumulated memory: 55012 KiB

[startup+402.3 s]

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

Current children cumulated memory: 275952 KiB

[startup+1722.3 s]
/proc/loadavg: 7.16 7.22 7.03 8/268 43764
/proc/meminfo: memFree=128731216/131250000 swapFree=33010684/33010684
[pid=43386] ppid=43383 vsize=163224 memory=79392 CPUtime=2760.43 cores=4,6
/proc/43386/stat : 43386 (LSIPExact) S 43383 43386 42536 0 -1 4194304 84902 227 0 0 276010 33 0 0 20 0 1 0 46308853 167141376 19848 18446744073709551615 94685666295808 94685693552209 140733423152208 0 0 0 0 0 16386 1 0 0 17 4 0 0 0 0 0 94685702055048 94685702486656 94685713563648 140733423159642 140733423159818 140733423159818 140733423165420 0
/proc/43386/statm: 40806 19848 3680 6655 0 23802 0
[pid=43746] ppid=43386 vsize=230908 memory=207544 CPUtime=321.98 cores=4,6
/proc/43746/stat : 43746 (Exact) R 43386 43746 43746 0 -1 4194304 39646 0 0 0 32105 93 0 0 20 0 1 0 46448806 236449792 51886 18446744073709551615 4198400 8335837 140724230450464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 44597248 140724230457524 140724230457885 140724230457885 140724230463439 0
/proc/43746/statm: 57727 51886 1152 1011 0 56494 0
Current children cumulated CPU time: 3082.41 s
Current children cumulated vsize: 394132 KiB
Current children cumulated memory: 286936 KiB

[startup+1782.3 s]
/proc/loadavg: 7.06 7.18 7.02 8/268 43766
/proc/meminfo: memFree=128718576/131250000 swapFree=33010684/33010684
[pid=43386] ppid=43383 vsize=163224 memory=79392 CPUtime=2760.43 cores=4,6
/proc/43386/stat : 43386 (LSIPExact) S 43383 43386 42536 0 -1 4194304 84902 227 0 0 276010 33 0 0 20 0 1 0 46308853 167141376 19848 18446744073709551615 94685666295808 94685693552209 140733423152208 0 0 0 0 0 16386 1 0 0 17 4 0 0 0 0 0 94685702055048 94685702486656 94685713563648 140733423159642 140733423159818 140733423159818 140733423165420 0
/proc/43386/statm: 40806 19848 3680 6655 0 23802 0
[pid=43746] ppid=43386 vsize=302996 memory=245868 CPUtime=381.83 cores=4,6
/proc/43746/stat : 43746 (Exact) R 43386 43746 43746 0 -1 4194304 45158 0 0 0 38073 110 0 0 20 0 1 0 46448806 310267904 61467 18446744073709551615 4198400 8335837 140724230450464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 44597248 140724230457524 140724230457885 140724230457885 140724230463439 0
/proc/43746/statm: 75749 61467 1152 1011 0 74516 0
Current children cumulated CPU time: 3142.26 s
Current children cumulated vsize: 466220 KiB
Current children cumulated memory: 325260 KiB

[startup+1842.3 s]
/proc/loadavg: 7.06 7.16 7.02 8/267 43768
/proc/meminfo: memFree=128700928/131250000 swapFree=33010684/33010684
[pid=43386] ppid=43383 vsize=163224 memory=79392 CPUtime=2760.43 cores=4,6
/proc/43386/stat : 43386 (LSIPExact) S 43383 43386 42536 0 -1 4194304 84902 227 0 0 276010 33 0 0 20 0 1 0 46308853 167141376 19848 18446744073709551615 94685666295808 94685693552209 140733423152208 0 0 0 0 0 16386 1 0 0 17 4 0 0 0 0 0 94685702055048 94685702486656 94685713563648 140733423159642 140733423159818 140733423159818 140733423165420 0
/proc/43386/statm: 40806 19848 3680 6655 0 23802 0
[pid=43746] ppid=43386 vsize=310072 memory=265788 CPUtime=441.67 cores=4,6
/proc/43746/stat : 43746 (Exact) R 43386 43746 43746 0 -1 4194304 46535 0 0 0 44027 140 0 0 20 0 1 0 46448806 317513728 66447 18446744073709551615 4198400 8335837 140724230450464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 44597248 140724230457524 140724230457885 140724230457885 140724230463439 0
/proc/43746/statm: 77518 66447 1152 1011 0 76285 0
Current children cumulated CPU time: 3202.1 s
Current children cumulated vsize: 473296 KiB
Current children cumulated memory: 345180 KiB

[startup+1902.3 s]
/proc/loadavg: 7.12 7.16 7.03 8/267 43770
/proc/meminfo: memFree=128698796/131250000 swapFree=33010684/33010684
[pid=43386] ppid=43383 vsize=163224 memory=79392 CPUtime=2760.43 cores=4,6
/proc/43386/stat : 43386 (LSIPExact) S 43383 43386 42536 0 -1 4194304 84902 227 0 0 276010 33 0 0 20 0 1 0 46308853 167141376 19848 18446744073709551615 94685666295808 94685693552209 140733423152208 0 0 0 0 0 16386 1 0 0 17 4 0 0 0 0 0 94685702055048 94685702486656 94685713563648 140733423159642 140733423159818 140733423159818 140733423165420 0
/proc/43386/statm: 40806 19848 3680 6655 0 23802 0
[pid=43746] ppid=43386 vsize=311048 memory=266684 CPUtime=501.53 cores=4,6
/proc/43746/stat : 43746 (Exact) R 43386 43746 43746 0 -1 4194304 46768 0 0 0 49994 159 0 0 20 0 1 0 46448806 318513152 66671 18446744073709551615 4198400 8335837 140724230450464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 44597248 140724230457524 140724230457885 140724230457885 140724230463439 0
/proc/43746/statm: 77762 66671 1152 1011 0 76529 0
Current children cumulated CPU time: 3261.96 s
Current children cumulated vsize: 474272 KiB
Current children cumulated memory: 346076 KiB

[startup+1962.3 s]
/proc/loadavg: 7.10 7.14 7.03 8/266 43772
/proc/meminfo: memFree=128679568/131250000 swapFree=33010684/33010684
[pid=43386] ppid=43383 vsize=163224 memory=79392 CPUtime=2760.43 cores=4,6
/proc/43386/stat : 43386 (LSIPExact) S 43383 43386 42536 0 -1 4194304 84902 227 0 0 276010 33 0 0 20 0 1 0 46308853 167141376 19848 18446744073709551615 94685666295808 94685693552209 140733423152208 0 0 0 0 0 16386 1 0 0 17 4 0 0 0 0 0 94685702055048 94685702486656 94685713563648 140733423159642 140733423159818 140733423159818 140733423165420 0
/proc/43386/statm: 40806 19848 3680 6655 0 23802 0
[pid=43746] ppid=43386 vsize=318068 memory=273852 CPUtime=561.39 cores=4,6
/proc/43746/stat : 43746 (Exact) R 43386 43746 43746 0 -1 4194304 48569 0 0 0 55960 179 0 0 20 0 1 0 46448806 325701632 68463 18446744073709551615 4198400 8335837 140724230450464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 44597248 140724230457524 140724230457885 140724230457885 140724230463439 0
/proc/43746/statm: 79517 68463 1152 1011 0 78284 0
Current children cumulated CPU time: 3321.82 s
Current children cumulated vsize: 481292 KiB
Current children cumulated memory: 353244 KiB

[startup+2022.3 s]
/proc/loadavg: 7.11 7.13 7.03 8/266 43774
/proc/meminfo: memFree=128674336/131250000 swapFree=33010684/33010684
[pid=43386] ppid=43383 vsize=163224 memory=79392 CPUtime=2760.43 cores=4,6
/proc/43386/stat : 43386 (LSIPExact) S 43383 43386 42536 0 -1 4194304 84902 227 0 0 276010 33 0 0 20 0 1 0 46308853 167141376 19848 18446744073709551615 94685666295808 94685693552209 140733423152208 0 0 0 0 0 16386 1 0 0 17 4 0 0 0 0 0 94685702055048 94685702486656 94685713563648 140733423159642 140733423159818 140733423159818 140733423165420 0
/proc/43386/statm: 40806 19848 3680 6655 0 23802 0
[pid=43746] ppid=43386 vsize=322720 memory=278460 CPUtime=621.23 cores=4,6
/proc/43746/stat : 43746 (Exact) R 43386 43746 43746 0 -1 4194304 49861 0 0 0 61930 193 0 0 20 0 1 0 46448806 330465280 69615 18446744073709551615 4198400 8335837 140724230450464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 44597248 140724230457524 140724230457885 140724230457885 140724230463439 0
/proc/43746/statm: 80680 69615 1152 1011 0 79447 0
Current children cumulated CPU time: 3381.66 s
Current children cumulated vsize: 485944 KiB
Current children cumulated memory: 357852 KiB

[startup+2082.3 s]
/proc/loadavg: 7.09 7.12 7.03 8/265 43776
/proc/meminfo: memFree=128651004/131250000 swapFree=33010684/33010684
[pid=43386] ppid=43383 vsize=163224 memory=83104 CPUtime=2760.43 cores=4,6
/proc/43386/stat : 43386 (LSIPExact) S 43383 43386 42536 0 -1 4194304 84902 227 0 0 276010 33 0 0 20 0 1 0 46308853 167141376 20776 18446744073709551615 94685666295808 94685693552209 140733423152208 0 0 0 0 0 16386 1 0 0 17 4 0 0 0 0 0 94685702055048 94685702486656 94685713563648 140733423159642 140733423159818 140733423159818 140733423165420 0
/proc/43386/statm: 40806 20776 3680 6655 0 23802 0
[pid=43746] ppid=43386 vsize=334152 memory=296020 CPUtime=681.09 cores=4,6
/proc/43746/stat : 43746 (Exact) R 43386 43746 43746 0 -1 4194304 52722 0 0 0 67896 213 0 0 20 0 1 0 46448806 342171648 74005 18446744073709551615 4198400 8335837 140724230450464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 44597248 140724230457524 140724230457885 140724230457885 140724230463439 0
/proc/43746/statm: 83538 74005 1152 1011 0 82305 0
Current children cumulated CPU time: 3441.52 s
Current children cumulated vsize: 497376 KiB
Current children cumulated memory: 379124 KiB

[startup+2142.3 s]
/proc/loadavg: 6.89 7.08 7.02 7/265 43780
/proc/meminfo: memFree=128458044/131250000 swapFree=33010684/33010684
[pid=43386] ppid=43383 vsize=163224 memory=83104 CPUtime=2760.43 cores=4,6
/proc/43386/stat : 43386 (LSIPExact) S 43383 43386 42536 0 -1 4194304 84902 227 0 0 276010 33 0 0 20 0 1 0 46308853 167141376 20776 18446744073709551615 94685666295808 94685693552209 140733423152208 0 0 0 0 0 16386 1 0 0 17 4 0 0 0 0 0 94685702055048 94685702486656 94685713563648 140733423159642 140733423159818 140733423159818 140733423165420 0
/proc/43386/statm: 40806 20776 3680 6655 0 23802 0
[pid=43746] ppid=43386 vsize=360528 memory=322528 CPUtime=740.95 cores=4,6
/proc/43746/stat : 43746 (Exact) R 43386 43746 43746 0 -1 4194304 54338 0 0 0 73854 241 0 0 20 0 1 0 46448806 369180672 80632 18446744073709551615 4198400 8335837 140724230450464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 44597248 140724230457524 140724230457885 140724230457885 140724230463439 0
/proc/43746/statm: 90132 80632 1152 1011 0 88899 0
Current children cumulated CPU time: 3501.38 s
Current children cumulated vsize: 523752 KiB
Current children cumulated memory: 405632 KiB

[startup+2202.3 s]
/proc/loadavg: 6.41 6.91 6.96 7/266 43832
/proc/meminfo: memFree=128421464/131250000 swapFree=33010684/33010684
[pid=43386] ppid=43383 vsize=163224 memory=83104 CPUtime=2760.43 cores=4,6
/proc/43386/stat : 43386 (LSIPExact) S 43383 43386 42536 0 -1 4194304 84902 227 0 0 276010 33 0 0 20 0 1 0 46308853 167141376 20776 18446744073709551615 94685666295808 94685693552209 140733423152208 0 0 0 0 0 16386 1 0 0 17 4 0 0 0 0 0 94685702055048 94685702486656 94685713563648 140733423159642 140733423159818 140733423159818 140733423165420 0
/proc/43386/statm: 40806 20776 3680 6655 0 23802 0
[pid=43746] ppid=43386 vsize=380508 memory=338660 CPUtime=800.79 cores=4,6
/proc/43746/stat : 43746 (Exact) R 43386 43746 43746 0 -1 4194304 55835 0 0 0 79819 260 0 0 20 0 1 0 46448806 389640192 84665 18446744073709551615 4198400 8335837 140724230450464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 44597248 140724230457524 140724230457885 140724230457885 140724230463439 0
/proc/43746/statm: 95127 84665 1152 1011 0 93894 0
Current children cumulated CPU time: 3561.22 s
Current children cumulated vsize: 543732 KiB
Current children cumulated memory: 421764 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2241.2 s]
/proc/loadavg: 6.50 6.86 6.94 8/266 43879
/proc/meminfo: memFree=128587808/131250000 swapFree=33010684/33010684
[pid=43386] ppid=43383 vsize=163224 memory=83104 CPUtime=2760.43 cores=4,6
/proc/43386/stat : 43386 (LSIPExact) S 43383 43386 42536 0 -1 4194304 84902 227 0 0 276010 33 0 0 20 0 1 0 46308853 167141376 20776 18446744073709551615 94685666295808 94685693552209 140733423152208 0 0 0 0 0 16386 1 0 0 17 4 0 0 0 0 0 94685702055048 94685702486656 94685713563648 140733423159642 140733423159818 140733423159818 140733423165420 0
/proc/43386/statm: 40806 20776 3680 6655 0 23802 0
[pid=43746] ppid=43386 vsize=380508 memory=338660 CPUtime=839.59 cores=4,6
/proc/43746/stat : 43746 (Exact) R 43386 43746 43746 0 -1 4194304 55974 0 0 0 83690 269 0 0 20 0 1 0 46448806 389640192 84665 18446744073709551615 4198400 8335837 140724230450464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 44597248 140724230457524 140724230457885 140724230457885 140724230463439 0
/proc/43746/statm: 95127 84665 1152 1011 0 93894 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 543732 KiB
Current children cumulated memory: 421764 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

# cumulated CPU time of all completed processes:  user=3597.02 s, system=3.03833 s

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

[startup+2241.3 s]
/proc/loadavg: 6.50 6.86 6.94 8/266 43879
/proc/meminfo: memFree=128587808/131250000 swapFree=33010684/33010684
[pid=43386] ppid=43383 vsize=163224 memory=83104 CPUtime=2760.43 cores=4,6
/proc/43386/stat : 43386 (LSIPExact) S 43383 43386 42536 0 -1 4194304 84902 362 0 0 276010 33 0 0 20 0 1 0 46308853 167141376 20776 18446744073709551615 94685666295808 94685693552209 140733423152208 0 0 0 16384 0 16386 1 0 0 17 6 0 0 0 0 0 94685702055048 94685702486656 94685713563648 140733423159642 140733423159818 140733423159818 140733423165420 0
/proc/43386/statm: 40806 20776 3680 6655 0 23802 0
Current children cumulated CPU time: 2760.43 s
Current children cumulated vsize: 163224 KiB
Current children cumulated memory: 83104 KiB

Child status: 0

Real time (s): 2241.32
CPU time (s): 3600.06
CPU user time (s): 3597.02
CPU system time (s): 3.03833
CPU usage (%): 160.622
Max. virtual memory (cumulated for all children) (KiB): 543732
Max. memory (cumulated for all children) (KiB): 421764

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.02
system time used= 3.03833
maximum resident set size= 338660
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 141380
page faults= 0
swaps= 0
block input operations= 224
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 674
involuntary context switches= 40701


# summary of solver processes directly reported to runsolver:
#   pid: 43386
#   total CPU time (s): 3600.06
#   total CPU user time (s): 3597.02
#   total CPU system time (s): 3.03833

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.26457 second user time and 9.20235 second system time

The end