runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3720741-1338513240/watcher-3720741-1338513240 -o /tmp/evaluation-result-3720741-1338513240/solver-3720741-1338513240 -C 1800 -W 1900 -M 15500 Pueblo HOME/instance-3720741-1338513240.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.93 2.00 1.98 3/177 7494
/proc/meminfo: memFree=31471076/32873844 swapFree=7900/7900
[pid=7494] ppid=7492 vsize=3104 CPUtime=0 cores=0,2,4,6
/proc/7494/stat : 7494 (Pueblo) R 7492 7494 6653 0 -1 4202496 335 0 0 0 0 0 0 0 20 0 1 0 317448616 3178496 272 33554432000 134512640 134579096 4290496176 4290363636 2577205 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/7494/statm: 776 272 219 17 0 82 0
[startup+0.0249279 s]
/proc/loadavg: 1.93 2.00 1.98 3/177 7494
/proc/meminfo: memFree=31471076/32873844 swapFree=7900/7900
[pid=7494] ppid=7492 vsize=3504 CPUtime=0.02 cores=0,2,4,6
/proc/7494/stat : 7494 (Pueblo) R 7492 7494 6653 0 -1 4202496 425 0 0 0 2 0 0 0 20 0 1 0 317448616 3588096 362 33554432000 134512640 134579096 4290496176 4290363688 1847587 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/7494/statm: 876 362 219 17 0 182 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 3504
[startup+0.100206 s]
/proc/loadavg: 1.93 2.00 1.98 3/177 7494
/proc/meminfo: memFree=31471076/32873844 swapFree=7900/7900
[pid=7494] ppid=7492 vsize=5100 CPUtime=0.09 cores=0,2,4,6
/proc/7494/stat : 7494 (Pueblo) R 7492 7494 6653 0 -1 4202496 814 0 0 0 9 0 0 0 20 0 1 0 317448616 5222400 752 33554432000 134512640 134579096 4290496176 4290363424 1828135 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/7494/statm: 1275 752 219 17 0 581 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5100
[startup+0.300177 s]
/proc/loadavg: 1.93 2.00 1.98 3/177 7494
/proc/meminfo: memFree=31471076/32873844 swapFree=7900/7900
[pid=7494] ppid=7492 vsize=8964 CPUtime=0.29 cores=0,2,4,6
/proc/7494/stat : 7494 (Pueblo) R 7492 7494 6653 0 -1 4202496 1801 0 0 0 29 0 0 0 20 0 1 0 317448616 9179136 1738 33554432000 134512640 134579096 4290496176 4290363624 1847422 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/7494/statm: 2241 1738 219 17 0 1547 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8964
[startup+0.700196 s]
/proc/loadavg: 1.93 2.00 1.98 3/177 7494
/proc/meminfo: memFree=31471076/32873844 swapFree=7900/7900
[pid=7494] ppid=7492 vsize=16692 CPUtime=0.69 cores=0,2,4,6
/proc/7494/stat : 7494 (Pueblo) R 7492 7494 6653 0 -1 4202496 3718 0 0 0 68 1 0 0 20 0 1 0 317448616 17092608 3655 33554432000 134512640 134579096 4290496176 4290363576 1507309 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/7494/statm: 4173 3655 219 17 0 3479 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16692
[startup+1.50018 s]
/proc/loadavg: 1.93 2.00 1.98 3/178 7495
/proc/meminfo: memFree=31442532/32873844 swapFree=7900/7900
[pid=7494] ppid=7492 vsize=32008 CPUtime=1.5 cores=0,2,4,6
/proc/7494/stat : 7494 (Pueblo) R 7492 7494 6653 0 -1 4202496 7558 0 0 0 148 2 0 0 20 0 1 0 317448616 32776192 7495 33554432000 134512640 134579096 4290496176 4290363452 14992432 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/7494/statm: 8002 7495 219 17 0 7308 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 32008
[startup+3.10023 s]
/proc/loadavg: 1.93 2.00 1.98 3/178 7495
/proc/meminfo: memFree=31422568/32873844 swapFree=7900/7900
[pid=7494] ppid=7492 vsize=60784 CPUtime=3.09 cores=0,2,4,6
/proc/7494/stat : 7494 (Pueblo) R 7492 7494 6653 0 -1 4202496 14738 0 0 0 306 3 0 0 20 0 1 0 317448616 62242816 14675 33554432000 134512640 134579096 4290496176 4290363628 1507936 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/7494/statm: 15196 14675 219 17 0 14502 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 60784
[startup+6.30017 s]
/proc/loadavg: 1.93 2.00 1.98 3/178 7495
/proc/meminfo: memFree=31364164/32873844 swapFree=7900/7900
[pid=7494] ppid=7492 vsize=117264 CPUtime=6.29 cores=0,2,4,6
/proc/7494/stat : 7494 (Pueblo) R 7492 7494 6653 0 -1 4202496 28854 0 0 0 623 6 0 0 20 0 1 0 317448616 120078336 28791 33554432000 134512640 134579096 4290496176 4290363664 134536072 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/7494/statm: 29316 28791 219 17 0 28622 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 117264
[startup+12.7002 s]
/proc/loadavg: 1.94 2.00 1.98 3/178 7495
/proc/meminfo: memFree=31296732/32873844 swapFree=7900/7900
[pid=7494] ppid=7492 vsize=178676 CPUtime=12.69 cores=0,2,4,6
/proc/7494/stat : 7494 (Pueblo) R 7492 7494 6653 0 -1 4202496 43896 0 0 0 1260 9 0 0 20 0 1 0 317448616 182964224 43833 33554432000 134512640 134579096 4290496176 4290495136 134532440 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/7494/statm: 44669 43833 227 17 0 43975 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 178676
[startup+25.5002 s]
/proc/loadavg: 2.02 2.02 1.98 3/178 7495
/proc/meminfo: memFree=31296360/32873844 swapFree=7900/7900
[pid=7494] ppid=7492 vsize=179700 CPUtime=25.49 cores=0,2,4,6
/proc/7494/stat : 7494 (Pueblo) R 7492 7494 6653 0 -1 4202496 44055 0 0 0 2540 9 0 0 20 0 1 0 317448616 184012800 43992 33554432000 134512640 134579096 4290496176 4290495152 134532045 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/7494/statm: 44925 43992 227 17 0 44231 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 179700
[startup+51.1063 s]
/proc/loadavg: 2.02 2.01 1.98 3/178 7495
/proc/meminfo: memFree=31294164/32873844 swapFree=7900/7900
[pid=7494] ppid=7492 vsize=182076 CPUtime=51.08 cores=0,2,4,6
/proc/7494/stat : 7494 (Pueblo) R 7492 7494 6653 0 -1 4202496 44651 0 0 0 5099 9 0 0 20 0 1 0 317448616 186445824 44588 33554432000 134512640 134579096 4290496176 4290495136 134532448 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7494/statm: 45519 44588 227 17 0 44825 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 182076
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/178 7496
/proc/meminfo: memFree=31259860/32873844 swapFree=7900/7900
[pid=7494] ppid=7492 vsize=217308 CPUtime=102.27 cores=0,2,4,6
/proc/7494/stat : 7494 (Pueblo) R 7492 7494 6653 0 -1 4202496 53352 0 0 0 10216 11 0 0 20 0 1 0 317448616 222523392 53288 33554432000 134512640 134579096 4290496176 4290494880 1828135 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7494/statm: 54327 53288 227 17 0 53633 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 217308
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 7496
/proc/meminfo: memFree=31243272/32873844 swapFree=7900/7900
[pid=7494] ppid=7492 vsize=232516 CPUtime=162.23 cores=0,2,4,6
/proc/7494/stat : 7494 (Pueblo) R 7492 7494 6653 0 -1 4202496 56176 0 0 0 16212 11 0 0 20 0 1 0 317448616 238096384 56095 33554432000 134512640 134579096 4290496176 4290495104 134559533 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7494/statm: 58129 56095 228 17 0 57435 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 232516
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 7496
/proc/meminfo: memFree=31229232/32873844 swapFree=7900/7900
[pid=7494] ppid=7492 vsize=244432 CPUtime=222.21 cores=0,2,4,6
/proc/7494/stat : 7494 (Pueblo) R 7492 7494 6653 0 -1 4202496 58827 0 0 0 22209 12 0 0 20 0 1 0 317448616 250298368 59396 33554432000 134512640 134579096 4290496176 4290495056 134558072 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7494/statm: 61108 59396 228 17 0 60414 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 244432
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 7496
/proc/meminfo: memFree=31188064/32873844 swapFree=7900/7900
[pid=7494] ppid=7492 vsize=287640 CPUtime=282.21 cores=0,2,4,6
/proc/7494/stat : 7494 (Pueblo) R 7492 7494 6653 0 -1 4202496 69171 0 0 0 28204 17 0 0 20 0 1 0 317448616 294543360 69740 33554432000 134512640 134579096 4290496176 4290495104 134559533 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7494/statm: 71910 69740 228 17 0 71216 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 287640
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 7496
/proc/meminfo: memFree=31146332/32873844 swapFree=7900/7900
[pid=7494] ppid=7492 vsize=330632 CPUtime=342.19 cores=0,2,4,6
/proc/7494/stat : 7494 (Pueblo) R 7492 7494 6653 0 -1 4202496 79535 0 0 0 34197 22 0 0 20 0 1 0 317448616 338567168 80104 33554432000 134512640 134579096 4290496176 4290495104 134559503 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7494/statm: 82658 80104 228 17 0 81964 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 330632
[startup+402.3 s]
/proc/loadavg: 2.04 2.01 1.99 3/179 7500
/proc/meminfo: memFree=31112472/32873844 swapFree=7900/7900
[pid=7494] ppid=7492 vsize=355060 CPUtime=402.19 cores=0,2,4,6
/proc/7494/stat : 7494 (Pueblo) R 7492 7494 6653 0 -1 4202496 85602 0 0 0 40192 27 0 0 20 0 1 0 317448616 363581440 86171 33554432000 134512640 134579096 4290496176 4290495008 134517901 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7494/statm: 88765 86171 228 17 0 88071 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 355060
[startup+462.3 s]
/proc/loadavg: 2.01 2.01 1.99 3/178 7500
/proc/meminfo: memFree=31076520/32873844 swapFree=7900/7900
[pid=7494] ppid=7492 vsize=389744 CPUtime=462.16 cores=0,2,4,6
/proc/7494/stat : 7494 (Pueblo) R 7492 7494 6653 0 -1 4202496 94133 0 0 0 46184 32 0 0 20 0 1 0 317448616 399097856 95239 33554432000 134512640 134579096 4290496176 4290495104 134559533 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7494/statm: 97436 95239 228 17 0 96742 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 389744
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 7500
/proc/meminfo: memFree=31045300/32873844 swapFree=7900/7900
[pid=7494] ppid=7492 vsize=420064 CPUtime=522.11 cores=0,2,4,6
/proc/7494/stat : 7494 (Pueblo) R 7492 7494 6653 0 -1 4202496 101190 0 0 0 52176 35 0 0 20 0 1 0 317448616 430145536 102936 33554432000 134512640 134579096 4290496176 4290494744 1828135 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7494/statm: 105016 102936 228 17 0 104322 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 420064
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 7500
/proc/meminfo: memFree=31011852/32873844 swapFree=7900/7900
[pid=7494] ppid=7492 vsize=453268 CPUtime=582.09 cores=0,2,4,6
/proc/7494/stat : 7494 (Pueblo) R 7492 7494 6653 0 -1 4202496 109241 0 0 0 58171 38 0 0 20 0 1 0 317448616 464146432 111259 33554432000 134512640 134579096 4290496176 4290495104 134559533 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7494/statm: 113317 111259 228 17 0 112623 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 453268
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 7501
/proc/meminfo: memFree=30796740/32873844 swapFree=7900/7900
[pid=7494] ppid=7492 vsize=574052 CPUtime=822.05 cores=0,2,4,6
/proc/7494/stat : 7494 (Pueblo) R 7492 7494 6653 0 -1 4202496 138496 0 0 0 82152 53 0 0 20 0 1 0 317448616 587829248 140514 33554432000 134512640 134579096 4290496176 4290495104 134559533 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7494/statm: 143513 140514 228 17 0 142819 0
Current children cumulated CPU time (s) 822.05
Current children cumulated vsize (KiB) 574052
[startup+882.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 7501
/proc/meminfo: memFree=30719488/32873844 swapFree=7900/7900
[pid=7494] ppid=7492 vsize=593076 CPUtime=882.04 cores=0,2,4,6
/proc/7494/stat : 7494 (Pueblo) R 7492 7494 6653 0 -1 4202496 143230 0 0 0 88148 56 0 0 20 0 1 0 317448616 607309824 145248 33554432000 134512640 134579096 4290496176 4290495008 134517867 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7494/statm: 148269 145248 228 17 0 147575 0
Current children cumulated CPU time (s) 882.04
Current children cumulated vsize (KiB) 593076
[startup+942.3 s]
/proc/loadavg: 2.07 2.02 1.99 3/178 7501
/proc/meminfo: memFree=30646052/32873844 swapFree=7900/7900
[pid=7494] ppid=7492 vsize=618080 CPUtime=942.03 cores=0,2,4,6
/proc/7494/stat : 7494 (Pueblo) R 7492 7494 6653 0 -1 4202496 148831 0 0 0 94143 60 0 0 20 0 1 0 317448616 632913920 151011 33554432000 134512640 134579096 4290496176 4290495040 134520044 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7494/statm: 154520 151011 228 17 0 153826 0
Current children cumulated CPU time (s) 942.03
Current children cumulated vsize (KiB) 618080
[startup+1002.3 s]
/proc/loadavg: 2.02 2.01 1.99 3/179 7505
/proc/meminfo: memFree=30569688/32873844 swapFree=7900/7900
[pid=7494] ppid=7492 vsize=645496 CPUtime=1001.99 cores=0,2,4,6
/proc/7494/stat : 7494 (Pueblo) R 7492 7494 6653 0 -1 4202496 155199 0 0 0 100136 63 0 0 20 0 1 0 317448616 660987904 157566 33554432000 134512640 134579096 4290496176 4290494744 1828135 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7494/statm: 161374 157566 228 17 0 160680 0
Current children cumulated CPU time (s) 1001.99
Current children cumulated vsize (KiB) 645496
[startup+1062.3 s]
/proc/loadavg: 2.01 2.00 1.99 3/178 7505
/proc/meminfo: memFree=30513492/32873844 swapFree=7900/7900
[pid=7494] ppid=7492 vsize=672532 CPUtime=1061.94 cores=0,2,4,6
/proc/7494/stat : 7494 (Pueblo) R 7492 7494 6653 0 -1 4202496 161812 0 0 0 106127 67 0 0 20 0 1 0 317448616 688672768 164699 33554432000 134512640 134579096 4290496176 4290495104 134559533 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7494/statm: 168133 164699 228 17 0 167439 0
Current children cumulated CPU time (s) 1061.94
Current children cumulated vsize (KiB) 672532
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 7505
/proc/meminfo: memFree=30496000/32873844 swapFree=7900/7900
[pid=7494] ppid=7492 vsize=688748 CPUtime=1121.93 cores=0,2,4,6
/proc/7494/stat : 7494 (Pueblo) R 7492 7494 6653 0 -1 4202496 165653 0 0 0 112123 70 0 0 20 0 1 0 317448616 705277952 169147 33554432000 134512640 134579096 4290496176 4290495040 134520152 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7494/statm: 172187 169147 228 17 0 171493 0
Current children cumulated CPU time (s) 1121.93
Current children cumulated vsize (KiB) 688748
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 7505
/proc/meminfo: memFree=30478516/32873844 swapFree=7900/7900
[pid=7494] ppid=7492 vsize=707212 CPUtime=1181.92 cores=0,2,4,6
/proc/7494/stat : 7494 (Pueblo) R 7492 7494 6653 0 -1 4202496 169993 0 0 0 118119 73 0 0 20 0 1 0 317448616 724185088 173487 33554432000 134512640 134579096 4290496176 4290495040 134520008 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7494/statm: 176803 173487 228 17 0 176109 0
Current children cumulated CPU time (s) 1181.92
Current children cumulated vsize (KiB) 707212
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 7505
/proc/meminfo: memFree=30458240/32873844 swapFree=7900/7900
[pid=7494] ppid=7492 vsize=728156 CPUtime=1241.92 cores=0,2,4,6
/proc/7494/stat : 7494 (Pueblo) R 7492 7494 6653 0 -1 4202496 174970 0 0 0 124117 75 0 0 20 0 1 0 317448616 745631744 178464 33554432000 134512640 134579096 4290496176 4290495104 134559533 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7494/statm: 182039 178464 228 17 0 181345 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 728156
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 7506
/proc/meminfo: memFree=30440040/32873844 swapFree=7900/7900
[pid=7494] ppid=7492 vsize=747300 CPUtime=1301.91 cores=0,2,4,6
/proc/7494/stat : 7494 (Pueblo) R 7492 7494 6653 0 -1 4202496 179522 0 0 0 130113 78 0 0 20 0 1 0 317448616 765235200 183016 33554432000 134512640 134579096 4290496176 4290495104 134559533 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7494/statm: 186825 183016 228 17 0 186131 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 747300
[startup+1362.31 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 7507
/proc/meminfo: memFree=30413588/32873844 swapFree=7900/7900
[pid=7494] ppid=7492 vsize=773840 CPUtime=1361.9 cores=0,2,4,6
/proc/7494/stat : 7494 (Pueblo) R 7492 7494 6653 0 -1 4202496 185956 0 0 0 136110 80 0 0 20 0 1 0 317448616 792412160 189450 33554432000 134512640 134579096 4290496176 4290495104 134559533 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7494/statm: 193460 189450 228 17 0 192766 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 773840
[startup+1422.3 s]
/proc/loadavg: 2.20 2.05 2.01 3/178 7556
/proc/meminfo: memFree=30866916/32873844 swapFree=7900/7900
[pid=7494] ppid=7492 vsize=792048 CPUtime=1421.88 cores=0,2,4,6
/proc/7494/stat : 7494 (Pueblo) R 7492 7494 6653 0 -1 4202496 190378 0 0 0 142105 83 0 0 20 0 1 0 317448616 811057152 193872 33554432000 134512640 134579096 4290496176 4290495104 134559533 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7494/statm: 198012 193872 228 17 0 197318 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 792048
[startup+1482.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/178 7556
/proc/meminfo: memFree=30816944/32873844 swapFree=7900/7900
[pid=7494] ppid=7492 vsize=804532 CPUtime=1481.88 cores=0,2,4,6
/proc/7494/stat : 7494 (Pueblo) R 7492 7494 6653 0 -1 4202496 193442 0 0 0 148102 86 0 0 20 0 1 0 317448616 823840768 196936 33554432000 134512640 134579096 4290496176 4290495104 134559533 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7494/statm: 201133 196936 228 17 0 200439 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 804532
[startup+1543.54 s]
/proc/loadavg: 2.25 2.09 2.02 3/178 7758
/proc/meminfo: memFree=30789256/32873844 swapFree=7900/7900
[pid=7494] ppid=7492 vsize=814604 CPUtime=1543.1 cores=0,2,4,6
/proc/7494/stat : 7494 (Pueblo) R 7492 7494 6653 0 -1 4202496 195788 0 0 0 154223 87 0 0 20 0 1 0 317448616 834154496 199282 33554432000 134512640 134579096 4290496176 4290495040 134519943 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7494/statm: 203651 199282 228 17 0 202957 0
Current children cumulated CPU time (s) 1543.1
Current children cumulated vsize (KiB) 814604
[startup+1603.54 s]
/proc/loadavg: 2.11 2.07 2.01 3/178 7760
/proc/meminfo: memFree=30781168/32873844 swapFree=7900/7900
[pid=7494] ppid=7492 vsize=827976 CPUtime=1603.1 cores=0,2,4,6
/proc/7494/stat : 7494 (Pueblo) R 7492 7494 6653 0 -1 4202496 199009 0 0 0 160220 90 0 0 20 0 1 0 317448616 847847424 202503 33554432000 134512640 134579096 4290496176 4290495104 134559533 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7494/statm: 206994 202503 228 17 0 206300 0
Current children cumulated CPU time (s) 1603.1
Current children cumulated vsize (KiB) 827976
[startup+1663.55 s]
/proc/loadavg: 2.03 2.05 2.01 3/177 7761
/proc/meminfo: memFree=30752712/32873844 swapFree=7900/7900
[pid=7494] ppid=7492 vsize=844356 CPUtime=1663.1 cores=0,2,4,6
/proc/7494/stat : 7494 (Pueblo) R 7492 7494 6653 0 -1 4202496 202987 0 0 0 166218 92 0 0 20 0 1 0 317448616 864620544 206481 33554432000 134512640 134579096 4290496176 4290495104 134559533 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7494/statm: 211089 206481 228 17 0 210395 0
Current children cumulated CPU time (s) 1663.1
Current children cumulated vsize (KiB) 844356
[startup+1723.54 s]
/proc/loadavg: 2.01 2.04 2.00 4/177 7761
/proc/meminfo: memFree=30729276/32873844 swapFree=7900/7900
[pid=7494] ppid=7492 vsize=856224 CPUtime=1723.07 cores=0,2,4,6
/proc/7494/stat : 7494 (Pueblo) R 7492 7494 6653 0 -1 4202496 205973 0 0 0 172213 94 0 0 20 0 1 0 317448616 876773376 209467 33554432000 134512640 134579096 4290496176 4290494992 134519127 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7494/statm: 214056 209467 228 17 0 213362 0
Current children cumulated CPU time (s) 1723.07
Current children cumulated vsize (KiB) 856224
[startup+1783.54 s]
/proc/loadavg: 2.00 2.03 2.00 4/177 7761
/proc/meminfo: memFree=30719488/32873844 swapFree=7900/7900
[pid=7494] ppid=7492 vsize=867884 CPUtime=1783.07 cores=0,2,4,6
/proc/7494/stat : 7494 (Pueblo) R 7492 7494 6653 0 -1 4202496 208872 0 0 0 178211 96 0 0 20 0 1 0 317448616 888713216 212366 33554432000 134512640 134579096 4290496176 4290495104 134559533 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7494/statm: 216971 212366 228 17 0 216277 0
Current children cumulated CPU time (s) 1783.07
Current children cumulated vsize (KiB) 867884
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.93 s]
/proc/loadavg: 2.00 2.03 2.00 4/177 7761
/proc/meminfo: memFree=30713472/32873844 swapFree=7900/7900
[pid=7494] ppid=7492 vsize=870808 CPUtime=1800.47 cores=0,2,4,6
/proc/7494/stat : 7494 (Pueblo) R 7492 7494 6653 0 -1 4202496 209582 0 0 0 179950 97 0 0 20 0 1 0 317448616 891707392 213116 33554432000 134512640 134579096 4290496176 4290495040 134520147 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7494/statm: 217702 213116 228 17 0 217008 0
Current children cumulated CPU time (s) 1800.47
Current children cumulated vsize (KiB) 870808
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.96
CPU time (s): 1800.49
CPU user time (s): 1799.51
CPU system time (s): 0.986849
CPU usage (%): 99.9742
Max. virtual memory (cumulated for all children) (KiB): 870808
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.51
system time used= 0.986849
maximum resident set size= 852464
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 209582
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= 265
involuntary context switches= 2093
runsolver used 3.20051 second user time and 7.57685 second system time
The end