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-3720735-1338513232/watcher-3720735-1338513232 -o /tmp/evaluation-result-3720735-1338513232/solver-3720735-1338513232 -C 1800 -W 1900 -M 15500 Pueblo HOME/instance-3720735-1338513232.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: 2.00 2.01 1.99 3/176 25356
/proc/meminfo: memFree=29253424/32873844 swapFree=7644/7644
[pid=25356] ppid=25354 vsize=3100 CPUtime=0 cores=1,3,5,7
/proc/25356/stat : 25356 (Pueblo) R 25354 25356 24344 0 -1 4202496 331 0 0 0 0 0 0 0 20 0 1 0 317447639 3174400 268 33554432000 134512640 134579096 4292538288 4292405748 13714161 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25356/statm: 775 268 219 17 0 81 0
[startup+0.066942 s]
/proc/loadavg: 2.00 2.01 1.99 3/176 25356
/proc/meminfo: memFree=29253424/32873844 swapFree=7644/7644
[pid=25356] ppid=25354 vsize=4432 CPUtime=0.06 cores=1,3,5,7
/proc/25356/stat : 25356 (Pueblo) R 25354 25356 24344 0 -1 4202496 662 0 0 0 6 0 0 0 20 0 1 0 317447639 4538368 599 33554432000 134512640 134579096 4292538288 4292405712 134546735 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25356/statm: 1108 599 219 17 0 414 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 4432
[startup+0.100216 s]
/proc/loadavg: 2.00 2.01 1.99 3/176 25356
/proc/meminfo: memFree=29253424/32873844 swapFree=7644/7644
[pid=25356] ppid=25354 vsize=5232 CPUtime=0.09 cores=1,3,5,7
/proc/25356/stat : 25356 (Pueblo) R 25354 25356 24344 0 -1 4202496 843 0 0 0 9 0 0 0 20 0 1 0 317447639 5357568 780 33554432000 134512640 134579096 4292538288 4292405628 6767664 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25356/statm: 1308 780 219 17 0 614 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5232
[startup+0.300182 s]
/proc/loadavg: 2.00 2.01 1.99 3/176 25356
/proc/meminfo: memFree=29253424/32873844 swapFree=7644/7644
[pid=25356] ppid=25354 vsize=9360 CPUtime=0.29 cores=1,3,5,7
/proc/25356/stat : 25356 (Pueblo) R 25354 25356 24344 0 -1 4202496 1885 0 0 0 29 0 0 0 20 0 1 0 317447639 9584640 1822 33554432000 134512640 134579096 4292538288 4292405564 6767664 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25356/statm: 2340 1822 219 17 0 1646 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9360
[startup+0.700183 s]
/proc/loadavg: 2.00 2.01 1.99 3/176 25356
/proc/meminfo: memFree=29253424/32873844 swapFree=7644/7644
[pid=25356] ppid=25354 vsize=17484 CPUtime=0.69 cores=1,3,5,7
/proc/25356/stat : 25356 (Pueblo) R 25354 25356 24344 0 -1 4202496 3908 0 0 0 69 0 0 0 20 0 1 0 317447639 17903616 3845 33554432000 134512640 134579096 4292538288 4292405748 13714186 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25356/statm: 4371 3845 219 17 0 3677 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17484
[startup+1.50018 s]
/proc/loadavg: 2.00 2.01 1.99 3/177 25357
/proc/meminfo: memFree=29227500/32873844 swapFree=7644/7644
[pid=25356] ppid=25354 vsize=33336 CPUtime=1.49 cores=1,3,5,7
/proc/25356/stat : 25356 (Pueblo) R 25354 25356 24344 0 -1 4202496 7895 0 0 0 148 1 0 0 20 0 1 0 317447639 34136064 7832 33554432000 134512640 134579096 4292538288 4292405564 6767664 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25356/statm: 8334 7832 219 17 0 7640 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 33336
[startup+3.10018 s]
/proc/loadavg: 2.00 2.01 1.99 3/177 25357
/proc/meminfo: memFree=29204932/32873844 swapFree=7644/7644
[pid=25356] ppid=25354 vsize=47872 CPUtime=3.08 cores=1,3,5,7
/proc/25356/stat : 25356 (Pueblo) R 25354 25356 24344 0 -1 4202496 11460 0 0 0 307 1 0 0 20 0 1 0 317447639 49020928 11397 33554432000 134512640 134579096 4292538288 4292537248 134532448 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25356/statm: 11968 11397 226 17 0 11274 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 47872
[startup+6.30018 s]
/proc/loadavg: 2.00 2.01 1.99 3/177 25357
/proc/meminfo: memFree=29194144/32873844 swapFree=7644/7644
[pid=25356] ppid=25354 vsize=51412 CPUtime=6.28 cores=1,3,5,7
/proc/25356/stat : 25356 (Pueblo) R 25354 25356 24344 0 -1 4202496 12281 0 0 0 627 1 0 0 20 0 1 0 317447639 52645888 12218 33554432000 134512640 134579096 4292538288 4292537248 134532440 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25356/statm: 12853 12219 226 17 0 12159 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 51412
[startup+12.7002 s]
/proc/loadavg: 2.00 2.01 1.99 3/177 25357
/proc/meminfo: memFree=29181584/32873844 swapFree=7644/7644
[pid=25356] ppid=25354 vsize=60628 CPUtime=12.69 cores=1,3,5,7
/proc/25356/stat : 25356 (Pueblo) R 25354 25356 24344 0 -1 4202496 14436 0 0 0 1267 2 0 0 20 0 1 0 317447639 62083072 14373 33554432000 134512640 134579096 4292538288 4292537152 134520044 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25356/statm: 15157 14373 228 17 0 14463 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 60628
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 1.99 3/176 25357
/proc/meminfo: memFree=29174896/32873844 swapFree=7644/7644
[pid=25356] ppid=25354 vsize=62868 CPUtime=25.49 cores=1,3,5,7
/proc/25356/stat : 25356 (Pueblo) R 25354 25356 24344 0 -1 4202496 14833 0 0 0 2547 2 0 0 20 0 1 0 317447639 64376832 14770 33554432000 134512640 134579096 4292538288 4292537216 134559533 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25356/statm: 15717 14770 228 17 0 15023 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 62868
[startup+51.1002 s]
/proc/loadavg: 2.00 2.01 1.99 3/176 25357
/proc/meminfo: memFree=29150688/32873844 swapFree=7644/7644
[pid=25356] ppid=25354 vsize=66740 CPUtime=51.08 cores=1,3,5,7
/proc/25356/stat : 25356 (Pueblo) R 25354 25356 24344 0 -1 4202496 15644 0 0 0 5106 2 0 0 20 0 1 0 317447639 68341760 15581 33554432000 134512640 134579096 4292538288 4292537152 134520067 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25356/statm: 16685 15581 228 17 0 15991 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 66740
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 25358
/proc/meminfo: memFree=29084584/32873844 swapFree=7644/7644
[pid=25356] ppid=25354 vsize=87480 CPUtime=102.25 cores=1,3,5,7
/proc/25356/stat : 25356 (Pueblo) R 25354 25356 24344 0 -1 4202496 20219 0 0 0 10220 5 0 0 20 0 1 0 317447639 89579520 20329 33554432000 134512640 134579096 4292538288 4292536792 12965159 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25356/statm: 21870 20329 228 17 0 21176 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 87480
[startup+162.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 25358
/proc/meminfo: memFree=29009916/32873844 swapFree=7644/7644
[pid=25356] ppid=25354 vsize=105264 CPUtime=162.22 cores=1,3,5,7
/proc/25356/stat : 25356 (Pueblo) R 25354 25356 24344 0 -1 4202496 24504 0 0 0 16215 7 0 0 20 0 1 0 317447639 107790336 24905 33554432000 134512640 134579096 4292538288 4292537120 134517715 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25356/statm: 26316 24905 228 17 0 25622 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 105264
[startup+222.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 25358
/proc/meminfo: memFree=28946084/32873844 swapFree=7644/7644
[pid=25356] ppid=25354 vsize=147120 CPUtime=222.21 cores=1,3,5,7
/proc/25356/stat : 25356 (Pueblo) R 25354 25356 24344 0 -1 4202496 34614 0 0 0 22210 11 0 0 20 0 1 0 317447639 150650880 35015 33554432000 134512640 134579096 4292538288 4292537152 134519989 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25356/statm: 36780 35015 228 17 0 36086 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 147120
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25359
/proc/meminfo: memFree=28938256/32873844 swapFree=7644/7644
[pid=25356] ppid=25354 vsize=156124 CPUtime=282.2 cores=1,3,5,7
/proc/25356/stat : 25356 (Pueblo) R 25354 25356 24344 0 -1 4202496 36438 0 0 0 28208 12 0 0 20 0 1 0 317447639 159870976 36867 33554432000 134512640 134579096 4292538288 4292537216 134559533 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25356/statm: 39031 36867 228 17 0 38337 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 156124
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25359
/proc/meminfo: memFree=28927900/32873844 swapFree=7644/7644
[pid=25356] ppid=25354 vsize=166476 CPUtime=342.17 cores=1,3,5,7
/proc/25356/stat : 25356 (Pueblo) R 25354 25356 24344 0 -1 4202496 38799 0 0 0 34203 14 0 0 20 0 1 0 317447639 170471424 39448 33554432000 134512640 134579096 4292538288 4292537216 134559533 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25356/statm: 41619 39448 228 17 0 40925 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 166476
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 25362
/proc/meminfo: memFree=28890816/32873844 swapFree=7644/7644
[pid=25356] ppid=25354 vsize=173876 CPUtime=402.15 cores=1,3,5,7
/proc/25356/stat : 25356 (Pueblo) R 25354 25356 24344 0 -1 4202496 40629 0 0 0 40200 15 0 0 20 0 1 0 317447639 178049024 41278 33554432000 134512640 134579096 4292538288 4292537216 134559533 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25356/statm: 43469 41278 228 17 0 42775 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 173876
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25362
/proc/meminfo: memFree=28866688/32873844 swapFree=7644/7644
[pid=25356] ppid=25354 vsize=185364 CPUtime=462.15 cores=1,3,5,7
/proc/25356/stat : 25356 (Pueblo) R 25354 25356 24344 0 -1 4202496 43199 0 0 0 46198 17 0 0 20 0 1 0 317447639 189812736 43848 33554432000 134512640 134579096 4292538288 4292537216 134559533 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25356/statm: 46341 43848 228 17 0 45647 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 185364
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25362
/proc/meminfo: memFree=28853644/32873844 swapFree=7644/7644
[pid=25356] ppid=25354 vsize=191088 CPUtime=522.14 cores=1,3,5,7
/proc/25356/stat : 25356 (Pueblo) R 25354 25356 24344 0 -1 4202496 44400 0 0 0 52195 19 0 0 20 0 1 0 317447639 195674112 45049 33554432000 134512640 134579096 4292538288 4292537152 134520141 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25356/statm: 47772 45049 228 17 0 47078 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 191088
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25363
/proc/meminfo: memFree=28844020/32873844 swapFree=7644/7644
[pid=25356] ppid=25354 vsize=201856 CPUtime=582.12 cores=1,3,5,7
/proc/25356/stat : 25356 (Pueblo) R 25354 25356 24344 0 -1 4202496 46853 0 0 0 58191 21 0 0 20 0 1 0 317447639 206700544 47454 33554432000 134512640 134579096 4292538288 4292537216 134559533 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25356/statm: 50464 47454 228 17 0 49770 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 201856
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25363
/proc/meminfo: memFree=28722780/32873844 swapFree=7644/7644
[pid=25356] ppid=25354 vsize=264552 CPUtime=822.08 cores=1,3,5,7
/proc/25356/stat : 25356 (Pueblo) R 25354 25356 24344 0 -1 4202496 61780 0 0 0 82178 30 0 0 20 0 1 0 317447639 270901248 62420 33554432000 134512640 134579096 4292538288 4292537152 134519923 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25356/statm: 66138 62420 228 17 0 65444 0
Current children cumulated CPU time (s) 822.08
Current children cumulated vsize (KiB) 264552
[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 25363
/proc/meminfo: memFree=28722448/32873844 swapFree=7644/7644
[pid=25356] ppid=25354 vsize=264552 CPUtime=882.06 cores=1,3,5,7
/proc/25356/stat : 25356 (Pueblo) R 25354 25356 24344 0 -1 4202496 61795 0 0 0 88176 30 0 0 20 0 1 0 317447639 270901248 62508 33554432000 134512640 134579096 4292538288 4292537216 134559533 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25356/statm: 66138 62508 228 17 0 65444 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 264552
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25364
/proc/meminfo: memFree=28670024/32873844 swapFree=7644/7644
[pid=25356] ppid=25354 vsize=318284 CPUtime=942.04 cores=1,3,5,7
/proc/25356/stat : 25356 (Pueblo) R 25354 25356 24344 0 -1 4202496 75196 0 0 0 94171 33 0 0 20 0 1 0 317447639 325922816 75995 33554432000 134512640 134579096 4292538288 4292537104 134519114 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25356/statm: 79571 75995 228 17 0 78877 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 318284
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 25367
/proc/meminfo: memFree=28586936/32873844 swapFree=7644/7644
[pid=25356] ppid=25354 vsize=398400 CPUtime=1002.04 cores=1,3,5,7
/proc/25356/stat : 25356 (Pueblo) R 25354 25356 24344 0 -1 4202496 95198 0 0 0 100166 38 0 0 20 0 1 0 317447639 407961600 95997 33554432000 134512640 134579096 4292538288 4292537120 134517903 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25356/statm: 99600 95997 228 17 0 98906 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 398400
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25367
/proc/meminfo: memFree=28510124/32873844 swapFree=7644/7644
[pid=25356] ppid=25354 vsize=475492 CPUtime=1062.03 cores=1,3,5,7
/proc/25356/stat : 25356 (Pueblo) R 25354 25356 24344 0 -1 4202496 114421 0 0 0 106159 44 0 0 20 0 1 0 317447639 486903808 115220 33554432000 134512640 134579096 4292538288 4292537136 134556682 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25356/statm: 118873 115220 228 17 0 118179 0
Current children cumulated CPU time (s) 1062.03
Current children cumulated vsize (KiB) 475492
[startup+1122.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 25367
/proc/meminfo: memFree=28430472/32873844 swapFree=7644/7644
[pid=25356] ppid=25354 vsize=553780 CPUtime=1122.02 cores=1,3,5,7
/proc/25356/stat : 25356 (Pueblo) R 25354 25356 24344 0 -1 4202496 133967 0 0 0 112153 49 0 0 20 0 1 0 317447639 567070720 134766 33554432000 134512640 134579096 4292538288 4292537120 134517885 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25356/statm: 138445 134766 228 17 0 137751 0
Current children cumulated CPU time (s) 1122.02
Current children cumulated vsize (KiB) 553780
[startup+1182.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 25367
/proc/meminfo: memFree=28375912/32873844 swapFree=7644/7644
[pid=25356] ppid=25354 vsize=607780 CPUtime=1182.01 cores=1,3,5,7
/proc/25356/stat : 25356 (Pueblo) R 25354 25356 24344 0 -1 4202496 147377 0 0 0 118148 53 0 0 20 0 1 0 317447639 622366720 148163 33554432000 134512640 134579096 4292538288 4292537196 134519884 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25356/statm: 151945 148163 228 17 0 151251 0
Current children cumulated CPU time (s) 1182.01
Current children cumulated vsize (KiB) 607780
[startup+1242.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 25368
/proc/meminfo: memFree=28355004/32873844 swapFree=7644/7644
[pid=25356] ppid=25354 vsize=627764 CPUtime=1241.99 cores=1,3,5,7
/proc/25356/stat : 25356 (Pueblo) R 25354 25356 24344 0 -1 4202496 152283 0 0 0 124142 57 0 0 20 0 1 0 317447639 642830336 153081 33554432000 134512640 134579096 4292538288 4292537152 134519929 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25356/statm: 156941 153081 228 17 0 156247 0
Current children cumulated CPU time (s) 1241.99
Current children cumulated vsize (KiB) 627764
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 25369
/proc/meminfo: memFree=28342128/32873844 swapFree=7644/7644
[pid=25356] ppid=25354 vsize=639332 CPUtime=1301.95 cores=1,3,5,7
/proc/25356/stat : 25356 (Pueblo) R 25354 25356 24344 0 -1 4202496 155143 0 0 0 130136 59 0 0 20 0 1 0 317447639 654675968 155913 33554432000 134512640 134579096 4292538288 4292537152 134519987 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25356/statm: 159833 155913 228 17 0 159139 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 639332
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25369
/proc/meminfo: memFree=28317860/32873844 swapFree=7644/7644
[pid=25356] ppid=25354 vsize=663820 CPUtime=1361.9 cores=1,3,5,7
/proc/25356/stat : 25356 (Pueblo) R 25354 25356 24344 0 -1 4202496 161351 0 0 0 136127 63 0 0 20 0 1 0 317447639 679751680 162092 33554432000 134512640 134579096 4292538288 4292537152 134520048 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25356/statm: 165955 162092 228 17 0 165261 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 663820
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25369
/proc/meminfo: memFree=28257996/32873844 swapFree=7644/7644
[pid=25356] ppid=25354 vsize=722492 CPUtime=1421.86 cores=1,3,5,7
/proc/25356/stat : 25356 (Pueblo) R 25354 25356 24344 0 -1 4202496 176081 0 0 0 142116 70 0 0 20 0 1 0 317447639 739831808 176820 33554432000 134512640 134579096 4292538288 4292537216 134559533 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25356/statm: 180623 176820 228 17 0 179929 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 722492
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25369
/proc/meminfo: memFree=28235332/32873844 swapFree=7644/7644
[pid=25356] ppid=25354 vsize=743960 CPUtime=1481.8 cores=1,3,5,7
/proc/25356/stat : 25356 (Pueblo) R 25354 25356 24344 0 -1 4202496 181529 0 0 0 148108 72 0 0 20 0 1 0 317447639 761815040 182423 33554432000 134512640 134579096 4292538288 4292537108 134556388 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25356/statm: 185990 182423 228 17 0 185296 0
Current children cumulated CPU time (s) 1481.8
Current children cumulated vsize (KiB) 743960
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25370
/proc/meminfo: memFree=28235508/32873844 swapFree=7644/7644
[pid=25356] ppid=25354 vsize=743960 CPUtime=1541.76 cores=1,3,5,7
/proc/25356/stat : 25356 (Pueblo) R 25354 25356 24344 0 -1 4202496 181563 0 0 0 154104 72 0 0 20 0 1 0 317447639 761815040 182441 33554432000 134512640 134579096 4292538288 4292537152 134520057 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25356/statm: 185990 182441 228 17 0 185296 0
Current children cumulated CPU time (s) 1541.76
Current children cumulated vsize (KiB) 743960
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 25373
/proc/meminfo: memFree=28207972/32873844 swapFree=7644/7644
[pid=25356] ppid=25354 vsize=743960 CPUtime=1601.75 cores=1,3,5,7
/proc/25356/stat : 25356 (Pueblo) R 25354 25356 24344 0 -1 4202496 181563 0 0 0 160103 72 0 0 20 0 1 0 317447639 761815040 182441 33554432000 134512640 134579096 4292538288 4292536864 12963079 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25356/statm: 185990 182441 228 17 0 185296 0
Current children cumulated CPU time (s) 1601.75
Current children cumulated vsize (KiB) 743960
[startup+1662.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 25373
/proc/meminfo: memFree=28169912/32873844 swapFree=7644/7644
[pid=25356] ppid=25354 vsize=743960 CPUtime=1661.74 cores=1,3,5,7
/proc/25356/stat : 25356 (Pueblo) R 25354 25356 24344 0 -1 4202496 181563 0 0 0 166102 72 0 0 20 0 1 0 317447639 761815040 182441 33554432000 134512640 134579096 4292538288 4292537136 134527712 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25356/statm: 185990 182441 228 17 0 185296 0
Current children cumulated CPU time (s) 1661.74
Current children cumulated vsize (KiB) 743960
[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 25373
/proc/meminfo: memFree=28104436/32873844 swapFree=7644/7644
[pid=25356] ppid=25354 vsize=743960 CPUtime=1721.73 cores=1,3,5,7
/proc/25356/stat : 25356 (Pueblo) R 25354 25356 24344 0 -1 4202496 181563 0 0 0 172101 72 0 0 20 0 1 0 317447639 761815040 182441 33554432000 134512640 134579096 4292538288 4292537120 134517908 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25356/statm: 185990 182441 228 17 0 185296 0
Current children cumulated CPU time (s) 1721.73
Current children cumulated vsize (KiB) 743960
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25373
/proc/meminfo: memFree=28086236/32873844 swapFree=7644/7644
[pid=25356] ppid=25354 vsize=743960 CPUtime=1781.73 cores=1,3,5,7
/proc/25356/stat : 25356 (Pueblo) R 25354 25356 24344 0 -1 4202496 181563 0 0 0 178101 72 0 0 20 0 1 0 317447639 761815040 182441 33554432000 134512640 134579096 4292538288 4292537216 134559533 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25356/statm: 185990 182441 228 17 0 185296 0
Current children cumulated CPU time (s) 1781.73
Current children cumulated vsize (KiB) 743960
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25422
/proc/meminfo: memFree=28542132/32873844 swapFree=7644/7644
[pid=25356] ppid=25354 vsize=743960 CPUtime=1800.04 cores=1,3,5,7
/proc/25356/stat : 25356 (Pueblo) R 25354 25356 24344 0 -1 4202496 181563 0 0 0 179932 72 0 0 20 0 1 0 317447639 761815040 182441 33554432000 134512640 134579096 4292538288 4292537108 134556361 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25356/statm: 185990 182441 228 17 0 185296 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 743960
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.62
CPU time (s): 1800.05
CPU user time (s): 1799.32
CPU system time (s): 0.730888
CPU usage (%): 99.9685
Max. virtual memory (cumulated for all children) (KiB): 743960
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.32
system time used= 0.730888
maximum resident set size= 729764
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 181563
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= 321
involuntary context switches= 1861
runsolver used 3.87341 second user time and 9.26159 second system time
The end