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-3725946-1338655116/watcher-3725946-1338655116 -o /tmp/evaluation-result-3725946-1338655116/solver-3725946-1338655116 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=opb -verbosity=0 HOME/instance-3725946-1338655116.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: 4.00 4.00 3.91 3/173 12815
/proc/meminfo: memFree=28279280/32873844 swapFree=7108/7108
[pid=12815] ppid=12813 vsize=7668 CPUtime=0 cores=0,2,4,6
/proc/12815/stat : 12815 (pwbo2.02) R 12813 12815 10982 0 -1 4202496 478 0 0 0 0 0 0 0 20 0 1 0 331636148 7852032 430 33554432000 4194304 5964478 140734313701216 140734313699160 4344768 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/12815/statm: 1917 430 167 433 0 715 0

[startup+0.067453 s]
/proc/loadavg: 4.00 4.00 3.91 3/173 12815
/proc/meminfo: memFree=28279280/32873844 swapFree=7108/7108
[pid=12815] ppid=12813 vsize=13436 CPUtime=0.06 cores=0,2,4,6
/proc/12815/stat : 12815 (pwbo2.02) R 12813 12815 10982 0 -1 4202496 2130 0 0 0 6 0 0 0 20 0 1 0 331636148 13758464 2016 33554432000 4194304 5964478 140734313701216 140734313699160 5136490 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/12815/statm: 3359 2017 370 433 0 2157 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 13436

[startup+0.100276 s]
/proc/loadavg: 4.00 4.00 3.91 3/173 12815
/proc/meminfo: memFree=28279280/32873844 swapFree=7108/7108
[pid=12815] ppid=12813 vsize=16264 CPUtime=0.09 cores=0,2,4,6
/proc/12815/stat : 12815 (pwbo2.02) R 12813 12815 10982 0 -1 4202496 2974 0 0 0 9 0 0 0 20 0 1 0 331636148 16654336 2860 33554432000 4194304 5964478 140734313701216 140734313699160 5136490 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/12815/statm: 4066 2862 482 433 0 2864 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16264

[startup+0.30016 s]
/proc/loadavg: 4.00 4.00 3.91 3/173 12815
/proc/meminfo: memFree=28279280/32873844 swapFree=7108/7108
[pid=12815] ppid=12813 vsize=186824 CPUtime=0.36 cores=0,2,4,6
/proc/12815/stat : 12815 (pwbo2.02) S 12813 12815 10982 0 -1 4202496 16860 0 0 0 33 3 0 0 20 0 3 0 331636148 191307776 15849 33554432000 4194304 5964478 140734313701216 140734313700736 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12815/statm: 46706 15854 192 433 0 46270 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 186824

[startup+0.70016 s]
/proc/loadavg: 4.00 4.00 3.91 3/173 12815
/proc/meminfo: memFree=28279280/32873844 swapFree=7108/7108
[pid=12815] ppid=12813 vsize=195092 CPUtime=1.15 cores=0,2,4,6
/proc/12815/stat : 12815 (pwbo2.02) S 12813 12815 10982 0 -1 4202496 24781 0 0 0 111 4 0 0 20 0 3 0 331636148 199774208 23268 33554432000 4194304 5964478 140734313701216 140734313700736 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12815/statm: 48773 23268 200 433 0 48337 0
Current children cumulated CPU time (s) 1.15
Current children cumulated vsize (KiB) 195092

[startup+1.5003 s]
/proc/loadavg: 4.00 4.00 3.91 5/181 12830
/proc/meminfo: memFree=28093524/32873844 swapFree=7108/7108
[pid=12815] ppid=12813 vsize=195092 CPUtime=2.75 cores=0,2,4,6
/proc/12815/stat : 12815 (pwbo2.02) S 12813 12815 10982 0 -1 4202496 24854 0 0 0 271 4 0 0 20 0 3 0 331636148 199774208 23341 33554432000 4194304 5964478 140734313701216 140734313700736 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12815/statm: 48773 23341 201 433 0 48337 0
[pid=12815/tid=12827] ppid=12813 vsize=195092 CPUtime=1.25 cores=0,2,4,6
/proc/12815/task/12827/stat : 12827 (pwbo2.02) R 12813 12815 10982 0 -1 4202560 8010 0 0 0 123 2 0 0 20 0 3 0 331636170 199774208 23341 33554432000 4194304 5964478 140734313701216 140107568892440 5139166 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=12815/tid=12828] ppid=12813 vsize=195092 CPUtime=1.26 cores=0,2,4,6
/proc/12815/task/12828/stat : 12828 (pwbo2.02) R 12813 12815 10982 0 -1 4202560 9984 0 0 0 124 2 0 0 20 0 3 0 331636170 199774208 23341 33554432000 4194304 5964478 140734313701216 140107558402504 4392918 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.75
Current children cumulated vsize (KiB) 195092

