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-3478993-1307444018/watcher-3478993-1307444018 -o /tmp/evaluation-result-3478993-1307444018/solver-3478993-1307444018 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3478993-1307444018.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 2.00 1.99 2/437 1268
/proc/meminfo: memFree=16547624/32951124 swapFree=50923800/67111528
[pid=1268] ppid=1266 vsize=377044 CPUtime=0 cores=1,3,5,7
/proc/1268/stat : 1268 (wbo1.6) R 1266 1268 656 0 -1 4202496 314 0 0 0 0 0 0 0 23 0 1 0 836818317 386093056 267 33554432000 4194304 5714214 140736249798624 18446744073709551615 4228544 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/1268/statm: 94261 267 177 372 0 151 0
[startup+0.0520681 s]
/proc/loadavg: 1.93 2.00 1.99 2/437 1268
/proc/meminfo: memFree=16547624/32951124 swapFree=50923800/67111528
[pid=1268] ppid=1266 vsize=379512 CPUtime=0.05 cores=1,3,5,7
/proc/1268/stat : 1268 (wbo1.6) R 1266 1268 656 0 -1 4202496 1096 0 0 0 5 0 0 0 23 0 1 0 836818317 388620288 1049 33554432000 4194304 5714214 140736249798624 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/1268/statm: 94878 1050 360 372 0 768 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 379512
[startup+0.101058 s]
/proc/loadavg: 1.93 2.00 1.99 2/437 1268
/proc/meminfo: memFree=16547624/32951124 swapFree=50923800/67111528
[pid=1268] ppid=1266 vsize=381948 CPUtime=0.09 cores=1,3,5,7
/proc/1268/stat : 1268 (wbo1.6) R 1266 1268 656 0 -1 4202496 1930 0 0 0 9 0 0 0 23 0 1 0 836818317 391114752 1850 33554432000 4194304 5714214 140736249798624 18446744073709551615 4228544 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/1268/statm: 95487 1850 564 372 0 1377 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 381948
[startup+0.30102 s]
/proc/loadavg: 1.93 2.00 1.99 2/437 1268
/proc/meminfo: memFree=16547624/32951124 swapFree=50923800/67111528
[pid=1268] ppid=1266 vsize=391284 CPUtime=0.29 cores=1,3,5,7
/proc/1268/stat : 1268 (wbo1.6) R 1266 1268 656 0 -1 4202496 5071 0 0 0 29 0 0 0 25 0 1 0 836818317 400674816 4926 33554432000 4194304 5714214 140736249798624 18446744073709551615 4223098 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/1268/statm: 97821 4928 1351 372 0 3711 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 391284
[startup+0.700937 s]
/proc/loadavg: 1.93 2.00 1.99 2/437 1268
/proc/meminfo: memFree=16547624/32951124 swapFree=50923800/67111528
[pid=1268] ppid=1266 vsize=410716 CPUtime=0.69 cores=1,3,5,7
/proc/1268/stat : 1268 (wbo1.6) R 1266 1268 656 0 -1 4202496 11625 0 0 0 68 1 0 0 25 0 1 0 836818317 420573184 11094 33554432000 4194304 5714214 140736249798624 18446744073709551615 5203122 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/1268/statm: 102679 11094 2947 372 0 8569 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 410716
[startup+1.50079 s]
/proc/loadavg: 2.01 2.01 2.00 3/438 1269
/proc/meminfo: memFree=16507688/32951124 swapFree=50923800/67111528
[pid=1268] ppid=1266 vsize=448072 CPUtime=1.49 cores=1,3,5,7
/proc/1268/stat : 1268 (wbo1.6) R 1266 1268 656 0 -1 4202496 24213 0 0 0 147 2 0 0 25 0 1 0 836818317 458825728 23169 33554432000 4194304 5714214 140736249798624 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/1268/statm: 112018 23170 6222 372 0 17908 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 448072
[startup+3.10046 s]
/proc/loadavg: 2.01 2.01 2.00 3/438 1269
/proc/meminfo: memFree=16457000/32951124 swapFree=50923800/67111528
[pid=1268] ppid=1266 vsize=520852 CPUtime=3.09 cores=1,3,5,7
/proc/1268/stat : 1268 (wbo1.6) R 1266 1268 656 0 -1 4202496 48292 0 0 0 305 4 0 0 25 0 1 0 836818317 533352448 46223 33554432000 4194304 5714214 140736249798624 18446744073709551615 4361238 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/1268/statm: 130213 46225 12528 372 0 36103 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 520852
[startup+6.30083 s]
/proc/loadavg: 2.01 2.01 2.00 3/438 1269
/proc/meminfo: memFree=16325800/32951124 swapFree=50923800/67111528
[pid=1268] ppid=1266 vsize=655812 CPUtime=6.3 cores=1,3,5,7
/proc/1268/stat : 1268 (wbo1.6) R 1266 1268 656 0 -1 4202496 95744 0 0 0 621 9 0 0 25 0 1 0 836818317 671551488 91626 33554432000 4194304 5714214 140736249798624 18446744073709551615 5201899 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/1268/statm: 163953 91626 24949 372 0 69843 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 655812
[startup+12.7006 s]
/proc/loadavg: 2.01 2.01 2.00 3/438 1269
/proc/meminfo: memFree=16056468/32951124 swapFree=50923800/67111528
[pid=1268] ppid=1266 vsize=932552 CPUtime=12.69 cores=1,3,5,7
/proc/1268/stat : 1268 (wbo1.6) R 1266 1268 656 0 -1 4202496 190461 0 0 0 1249 20 0 0 25 0 1 0 836818317 954933248 182246 33554432000 4194304 5714214 140736249798624 18446744073709551615 4345910 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/1268/statm: 233138 182247 51067 372 0 139028 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 932552
[startup+25.501 s]
/proc/loadavg: 2.01 2.01 2.00 3/438 1270
/proc/meminfo: memFree=15351304/32951124 swapFree=50923800/67111528
[pid=1268] ppid=1266 vsize=1292084 CPUtime=25.49 cores=1,3,5,7
/proc/1268/stat : 1268 (wbo1.6) R 1266 1268 656 0 -1 4202496 419840 0 0 0 2502 47 0 0 19 0 1 0 836818317 1323094016 317890 33554432000 4194304 5714214 140736249798624 18446744073709551615 4267104 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/1268/statm: 323021 317890 173 372 0 322646 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1292084
[startup+51.1009 s]
/proc/loadavg: 2.00 2.01 2.00 3/438 1270
/proc/meminfo: memFree=14503856/32951124 swapFree=50923800/67111528
[pid=1268] ppid=1266 vsize=2078220 CPUtime=51.09 cores=1,3,5,7
/proc/1268/stat : 1268 (wbo1.6) R 1266 1268 656 0 -1 4202496 629559 0 0 0 5030 79 0 0 25 0 1 0 836818317 2128097280 512219 33554432000 4194304 5714214 140736249798624 18446744073709551615 4329517 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/1268/statm: 519555 512219 180 372 0 519180 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 2078220
[startup+102.317 s]
/proc/loadavg: 2.04 2.02 2.00 3/438 1272
/proc/meminfo: memFree=14503972/32951124 swapFree=50923800/67111528
[pid=1268] ppid=1266 vsize=2078220 CPUtime=102.31 cores=1,3,5,7
/proc/1268/stat : 1268 (wbo1.6) R 1266 1268 656 0 -1 4202496 629564 0 0 0 10140 91 0 0 25 0 1 0 836818317 2128097280 512224 33554432000 4194304 5714214 140736249798624 18446744073709551615 4319737 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/1268/statm: 519555 512224 180 372 0 519180 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 2078220
[startup+162.301 s]
/proc/loadavg: 2.01 2.01 2.00 3/438 1273
/proc/meminfo: memFree=14503096/32951124 swapFree=50923800/67111528
[pid=1268] ppid=1266 vsize=2078220 CPUtime=162.29 cores=1,3,5,7
/proc/1268/stat : 1268 (wbo1.6) R 1266 1268 656 0 -1 4202496 629589 0 0 0 16125 104 0 0 25 0 1 0 836818317 2128097280 512249 33554432000 4194304 5714214 140736249798624 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/1268/statm: 519555 512249 180 372 0 519180 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 2078220
[startup+222.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/438 1275
/proc/meminfo: memFree=14503592/32951124 swapFree=50923800/67111528
[pid=1268] ppid=1266 vsize=2078220 CPUtime=222.29 cores=1,3,5,7
/proc/1268/stat : 1268 (wbo1.6) R 1266 1268 656 0 -1 4202496 629609 0 0 0 22109 120 0 0 25 0 1 0 836818317 2128097280 512269 33554432000 4194304 5714214 140736249798624 18446744073709551615 4322647 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/1268/statm: 519555 512269 180 372 0 519180 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 2078220
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/438 1277
/proc/meminfo: memFree=14503344/32951124 swapFree=50923800/67111528
[pid=1268] ppid=1266 vsize=2078220 CPUtime=282.3 cores=1,3,5,7
/proc/1268/stat : 1268 (wbo1.6) R 1266 1268 656 0 -1 4202496 629660 0 0 0 28094 136 0 0 25 0 1 0 836818317 2128097280 512320 33554432000 4194304 5714214 140736249798624 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/1268/statm: 519555 512320 180 372 0 519180 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 2078220
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/438 1278
/proc/meminfo: memFree=14502520/32951124 swapFree=50923800/67111528
[pid=1268] ppid=1266 vsize=2078220 CPUtime=342.3 cores=1,3,5,7
/proc/1268/stat : 1268 (wbo1.6) R 1266 1268 656 0 -1 4202496 629794 0 0 0 34082 148 0 0 25 0 1 0 836818317 2128097280 512454 33554432000 4194304 5714214 140736249798624 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/1268/statm: 519555 512454 180 372 0 519180 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 2078220
[startup+402.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/438 1280
/proc/meminfo: memFree=14500444/32951124 swapFree=50923800/67111528
[pid=1268] ppid=1266 vsize=2078220 CPUtime=402.29 cores=1,3,5,7
/proc/1268/stat : 1268 (wbo1.6) R 1266 1268 656 0 -1 4202496 629960 0 0 0 40069 160 0 0 25 0 1 0 836818317 2128097280 512620 33554432000 4194304 5714214 140736249798624 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/1268/statm: 519555 512620 180 372 0 519180 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 2078220
[startup+462.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/438 1290
/proc/meminfo: memFree=14499892/32951124 swapFree=50923800/67111528
[pid=1268] ppid=1266 vsize=2078220 CPUtime=462.3 cores=1,3,5,7
/proc/1268/stat : 1268 (wbo1.6) R 1266 1268 656 0 -1 4202496 630108 0 0 0 46059 171 0 0 25 0 1 0 836818317 2128097280 512768 33554432000 4194304 5714214 140736249798624 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/1268/statm: 519555 512768 180 372 0 519180 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 2078220
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/438 1292
/proc/meminfo: memFree=14499316/32951124 swapFree=50923800/67111528
[pid=1268] ppid=1266 vsize=2078220 CPUtime=522.29 cores=1,3,5,7
/proc/1268/stat : 1268 (wbo1.6) R 1266 1268 656 0 -1 4202496 630201 0 0 0 52047 182 0 0 25 0 1 0 836818317 2128097280 512861 33554432000 4194304 5714214 140736249798624 18446744073709551615 4319878 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/1268/statm: 519555 512861 180 372 0 519180 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 2078220
[startup+582.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/438 1294
/proc/meminfo: memFree=14499168/32951124 swapFree=50923800/67111528
[pid=1268] ppid=1266 vsize=2078220 CPUtime=582.3 cores=1,3,5,7
/proc/1268/stat : 1268 (wbo1.6) R 1266 1268 656 0 -1 4202496 630261 0 0 0 58035 195 0 0 25 0 1 0 836818317 2128097280 512921 33554432000 4194304 5714214 140736249798624 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/1268/statm: 519555 512921 180 372 0 519180 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 2078220
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/438 1300
/proc/meminfo: memFree=14489260/32951124 swapFree=50923800/67111528
[pid=1268] ppid=1266 vsize=2078220 CPUtime=822.3 cores=1,3,5,7
/proc/1268/stat : 1268 (wbo1.6) R 1266 1268 656 0 -1 4202496 632444 0 0 0 81983 247 0 0 25 0 1 0 836818317 2128097280 515104 33554432000 4194304 5714214 140736249798624 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/1268/statm: 519555 515104 180 372 0 519180 0
Current children cumulated CPU time (s) 822.3
Current children cumulated vsize (KiB) 2078220
[startup+882.301 s]
/proc/loadavg: 2.08 2.02 2.01 3/438 1302
/proc/meminfo: memFree=14469624/32951124 swapFree=50923800/67111528
[pid=1268] ppid=1266 vsize=2097048 CPUtime=882.3 cores=1,3,5,7
/proc/1268/stat : 1268 (wbo1.6) R 1266 1268 656 0 -1 4202496 637270 0 0 0 87970 260 0 0 25 0 1 0 836818317 2147377152 519930 33554432000 4194304 5714214 140736249798624 18446744073709551615 4305181 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/1268/statm: 524262 519930 180 372 0 523887 0
Current children cumulated CPU time (s) 882.3
Current children cumulated vsize (KiB) 2097048
[startup+942.301 s]
/proc/loadavg: 2.03 2.01 2.00 3/438 1303
/proc/meminfo: memFree=14436988/32951124 swapFree=50923800/67111528
[pid=1268] ppid=1266 vsize=2131324 CPUtime=942.3 cores=1,3,5,7
/proc/1268/stat : 1268 (wbo1.6) R 1266 1268 656 0 -1 4202496 645481 0 0 0 93953 277 0 0 25 0 1 0 836818317 2182475776 528141 33554432000 4194304 5714214 140736249798624 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/1268/statm: 532831 528141 180 372 0 532456 0
Current children cumulated CPU time (s) 942.3
Current children cumulated vsize (KiB) 2131324
[startup+1002.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/435 1363
/proc/meminfo: memFree=21734400/32951124 swapFree=50923800/67111528
[pid=1268] ppid=1266 vsize=2162804 CPUtime=1002.31 cores=1,3,5,7
/proc/1268/stat : 1268 (wbo1.6) R 1266 1268 656 0 -1 4202496 652842 0 0 0 99940 291 0 0 25 0 1 0 836818317 2214711296 535502 33554432000 4194304 5714214 140736249798624 18446744073709551615 4322761 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/1268/statm: 540701 535502 180 372 0 540326 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 2162804
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/438 1388
/proc/meminfo: memFree=21696972/32951124 swapFree=50923800/67111528
[pid=1268] ppid=1266 vsize=2190300 CPUtime=1062.31 cores=1,3,5,7
/proc/1268/stat : 1268 (wbo1.6) R 1266 1268 656 0 -1 4202496 659470 0 0 0 105927 304 0 0 25 0 1 0 836818317 2242867200 542130 33554432000 4194304 5714214 140736249798624 18446744073709551615 4322687 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/1268/statm: 547575 542130 180 372 0 547200 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 2190300
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/438 1390
/proc/meminfo: memFree=21634312/32951124 swapFree=50923800/67111528
[pid=1268] ppid=1266 vsize=2223868 CPUtime=1122.3 cores=1,3,5,7
/proc/1268/stat : 1268 (wbo1.6) R 1266 1268 656 0 -1 4202496 667753 0 0 0 111911 319 0 0 25 0 1 0 836818317 2277240832 550413 33554432000 4194304 5714214 140736249798624 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/1268/statm: 555967 550413 180 372 0 555592 0
Current children cumulated CPU time (s) 1122.3
Current children cumulated vsize (KiB) 2223868
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/438 1392
/proc/meminfo: memFree=21572272/32951124 swapFree=50923800/67111528
[pid=1268] ppid=1266 vsize=2249080 CPUtime=1182.3 cores=1,3,5,7
/proc/1268/stat : 1268 (wbo1.6) R 1266 1268 656 0 -1 4202496 673853 0 0 0 117897 333 0 0 25 0 1 0 836818317 2303057920 556513 33554432000 4194304 5714214 140736249798624 18446744073709551615 4319341 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/1268/statm: 562270 556513 180 372 0 561895 0
Current children cumulated CPU time (s) 1182.3
Current children cumulated vsize (KiB) 2249080
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/438 1393
/proc/meminfo: memFree=21491496/32951124 swapFree=50923800/67111528
[pid=1268] ppid=1266 vsize=2275860 CPUtime=1242.3 cores=1,3,5,7
/proc/1268/stat : 1268 (wbo1.6) R 1266 1268 656 0 -1 4202496 680450 0 0 0 123886 344 0 0 25 0 1 0 836818317 2330480640 563110 33554432000 4194304 5714214 140736249798624 18446744073709551615 4305163 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/1268/statm: 568965 563110 180 372 0 568590 0
Current children cumulated CPU time (s) 1242.3
Current children cumulated vsize (KiB) 2275860
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/438 1395
/proc/meminfo: memFree=21395328/32951124 swapFree=50923800/67111528
[pid=1268] ppid=1266 vsize=2308784 CPUtime=1302.32 cores=1,3,5,7
/proc/1268/stat : 1268 (wbo1.6) R 1266 1268 656 0 -1 4202496 688687 0 0 0 129872 360 0 0 25 0 1 0 836818317 2364194816 571347 33554432000 4194304 5714214 140736249798624 18446744073709551615 4309121 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/1268/statm: 577196 571347 180 372 0 576821 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 2308784
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/438 1396
/proc/meminfo: memFree=21299784/32951124 swapFree=50923800/67111528
[pid=1268] ppid=1266 vsize=2345208 CPUtime=1362.31 cores=1,3,5,7
/proc/1268/stat : 1268 (wbo1.6) R 1266 1268 656 0 -1 4202496 697772 0 0 0 135861 370 0 0 25 0 1 0 836818317 2401492992 580432 33554432000 4194304 5714214 140736249798624 18446744073709551615 4319446 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/1268/statm: 586302 580432 180 372 0 585927 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 2345208
[startup+1422.32 s]
/proc/loadavg: 2.12 2.03 2.01 3/438 1398
/proc/meminfo: memFree=21204116/32951124 swapFree=50923800/67111528
[pid=1268] ppid=1266 vsize=2380028 CPUtime=1422.33 cores=1,3,5,7
/proc/1268/stat : 1268 (wbo1.6) R 1266 1268 656 0 -1 4202496 706453 0 0 0 141854 379 0 0 25 0 1 0 836818317 2437148672 589113 33554432000 4194304 5714214 140736249798624 18446744073709551615 4319384 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/1268/statm: 595007 589113 180 372 0 594632 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 2380028
[startup+1482.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/438 1400
/proc/meminfo: memFree=21121996/32951124 swapFree=50923800/67111528
[pid=1268] ppid=1266 vsize=2412264 CPUtime=1482.31 cores=1,3,5,7
/proc/1268/stat : 1268 (wbo1.6) R 1266 1268 656 0 -1 4202496 714485 0 0 0 147842 389 0 0 25 0 1 0 836818317 2470158336 597145 33554432000 4194304 5714214 140736249798624 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/1268/statm: 603066 597145 180 372 0 602691 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 2412264
[startup+1542.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/438 1401
/proc/meminfo: memFree=21047164/32951124 swapFree=50923800/67111528
[pid=1268] ppid=1266 vsize=2439888 CPUtime=1542.31 cores=1,3,5,7
/proc/1268/stat : 1268 (wbo1.6) R 1266 1268 656 0 -1 4202496 721343 0 0 0 153825 406 0 0 25 0 1 0 836818317 2498445312 604003 33554432000 4194304 5714214 140736249798624 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/1268/statm: 609972 604003 180 372 0 609597 0
Current children cumulated CPU time (s) 1542.31
Current children cumulated vsize (KiB) 2439888
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/438 1403
/proc/meminfo: memFree=20978564/32951124 swapFree=50923800/67111528
[pid=1268] ppid=1266 vsize=2471748 CPUtime=1602.31 cores=1,3,5,7
/proc/1268/stat : 1268 (wbo1.6) R 1266 1268 656 0 -1 4202496 729137 0 0 0 159812 419 0 0 25 0 1 0 836818317 2531069952 611797 33554432000 4194304 5714214 140736249798624 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/1268/statm: 617937 611797 180 372 0 617562 0
Current children cumulated CPU time (s) 1602.31
Current children cumulated vsize (KiB) 2471748
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/438 1404
/proc/meminfo: memFree=20919744/32951124 swapFree=50923800/67111528
[pid=1268] ppid=1266 vsize=2501120 CPUtime=1662.32 cores=1,3,5,7
/proc/1268/stat : 1268 (wbo1.6) R 1266 1268 656 0 -1 4202496 736072 0 0 0 165802 430 0 0 25 0 1 0 836818317 2561146880 618732 33554432000 4194304 5714214 140736249798624 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/1268/statm: 625280 618732 180 372 0 624905 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 2501120
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/438 1406
/proc/meminfo: memFree=20846692/32951124 swapFree=50923800/67111528
[pid=1268] ppid=1266 vsize=2526460 CPUtime=1722.32 cores=1,3,5,7
/proc/1268/stat : 1268 (wbo1.6) R 1266 1268 656 0 -1 4202496 741772 0 0 0 171794 438 0 0 25 0 1 0 836818317 2587095040 624432 33554432000 4194304 5714214 140736249798624 18446744073709551615 4319768 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/1268/statm: 631615 624432 180 372 0 631240 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 2526460
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/438 1408
/proc/meminfo: memFree=20778968/32951124 swapFree=50923800/67111528
[pid=1268] ppid=1266 vsize=2551716 CPUtime=1782.31 cores=1,3,5,7
/proc/1268/stat : 1268 (wbo1.6) R 1266 1268 656 0 -1 4202496 747754 0 0 0 177784 447 0 0 25 0 1 0 836818317 2612957184 630414 33554432000 4194304 5714214 140736249798624 18446744073709551615 4319337 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/1268/statm: 637929 630414 180 372 0 637554 0
Current children cumulated CPU time (s) 1782.31
Current children cumulated vsize (KiB) 2551716
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/438 1408
/proc/meminfo: memFree=20755528/32951124 swapFree=50923800/67111528
[pid=1268] ppid=1266 vsize=2558296 CPUtime=1800.02 cores=1,3,5,7
/proc/1268/stat : 1268 (wbo1.6) R 1266 1268 656 0 -1 4202496 749357 0 0 0 179554 448 0 0 25 0 1 0 836818317 2619695104 632017 33554432000 4194304 5714214 140736249798624 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/1268/statm: 639574 632017 180 372 0 639199 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 2558296
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.12
CPU time (s): 1800.14
CPU user time (s): 1795.55
CPU system time (s): 4.5863
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 2558296
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.55
system time used= 4.5863
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 749359
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= 8
involuntary context switches= 20182
runsolver used 7.73982 second user time and 18.2532 second system time
The end