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-3720796-1338513815/watcher-3720796-1338513815 -o /tmp/evaluation-result-3720796-1338513815/solver-3720796-1338513815 -C 1800 -W 1900 -M 15500 Pueblo HOME/instance-3720796-1338513815.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.94 1.99 2.00 3/177 14208
/proc/meminfo: memFree=32080120/32873844 swapFree=7116/7116
[pid=14208] ppid=14206 vsize=3100 CPUtime=0 cores=0,2,4,6
/proc/14208/stat : 14208 (Pueblo) R 14206 14208 11831 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 317510107 3174400 262 33554432000 134512640 134579096 4287157264 4287024612 2454287 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/14208/statm: 775 262 221 17 0 81 0
[startup+0.0794021 s]
/proc/loadavg: 1.94 1.99 2.00 3/177 14208
/proc/meminfo: memFree=32080120/32873844 swapFree=7116/7116
[pid=14208] ppid=14206 vsize=5632 CPUtime=0.07 cores=0,2,4,6
/proc/14208/stat : 14208 (Pueblo) R 14206 14208 11831 0 -1 4202496 910 0 0 0 7 0 0 0 20 0 1 0 317510107 5767168 847 33554432000 134512640 134579096 4287157264 4287156240 134532044 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/14208/statm: 1408 847 227 17 0 714 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 5632
[startup+0.10022 s]
/proc/loadavg: 1.94 1.99 2.00 3/177 14208
/proc/meminfo: memFree=32080120/32873844 swapFree=7116/7116
[pid=14208] ppid=14206 vsize=5632 CPUtime=0.09 cores=0,2,4,6
/proc/14208/stat : 14208 (Pueblo) R 14206 14208 11831 0 -1 4202496 910 0 0 0 9 0 0 0 20 0 1 0 317510107 5767168 847 33554432000 134512640 134579096 4287157264 4287156224 134532448 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/14208/statm: 1408 847 227 17 0 714 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5632
[startup+0.300179 s]
/proc/loadavg: 1.94 1.99 2.00 3/177 14208
/proc/meminfo: memFree=32080120/32873844 swapFree=7116/7116
[pid=14208] ppid=14206 vsize=6560 CPUtime=0.29 cores=0,2,4,6
/proc/14208/stat : 14208 (Pueblo) R 14206 14208 11831 0 -1 4202496 1169 0 0 0 29 0 0 0 20 0 1 0 317510107 6717440 1106 33554432000 134512640 134579096 4287157264 4287155920 134522724 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/14208/statm: 1640 1106 229 17 0 946 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6560
[startup+0.700179 s]
/proc/loadavg: 1.94 1.99 2.00 3/177 14208
/proc/meminfo: memFree=32080120/32873844 swapFree=7116/7116
[pid=14208] ppid=14206 vsize=6696 CPUtime=0.69 cores=0,2,4,6
/proc/14208/stat : 14208 (Pueblo) R 14206 14208 11831 0 -1 4202496 1187 0 0 0 69 0 0 0 20 0 1 0 317510107 6856704 1124 33554432000 134512640 134579096 4287157264 4287156096 134517933 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/14208/statm: 1674 1124 229 17 0 980 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6696
[startup+1.50017 s]
/proc/loadavg: 1.94 1.99 2.00 3/178 14209
/proc/meminfo: memFree=32076152/32873844 swapFree=7116/7116
[pid=14208] ppid=14206 vsize=7696 CPUtime=1.49 cores=0,2,4,6
/proc/14208/stat : 14208 (Pueblo) R 14206 14208 11831 0 -1 4202496 1441 0 0 0 149 0 0 0 20 0 1 0 317510107 7880704 1378 33554432000 134512640 134579096 4287157264 4287156128 134519973 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/14208/statm: 1924 1378 229 17 0 1230 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7696
[startup+3.10017 s]
/proc/loadavg: 1.94 1.99 2.00 3/178 14209
/proc/meminfo: memFree=32074292/32873844 swapFree=7116/7116
[pid=14208] ppid=14206 vsize=10284 CPUtime=3.09 cores=0,2,4,6
/proc/14208/stat : 14208 (Pueblo) R 14206 14208 11831 0 -1 4202496 2080 0 0 0 309 0 0 0 20 0 1 0 317510107 10530816 2017 33554432000 134512640 134579096 4287157264 4287156112 134528004 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/14208/statm: 2571 2017 229 17 0 1877 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10284
[startup+6.30018 s]
/proc/loadavg: 1.94 1.99 2.00 3/178 14209
/proc/meminfo: memFree=32070572/32873844 swapFree=7116/7116
[pid=14208] ppid=14206 vsize=12956 CPUtime=6.29 cores=0,2,4,6
/proc/14208/stat : 14208 (Pueblo) R 14206 14208 11831 0 -1 4202496 2780 0 0 0 629 0 0 0 20 0 1 0 317510107 13266944 2699 33554432000 134512640 134579096 4287157264 4287156256 134554668 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/14208/statm: 3239 2699 229 17 0 2545 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 12956
[startup+12.7002 s]
/proc/loadavg: 1.95 1.99 2.00 3/175 14241
/proc/meminfo: memFree=32095120/32873844 swapFree=7116/7116
[pid=14208] ppid=14206 vsize=19680 CPUtime=12.69 cores=0,2,4,6
/proc/14208/stat : 14208 (Pueblo) R 14206 14208 11831 0 -1 4202496 4451 0 0 0 1268 1 0 0 20 0 1 0 317510107 20152320 4353 33554432000 134512640 134579096 4287157264 4287155920 134522754 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/14208/statm: 4920 4354 229 17 0 4226 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 19680
[startup+25.5002 s]
/proc/loadavg: 1.96 1.99 2.00 3/178 14258
/proc/meminfo: memFree=32071808/32873844 swapFree=7116/7116
[pid=14208] ppid=14206 vsize=22588 CPUtime=25.48 cores=0,2,4,6
/proc/14208/stat : 14208 (Pueblo) R 14206 14208 11831 0 -1 4202496 5214 0 0 0 2547 1 0 0 20 0 1 0 317510107 23130112 5121 33554432000 134512640 134579096 4287157264 4287156128 134520044 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/14208/statm: 5647 5121 229 17 0 4953 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 22588
[startup+51.1002 s]
/proc/loadavg: 1.97 1.99 2.00 3/178 14258
/proc/meminfo: memFree=32051940/32873844 swapFree=7116/7116
[pid=14208] ppid=14206 vsize=37056 CPUtime=51.06 cores=0,2,4,6
/proc/14208/stat : 14208 (Pueblo) R 14206 14208 11831 0 -1 4202496 9281 0 0 0 5105 1 0 0 20 0 1 0 317510107 37945344 8726 33554432000 134512640 134579096 4287157264 4287155920 134522754 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/14208/statm: 9264 8726 229 17 0 8570 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 37056
[startup+102.306 s]
/proc/loadavg: 2.07 2.01 2.01 3/178 14258
/proc/meminfo: memFree=32024208/32873844 swapFree=7116/7116
[pid=14208] ppid=14206 vsize=41552 CPUtime=102.25 cores=0,2,4,6
/proc/14208/stat : 14208 (Pueblo) R 14206 14208 11831 0 -1 4202496 10546 0 0 0 10224 1 0 0 20 0 1 0 317510107 42549248 9869 33554432000 134512640 134579096 4287157264 4287156096 134517903 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14208/statm: 10388 9869 229 17 0 9694 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 41552
[startup+162.3 s]
/proc/loadavg: 2.02 2.00 2.00 3/178 14258
/proc/meminfo: memFree=31999688/32873844 swapFree=7116/7116
[pid=14208] ppid=14206 vsize=50144 CPUtime=162.23 cores=0,2,4,6
/proc/14208/stat : 14208 (Pueblo) R 14206 14208 11831 0 -1 4202496 13144 0 0 0 16221 2 0 0 20 0 1 0 317510107 51347456 12017 33554432000 134512640 134579096 4287157264 4287156128 134520196 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14208/statm: 12536 12017 229 17 0 11842 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 50144
[startup+222.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 14258
/proc/meminfo: memFree=31981560/32873844 swapFree=7116/7116
[pid=14208] ppid=14206 vsize=59020 CPUtime=222.22 cores=0,2,4,6
/proc/14208/stat : 14208 (Pueblo) R 14206 14208 11831 0 -1 4202496 15672 0 0 0 22220 2 0 0 20 0 1 0 317510107 60436480 14236 33554432000 134512640 134579096 4287157264 4287155920 134522754 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14208/statm: 14755 14236 229 17 0 14061 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 59020
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14259
/proc/meminfo: memFree=31981676/32873844 swapFree=7116/7116
[pid=14208] ppid=14206 vsize=59000 CPUtime=282.21 cores=0,2,4,6
/proc/14208/stat : 14208 (Pueblo) R 14206 14208 11831 0 -1 4202496 15676 0 0 0 28219 2 0 0 20 0 1 0 317510107 60416000 14231 33554432000 134512640 134579096 4287157264 4287156128 134520067 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14208/statm: 14750 14231 229 17 0 14056 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 59000
[startup+344.648 s]
/proc/loadavg: 2.23 2.05 2.02 3/183 14398
/proc/meminfo: memFree=31953800/32873844 swapFree=7116/7116
[pid=14208] ppid=14206 vsize=58988 CPUtime=344.54 cores=0,2,4,6
/proc/14208/stat : 14208 (Pueblo) R 14206 14208 11831 0 -1 4202496 15676 0 0 0 34452 2 0 0 20 0 1 0 317510107 60403712 14228 33554432000 134512640 134579096 4287157264 4287156096 134517901 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14208/statm: 14747 14228 229 17 0 14053 0
Current children cumulated CPU time (s) 344.54
Current children cumulated vsize (KiB) 58988
[startup+402.314 s]
/proc/loadavg: 2.82 2.25 2.08 3/183 14430
/proc/meminfo: memFree=31899508/32873844 swapFree=7116/7116
[pid=14208] ppid=14206 vsize=71820 CPUtime=402.2 cores=0,2,4,6
/proc/14208/stat : 14208 (Pueblo) R 14206 14208 11831 0 -1 4202496 18994 0 0 0 40216 4 0 0 20 0 1 0 317510107 73543680 17436 33554432000 134512640 134579096 4287157264 4287155920 134524544 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14208/statm: 17955 17436 229 17 0 17261 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 71820
[startup+482.65 s]
/proc/loadavg: 3.00 2.35 2.12 4/183 14430
/proc/meminfo: memFree=31887036/32873844 swapFree=7116/7116
[pid=14208] ppid=14206 vsize=74036 CPUtime=482.53 cores=0,2,4,6
/proc/14208/stat : 14208 (Pueblo) R 14206 14208 11831 0 -1 4202496 19600 0 0 0 48249 4 0 0 20 0 1 0 317510107 75812864 17990 33554432000 134512640 134579096 4287157264 4287155920 134524561 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14208/statm: 18509 17990 229 17 0 17815 0
Current children cumulated CPU time (s) 482.53
Current children cumulated vsize (KiB) 74036
[startup+547.154 s]
/proc/loadavg: 2.24 2.26 2.11 3/177 14463
/proc/meminfo: memFree=31861272/32873844 swapFree=7116/7116
[pid=14208] ppid=14206 vsize=72980 CPUtime=547.02 cores=0,2,4,6
/proc/14208/stat : 14208 (Pueblo) R 14206 14208 11831 0 -1 4202496 19600 0 0 0 54698 4 0 0 20 0 1 0 317510107 74731520 17726 33554432000 134512640 134579096 4287157264 4287156080 134519088 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14208/statm: 18245 17726 229 17 0 17551 0
Current children cumulated CPU time (s) 547.02
Current children cumulated vsize (KiB) 72980
[startup+588.028 s]
/proc/loadavg: 2.24 2.26 2.11 3/177 14463
/proc/meminfo: memFree=31861272/32873844 swapFree=7116/7116
[pid=14208] ppid=14206 vsize=71748 CPUtime=587.89 cores=0,2,4,6
/proc/14208/stat : 14208 (Pueblo) R 14206 14208 11831 0 -1 4202496 19600 0 0 0 58785 4 0 0 20 0 1 0 317510107 73469952 17418 33554432000 134512640 134579096 4287157264 4287156128 134520044 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14208/statm: 17937 17418 229 17 0 17243 0
Current children cumulated CPU time (s) 587.89
Current children cumulated vsize (KiB) 71748
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 2.08 2.07 3/177 14464
/proc/meminfo: memFree=31837480/32873844 swapFree=7116/7116
[pid=14208] ppid=14206 vsize=77452 CPUtime=822.12 cores=0,2,4,6
/proc/14208/stat : 14208 (Pueblo) R 14206 14208 11831 0 -1 4202496 21500 0 0 0 82208 4 0 0 20 0 1 0 317510107 79310848 18844 33554432000 134512640 134579096 4287157264 4287155920 134522688 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14208/statm: 19363 18844 229 17 0 18669 0
Current children cumulated CPU time (s) 822.12
Current children cumulated vsize (KiB) 77452
[startup+882.3 s]
/proc/loadavg: 2.00 2.07 2.06 3/177 14465
/proc/meminfo: memFree=31837604/32873844 swapFree=7116/7116
[pid=14208] ppid=14206 vsize=77452 CPUtime=882.11 cores=0,2,4,6
/proc/14208/stat : 14208 (Pueblo) R 14206 14208 11831 0 -1 4202496 21500 0 0 0 88207 4 0 0 20 0 1 0 317510107 79310848 18844 33554432000 134512640 134579096 4287157264 4287156096 134517885 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14208/statm: 19363 18844 229 17 0 18669 0
Current children cumulated CPU time (s) 882.11
Current children cumulated vsize (KiB) 77452
[startup+942.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/177 14465
/proc/meminfo: memFree=31837604/32873844 swapFree=7116/7116
[pid=14208] ppid=14206 vsize=77452 CPUtime=942.1 cores=0,2,4,6
/proc/14208/stat : 14208 (Pueblo) R 14206 14208 11831 0 -1 4202496 21500 0 0 0 94206 4 0 0 20 0 1 0 317510107 79310848 18844 33554432000 134512640 134579096 4287157264 4287156096 134517896 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14208/statm: 19363 18844 229 17 0 18669 0
Current children cumulated CPU time (s) 942.1
Current children cumulated vsize (KiB) 77452
[startup+1002.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/178 14468
/proc/meminfo: memFree=31837472/32873844 swapFree=7116/7116
[pid=14208] ppid=14206 vsize=77452 CPUtime=1002.09 cores=0,2,4,6
/proc/14208/stat : 14208 (Pueblo) R 14206 14208 11831 0 -1 4202496 21500 0 0 0 100205 4 0 0 20 0 1 0 317510107 79310848 18844 33554432000 134512640 134579096 4287157264 4287156084 134556414 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14208/statm: 19363 18844 229 17 0 18669 0
Current children cumulated CPU time (s) 1002.09
Current children cumulated vsize (KiB) 77452
[startup+1062.3 s]
/proc/loadavg: 2.00 2.03 2.04 3/177 14468
/proc/meminfo: memFree=31830288/32873844 swapFree=7116/7116
[pid=14208] ppid=14206 vsize=84720 CPUtime=1062.09 cores=0,2,4,6
/proc/14208/stat : 14208 (Pueblo) R 14206 14208 11831 0 -1 4202496 23445 0 0 0 106204 5 0 0 20 0 1 0 317510107 86753280 20661 33554432000 134512640 134579096 4287157264 4287155920 134522688 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14208/statm: 21180 20661 229 17 0 20486 0
Current children cumulated CPU time (s) 1062.09
Current children cumulated vsize (KiB) 84720
[startup+1122.3 s]
/proc/loadavg: 2.00 2.02 2.04 3/177 14468
/proc/meminfo: memFree=31823644/32873844 swapFree=7116/7116
[pid=14208] ppid=14206 vsize=91756 CPUtime=1122.08 cores=0,2,4,6
/proc/14208/stat : 14208 (Pueblo) R 14206 14208 11831 0 -1 4202496 26123 0 0 0 112202 6 0 0 20 0 1 0 317510107 93958144 22420 33554432000 134512640 134579096 4287157264 4287156096 134517922 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14208/statm: 22939 22420 229 17 0 22245 0
Current children cumulated CPU time (s) 1122.08
Current children cumulated vsize (KiB) 91756
[startup+1182.31 s]
/proc/loadavg: 2.00 2.02 2.03 3/177 14469
/proc/meminfo: memFree=31823520/32873844 swapFree=7116/7116
[pid=14208] ppid=14206 vsize=91736 CPUtime=1182.07 cores=0,2,4,6
/proc/14208/stat : 14208 (Pueblo) R 14206 14208 11831 0 -1 4202496 26123 0 0 0 118201 6 0 0 20 0 1 0 317510107 93937664 22415 33554432000 134512640 134579096 4287157264 4287156096 134517908 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14208/statm: 22934 22415 229 17 0 22240 0
Current children cumulated CPU time (s) 1182.07
Current children cumulated vsize (KiB) 91736
[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/177 14469
/proc/meminfo: memFree=31819608/32873844 swapFree=7116/7116
[pid=14208] ppid=14206 vsize=95600 CPUtime=1242.05 cores=0,2,4,6
/proc/14208/stat : 14208 (Pueblo) R 14206 14208 11831 0 -1 4202496 27170 0 0 0 124199 6 0 0 20 0 1 0 317510107 97894400 23378 33554432000 134512640 134579096 4287157264 4287156084 134556411 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14208/statm: 23900 23378 229 17 0 23206 0
Current children cumulated CPU time (s) 1242.05
Current children cumulated vsize (KiB) 95600
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/177 14469
/proc/meminfo: memFree=31819608/32873844 swapFree=7116/7116
[pid=14208] ppid=14206 vsize=95552 CPUtime=1302.04 cores=0,2,4,6
/proc/14208/stat : 14208 (Pueblo) R 14206 14208 11831 0 -1 4202496 27170 0 0 0 130198 6 0 0 20 0 1 0 317510107 97845248 23369 33554432000 134512640 134579096 4287157264 4287156128 134520078 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14208/statm: 23888 23369 229 17 0 23194 0
Current children cumulated CPU time (s) 1302.04
Current children cumulated vsize (KiB) 95552
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/178 14470
/proc/meminfo: memFree=31817112/32873844 swapFree=7116/7116
[pid=14208] ppid=14206 vsize=95172 CPUtime=1362.03 cores=0,2,4,6
/proc/14208/stat : 14208 (Pueblo) R 14206 14208 11831 0 -1 4202496 27170 0 0 0 136197 6 0 0 20 0 1 0 317510107 97456128 23274 33554432000 134512640 134579096 4287157264 4287156096 134517903 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14208/statm: 23793 23274 229 17 0 23099 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 95172
[startup+1422.3 s]
/proc/loadavg: 2.04 2.01 2.02 3/177 14470
/proc/meminfo: memFree=31811608/32873844 swapFree=7116/7116
[pid=14208] ppid=14206 vsize=97808 CPUtime=1422.03 cores=0,2,4,6
/proc/14208/stat : 14208 (Pueblo) R 14206 14208 11831 0 -1 4202496 27874 0 0 0 142196 7 0 0 20 0 1 0 317510107 100155392 23932 33554432000 134512640 134579096 4287157264 4287156096 134517919 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14208/statm: 24452 23932 229 17 0 23758 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 97808
[startup+1482.3 s]
/proc/loadavg: 2.01 2.01 2.01 3/176 14470
/proc/meminfo: memFree=31789220/32873844 swapFree=7116/7116
[pid=14208] ppid=14206 vsize=113096 CPUtime=1482.02 cores=0,2,4,6
/proc/14208/stat : 14208 (Pueblo) R 14206 14208 11831 0 -1 4202496 32123 0 0 0 148195 7 0 0 20 0 1 0 317510107 115810304 27752 33554432000 134512640 134579096 4287157264 4287156096 134517903 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14208/statm: 28274 27752 229 17 0 27580 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 113096
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14471
/proc/meminfo: memFree=31784056/32873844 swapFree=7116/7116
[pid=14208] ppid=14206 vsize=113056 CPUtime=1542 cores=0,2,4,6
/proc/14208/stat : 14208 (Pueblo) R 14206 14208 11831 0 -1 4202496 32126 0 0 0 154193 7 0 0 20 0 1 0 317510107 115769344 27745 33554432000 134512640 134579096 4287157264 4287156080 134556607 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14208/statm: 28264 27745 229 17 0 27570 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 113056
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14474
/proc/meminfo: memFree=31778096/32873844 swapFree=7116/7116
[pid=14208] ppid=14206 vsize=113052 CPUtime=1601.99 cores=0,2,4,6
/proc/14208/stat : 14208 (Pueblo) R 14206 14208 11831 0 -1 4202496 32126 0 0 0 160192 7 0 0 20 0 1 0 317510107 115765248 27744 33554432000 134512640 134579096 4287157264 4287156084 134556323 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14208/statm: 28263 27744 229 17 0 27569 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 113052
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14474
/proc/meminfo: memFree=31778520/32873844 swapFree=7116/7116
[pid=14208] ppid=14206 vsize=113052 CPUtime=1661.99 cores=0,2,4,6
/proc/14208/stat : 14208 (Pueblo) R 14206 14208 11831 0 -1 4202496 32126 0 0 0 166192 7 0 0 20 0 1 0 317510107 115765248 27744 33554432000 134512640 134579096 4287157264 4287156096 134517933 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14208/statm: 28263 27744 229 17 0 27569 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 113052
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14474
/proc/meminfo: memFree=31778520/32873844 swapFree=7116/7116
[pid=14208] ppid=14206 vsize=113052 CPUtime=1721.98 cores=0,2,4,6
/proc/14208/stat : 14208 (Pueblo) R 14206 14208 11831 0 -1 4202496 32126 0 0 0 172191 7 0 0 20 0 1 0 317510107 115765248 27744 33554432000 134512640 134579096 4287157264 4287156080 134519088 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14208/statm: 28263 27744 229 17 0 27569 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 113052
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14474
/proc/meminfo: memFree=31776412/32873844 swapFree=7116/7116
[pid=14208] ppid=14206 vsize=115252 CPUtime=1781.97 cores=0,2,4,6
/proc/14208/stat : 14208 (Pueblo) R 14206 14208 11831 0 -1 4202496 32816 0 0 0 178190 7 0 0 20 0 1 0 317510107 118018048 28293 33554432000 134512640 134579096 4287157264 4287156144 134557288 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14208/statm: 28813 28293 229 17 0 28119 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 115252
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14475
/proc/meminfo: memFree=31776908/32873844 swapFree=7116/7116
[pid=14208] ppid=14206 vsize=114712 CPUtime=1800.07 cores=0,2,4,6
/proc/14208/stat : 14208 (Pueblo) R 14206 14208 11831 0 -1 4202496 32816 0 0 0 180000 7 0 0 20 0 1 0 317510107 117465088 28159 33554432000 134512640 134579096 4287157264 4287156096 134517901 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14208/statm: 28678 28159 229 17 0 27984 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 114712
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.41
CPU time (s): 1800.09
CPU user time (s): 1800.01
CPU system time (s): 0.079987
CPU usage (%): 99.9821
Max. virtual memory (cumulated for all children) (KiB): 115856
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.01
system time used= 0.079987
maximum resident set size= 113736
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32816
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= 47
involuntary context switches= 2039
runsolver used 2.67159 second user time and 7.34388 second system time
The end