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-3720004-1338506064/watcher-3720004-1338506064 -o /tmp/evaluation-result-3720004-1338506064/solver-3720004-1338506064 -C 1800 -W 1900 -M 15500 Pueblo HOME/instance-3720004-1338506064.opb
running on 4 cores: 1,3,5,7
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.29 0.38 0.13 3/176 29133
/proc/meminfo: memFree=27826500/32873648 swapFree=7368/7368
[pid=29133] ppid=29131 vsize=1384 CPUtime=0 cores=1,3,5,7
/proc/29133/stat : 29133 (Pueblo) R 29131 29133 28979 0 -1 4194304 93 0 0 0 0 0 0 0 20 0 1 0 316730509 1417216 45 33554432000 134512640 134579096 4287439328 4287437312 2568439 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29133/statm: 346 48 37 17 0 29 0
[startup+0.086638 s]
/proc/loadavg: 1.29 0.38 0.13 3/176 29133
/proc/meminfo: memFree=27826500/32873648 swapFree=7368/7368
[pid=29133] ppid=29131 vsize=5764 CPUtime=0.07 cores=1,3,5,7
/proc/29133/stat : 29133 (Pueblo) R 29131 29133 28979 0 -1 4202496 999 0 0 0 7 0 0 0 20 0 1 0 316730509 5902336 936 33554432000 134512640 134579096 4287439328 4287306740 3826495 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29133/statm: 1441 936 219 17 0 747 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 5764
[startup+0.100261 s]
/proc/loadavg: 1.29 0.38 0.13 3/176 29133
/proc/meminfo: memFree=27826500/32873648 swapFree=7368/7368
[pid=29133] ppid=29131 vsize=6164 CPUtime=0.09 cores=1,3,5,7
/proc/29133/stat : 29133 (Pueblo) R 29131 29133 28979 0 -1 4202496 1091 0 0 0 9 0 0 0 20 0 1 0 316730509 6311936 1028 33554432000 134512640 134579096 4287439328 4287306668 11158576 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29133/statm: 1541 1032 219 17 0 847 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6164
[startup+0.30013 s]
/proc/loadavg: 1.29 0.38 0.13 3/176 29133
/proc/meminfo: memFree=27826500/32873648 swapFree=7368/7368
[pid=29133] ppid=29131 vsize=11492 CPUtime=0.29 cores=1,3,5,7
/proc/29133/stat : 29133 (Pueblo) R 29131 29133 28979 0 -1 4202496 2433 0 0 0 29 0 0 0 20 0 1 0 316730509 11767808 2370 33554432000 134512640 134579096 4287439328 4287306788 3826432 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29133/statm: 2873 2370 219 17 0 2179 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11492
[startup+0.700271 s]
/proc/loadavg: 1.29 0.38 0.13 3/176 29133
/proc/meminfo: memFree=27826500/32873648 swapFree=7368/7368
[pid=29133] ppid=29131 vsize=22016 CPUtime=0.68 cores=1,3,5,7
/proc/29133/stat : 29133 (Pueblo) R 29131 29133 28979 0 -1 4202496 5066 0 0 0 68 0 0 0 20 0 1 0 316730509 22544384 5003 33554432000 134512640 134579096 4287439328 4287306752 134546737 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29133/statm: 5504 5003 219 17 0 4810 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 22016
[startup+1.50027 s]
/proc/loadavg: 1.29 0.38 0.13 3/177 29134
/proc/meminfo: memFree=27799700/32873648 swapFree=7368/7368
[pid=29133] ppid=29131 vsize=42796 CPUtime=1.48 cores=1,3,5,7
/proc/29133/stat : 29133 (Pueblo) R 29131 29133 28979 0 -1 4202496 10261 0 0 0 147 1 0 0 20 0 1 0 316730509 43823104 10198 33554432000 134512640 134579096 4287439328 4287306668 11158576 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29133/statm: 10699 10198 219 17 0 10005 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 42796
[startup+3.10027 s]
/proc/loadavg: 1.29 0.38 0.13 3/177 29134
/proc/meminfo: memFree=27770304/32873648 swapFree=7368/7368
[pid=29133] ppid=29131 vsize=83916 CPUtime=3.08 cores=1,3,5,7
/proc/29133/stat : 29133 (Pueblo) R 29131 29133 28979 0 -1 4202496 20429 0 0 0 305 3 0 0 20 0 1 0 316730509 85929984 20335 33554432000 134512640 134579096 4287439328 4287438304 134532045 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29133/statm: 20979 20335 226 17 0 20285 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 83916
[startup+6.30027 s]
/proc/loadavg: 1.34 0.40 0.14 3/177 29134
/proc/meminfo: memFree=27744876/32873648 swapFree=7368/7368
[pid=29133] ppid=29131 vsize=84940 CPUtime=6.28 cores=1,3,5,7
/proc/29133/stat : 29133 (Pueblo) R 29131 29133 28979 0 -1 4202496 20627 0 0 0 625 3 0 0 20 0 1 0 316730509 86978560 20533 33554432000 134512640 134579096 4287439328 4287438304 134532044 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29133/statm: 21235 20533 226 17 0 20541 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 84940
[startup+12.7003 s]
/proc/loadavg: 1.40 0.43 0.15 3/177 29134
/proc/meminfo: memFree=27743464/32873648 swapFree=7368/7368
[pid=29133] ppid=29131 vsize=87020 CPUtime=12.68 cores=1,3,5,7
/proc/29133/stat : 29133 (Pueblo) R 29131 29133 28979 0 -1 4202496 21206 0 0 0 1265 3 0 0 20 0 1 0 316730509 89108480 21112 33554432000 134512640 134579096 4287439328 4287438304 134532044 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29133/statm: 21755 21112 226 17 0 21061 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 87020
[startup+25.5002 s]
/proc/loadavg: 1.53 0.51 0.18 3/177 29134
/proc/meminfo: memFree=27734872/32873648 swapFree=7368/7368
[pid=29133] ppid=29131 vsize=96068 CPUtime=25.47 cores=1,3,5,7
/proc/29133/stat : 29133 (Pueblo) R 29131 29133 28979 0 -1 4202496 23104 0 0 0 2543 4 0 0 20 0 1 0 316730509 98373632 22999 33554432000 134512640 134579096 4287439328 4287438208 134557297 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29133/statm: 24017 22999 228 17 0 23323 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 96068
[startup+51.1003 s]
/proc/loadavg: 1.69 0.62 0.22 3/177 29134
/proc/meminfo: memFree=27717108/32873648 swapFree=7368/7368
[pid=29133] ppid=29131 vsize=115704 CPUtime=51.06 cores=1,3,5,7
/proc/29133/stat : 29133 (Pueblo) R 29131 29133 28979 0 -1 4202496 28028 0 0 0 5099 7 0 0 20 0 1 0 316730509 118480896 27911 33554432000 134512640 134579096 4287439328 4287438160 134517893 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29133/statm: 28926 27911 228 17 0 28232 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 115704
[startup+102.306 s]
/proc/loadavg: 1.86 0.83 0.31 3/177 29135
/proc/meminfo: memFree=27601832/32873648 swapFree=7368/7368
[pid=29133] ppid=29131 vsize=228364 CPUtime=102.25 cores=1,3,5,7
/proc/29133/stat : 29133 (Pueblo) R 29131 29133 28979 0 -1 4202496 56192 0 0 0 10211 14 0 0 20 0 1 0 316730509 233844736 56094 33554432000 134512640 134579096 4287439328 4287438160 134517901 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29133/statm: 57091 56094 228 17 0 56397 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 228364
[startup+162.3 s]
/proc/loadavg: 1.95 1.04 0.42 3/177 29135
/proc/meminfo: memFree=27426028/32873648 swapFree=7368/7368
[pid=29133] ppid=29131 vsize=405592 CPUtime=162.22 cores=1,3,5,7
/proc/29133/stat : 29133 (Pueblo) R 29131 29133 28979 0 -1 4202496 100485 0 0 0 16197 25 0 0 20 0 1 0 316730509 415326208 100379 33554432000 134512640 134579096 4287439328 4287438192 134520048 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29133/statm: 101398 100379 228 17 0 100704 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 405592
[startup+222.3 s]
/proc/loadavg: 2.02 1.23 0.52 3/177 29135
/proc/meminfo: memFree=27245140/32873648 swapFree=7368/7368
[pid=29133] ppid=29131 vsize=584444 CPUtime=222.2 cores=1,3,5,7
/proc/29133/stat : 29133 (Pueblo) R 29131 29133 28979 0 -1 4202496 145195 0 0 0 22183 37 0 0 20 0 1 0 316730509 598470656 145089 33554432000 134512640 134579096 4287439328 4287438160 134517919 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29133/statm: 146111 145089 228 17 0 145417 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 584444
[startup+282.3 s]
/proc/loadavg: 2.07 1.38 0.61 3/177 29135
/proc/meminfo: memFree=27080128/32873648 swapFree=7368/7368
[pid=29133] ppid=29131 vsize=750872 CPUtime=282.17 cores=1,3,5,7
/proc/29133/stat : 29133 (Pueblo) R 29131 29133 28979 0 -1 4202496 186683 0 0 0 28168 49 0 0 20 0 1 0 316730509 768892928 186586 33554432000 134512640 134579096 4287439328 4287438192 134520067 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29133/statm: 187718 186586 228 17 0 187024 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 750872
[startup+342.3 s]
/proc/loadavg: 2.02 1.49 0.70 3/178 29138
/proc/meminfo: memFree=26914916/32873648 swapFree=7368/7368
[pid=29133] ppid=29131 vsize=914184 CPUtime=342.14 cores=1,3,5,7
/proc/29133/stat : 29133 (Pueblo) R 29131 29133 28979 0 -1 4202496 227528 0 0 0 34154 60 0 0 20 0 1 0 316730509 936124416 227415 33554432000 134512640 134579096 4287439328 4287438160 134517893 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29133/statm: 228546 227415 228 17 0 227852 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 914184
[startup+402.3 s]
/proc/loadavg: 2.01 1.58 0.77 3/177 29139
/proc/meminfo: memFree=26779232/32873648 swapFree=7368/7368
[pid=29133] ppid=29131 vsize=1051764 CPUtime=402.13 cores=1,3,5,7
/proc/29133/stat : 29133 (Pueblo) R 29131 29133 28979 0 -1 4202496 261939 0 0 0 40145 68 0 0 20 0 1 0 316730509 1077006336 261832 33554432000 134512640 134579096 4287439328 4287438160 134517908 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29133/statm: 262941 261832 228 17 0 262247 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 1051764
[startup+462.3 s]
/proc/loadavg: 2.00 1.65 0.85 3/177 29139
/proc/meminfo: memFree=26639636/32873648 swapFree=7368/7368
[pid=29133] ppid=29131 vsize=1189852 CPUtime=462.12 cores=1,3,5,7
/proc/29133/stat : 29133 (Pueblo) R 29131 29133 28979 0 -1 4202496 296485 0 0 0 46135 77 0 0 20 0 1 0 316730509 1218408448 296404 33554432000 134512640 134579096 4287439328 4287438300 11158576 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29133/statm: 297463 296404 228 17 0 296769 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 1189852
[startup+522.3 s]
/proc/loadavg: 2.00 1.71 0.92 3/177 29139
/proc/meminfo: memFree=26519136/32873648 swapFree=7368/7368
[pid=29133] ppid=29131 vsize=1310736 CPUtime=522.1 cores=1,3,5,7
/proc/29133/stat : 29133 (Pueblo) R 29131 29133 28979 0 -1 4202496 326689 0 0 0 52125 85 0 0 20 0 1 0 316730509 1342193664 326633 33554432000 134512640 134579096 4287439328 4287438160 134517908 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29133/statm: 327684 326633 228 17 0 326990 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 1310736
[startup+582.3 s]
/proc/loadavg: 2.00 1.76 0.98 3/177 29139
/proc/meminfo: memFree=26340232/32873648 swapFree=7368/7368
[pid=29133] ppid=29131 vsize=1489400 CPUtime=582.08 cores=1,3,5,7
/proc/29133/stat : 29133 (Pueblo) R 29131 29133 28979 0 -1 4202496 371145 0 0 0 58109 99 0 0 20 0 1 0 316730509 1525145600 371084 33554432000 134512640 134579096 4287439328 4287438160 134517903 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29133/statm: 372350 371084 228 17 0 371656 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 1489400
[startup+642.3 s]
################
# More data... #
################
[pid=29133] ppid=29131 vsize=2619588 CPUtime=1001.95 cores=1,3,5,7
/proc/29133/stat : 29133 (Pueblo) R 29131 29133 28979 0 -1 4202496 653281 0 0 0 99999 196 0 0 20 0 1 0 316730509 2682458112 653244 33554432000 134512640 134579096 4287439328 4287438128 134528604 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29133/statm: 654897 653244 228 17 0 654203 0
Current children cumulated CPU time (s) 1001.95
Current children cumulated vsize (KiB) 2619588
[startup+1062.3 s]
/proc/loadavg: 2.00 1.95 1.38 3/177 29146
/proc/meminfo: memFree=25033320/32873648 swapFree=7368/7368
[pid=29133] ppid=29131 vsize=2795900 CPUtime=1061.93 cores=1,3,5,7
/proc/29133/stat : 29133 (Pueblo) R 29131 29133 28979 0 -1 4202496 697322 0 0 0 105984 209 0 0 20 0 1 0 316730509 2863001600 697286 33554432000 134512640 134579096 4287439328 4287438160 134517919 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29133/statm: 698975 697286 228 17 0 698281 0
Current children cumulated CPU time (s) 1061.93
Current children cumulated vsize (KiB) 2795900
[startup+1122.3 s]
/proc/loadavg: 2.00 1.96 1.42 3/177 29146
/proc/meminfo: memFree=24871036/32873648 swapFree=7368/7368
[pid=29133] ppid=29131 vsize=2956060 CPUtime=1121.9 cores=1,3,5,7
/proc/29133/stat : 29133 (Pueblo) R 29131 29133 28979 0 -1 4202496 737361 0 0 0 111968 222 0 0 20 0 1 0 316730509 3027005440 737347 33554432000 134512640 134579096 4287439328 4287438160 134517922 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29133/statm: 739015 737347 228 17 0 738321 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 2956060
[startup+1182.3 s]
/proc/loadavg: 2.00 1.96 1.45 3/177 29146
/proc/meminfo: memFree=24721148/32873648 swapFree=7368/7368
[pid=29133] ppid=29131 vsize=3106512 CPUtime=1181.89 cores=1,3,5,7
/proc/29133/stat : 29133 (Pueblo) R 29131 29133 28979 0 -1 4202496 774952 0 0 0 117954 235 0 0 20 0 1 0 316730509 3181068288 774961 33554432000 134512640 134579096 4287439328 4287438236 134519884 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29133/statm: 776628 774961 228 17 0 775934 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 3106512
[startup+1242.3 s]
/proc/loadavg: 2.00 1.97 1.48 3/177 29146
/proc/meminfo: memFree=24570144/32873648 swapFree=7368/7368
[pid=29133] ppid=29131 vsize=3256620 CPUtime=1241.87 cores=1,3,5,7
/proc/29133/stat : 29133 (Pueblo) R 29131 29133 28979 0 -1 4202496 812446 0 0 0 123937 250 0 0 20 0 1 0 316730509 3334778880 812479 33554432000 134512640 134579096 4287439328 4287438160 134517908 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29133/statm: 814155 812479 228 17 0 813461 0
Current children cumulated CPU time (s) 1241.87
Current children cumulated vsize (KiB) 3256620
[startup+1302.3 s]
/proc/loadavg: 2.00 1.97 1.51 3/177 29147
/proc/meminfo: memFree=24417900/32873648 swapFree=7368/7368
[pid=29133] ppid=29131 vsize=3407140 CPUtime=1301.85 cores=1,3,5,7
/proc/29133/stat : 29133 (Pueblo) R 29131 29133 28979 0 -1 4202496 850058 0 0 0 129922 263 0 0 20 0 1 0 316730509 3488911360 850111 33554432000 134512640 134579096 4287439328 4287438160 134517896 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29133/statm: 851785 850111 228 17 0 851091 0
Current children cumulated CPU time (s) 1301.85
Current children cumulated vsize (KiB) 3407140
[startup+1362.3 s]
/proc/loadavg: 2.00 1.97 1.54 3/177 29147
/proc/meminfo: memFree=24279296/32873648 swapFree=7368/7368
[pid=29133] ppid=29131 vsize=3551720 CPUtime=1361.83 cores=1,3,5,7
/proc/29133/stat : 29133 (Pueblo) R 29131 29133 28979 0 -1 4202496 885168 0 0 0 135907 276 0 0 20 0 1 0 316730509 3636961280 885244 33554432000 134512640 134579096 4287439328 4287438160 134517922 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29133/statm: 887930 885244 228 17 0 887236 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 3551720
[startup+1422.31 s]
/proc/loadavg: 2.00 1.97 1.57 3/177 29147
/proc/meminfo: memFree=24133748/32873648 swapFree=7368/7368
[pid=29133] ppid=29131 vsize=3695012 CPUtime=1421.83 cores=1,3,5,7
/proc/29133/stat : 29133 (Pueblo) R 29131 29133 28979 0 -1 4202496 921029 0 0 0 141889 294 0 0 20 0 1 0 316730509 3783692288 921147 33554432000 134512640 134579096 4287439328 4287438160 134517896 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29133/statm: 923753 921147 228 17 0 923059 0
Current children cumulated CPU time (s) 1421.83
Current children cumulated vsize (KiB) 3695012
[startup+1482.3 s]
/proc/loadavg: 2.00 1.97 1.59 3/177 29147
/proc/meminfo: memFree=23964764/32873648 swapFree=7368/7368
[pid=29133] ppid=29131 vsize=3865208 CPUtime=1481.8 cores=1,3,5,7
/proc/29133/stat : 29133 (Pueblo) R 29131 29133 28979 0 -1 4202496 963553 0 0 0 147868 312 0 0 20 0 1 0 316730509 3957972992 963689 33554432000 134512640 134579096 4287439328 4287438160 134517908 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29133/statm: 966302 963689 228 17 0 965608 0
Current children cumulated CPU time (s) 1481.8
Current children cumulated vsize (KiB) 3865208
[startup+1542.3 s]
/proc/loadavg: 2.00 1.97 1.61 3/178 29150
/proc/meminfo: memFree=23799920/32873648 swapFree=7368/7368
[pid=29133] ppid=29131 vsize=4027944 CPUtime=1541.78 cores=1,3,5,7
/proc/29133/stat : 29133 (Pueblo) R 29131 29133 28979 0 -1 4202496 1004218 0 0 0 153846 332 0 0 20 0 1 0 316730509 4124614656 1004382 33554432000 134512640 134579096 4287439328 4287438160 134517903 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29133/statm: 1006986 1004382 228 17 0 1006292 0
Current children cumulated CPU time (s) 1541.78
Current children cumulated vsize (KiB) 4027944
[startup+1602.3 s]
/proc/loadavg: 2.00 1.97 1.64 3/177 29151
/proc/meminfo: memFree=23648256/32873648 swapFree=7368/7368
[pid=29133] ppid=29131 vsize=4180520 CPUtime=1601.77 cores=1,3,5,7
/proc/29133/stat : 29133 (Pueblo) R 29131 29133 28979 0 -1 4202496 1042360 0 0 0 159827 350 0 0 20 0 1 0 316730509 4280852480 1042588 33554432000 134512640 134579096 4287439328 4287438160 134517908 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29133/statm: 1045130 1042588 228 17 0 1044436 0
Current children cumulated CPU time (s) 1601.77
Current children cumulated vsize (KiB) 4180520
[startup+1662.3 s]
/proc/loadavg: 3.73 2.45 1.82 2/178 29152
/proc/meminfo: memFree=14826408/32873648 swapFree=7368/7368
[pid=29133] ppid=29131 vsize=4188968 CPUtime=1609.26 cores=1,3,5,7
/proc/29133/stat : 29133 (Pueblo) S 29131 29133 28979 0 -1 4204032 1044474 0 0 0 160184 742 0 0 20 0 1 0 316730509 4289503232 1044804 33554432000 134512640 134579096 4287439328 4287437760 11158576 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/29133/statm: 1047242 1044804 234 17 0 1046548 0
Current children cumulated CPU time (s) 1609.26
Current children cumulated vsize (KiB) 4188968
[startup+1722.3 s]
/proc/loadavg: 4.53 2.91 2.01 2/178 29152
/proc/meminfo: memFree=14883300/32873648 swapFree=7368/7368
[pid=29133] ppid=29131 vsize=4188968 CPUtime=1609.26 cores=1,3,5,7
/proc/29133/stat : 29133 (Pueblo) S 29131 29133 28979 0 -1 4204032 1044474 0 0 0 160184 742 0 0 20 0 1 0 316730509 4289503232 1044807 33554432000 134512640 134579096 4287439328 4287437760 11158576 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/29133/statm: 1047242 1044807 234 17 0 1046548 0
Current children cumulated CPU time (s) 1609.26
Current children cumulated vsize (KiB) 4188968
Solver just ended. Dumping a history of the last processes samples
[startup+1728.5 s]
/proc/loadavg: 4.57 2.95 2.03 2/178 29152
/proc/meminfo: memFree=14883532/32873648 swapFree=7368/7368
[pid=29133] ppid=29131 vsize=4188968 CPUtime=1609.26 cores=1,3,5,7
/proc/29133/stat : 29133 (Pueblo) S 29131 29133 28979 0 -1 4204032 1044474 0 0 0 160184 742 0 0 20 0 1 0 316730509 4289503232 1044807 33554432000 134512640 134579096 4287439328 4287437760 11158576 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/29133/statm: 1047242 1044807 234 17 0 1046548 0
Current children cumulated CPU time (s) 1609.26
Current children cumulated vsize (KiB) 4188968
[startup+1730.1 s]
/proc/loadavg: 4.60 2.98 2.05 3/178 29152
/proc/meminfo: memFree=14883780/32873648 swapFree=7368/7368
[pid=29133] ppid=29131 vsize=4188968 CPUtime=1609.26 cores=1,3,5,7
/proc/29133/stat : 29133 (Pueblo) S 29131 29133 28979 0 -1 4204032 1044474 0 0 0 160184 742 0 0 20 0 1 0 316730509 4289503232 1044807 33554432000 134512640 134579096 4287439328 4287437760 11158576 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/29133/statm: 1047242 1044807 234 17 0 1046548 0
Current children cumulated CPU time (s) 1609.26
Current children cumulated vsize (KiB) 4188968
[startup+1731.7 s]
/proc/loadavg: 4.60 2.98 2.05 2/178 29152
/proc/meminfo: memFree=14883284/32873648 swapFree=7368/7368
[pid=29133] ppid=29131 vsize=4188968 CPUtime=1609.26 cores=1,3,5,7
/proc/29133/stat : 29133 (Pueblo) S 29131 29133 28979 0 -1 4204032 1044474 0 0 0 160184 742 0 0 20 0 1 0 316730509 4289503232 1044807 33554432000 134512640 134579096 4287439328 4287437760 11158576 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/29133/statm: 1047242 1044807 234 17 0 1046548 0
Current children cumulated CPU time (s) 1609.26
Current children cumulated vsize (KiB) 4188968
[startup+1732.1 s]
/proc/loadavg: 4.60 2.98 2.05 2/178 29152
/proc/meminfo: memFree=14922716/32873648 swapFree=7368/7368
[pid=29133] ppid=29131 vsize=4188968 CPUtime=1609.26 cores=1,3,5,7
/proc/29133/stat : 29133 (Pueblo) S 29131 29133 28979 0 -1 4204032 1044474 0 0 0 160184 742 0 0 20 0 1 0 316730509 4289503232 1044807 33554432000 134512640 134579096 4287439328 4287437760 11158576 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/29133/statm: 1047242 1044807 234 17 0 1046548 0
Current children cumulated CPU time (s) 1609.26
Current children cumulated vsize (KiB) 4188968
[startup+1732.5 s]
/proc/loadavg: 4.60 2.98 2.05 2/178 29152
/proc/meminfo: memFree=14922716/32873648 swapFree=7368/7368
[pid=29133] ppid=29131 vsize=4188968 CPUtime=1609.26 cores=1,3,5,7
/proc/29133/stat : 29133 (Pueblo) S 29131 29133 28979 0 -1 4204032 1044474 0 0 0 160184 742 0 0 20 0 1 0 316730509 4289503232 1044807 33554432000 134512640 134579096 4287439328 4287437760 11158576 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/29133/statm: 1047242 1044807 234 17 0 1046548 0
Current children cumulated CPU time (s) 1609.26
Current children cumulated vsize (KiB) 4188968
[startup+1732.6 s]
/proc/loadavg: 4.60 2.98 2.05 2/178 29152
/proc/meminfo: memFree=14922716/32873648 swapFree=7368/7368
[pid=29133] ppid=29131 vsize=0 CPUtime=1609.33 cores=1,3,5,7
/proc/29133/stat : 29133 (Pueblo) R 29131 29133 28979 0 -1 4204036 1044474 0 0 0 160184 749 0 0 20 0 1 0 316730509 0 0 33554432000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29133/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1609.33
Current children cumulated vsize (KiB) 0
Child ended because it received signal 6 (SIGABRT)
Child dumped core
Real time (s): 1732.62
CPU time (s): 1609.36
CPU user time (s): 1601.84
CPU system time (s): 7.51686
CPU usage (%): 92.8858
Max. virtual memory (cumulated for all children) (KiB): 4188968
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1601.84
system time used= 7.51686
maximum resident set size= 4179228
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1044474
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= 997466
involuntary context switches= 1856
runsolver used 5.53816 second user time and 12.3971 second system time
The end