[startup+3.1003 s]
/proc/loadavg: 4.00 4.00 3.91 5/181 12830
/proc/meminfo: memFree=28091764/32873844 swapFree=7108/7108
[pid=12815] ppid=12813 vsize=195092 CPUtime=5.96 cores=0,2,4,6
/proc/12815/stat : 12815 (pwbo2.02) S 12813 12815 10982 0 -1 4202496 24927 0 0 0 591 5 0 0 20 0 3 0 331636148 199774208 23414 33554432000 4194304 5964478 140734313701216 140734313700736 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12815/statm: 48773 23414 201 433 0 48337 0
[pid=12815/tid=12827] ppid=12813 vsize=195092 CPUtime=2.84 cores=0,2,4,6
/proc/12815/task/12827/stat : 12827 (pwbo2.02) R 12813 12815 10982 0 -1 4202560 8062 0 0 0 282 2 0 0 20 0 3 0 331636170 199774208 23414 33554432000 4194304 5964478 140734313701216 140107568892360 5139118 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=12815/tid=12828] ppid=12813 vsize=195092 CPUtime=2.86 cores=0,2,4,6
/proc/12815/task/12828/stat : 12828 (pwbo2.02) R 12813 12815 10982 0 -1 4202560 10005 0 0 0 284 2 0 0 20 0 3 0 331636170 199774208 23414 33554432000 4194304 5964478 140734313701216 140107558402408 4399915 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 195092

[startup+6.30032 s]
/proc/loadavg: 4.00 4.00 3.91 5/181 12830
/proc/meminfo: memFree=28089300/32873844 swapFree=7108/7108
[pid=12815] ppid=12813 vsize=195092 CPUtime=12.34 cores=0,2,4,6
/proc/12815/stat : 12815 (pwbo2.02) S 12813 12815 10982 0 -1 4202496 25210 0 0 0 1229 5 0 0 20 0 3 0 331636148 199774208 23697 33554432000 4194304 5964478 140734313701216 140734313700736 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12815/statm: 48773 23697 201 433 0 48337 0
[pid=12815/tid=12827] ppid=12813 vsize=195092 CPUtime=6.03 cores=0,2,4,6
/proc/12815/task/12827/stat : 12827 (pwbo2.02) R 12813 12815 10982 0 -1 4202560 8275 0 0 0 600 3 0 0 20 0 3 0 331636170 199774208 23697 33554432000 4194304 5964478 140734313701216 140107568892440 4445583 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=12815/tid=12828] ppid=12813 vsize=195092 CPUtime=6.04 cores=0,2,4,6
/proc/12815/task/12828/stat : 12828 (pwbo2.02) R 12813 12815 10982 0 -1 4202560 10075 0 0 0 602 2 0 0 20 0 3 0 331636170 199774208 23697 33554432000 4194304 5964478 140734313701216 140107558402168 4399865 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 195092

[startup+12.7003 s]
/proc/loadavg: 4.00 4.00 3.91 5/181 12830
/proc/meminfo: memFree=28082776/32873844 swapFree=7108/7108
[pid=12815] ppid=12813 vsize=195092 CPUtime=25.14 cores=0,2,4,6
/proc/12815/stat : 12815 (pwbo2.02) S 12813 12815 10982 0 -1 4202496 26050 0 0 0 2508 6 0 0 20 0 3 0 331636148 199774208 24534 33554432000 4194304 5964478 140734313701216 140734313700736 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12815/statm: 48773 24534 201 433 0 48337 0
[pid=12815/tid=12827] ppid=12813 vsize=195092 CPUtime=12.41 cores=0,2,4,6
/proc/12815/task/12827/stat : 12827 (pwbo2.02) R 12813 12815 10982 0 -1 4202560 8786 0 0 0 1238 3 0 0 20 0 3 0 331636170 199774208 24534 33554432000 4194304 5964478 140734313701216 140107568892360 4429811 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=12815/tid=12828] ppid=12813 vsize=195092 CPUtime=12.42 cores=0,2,4,6
/proc/12815/task/12828/stat : 12828 (pwbo2.02) R 12813 12815 10982 0 -1 4202560 10404 0 0 0 1240 2 0 0 20 0 3 0 331636170 199774208 24534 33554432000 4194304 5964478 140734313701216 140107558401880 4392707 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 195092

