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-3720842-1338515033/watcher-3720842-1338515033 -o /tmp/evaluation-result-3720842-1338515033/solver-3720842-1338515033 -C 1800 -W 1900 -M 15500 Pueblo HOME/instance-3720842-1338515033.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.05 2.01 2.00 3/177 30148
/proc/meminfo: memFree=27676400/32873648 swapFree=7368/7368
[pid=30148] ppid=30146 vsize=3104 CPUtime=0 cores=1,3,5,7
/proc/30148/stat : 30148 (Pueblo) R 30146 30148 28979 0 -1 4202496 332 0 0 0 0 0 0 0 20 0 1 0 317627416 3178496 269 33554432000 134512640 134579096 4289481888 4289349236 3826417 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30148/statm: 776 269 219 17 0 82 0
[startup+0.0552529 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 30148
/proc/meminfo: memFree=27676400/32873648 swapFree=7368/7368
[pid=30148] ppid=30146 vsize=5236 CPUtime=0.04 cores=1,3,5,7
/proc/30148/stat : 30148 (Pueblo) R 30146 30148 28979 0 -1 4202496 855 0 0 0 4 0 0 0 20 0 1 0 317627416 5361664 792 33554432000 134512640 134579096 4289481888 4289349284 3826437 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30148/statm: 1309 792 219 17 0 615 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5236
[startup+0.10026 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 30148
/proc/meminfo: memFree=27676400/32873648 swapFree=7368/7368
[pid=30148] ppid=30146 vsize=6168 CPUtime=0.09 cores=1,3,5,7
/proc/30148/stat : 30148 (Pueblo) R 30146 30148 28979 0 -1 4202496 1088 0 0 0 9 0 0 0 20 0 1 0 317627416 6316032 1025 33554432000 134512640 134579096 4289481888 4289349164 1262640 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30148/statm: 1542 1025 219 17 0 848 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6168
[startup+0.300227 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 30148
/proc/meminfo: memFree=27676400/32873648 swapFree=7368/7368
[pid=30148] ppid=30146 vsize=11084 CPUtime=0.29 cores=1,3,5,7
/proc/30148/stat : 30148 (Pueblo) R 30146 30148 28979 0 -1 4202496 2017 0 0 0 29 0 0 0 20 0 1 0 317627416 11350016 1954 33554432000 134512640 134579096 4289481888 4289480864 134532045 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30148/statm: 2771 1954 226 17 0 2077 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11084
[startup+0.700225 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 30148
/proc/meminfo: memFree=27676400/32873648 swapFree=7368/7368
[pid=30148] ppid=30146 vsize=11876 CPUtime=0.69 cores=1,3,5,7
/proc/30148/stat : 30148 (Pueblo) R 30146 30148 28979 0 -1 4202496 2185 0 0 0 69 0 0 0 20 0 1 0 317627416 12161024 2122 33554432000 134512640 134579096 4289481888 4289480848 134532440 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30148/statm: 2969 2122 226 17 0 2275 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 11876
[startup+1.50023 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 30149
/proc/meminfo: memFree=27666232/32873648 swapFree=7368/7368
[pid=30148] ppid=30146 vsize=14952 CPUtime=1.49 cores=1,3,5,7
/proc/30148/stat : 30148 (Pueblo) R 30146 30148 28979 0 -1 4202496 2881 0 0 0 149 0 0 0 20 0 1 0 317627416 15310848 2818 33554432000 134512640 134579096 4289481888 4289480708 134556414 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30148/statm: 3738 2818 228 17 0 3044 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14952
[startup+3.10022 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 30149
/proc/meminfo: memFree=27665464/32873648 swapFree=7368/7368
[pid=30148] ppid=30146 vsize=15680 CPUtime=3.09 cores=1,3,5,7
/proc/30148/stat : 30148 (Pueblo) R 30146 30148 28979 0 -1 4202496 2921 0 0 0 309 0 0 0 20 0 1 0 317627416 16056320 2843 33554432000 134512640 134579096 4289481888 4289480708 134556336 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30148/statm: 3920 2843 228 17 0 3226 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15680
[startup+6.30022 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 30149
/proc/meminfo: memFree=27665228/32873648 swapFree=7368/7368
[pid=30148] ppid=30146 vsize=15012 CPUtime=6.29 cores=1,3,5,7
/proc/30148/stat : 30148 (Pueblo) R 30146 30148 28979 0 -1 4202496 2956 0 0 0 629 0 0 0 20 0 1 0 317627416 15372288 2843 33554432000 134512640 134579096 4289481888 4289480708 134556221 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30148/statm: 3753 2843 228 17 0 3059 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 15012
[startup+12.7002 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 30149
/proc/meminfo: memFree=27664724/32873648 swapFree=7368/7368
[pid=30148] ppid=30146 vsize=15644 CPUtime=12.68 cores=1,3,5,7
/proc/30148/stat : 30148 (Pueblo) R 30146 30148 28979 0 -1 4202496 3243 0 0 0 1268 0 0 0 20 0 1 0 317627416 16019456 3056 33554432000 134512640 134579096 4289481888 4289480544 134524544 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30148/statm: 3911 3056 228 17 0 3217 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 15644
[startup+25.5002 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 30149
/proc/meminfo: memFree=27659920/32873648 swapFree=7368/7368
[pid=30148] ppid=30146 vsize=20712 CPUtime=25.48 cores=1,3,5,7
/proc/30148/stat : 30148 (Pueblo) R 30146 30148 28979 0 -1 4202496 4358 0 0 0 2548 0 0 0 20 0 1 0 317627416 21209088 4162 33554432000 134512640 134579096 4289481888 4289480708 134556233 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30148/statm: 5178 4162 228 17 0 4484 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 20712
[startup+51.1002 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 30149
/proc/meminfo: memFree=27648140/32873648 swapFree=7368/7368
[pid=30148] ppid=30146 vsize=32440 CPUtime=51.08 cores=1,3,5,7
/proc/30148/stat : 30148 (Pueblo) R 30146 30148 28979 0 -1 4202496 7535 0 0 0 5107 1 0 0 20 0 1 0 317627416 33218560 7267 33554432000 134512640 134579096 4289481888 4289480544 134522688 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30148/statm: 8110 7267 228 17 0 7416 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 32440
[startup+102.306 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 30149
/proc/meminfo: memFree=27634804/32873648 swapFree=7368/7368
[pid=30148] ppid=30146 vsize=44172 CPUtime=102.28 cores=1,3,5,7
/proc/30148/stat : 30148 (Pueblo) R 30146 30148 28979 0 -1 4202496 10472 0 0 0 10226 2 0 0 20 0 1 0 317627416 45232128 10202 33554432000 134512640 134579096 4289481888 4289480544 134522706 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30148/statm: 11043 10202 228 17 0 10349 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 44172
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 30149
/proc/meminfo: memFree=27603336/32873648 swapFree=7368/7368
[pid=30148] ppid=30146 vsize=61840 CPUtime=162.25 cores=1,3,5,7
/proc/30148/stat : 30148 (Pueblo) R 30146 30148 28979 0 -1 4202496 15089 0 0 0 16223 2 0 0 20 0 1 0 317627416 63324160 14704 33554432000 134512640 134579096 4289481888 4289480720 134517908 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30148/statm: 15460 14704 228 17 0 14766 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 61840
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 30149
/proc/meminfo: memFree=27557208/32873648 swapFree=7368/7368
[pid=30148] ppid=30146 vsize=109088 CPUtime=222.24 cores=1,3,5,7
/proc/30148/stat : 30148 (Pueblo) R 30146 30148 28979 0 -1 4202496 27075 0 0 0 22220 4 0 0 20 0 1 0 317627416 111706112 26502 33554432000 134512640 134579096 4289481888 4289480752 134520067 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30148/statm: 27272 26502 228 17 0 26578 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 109088
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 30150
/proc/meminfo: memFree=27540800/32873648 swapFree=7368/7368
[pid=30148] ppid=30146 vsize=124760 CPUtime=282.23 cores=1,3,5,7
/proc/30148/stat : 30148 (Pueblo) R 30146 30148 28979 0 -1 4202496 31071 0 0 0 28218 5 0 0 20 0 1 0 317627416 127754240 30434 33554432000 134512640 134579096 4289481888 4289480708 134556315 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30148/statm: 31190 30434 228 17 0 30496 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 124760
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 30150
/proc/meminfo: memFree=27510260/32873648 swapFree=7368/7368
[pid=30148] ppid=30146 vsize=156388 CPUtime=342.21 cores=1,3,5,7
/proc/30148/stat : 30148 (Pueblo) R 30146 30148 28979 0 -1 4202496 39326 0 0 0 34215 6 0 0 20 0 1 0 317627416 160141312 38297 33554432000 134512640 134579096 4289481888 4289480704 134519100 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30148/statm: 39097 38297 228 17 0 38403 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 156388
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 30354
/proc/meminfo: memFree=27478788/32873648 swapFree=7368/7368
[pid=30148] ppid=30146 vsize=187244 CPUtime=402.2 cores=1,3,5,7
/proc/30148/stat : 30148 (Pueblo) R 30146 30148 28979 0 -1 4202496 47303 0 0 0 40213 7 0 0 20 0 1 0 317627416 191737856 46043 33554432000 134512640 134579096 4289481888 4289480720 134517922 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30148/statm: 46811 46043 228 17 0 46117 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 187244
[startup+462.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 30354
/proc/meminfo: memFree=27478904/32873648 swapFree=7368/7368
[pid=30148] ppid=30146 vsize=187244 CPUtime=462.19 cores=1,3,5,7
/proc/30148/stat : 30148 (Pueblo) R 30146 30148 28979 0 -1 4202496 47303 0 0 0 46212 7 0 0 20 0 1 0 317627416 191737856 46043 33554432000 134512640 134579096 4289481888 4289480720 134517896 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30148/statm: 46811 46043 228 17 0 46117 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 187244
[startup+522.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 30403
/proc/meminfo: memFree=27444304/32873648 swapFree=7368/7368
[pid=30148] ppid=30146 vsize=204572 CPUtime=522.18 cores=1,3,5,7
/proc/30148/stat : 30148 (Pueblo) R 30146 30148 28979 0 -1 4202496 51739 0 0 0 52210 8 0 0 20 0 1 0 317627416 209481728 50384 33554432000 134512640 134579096 4289481888 4289480736 134528256 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30148/statm: 51143 50384 228 17 0 50449 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 204572
[startup+582.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 30404
/proc/meminfo: memFree=27404608/32873648 swapFree=7368/7368
[pid=30148] ppid=30146 vsize=242080 CPUtime=582.17 cores=1,3,5,7
/proc/30148/stat : 30148 (Pueblo) R 30146 30148 28979 0 -1 4202496 61520 0 0 0 58207 10 0 0 20 0 1 0 317627416 247889920 59754 33554432000 134512640 134579096 4289481888 4289480704 134519125 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30148/statm: 60520 59754 228 17 0 59826 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 242080
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 30404
/proc/meminfo: memFree=27383700/32873648 swapFree=7368/7368
[pid=30148] ppid=30146 vsize=256196 CPUtime=822.13 cores=1,3,5,7
/proc/30148/stat : 30148 (Pueblo) R 30146 30148 28979 0 -1 4202496 65210 0 0 0 82202 11 0 0 20 0 1 0 317627416 262344704 63261 33554432000 134512640 134579096 4289481888 4289480704 134519100 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30148/statm: 64049 63261 228 17 0 63355 0
Current children cumulated CPU time (s) 822.13
Current children cumulated vsize (KiB) 256196
[startup+882.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 30405
/proc/meminfo: memFree=27356392/32873648 swapFree=7368/7368
[pid=30148] ppid=30146 vsize=279848 CPUtime=882.13 cores=1,3,5,7
/proc/30148/stat : 30148 (Pueblo) R 30146 30148 28979 0 -1 4202496 71821 0 0 0 88200 13 0 0 20 0 1 0 317627416 286564352 69199 33554432000 134512640 134579096 4289481888 4289480720 134517922 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30148/statm: 69962 69199 228 17 0 69268 0
Current children cumulated CPU time (s) 882.13
Current children cumulated vsize (KiB) 279848
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30405
/proc/meminfo: memFree=27351336/32873648 swapFree=7368/7368
[pid=30148] ppid=30146 vsize=281896 CPUtime=942.12 cores=1,3,5,7
/proc/30148/stat : 30148 (Pueblo) R 30146 30148 28979 0 -1 4202496 72416 0 0 0 94199 13 0 0 20 0 1 0 317627416 288661504 69715 33554432000 134512640 134579096 4289481888 4289480720 134517919 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30148/statm: 70474 69715 228 17 0 69780 0
Current children cumulated CPU time (s) 942.12
Current children cumulated vsize (KiB) 281896
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 30408
/proc/meminfo: memFree=27288332/32873648 swapFree=7368/7368
[pid=30148] ppid=30146 vsize=281896 CPUtime=1002.11 cores=1,3,5,7
/proc/30148/stat : 30148 (Pueblo) R 30146 30148 28979 0 -1 4202496 72419 0 0 0 100198 13 0 0 20 0 1 0 317627416 288661504 69718 33554432000 134512640 134579096 4289481888 4289480720 134517908 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30148/statm: 70474 69718 228 17 0 69780 0
Current children cumulated CPU time (s) 1002.11
Current children cumulated vsize (KiB) 281896
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 30431
/proc/meminfo: memFree=27288432/32873648 swapFree=7368/7368
[pid=30148] ppid=30146 vsize=281896 CPUtime=1062.1 cores=1,3,5,7
/proc/30148/stat : 30148 (Pueblo) R 30146 30148 28979 0 -1 4202496 72424 0 0 0 106197 13 0 0 20 0 1 0 317627416 288661504 69718 33554432000 134512640 134579096 4289481888 4289480796 134553204 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30148/statm: 70474 69718 228 17 0 69780 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 281896
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30431
/proc/meminfo: memFree=27278764/32873648 swapFree=7368/7368
[pid=30148] ppid=30146 vsize=292036 CPUtime=1122.08 cores=1,3,5,7
/proc/30148/stat : 30148 (Pueblo) R 30146 30148 28979 0 -1 4202496 75270 0 0 0 112195 13 0 0 20 0 1 0 317627416 299044864 72246 33554432000 134512640 134579096 4289481888 4289480720 134517937 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30148/statm: 73009 72246 228 17 0 72315 0
Current children cumulated CPU time (s) 1122.08
Current children cumulated vsize (KiB) 292036
[startup+1182.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 30432
/proc/meminfo: memFree=27266740/32873648 swapFree=7368/7368
[pid=30148] ppid=30146 vsize=303392 CPUtime=1182.08 cores=1,3,5,7
/proc/30148/stat : 30148 (Pueblo) R 30146 30148 28979 0 -1 4202496 78455 0 0 0 118194 14 0 0 20 0 1 0 317627416 310673408 75061 33554432000 134512640 134579096 4289481888 4289480720 134517935 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30148/statm: 75848 75061 228 17 0 75154 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 303392
[startup+1242.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 30432
/proc/meminfo: memFree=27266668/32873648 swapFree=7368/7368
[pid=30148] ppid=30146 vsize=303392 CPUtime=1242.07 cores=1,3,5,7
/proc/30148/stat : 30148 (Pueblo) R 30146 30148 28979 0 -1 4202496 78455 0 0 0 124193 14 0 0 20 0 1 0 317627416 310673408 75061 33554432000 134512640 134579096 4289481888 4289480704 134519085 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30148/statm: 75848 75061 228 17 0 75154 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 303392
[startup+1302.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 30432
/proc/meminfo: memFree=27266668/32873648 swapFree=7368/7368
[pid=30148] ppid=30146 vsize=303392 CPUtime=1302.07 cores=1,3,5,7
/proc/30148/stat : 30148 (Pueblo) R 30146 30148 28979 0 -1 4202496 78455 0 0 0 130193 14 0 0 20 0 1 0 317627416 310673408 75061 33554432000 134512640 134579096 4289481888 4289480704 134519125 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30148/statm: 75848 75061 228 17 0 75154 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 303392
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 30432
/proc/meminfo: memFree=27266516/32873648 swapFree=7368/7368
[pid=30148] ppid=30146 vsize=303392 CPUtime=1362.05 cores=1,3,5,7
/proc/30148/stat : 30148 (Pueblo) R 30146 30148 28979 0 -1 4202496 78456 0 0 0 136191 14 0 0 20 0 1 0 317627416 310673408 75061 33554432000 134512640 134579096 4289481888 4289480720 134517896 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30148/statm: 75848 75061 228 17 0 75154 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 303392
[startup+1422.31 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 30432
/proc/meminfo: memFree=27259448/32873648 swapFree=7368/7368
[pid=30148] ppid=30146 vsize=303392 CPUtime=1422.05 cores=1,3,5,7
/proc/30148/stat : 30148 (Pueblo) R 30146 30148 28979 0 -1 4202496 78456 0 0 0 142191 14 0 0 20 0 1 0 317627416 310673408 75061 33554432000 134512640 134579096 4289481888 4289480720 134517885 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30148/statm: 75848 75061 228 17 0 75154 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 303392
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30433
/proc/meminfo: memFree=27249956/32873648 swapFree=7368/7368
[pid=30148] ppid=30146 vsize=303392 CPUtime=1482.03 cores=1,3,5,7
/proc/30148/stat : 30148 (Pueblo) R 30146 30148 28979 0 -1 4202496 78456 0 0 0 148189 14 0 0 20 0 1 0 317627416 310673408 75061 33554432000 134512640 134579096 4289481888 4289480720 134517908 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30148/statm: 75848 75061 228 17 0 75154 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 303392
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30433
/proc/meminfo: memFree=27242080/32873648 swapFree=7368/7368
[pid=30148] ppid=30146 vsize=303392 CPUtime=1542.02 cores=1,3,5,7
/proc/30148/stat : 30148 (Pueblo) R 30146 30148 28979 0 -1 4202496 78456 0 0 0 154188 14 0 0 20 0 1 0 317627416 310673408 75061 33554432000 134512640 134579096 4289481888 4289480720 134517872 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30148/statm: 75848 75061 228 17 0 75154 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 303392
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 30436
/proc/meminfo: memFree=27225080/32873648 swapFree=7368/7368
[pid=30148] ppid=30146 vsize=303392 CPUtime=1602.02 cores=1,3,5,7
/proc/30148/stat : 30148 (Pueblo) R 30146 30148 28979 0 -1 4202496 78456 0 0 0 160188 14 0 0 20 0 1 0 317627416 310673408 75061 33554432000 134512640 134579096 4289481888 4289480704 134519085 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30148/statm: 75848 75061 228 17 0 75154 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 303392
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30436
/proc/meminfo: memFree=27205868/32873648 swapFree=7368/7368
[pid=30148] ppid=30146 vsize=303392 CPUtime=1662.01 cores=1,3,5,7
/proc/30148/stat : 30148 (Pueblo) R 30146 30148 28979 0 -1 4202496 78456 0 0 0 166187 14 0 0 20 0 1 0 317627416 310673408 75061 33554432000 134512640 134579096 4289481888 4289480544 134523647 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30148/statm: 75848 75061 228 17 0 75154 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 303392
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30436
/proc/meminfo: memFree=27188880/32873648 swapFree=7368/7368
[pid=30148] ppid=30146 vsize=303392 CPUtime=1722 cores=1,3,5,7
/proc/30148/stat : 30148 (Pueblo) R 30146 30148 28979 0 -1 4202496 78456 0 0 0 172186 14 0 0 20 0 1 0 317627416 310673408 75061 33554432000 134512640 134579096 4289481888 4289480544 134522688 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30148/statm: 75848 75061 228 17 0 75154 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 303392
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30437
/proc/meminfo: memFree=27170776/32873648 swapFree=7368/7368
[pid=30148] ppid=30146 vsize=303392 CPUtime=1781.99 cores=1,3,5,7
/proc/30148/stat : 30148 (Pueblo) R 30146 30148 28979 0 -1 4202496 78456 0 0 0 178185 14 0 0 20 0 1 0 317627416 310673408 75061 33554432000 134512640 134579096 4289481888 4289480704 134519079 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30148/statm: 75848 75061 228 17 0 75154 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 303392
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30437
/proc/meminfo: memFree=27163708/32873648 swapFree=7368/7368
[pid=30148] ppid=30146 vsize=303392 CPUtime=1800.09 cores=1,3,5,7
/proc/30148/stat : 30148 (Pueblo) R 30146 30148 28979 0 -1 4202496 78456 0 0 0 179995 14 0 0 20 0 1 0 317627416 310673408 75061 33554432000 134512640 134579096 4289481888 4289480752 134520067 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30148/statm: 75848 75061 228 17 0 75154 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 303392
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.1
CPU user time (s): 1799.96
CPU system time (s): 0.142978
CPU usage (%): 99.9829
Max. virtual memory (cumulated for all children) (KiB): 303632
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.96
system time used= 0.142978
maximum resident set size= 300352
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 78456
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= 51
involuntary context switches= 1971
runsolver used 3.2705 second user time and 8.39372 second system time
The end