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-3720847-1338515034/watcher-3720847-1338515034 -o /tmp/evaluation-result-3720847-1338515034/solver-3720847-1338515034 -C 1800 -W 1900 -M 15500 Pueblo HOME/instance-3720847-1338515034.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.01 2.01 2.00 3/176 20232
/proc/meminfo: memFree=30108832/32873648 swapFree=7116/7116
[pid=20232] ppid=20230 vsize=1268 CPUtime=0 cores=0,2,4,6
/proc/20232/stat : 20232 (Pueblo) D 20230 20232 18830 0 -1 4194304 93 0 0 0 0 0 0 0 20 0 1 0 317628883 1298432 45 33554432000 134512640 134579096 4289964592 4289962628 2159556 0 0 4096 0 18446744072100609316 0 0 17 4 0 0 0 0 0
/proc/20232/statm: 317 45 35 17 0 29 0
[startup+0.0411831 s]
/proc/loadavg: 2.01 2.01 2.00 3/176 20232
/proc/meminfo: memFree=30108832/32873648 swapFree=7116/7116
[pid=20232] ppid=20230 vsize=4968 CPUtime=0.03 cores=0,2,4,6
/proc/20232/stat : 20232 (Pueblo) R 20230 20232 18830 0 -1 4202496 780 0 0 0 3 0 0 0 20 0 1 0 317628883 5087232 717 33554432000 134512640 134579096 4289964592 4289831988 3420976 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20232/statm: 1242 717 219 17 0 548 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 4968
[startup+0.100267 s]
/proc/loadavg: 2.01 2.01 2.00 3/176 20232
/proc/meminfo: memFree=30108832/32873648 swapFree=7116/7116
[pid=20232] ppid=20230 vsize=6168 CPUtime=0.09 cores=0,2,4,6
/proc/20232/stat : 20232 (Pueblo) R 20230 20232 18830 0 -1 4202496 1076 0 0 0 9 0 0 0 20 0 1 0 317628883 6316032 1013 33554432000 134512640 134579096 4289964592 4289832040 2351735 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20232/statm: 1542 1015 219 17 0 848 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6168
[startup+0.300234 s]
/proc/loadavg: 2.01 2.01 2.00 3/176 20232
/proc/meminfo: memFree=30108832/32873648 swapFree=7116/7116
[pid=20232] ppid=20230 vsize=11188 CPUtime=0.28 cores=0,2,4,6
/proc/20232/stat : 20232 (Pueblo) R 20230 20232 18830 0 -1 4202496 2048 0 0 0 28 0 0 0 20 0 1 0 317628883 11456512 1985 33554432000 134512640 134579096 4289964592 4289963568 134532044 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20232/statm: 2797 1985 226 17 0 2103 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 11188
[startup+0.700223 s]
/proc/loadavg: 2.01 2.01 2.00 3/176 20232
/proc/meminfo: memFree=30108832/32873648 swapFree=7116/7116
[pid=20232] ppid=20230 vsize=11848 CPUtime=0.68 cores=0,2,4,6
/proc/20232/stat : 20232 (Pueblo) R 20230 20232 18830 0 -1 4202496 2201 0 0 0 68 0 0 0 20 0 1 0 317628883 12132352 2138 33554432000 134512640 134579096 4289964592 4289963568 134532044 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20232/statm: 2962 2138 226 17 0 2268 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 11848
[startup+1.50023 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 20233
/proc/meminfo: memFree=30098540/32873648 swapFree=7116/7116
[pid=20232] ppid=20230 vsize=14876 CPUtime=1.48 cores=0,2,4,6
/proc/20232/stat : 20232 (Pueblo) R 20230 20232 18830 0 -1 4202496 2919 0 0 0 148 0 0 0 20 0 1 0 317628883 15233024 2856 33554432000 134512640 134579096 4289964592 4289963412 134556218 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20232/statm: 3719 2856 228 17 0 3025 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 14876
[startup+3.10011 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 20233
/proc/meminfo: memFree=30098168/32873648 swapFree=7116/7116
[pid=20232] ppid=20230 vsize=15192 CPUtime=3.08 cores=0,2,4,6
/proc/20232/stat : 20232 (Pueblo) R 20230 20232 18830 0 -1 4202496 2966 0 0 0 308 0 0 0 20 0 1 0 317628883 15556608 2880 33554432000 134512640 134579096 4289964592 4289963440 134527712 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20232/statm: 3798 2880 228 17 0 3104 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 15192
[startup+6.3001 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 20233
/proc/meminfo: memFree=30098168/32873648 swapFree=7116/7116
[pid=20232] ppid=20230 vsize=15188 CPUtime=6.28 cores=0,2,4,6
/proc/20232/stat : 20232 (Pueblo) R 20230 20232 18830 0 -1 4202496 3053 0 0 0 628 0 0 0 20 0 1 0 317628883 15552512 2963 33554432000 134512640 134579096 4289964592 4289963408 134519064 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20232/statm: 3797 2963 228 17 0 3103 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 15188
[startup+12.7002 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 20233
/proc/meminfo: memFree=30094168/32873648 swapFree=7116/7116
[pid=20232] ppid=20230 vsize=18456 CPUtime=12.67 cores=0,2,4,6
/proc/20232/stat : 20232 (Pueblo) R 20230 20232 18830 0 -1 4202496 3855 0 0 0 1267 0 0 0 20 0 1 0 317628883 18898944 3835 33554432000 134512640 134579096 4289964592 4289963424 134517908 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20232/statm: 4614 3835 228 17 0 3920 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 18456
[startup+25.5002 s]
/proc/loadavg: 1.93 1.99 1.99 3/177 20282
/proc/meminfo: memFree=30081016/32873648 swapFree=7116/7116
[pid=20232] ppid=20230 vsize=29032 CPUtime=25.48 cores=0,2,4,6
/proc/20232/stat : 20232 (Pueblo) R 20230 20232 18830 0 -1 4202496 6501 0 0 0 2547 1 0 0 20 0 1 0 317628883 29728768 6481 33554432000 134512640 134579096 4289964592 4289963392 134528560 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20232/statm: 7258 6481 228 17 0 6564 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 29032
[startup+51.1002 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 20378
/proc/meminfo: memFree=30038236/32873648 swapFree=7116/7116
[pid=20232] ppid=20230 vsize=45696 CPUtime=51.06 cores=0,2,4,6
/proc/20232/stat : 20232 (Pueblo) R 20230 20232 18830 0 -1 4202496 10668 0 0 0 5105 1 0 0 20 0 1 0 317628883 46792704 10643 33554432000 134512640 134579096 4289964592 4289963412 134556361 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20232/statm: 11424 10643 228 17 0 10730 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 45696
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20378
/proc/meminfo: memFree=30021068/32873648 swapFree=7116/7116
[pid=20232] ppid=20230 vsize=50440 CPUtime=102.26 cores=0,2,4,6
/proc/20232/stat : 20232 (Pueblo) R 20230 20232 18830 0 -1 4202496 11848 0 0 0 10224 2 0 0 20 0 1 0 317628883 51650560 11825 33554432000 134512640 134579096 4289964592 4289963408 134519088 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20232/statm: 12610 11825 228 17 0 11916 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 50440
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20379
/proc/meminfo: memFree=29999556/32873648 swapFree=7116/7116
[pid=20232] ppid=20230 vsize=58708 CPUtime=162.24 cores=0,2,4,6
/proc/20232/stat : 20232 (Pueblo) R 20230 20232 18830 0 -1 4202496 14158 0 0 0 16222 2 0 0 20 0 1 0 317628883 60116992 13927 33554432000 134512640 134579096 4289964592 4289963248 134522754 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20232/statm: 14677 13927 228 17 0 13983 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 58708
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20379
/proc/meminfo: memFree=29962552/32873648 swapFree=7116/7116
[pid=20232] ppid=20230 vsize=85124 CPUtime=222.24 cores=0,2,4,6
/proc/20232/stat : 20232 (Pueblo) R 20230 20232 18830 0 -1 4202496 20744 0 0 0 22220 4 0 0 20 0 1 0 317628883 87166976 20511 33554432000 134512640 134579096 4289964592 4289963412 134556408 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20232/statm: 21281 20511 228 17 0 20587 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 85124
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20379
/proc/meminfo: memFree=29961120/32873648 swapFree=7116/7116
[pid=20232] ppid=20230 vsize=87408 CPUtime=282.23 cores=0,2,4,6
/proc/20232/stat : 20232 (Pueblo) R 20230 20232 18830 0 -1 4202496 21329 0 0 0 28219 4 0 0 20 0 1 0 317628883 89505792 21096 33554432000 134512640 134579096 4289964592 4289963424 134517908 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20232/statm: 21852 21096 228 17 0 21158 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 87408
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20379
/proc/meminfo: memFree=29919940/32873648 swapFree=7116/7116
[pid=20232] ppid=20230 vsize=127952 CPUtime=342.21 cores=0,2,4,6
/proc/20232/stat : 20232 (Pueblo) R 20230 20232 18830 0 -1 4202496 31997 0 0 0 34215 6 0 0 20 0 1 0 317628883 131022848 31203 33554432000 134512640 134579096 4289964592 4289963248 134522726 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20232/statm: 31988 31203 228 17 0 31294 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 127952
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20382
/proc/meminfo: memFree=29895736/32873648 swapFree=7116/7116
[pid=20232] ppid=20230 vsize=148344 CPUtime=402.2 cores=0,2,4,6
/proc/20232/stat : 20232 (Pueblo) R 20230 20232 18830 0 -1 4202496 37483 0 0 0 40213 7 0 0 20 0 1 0 317628883 151904256 36324 33554432000 134512640 134579096 4289964592 4289963248 134522742 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20232/statm: 37086 36324 228 17 0 36392 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 148344
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20383
/proc/meminfo: memFree=29867228/32873648 swapFree=7116/7116
[pid=20232] ppid=20230 vsize=176376 CPUtime=462.18 cores=0,2,4,6
/proc/20232/stat : 20232 (Pueblo) R 20230 20232 18830 0 -1 4202496 44779 0 0 0 46210 8 0 0 20 0 1 0 317628883 180609024 43312 33554432000 134512640 134579096 4289964592 4289963248 134524561 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20232/statm: 44094 43312 228 17 0 43400 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 176376
[startup+522.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 20383
/proc/meminfo: memFree=29826852/32873648 swapFree=7116/7116
[pid=20232] ppid=20230 vsize=206232 CPUtime=522.17 cores=0,2,4,6
/proc/20232/stat : 20232 (Pueblo) R 20230 20232 18830 0 -1 4202496 52692 0 0 0 52208 9 0 0 20 0 1 0 317628883 211181568 50776 33554432000 134512640 134579096 4289964592 4289963408 134519100 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20232/statm: 51558 50776 228 17 0 50864 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 206232
[startup+582.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 20383
/proc/meminfo: memFree=29790488/32873648 swapFree=7116/7116
[pid=20232] ppid=20230 vsize=238388 CPUtime=582.17 cores=0,2,4,6
/proc/20232/stat : 20232 (Pueblo) R 20230 20232 18830 0 -1 4202496 61587 0 0 0 58206 11 0 0 20 0 1 0 317628883 244109312 58847 33554432000 134512640 134579096 4289964592 4289963440 134528360 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20232/statm: 59597 58847 228 17 0 58903 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 238388
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20384
/proc/meminfo: memFree=29779512/32873648 swapFree=7116/7116
[pid=20232] ppid=20230 vsize=241584 CPUtime=822.12 cores=0,2,4,6
/proc/20232/stat : 20232 (Pueblo) R 20230 20232 18830 0 -1 4202496 62474 0 0 0 82201 11 0 0 20 0 1 0 317628883 247382016 59614 33554432000 134512640 134579096 4289964592 4289963408 134519085 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20232/statm: 60396 59614 228 17 0 59702 0
Current children cumulated CPU time (s) 822.12
Current children cumulated vsize (KiB) 241584
[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20384
/proc/meminfo: memFree=29779512/32873648 swapFree=7116/7116
[pid=20232] ppid=20230 vsize=241584 CPUtime=882.11 cores=0,2,4,6
/proc/20232/stat : 20232 (Pueblo) R 20230 20232 18830 0 -1 4202496 62474 0 0 0 88200 11 0 0 20 0 1 0 317628883 247382016 59614 33554432000 134512640 134579096 4289964592 4289963424 134517903 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20232/statm: 60396 59614 228 17 0 59702 0
Current children cumulated CPU time (s) 882.11
Current children cumulated vsize (KiB) 241584
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20384
/proc/meminfo: memFree=29779436/32873648 swapFree=7116/7116
[pid=20232] ppid=20230 vsize=241584 CPUtime=942.1 cores=0,2,4,6
/proc/20232/stat : 20232 (Pueblo) R 20230 20232 18830 0 -1 4202496 62474 0 0 0 94199 11 0 0 20 0 1 0 317628883 247382016 59614 33554432000 134512640 134579096 4289964592 4289963248 134522754 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20232/statm: 60396 59614 228 17 0 59702 0
Current children cumulated CPU time (s) 942.1
Current children cumulated vsize (KiB) 241584
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20387
/proc/meminfo: memFree=29779444/32873648 swapFree=7116/7116
[pid=20232] ppid=20230 vsize=241584 CPUtime=1002.09 cores=0,2,4,6
/proc/20232/stat : 20232 (Pueblo) R 20230 20232 18830 0 -1 4202496 62474 0 0 0 100198 11 0 0 20 0 1 0 317628883 247382016 59614 33554432000 134512640 134579096 4289964592 4289963424 134517872 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20232/statm: 60396 59614 228 17 0 59702 0
Current children cumulated CPU time (s) 1002.09
Current children cumulated vsize (KiB) 241584
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20410
/proc/meminfo: memFree=29777260/32873648 swapFree=7116/7116
[pid=20232] ppid=20230 vsize=241584 CPUtime=1062.08 cores=0,2,4,6
/proc/20232/stat : 20232 (Pueblo) R 20230 20232 18830 0 -1 4202496 62474 0 0 0 106197 11 0 0 20 0 1 0 317628883 247382016 59614 33554432000 134512640 134579096 4289964592 4289963424 134517903 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20232/statm: 60396 59614 228 17 0 59702 0
Current children cumulated CPU time (s) 1062.08
Current children cumulated vsize (KiB) 241584
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20411
/proc/meminfo: memFree=29758848/32873648 swapFree=7116/7116
[pid=20232] ppid=20230 vsize=260468 CPUtime=1122.07 cores=0,2,4,6
/proc/20232/stat : 20232 (Pueblo) R 20230 20232 18830 0 -1 4202496 67425 0 0 0 112194 13 0 0 20 0 1 0 317628883 266719232 64308 33554432000 134512640 134579096 4289964592 4289963248 134524561 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20232/statm: 65117 64309 228 17 0 64423 0
Current children cumulated CPU time (s) 1122.07
Current children cumulated vsize (KiB) 260468
[startup+1182.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 20411
/proc/meminfo: memFree=29729632/32873648 swapFree=7116/7116
[pid=20232] ppid=20230 vsize=288868 CPUtime=1182.06 cores=0,2,4,6
/proc/20232/stat : 20232 (Pueblo) R 20230 20232 18830 0 -1 4202496 74885 0 0 0 118192 14 0 0 20 0 1 0 317628883 295800832 71454 33554432000 134512640 134579096 4289964592 4289963408 134519095 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20232/statm: 72217 71454 228 17 0 71523 0
Current children cumulated CPU time (s) 1182.06
Current children cumulated vsize (KiB) 288868
[startup+1242.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 20411
/proc/meminfo: memFree=29699608/32873648 swapFree=7116/7116
[pid=20232] ppid=20230 vsize=317720 CPUtime=1242.05 cores=0,2,4,6
/proc/20232/stat : 20232 (Pueblo) R 20230 20232 18830 0 -1 4202496 82156 0 0 0 124189 16 0 0 20 0 1 0 317628883 325345280 78651 33554432000 134512640 134579096 4289964592 4289963424 134517922 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20232/statm: 79430 78651 228 17 0 78736 0
Current children cumulated CPU time (s) 1242.05
Current children cumulated vsize (KiB) 317720
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20411
/proc/meminfo: memFree=29672368/32873648 swapFree=7116/7116
[pid=20232] ppid=20230 vsize=345404 CPUtime=1302.04 cores=0,2,4,6
/proc/20232/stat : 20232 (Pueblo) R 20230 20232 18830 0 -1 4202496 89324 0 0 0 130186 18 0 0 20 0 1 0 317628883 353693696 85569 33554432000 134512640 134579096 4289964592 4289963424 134517903 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20232/statm: 86351 85569 228 17 0 85657 0
Current children cumulated CPU time (s) 1302.04
Current children cumulated vsize (KiB) 345404
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20411
/proc/meminfo: memFree=29654756/32873648 swapFree=7116/7116
[pid=20232] ppid=20230 vsize=355812 CPUtime=1362.03 cores=0,2,4,6
/proc/20232/stat : 20232 (Pueblo) R 20230 20232 18830 0 -1 4202496 92211 0 0 0 136185 18 0 0 20 0 1 0 317628883 364351488 88201 33554432000 134512640 134579096 4289964592 4289963248 134522688 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20232/statm: 88953 88201 228 17 0 88259 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 355812
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20412
/proc/meminfo: memFree=29655348/32873648 swapFree=7116/7116
[pid=20232] ppid=20230 vsize=355812 CPUtime=1422.02 cores=0,2,4,6
/proc/20232/stat : 20232 (Pueblo) R 20230 20232 18830 0 -1 4202496 92211 0 0 0 142184 18 0 0 20 0 1 0 317628883 364351488 88201 33554432000 134512640 134579096 4289964592 4289963424 134517955 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20232/statm: 88953 88201 228 17 0 88259 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 355812
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20412
/proc/meminfo: memFree=29655348/32873648 swapFree=7116/7116
[pid=20232] ppid=20230 vsize=355812 CPUtime=1482.01 cores=0,2,4,6
/proc/20232/stat : 20232 (Pueblo) R 20230 20232 18830 0 -1 4202496 92211 0 0 0 148183 18 0 0 20 0 1 0 317628883 364351488 88201 33554432000 134512640 134579096 4289964592 4289963408 134519064 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20232/statm: 88953 88201 228 17 0 88259 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 355812
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20412
/proc/meminfo: memFree=29655348/32873648 swapFree=7116/7116
[pid=20232] ppid=20230 vsize=355812 CPUtime=1542 cores=0,2,4,6
/proc/20232/stat : 20232 (Pueblo) R 20230 20232 18830 0 -1 4202496 92211 0 0 0 154182 18 0 0 20 0 1 0 317628883 364351488 88201 33554432000 134512640 134579096 4289964592 4289963424 134517903 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20232/statm: 88953 88201 228 17 0 88259 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 355812
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20415
/proc/meminfo: memFree=29656524/32873648 swapFree=7116/7116
[pid=20232] ppid=20230 vsize=355812 CPUtime=1601.99 cores=0,2,4,6
/proc/20232/stat : 20232 (Pueblo) R 20230 20232 18830 0 -1 4202496 92211 0 0 0 160181 18 0 0 20 0 1 0 317628883 364351488 88201 33554432000 134512640 134579096 4289964592 4289963408 134519095 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20232/statm: 88953 88201 228 17 0 88259 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 355812
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20415
/proc/meminfo: memFree=29656656/32873648 swapFree=7116/7116
[pid=20232] ppid=20230 vsize=355812 CPUtime=1661.98 cores=0,2,4,6
/proc/20232/stat : 20232 (Pueblo) R 20230 20232 18830 0 -1 4202496 92211 0 0 0 166180 18 0 0 20 0 1 0 317628883 364351488 88201 33554432000 134512640 134579096 4289964592 4289963412 134556336 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20232/statm: 88953 88201 228 17 0 88259 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 355812
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20416
/proc/meminfo: memFree=29656656/32873648 swapFree=7116/7116
[pid=20232] ppid=20230 vsize=355812 CPUtime=1721.97 cores=0,2,4,6
/proc/20232/stat : 20232 (Pueblo) R 20230 20232 18830 0 -1 4202496 92211 0 0 0 172179 18 0 0 20 0 1 0 317628883 364351488 88201 33554432000 134512640 134579096 4289964592 4289963408 134519085 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20232/statm: 88953 88201 228 17 0 88259 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 355812
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20416
/proc/meminfo: memFree=29656160/32873648 swapFree=7116/7116
[pid=20232] ppid=20230 vsize=355284 CPUtime=1781.96 cores=0,2,4,6
/proc/20232/stat : 20232 (Pueblo) R 20230 20232 18830 0 -1 4202496 92211 0 0 0 178178 18 0 0 20 0 1 0 317628883 363810816 88071 33554432000 134512640 134579096 4289964592 4289963456 134520196 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20232/statm: 88821 88071 228 17 0 88127 0
Current children cumulated CPU time (s) 1781.96
Current children cumulated vsize (KiB) 355284
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20416
/proc/meminfo: memFree=29655788/32873648 swapFree=7116/7116
[pid=20232] ppid=20230 vsize=355284 CPUtime=1800.07 cores=0,2,4,6
/proc/20232/stat : 20232 (Pueblo) R 20230 20232 18830 0 -1 4202496 92211 0 0 0 179989 18 0 0 20 0 1 0 317628883 363810816 88071 33554432000 134512640 134579096 4289964592 4289963424 134517901 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20232/statm: 88821 88071 228 17 0 88127 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 355284
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.08
CPU user time (s): 1799.89
CPU system time (s): 0.186971
CPU usage (%): 99.9817
Max. virtual memory (cumulated for all children) (KiB): 355812
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.89
system time used= 0.186971
maximum resident set size= 352804
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 92211
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= 68
involuntary context switches= 2038
runsolver used 3.49347 second user time and 8.21175 second system time
The end