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-3720508-1338511682/watcher-3720508-1338511682 -o /tmp/evaluation-result-3720508-1338511682/solver-3720508-1338511682 -C 1800 -W 1900 -M 15500 Pueblo HOME/instance-3720508-1338511682.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.02 2.01 1.94 3/178 16177
/proc/meminfo: memFree=28434312/32873844 swapFree=7112/7112
[pid=16177] ppid=16175 vsize=3236 CPUtime=0 cores=0,2,4,6
/proc/16177/stat : 16177 (Pueblo) R 16175 16177 15072 0 -1 4202496 363 0 0 0 0 0 0 0 20 0 1 0 317293518 3313664 301 33554432000 134512640 134579096 4291023648 4290890924 14378032 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/16177/statm: 809 301 219 17 0 115 0
[startup+0.030921 s]
/proc/loadavg: 2.02 2.01 1.94 3/178 16177
/proc/meminfo: memFree=28434312/32873844 swapFree=7112/7112
[pid=16177] ppid=16175 vsize=4036 CPUtime=0.02 cores=0,2,4,6
/proc/16177/stat : 16177 (Pueblo) R 16175 16177 15072 0 -1 4202496 541 0 0 0 2 0 0 0 20 0 1 0 317293518 4132864 479 33554432000 134512640 134579096 4291023648 4290891048 2387952 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/16177/statm: 1009 479 219 17 0 315 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 4036
[startup+0.100205 s]
/proc/loadavg: 2.02 2.01 1.94 3/178 16177
/proc/meminfo: memFree=28434312/32873844 swapFree=7112/7112
[pid=16177] ppid=16175 vsize=5500 CPUtime=0.09 cores=0,2,4,6
/proc/16177/stat : 16177 (Pueblo) R 16175 16177 15072 0 -1 4202496 911 0 0 0 9 0 0 0 20 0 1 0 317293518 5632000 849 33554432000 134512640 134579096 4291023648 4290891072 134546737 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/16177/statm: 1375 851 219 17 0 681 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5500
[startup+0.300184 s]
/proc/loadavg: 2.02 2.01 1.94 3/178 16177
/proc/meminfo: memFree=28434312/32873844 swapFree=7112/7112
[pid=16177] ppid=16175 vsize=8272 CPUtime=0.29 cores=0,2,4,6
/proc/16177/stat : 16177 (Pueblo) R 16175 16177 15072 0 -1 4202496 1603 0 0 0 29 0 0 0 20 0 1 0 317293518 8470528 1541 33554432000 134512640 134579096 4291023648 4291022464 134519125 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/16177/statm: 2068 1541 227 17 0 1374 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8272
[startup+0.700178 s]
/proc/loadavg: 2.02 2.01 1.94 3/178 16177
/proc/meminfo: memFree=28434312/32873844 swapFree=7112/7112
[pid=16177] ppid=16175 vsize=8272 CPUtime=0.69 cores=0,2,4,6
/proc/16177/stat : 16177 (Pueblo) R 16175 16177 15072 0 -1 4202496 1604 0 0 0 69 0 0 0 20 0 1 0 317293518 8470528 1542 33554432000 134512640 134579096 4291023648 4291022468 134556336 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/16177/statm: 2068 1542 227 17 0 1374 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8272
[startup+1.50018 s]
/proc/loadavg: 2.02 2.01 1.94 3/179 16178
/proc/meminfo: memFree=28429228/32873844 swapFree=7112/7112
[pid=16177] ppid=16175 vsize=9040 CPUtime=1.49 cores=0,2,4,6
/proc/16177/stat : 16177 (Pueblo) R 16175 16177 15072 0 -1 4202496 1779 0 0 0 149 0 0 0 20 0 1 0 317293518 9256960 1717 33554432000 134512640 134579096 4291023648 4291022496 134528052 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/16177/statm: 2260 1717 227 17 0 1566 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9040
[startup+3.10021 s]
/proc/loadavg: 2.02 2.01 1.94 3/179 16178
/proc/meminfo: memFree=28427872/32873844 swapFree=7112/7112
[pid=16177] ppid=16175 vsize=11572 CPUtime=3.09 cores=0,2,4,6
/proc/16177/stat : 16177 (Pueblo) R 16175 16177 15072 0 -1 4202496 2434 0 0 0 309 0 0 0 20 0 1 0 317293518 11849728 2372 33554432000 134512640 134579096 4291023648 4291022468 134556344 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16177/statm: 2893 2372 227 17 0 2199 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 11572
[startup+6.30023 s]
/proc/loadavg: 2.02 2.01 1.94 3/179 16178
/proc/meminfo: memFree=28421532/32873844 swapFree=7112/7112
[pid=16177] ppid=16175 vsize=17272 CPUtime=6.28 cores=0,2,4,6
/proc/16177/stat : 16177 (Pueblo) R 16175 16177 15072 0 -1 4202496 3843 0 0 0 628 0 0 0 20 0 1 0 317293518 17686528 3781 33554432000 134512640 134579096 4291023648 4291022304 134522427 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16177/statm: 4318 3781 227 17 0 3624 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 17272
[startup+12.7002 s]
/proc/loadavg: 2.02 2.01 1.94 3/179 16178
/proc/meminfo: memFree=28414776/32873844 swapFree=7112/7112
[pid=16177] ppid=16175 vsize=23612 CPUtime=12.69 cores=0,2,4,6
/proc/16177/stat : 16177 (Pueblo) R 16175 16177 15072 0 -1 4202496 5420 0 0 0 1268 1 0 0 20 0 1 0 317293518 24178688 5358 33554432000 134512640 134579096 4291023648 4291022496 134528344 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16177/statm: 5903 5358 227 17 0 5209 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 23612
[startup+25.5002 s]
/proc/loadavg: 2.01 2.01 1.94 3/179 16178
/proc/meminfo: memFree=28406780/32873844 swapFree=7112/7112
[pid=16177] ppid=16175 vsize=29100 CPUtime=25.48 cores=0,2,4,6
/proc/16177/stat : 16177 (Pueblo) R 16175 16177 15072 0 -1 4202496 6799 0 0 0 2547 1 0 0 20 0 1 0 317293518 29798400 6739 33554432000 134512640 134579096 4291023648 4291022464 134527450 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16177/statm: 7275 6739 227 17 0 6581 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 29100
[startup+51.1003 s]
/proc/loadavg: 2.01 2.01 1.94 3/179 16178
/proc/meminfo: memFree=28397212/32873844 swapFree=7112/7112
[pid=16177] ppid=16175 vsize=34368 CPUtime=51.07 cores=0,2,4,6
/proc/16177/stat : 16177 (Pueblo) R 16175 16177 15072 0 -1 4202496 8113 0 0 0 5105 2 0 0 20 0 1 0 317293518 35192832 8060 33554432000 134512640 134579096 4291023648 4291022512 134520044 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16177/statm: 8592 8060 227 17 0 7898 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 34368
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 16178
/proc/meminfo: memFree=28313800/32873844 swapFree=7112/7112
[pid=16177] ppid=16175 vsize=38256 CPUtime=102.27 cores=0,2,4,6
/proc/16177/stat : 16177 (Pueblo) R 16175 16177 15072 0 -1 4202496 9091 0 0 0 10225 2 0 0 20 0 1 0 317293518 39174144 9038 33554432000 134512640 134579096 4291023648 4291022496 134527712 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16177/statm: 9564 9038 227 17 0 8870 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 38256
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/180 16181
/proc/meminfo: memFree=28218712/32873844 swapFree=7112/7112
[pid=16177] ppid=16175 vsize=42364 CPUtime=162.25 cores=0,2,4,6
/proc/16177/stat : 16177 (Pueblo) R 16175 16177 15072 0 -1 4202496 10097 0 0 0 16223 2 0 0 20 0 1 0 317293518 43380736 10044 33554432000 134512640 134579096 4291023648 4291022496 134527762 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16177/statm: 10591 10044 227 17 0 9897 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 42364
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 16181
/proc/meminfo: memFree=28128600/32873844 swapFree=7112/7112
[pid=16177] ppid=16175 vsize=42364 CPUtime=222.24 cores=0,2,4,6
/proc/16177/stat : 16177 (Pueblo) R 16175 16177 15072 0 -1 4202496 10098 0 0 0 22222 2 0 0 20 0 1 0 317293518 43380736 10045 33554432000 134512640 134579096 4291023648 4291022496 134528360 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16177/statm: 10591 10045 227 17 0 9897 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 42364
[startup+282.3 s]
/proc/loadavg: 2.03 2.01 1.94 3/179 16182
/proc/meminfo: memFree=28036372/32873844 swapFree=7112/7112
[pid=16177] ppid=16175 vsize=44980 CPUtime=282.23 cores=0,2,4,6
/proc/16177/stat : 16177 (Pueblo) R 16175 16177 15072 0 -1 4202496 10737 0 0 0 28221 2 0 0 20 0 1 0 317293518 46059520 10684 33554432000 134512640 134579096 4291023648 4291022512 134520044 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16177/statm: 11245 10684 227 17 0 10551 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 44980
[startup+342.3 s]
/proc/loadavg: 2.01 2.01 1.94 3/179 16182
/proc/meminfo: memFree=27944268/32873844 swapFree=7112/7112
[pid=16177] ppid=16175 vsize=47464 CPUtime=342.22 cores=0,2,4,6
/proc/16177/stat : 16177 (Pueblo) R 16175 16177 15072 0 -1 4202496 11368 0 0 0 34220 2 0 0 20 0 1 0 317293518 48603136 11315 33554432000 134512640 134579096 4291023648 4291022496 134527981 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16177/statm: 11866 11315 227 17 0 11172 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 47464
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 16182
/proc/meminfo: memFree=27853900/32873844 swapFree=7112/7112
[pid=16177] ppid=16175 vsize=48120 CPUtime=402.21 cores=0,2,4,6
/proc/16177/stat : 16177 (Pueblo) R 16175 16177 15072 0 -1 4202496 11524 0 0 0 40219 2 0 0 20 0 1 0 317293518 49274880 11471 33554432000 134512640 134579096 4291023648 4291022496 134528360 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16177/statm: 12030 11471 227 17 0 11336 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 48120
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 16182
/proc/meminfo: memFree=27810760/32873844 swapFree=7112/7112
[pid=16177] ppid=16175 vsize=50644 CPUtime=462.2 cores=0,2,4,6
/proc/16177/stat : 16177 (Pueblo) R 16175 16177 15072 0 -1 4202496 12154 0 0 0 46218 2 0 0 20 0 1 0 317293518 51859456 12116 33554432000 134512640 134579096 4291023648 4291022496 134527742 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16177/statm: 12661 12116 227 17 0 11967 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 50644
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 16182
/proc/meminfo: memFree=27687496/32873844 swapFree=7112/7112
[pid=16177] ppid=16175 vsize=53556 CPUtime=522.19 cores=0,2,4,6
/proc/16177/stat : 16177 (Pueblo) R 16175 16177 15072 0 -1 4202496 12852 0 0 0 52216 3 0 0 20 0 1 0 317293518 54841344 12833 33554432000 134512640 134579096 4291023648 4291022496 134528360 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16177/statm: 13389 12833 227 17 0 12695 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 53556
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 16183
/proc/meminfo: memFree=27593504/32873844 swapFree=7112/7112
[pid=16177] ppid=16175 vsize=53556 CPUtime=582.19 cores=0,2,4,6
/proc/16177/stat : 16177 (Pueblo) R 16175 16177 15072 0 -1 4202496 12852 0 0 0 58216 3 0 0 20 0 1 0 317293518 54841344 12833 33554432000 134512640 134579096 4291023648 4291022496 134527839 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16177/statm: 13389 12833 227 17 0 12695 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 53556
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/181 16209
/proc/meminfo: memFree=27343372/32873844 swapFree=7112/7112
[pid=16177] ppid=16175 vsize=58468 CPUtime=822.15 cores=0,2,4,6
/proc/16177/stat : 16177 (Pueblo) R 16175 16177 15072 0 -1 4202496 14100 0 0 0 82211 4 0 0 20 0 1 0 317293518 59871232 14064 33554432000 134512640 134579096 4291023648 4291022496 134527818 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16177/statm: 14617 14064 227 17 0 13923 0
Current children cumulated CPU time (s) 822.15
Current children cumulated vsize (KiB) 58468
[startup+882.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/180 16210
/proc/meminfo: memFree=27278912/32873844 swapFree=7112/7112
[pid=16177] ppid=16175 vsize=58428 CPUtime=882.14 cores=0,2,4,6
/proc/16177/stat : 16177 (Pueblo) R 16175 16177 15072 0 -1 4202496 14100 0 0 0 88210 4 0 0 20 0 1 0 317293518 59830272 14054 33554432000 134512640 134579096 4291023648 4291022496 134527740 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16177/statm: 14607 14054 227 17 0 13913 0
Current children cumulated CPU time (s) 882.14
Current children cumulated vsize (KiB) 58428
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/180 16210
/proc/meminfo: memFree=27218180/32873844 swapFree=7112/7112
[pid=16177] ppid=16175 vsize=58428 CPUtime=942.13 cores=0,2,4,6
/proc/16177/stat : 16177 (Pueblo) R 16175 16177 15072 0 -1 4202496 14100 0 0 0 94209 4 0 0 20 0 1 0 317293518 59830272 14054 33554432000 134512640 134579096 4291023648 4291022496 134528360 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16177/statm: 14607 14054 227 17 0 13913 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 58428
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/180 16210
/proc/meminfo: memFree=27157820/32873844 swapFree=7112/7112
[pid=16177] ppid=16175 vsize=58428 CPUtime=1002.12 cores=0,2,4,6
/proc/16177/stat : 16177 (Pueblo) R 16175 16177 15072 0 -1 4202496 14100 0 0 0 100208 4 0 0 20 0 1 0 317293518 59830272 14054 33554432000 134512640 134579096 4291023648 4291022496 134528320 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16177/statm: 14607 14054 227 17 0 13913 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 58428
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/180 16210
/proc/meminfo: memFree=27097584/32873844 swapFree=7112/7112
[pid=16177] ppid=16175 vsize=58424 CPUtime=1062.11 cores=0,2,4,6
/proc/16177/stat : 16177 (Pueblo) R 16175 16177 15072 0 -1 4202496 14100 0 0 0 106207 4 0 0 20 0 1 0 317293518 59826176 14053 33554432000 134512640 134579096 4291023648 4291022496 134528344 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16177/statm: 14606 14053 227 17 0 13912 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 58424
[startup+1122.3 s]
/proc/loadavg: 2.04 2.01 1.95 3/180 16210
/proc/meminfo: memFree=27039332/32873844 swapFree=7112/7112
[pid=16177] ppid=16175 vsize=58424 CPUtime=1122.1 cores=0,2,4,6
/proc/16177/stat : 16177 (Pueblo) R 16175 16177 15072 0 -1 4202496 14100 0 0 0 112206 4 0 0 20 0 1 0 317293518 59826176 14053 33554432000 134512640 134579096 4291023648 4291022496 134527750 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16177/statm: 14606 14053 227 17 0 13912 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 58424
[startup+1182.3 s]
/proc/loadavg: 2.09 2.04 1.96 3/180 16413
/proc/meminfo: memFree=26985304/32873844 swapFree=7112/7112
[pid=16177] ppid=16175 vsize=61912 CPUtime=1182.09 cores=0,2,4,6
/proc/16177/stat : 16177 (Pueblo) R 16175 16177 15072 0 -1 4202496 14950 0 0 0 118205 4 0 0 20 0 1 0 317293518 63397888 14903 33554432000 134512640 134579096 4291023648 4291022496 134527812 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16177/statm: 15478 14903 227 17 0 14784 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 61912
[startup+1242.3 s]
/proc/loadavg: 2.06 2.04 1.96 3/179 16413
/proc/meminfo: memFree=26927804/32873844 swapFree=7112/7112
[pid=16177] ppid=16175 vsize=61872 CPUtime=1242.08 cores=0,2,4,6
/proc/16177/stat : 16177 (Pueblo) R 16175 16177 15072 0 -1 4202496 14950 0 0 0 124204 4 0 0 20 0 1 0 317293518 63356928 14903 33554432000 134512640 134579096 4291023648 4291022496 134528360 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16177/statm: 15468 14903 227 17 0 14774 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 61872
[startup+1302.3 s]
/proc/loadavg: 2.09 2.06 1.97 3/179 16413
/proc/meminfo: memFree=26869800/32873844 swapFree=7112/7112
[pid=16177] ppid=16175 vsize=61840 CPUtime=1302.08 cores=0,2,4,6
/proc/16177/stat : 16177 (Pueblo) R 16175 16177 15072 0 -1 4202496 14950 0 0 0 130204 4 0 0 20 0 1 0 317293518 63324160 14903 33554432000 134512640 134579096 4291023648 4291022496 134528360 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16177/statm: 15460 14903 227 17 0 14766 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 61840
[startup+1362.3 s]
/proc/loadavg: 2.06 2.06 1.98 3/180 16416
/proc/meminfo: memFree=26815012/32873844 swapFree=7112/7112
[pid=16177] ppid=16175 vsize=62236 CPUtime=1362.06 cores=0,2,4,6
/proc/16177/stat : 16177 (Pueblo) R 16175 16177 15072 0 -1 4202496 15032 0 0 0 136202 4 0 0 20 0 1 0 317293518 63729664 14985 33554432000 134512640 134579096 4291023648 4291022528 134557302 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16177/statm: 15559 14985 227 17 0 14865 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 62236
[startup+1422.31 s]
/proc/loadavg: 2.05 2.06 1.98 3/179 16416
/proc/meminfo: memFree=26760860/32873844 swapFree=7112/7112
[pid=16177] ppid=16175 vsize=63404 CPUtime=1422.06 cores=0,2,4,6
/proc/16177/stat : 16177 (Pueblo) R 16175 16177 15072 0 -1 4202496 15338 0 0 0 142202 4 0 0 20 0 1 0 317293518 64925696 15291 33554432000 134512640 134579096 4291023648 4291022480 134517933 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16177/statm: 15851 15291 227 17 0 15157 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 63404
[startup+1482.3 s]
/proc/loadavg: 2.05 2.06 1.99 3/178 16417
/proc/meminfo: memFree=26710676/32873844 swapFree=7112/7112
[pid=16177] ppid=16175 vsize=63820 CPUtime=1482.05 cores=0,2,4,6
/proc/16177/stat : 16177 (Pueblo) R 16175 16177 15072 0 -1 4202496 15437 0 0 0 148201 4 0 0 20 0 1 0 317293518 65351680 15390 33554432000 134512640 134579096 4291023648 4291022496 134527712 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16177/statm: 15955 15390 227 17 0 15261 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 63820
[startup+1542.3 s]
/proc/loadavg: 2.05 2.06 2.00 3/179 16418
/proc/meminfo: memFree=26655640/32873844 swapFree=7112/7112
[pid=16177] ppid=16175 vsize=64340 CPUtime=1542.04 cores=0,2,4,6
/proc/16177/stat : 16177 (Pueblo) R 16175 16177 15072 0 -1 4202496 15569 0 0 0 154200 4 0 0 20 0 1 0 317293518 65884160 15522 33554432000 134512640 134579096 4291023648 4291022304 134524561 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16177/statm: 16085 15522 227 17 0 15391 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 64340
[startup+1602.3 s]
/proc/loadavg: 2.02 2.05 2.00 3/179 16418
/proc/meminfo: memFree=26609912/32873844 swapFree=7112/7112
[pid=16177] ppid=16175 vsize=64560 CPUtime=1602.03 cores=0,2,4,6
/proc/16177/stat : 16177 (Pueblo) R 16175 16177 15072 0 -1 4202496 15589 0 0 0 160199 4 0 0 20 0 1 0 317293518 66109440 15556 33554432000 134512640 134579096 4291023648 4291022496 134528360 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16177/statm: 16140 15556 227 17 0 15446 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 64560
[startup+1662.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/179 16418
/proc/meminfo: memFree=26554972/32873844 swapFree=7112/7112
[pid=16177] ppid=16175 vsize=66648 CPUtime=1662.01 cores=0,2,4,6
/proc/16177/stat : 16177 (Pueblo) R 16175 16177 15072 0 -1 4202496 16134 0 0 0 166197 4 0 0 20 0 1 0 317293518 68247552 16103 33554432000 134512640 134579096 4291023648 4291022496 134527740 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16177/statm: 16662 16103 227 17 0 15968 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 66648
[startup+1722.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/176 16425
/proc/meminfo: memFree=28433036/32873844 swapFree=7112/7112
[pid=16177] ppid=16175 vsize=66908 CPUtime=1722 cores=0,2,4,6
/proc/16177/stat : 16177 (Pueblo) R 16175 16177 15072 0 -1 4202496 16191 0 0 0 172196 4 0 0 20 0 1 0 317293518 68513792 16160 33554432000 134512640 134579096 4291023648 4291022496 134528346 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16177/statm: 16727 16160 227 17 0 16033 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 66908
[startup+1782.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/179 16467
/proc/meminfo: memFree=28348384/32873844 swapFree=7112/7112
[pid=16177] ppid=16175 vsize=67764 CPUtime=1782 cores=0,2,4,6
/proc/16177/stat : 16177 (Pueblo) R 16175 16177 15072 0 -1 4202496 16414 0 0 0 178196 4 0 0 20 0 1 0 317293518 69390336 16395 33554432000 134512640 134579096 4291023648 4291022496 134527740 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16177/statm: 16941 16395 227 17 0 16247 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 67764
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.02 2.03 2.00 3/179 16467
/proc/meminfo: memFree=28348168/32873844 swapFree=7112/7112
[pid=16177] ppid=16175 vsize=67760 CPUtime=1800.1 cores=0,2,4,6
/proc/16177/stat : 16177 (Pueblo) R 16175 16177 15072 0 -1 4202496 16427 0 0 0 180006 4 0 0 20 0 1 0 317293518 69386240 16408 33554432000 134512640 134579096 4291023648 4291022496 134527742 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16177/statm: 16940 16408 227 17 0 16246 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 67760
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.11
CPU user time (s): 1800.06
CPU system time (s): 0.046992
CPU usage (%): 99.9836
Max. virtual memory (cumulated for all children) (KiB): 67828
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.06
system time used= 0.046992
maximum resident set size= 65632
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16427
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= 35
involuntary context switches= 1928
runsolver used 3.2595 second user time and 8.78566 second system time
The end