[startup+25.5003 s]
/proc/loadavg: 4.00 4.00 3.91 5/181 12830
/proc/meminfo: memFree=28032264/32873844 swapFree=7108/7108
[pid=12815] ppid=12813 vsize=195092 CPUtime=50.74 cores=0,2,4,6
/proc/12815/stat : 12815 (pwbo2.02) S 12813 12815 10982 0 -1 4202496 34606 0 0 0 5062 12 0 0 20 0 3 0 331636148 199774208 33478 33554432000 4194304 5964478 140734313701216 140734313700736 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12815/statm: 48773 33478 201 433 0 48337 0
[pid=12815/tid=12827] ppid=12813 vsize=195092 CPUtime=25.17 cores=0,2,4,6
/proc/12815/task/12827/stat : 12827 (pwbo2.02) R 12813 12815 10982 0 -1 4202560 10372 0 0 0 2514 3 0 0 20 0 3 0 331636170 199774208 33478 33554432000 4194304 5964478 140734313701216 140107568892440 5122378 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=12815/tid=12828] ppid=12813 vsize=195092 CPUtime=25.18 cores=0,2,4,6
/proc/12815/task/12828/stat : 12828 (pwbo2.02) R 12813 12815 10982 0 -1 4202560 17374 0 0 0 2511 7 0 0 20 0 3 0 331636170 199774208 33478 33554432000 4194304 5964478 140734313701216 140107558402408 4399915 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 50.74
Current children cumulated vsize (KiB) 195092

[startup+51.1005 s]
/proc/loadavg: 4.00 4.00 3.91 5/181 12830
/proc/meminfo: memFree=27878208/32873844 swapFree=7108/7108
[pid=12815] ppid=12813 vsize=260628 CPUtime=101.89 cores=0,2,4,6
/proc/12815/stat : 12815 (pwbo2.02) S 12813 12815 10982 0 -1 4202496 75667 0 0 0 10163 26 0 0 20 0 3 0 331636148 266883072 54589 33554432000 4194304 5964478 140734313701216 140734313700736 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12815/statm: 65157 54589 202 433 0 64721 0
[pid=12815/tid=12827] ppid=12813 vsize=260628 CPUtime=50.7 cores=0,2,4,6
/proc/12815/task/12827/stat : 12827 (pwbo2.02) R 12813 12815 10982 0 -1 4202560 33631 0 0 0 5062 8 0 0 20 0 3 0 331636170 266883072 54590 33554432000 4194304 5964478 140734313701216 140107568892440 5135657 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12815/tid=12828] ppid=12813 vsize=260628 CPUtime=50.69 cores=0,2,4,6
/proc/12815/task/12828/stat : 12828 (pwbo2.02) R 12813 12815 10982 0 -1 4202560 35177 0 0 0 5052 17 0 0 20 0 3 0 331636170 266883072 54591 33554432000 4194304 5964478 140734313701216 140107558402408 5136420 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 101.89
Current children cumulated vsize (KiB) 260628

[startup+102.3 s]
/proc/loadavg: 4.00 4.00 3.91 5/182 12834
/proc/meminfo: memFree=27612276/32873844 swapFree=7108/7108
[pid=12815] ppid=12813 vsize=458860 CPUtime=204.25 cores=0,2,4,6
/proc/12815/stat : 12815 (pwbo2.02) S 12813 12815 10982 0 -1 4202496 133009 0 0 0 20357 68 0 0 20 0 3 0 331636148 469872640 90006 33554432000 4194304 5964478 140734313701216 140734313700736 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12815/statm: 114715 90006 202 433 0 114279 0
[pid=12815/tid=12827] ppid=12813 vsize=458860 CPUtime=101.75 cores=0,2,4,6
/proc/12815/task/12827/stat : 12827 (pwbo2.02) R 12813 12815 10982 0 -1 4202560 66379 0 0 0 10156 19 0 0 20 0 3 0 331636170 469872640 90006 33554432000 4194304 5964478 140734313701216 140107568892440 4400078 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12815/tid=12828] ppid=12813 vsize=458860 CPUtime=101.75 cores=0,2,4,6
/proc/12815/task/12828/stat : 12828 (pwbo2.02) R 12813 12815 10982 0 -1 4202560 59770 0 0 0 10125 50 0 0 20 0 3 0 331636170 469872640 90006 33554432000 4194304 5964478 140734313701216 140107558402360 4399938 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 204.25
Current children cumulated vsize (KiB) 458860

