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: 63708 MiB (50188 MiB free)
  memory of node 1: 64465 MiB (61014 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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
Current StackSize limit: 8192 KiB

solver pid=80889, runsolver pid=80877

[startup+0.100059 s]*
/proc/loadavg: 1.74 3.19 4.36 5/262 80894
/proc/meminfo: memFree=113837136/131249996 swapFree=33004236/33010684
[pid=80889] ppid=80877 vsize=54852 memory=14080 CPUtime=0.08 cores=1,3
/proc/80889/stat : 80889 (ExactPR) R 80877 80889 80825 0 -1 4194304 1945 0 0 0 7 1 0 0 20 0 1 0 72364976 56168448 3520 18446744073709551615 94087495163904 94087504463749 140733803661408 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94087506250048 94087506289128 94087545950208 140733803669893 140733803670028 140733803670028 140733803675630 0
/proc/80889/statm: 13713 3520 1856 2271 0 8351 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 54852 KiB
Current children cumulated memory: 14080 KiB

[startup+0.205523 s]*
/proc/loadavg: 1.74 3.19 4.36 6/262 80894
/proc/meminfo: memFree=113804008/131249996 swapFree=33004236/33010684
[pid=80889] ppid=80877 vsize=54852 memory=14208 CPUtime=0.19 cores=1,3
/proc/80889/stat : 80889 (ExactPR) R 80877 80889 80825 0 -1 4194304 1947 0 0 0 15 4 0 0 20 0 1 0 72364976 56168448 3552 18446744073709551615 94087495163904 94087504463749 140733803661408 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94087506250048 94087506289128 94087545950208 140733803669893 140733803670028 140733803670028 140733803675630 0
/proc/80889/statm: 13713 3552 1888 2271 0 8351 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 54852 KiB
Current children cumulated memory: 14208 KiB

[startup+0.305611 s]*
/proc/loadavg: 1.74 3.19 4.36 5/262 80894
/proc/meminfo: memFree=113804008/131249996 swapFree=33004236/33010684
[pid=80889] ppid=80877 vsize=54852 memory=14208 CPUtime=0.28 cores=1,3
/proc/80889/stat : 80889 (ExactPR) R 80877 80889 80825 0 -1 4194304 1947 0 0 0 21 7 0 0 20 0 1 0 72364976 56168448 3552 18446744073709551615 94087495163904 94087504463749 140733803661408 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94087506250048 94087506289128 94087545950208 140733803669893 140733803670028 140733803670028 140733803675630 0
/proc/80889/statm: 13713 3552 1888 2271 0 8351 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 54852 KiB
Current children cumulated memory: 14208 KiB

[startup+0.700148 s]
/proc/loadavg: 1.74 3.19 4.36 5/262 80894
/proc/meminfo: memFree=113804008/131249996 swapFree=33004236/33010684
[pid=80889] ppid=80877 vsize=54852 memory=14208 CPUtime=0.67 cores=1,3
/proc/80889/stat : 80889 (ExactPR) R 80877 80889 80825 0 -1 4194304 1947 0 0 0 47 20 0 0 20 0 1 0 72364976 56168448 3552 18446744073709551615 94087495163904 94087504463749 140733803661408 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94087506250048 94087506289128 94087545950208 140733803669893 140733803670028 140733803670028 140733803675630 0
/proc/80889/statm: 13713 3552 1888 2271 0 8351 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 54852 KiB
Current children cumulated memory: 14208 KiB

[startup+1.50015 s]
/proc/loadavg: 1.74 3.19 4.36 5/262 80894
/proc/meminfo: memFree=113804008/131249996 swapFree=33004236/33010684
[pid=80889] ppid=80877 vsize=54852 memory=14208 CPUtime=1.47 cores=1,3
/proc/80889/stat : 80889 (ExactPR) R 80877 80889 80825 0 -1 4194304 1947 0 0 0 99 48 0 0 20 0 1 0 72364976 56168448 3552 18446744073709551615 94087495163904 94087504463749 140733803661408 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94087506250048 94087506289128 94087545950208 140733803669893 140733803670028 140733803670028 140733803675630 0
/proc/80889/statm: 13713 3552 1888 2271 0 8351 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 54852 KiB
Current children cumulated memory: 14208 KiB

[startup+3.10538 s]
/proc/loadavg: 1.74 3.19 4.36 5/262 80894
/proc/meminfo: memFree=113787852/131249996 swapFree=33004236/33010684
[pid=80889] ppid=80877 vsize=54852 memory=14208 CPUtime=3.08 cores=1,3
/proc/80889/stat : 80889 (ExactPR) R 80877 80889 80825 0 -1 4194304 1947 0 0 0 203 105 0 0 20 0 1 0 72364976 56168448 3552 18446744073709551615 94087495163904 94087504463749 140733803661408 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94087506250048 94087506289128 94087545950208 140733803669893 140733803670028 140733803670028 140733803675630 0
/proc/80889/statm: 13713 3552 1888 2271 0 8351 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 54852 KiB
Current children cumulated memory: 14208 KiB

[startup+6.30013 s]
/proc/loadavg: 2.00 3.22 4.37 5/262 80894
/proc/meminfo: memFree=113788612/131249996 swapFree=33004236/33010684
[pid=80889] ppid=80877 vsize=54852 memory=14208 CPUtime=6.26 cores=1,3
/proc/80889/stat : 80889 (ExactPR) R 80877 80889 80825 0 -1 4194304 1947 0 0 0 406 220 0 0 20 0 1 0 72364976 56168448 3552 18446744073709551615 94087495163904 94087504463749 140733803661408 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94087506250048 94087506289128 94087545950208 140733803669893 140733803670028 140733803670028 140733803675630 0
/proc/80889/statm: 13713 3552 1888 2271 0 8351 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 54852 KiB
Current children cumulated memory: 14208 KiB

[startup+12.7001 s]
/proc/loadavg: 2.16 3.24 4.36 5/262 80894
/proc/meminfo: memFree=113788736/131249996 swapFree=33004236/33010684
[pid=80889] ppid=80877 vsize=54852 memory=14208 CPUtime=12.65 cores=1,3
/proc/80889/stat : 80889 (ExactPR) R 80877 80889 80825 0 -1 4194304 1947 0 0 0 807 458 0 0 20 0 1 0 72364976 56168448 3552 18446744073709551615 94087495163904 94087504463749 140733803661408 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94087506250048 94087506289128 94087545950208 140733803669893 140733803670028 140733803670028 140733803675630 0
/proc/80889/statm: 13713 3552 1888 2271 0 8351 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 54852 KiB
Current children cumulated memory: 14208 KiB

[startup+25.5001 s]
/proc/loadavg: 2.44 3.26 4.36 5/262 80895
/proc/meminfo: memFree=113788880/131249996 swapFree=33004236/33010684
[pid=80889] ppid=80877 vsize=54852 memory=14208 CPUtime=25.42 cores=1,3
/proc/80889/stat : 80889 (ExactPR) R 80877 80889 80825 0 -1 4194304 1947 0 0 0 1608 934 0 0 20 0 1 0 72364976 56168448 3552 18446744073709551615 94087495163904 94087504463749 140733803661408 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94087506250048 94087506289128 94087545950208 140733803669893 140733803670028 140733803670028 140733803675630 0
/proc/80889/statm: 13713 3552 1888 2271 0 8351 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 54852 KiB
Current children cumulated memory: 14208 KiB

[startup+51.1054 s]
/proc/loadavg: 3.13 3.35 4.35 5/262 80895
/proc/meminfo: memFree=113788600/131249996 swapFree=33004236/33010684
[pid=80889] ppid=80877 vsize=54852 memory=14208 CPUtime=50.98 cores=1,3
/proc/80889/stat : 80889 (ExactPR) R 80877 80889 80825 0 -1 4194304 1947 0 0 0 3210 1888 0 0 20 0 1 0 72364976 56168448 3552 18446744073709551615 94087495163904 94087504463749 140733803661408 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94087506250048 94087506289128 94087545950208 140733803669893 140733803670028 140733803670028 140733803675630 0
/proc/80889/statm: 13713 3552 1888 2271 0 8351 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 54852 KiB
Current children cumulated memory: 14208 KiB

[startup+102.3 s]
/proc/loadavg: 3.69 3.47 4.34 5/264 80950
/proc/meminfo: memFree=112775960/131249996 swapFree=33004236/33010684
[pid=80889] ppid=80877 vsize=117744 memory=85292 CPUtime=102.03 cores=1,3
/proc/80889/stat : 80889 (ExactPR) R 80877 80889 80825 0 -1 4194304 14685 0 0 0 7944 2259 0 0 20 0 1 0 72364976 120569856 21323 18446744073709551615 94087495163904 94087504463749 140733803661408 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94087506250048 94087506289128 94087545950208 140733803669893 140733803670028 140733803670028 140733803675630 0
/proc/80889/statm: 29436 21323 1920 2271 0 24074 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 117744 KiB
Current children cumulated memory: 85292 KiB

[startup+162.3 s]
/proc/loadavg: 3.94 3.58 4.32 5/264 80952
/proc/meminfo: memFree=112630380/131249996 swapFree=33004236/33010684
[pid=80889] ppid=80877 vsize=174120 memory=128120 CPUtime=161.83 cores=1,3
/proc/80889/stat : 80889 (ExactPR) R 80877 80889 80825 0 -1 4194304 22059 0 0 0 13879 2304 0 0 20 0 1 0 72364976 178298880 32030 18446744073709551615 94087495163904 94087504463749 140733803661408 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94087506250048 94087506289128 94087545950208 140733803669893 140733803670028 140733803670028 140733803675630 0
/proc/80889/statm: 43530 32030 2080 2271 0 38168 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 174120 KiB
Current children cumulated memory: 128120 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 3.69 4.31 5/264 80954
/proc/meminfo: memFree=112547200/131249996 swapFree=33004236/33010684
[pid=80889] ppid=80877 vsize=184488 memory=142596 CPUtime=221.63 cores=1,3
/proc/80889/stat : 80889 (ExactPR) R 80877 80889 80825 0 -1 4194304 24686 0 0 0 19814 2349 0 0 20 0 1 0 72364976 188915712 35649 18446744073709551615 94087495163904 94087504463749 140733803661408 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94087506250048 94087506289128 94087545950208 140733803669893 140733803670028 140733803670028 140733803675630 0
/proc/80889/statm: 46122 35649 2080 2271 0 40760 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 184488 KiB
Current children cumulated memory: 142596 KiB

[startup+282.3 s]
/proc/loadavg: 4.09 3.77 4.29 5/264 80956
/proc/meminfo: memFree=112381112/131249996 swapFree=33004236/33010684
[pid=80889] ppid=80877 vsize=189224 memory=147588 CPUtime=281.42 cores=1,3
/proc/80889/stat : 80889 (ExactPR) R 80877 80889 80825 0 -1 4194304 25950 0 0 0 25753 2389 0 0 20 0 1 0 72364976 193765376 36897 18446744073709551615 94087495163904 94087504463749 140733803661408 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94087506250048 94087506289128 94087545950208 140733803669893 140733803670028 140733803670028 140733803675630 0
/proc/80889/statm: 47306 36897 2080 2271 0 41944 0
Current children cumulated CPU time: 281.42 s
Current children cumulated vsize: 189224 KiB
Current children cumulated memory: 147588 KiB

[startup+342.3 s]
/proc/loadavg: 4.08 3.83 4.27 5/264 80958
/proc/meminfo: memFree=112303764/131249996 swapFree=33004236/33010684
[pid=80889] ppid=80877 vsize=196960 memory=155268 CPUtime=341.22 cores=1,3
/proc/80889/stat : 80889 (ExactPR) R 80877 80889 80825 0 -1 4194304 27882 0 0 0 31692 2430 0 0 20 0 1 0 72364976 201687040 38817 18446744073709551615 94087495163904 94087504463749 140733803661408 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94087506250048 94087506289128 94087545950208 140733803669893 140733803670028 140733803670028 140733803675630 0
/proc/80889/statm: 49240 38817 2080 2271 0 43878 0
Current children cumulated CPU time: 341.22 s
Current children cumulated vsize: 196960 KiB
Current children cumulated memory: 155268 KiB

[startup+402.3 s]
/proc/loadavg: 4.14 3.89 4.27 5/262 80960
/proc/meminfo: memFree=112278132/131249996 swapFree=33004236/33010684
[pid=80889] ppid=80877 vsize=202244 memory=160772 CPUtime=401.02 cores=1,3
/proc/80889/stat : 80889 (ExactPR) R 80877 80889 80825 0 -1 4194304 29250 0 0 0 37630 2472 0 0 20 0 1 0 72364976 207097856 40193 18446744073709551615 94087495163904 94087504463749 140733803661408 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94087506250048 94087506289128 94087545950208 140733803669893 140733803670028 140733803670028 140733803675630 0
/proc/80889/statm: 50561 40193 2080 2271 0 45199 0
Current children cumulated CPU time: 401.02 s
Current children cumulated vsize: 202244 KiB
Current children cumulated memory: 160772 KiB

[startup+462.3 s]
/proc/loadavg: 4.10 3.93 4.25 5/262 80962
/proc/meminfo: memFree=112282784/131249996 swapFree=33004236/33010684
[pid=80889] ppid=80877 vsize=206056 memory=164740 CPUtime=460.82 cores=1,3
/proc/80889/stat : 80889 (ExactPR) R 80877 80889 80825 0 -1 4194304 30270 0 0 0 43565 2517 0 0 20 0 1 0 72364976 211001344 41185 18446744073709551615 94087495163904 94087504463749 140733803661408 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94087506250048 94087506289128 94087545950208 140733803669893 140733803670028 140733803670028 140733803675630 0
/proc/80889/statm: 51514 41185 2080 2271 0 46152 0
Current children cumulated CPU time: 460.82 s
Current children cumulated vsize: 206056 KiB

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

Current children cumulated memory: 275480 KiB

[startup+2922.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/264 81096
/proc/meminfo: memFree=111695788/131249996 swapFree=33004236/33010684
[pid=80889] ppid=80877 vsize=309884 memory=276632 CPUtime=2914.38 cores=1,3
/proc/80889/stat : 80889 (ExactPR) R 80877 80889 80825 0 -1 4194304 53648 0 0 0 287276 4162 0 0 20 0 1 0 72364976 317321216 69158 18446744073709551615 94087495163904 94087504463749 140733803661408 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94087506250048 94087506289128 94087545950208 140733803669893 140733803670028 140733803670028 140733803675630 0
/proc/80889/statm: 77471 69158 2080 2271 0 72109 0
Current children cumulated CPU time: 2914.38 s
Current children cumulated vsize: 309884 KiB
Current children cumulated memory: 276632 KiB

[startup+2982.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/264 81098
/proc/meminfo: memFree=111695828/131249996 swapFree=33004236/33010684
[pid=80889] ppid=80877 vsize=313680 memory=279704 CPUtime=2974.22 cores=1,3
/proc/80889/stat : 80889 (ExactPR) R 80877 80889 80825 0 -1 4194304 54425 0 0 0 293219 4203 0 0 20 0 1 0 72364976 321208320 69926 18446744073709551615 94087495163904 94087504463749 140733803661408 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94087506250048 94087506289128 94087545950208 140733803669893 140733803670028 140733803670028 140733803675630 0
/proc/80889/statm: 78420 69926 2080 2271 0 73058 0
Current children cumulated CPU time: 2974.22 s
Current children cumulated vsize: 313680 KiB
Current children cumulated memory: 279704 KiB

[startup+3042.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/264 81100
/proc/meminfo: memFree=111695668/131249996 swapFree=33004236/33010684
[pid=80889] ppid=80877 vsize=314704 memory=280600 CPUtime=3034.06 cores=1,3
/proc/80889/stat : 80889 (ExactPR) R 80877 80889 80825 0 -1 4194304 54650 0 0 0 299160 4246 0 0 20 0 1 0 72364976 322256896 70150 18446744073709551615 94087495163904 94087504463749 140733803661408 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94087506250048 94087506289128 94087545950208 140733803669893 140733803670028 140733803670028 140733803675630 0
/proc/80889/statm: 78676 70150 2080 2271 0 73314 0
Current children cumulated CPU time: 3034.06 s
Current children cumulated vsize: 314704 KiB
Current children cumulated memory: 280600 KiB

[startup+3102.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/264 81109
/proc/meminfo: memFree=111698692/131249996 swapFree=33004236/33010684
[pid=80889] ppid=80877 vsize=315624 memory=281368 CPUtime=3093.9 cores=1,3
/proc/80889/stat : 80889 (ExactPR) R 80877 80889 80825 0 -1 4194304 54851 0 0 0 305105 4285 0 0 20 0 1 0 72364976 323198976 70342 18446744073709551615 94087495163904 94087504463749 140733803661408 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94087506250048 94087506289128 94087545950208 140733803669893 140733803670028 140733803670028 140733803675630 0
/proc/80889/statm: 78906 70342 2080 2271 0 73544 0
Current children cumulated CPU time: 3093.9 s
Current children cumulated vsize: 315624 KiB
Current children cumulated memory: 281368 KiB

[startup+3162.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/264 81111
/proc/meminfo: memFree=111690348/131249996 swapFree=33004236/33010684
[pid=80889] ppid=80877 vsize=318244 memory=283544 CPUtime=3153.74 cores=1,3
/proc/80889/stat : 80889 (ExactPR) R 80877 80889 80825 0 -1 4194304 55401 0 0 0 311045 4329 0 0 20 0 1 0 72364976 325881856 70886 18446744073709551615 94087495163904 94087504463749 140733803661408 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94087506250048 94087506289128 94087545950208 140733803669893 140733803670028 140733803670028 140733803675630 0
/proc/80889/statm: 79561 70886 2080 2271 0 74199 0
Current children cumulated CPU time: 3153.74 s
Current children cumulated vsize: 318244 KiB
Current children cumulated memory: 283544 KiB

[startup+3222.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/263 81113
/proc/meminfo: memFree=111690404/131249996 swapFree=33004236/33010684
[pid=80889] ppid=80877 vsize=321188 memory=285592 CPUtime=3213.59 cores=1,3
/proc/80889/stat : 80889 (ExactPR) R 80877 80889 80825 0 -1 4194304 55894 0 0 0 316985 4374 0 0 20 0 1 0 72364976 328896512 71398 18446744073709551615 94087495163904 94087504463749 140733803661408 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94087506250048 94087506289128 94087545950208 140733803669893 140733803670028 140733803670028 140733803675630 0
/proc/80889/statm: 80297 71398 2080 2271 0 74935 0
Current children cumulated CPU time: 3213.59 s
Current children cumulated vsize: 321188 KiB
Current children cumulated memory: 285592 KiB

[startup+3282.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/263 81115
/proc/meminfo: memFree=111662608/131249996 swapFree=33004236/33010684
[pid=80889] ppid=80877 vsize=323240 memory=287128 CPUtime=3273.44 cores=1,3
/proc/80889/stat : 80889 (ExactPR) R 80877 80889 80825 0 -1 4194304 56303 0 0 0 322929 4415 0 0 20 0 1 0 72364976 330997760 71782 18446744073709551615 94087495163904 94087504463749 140733803661408 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94087506250048 94087506289128 94087545950208 140733803669893 140733803670028 140733803670028 140733803675630 0
/proc/80889/statm: 80810 71782 2080 2271 0 75448 0
Current children cumulated CPU time: 3273.44 s
Current children cumulated vsize: 323240 KiB
Current children cumulated memory: 287128 KiB

[startup+3342.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/264 81118
/proc/meminfo: memFree=111656948/131249996 swapFree=33004236/33010684
[pid=80889] ppid=80877 vsize=324700 memory=288408 CPUtime=3333.29 cores=1,3
/proc/80889/stat : 80889 (ExactPR) R 80877 80889 80825 0 -1 4194304 56631 0 0 0 328875 4454 0 0 20 0 1 0 72364976 332492800 72102 18446744073709551615 94087495163904 94087504463749 140733803661408 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94087506250048 94087506289128 94087545950208 140733803669893 140733803670028 140733803670028 140733803675630 0
/proc/80889/statm: 81175 72102 2080 2271 0 75813 0
Current children cumulated CPU time: 3333.29 s
Current children cumulated vsize: 324700 KiB
Current children cumulated memory: 288408 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/263 81120
/proc/meminfo: memFree=111653416/131249996 swapFree=33004236/33010684
[pid=80889] ppid=80877 vsize=325340 memory=289304 CPUtime=3393.14 cores=1,3
/proc/80889/stat : 80889 (ExactPR) R 80877 80889 80825 0 -1 4194304 56825 0 0 0 334820 4494 0 0 20 0 1 0 72364976 333148160 72326 18446744073709551615 94087495163904 94087504463749 140733803661408 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94087506250048 94087506289128 94087545950208 140733803669893 140733803670028 140733803670028 140733803675630 0
/proc/80889/statm: 81335 72326 2080 2271 0 75973 0
Current children cumulated CPU time: 3393.14 s
Current children cumulated vsize: 325340 KiB
Current children cumulated memory: 289304 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/263 81122
/proc/meminfo: memFree=111634668/131249996 swapFree=33004236/33010684
[pid=80889] ppid=80877 vsize=326620 memory=290456 CPUtime=3452.98 cores=1,3
/proc/80889/stat : 80889 (ExactPR) R 80877 80889 80825 0 -1 4194304 57136 0 0 0 340759 4539 0 0 20 0 1 0 72364976 334458880 72614 18446744073709551615 94087495163904 94087504463749 140733803661408 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94087506250048 94087506289128 94087545950208 140733803669893 140733803670028 140733803670028 140733803675630 0
/proc/80889/statm: 81655 72614 2080 2271 0 76293 0
Current children cumulated CPU time: 3452.98 s
Current children cumulated vsize: 326620 KiB
Current children cumulated memory: 290456 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/263 81124
/proc/meminfo: memFree=111631700/131249996 swapFree=33004236/33010684
[pid=80889] ppid=80877 vsize=327516 memory=291224 CPUtime=3512.83 cores=1,3
/proc/80889/stat : 80889 (ExactPR) R 80877 80889 80825 0 -1 4194304 57331 0 0 0 346700 4583 0 0 20 0 1 0 72364976 335376384 72806 18446744073709551615 94087495163904 94087504463749 140733803661408 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94087506250048 94087506289128 94087545950208 140733803669893 140733803670028 140733803670028 140733803675630 0
/proc/80889/statm: 81879 72806 2080 2271 0 76517 0
Current children cumulated CPU time: 3512.83 s
Current children cumulated vsize: 327516 KiB
Current children cumulated memory: 291224 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/263 81126
/proc/meminfo: memFree=111636920/131249996 swapFree=33004236/33010684
[pid=80889] ppid=80877 vsize=328540 memory=292248 CPUtime=3572.67 cores=1,3
/proc/80889/stat : 80889 (ExactPR) R 80877 80889 80825 0 -1 4194304 57587 0 0 0 352646 4621 0 0 20 0 1 0 72364976 336424960 73062 18446744073709551615 94087495163904 94087504463749 140733803661408 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94087506250048 94087506289128 94087545950208 140733803669893 140733803670028 140733803670028 140733803675630 0
/proc/80889/statm: 82135 73062 2080 2271 0 76773 0
Current children cumulated CPU time: 3572.67 s
Current children cumulated vsize: 328540 KiB
Current children cumulated memory: 292248 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.7 s]
/proc/loadavg: 4.09 4.11 4.09 5/263 81127
/proc/meminfo: memFree=111618788/131249996 swapFree=33004236/33010684
[pid=80889] ppid=80877 vsize=328540 memory=297752 CPUtime=3600 cores=1,3
/proc/80889/stat : 80889 (ExactPR) R 80877 80889 80825 0 -1 4194304 57600 0 0 0 355362 4638 0 0 20 0 1 0 72364976 336424960 74438 18446744073709551615 94087495163904 94087504463749 140733803661408 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94087506250048 94087506289128 94087545950208 140733803669893 140733803670028 140733803670028 140733803675630 0
/proc/80889/statm: 82135 74438 2080 2271 0 76773 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 328540 KiB
Current children cumulated memory: 297752 KiB

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

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

# cumulated CPU time of all completed processes:  user=3553.63 s, system=46.385 s

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

[startup+3609.7 s]
/proc/loadavg: 4.09 4.11 4.09 5/263 81127
/proc/meminfo: memFree=111618788/131249996 swapFree=33004236/33010684
[pid=80889] ppid=80877 vsize=328540 memory=297752 CPUtime=3600 cores=1,3
/proc/80889/stat : 80889 (ExactPR) R 80877 80889 80825 0 -1 4194304 57600 0 0 0 355362 4638 0 0 20 0 1 0 72364976 336424960 74438 18446744073709551615 94087495163904 94087504463749 140733803661408 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94087506250048 94087506289128 94087545950208 140733803669893 140733803670028 140733803670028 140733803675630 0
/proc/80889/statm: 82135 74438 2080 2271 0 76773 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 328540 KiB
Current children cumulated memory: 297752 KiB

Child status: 10

Real time (s): 3609.71
CPU time (s): 3600.01
CPU user time (s): 3553.63
CPU system time (s): 46.385
CPU usage (%): 99.7315
Max. virtual memory (cumulated for all children) (KiB): 328540
Max. memory (cumulated for all children) (KiB): 297752

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3553.63
system time used= 46.385
maximum resident set size= 297880
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57609
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= 236
involuntary context switches= 4902


# summary of solver processes directly reported to runsolver:
#   pid: 80889
#   total CPU time (s): 3600.01
#   total CPU user time (s): 3553.63
#   total CPU system time (s): 46.385

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.464 second user time and 14.9159 second system time

The end