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 (8418 MiB free)
memory of node 1: 16384 MiB (11480 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4301124-1532858758/watcher-4301124-1532858758 -o /tmp/evaluation-result-4301124-1532858758/solver-4301124-1532858758 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532845723-20221 --watchdog 2580 miniBTD 3 2520 HOME/instance-4301124-1532858758.xml
running on 4 cores: 1,3,5,7
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=21848, runsolver pid=21845
[startup+0.100127 s]*
/proc/loadavg: 2.00 2.01 2.04 3/187 21849
/proc/meminfo: memFree=20365840/32770624 swapFree=67108860/67108860
[pid=21848] ppid=21845 vsize=36904 memory=13492 CPUtime=0.1 cores=1,3,5,7
/proc/21848/stat : 21848 (miniBTD) R 21845 21848 20189 0 -1 4202496 3548 0 0 0 10 0 0 0 20 0 1 0 103438935 37789696 3373 33554432000 4194304 5224696 140736504607776 140736504604776 139788411974012 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 38604800 140736504616117 140736504616199 140736504616199 140736504618957 0
/proc/21848/statm: 9226 3373 647 252 0 2772 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 36904 KiB
Current children cumulated memory: 13492 KiB
[startup+0.209567 s]*
/proc/loadavg: 2.00 2.01 2.04 3/187 21849
/proc/meminfo: memFree=20365840/32770624 swapFree=67108860/67108860
[pid=21848] ppid=21845 vsize=36904 memory=13492 CPUtime=0.21 cores=1,3,5,7
/proc/21848/stat : 21848 (miniBTD) R 21845 21848 20189 0 -1 4202496 3554 0 0 0 21 0 0 0 20 0 1 0 103438935 37789696 3373 33554432000 4194304 5224696 140736504607776 140736504604776 4471867 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 38604800 140736504616117 140736504616199 140736504616199 140736504618957 0
/proc/21848/statm: 9226 3373 647 252 0 2772 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 36904 KiB
Current children cumulated memory: 13492 KiB
[startup+0.30955 s]*
/proc/loadavg: 2.00 2.01 2.04 3/187 21849
/proc/meminfo: memFree=20365468/32770624 swapFree=67108860/67108860
[pid=21848] ppid=21845 vsize=37040 memory=13492 CPUtime=0.3 cores=1,3,5,7
/proc/21848/stat : 21848 (miniBTD) R 21845 21848 20189 0 -1 4202496 3559 0 0 0 30 0 0 0 20 0 1 0 103438935 37928960 3373 33554432000 4194304 5224696 140736504607776 140736504604776 4363012 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 38604800 140736504616117 140736504616199 140736504616199 140736504618957 0
/proc/21848/statm: 9260 3373 647 252 0 2806 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 37040 KiB
Current children cumulated memory: 13492 KiB
[startup+0.70034 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 21849
/proc/meminfo: memFree=20365468/32770624 swapFree=67108860/67108860
[pid=21848] ppid=21845 vsize=37040 memory=13492 CPUtime=0.68 cores=1,3,5,7
/proc/21848/stat : 21848 (miniBTD) R 21845 21848 20189 0 -1 4202496 3586 0 0 0 68 0 0 0 20 0 1 0 103438935 37928960 3373 33554432000 4194304 5224696 140736504607776 140736504604776 4363002 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 38604800 140736504616117 140736504616199 140736504616199 140736504618957 0
/proc/21848/statm: 9260 3373 647 252 0 2806 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 37040 KiB
Current children cumulated memory: 13492 KiB
[startup+1.50034 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 21849
/proc/meminfo: memFree=20365468/32770624 swapFree=67108860/67108860
[pid=21848] ppid=21845 vsize=37176 memory=13756 CPUtime=1.49 cores=1,3,5,7
/proc/21848/stat : 21848 (miniBTD) R 21845 21848 20189 0 -1 4202496 3612 0 0 0 148 1 0 0 20 0 1 0 103438935 38068224 3439 33554432000 4194304 5224696 140736504607776 140736504606792 4463195 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 38604800 140736504616117 140736504616199 140736504616199 140736504618957 0
/proc/21848/statm: 9294 3439 648 252 0 2840 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 37176 KiB
Current children cumulated memory: 13756 KiB
[startup+3.10946 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 21849
/proc/meminfo: memFree=20365424/32770624 swapFree=67108860/67108860
[pid=21848] ppid=21845 vsize=37176 memory=13824 CPUtime=3.09 cores=1,3,5,7
/proc/21848/stat : 21848 (miniBTD) R 21845 21848 20189 0 -1 4202496 6011 0 0 0 308 1 0 0 20 0 1 0 103438935 38068224 3456 33554432000 4194304 5224696 140736504607776 140736504606792 139788411974012 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 38604800 140736504616117 140736504616199 140736504616199 140736504618957 0
/proc/21848/statm: 9294 3456 648 252 0 2840 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 37176 KiB
Current children cumulated memory: 13824 KiB
[startup+6.3003 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 21849
/proc/meminfo: memFree=20364884/32770624 swapFree=67108860/67108860
[pid=21848] ppid=21845 vsize=37312 memory=13856 CPUtime=6.29 cores=1,3,5,7
/proc/21848/stat : 21848 (miniBTD) R 21845 21848 20189 0 -1 4202496 8542 0 0 0 627 2 0 0 20 0 1 0 103438935 38207488 3464 33554432000 4194304 5224696 140736504607776 140736504606792 139788411974012 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 38604800 140736504616117 140736504616199 140736504616199 140736504618957 0
/proc/21848/statm: 9328 3464 648 252 0 2874 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 37312 KiB
Current children cumulated memory: 13856 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 21849
/proc/meminfo: memFree=20365084/32770624 swapFree=67108860/67108860
[pid=21848] ppid=21845 vsize=37312 memory=13864 CPUtime=12.7 cores=1,3,5,7
/proc/21848/stat : 21848 (miniBTD) R 21845 21848 20189 0 -1 4202496 11163 0 0 0 1265 5 0 0 20 0 1 0 103438935 38207488 3466 33554432000 4194304 5224696 140736504607776 140736504606792 4463184 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 38604800 140736504616117 140736504616199 140736504616199 140736504618957 0
/proc/21848/statm: 9328 3466 648 252 0 2874 0
Current children cumulated CPU time: 12.7 s
Current children cumulated vsize: 37312 KiB
Current children cumulated memory: 13864 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 21849
/proc/meminfo: memFree=20364772/32770624 swapFree=67108860/67108860
[pid=21848] ppid=21845 vsize=37448 memory=13952 CPUtime=25.49 cores=1,3,5,7
/proc/21848/stat : 21848 (miniBTD) R 21845 21848 20189 0 -1 4202496 15809 0 0 0 2542 7 0 0 20 0 1 0 103438935 38346752 3488 33554432000 4194304 5224696 140736504607776 140736504606792 139788411974012 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 38604800 140736504616117 140736504616199 140736504616199 140736504618957 0
/proc/21848/statm: 9362 3488 648 252 0 2908 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 37448 KiB
Current children cumulated memory: 13952 KiB
[startup+51.1095 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 21849
/proc/meminfo: memFree=20365076/32770624 swapFree=67108860/67108860
[pid=21848] ppid=21845 vsize=37448 memory=14048 CPUtime=51.1 cores=1,3,5,7
/proc/21848/stat : 21848 (miniBTD) R 21845 21848 20189 0 -1 4202496 16418 0 0 0 5096 14 0 0 20 0 1 0 103438935 38346752 3512 33554432000 4194304 5224696 140736504607776 140736504606792 4362973 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 38604800 140736504616117 140736504616199 140736504616199 140736504618957 0
/proc/21848/statm: 9362 3512 648 252 0 2908 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 37448 KiB
Current children cumulated memory: 14048 KiB
[startup+102.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/187 21850
/proc/meminfo: memFree=20364704/32770624 swapFree=67108860/67108860
[pid=21848] ppid=21845 vsize=37580 memory=14084 CPUtime=102.29 cores=1,3,5,7
/proc/21848/stat : 21848 (miniBTD) R 21845 21848 20189 0 -1 4202496 17022 0 0 0 10201 28 0 0 20 0 1 0 103438935 38481920 3521 33554432000 4194304 5224696 140736504607776 140736504606792 4463195 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 38604800 140736504616117 140736504616199 140736504616199 140736504618957 0
/proc/21848/statm: 9395 3521 648 252 0 2941 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 37580 KiB
Current children cumulated memory: 14084 KiB
[startup+162.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/187 21851
/proc/meminfo: memFree=20365340/32770624 swapFree=67108860/67108860
[pid=21848] ppid=21845 vsize=37580 memory=14120 CPUtime=162.3 cores=1,3,5,7
/proc/21848/stat : 21848 (miniBTD) R 21845 21848 20189 0 -1 4202496 17653 0 0 0 16190 40 0 0 20 0 1 0 103438935 38481920 3530 33554432000 4194304 5224696 140736504607776 140736504606792 139788411974012 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 38604800 140736504616117 140736504616199 140736504616199 140736504618957 0
/proc/21848/statm: 9395 3530 648 252 0 2941 0
Current children cumulated CPU time: 162.3 s
Current children cumulated vsize: 37580 KiB
Current children cumulated memory: 14120 KiB
[startup+222.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 21852
/proc/meminfo: memFree=20364896/32770624 swapFree=67108860/67108860
[pid=21848] ppid=21845 vsize=37580 memory=14284 CPUtime=222.3 cores=1,3,5,7
/proc/21848/stat : 21848 (miniBTD) R 21845 21848 20189 0 -1 4202496 18281 0 0 0 22174 56 0 0 20 0 1 0 103438935 38481920 3571 33554432000 4194304 5224696 140736504607776 140736504606792 139788411974012 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 38604800 140736504616117 140736504616199 140736504616199 140736504618957 0
/proc/21848/statm: 9395 3571 648 252 0 2941 0
Current children cumulated CPU time: 222.3 s
Current children cumulated vsize: 37580 KiB
Current children cumulated memory: 14284 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 21860
/proc/meminfo: memFree=20363484/32770624 swapFree=67108860/67108860
[pid=21848] ppid=21845 vsize=37712 memory=14284 CPUtime=282.31 cores=1,3,5,7
/proc/21848/stat : 21848 (miniBTD) R 21845 21848 20189 0 -1 4202496 18286 0 0 0 28160 71 0 0 20 0 1 0 103438935 38617088 3571 33554432000 4194304 5224696 140736504607776 140736504606792 139788411974012 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 38604800 140736504616117 140736504616199 140736504616199 140736504618957 0
/proc/21848/statm: 9428 3571 648 252 0 2974 0
Current children cumulated CPU time: 282.31 s
Current children cumulated vsize: 37712 KiB
Current children cumulated memory: 14284 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 21861
/proc/meminfo: memFree=20363344/32770624 swapFree=67108860/67108860
[pid=21848] ppid=21845 vsize=37712 memory=14320 CPUtime=342.31 cores=1,3,5,7
/proc/21848/stat : 21848 (miniBTD) R 21845 21848 20189 0 -1 4202496 18557 0 0 0 34145 86 0 0 20 0 1 0 103438935 38617088 3580 33554432000 4194304 5224696 140736504607776 140736504606792 139788411974012 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 38604800 140736504616117 140736504616199 140736504616199 140736504618957 0
/proc/21848/statm: 9428 3580 648 252 0 2974 0
Current children cumulated CPU time: 342.31 s
Current children cumulated vsize: 37712 KiB
Current children cumulated memory: 14320 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 21862
/proc/meminfo: memFree=20363948/32770624 swapFree=67108860/67108860
[pid=21848] ppid=21845 vsize=37712 memory=14320 CPUtime=402.31 cores=1,3,5,7
/proc/21848/stat : 21848 (miniBTD) R 21845 21848 20189 0 -1 4202496 18564 0 0 0 40131 100 0 0 20 0 1 0 103438935 38617088 3580 33554432000 4194304 5224696 140736504607776 140736504606792 139788411974012 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 38604800 140736504616117 140736504616199 140736504616199 140736504618957 0
/proc/21848/statm: 9428 3580 648 252 0 2974 0
Current children cumulated CPU time: 402.31 s
Current children cumulated vsize: 37712 KiB
Current children cumulated memory: 14320 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 21863
/proc/meminfo: memFree=20364048/32770624 swapFree=67108860/67108860
[pid=21848] ppid=21845 vsize=37712 memory=14388 CPUtime=462.32 cores=1,3,5,7
/proc/21848/stat : 21848 (miniBTD) R 21845 21848 20189 0 -1 4202496 18850 0 0 0 46117 115 0 0 20 0 1 0 103438935 38617088 3597 33554432000 4194304 5224696 140736504607776 140736504606792 139788411974012 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 38604800 140736504616117 140736504616199 140736504616199 140736504618957 0
/proc/21848/statm: 9428 3597 648 252 0 2974 0
Current children cumulated CPU time: 462.32 s
Current children cumulated vsize: 37712 KiB
Current children cumulated memory: 14388 KiB
################
# More data... #
################
Current children cumulated memory: 14424 KiB
[startup+762.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 21868
/proc/meminfo: memFree=20365076/32770624 swapFree=67108860/67108860
[pid=21848] ppid=21845 vsize=37856 memory=14424 CPUtime=762.34 cores=1,3,5,7
/proc/21848/stat : 21848 (miniBTD) R 21845 21848 20189 0 -1 4202496 19438 0 0 0 76040 194 0 0 20 0 1 0 103438935 38764544 3606 33554432000 4194304 5224696 140736504607776 140736504606792 4463252 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 38604800 140736504616117 140736504616199 140736504616199 140736504618957 0
/proc/21848/statm: 9464 3606 648 252 0 3010 0
Current children cumulated CPU time: 762.34 s
Current children cumulated vsize: 37856 KiB
Current children cumulated memory: 14424 KiB
[startup+822.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 21869
/proc/meminfo: memFree=20364440/32770624 swapFree=67108860/67108860
[pid=21848] ppid=21845 vsize=37856 memory=14424 CPUtime=822.34 cores=1,3,5,7
/proc/21848/stat : 21848 (miniBTD) R 21845 21848 20189 0 -1 4202496 19731 0 0 0 82025 209 0 0 20 0 1 0 103438935 38764544 3606 33554432000 4194304 5224696 140736504607776 140736504606792 4463195 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 38604800 140736504616117 140736504616199 140736504616199 140736504618957 0
/proc/21848/statm: 9464 3606 648 252 0 3010 0
Current children cumulated CPU time: 822.34 s
Current children cumulated vsize: 37856 KiB
Current children cumulated memory: 14424 KiB
[startup+882.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 21878
/proc/meminfo: memFree=20363688/32770624 swapFree=67108860/67108860
[pid=21848] ppid=21845 vsize=37856 memory=14424 CPUtime=882.35 cores=1,3,5,7
/proc/21848/stat : 21848 (miniBTD) R 21845 21848 20189 0 -1 4202496 19740 0 0 0 88012 223 0 0 20 0 1 0 103438935 38764544 3606 33554432000 4194304 5224696 140736504607776 140736504606792 139788411974012 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 38604800 140736504616117 140736504616199 140736504616199 140736504618957 0
/proc/21848/statm: 9464 3606 648 252 0 3010 0
Current children cumulated CPU time: 882.35 s
Current children cumulated vsize: 37856 KiB
Current children cumulated memory: 14424 KiB
[startup+942.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 21879
/proc/meminfo: memFree=20364308/32770624 swapFree=67108860/67108860
[pid=21848] ppid=21845 vsize=37856 memory=14460 CPUtime=942.35 cores=1,3,5,7
/proc/21848/stat : 21848 (miniBTD) R 21845 21848 20189 0 -1 4202496 20040 0 0 0 93998 237 0 0 20 0 1 0 103438935 38764544 3615 33554432000 4194304 5224696 140736504607776 140736504606792 139788411974012 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 38604800 140736504616117 140736504616199 140736504616199 140736504618957 0
/proc/21848/statm: 9464 3615 648 252 0 3010 0
Current children cumulated CPU time: 942.35 s
Current children cumulated vsize: 37856 KiB
Current children cumulated memory: 14460 KiB
[startup+1002.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 21880
/proc/meminfo: memFree=20364432/32770624 swapFree=67108860/67108860
[pid=21848] ppid=21845 vsize=37856 memory=14460 CPUtime=1002.35 cores=1,3,5,7
/proc/21848/stat : 21848 (miniBTD) R 21845 21848 20189 0 -1 4202496 20049 0 0 0 99982 253 0 0 20 0 1 0 103438935 38764544 3615 33554432000 4194304 5224696 140736504607776 140736504606792 139788411974012 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 38604800 140736504616117 140736504616199 140736504616199 140736504618957 0
/proc/21848/statm: 9464 3615 648 252 0 3010 0
Current children cumulated CPU time: 1002.35 s
Current children cumulated vsize: 37856 KiB
Current children cumulated memory: 14460 KiB
[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 21881
/proc/meminfo: memFree=20364308/32770624 swapFree=67108860/67108860
[pid=21848] ppid=21845 vsize=37856 memory=14492 CPUtime=1062.35 cores=1,3,5,7
/proc/21848/stat : 21848 (miniBTD) R 21845 21848 20189 0 -1 4202496 20358 0 0 0 105968 267 0 0 20 0 1 0 103438935 38764544 3623 33554432000 4194304 5224696 140736504607776 140736504606792 139788411974012 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 38604800 140736504616117 140736504616199 140736504616199 140736504618957 0
/proc/21848/statm: 9464 3623 648 252 0 3010 0
Current children cumulated CPU time: 1062.35 s
Current children cumulated vsize: 37856 KiB
Current children cumulated memory: 14492 KiB
[startup+1122.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/188 21882
/proc/meminfo: memFree=20364432/32770624 swapFree=67108860/67108860
[pid=21848] ppid=21845 vsize=37856 memory=14492 CPUtime=1122.36 cores=1,3,5,7
/proc/21848/stat : 21848 (miniBTD) R 21845 21848 20189 0 -1 4202496 20365 0 0 0 111953 283 0 0 20 0 1 0 103438935 38764544 3623 33554432000 4194304 5224696 140736504607776 140736504606792 139788411974012 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 38604800 140736504616117 140736504616199 140736504616199 140736504618957 0
/proc/21848/statm: 9464 3623 648 252 0 3010 0
Current children cumulated CPU time: 1122.36 s
Current children cumulated vsize: 37856 KiB
Current children cumulated memory: 14492 KiB
[startup+1182.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/187 21884
/proc/meminfo: memFree=20364588/32770624 swapFree=67108860/67108860
[pid=21848] ppid=21845 vsize=37856 memory=14516 CPUtime=1182.37 cores=1,3,5,7
/proc/21848/stat : 21848 (miniBTD) R 21845 21848 20189 0 -1 4202496 20682 0 0 0 117938 299 0 0 20 0 1 0 103438935 38764544 3629 33554432000 4194304 5224696 140736504607776 140736504606792 139788411974012 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 38604800 140736504616117 140736504616199 140736504616199 140736504618957 0
/proc/21848/statm: 9464 3629 648 252 0 3010 0
Current children cumulated CPU time: 1182.37 s
Current children cumulated vsize: 37856 KiB
Current children cumulated memory: 14516 KiB
[startup+1228.05 s]
# the end of solver process 21848 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1225.01 s, system=3.1262 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1203.2 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 21885
/proc/meminfo: memFree=20364324/32770624 swapFree=67108860/67108860
[pid=21848] ppid=21845 vsize=37856 memory=14516 CPUtime=1203.26 cores=1,3,5,7
/proc/21848/stat : 21848 (miniBTD) R 21845 21848 20189 0 -1 4202496 20683 0 0 0 120021 305 0 0 20 0 1 0 103438935 38764544 3629 33554432000 4194304 5224696 140736504607776 140736504606792 139788411974012 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 38604800 140736504616117 140736504616199 140736504616199 140736504618957 0
/proc/21848/statm: 9464 3629 648 252 0 3010 0
Current children cumulated CPU time: 1203.26 s
Current children cumulated vsize: 37856 KiB
Current children cumulated memory: 14516 KiB
[startup+1216 s]*
/proc/loadavg: 2.01 2.02 2.05 3/187 21885
/proc/meminfo: memFree=20364324/32770624 swapFree=67108860/67108860
[pid=21848] ppid=21845 vsize=37856 memory=14516 CPUtime=1216.08 cores=1,3,5,7
/proc/21848/stat : 21848 (miniBTD) R 21845 21848 20189 0 -1 4202496 20683 0 0 0 121299 309 0 0 20 0 1 0 103438935 38764544 3629 33554432000 4194304 5224696 140736504607776 140736504606792 139788411974012 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 38604800 140736504616117 140736504616199 140736504616199 140736504618957 0
/proc/21848/statm: 9464 3629 648 252 0 3010 0
Current children cumulated CPU time: 1216.08 s
Current children cumulated vsize: 37856 KiB
Current children cumulated memory: 14516 KiB
[startup+1222.4 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 21885
/proc/meminfo: memFree=20364448/32770624 swapFree=67108860/67108860
[pid=21848] ppid=21845 vsize=37856 memory=14516 CPUtime=1222.47 cores=1,3,5,7
/proc/21848/stat : 21848 (miniBTD) R 21845 21848 20189 0 -1 4202496 20683 0 0 0 121937 310 0 0 20 0 1 0 103438935 38764544 3629 33554432000 4194304 5224696 140736504607776 140736504606792 139788411974012 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 38604800 140736504616117 140736504616199 140736504616199 140736504618957 0
/proc/21848/statm: 9464 3629 648 252 0 3010 0
Current children cumulated CPU time: 1222.47 s
Current children cumulated vsize: 37856 KiB
Current children cumulated memory: 14516 KiB
[startup+1225.6 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 21885
/proc/meminfo: memFree=20364448/32770624 swapFree=67108860/67108860
[pid=21848] ppid=21845 vsize=37856 memory=14516 CPUtime=1225.66 cores=1,3,5,7
/proc/21848/stat : 21848 (miniBTD) R 21845 21848 20189 0 -1 4202496 20683 0 0 0 122255 311 0 0 20 0 1 0 103438935 38764544 3629 33554432000 4194304 5224696 140736504607776 140736504606792 139788411974012 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 38604800 140736504616117 140736504616199 140736504616199 140736504618957 0
/proc/21848/statm: 9464 3629 648 252 0 3010 0
Current children cumulated CPU time: 1225.66 s
Current children cumulated vsize: 37856 KiB
Current children cumulated memory: 14516 KiB
[startup+1227.2 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 21885
/proc/meminfo: memFree=20364448/32770624 swapFree=67108860/67108860
[pid=21848] ppid=21845 vsize=37856 memory=14516 CPUtime=1227.27 cores=1,3,5,7
/proc/21848/stat : 21848 (miniBTD) R 21845 21848 20189 0 -1 4202496 20683 0 0 0 122415 312 0 0 20 0 1 0 103438935 38764544 3629 33554432000 4194304 5224696 140736504607776 140736504606792 139788411974012 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 38604800 140736504616117 140736504616199 140736504616199 140736504618957 0
/proc/21848/statm: 9464 3629 648 252 0 3010 0
Current children cumulated CPU time: 1227.27 s
Current children cumulated vsize: 37856 KiB
Current children cumulated memory: 14516 KiB
[startup+1227.6 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 21885
/proc/meminfo: memFree=20364448/32770624 swapFree=67108860/67108860
[pid=21848] ppid=21845 vsize=37856 memory=14516 CPUtime=1227.67 cores=1,3,5,7
/proc/21848/stat : 21848 (miniBTD) R 21845 21848 20189 0 -1 4202496 20683 0 0 0 122455 312 0 0 20 0 1 0 103438935 38764544 3629 33554432000 4194304 5224696 140736504607776 140736504606792 139788411974012 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 38604800 140736504616117 140736504616199 140736504616199 140736504618957 0
/proc/21848/statm: 9464 3629 648 252 0 3010 0
Current children cumulated CPU time: 1227.67 s
Current children cumulated vsize: 37856 KiB
Current children cumulated memory: 14516 KiB
[startup+1228 s]*
/proc/loadavg: 2.01 2.02 2.05 3/187 21885
/proc/meminfo: memFree=20364448/32770624 swapFree=67108860/67108860
[pid=21848] ppid=21845 vsize=37856 memory=14516 CPUtime=1228.08 cores=1,3,5,7
/proc/21848/stat : 21848 (miniBTD) R 21845 21848 20189 0 -1 4202496 20683 0 0 0 122496 312 0 0 20 0 1 0 103438935 38764544 3629 33554432000 4194304 5224696 140736504607776 140736504606792 4463202 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 38604800 140736504616117 140736504616199 140736504616199 140736504618957 0
/proc/21848/statm: 9464 3629 648 252 0 3010 0
Current children cumulated CPU time: 1228.08 s
Current children cumulated vsize: 37856 KiB
Current children cumulated memory: 14516 KiB
Child status: 0
Real time (s): 1228.05
CPU time (s): 1228.13
CPU user time (s): 1225.01
CPU system time (s): 3.1262
CPU usage (%): 100.006
Max. virtual memory (cumulated for all children) (KiB): 37856
Max. memory (cumulated for all children) (KiB): 14516
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1225.01
system time used= 3.1262
maximum resident set size= 14516
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20761
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= 13
involuntary context switches= 386
# summary of solver processes directly reported to runsolver:
# pid: 21848
# total CPU time (s): 1228.13
# total CPU user time (s): 1225.01
# total CPU system time (s): 3.1262
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.51441 second user time and 8.54488 second system time
The end