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-3720900-1338515337/watcher-3720900-1338515337 -o /tmp/evaluation-result-3720900-1338515337/solver-3720900-1338515337 -C 1800 -W 1900 -M 15500 Pueblo HOME/instance-3720900-1338515337.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: 2.00 2.01 2.00 3/176 31653
/proc/meminfo: memFree=26437384/32873648 swapFree=6864/6864
[pid=31653] ppid=31651 vsize=1268 CPUtime=0 cores=0,2,4,6
/proc/31653/stat : 31653 (Pueblo) D 31651 31653 29082 0 -1 4194304 94 0 0 0 0 0 0 0 20 0 1 0 317659209 1298432 46 33554432000 134512640 134579096 4288671312 4288669348 10707908 0 0 4096 0 18446744072100609316 0 0 17 2 0 0 0 0 0
/proc/31653/statm: 317 46 35 17 0 29 0
[startup+0.0886719 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 31653
/proc/meminfo: memFree=26437384/32873648 swapFree=6864/6864
[pid=31653] ppid=31651 vsize=6168 CPUtime=0.07 cores=0,2,4,6
/proc/31653/stat : 31653 (Pueblo) R 31651 31653 29082 0 -1 4202496 1078 0 0 0 7 0 0 0 20 0 1 0 317659209 6316032 1015 33554432000 134512640 134579096 4288671312 4288538736 134546743 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/31653/statm: 1542 1017 219 17 0 848 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 6168
[startup+0.100269 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 31653
/proc/meminfo: memFree=26437384/32873648 swapFree=6864/6864
[pid=31653] ppid=31651 vsize=6432 CPUtime=0.08 cores=0,2,4,6
/proc/31653/stat : 31653 (Pueblo) R 31651 31653 29082 0 -1 4202496 1146 0 0 0 8 0 0 0 20 0 1 0 317659209 6586368 1083 33554432000 134512640 134579096 4288671312 4288538660 11969295 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/31653/statm: 1608 1083 219 17 0 914 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 6432
[startup+0.30023 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 31653
/proc/meminfo: memFree=26437384/32873648 swapFree=6864/6864
[pid=31653] ppid=31651 vsize=11760 CPUtime=0.28 cores=0,2,4,6
/proc/31653/stat : 31653 (Pueblo) R 31651 31653 29082 0 -1 4202496 2506 0 0 0 28 0 0 0 20 0 1 0 317659209 12042240 2443 33554432000 134512640 134579096 4288671312 4288538708 11969343 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/31653/statm: 2940 2443 219 17 0 2246 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 11760
[startup+0.700187 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 31653
/proc/meminfo: memFree=26437384/32873648 swapFree=6864/6864
[pid=31653] ppid=31651 vsize=18956 CPUtime=0.69 cores=0,2,4,6
/proc/31653/stat : 31653 (Pueblo) R 31651 31653 29082 0 -1 4202496 4294 0 0 0 68 1 0 0 20 0 1 0 317659209 19410944 4231 33554432000 134512640 134579096 4288671312 4288538588 8758320 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/31653/statm: 4739 4231 219 17 0 4045 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 18956
[startup+1.50025 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 31654
/proc/meminfo: memFree=26413940/32873648 swapFree=6864/6864
[pid=31653] ppid=31651 vsize=40404 CPUtime=1.48 cores=0,2,4,6
/proc/31653/stat : 31653 (Pueblo) R 31651 31653 29082 0 -1 4202496 9664 0 0 0 147 1 0 0 20 0 1 0 317659209 41373696 9601 33554432000 134512640 134579096 4288671312 4288538588 8758320 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/31653/statm: 10101 9601 219 17 0 9407 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 40404
[startup+3.10016 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 31654
/proc/meminfo: memFree=26383320/32873648 swapFree=6864/6864
[pid=31653] ppid=31651 vsize=83564 CPUtime=3.09 cores=0,2,4,6
/proc/31653/stat : 31653 (Pueblo) R 31651 31653 29082 0 -1 4202496 20450 0 0 0 306 3 0 0 20 0 1 0 317659209 85569536 20387 33554432000 134512640 134579096 4288671312 4288538708 11969270 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/31653/statm: 20891 20387 219 17 0 20197 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 83564
[startup+6.30023 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 31654
/proc/meminfo: memFree=26286160/32873648 swapFree=6864/6864
[pid=31653] ppid=31651 vsize=161748 CPUtime=6.28 cores=0,2,4,6
/proc/31653/stat : 31653 (Pueblo) R 31651 31653 29082 0 -1 4202496 392660 0 0 0 582 46 0 0 20 0 1 0 317659209 165629952 37771 33554432000 134512640 134579096 4288671312 4288670272 134532446 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/31653/statm: 40437 37787 226 17 0 39743 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 161748
[startup+12.7002 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 31654
/proc/meminfo: memFree=26285936/32873648 swapFree=6864/6864
[pid=31653] ppid=31651 vsize=161748 CPUtime=12.68 cores=0,2,4,6
/proc/31653/stat : 31653 (Pueblo) R 31651 31653 29082 0 -1 4202496 2448616 0 0 0 1000 268 0 0 20 0 1 0 317659209 165629952 37687 33554432000 134512640 134579096 4288671312 4288670272 134532446 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/31653/statm: 40437 37703 226 17 0 39743 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 161748
[startup+25.5001 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 31654
/proc/meminfo: memFree=26283712/32873648 swapFree=6864/6864
[pid=31653] ppid=31651 vsize=161924 CPUtime=25.48 cores=0,2,4,6
/proc/31653/stat : 31653 (Pueblo) R 31651 31653 29082 0 -1 4202496 6527959 0 0 0 1832 716 0 0 20 0 1 0 317659209 165810176 37878 33554432000 134512640 134579096 4288671312 4288670272 134532446 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/31653/statm: 40481 37891 226 17 0 39787 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 161924
[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31654
/proc/meminfo: memFree=26278580/32873648 swapFree=6864/6864
[pid=31653] ppid=31651 vsize=161924 CPUtime=51.05 cores=0,2,4,6
/proc/31653/stat : 31653 (Pueblo) R 31651 31653 29082 0 -1 4202496 14699404 0 0 0 3499 1606 0 0 20 0 1 0 317659209 165810176 38083 33554432000 134512640 134579096 4288671312 4288670224 8758320 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/31653/statm: 40481 37691 226 17 0 39787 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 161924
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 31658
/proc/meminfo: memFree=26261892/32873648 swapFree=6864/6864
[pid=31653] ppid=31651 vsize=162308 CPUtime=102.22 cores=0,2,4,6
/proc/31653/stat : 31653 (Pueblo) R 31651 31653 29082 0 -1 4202496 30928457 0 0 0 6827 3395 0 0 20 0 1 0 317659209 166203392 37913 33554432000 134512640 134579096 4288671312 4288670272 134532446 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/31653/statm: 40577 37925 226 17 0 39883 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 162308
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31658
/proc/meminfo: memFree=26261764/32873648 swapFree=6864/6864
[pid=31653] ppid=31651 vsize=162308 CPUtime=162.21 cores=0,2,4,6
/proc/31653/stat : 31653 (Pueblo) R 31651 31653 29082 0 -1 4202496 49903677 0 0 0 10703 5518 0 0 20 0 1 0 317659209 166203392 38076 33554432000 134512640 134579096 4288671312 4288670272 134532446 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/31653/statm: 40577 38091 226 17 0 39883 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 162308
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31658
/proc/meminfo: memFree=26260252/32873648 swapFree=6864/6864
[pid=31653] ppid=31651 vsize=164932 CPUtime=222.2 cores=0,2,4,6
/proc/31653/stat : 31653 (Pueblo) R 31651 31653 29082 0 -1 4202496 68868051 0 0 0 14576 7644 0 0 20 0 1 0 317659209 168890368 38665 33554432000 134512640 134579096 4288671312 4288670272 134532446 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/31653/statm: 41233 38680 226 17 0 40539 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 164932
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31658
/proc/meminfo: memFree=26256652/32873648 swapFree=6864/6864
[pid=31653] ppid=31651 vsize=167564 CPUtime=282.18 cores=0,2,4,6
/proc/31653/stat : 31653 (Pueblo) R 31651 31653 29082 0 -1 4202496 87813919 0 0 0 18455 9763 0 0 20 0 1 0 317659209 171585536 39173 33554432000 134512640 134579096 4288671312 4288670224 8758320 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/31653/statm: 41891 39182 226 17 0 41197 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 167564
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31658
/proc/meminfo: memFree=26253932/32873648 swapFree=6864/6864
[pid=31653] ppid=31651 vsize=171220 CPUtime=342.18 cores=0,2,4,6
/proc/31653/stat : 31653 (Pueblo) R 31651 31653 29082 0 -1 4202496 106749404 0 0 0 22328 11890 0 0 20 0 1 0 317659209 175329280 40274 33554432000 134512640 134579096 4288671312 4288670272 134532446 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/31653/statm: 42805 40274 226 17 0 42111 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 171220
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31659
/proc/meminfo: memFree=26230612/32873648 swapFree=6864/6864
[pid=31653] ppid=31651 vsize=173860 CPUtime=402.17 cores=0,2,4,6
/proc/31653/stat : 31653 (Pueblo) R 31651 31653 29082 0 -1 4202496 125704366 0 0 0 26207 14010 0 0 20 0 1 0 317659209 178032640 40860 33554432000 134512640 134579096 4288671312 4288670272 134532446 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/31653/statm: 43465 40873 226 17 0 42771 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 173860
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31659
/proc/meminfo: memFree=26216592/32873648 swapFree=6864/6864
[pid=31653] ppid=31651 vsize=176500 CPUtime=462.15 cores=0,2,4,6
/proc/31653/stat : 31653 (Pueblo) R 31651 31653 29082 0 -1 4202496 144630707 0 0 0 30068 16147 0 0 20 0 1 0 317659209 180736000 41442 33554432000 134512640 134579096 4288671312 4288670272 134532446 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/31653/statm: 44125 41457 226 17 0 43431 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 176500
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31659
/proc/meminfo: memFree=26152244/32873648 swapFree=6864/6864
[pid=31653] ppid=31651 vsize=239092 CPUtime=522.15 cores=0,2,4,6
/proc/31653/stat : 31653 (Pueblo) R 31651 31653 29082 0 -1 4202496 157938534 0 0 0 34592 17623 0 0 20 0 1 0 317659209 244830208 57218 33554432000 134512640 134579096 4288671312 4288670264 134563198 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/31653/statm: 59773 57218 228 17 0 59079 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 239092
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31659
/proc/meminfo: memFree=26077264/32873648 swapFree=6864/6864
[pid=31653] ppid=31651 vsize=368116 CPUtime=582.13 cores=0,2,4,6
/proc/31653/stat : 31653 (Pueblo) R 31651 31653 29082 0 -1 4202496 157941401 0 0 0 40479 17734 0 0 20 0 1 0 317659209 376950784 74904 33554432000 134512640 134579096 4288671312 4288670112 134528560 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/31653/statm: 92029 74904 228 17 0 91335 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 368116
[startup+642.3 s]
################
# More data... #
################
[pid=31653] ppid=31651 vsize=1290136 CPUtime=1002.01 cores=0,2,4,6
/proc/31653/stat : 31653 (Pueblo) R 31651 31653 29082 0 -1 4202496 158171550 0 0 0 82378 17823 0 0 20 0 1 0 317659209 1321099264 305239 33554432000 134512640 134579096 4288671312 4288670112 134528544 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/31653/statm: 322534 305239 228 17 0 321840 0
Current children cumulated CPU time (s) 1002.01
Current children cumulated vsize (KiB) 1290136
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31687
/proc/meminfo: memFree=24850012/32873648 swapFree=6864/6864
[pid=31653] ppid=31651 vsize=1598084 CPUtime=1061.99 cores=0,2,4,6
/proc/31653/stat : 31653 (Pueblo) R 31651 31653 29082 0 -1 4202496 158248556 0 0 0 88357 17842 0 0 20 0 1 0 317659209 1636438016 382268 33554432000 134512640 134579096 4288671312 4288670112 134528580 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/31653/statm: 399521 382268 228 17 0 398827 0
Current children cumulated CPU time (s) 1061.99
Current children cumulated vsize (KiB) 1598084
[startup+1122.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 31687
/proc/meminfo: memFree=24566452/32873648 swapFree=6864/6864
[pid=31653] ppid=31651 vsize=1878892 CPUtime=1121.96 cores=0,2,4,6
/proc/31653/stat : 31653 (Pueblo) R 31651 31653 29082 0 -1 4202496 158318801 0 0 0 94336 17860 0 0 20 0 1 0 317659209 1923985408 452520 33554432000 134512640 134579096 4288671312 4288670112 134528700 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/31653/statm: 469723 452520 228 17 0 469029 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 1878892
[startup+1182.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 31687
/proc/meminfo: memFree=24279296/32873648 swapFree=6864/6864
[pid=31653] ppid=31651 vsize=2168080 CPUtime=1181.94 cores=0,2,4,6
/proc/31653/stat : 31653 (Pueblo) R 31651 31653 29082 0 -1 4202496 158390806 0 0 0 100317 17877 0 0 20 0 1 0 317659209 2220113920 524522 33554432000 134512640 134579096 4288671312 4288670112 134528560 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/31653/statm: 542020 524522 228 17 0 541326 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 2168080
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31687
/proc/meminfo: memFree=23950852/32873648 swapFree=6864/6864
[pid=31653] ppid=31651 vsize=2492824 CPUtime=1241.91 cores=0,2,4,6
/proc/31653/stat : 31653 (Pueblo) R 31651 31653 29082 0 -1 4202496 158471955 0 0 0 106292 17899 0 0 20 0 1 0 317659209 2552651776 605660 33554432000 134512640 134579096 4288671312 4288670284 8758320 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/31653/statm: 623206 605660 228 17 0 622512 0
Current children cumulated CPU time (s) 1241.91
Current children cumulated vsize (KiB) 2492824
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 31691
/proc/meminfo: memFree=23667424/32873648 swapFree=6864/6864
[pid=31653] ppid=31651 vsize=2774268 CPUtime=1301.89 cores=0,2,4,6
/proc/31653/stat : 31653 (Pueblo) R 31651 31653 29082 0 -1 4202496 158542395 0 0 0 112271 17918 0 0 20 0 1 0 317659209 2840850432 676108 33554432000 134512640 134579096 4288671312 4288670112 134528560 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/31653/statm: 693567 676108 228 17 0 692873 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 2774268
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31691
/proc/meminfo: memFree=23350144/32873648 swapFree=6864/6864
[pid=31653] ppid=31651 vsize=3096440 CPUtime=1361.87 cores=0,2,4,6
/proc/31653/stat : 31653 (Pueblo) R 31651 31653 29082 0 -1 4202496 158622968 0 0 0 118249 17938 0 0 20 0 1 0 317659209 3170754560 756672 33554432000 134512640 134579096 4288671312 4288669880 11220263 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/31653/statm: 774110 756672 228 17 0 773416 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 3096440
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31691
/proc/meminfo: memFree=23039304/32873648 swapFree=6864/6864
[pid=31653] ppid=31651 vsize=3402532 CPUtime=1421.86 cores=0,2,4,6
/proc/31653/stat : 31653 (Pueblo) R 31651 31653 29082 0 -1 4202496 158698733 0 0 0 124226 17960 0 0 20 0 1 0 317659209 3484192768 832432 33554432000 134512640 134579096 4288671312 4288670112 134528560 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/31653/statm: 850633 832432 228 17 0 849939 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 3402532
[startup+1482.3 s]
/proc/loadavg: 2.03 2.00 2.00 3/177 31740
/proc/meminfo: memFree=22880124/32873648 swapFree=6864/6864
[pid=31653] ppid=31651 vsize=3641192 CPUtime=1481.83 cores=0,2,4,6
/proc/31653/stat : 31653 (Pueblo) R 31651 31653 29082 0 -1 4202496 158758180 0 0 0 130207 17976 0 0 20 0 1 0 317659209 3728580608 891877 33554432000 134512640 134579096 4288671312 4288670284 8758320 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/31653/statm: 910298 891877 228 17 0 909604 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 3641192
[startup+1542.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 31740
/proc/meminfo: memFree=22578564/32873648 swapFree=6864/6864
[pid=31653] ppid=31651 vsize=3913636 CPUtime=1541.81 cores=0,2,4,6
/proc/31653/stat : 31653 (Pueblo) R 31651 31653 29082 0 -1 4202496 158826213 0 0 0 136185 17996 0 0 20 0 1 0 317659209 4007563264 959922 33554432000 134512640 134579096 4288671312 4288670284 8758320 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/31653/statm: 978409 959922 228 17 0 977715 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 3913636
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/177 31741
/proc/meminfo: memFree=18520820/32873648 swapFree=6864/6864
[pid=31653] ppid=31651 vsize=4186020 CPUtime=1596.21 cores=0,2,4,6
/proc/31653/stat : 31653 (Pueblo) S 31651 31653 29082 0 -1 4204032 158894530 0 0 0 141450 18171 0 0 20 0 1 0 317659209 4286484480 1028242 33554432000 134512640 134579096 4288671312 4288669744 8758320 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/31653/statm: 1046505 1028242 234 17 0 1045811 0
Current children cumulated CPU time (s) 1596.21
Current children cumulated vsize (KiB) 4186020
[startup+1662.3 s]
/proc/loadavg: 3.90 2.54 2.18 2/178 31742
/proc/meminfo: memFree=13622512/32873648 swapFree=6864/6864
[pid=31653] ppid=31651 vsize=4186020 CPUtime=1597.34 cores=0,2,4,6
/proc/31653/stat : 31653 (Pueblo) S 31651 31653 29082 0 -1 4204032 158894530 0 0 0 141450 18284 0 0 20 0 1 0 317659209 4286484480 1028256 33554432000 134512640 134579096 4288671312 4288669744 8758320 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/31653/statm: 1046505 1028256 234 17 0 1045811 0
Current children cumulated CPU time (s) 1597.34
Current children cumulated vsize (KiB) 4186020
[startup+1722.3 s]
/proc/loadavg: 4.59 2.99 2.36 2/178 31742
/proc/meminfo: memFree=13603440/32873648 swapFree=6864/6864
[pid=31653] ppid=31651 vsize=4186020 CPUtime=1597.34 cores=0,2,4,6
/proc/31653/stat : 31653 (Pueblo) S 31651 31653 29082 0 -1 4204032 158894530 0 0 0 141450 18284 0 0 20 0 1 0 317659209 4286484480 1028256 33554432000 134512640 134579096 4288671312 4288669744 8758320 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/31653/statm: 1046505 1028256 234 17 0 1045811 0
Current children cumulated CPU time (s) 1597.34
Current children cumulated vsize (KiB) 4186020
Solver just ended. Dumping a history of the last processes samples
[startup+1722.51 s]
/proc/loadavg: 4.59 2.99 2.36 2/178 31742
/proc/meminfo: memFree=13603192/32873648 swapFree=6864/6864
[pid=31653] ppid=31651 vsize=4186020 CPUtime=1597.34 cores=0,2,4,6
/proc/31653/stat : 31653 (Pueblo) S 31651 31653 29082 0 -1 4204032 158894530 0 0 0 141450 18284 0 0 20 0 1 0 317659209 4286484480 1028256 33554432000 134512640 134579096 4288671312 4288669744 8758320 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/31653/statm: 1046505 1028256 234 17 0 1045811 0
Current children cumulated CPU time (s) 1597.34
Current children cumulated vsize (KiB) 4186020
[startup+1728.9 s]
/proc/loadavg: 4.62 3.02 2.37 2/178 31742
/proc/meminfo: memFree=13603300/32873648 swapFree=6864/6864
[pid=31653] ppid=31651 vsize=4186020 CPUtime=1597.34 cores=0,2,4,6
/proc/31653/stat : 31653 (Pueblo) S 31651 31653 29082 0 -1 4204032 158894530 0 0 0 141450 18284 0 0 20 0 1 0 317659209 4286484480 1028256 33554432000 134512640 134579096 4288671312 4288669744 8758320 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/31653/statm: 1046505 1028256 234 17 0 1045811 0
Current children cumulated CPU time (s) 1597.34
Current children cumulated vsize (KiB) 4186020
[startup+1732.1 s]
/proc/loadavg: 4.65 3.05 2.39 2/178 31742
/proc/meminfo: memFree=13602804/32873648 swapFree=6864/6864
[pid=31653] ppid=31651 vsize=4186020 CPUtime=1597.34 cores=0,2,4,6
/proc/31653/stat : 31653 (Pueblo) S 31651 31653 29082 0 -1 4204032 158894530 0 0 0 141450 18284 0 0 20 0 1 0 317659209 4286484480 1028256 33554432000 134512640 134579096 4288671312 4288669744 8758320 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/31653/statm: 1046505 1028256 234 17 0 1045811 0
Current children cumulated CPU time (s) 1597.34
Current children cumulated vsize (KiB) 4186020
[startup+1733.7 s]
/proc/loadavg: 4.65 3.05 2.39 2/178 31742
/proc/meminfo: memFree=13604540/32873648 swapFree=6864/6864
[pid=31653] ppid=31651 vsize=4186020 CPUtime=1597.34 cores=0,2,4,6
/proc/31653/stat : 31653 (Pueblo) S 31651 31653 29082 0 -1 4204032 158894530 0 0 0 141450 18284 0 0 20 0 1 0 317659209 4286484480 1028256 33554432000 134512640 134579096 4288671312 4288669744 8758320 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/31653/statm: 1046505 1028256 234 17 0 1045811 0
Current children cumulated CPU time (s) 1597.34
Current children cumulated vsize (KiB) 4186020
[startup+1734.1 s]
/proc/loadavg: 4.65 3.05 2.39 2/178 31742
/proc/meminfo: memFree=13604540/32873648 swapFree=6864/6864
[pid=31653] ppid=31651 vsize=4186020 CPUtime=1597.34 cores=0,2,4,6
/proc/31653/stat : 31653 (Pueblo) S 31651 31653 29082 0 -1 4204032 158894530 0 0 0 141450 18284 0 0 20 0 1 0 317659209 4286484480 1028256 33554432000 134512640 134579096 4288671312 4288669744 8758320 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/31653/statm: 1046505 1028256 234 17 0 1045811 0
Current children cumulated CPU time (s) 1597.34
Current children cumulated vsize (KiB) 4186020
[startup+1734.3 s]
/proc/loadavg: 4.65 3.05 2.39 2/178 31742
/proc/meminfo: memFree=13604540/32873648 swapFree=6864/6864
[pid=31653] ppid=31651 vsize=0 CPUtime=1597.44 cores=0,2,4,6
/proc/31653/stat : 31653 (Pueblo) R 31651 31653 29082 0 -1 4204036 158894530 0 0 0 141450 18294 0 0 20 0 1 0 317659209 0 0 33554432000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31653/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1597.44
Current children cumulated vsize (KiB) 0
Child ended because it received signal 6 (SIGABRT)
Child dumped core
Real time (s): 1734.33
CPU time (s): 1597.48
CPU user time (s): 1414.51
CPU system time (s): 182.972
CPU usage (%): 92.1096
Max. virtual memory (cumulated for all children) (KiB): 4186020
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1414.51
system time used= 182.972
maximum resident set size= 4113024
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 158894530
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= 1022157
involuntary context switches= 1735
runsolver used 2.6076 second user time and 6.86596 second system time
The end