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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4488563-1751333979/watcher-4488563-1751333979 -o /tmp/evaluation-result-4488563-1751333979/solver-4488563-1751333979 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751326014-47594 --watchdog 3760 ./ExactPR --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4488563-1751333979.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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=50038, runsolver pid=50035
Current StackSize limit: 8192 KiB


[startup+0.10006 s]*
/proc/loadavg: 4.11 4.09 4.09 6/264 50039
/proc/meminfo: memFree=120445052/131249996 swapFree=33010684/33010684
[pid=50038] ppid=50035 vsize=57072 memory=16444 CPUtime=0.07 cores=4,6
/proc/50038/stat : 50038 (ExactPR) R 50035 50038 47583 0 -1 4194304 2731 0 0 0 6 1 0 0 20 0 1 0 49075672 58441728 4111 18446744073709551615 94616286027776 94616295327621 140732105200192 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94616297113920 94616297153000 94616306552832 140732105202053 140732105202188 140732105202188 140732105207790 0
/proc/50038/statm: 14268 4111 1856 2271 0 8906 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 57072 KiB
Current children cumulated memory: 16444 KiB

[startup+0.205473 s]*
/proc/loadavg: 4.11 4.09 4.09 5/264 50039
/proc/meminfo: memFree=120445388/131249996 swapFree=33010684/33010684
[pid=50038] ppid=50035 vsize=57072 memory=16444 CPUtime=0.17 cores=4,6
/proc/50038/stat : 50038 (ExactPR) R 50035 50038 47583 0 -1 4194304 2731 0 0 0 15 2 0 0 20 0 1 0 49075672 58441728 4111 18446744073709551615 94616286027776 94616295327621 140732105200192 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94616297113920 94616297153000 94616306552832 140732105202053 140732105202188 140732105202188 140732105207790 0
/proc/50038/statm: 14268 4111 1856 2271 0 8906 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 57072 KiB
Current children cumulated memory: 16444 KiB

[startup+0.305085 s]*
/proc/loadavg: 4.11 4.09 4.09 5/264 50039
/proc/meminfo: memFree=120445388/131249996 swapFree=33010684/33010684
[pid=50038] ppid=50035 vsize=57072 memory=16444 CPUtime=0.27 cores=4,6
/proc/50038/stat : 50038 (ExactPR) R 50035 50038 47583 0 -1 4194304 2731 0 0 0 23 4 0 0 20 0 1 0 49075672 58441728 4111 18446744073709551615 94616286027776 94616295327621 140732105200192 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94616297113920 94616297153000 94616306552832 140732105202053 140732105202188 140732105202188 140732105207790 0
/proc/50038/statm: 14268 4111 1856 2271 0 8906 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 57072 KiB
Current children cumulated memory: 16444 KiB

[startup+0.700117 s]
/proc/loadavg: 4.11 4.09 4.09 5/264 50039
/proc/meminfo: memFree=120445388/131249996 swapFree=33010684/33010684
[pid=50038] ppid=50035 vsize=57072 memory=16444 CPUtime=0.66 cores=4,6
/proc/50038/stat : 50038 (ExactPR) R 50035 50038 47583 0 -1 4194304 2731 0 0 0 56 10 0 0 20 0 1 0 49075672 58441728 4111 18446744073709551615 94616286027776 94616295327621 140732105200192 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94616297113920 94616297153000 94616306552832 140732105202053 140732105202188 140732105202188 140732105207790 0
/proc/50038/statm: 14268 4111 1856 2271 0 8906 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 57072 KiB
Current children cumulated memory: 16444 KiB

