runsolver version 3.4.0 (svn: 3012) 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: 16374 MiB (13450 MiB free)
memory of node 1: 16384 MiB (14213 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391557-1568308009/watcher-4391557-1568308009 -o /tmp/evaluation-result-4391557-1568308009/solver-4391557-1568308009 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1568301555-23462 --watchdog 2560 nacre_mini_release HOME/instance-4391557-1568308009.xml -ca -l100 -cm
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=24631, runsolver pid=24628
[startup+0.100158 s]*
/proc/loadavg: 2.05 2.00 2.04 3/199 24632
/proc/meminfo: memFree=28322172/32770624 swapFree=67004752/67108860
[pid=24631] ppid=24628 vsize=32860 memory=9212 CPUtime=0.1 cores=1,3,5,7
/proc/24631/stat : 24631 (nacre_mini_rele) R 24628 24631 11220 0 -1 4202496 2813 0 0 0 10 0 0 0 20 0 1 0 407068748 33648640 2303 33554432000 4194304 4935366 140736591122624 140736591119624 139813623146883 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 39661568 140736591131649 140736591131749 140736591131749 140736591134658 0
/proc/24631/statm: 8215 2303 614 181 0 1832 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 32860 KiB
Current children cumulated memory: 9212 KiB
[startup+0.209869 s]*
/proc/loadavg: 2.05 2.00 2.04 3/199 24632
/proc/meminfo: memFree=28319196/32770624 swapFree=67004752/67108860
[pid=24631] ppid=24628 vsize=35648 memory=12116 CPUtime=0.21 cores=1,3,5,7
/proc/24631/stat : 24631 (nacre_mini_rele) R 24628 24631 11220 0 -1 4202496 3523 0 0 0 21 0 0 0 20 0 1 0 407068748 36503552 3029 33554432000 4194304 4935366 140736591122624 140736591120376 4434645 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 39661568 140736591131649 140736591131749 140736591131749 140736591134658 0
/proc/24631/statm: 8912 3029 614 181 0 2529 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 35648 KiB
Current children cumulated memory: 12116 KiB
[startup+0.309607 s]*
/proc/loadavg: 2.05 2.00 2.04 3/199 24632
/proc/meminfo: memFree=28318444/32770624 swapFree=67004752/67108860
[pid=24631] ppid=24628 vsize=36232 memory=12644 CPUtime=0.31 cores=1,3,5,7
/proc/24631/stat : 24631 (nacre_mini_rele) R 24628 24631 11220 0 -1 4202496 3658 0 0 0 31 0 0 0 20 0 1 0 407068748 37101568 3161 33554432000 4194304 4935366 140736591122624 140736591120376 139813628586823 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 39661568 140736591131649 140736591131749 140736591131749 140736591134658 0
/proc/24631/statm: 9058 3161 614 181 0 2675 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 36232 KiB
Current children cumulated memory: 12644 KiB
[startup+0.700303 s]
/proc/loadavg: 2.05 2.00 2.04 4/199 24632
/proc/meminfo: memFree=28316584/32770624 swapFree=67004752/67108860
[pid=24631] ppid=24628 vsize=40460 memory=16868 CPUtime=0.69 cores=1,3,5,7
/proc/24631/stat : 24631 (nacre_mini_rele) R 24628 24631 11220 0 -1 4202496 4724 0 0 0 69 0 0 0 20 0 1 0 407068748 41431040 4217 33554432000 4194304 4935366 140736591122624 140736591120376 4417976 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 39661568 140736591131649 140736591131749 140736591131749 140736591134658 0
/proc/24631/statm: 10115 4217 614 181 0 3732 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 40460 KiB
Current children cumulated memory: 16868 KiB
[startup+1.50029 s]
/proc/loadavg: 2.05 2.00 2.04 3/199 24632
/proc/meminfo: memFree=28310632/32770624 swapFree=67004752/67108860
[pid=24631] ppid=24628 vsize=47592 memory=23996 CPUtime=1.49 cores=1,3,5,7
/proc/24631/stat : 24631 (nacre_mini_rele) R 24628 24631 11220 0 -1 4202496 6493 0 0 0 149 0 0 0 20 0 1 0 407068748 48734208 5999 33554432000 4194304 4935366 140736591122624 140736591120376 4417976 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 39661568 140736591131649 140736591131749 140736591131749 140736591134658 0
/proc/24631/statm: 11898 5999 614 181 0 5515 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 47592 KiB
Current children cumulated memory: 23996 KiB
[startup+3.10973 s]
/proc/loadavg: 2.05 2.00 2.04 3/199 24632
/proc/meminfo: memFree=28291908/32770624 swapFree=67004752/67108860
[pid=24631] ppid=24628 vsize=63356 memory=39752 CPUtime=3.1 cores=1,3,5,7
/proc/24631/stat : 24631 (nacre_mini_rele) R 24628 24631 11220 0 -1 4202496 12717 0 0 0 309 1 0 0 20 0 1 0 407068748 64876544 9938 33554432000 4194304 4935366 140736591122624 140736591120376 4461069 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 39661568 140736591131649 140736591131749 140736591131749 140736591134658 0
/proc/24631/statm: 15839 9938 614 181 0 9456 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 63356 KiB
Current children cumulated memory: 39752 KiB
[startup+6.30031 s]
/proc/loadavg: 2.05 2.00 2.04 3/199 24632
/proc/meminfo: memFree=28264628/32770624 swapFree=67004752/67108860
[pid=24631] ppid=24628 vsize=92504 memory=68872 CPUtime=6.29 cores=1,3,5,7
/proc/24631/stat : 24631 (nacre_mini_rele) R 24628 24631 11220 0 -1 4202496 24120 0 0 0 626 3 0 0 20 0 1 0 407068748 94724096 17218 33554432000 4194304 4935366 140736591122624 140736591120376 4434581 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 39661568 140736591131649 140736591131749 140736591131749 140736591134658 0
/proc/24631/statm: 23126 17218 614 181 0 16743 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 92504 KiB
Current children cumulated memory: 68872 KiB
[startup+12.7003 s]
/proc/loadavg: 2.04 2.00 2.04 3/199 24633
/proc/meminfo: memFree=28209392/32770624 swapFree=67004752/67108860
[pid=24631] ppid=24628 vsize=150632 memory=127136 CPUtime=12.69 cores=1,3,5,7
/proc/24631/stat : 24631 (nacre_mini_rele) R 24628 24631 11220 0 -1 4202496 44339 0 0 0 1264 5 0 0 20 0 1 0 407068748 154247168 31784 33554432000 4194304 4935366 140736591122624 140736591120376 4461073 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 39661568 140736591131649 140736591131749 140736591131749 140736591134658 0
/proc/24631/statm: 37658 31784 614 181 0 31275 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 150632 KiB
Current children cumulated memory: 127136 KiB
[startup+25.5003 s]
/proc/loadavg: 2.04 2.00 2.04 3/199 24633
/proc/meminfo: memFree=28087264/32770624 swapFree=67004752/67108860
[pid=24631] ppid=24628 vsize=271488 memory=247744 CPUtime=25.49 cores=1,3,5,7
/proc/24631/stat : 24631 (nacre_mini_rele) R 24628 24631 11220 0 -1 4202496 95385 0 0 0 2538 11 0 0 20 0 1 0 407068748 278003712 61936 33554432000 4194304 4935366 140736591122624 140736591120376 4434672 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 39661568 140736591131649 140736591131749 140736591131749 140736591134658 0
/proc/24631/statm: 67872 61936 614 181 0 61489 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 271488 KiB
Current children cumulated memory: 247744 KiB
[startup+51.1097 s]
/proc/loadavg: 2.02 2.00 2.04 3/199 24635
/proc/meminfo: memFree=27985360/32770624 swapFree=67004752/67108860
[pid=24631] ppid=24628 vsize=365160 memory=341448 CPUtime=51.1 cores=1,3,5,7
/proc/24631/stat : 24631 (nacre_mini_rele) R 24628 24631 11220 0 -1 4202496 164937 0 0 0 5091 19 0 0 20 0 1 0 407068748 373923840 85362 33554432000 4194304 4935366 140736591122624 140736591120376 4434573 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 39661568 140736591131649 140736591131749 140736591131749 140736591134658 0
/proc/24631/statm: 91290 85362 614 181 0 84907 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 365160 KiB
Current children cumulated memory: 341448 KiB
[startup+102.3 s]
/proc/loadavg: 2.01 2.00 2.04 3/199 24639
/proc/meminfo: memFree=27817732/32770624 swapFree=67004752/67108860
[pid=24631] ppid=24628 vsize=530888 memory=506696 CPUtime=102.29 cores=1,3,5,7
/proc/24631/stat : 24631 (nacre_mini_rele) R 24628 24631 11220 0 -1 4202496 263636 0 0 0 10202 27 0 0 20 0 1 0 407068748 543629312 126674 33554432000 4194304 4935366 140736591122624 140736591120328 139813628492541 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 39661568 140736591131649 140736591131749 140736591131749 140736591134658 0
/proc/24631/statm: 132722 126674 614 181 0 126339 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 530888 KiB
Current children cumulated memory: 506696 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/200 24645
/proc/meminfo: memFree=27729920/32770624 swapFree=67004752/67108860
[pid=24631] ppid=24628 vsize=614812 memory=590140 CPUtime=162.29 cores=1,3,5,7
/proc/24631/stat : 24631 (nacre_mini_rele) R 24628 24631 11220 0 -1 4202496 367282 0 0 0 16192 37 0 0 20 0 1 0 407068748 629567488 147535 33554432000 4194304 4935366 140736591122624 140736591120136 4434714 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 39661568 140736591131649 140736591131749 140736591131749 140736591134658 0
/proc/24631/statm: 153703 147535 614 181 0 147320 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 614812 KiB
Current children cumulated memory: 590140 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/199 24649
/proc/meminfo: memFree=27615628/32770624 swapFree=67004752/67108860
[pid=24631] ppid=24628 vsize=725392 memory=700040 CPUtime=222.3 cores=1,3,5,7
/proc/24631/stat : 24631 (nacre_mini_rele) R 24628 24631 11220 0 -1 4202496 463653 0 0 0 22184 46 0 0 20 0 1 0 407068748 742801408 175010 33554432000 4194304 4935366 140736591122624 140736591120312 4461250 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 39661568 140736591131649 140736591131749 140736591131749 140736591134658 0
/proc/24631/statm: 181348 175010 614 181 0 174965 0
Current children cumulated CPU time: 222.3 s
Current children cumulated vsize: 725392 KiB
Current children cumulated memory: 700040 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/200 24661
/proc/meminfo: memFree=27582620/32770624 swapFree=67004752/67108860
[pid=24631] ppid=24628 vsize=755792 memory=730960 CPUtime=282.29 cores=1,3,5,7
/proc/24631/stat : 24631 (nacre_mini_rele) R 24628 24631 11220 0 -1 4202496 605936 0 0 0 28174 55 0 0 20 0 1 0 407068748 773931008 182740 33554432000 4194304 4935366 140736591122624 140736591120392 4461371 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 39661568 140736591131649 140736591131749 140736591131749 140736591134658 0
/proc/24631/statm: 188948 182740 614 181 0 182565 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 755792 KiB
Current children cumulated memory: 730960 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/201 24667
/proc/meminfo: memFree=27501736/32770624 swapFree=67004752/67108860
[pid=24631] ppid=24628 vsize=834832 memory=809808 CPUtime=342.28 cores=1,3,5,7
/proc/24631/stat : 24631 (nacre_mini_rele) D 24628 24631 11220 0 -1 4202496 732842 0 0 0 34163 65 0 0 20 0 1 0 407068748 854867968 202452 33554432000 4194304 4935366 140736591122624 140736591120328 139813622282234 0 0 4096 24578 18446744071582151416 0 0 17 3 0 0 0 0 0 7034520 7039168 39661568 140736591131649 140736591131749 140736591131749 140736591134658 0
/proc/24631/statm: 208708 202452 614 181 0 202325 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 834832 KiB
Current children cumulated memory: 809808 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/200 24671
/proc/meminfo: memFree=27460368/32770624 swapFree=67004752/67108860
[pid=24631] ppid=24628 vsize=871036 memory=846268 CPUtime=402.25 cores=1,3,5,7
/proc/24631/stat : 24631 (nacre_mini_rele) R 24628 24631 11220 0 -1 4202496 838568 0 0 0 40151 74 0 0 20 0 1 0 407068748 891940864 211567 33554432000 4194304 4935366 140736591122624 140736591120392 4434688 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 39661568 140736591131649 140736591131749 140736591131749 140736591134658 0
/proc/24631/statm: 217759 211567 614 181 0 211376 0
Current children cumulated CPU time: 402.25 s
Current children cumulated vsize: 871036 KiB
Current children cumulated memory: 846268 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/200 24675
/proc/meminfo: memFree=27423376/32770624 swapFree=67004752/67108860
[pid=24631] ppid=24628 vsize=906772 memory=881048 CPUtime=462.22 cores=1,3,5,7
/proc/24631/stat : 24631 (nacre_mini_rele) R 24628 24631 11220 0 -1 4202496 951170 0 0 0 46141 81 0 0 20 0 1 0 407068748 928534528 220262 33554432000 4194304 4935366 140736591122624 140736591120312 4434545 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 39661568 140736591131649 140736591131749 140736591131749 140736591134658 0
/proc/24631/statm: 226693 220262 614 181 0 220310 0
Current children cumulated CPU time: 462.22 s
Current children cumulated vsize: 906772 KiB
Current children cumulated memory: 881048 KiB
################
# More data... #
################
/proc/24631/statm: 369814 362639 614 181 0 363431 0
Current children cumulated CPU time: 1661.91 s
Current children cumulated vsize: 1479256 KiB
Current children cumulated memory: 1450556 KiB
[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 2.04 3/200 25161
/proc/meminfo: memFree=27027004/32770624 swapFree=67004752/67108860
[pid=24631] ppid=24628 vsize=1487756 memory=1458700 CPUtime=1721.91 cores=1,3,5,7
/proc/24631/stat : 24631 (nacre_mini_rele) R 24628 24631 11220 0 -1 4202496 1934032 0 0 0 172023 168 0 0 20 0 1 0 407068748 1523462144 364675 33554432000 4194304 4935366 140736591122624 140736591120328 4434581 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 39661568 140736591131649 140736591131749 140736591131749 140736591134658 0
/proc/24631/statm: 371939 364675 614 181 0 365556 0
Current children cumulated CPU time: 1721.91 s
Current children cumulated vsize: 1487756 KiB
Current children cumulated memory: 1458700 KiB
[startup+1782.3 s]
/proc/loadavg: 1.95 2.00 2.03 3/200 25167
/proc/meminfo: memFree=27018052/32770624 swapFree=67004752/67108860
[pid=24631] ppid=24628 vsize=1495728 memory=1466560 CPUtime=1781.91 cores=1,3,5,7
/proc/24631/stat : 24631 (nacre_mini_rele) R 24628 24631 11220 0 -1 4202496 1977182 0 0 0 178020 171 0 0 20 0 1 0 407068748 1531625472 366640 33554432000 4194304 4935366 140736591122624 140736591120328 4337310 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 39661568 140736591131649 140736591131749 140736591131749 140736591134658 0
/proc/24631/statm: 373932 366640 614 181 0 367549 0
Current children cumulated CPU time: 1781.91 s
Current children cumulated vsize: 1495728 KiB
Current children cumulated memory: 1466560 KiB
[startup+1842.3 s]
/proc/loadavg: 1.98 2.00 2.03 3/199 25171
/proc/meminfo: memFree=26982900/32770624 swapFree=67004752/67108860
[pid=24631] ppid=24628 vsize=1530524 memory=1501284 CPUtime=1841.9 cores=1,3,5,7
/proc/24631/stat : 24631 (nacre_mini_rele) R 24628 24631 11220 0 -1 4202496 2027197 0 0 0 184016 174 0 0 20 0 1 0 407068748 1567256576 375321 33554432000 4194304 4935366 140736591122624 140736591120328 4461244 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 39661568 140736591131649 140736591131749 140736591131749 140736591134658 0
/proc/24631/statm: 382631 375321 614 181 0 376248 0
Current children cumulated CPU time: 1841.9 s
Current children cumulated vsize: 1530524 KiB
Current children cumulated memory: 1501284 KiB
[startup+1902.3 s]
/proc/loadavg: 1.99 2.00 2.03 3/200 25176
/proc/meminfo: memFree=26958432/32770624 swapFree=67004752/67108860
[pid=24631] ppid=24628 vsize=1553448 memory=1524220 CPUtime=1901.91 cores=1,3,5,7
/proc/24631/stat : 24631 (nacre_mini_rele) R 24628 24631 11220 0 -1 4202496 2081370 0 0 0 190011 180 0 0 20 0 1 0 407068748 1590730752 381055 33554432000 4194304 4935366 140736591122624 140736591120376 4434688 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 39661568 140736591131649 140736591131749 140736591131749 140736591134658 0
/proc/24631/statm: 388362 381055 614 181 0 381979 0
Current children cumulated CPU time: 1901.91 s
Current children cumulated vsize: 1553448 KiB
Current children cumulated memory: 1524220 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/201 25182
/proc/meminfo: memFree=26940252/32770624 swapFree=67004752/67108860
[pid=24631] ppid=24628 vsize=1570364 memory=1541192 CPUtime=1961.9 cores=1,3,5,7
/proc/24631/stat : 24631 (nacre_mini_rele) R 24628 24631 11220 0 -1 4202496 2126105 0 0 0 196006 184 0 0 20 0 1 0 407068748 1608052736 385298 33554432000 4194304 4935366 140736591122624 140736591120328 139813628492530 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 39661568 140736591131649 140736591131749 140736591131749 140736591134658 0
/proc/24631/statm: 392591 385298 614 181 0 386208 0
Current children cumulated CPU time: 1961.9 s
Current children cumulated vsize: 1570364 KiB
Current children cumulated memory: 1541192 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/200 25186
/proc/meminfo: memFree=26926676/32770624 swapFree=67004752/67108860
[pid=24631] ppid=24628 vsize=1584012 memory=1554812 CPUtime=2021.91 cores=1,3,5,7
/proc/24631/stat : 24631 (nacre_mini_rele) R 24628 24631 11220 0 -1 4202496 2172543 0 0 0 202004 187 0 0 20 0 1 0 407068748 1622028288 388703 33554432000 4194304 4935366 140736591122624 140736591120328 4461216 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 39661568 140736591131649 140736591131749 140736591131749 140736591134658 0
/proc/24631/statm: 396003 388703 614 181 0 389620 0
Current children cumulated CPU time: 2021.91 s
Current children cumulated vsize: 1584012 KiB
Current children cumulated memory: 1554812 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/200 25197
/proc/meminfo: memFree=26906464/32770624 swapFree=67004752/67108860
[pid=24631] ppid=24628 vsize=1602696 memory=1573548 CPUtime=2081.9 cores=1,3,5,7
/proc/24631/stat : 24631 (nacre_mini_rele) R 24628 24631 11220 0 -1 4202496 2224920 0 0 0 207998 192 0 0 20 0 1 0 407068748 1641160704 393387 33554432000 4194304 4935366 140736591122624 140736591120328 4434573 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 39661568 140736591131649 140736591131749 140736591131749 140736591134658 0
/proc/24631/statm: 400674 393387 614 181 0 394291 0
Current children cumulated CPU time: 2081.9 s
Current children cumulated vsize: 1602696 KiB
Current children cumulated memory: 1573548 KiB
[startup+2142.3 s]
/proc/loadavg: 2.04 2.01 2.04 3/201 25203
/proc/meminfo: memFree=26891536/32770624 swapFree=67004752/67108860
[pid=24631] ppid=24628 vsize=1617272 memory=1588020 CPUtime=2141.9 cores=1,3,5,7
/proc/24631/stat : 24631 (nacre_mini_rele) R 24628 24631 11220 0 -1 4202496 2278695 0 0 0 213993 197 0 0 20 0 1 0 407068748 1656086528 397005 33554432000 4194304 4935366 140736591122624 140736591120328 4461238 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 39661568 140736591131649 140736591131749 140736591131749 140736591134658 0
/proc/24631/statm: 404318 397005 614 181 0 397935 0
Current children cumulated CPU time: 2141.9 s
Current children cumulated vsize: 1617272 KiB
Current children cumulated memory: 1588020 KiB
[startup+2202.3 s]
/proc/loadavg: 2.01 2.01 2.04 3/199 25207
/proc/meminfo: memFree=26874256/32770624 swapFree=67004752/67108860
[pid=24631] ppid=24628 vsize=1634456 memory=1605468 CPUtime=2201.9 cores=1,3,5,7
/proc/24631/stat : 24631 (nacre_mini_rele) R 24628 24631 11220 0 -1 4202496 2344254 0 0 0 219988 202 0 0 20 0 1 0 407068748 1673682944 401367 33554432000 4194304 4935366 140736591122624 140736591120312 4461073 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 39661568 140736591131649 140736591131749 140736591131749 140736591134658 0
/proc/24631/statm: 408614 401367 614 181 0 402231 0
Current children cumulated CPU time: 2201.9 s
Current children cumulated vsize: 1634456 KiB
Current children cumulated memory: 1605468 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/200 25212
/proc/meminfo: memFree=26865980/32770624 swapFree=67004752/67108860
[pid=24631] ppid=24628 vsize=1640940 memory=1612268 CPUtime=2261.9 cores=1,3,5,7
/proc/24631/stat : 24631 (nacre_mini_rele) R 24628 24631 11220 0 -1 4202496 2412937 0 0 0 225983 207 0 0 20 0 1 0 407068748 1680322560 403067 33554432000 4194304 4935366 140736591122624 140736591120376 4417867 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 39661568 140736591131649 140736591131749 140736591131749 140736591134658 0
/proc/24631/statm: 410235 403067 614 181 0 403852 0
Current children cumulated CPU time: 2261.9 s
Current children cumulated vsize: 1640940 KiB
Current children cumulated memory: 1612268 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/201 25218
/proc/meminfo: memFree=26858812/32770624 swapFree=67004752/67108860
[pid=24631] ppid=24628 vsize=1646248 memory=1617612 CPUtime=2321.9 cores=1,3,5,7
/proc/24631/stat : 24631 (nacre_mini_rele) R 24628 24631 11220 0 -1 4202496 2477665 0 0 0 231978 212 0 0 20 0 1 0 407068748 1685757952 404403 33554432000 4194304 4935366 140736591122624 140736591120376 4422514 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 39661568 140736591131649 140736591131749 140736591131749 140736591134658 0
/proc/24631/statm: 411562 404403 614 181 0 405179 0
Current children cumulated CPU time: 2321.9 s
Current children cumulated vsize: 1646248 KiB
Current children cumulated memory: 1617612 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/200 25222
/proc/meminfo: memFree=26829380/32770624 swapFree=67004752/67108860
[pid=24631] ppid=24628 vsize=1675368 memory=1646936 CPUtime=2381.89 cores=1,3,5,7
/proc/24631/stat : 24631 (nacre_mini_rele) R 24628 24631 11220 0 -1 4202496 2545634 0 0 0 237972 217 0 0 20 0 1 0 407068748 1715576832 411734 33554432000 4194304 4935366 140736591122624 140736591120376 139813623146772 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 39661568 140736591131649 140736591131749 140736591131749 140736591134658 0
/proc/24631/statm: 418842 411734 614 181 0 412459 0
Current children cumulated CPU time: 2381.89 s
Current children cumulated vsize: 1675368 KiB
Current children cumulated memory: 1646936 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.5 s]
/proc/loadavg: 2.00 2.01 2.04 3/200 25222
/proc/meminfo: memFree=26819308/32770624 swapFree=67004752/67108860
[pid=24631] ppid=24628 vsize=1685196 memory=1656896 CPUtime=2400.09 cores=1,3,5,7
/proc/24631/stat : 24631 (nacre_mini_rele) R 24628 24631 11220 0 -1 4202496 2562933 0 0 0 239791 218 0 0 20 0 1 0 407068748 1725640704 414224 33554432000 4194304 4935366 140736591122624 140736591120328 4434581 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 39661568 140736591131649 140736591131749 140736591131749 140736591134658 0
/proc/24631/statm: 421299 414224 614 181 0 414916 0
Current children cumulated CPU time: 2400.09 s
Current children cumulated vsize: 1685196 KiB
Current children cumulated memory: 1656896 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2400.53 s]
# the end of solver process 24631 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2397.92 s, system=2.22197 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2400.5 s]
/proc/loadavg: 2.00 2.01 2.04 3/200 25222
/proc/meminfo: memFree=26819308/32770624 swapFree=67004752/67108860
[pid=24631] ppid=24628 vsize=1685196 memory=1656896 CPUtime=2400.09 cores=1,3,5,7
/proc/24631/stat : 24631 (nacre_mini_rele) R 24628 24631 11220 0 -1 4202496 2562933 0 0 0 239791 218 0 0 20 0 1 0 407068748 1725640704 414224 33554432000 4194304 4935366 140736591122624 140736591120328 4434581 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 39661568 140736591131649 140736591131749 140736591131749 140736591134658 0
/proc/24631/statm: 421299 414224 614 181 0 414916 0
Current children cumulated CPU time: 2400.09 s
Current children cumulated vsize: 1685196 KiB
Current children cumulated memory: 1656896 KiB
Child status: 0
Real time (s): 2400.53
CPU time (s): 2400.14
CPU user time (s): 2397.92
CPU system time (s): 2.22197
CPU usage (%): 99.9836
Max. virtual memory (cumulated for all children) (KiB): 1685196
Max. memory (cumulated for all children) (KiB): 1656896
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.92
system time used= 2.22197
maximum resident set size= 1656956
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2562976
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= 508
involuntary context switches= 1880
# summary of solver processes directly reported to runsolver:
# pid: 24631
# total CPU time (s): 2400.14
# total CPU user time (s): 2397.92
# total CPU system time (s): 2.22197
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.18023 second user time and 18.0664 second system time
The end