runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3460988-1307107160/watcher-3460988-1307107160 -o /tmp/evaluation-result-3460988-1307107160/solver-3460988-1307107160 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460988-1307107160.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: 1.92 1.98 1.94 3/327 20428
/proc/meminfo: memFree=23294192/32951124 swapFree=67056304/67111528
[pid=20428] ppid=20426 vsize=5288 CPUtime=0 cores=0,2,4,6
/proc/20428/stat : 20428 (wbo1.6) R 20426 20428 18990 0 -1 4202496 457 0 0 0 0 0 0 0 25 0 1 0 900946574 5414912 410 33554432000 4194304 5714214 140737399409888 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/20428/statm: 1322 411 189 372 0 283 0
[startup+0.0851969 s]
/proc/loadavg: 1.92 1.98 1.94 3/327 20428
/proc/meminfo: memFree=23294192/32951124 swapFree=67056304/67111528
[pid=20428] ppid=20426 vsize=11920 CPUtime=0.08 cores=0,2,4,6
/proc/20428/stat : 20428 (wbo1.6) R 20426 20428 18990 0 -1 4202496 2345 0 0 0 8 0 0 0 25 0 1 0 900946574 12206080 2298 33554432000 4194304 5714214 140737399409888 18446744073709551615 4223079 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/20428/statm: 2980 2298 424 372 0 1941 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 11920
[startup+0.101198 s]
/proc/loadavg: 1.92 1.98 1.94 3/327 20428
/proc/meminfo: memFree=23294192/32951124 swapFree=67056304/67111528
[pid=20428] ppid=20426 vsize=13120 CPUtime=0.09 cores=0,2,4,6
/proc/20428/stat : 20428 (wbo1.6) R 20426 20428 18990 0 -1 4202496 2706 0 0 0 9 0 0 0 25 0 1 0 900946574 13434880 2659 33554432000 4194304 5714214 140737399409888 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/20428/statm: 3280 2660 475 372 0 2241 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13120
[startup+0.301161 s]
/proc/loadavg: 1.92 1.98 1.94 3/327 20428
/proc/meminfo: memFree=23294192/32951124 swapFree=67056304/67111528
[pid=20428] ppid=20426 vsize=39932 CPUtime=0.29 cores=0,2,4,6
/proc/20428/stat : 20428 (wbo1.6) R 20426 20428 18990 0 -1 4202496 10420 0 0 0 28 1 0 0 18 0 1 0 900946574 40890368 9709 33554432000 4194304 5714214 140737399409888 18446744073709551615 4956294 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/20428/statm: 9983 9709 174 372 0 9608 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 39932
[startup+0.701101 s]
/proc/loadavg: 1.92 1.98 1.94 3/327 20428
/proc/meminfo: memFree=23294192/32951124 swapFree=67056304/67111528
[pid=20428] ppid=20426 vsize=39548 CPUtime=0.69 cores=0,2,4,6
/proc/20428/stat : 20428 (wbo1.6) R 20426 20428 18990 0 -1 4202496 10426 0 0 0 68 1 0 0 18 0 1 0 900946574 40497152 9627 33554432000 4194304 5714214 140737399409888 18446744073709551615 4323047 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/20428/statm: 9887 9627 180 372 0 9512 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 39548
[startup+1.50095 s]
/proc/loadavg: 1.92 1.98 1.94 3/328 20429
/proc/meminfo: memFree=23255868/32951124 swapFree=67056304/67111528
[pid=20428] ppid=20426 vsize=39548 CPUtime=1.49 cores=0,2,4,6
/proc/20428/stat : 20428 (wbo1.6) R 20426 20428 18990 0 -1 4202496 10426 0 0 0 148 1 0 0 19 0 1 0 900946574 40497152 9627 33554432000 4194304 5714214 140737399409888 18446744073709551615 4322720 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/20428/statm: 9887 9627 180 372 0 9512 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 39548
[startup+3.10063 s]
/proc/loadavg: 1.92 1.98 1.94 3/328 20429
/proc/meminfo: memFree=23254748/32951124 swapFree=67056304/67111528
[pid=20428] ppid=20426 vsize=39548 CPUtime=3.09 cores=0,2,4,6
/proc/20428/stat : 20428 (wbo1.6) R 20426 20428 18990 0 -1 4202496 10426 0 0 0 308 1 0 0 23 0 1 0 900946574 40497152 9627 33554432000 4194304 5714214 140737399409888 18446744073709551615 4323050 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/20428/statm: 9887 9627 180 372 0 9512 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 39548
[startup+6.30106 s]
/proc/loadavg: 1.93 1.98 1.94 3/328 20429
/proc/meminfo: memFree=23251768/32951124 swapFree=67056304/67111528
[pid=20428] ppid=20426 vsize=39548 CPUtime=6.29 cores=0,2,4,6
/proc/20428/stat : 20428 (wbo1.6) R 20426 20428 18990 0 -1 4202496 10426 0 0 0 628 1 0 0 25 0 1 0 900946574 40497152 9627 33554432000 4194304 5714214 140737399409888 18446744073709551615 4322856 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/20428/statm: 9887 9627 180 372 0 9512 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 39548
[startup+12.7009 s]
/proc/loadavg: 1.93 1.98 1.94 3/328 20429
/proc/meminfo: memFree=23248816/32951124 swapFree=67056304/67111528
[pid=20428] ppid=20426 vsize=39548 CPUtime=12.69 cores=0,2,4,6
/proc/20428/stat : 20428 (wbo1.6) R 20426 20428 18990 0 -1 4202496 10426 0 0 0 1268 1 0 0 25 0 1 0 900946574 40497152 9627 33554432000 4194304 5714214 140737399409888 18446744073709551615 4305272 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/20428/statm: 9887 9627 180 372 0 9512 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 39548
[startup+25.5006 s]
/proc/loadavg: 1.95 1.98 1.94 3/328 20429
/proc/meminfo: memFree=23240616/32951124 swapFree=67056304/67111528
[pid=20428] ppid=20426 vsize=39548 CPUtime=25.49 cores=0,2,4,6
/proc/20428/stat : 20428 (wbo1.6) R 20426 20428 18990 0 -1 4202496 10427 0 0 0 2547 2 0 0 23 0 1 0 900946574 40497152 9628 33554432000 4194304 5714214 140737399409888 18446744073709551615 4322714 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/20428/statm: 9887 9628 180 372 0 9512 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 39548
[startup+51.1009 s]
/proc/loadavg: 1.96 1.98 1.94 3/328 20430
/proc/meminfo: memFree=23227876/32951124 swapFree=67056304/67111528
[pid=20428] ppid=20426 vsize=39548 CPUtime=51.09 cores=0,2,4,6
/proc/20428/stat : 20428 (wbo1.6) R 20426 20428 18990 0 -1 4202496 10427 0 0 0 5106 3 0 0 25 0 1 0 900946574 40497152 9628 33554432000 4194304 5714214 140737399409888 18446744073709551615 4200624 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/20428/statm: 9887 9628 180 372 0 9512 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 39548
[startup+102.312 s]
/proc/loadavg: 1.98 1.98 1.94 3/328 20431
/proc/meminfo: memFree=23201572/32951124 swapFree=67056304/67111528
[pid=20428] ppid=20426 vsize=39548 CPUtime=102.3 cores=0,2,4,6
/proc/20428/stat : 20428 (wbo1.6) R 20426 20428 18990 0 -1 4202496 10427 0 0 0 10224 6 0 0 25 0 1 0 900946574 40497152 9628 33554432000 4194304 5714214 140737399409888 18446744073709551615 4322720 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/20428/statm: 9887 9628 180 372 0 9512 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 39548
[startup+162.301 s]
/proc/loadavg: 2.14 2.02 1.95 3/328 20433
/proc/meminfo: memFree=23168580/32951124 swapFree=67056304/67111528
[pid=20428] ppid=20426 vsize=39824 CPUtime=162.29 cores=0,2,4,6
/proc/20428/stat : 20428 (wbo1.6) R 20426 20428 18990 0 -1 4202496 10481 0 0 0 16219 10 0 0 25 0 1 0 900946574 40779776 9682 33554432000 4194304 5714214 140737399409888 18446744073709551615 4322714 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/20428/statm: 9956 9682 180 372 0 9581 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 39824
[startup+222.301 s]
/proc/loadavg: 2.12 2.03 1.96 3/328 20434
/proc/meminfo: memFree=23134308/32951124 swapFree=67056304/67111528
[pid=20428] ppid=20426 vsize=44048 CPUtime=222.3 cores=0,2,4,6
/proc/20428/stat : 20428 (wbo1.6) R 20426 20428 18990 0 -1 4202496 11523 0 0 0 22214 16 0 0 25 0 1 0 900946574 45105152 10724 33554432000 4194304 5714214 140737399409888 18446744073709551615 4200608 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/20428/statm: 11012 10724 180 372 0 10637 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 44048
[startup+282.301 s]
/proc/loadavg: 2.11 2.04 1.96 3/328 20436
/proc/meminfo: memFree=23100316/32951124 swapFree=67056304/67111528
[pid=20428] ppid=20426 vsize=48396 CPUtime=282.3 cores=0,2,4,6
/proc/20428/stat : 20428 (wbo1.6) R 20426 20428 18990 0 -1 4202496 12580 0 0 0 28209 21 0 0 25 0 1 0 900946574 49557504 11781 33554432000 4194304 5714214 140737399409888 18446744073709551615 4200618 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/20428/statm: 12099 11781 180 372 0 11724 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 48396
[startup+342.301 s]
/proc/loadavg: 2.04 2.03 1.96 3/328 20438
/proc/meminfo: memFree=23060224/32951124 swapFree=67056304/67111528
[pid=20428] ppid=20426 vsize=52740 CPUtime=342.3 cores=0,2,4,6
/proc/20428/stat : 20428 (wbo1.6) R 20426 20428 18990 0 -1 4202496 13643 0 0 0 34204 26 0 0 25 0 1 0 900946574 54005760 12844 33554432000 4194304 5714214 140737399409888 18446744073709551615 4200634 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/20428/statm: 13185 12844 180 372 0 12810 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 52740
[startup+402.301 s]
/proc/loadavg: 2.01 2.02 1.96 3/328 20439
/proc/meminfo: memFree=23025972/32951124 swapFree=67056304/67111528
[pid=20428] ppid=20426 vsize=56680 CPUtime=402.3 cores=0,2,4,6
/proc/20428/stat : 20428 (wbo1.6) R 20426 20428 18990 0 -1 4202496 14643 0 0 0 40198 32 0 0 25 0 1 0 900946574 58040320 13844 33554432000 4194304 5714214 140737399409888 18446744073709551615 4200720 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/20428/statm: 14170 13844 180 372 0 13795 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 56680
[startup+462.301 s]
/proc/loadavg: 1.96 2.00 1.96 3/328 20469
/proc/meminfo: memFree=24025700/32951124 swapFree=67056304/67111528
[pid=20428] ppid=20426 vsize=60792 CPUtime=462.3 cores=0,2,4,6
/proc/20428/stat : 20428 (wbo1.6) R 20426 20428 18990 0 -1 4202496 15651 0 0 0 46194 36 0 0 25 0 1 0 900946574 62251008 14852 33554432000 4194304 5714214 140737399409888 18446744073709551615 4200288 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/20428/statm: 15198 14852 180 372 0 14823 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 60792
[startup+522.301 s]
/proc/loadavg: 1.98 2.00 1.96 3/328 20470
/proc/meminfo: memFree=24020692/32951124 swapFree=67056304/67111528
[pid=20428] ppid=20426 vsize=65256 CPUtime=522.3 cores=0,2,4,6
/proc/20428/stat : 20428 (wbo1.6) R 20426 20428 18990 0 -1 4202496 16784 0 0 0 52189 41 0 0 25 0 1 0 900946574 66822144 15985 33554432000 4194304 5714214 140737399409888 18446744073709551615 4323074 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/20428/statm: 16314 15985 180 372 0 15939 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 65256
[startup+582.301 s]
/proc/loadavg: 1.99 2.00 1.96 3/328 20472
/proc/meminfo: memFree=24017200/32951124 swapFree=67056304/67111528
[pid=20428] ppid=20426 vsize=68844 CPUtime=582.31 cores=0,2,4,6
/proc/20428/stat : 20428 (wbo1.6) R 20426 20428 18990 0 -1 4202496 17652 0 0 0 58184 47 0 0 25 0 1 0 900946574 70496256 16853 33554432000 4194304 5714214 140737399409888 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/20428/statm: 17211 16853 180 372 0 16836 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 68844
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.03 2.01 1.96 3/328 20478
/proc/meminfo: memFree=24002908/32951124 swapFree=67056304/67111528
[pid=20428] ppid=20426 vsize=83272 CPUtime=822.31 cores=0,2,4,6
/proc/20428/stat : 20428 (wbo1.6) R 20426 20428 18990 0 -1 4202496 21250 0 0 0 82166 65 0 0 25 0 1 0 900946574 85270528 20451 33554432000 4194304 5714214 140737399409888 18446744073709551615 4322714 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/20428/statm: 20818 20451 180 372 0 20443 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 83272
[startup+882.301 s]
/proc/loadavg: 2.08 2.02 1.97 3/328 20480
/proc/meminfo: memFree=23995308/32951124 swapFree=67056304/67111528
[pid=20428] ppid=20426 vsize=87528 CPUtime=882.32 cores=0,2,4,6
/proc/20428/stat : 20428 (wbo1.6) R 20426 20428 18990 0 -1 4202496 22321 0 0 0 88162 70 0 0 25 0 1 0 900946574 89628672 21522 33554432000 4194304 5714214 140737399409888 18446744073709551615 4323074 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/20428/statm: 21882 21522 180 372 0 21507 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 87528
[startup+942.301 s]
/proc/loadavg: 2.03 2.02 1.97 4/328 20482
/proc/meminfo: memFree=23989316/32951124 swapFree=67056304/67111528
[pid=20428] ppid=20426 vsize=90696 CPUtime=942.31 cores=0,2,4,6
/proc/20428/stat : 20428 (wbo1.6) R 20426 20428 18990 0 -1 4202496 23108 0 0 0 94157 74 0 0 25 0 1 0 900946574 92872704 22309 33554432000 4194304 5714214 140737399409888 18446744073709551615 4200720 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/20428/statm: 22674 22309 180 372 0 22299 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 90696
[startup+1002.3 s]
/proc/loadavg: 2.01 2.01 1.97 3/328 20483
/proc/meminfo: memFree=23984456/32951124 swapFree=67056304/67111528
[pid=20428] ppid=20426 vsize=94284 CPUtime=1002.31 cores=0,2,4,6
/proc/20428/stat : 20428 (wbo1.6) R 20426 20428 18990 0 -1 4202496 23975 0 0 0 100153 78 0 0 25 0 1 0 900946574 96546816 23176 33554432000 4194304 5714214 140737399409888 18446744073709551615 4322720 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/20428/statm: 23571 23176 180 372 0 23196 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 94284
[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/328 20485
/proc/meminfo: memFree=23977096/32951124 swapFree=67056304/67111528
[pid=20428] ppid=20426 vsize=97876 CPUtime=1062.32 cores=0,2,4,6
/proc/20428/stat : 20428 (wbo1.6) R 20426 20428 18990 0 -1 4202496 24895 0 0 0 106149 83 0 0 25 0 1 0 900946574 100225024 24096 33554432000 4194304 5714214 140737399409888 18446744073709551615 4200634 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/20428/statm: 24469 24096 180 372 0 24094 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 97876
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/328 20486
/proc/meminfo: memFree=23967848/32951124 swapFree=67056304/67111528
[pid=20428] ppid=20426 vsize=103156 CPUtime=1122.32 cores=0,2,4,6
/proc/20428/stat : 20428 (wbo1.6) R 20426 20428 18990 0 -1 4202496 26190 0 0 0 112144 88 0 0 25 0 1 0 900946574 105631744 25391 33554432000 4194304 5714214 140737399409888 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/20428/statm: 25789 25391 180 372 0 25414 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 103156
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/329 20491
/proc/meminfo: memFree=23960592/32951124 swapFree=67056304/67111528
[pid=20428] ppid=20426 vsize=107108 CPUtime=1182.33 cores=0,2,4,6
/proc/20428/stat : 20428 (wbo1.6) R 20426 20428 18990 0 -1 4202496 27185 0 0 0 118140 93 0 0 25 0 1 0 900946574 109678592 26386 33554432000 4194304 5714214 140737399409888 18446744073709551615 4323029 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/20428/statm: 26777 26386 180 372 0 26402 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 107108
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.97 4/328 20493
/proc/meminfo: memFree=23954768/32951124 swapFree=67056304/67111528
[pid=20428] ppid=20426 vsize=110520 CPUtime=1242.33 cores=0,2,4,6
/proc/20428/stat : 20428 (wbo1.6) R 20426 20428 18990 0 -1 4202496 28063 0 0 0 124136 97 0 0 25 0 1 0 900946574 113172480 27264 33554432000 4194304 5714214 140737399409888 18446744073709551615 4323074 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/20428/statm: 27630 27264 180 372 0 27255 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 110520
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/328 20494
/proc/meminfo: memFree=23947284/32951124 swapFree=67056304/67111528
[pid=20428] ppid=20426 vsize=115416 CPUtime=1302.34 cores=0,2,4,6
/proc/20428/stat : 20428 (wbo1.6) R 20426 20428 18990 0 -1 4202496 29248 0 0 0 130131 103 0 0 25 0 1 0 900946574 118185984 28449 33554432000 4194304 5714214 140737399409888 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/20428/statm: 28854 28449 180 372 0 28479 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 115416
[startup+1362.3 s]
/proc/loadavg: 2.05 2.01 1.97 3/328 20496
/proc/meminfo: memFree=23942288/32951124 swapFree=67056304/67111528
[pid=20428] ppid=20426 vsize=118320 CPUtime=1362.33 cores=0,2,4,6
/proc/20428/stat : 20428 (wbo1.6) R 20426 20428 18990 0 -1 4202496 29999 0 0 0 136127 106 0 0 25 0 1 0 900946574 121159680 29200 33554432000 4194304 5714214 140737399409888 18446744073709551615 4322737 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/20428/statm: 29580 29200 180 372 0 29205 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 118320
[startup+1422.31 s]
/proc/loadavg: 2.06 2.02 1.98 3/328 20497
/proc/meminfo: memFree=23937040/32951124 swapFree=67056304/67111528
[pid=20428] ppid=20426 vsize=121544 CPUtime=1422.35 cores=0,2,4,6
/proc/20428/stat : 20428 (wbo1.6) R 20426 20428 18990 0 -1 4202496 30808 0 0 0 142124 111 0 0 25 0 1 0 900946574 124461056 30009 33554432000 4194304 5714214 140737399409888 18446744073709551615 4305259 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/20428/statm: 30386 30009 180 372 0 30011 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 121544
[startup+1482.3 s]
/proc/loadavg: 2.02 2.02 1.98 4/328 20499
/proc/meminfo: memFree=23930932/32951124 swapFree=67056304/67111528
[pid=20428] ppid=20426 vsize=125900 CPUtime=1482.33 cores=0,2,4,6
/proc/20428/stat : 20428 (wbo1.6) R 20426 20428 18990 0 -1 4202496 31865 0 0 0 148117 116 0 0 25 0 1 0 900946574 128921600 31066 33554432000 4194304 5714214 140737399409888 18446744073709551615 4200634 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/20428/statm: 31475 31066 180 372 0 31100 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 125900
[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/328 20501
/proc/meminfo: memFree=23926560/32951124 swapFree=67056304/67111528
[pid=20428] ppid=20426 vsize=129520 CPUtime=1542.33 cores=0,2,4,6
/proc/20428/stat : 20428 (wbo1.6) R 20426 20428 18990 0 -1 4202496 32763 0 0 0 154114 119 0 0 25 0 1 0 900946574 132628480 31964 33554432000 4194304 5714214 140737399409888 18446744073709551615 4976645 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/20428/statm: 32380 31964 180 372 0 32005 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 129520
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/328 20502
/proc/meminfo: memFree=23919572/32951124 swapFree=67056304/67111528
[pid=20428] ppid=20426 vsize=133296 CPUtime=1602.33 cores=0,2,4,6
/proc/20428/stat : 20428 (wbo1.6) R 20426 20428 18990 0 -1 4202496 33706 0 0 0 160110 123 0 0 25 0 1 0 900946574 136495104 32907 33554432000 4194304 5714214 140737399409888 18446744073709551615 4323029 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/20428/statm: 33324 32907 180 372 0 32949 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 133296
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/328 20504
/proc/meminfo: memFree=23910480/32951124 swapFree=67056304/67111528
[pid=20428] ppid=20426 vsize=138412 CPUtime=1662.34 cores=0,2,4,6
/proc/20428/stat : 20428 (wbo1.6) R 20426 20428 18990 0 -1 4202496 35005 0 0 0 166106 128 0 0 25 0 1 0 900946574 141733888 34206 33554432000 4194304 5714214 140737399409888 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/20428/statm: 34603 34206 180 372 0 34228 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 138412
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.98 4/328 20505
/proc/meminfo: memFree=23904004/32951124 swapFree=67056304/67111528
[pid=20428] ppid=20426 vsize=141036 CPUtime=1722.34 cores=0,2,4,6
/proc/20428/stat : 20428 (wbo1.6) R 20426 20428 18990 0 -1 4202496 35618 0 0 0 172101 133 0 0 25 0 1 0 900946574 144420864 34819 33554432000 4194304 5714214 140737399409888 18446744073709551615 4305272 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/20428/statm: 35259 34819 180 372 0 34884 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 141036
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/328 20507
/proc/meminfo: memFree=23895528/32951124 swapFree=67056304/67111528
[pid=20428] ppid=20426 vsize=146580 CPUtime=1782.35 cores=0,2,4,6
/proc/20428/stat : 20428 (wbo1.6) R 20426 20428 18990 0 -1 4202496 37009 0 0 0 178097 138 0 0 25 0 1 0 900946574 150097920 36210 33554432000 4194304 5714214 140737399409888 18446744073709551615 4323072 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/20428/statm: 36645 36210 180 372 0 36270 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 146580
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.98 3/328 20508
/proc/meminfo: memFree=23896128/32951124 swapFree=67056304/67111528
[pid=20428] ppid=20426 vsize=146580 CPUtime=1800.05 cores=0,2,4,6
/proc/20428/stat : 20428 (wbo1.6) R 20426 20428 18990 0 -1 4202496 37010 0 0 0 179866 139 0 0 25 0 1 0 900946574 150097920 36211 33554432000 4194304 5714214 140737399409888 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/20428/statm: 36645 36211 180 372 0 36270 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 146580
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.02
CPU time (s): 1800.07
CPU user time (s): 1798.67
CPU system time (s): 1.40279
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 146580
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.67
system time used= 1.40279
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37010
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= 7
involuntary context switches= 3198
runsolver used 5.82611 second user time and 12.1931 second system time
The end