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 (13819 MiB free)
memory of node 1: 16384 MiB (12729 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391505-1568319149/watcher-4391505-1568319149 -o /tmp/evaluation-result-4391505-1568319149/solver-4391505-1568319149 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1568301555-23461 --watchdog 2560 nacre_mini_release HOME/instance-4391505-1568319149.xml -ca -l100 -cm
running on 4 cores: 0,2,4,6
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
solver pid=27345, runsolver pid=27342
Current StackSize limit: 8192 KiB
[startup+0.100202 s]*
/proc/loadavg: 2.00 2.01 2.05 3/200 27346
/proc/meminfo: memFree=27176532/32770624 swapFree=67004752/67108860
[pid=27345] ppid=27342 vsize=37144 memory=13576 CPUtime=0.1 cores=0,2,4,6
/proc/27345/stat : 27345 (nacre_mini_rele) R 27342 27345 11220 0 -1 4202496 3675 0 0 0 10 0 0 0 20 0 1 0 408182724 38035456 3394 33554432000 4194304 4935366 140722797774464 140722797771464 139747022363621 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 7034520 7039168 13807616 140722797782017 140722797782117 140722797782117 140722797785026 0
/proc/27345/statm: 9286 3394 581 181 0 2903 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 37144 KiB
Current children cumulated memory: 13576 KiB
[startup+0.209919 s]*
/proc/loadavg: 2.00 2.01 2.05 3/200 27346
/proc/meminfo: memFree=27174300/32770624 swapFree=67004752/67108860
[pid=27345] ppid=27342 vsize=39340 memory=15688 CPUtime=0.21 cores=0,2,4,6
/proc/27345/stat : 27345 (nacre_mini_rele) R 27342 27345 11220 0 -1 4202496 4244 0 0 0 21 0 0 0 20 0 1 0 408182724 40284160 3922 33554432000 4194304 4935366 140722797774464 140722797771464 139747023225245 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 13807616 140722797782017 140722797782117 140722797782117 140722797785026 0
/proc/27345/statm: 9835 3922 593 181 0 3452 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 39340 KiB
Current children cumulated memory: 15688 KiB
[startup+0.309905 s]*
/proc/loadavg: 2.00 2.01 2.05 3/200 27346
/proc/meminfo: memFree=27173556/32770624 swapFree=67004752/67108860
[pid=27345] ppid=27342 vsize=39340 memory=15952 CPUtime=0.31 cores=0,2,4,6
/proc/27345/stat : 27345 (nacre_mini_rele) R 27342 27345 11220 0 -1 4202496 4273 0 0 0 31 0 0 0 20 0 1 0 408182724 40284160 3988 33554432000 4194304 4935366 140722797774464 140722797771464 4365325 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 13807616 140722797782017 140722797782117 140722797782117 140722797785026 0
/proc/27345/statm: 9835 3988 604 181 0 3452 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 39340 KiB
Current children cumulated memory: 15952 KiB
[startup+0.700399 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 27346
/proc/meminfo: memFree=27173132/32770624 swapFree=67004752/67108860
[pid=27345] ppid=27342 vsize=39340 memory=15952 CPUtime=0.69 cores=0,2,4,6
/proc/27345/stat : 27345 (nacre_mini_rele) R 27342 27345 11220 0 -1 4202496 4280 0 0 0 69 0 0 0 20 0 1 0 408182724 40284160 3988 33554432000 4194304 4935366 140722797774464 140722797772584 4365342 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 13807616 140722797782017 140722797782117 140722797782117 140722797785026 0
/proc/27345/statm: 9835 3988 604 181 0 3452 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 39340 KiB
Current children cumulated memory: 15952 KiB
[startup+1.50042 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 27346
/proc/meminfo: memFree=27172164/32770624 swapFree=67004752/67108860
[pid=27345] ppid=27342 vsize=40660 memory=17272 CPUtime=1.49 cores=0,2,4,6
/proc/27345/stat : 27345 (nacre_mini_rele) R 27342 27345 11220 0 -1 4202496 4587 0 0 0 149 0 0 0 20 0 1 0 408182724 41635840 4318 33554432000 4194304 4935366 140722797774464 140722797772584 4329472 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 13807616 140722797782017 140722797782117 140722797782117 140722797785026 0
/proc/27345/statm: 10165 4318 618 181 0 3782 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 40660 KiB
Current children cumulated memory: 17272 KiB
[startup+3.10993 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 27348
/proc/meminfo: memFree=27164072/32770624 swapFree=67004752/67108860
[pid=27345] ppid=27342 vsize=45020 memory=21484 CPUtime=3.1 cores=0,2,4,6
/proc/27345/stat : 27345 (nacre_mini_rele) R 27342 27345 11220 0 -1 4202496 9114 0 0 0 310 0 0 0 20 0 1 0 408182724 46100480 5371 33554432000 4194304 4935366 140722797774464 140722797772152 4365360 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 13807616 140722797782017 140722797782117 140722797782117 140722797785026 0
/proc/27345/statm: 11255 5371 618 181 0 4872 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 45020 KiB
Current children cumulated memory: 21484 KiB
[startup+6.30041 s]
/proc/loadavg: 1.84 1.98 2.03 3/201 27348
/proc/meminfo: memFree=27146556/32770624 swapFree=67004752/67108860
[pid=27345] ppid=27342 vsize=59596 memory=36104 CPUtime=6.29 cores=0,2,4,6
/proc/27345/stat : 27345 (nacre_mini_rele) R 27342 27345 11220 0 -1 4202496 16845 0 0 0 628 1 0 0 20 0 1 0 408182724 61026304 9026 33554432000 4194304 4935366 140722797774464 140722797772152 139747022363621 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 13807616 140722797782017 140722797782117 140722797782117 140722797785026 0
/proc/27345/statm: 14899 9026 618 181 0 8516 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 59596 KiB
Current children cumulated memory: 36104 KiB
[startup+12.7004 s]
/proc/loadavg: 1.86 1.98 2.03 3/200 27348
/proc/meminfo: memFree=27097000/32770624 swapFree=67004752/67108860
[pid=27345] ppid=27342 vsize=96000 memory=72512 CPUtime=12.68 cores=0,2,4,6
/proc/27345/stat : 27345 (nacre_mini_rele) R 27342 27345 11220 0 -1 4202496 31799 0 0 0 1265 3 0 0 20 0 1 0 408182724 98304000 18128 33554432000 4194304 4935366 140722797774464 140722797772152 4450336 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 13807616 140722797782017 140722797782117 140722797782117 140722797785026 0
/proc/27345/statm: 24000 18128 618 181 0 17617 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 96000 KiB
Current children cumulated memory: 72512 KiB
[startup+25.5005 s]
/proc/loadavg: 1.89 1.98 2.03 3/200 27348
/proc/meminfo: memFree=26991440/32770624 swapFree=67004752/67108860
[pid=27345] ppid=27342 vsize=175112 memory=151620 CPUtime=25.48 cores=0,2,4,6
/proc/27345/stat : 27345 (nacre_mini_rele) R 27342 27345 11220 0 -1 4202496 74774 0 0 0 2540 8 0 0 20 0 1 0 408182724 179314688 37905 33554432000 4194304 4935366 140722797774464 140722797772152 4450265 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 13807616 140722797782017 140722797782117 140722797782117 140722797785026 0
/proc/27345/statm: 43778 37905 618 181 0 37395 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 175112 KiB
Current children cumulated memory: 151620 KiB
[startup+51.11 s]
/proc/loadavg: 1.93 1.99 2.03 3/200 27350
/proc/meminfo: memFree=26733896/32770624 swapFree=67004752/67108860
[pid=27345] ppid=27342 vsize=340156 memory=316180 CPUtime=51.09 cores=0,2,4,6
/proc/27345/stat : 27345 (nacre_mini_rele) R 27342 27345 11220 0 -1 4202496 142938 0 0 0 5090 19 0 0 20 0 1 0 408182724 348319744 79045 33554432000 4194304 4935366 140722797774464 140722797772152 4460991 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 13807616 140722797782017 140722797782117 140722797782117 140722797785026 0
/proc/27345/statm: 85039 79045 618 181 0 78656 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 340156 KiB
Current children cumulated memory: 316180 KiB
[startup+102.3 s]
/proc/loadavg: 1.97 1.99 2.03 3/200 27354
/proc/meminfo: memFree=26252996/32770624 swapFree=67004752/67108860
[pid=27345] ppid=27342 vsize=690316 memory=666568 CPUtime=102.28 cores=0,2,4,6
/proc/27345/stat : 27345 (nacre_mini_rele) R 27342 27345 11220 0 -1 4202496 281000 0 0 0 10188 40 0 0 20 0 1 0 408182724 706883584 166642 33554432000 4194304 4935366 140722797774464 140722797772152 4365360 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 13807616 140722797782017 140722797782117 140722797782117 140722797785026 0
/proc/27345/statm: 172579 166642 618 181 0 166196 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 690316 KiB
Current children cumulated memory: 666568 KiB
[startup+162.3 s]
/proc/loadavg: 1.99 1.99 2.03 3/200 27358
/proc/meminfo: memFree=25828044/32770624 swapFree=67004752/67108860
[pid=27345] ppid=27342 vsize=975480 memory=951992 CPUtime=162.27 cores=0,2,4,6
/proc/27345/stat : 27345 (nacre_mini_rele) R 27342 27345 11220 0 -1 4202496 413626 0 0 0 16170 57 0 0 20 0 1 0 408182724 998891520 237998 33554432000 4194304 4935366 140722797774464 140722797772152 139747023219067 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 13807616 140722797782017 140722797782117 140722797782117 140722797785026 0
/proc/27345/statm: 243870 237998 618 181 0 237487 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 975480 KiB
Current children cumulated memory: 951992 KiB
[startup+222.3 s]
/proc/loadavg: 2.22 2.03 2.05 3/199 27362
/proc/meminfo: memFree=25518520/32770624 swapFree=67004752/67108860
[pid=27345] ppid=27342 vsize=1197596 memory=1174232 CPUtime=222.26 cores=0,2,4,6
/proc/27345/stat : 27345 (nacre_mini_rele) R 27342 27345 11220 0 -1 4202496 544775 0 0 0 22153 73 0 0 20 0 1 0 408182724 1226338304 293558 33554432000 4194304 4935366 140722797774464 140722797772152 4424248 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 13807616 140722797782017 140722797782117 140722797782117 140722797785026 0
/proc/27345/statm: 299399 293558 618 181 0 293016 0
Current children cumulated CPU time: 222.26 s
Current children cumulated vsize: 1197596 KiB
Current children cumulated memory: 1174232 KiB
[startup+282.3 s]
/proc/loadavg: 2.37 2.13 2.08 3/199 27368
/proc/meminfo: memFree=25230492/32770624 swapFree=67004752/67108860
[pid=27345] ppid=27342 vsize=1373692 memory=1349176 CPUtime=282.25 cores=0,2,4,6
/proc/27345/stat : 27345 (nacre_mini_rele) R 27342 27345 11220 0 -1 4202496 704324 0 0 0 28136 89 0 0 20 0 1 0 408182724 1406660608 337294 33554432000 4194304 4935366 140722797774464 140722797772216 4461069 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 13807616 140722797782017 140722797782117 140722797782117 140722797785026 0
/proc/27345/statm: 343423 337294 618 181 0 337040 0
Current children cumulated CPU time: 282.25 s
Current children cumulated vsize: 1373692 KiB
Current children cumulated memory: 1349176 KiB
[startup+342.3 s]
/proc/loadavg: 2.14 2.11 2.08 3/199 27372
/proc/meminfo: memFree=24929744/32770624 swapFree=67004752/67108860
[pid=27345] ppid=27342 vsize=1558016 memory=1533632 CPUtime=342.23 cores=0,2,4,6
/proc/27345/stat : 27345 (nacre_mini_rele) R 27342 27345 11220 0 -1 4202496 897697 0 0 0 34115 108 0 0 20 0 1 0 408182724 1595408384 383408 33554432000 4194304 4935366 140722797774464 140722797772216 4429531 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 13807616 140722797782017 140722797782117 140722797782117 140722797785026 0
/proc/27345/statm: 389504 383408 618 181 0 383121 0
Current children cumulated CPU time: 342.23 s
Current children cumulated vsize: 1558016 KiB
Current children cumulated memory: 1533632 KiB
[startup+402.3 s]
/proc/loadavg: 2.05 2.09 2.07 3/199 27376
/proc/meminfo: memFree=24657936/32770624 swapFree=67004752/67108860
[pid=27345] ppid=27342 vsize=1722016 memory=1697668 CPUtime=402.23 cores=0,2,4,6
/proc/27345/stat : 27345 (nacre_mini_rele) R 27342 27345 11220 0 -1 4202496 1102280 0 0 0 40097 126 0 0 20 0 1 0 408182724 1763344384 424417 33554432000 4194304 4935366 140722797774464 140722797772152 4461069 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 13807616 140722797782017 140722797782117 140722797782117 140722797785026 0
/proc/27345/statm: 430504 424417 618 181 0 424121 0
Current children cumulated CPU time: 402.23 s
Current children cumulated vsize: 1722016 KiB
Current children cumulated memory: 1697668 KiB
[startup+462.3 s]
/proc/loadavg: 2.02 2.07 2.06 3/199 27382
/proc/meminfo: memFree=24433528/32770624 swapFree=67004752/67108860
[pid=27345] ppid=27342 vsize=1844760 memory=1820512 CPUtime=462.22 cores=0,2,4,6
/proc/27345/stat : 27345 (nacre_mini_rele) R 27342 27345 11220 0 -1 4202496 1316124 0 0 0 46077 145 0 0 20 0 1 0 408182724 1889034240 455128 33554432000 4194304 4935366 140722797774464 140722797772216 4365360 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 13807616 140722797782017 140722797782117 140722797782117 140722797785026 0
/proc/27345/statm: 461190 455128 618 181 0 454807 0
Current children cumulated CPU time: 462.22 s
Current children cumulated vsize: 1844760 KiB
Current children cumulated memory: 1820512 KiB
################
# More data... #
################
Current children cumulated vsize: 3530124 KiB
Current children cumulated memory: 3506320 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 27522
/proc/meminfo: memFree=21172428/32770624 swapFree=67004752/67108860
[pid=27345] ppid=27342 vsize=3592340 memory=3568668 CPUtime=1902.18 cores=0,2,4,6
/proc/27345/stat : 27345 (nacre_mini_rele) R 27342 27345 11220 0 -1 4202496 10773662 0 0 0 189437 781 0 0 20 0 1 0 408182724 3678556160 892167 33554432000 4194304 4935366 140722797774464 140722797772216 4407290 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 13807616 140722797782017 140722797782117 140722797782117 140722797785026 0
/proc/27345/statm: 898085 892167 618 181 0 891702 0
Current children cumulated CPU time: 1902.18 s
Current children cumulated vsize: 3592340 KiB
Current children cumulated memory: 3568668 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 27526
/proc/meminfo: memFree=21078800/32770624 swapFree=67004752/67108860
[pid=27345] ppid=27342 vsize=3662176 memory=3638388 CPUtime=1962.17 cores=0,2,4,6
/proc/27345/stat : 27345 (nacre_mini_rele) R 27342 27345 11220 0 -1 4202496 11305322 0 0 0 195401 816 0 0 20 0 1 0 408182724 3750068224 909597 33554432000 4194304 4935366 140722797774464 140722797772152 4462502 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 13807616 140722797782017 140722797782117 140722797782117 140722797785026 0
/proc/27345/statm: 915544 909597 618 181 0 909161 0
Current children cumulated CPU time: 1962.17 s
Current children cumulated vsize: 3662176 KiB
Current children cumulated memory: 3638388 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 27530
/proc/meminfo: memFree=20994972/32770624 swapFree=67004752/67108860
[pid=27345] ppid=27342 vsize=3693116 memory=3669304 CPUtime=2022.17 cores=0,2,4,6
/proc/27345/stat : 27345 (nacre_mini_rele) R 27342 27345 11220 0 -1 4202496 11849031 0 0 0 201367 850 0 0 20 0 1 0 408182724 3781750784 917326 33554432000 4194304 4935366 140722797774464 140722797772152 139747023219083 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 13807616 140722797782017 140722797782117 140722797782117 140722797785026 0
/proc/27345/statm: 923279 917326 618 181 0 916896 0
Current children cumulated CPU time: 2022.17 s
Current children cumulated vsize: 3693116 KiB
Current children cumulated memory: 3669304 KiB
[startup+2082.3 s]
/proc/loadavg: 2.13 2.04 2.05 3/199 27853
/proc/meminfo: memFree=24955048/32770624 swapFree=67004752/67108860
[pid=27345] ppid=27342 vsize=3721084 memory=3697312 CPUtime=2082.16 cores=0,2,4,6
/proc/27345/stat : 27345 (nacre_mini_rele) R 27342 27345 11220 0 -1 4202496 12359390 0 0 0 207336 880 0 0 20 0 1 0 408182724 3810390016 924328 33554432000 4194304 4935366 140722797774464 140722797772216 139747023218988 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 13807616 140722797782017 140722797782117 140722797782117 140722797785026 0
/proc/27345/statm: 930271 924328 618 181 0 923888 0
Current children cumulated CPU time: 2082.16 s
Current children cumulated vsize: 3721084 KiB
Current children cumulated memory: 3697312 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/199 28173
/proc/meminfo: memFree=24857084/32770624 swapFree=67004752/67108860
[pid=27345] ppid=27342 vsize=3814164 memory=3790448 CPUtime=2142.15 cores=0,2,4,6
/proc/27345/stat : 27345 (nacre_mini_rele) R 27342 27345 11220 0 -1 4202496 12912332 0 0 0 213299 916 0 0 20 0 1 0 408182724 3905703936 947612 33554432000 4194304 4935366 140722797774464 140722797772168 4461227 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 13807616 140722797782017 140722797782117 140722797782117 140722797785026 0
/proc/27345/statm: 953541 947612 618 181 0 947158 0
Current children cumulated CPU time: 2142.15 s
Current children cumulated vsize: 3814164 KiB
Current children cumulated memory: 3790448 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.02 2.05 4/199 28237
/proc/meminfo: memFree=24750404/32770624 swapFree=67004752/67108860
[pid=27345] ppid=27342 vsize=3846944 memory=3823184 CPUtime=2202.13 cores=0,2,4,6
/proc/27345/stat : 27345 (nacre_mini_rele) R 27342 27345 11220 0 -1 4202496 13461887 0 0 0 219261 952 0 0 20 0 1 0 408182724 3939270656 955796 33554432000 4194304 4935366 140722797774464 140722797772216 4461250 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 13807616 140722797782017 140722797782117 140722797782117 140722797785026 0
/proc/27345/statm: 961736 955796 618 181 0 955353 0
Current children cumulated CPU time: 2202.13 s
Current children cumulated vsize: 3846944 KiB
Current children cumulated memory: 3823184 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 28365
/proc/meminfo: memFree=24825084/32770624 swapFree=67004752/67108860
[pid=27345] ppid=27342 vsize=3883208 memory=3859384 CPUtime=2262.12 cores=0,2,4,6
/proc/27345/stat : 27345 (nacre_mini_rele) R 27342 27345 11220 0 -1 4202496 13990861 0 0 0 225228 984 0 0 20 0 1 0 408182724 3976404992 964846 33554432000 4194304 4935366 140722797774464 140722797772216 4461216 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 13807616 140722797782017 140722797782117 140722797782117 140722797785026 0
/proc/27345/statm: 970802 964846 618 181 0 964419 0
Current children cumulated CPU time: 2262.12 s
Current children cumulated vsize: 3883208 KiB
Current children cumulated memory: 3859384 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 28377
/proc/meminfo: memFree=24753248/32770624 swapFree=67004752/67108860
[pid=27345] ppid=27342 vsize=3926124 memory=3902268 CPUtime=2322.11 cores=0,2,4,6
/proc/27345/stat : 27345 (nacre_mini_rele) R 27342 27345 11220 0 -1 4202496 14536986 0 0 0 231195 1016 0 0 20 0 1 0 408182724 4020350976 975567 33554432000 4194304 4935366 140722797774464 140722797772216 4460991 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 13807616 140722797782017 140722797782117 140722797782117 140722797785026 0
/proc/27345/statm: 981531 975567 618 181 0 975148 0
Current children cumulated CPU time: 2322.11 s
Current children cumulated vsize: 3926124 KiB
Current children cumulated memory: 3902268 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 28381
/proc/meminfo: memFree=24647524/32770624 swapFree=67004752/67108860
[pid=27345] ppid=27342 vsize=4020312 memory=3995252 CPUtime=2382.1 cores=0,2,4,6
/proc/27345/stat : 27345 (nacre_mini_rele) R 27342 27345 11220 0 -1 4202496 15130256 0 0 0 237156 1054 0 0 20 0 1 0 408182724 4116799488 998813 33554432000 4194304 4935366 140722797774464 140722797772216 4429252 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 13807616 140722797782017 140722797782117 140722797782117 140722797785026 0
/proc/27345/statm: 1005078 998813 618 181 0 998695 0
Current children cumulated CPU time: 2382.1 s
Current children cumulated vsize: 4020312 KiB
Current children cumulated memory: 3995252 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 28383
/proc/meminfo: memFree=24631372/32770624 swapFree=67004752/67108860
[pid=27345] ppid=27342 vsize=4031836 memory=4006652 CPUtime=2400.09 cores=0,2,4,6
/proc/27345/stat : 27345 (nacre_mini_rele) R 27342 27345 11220 0 -1 4202496 15239032 0 0 0 238947 1062 0 0 20 0 1 0 408182724 4128600064 1001663 33554432000 4194304 4935366 140722797774464 140722797772216 4429531 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 13807616 140722797782017 140722797782117 140722797782117 140722797785026 0
/proc/27345/statm: 1007959 1001663 618 181 0 1001576 0
Current children cumulated CPU time: 2400.09 s
Current children cumulated vsize: 4031836 KiB
Current children cumulated memory: 4006652 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+2402.51 s]
# the end of solver process 27345 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2389.47 s, system=10.8395 s
Solver just ended.
Dumping a history of the last processes samples
[startup+2401.6 s]
/proc/loadavg: 2.00 2.01 2.05 2/200 28383
/proc/meminfo: memFree=24630876/32770624 swapFree=67004752/67108860
[pid=27345] ppid=27342 vsize=4031836 memory=4006652 CPUtime=2400.09 cores=0,2,4,6
/proc/27345/stat : 27345 (nacre_mini_rele) S 27342 27345 11220 0 -1 1077944320 15239061 0 0 0 238947 1062 0 0 20 0 1 0 408182724 4128600064 1001663 33554432000 4194304 4935366 140722797774464 140722797770808 139747022917884 0 16384 4096 24578 18446744071579849748 0 0 17 4 0 0 0 0 0 7034520 7039168 13807616 140722797782017 140722797782117 140722797782117 140722797785026 0
/proc/27345/statm: 1007959 1001663 618 181 0 1001576 0
Current children cumulated CPU time: 2400.09 s
Current children cumulated vsize: 4031836 KiB
Current children cumulated memory: 4006652 KiB
[startup+2402 s]*
/proc/loadavg: 2.00 2.01 2.05 2/200 28383
/proc/meminfo: memFree=24630752/32770624 swapFree=67004752/67108860
[pid=27345] ppid=27342 vsize=4031836 memory=4006652 CPUtime=2400.09 cores=0,2,4,6
/proc/27345/stat : 27345 (nacre_mini_rele) S 27342 27345 11220 0 -1 1077944320 15239061 0 0 0 238947 1062 0 0 20 0 1 0 408182724 4128600064 1001663 33554432000 4194304 4935366 140722797774464 140722797770808 139747022917884 0 16384 4096 24578 18446744071579849748 0 0 17 4 0 0 0 0 0 7034520 7039168 13807616 140722797782017 140722797782117 140722797782117 140722797785026 0
/proc/27345/statm: 1007959 1001663 618 181 0 1001576 0
Current children cumulated CPU time: 2400.09 s
Current children cumulated vsize: 4031836 KiB
Current children cumulated memory: 4006652 KiB
[startup+2402.2 s]
/proc/loadavg: 2.00 2.01 2.05 2/200 28383
/proc/meminfo: memFree=24630752/32770624 swapFree=67004752/67108860
[pid=27345] ppid=27342 vsize=4031836 memory=4006652 CPUtime=2400.09 cores=0,2,4,6
/proc/27345/stat : 27345 (nacre_mini_rele) S 27342 27345 11220 0 -1 1077944320 15239061 0 0 0 238947 1062 0 0 20 0 1 0 408182724 4128600064 1001663 33554432000 4194304 4935366 140722797774464 140722797770808 139747022917884 0 16384 4096 24578 18446744071579849748 0 0 17 4 0 0 0 0 0 7034520 7039168 13807616 140722797782017 140722797782117 140722797782117 140722797785026 0
/proc/27345/statm: 1007959 1001663 618 181 0 1001576 0
Current children cumulated CPU time: 2400.09 s
Current children cumulated vsize: 4031836 KiB
Current children cumulated memory: 4006652 KiB
[startup+2402.3 s]
/proc/loadavg: 2.00 2.01 2.05 2/200 28383
/proc/meminfo: memFree=24630752/32770624 swapFree=67004752/67108860
[pid=27345] ppid=27342 vsize=4031836 memory=4006652 CPUtime=2400.09 cores=0,2,4,6
/proc/27345/stat : 27345 (nacre_mini_rele) S 27342 27345 11220 0 -1 1077944320 15239061 0 0 0 238947 1062 0 0 20 0 1 0 408182724 4128600064 1001663 33554432000 4194304 4935366 140722797774464 140722797770808 139747022917884 0 16384 4096 24578 18446744071579849748 0 0 17 4 0 0 0 0 0 7034520 7039168 13807616 140722797782017 140722797782117 140722797782117 140722797785026 0
/proc/27345/statm: 1007959 1001663 618 181 0 1001576 0
Current children cumulated CPU time: 2400.09 s
Current children cumulated vsize: 4031836 KiB
Current children cumulated memory: 4006652 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 2402.51
CPU time (s): 2400.31
CPU user time (s): 2389.47
CPU system time (s): 10.8395
CPU usage (%): 99.9084
Max. virtual memory (cumulated for all children) (KiB): 4031836
Max. memory (cumulated for all children) (KiB): 4006652
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2389.47
system time used= 10.8395
maximum resident set size= 4006736
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15239061
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= 150
involuntary context switches= 2440
# summary of solver processes directly reported to runsolver:
# pid: 27345
# total CPU time (s): 2400.31
# total CPU user time (s): 2389.47
# total CPU system time (s): 10.8395
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.9172 second user time and 13.2741 second system time
The end