[startup+1.5001 s]
/proc/loadavg: 4.11 4.09 4.09 6/264 50039
/proc/meminfo: memFree=120445388/131249996 swapFree=33010684/33010684
[pid=50038] ppid=50035 vsize=57072 memory=16444 CPUtime=1.46 cores=4,6
/proc/50038/stat : 50038 (ExactPR) R 50035 50038 47583 0 -1 4194304 2731 0 0 0 124 22 0 0 20 0 1 0 49075672 58441728 4111 18446744073709551615 94616286027776 94616295327621 140732105200192 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94616297113920 94616297153000 94616306552832 140732105202053 140732105202188 140732105202188 140732105207790 0
/proc/50038/statm: 14268 4111 1856 2271 0 8906 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 57072 KiB
Current children cumulated memory: 16444 KiB

[startup+3.10471 s]
/proc/loadavg: 4.10 4.09 4.09 5/264 50039
/proc/meminfo: memFree=120445524/131249996 swapFree=33010684/33010684
[pid=50038] ppid=50035 vsize=57072 memory=16444 CPUtime=3.06 cores=4,6
/proc/50038/stat : 50038 (ExactPR) R 50035 50038 47583 0 -1 4194304 2731 0 0 0 262 44 0 0 20 0 1 0 49075672 58441728 4111 18446744073709551615 94616286027776 94616295327621 140732105200192 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94616297113920 94616297153000 94616306552832 140732105202053 140732105202188 140732105202188 140732105207790 0
/proc/50038/statm: 14268 4111 1856 2271 0 8906 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 57072 KiB
Current children cumulated memory: 16444 KiB

[startup+6.3001 s]
/proc/loadavg: 4.10 4.09 4.09 6/264 50039
/proc/meminfo: memFree=120445536/131249996 swapFree=33010684/33010684
[pid=50038] ppid=50035 vsize=57072 memory=16444 CPUtime=6.25 cores=4,6
/proc/50038/stat : 50038 (ExactPR) R 50035 50038 47583 0 -1 4194304 2731 0 0 0 537 88 0 0 20 0 1 0 49075672 58441728 4111 18446744073709551615 94616286027776 94616295327621 140732105200192 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94616297113920 94616297153000 94616306552832 140732105202053 140732105202188 140732105202188 140732105207790 0
/proc/50038/statm: 14268 4111 1856 2271 0 8906 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 57072 KiB
Current children cumulated memory: 16444 KiB

[startup+12.7001 s]
/proc/loadavg: 4.16 4.11 4.09 6/264 50039
/proc/meminfo: memFree=120445536/131249996 swapFree=33010684/33010684
[pid=50038] ppid=50035 vsize=57072 memory=16444 CPUtime=12.64 cores=4,6
/proc/50038/stat : 50038 (ExactPR) R 50035 50038 47583 0 -1 4194304 2731 0 0 0 1083 181 0 0 20 0 1 0 49075672 58441728 4111 18446744073709551615 94616286027776 94616295327621 140732105200192 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94616297113920 94616297153000 94616306552832 140732105202053 140732105202188 140732105202188 140732105207790 0
/proc/50038/statm: 14268 4111 1856 2271 0 8906 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 57072 KiB
Current children cumulated memory: 16444 KiB

[startup+25.5001 s]
/proc/loadavg: 4.14 4.10 4.09 6/264 50039
/proc/meminfo: memFree=120444264/131249996 swapFree=33010684/33010684
[pid=50038] ppid=50035 vsize=57072 memory=16444 CPUtime=25.42 cores=4,6
/proc/50038/stat : 50038 (ExactPR) R 50035 50038 47583 0 -1 4194304 2731 0 0 0 2165 377 0 0 20 0 1 0 49075672 58441728 4111 18446744073709551615 94616286027776 94616295327621 140732105200192 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94616297113920 94616297153000 94616306552832 140732105202053 140732105202188 140732105202188 140732105207790 0
/proc/50038/statm: 14268 4111 1856 2271 0 8906 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 57072 KiB
Current children cumulated memory: 16444 KiB

