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 (9764 MiB free)
memory of node 1: 16384 MiB (11690 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391560-1568310167/watcher-4391560-1568310167 -o /tmp/evaluation-result-4391560-1568310167/solver-4391560-1568310167 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node140-1568307582-20542 --watchdog 2560 nacre_mini_release HOME/instance-4391560-1568310167.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=21883, runsolver pid=21880
[startup+0.100163 s]*
/proc/loadavg: 2.08 2.03 1.96 3/199 21884
/proc/meminfo: memFree=21939236/32770624 swapFree=66999144/67108860
[pid=21883] ppid=21880 vsize=60932 memory=34736 CPUtime=0.1 cores=1,3,5,7
/proc/21883/stat : 21883 (nacre_mini_rele) R 21880 21883 20510 0 -1 4202496 9839 0 0 0 9 1 0 0 20 0 1 0 406955199 62394368 8684 33554432000 4194304 4935366 140730701677536 140730701672168 140698036883968 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7034520 7039168 27963392 140730701681665 140730701681765 140730701681765 140730701684674 0
/proc/21883/statm: 15233 8684 574 181 0 8850 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 60932 KiB
Current children cumulated memory: 34736 KiB
[startup+0.209777 s]*
/proc/loadavg: 2.08 2.03 1.96 3/199 21884
/proc/meminfo: memFree=21913940/32770624 swapFree=66999144/67108860
[pid=21883] ppid=21880 vsize=86604 memory=60344 CPUtime=0.21 cores=1,3,5,7
/proc/21883/stat : 21883 (nacre_mini_rele) R 21880 21883 20510 0 -1 4202496 16221 0 0 0 19 2 0 0 20 0 1 0 406955199 88682496 15086 33554432000 4194304 4935366 140730701677536 140730701672168 4322327 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7034520 7039168 27963392 140730701681665 140730701681765 140730701681765 140730701684674 0
/proc/21883/statm: 21651 15086 574 181 0 15268 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 86604 KiB
Current children cumulated memory: 60344 KiB
[startup+0.309604 s]*
/proc/loadavg: 2.08 2.03 1.96 3/199 21884
/proc/meminfo: memFree=21890504/32770624 swapFree=66999144/67108860
[pid=21883] ppid=21880 vsize=109256 memory=82784 CPUtime=0.31 cores=1,3,5,7
/proc/21883/stat : 21883 (nacre_mini_rele) R 21880 21883 20510 0 -1 4202496 21852 0 0 0 28 3 0 0 20 0 1 0 406955199 111878144 20696 33554432000 4194304 4935366 140730701677536 140730701672168 140698036885072 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7034520 7039168 27963392 140730701681665 140730701681765 140730701681765 140730701684674 0
/proc/21883/statm: 27314 20696 574 181 0 20931 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 109256 KiB
Current children cumulated memory: 82784 KiB
[startup+0.70037 s]
/proc/loadavg: 2.08 2.03 1.96 3/199 21884
/proc/meminfo: memFree=21844748/32770624 swapFree=66999144/67108860
[pid=21883] ppid=21880 vsize=197208 memory=170168 CPUtime=0.69 cores=1,3,5,7
/proc/21883/stat : 21883 (nacre_mini_rele) R 21880 21883 20510 0 -1 4202496 43631 0 0 0 64 5 0 0 20 0 1 0 406955199 201940992 42476 33554432000 4194304 4935366 140730701677536 140730701672168 140698036886501 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7034520 7039168 27963392 140730701681665 140730701681765 140730701681765 140730701684674 0
/proc/21883/statm: 49302 42542 574 181 0 42919 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 197208 KiB
Current children cumulated memory: 170168 KiB
[startup+1.50037 s]
/proc/loadavg: 2.08 2.03 1.96 3/199 21884
/proc/meminfo: memFree=21733044/32770624 swapFree=66999144/67108860
[pid=21883] ppid=21880 vsize=378068 memory=350216 CPUtime=1.49 cores=1,3,5,7
/proc/21883/stat : 21883 (nacre_mini_rele) R 21880 21883 20510 0 -1 4202496 88675 0 0 0 139 10 0 0 20 0 1 0 406955199 387141632 87554 33554432000 4194304 4935366 140730701677536 140730701672168 140698036884007 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7034520 7039168 27963392 140730701681665 140730701681765 140730701681765 140730701684674 0
/proc/21883/statm: 94517 87554 574 181 0 88134 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 378068 KiB
Current children cumulated memory: 350216 KiB
[startup+3.10951 s]
/proc/loadavg: 2.07 2.03 1.96 3/199 21884
/proc/meminfo: memFree=21292944/32770624 swapFree=66999144/67108860
[pid=21883] ppid=21880 vsize=730700 memory=700932 CPUtime=3.09 cores=1,3,5,7
/proc/21883/stat : 21883 (nacre_mini_rele) R 21880 21883 20510 0 -1 4202496 178943 0 0 0 290 19 0 0 20 0 1 0 406955199 748236800 175233 33554432000 4194304 4935366 140730701677536 140730701672168 4271828 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7034520 7039168 27963392 140730701681665 140730701681765 140730701681765 140730701684674 0
/proc/21883/statm: 182675 175233 574 181 0 176292 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 730700 KiB
Current children cumulated memory: 700932 KiB
[startup+6.30036 s]
/proc/loadavg: 2.07 2.03 1.96 3/199 21885
/proc/meminfo: memFree=20669164/32770624 swapFree=66999144/67108860
[pid=21883] ppid=21880 vsize=1393672 memory=1360076 CPUtime=6.29 cores=1,3,5,7
/proc/21883/stat : 21883 (nacre_mini_rele) R 21880 21883 20510 0 -1 4202496 346338 0 0 0 590 39 0 0 20 0 1 0 406955199 1427120128 340019 33554432000 4194304 4935366 140730701677536 140730701672168 140698037751731 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7034520 7039168 27963392 140730701681665 140730701681765 140730701681765 140730701684674 0
/proc/21883/statm: 348418 340019 574 181 0 342035 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 1393672 KiB
Current children cumulated memory: 1360076 KiB
[startup+12.7004 s]
/proc/loadavg: 1.99 2.01 1.96 3/199 21885
/proc/meminfo: memFree=19524520/32770624 swapFree=66999144/67108860
[pid=21883] ppid=21880 vsize=2607864 memory=2567364 CPUtime=12.69 cores=1,3,5,7
/proc/21883/stat : 21883 (nacre_mini_rele) R 21880 21883 20510 0 -1 4202496 651663 0 0 0 1193 76 0 0 20 0 1 0 406955199 2670452736 641841 33554432000 4194304 4935366 140730701677536 140730701672168 140698036884222 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7034520 7039168 27963392 140730701681665 140730701681765 140730701681765 140730701684674 0
/proc/21883/statm: 651966 641841 574 181 0 645583 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2607864 KiB
Current children cumulated memory: 2567364 KiB
[startup+25.5004 s]
/proc/loadavg: 1.99 2.01 1.96 3/199 21885
/proc/meminfo: memFree=18044796/32770624 swapFree=66999144/67108860
[pid=21883] ppid=21880 vsize=3965248 memory=3917524 CPUtime=25.48 cores=1,3,5,7
/proc/21883/stat : 21883 (nacre_mini_rele) R 21880 21883 20510 0 -1 4202496 1583438 0 0 0 2408 140 0 0 20 0 1 0 406955199 4060413952 979381 33554432000 4194304 4935366 140730701677536 140730701676056 140698037749848 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 27963392 140730701681665 140730701681765 140730701681765 140730701684674 0
/proc/21883/statm: 991312 979381 593 181 0 984929 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 3965248 KiB
Current children cumulated memory: 3917524 KiB
[startup+51.1094 s]
/proc/loadavg: 1.99 2.01 1.96 3/196 22044
/proc/meminfo: memFree=18075872/32770624 swapFree=66999144/67108860
[pid=21883] ppid=21880 vsize=3970444 memory=3922708 CPUtime=51.09 cores=1,3,5,7
/proc/21883/stat : 21883 (nacre_mini_rele) R 21880 21883 20510 0 -1 4202496 1622236 0 0 0 4964 145 0 0 20 0 1 0 406955199 4065734656 980677 33554432000 4194304 4935366 140730701677536 140730701675288 4450164 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 27963392 140730701681665 140730701681765 140730701681765 140730701684674 0
/proc/21883/statm: 992611 980677 614 181 0 986228 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 3970444 KiB
Current children cumulated memory: 3922708 KiB
[startup+102.3 s]
/proc/loadavg: 2.04 2.03 1.96 3/200 22208
/proc/meminfo: memFree=18014260/32770624 swapFree=66999144/67108860
[pid=21883] ppid=21880 vsize=3978008 memory=3930432 CPUtime=102.28 cores=1,3,5,7
/proc/21883/stat : 21883 (nacre_mini_rele) R 21880 21883 20510 0 -1 4202496 1661205 0 0 0 10077 151 0 0 20 0 1 0 406955199 4073480192 982608 33554432000 4194304 4935366 140730701677536 140730701675288 4390325 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 27963392 140730701681665 140730701681765 140730701681765 140730701684674 0
/proc/21883/statm: 994502 982608 614 181 0 988119 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 3978008 KiB
Current children cumulated memory: 3930432 KiB
[startup+162.3 s]
/proc/loadavg: 2.01 2.02 1.96 3/200 22212
/proc/meminfo: memFree=17979816/32770624 swapFree=66999144/67108860
[pid=21883] ppid=21880 vsize=3988828 memory=3942028 CPUtime=162.26 cores=1,3,5,7
/proc/21883/stat : 21883 (nacre_mini_rele) R 21880 21883 20510 0 -1 4202496 1698485 0 0 0 16070 156 0 0 20 0 1 0 406955199 4084559872 985507 33554432000 4194304 4935366 140730701677536 140730701675288 4450164 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 27963392 140730701681665 140730701681765 140730701681765 140730701684674 0
/proc/21883/statm: 997207 985507 614 181 0 990824 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 3988828 KiB
Current children cumulated memory: 3942028 KiB
[startup+222.3 s]
/proc/loadavg: 2.01 2.01 1.96 3/201 22218
/proc/meminfo: memFree=17956148/32770624 swapFree=66999144/67108860
[pid=21883] ppid=21880 vsize=3996712 memory=3950564 CPUtime=222.25 cores=1,3,5,7
/proc/21883/stat : 21883 (nacre_mini_rele) R 21880 21883 20510 0 -1 4202496 1737827 0 0 0 22064 161 0 0 20 0 1 0 406955199 4092633088 987641 33554432000 4194304 4935366 140730701677536 140730701675240 4450992 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 27963392 140730701681665 140730701681765 140730701681765 140730701684674 0
/proc/21883/statm: 999178 987641 614 181 0 992795 0
Current children cumulated CPU time: 222.25 s
Current children cumulated vsize: 3996712 KiB
Current children cumulated memory: 3950564 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/200 22222
/proc/meminfo: memFree=17934276/32770624 swapFree=66999144/67108860
[pid=21883] ppid=21880 vsize=4008320 memory=3962200 CPUtime=282.23 cores=1,3,5,7
/proc/21883/stat : 21883 (nacre_mini_rele) R 21880 21883 20510 0 -1 4202496 1782358 0 0 0 28057 166 0 0 20 0 1 0 406955199 4104519680 990550 33554432000 4194304 4935366 140730701677536 140730701675240 4389978 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 27963392 140730701681665 140730701681765 140730701681765 140730701684674 0
/proc/21883/statm: 1002080 990550 614 181 0 995697 0
Current children cumulated CPU time: 282.23 s
Current children cumulated vsize: 4008320 KiB
Current children cumulated memory: 3962200 KiB
[startup+342.3 s]
/proc/loadavg: 1.96 2.00 1.96 3/200 22226
/proc/meminfo: memFree=17916124/32770624 swapFree=66999144/67108860
[pid=21883] ppid=21880 vsize=4016364 memory=3970828 CPUtime=342.22 cores=1,3,5,7
/proc/21883/stat : 21883 (nacre_mini_rele) R 21880 21883 20510 0 -1 4202496 1824234 0 0 0 34052 170 0 0 20 0 1 0 406955199 4112756736 992707 33554432000 4194304 4935366 140730701677536 140730701675048 4389978 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 27963392 140730701681665 140730701681765 140730701681765 140730701684674 0
/proc/21883/statm: 1004091 992707 614 181 0 997708 0
Current children cumulated CPU time: 342.22 s
Current children cumulated vsize: 4016364 KiB
Current children cumulated memory: 3970828 KiB
[startup+402.3 s]
/proc/loadavg: 1.99 2.00 1.96 3/200 22232
/proc/meminfo: memFree=17899592/32770624 swapFree=66999144/67108860
[pid=21883] ppid=21880 vsize=4024508 memory=3979588 CPUtime=402.22 cores=1,3,5,7
/proc/21883/stat : 21883 (nacre_mini_rele) R 21880 21883 20510 0 -1 4202496 1868227 0 0 0 40047 175 0 0 20 0 1 0 406955199 4121096192 994897 33554432000 4194304 4935366 140730701677536 140730701675224 4450339 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 27963392 140730701681665 140730701681765 140730701681765 140730701684674 0
/proc/21883/statm: 1006127 994897 614 181 0 999744 0
Current children cumulated CPU time: 402.22 s
Current children cumulated vsize: 4024508 KiB
Current children cumulated memory: 3979588 KiB
[startup+462.3 s]
/proc/loadavg: 1.99 2.00 1.96 3/199 22236
/proc/meminfo: memFree=17882320/32770624 swapFree=66999144/67108860
[pid=21883] ppid=21880 vsize=4033408 memory=3989232 CPUtime=462.21 cores=1,3,5,7
/proc/21883/stat : 21883 (nacre_mini_rele) R 21880 21883 20510 0 -1 4202496 1912490 0 0 0 46041 180 0 0 20 0 1 0 406955199 4130209792 997308 33554432000 4194304 4935366 140730701677536 140730701675048 4461216 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 27963392 140730701681665 140730701681765 140730701681765 140730701684674 0
/proc/21883/statm: 1008352 997308 614 181 0 1001969 0
Current children cumulated CPU time: 462.21 s
Current children cumulated vsize: 4033408 KiB
Current children cumulated memory: 3989232 KiB
################
# More data... #
################
/proc/21883/statm: 1028375 1019899 614 181 0 1021992 0
Current children cumulated CPU time: 1662.14 s
Current children cumulated vsize: 4113500 KiB
Current children cumulated memory: 4079596 KiB
[startup+1722.3 s]
/proc/loadavg: 2.00 2.04 2.02 3/199 22382
/proc/meminfo: memFree=17704968/32770624 swapFree=66999156/67108860
[pid=21883] ppid=21880 vsize=4117896 memory=4084464 CPUtime=1722.13 cores=1,3,5,7
/proc/21883/stat : 21883 (nacre_mini_rele) R 21880 21883 20510 0 -1 4202496 2833741 0 0 0 171945 268 0 0 20 0 1 0 406955199 4216725504 1021116 33554432000 4194304 4935366 140730701677536 140730701675288 4450177 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 27963392 140730701681665 140730701681765 140730701681765 140730701684674 0
/proc/21883/statm: 1029474 1021116 614 181 0 1023091 0
Current children cumulated CPU time: 1722.13 s
Current children cumulated vsize: 4117896 KiB
Current children cumulated memory: 4084464 KiB
[startup+1782.3 s]
/proc/loadavg: 2.08 2.05 2.02 3/200 22387
/proc/meminfo: memFree=17698792/32770624 swapFree=66999156/67108860
[pid=21883] ppid=21880 vsize=4121092 memory=4088220 CPUtime=1782.14 cores=1,3,5,7
/proc/21883/stat : 21883 (nacre_mini_rele) R 21880 21883 20510 0 -1 4202496 2880239 0 0 0 177940 274 0 0 20 0 1 0 406955199 4219998208 1022055 33554432000 4194304 4935366 140730701677536 140730701675224 4450164 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 27963392 140730701681665 140730701681765 140730701681765 140730701684674 0
/proc/21883/statm: 1030273 1022055 614 181 0 1023890 0
Current children cumulated CPU time: 1782.14 s
Current children cumulated vsize: 4121092 KiB
Current children cumulated memory: 4088220 KiB
[startup+1842.3 s]
/proc/loadavg: 2.03 2.04 2.02 3/201 22393
/proc/meminfo: memFree=17691632/32770624 swapFree=66999156/67108860
[pid=21883] ppid=21880 vsize=4125396 memory=4093132 CPUtime=1842.13 cores=1,3,5,7
/proc/21883/stat : 21883 (nacre_mini_rele) R 21880 21883 20510 0 -1 4202496 2924585 0 0 0 183935 278 0 0 20 0 1 0 406955199 4224405504 1023283 33554432000 4194304 4935366 140730701677536 140730701675240 4461073 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 27963392 140730701681665 140730701681765 140730701681765 140730701684674 0
/proc/21883/statm: 1031349 1023283 614 181 0 1024966 0
Current children cumulated CPU time: 1842.13 s
Current children cumulated vsize: 4125396 KiB
Current children cumulated memory: 4093132 KiB
[startup+1902.3 s]
/proc/loadavg: 2.01 2.04 2.02 3/200 22397
/proc/meminfo: memFree=17685860/32770624 swapFree=66999156/67108860
[pid=21883] ppid=21880 vsize=4128604 memory=4096904 CPUtime=1902.12 cores=1,3,5,7
/proc/21883/stat : 21883 (nacre_mini_rele) R 21880 21883 20510 0 -1 4202496 2967162 0 0 0 189929 283 0 0 20 0 1 0 406955199 4227690496 1024226 33554432000 4194304 4935366 140730701677536 140730701675288 4461244 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 27963392 140730701681665 140730701681765 140730701681765 140730701684674 0
/proc/21883/statm: 1032151 1024226 614 181 0 1025768 0
Current children cumulated CPU time: 1902.12 s
Current children cumulated vsize: 4128604 KiB
Current children cumulated memory: 4096904 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.03 2.02 3/200 22401
/proc/meminfo: memFree=17679800/32770624 swapFree=66999156/67108860
[pid=21883] ppid=21880 vsize=4132244 memory=4101084 CPUtime=1962.12 cores=1,3,5,7
/proc/21883/stat : 21883 (nacre_mini_rele) R 21880 21883 20510 0 -1 4202496 3010490 0 0 0 195924 288 0 0 20 0 1 0 406955199 4231417856 1025271 33554432000 4194304 4935366 140730701677536 140730701675240 4461519 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 27963392 140730701681665 140730701681765 140730701681765 140730701684674 0
/proc/21883/statm: 1033061 1025271 614 181 0 1026678 0
Current children cumulated CPU time: 1962.12 s
Current children cumulated vsize: 4132244 KiB
Current children cumulated memory: 4101084 KiB
[startup+2022.3 s]
/proc/loadavg: 2.05 2.04 2.03 3/200 22407
/proc/meminfo: memFree=17661904/32770624 swapFree=66999156/67108860
[pid=21883] ppid=21880 vsize=4146288 memory=4115568 CPUtime=2022.11 cores=1,3,5,7
/proc/21883/stat : 21883 (nacre_mini_rele) R 21880 21883 20510 0 -1 4202496 3056412 0 0 0 201919 292 0 0 20 0 1 0 406955199 4245798912 1028892 33554432000 4194304 4935366 140730701677536 140730701675240 4461244 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 27963392 140730701681665 140730701681765 140730701681765 140730701684674 0
/proc/21883/statm: 1036572 1028892 614 181 0 1030189 0
Current children cumulated CPU time: 2022.11 s
Current children cumulated vsize: 4146288 KiB
Current children cumulated memory: 4115568 KiB
[startup+2082.3 s]
/proc/loadavg: 2.02 2.04 2.03 3/199 22411
/proc/meminfo: memFree=17648948/32770624 swapFree=66999156/67108860
[pid=21883] ppid=21880 vsize=4156660 memory=4126528 CPUtime=2082.12 cores=1,3,5,7
/proc/21883/stat : 21883 (nacre_mini_rele) R 21880 21883 20510 0 -1 4202496 3102401 0 0 0 207915 297 0 0 20 0 1 0 406955199 4256419840 1031632 33554432000 4194304 4935366 140730701677536 140730701675288 4461216 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 27963392 140730701681665 140730701681765 140730701681765 140730701684674 0
/proc/21883/statm: 1039165 1031632 614 181 0 1032782 0
Current children cumulated CPU time: 2082.12 s
Current children cumulated vsize: 4156660 KiB
Current children cumulated memory: 4126528 KiB
[startup+2142.3 s]
/proc/loadavg: 2.01 2.03 2.03 3/199 22415
/proc/meminfo: memFree=17638612/32770624 swapFree=66999156/67108860
[pid=21883] ppid=21880 vsize=4165092 memory=4135532 CPUtime=2142.11 cores=1,3,5,7
/proc/21883/stat : 21883 (nacre_mini_rele) R 21880 21883 20510 0 -1 4202496 3151274 0 0 0 213907 304 0 0 20 0 1 0 406955199 4265054208 1033883 33554432000 4194304 4935366 140730701677536 140730701675240 4390147 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 27963392 140730701681665 140730701681765 140730701681765 140730701684674 0
/proc/21883/statm: 1041273 1033883 614 181 0 1034890 0
Current children cumulated CPU time: 2142.11 s
Current children cumulated vsize: 4165092 KiB
Current children cumulated memory: 4135532 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.02 2.03 3/200 22421
/proc/meminfo: memFree=17635088/32770624 swapFree=66999156/67108860
[pid=21883] ppid=21880 vsize=4165884 memory=4136888 CPUtime=2202.1 cores=1,3,5,7
/proc/21883/stat : 21883 (nacre_mini_rele) R 21880 21883 20510 0 -1 4202496 3194007 0 0 0 219902 308 0 0 20 0 1 0 406955199 4265865216 1034222 33554432000 4194304 4935366 140730701677536 140730701675240 4450339 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 27963392 140730701681665 140730701681765 140730701681765 140730701684674 0
/proc/21883/statm: 1041471 1034222 614 181 0 1035088 0
Current children cumulated CPU time: 2202.1 s
Current children cumulated vsize: 4165884 KiB
Current children cumulated memory: 4136888 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.02 2.03 3/199 22425
/proc/meminfo: memFree=17628480/32770624 swapFree=66999156/67108860
[pid=21883] ppid=21880 vsize=4170688 memory=4142204 CPUtime=2262.1 cores=1,3,5,7
/proc/21883/stat : 21883 (nacre_mini_rele) R 21880 21883 20510 0 -1 4202496 3238682 0 0 0 225897 313 0 0 20 0 1 0 406955199 4270784512 1035551 33554432000 4194304 4935366 140730701677536 140730701675240 4389978 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 27963392 140730701681665 140730701681765 140730701681765 140730701684674 0
/proc/21883/statm: 1042672 1035551 614 181 0 1036289 0
Current children cumulated CPU time: 2262.1 s
Current children cumulated vsize: 4170688 KiB
Current children cumulated memory: 4142204 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/200 22437
/proc/meminfo: memFree=17625388/32770624 swapFree=66999156/67108860
[pid=21883] ppid=21880 vsize=4171420 memory=4143460 CPUtime=2322.09 cores=1,3,5,7
/proc/21883/stat : 21883 (nacre_mini_rele) R 21880 21883 20510 0 -1 4202496 3280758 0 0 0 231892 317 0 0 20 0 1 0 406955199 4271534080 1035865 33554432000 4194304 4935366 140730701677536 140730701675224 4450177 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 27963392 140730701681665 140730701681765 140730701681765 140730701684674 0
/proc/21883/statm: 1042855 1035865 614 181 0 1036472 0
Current children cumulated CPU time: 2322.09 s
Current children cumulated vsize: 4171420 KiB
Current children cumulated memory: 4143460 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/201 22443
/proc/meminfo: memFree=17616964/32770624 swapFree=66999156/67108860
[pid=21883] ppid=21880 vsize=4177436 memory=4149996 CPUtime=2382.09 cores=1,3,5,7
/proc/21883/stat : 21883 (nacre_mini_rele) R 21880 21883 20510 0 -1 4202496 3325219 0 0 0 237887 322 0 0 20 0 1 0 406955199 4277694464 1037499 33554432000 4194304 4935366 140730701677536 140730701675304 4389978 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 27963392 140730701681665 140730701681765 140730701681765 140730701684674 0
/proc/21883/statm: 1044359 1037499 614 181 0 1037976 0
Current children cumulated CPU time: 2382.09 s
Current children cumulated vsize: 4177436 KiB
Current children cumulated memory: 4149996 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/200 22443
/proc/meminfo: memFree=17614344/32770624 swapFree=66999156/67108860
[pid=21883] ppid=21880 vsize=4179380 memory=4152156 CPUtime=2400.08 cores=1,3,5,7
/proc/21883/stat : 21883 (nacre_mini_rele) R 21880 21883 20510 0 -1 4202496 3327894 0 0 0 239686 322 0 0 20 0 1 0 406955199 4279685120 1038039 33554432000 4194304 4935366 140730701677536 140730701675240 140698037741836 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 27963392 140730701681665 140730701681765 140730701681765 140730701684674 0
/proc/21883/statm: 1044845 1038039 614 181 0 1038462 0
Current children cumulated CPU time: 2400.08 s
Current children cumulated vsize: 4179380 KiB
Current children cumulated memory: 4152156 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2400.33 s]
# the end of solver process 21883 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2396.87 s, system=3.26102 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2400.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/200 22443
/proc/meminfo: memFree=17614344/32770624 swapFree=66999156/67108860
[pid=21883] ppid=21880 vsize=4179380 memory=4152156 CPUtime=2400.08 cores=1,3,5,7
/proc/21883/stat : 21883 (nacre_mini_rele) R 21880 21883 20510 0 -1 4202496 3327894 0 0 0 239686 322 0 0 20 0 1 0 406955199 4279685120 1038039 33554432000 4194304 4935366 140730701677536 140730701675240 140698037741836 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 27963392 140730701681665 140730701681765 140730701681765 140730701684674 0
/proc/21883/statm: 1044845 1038039 614 181 0 1038462 0
Current children cumulated CPU time: 2400.08 s
Current children cumulated vsize: 4179380 KiB
Current children cumulated memory: 4152156 KiB
Child status: 0
Real time (s): 2400.33
CPU time (s): 2400.13
CPU user time (s): 2396.87
CPU system time (s): 3.26102
CPU usage (%): 99.9914
Max. virtual memory (cumulated for all children) (KiB): 4179380
Max. memory (cumulated for all children) (KiB): 4152156
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2396.87
system time used= 3.26102
maximum resident set size= 4152268
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3327939
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= 621
involuntary context switches= 1344
# summary of solver processes directly reported to runsolver:
# pid: 21883
# total CPU time (s): 2400.13
# total CPU user time (s): 2396.87
# total CPU system time (s): 3.26102
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.8472 second user time and 17.8908 second system time
The end