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 (10706 MiB free)
memory of node 1: 16384 MiB (12650 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4298573-1532776576/watcher-4298573-1532776576 -o /tmp/evaluation-result-4298573-1532776576/solver-4298573-1532776576 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1532774055-27429 --watchdog 2580 nacre_mini_release HOME/instance-4298573-1532776576.xml -ca -l100 -cm
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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=27680, runsolver pid=27673
[startup+0.100195 s]*
/proc/loadavg: 2.04 2.03 1.92 4/187 27681
/proc/meminfo: memFree=23913660/32770624 swapFree=67108860/67108860
[pid=27680] ppid=27673 vsize=27916 memory=4520 CPUtime=0.1 cores=0,2,4,6
/proc/27680/stat : 27680 (nacre_mini_rele) R 27673 27680 27398 0 -1 4202496 1345 0 0 0 10 0 0 0 20 0 1 0 95220733 28585984 1130 33554432000 4194304 4933779 140727610583280 140727610580280 139965719801360 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 25247744 140727610590360 140727610590460 140727610590460 140727610593218 0
/proc/27680/statm: 6979 1130 605 181 0 596 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27916 KiB
Current children cumulated memory: 4520 KiB
[startup+0.209732 s]*
/proc/loadavg: 2.04 2.03 1.92 4/187 27681
/proc/meminfo: memFree=23913288/32770624 swapFree=67108860/67108860
[pid=27680] ppid=27673 vsize=28180 memory=4784 CPUtime=0.21 cores=0,2,4,6
/proc/27680/stat : 27680 (nacre_mini_rele) R 27673 27680 27398 0 -1 4202496 1413 0 0 0 21 0 0 0 20 0 1 0 95220733 28856320 1196 33554432000 4194304 4933779 140727610583280 140727610580280 139965719808997 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 25247744 140727610590360 140727610590460 140727610590460 140727610593218 0
/proc/27680/statm: 7045 1196 610 181 0 662 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 28180 KiB
Current children cumulated memory: 4784 KiB
[startup+0.309452 s]*
/proc/loadavg: 2.04 2.03 1.92 4/187 27681
/proc/meminfo: memFree=23913288/32770624 swapFree=67108860/67108860
[pid=27680] ppid=27673 vsize=28312 memory=5048 CPUtime=0.31 cores=0,2,4,6
/proc/27680/stat : 27680 (nacre_mini_rele) R 27673 27680 27398 0 -1 4202496 1427 0 0 0 31 0 0 0 20 0 1 0 95220733 28991488 1262 33554432000 4194304 4933779 140727610583280 140727610580280 4482172 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 25247744 140727610590360 140727610590460 140727610590460 140727610593218 0
/proc/27680/statm: 7078 1262 610 181 0 695 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 28312 KiB
Current children cumulated memory: 5048 KiB
[startup+0.700334 s]
/proc/loadavg: 2.04 2.03 1.92 4/187 27681
/proc/meminfo: memFree=23912540/32770624 swapFree=67108860/67108860
[pid=27680] ppid=27673 vsize=28708 memory=5312 CPUtime=0.69 cores=0,2,4,6
/proc/27680/stat : 27680 (nacre_mini_rele) R 27673 27680 27398 0 -1 4202496 1555 0 0 0 69 0 0 0 20 0 1 0 95220733 29396992 1328 33554432000 4194304 4933779 140727610583280 140727610580280 4367814 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 25247744 140727610590360 140727610590460 140727610590460 140727610593218 0
/proc/27680/statm: 7177 1328 610 181 0 794 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 28708 KiB
Current children cumulated memory: 5312 KiB
[startup+1.50035 s]
/proc/loadavg: 2.04 2.03 1.92 4/187 27681
/proc/meminfo: memFree=23911796/32770624 swapFree=67108860/67108860
[pid=27680] ppid=27673 vsize=29344 memory=5980 CPUtime=1.49 cores=0,2,4,6
/proc/27680/stat : 27680 (nacre_mini_rele) R 27673 27680 27398 0 -1 4202496 1697 0 0 0 149 0 0 0 20 0 1 0 95220733 30048256 1495 33554432000 4194304 4933779 140727610583280 140727610580824 4513120 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 25247744 140727610590360 140727610590460 140727610590460 140727610593218 0
/proc/27680/statm: 7336 1495 610 181 0 953 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 29344 KiB
Current children cumulated memory: 5980 KiB
[startup+3.10944 s]
/proc/loadavg: 2.04 2.03 1.92 4/187 27681
/proc/meminfo: memFree=23909440/32770624 swapFree=67108860/67108860
[pid=27680] ppid=27673 vsize=30396 memory=7048 CPUtime=3.1 cores=0,2,4,6
/proc/27680/stat : 27680 (nacre_mini_rele) R 27673 27680 27398 0 -1 4202496 2902 0 0 0 310 0 0 0 20 0 1 0 95220733 31125504 1762 33554432000 4194304 4933779 140727610583280 140727610580824 139965720735127 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 25247744 140727610590360 140727610590460 140727610590460 140727610593218 0
/proc/27680/statm: 7599 1762 610 181 0 1216 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 30396 KiB
Current children cumulated memory: 7048 KiB
[startup+6.30035 s]
/proc/loadavg: 2.04 2.03 1.92 4/187 27681
/proc/meminfo: memFree=23904688/32770624 swapFree=67108860/67108860
[pid=27680] ppid=27673 vsize=32628 memory=9196 CPUtime=6.29 cores=0,2,4,6
/proc/27680/stat : 27680 (nacre_mini_rele) R 27673 27680 27398 0 -1 4202496 4716 0 0 0 629 0 0 0 20 0 1 0 95220733 33411072 2299 33554432000 4194304 4933779 140727610583280 140727610581432 4366848 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 25247744 140727610590360 140727610590460 140727610590460 140727610593218 0
/proc/27680/statm: 8157 2299 610 181 0 1774 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 32628 KiB
Current children cumulated memory: 9196 KiB
[startup+12.7003 s]
/proc/loadavg: 2.03 2.03 1.92 4/187 27681
/proc/meminfo: memFree=23894172/32770624 swapFree=67108860/67108860
[pid=27680] ppid=27673 vsize=37644 memory=14352 CPUtime=12.69 cores=0,2,4,6
/proc/27680/stat : 27680 (nacre_mini_rele) R 27673 27680 27398 0 -1 4202496 6829 0 0 0 1269 0 0 0 20 0 1 0 95220733 38547456 3588 33554432000 4194304 4933779 140727610583280 140727610581048 139965719808997 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 25247744 140727610590360 140727610590460 140727610590460 140727610593218 0
/proc/27680/statm: 9411 3588 610 181 0 3028 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 37644 KiB
Current children cumulated memory: 14352 KiB
[startup+25.5004 s]
/proc/loadavg: 2.03 2.02 1.92 4/187 27681
/proc/meminfo: memFree=23875132/32770624 swapFree=67108860/67108860
[pid=27680] ppid=27673 vsize=46800 memory=23544 CPUtime=25.49 cores=0,2,4,6
/proc/27680/stat : 27680 (nacre_mini_rele) R 27673 27680 27398 0 -1 4202496 14764 0 0 0 2548 1 0 0 20 0 1 0 95220733 47923200 5886 33554432000 4194304 4933779 140727610583280 140727610581048 139965726102529 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 25247744 140727610590360 140727610590460 140727610590460 140727610593218 0
/proc/27680/statm: 11700 5886 610 181 0 5317 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 46800 KiB
Current children cumulated memory: 23544 KiB
[startup+51.1098 s]
/proc/loadavg: 2.02 2.02 1.93 4/187 27681
/proc/meminfo: memFree=23852312/32770624 swapFree=67108860/67108860
[pid=27680] ppid=27673 vsize=58788 memory=35300 CPUtime=51.09 cores=0,2,4,6
/proc/27680/stat : 27680 (nacre_mini_rele) R 27673 27680 27398 0 -1 4202496 24006 0 0 0 5107 2 0 0 20 0 1 0 95220733 60198912 8825 33554432000 4194304 4933779 140727610583280 140727610581048 4367412 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 25247744 140727610590360 140727610590460 140727610590460 140727610593218 0
/proc/27680/statm: 14697 8825 610 181 0 8314 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 58788 KiB
Current children cumulated memory: 35300 KiB
[startup+102.3 s]
/proc/loadavg: 2.01 2.02 1.93 4/187 27682
/proc/meminfo: memFree=23817344/32770624 swapFree=67108860/67108860
[pid=27680] ppid=27673 vsize=76704 memory=52728 CPUtime=102.29 cores=0,2,4,6
/proc/27680/stat : 27680 (nacre_mini_rele) R 27673 27680 27398 0 -1 4202496 37200 0 0 0 10225 4 0 0 20 0 1 0 95220733 78544896 13182 33554432000 4194304 4933779 140727610583280 140727610581032 139965719819130 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 25247744 140727610590360 140727610590460 140727610590460 140727610593218 0
/proc/27680/statm: 19176 13182 610 181 0 12793 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 76704 KiB
Current children cumulated memory: 52728 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 1.94 4/187 27683
/proc/meminfo: memFree=23792924/32770624 swapFree=67108860/67108860
[pid=27680] ppid=27673 vsize=89548 memory=65760 CPUtime=162.26 cores=0,2,4,6
/proc/27680/stat : 27680 (nacre_mini_rele) R 27673 27680 27398 0 -1 4202496 47229 0 0 0 16222 4 0 0 20 0 1 0 95220733 91697152 16440 33554432000 4194304 4933779 140727610583280 140727610580984 139965720729507 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 25247744 140727610590360 140727610590460 140727610590460 140727610593218 0
/proc/27680/statm: 22387 16440 610 181 0 16004 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 89548 KiB
Current children cumulated memory: 65760 KiB
[startup+222.3 s]
/proc/loadavg: 2.08 2.03 1.95 4/187 27684
/proc/meminfo: memFree=23770780/32770624 swapFree=67108860/67108860
[pid=27680] ppid=27673 vsize=101216 memory=77584 CPUtime=222.26 cores=0,2,4,6
/proc/27680/stat : 27680 (nacre_mini_rele) R 27673 27680 27398 0 -1 4202496 53794 0 0 0 22221 5 0 0 20 0 1 0 95220733 103645184 19396 33554432000 4194304 4933779 140727610583280 140727610581032 4365836 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 25247744 140727610590360 140727610590460 140727610590460 140727610593218 0
/proc/27680/statm: 25304 19396 610 181 0 18921 0
Current children cumulated CPU time: 222.26 s
Current children cumulated vsize: 101216 KiB
Current children cumulated memory: 77584 KiB
[startup+282.3 s]
/proc/loadavg: 2.03 2.03 1.95 4/188 27693
/proc/meminfo: memFree=23753312/32770624 swapFree=67108860/67108860
[pid=27680] ppid=27673 vsize=113168 memory=89632 CPUtime=282.26 cores=0,2,4,6
/proc/27680/stat : 27680 (nacre_mini_rele) R 27673 27680 27398 0 -1 4202496 62854 0 0 0 28219 7 0 0 20 0 1 0 95220733 115884032 22408 33554432000 4194304 4933779 140727610583280 140727610580984 4372568 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 25247744 140727610590360 140727610590460 140727610590460 140727610593218 0
/proc/27680/statm: 28292 22408 610 181 0 21909 0
Current children cumulated CPU time: 282.26 s
Current children cumulated vsize: 113168 KiB
Current children cumulated memory: 89632 KiB
[startup+342.3 s]
/proc/loadavg: 2.01 2.02 1.95 4/188 27694
/proc/meminfo: memFree=23737232/32770624 swapFree=67108860/67108860
[pid=27680] ppid=27673 vsize=122380 memory=98808 CPUtime=342.25 cores=0,2,4,6
/proc/27680/stat : 27680 (nacre_mini_rele) R 27673 27680 27398 0 -1 4202496 66347 0 0 0 34218 7 0 0 20 0 1 0 95220733 125317120 24702 33554432000 4194304 4933779 140727610583280 140727610581048 4367537 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 25247744 140727610590360 140727610590460 140727610590460 140727610593218 0
/proc/27680/statm: 30595 24702 610 181 0 24212 0
Current children cumulated CPU time: 342.25 s
Current children cumulated vsize: 122380 KiB
Current children cumulated memory: 98808 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 1.95 4/188 27695
/proc/meminfo: memFree=23723504/32770624 swapFree=67108860/67108860
[pid=27680] ppid=27673 vsize=128712 memory=105160 CPUtime=402.25 cores=0,2,4,6
/proc/27680/stat : 27680 (nacre_mini_rele) R 27673 27680 27398 0 -1 4202496 71717 0 0 0 40218 7 0 0 20 0 1 0 95220733 131801088 26290 33554432000 4194304 4933779 140727610583280 140727610580968 139965719801660 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 25247744 140727610590360 140727610590460 140727610590460 140727610593218 0
/proc/27680/statm: 32178 26290 610 181 0 25795 0
Current children cumulated CPU time: 402.25 s
Current children cumulated vsize: 128712 KiB
Current children cumulated memory: 105160 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 1.95 4/188 27696
/proc/meminfo: memFree=23709632/32770624 swapFree=67108860/67108860
[pid=27680] ppid=27673 vsize=137692 memory=114376 CPUtime=462.24 cores=0,2,4,6
/proc/27680/stat : 27680 (nacre_mini_rele) R 27673 27680 27398 0 -1 4202496 78791 0 0 0 46216 8 0 0 20 0 1 0 95220733 140996608 28594 33554432000 4194304 4933779 140727610583280 140727610580984 139965726102857 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 25247744 140727610590360 140727610590460 140727610590460 140727610593218 0
/proc/27680/statm: 34423 28594 610 181 0 28040 0
Current children cumulated CPU time: 462.24 s
Current children cumulated vsize: 137692 KiB
Current children cumulated memory: 114376 KiB
################
# More data... #
################
/proc/27680/statm: 60366 54408 610 181 0 53983 0
Current children cumulated CPU time: 1722.16 s
Current children cumulated vsize: 241464 KiB
Current children cumulated memory: 217632 KiB
[startup+1782.3 s]
/proc/loadavg: 2.02 2.03 1.98 4/187 27736
/proc/meminfo: memFree=23529252/32770624 swapFree=67108860/67108860
[pid=27680] ppid=27673 vsize=243008 memory=219100 CPUtime=1782.16 cores=0,2,4,6
/proc/27680/stat : 27680 (nacre_mini_rele) R 27673 27680 27398 0 -1 4202496 179539 0 0 0 178197 19 0 0 20 0 1 0 95220733 248840192 54775 33554432000 4194304 4933779 140727610583280 140727610580984 139965726102362 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 25247744 140727610590360 140727610590460 140727610590460 140727610593218 0
/proc/27680/statm: 60752 54775 610 181 0 54369 0
Current children cumulated CPU time: 1782.16 s
Current children cumulated vsize: 243008 KiB
Current children cumulated memory: 219100 KiB
[startup+1842.3 s]
/proc/loadavg: 2.01 2.02 1.98 4/187 27737
/proc/meminfo: memFree=23523796/32770624 swapFree=67108860/67108860
[pid=27680] ppid=27673 vsize=244912 memory=221132 CPUtime=1842.16 cores=0,2,4,6
/proc/27680/stat : 27680 (nacre_mini_rele) R 27673 27680 27398 0 -1 4202496 182087 0 0 0 184196 20 0 0 20 0 1 0 95220733 250789888 55283 33554432000 4194304 4933779 140727610583280 140727610580984 4437389 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 25247744 140727610590360 140727610590460 140727610590460 140727610593218 0
/proc/27680/statm: 61228 55283 610 181 0 54845 0
Current children cumulated CPU time: 1842.16 s
Current children cumulated vsize: 244912 KiB
Current children cumulated memory: 221132 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.02 1.98 4/187 27738
/proc/meminfo: memFree=23517336/32770624 swapFree=67108860/67108860
[pid=27680] ppid=27673 vsize=247672 memory=223744 CPUtime=1902.15 cores=0,2,4,6
/proc/27680/stat : 27680 (nacre_mini_rele) R 27673 27680 27398 0 -1 4202496 185402 0 0 0 190195 20 0 0 20 0 1 0 95220733 253616128 55936 33554432000 4194304 4933779 140727610583280 140727610580792 139965719818140 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 25247744 140727610590360 140727610590460 140727610590460 140727610593218 0
/proc/27680/statm: 61918 55936 610 181 0 55535 0
Current children cumulated CPU time: 1902.15 s
Current children cumulated vsize: 247672 KiB
Current children cumulated memory: 223744 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 1.98 4/187 27739
/proc/meminfo: memFree=23513372/32770624 swapFree=67108860/67108860
[pid=27680] ppid=27673 vsize=249832 memory=225988 CPUtime=1962.15 cores=0,2,4,6
/proc/27680/stat : 27680 (nacre_mini_rele) R 27673 27680 27398 0 -1 4202496 189148 0 0 0 196194 21 0 0 20 0 1 0 95220733 255827968 56497 33554432000 4194304 4933779 140727610583280 140727610581032 4212112 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 25247744 140727610590360 140727610590460 140727610590460 140727610593218 0
/proc/27680/statm: 62458 56497 610 181 0 56075 0
Current children cumulated CPU time: 1962.15 s
Current children cumulated vsize: 249832 KiB
Current children cumulated memory: 225988 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 1.98 4/187 27740
/proc/meminfo: memFree=23505924/32770624 swapFree=67108860/67108860
[pid=27680] ppid=27673 vsize=256428 memory=232580 CPUtime=2022.14 cores=0,2,4,6
/proc/27680/stat : 27680 (nacre_mini_rele) R 27673 27680 27398 0 -1 4202496 194177 0 0 0 202193 21 0 0 20 0 1 0 95220733 262582272 58145 33554432000 4194304 4933779 140727610583280 140727610581032 139965719818115 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 25247744 140727610590360 140727610590460 140727610590460 140727610593218 0
/proc/27680/statm: 64107 58145 610 181 0 57724 0
Current children cumulated CPU time: 2022.14 s
Current children cumulated vsize: 256428 KiB
Current children cumulated memory: 232580 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 1.98 4/188 27749
/proc/meminfo: memFree=23498276/32770624 swapFree=67108860/67108860
[pid=27680] ppid=27673 vsize=260864 memory=237200 CPUtime=2082.14 cores=0,2,4,6
/proc/27680/stat : 27680 (nacre_mini_rele) R 27673 27680 27398 0 -1 4202496 197978 0 0 0 208193 21 0 0 20 0 1 0 95220733 267124736 59300 33554432000 4194304 4933779 140727610583280 140727610580984 4211440 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 25247744 140727610590360 140727610590460 140727610590460 140727610593218 0
/proc/27680/statm: 65216 59300 610 181 0 58833 0
Current children cumulated CPU time: 2082.14 s
Current children cumulated vsize: 260864 KiB
Current children cumulated memory: 237200 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 1.98 4/188 27750
/proc/meminfo: memFree=23491180/32770624 swapFree=67108860/67108860
[pid=27680] ppid=27673 vsize=266096 memory=242376 CPUtime=2142.14 cores=0,2,4,6
/proc/27680/stat : 27680 (nacre_mini_rele) R 27673 27680 27398 0 -1 4202496 203092 0 0 0 214192 22 0 0 20 0 1 0 95220733 272482304 60594 33554432000 4194304 4933779 140727610583280 140727610580984 4335699 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 25247744 140727610590360 140727610590460 140727610590460 140727610593218 0
/proc/27680/statm: 66524 60594 610 181 0 60141 0
Current children cumulated CPU time: 2142.14 s
Current children cumulated vsize: 266096 KiB
Current children cumulated memory: 242376 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 1.98 4/188 27751
/proc/meminfo: memFree=23486036/32770624 swapFree=67108860/67108860
[pid=27680] ppid=27673 vsize=268056 memory=244332 CPUtime=2202.14 cores=0,2,4,6
/proc/27680/stat : 27680 (nacre_mini_rele) R 27673 27680 27398 0 -1 4202496 208523 0 0 0 220191 23 0 0 20 0 1 0 95220733 274489344 61083 33554432000 4194304 4933779 140727610583280 140727610580984 4369386 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 25247744 140727610590360 140727610590460 140727610590460 140727610593218 0
/proc/27680/statm: 67014 61083 610 181 0 60631 0
Current children cumulated CPU time: 2202.14 s
Current children cumulated vsize: 268056 KiB
Current children cumulated memory: 244332 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 1.98 4/188 27752
/proc/meminfo: memFree=23481584/32770624 swapFree=67108860/67108860
[pid=27680] ppid=27673 vsize=270220 memory=246380 CPUtime=2262.14 cores=0,2,4,6
/proc/27680/stat : 27680 (nacre_mini_rele) R 27673 27680 27398 0 -1 4202496 214386 0 0 0 226190 24 0 0 20 0 1 0 95220733 276705280 61595 33554432000 4194304 4933779 140727610583280 140727610580984 4367856 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 25247744 140727610590360 140727610590460 140727610590460 140727610593218 0
/proc/27680/statm: 67555 61595 610 181 0 61172 0
Current children cumulated CPU time: 2262.14 s
Current children cumulated vsize: 270220 KiB
Current children cumulated memory: 246380 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 1.98 4/188 27753
/proc/meminfo: memFree=23478484/32770624 swapFree=67108860/67108860
[pid=27680] ppid=27673 vsize=273060 memory=249364 CPUtime=2322.13 cores=0,2,4,6
/proc/27680/stat : 27680 (nacre_mini_rele) R 27673 27680 27398 0 -1 4202496 220034 0 0 0 232189 24 0 0 20 0 1 0 95220733 279613440 62341 33554432000 4194304 4933779 140727610583280 140727610580984 4369173 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 25247744 140727610590360 140727610590460 140727610590460 140727610593218 0
/proc/27680/statm: 68265 62341 610 181 0 61882 0
Current children cumulated CPU time: 2322.13 s
Current children cumulated vsize: 273060 KiB
Current children cumulated memory: 249364 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 1.98 4/187 27755
/proc/meminfo: memFree=23473536/32770624 swapFree=67108860/67108860
[pid=27680] ppid=27673 vsize=276340 memory=252644 CPUtime=2382.13 cores=0,2,4,6
/proc/27680/stat : 27680 (nacre_mini_rele) R 27673 27680 27398 0 -1 4202496 222567 0 0 0 238188 25 0 0 20 0 1 0 95220733 282972160 63161 33554432000 4194304 4933779 140727610583280 140727610580984 4482277 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 25247744 140727610590360 140727610590460 140727610590460 140727610593218 0
/proc/27680/statm: 69085 63161 610 181 0 62702 0
Current children cumulated CPU time: 2382.13 s
Current children cumulated vsize: 276340 KiB
Current children cumulated memory: 252644 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 1.98 4/187 27756
/proc/meminfo: memFree=23466208/32770624 swapFree=67108860/67108860
[pid=27680] ppid=27673 vsize=281036 memory=257396 CPUtime=2442.12 cores=0,2,4,6
/proc/27680/stat : 27680 (nacre_mini_rele) R 27673 27680 27398 0 -1 4202496 226233 0 0 0 244187 25 0 0 20 0 1 0 95220733 287780864 64349 33554432000 4194304 4933779 140727610583280 140727610580984 139965719818146 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 25247744 140727610590360 140727610590460 140727610590460 140727610593218 0
/proc/27680/statm: 70259 64349 610 181 0 63876 0
Current children cumulated CPU time: 2442.12 s
Current children cumulated vsize: 281036 KiB
Current children cumulated memory: 257396 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 1.98 4/186 27757
/proc/meminfo: memFree=23461372/32770624 swapFree=67108860/67108860
[pid=27680] ppid=27673 vsize=284828 memory=261244 CPUtime=2502.12 cores=0,2,4,6
/proc/27680/stat : 27680 (nacre_mini_rele) R 27673 27680 27398 0 -1 4202496 230706 0 0 0 250186 26 0 0 20 0 1 0 95220733 291663872 65311 33554432000 4194304 4933779 140727610583280 140727610580984 139965719806749 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 25247744 140727610590360 140727610590460 140727610590460 140727610593218 0
/proc/27680/statm: 71207 65311 610 181 0 64824 0
Current children cumulated CPU time: 2502.12 s
Current children cumulated vsize: 284828 KiB
Current children cumulated memory: 261244 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 1.98 4/186 27758
/proc/meminfo: memFree=23459432/32770624 swapFree=67108860/67108860
[pid=27680] ppid=27673 vsize=285752 memory=262148 CPUtime=2519.83 cores=0,2,4,6
/proc/27680/stat : 27680 (nacre_mini_rele) R 27673 27680 27398 0 -1 4202496 234570 0 0 0 251957 26 0 0 20 0 1 0 95220733 292610048 65537 33554432000 4194304 4933779 140727610583280 140727610580984 139965720729488 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 25247744 140727610590360 140727610590460 140727610590460 140727610593218 0
/proc/27680/statm: 71438 65537 610 181 0 65055 0
Current children cumulated CPU time: 2519.83 s
Current children cumulated vsize: 285752 KiB
Current children cumulated memory: 262148 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 27680 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.57 s, system=0.268987 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 2520.01
CPU time (s): 2519.84
CPU user time (s): 2519.57
CPU system time (s): 0.268987
CPU usage (%): 99.9932
Max. virtual memory (cumulated for all children) (KiB): 285752
Max. memory (cumulated for all children) (KiB): 262148
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.57
system time used= 0.268987
maximum resident set size= 262324
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 234614
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= 84
involuntary context switches= 2132
# summary of solver processes directly reported to runsolver:
# pid: 27680
# total CPU time (s): 2519.84
# total CPU user time (s): 2519.57
# total CPU system time (s): 0.268987
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.77833 second user time and 19.02 second system time
The end