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: 63794 MiB (63076 MiB free)
  memory of node 1: 64507 MiB (63730 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4490909-1751386099/watcher-4490909-1751386099 -o /tmp/evaluation-result-4490909-1751386099/solver-4490909-1751386099 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751386099-51669 --watchdog 3760 ./ExactPR --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4490909-1751386099.opb 

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=51719, runsolver pid=51710

[startup+0.100069 s]*
/proc/loadavg: 0.89 1.90 2.77 6/252 51728
/proc/meminfo: memFree=129842536/131382112 swapFree=33010684/33010684
[pid=51719] ppid=51710 vsize=52948 memory=12160 CPUtime=0.07 cores=4,6
/proc/51719/stat : 51719 (ExactPR) R 51710 51719 51658 0 -1 4194304 1499 0 0 0 6 1 0 0 20 0 1 0 54289648 54218752 3040 18446744073709551615 94781954580480 94781963880325 140730622257056 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94781965666624 94781965705704 94782007193600 140730622261637 140730622261772 140730622261772 140730622267374 0
/proc/51719/statm: 13237 3040 1792 2271 0 7875 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 52948 KiB
Current children cumulated memory: 12160 KiB

[startup+0.212797 s]*
/proc/loadavg: 0.89 1.90 2.77 6/252 51728
/proc/meminfo: memFree=129839192/131382112 swapFree=33010684/33010684
[pid=51719] ppid=51710 vsize=53040 memory=12140 CPUtime=0.19 cores=4,6
/proc/51719/stat : 51719 (ExactPR) R 51710 51719 51658 0 -1 4194304 1534 0 0 0 17 2 0 0 20 0 1 0 54289648 54312960 3035 18446744073709551615 94781954580480 94781963880325 140730622257056 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94781965666624 94781965705704 94782007193600 140730622261637 140730622261772 140730622261772 140730622267374 0
/proc/51719/statm: 13260 3035 1792 2271 0 7898 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 53040 KiB
Current children cumulated memory: 12140 KiB

[startup+0.312709 s]*
/proc/loadavg: 0.89 1.90 2.77 6/252 51728
/proc/meminfo: memFree=129839192/131382112 swapFree=33010684/33010684
[pid=51719] ppid=51710 vsize=54272 memory=13420 CPUtime=0.28 cores=4,6
/proc/51719/stat : 51719 (ExactPR) R 51710 51719 51658 0 -1 4194304 1825 0 0 0 26 2 0 0 20 0 1 0 54289648 55574528 3355 18446744073709551615 94781954580480 94781963880325 140730622257056 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94781965666624 94781965705704 94782007193600 140730622261637 140730622261772 140730622261772 140730622267374 0
/proc/51719/statm: 13568 3355 1824 2271 0 8206 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 54272 KiB
Current children cumulated memory: 13420 KiB

[startup+0.700257 s]
/proc/loadavg: 0.89 1.90 2.77 6/252 51728
/proc/meminfo: memFree=129838436/131382112 swapFree=33010684/33010684
[pid=51719] ppid=51710 vsize=54272 memory=13420 CPUtime=0.65 cores=4,6
/proc/51719/stat : 51719 (ExactPR) R 51710 51719 51658 0 -1 4194304 1833 0 0 0 54 11 0 0 20 0 1 0 54289648 55574528 3355 18446744073709551615 94781954580480 94781963880325 140730622257056 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94781965666624 94781965705704 94782007193600 140730622261637 140730622261772 140730622261772 140730622267374 0
/proc/51719/statm: 13568 3355 1824 2271 0 8206 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 54272 KiB
Current children cumulated memory: 13420 KiB

[startup+1.50026 s]
/proc/loadavg: 0.89 1.90 2.77 6/252 51728
/proc/meminfo: memFree=129838436/131382112 swapFree=33010684/33010684
[pid=51719] ppid=51710 vsize=54272 memory=13420 CPUtime=1.45 cores=4,6
/proc/51719/stat : 51719 (ExactPR) R 51710 51719 51658 0 -1 4194304 1833 0 0 0 116 29 0 0 20 0 1 0 54289648 55574528 3355 18446744073709551615 94781954580480 94781963880325 140730622257056 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94781965666624 94781965705704 94782007193600 140730622261637 140730622261772 140730622261772 140730622267374 0
/proc/51719/statm: 13568 3355 1824 2271 0 8206 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 54272 KiB
Current children cumulated memory: 13420 KiB

[startup+3.1122 s]
/proc/loadavg: 1.14 1.94 2.77 6/252 51728
/proc/meminfo: memFree=129838904/131382112 swapFree=33010684/33010684
[pid=51719] ppid=51710 vsize=54272 memory=13420 CPUtime=3.06 cores=4,6
/proc/51719/stat : 51719 (ExactPR) R 51710 51719 51658 0 -1 4194304 1833 0 0 0 240 66 0 0 20 0 1 0 54289648 55574528 3355 18446744073709551615 94781954580480 94781963880325 140730622257056 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94781965666624 94781965705704 94782007193600 140730622261637 140730622261772 140730622261772 140730622267374 0
/proc/51719/statm: 13568 3355 1824 2271 0 8206 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 54272 KiB
Current children cumulated memory: 13420 KiB

[startup+6.30025 s]
/proc/loadavg: 1.14 1.94 2.77 6/252 51728
/proc/meminfo: memFree=129838968/131382112 swapFree=33010684/33010684
[pid=51719] ppid=51710 vsize=54272 memory=13420 CPUtime=6.24 cores=4,6
/proc/51719/stat : 51719 (ExactPR) R 51710 51719 51658 0 -1 4194304 1833 0 0 0 477 147 0 0 20 0 1 0 54289648 55574528 3355 18446744073709551615 94781954580480 94781963880325 140730622257056 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94781965666624 94781965705704 94782007193600 140730622261637 140730622261772 140730622261772 140730622267374 0
/proc/51719/statm: 13568 3355 1824 2271 0 8206 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 54272 KiB
Current children cumulated memory: 13420 KiB

[startup+12.7002 s]
/proc/loadavg: 1.37 1.97 2.78 6/252 51728
/proc/meminfo: memFree=129839388/131382112 swapFree=33010684/33010684
[pid=51719] ppid=51710 vsize=54272 memory=13420 CPUtime=12.62 cores=4,6
/proc/51719/stat : 51719 (ExactPR) R 51710 51719 51658 0 -1 4194304 1833 0 0 0 938 324 0 0 20 0 1 0 54289648 55574528 3355 18446744073709551615 94781954580480 94781963880325 140730622257056 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94781965666624 94781965705704 94782007193600 140730622261637 140730622261772 140730622261772 140730622267374 0
/proc/51719/statm: 13568 3355 1824 2271 0 8206 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 54272 KiB
Current children cumulated memory: 13420 KiB

[startup+25.5003 s]
/proc/loadavg: 1.95 2.07 2.80 6/252 51729
/proc/meminfo: memFree=129839548/131382112 swapFree=33010684/33010684
[pid=51719] ppid=51710 vsize=54272 memory=13420 CPUtime=25.4 cores=4,6
/proc/51719/stat : 51719 (ExactPR) R 51710 51719 51658 0 -1 4194304 1833 0 0 0 1849 691 0 0 20 0 1 0 54289648 55574528 3355 18446744073709551615 94781954580480 94781963880325 140730622257056 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94781965666624 94781965705704 94782007193600 140730622261637 140730622261772 140730622261772 140730622267374 0
/proc/51719/statm: 13568 3355 1824 2271 0 8206 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 54272 KiB
Current children cumulated memory: 13420 KiB

[startup+51.112 s]
/proc/loadavg: 2.73 2.24 2.84 6/253 51730
/proc/meminfo: memFree=129839484/131382112 swapFree=33010684/33010684
[pid=51719] ppid=51710 vsize=54272 memory=13420 CPUtime=50.96 cores=4,6
/proc/51719/stat : 51719 (ExactPR) R 51710 51719 51658 0 -1 4194304 1833 0 0 0 3672 1424 0 0 20 0 1 0 54289648 55574528 3355 18446744073709551615 94781954580480 94781963880325 140730622257056 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94781965666624 94781965705704 94782007193600 140730622261637 140730622261772 140730622261772 140730622267374 0
/proc/51719/statm: 13568 3355 1824 2271 0 8206 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 54272 KiB
Current children cumulated memory: 13420 KiB

[startup+102.3 s]
/proc/loadavg: 3.52 2.53 2.91 5/253 51822
/proc/meminfo: memFree=129732876/131382112 swapFree=33010684/33010684
[pid=51719] ppid=51710 vsize=89436 memory=65936 CPUtime=102 cores=4,6
/proc/51719/stat : 51719 (ExactPR) R 51710 51719 51658 0 -1 4194304 10412 0 0 0 8481 1719 0 0 20 0 1 0 54289648 91582464 16484 18446744073709551615 94781954580480 94781963880325 140730622257056 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94781965666624 94781965705704 94782007193600 140730622261637 140730622261772 140730622261772 140730622267374 0
/proc/51719/statm: 22359 16484 1856 2271 0 16997 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 89436 KiB
Current children cumulated memory: 65936 KiB

[startup+162.3 s]
/proc/loadavg: 3.88 2.82 2.98 5/252 51915
/proc/meminfo: memFree=129691156/131382112 swapFree=33010684/33010684
[pid=51719] ppid=51710 vsize=111660 memory=78740 CPUtime=161.82 cores=4,6
/proc/51719/stat : 51719 (ExactPR) R 51710 51719 51658 0 -1 4194304 12933 0 0 0 14418 1764 0 0 20 0 1 0 54289648 114339840 19685 18446744073709551615 94781954580480 94781963880325 140730622257056 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94781965666624 94781965705704 94782007193600 140730622261637 140730622261772 140730622261772 140730622267374 0
/proc/51719/statm: 27915 19685 1856 2271 0 22553 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 111660 KiB
Current children cumulated memory: 78740 KiB

[startup+222.3 s]
/proc/loadavg: 4.06 3.07 3.06 5/252 51962
/proc/meminfo: memFree=129663128/131382112 swapFree=33010684/33010684
[pid=51719] ppid=51710 vsize=117420 memory=84744 CPUtime=221.62 cores=4,6
/proc/51719/stat : 51719 (ExactPR) R 51710 51719 51658 0 -1 4194304 13954 0 0 0 20355 1807 0 0 20 0 1 0 54289648 120238080 21186 18446744073709551615 94781954580480 94781963880325 140730622257056 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94781965666624 94781965705704 94782007193600 140730622261637 140730622261772 140730622261772 140730622267374 0
/proc/51719/statm: 29355 21186 1856 2271 0 23993 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 117420 KiB
Current children cumulated memory: 84744 KiB

[startup+282.3 s]
/proc/loadavg: 4.08 3.25 3.13 5/252 52054
/proc/meminfo: memFree=129620080/131382112 swapFree=33010684/33010684
[pid=51719] ppid=51710 vsize=120556 memory=89844 CPUtime=281.43 cores=4,6
/proc/51719/stat : 51719 (ExactPR) R 51710 51719 51658 0 -1 4194304 14728 0 0 0 26295 1848 0 0 20 0 1 0 54289648 123449344 22461 18446744073709551615 94781954580480 94781963880325 140730622257056 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94781965666624 94781965705704 94782007193600 140730622261637 140730622261772 140730622261772 140730622267374 0
/proc/51719/statm: 30139 22461 1856 2271 0 24777 0
Current children cumulated CPU time: 281.43 s
Current children cumulated vsize: 120556 KiB
Current children cumulated memory: 89844 KiB

[startup+342.3 s]
/proc/loadavg: 4.33 3.47 3.21 5/250 52056
/proc/meminfo: memFree=129629136/131382112 swapFree=33010684/33010684
[pid=51719] ppid=51710 vsize=124080 memory=96756 CPUtime=341.25 cores=4,6
/proc/51719/stat : 51719 (ExactPR) R 51710 51719 51658 0 -1 4194304 15512 0 0 0 32237 1888 0 0 20 0 1 0 54289648 127057920 24189 18446744073709551615 94781954580480 94781963880325 140730622257056 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94781965666624 94781965705704 94782007193600 140730622261637 140730622261772 140730622261772 140730622267374 0
/proc/51719/statm: 31020 24189 1856 2271 0 25658 0
Current children cumulated CPU time: 341.25 s
Current children cumulated vsize: 124080 KiB
Current children cumulated memory: 96756 KiB

[startup+402.3 s]
/proc/loadavg: 4.63 3.73 3.32 5/250 52063
/proc/meminfo: memFree=129632320/131382112 swapFree=33010684/33010684
[pid=51719] ppid=51710 vsize=124624 memory=97396 CPUtime=401.08 cores=4,6
/proc/51719/stat : 51719 (ExactPR) R 51710 51719 51658 0 -1 4194304 15660 0 0 0 38178 1930 0 0 20 0 1 0 54289648 127614976 24349 18446744073709551615 94781954580480 94781963880325 140730622257056 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94781965666624 94781965705704 94782007193600 140730622261637 140730622261772 140730622261772 140730622267374 0
/proc/51719/statm: 31156 24349 1856 2271 0 25794 0
Current children cumulated CPU time: 401.08 s
Current children cumulated vsize: 124624 KiB
Current children cumulated memory: 97396 KiB

[startup+462.3 s]
/proc/loadavg: 4.28 3.80 3.37 5/251 52066
/proc/meminfo: memFree=129600436/131382112 swapFree=33010684/33010684
[pid=51719] ppid=51710 vsize=127568 memory=99444 CPUtime=460.88 cores=4,6
/proc/51719/stat : 51719 (ExactPR) R 51710 51719 51658 0 -1 4194304 16196 0 0 0 44114 1974 0 0 20 0 1 0 54289648 130629632 24861 18446744073709551615 94781954580480 94781963880325 140730622257056 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94781965666624 94781965705704 94782007193600 140730622261637 140730622261772 140730622261772 140730622267374 0
/proc/51719/statm: 31892 24861 1856 2271 0 26530 0
Current children cumulated CPU time: 460.88 s

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

Current children cumulated memory: 130176 KiB

[startup+2862.3 s]
/proc/loadavg: 4.12 4.18 4.12 5/250 52179
/proc/meminfo: memFree=129525852/131382112 swapFree=33010684/33010684
[pid=51719] ppid=51710 vsize=170844 memory=130560 CPUtime=2854.31 cores=4,6
/proc/51719/stat : 51719 (ExactPR) R 51710 51719 51658 0 -1 4194304 21888 0 0 0 281885 3546 0 0 20 0 1 0 54289648 174944256 32640 18446744073709551615 94781954580480 94781963880325 140730622257056 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94781965666624 94781965705704 94782007193600 140730622261637 140730622261772 140730622261772 140730622267374 0
/proc/51719/statm: 42711 32640 1856 2271 0 37349 0
Current children cumulated CPU time: 2854.31 s
Current children cumulated vsize: 170844 KiB
Current children cumulated memory: 130560 KiB

[startup+2922.3 s]
/proc/loadavg: 4.09 4.16 4.11 5/250 52181
/proc/meminfo: memFree=129524736/131382112 swapFree=33010684/33010684
[pid=51719] ppid=51710 vsize=170844 memory=130560 CPUtime=2914.16 cores=4,6
/proc/51719/stat : 51719 (ExactPR) R 51710 51719 51658 0 -1 4194304 21889 0 0 0 287833 3583 0 0 20 0 1 0 54289648 174944256 32640 18446744073709551615 94781954580480 94781963880325 140730622257056 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94781965666624 94781965705704 94782007193600 140730622261637 140730622261772 140730622261772 140730622267374 0
/proc/51719/statm: 42711 32640 1856 2271 0 37349 0
Current children cumulated CPU time: 2914.16 s
Current children cumulated vsize: 170844 KiB
Current children cumulated memory: 130560 KiB

[startup+2982.3 s]
/proc/loadavg: 4.06 4.14 4.11 5/251 52184
/proc/meminfo: memFree=129524400/131382112 swapFree=33010684/33010684
[pid=51719] ppid=51710 vsize=170844 memory=130560 CPUtime=2974 cores=4,6
/proc/51719/stat : 51719 (ExactPR) R 51710 51719 51658 0 -1 4194304 21889 0 0 0 293781 3619 0 0 20 0 1 0 54289648 174944256 32640 18446744073709551615 94781954580480 94781963880325 140730622257056 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94781965666624 94781965705704 94782007193600 140730622261637 140730622261772 140730622261772 140730622267374 0
/proc/51719/statm: 42711 32640 1856 2271 0 37349 0
Current children cumulated CPU time: 2974 s
Current children cumulated vsize: 170844 KiB
Current children cumulated memory: 130560 KiB

[startup+3042.3 s]
/proc/loadavg: 4.07 4.13 4.10 5/251 52186
/proc/meminfo: memFree=129524252/131382112 swapFree=33010684/33010684
[pid=51719] ppid=51710 vsize=171036 memory=130816 CPUtime=3033.84 cores=4,6
/proc/51719/stat : 51719 (ExactPR) R 51710 51719 51658 0 -1 4194304 21946 0 0 0 299731 3653 0 0 20 0 1 0 54289648 175140864 32704 18446744073709551615 94781954580480 94781963880325 140730622257056 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94781965666624 94781965705704 94782007193600 140730622261637 140730622261772 140730622261772 140730622267374 0
/proc/51719/statm: 42759 32704 1856 2271 0 37397 0
Current children cumulated CPU time: 3033.84 s
Current children cumulated vsize: 171036 KiB
Current children cumulated memory: 130816 KiB

[startup+3102.3 s]
/proc/loadavg: 4.14 4.13 4.10 5/251 52188
/proc/meminfo: memFree=129522880/131382112 swapFree=33010684/33010684
[pid=51719] ppid=51710 vsize=171036 memory=130816 CPUtime=3093.67 cores=4,6
/proc/51719/stat : 51719 (ExactPR) R 51710 51719 51658 0 -1 4194304 21947 0 0 0 305676 3691 0 0 20 0 1 0 54289648 175140864 32704 18446744073709551615 94781954580480 94781963880325 140730622257056 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94781965666624 94781965705704 94782007193600 140730622261637 140730622261772 140730622261772 140730622267374 0
/proc/51719/statm: 42759 32704 1856 2271 0 37397 0
Current children cumulated CPU time: 3093.67 s
Current children cumulated vsize: 171036 KiB
Current children cumulated memory: 130816 KiB

[startup+3162.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/251 52203
/proc/meminfo: memFree=129522008/131382112 swapFree=33010684/33010684
[pid=51719] ppid=51710 vsize=172028 memory=131840 CPUtime=3153.51 cores=4,6
/proc/51719/stat : 51719 (ExactPR) R 51710 51719 51658 0 -1 4194304 22185 0 0 0 311625 3726 0 0 20 0 1 0 54289648 176156672 32960 18446744073709551615 94781954580480 94781963880325 140730622257056 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94781965666624 94781965705704 94782007193600 140730622261637 140730622261772 140730622261772 140730622267374 0
/proc/51719/statm: 43007 32960 1856 2271 0 37645 0
Current children cumulated CPU time: 3153.51 s
Current children cumulated vsize: 172028 KiB
Current children cumulated memory: 131840 KiB

[startup+3222.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/250 52205
/proc/meminfo: memFree=129524244/131382112 swapFree=33010684/33010684
[pid=51719] ppid=51710 vsize=172028 memory=131968 CPUtime=3213.35 cores=4,6
/proc/51719/stat : 51719 (ExactPR) R 51710 51719 51658 0 -1 4194304 22214 0 0 0 317570 3765 0 0 20 0 1 0 54289648 176156672 32992 18446744073709551615 94781954580480 94781963880325 140730622257056 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94781965666624 94781965705704 94782007193600 140730622261637 140730622261772 140730622261772 140730622267374 0
/proc/51719/statm: 43007 32992 1856 2271 0 37645 0
Current children cumulated CPU time: 3213.35 s
Current children cumulated vsize: 172028 KiB
Current children cumulated memory: 131968 KiB

[startup+3282.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/250 52207
/proc/meminfo: memFree=129522060/131382112 swapFree=33010684/33010684
[pid=51719] ppid=51710 vsize=172284 memory=132096 CPUtime=3273.19 cores=4,6
/proc/51719/stat : 51719 (ExactPR) R 51710 51719 51658 0 -1 4194304 22250 0 0 0 323514 3805 0 0 20 0 1 0 54289648 176418816 33024 18446744073709551615 94781954580480 94781963880325 140730622257056 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94781965666624 94781965705704 94782007193600 140730622261637 140730622261772 140730622261772 140730622267374 0
/proc/51719/statm: 43071 33024 1856 2271 0 37709 0
Current children cumulated CPU time: 3273.19 s
Current children cumulated vsize: 172284 KiB
Current children cumulated memory: 132096 KiB

[startup+3342.3 s]
/proc/loadavg: 4.19 4.14 4.10 5/250 52210
/proc/meminfo: memFree=129522664/131382112 swapFree=33010684/33010684
[pid=51719] ppid=51710 vsize=172416 memory=132224 CPUtime=3333.02 cores=4,6
/proc/51719/stat : 51719 (ExactPR) R 51710 51719 51658 0 -1 4194304 22283 0 0 0 329462 3840 0 0 20 0 1 0 54289648 176553984 33056 18446744073709551615 94781954580480 94781963880325 140730622257056 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94781965666624 94781965705704 94782007193600 140730622261637 140730622261772 140730622261772 140730622267374 0
/proc/51719/statm: 43104 33056 1856 2271 0 37742 0
Current children cumulated CPU time: 3333.02 s
Current children cumulated vsize: 172416 KiB
Current children cumulated memory: 132224 KiB

[startup+3402.3 s]
/proc/loadavg: 4.11 4.13 4.09 5/251 52217
/proc/meminfo: memFree=129522156/131382112 swapFree=33010684/33010684
[pid=51719] ppid=51710 vsize=172560 memory=132352 CPUtime=3392.87 cores=4,6
/proc/51719/stat : 51719 (ExactPR) R 51710 51719 51658 0 -1 4194304 22320 0 0 0 335409 3878 0 0 20 0 1 0 54289648 176701440 33088 18446744073709551615 94781954580480 94781963880325 140730622257056 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94781965666624 94781965705704 94782007193600 140730622261637 140730622261772 140730622261772 140730622267374 0
/proc/51719/statm: 43140 33088 1856 2271 0 37778 0
Current children cumulated CPU time: 3392.87 s
Current children cumulated vsize: 172560 KiB
Current children cumulated memory: 132352 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.13 4.09 5/251 52219
/proc/meminfo: memFree=129523560/131382112 swapFree=33010684/33010684
[pid=51719] ppid=51710 vsize=172560 memory=132480 CPUtime=3452.71 cores=4,6
/proc/51719/stat : 51719 (ExactPR) R 51710 51719 51658 0 -1 4194304 22341 0 0 0 341358 3913 0 0 20 0 1 0 54289648 176701440 33120 18446744073709551615 94781954580480 94781963880325 140730622257056 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94781965666624 94781965705704 94782007193600 140730622261637 140730622261772 140730622261772 140730622267374 0
/proc/51719/statm: 43140 33120 1856 2271 0 37778 0
Current children cumulated CPU time: 3452.71 s
Current children cumulated vsize: 172560 KiB
Current children cumulated memory: 132480 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/251 52220
/proc/meminfo: memFree=129523020/131382112 swapFree=33010684/33010684
[pid=51719] ppid=51710 vsize=172848 memory=132608 CPUtime=3512.55 cores=4,6
/proc/51719/stat : 51719 (ExactPR) R 51710 51719 51658 0 -1 4194304 22391 0 0 0 347302 3953 0 0 20 0 1 0 54289648 176996352 33152 18446744073709551615 94781954580480 94781963880325 140730622257056 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94781965666624 94781965705704 94782007193600 140730622261637 140730622261772 140730622261772 140730622267374 0
/proc/51719/statm: 43212 33152 1856 2271 0 37850 0
Current children cumulated CPU time: 3512.55 s
Current children cumulated vsize: 172848 KiB
Current children cumulated memory: 132608 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.13 4.09 5/251 52222
/proc/meminfo: memFree=129523420/131382112 swapFree=33010684/33010684
[pid=51719] ppid=51710 vsize=172848 memory=132736 CPUtime=3572.38 cores=4,6
/proc/51719/stat : 51719 (ExactPR) R 51710 51719 51658 0 -1 4194304 22409 0 0 0 353250 3988 0 0 20 0 1 0 54289648 176996352 33184 18446744073709551615 94781954580480 94781963880325 140730622257056 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94781965666624 94781965705704 94782007193600 140730622261637 140730622261772 140730622261772 140730622267374 0
/proc/51719/statm: 43212 33184 1856 2271 0 37850 0
Current children cumulated CPU time: 3572.38 s
Current children cumulated vsize: 172848 KiB
Current children cumulated memory: 132736 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610 s]*
/proc/loadavg: 4.08 4.11 4.09 5/251 52223
/proc/meminfo: memFree=129523488/131382112 swapFree=33010684/33010684
[pid=51719] ppid=51710 vsize=172848 memory=132736 CPUtime=3600.01 cores=4,6
/proc/51719/stat : 51719 (ExactPR) R 51710 51719 51658 0 -1 4194304 22410 0 0 0 355995 4006 0 0 20 0 1 0 54289648 176996352 33184 18446744073709551615 94781954580480 94781963880325 140730622257056 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94781965666624 94781965705704 94782007193600 140730622261637 140730622261772 140730622261772 140730622267374 0
/proc/51719/statm: 43212 33184 1856 2271 0 37850 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 172848 KiB
Current children cumulated memory: 132736 KiB

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

[startup+3610.02 s]
# the end of solver process 51719 was just reported to runsolver
# Child status: 10

# cumulated CPU time of all completed processes:  user=3559.96 s, system=40.0707 s

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

Child status: 10

Real time (s): 3610.02
CPU time (s): 3600.03
CPU user time (s): 3559.96
CPU system time (s): 40.0707
CPU usage (%): 99.7235
Max. virtual memory (cumulated for all children) (KiB): 172848
Max. memory (cumulated for all children) (KiB): 132736

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3559.96
system time used= 40.0707
maximum resident set size= 149032
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22426
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 234
involuntary context switches= 1604


# summary of solver processes directly reported to runsolver:
#   pid: 51719
#   total CPU time (s): 3600.03
#   total CPU user time (s): 3559.96
#   total CPU system time (s): 40.0707

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.2603 second user time and 31.9367 second system time

The end