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-3703526-1338090418/watcher-3703526-1338090418 -o /tmp/evaluation-result-3703526-1338090418/solver-3703526-1338090418 -C 1800 -W 1900 -M 15500 pwbo2.0 -file-format=opb -verbosity=0 HOME/instance-3703526-1338090418.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: 3.95 4.02 3.96 4/178 31833
/proc/meminfo: memFree=31408036/32873844 swapFree=7112/7112
[pid=31833] ppid=31831 vsize=6292 CPUtime=0 cores=1,3,5,7
/proc/31833/stat : 31833 (pwbo2.0) R 31831 31833 31075 0 -1 4202496 770 0 0 0 0 0 0 0 20 0 1 0 275166683 6443008 723 33554432000 4194304 5965102 140734299044848 140734972260904 4396446 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/31833/statm: 1573 723 162 433 0 1026 0
[startup+0.0647199 s]
/proc/loadavg: 3.95 4.02 3.96 4/178 31833
/proc/meminfo: memFree=31408036/32873844 swapFree=7112/7112
[pid=31833] ppid=31831 vsize=167140 CPUtime=0.07 cores=1,3,5,7
/proc/31833/stat : 31833 (pwbo2.0) S 31831 31833 31075 0 -1 4202496 4294 0 0 0 6 1 0 0 20 0 3 0 275166683 171151360 3906 33554432000 4194304 5965102 140734299044848 140734299044368 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31833/statm: 41785 3906 199 433 0 41349 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 167140
[startup+0.100237 s]
/proc/loadavg: 3.95 4.02 3.96 4/178 31833
/proc/meminfo: memFree=31408036/32873844 swapFree=7112/7112
[pid=31833] ppid=31831 vsize=167140 CPUtime=0.14 cores=1,3,5,7
/proc/31833/stat : 31833 (pwbo2.0) S 31831 31833 31075 0 -1 4202496 4879 0 0 0 13 1 0 0 20 0 3 0 275166683 171151360 4055 33554432000 4194304 5965102 140734299044848 140734299044368 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31833/statm: 41785 4055 200 433 0 41349 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 167140
[startup+0.300134 s]
/proc/loadavg: 3.95 4.02 3.96 4/178 31833
/proc/meminfo: memFree=31408036/32873844 swapFree=7112/7112
[pid=31833] ppid=31831 vsize=167140 CPUtime=0.54 cores=1,3,5,7
/proc/31833/stat : 31833 (pwbo2.0) S 31831 31833 31075 0 -1 4202496 5783 0 0 0 53 1 0 0 20 0 3 0 275166683 171151360 4175 33554432000 4194304 5965102 140734299044848 140734299044368 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31833/statm: 41785 4175 200 433 0 41349 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 167140
[startup+0.700159 s]
/proc/loadavg: 3.95 4.02 3.96 4/178 31833
/proc/meminfo: memFree=31408036/32873844 swapFree=7112/7112
[pid=31833] ppid=31831 vsize=167140 CPUtime=1.34 cores=1,3,5,7
/proc/31833/stat : 31833 (pwbo2.0) S 31831 31833 31075 0 -1 4202496 8579 0 0 0 132 2 0 0 20 0 3 0 275166683 171151360 4673 33554432000 4194304 5965102 140734299044848 140734299044368 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31833/statm: 41785 4673 200 433 0 41349 0
Current children cumulated CPU time (s) 1.34
Current children cumulated vsize (KiB) 167140
[startup+1.50031 s]
/proc/loadavg: 3.95 4.02 3.96 5/181 31836
/proc/meminfo: memFree=31387072/32873844 swapFree=7112/7112
[pid=31833] ppid=31831 vsize=167140 CPUtime=2.94 cores=1,3,5,7
/proc/31833/stat : 31833 (pwbo2.0) S 31831 31833 31075 0 -1 4202496 13905 0 0 0 291 3 0 0 20 0 3 0 275166683 171151360 5447 33554432000 4194304 5965102 140734299044848 140734299044368 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31833/statm: 41785 5425 200 433 0 41349 0
[pid=31833/tid=31835] ppid=31831 vsize=167140 CPUtime=1.44 cores=1,3,5,7
/proc/31833/task/31835/stat : 31835 (pwbo2.0) R 31831 31833 31075 0 -1 4202560 10522 0 0 0 142 2 0 0 20 0 3 0 275166687 171151360 5425 33554432000 4194304 5965102 140734299044848 139917129316888 5244999 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=31833/tid=31836] ppid=31831 vsize=167140 CPUtime=1.44 cores=1,3,5,7
/proc/31833/task/31836/stat : 31836 (pwbo2.0) R 31831 31833 31075 0 -1 4202560 1282 0 0 0 144 0 0 0 20 0 3 0 275166687 171151360 5425 33554432000 4194304 5965102 140734299044848 139917118826744 4432677 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 167140
[startup+3.10033 s]
/proc/loadavg: 3.95 4.02 3.96 5/181 31836
/proc/meminfo: memFree=31376888/32873844 swapFree=7112/7112
[pid=31833] ppid=31831 vsize=167140 CPUtime=6.14 cores=1,3,5,7
/proc/31833/stat : 31833 (pwbo2.0) S 31831 31833 31075 0 -1 4202496 23146 0 0 0 610 4 0 0 20 0 3 0 275166683 171151360 7166 33554432000 4194304 5965102 140734299044848 140734299044368 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31833/statm: 41785 7166 200 433 0 41349 0
[pid=31833/tid=31835] ppid=31831 vsize=167140 CPUtime=3.03 cores=1,3,5,7
/proc/31833/task/31835/stat : 31835 (pwbo2.0) R 31831 31833 31075 0 -1 4202560 19614 0 0 0 300 3 0 0 20 0 3 0 275166687 171151360 7166 33554432000 4194304 5965102 140734299044848 139917129316888 5237527 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=31833/tid=31836] ppid=31831 vsize=167140 CPUtime=3.03 cores=1,3,5,7
/proc/31833/task/31836/stat : 31836 (pwbo2.0) R 31831 31833 31075 0 -1 4202560 1431 0 0 0 303 0 0 0 20 0 3 0 275166687 171151360 7166 33554432000 4194304 5965102 140734299044848 139917118826616 4394025 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 167140
[startup+6.30034 s]
/proc/loadavg: 3.95 4.02 3.96 5/181 31836
/proc/meminfo: memFree=31352212/32873844 swapFree=7112/7112
[pid=31833] ppid=31831 vsize=167272 CPUtime=12.53 cores=1,3,5,7
/proc/31833/stat : 31833 (pwbo2.0) S 31831 31833 31075 0 -1 4202496 36633 0 0 0 1246 7 0 0 20 0 3 0 275166683 171286528 10886 33554432000 4194304 5965102 140734299044848 140734299044368 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31833/statm: 41818 10886 200 433 0 41382 0
[pid=31833/tid=31835] ppid=31831 vsize=167272 CPUtime=6.22 cores=1,3,5,7
/proc/31833/task/31835/stat : 31835 (pwbo2.0) R 31831 31833 31075 0 -1 4202560 32812 0 0 0 616 6 0 0 20 0 3 0 275166687 171286528 10886 33554432000 4194304 5965102 140734299044848 139917129316760 4430847 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=31833/tid=31836] ppid=31831 vsize=167272 CPUtime=6.22 cores=1,3,5,7
/proc/31833/task/31836/stat : 31836 (pwbo2.0) R 31831 31833 31075 0 -1 4202560 1720 0 0 0 621 1 0 0 20 0 3 0 275166687 171286528 10886 33554432000 4194304 5965102 140734299044848 139917118826744 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.53
Current children cumulated vsize (KiB) 167272
[startup+12.7003 s]
/proc/loadavg: 3.96 4.02 3.96 5/181 31836
/proc/meminfo: memFree=31328056/32873844 swapFree=7112/7112
[pid=31833] ppid=31831 vsize=167408 CPUtime=25.33 cores=1,3,5,7
/proc/31833/stat : 31833 (pwbo2.0) S 31831 31833 31075 0 -1 4202496 45647 0 0 0 2523 10 0 0 20 0 3 0 275166683 171425792 14000 33554432000 4194304 5965102 140734299044848 140734299044368 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31833/statm: 41852 14000 200 433 0 41416 0
[pid=31833/tid=31835] ppid=31831 vsize=167408 CPUtime=12.61 cores=1,3,5,7
/proc/31833/task/31835/stat : 31835 (pwbo2.0) R 31831 31833 31075 0 -1 4202560 41478 0 0 0 1253 8 0 0 20 0 3 0 275166687 171425792 14000 33554432000 4194304 5965102 140734299044848 139917129316888 4401155 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=31833/tid=31836] ppid=31831 vsize=167408 CPUtime=12.6 cores=1,3,5,7
/proc/31833/task/31836/stat : 31836 (pwbo2.0) R 31831 31833 31075 0 -1 4202560 2068 0 0 0 1259 1 0 0 20 0 3 0 275166687 171425792 14000 33554432000 4194304 5965102 140734299044848 139917118826616 4383291 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.33
Current children cumulated vsize (KiB) 167408
[startup+25.5003 s]
/proc/loadavg: 4.03 4.03 3.97 5/181 31836
/proc/meminfo: memFree=31295568/32873844 swapFree=7112/7112
[pid=31833] ppid=31831 vsize=167544 CPUtime=50.92 cores=1,3,5,7
/proc/31833/stat : 31833 (pwbo2.0) S 31831 31833 31075 0 -1 4202496 50331 0 0 0 5080 12 0 0 20 0 3 0 275166683 171565056 18684 33554432000 4194304 5965102 140734299044848 140734299044368 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31833/statm: 41886 18684 200 433 0 41450 0
[pid=31833/tid=31835] ppid=31831 vsize=167544 CPUtime=25.37 cores=1,3,5,7
/proc/31833/task/31835/stat : 31835 (pwbo2.0) R 31831 31833 31075 0 -1 4202560 45573 0 0 0 2527 10 0 0 20 0 3 0 275166687 171565056 18684 33554432000 4194304 5965102 140734299044848 139917129316256 4401849 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=31833/tid=31836] ppid=31831 vsize=167544 CPUtime=25.37 cores=1,3,5,7
/proc/31833/task/31836/stat : 31836 (pwbo2.0) R 31831 31833 31075 0 -1 4202560 2657 0 0 0 2536 1 0 0 20 0 3 0 275166687 171565056 18684 33554432000 4194304 5965102 140734299044848 139917118826856 4383274 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 50.92
Current children cumulated vsize (KiB) 167544
[startup+51.1004 s]
/proc/loadavg: 4.09 4.05 3.98 5/181 31836
/proc/meminfo: memFree=31259560/32873844 swapFree=7112/7112
[pid=31833] ppid=31831 vsize=168464 CPUtime=102.11 cores=1,3,5,7
/proc/31833/stat : 31833 (pwbo2.0) S 31831 31833 31075 0 -1 4202496 51322 0 0 0 10198 13 0 0 20 0 3 0 275166683 172507136 19675 33554432000 4194304 5965102 140734299044848 140734299044368 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31833/statm: 42116 19675 200 433 0 41680 0
[pid=31833/tid=31835] ppid=31831 vsize=168464 CPUtime=50.91 cores=1,3,5,7
/proc/31833/task/31835/stat : 31835 (pwbo2.0) R 31831 31833 31075 0 -1 4202560 45796 0 0 0 5081 10 0 0 20 0 3 0 275166687 172507136 19675 33554432000 4194304 5965102 140734299044848 139917129316448 4400960 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=31833/tid=31836] ppid=31831 vsize=168464 CPUtime=50.9 cores=1,3,5,7
/proc/31833/task/31836/stat : 31836 (pwbo2.0) R 31831 31833 31075 0 -1 4202560 3425 0 0 0 5088 2 0 0 20 0 3 0 275166687 172507136 19675 33554432000 4194304 5965102 140734299044848 139917118826616 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.11
Current children cumulated vsize (KiB) 168464
[startup+102.307 s]
/proc/loadavg: 4.04 4.04 3.98 5/181 31836
/proc/meminfo: memFree=31151104/32873844 swapFree=7112/7112
[pid=31833] ppid=31831 vsize=169256 CPUtime=204.51 cores=1,3,5,7
/proc/31833/stat : 31833 (pwbo2.0) S 31831 31833 31075 0 -1 4202496 52127 0 0 0 20437 14 0 0 20 0 3 0 275166683 173318144 20480 33554432000 4194304 5965102 140734299044848 140734299044368 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31833/statm: 42314 20480 200 433 0 41878 0
[pid=31833/tid=31835] ppid=31831 vsize=169256 CPUtime=101.98 cores=1,3,5,7
/proc/31833/task/31835/stat : 31835 (pwbo2.0) R 31831 31833 31075 0 -1 4202560 45798 0 0 0 10187 11 0 0 20 0 3 0 275166687 173318144 20480 33554432000 4194304 5965102 140734299044848 139917129316256 4221120 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=31833/tid=31836] ppid=31831 vsize=169256 CPUtime=101.98 cores=1,3,5,7
/proc/31833/task/31836/stat : 31836 (pwbo2.0) R 31831 31833 31075 0 -1 4202560 4228 0 0 0 10194 4 0 0 20 0 3 0 275166687 173318144 20480 33554432000 4194304 5965102 140734299044848 139917118826808 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 204.51
Current children cumulated vsize (KiB) 169256
[startup+162.3 s]
/proc/loadavg: 4.01 4.03 3.98 5/181 31836
/proc/meminfo: memFree=31093724/32873844 swapFree=7112/7112
[pid=31833] ppid=31831 vsize=235736 CPUtime=324.48 cores=1,3,5,7
/proc/31833/stat : 31833 (pwbo2.0) S 31831 31833 31075 0 -1 4202496 54783 0 0 0 32430 18 0 0 20 0 3 0 275166683 241393664 23136 33554432000 4194304 5965102 140734299044848 140734299044368 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31833/statm: 58934 23136 200 433 0 58498 0
[pid=31833/tid=31835] ppid=31831 vsize=235736 CPUtime=161.82 cores=1,3,5,7
/proc/31833/task/31835/stat : 31835 (pwbo2.0) R 31831 31833 31075 0 -1 4202560 48095 0 0 0 16166 16 0 0 20 0 3 0 275166687 241393664 23136 33554432000 4194304 5965102 140734299044848 139917129316392 4401127 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=31833/tid=31836] ppid=31831 vsize=235736 CPUtime=161.82 cores=1,3,5,7
/proc/31833/task/31836/stat : 31836 (pwbo2.0) R 31831 31833 31075 0 -1 4202560 4587 0 0 0 16177 5 0 0 20 0 3 0 275166687 241393664 23136 33554432000 4194304 5965102 140734299044848 139917118826568 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 324.48
Current children cumulated vsize (KiB) 235736
[startup+222.3 s]
/proc/loadavg: 4.00 4.02 3.98 5/182 31839
/proc/meminfo: memFree=30998028/32873844 swapFree=7112/7112
[pid=31833] ppid=31831 vsize=236264 CPUtime=444.43 cores=1,3,5,7
/proc/31833/stat : 31833 (pwbo2.0) S 31831 31833 31075 0 -1 4202496 58091 0 0 0 44419 24 0 0 20 0 3 0 275166683 241934336 26795 33554432000 4194304 5965102 140734299044848 140734299044368 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31833/statm: 59066 26795 200 433 0 58630 0
[pid=31833/tid=31835] ppid=31831 vsize=236264 CPUtime=221.63 cores=1,3,5,7
/proc/31833/task/31835/stat : 31835 (pwbo2.0) R 31831 31833 31075 0 -1 4202560 50500 0 0 0 22142 21 0 0 20 0 3 0 275166687 241934336 26795 33554432000 4194304 5965102 140734299044848 139917129316152 4401668 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=31833/tid=31836] ppid=31831 vsize=236264 CPUtime=221.66 cores=1,3,5,7
/proc/31833/task/31836/stat : 31836 (pwbo2.0) R 31831 31833 31075 0 -1 4202560 5490 0 0 0 22158 8 0 0 20 0 3 0 275166687 241934336 26795 33554432000 4194304 5965102 140734299044848 139917118826808 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 444.43
Current children cumulated vsize (KiB) 236264
[startup+282.3 s]
/proc/loadavg: 4.05 4.03 3.98 5/181 31840
/proc/meminfo: memFree=30972724/32873844 swapFree=7112/7112
[pid=31833] ppid=31831 vsize=237136 CPUtime=564.4 cores=1,3,5,7
/proc/31833/stat : 31833 (pwbo2.0) S 31831 31833 31075 0 -1 4202496 61364 0 0 0 56411 29 0 0 20 0 3 0 275166683 242827264 31115 33554432000 4194304 5965102 140734299044848 140734299044368 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31833/statm: 59284 31115 200 433 0 58848 0
[pid=31833/tid=31835] ppid=31831 vsize=237136 CPUtime=281.48 cores=1,3,5,7
/proc/31833/task/31835/stat : 31835 (pwbo2.0) R 31831 31833 31075 0 -1 4202560 53246 0 0 0 28121 27 0 0 20 0 3 0 275166687 242827264 31115 33554432000 4194304 5965102 140734299044848 139917129316392 4400960 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=31833/tid=31836] ppid=31831 vsize=237136 CPUtime=281.5 cores=1,3,5,7
/proc/31833/task/31836/stat : 31836 (pwbo2.0) R 31831 31833 31075 0 -1 4202560 6017 0 0 0 28141 9 0 0 20 0 3 0 275166687 242827264 31115 33554432000 4194304 5965102 140734299044848 139917118826568 4413793 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 564.4
Current children cumulated vsize (KiB) 237136
[startup+342.3 s]
/proc/loadavg: 4.02 4.02 3.98 5/181 31840
/proc/meminfo: memFree=30831516/32873844 swapFree=7112/7112
[pid=31833] ppid=31831 vsize=237496 CPUtime=684.38 cores=1,3,5,7
/proc/31833/stat : 31833 (pwbo2.0) S 31831 31833 31075 0 -1 4202496 63349 0 0 0 68407 31 0 0 20 0 3 0 275166683 243195904 33100 33554432000 4194304 5965102 140734299044848 140734299044368 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31833/statm: 59374 33100 200 433 0 58938 0
################
# More data... #
################
[pid=31833/tid=31836] ppid=31831 vsize=237496 CPUtime=341.34 cores=1,3,5,7
/proc/31833/task/31836/stat : 31836 (pwbo2.0) R 31831 31833 31075 0 -1 4202560 6239 0 0 0 34124 10 0 0 20 0 3 0 275166687 243195904 33100 33554432000 4194304 5965102 140734299044848 139917118826616 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 684.38
Current children cumulated vsize (KiB) 237496
[startup+402.3 s]
/proc/loadavg: 4.00 4.02 3.98 5/181 31840
/proc/meminfo: memFree=30795932/32873844 swapFree=7112/7112
[pid=31833] ppid=31831 vsize=237988 CPUtime=804.37 cores=1,3,5,7
/proc/31833/stat : 31833 (pwbo2.0) S 31831 31833 31075 0 -1 4202496 65254 0 0 0 80402 35 0 0 20 0 3 0 275166683 243699712 35005 33554432000 4194304 5965102 140734299044848 140734299044368 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31833/statm: 59497 35005 200 433 0 59061 0
[pid=31833/tid=31835] ppid=31831 vsize=237988 CPUtime=401.17 cores=1,3,5,7
/proc/31833/task/31835/stat : 31835 (pwbo2.0) R 31831 31833 31075 0 -1 4202560 56258 0 0 0 40083 34 0 0 20 0 3 0 275166687 243699712 35005 33554432000 4194304 5965102 140734299044848 139917129316344 4401500 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=31833/tid=31836] ppid=31831 vsize=237988 CPUtime=401.19 cores=1,3,5,7
/proc/31833/task/31836/stat : 31836 (pwbo2.0) R 31831 31833 31075 0 -1 4202560 6895 0 0 0 40107 12 0 0 20 0 3 0 275166687 243699712 35005 33554432000 4194304 5965102 140734299044848 139917118826616 4400978 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 804.37
Current children cumulated vsize (KiB) 237988
[startup+462.3 s]
/proc/loadavg: 4.00 4.01 3.98 5/181 31840
/proc/meminfo: memFree=30737436/32873844 swapFree=7112/7112
[pid=31833] ppid=31831 vsize=237988 CPUtime=924.35 cores=1,3,5,7
/proc/31833/stat : 31833 (pwbo2.0) S 31831 31833 31075 0 -1 4202496 68065 0 0 0 92396 39 0 0 20 0 3 0 275166683 243699712 37816 33554432000 4194304 5965102 140734299044848 140734299044368 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31833/statm: 59497 37816 200 433 0 59061 0
[pid=31833/tid=31835] ppid=31831 vsize=237988 CPUtime=461.01 cores=1,3,5,7
/proc/31833/task/31835/stat : 31835 (pwbo2.0) R 31831 31833 31075 0 -1 4202560 59002 0 0 0 46062 39 0 0 20 0 3 0 275166687 243699712 37816 33554432000 4194304 5965102 140734299044848 139917129316344 4400960 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=31833/tid=31836] ppid=31831 vsize=237988 CPUtime=461.04 cores=1,3,5,7
/proc/31833/task/31836/stat : 31836 (pwbo2.0) R 31831 31833 31075 0 -1 4202560 6962 0 0 0 46091 13 0 0 20 0 3 0 275166687 243699712 37816 33554432000 4194304 5965102 140734299044848 139917118826616 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 924.35
Current children cumulated vsize (KiB) 237988
[startup+522.3 s]
/proc/loadavg: 4.00 4.01 3.98 5/181 31840
/proc/meminfo: memFree=30667672/32873844 swapFree=7112/7112
[pid=31833] ppid=31831 vsize=238796 CPUtime=1044.33 cores=1,3,5,7
/proc/31833/stat : 31833 (pwbo2.0) S 31831 31833 31075 0 -1 4202496 70813 0 0 0 104390 43 0 0 20 0 3 0 275166683 244527104 40562 33554432000 4194304 5965102 140734299044848 140734299044368 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31833/statm: 59699 40562 200 433 0 59263 0
[pid=31833/tid=31835] ppid=31831 vsize=238796 CPUtime=520.86 cores=1,3,5,7
/proc/31833/task/31835/stat : 31835 (pwbo2.0) R 31831 31833 31075 0 -1 4202560 61538 0 0 0 52044 42 0 0 20 0 3 0 275166687 244527104 40562 33554432000 4194304 5965102 140734299044848 139917129316392 4400894 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=31833/tid=31836] ppid=31831 vsize=238796 CPUtime=520.88 cores=1,3,5,7
/proc/31833/task/31836/stat : 31836 (pwbo2.0) R 31831 31833 31075 0 -1 4202560 7174 0 0 0 52074 14 0 0 20 0 3 0 275166687 244527104 40562 33554432000 4194304 5965102 140734299044848 139917118826680 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1044.33
Current children cumulated vsize (KiB) 238796
[startup+582.3 s]
/proc/loadavg: 4.03 4.02 3.99 5/181 31841
/proc/meminfo: memFree=30535236/32873844 swapFree=7112/7112
[pid=31833] ppid=31831 vsize=238936 CPUtime=1164.32 cores=1,3,5,7
/proc/31833/stat : 31833 (pwbo2.0) S 31831 31833 31075 0 -1 4202496 71715 0 0 0 116388 44 0 0 20 0 3 0 275166683 244670464 41497 33554432000 4194304 5965102 140734299044848 140734299044368 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31833/statm: 59734 41497 200 433 0 59298 0
[pid=31833/tid=31835] ppid=31831 vsize=238936 CPUtime=580.71 cores=1,3,5,7
/proc/31833/task/31835/stat : 31835 (pwbo2.0) R 31831 31833 31075 0 -1 4202560 62182 0 0 0 58027 44 0 0 20 0 3 0 275166687 244670464 41497 33554432000 4194304 5965102 140734299044848 139917129316152 4400960 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=31833/tid=31836] ppid=31831 vsize=238936 CPUtime=580.73 cores=1,3,5,7
/proc/31833/task/31836/stat : 31836 (pwbo2.0) R 31831 31833 31075 0 -1 4202560 7432 0 0 0 58058 15 0 0 20 0 3 0 275166687 244670464 41497 33554432000 4194304 5965102 140734299044848 139917118826616 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1164.32
Current children cumulated vsize (KiB) 238936
[startup+642.3 s]
/proc/loadavg: 4.01 4.01 3.99 5/181 31841
/proc/meminfo: memFree=30426560/32873844 swapFree=7112/7112
[pid=31833] ppid=31831 vsize=239300 CPUtime=1284.29 cores=1,3,5,7
/proc/31833/stat : 31833 (pwbo2.0) S 31831 31833 31075 0 -1 4202496 72130 0 0 0 128385 44 0 0 20 0 3 0 275166683 245043200 42123 33554432000 4194304 5965102 140734299044848 140734299044368 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31833/statm: 59825 42123 200 433 0 59389 0
[pid=31833/tid=31835] ppid=31831 vsize=239300 CPUtime=640.53 cores=1,3,5,7
/proc/31833/task/31835/stat : 31835 (pwbo2.0) R 31831 31833 31075 0 -1 4202560 62347 0 0 0 64008 45 0 0 20 0 3 0 275166687 245043200 42123 33554432000 4194304 5965102 140734299044848 139917129316152 4400960 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=31833/tid=31836] ppid=31831 vsize=239300 CPUtime=640.58 cores=1,3,5,7
/proc/31833/task/31836/stat : 31836 (pwbo2.0) R 31831 31833 31075 0 -1 4202560 7682 0 0 0 64042 16 0 0 20 0 3 0 275166687 245043200 42123 33554432000 4194304 5965102 140734299044848 139917118826680 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1284.29
Current children cumulated vsize (KiB) 239300
[startup+702.3 s]
/proc/loadavg: 4.00 4.00 3.99 5/181 31841
/proc/meminfo: memFree=30375504/32873844 swapFree=7112/7112
[pid=31833] ppid=31831 vsize=240372 CPUtime=1404.25 cores=1,3,5,7
/proc/31833/stat : 31833 (pwbo2.0) S 31831 31833 31075 0 -1 4202496 74265 0 0 0 140378 47 0 0 20 0 3 0 275166683 246140928 44383 33554432000 4194304 5965102 140734299044848 140734299044368 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31833/statm: 60093 44383 200 433 0 59657 0
[pid=31833/tid=31835] ppid=31831 vsize=240372 CPUtime=700.37 cores=1,3,5,7
/proc/31833/task/31835/stat : 31835 (pwbo2.0) R 31831 31833 31075 0 -1 4202560 64014 0 0 0 69988 49 0 0 20 0 3 0 275166687 246140928 44383 33554432000 4194304 5965102 140734299044848 139917129316344 4401050 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=31833/tid=31836] ppid=31831 vsize=240372 CPUtime=700.42 cores=1,3,5,7
/proc/31833/task/31836/stat : 31836 (pwbo2.0) R 31831 31833 31075 0 -1 4202560 8150 0 0 0 70025 17 0 0 20 0 3 0 275166687 246140928 44383 33554432000 4194304 5965102 140734299044848 139917118826568 4400992 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1404.25
Current children cumulated vsize (KiB) 240372
[startup+762.307 s]
/proc/loadavg: 4.06 4.02 3.99 5/181 31841
/proc/meminfo: memFree=30337092/32873844 swapFree=7112/7112
[pid=31833] ppid=31831 vsize=306148 CPUtime=1524.25 cores=1,3,5,7
/proc/31833/stat : 31833 (pwbo2.0) S 31831 31833 31075 0 -1 4202496 76903 0 0 0 152374 51 0 0 20 0 3 0 275166683 313495552 47021 33554432000 4194304 5965102 140734299044848 140734299044368 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31833/statm: 76537 47021 200 433 0 76101 0
[pid=31833/tid=31835] ppid=31831 vsize=306148 CPUtime=760.22 cores=1,3,5,7
/proc/31833/task/31835/stat : 31835 (pwbo2.0) R 31831 31833 31075 0 -1 4202560 66482 0 0 0 75968 54 0 0 20 0 3 0 275166687 313495552 47021 33554432000 4194304 5965102 140734299044848 139917129316344 4400955 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=31833/tid=31836] ppid=31831 vsize=306148 CPUtime=760.27 cores=1,3,5,7
/proc/31833/task/31836/stat : 31836 (pwbo2.0) R 31831 31833 31075 0 -1 4202560 8320 0 0 0 76009 18 0 0 20 0 3 0 275166687 313495552 47021 33554432000 4194304 5965102 140734299044848 139917118826616 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1524.25
Current children cumulated vsize (KiB) 306148
[startup+822.3 s]
/proc/loadavg: 4.02 4.01 3.99 5/182 31844
/proc/meminfo: memFree=30320496/32873844 swapFree=7112/7112
[pid=31833] ppid=31831 vsize=306332 CPUtime=1644.21 cores=1,3,5,7
/proc/31833/stat : 31833 (pwbo2.0) S 31831 31833 31075 0 -1 4202496 79107 0 0 0 164367 54 0 0 20 0 3 0 275166683 313683968 49225 33554432000 4194304 5965102 140734299044848 140734299044368 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31833/statm: 76583 49225 200 433 0 76147 0
[pid=31833/tid=31835] ppid=31831 vsize=306332 CPUtime=820.06 cores=1,3,5,7
/proc/31833/task/31835/stat : 31835 (pwbo2.0) R 31831 31833 31075 0 -1 4202560 68659 0 0 0 81948 58 0 0 20 0 3 0 275166687 313683968 49225 33554432000 4194304 5965102 140734299044848 139917129316152 4400960 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=31833/tid=31836] ppid=31831 vsize=306332 CPUtime=820.11 cores=1,3,5,7
/proc/31833/task/31836/stat : 31836 (pwbo2.0) R 31831 31833 31075 0 -1 4202560 8347 0 0 0 81992 19 0 0 20 0 3 0 275166687 313683968 49225 33554432000 4194304 5965102 140734299044848 139917118826568 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1644.21
Current children cumulated vsize (KiB) 306332
[startup+882.3 s]
/proc/loadavg: 4.04 4.02 4.00 5/182 31909
/proc/meminfo: memFree=31250252/32873844 swapFree=7112/7112
[pid=31833] ppid=31831 vsize=306864 CPUtime=1764.19 cores=1,3,5,7
/proc/31833/stat : 31833 (pwbo2.0) S 31831 31833 31075 0 -1 4202496 81242 0 0 0 176362 57 0 0 20 0 3 0 275166683 314228736 51360 33554432000 4194304 5965102 140734299044848 140734299044368 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31833/statm: 76716 51360 200 433 0 76280 0
[pid=31833/tid=31835] ppid=31831 vsize=306864 CPUtime=879.91 cores=1,3,5,7
/proc/31833/task/31835/stat : 31835 (pwbo2.0) R 31831 31833 31075 0 -1 4202560 70607 0 0 0 87929 62 0 0 20 0 3 0 275166687 314228736 51360 33554432000 4194304 5965102 140734299044848 139917129316392 4400960 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=31833/tid=31836] ppid=31831 vsize=306864 CPUtime=879.96 cores=1,3,5,7
/proc/31833/task/31836/stat : 31836 (pwbo2.0) R 31831 31833 31075 0 -1 4202560 8534 0 0 0 87976 20 0 0 20 0 3 0 275166687 314228736 51360 33554432000 4194304 5965102 140734299044848 139917118826720 4400963 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1764.19
Current children cumulated vsize (KiB) 306864
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.3 s]
/proc/loadavg: 4.03 4.02 4.00 5/182 31909
/proc/meminfo: memFree=31239140/32873844 swapFree=7112/7112
[pid=31833] ppid=31831 vsize=306864 CPUtime=1800.2 cores=1,3,5,7
/proc/31833/stat : 31833 (pwbo2.0) S 31831 31833 31075 0 -1 4202496 81831 0 0 0 179962 58 0 0 20 0 3 0 275166683 314228736 51962 33554432000 4194304 5965102 140734299044848 140734299044368 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31833/statm: 76716 51962 200 433 0 76280 0
[pid=31833/tid=31835] ppid=31831 vsize=306864 CPUtime=897.86 cores=1,3,5,7
/proc/31833/task/31835/stat : 31835 (pwbo2.0) R 31831 31833 31075 0 -1 4202560 71128 0 0 0 89723 63 0 0 20 0 3 0 275166687 314228736 51962 33554432000 4194304 5965102 140734299044848 139917129316392 4220672 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=31833/tid=31836] ppid=31831 vsize=306864 CPUtime=897.92 cores=1,3,5,7
/proc/31833/task/31836/stat : 31836 (pwbo2.0) R 31831 31833 31075 0 -1 4202560 8602 0 0 0 89772 20 0 0 20 0 3 0 275166687 314228736 51962 33554432000 4194304 5965102 140734299044848 139917118826616 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 306864
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+900.3 s]
/proc/loadavg: 4.03 4.02 4.00 5/182 31909
/proc/meminfo: memFree=31239140/32873844 swapFree=7112/7112
[pid=31833] ppid=31831 vsize=306864 CPUtime=1800.2 cores=1,3,5,7
/proc/31833/stat : 31833 (pwbo2.0) S 31831 31833 31075 0 -1 4202496 81831 0 0 0 179962 58 0 0 20 0 3 0 275166683 314228736 51962 33554432000 4194304 5965102 140734299044848 140734299044368 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31833/statm: 76716 51962 200 433 0 76280 0
[pid=31833/tid=31835] ppid=31831 vsize=306864 CPUtime=897.86 cores=1,3,5,7
/proc/31833/task/31835/stat : 31835 (pwbo2.0) R 31831 31833 31075 0 -1 4202560 71128 0 0 0 89723 63 0 0 20 0 3 0 275166687 314228736 51962 33554432000 4194304 5965102 140734299044848 139917129316392 4220672 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=31833/tid=31836] ppid=31831 vsize=306864 CPUtime=897.92 cores=1,3,5,7
/proc/31833/task/31836/stat : 31836 (pwbo2.0) R 31831 31833 31075 0 -1 4202560 8602 0 0 0 89772 20 0 0 20 0 3 0 275166687 314228736 51962 33554432000 4194304 5965102 140734299044848 139917118826616 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 306864
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 31833 and gives
# childrusage.ru_utime.tv_sec=1795
# childrusage.ru_utime.tv_usec=4117
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=854870
# CPU time returned by wait4() is 1795.86
# while last known CPU time is 1800.2
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 900.316
CPU time (s): 1800.2
CPU user time (s): 1799.62
CPU system time (s): 0.58
CPU usage (%): 199.952
Max. virtual memory (cumulated for all children) (KiB): 306864
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795
system time used= 0.85487
maximum resident set size= 207852
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 81832
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= 436
involuntary context switches= 2538
runsolver used 1.9807 second user time and 5.79512 second system time
The end