[startup+162.3 s]
/proc/loadavg: 4.00 4.00 3.91 5/181 12834
/proc/meminfo: memFree=27296380/32873844 swapFree=7108/7108
[pid=12815] ppid=12813 vsize=656408 CPUtime=324.21 cores=0,2,4,6
/proc/12815/stat : 12815 (pwbo2.02) S 12813 12815 10982 0 -1 4202496 172576 0 0 0 32310 111 0 0 20 0 3 0 331636148 672161792 130304 33554432000 4194304 5964478 140734313701216 140734313700736 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12815/statm: 164102 130304 202 433 0 163666 0
[pid=12815/tid=12827] ppid=12813 vsize=656408 CPUtime=161.59 cores=0,2,4,6
/proc/12815/task/12827/stat : 12827 (pwbo2.02) R 12813 12815 10982 0 -1 4202560 76385 0 0 0 16126 33 0 0 20 0 3 0 331636170 672161792 130304 33554432000 4194304 5964478 140734313701216 140107568891896 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12815/tid=12828] ppid=12813 vsize=656408 CPUtime=161.59 cores=0,2,4,6
/proc/12815/task/12828/stat : 12828 (pwbo2.02) R 12813 12815 10982 0 -1 4202560 89331 0 0 0 16078 81 0 0 20 0 3 0 331636170 672161792 130304 33554432000 4194304 5964478 140734313701216 140107558402360 4399854 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 324.21
Current children cumulated vsize (KiB) 656408

[startup+222.307 s]
/proc/loadavg: 4.00 4.00 3.91 5/181 12834
/proc/meminfo: memFree=27094848/32873844 swapFree=7108/7108
[pid=12815] ppid=12813 vsize=658296 CPUtime=444.2 cores=0,2,4,6
/proc/12815/stat : 12815 (pwbo2.02) S 12813 12815 10982 0 -1 4202496 187869 0 0 0 44295 125 0 0 20 0 3 0 331636148 674095104 145596 33554432000 4194304 5964478 140734313701216 140734313700736 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12815/statm: 164574 145596 202 433 0 164138 0
[pid=12815/tid=12827] ppid=12813 vsize=658296 CPUtime=221.44 cores=0,2,4,6
/proc/12815/task/12827/stat : 12827 (pwbo2.02) R 12813 12815 10982 0 -1 4202560 85832 0 0 0 22100 44 0 0 20 0 3 0 331636170 674095104 145596 33554432000 4194304 5964478 140734313701216 140107568891704 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12815/tid=12828] ppid=12813 vsize=658296 CPUtime=221.44 cores=0,2,4,6
/proc/12815/task/12828/stat : 12828 (pwbo2.02) R 12813 12815 10982 0 -1 4202560 95177 0 0 0 22058 86 0 0 20 0 3 0 331636170 674095104 145596 33554432000 4194304 5964478 140734313701216 140107558402120 4400097 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 444.2
Current children cumulated vsize (KiB) 658296

[startup+282.3 s]
/proc/loadavg: 4.00 4.00 3.91 5/181 12834
/proc/meminfo: memFree=26931320/32873844 swapFree=7108/7108
[pid=12815] ppid=12813 vsize=724232 CPUtime=564.18 cores=0,2,4,6
/proc/12815/stat : 12815 (pwbo2.02) S 12813 12815 10982 0 -1 4202496 199539 0 0 0 56280 138 0 0 20 0 3 0 331636148 741613568 157266 33554432000 4194304 5964478 140734313701216 140734313700736 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12815/statm: 181058 157266 202 433 0 180622 0
[pid=12815/tid=12827] ppid=12813 vsize=724232 CPUtime=281.28 cores=0,2,4,6
/proc/12815/task/12827/stat : 12827 (pwbo2.02) R 12813 12815 10982 0 -1 4202560 89891 0 0 0 28076 52 0 0 20 0 3 0 331636170 741613568 157266 33554432000 4194304 5964478 140734313701216 140107568891704 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12815/tid=12828] ppid=12813 vsize=724232 CPUtime=281.27 cores=0,2,4,6
/proc/12815/task/12828/stat : 12828 (pwbo2.02) R 12813 12815 10982 0 -1 4202560 102788 0 0 0 28034 93 0 0 20 0 3 0 331636170 741613568 157266 33554432000 4194304 5964478 140734313701216 140107558402360 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 564.18
Current children cumulated vsize (KiB) 724232

