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-3704985-1338086328/watcher-3704985-1338086328 -o /tmp/evaluation-result-3704985-1338086328/solver-3704985-1338086328 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3704985-1338086328.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30563
/proc/meminfo: memFree=28761176/32873648 swapFree=6844/6844
[pid=30563] ppid=30561 vsize=83724 CPUtime=0 cores=1,3,5,7
/proc/30563/stat : 30563 (wbo1.7) S 30561 30563 27916 0 -1 4202496 844 0 0 0 0 0 0 0 20 0 2 0 274758667 85733376 792 33554432000 4194304 5963574 140736026411184 140736026410704 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30563/statm: 20931 792 193 432 0 20496 0
[pid=30563/tid=30564] ppid=30561 vsize=83724 CPUtime=0 cores=1,3,5,7
/proc/30563/task/30564/stat : 30564 (wbo1.7) R 30561 30563 27916 0 -1 4202560 121 0 0 0 0 0 0 0 20 0 2 0 274758668 85733376 792 33554432000 4194304 5963574 140736026411184 140734380317704 4394875 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[startup+0.0254571 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30563
/proc/meminfo: memFree=28761176/32873648 swapFree=6844/6844
[pid=30563] ppid=30561 vsize=83724 CPUtime=0.02 cores=1,3,5,7
/proc/30563/stat : 30563 (wbo1.7) S 30561 30563 27916 0 -1 4202496 1092 0 0 0 2 0 0 0 20 0 2 0 274758667 85733376 1033 33554432000 4194304 5963574 140736026411184 140736026410704 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30563/statm: 20931 1033 193 432 0 20496 0
[pid=30563/tid=30564] ppid=30561 vsize=83724 CPUtime=0.01 cores=1,3,5,7
/proc/30563/task/30564/stat : 30564 (wbo1.7) R 30561 30563 27916 0 -1 4202560 369 0 0 0 1 0 0 0 20 0 2 0 274758668 85733376 1033 33554432000 4194304 5963574 140736026411184 140579918862680 5134902 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 83724
[startup+0.100258 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30563
/proc/meminfo: memFree=28761176/32873648 swapFree=6844/6844
[pid=30563] ppid=30561 vsize=83724 CPUtime=0.09 cores=1,3,5,7
/proc/30563/stat : 30563 (wbo1.7) S 30561 30563 27916 0 -1 4202496 1633 0 0 0 9 0 0 0 20 0 2 0 274758667 85733376 1473 33554432000 4194304 5963574 140736026411184 140736026410704 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30563/statm: 20931 1473 194 432 0 20496 0
[pid=30563/tid=30564] ppid=30561 vsize=83724 CPUtime=0.08 cores=1,3,5,7
/proc/30563/task/30564/stat : 30564 (wbo1.7) R 30561 30563 27916 0 -1 4202560 910 0 0 0 8 0 0 0 20 0 2 0 274758668 85733376 1473 33554432000 4194304 5963574 140736026411184 140579918862680 5138270 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) 83724
[startup+0.300207 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30563
/proc/meminfo: memFree=28761176/32873648 swapFree=6844/6844
[pid=30563] ppid=30561 vsize=83724 CPUtime=0.29 cores=1,3,5,7
/proc/30563/stat : 30563 (wbo1.7) S 30561 30563 27916 0 -1 4202496 2556 0 0 0 29 0 0 0 20 0 2 0 274758667 85733376 2007 33554432000 4194304 5963574 140736026411184 140736026410704 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30563/statm: 20931 2007 196 432 0 20496 0
[pid=30563/tid=30564] ppid=30561 vsize=83724 CPUtime=0.28 cores=1,3,5,7
/proc/30563/task/30564/stat : 30564 (wbo1.7) R 30561 30563 27916 0 -1 4202560 1833 0 0 0 28 0 0 0 20 0 2 0 274758668 85733376 2007 33554432000 4194304 5963574 140736026411184 140579918862680 4372736 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) 83724
[startup+0.700223 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30563
/proc/meminfo: memFree=28761176/32873648 swapFree=6844/6844
[pid=30563] ppid=30561 vsize=83724 CPUtime=0.69 cores=1,3,5,7
/proc/30563/stat : 30563 (wbo1.7) S 30561 30563 27916 0 -1 4202496 3995 0 0 0 69 0 0 0 20 0 2 0 274758667 85733376 2579 33554432000 4194304 5963574 140736026411184 140736026410704 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30563/statm: 20931 2579 196 432 0 20496 0
[pid=30563/tid=30564] ppid=30561 vsize=83724 CPUtime=0.68 cores=1,3,5,7
/proc/30563/task/30564/stat : 30564 (wbo1.7) R 30561 30563 27916 0 -1 4202560 3272 0 0 0 68 0 0 0 20 0 2 0 274758668 85733376 2579 33554432000 4194304 5963574 140736026411184 140579918862680 4418906 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) 83724
[startup+1.50024 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 30565
/proc/meminfo: memFree=28750264/32873648 swapFree=6844/6844
[pid=30563] ppid=30561 vsize=83724 CPUtime=1.49 cores=1,3,5,7
/proc/30563/stat : 30563 (wbo1.7) S 30561 30563 27916 0 -1 4202496 5644 0 0 0 149 0 0 0 20 0 2 0 274758667 85733376 3217 33554432000 4194304 5963574 140736026411184 140736026410704 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30563/statm: 20931 3217 196 432 0 20496 0
[pid=30563/tid=30564] ppid=30561 vsize=83724 CPUtime=1.48 cores=1,3,5,7
/proc/30563/task/30564/stat : 30564 (wbo1.7) R 30561 30563 27916 0 -1 4202560 4921 0 0 0 148 0 0 0 20 0 2 0 274758668 85733376 3217 33554432000 4194304 5963574 140736026411184 140579918863176 4399456 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) 83724
[startup+3.10026 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 30565
/proc/meminfo: memFree=28749016/32873648 swapFree=6844/6844
[pid=30563] ppid=30561 vsize=83724 CPUtime=3.08 cores=1,3,5,7
/proc/30563/stat : 30563 (wbo1.7) S 30561 30563 27916 0 -1 4202496 6615 0 0 0 308 0 0 0 20 0 2 0 274758667 85733376 4188 33554432000 4194304 5963574 140736026411184 140736026410704 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30563/statm: 20931 4188 196 432 0 20496 0
[pid=30563/tid=30564] ppid=30561 vsize=83724 CPUtime=3.07 cores=1,3,5,7
/proc/30563/task/30564/stat : 30564 (wbo1.7) R 30561 30563 27916 0 -1 4202560 5892 0 0 0 307 0 0 0 20 0 2 0 274758668 85733376 4188 33554432000 4194304 5963574 140736026411184 140579918862872 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 83724
[startup+6.30021 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 30565
/proc/meminfo: memFree=28744712/32873648 swapFree=6844/6844
[pid=30563] ppid=30561 vsize=83724 CPUtime=6.28 cores=1,3,5,7
/proc/30563/stat : 30563 (wbo1.7) S 30561 30563 27916 0 -1 4202496 6734 0 0 0 628 0 0 0 20 0 2 0 274758667 85733376 4307 33554432000 4194304 5963574 140736026411184 140736026410704 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30563/statm: 20931 4307 196 432 0 20496 0
[pid=30563/tid=30564] ppid=30561 vsize=83724 CPUtime=6.27 cores=1,3,5,7
/proc/30563/task/30564/stat : 30564 (wbo1.7) R 30561 30563 27916 0 -1 4202560 6011 0 0 0 627 0 0 0 20 0 2 0 274758668 85733376 4307 33554432000 4194304 5963574 140736026411184 140579918862872 4399578 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 83724
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 30565
/proc/meminfo: memFree=28736196/32873648 swapFree=6844/6844
[pid=30563] ppid=30561 vsize=83724 CPUtime=12.69 cores=1,3,5,7
/proc/30563/stat : 30563 (wbo1.7) S 30561 30563 27916 0 -1 4202496 9305 0 0 0 1268 1 0 0 20 0 2 0 274758667 85733376 6878 33554432000 4194304 5963574 140736026411184 140736026410704 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30563/statm: 20931 6878 196 432 0 20496 0
[pid=30563/tid=30564] ppid=30561 vsize=83724 CPUtime=12.65 cores=1,3,5,7
/proc/30563/task/30564/stat : 30564 (wbo1.7) R 30561 30563 27916 0 -1 4202560 8582 0 0 0 1264 1 0 0 20 0 2 0 274758668 85733376 6878 33554432000 4194304 5963574 140736026411184 140579918862328 4399456 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) 83724
[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 30565
/proc/meminfo: memFree=28721724/32873648 swapFree=6844/6844
[pid=30563] ppid=30561 vsize=84208 CPUtime=25.48 cores=1,3,5,7
/proc/30563/stat : 30563 (wbo1.7) S 30561 30563 27916 0 -1 4202496 12724 0 0 0 2546 2 0 0 20 0 2 0 274758667 86228992 10297 33554432000 4194304 5963574 140736026411184 140736026410704 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30563/statm: 21052 10297 196 432 0 20617 0
[pid=30563/tid=30564] ppid=30561 vsize=84208 CPUtime=25.42 cores=1,3,5,7
/proc/30563/task/30564/stat : 30564 (wbo1.7) R 30561 30563 27916 0 -1 4202560 12001 0 0 0 2540 2 0 0 20 0 2 0 274758668 86228992 10297 33554432000 4194304 5963574 140736026411184 140579918862136 4221120 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) 84208
[startup+51.1011 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 30565
/proc/meminfo: memFree=28709452/32873648 swapFree=6844/6844
[pid=30563] ppid=30561 vsize=84208 CPUtime=51.08 cores=1,3,5,7
/proc/30563/stat : 30563 (wbo1.7) S 30561 30563 27916 0 -1 4202496 16538 0 0 0 5104 4 0 0 20 0 2 0 274758667 86228992 14111 33554432000 4194304 5963574 140736026411184 140736026410704 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30563/statm: 21052 14111 196 432 0 20617 0
[pid=30563/tid=30564] ppid=30561 vsize=84208 CPUtime=50.95 cores=1,3,5,7
/proc/30563/task/30564/stat : 30564 (wbo1.7) R 30561 30563 27916 0 -1 4202560 15815 0 0 0 5091 4 0 0 20 0 2 0 274758668 86228992 14111 33554432000 4194304 5963574 140736026411184 140579918862328 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 84208
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 30569
/proc/meminfo: memFree=28679784/32873648 swapFree=6844/6844
[pid=30563] ppid=30561 vsize=149984 CPUtime=102.28 cores=1,3,5,7
/proc/30563/stat : 30563 (wbo1.7) S 30561 30563 27916 0 -1 4202496 23819 0 0 0 10220 8 0 0 20 0 2 0 274758667 153583616 21390 33554432000 4194304 5963574 140736026411184 140736026410704 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30563/statm: 37496 21390 196 432 0 37061 0
[pid=30563/tid=30564] ppid=30561 vsize=149984 CPUtime=102.03 cores=1,3,5,7
/proc/30563/task/30564/stat : 30564 (wbo1.7) R 30561 30563 27916 0 -1 4202560 23096 0 0 0 10194 9 0 0 20 0 2 0 274758668 153583616 21390 33554432000 4194304 5963574 140736026411184 140579918862376 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 149984
[startup+162.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/179 30569
/proc/meminfo: memFree=28653752/32873648 swapFree=6844/6844
[pid=30563] ppid=30561 vsize=151436 CPUtime=162.26 cores=1,3,5,7
/proc/30563/stat : 30563 (wbo1.7) S 30561 30563 27916 0 -1 4202496 30459 0 0 0 16213 13 0 0 20 0 2 0 274758667 155070464 28027 33554432000 4194304 5963574 140736026411184 140736026410704 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30563/statm: 37859 28027 196 432 0 37424 0
[pid=30563/tid=30564] ppid=30561 vsize=151436 CPUtime=161.87 cores=1,3,5,7
/proc/30563/task/30564/stat : 30564 (wbo1.7) R 30561 30563 27916 0 -1 4202560 29736 0 0 0 16172 15 0 0 20 0 2 0 274758668 155070464 28027 33554432000 4194304 5963574 140736026411184 140579918862328 4399537 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 151436
[startup+222.301 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 30569
/proc/meminfo: memFree=28630820/32873648 swapFree=6844/6844
[pid=30563] ppid=30561 vsize=152280 CPUtime=222.23 cores=1,3,5,7
/proc/30563/stat : 30563 (wbo1.7) S 30561 30563 27916 0 -1 4202496 35365 0 0 0 22205 18 0 0 20 0 2 0 274758667 155934720 33250 33554432000 4194304 5963574 140736026411184 140736026410704 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30563/statm: 38070 33250 196 432 0 37635 0
[pid=30563/tid=30564] ppid=30561 vsize=152280 CPUtime=221.69 cores=1,3,5,7
/proc/30563/task/30564/stat : 30564 (wbo1.7) R 30561 30563 27916 0 -1 4202560 34642 0 0 0 22148 21 0 0 20 0 2 0 274758668 155934720 33250 33554432000 4194304 5963574 140736026411184 140579918862136 4399456 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) 152280
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 30569
/proc/meminfo: memFree=28587104/32873648 swapFree=6844/6844
[pid=30563] ppid=30561 vsize=214796 CPUtime=282.2 cores=1,3,5,7
/proc/30563/stat : 30563 (wbo1.7) S 30561 30563 27916 0 -1 4202496 46365 0 0 0 28196 24 0 0 20 0 2 0 274758667 219951104 44367 33554432000 4194304 5963574 140736026411184 140736026410704 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30563/statm: 53699 44367 196 432 0 53264 0
[pid=30563/tid=30564] ppid=30561 vsize=214796 CPUtime=281.51 cores=1,3,5,7
/proc/30563/task/30564/stat : 30564 (wbo1.7) R 30561 30563 27916 0 -1 4202560 45642 0 0 0 28123 28 0 0 20 0 2 0 274758668 219951104 44367 33554432000 4194304 5963574 140736026411184 140579918862872 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 214796
[startup+342.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/179 30569
/proc/meminfo: memFree=28561588/32873648 swapFree=6844/6844
[pid=30563] ppid=30561 vsize=214796 CPUtime=342.19 cores=1,3,5,7
/proc/30563/stat : 30563 (wbo1.7) S 30561 30563 27916 0 -1 4202496 46453 0 0 0 34195 24 0 0 20 0 2 0 274758667 219951104 44455 33554432000 4194304 5963574 140736026411184 140736026410704 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30563/statm: 53699 44455 196 432 0 53264 0
[pid=30563/tid=30564] ppid=30561 vsize=214796 CPUtime=341.35 cores=1,3,5,7
/proc/30563/task/30564/stat : 30564 (wbo1.7) R 30561 30563 27916 0 -1 4202560 45730 0 0 0 34106 29 0 0 20 0 2 0 274758668 219951104 44455 33554432000 4194304 5963574 140736026411184 140579918862872 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 214796
[startup+402.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 30570
/proc/meminfo: memFree=28534800/32873648 swapFree=6844/6844
[pid=30563] ppid=30561 vsize=214796 CPUtime=402.18 cores=1,3,5,7
/proc/30563/stat : 30563 (wbo1.7) S 30561 30563 27916 0 -1 4202496 46471 0 0 0 40194 24 0 0 20 0 2 0 274758667 219951104 44473 33554432000 4194304 5963574 140736026411184 140736026410704 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 30642
/proc/meminfo: memFree=28447428/32873648 swapFree=6844/6844
[pid=30563] ppid=30561 vsize=347492 CPUtime=1421.96 cores=1,3,5,7
/proc/30563/stat : 30563 (wbo1.7) S 30561 30563 27916 0 -1 4202496 83624 0 0 0 142133 63 0 0 20 0 2 0 274758667 355831808 82480 33554432000 4194304 5963574 140736026411184 140736026410704 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30563/statm: 86873 82480 196 432 0 86438 0
[pid=30563/tid=30564] ppid=30561 vsize=347492 CPUtime=1418.52 cores=1,3,5,7
/proc/30563/task/30564/stat : 30564 (wbo1.7) R 30561 30563 27916 0 -1 4202560 82901 0 0 0 141769 83 0 0 20 0 2 0 274758668 355831808 82480 33554432000 4194304 5963574 140736026411184 140579918862328 4399623 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1421.96
Current children cumulated vsize (KiB) 347492
[startup+1482.3 s]
/proc/loadavg: 2.10 2.04 2.01 3/179 30642
/proc/meminfo: memFree=28420520/32873648 swapFree=6844/6844
[pid=30563] ppid=30561 vsize=413028 CPUtime=1481.94 cores=1,3,5,7
/proc/30563/stat : 30563 (wbo1.7) S 30561 30563 27916 0 -1 4202496 89961 0 0 0 148123 71 0 0 20 0 2 0 274758667 422940672 88816 33554432000 4194304 5963574 140736026411184 140736026410704 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30563/statm: 103257 88816 196 432 0 102822 0
[pid=30563/tid=30564] ppid=30561 vsize=413028 CPUtime=1478.36 cores=1,3,5,7
/proc/30563/task/30564/stat : 30564 (wbo1.7) R 30561 30563 27916 0 -1 4202560 89238 0 0 0 147744 92 0 0 20 0 2 0 274758668 422940672 88816 33554432000 4194304 5963574 140736026411184 140579918862136 4222416 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.94
Current children cumulated vsize (KiB) 413028
[startup+1542.3 s]
/proc/loadavg: 2.16 2.07 2.02 3/179 30642
/proc/meminfo: memFree=28389060/32873648 swapFree=6844/6844
[pid=30563] ppid=30561 vsize=413028 CPUtime=1541.93 cores=1,3,5,7
/proc/30563/stat : 30563 (wbo1.7) S 30561 30563 27916 0 -1 4202496 90442 0 0 0 154122 71 0 0 20 0 2 0 274758667 422940672 89292 33554432000 4194304 5963574 140736026411184 140736026410704 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30563/statm: 103257 89292 196 432 0 102822 0
[pid=30563/tid=30564] ppid=30561 vsize=413028 CPUtime=1538.21 cores=1,3,5,7
/proc/30563/task/30564/stat : 30564 (wbo1.7) R 30561 30563 27916 0 -1 4202560 89719 0 0 0 153727 94 0 0 20 0 2 0 274758668 422940672 89292 33554432000 4194304 5963574 140736026411184 140579918862136 4399971 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.93
Current children cumulated vsize (KiB) 413028
[startup+1602.3 s]
/proc/loadavg: 2.15 2.08 2.02 3/179 30642
/proc/meminfo: memFree=28350068/32873648 swapFree=6844/6844
[pid=30563] ppid=30561 vsize=413028 CPUtime=1601.92 cores=1,3,5,7
/proc/30563/stat : 30563 (wbo1.7) S 30561 30563 27916 0 -1 4202496 94349 0 0 0 160116 76 0 0 20 0 2 0 274758667 422940672 93198 33554432000 4194304 5963574 140736026411184 140736026410704 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30563/statm: 103257 93198 196 432 0 102822 0
[pid=30563/tid=30564] ppid=30561 vsize=413028 CPUtime=1598.05 cores=1,3,5,7
/proc/30563/task/30564/stat : 30564 (wbo1.7) R 30561 30563 27916 0 -1 4202560 93626 0 0 0 159705 100 0 0 20 0 2 0 274758668 422940672 93198 33554432000 4194304 5963574 140736026411184 140579918862328 4378852 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.92
Current children cumulated vsize (KiB) 413028
[startup+1662.3 s]
/proc/loadavg: 2.05 2.07 2.02 3/179 30643
/proc/meminfo: memFree=28309700/32873648 swapFree=6844/6844
[pid=30563] ppid=30561 vsize=413028 CPUtime=1661.91 cores=1,3,5,7
/proc/30563/stat : 30563 (wbo1.7) S 30561 30563 27916 0 -1 4202496 96880 0 0 0 166112 79 0 0 20 0 2 0 274758667 422940672 95728 33554432000 4194304 5963574 140736026411184 140736026410704 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30563/statm: 103257 95728 196 432 0 102822 0
[pid=30563/tid=30564] ppid=30561 vsize=413028 CPUtime=1657.9 cores=1,3,5,7
/proc/30563/task/30564/stat : 30564 (wbo1.7) R 30561 30563 27916 0 -1 4202560 96157 0 0 0 165686 104 0 0 20 0 2 0 274758668 422940672 95728 33554432000 4194304 5963574 140736026411184 140579918862136 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.91
Current children cumulated vsize (KiB) 413028
[startup+1722.3 s]
/proc/loadavg: 2.02 2.05 2.01 3/179 30643
/proc/meminfo: memFree=28281552/32873648 swapFree=6844/6844
[pid=30563] ppid=30561 vsize=478564 CPUtime=1721.9 cores=1,3,5,7
/proc/30563/stat : 30563 (wbo1.7) S 30561 30563 27916 0 -1 4202496 101535 0 0 0 172105 85 0 0 20 0 2 0 274758667 490049536 100383 33554432000 4194304 5963574 140736026411184 140736026410704 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30563/statm: 119641 100383 196 432 0 119206 0
[pid=30563/tid=30564] ppid=30561 vsize=478564 CPUtime=1717.75 cores=1,3,5,7
/proc/30563/task/30564/stat : 30564 (wbo1.7) R 30561 30563 27916 0 -1 4202560 100812 0 0 0 171664 111 0 0 20 0 2 0 274758668 490049536 100383 33554432000 4194304 5963574 140736026411184 140579918862136 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.9
Current children cumulated vsize (KiB) 478564
[startup+1782.3 s]
/proc/loadavg: 2.00 2.04 2.00 3/179 30643
/proc/meminfo: memFree=28243780/32873648 swapFree=6844/6844
[pid=30563] ppid=30561 vsize=478564 CPUtime=1781.86 cores=1,3,5,7
/proc/30563/stat : 30563 (wbo1.7) S 30561 30563 27916 0 -1 4202496 106195 0 0 0 178096 90 0 0 20 0 2 0 274758667 490049536 105509 33554432000 4194304 5963574 140736026411184 140736026410704 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30563/statm: 119641 105509 196 432 0 119206 0
[pid=30563/tid=30564] ppid=30561 vsize=478564 CPUtime=1777.56 cores=1,3,5,7
/proc/30563/task/30564/stat : 30564 (wbo1.7) R 30561 30563 27916 0 -1 4202560 105472 0 0 0 177639 117 0 0 20 0 2 0 274758668 490049536 105509 33554432000 4194304 5963574 140736026411184 140579918862376 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 478564
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.04 2.00 3/179 30643
/proc/meminfo: memFree=28238472/32873648 swapFree=6844/6844
[pid=30563] ppid=30561 vsize=478564 CPUtime=1791.47 cores=1,3,5,7
/proc/30563/stat : 30563 (wbo1.7) S 30561 30563 27916 0 -1 4202496 107557 0 0 0 179055 92 0 0 20 0 2 0 274758667 490049536 106871 33554432000 4194304 5963574 140736026411184 140736026410704 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30563/statm: 119641 106871 196 432 0 119206 0
[pid=30563/tid=30564] ppid=30561 vsize=478564 CPUtime=1787.14 cores=1,3,5,7
/proc/30563/task/30564/stat : 30564 (wbo1.7) R 30561 30563 27916 0 -1 4202560 106834 0 0 0 178595 119 0 0 20 0 2 0 274758668 490049536 106871 33554432000 4194304 5963574 140736026411184 140579918862328 4399958 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1791.47
Current children cumulated vsize (KiB) 478564
[startup+1795.1 s]
/proc/loadavg: 2.00 2.04 2.00 3/179 30643
/proc/meminfo: memFree=28236736/32873648 swapFree=6844/6844
[pid=30563] ppid=30561 vsize=478564 CPUtime=1794.66 cores=1,3,5,7
/proc/30563/stat : 30563 (wbo1.7) S 30561 30563 27916 0 -1 4202496 108022 0 0 0 179374 92 0 0 20 0 2 0 274758667 490049536 107336 33554432000 4194304 5963574 140736026411184 140736026410704 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30563/statm: 119641 107336 196 432 0 119206 0
[pid=30563/tid=30564] ppid=30561 vsize=478564 CPUtime=1790.33 cores=1,3,5,7
/proc/30563/task/30564/stat : 30564 (wbo1.7) R 30561 30563 27916 0 -1 4202560 107299 0 0 0 178914 119 0 0 20 0 2 0 274758668 490049536 107336 33554432000 4194304 5963574 140736026411184 140579918862328 4400052 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1794.66
Current children cumulated vsize (KiB) 478564
[startup+1798.3 s]
/proc/loadavg: 2.00 2.04 2.00 3/179 30643
/proc/meminfo: memFree=28235496/32873648 swapFree=6844/6844
[pid=30563] ppid=30561 vsize=478564 CPUtime=1797.86 cores=1,3,5,7
/proc/30563/stat : 30563 (wbo1.7) S 30561 30563 27916 0 -1 4202496 108486 0 0 0 179693 93 0 0 20 0 2 0 274758667 490049536 107800 33554432000 4194304 5963574 140736026411184 140736026410704 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30563/statm: 119641 107800 196 432 0 119206 0
[pid=30563/tid=30564] ppid=30561 vsize=478564 CPUtime=1793.52 cores=1,3,5,7
/proc/30563/task/30564/stat : 30564 (wbo1.7) R 30561 30563 27916 0 -1 4202560 107763 0 0 0 179232 120 0 0 20 0 2 0 274758668 490049536 107800 33554432000 4194304 5963574 140736026411184 140579918862328 4392501 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1797.86
Current children cumulated vsize (KiB) 478564
[startup+1799.1 s]
/proc/loadavg: 2.00 2.04 2.00 3/179 30643
/proc/meminfo: memFree=28235000/32873648 swapFree=6844/6844
[pid=30563] ppid=30561 vsize=478564 CPUtime=1798.65 cores=1,3,5,7
/proc/30563/stat : 30563 (wbo1.7) S 30561 30563 27916 0 -1 4202496 108586 0 0 0 179772 93 0 0 20 0 2 0 274758667 490049536 107900 33554432000 4194304 5963574 140736026411184 140736026410704 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30563/statm: 119641 107900 196 432 0 119206 0
[pid=30563/tid=30564] ppid=30561 vsize=478564 CPUtime=1794.32 cores=1,3,5,7
/proc/30563/task/30564/stat : 30564 (wbo1.7) R 30561 30563 27916 0 -1 4202560 107863 0 0 0 179312 120 0 0 20 0 2 0 274758668 490049536 107900 33554432000 4194304 5963574 140736026411184 140579918862376 4400164 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1798.65
Current children cumulated vsize (KiB) 478564
[startup+1799.5 s]
/proc/loadavg: 2.00 2.04 2.00 3/179 30643
/proc/meminfo: memFree=28234380/32873648 swapFree=6844/6844
[pid=30563] ppid=30561 vsize=478564 CPUtime=1799.07 cores=1,3,5,7
/proc/30563/stat : 30563 (wbo1.7) S 30561 30563 27916 0 -1 4202496 108641 0 0 0 179813 94 0 0 20 0 2 0 274758667 490049536 107955 33554432000 4194304 5963574 140736026411184 140736026410704 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30563/statm: 119641 107955 196 432 0 119206 0
[pid=30563/tid=30564] ppid=30561 vsize=478564 CPUtime=1794.72 cores=1,3,5,7
/proc/30563/task/30564/stat : 30564 (wbo1.7) R 30561 30563 27916 0 -1 4202560 107918 0 0 0 179352 120 0 0 20 0 2 0 274758668 490049536 107955 33554432000 4194304 5963574 140736026411184 140579918862328 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.07
Current children cumulated vsize (KiB) 478564
[startup+1799.9 s]
/proc/loadavg: 2.00 2.04 2.00 3/179 30643
/proc/meminfo: memFree=28234380/32873648 swapFree=6844/6844
[pid=30563] ppid=30561 vsize=478564 CPUtime=1799.46 cores=1,3,5,7
/proc/30563/stat : 30563 (wbo1.7) S 30561 30563 27916 0 -1 4202496 108699 0 0 0 179852 94 0 0 20 0 2 0 274758667 490049536 108013 33554432000 4194304 5963574 140736026411184 140736026410704 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30563/statm: 119641 108013 196 432 0 119206 0
[pid=30563/tid=30564] ppid=30561 vsize=478564 CPUtime=1795.11 cores=1,3,5,7
/proc/30563/task/30564/stat : 30564 (wbo1.7) R 30561 30563 27916 0 -1 4202560 107976 0 0 0 179390 121 0 0 20 0 2 0 274758668 490049536 108013 33554432000 4194304 5963574 140736026411184 140579918862328 4399474 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.46
Current children cumulated vsize (KiB) 478564
[startup+1800 s]
/proc/loadavg: 2.00 2.04 2.00 3/179 30643
/proc/meminfo: memFree=28234380/32873648 swapFree=6844/6844
[pid=30563] ppid=30561 vsize=478564 CPUtime=1799.56 cores=1,3,5,7
/proc/30563/stat : 30563 (wbo1.7) S 30561 30563 27916 0 -1 4202496 108713 0 0 0 179862 94 0 0 20 0 2 0 274758667 490049536 108027 33554432000 4194304 5963574 140736026411184 140736026410704 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30563/statm: 119641 108027 196 432 0 119206 0
[pid=30563/tid=30564] ppid=30561 vsize=478564 CPUtime=1795.21 cores=1,3,5,7
/proc/30563/task/30564/stat : 30564 (wbo1.7) R 30561 30563 27916 0 -1 4202560 107990 0 0 0 179400 121 0 0 20 0 2 0 274758668 490049536 108027 33554432000 4194304 5963574 140736026411184 140579918862328 4399468 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.56
Current children cumulated vsize (KiB) 478564
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 30563 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=8269
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=224813
# CPU time returned by wait4() is 1795.23
# while last known CPU time is 1799.56
#
# 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.56
CPU user time (s): 1798.62
CPU system time (s): 0.94
CPU usage (%): 99.9752
Max. virtual memory (cumulated for all children) (KiB): 478564
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.01
system time used= 1.22481
maximum resident set size= 432108
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 108713
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= 189
involuntary context switches= 1987
runsolver used 3.18052 second user time and 9.91049 second system time
The end