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-3728115-1338669337/watcher-3728115-1338669337 -o /tmp/evaluation-result-3728115-1338669337/solver-3728115-1338669337 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=wbo HOME/instance-3728115-1338669337.wbo
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: 0.92 1.01 1.31 3/177 13889
/proc/meminfo: memFree=28139488/32873844 swapFree=7384/7384
[pid=13889] ppid=13887 vsize=83864 CPUtime=0 cores=1,3,5,7
/proc/13889/stat : 13889 (wbo1.72) S 13887 13889 13674 0 -1 4202496 931 0 0 0 0 0 0 0 20 0 2 0 333059135 85876736 878 33554432000 4194304 5964350 140737022433392 140737022432912 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13889/statm: 20966 878 191 433 0 20530 0
[pid=13889/tid=13890] ppid=13887 vsize=83864 CPUtime=0 cores=1,3,5,7
/proc/13889/task/13890/stat : 13890 (wbo1.72) R 13887 13889 13674 0 -1 4202560 152 0 0 0 0 0 0 0 20 0 2 0 333059135 85876736 878 33554432000 4194304 5964350 140737022433392 140736408644584 5136340 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[startup+0.0898179 s]
/proc/loadavg: 0.92 1.01 1.31 3/177 13889
/proc/meminfo: memFree=28139488/32873844 swapFree=7384/7384
[pid=13889] ppid=13887 vsize=83864 CPUtime=0.08 cores=1,3,5,7
/proc/13889/stat : 13889 (wbo1.72) S 13887 13889 13674 0 -1 4202496 1225 0 0 0 8 0 0 0 20 0 2 0 333059135 85876736 1172 33554432000 4194304 5964350 140737022433392 140737022432912 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13889/statm: 20966 1172 193 433 0 20530 0
[pid=13889/tid=13890] ppid=13887 vsize=83864 CPUtime=0.07 cores=1,3,5,7
/proc/13889/task/13890/stat : 13890 (wbo1.72) R 13887 13889 13674 0 -1 4202560 446 0 0 0 7 0 0 0 20 0 2 0 333059135 85876736 1172 33554432000 4194304 5964350 140737022433392 140736408644584 5136340 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 83864
[startup+0.100297 s]
/proc/loadavg: 0.92 1.01 1.31 3/177 13889
/proc/meminfo: memFree=28139488/32873844 swapFree=7384/7384
[pid=13889] ppid=13887 vsize=83864 CPUtime=0.09 cores=1,3,5,7
/proc/13889/stat : 13889 (wbo1.72) S 13887 13889 13674 0 -1 4202496 1267 0 0 0 9 0 0 0 20 0 2 0 333059135 85876736 1214 33554432000 4194304 5964350 140737022433392 140737022432912 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13889/statm: 20966 1214 193 433 0 20530 0
[pid=13889/tid=13890] ppid=13887 vsize=83864 CPUtime=0.08 cores=1,3,5,7
/proc/13889/task/13890/stat : 13890 (wbo1.72) R 13887 13889 13674 0 -1 4202560 488 0 0 0 8 0 0 0 20 0 2 0 333059135 85876736 1214 33554432000 4194304 5964350 140737022433392 140736408644584 5136340 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 83864
[startup+0.30025 s]
/proc/loadavg: 0.92 1.01 1.31 3/177 13889
/proc/meminfo: memFree=28139488/32873844 swapFree=7384/7384
[pid=13889] ppid=13887 vsize=83864 CPUtime=0.29 cores=1,3,5,7
/proc/13889/stat : 13889 (wbo1.72) S 13887 13889 13674 0 -1 4202496 1710 0 0 0 29 0 0 0 20 0 2 0 333059135 85876736 1657 33554432000 4194304 5964350 140737022433392 140737022432912 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13889/statm: 20966 1657 193 433 0 20530 0
[pid=13889/tid=13890] ppid=13887 vsize=83864 CPUtime=0.28 cores=1,3,5,7
/proc/13889/task/13890/stat : 13890 (wbo1.72) R 13887 13889 13674 0 -1 4202560 931 0 0 0 28 0 0 0 20 0 2 0 333059135 85876736 1657 33554432000 4194304 5964350 140737022433392 140736408644584 5136340 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 83864
[startup+0.700253 s]
/proc/loadavg: 0.92 1.01 1.31 3/177 13889
/proc/meminfo: memFree=28139488/32873844 swapFree=7384/7384
[pid=13889] ppid=13887 vsize=83864 CPUtime=0.69 cores=1,3,5,7
/proc/13889/stat : 13889 (wbo1.72) S 13887 13889 13674 0 -1 4202496 2385 0 0 0 69 0 0 0 20 0 2 0 333059135 85876736 2332 33554432000 4194304 5964350 140737022433392 140737022432912 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13889/statm: 20966 2332 193 433 0 20530 0
[pid=13889/tid=13890] ppid=13887 vsize=83864 CPUtime=0.68 cores=1,3,5,7
/proc/13889/task/13890/stat : 13890 (wbo1.72) R 13887 13889 13674 0 -1 4202560 1607 0 0 0 68 0 0 0 20 0 2 0 333059135 85876736 2333 33554432000 4194304 5964350 140737022433392 140595028699128 5136340 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 83864
[startup+1.5002 s]
/proc/loadavg: 0.92 1.01 1.31 3/179 13891
/proc/meminfo: memFree=28126288/32873844 swapFree=7384/7384
[pid=13889] ppid=13887 vsize=83864 CPUtime=1.49 cores=1,3,5,7
/proc/13889/stat : 13889 (wbo1.72) S 13887 13889 13674 0 -1 4202496 3423 0 0 0 148 1 0 0 20 0 2 0 333059135 85876736 3370 33554432000 4194304 5964350 140737022433392 140737022432912 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13889/statm: 20966 3370 193 433 0 20530 0
[pid=13889/tid=13890] ppid=13887 vsize=83864 CPUtime=1.48 cores=1,3,5,7
/proc/13889/task/13890/stat : 13890 (wbo1.72) R 13887 13889 13674 0 -1 4202560 2644 0 0 0 147 1 0 0 20 0 2 0 333059135 85876736 3370 33554432000 4194304 5964350 140737022433392 140595028699128 4399976 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 83864
[startup+3.1002 s]
/proc/loadavg: 0.92 1.01 1.31 3/179 13891
/proc/meminfo: memFree=28119552/32873844 swapFree=7384/7384
[pid=13889] ppid=13887 vsize=84008 CPUtime=3.09 cores=1,3,5,7
/proc/13889/stat : 13889 (wbo1.72) S 13887 13889 13674 0 -1 4202496 4086 0 0 0 308 1 0 0 20 0 2 0 333059135 86024192 4033 33554432000 4194304 5964350 140737022433392 140737022432912 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13889/statm: 21002 4033 193 433 0 20566 0
[pid=13889/tid=13890] ppid=13887 vsize=84008 CPUtime=3.08 cores=1,3,5,7
/proc/13889/task/13890/stat : 13890 (wbo1.72) R 13887 13889 13674 0 -1 4202560 3307 0 0 0 306 2 0 0 20 0 2 0 333059135 86024192 4033 33554432000 4194304 5964350 140737022433392 140595028699128 4399998 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 84008
[startup+6.30025 s]
/proc/loadavg: 1.09 1.04 1.32 3/179 13891
/proc/meminfo: memFree=28112112/32873844 swapFree=7384/7384
[pid=13889] ppid=13887 vsize=84008 CPUtime=6.29 cores=1,3,5,7
/proc/13889/stat : 13889 (wbo1.72) S 13887 13889 13674 0 -1 4202496 4437 0 0 0 627 2 0 0 20 0 2 0 333059135 86024192 4384 33554432000 4194304 5964350 140737022433392 140737022432912 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13889/statm: 21002 4384 193 433 0 20566 0
[pid=13889/tid=13890] ppid=13887 vsize=84008 CPUtime=6.27 cores=1,3,5,7
/proc/13889/task/13890/stat : 13890 (wbo1.72) R 13887 13889 13674 0 -1 4202560 3658 0 0 0 625 2 0 0 20 0 2 0 333059135 86024192 4384 33554432000 4194304 5964350 140737022433392 140595028699128 4400003 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 84008
[startup+12.7003 s]
/proc/loadavg: 1.16 1.06 1.33 3/179 13891
/proc/meminfo: memFree=28103832/32873844 swapFree=7384/7384
[pid=13889] ppid=13887 vsize=84008 CPUtime=12.69 cores=1,3,5,7
/proc/13889/stat : 13889 (wbo1.72) S 13887 13889 13674 0 -1 4202496 5067 0 0 0 1267 2 0 0 20 0 2 0 333059135 86024192 5014 33554432000 4194304 5964350 140737022433392 140737022432912 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13889/statm: 21002 5014 193 433 0 20566 0
[pid=13889/tid=13890] ppid=13887 vsize=84008 CPUtime=12.65 cores=1,3,5,7
/proc/13889/task/13890/stat : 13890 (wbo1.72) R 13887 13889 13674 0 -1 4202560 4288 0 0 0 1263 2 0 0 20 0 2 0 333059135 86024192 5014 33554432000 4194304 5964350 140737022433392 140595028698936 4400007 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 84008
[startup+25.5003 s]
/proc/loadavg: 1.34 1.10 1.34 3/179 13891
/proc/meminfo: memFree=28093928/32873844 swapFree=7384/7384
[pid=13889] ppid=13887 vsize=84008 CPUtime=25.48 cores=1,3,5,7
/proc/13889/stat : 13889 (wbo1.72) S 13887 13889 13674 0 -1 4202496 6060 0 0 0 2546 2 0 0 20 0 2 0 333059135 86024192 6005 33554432000 4194304 5964350 140737022433392 140737022432912 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13889/statm: 21002 6005 193 433 0 20566 0
[pid=13889/tid=13890] ppid=13887 vsize=84008 CPUtime=25.41 cores=1,3,5,7
/proc/13889/task/13890/stat : 13890 (wbo1.72) R 13887 13889 13674 0 -1 4202560 5281 0 0 0 2539 2 0 0 20 0 2 0 333059135 86024192 6005 33554432000 4194304 5964350 140737022433392 140595028699128 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 84008
[startup+51.1003 s]
/proc/loadavg: 1.57 1.17 1.35 3/179 13891
/proc/meminfo: memFree=28077292/32873844 swapFree=7384/7384
[pid=13889] ppid=13887 vsize=84080 CPUtime=51.07 cores=1,3,5,7
/proc/13889/stat : 13889 (wbo1.72) S 13887 13889 13674 0 -1 4202496 7797 0 0 0 5103 4 0 0 20 0 2 0 333059135 86097920 8462 33554432000 4194304 5964350 140737022433392 140737022432912 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13889/statm: 21020 8462 193 433 0 20584 0
[pid=13889/tid=13890] ppid=13887 vsize=84080 CPUtime=50.94 cores=1,3,5,7
/proc/13889/task/13890/stat : 13890 (wbo1.72) R 13887 13889 13674 0 -1 4202560 7018 0 0 0 5090 4 0 0 20 0 2 0 333059135 86097920 8462 33554432000 4194304 5964350 140737022433392 140595028699176 4399976 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 84080
[startup+102.307 s]
/proc/loadavg: 1.81 1.30 1.38 3/179 13891
/proc/meminfo: memFree=28058784/32873844 swapFree=7384/7384
[pid=13889] ppid=13887 vsize=84188 CPUtime=102.27 cores=1,3,5,7
/proc/13889/stat : 13889 (wbo1.72) S 13887 13889 13674 0 -1 4202496 10333 0 0 0 10222 5 0 0 20 0 2 0 333059135 86208512 11089 33554432000 4194304 5964350 140737022433392 140737022432912 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13889/statm: 21047 11089 193 433 0 20611 0
[pid=13889/tid=13890] ppid=13887 vsize=84188 CPUtime=102.01 cores=1,3,5,7
/proc/13889/task/13890/stat : 13890 (wbo1.72) R 13887 13889 13674 0 -1 4202560 9554 0 0 0 10195 6 0 0 20 0 2 0 333059135 86208512 11089 33554432000 4194304 5964350 140737022433392 140595028699128 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 84188
[startup+162.3 s]
/proc/loadavg: 1.93 1.42 1.42 3/179 13891
/proc/meminfo: memFree=28037572/32873844 swapFree=7384/7384
[pid=13889] ppid=13887 vsize=84836 CPUtime=162.25 cores=1,3,5,7
/proc/13889/stat : 13889 (wbo1.72) S 13887 13889 13674 0 -1 4202496 13078 0 0 0 16219 6 0 0 20 0 2 0 333059135 86872064 13834 33554432000 4194304 5964350 140737022433392 140737022432912 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13889/statm: 21209 13834 193 433 0 20773 0
[pid=13889/tid=13890] ppid=13887 vsize=84836 CPUtime=161.85 cores=1,3,5,7
/proc/13889/task/13890/stat : 13890 (wbo1.72) R 13887 13889 13674 0 -1 4202560 12299 0 0 0 16178 7 0 0 20 0 2 0 333059135 86872064 13834 33554432000 4194304 5964350 140737022433392 140595028699176 4400023 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 84836
[startup+222.3 s]
/proc/loadavg: 1.97 1.53 1.45 3/179 13891
/proc/meminfo: memFree=28005116/32873844 swapFree=7384/7384
[pid=13889] ppid=13887 vsize=152044 CPUtime=222.23 cores=1,3,5,7
/proc/13889/stat : 13889 (wbo1.72) S 13887 13889 13674 0 -1 4202496 19427 0 0 0 22215 8 0 0 20 0 2 0 333059135 155693056 20255 33554432000 4194304 5964350 140737022433392 140737022432912 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13889/statm: 38011 20255 193 433 0 37575 0
[pid=13889/tid=13890] ppid=13887 vsize=152044 CPUtime=221.68 cores=1,3,5,7
/proc/13889/task/13890/stat : 13890 (wbo1.72) R 13887 13889 13674 0 -1 4202560 18648 0 0 0 22157 11 0 0 20 0 2 0 333059135 155693056 20255 33554432000 4194304 5964350 140737022433392 140595028699128 4399989 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 152044
[startup+282.3 s]
/proc/loadavg: 1.99 1.61 1.48 3/180 13895
/proc/meminfo: memFree=27990152/32873844 swapFree=7384/7384
[pid=13889] ppid=13887 vsize=153052 CPUtime=282.21 cores=1,3,5,7
/proc/13889/stat : 13889 (wbo1.72) S 13887 13889 13674 0 -1 4202496 21443 0 0 0 28211 10 0 0 20 0 2 0 333059135 156725248 22300 33554432000 4194304 5964350 140737022433392 140737022432912 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13889/statm: 38263 22300 193 433 0 37827 0
[pid=13889/tid=13890] ppid=13887 vsize=153052 CPUtime=281.52 cores=1,3,5,7
/proc/13889/task/13890/stat : 13890 (wbo1.72) R 13887 13889 13674 0 -1 4202560 20664 0 0 0 28138 14 0 0 20 0 2 0 333059135 156725248 22300 33554432000 4194304 5964350 140737022433392 140595028698936 4400007 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 153052
[startup+342.3 s]
/proc/loadavg: 1.99 1.68 1.51 3/179 13895
/proc/meminfo: memFree=27978432/32873844 swapFree=7384/7384
[pid=13889] ppid=13887 vsize=153916 CPUtime=342.2 cores=1,3,5,7
/proc/13889/stat : 13889 (wbo1.72) S 13887 13889 13674 0 -1 4202496 21717 0 0 0 34210 10 0 0 20 0 2 0 333059135 157609984 23066 33554432000 4194304 5964350 140737022433392 140737022432912 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13889/statm: 38479 23066 193 433 0 38043 0
[pid=13889/tid=13890] ppid=13887 vsize=153916 CPUtime=341.37 cores=1,3,5,7
/proc/13889/task/13890/stat : 13890 (wbo1.72) R 13887 13889 13674 0 -1 4202560 20938 0 0 0 34122 15 0 0 20 0 2 0 333059135 157609984 23066 33554432000 4194304 5964350 140737022433392 140595028699000 4400011 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 153916
[startup+402.3 s]
/proc/loadavg: 1.99 1.73 1.54 3/179 13895
/proc/meminfo: memFree=27967632/32873844 swapFree=7384/7384
[pid=13889] ppid=13887 vsize=154924 CPUtime=402.19 cores=1,3,5,7
/proc/13889/stat : 13889 (wbo1.72) S 13887 13889 13674 0 -1 4202496 22012 0 0 0 40209 10 0 0 20 0 2 0 333059135 158642176 23365 33554432000 4194304 5964350 140737022433392 140737022432912 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.01 1.99 1.83 3/179 13902
/proc/meminfo: memFree=27783904/32873844 swapFree=7384/7384
[pid=13889] ppid=13887 vsize=240736 CPUtime=1422.01 cores=1,3,5,7
/proc/13889/stat : 13889 (wbo1.72) S 13887 13889 13674 0 -1 4202496 39668 0 0 0 142172 29 0 0 20 0 2 0 333059135 246513664 40980 33554432000 4194304 5964350 140737022433392 140737022432912 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13889/statm: 60184 40980 193 433 0 59748 0
[pid=13889/tid=13890] ppid=13887 vsize=240736 CPUtime=1418.59 cores=1,3,5,7
/proc/13889/task/13890/stat : 13890 (wbo1.72) R 13887 13889 13674 0 -1 4202560 38889 0 0 0 141809 50 0 0 20 0 2 0 333059135 246513664 40980 33554432000 4194304 5964350 140737022433392 140595028699176 4400023 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1422.01
Current children cumulated vsize (KiB) 240736
[startup+1482.3 s]
/proc/loadavg: 2.00 1.99 1.83 3/180 13906
/proc/meminfo: memFree=27775088/32873844 swapFree=7384/7384
[pid=13889] ppid=13887 vsize=240880 CPUtime=1482 cores=1,3,5,7
/proc/13889/stat : 13889 (wbo1.72) S 13887 13889 13674 0 -1 4202496 40840 0 0 0 148169 31 0 0 20 0 2 0 333059135 246661120 42152 33554432000 4194304 5964350 140737022433392 140737022432912 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13889/statm: 60220 42152 193 433 0 59784 0
[pid=13889/tid=13890] ppid=13887 vsize=240880 CPUtime=1478.43 cores=1,3,5,7
/proc/13889/task/13890/stat : 13890 (wbo1.72) R 13887 13889 13674 0 -1 4202560 40061 0 0 0 147790 53 0 0 20 0 2 0 333059135 246661120 42152 33554432000 4194304 5964350 140737022433392 140595028699128 4399976 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 240880
[startup+1542.3 s]
/proc/loadavg: 2.00 1.99 1.84 3/180 13929
/proc/meminfo: memFree=27748180/32873844 swapFree=7384/7384
[pid=13889] ppid=13887 vsize=241564 CPUtime=1541.99 cores=1,3,5,7
/proc/13889/stat : 13889 (wbo1.72) S 13887 13889 13674 0 -1 4202496 42675 0 0 0 154165 34 0 0 20 0 2 0 333059135 247361536 43987 33554432000 4194304 5964350 140737022433392 140737022432912 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13889/statm: 60391 43987 193 433 0 59955 0
[pid=13889/tid=13890] ppid=13887 vsize=241564 CPUtime=1538.27 cores=1,3,5,7
/proc/13889/task/13890/stat : 13890 (wbo1.72) R 13887 13889 13674 0 -1 4202560 41896 0 0 0 153770 57 0 0 20 0 2 0 333059135 247361536 43987 33554432000 4194304 5964350 140737022433392 140595028699128 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 241564
[startup+1602.3 s]
/proc/loadavg: 2.00 1.99 1.84 3/179 13929
/proc/meminfo: memFree=27740872/32873844 swapFree=7384/7384
[pid=13889] ppid=13887 vsize=241996 CPUtime=1601.98 cores=1,3,5,7
/proc/13889/stat : 13889 (wbo1.72) S 13887 13889 13674 0 -1 4202496 44310 0 0 0 160163 35 0 0 20 0 2 0 333059135 247803904 45622 33554432000 4194304 5964350 140737022433392 140737022432912 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13889/statm: 60499 45622 193 433 0 60063 0
[pid=13889/tid=13890] ppid=13887 vsize=241996 CPUtime=1598.12 cores=1,3,5,7
/proc/13889/task/13890/stat : 13890 (wbo1.72) R 13887 13889 13674 0 -1 4202560 43531 0 0 0 159753 59 0 0 20 0 2 0 333059135 247803904 45622 33554432000 4194304 5964350 140737022433392 140595028699128 4399998 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 241996
[startup+1662.3 s]
/proc/loadavg: 2.00 1.99 1.85 3/179 13929
/proc/meminfo: memFree=27730556/32873844 swapFree=7384/7384
[pid=13889] ppid=13887 vsize=242840 CPUtime=1661.98 cores=1,3,5,7
/proc/13889/stat : 13889 (wbo1.72) S 13887 13889 13674 0 -1 4202496 45943 0 0 0 166160 38 0 0 20 0 2 0 333059135 248668160 47255 33554432000 4194304 5964350 140737022433392 140737022432912 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13889/statm: 60710 47255 193 433 0 60274 0
[pid=13889/tid=13890] ppid=13887 vsize=242840 CPUtime=1657.96 cores=1,3,5,7
/proc/13889/task/13890/stat : 13890 (wbo1.72) R 13887 13889 13674 0 -1 4202560 45164 0 0 0 165733 63 0 0 20 0 2 0 333059135 248668160 47255 33554432000 4194304 5964350 140737022433392 140595028699128 4400007 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 242840
[startup+1722.3 s]
/proc/loadavg: 2.00 1.99 1.85 3/179 13929
/proc/meminfo: memFree=27712992/32873844 swapFree=7384/7384
[pid=13889] ppid=13887 vsize=242912 CPUtime=1721.96 cores=1,3,5,7
/proc/13889/stat : 13889 (wbo1.72) S 13887 13889 13674 0 -1 4202496 46072 0 0 0 172158 38 0 0 20 0 2 0 333059135 248741888 47384 33554432000 4194304 5964350 140737022433392 140737022432912 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13889/statm: 60728 47384 193 433 0 60292 0
[pid=13889/tid=13890] ppid=13887 vsize=242912 CPUtime=1717.8 cores=1,3,5,7
/proc/13889/task/13890/stat : 13890 (wbo1.72) R 13887 13889 13674 0 -1 4202560 45293 0 0 0 171716 64 0 0 20 0 2 0 333059135 248741888 47384 33554432000 4194304 5964350 140737022433392 140595028699176 4400011 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 242912
[startup+1782.3 s]
/proc/loadavg: 2.00 1.99 1.86 3/179 13930
/proc/meminfo: memFree=27709024/32873844 swapFree=7384/7384
[pid=13889] ppid=13887 vsize=242984 CPUtime=1781.95 cores=1,3,5,7
/proc/13889/stat : 13889 (wbo1.72) S 13887 13889 13674 0 -1 4202496 46103 0 0 0 178157 38 0 0 20 0 2 0 333059135 248815616 47415 33554432000 4194304 5964350 140737022433392 140737022432912 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13889/statm: 60746 47415 193 433 0 60310 0
[pid=13889/tid=13890] ppid=13887 vsize=242984 CPUtime=1777.65 cores=1,3,5,7
/proc/13889/task/13890/stat : 13890 (wbo1.72) R 13887 13889 13674 0 -1 4202560 45324 0 0 0 177700 65 0 0 20 0 2 0 333059135 248815616 47415 33554432000 4194304 5964350 140737022433392 140595028699176 4400035 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 242984
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 1.99 1.86 3/179 13930
/proc/meminfo: memFree=27708588/32873844 swapFree=7384/7384
[pid=13889] ppid=13887 vsize=242984 CPUtime=1791.55 cores=1,3,5,7
/proc/13889/stat : 13889 (wbo1.72) S 13887 13889 13674 0 -1 4202496 46112 0 0 0 179117 38 0 0 20 0 2 0 333059135 248815616 47424 33554432000 4194304 5964350 140737022433392 140737022432912 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13889/statm: 60746 47424 193 433 0 60310 0
[pid=13889/tid=13890] ppid=13887 vsize=242984 CPUtime=1787.23 cores=1,3,5,7
/proc/13889/task/13890/stat : 13890 (wbo1.72) R 13887 13889 13674 0 -1 4202560 45333 0 0 0 178658 65 0 0 20 0 2 0 333059135 248815616 47424 33554432000 4194304 5964350 140737022433392 140595028699176 4400017 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1791.55
Current children cumulated vsize (KiB) 242984
[startup+1795.1 s]
/proc/loadavg: 2.00 1.99 1.86 3/179 13930
/proc/meminfo: memFree=27708712/32873844 swapFree=7384/7384
[pid=13889] ppid=13887 vsize=242984 CPUtime=1794.75 cores=1,3,5,7
/proc/13889/stat : 13889 (wbo1.72) S 13887 13889 13674 0 -1 4202496 46112 0 0 0 179437 38 0 0 20 0 2 0 333059135 248815616 47424 33554432000 4194304 5964350 140737022433392 140737022432912 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13889/statm: 60746 47424 193 433 0 60310 0
[pid=13889/tid=13890] ppid=13887 vsize=242984 CPUtime=1790.42 cores=1,3,5,7
/proc/13889/task/13890/stat : 13890 (wbo1.72) R 13887 13889 13674 0 -1 4202560 45333 0 0 0 178977 65 0 0 20 0 2 0 333059135 248815616 47424 33554432000 4194304 5964350 140737022433392 140595028699176 4399998 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1794.75
Current children cumulated vsize (KiB) 242984
[startup+1798.3 s]
/proc/loadavg: 2.00 1.99 1.86 3/179 13930
/proc/meminfo: memFree=27708588/32873844 swapFree=7384/7384
[pid=13889] ppid=13887 vsize=242984 CPUtime=1797.94 cores=1,3,5,7
/proc/13889/stat : 13889 (wbo1.72) S 13887 13889 13674 0 -1 4202496 46113 0 0 0 179756 38 0 0 20 0 2 0 333059135 248815616 47425 33554432000 4194304 5964350 140737022433392 140737022432912 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13889/statm: 60746 47425 193 433 0 60310 0
[pid=13889/tid=13890] ppid=13887 vsize=242984 CPUtime=1793.61 cores=1,3,5,7
/proc/13889/task/13890/stat : 13890 (wbo1.72) R 13887 13889 13674 0 -1 4202560 45334 0 0 0 179296 65 0 0 20 0 2 0 333059135 248815616 47425 33554432000 4194304 5964350 140737022433392 140595028699176 4400007 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1797.94
Current children cumulated vsize (KiB) 242984
[startup+1799.1 s]
/proc/loadavg: 2.00 1.99 1.86 3/179 13930
/proc/meminfo: memFree=27708588/32873844 swapFree=7384/7384
[pid=13889] ppid=13887 vsize=242984 CPUtime=1798.74 cores=1,3,5,7
/proc/13889/stat : 13889 (wbo1.72) S 13887 13889 13674 0 -1 4202496 46113 0 0 0 179836 38 0 0 20 0 2 0 333059135 248815616 47425 33554432000 4194304 5964350 140737022433392 140737022432912 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13889/statm: 60746 47425 193 433 0 60310 0
[pid=13889/tid=13890] ppid=13887 vsize=242984 CPUtime=1794.41 cores=1,3,5,7
/proc/13889/task/13890/stat : 13890 (wbo1.72) R 13887 13889 13674 0 -1 4202560 45334 0 0 0 179376 65 0 0 20 0 2 0 333059135 248815616 47425 33554432000 4194304 5964350 140737022433392 140595028699176 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1798.74
Current children cumulated vsize (KiB) 242984
[startup+1799.5 s]
/proc/loadavg: 2.00 1.99 1.86 3/179 13930
/proc/meminfo: memFree=27708648/32873844 swapFree=7384/7384
[pid=13889] ppid=13887 vsize=242984 CPUtime=1799.15 cores=1,3,5,7
/proc/13889/stat : 13889 (wbo1.72) S 13887 13889 13674 0 -1 4202496 46113 0 0 0 179877 38 0 0 20 0 2 0 333059135 248815616 47425 33554432000 4194304 5964350 140737022433392 140737022432912 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13889/statm: 60746 47425 193 433 0 60310 0
[pid=13889/tid=13890] ppid=13887 vsize=242984 CPUtime=1794.81 cores=1,3,5,7
/proc/13889/task/13890/stat : 13890 (wbo1.72) R 13887 13889 13674 0 -1 4202560 45334 0 0 0 179416 65 0 0 20 0 2 0 333059135 248815616 47425 33554432000 4194304 5964350 140737022433392 140595028699176 4399987 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.15
Current children cumulated vsize (KiB) 242984
[startup+1799.9 s]
/proc/loadavg: 2.00 1.99 1.86 3/179 13930
/proc/meminfo: memFree=27708648/32873844 swapFree=7384/7384
[pid=13889] ppid=13887 vsize=242984 CPUtime=1799.54 cores=1,3,5,7
/proc/13889/stat : 13889 (wbo1.72) S 13887 13889 13674 0 -1 4202496 46113 0 0 0 179916 38 0 0 20 0 2 0 333059135 248815616 47425 33554432000 4194304 5964350 140737022433392 140737022432912 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13889/statm: 60746 47425 193 433 0 60310 0
[pid=13889/tid=13890] ppid=13887 vsize=242984 CPUtime=1795.2 cores=1,3,5,7
/proc/13889/task/13890/stat : 13890 (wbo1.72) R 13887 13889 13674 0 -1 4202560 45334 0 0 0 179455 65 0 0 20 0 2 0 333059135 248815616 47425 33554432000 4194304 5964350 140737022433392 140595028699176 4399944 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.54
Current children cumulated vsize (KiB) 242984
[startup+1800 s]
/proc/loadavg: 2.00 1.99 1.86 3/179 13930
/proc/meminfo: memFree=27708648/32873844 swapFree=7384/7384
[pid=13889] ppid=13887 vsize=242984 CPUtime=1799.64 cores=1,3,5,7
/proc/13889/stat : 13889 (wbo1.72) S 13887 13889 13674 0 -1 4202496 46113 0 0 0 179926 38 0 0 20 0 2 0 333059135 248815616 47425 33554432000 4194304 5964350 140737022433392 140737022432912 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13889/statm: 60746 47425 193 433 0 60310 0
[pid=13889/tid=13890] ppid=13887 vsize=242984 CPUtime=1795.3 cores=1,3,5,7
/proc/13889/task/13890/stat : 13890 (wbo1.72) R 13887 13889 13674 0 -1 4202560 45334 0 0 0 179465 65 0 0 20 0 2 0 333059135 248815616 47425 33554432000 4194304 5964350 140737022433392 140595028699176 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.64
Current children cumulated vsize (KiB) 242984
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 13889 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=669168
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=663899
# CPU time returned by wait4() is 1795.33
# while last known CPU time is 1799.64
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.01
CPU time (s): 1799.64
CPU user time (s): 1799.26
CPU system time (s): 0.38
CPU usage (%): 99.9794
Max. virtual memory (cumulated for all children) (KiB): 242984
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.67
system time used= 0.663899
maximum resident set size= 189712
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46116
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= 77
involuntary context switches= 2024
runsolver used 3.70544 second user time and 9.07662 second system time
The end