[startup+342.3 s]
/proc/loadavg: 4.00 4.00 3.91 5/181 12834
/proc/meminfo: memFree=26667972/32873844 swapFree=7108/7108
[pid=12815] ppid=12813 vsize=855588 CPUtime=684.16 cores=0,2,4,6
/proc/12815/stat : 12815 (pwbo2.02) S 12813 12815 10982 0 -1 4202496 235835 0 0 0 68248 168 0 0 20 0 3 0 331636148 876122112 193559 33554432000 4194304 5964478 140734313701216 140734313700736 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12815/statm: 213897 193559 202 433 0 213461 0

################
# More data... #
################

[pid=12815/tid=12828] ppid=12813 vsize=855588 CPUtime=341.11 cores=0,2,4,6
/proc/12815/task/12828/stat : 12828 (pwbo2.02) R 12813 12815 10982 0 -1 4202560 138049 0 0 0 33987 124 0 0 20 0 3 0 331636170 876122112 193559 33554432000 4194304 5964478 140734313701216 140107558402360 4388261 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 684.16
Current children cumulated vsize (KiB) 855588

[startup+402.3 s]
/proc/loadavg: 4.00 4.00 3.91 5/181 12835
/proc/meminfo: memFree=26431876/32873844 swapFree=7108/7108
[pid=12815] ppid=12813 vsize=1052472 CPUtime=804.13 cores=0,2,4,6
/proc/12815/stat : 12815 (pwbo2.02) S 12813 12815 10982 0 -1 4202496 268616 0 0 0 80217 196 0 0 20 0 3 0 331636148 1077731328 226691 33554432000 4194304 5964478 140734313701216 140734313700736 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12815/statm: 263118 226691 202 433 0 262682 0
[pid=12815/tid=12827] ppid=12813 vsize=1052472 CPUtime=400.97 cores=0,2,4,6
/proc/12815/task/12827/stat : 12827 (pwbo2.02) R 12813 12815 10982 0 -1 4202560 94180 0 0 0 40040 57 0 0 20 0 3 0 331636170 1077731328 226691 33554432000 4194304 5964478 140734313701216 140107568891944 4400115 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12815/tid=12828] ppid=12813 vsize=1052472 CPUtime=400.95 cores=0,2,4,6
/proc/12815/task/12828/stat : 12828 (pwbo2.02) R 12813 12815 10982 0 -1 4202560 167576 0 0 0 39945 150 0 0 20 0 3 0 331636170 1077731328 226691 33554432000 4194304 5964478 140734313701216 140107558402360 4400401 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 804.13
Current children cumulated vsize (KiB) 1052472

[startup+462.3 s]
/proc/loadavg: 4.00 4.00 3.91 5/181 12835
/proc/meminfo: memFree=26195312/32873844 swapFree=7108/7108
[pid=12815] ppid=12813 vsize=1118276 CPUtime=924.05 cores=0,2,4,6
/proc/12815/stat : 12815 (pwbo2.02) S 12813 12815 10982 0 -1 4202496 303348 0 0 0 92172 233 0 0 20 0 3 0 331636148 1145114624 261384 33554432000 4194304 5964478 140734313701216 140734313700736 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12815/statm: 279569 261384 202 433 0 279133 0
[pid=12815/tid=12827] ppid=12813 vsize=1118276 CPUtime=460.81 cores=0,2,4,6
/proc/12815/task/12827/stat : 12827 (pwbo2.02) R 12813 12815 10982 0 -1 4202560 99680 0 0 0 46017 64 0 0 20 0 3 0 331636170 1145114624 261384 33554432000 4194304 5964478 140734313701216 140107568891896 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12815/tid=12828] ppid=12813 vsize=1118276 CPUtime=460.74 cores=0,2,4,6
/proc/12815/task/12828/stat : 12828 (pwbo2.02) R 12813 12815 10982 0 -1 4202560 196808 0 0 0 45894 180 0 0 20 0 3 0 331636170 1145114624 261384 33554432000 4194304 5964478 140734313701216 140107558402168 4399952 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 924.05
Current children cumulated vsize (KiB) 1118276