[startup+51.1049 s]
/proc/loadavg: 4.09 4.09 4.09 6/264 50040
/proc/meminfo: memFree=120440684/131249996 swapFree=33010684/33010684
[pid=50038] ppid=50035 vsize=57072 memory=16444 CPUtime=50.97 cores=4,6
/proc/50038/stat : 50038 (ExactPR) R 50035 50038 47583 0 -1 4194304 2731 0 0 0 4325 772 0 0 20 0 1 0 49075672 58441728 4111 18446744073709551615 94616286027776 94616295327621 140732105200192 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94616297113920 94616297153000 94616306552832 140732105202053 140732105202188 140732105202188 140732105207790 0
/proc/50038/statm: 14268 4111 1856 2271 0 8906 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 57072 KiB
Current children cumulated memory: 16444 KiB

[startup+102.3 s]
/proc/loadavg: 4.07 4.09 4.09 6/264 50042
/proc/meminfo: memFree=120339736/131249996 swapFree=33010684/33010684
[pid=50038] ppid=50035 vsize=163304 memory=124052 CPUtime=102.04 cores=4,6
/proc/50038/stat : 50038 (ExactPR) R 50035 50038 47583 0 -1 4194304 20168 0 0 0 9268 936 0 0 20 0 1 0 49075672 167223296 31013 18446744073709551615 94616286027776 94616295327621 140732105200192 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94616297113920 94616297153000 94616306552832 140732105202053 140732105202188 140732105202188 140732105207790 0
/proc/50038/statm: 40826 31013 1888 2271 0 35464 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 163304 KiB
Current children cumulated memory: 124052 KiB

[startup+162.3 s]
/proc/loadavg: 4.07 4.08 4.09 6/265 50049
/proc/meminfo: memFree=120324352/131249996 swapFree=33010684/33010684
[pid=50038] ppid=50035 vsize=182160 memory=142868 CPUtime=161.88 cores=4,6
/proc/50038/stat : 50038 (ExactPR) R 50035 50038 47583 0 -1 4194304 24890 0 0 0 15228 960 0 0 20 0 1 0 49075672 186531840 35717 18446744073709551615 94616286027776 94616295327621 140732105200192 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94616297113920 94616297153000 94616306552832 140732105202053 140732105202188 140732105202188 140732105207790 0
/proc/50038/statm: 45540 35717 1888 2271 0 40178 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 182160 KiB
Current children cumulated memory: 142868 KiB

[startup+222.3 s]
/proc/loadavg: 4.14 4.10 4.09 6/265 50051
/proc/meminfo: memFree=120306408/131249996 swapFree=33010684/33010684
[pid=50038] ppid=50035 vsize=196160 memory=154516 CPUtime=221.72 cores=4,6
/proc/50038/stat : 50038 (ExactPR) R 50035 50038 47583 0 -1 4194304 27830 0 0 0 21190 982 0 0 20 0 1 0 49075672 200867840 38629 18446744073709551615 94616286027776 94616295327621 140732105200192 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94616297113920 94616297153000 94616306552832 140732105202053 140732105202188 140732105202188 140732105207790 0
/proc/50038/statm: 49040 38629 1888 2271 0 43678 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 196160 KiB
Current children cumulated memory: 154516 KiB

[startup+282.3 s]
/proc/loadavg: 4.11 4.09 4.09 6/265 50053
/proc/meminfo: memFree=120305168/131249996 swapFree=33010684/33010684
[pid=50038] ppid=50035 vsize=200816 memory=159380 CPUtime=281.55 cores=4,6
/proc/50038/stat : 50038 (ExactPR) R 50035 50038 47583 0 -1 4194304 29056 0 0 0 27148 1007 0 0 20 0 1 0 49075672 205635584 39845 18446744073709551615 94616286027776 94616295327621 140732105200192 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94616297113920 94616297153000 94616306552832 140732105202053 140732105202188 140732105202188 140732105207790 0
/proc/50038/statm: 50204 39845 1888 2271 0 44842 0
Current children cumulated CPU time: 281.55 s
Current children cumulated vsize: 200816 KiB
Current children cumulated memory: 159380 KiB

