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-3727845-1338669285/watcher-3727845-1338669285 -o /tmp/evaluation-result-3727845-1338669285/solver-3727845-1338669285 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=opb HOME/instance-3727845-1338669285.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.00 2.00 2.00 3/171 28753
/proc/meminfo: memFree=31481332/32873844 swapFree=7116/7116
[pid=28753] ppid=28751 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/28753/stat : 28753 (runsolver) D 28751 28753 28198 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 1 0 333055448 12095488 50 33554432000 4194304 5436572 140734904451120 140734904447416 4883175 0 0 4096 24578 18446744071579943789 0 0 17 2 0 0 0 0 0
/proc/28753/statm: 2953 50 31 304 0 2645 0
[startup+0.00897496 s]
/proc/loadavg: 2.00 2.00 2.00 3/171 28753
/proc/meminfo: memFree=31481332/32873844 swapFree=7116/7116
[pid=28753] ppid=28751 vsize=4012 CPUtime=0 cores=0,2,4,6
/proc/28753/stat : 28753 (wbo1.72) R 28751 28753 28198 0 -1 4202496 327 0 0 0 0 0 0 0 20 0 1 0 333055448 4108288 279 33554432000 4194304 5964350 140733427216304 140734904447000 5136410 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/28753/statm: 1003 280 159 433 0 383 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 4012
[startup+0.100155 s]
/proc/loadavg: 2.00 2.00 2.00 3/171 28753
/proc/meminfo: memFree=31481332/32873844 swapFree=7116/7116
[pid=28753] ppid=28751 vsize=88592 CPUtime=0.08 cores=0,2,4,6
/proc/28753/stat : 28753 (wbo1.72) S 28751 28753 28198 0 -1 4202496 3336 0 0 0 8 0 0 0 20 0 2 0 333055448 90718208 3103 33554432000 4194304 5964350 140733427216304 140733427215824 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28753/statm: 22148 3103 188 433 0 21712 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 88592
[startup+0.30016 s]
/proc/loadavg: 2.00 2.00 2.00 3/171 28753
/proc/meminfo: memFree=31481332/32873844 swapFree=7116/7116
[pid=28753] ppid=28751 vsize=88592 CPUtime=0.28 cores=0,2,4,6
/proc/28753/stat : 28753 (wbo1.72) S 28751 28753 28198 0 -1 4202496 7852 0 0 0 28 0 0 0 20 0 2 0 333055448 90718208 7619 33554432000 4194304 5964350 140733427216304 140733427215824 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28753/statm: 22148 7619 190 433 0 21712 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 88592
[startup+0.700157 s]
/proc/loadavg: 2.00 2.00 2.00 3/171 28753
/proc/meminfo: memFree=31481332/32873844 swapFree=7116/7116
[pid=28753] ppid=28751 vsize=88592 CPUtime=0.69 cores=0,2,4,6
/proc/28753/stat : 28753 (wbo1.72) S 28751 28753 28198 0 -1 4202496 9775 0 0 0 68 1 0 0 20 0 2 0 333055448 90718208 9542 33554432000 4194304 5964350 140733427216304 140733427215824 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28753/statm: 22148 9542 190 433 0 21712 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 88592
[startup+1.50025 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28804
/proc/meminfo: memFree=31429456/32873844 swapFree=7116/7116
[pid=28753] ppid=28751 vsize=88592 CPUtime=1.48 cores=0,2,4,6
/proc/28753/stat : 28753 (wbo1.72) S 28751 28753 28198 0 -1 4202496 13064 0 0 0 147 1 0 0 20 0 2 0 333055448 90718208 12831 33554432000 4194304 5964350 140733427216304 140733427215824 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28753/statm: 22148 12831 192 433 0 21712 0
[pid=28753/tid=28765] ppid=28751 vsize=88592 CPUtime=1.41 cores=0,2,4,6
/proc/28753/task/28765/stat : 28765 (wbo1.72) R 28751 28753 28198 0 -1 4202560 10949 0 0 0 140 1 0 0 20 0 2 0 333055455 90718208 12831 33554432000 4194304 5964350 140733427216304 140429097992512 4388229 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 88592
[startup+3.10014 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28804
/proc/meminfo: memFree=31410724/32873844 swapFree=7116/7116
[pid=28753] ppid=28751 vsize=88592 CPUtime=3.07 cores=0,2,4,6
/proc/28753/stat : 28753 (wbo1.72) S 28751 28753 28198 0 -1 4202496 17135 0 0 0 305 2 0 0 20 0 2 0 333055448 90718208 16850 33554432000 4194304 5964350 140733427216304 140733427215824 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28753/statm: 22148 16850 192 433 0 21712 0
[pid=28753/tid=28765] ppid=28751 vsize=88592 CPUtime=3.01 cores=0,2,4,6
/proc/28753/task/28765/stat : 28765 (wbo1.72) R 28751 28753 28198 0 -1 4202560 15020 0 0 0 299 2 0 0 20 0 2 0 333055455 90718208 16850 33554432000 4194304 5964350 140733427216304 140429098002712 4399840 0 0 4096 16387 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 88592
[startup+6.3002 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28804
/proc/meminfo: memFree=31393860/32873844 swapFree=7116/7116
[pid=28753] ppid=28751 vsize=88736 CPUtime=6.28 cores=0,2,4,6
/proc/28753/stat : 28753 (wbo1.72) S 28751 28753 28198 0 -1 4202496 17735 0 0 0 625 3 0 0 20 0 2 0 333055448 90865664 17450 33554432000 4194304 5964350 140733427216304 140733427215824 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28753/statm: 22184 17450 192 433 0 21748 0
[pid=28753/tid=28765] ppid=28751 vsize=88736 CPUtime=6.21 cores=0,2,4,6
/proc/28753/task/28765/stat : 28765 (wbo1.72) R 28751 28753 28198 0 -1 4202560 15620 0 0 0 618 3 0 0 20 0 2 0 333055455 90865664 17450 33554432000 4194304 5964350 140733427216304 140429098002232 4399840 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 88736
[startup+12.7002 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 28804
/proc/meminfo: memFree=31382696/32873844 swapFree=7116/7116
[pid=28753] ppid=28751 vsize=154128 CPUtime=12.67 cores=0,2,4,6
/proc/28753/stat : 28753 (wbo1.72) S 28751 28753 28198 0 -1 4202496 18861 0 0 0 1264 3 0 0 20 0 2 0 333055448 157827072 18541 33554432000 4194304 5964350 140733427216304 140733427215824 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28753/statm: 38532 18541 192 433 0 38096 0
[pid=28753/tid=28765] ppid=28751 vsize=154128 CPUtime=12.6 cores=0,2,4,6
/proc/28753/task/28765/stat : 28765 (wbo1.72) R 28751 28753 28198 0 -1 4202560 16746 0 0 0 1257 3 0 0 20 0 2 0 333055455 157827072 18541 33554432000 4194304 5964350 140733427216304 140429098002968 4220672 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 154128
[startup+25.5003 s]
/proc/loadavg: 2.06 2.02 2.00 3/180 28805
/proc/meminfo: memFree=31363772/32873844 swapFree=7116/7116
[pid=28753] ppid=28751 vsize=154452 CPUtime=25.46 cores=0,2,4,6
/proc/28753/stat : 28753 (wbo1.72) S 28751 28753 28198 0 -1 4202496 21075 0 0 0 2542 4 0 0 20 0 2 0 333055448 158158848 20747 33554432000 4194304 5964350 140733427216304 140733427215824 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28753/statm: 38613 20747 192 433 0 38177 0
[pid=28753/tid=28765] ppid=28751 vsize=154452 CPUtime=25.39 cores=0,2,4,6
/proc/28753/task/28765/stat : 28765 (wbo1.72) R 28751 28753 28198 0 -1 4202560 18960 0 0 0 2535 4 0 0 20 0 2 0 333055455 158158848 20747 33554432000 4194304 5964350 140733427216304 140429098002472 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 154452
[startup+51.1003 s]
/proc/loadavg: 2.04 2.01 2.00 3/180 28806
/proc/meminfo: memFree=31337072/32873844 swapFree=7116/7116
[pid=28753] ppid=28751 vsize=154128 CPUtime=51.03 cores=0,2,4,6
/proc/28753/stat : 28753 (wbo1.72) S 28751 28753 28198 0 -1 4202496 23661 0 0 0 5099 4 0 0 20 0 2 0 333055448 157827072 23930 33554432000 4194304 5964350 140733427216304 140733427215824 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28753/statm: 38532 23930 192 433 0 38096 0
[pid=28753/tid=28765] ppid=28751 vsize=154128 CPUtime=50.97 cores=0,2,4,6
/proc/28753/task/28765/stat : 28765 (wbo1.72) R 28751 28753 28198 0 -1 4202560 21546 0 0 0 5092 5 0 0 20 0 2 0 333055455 157827072 23930 33554432000 4194304 5964350 140733427216304 140429098002968 4399976 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 154128
[startup+102.306 s]
/proc/loadavg: 2.09 2.02 2.01 3/179 28806
/proc/meminfo: memFree=31307576/32873844 swapFree=7116/7116
[pid=28753] ppid=28751 vsize=154612 CPUtime=102.23 cores=0,2,4,6
/proc/28753/stat : 28753 (wbo1.72) S 28751 28753 28198 0 -1 4202496 27987 0 0 0 10217 6 0 0 20 0 2 0 333055448 158322688 28256 33554432000 4194304 5964350 140733427216304 140733427215824 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28753/statm: 38653 28256 192 433 0 38217 0
[pid=28753/tid=28765] ppid=28751 vsize=154612 CPUtime=102.18 cores=0,2,4,6
/proc/28753/task/28765/stat : 28765 (wbo1.72) R 28751 28753 28198 0 -1 4202560 25872 0 0 0 10211 7 0 0 20 0 2 0 333055455 158322688 28256 33554432000 4194304 5964350 140733427216304 140429098002232 4399938 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 154612
[startup+162.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/179 28806
/proc/meminfo: memFree=31243968/32873844 swapFree=7116/7116
[pid=28753] ppid=28751 vsize=220388 CPUtime=162.19 cores=0,2,4,6
/proc/28753/stat : 28753 (wbo1.72) S 28751 28753 28198 0 -1 4202496 35896 0 0 0 16211 8 0 0 20 0 2 0 333055448 225677312 36442 33554432000 4194304 5964350 140733427216304 140733427215824 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28753/statm: 55097 36442 192 433 0 54661 0
[pid=28753/tid=28765] ppid=28751 vsize=220388 CPUtime=162.15 cores=0,2,4,6
/proc/28753/task/28765/stat : 28765 (wbo1.72) R 28751 28753 28198 0 -1 4202560 33781 0 0 0 16205 10 0 0 20 0 2 0 333055455 225677312 36442 33554432000 4194304 5964350 140733427216304 140429098002472 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 220388
[startup+222.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 28806
/proc/meminfo: memFree=31193092/32873844 swapFree=7116/7116
[pid=28753] ppid=28751 vsize=220872 CPUtime=222.18 cores=0,2,4,6
/proc/28753/stat : 28753 (wbo1.72) S 28751 28753 28198 0 -1 4202496 42084 0 0 0 22207 11 0 0 20 0 2 0 333055448 226172928 42627 33554432000 4194304 5964350 140733427216304 140733427215824 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28753/statm: 55218 42627 192 433 0 54782 0
[pid=28753/tid=28765] ppid=28751 vsize=220872 CPUtime=222.15 cores=0,2,4,6
/proc/28753/task/28765/stat : 28765 (wbo1.72) R 28751 28753 28198 0 -1 4202560 39969 0 0 0 22200 15 0 0 20 0 2 0 333055455 226172928 42627 33554432000 4194304 5964350 140733427216304 140429098002472 4399840 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 220872
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 28806
/proc/meminfo: memFree=31156556/32873844 swapFree=7116/7116
[pid=28753] ppid=28751 vsize=222684 CPUtime=282.18 cores=0,2,4,6
/proc/28753/stat : 28753 (wbo1.72) S 28751 28753 28198 0 -1 4202496 45954 0 0 0 28204 14 0 0 20 0 2 0 333055448 228028416 46495 33554432000 4194304 5964350 140733427216304 140733427215824 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28753/statm: 55671 46495 192 433 0 55235 0
[pid=28753/tid=28765] ppid=28751 vsize=222684 CPUtime=282.16 cores=0,2,4,6
/proc/28753/task/28765/stat : 28765 (wbo1.72) R 28751 28753 28198 0 -1 4202560 43839 0 0 0 28198 18 0 0 20 0 2 0 333055455 228028416 46495 33554432000 4194304 5964350 140733427216304 140429098002232 4399840 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 222684
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 28809
/proc/meminfo: memFree=31114340/32873844 swapFree=7116/7116
[pid=28753] ppid=28751 vsize=222684 CPUtime=342.15 cores=0,2,4,6
/proc/28753/stat : 28753 (wbo1.72) S 28751 28753 28198 0 -1 4202496 51061 0 0 0 34197 18 0 0 20 0 2 0 333055448 228028416 51881 33554432000 4194304 5964350 140733427216304 140733427215824 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28753/statm: 55671 51881 192 433 0 55235 0
[pid=28753/tid=28765] ppid=28751 vsize=222684 CPUtime=342.14 cores=0,2,4,6
/proc/28753/task/28765/stat : 28765 (wbo1.72) R 28751 28753 28198 0 -1 4202560 48946 0 0 0 34191 23 0 0 20 0 2 0 333055455 228028416 51881 33554432000 4194304 5964350 140733427216304 140429098002472 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 222684
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28810
/proc/meminfo: memFree=31068320/32873844 swapFree=7116/7116
[pid=28753] ppid=28751 vsize=289188 CPUtime=402.12 cores=0,2,4,6
/proc/28753/stat : 28753 (wbo1.72) S 28751 28753 28198 0 -1 4202496 55791 0 0 0 40191 21 0 0 20 0 2 0 333055448 296128512 56785 33554432000 4194304 5964350 140733427216304 140733427215824 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28753/statm: 72297 56785 192 433 0 71861 0
[pid=28753/tid=28765] ppid=28751 vsize=289188 CPUtime=402.13 cores=0,2,4,6
/proc/28753/task/28765/stat : 28765 (wbo1.72) R 28751 28753 28198 0 -1 4202560 53676 0 0 0 40185 28 0 0 20 0 2 0 333055455 296128512 56785 33554432000 4194304 5964350 140733427216304 140429098002232 4399840 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 402.12
Current children cumulated vsize (KiB) 289188
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28810
/proc/meminfo: memFree=31040636/32873844 swapFree=7116/7116
[pid=28753] ppid=28751 vsize=290396 CPUtime=462.11 cores=0,2,4,6
################
# More data... #
################
/proc/28753/task/28765/stat : 28765 (wbo1.72) R 28751 28753 28198 0 -1 4202560 65504 0 0 0 130173 44 0 0 20 0 2 0 333055455 292044800 67693 33554432000 4194304 5964350 140733427216304 140429098002968 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.99
Current children cumulated vsize (KiB) 285200
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28817
/proc/meminfo: memFree=30798064/32873844 swapFree=7116/7116
[pid=28753] ppid=28751 vsize=285200 CPUtime=1361.97 cores=0,2,4,6
/proc/28753/stat : 28753 (wbo1.72) S 28751 28753 28198 0 -1 4202496 67619 0 0 0 136172 25 0 0 20 0 2 0 333055448 292044800 67693 33554432000 4194304 5964350 140733427216304 140733427215824 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28753/statm: 71300 67693 192 433 0 70864 0
[pid=28753/tid=28765] ppid=28751 vsize=285200 CPUtime=1362.17 cores=0,2,4,6
/proc/28753/task/28765/stat : 28765 (wbo1.72) R 28751 28753 28198 0 -1 4202560 65504 0 0 0 136172 45 0 0 20 0 2 0 333055455 292044800 67693 33554432000 4194304 5964350 140733427216304 140429098002968 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.97
Current children cumulated vsize (KiB) 285200
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28817
/proc/meminfo: memFree=30792856/32873844 swapFree=7116/7116
[pid=28753] ppid=28751 vsize=285200 CPUtime=1421.97 cores=0,2,4,6
/proc/28753/stat : 28753 (wbo1.72) S 28751 28753 28198 0 -1 4202496 67619 0 0 0 142172 25 0 0 20 0 2 0 333055448 292044800 67693 33554432000 4194304 5964350 140733427216304 140733427215824 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28753/statm: 71300 67693 192 433 0 70864 0
[pid=28753/tid=28765] ppid=28751 vsize=285200 CPUtime=1422.18 cores=0,2,4,6
/proc/28753/task/28765/stat : 28765 (wbo1.72) R 28751 28753 28198 0 -1 4202560 65504 0 0 0 142172 46 0 0 20 0 2 0 333055455 292044800 67693 33554432000 4194304 5964350 140733427216304 140429098002968 4400547 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.97
Current children cumulated vsize (KiB) 285200
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28817
/proc/meminfo: memFree=30781324/32873844 swapFree=7116/7116
[pid=28753] ppid=28751 vsize=285200 CPUtime=1481.95 cores=0,2,4,6
/proc/28753/stat : 28753 (wbo1.72) S 28751 28753 28198 0 -1 4202496 67619 0 0 0 148170 25 0 0 20 0 2 0 333055448 292044800 67693 33554432000 4194304 5964350 140733427216304 140733427215824 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28753/statm: 71300 67693 192 433 0 70864 0
[pid=28753/tid=28765] ppid=28751 vsize=285200 CPUtime=1482.18 cores=0,2,4,6
/proc/28753/task/28765/stat : 28765 (wbo1.72) R 28751 28753 28198 0 -1 4202560 65504 0 0 0 148171 47 0 0 20 0 2 0 333055455 292044800 67693 33554432000 4194304 5964350 140733427216304 140429098002968 4400321 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.95
Current children cumulated vsize (KiB) 285200
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 28820
/proc/meminfo: memFree=30751124/32873844 swapFree=7116/7116
[pid=28753] ppid=28751 vsize=285200 CPUtime=1541.95 cores=0,2,4,6
/proc/28753/stat : 28753 (wbo1.72) S 28751 28753 28198 0 -1 4202496 67619 0 0 0 154170 25 0 0 20 0 2 0 333055448 292044800 67693 33554432000 4194304 5964350 140733427216304 140733427215824 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28753/statm: 71300 67693 192 433 0 70864 0
[pid=28753/tid=28765] ppid=28751 vsize=285200 CPUtime=1542.18 cores=0,2,4,6
/proc/28753/task/28765/stat : 28765 (wbo1.72) R 28751 28753 28198 0 -1 4202560 65504 0 0 0 154170 48 0 0 20 0 2 0 333055455 292044800 67693 33554432000 4194304 5964350 140733427216304 140429098002968 4399998 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.95
Current children cumulated vsize (KiB) 285200
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 28844
/proc/meminfo: memFree=30739508/32873844 swapFree=7116/7116
[pid=28753] ppid=28751 vsize=350736 CPUtime=1601.93 cores=0,2,4,6
/proc/28753/stat : 28753 (wbo1.72) S 28751 28753 28198 0 -1 4202496 69868 0 0 0 160167 26 0 0 20 0 2 0 333055448 359153664 69942 33554432000 4194304 5964350 140733427216304 140733427215824 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28753/statm: 87684 69942 192 433 0 87248 0
[pid=28753/tid=28765] ppid=28751 vsize=350736 CPUtime=1602.18 cores=0,2,4,6
/proc/28753/task/28765/stat : 28765 (wbo1.72) R 28751 28753 28198 0 -1 4202560 67753 0 0 0 160167 51 0 0 20 0 2 0 333055455 359153664 69942 33554432000 4194304 5964350 140733427216304 140429098002424 4399944 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.93
Current children cumulated vsize (KiB) 350736
[startup+1662.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 28844
/proc/meminfo: memFree=30706532/32873844 swapFree=7116/7116
[pid=28753] ppid=28751 vsize=352360 CPUtime=1661.92 cores=0,2,4,6
/proc/28753/stat : 28753 (wbo1.72) S 28751 28753 28198 0 -1 4202496 72885 0 0 0 166163 29 0 0 20 0 2 0 333055448 360816640 72957 33554432000 4194304 5964350 140733427216304 140733427215824 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28753/statm: 88090 72957 192 433 0 87654 0
[pid=28753/tid=28765] ppid=28751 vsize=352360 CPUtime=1662.19 cores=0,2,4,6
/proc/28753/task/28765/stat : 28765 (wbo1.72) R 28751 28753 28198 0 -1 4202560 70770 0 0 0 166164 55 0 0 20 0 2 0 333055455 360816640 72957 33554432000 4194304 5964350 140733427216304 140429098002296 4399962 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.92
Current children cumulated vsize (KiB) 352360
[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 28844
/proc/meminfo: memFree=30683964/32873844 swapFree=7116/7116
[pid=28753] ppid=28751 vsize=352360 CPUtime=1721.91 cores=0,2,4,6
/proc/28753/stat : 28753 (wbo1.72) S 28751 28753 28198 0 -1 4202496 75972 0 0 0 172160 31 0 0 20 0 2 0 333055448 360816640 76044 33554432000 4194304 5964350 140733427216304 140733427215824 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28753/statm: 88090 76044 192 433 0 87654 0
[pid=28753/tid=28765] ppid=28751 vsize=352360 CPUtime=1722.19 cores=0,2,4,6
/proc/28753/task/28765/stat : 28765 (wbo1.72) R 28751 28753 28198 0 -1 4202560 73857 0 0 0 172161 58 0 0 20 0 2 0 333055455 360816640 76044 33554432000 4194304 5964350 140733427216304 140429098002472 4399958 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.91
Current children cumulated vsize (KiB) 352360
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28844
/proc/meminfo: memFree=30650792/32873844 swapFree=7116/7116
[pid=28753] ppid=28751 vsize=352360 CPUtime=1781.9 cores=0,2,4,6
/proc/28753/stat : 28753 (wbo1.72) S 28751 28753 28198 0 -1 4202496 78450 0 0 0 178157 33 0 0 20 0 2 0 333055448 360816640 78521 33554432000 4194304 5964350 140733427216304 140733427215824 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28753/statm: 88090 78521 192 433 0 87654 0
[pid=28753/tid=28765] ppid=28751 vsize=352360 CPUtime=1782.19 cores=0,2,4,6
/proc/28753/task/28765/stat : 28765 (wbo1.72) R 28751 28753 28198 0 -1 4202560 76335 0 0 0 178158 61 0 0 20 0 2 0 333055455 360816640 78521 33554432000 4194304 5964350 140733427216304 140429098002232 4399840 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.9
Current children cumulated vsize (KiB) 352360
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28844
/proc/meminfo: memFree=30647816/32873844 swapFree=7116/7116
[pid=28753] ppid=28751 vsize=352360 CPUtime=1791.5 cores=0,2,4,6
/proc/28753/stat : 28753 (wbo1.72) S 28751 28753 28198 0 -1 4202496 78574 0 0 0 179117 33 0 0 20 0 2 0 333055448 360816640 78644 33554432000 4194304 5964350 140733427216304 140733427215824 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28753/statm: 88090 78644 192 433 0 87654 0
[pid=28753/tid=28765] ppid=28751 vsize=352360 CPUtime=1791.8 cores=0,2,4,6
/proc/28753/task/28765/stat : 28765 (wbo1.72) R 28751 28753 28198 0 -1 4202560 76459 0 0 0 179119 61 0 0 20 0 2 0 333055455 360816640 78644 33554432000 4194304 5964350 140733427216304 140429098002232 4399840 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1791.5
Current children cumulated vsize (KiB) 352360
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28844
/proc/meminfo: memFree=30647072/32873844 swapFree=7116/7116
[pid=28753] ppid=28751 vsize=352360 CPUtime=1794.7 cores=0,2,4,6
/proc/28753/stat : 28753 (wbo1.72) S 28751 28753 28198 0 -1 4202496 78578 0 0 0 179437 33 0 0 20 0 2 0 333055448 360816640 78648 33554432000 4194304 5964350 140733427216304 140733427215824 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28753/statm: 88090 78648 192 433 0 87654 0
[pid=28753/tid=28765] ppid=28751 vsize=352360 CPUtime=1795 cores=0,2,4,6
/proc/28753/task/28765/stat : 28765 (wbo1.72) R 28751 28753 28198 0 -1 4202560 76463 0 0 0 179439 61 0 0 20 0 2 0 333055455 360816640 78648 33554432000 4194304 5964350 140733427216304 140429098002232 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1794.7
Current children cumulated vsize (KiB) 352360
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28844
/proc/meminfo: memFree=30646328/32873844 swapFree=7116/7116
[pid=28753] ppid=28751 vsize=352360 CPUtime=1797.9 cores=0,2,4,6
/proc/28753/stat : 28753 (wbo1.72) S 28751 28753 28198 0 -1 4202496 78578 0 0 0 179757 33 0 0 20 0 2 0 333055448 360816640 78648 33554432000 4194304 5964350 140733427216304 140733427215824 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28753/statm: 88090 78648 192 433 0 87654 0
[pid=28753/tid=28765] ppid=28751 vsize=352360 CPUtime=1798.19 cores=0,2,4,6
/proc/28753/task/28765/stat : 28765 (wbo1.72) R 28751 28753 28198 0 -1 4202560 76463 0 0 0 179758 61 0 0 20 0 2 0 333055455 360816640 78648 33554432000 4194304 5964350 140733427216304 140429098002232 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1797.9
Current children cumulated vsize (KiB) 352360
[startup+1799.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28844
/proc/meminfo: memFree=30646204/32873844 swapFree=7116/7116
[pid=28753] ppid=28751 vsize=352360 CPUtime=1798.7 cores=0,2,4,6
/proc/28753/stat : 28753 (wbo1.72) S 28751 28753 28198 0 -1 4202496 78578 0 0 0 179837 33 0 0 20 0 2 0 333055448 360816640 78648 33554432000 4194304 5964350 140733427216304 140733427215824 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28753/statm: 88090 78648 192 433 0 87654 0
[pid=28753/tid=28765] ppid=28751 vsize=352360 CPUtime=1798.99 cores=0,2,4,6
/proc/28753/task/28765/stat : 28765 (wbo1.72) R 28751 28753 28198 0 -1 4202560 76463 0 0 0 179838 61 0 0 20 0 2 0 333055455 360816640 78648 33554432000 4194304 5964350 140733427216304 140429098002232 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1798.7
Current children cumulated vsize (KiB) 352360
[startup+1799.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28844
/proc/meminfo: memFree=30645832/32873844 swapFree=7116/7116
[pid=28753] ppid=28751 vsize=352360 CPUtime=1799.1 cores=0,2,4,6
/proc/28753/stat : 28753 (wbo1.72) S 28751 28753 28198 0 -1 4202496 78578 0 0 0 179877 33 0 0 20 0 2 0 333055448 360816640 78648 33554432000 4194304 5964350 140733427216304 140733427215824 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28753/statm: 88090 78648 192 433 0 87654 0
[pid=28753/tid=28765] ppid=28751 vsize=352360 CPUtime=1799.4 cores=0,2,4,6
/proc/28753/task/28765/stat : 28765 (wbo1.72) R 28751 28753 28198 0 -1 4202560 76463 0 0 0 179879 61 0 0 20 0 2 0 333055455 360816640 78648 33554432000 4194304 5964350 140733427216304 140429098002232 4399840 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.1
Current children cumulated vsize (KiB) 352360
[startup+1799.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28844
/proc/meminfo: memFree=30645832/32873844 swapFree=7116/7116
[pid=28753] ppid=28751 vsize=352360 CPUtime=1799.5 cores=0,2,4,6
/proc/28753/stat : 28753 (wbo1.72) S 28751 28753 28198 0 -1 4202496 78578 0 0 0 179917 33 0 0 20 0 2 0 333055448 360816640 78648 33554432000 4194304 5964350 140733427216304 140733427215824 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28753/statm: 88090 78648 192 433 0 87654 0
[pid=28753/tid=28765] ppid=28751 vsize=352360 CPUtime=1799.79 cores=0,2,4,6
/proc/28753/task/28765/stat : 28765 (wbo1.72) R 28751 28753 28198 0 -1 4202560 76463 0 0 0 179918 61 0 0 20 0 2 0 333055455 360816640 78648 33554432000 4194304 5964350 140733427216304 140429098002232 4400352 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.5
Current children cumulated vsize (KiB) 352360
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28844
/proc/meminfo: memFree=30645832/32873844 swapFree=7116/7116
[pid=28753] ppid=28751 vsize=352360 CPUtime=1799.6 cores=0,2,4,6
/proc/28753/stat : 28753 (wbo1.72) S 28751 28753 28198 0 -1 4202496 78578 0 0 0 179927 33 0 0 20 0 2 0 333055448 360816640 78648 33554432000 4194304 5964350 140733427216304 140733427215824 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28753/statm: 88090 78648 192 433 0 87654 0
[pid=28753/tid=28765] ppid=28751 vsize=352360 CPUtime=1799.89 cores=0,2,4,6
/proc/28753/task/28765/stat : 28765 (wbo1.72) R 28751 28753 28198 0 -1 4202560 76463 0 0 0 179928 61 0 0 20 0 2 0 333055455 360816640 78648 33554432000 4194304 5964350 140733427216304 140429098002232 4399840 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.6
Current children cumulated vsize (KiB) 352360
Child status: 255
Real time (s): 1800.01
CPU time (s): 1799.98
CPU user time (s): 1799.35
CPU system time (s): 0.623905
CPU usage (%): 99.9981
Max. virtual memory (cumulated for all children) (KiB): 352360
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.35
system time used= 0.623905
maximum resident set size= 314600
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 78580
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= 124
involuntary context switches= 1970
runsolver used 2.67659 second user time and 7.14491 second system time
The end