[startup+522.3 s]
/proc/loadavg: 4.00 4.00 3.91 5/181 12835
/proc/meminfo: memFree=25960980/32873844 swapFree=7108/7108
[pid=12815] ppid=12813 vsize=1249768 CPUtime=1043.98 cores=0,2,4,6
/proc/12815/stat : 12815 (pwbo2.02) S 12813 12815 10982 0 -1 4202496 337406 0 0 0 104124 274 0 0 20 0 3 0 331636148 1279762432 295401 33554432000 4194304 5964478 140734313701216 140734313700736 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12815/statm: 312442 295401 202 433 0 312006 0
[pid=12815/tid=12827] ppid=12813 vsize=1249768 CPUtime=520.66 cores=0,2,4,6
/proc/12815/task/12827/stat : 12827 (pwbo2.02) R 12813 12815 10982 0 -1 4202560 104676 0 0 0 51993 73 0 0 20 0 3 0 331636170 1279762432 295401 33554432000 4194304 5964478 140734313701216 140107568891896 4400115 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12815/tid=12828] ppid=12813 vsize=1249768 CPUtime=520.53 cores=0,2,4,6
/proc/12815/task/12828/stat : 12828 (pwbo2.02) R 12813 12815 10982 0 -1 4202560 225870 0 0 0 51840 213 0 0 20 0 3 0 331636170 1279762432 295401 33554432000 4194304 5964478 140734313701216 140107558402360 4400115 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1043.98
Current children cumulated vsize (KiB) 1249768

[startup+582.3 s]
/proc/loadavg: 4.00 4.00 3.91 5/181 12835
/proc/meminfo: memFree=25761244/32873844 swapFree=7108/7108
[pid=12815] ppid=12813 vsize=1383276 CPUtime=1163.9 cores=0,2,4,6
/proc/12815/stat : 12815 (pwbo2.02) S 12813 12815 10982 0 -1 4202496 364617 0 0 0 116091 299 0 0 20 0 3 0 331636148 1416474624 322567 33554432000 4194304 5964478 140734313701216 140734313700736 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12815/statm: 345819 322567 202 433 0 345383 0
[pid=12815/tid=12827] ppid=12813 vsize=1383276 CPUtime=580.5 cores=0,2,4,6
/proc/12815/task/12827/stat : 12827 (pwbo2.02) R 12813 12815 10982 0 -1 4202560 108983 0 0 0 57973 77 0 0 20 0 3 0 331636170 1416474624 322567 33554432000 4194304 5964478 140734313701216 140107568891704 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12815/tid=12828] ppid=12813 vsize=1383276 CPUtime=580.32 cores=0,2,4,6
/proc/12815/task/12828/stat : 12828 (pwbo2.02) R 12813 12815 10982 0 -1 4202560 248774 0 0 0 57796 236 0 0 20 0 3 0 331636170 1416474624 322567 33554432000 4194304 5964478 140734313701216 140107558402360 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1163.9
Current children cumulated vsize (KiB) 1383276

[startup+642.3 s]
/proc/loadavg: 4.00 4.00 3.91 5/181 12835
/proc/meminfo: memFree=25572296/32873844 swapFree=7108/7108
[pid=12815] ppid=12813 vsize=1514616 CPUtime=1283.82 cores=0,2,4,6
/proc/12815/stat : 12815 (pwbo2.02) S 12813 12815 10982 0 -1 4202496 392423 0 0 0 128050 332 0 0 20 0 3 0 331636148 1550966784 350353 33554432000 4194304 5964478 140734313701216 140734313700736 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12815/statm: 378654 350353 202 433 0 378218 0
[pid=12815/tid=12827] ppid=12813 vsize=1514616 CPUtime=640.34 cores=0,2,4,6
/proc/12815/task/12827/stat : 12827 (pwbo2.02) R 12813 12815 10982 0 -1 4202560 112252 0 0 0 63952 82 0 0 20 0 3 0 331636170 1550966784 350353 33554432000 4194304 5964478 140734313701216 140107568891896 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12815/tid=12828] ppid=12813 vsize=1514616 CPUtime=640.11 cores=0,2,4,6
/proc/12815/task/12828/stat : 12828 (pwbo2.02) R 12813 12815 10982 0 -1 4202560 273311 0 0 0 63745 266 0 0 20 0 3 0 331636170 1550966784 350353 33554432000 4194304 5964478 140734313701216 140107558402360 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1283.82
Current children cumulated vsize (KiB) 1514616