[startup+342.3 s]
/proc/loadavg: 4.09 4.09 4.09 6/265 50055
/proc/meminfo: memFree=120295448/131249996 swapFree=33010684/33010684
[pid=50038] ppid=50035 vsize=205168 memory=163732 CPUtime=341.4 cores=4,6
/proc/50038/stat : 50038 (ExactPR) R 50035 50038 47583 0 -1 4194304 30175 0 0 0 33109 1031 0 0 20 0 1 0 49075672 210092032 40933 18446744073709551615 94616286027776 94616295327621 140732105200192 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94616297113920 94616297153000 94616306552832 140732105202053 140732105202188 140732105202188 140732105207790 0
/proc/50038/statm: 51292 40933 1888 2271 0 45930 0
Current children cumulated CPU time: 341.4 s
Current children cumulated vsize: 205168 KiB
Current children cumulated memory: 163732 KiB

[startup+402.3 s]
/proc/loadavg: 4.13 4.10 4.09 6/264 50057
/proc/meminfo: memFree=120284496/131249996 swapFree=33010684/33010684
[pid=50038] ppid=50035 vsize=210932 memory=168724 CPUtime=401.24 cores=4,6
/proc/50038/stat : 50038 (ExactPR) R 50035 50038 47583 0 -1 4194304 31412 0 0 0 39071 1053 0 0 20 0 1 0 49075672 215994368 42181 18446744073709551615 94616286027776 94616295327621 140732105200192 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94616297113920 94616297153000 94616306552832 140732105202053 140732105202188 140732105202188 140732105207790 0
/proc/50038/statm: 52733 42181 1888 2271 0 47371 0
Current children cumulated CPU time: 401.24 s
Current children cumulated vsize: 210932 KiB
Current children cumulated memory: 168724 KiB

[startup+462.3 s]
/proc/loadavg: 4.25 4.13 4.10 5/263 50059
/proc/meminfo: memFree=120284388/131249996 swapFree=33010684/33010684
[pid=50038] ppid=50035 vsize=214132 memory=171668 CPUtime=461.07 cores=4,6
/proc/50038/stat : 50038 (ExactPR) R 50035 50038 47583 0 -1 4194304 32178 0 0 0 45032 1075 0 0 20 0 1 0 49075672 219271168 42917 18446744073709551615 94616286027776 94616295327621 140732105200192 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94616297113920 94616297153000 94616306552832 140732105202053 140732105202188 140732105202188 140732105207790 0
/proc/50038/statm: 53533 42917 1888 2271 0 48171 0

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

Current children cumulated memory: 248608 KiB

[startup+2862.3 s]
/proc/loadavg: 4.13 4.13 4.10 5/265 50278
/proc/meminfo: memFree=125909636/131249996 swapFree=33010684/33010684
[pid=50038] ppid=50035 vsize=308120 memory=248864 CPUtime=2854.63 cores=4,6
/proc/50038/stat : 50038 (ExactPR) R 50035 50038 47583 0 -1 4194304 46043 0 0 0 283486 1977 0 0 20 0 1 0 49075672 315514880 62216 18446744073709551615 94616286027776 94616295327621 140732105200192 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94616297113920 94616297153000 94616306552832 140732105202053 140732105202188 140732105202188 140732105207790 0
/proc/50038/statm: 77030 62216 1888 2271 0 71668 0
Current children cumulated CPU time: 2854.63 s
Current children cumulated vsize: 308120 KiB
Current children cumulated memory: 248864 KiB

