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-3720618-1338512752/watcher-3720618-1338512752 -o /tmp/evaluation-result-3720618-1338512752/solver-3720618-1338512752 -C 1800 -W 1900 -M 15500 Pueblo HOME/instance-3720618-1338512752.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.00 1.94 3/177 31902
/proc/meminfo: memFree=29480744/32873844 swapFree=7632/7632
[pid=31902] ppid=31900 vsize=3240 CPUtime=0 cores=0,2,4,6
/proc/31902/stat : 31902 (Pueblo) R 31900 31902 30519 0 -1 4202496 350 0 0 0 0 0 0 0 20 0 1 0 317400778 3317760 288 33554432000 134512640 134579096 4289006336 4288873796 2540293 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/31902/statm: 810 288 221 17 0 116 0
[startup+0.106092 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 31902
/proc/meminfo: memFree=29480744/32873844 swapFree=7632/7632
[pid=31902] ppid=31900 vsize=7236 CPUtime=0.1 cores=0,2,4,6
/proc/31902/stat : 31902 (Pueblo) R 31900 31902 30519 0 -1 4202496 1363 0 0 0 10 0 0 0 20 0 1 0 317400778 7409664 1301 33554432000 134512640 134579096 4289006336 4288873612 8074288 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/31902/statm: 1809 1301 221 17 0 1115 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 7236
[startup+0.200229 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 31902
/proc/meminfo: memFree=29480744/32873844 swapFree=7632/7632
[pid=31902] ppid=31900 vsize=9636 CPUtime=0.19 cores=0,2,4,6
/proc/31902/stat : 31902 (Pueblo) R 31900 31902 30519 0 -1 4202496 1943 0 0 0 19 0 0 0 20 0 1 0 317400778 9867264 1881 33554432000 134512640 134579096 4289006336 4288873740 1470728 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/31902/statm: 2409 1883 221 17 0 1715 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 9636
[startup+0.300222 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 31902
/proc/meminfo: memFree=29480744/32873844 swapFree=7632/7632
[pid=31902] ppid=31900 vsize=12032 CPUtime=0.29 cores=0,2,4,6
/proc/31902/stat : 31902 (Pueblo) R 31900 31902 30519 0 -1 4202496 2546 0 0 0 29 0 0 0 20 0 1 0 317400778 12320768 2484 33554432000 134512640 134579096 4289006336 4288873852 2530199 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/31902/statm: 3008 2486 221 17 0 2314 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12032
[startup+0.700185 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 31902
/proc/meminfo: memFree=29480744/32873844 swapFree=7632/7632
[pid=31902] ppid=31900 vsize=21492 CPUtime=0.68 cores=0,2,4,6
/proc/31902/stat : 31902 (Pueblo) R 31900 31902 30519 0 -1 4202496 4936 0 0 0 68 0 0 0 20 0 1 0 317400778 22007808 4874 33554432000 134512640 134579096 4289006336 4288873612 8074288 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/31902/statm: 5373 4874 221 17 0 4679 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 21492
[startup+1.50018 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 31903
/proc/meminfo: memFree=29457920/32873844 swapFree=7632/7632
[pid=31902] ppid=31900 vsize=27908 CPUtime=1.48 cores=0,2,4,6
/proc/31902/stat : 31902 (Pueblo) R 31900 31902 30519 0 -1 4202496 5985 0 0 0 148 0 0 0 20 0 1 0 317400778 28577792 5923 33554432000 134512640 134579096 4289006336 4289005312 134532045 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/31902/statm: 6977 5923 229 17 0 6283 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 27908
[startup+3.10018 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 31903
/proc/meminfo: memFree=29457548/32873844 swapFree=7632/7632
[pid=31902] ppid=31900 vsize=27908 CPUtime=3.08 cores=0,2,4,6
/proc/31902/stat : 31902 (Pueblo) R 31900 31902 30519 0 -1 4202496 5985 0 0 0 308 0 0 0 20 0 1 0 317400778 28577792 5923 33554432000 134512640 134579096 4289006336 4289005296 134532440 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/31902/statm: 6977 5923 229 17 0 6283 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 27908
[startup+6.30018 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 31903
/proc/meminfo: memFree=29457316/32873844 swapFree=7632/7632
[pid=31902] ppid=31900 vsize=29204 CPUtime=6.28 cores=0,2,4,6
/proc/31902/stat : 31902 (Pueblo) R 31900 31902 30519 0 -1 4202496 6241 0 0 0 628 0 0 0 20 0 1 0 317400778 29904896 6179 33554432000 134512640 134579096 4289006336 4289005296 134532448 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/31902/statm: 7301 6179 229 17 0 6607 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 29204
[startup+12.7002 s]
/proc/loadavg: 2.08 2.02 1.95 3/178 31903
/proc/meminfo: memFree=29449552/32873844 swapFree=7632/7632
[pid=31902] ppid=31900 vsize=35980 CPUtime=12.69 cores=0,2,4,6
/proc/31902/stat : 31902 (Pueblo) R 31900 31902 30519 0 -1 4202496 7954 0 0 0 1268 1 0 0 20 0 1 0 317400778 36843520 7855 33554432000 134512640 134579096 4289006336 4289005156 134556468 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/31902/statm: 8995 7855 230 17 0 8301 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 35980
[startup+25.5003 s]
/proc/loadavg: 2.07 2.02 1.95 3/178 31903
/proc/meminfo: memFree=29447868/32873844 swapFree=7632/7632
[pid=31902] ppid=31900 vsize=38220 CPUtime=25.48 cores=0,2,4,6
/proc/31902/stat : 31902 (Pueblo) R 31900 31902 30519 0 -1 4202496 8515 0 0 0 2547 1 0 0 20 0 1 0 317400778 39137280 8411 33554432000 134512640 134579096 4289006336 4289005248 134559439 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/31902/statm: 9555 8411 230 17 0 8861 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 38220
[startup+51.1003 s]
/proc/loadavg: 2.04 2.01 1.95 3/178 31903
/proc/meminfo: memFree=29416948/32873844 swapFree=7632/7632
[pid=31902] ppid=31900 vsize=70080 CPUtime=51.05 cores=0,2,4,6
/proc/31902/stat : 31902 (Pueblo) R 31900 31902 30519 0 -1 4202496 16480 0 0 0 5101 4 0 0 20 0 1 0 317400778 71761920 16392 33554432000 134512640 134579096 4289006336 4289004992 134523518 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/31902/statm: 17520 16392 230 17 0 16826 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 70080
[startup+102.3 s]
/proc/loadavg: 2.12 2.04 1.96 3/178 31903
/proc/meminfo: memFree=29363132/32873844 swapFree=7632/7632
[pid=31902] ppid=31900 vsize=121164 CPUtime=102.24 cores=0,2,4,6
/proc/31902/stat : 31902 (Pueblo) R 31900 31902 30519 0 -1 4202496 29190 0 0 0 10217 7 0 0 20 0 1 0 317400778 124071936 29102 33554432000 134512640 134579096 4289006336 4289005264 134559533 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/31902/statm: 30291 29102 230 17 0 29597 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 121164
[startup+162.3 s]
/proc/loadavg: 2.11 2.05 1.96 3/178 31903
/proc/meminfo: memFree=29339448/32873844 swapFree=7632/7632
[pid=31902] ppid=31900 vsize=144604 CPUtime=162.21 cores=0,2,4,6
/proc/31902/stat : 31902 (Pueblo) R 31900 31902 30519 0 -1 4202496 35099 0 0 0 16212 9 0 0 20 0 1 0 317400778 148074496 35011 33554432000 134512640 134579096 4289006336 4289005216 134557302 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/31902/statm: 36151 35011 230 17 0 35457 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 144604
[startup+222.306 s]
/proc/loadavg: 2.04 2.03 1.96 3/178 31904
/proc/meminfo: memFree=29339372/32873844 swapFree=7632/7632
[pid=31902] ppid=31900 vsize=144604 CPUtime=222.18 cores=0,2,4,6
/proc/31902/stat : 31902 (Pueblo) R 31900 31902 30519 0 -1 4202496 35137 0 0 0 22209 9 0 0 20 0 1 0 317400778 148074496 35012 33554432000 134512640 134579096 4289006336 4289005200 134520078 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/31902/statm: 36151 35012 230 17 0 35457 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 144604
[startup+282.3 s]
/proc/loadavg: 2.09 2.04 1.97 3/179 31907
/proc/meminfo: memFree=29282076/32873844 swapFree=7632/7632
[pid=31902] ppid=31900 vsize=197504 CPUtime=282.16 cores=0,2,4,6
/proc/31902/stat : 31902 (Pueblo) R 31900 31902 30519 0 -1 4202496 48371 0 0 0 28204 12 0 0 20 0 1 0 317400778 202244096 48246 33554432000 134512640 134579096 4289006336 4289005152 134558798 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/31902/statm: 49376 48246 230 17 0 48682 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 197504
[startup+342.3 s]
/proc/loadavg: 2.03 2.03 1.97 3/178 31907
/proc/meminfo: memFree=29266020/32873844 swapFree=7632/7632
[pid=31902] ppid=31900 vsize=212436 CPUtime=342.15 cores=0,2,4,6
/proc/31902/stat : 31902 (Pueblo) R 31900 31902 30519 0 -1 4202496 52113 0 0 0 34201 14 0 0 20 0 1 0 317400778 217534464 51988 33554432000 134512640 134579096 4289006336 4289005168 134517901 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/31902/statm: 53109 51988 230 17 0 52415 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 212436
[startup+402.3 s]
/proc/loadavg: 2.01 2.02 1.97 3/178 31907
/proc/meminfo: memFree=29263700/32873844 swapFree=7632/7632
[pid=31902] ppid=31900 vsize=212436 CPUtime=402.13 cores=0,2,4,6
/proc/31902/stat : 31902 (Pueblo) R 31900 31902 30519 0 -1 4202496 52126 0 0 0 40199 14 0 0 20 0 1 0 317400778 217534464 51988 33554432000 134512640 134579096 4289006336 4289005200 134520163 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/31902/statm: 53109 51988 230 17 0 52415 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 212436
[startup+462.3 s]
/proc/loadavg: 2.05 2.03 1.97 3/178 31907
/proc/meminfo: memFree=29234768/32873844 swapFree=7632/7632
[pid=31902] ppid=31900 vsize=241740 CPUtime=462.1 cores=0,2,4,6
/proc/31902/stat : 31902 (Pueblo) R 31900 31902 30519 0 -1 4202496 59450 0 0 0 46194 16 0 0 20 0 1 0 317400778 247541760 59292 33554432000 134512640 134579096 4289006336 4289005264 134559533 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/31902/statm: 60435 59292 230 17 0 59741 0
Current children cumulated CPU time (s) 462.1
Current children cumulated vsize (KiB) 241740
[startup+522.3 s]
/proc/loadavg: 2.10 2.04 1.98 3/177 31956
/proc/meminfo: memFree=29308796/32873844 swapFree=7632/7632
[pid=31902] ppid=31900 vsize=285788 CPUtime=522.1 cores=0,2,4,6
/proc/31902/stat : 31902 (Pueblo) R 31900 31902 30519 0 -1 4202496 70468 0 0 0 52189 21 0 0 20 0 1 0 317400778 292646912 70310 33554432000 134512640 134579096 4289006336 4289005200 134519926 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/31902/statm: 71447 70310 230 17 0 70753 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 285788
[startup+582.3 s]
/proc/loadavg: 2.08 2.05 1.98 3/178 32005
/proc/meminfo: memFree=29258196/32873844 swapFree=7632/7632
[pid=31902] ppid=31900 vsize=326896 CPUtime=582.08 cores=0,2,4,6
/proc/31902/stat : 31902 (Pueblo) R 31900 31902 30519 0 -1 4202496 80750 0 0 0 58185 23 0 0 20 0 1 0 317400778 334741504 80592 33554432000 134512640 134579096 4289006336 4289005184 134527750 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/31902/statm: 81724 80592 230 17 0 81030 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 326896
[startup+642.3 s]
################
# More data... #
################
[startup+882.306 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 32009
/proc/meminfo: memFree=29131516/32873844 swapFree=7632/7632
[pid=31902] ppid=31900 vsize=441136 CPUtime=882.01 cores=0,2,4,6
/proc/31902/stat : 31902 (Pueblo) R 31900 31902 30519 0 -1 4202496 109375 0 0 0 88170 31 0 0 20 0 1 0 317400778 451723264 109196 33554432000 134512640 134579096 4289006336 4289005264 134559533 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/31902/statm: 110284 109196 230 17 0 109590 0
Current children cumulated CPU time (s) 882.01
Current children cumulated vsize (KiB) 441136
[startup+942.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/178 32009
/proc/meminfo: memFree=29069372/32873844 swapFree=7632/7632
[pid=31902] ppid=31900 vsize=503680 CPUtime=941.98 cores=0,2,4,6
/proc/31902/stat : 31902 (Pueblo) R 31900 31902 30519 0 -1 4202496 124747 0 0 0 94163 35 0 0 20 0 1 0 317400778 515768320 124557 33554432000 134512640 134579096 4289006336 4289005264 134559533 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/31902/statm: 125920 124557 230 17 0 125226 0
Current children cumulated CPU time (s) 941.98
Current children cumulated vsize (KiB) 503680
[startup+1002.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 32009
/proc/meminfo: memFree=29066920/32873844 swapFree=7632/7632
[pid=31902] ppid=31900 vsize=503680 CPUtime=1001.94 cores=0,2,4,6
/proc/31902/stat : 31902 (Pueblo) R 31900 31902 30519 0 -1 4202496 124785 0 0 0 100159 35 0 0 20 0 1 0 317400778 515768320 124557 33554432000 134512640 134579096 4289006336 4289005152 134558960 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/31902/statm: 125920 124557 230 17 0 125226 0
Current children cumulated CPU time (s) 1001.94
Current children cumulated vsize (KiB) 503680
[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 32009
/proc/meminfo: memFree=29066556/32873844 swapFree=7632/7632
[pid=31902] ppid=31900 vsize=503680 CPUtime=1061.91 cores=0,2,4,6
/proc/31902/stat : 31902 (Pueblo) R 31900 31902 30519 0 -1 4202496 124808 0 0 0 106156 35 0 0 20 0 1 0 317400778 515768320 124567 33554432000 134512640 134579096 4289006336 4289005264 134559533 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/31902/statm: 125920 124567 230 17 0 125226 0
Current children cumulated CPU time (s) 1061.91
Current children cumulated vsize (KiB) 503680
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32009
/proc/meminfo: memFree=29066812/32873844 swapFree=7632/7632
[pid=31902] ppid=31900 vsize=503680 CPUtime=1121.9 cores=0,2,4,6
/proc/31902/stat : 31902 (Pueblo) R 31900 31902 30519 0 -1 4202496 124808 0 0 0 112155 35 0 0 20 0 1 0 317400778 515768320 124567 33554432000 134512640 134579096 4289006336 4289005264 134559533 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/31902/statm: 125920 124567 230 17 0 125226 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 503680
[startup+1182.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/178 32010
/proc/meminfo: memFree=29066556/32873844 swapFree=7632/7632
[pid=31902] ppid=31900 vsize=503680 CPUtime=1181.89 cores=0,2,4,6
/proc/31902/stat : 31902 (Pueblo) R 31900 31902 30519 0 -1 4202496 124808 0 0 0 118154 35 0 0 20 0 1 0 317400778 515768320 124567 33554432000 134512640 134579096 4289006336 4289005200 134520215 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/31902/statm: 125920 124567 230 17 0 125226 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 503680
[startup+1242.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 32212
/proc/meminfo: memFree=29064324/32873844 swapFree=7632/7632
[pid=31902] ppid=31900 vsize=503680 CPUtime=1241.88 cores=0,2,4,6
/proc/31902/stat : 31902 (Pueblo) R 31900 31902 30519 0 -1 4202496 124821 0 0 0 124153 35 0 0 20 0 1 0 317400778 515768320 124580 33554432000 134512640 134579096 4289006336 4289005200 134520057 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/31902/statm: 125920 124580 230 17 0 125226 0
Current children cumulated CPU time (s) 1241.88
Current children cumulated vsize (KiB) 503680
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32212
/proc/meminfo: memFree=29064208/32873844 swapFree=7632/7632
[pid=31902] ppid=31900 vsize=503680 CPUtime=1301.87 cores=0,2,4,6
/proc/31902/stat : 31902 (Pueblo) R 31900 31902 30519 0 -1 4202496 124825 0 0 0 130152 35 0 0 20 0 1 0 317400778 515768320 124584 33554432000 134512640 134579096 4289006336 4289004892 1786035 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/31902/statm: 125920 124584 230 17 0 125226 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 503680
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32212
/proc/meminfo: memFree=29064456/32873844 swapFree=7632/7632
[pid=31902] ppid=31900 vsize=503680 CPUtime=1361.86 cores=0,2,4,6
/proc/31902/stat : 31902 (Pueblo) R 31900 31902 30519 0 -1 4202496 124825 0 0 0 136151 35 0 0 20 0 1 0 317400778 515768320 124584 33554432000 134512640 134579096 4289006336 4289005184 134527981 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/31902/statm: 125920 124584 230 17 0 125226 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 503680
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32212
/proc/meminfo: memFree=29064268/32873844 swapFree=7632/7632
[pid=31902] ppid=31900 vsize=503680 CPUtime=1421.85 cores=0,2,4,6
/proc/31902/stat : 31902 (Pueblo) R 31900 31902 30519 0 -1 4202496 124826 0 0 0 142150 35 0 0 20 0 1 0 317400778 515768320 124621 33554432000 134512640 134579096 4289006336 4289005264 134559533 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/31902/statm: 125920 124621 230 17 0 125226 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 503680
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 32216
/proc/meminfo: memFree=29061780/32873844 swapFree=7632/7632
[pid=31902] ppid=31900 vsize=503680 CPUtime=1481.84 cores=0,2,4,6
/proc/31902/stat : 31902 (Pueblo) R 31900 31902 30519 0 -1 4202496 124826 0 0 0 148149 35 0 0 20 0 1 0 317400778 515768320 124621 33554432000 134512640 134579096 4289006336 4289005168 134517903 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/31902/statm: 125920 124621 230 17 0 125226 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 503680
[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32216
/proc/meminfo: memFree=29061796/32873844 swapFree=7632/7632
[pid=31902] ppid=31900 vsize=503680 CPUtime=1541.84 cores=0,2,4,6
/proc/31902/stat : 31902 (Pueblo) R 31900 31902 30519 0 -1 4202496 124826 0 0 0 154149 35 0 0 20 0 1 0 317400778 515768320 124621 33554432000 134512640 134579096 4289006336 4289005184 134527762 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/31902/statm: 125920 124621 230 17 0 125226 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 503680
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32216
/proc/meminfo: memFree=29061920/32873844 swapFree=7632/7632
[pid=31902] ppid=31900 vsize=503680 CPUtime=1601.82 cores=0,2,4,6
/proc/31902/stat : 31902 (Pueblo) R 31900 31902 30519 0 -1 4202496 124826 0 0 0 160147 35 0 0 20 0 1 0 317400778 515768320 124621 33554432000 134512640 134579096 4289006336 4289005236 134527547 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/31902/statm: 125920 124621 230 17 0 125226 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 503680
[startup+1662.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 32216
/proc/meminfo: memFree=29061920/32873844 swapFree=7632/7632
[pid=31902] ppid=31900 vsize=503680 CPUtime=1661.81 cores=0,2,4,6
/proc/31902/stat : 31902 (Pueblo) R 31900 31902 30519 0 -1 4202496 124826 0 0 0 166146 35 0 0 20 0 1 0 317400778 515768320 124621 33554432000 134512640 134579096 4289006336 4289005264 134559533 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/31902/statm: 125920 124621 230 17 0 125226 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 503680
[startup+1722.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 32216
/proc/meminfo: memFree=29058944/32873844 swapFree=7632/7632
[pid=31902] ppid=31900 vsize=503680 CPUtime=1721.8 cores=0,2,4,6
/proc/31902/stat : 31902 (Pueblo) R 31900 31902 30519 0 -1 4202496 124826 0 0 0 172145 35 0 0 20 0 1 0 317400778 515768320 124621 33554432000 134512640 134579096 4289006336 4289005200 134519987 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/31902/statm: 125920 124621 230 17 0 125226 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 503680
[startup+1782.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 32217
/proc/meminfo: memFree=29058256/32873844 swapFree=7632/7632
[pid=31902] ppid=31900 vsize=503680 CPUtime=1781.79 cores=0,2,4,6
/proc/31902/stat : 31902 (Pueblo) R 31900 31902 30519 0 -1 4202496 124826 0 0 0 178144 35 0 0 20 0 1 0 317400778 515768320 124621 33554432000 134512640 134579096 4289006336 4289005216 134557732 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/31902/statm: 125920 124621 230 17 0 125226 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 503680
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 32217
/proc/meminfo: memFree=29058504/32873844 swapFree=7632/7632
[pid=31902] ppid=31900 vsize=503680 CPUtime=1800.1 cores=0,2,4,6
/proc/31902/stat : 31902 (Pueblo) R 31900 31902 30519 0 -1 4202496 124826 0 0 0 179975 35 0 0 20 0 1 0 317400778 515768320 124621 33554432000 134512640 134579096 4289006336 4289005264 134559572 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/31902/statm: 125920 124621 230 17 0 125226 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 503680
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.6 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 32217
/proc/meminfo: memFree=29058504/32873844 swapFree=7632/7632
[pid=31902] ppid=31900 vsize=503680 CPUtime=1800.1 cores=0,2,4,6
/proc/31902/stat : 31902 (Pueblo) R 31900 31902 30519 0 -1 4202496 124826 0 0 0 179975 35 0 0 20 0 1 0 317400778 515768320 124621 33554432000 134512640 134579096 4289006336 4289005264 134559572 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/31902/statm: 125920 124621 230 17 0 125226 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 503680
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.11
CPU user time (s): 1799.75
CPU system time (s): 0.359945
CPU usage (%): 99.9725
Max. virtual memory (cumulated for all children) (KiB): 503680
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.75
system time used= 0.359945
maximum resident set size= 498484
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 124826
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= 227
involuntary context switches= 2121
runsolver used 3.45047 second user time and 8.71467 second system time
The end