[startup+702.3 s]
/proc/loadavg: 4.00 4.00 3.91 5/182 12839
/proc/meminfo: memFree=25399212/32873844 swapFree=7108/7108
[pid=12815] ppid=12813 vsize=1578000 CPUtime=1403.74 cores=0,2,4,6
/proc/12815/stat : 12815 (pwbo2.02) S 12813 12815 10982 0 -1 4202496 420763 0 0 0 140014 360 0 0 20 0 3 0 331636148 1615872000 378525 33554432000 4194304 5964478 140734313701216 140734313700736 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12815/statm: 394500 378525 202 433 0 394064 0
[pid=12815/tid=12827] ppid=12813 vsize=1578000 CPUtime=700.14 cores=0,2,4,6
/proc/12815/task/12827/stat : 12827 (pwbo2.02) R 12813 12815 10982 0 -1 4202560 116058 0 0 0 69928 86 0 0 20 0 3 0 331636170 1615872000 378525 33554432000 4194304 5964478 140734313701216 140107568892856 4400067 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12815/tid=12828] ppid=12813 vsize=1578000 CPUtime=699.95 cores=0,2,4,6
/proc/12815/task/12828/stat : 12828 (pwbo2.02) R 12813 12815 10982 0 -1 4202560 297845 0 0 0 69703 292 0 0 20 0 3 0 331636170 1615872000 378525 33554432000 4194304 5964478 140734313701216 140107558402360 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1403.74
Current children cumulated vsize (KiB) 1578000

[startup+762.3 s]
/proc/loadavg: 4.03 4.01 3.92 5/181 12839
/proc/meminfo: memFree=25230484/32873844 swapFree=7108/7108
[pid=12815] ppid=12813 vsize=1709340 CPUtime=1523.68 cores=0,2,4,6
/proc/12815/stat : 12815 (pwbo2.02) S 12813 12815 10982 0 -1 4202496 445981 0 0 0 151987 381 0 0 20 0 3 0 331636148 1750364160 403710 33554432000 4194304 5964478 140734313701216 140734313700736 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12815/statm: 427335 403710 202 433 0 426899 0
[pid=12815/tid=12827] ppid=12813 vsize=1709340 CPUtime=759.98 cores=0,2,4,6
/proc/12815/task/12827/stat : 12827 (pwbo2.02) R 12813 12815 10982 0 -1 4202560 116141 0 0 0 75911 87 0 0 20 0 3 0 331636170 1750364160 403710 33554432000 4194304 5964478 140734313701216 140107568892856 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12815/tid=12828] ppid=12813 vsize=1709340 CPUtime=759.75 cores=0,2,4,6
/proc/12815/task/12828/stat : 12828 (pwbo2.02) R 12813 12815 10982 0 -1 4202560 322980 0 0 0 75661 314 0 0 20 0 3 0 331636170 1750364160 403710 33554432000 4194304 5964478 140734313701216 140107558402360 5136490 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1523.68
Current children cumulated vsize (KiB) 1709340

[startup+822.3 s]
/proc/loadavg: 4.01 4.01 3.92 5/181 12839
/proc/meminfo: memFree=25086300/32873844 swapFree=7108/7108
[pid=12815] ppid=12813 vsize=1775160 CPUtime=1643.59 cores=0,2,4,6
/proc/12815/stat : 12815 (pwbo2.02) S 12813 12815 10982 0 -1 4202496 467138 0 0 0 163954 405 0 0 20 0 3 0 331636148 1817763840 424823 33554432000 4194304 5964478 140734313701216 140734313700736 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12815/statm: 443790 424823 202 433 0 443354 0
[pid=12815/tid=12827] ppid=12813 vsize=1775160 CPUtime=819.82 cores=0,2,4,6
/proc/12815/task/12827/stat : 12827 (pwbo2.02) R 12813 12815 10982 0 -1 4202560 116235 0 0 0 81894 88 0 0 20 0 3 0 331636170 1817763840 424823 33554432000 4194304 5964478 140734313701216 140107568892856 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12815/tid=12828] ppid=12813 vsize=1775160 CPUtime=819.53 cores=0,2,4,6
/proc/12815/task/12828/stat : 12828 (pwbo2.02) R 12813 12815 10982 0 -1 4202560 344043 0 0 0 81614 339 0 0 20 0 3 0 331636170 1817763840 424823 33554432000 4194304 5964478 140734313701216 140107558402360 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1643.59
Current children cumulated vsize (KiB) 1775160

