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-3461537-1307104376/watcher-3461537-1307104376 -o /tmp/evaluation-result-3461537-1307104376/solver-3461537-1307104376 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461537-1307104376.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: 2.02 2.02 2.00 3/443 14564
/proc/meminfo: memFree=29090204/32950928 swapFree=52246700/67111528
[pid=14564] ppid=14562 vsize=2104 CPUtime=0 cores=1,3,5,7
/proc/14564/stat : 14564 (wbo1.6) R 14562 14564 13866 0 -1 4202496 314 0 0 0 0 0 0 0 22 0 1 0 900668300 2154496 265 33554432000 4194304 5714214 140736102979680 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14564/statm: 526 265 180 372 0 151 0
[startup+0.0451861 s]
/proc/loadavg: 2.02 2.02 2.00 3/443 14564
/proc/meminfo: memFree=29090204/32950928 swapFree=52246700/67111528
[pid=14564] ppid=14562 vsize=2504 CPUtime=0.03 cores=1,3,5,7
/proc/14564/stat : 14564 (wbo1.6) R 14562 14564 13866 0 -1 4202496 429 0 0 0 3 0 0 0 22 0 1 0 900668300 2564096 380 33554432000 4194304 5714214 140736102979680 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14564/statm: 626 380 180 372 0 251 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 2504
[startup+0.100178 s]
/proc/loadavg: 2.02 2.02 2.00 3/443 14564
/proc/meminfo: memFree=29090204/32950928 swapFree=52246700/67111528
[pid=14564] ppid=14562 vsize=3168 CPUtime=0.09 cores=1,3,5,7
/proc/14564/stat : 14564 (wbo1.6) R 14562 14564 13866 0 -1 4202496 578 0 0 0 9 0 0 0 22 0 1 0 900668300 3244032 529 33554432000 4194304 5714214 140736102979680 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14564/statm: 792 529 180 372 0 417 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3168
[startup+0.30014 s]
/proc/loadavg: 2.02 2.02 2.00 3/443 14564
/proc/meminfo: memFree=29090204/32950928 swapFree=52246700/67111528
[pid=14564] ppid=14562 vsize=4108 CPUtime=0.29 cores=1,3,5,7
/proc/14564/stat : 14564 (wbo1.6) R 14562 14564 13866 0 -1 4202496 830 0 0 0 28 1 0 0 23 0 1 0 900668300 4206592 781 33554432000 4194304 5714214 140736102979680 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14564/statm: 1027 781 180 372 0 652 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4108
[startup+0.701055 s]
/proc/loadavg: 2.02 2.02 2.00 3/443 14564
/proc/meminfo: memFree=29090204/32950928 swapFree=52246700/67111528
[pid=14564] ppid=14562 vsize=6396 CPUtime=0.69 cores=1,3,5,7
/proc/14564/stat : 14564 (wbo1.6) R 14562 14564 13866 0 -1 4202496 1390 0 0 0 67 2 0 0 25 0 1 0 900668300 6549504 1341 33554432000 4194304 5714214 140736102979680 18446744073709551615 4320115 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14564/statm: 1599 1341 180 372 0 1224 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6396
[startup+1.50092 s]
/proc/loadavg: 2.02 2.02 2.00 3/444 14565
/proc/meminfo: memFree=29083624/32950928 swapFree=52246700/67111528
[pid=14564] ppid=14562 vsize=9760 CPUtime=1.49 cores=1,3,5,7
/proc/14564/stat : 14564 (wbo1.6) R 14562 14564 13866 0 -1 4202496 2207 0 0 0 145 4 0 0 25 0 1 0 900668300 9994240 2158 33554432000 4194304 5714214 140736102979680 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14564/statm: 2440 2158 180 372 0 2065 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9760
[startup+3.10061 s]
/proc/loadavg: 2.02 2.02 2.00 3/444 14565
/proc/meminfo: memFree=29079900/32950928 swapFree=52246700/67111528
[pid=14564] ppid=14562 vsize=13364 CPUtime=3.08 cores=1,3,5,7
/proc/14564/stat : 14564 (wbo1.6) R 14562 14564 13866 0 -1 4202496 3096 0 0 0 302 6 0 0 25 0 1 0 900668300 13684736 3047 33554432000 4194304 5714214 140736102979680 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14564/statm: 3341 3047 180 372 0 2966 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 13364
[startup+6.30102 s]
/proc/loadavg: 2.02 2.02 2.00 3/444 14565
/proc/meminfo: memFree=29068276/32950928 swapFree=52246700/67111528
[pid=14564] ppid=14562 vsize=20296 CPUtime=6.29 cores=1,3,5,7
/proc/14564/stat : 14564 (wbo1.6) R 14562 14564 13866 0 -1 4202496 4842 0 0 0 618 11 0 0 25 0 1 0 900668300 20783104 4793 33554432000 4194304 5714214 140736102979680 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14564/statm: 5074 4793 180 372 0 4699 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 20296
[startup+12.7008 s]
/proc/loadavg: 2.02 2.02 2.00 3/444 14565
/proc/meminfo: memFree=29050824/32950928 swapFree=52246700/67111528
[pid=14564] ppid=14562 vsize=32368 CPUtime=12.68 cores=1,3,5,7
/proc/14564/stat : 14564 (wbo1.6) R 14562 14564 13866 0 -1 4202496 7792 0 0 0 1250 18 0 0 25 0 1 0 900668300 33144832 7743 33554432000 4194304 5714214 140736102979680 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14564/statm: 8092 7743 180 372 0 7717 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 32368
[startup+25.5004 s]
/proc/loadavg: 2.01 2.02 2.00 3/444 14565
/proc/meminfo: memFree=29029620/32950928 swapFree=52246700/67111528
[pid=14564] ppid=14562 vsize=47332 CPUtime=25.49 cores=1,3,5,7
/proc/14564/stat : 14564 (wbo1.6) R 14562 14564 13866 0 -1 4202496 11675 0 0 0 2515 34 0 0 25 0 1 0 900668300 48467968 11463 33554432000 4194304 5714214 140736102979680 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14564/statm: 11833 11463 180 372 0 11458 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 47332
[startup+51.1006 s]
/proc/loadavg: 1.93 2.00 1.99 3/444 14594
/proc/meminfo: memFree=29873612/32950928 swapFree=52246700/67111528
[pid=14564] ppid=14562 vsize=54384 CPUtime=51.09 cores=1,3,5,7
/proc/14564/stat : 14564 (wbo1.6) R 14562 14564 13866 0 -1 4202496 13513 0 0 0 5047 62 0 0 25 0 1 0 900668300 55689216 13301 33554432000 4194304 5714214 140736102979680 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14564/statm: 13596 13301 180 372 0 13221 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 54384
[startup+102.317 s]
/proc/loadavg: 1.97 2.00 1.99 3/444 14595
/proc/meminfo: memFree=29756828/32950928 swapFree=52246700/67111528
[pid=14564] ppid=14562 vsize=103664 CPUtime=102.31 cores=1,3,5,7
/proc/14564/stat : 14564 (wbo1.6) R 14562 14564 13866 0 -1 4202496 25500 0 0 0 10113 118 0 0 25 0 1 0 900668300 106151936 25288 33554432000 4194304 5714214 140736102979680 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14564/statm: 25916 25288 180 372 0 25541 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 103664
[startup+162.301 s]
/proc/loadavg: 1.99 2.00 1.99 3/444 14597
/proc/meminfo: memFree=29684844/32950928 swapFree=52246700/67111528
[pid=14564] ppid=14562 vsize=146564 CPUtime=162.3 cores=1,3,5,7
/proc/14564/stat : 14564 (wbo1.6) R 14562 14564 13866 0 -1 4202496 36024 0 0 0 16060 170 0 0 25 0 1 0 900668300 150081536 35812 33554432000 4194304 5714214 140736102979680 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14564/statm: 36641 35812 180 372 0 36266 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 146564
[startup+222.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/444 14598
/proc/meminfo: memFree=29591544/32950928 swapFree=52246700/67111528
[pid=14564] ppid=14562 vsize=193688 CPUtime=222.29 cores=1,3,5,7
/proc/14564/stat : 14564 (wbo1.6) R 14562 14564 13866 0 -1 4202496 47480 0 0 0 22001 228 0 0 25 0 1 0 900668300 198336512 47268 33554432000 4194304 5714214 140736102979680 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14564/statm: 48422 47268 180 372 0 48047 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 193688
[startup+282.301 s]
/proc/loadavg: 1.99 2.00 1.99 3/444 14600
/proc/meminfo: memFree=29540024/32950928 swapFree=52246700/67111528
[pid=14564] ppid=14562 vsize=232476 CPUtime=282.3 cores=1,3,5,7
/proc/14564/stat : 14564 (wbo1.6) R 14562 14564 13866 0 -1 4202496 56876 0 0 0 27957 273 0 0 25 0 1 0 900668300 238055424 56664 33554432000 4194304 5714214 140736102979680 18446744073709551615 4319446 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14564/statm: 58119 56664 180 372 0 57744 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 232476
[startup+342.301 s]
/proc/loadavg: 1.99 2.00 1.99 3/444 14602
/proc/meminfo: memFree=29493224/32950928 swapFree=52246700/67111528
[pid=14564] ppid=14562 vsize=271924 CPUtime=342.3 cores=1,3,5,7
/proc/14564/stat : 14564 (wbo1.6) R 14562 14564 13866 0 -1 4202496 66626 0 0 0 33910 320 0 0 25 0 1 0 900668300 278450176 66414 33554432000 4194304 5714214 140736102979680 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14564/statm: 67981 66414 180 372 0 67606 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 271924
[startup+402.301 s]
/proc/loadavg: 2.04 2.01 2.00 3/444 14606
/proc/meminfo: memFree=29430348/32950928 swapFree=52246700/67111528
[pid=14564] ppid=14562 vsize=310280 CPUtime=402.3 cores=1,3,5,7
/proc/14564/stat : 14564 (wbo1.6) R 14562 14564 13866 0 -1 4202496 76191 0 0 0 39855 375 0 0 25 0 1 0 900668300 317726720 75979 33554432000 4194304 5714214 140736102979680 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14564/statm: 77570 75979 180 372 0 77195 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 310280
[startup+462.3 s]
/proc/loadavg: 2.17 2.04 2.01 3/444 14608
/proc/meminfo: memFree=29363840/32950928 swapFree=52246700/67111528
[pid=14564] ppid=14562 vsize=355036 CPUtime=462.3 cores=1,3,5,7
/proc/14564/stat : 14564 (wbo1.6) R 14562 14564 13866 0 -1 4202496 87296 0 0 0 45791 439 0 0 25 0 1 0 900668300 363556864 87084 33554432000 4194304 5714214 140736102979680 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14564/statm: 88759 87084 180 372 0 88384 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 355036
[startup+522.301 s]
/proc/loadavg: 2.13 2.04 2.01 3/444 14609
/proc/meminfo: memFree=29295228/32950928 swapFree=52246700/67111528
[pid=14564] ppid=14562 vsize=392332 CPUtime=522.31 cores=1,3,5,7
/proc/14564/stat : 14564 (wbo1.6) R 14562 14564 13866 0 -1 4202496 96533 0 0 0 51739 492 0 0 25 0 1 0 900668300 401747968 96321 33554432000 4194304 5714214 140736102979680 18446744073709551615 4319364 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14564/statm: 98083 96321 180 372 0 97708 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 392332
[startup+582.301 s]
/proc/loadavg: 2.05 2.03 2.00 3/444 14611
/proc/meminfo: memFree=29209720/32950928 swapFree=52246700/67111528
[pid=14564] ppid=14562 vsize=433128 CPUtime=582.31 cores=1,3,5,7
/proc/14564/stat : 14564 (wbo1.6) R 14562 14564 13866 0 -1 4202496 106581 0 0 0 57686 545 0 0 25 0 1 0 900668300 443523072 106369 33554432000 4194304 5714214 140736102979680 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14564/statm: 108282 106369 180 372 0 107907 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 433128
[startup+642.3 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/444 14617
/proc/meminfo: memFree=29046472/32950928 swapFree=52246700/67111528
[pid=14564] ppid=14562 vsize=581224 CPUtime=822.32 cores=1,3,5,7
/proc/14564/stat : 14564 (wbo1.6) R 14562 14564 13866 0 -1 4202496 143149 0 0 0 81477 755 0 0 25 0 1 0 900668300 595173376 142937 33554432000 4194304 5714214 140736102979680 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14564/statm: 145306 142937 180 372 0 144931 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 581224
[startup+882.3 s]
/proc/loadavg: 2.15 2.03 2.01 3/444 14619
/proc/meminfo: memFree=29005748/32950928 swapFree=52246700/67111528
[pid=14564] ppid=14562 vsize=620080 CPUtime=882.32 cores=1,3,5,7
/proc/14564/stat : 14564 (wbo1.6) R 14562 14564 13866 0 -1 4202496 152852 0 0 0 87432 800 0 0 25 0 1 0 900668300 634961920 152640 33554432000 4194304 5714214 140736102979680 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14564/statm: 155020 152640 180 372 0 154645 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 620080
[startup+942.301 s]
/proc/loadavg: 2.12 2.04 2.01 3/444 14621
/proc/meminfo: memFree=28969344/32950928 swapFree=52246700/67111528
[pid=14564] ppid=14562 vsize=657580 CPUtime=942.32 cores=1,3,5,7
/proc/14564/stat : 14564 (wbo1.6) R 14562 14564 13866 0 -1 4202496 162117 0 0 0 93381 851 0 0 25 0 1 0 900668300 673361920 161905 33554432000 4194304 5714214 140736102979680 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14564/statm: 164395 161905 180 372 0 164020 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 657580
[startup+1002.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/444 14622
/proc/meminfo: memFree=28933460/32950928 swapFree=52246700/67111528
[pid=14564] ppid=14562 vsize=694112 CPUtime=1002.32 cores=1,3,5,7
/proc/14564/stat : 14564 (wbo1.6) R 14562 14564 13866 0 -1 4202496 171115 0 0 0 99334 898 0 0 25 0 1 0 900668300 710770688 170903 33554432000 4194304 5714214 140736102979680 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14564/statm: 173528 170903 180 372 0 173153 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 694112
[startup+1062.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/444 14624
/proc/meminfo: memFree=28896444/32950928 swapFree=52246700/67111528
[pid=14564] ppid=14562 vsize=731124 CPUtime=1062.32 cores=1,3,5,7
/proc/14564/stat : 14564 (wbo1.6) R 14562 14564 13866 0 -1 4202496 180330 0 0 0 105286 946 0 0 25 0 1 0 900668300 748670976 180118 33554432000 4194304 5714214 140736102979680 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14564/statm: 182781 180118 180 372 0 182406 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 731124
[startup+1122.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/444 14625
/proc/meminfo: memFree=28862656/32950928 swapFree=52246700/67111528
[pid=14564] ppid=14562 vsize=764500 CPUtime=1122.33 cores=1,3,5,7
/proc/14564/stat : 14564 (wbo1.6) R 14562 14564 13866 0 -1 4202496 188617 0 0 0 111239 994 0 0 25 0 1 0 900668300 782848000 188405 33554432000 4194304 5714214 140736102979680 18446744073709551615 4319251 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14564/statm: 191125 188405 180 372 0 190750 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 764500
[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/444 14627
/proc/meminfo: memFree=28806564/32950928 swapFree=52246700/67111528
[pid=14564] ppid=14562 vsize=797028 CPUtime=1182.33 cores=1,3,5,7
/proc/14564/stat : 14564 (wbo1.6) R 14562 14564 13866 0 -1 4202496 196644 0 0 0 117202 1031 0 0 25 0 1 0 900668300 816156672 196432 33554432000 4194304 5714214 140736102979680 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14564/statm: 199257 196432 180 372 0 198882 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 797028
[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/444 14629
/proc/meminfo: memFree=28758756/32950928 swapFree=52246700/67111528
[pid=14564] ppid=14562 vsize=826516 CPUtime=1242.33 cores=1,3,5,7
/proc/14564/stat : 14564 (wbo1.6) R 14562 14564 13866 0 -1 4202496 203972 0 0 0 123160 1073 0 0 25 0 1 0 900668300 846352384 203760 33554432000 4194304 5714214 140736102979680 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14564/statm: 206629 203760 180 372 0 206254 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 826516
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/444 14630
/proc/meminfo: memFree=28693112/32950928 swapFree=52246700/67111528
[pid=14564] ppid=14562 vsize=861152 CPUtime=1302.34 cores=1,3,5,7
/proc/14564/stat : 14564 (wbo1.6) R 14562 14564 13866 0 -1 4202496 212609 0 0 0 129115 1119 0 0 25 0 1 0 900668300 881819648 212397 33554432000 4194304 5714214 140736102979680 18446744073709551615 4300287 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14564/statm: 215288 212397 180 372 0 214913 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 861152
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/444 14632
/proc/meminfo: memFree=28643720/32950928 swapFree=52246700/67111528
[pid=14564] ppid=14562 vsize=893532 CPUtime=1362.33 cores=1,3,5,7
/proc/14564/stat : 14564 (wbo1.6) R 14562 14564 13866 0 -1 4202496 220622 0 0 0 135070 1163 0 0 25 0 1 0 900668300 914976768 220410 33554432000 4194304 5714214 140736102979680 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14564/statm: 223383 220410 180 372 0 223008 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 893532
[startup+1422.32 s]
/proc/loadavg: 2.00 2.00 2.00 3/444 14633
/proc/meminfo: memFree=28600404/32950928 swapFree=52246700/67111528
[pid=14564] ppid=14562 vsize=924208 CPUtime=1422.36 cores=1,3,5,7
/proc/14564/stat : 14564 (wbo1.6) R 14562 14564 13866 0 -1 4202496 228244 0 0 0 141031 1205 0 0 25 0 1 0 900668300 946388992 228032 33554432000 4194304 5714214 140736102979680 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14564/statm: 231052 228032 180 372 0 230677 0
Current children cumulated CPU time (s) 1422.36
Current children cumulated vsize (KiB) 924208
[startup+1482.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/444 14635
/proc/meminfo: memFree=28566132/32950928 swapFree=52246700/67111528
[pid=14564] ppid=14562 vsize=958008 CPUtime=1482.34 cores=1,3,5,7
/proc/14564/stat : 14564 (wbo1.6) R 14562 14564 13866 0 -1 4202496 236616 0 0 0 146982 1252 0 0 25 0 1 0 900668300 981000192 236404 33554432000 4194304 5714214 140736102979680 18446744073709551615 4319434 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14564/statm: 239502 236404 180 372 0 239127 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 958008
[startup+1542.3 s]
/proc/loadavg: 2.14 2.04 2.01 3/444 14637
/proc/meminfo: memFree=28537428/32950928 swapFree=52246700/67111528
[pid=14564] ppid=14562 vsize=987984 CPUtime=1542.34 cores=1,3,5,7
/proc/14564/stat : 14564 (wbo1.6) R 14562 14564 13866 0 -1 4202496 244052 0 0 0 152941 1293 0 0 25 0 1 0 900668300 1011695616 243840 33554432000 4194304 5714214 140736102979680 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14564/statm: 246996 243840 180 372 0 246621 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 987984
[startup+1602.3 s]
/proc/loadavg: 2.10 2.04 2.01 3/444 14638
/proc/meminfo: memFree=28495100/32950928 swapFree=52246700/67111528
[pid=14564] ppid=14562 vsize=1016856 CPUtime=1602.35 cores=1,3,5,7
/proc/14564/stat : 14564 (wbo1.6) R 14562 14564 13866 0 -1 4202496 251240 0 0 0 158907 1328 0 0 25 0 1 0 900668300 1041260544 251028 33554432000 4194304 5714214 140736102979680 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14564/statm: 254214 251028 180 372 0 253839 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 1016856
[startup+1662.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/444 14640
/proc/meminfo: memFree=28461324/32950928 swapFree=52246700/67111528
[pid=14564] ppid=14562 vsize=1047068 CPUtime=1662.35 cores=1,3,5,7
/proc/14564/stat : 14564 (wbo1.6) R 14562 14564 13866 0 -1 4202496 258757 0 0 0 164865 1370 0 0 25 0 1 0 900668300 1072197632 258545 33554432000 4194304 5714214 140736102979680 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14564/statm: 261767 258545 180 372 0 261392 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 1047068
[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/444 14650
/proc/meminfo: memFree=28421312/32950928 swapFree=52246700/67111528
[pid=14564] ppid=14562 vsize=1071088 CPUtime=1722.35 cores=1,3,5,7
/proc/14564/stat : 14564 (wbo1.6) R 14562 14564 13866 0 -1 4202496 264727 0 0 0 170828 1407 0 0 25 0 1 0 900668300 1096794112 264515 33554432000 4194304 5714214 140736102979680 18446744073709551615 4319240 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14564/statm: 267772 264515 180 372 0 267397 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 1071088
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/444 14652
/proc/meminfo: memFree=28351716/32950928 swapFree=52246700/67111528
[pid=14564] ppid=14562 vsize=1095008 CPUtime=1782.35 cores=1,3,5,7
/proc/14564/stat : 14564 (wbo1.6) R 14562 14564 13866 0 -1 4202496 270677 0 0 0 176790 1445 0 0 25 0 1 0 900668300 1121288192 270465 33554432000 4194304 5714214 140736102979680 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14564/statm: 273752 270465 180 372 0 273377 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 1095008
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.02 2.00 3/444 14653
/proc/meminfo: memFree=28337700/32950928 swapFree=52246700/67111528
[pid=14564] ppid=14562 vsize=1104552 CPUtime=1800.06 cores=1,3,5,7
/proc/14564/stat : 14564 (wbo1.6) R 14562 14564 13866 0 -1 4202496 273106 0 0 0 178545 1461 0 0 25 0 1 0 900668300 1131061248 272894 33554432000 4194304 5714214 140736102979680 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14564/statm: 276138 272894 180 372 0 275763 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1104552
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.07
CPU time (s): 1800.13
CPU user time (s): 1785.46
CPU system time (s): 14.6618
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 1104552
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1785.46
system time used= 14.6618
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 273106
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= 5
involuntary context switches= 3425
runsolver used 7.50286 second user time and 18.7032 second system time
The end