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-3720654-1338513162/watcher-3720654-1338513162 -o /tmp/evaluation-result-3720654-1338513162/solver-3720654-1338513162 -C 1800 -W 1900 -M 15500 Pueblo HOME/instance-3720654-1338513162.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.93 1.98 1.99 3/177 22220
/proc/meminfo: memFree=29634152/32873648 swapFree=7116/7116
[pid=22220] ppid=22218 vsize=3104 CPUtime=0 cores=1,3,5,7
/proc/22220/stat : 22220 (Pueblo) R 22218 22220 19648 0 -1 4202496 330 0 0 0 0 0 0 0 20 0 1 0 317441708 3178496 267 33554432000 134512640 134579096 4290961296 4290828756 4064053 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22220/statm: 776 267 221 17 0 82 0
[startup+0.054604 s]
/proc/loadavg: 1.93 1.98 1.99 3/177 22220
/proc/meminfo: memFree=29634152/32873648 swapFree=7116/7116
[pid=22220] ppid=22218 vsize=4968 CPUtime=0.04 cores=1,3,5,7
/proc/22220/stat : 22220 (Pueblo) R 22218 22220 19648 0 -1 4202496 787 0 0 0 4 0 0 0 20 0 1 0 317441708 5087232 724 33554432000 134512640 134579096 4290961296 4290828756 4064048 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22220/statm: 1242 724 221 17 0 548 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 4968
[startup+0.100211 s]
/proc/loadavg: 1.93 1.98 1.99 3/177 22220
/proc/meminfo: memFree=29634152/32873648 swapFree=7116/7116
[pid=22220] ppid=22218 vsize=6168 CPUtime=0.09 cores=1,3,5,7
/proc/22220/stat : 22220 (Pueblo) R 22218 22220 19648 0 -1 4202496 1106 0 0 0 9 0 0 0 20 0 1 0 317441708 6316032 1043 33554432000 134512640 134579096 4290961296 4290828700 134515980 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22220/statm: 1542 1044 221 17 0 848 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6168
[startup+0.300129 s]
/proc/loadavg: 1.93 1.98 1.99 3/177 22220
/proc/meminfo: memFree=29634152/32873648 swapFree=7116/7116
[pid=22220] ppid=22218 vsize=10796 CPUtime=0.29 cores=1,3,5,7
/proc/22220/stat : 22220 (Pueblo) R 22218 22220 19648 0 -1 4202496 2177 0 0 0 29 0 0 0 20 0 1 0 317441708 11055104 2114 33554432000 134512640 134579096 4290961296 4290960272 134532045 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22220/statm: 2699 2114 229 17 0 2005 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10796
[startup+0.700175 s]
/proc/loadavg: 1.93 1.98 1.99 3/177 22220
/proc/meminfo: memFree=29634152/32873648 swapFree=7116/7116
[pid=22220] ppid=22218 vsize=10928 CPUtime=0.69 cores=1,3,5,7
/proc/22220/stat : 22220 (Pueblo) R 22218 22220 19648 0 -1 4202496 2205 0 0 0 69 0 0 0 20 0 1 0 317441708 11190272 2142 33554432000 134512640 134579096 4290961296 4290960272 134532045 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22220/statm: 2732 2142 229 17 0 2038 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10928
[startup+1.50018 s]
/proc/loadavg: 1.93 1.98 1.99 3/178 22221
/proc/meminfo: memFree=29626012/32873648 swapFree=7116/7116
[pid=22220] ppid=22218 vsize=13416 CPUtime=1.49 cores=1,3,5,7
/proc/22220/stat : 22220 (Pueblo) R 22218 22220 19648 0 -1 4202496 2812 0 0 0 149 0 0 0 20 0 1 0 317441708 13737984 2749 33554432000 134512640 134579096 4290961296 4290960116 134556336 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22220/statm: 3354 2749 230 17 0 2660 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13416
[startup+3.10018 s]
/proc/loadavg: 1.93 1.98 1.99 3/178 22221
/proc/meminfo: memFree=29623664/32873648 swapFree=7116/7116
[pid=22220] ppid=22218 vsize=13416 CPUtime=3.09 cores=1,3,5,7
/proc/22220/stat : 22220 (Pueblo) R 22218 22220 19648 0 -1 4202496 2812 0 0 0 309 0 0 0 20 0 1 0 317441708 13737984 2749 33554432000 134512640 134579096 4290961296 4290960224 134559528 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22220/statm: 3354 2749 230 17 0 2660 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 13416
[startup+6.30022 s]
/proc/loadavg: 1.94 1.98 1.99 3/178 22221
/proc/meminfo: memFree=29622932/32873648 swapFree=7116/7116
[pid=22220] ppid=22218 vsize=15508 CPUtime=6.29 cores=1,3,5,7
/proc/22220/stat : 22220 (Pueblo) R 22218 22220 19648 0 -1 4202496 3339 0 0 0 629 0 0 0 20 0 1 0 317441708 15880192 3276 33554432000 134512640 134579096 4290961296 4290960112 134558845 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22220/statm: 3877 3276 230 17 0 3183 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 15508
[startup+12.7002 s]
/proc/loadavg: 1.94 1.98 1.99 3/178 22221
/proc/meminfo: memFree=29614932/32873648 swapFree=7116/7116
[pid=22220] ppid=22218 vsize=22792 CPUtime=12.68 cores=1,3,5,7
/proc/22220/stat : 22220 (Pueblo) R 22218 22220 19648 0 -1 4202496 5142 0 0 0 1267 1 0 0 20 0 1 0 317441708 23339008 5085 33554432000 134512640 134579096 4290961296 4290960128 134517908 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22220/statm: 5698 5085 230 17 0 5004 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 22792
[startup+25.5002 s]
/proc/loadavg: 1.95 1.98 1.99 3/178 22269
/proc/meminfo: memFree=29585756/32873648 swapFree=7116/7116
[pid=22220] ppid=22218 vsize=28500 CPUtime=25.47 cores=1,3,5,7
/proc/22220/stat : 22220 (Pueblo) R 22218 22220 19648 0 -1 4202496 6587 0 0 0 2546 1 0 0 20 0 1 0 317441708 29184000 6526 33554432000 134512640 134579096 4290961296 4290960204 134519884 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22220/statm: 7125 6526 230 17 0 6431 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 28500
[startup+51.1002 s]
/proc/loadavg: 1.97 1.98 1.99 3/178 22269
/proc/meminfo: memFree=29568600/32873648 swapFree=7116/7116
[pid=22220] ppid=22218 vsize=33204 CPUtime=51.07 cores=1,3,5,7
/proc/22220/stat : 22220 (Pueblo) R 22218 22220 19648 0 -1 4202496 7766 0 0 0 5106 1 0 0 20 0 1 0 317441708 34000896 7705 33554432000 134512640 134579096 4290961296 4290960204 134519884 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22220/statm: 8301 7705 230 17 0 7607 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 33204
[startup+102.307 s]
/proc/loadavg: 2.11 2.02 2.00 3/178 22472
/proc/meminfo: memFree=29484092/32873648 swapFree=7116/7116
[pid=22220] ppid=22218 vsize=41124 CPUtime=102.26 cores=1,3,5,7
/proc/22220/stat : 22220 (Pueblo) R 22218 22220 19648 0 -1 4202496 9700 0 0 0 10224 2 0 0 20 0 1 0 317441708 42110976 9639 33554432000 134512640 134579096 4290961296 4290959936 3314127 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22220/statm: 10281 9639 230 17 0 9587 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 41124
[startup+162.3 s]
/proc/loadavg: 2.08 2.03 2.00 3/177 22472
/proc/meminfo: memFree=29445868/32873648 swapFree=7116/7116
[pid=22220] ppid=22218 vsize=43468 CPUtime=162.24 cores=1,3,5,7
/proc/22220/stat : 22220 (Pueblo) R 22218 22220 19648 0 -1 4202496 10278 0 0 0 16222 2 0 0 20 0 1 0 317441708 44511232 10223 33554432000 134512640 134579096 4290961296 4290960224 134559533 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22220/statm: 10867 10223 230 17 0 10173 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 43468
[startup+222.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/177 22472
/proc/meminfo: memFree=29434804/32873648 swapFree=7116/7116
[pid=22220] ppid=22218 vsize=54416 CPUtime=222.24 cores=1,3,5,7
/proc/22220/stat : 22220 (Pueblo) R 22218 22220 19648 0 -1 4202496 13016 0 0 0 22221 3 0 0 20 0 1 0 317441708 55721984 12961 33554432000 134512640 134579096 4290961296 4290960116 134556465 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22220/statm: 13604 12961 230 17 0 12910 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 54416
[startup+282.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 22472
/proc/meminfo: memFree=29390836/32873648 swapFree=7116/7116
[pid=22220] ppid=22218 vsize=56860 CPUtime=282.22 cores=1,3,5,7
/proc/22220/stat : 22220 (Pueblo) R 22218 22220 19648 0 -1 4202496 13621 0 0 0 28219 3 0 0 20 0 1 0 317441708 58224640 13574 33554432000 134512640 134579096 4290961296 4290960144 134527740 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22220/statm: 14215 13574 230 17 0 13521 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 56860
[startup+342.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/177 22472
/proc/meminfo: memFree=29368000/32873648 swapFree=7116/7116
[pid=22220] ppid=22218 vsize=67476 CPUtime=342.21 cores=1,3,5,7
/proc/22220/stat : 22220 (Pueblo) R 22218 22220 19648 0 -1 4202496 16285 0 0 0 34217 4 0 0 20 0 1 0 317441708 69095424 16238 33554432000 134512640 134579096 4290961296 4290960128 134517901 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22220/statm: 16869 16238 230 17 0 16175 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 67476
[startup+402.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 22473
/proc/meminfo: memFree=29357152/32873648 swapFree=7116/7116
[pid=22220] ppid=22218 vsize=78176 CPUtime=402.2 cores=1,3,5,7
/proc/22220/stat : 22220 (Pueblo) R 22218 22220 19648 0 -1 4202496 18954 0 0 0 40215 5 0 0 20 0 1 0 317441708 80052224 18907 33554432000 134512640 134579096 4290961296 4290960224 134559533 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22220/statm: 19544 18907 230 17 0 18850 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 78176
[startup+462.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/178 22476
/proc/meminfo: memFree=29354096/32873648 swapFree=7116/7116
[pid=22220] ppid=22218 vsize=78176 CPUtime=462.19 cores=1,3,5,7
/proc/22220/stat : 22220 (Pueblo) R 22218 22220 19648 0 -1 4202496 18961 0 0 0 46214 5 0 0 20 0 1 0 317441708 80052224 18912 33554432000 134512640 134579096 4290961296 4290960128 134517919 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22220/statm: 19544 18912 230 17 0 18850 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 78176
[startup+522.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 22476
/proc/meminfo: memFree=29298772/32873648 swapFree=7116/7116
[pid=22220] ppid=22218 vsize=87216 CPUtime=522.16 cores=1,3,5,7
/proc/22220/stat : 22220 (Pueblo) R 22218 22220 19648 0 -1 4202496 21217 0 0 0 52211 5 0 0 20 0 1 0 317441708 89309184 21166 33554432000 134512640 134579096 4290961296 4290960224 134559533 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22220/statm: 21804 21166 230 17 0 21110 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 87216
[startup+582.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 22476
/proc/meminfo: memFree=29298772/32873648 swapFree=7116/7116
[pid=22220] ppid=22218 vsize=87216 CPUtime=582.16 cores=1,3,5,7
/proc/22220/stat : 22220 (Pueblo) R 22218 22220 19648 0 -1 4202496 21217 0 0 0 58211 5 0 0 20 0 1 0 317441708 89309184 21166 33554432000 134512640 134579096 4290961296 4290960144 134527729 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22220/statm: 21804 21166 230 17 0 21110 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 87216
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/177 22477
/proc/meminfo: memFree=29296712/32873648 swapFree=7116/7116
[pid=22220] ppid=22218 vsize=88752 CPUtime=822.12 cores=1,3,5,7
/proc/22220/stat : 22220 (Pueblo) R 22218 22220 19648 0 -1 4202496 21636 0 0 0 82206 6 0 0 20 0 1 0 317441708 90882048 21588 33554432000 134512640 134579096 4290961296 4290960148 134556484 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22220/statm: 22188 21588 230 17 0 21494 0
Current children cumulated CPU time (s) 822.12
Current children cumulated vsize (KiB) 88752
[startup+882.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/178 22478
/proc/meminfo: memFree=29296952/32873648 swapFree=7116/7116
[pid=22220] ppid=22218 vsize=88752 CPUtime=882.11 cores=1,3,5,7
/proc/22220/stat : 22220 (Pueblo) R 22218 22220 19648 0 -1 4202496 21636 0 0 0 88205 6 0 0 20 0 1 0 317441708 90882048 21588 33554432000 134512640 134579096 4290961296 4290960204 134519884 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22220/statm: 22188 21588 230 17 0 21494 0
Current children cumulated CPU time (s) 882.11
Current children cumulated vsize (KiB) 88752
[startup+942.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 22478
/proc/meminfo: memFree=29296836/32873648 swapFree=7116/7116
[pid=22220] ppid=22218 vsize=88752 CPUtime=942.1 cores=1,3,5,7
/proc/22220/stat : 22220 (Pueblo) R 22218 22220 19648 0 -1 4202496 21636 0 0 0 94204 6 0 0 20 0 1 0 317441708 90882048 21588 33554432000 134512640 134579096 4290961296 4290960160 134520215 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22220/statm: 22188 21588 230 17 0 21494 0
Current children cumulated CPU time (s) 942.1
Current children cumulated vsize (KiB) 88752
[startup+1002.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 22478
/proc/meminfo: memFree=29296960/32873648 swapFree=7116/7116
[pid=22220] ppid=22218 vsize=88752 CPUtime=1002.09 cores=1,3,5,7
/proc/22220/stat : 22220 (Pueblo) R 22218 22220 19648 0 -1 4202496 21636 0 0 0 100203 6 0 0 20 0 1 0 317441708 90882048 21588 33554432000 134512640 134579096 4290961296 4290960160 134520196 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22220/statm: 22188 21588 230 17 0 21494 0
Current children cumulated CPU time (s) 1002.09
Current children cumulated vsize (KiB) 88752
[startup+1062.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/178 22482
/proc/meminfo: memFree=29297080/32873648 swapFree=7116/7116
[pid=22220] ppid=22218 vsize=88752 CPUtime=1062.09 cores=1,3,5,7
/proc/22220/stat : 22220 (Pueblo) R 22218 22220 19648 0 -1 4202496 21644 0 0 0 106203 6 0 0 20 0 1 0 317441708 90882048 21596 33554432000 134512640 134579096 4290961296 4290960096 134527162 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22220/statm: 22188 21596 230 17 0 21494 0
Current children cumulated CPU time (s) 1062.09
Current children cumulated vsize (KiB) 88752
[startup+1122.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 22482
/proc/meminfo: memFree=29296840/32873648 swapFree=7116/7116
[pid=22220] ppid=22218 vsize=88752 CPUtime=1122.08 cores=1,3,5,7
/proc/22220/stat : 22220 (Pueblo) R 22218 22220 19648 0 -1 4202496 21644 0 0 0 112202 6 0 0 20 0 1 0 317441708 90882048 21596 33554432000 134512640 134579096 4290961296 4290960144 134527712 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22220/statm: 22188 21596 230 17 0 21494 0
Current children cumulated CPU time (s) 1122.08
Current children cumulated vsize (KiB) 88752
[startup+1182.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 22482
/proc/meminfo: memFree=29267828/32873648 swapFree=7116/7116
[pid=22220] ppid=22218 vsize=88752 CPUtime=1182.07 cores=1,3,5,7
/proc/22220/stat : 22220 (Pueblo) R 22218 22220 19648 0 -1 4202496 21645 0 0 0 118201 6 0 0 20 0 1 0 317441708 90882048 21597 33554432000 134512640 134579096 4290961296 4290960160 134520152 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22220/statm: 22188 21597 230 17 0 21494 0
Current children cumulated CPU time (s) 1182.07
Current children cumulated vsize (KiB) 88752
[startup+1242.3 s]
/proc/loadavg: 2.09 2.03 2.01 3/177 22482
/proc/meminfo: memFree=29222072/32873648 swapFree=7116/7116
[pid=22220] ppid=22218 vsize=88752 CPUtime=1242.06 cores=1,3,5,7
/proc/22220/stat : 22220 (Pueblo) R 22218 22220 19648 0 -1 4202496 21645 0 0 0 124200 6 0 0 20 0 1 0 317441708 90882048 21597 33554432000 134512640 134579096 4290961296 4290960144 134527740 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22220/statm: 22188 21597 230 17 0 21494 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 88752
[startup+1302.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/177 22482
/proc/meminfo: memFree=29182764/32873648 swapFree=7116/7116
[pid=22220] ppid=22218 vsize=88752 CPUtime=1302.06 cores=1,3,5,7
/proc/22220/stat : 22220 (Pueblo) R 22218 22220 19648 0 -1 4202496 21645 0 0 0 130200 6 0 0 20 0 1 0 317441708 90882048 21597 33554432000 134512640 134579096 4290961296 4290959872 3312966 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22220/statm: 22188 21597 230 17 0 21494 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 88752
[startup+1362.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 22483
/proc/meminfo: memFree=29183012/32873648 swapFree=7116/7116
[pid=22220] ppid=22218 vsize=88752 CPUtime=1362.04 cores=1,3,5,7
/proc/22220/stat : 22220 (Pueblo) R 22218 22220 19648 0 -1 4202496 21645 0 0 0 136198 6 0 0 20 0 1 0 317441708 90882048 21597 33554432000 134512640 134579096 4290961296 4290960160 134520229 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22220/statm: 22188 21597 230 17 0 21494 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 88752
[startup+1422.31 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 22483
/proc/meminfo: memFree=29181540/32873648 swapFree=7116/7116
[pid=22220] ppid=22218 vsize=89572 CPUtime=1422.04 cores=1,3,5,7
/proc/22220/stat : 22220 (Pueblo) R 22218 22220 19648 0 -1 4202496 21808 0 0 0 142198 6 0 0 20 0 1 0 317441708 91721728 21760 33554432000 134512640 134579096 4290961296 4290960224 134559533 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22220/statm: 22393 21760 230 17 0 21699 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 89572
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 22483
/proc/meminfo: memFree=29181912/32873648 swapFree=7116/7116
[pid=22220] ppid=22218 vsize=89572 CPUtime=1482.02 cores=1,3,5,7
/proc/22220/stat : 22220 (Pueblo) R 22218 22220 19648 0 -1 4202496 21818 0 0 0 148196 6 0 0 20 0 1 0 317441708 91721728 21770 33554432000 134512640 134579096 4290961296 4290960096 134527438 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22220/statm: 22393 21770 230 17 0 21699 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 89572
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22483
/proc/meminfo: memFree=29177944/32873648 swapFree=7116/7116
[pid=22220] ppid=22218 vsize=93424 CPUtime=1542.01 cores=1,3,5,7
/proc/22220/stat : 22220 (Pueblo) R 22218 22220 19648 0 -1 4202496 22790 0 0 0 154195 6 0 0 20 0 1 0 317441708 95666176 22742 33554432000 134512640 134579096 4290961296 4290960160 134520215 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22220/statm: 23356 22742 230 17 0 22662 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 93424
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22483
/proc/meminfo: memFree=29169392/32873648 swapFree=7116/7116
[pid=22220] ppid=22218 vsize=102760 CPUtime=1602 cores=1,3,5,7
/proc/22220/stat : 22220 (Pueblo) R 22218 22220 19648 0 -1 4202496 25098 0 0 0 160193 7 0 0 20 0 1 0 317441708 105226240 25050 33554432000 134512640 134579096 4290961296 4290960112 134520339 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22220/statm: 25690 25050 230 17 0 24996 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 102760
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 22487
/proc/meminfo: memFree=29145080/32873648 swapFree=7116/7116
[pid=22220] ppid=22218 vsize=109900 CPUtime=1661.99 cores=1,3,5,7
/proc/22220/stat : 22220 (Pueblo) R 22218 22220 19648 0 -1 4202496 26904 0 0 0 166192 7 0 0 20 0 1 0 317441708 112537600 26856 33554432000 134512640 134579096 4290961296 4290960224 134559533 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22220/statm: 27475 26856 230 17 0 26781 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 109900
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22487
/proc/meminfo: memFree=29143476/32873648 swapFree=7116/7116
[pid=22220] ppid=22218 vsize=109900 CPUtime=1721.98 cores=1,3,5,7
/proc/22220/stat : 22220 (Pueblo) R 22218 22220 19648 0 -1 4202496 26904 0 0 0 172191 7 0 0 20 0 1 0 317441708 112537600 26856 33554432000 134512640 134579096 4290961296 4290960160 134519955 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22220/statm: 27475 26856 230 17 0 26781 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 109900
[startup+1782.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 22487
/proc/meminfo: memFree=29143208/32873648 swapFree=7116/7116
[pid=22220] ppid=22218 vsize=109900 CPUtime=1781.97 cores=1,3,5,7
/proc/22220/stat : 22220 (Pueblo) R 22218 22220 19648 0 -1 4202496 26904 0 0 0 178190 7 0 0 20 0 1 0 317441708 112537600 26856 33554432000 134512640 134579096 4290961296 4290960160 134519955 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22220/statm: 27475 26856 230 17 0 26781 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 109900
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 22535
/proc/meminfo: memFree=29528128/32873648 swapFree=7116/7116
[pid=22220] ppid=22218 vsize=109900 CPUtime=1800.07 cores=1,3,5,7
/proc/22220/stat : 22220 (Pueblo) R 22218 22220 19648 0 -1 4202496 26904 0 0 0 180000 7 0 0 20 0 1 0 317441708 112537600 26856 33554432000 134512640 134579096 4290961296 4290960224 134559533 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22220/statm: 27475 26856 230 17 0 26781 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 109900
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.081987
CPU usage (%): 99.9822
Max. virtual memory (cumulated for all children) (KiB): 109900
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.01
system time used= 0.081987
maximum resident set size= 107424
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26904
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= 45
involuntary context switches= 1852
runsolver used 3.09253 second user time and 9.56155 second system time
The end