[startup+882.307 s]
/proc/loadavg: 4.00 4.00 3.92 5/180 12839
/proc/meminfo: memFree=24932716/32873844 swapFree=7108/7108
[pid=12815] ppid=12813 vsize=1841284 CPUtime=1763.57 cores=0,2,4,6
/proc/12815/stat : 12815 (pwbo2.02) S 12813 12815 10982 0 -1 4202496 486841 0 0 0 175928 429 0 0 20 0 3 0 331636148 1885474816 444518 33554432000 4194304 5964478 140734313701216 140734313700736 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12815/statm: 460321 444518 202 433 0 459885 0
[pid=12815/tid=12827] ppid=12813 vsize=1841284 CPUtime=879.67 cores=0,2,4,6
/proc/12815/task/12827/stat : 12827 (pwbo2.02) R 12813 12815 10982 0 -1 4202560 116255 0 0 0 87878 89 0 0 20 0 3 0 331636170 1885474816 444518 33554432000 4194304 5964478 140734313701216 140107568892856 4400067 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12815/tid=12828] ppid=12813 vsize=1841284 CPUtime=879.37 cores=0,2,4,6
/proc/12815/task/12828/stat : 12828 (pwbo2.02) R 12813 12815 10982 0 -1 4202560 363726 0 0 0 87572 365 0 0 20 0 3 0 331636170 1885474816 444518 33554432000 4194304 5964478 140734313701216 140107558402360 4400016 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1763.57
Current children cumulated vsize (KiB) 1841284



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+900.6 s]
/proc/loadavg: 4.00 4.00 3.92 3/176 12840
/proc/meminfo: memFree=26472576/32873844 swapFree=7108/7108
[pid=12815] ppid=12813 vsize=1906820 CPUtime=1800.16 cores=0,2,4,6
/proc/12815/stat : 12815 (pwbo2.02) S 12813 12815 10982 0 -1 4202496 492786 0 0 0 179578 438 0 0 20 0 3 0 331636148 1952583680 450020 33554432000 4194304 5964478 140734313701216 140734313700736 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12815/statm: 476705 450020 202 433 0 476269 0
[pid=12815/tid=12827] ppid=12813 vsize=1906820 CPUtime=897.92 cores=0,2,4,6
/proc/12815/task/12827/stat : 12827 (pwbo2.02) R 12813 12815 10982 0 -1 4202560 116296 0 0 0 89703 89 0 0 20 0 3 0 331636170 1952583680 450020 33554432000 4194304 5964478 140734313701216 140107568892744 4400432 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12815/tid=12828] ppid=12813 vsize=1906820 CPUtime=897.62 cores=0,2,4,6
/proc/12815/task/12828/stat : 12828 (pwbo2.02) R 12813 12815 10982 0 -1 4202560 369630 0 0 0 89389 373 0 0 20 0 3 0 331636170 1952583680 450020 33554432000 4194304 5964478 140734313701216 140107558402360 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 1906820

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

[startup+900.6 s]
/proc/loadavg: 4.00 4.00 3.92 3/176 12840
/proc/meminfo: memFree=26472576/32873844 swapFree=7108/7108
[pid=12815] ppid=12813 vsize=1906820 CPUtime=1800.16 cores=0,2,4,6
/proc/12815/stat : 12815 (pwbo2.02) S 12813 12815 10982 0 -1 4202496 492786 0 0 0 179578 438 0 0 20 0 3 0 331636148 1952583680 450020 33554432000 4194304 5964478 140734313701216 140734313700736 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12815/statm: 476705 450020 202 433 0 476269 0
[pid=12815/tid=12827] ppid=12813 vsize=1906820 CPUtime=897.92 cores=0,2,4,6
/proc/12815/task/12827/stat : 12827 (pwbo2.02) R 12813 12815 10982 0 -1 4202560 116296 0 0 0 89703 89 0 0 20 0 3 0 331636170 1952583680 450020 33554432000 4194304 5964478 140734313701216 140107568892744 4400432 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12815/tid=12828] ppid=12813 vsize=1906820 CPUtime=897.62 cores=0,2,4,6
/proc/12815/task/12828/stat : 12828 (pwbo2.02) R 12813 12815 10982 0 -1 4202560 369630 0 0 0 89389 373 0 0 20 0 3 0 331636170 1952583680 450020 33554432000 4194304 5964478 140734313701216 140107558402360 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 1906820

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 12815 and gives
#  childrusage.ru_utime.tv_sec=1791
#  childrusage.ru_utime.tv_usec=155702
#  childrusage.ru_stime.tv_sec=4
#  childrusage.ru_stime.tv_usec=717282
# CPU time returned by wait4() is 1795.87
# while last known CPU time is 1800.16
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 900.675
CPU time (s): 1800.16
CPU user time (s): 1795.78
CPU system time (s): 4.38
CPU usage (%): 199.868
Max. virtual memory (cumulated for all children) (KiB): 1906820

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.16
system time used= 4.71728
maximum resident set size= 1800088
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 492788
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= 2553
involuntary context switches= 2013

runsolver used 1.36979 second user time and 5.61515 second system time

The end