[startup+2922.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/265 50279
/proc/meminfo: memFree=125912844/131249996 swapFree=33010684/33010684
[pid=50038] ppid=50035 vsize=309240 memory=250016 CPUtime=2914.44 cores=4,6
/proc/50038/stat : 50038 (ExactPR) R 50035 50038 47583 0 -1 4194304 46316 0 0 0 289448 1996 0 0 20 0 1 0 49075672 316661760 62504 18446744073709551615 94616286027776 94616295327621 140732105200192 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94616297113920 94616297153000 94616306552832 140732105202053 140732105202188 140732105202188 140732105207790 0
/proc/50038/statm: 77310 62504 1888 2271 0 71948 0
Current children cumulated CPU time: 2914.44 s
Current children cumulated vsize: 309240 KiB
Current children cumulated memory: 250016 KiB

[startup+2982.3 s]
/proc/loadavg: 4.17 4.13 4.10 5/265 50281
/proc/meminfo: memFree=125904668/131249996 swapFree=33010684/33010684
[pid=50038] ppid=50035 vsize=310392 memory=251168 CPUtime=2974.25 cores=4,6
/proc/50038/stat : 50038 (ExactPR) R 50035 50038 47583 0 -1 4194304 46606 0 0 0 295402 2023 0 0 20 0 1 0 49075672 317841408 62792 18446744073709551615 94616286027776 94616295327621 140732105200192 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94616297113920 94616297153000 94616306552832 140732105202053 140732105202188 140732105202188 140732105207790 0
/proc/50038/statm: 77598 62792 1888 2271 0 72236 0
Current children cumulated CPU time: 2974.25 s
Current children cumulated vsize: 310392 KiB
Current children cumulated memory: 251168 KiB

[startup+3042.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/264 50284
/proc/meminfo: memFree=125897396/131249996 swapFree=33010684/33010684
[pid=50038] ppid=50035 vsize=310904 memory=251680 CPUtime=3034.08 cores=4,6
/proc/50038/stat : 50038 (ExactPR) R 50035 50038 47583 0 -1 4194304 46738 0 0 0 301363 2045 0 0 20 0 1 0 49075672 318365696 62920 18446744073709551615 94616286027776 94616295327621 140732105200192 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94616297113920 94616297153000 94616306552832 140732105202053 140732105202188 140732105202188 140732105207790 0
/proc/50038/statm: 77726 62920 1888 2271 0 72364 0
Current children cumulated CPU time: 3034.08 s
Current children cumulated vsize: 310904 KiB
Current children cumulated memory: 251680 KiB

[startup+3102.3 s]
/proc/loadavg: 3.86 4.06 4.07 4/258 50320
/proc/meminfo: memFree=126150596/131249996 swapFree=33010684/33010684
[pid=50038] ppid=50035 vsize=311928 memory=252704 CPUtime=3093.93 cores=4,6
/proc/50038/stat : 50038 (ExactPR) R 50035 50038 47583 0 -1 4194304 46997 0 0 0 307329 2064 0 0 20 0 1 0 49075672 319414272 63176 18446744073709551615 94616286027776 94616295327621 140732105200192 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94616297113920 94616297153000 94616306552832 140732105202053 140732105202188 140732105202188 140732105207790 0
/proc/50038/statm: 77982 63176 1888 2271 0 72620 0
Current children cumulated CPU time: 3093.93 s
Current children cumulated vsize: 311928 KiB
Current children cumulated memory: 252704 KiB

[startup+3162.3 s]
/proc/loadavg: 3.35 3.88 4.01 4/258 50322
/proc/meminfo: memFree=126156688/131249996 swapFree=33010684/33010684
[pid=50038] ppid=50035 vsize=312312 memory=253216 CPUtime=3153.78 cores=4,6
/proc/50038/stat : 50038 (ExactPR) R 50035 50038 47583 0 -1 4194304 47125 0 0 0 313291 2087 0 0 20 0 1 0 49075672 319807488 63304 18446744073709551615 94616286027776 94616295327621 140732105200192 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94616297113920 94616297153000 94616306552832 140732105202053 140732105202188 140732105202188 140732105207790 0
/proc/50038/statm: 78078 63304 1888 2271 0 72716 0
Current children cumulated CPU time: 3153.78 s
Current children cumulated vsize: 312312 KiB
Current children cumulated memory: 253216 KiB

[startup+3222.3 s]
/proc/loadavg: 3.18 3.73 3.95 4/259 50329
/proc/meminfo: memFree=126145308/131249996 swapFree=33010684/33010684
[pid=50038] ppid=50035 vsize=312696 memory=253600 CPUtime=3213.6 cores=4,6
/proc/50038/stat : 50038 (ExactPR) R 50035 50038 47583 0 -1 4194304 47205 0 0 0 319252 2108 0 0 20 0 1 0 49075672 320200704 63400 18446744073709551615 94616286027776 94616295327621 140732105200192 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94616297113920 94616297153000 94616306552832 140732105202053 140732105202188 140732105202188 140732105207790 0
/proc/50038/statm: 78174 63400 1888 2271 0 72812 0
Current children cumulated CPU time: 3213.6 s
Current children cumulated vsize: 312696 KiB
Current children cumulated memory: 253600 KiB

[startup+3282.3 s]
/proc/loadavg: 3.18 3.63 3.90 4/259 50331
/proc/meminfo: memFree=126152136/131249996 swapFree=33010684/33010684
[pid=50038] ppid=50035 vsize=313416 memory=254240 CPUtime=3273.4 cores=4,6
/proc/50038/stat : 50038 (ExactPR) R 50035 50038 47583 0 -1 4194304 47383 0 0 0 325208 2132 0 0 20 0 1 0 49075672 320937984 63560 18446744073709551615 94616286027776 94616295327621 140732105200192 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94616297113920 94616297153000 94616306552832 140732105202053 140732105202188 140732105202188 140732105207790 0
/proc/50038/statm: 78354 63560 1888 2271 0 72992 0
Current children cumulated CPU time: 3273.4 s
Current children cumulated vsize: 313416 KiB
Current children cumulated memory: 254240 KiB

[startup+3342.3 s]
/proc/loadavg: 3.13 3.53 3.84 4/259 50333
/proc/meminfo: memFree=126144156/131249996 swapFree=33010684/33010684
[pid=50038] ppid=50035 vsize=313416 memory=254240 CPUtime=3333.21 cores=4,6
/proc/50038/stat : 50038 (ExactPR) R 50035 50038 47583 0 -1 4194304 47394 0 0 0 331165 2156 0 0 20 0 1 0 49075672 320937984 63560 18446744073709551615 94616286027776 94616295327621 140732105200192 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94616297113920 94616297153000 94616306552832 140732105202053 140732105202188 140732105202188 140732105207790 0
/proc/50038/statm: 78354 63560 1888 2271 0 72992 0
Current children cumulated CPU time: 3333.21 s
Current children cumulated vsize: 313416 KiB
Current children cumulated memory: 254240 KiB

[startup+3402.3 s]
/proc/loadavg: 3.05 3.43 3.79 4/257 50335
/proc/meminfo: memFree=126129652/131249996 swapFree=33010684/33010684
[pid=50038] ppid=50035 vsize=314348 memory=255136 CPUtime=3393.02 cores=4,6
/proc/50038/stat : 50038 (ExactPR) R 50035 50038 47583 0 -1 4194304 47604 0 0 0 337124 2178 0 0 20 0 1 0 49075672 321892352 63784 18446744073709551615 94616286027776 94616295327621 140732105200192 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94616297113920 94616297153000 94616306552832 140732105202053 140732105202188 140732105202188 140732105207790 0
/proc/50038/statm: 78587 63784 1888 2271 0 73225 0
Current children cumulated CPU time: 3393.02 s
Current children cumulated vsize: 314348 KiB
Current children cumulated memory: 255136 KiB

[startup+3462.3 s]
/proc/loadavg: 3.12 3.38 3.75 4/257 50337
/proc/meminfo: memFree=126128040/131249996 swapFree=33010684/33010684
[pid=50038] ppid=50035 vsize=315148 memory=256032 CPUtime=3452.83 cores=4,6
/proc/50038/stat : 50038 (ExactPR) R 50035 50038 47583 0 -1 4194304 47816 0 0 0 343085 2198 0 0 20 0 1 0 49075672 322711552 64008 18446744073709551615 94616286027776 94616295327621 140732105200192 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94616297113920 94616297153000 94616306552832 140732105202053 140732105202188 140732105202188 140732105207790 0
/proc/50038/statm: 78787 64008 1888 2271 0 73425 0
Current children cumulated CPU time: 3452.83 s
Current children cumulated vsize: 315148 KiB
Current children cumulated memory: 256032 KiB

[startup+3522.3 s]
/proc/loadavg: 3.09 3.32 3.70 4/256 50339
/proc/meminfo: memFree=126120056/131249996 swapFree=33010684/33010684
[pid=50038] ppid=50035 vsize=315916 memory=256672 CPUtime=3512.63 cores=4,6
/proc/50038/stat : 50038 (ExactPR) R 50035 50038 47583 0 -1 4194304 48000 0 0 0 349044 2219 0 0 20 0 1 0 49075672 323497984 64168 18446744073709551615 94616286027776 94616295327621 140732105200192 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94616297113920 94616297153000 94616306552832 140732105202053 140732105202188 140732105202188 140732105207790 0
/proc/50038/statm: 78979 64168 1888 2271 0 73617 0
Current children cumulated CPU time: 3512.63 s
Current children cumulated vsize: 315916 KiB
Current children cumulated memory: 256672 KiB

[startup+3582.3 s]
/proc/loadavg: 3.07 3.28 3.66 4/256 50341
/proc/meminfo: memFree=126116960/131249996 swapFree=33010684/33010684
[pid=50038] ppid=50035 vsize=318224 memory=258976 CPUtime=3572.44 cores=4,6
/proc/50038/stat : 50038 (ExactPR) R 50035 50038 47583 0 -1 4194304 48573 0 0 0 355002 2242 0 0 20 0 1 0 49075672 325861376 64744 18446744073709551615 94616286027776 94616295327621 140732105200192 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94616297113920 94616297153000 94616306552832 140732105202053 140732105202188 140732105202188 140732105207790 0
/proc/50038/statm: 79556 64744 1888 2271 0 74194 0
Current children cumulated CPU time: 3572.44 s
Current children cumulated vsize: 318224 KiB
Current children cumulated memory: 258976 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610 s]*
/proc/loadavg: 3.04 3.25 3.64 4/256 50342
/proc/meminfo: memFree=126112896/131249996 swapFree=33010684/33010684
[pid=50038] ppid=50035 vsize=318224 memory=259104 CPUtime=3600.07 cores=4,6
/proc/50038/stat : 50038 (ExactPR) R 50035 50038 47583 0 -1 4194304 48606 0 0 0 357751 2256 0 0 20 0 1 0 49075672 325861376 64776 18446744073709551615 94616286027776 94616295327621 140732105200192 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94616297113920 94616297153000 94616306552832 140732105202053 140732105202188 140732105202188 140732105207790 0
/proc/50038/statm: 79556 64776 1888 2271 0 74194 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 318224 KiB
Current children cumulated memory: 259104 KiB

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

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

# cumulated CPU time of all completed processes:  user=3577.52 s, system=22.5621 s

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

Child status: 10

Real time (s): 3610.01
CPU time (s): 3600.08
CPU user time (s): 3577.52
CPU system time (s): 22.5621
CPU usage (%): 99.7249
Max. virtual memory (cumulated for all children) (KiB): 351676
Max. memory (cumulated for all children) (KiB): 286600

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3577.52
system time used= 22.5621
maximum resident set size= 290696
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48621
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= 197
involuntary context switches= 2268


# summary of solver processes directly reported to runsolver:
#   pid: 50038
#   total CPU time (s): 3600.08
#   total CPU user time (s): 3577.52
#   total CPU system time (s): 22.5621

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.5968 second user time and 14.9268 second system time

The end