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-3704949-1338114287/watcher-3704949-1338114287 -o /tmp/evaluation-result-3704949-1338114287/solver-3704949-1338114287 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3704949-1338114287.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15188
/proc/meminfo: memFree=31017432/32873844 swapFree=7616/7616
[pid=15188] ppid=15186 vsize=4812 CPUtime=0 cores=0,2,4,6
/proc/15188/stat : 15188 (wbo1.7) R 15186 15188 12409 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 277553489 4927488 552 33554432000 4194304 5963574 140734996749328 140733614781624 5178752 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/15188/statm: 1203 552 164 432 0 668 0
[startup+0.00991389 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15188
/proc/meminfo: memFree=31017432/32873844 swapFree=7616/7616
[pid=15188] ppid=15186 vsize=5172 CPUtime=0 cores=0,2,4,6
/proc/15188/stat : 15188 (wbo1.7) R 15186 15188 12409 0 -1 4202496 684 0 0 0 0 0 0 0 20 0 1 0 277553489 5296128 637 33554432000 4194304 5963574 140734996749328 140733614781624 5135642 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/15188/statm: 1293 637 179 432 0 758 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5172
[startup+0.100149 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15188
/proc/meminfo: memFree=31017432/32873844 swapFree=7616/7616
[pid=15188] ppid=15186 vsize=86576 CPUtime=0.09 cores=0,2,4,6
/proc/15188/stat : 15188 (wbo1.7) S 15186 15188 12409 0 -1 4202496 2572 0 0 0 9 0 0 0 20 0 2 0 277553489 88653824 2297 33554432000 4194304 5963574 140734996749328 140734996748848 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15188/statm: 21644 2297 187 432 0 21209 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 86576
[startup+0.300115 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15188
/proc/meminfo: memFree=31017432/32873844 swapFree=7616/7616
[pid=15188] ppid=15186 vsize=86576 CPUtime=0.29 cores=0,2,4,6
/proc/15188/stat : 15188 (wbo1.7) S 15186 15188 12409 0 -1 4202496 2782 0 0 0 29 0 0 0 20 0 2 0 277553489 88653824 2507 33554432000 4194304 5963574 140734996749328 140734996748848 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15188/statm: 21644 2507 187 432 0 21209 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 86576
[startup+0.700112 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15188
/proc/meminfo: memFree=31017432/32873844 swapFree=7616/7616
[pid=15188] ppid=15186 vsize=86576 CPUtime=0.69 cores=0,2,4,6
/proc/15188/stat : 15188 (wbo1.7) S 15186 15188 12409 0 -1 4202496 3255 0 0 0 69 0 0 0 20 0 2 0 277553489 88653824 2980 33554432000 4194304 5963574 140734996749328 140734996748848 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15188/statm: 21644 2980 187 432 0 21209 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 86576
[startup+1.50023 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 15190
/proc/meminfo: memFree=31005520/32873844 swapFree=7616/7616
[pid=15188] ppid=15186 vsize=86576 CPUtime=1.49 cores=0,2,4,6
/proc/15188/stat : 15188 (wbo1.7) S 15186 15188 12409 0 -1 4202496 4000 0 0 0 149 0 0 0 20 0 2 0 277553489 88653824 3725 33554432000 4194304 5963574 140734996749328 140734996748848 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15188/statm: 21644 3725 187 432 0 21209 0
[pid=15188/tid=15190] ppid=15186 vsize=86576 CPUtime=1.45 cores=0,2,4,6
/proc/15188/task/15190/stat : 15190 (wbo1.7) R 15186 15188 12409 0 -1 4202560 2518 0 0 0 145 0 0 0 20 0 2 0 277553492 88653824 3725 33554432000 4194304 5963574 140734996749328 140440674891768 4400078 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 86576
[startup+3.10024 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 15190
/proc/meminfo: memFree=31001040/32873844 swapFree=7616/7616
[pid=15188] ppid=15186 vsize=86576 CPUtime=3.09 cores=0,2,4,6
/proc/15188/stat : 15188 (wbo1.7) S 15186 15188 12409 0 -1 4202496 4851 0 0 0 308 1 0 0 20 0 2 0 277553489 88653824 4576 33554432000 4194304 5963574 140734996749328 140734996748848 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15188/statm: 21644 4576 187 432 0 21209 0
[pid=15188/tid=15190] ppid=15186 vsize=86576 CPUtime=3.04 cores=0,2,4,6
/proc/15188/task/15190/stat : 15190 (wbo1.7) R 15186 15188 12409 0 -1 4202560 3369 0 0 0 304 0 0 0 20 0 2 0 277553492 88653824 4576 33554432000 4194304 5963574 140734996749328 140440674891816 18446744073699066235 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 86576
[startup+6.30025 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 15190
/proc/meminfo: memFree=30996328/32873844 swapFree=7616/7616
[pid=15188] ppid=15186 vsize=86576 CPUtime=6.28 cores=0,2,4,6
/proc/15188/stat : 15188 (wbo1.7) S 15186 15188 12409 0 -1 4202496 6071 0 0 0 627 1 0 0 20 0 2 0 277553489 88653824 5796 33554432000 4194304 5963574 140734996749328 140734996748848 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15188/statm: 21644 5796 187 432 0 21209 0
[pid=15188/tid=15190] ppid=15186 vsize=86576 CPUtime=6.23 cores=0,2,4,6
/proc/15188/task/15190/stat : 15190 (wbo1.7) R 15186 15188 12409 0 -1 4202560 4589 0 0 0 622 1 0 0 20 0 2 0 277553492 88653824 5796 33554432000 4194304 5963574 140734996749328 140440674891768 4399456 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 86576
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 15190
/proc/meminfo: memFree=30981704/32873844 swapFree=7616/7616
[pid=15188] ppid=15186 vsize=86576 CPUtime=12.68 cores=0,2,4,6
/proc/15188/stat : 15188 (wbo1.7) S 15186 15188 12409 0 -1 4202496 9571 0 0 0 1266 2 0 0 20 0 2 0 277553489 88653824 9296 33554432000 4194304 5963574 140734996749328 140734996748848 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15188/statm: 21644 9296 187 432 0 21209 0
[pid=15188/tid=15190] ppid=15186 vsize=86576 CPUtime=12.62 cores=0,2,4,6
/proc/15188/task/15190/stat : 15190 (wbo1.7) R 15186 15188 12409 0 -1 4202560 8089 0 0 0 1260 2 0 0 20 0 2 0 277553492 88653824 9296 33554432000 4194304 5963574 140734996749328 140440674891768 4403111 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 86576
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 15190
/proc/meminfo: memFree=30957524/32873844 swapFree=7616/7616
[pid=15188] ppid=15186 vsize=86900 CPUtime=25.48 cores=0,2,4,6
/proc/15188/stat : 15188 (wbo1.7) S 15186 15188 12409 0 -1 4202496 13077 0 0 0 2545 3 0 0 20 0 2 0 277553489 88985600 12802 33554432000 4194304 5963574 140734996749328 140734996748848 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15188/statm: 21725 12802 187 432 0 21290 0
[pid=15188/tid=15190] ppid=15186 vsize=86900 CPUtime=25.38 cores=0,2,4,6
/proc/15188/task/15190/stat : 15190 (wbo1.7) R 15186 15188 12409 0 -1 4202560 11595 0 0 0 2535 3 0 0 20 0 2 0 277553492 88985600 12802 33554432000 4194304 5963574 140734996749328 140440674891816 18446744073699066235 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 86900
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 15190
/proc/meminfo: memFree=30918216/32873844 swapFree=7616/7616
[pid=15188] ppid=15186 vsize=152596 CPUtime=51.07 cores=0,2,4,6
/proc/15188/stat : 15188 (wbo1.7) S 15186 15188 12409 0 -1 4202496 19368 0 0 0 5102 5 0 0 20 0 2 0 277553489 156258304 19093 33554432000 4194304 5963574 140734996749328 140734996748848 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15188/statm: 38149 19093 187 432 0 37714 0
[pid=15188/tid=15190] ppid=15186 vsize=152596 CPUtime=50.91 cores=0,2,4,6
/proc/15188/task/15190/stat : 15190 (wbo1.7) R 15186 15188 12409 0 -1 4202560 17886 0 0 0 5086 5 0 0 20 0 2 0 277553492 156258304 19093 33554432000 4194304 5963574 140734996749328 140440674891768 4399623 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 152596
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 15190
/proc/meminfo: memFree=30865012/32873844 swapFree=7616/7616
[pid=15188] ppid=15186 vsize=152836 CPUtime=102.27 cores=0,2,4,6
/proc/15188/stat : 15188 (wbo1.7) S 15186 15188 12409 0 -1 4202496 29523 0 0 0 10218 9 0 0 20 0 2 0 277553489 156504064 29427 33554432000 4194304 5963574 140734996749328 140734996748848 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15188/statm: 38209 29427 187 432 0 37774 0
[pid=15188/tid=15190] ppid=15186 vsize=152836 CPUtime=101.98 cores=0,2,4,6
/proc/15188/task/15190/stat : 15190 (wbo1.7) R 15186 15188 12409 0 -1 4202560 28041 0 0 0 10188 10 0 0 20 0 2 0 277553492 156504064 29427 33554432000 4194304 5963574 140734996749328 140440674891576 4221072 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 152836
[startup+162.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/181 15191
/proc/meminfo: memFree=30823376/32873844 swapFree=7616/7616
[pid=15188] ppid=15186 vsize=218372 CPUtime=162.19 cores=0,2,4,6
/proc/15188/stat : 15188 (wbo1.7) S 15186 15188 12409 0 -1 4202496 36879 0 0 0 16208 11 0 0 20 0 2 0 277553489 223612928 36746 33554432000 4194304 5963574 140734996749328 140734996748848 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15188/statm: 54593 36746 187 432 0 54158 0
[pid=15188/tid=15190] ppid=15186 vsize=218372 CPUtime=161.76 cores=0,2,4,6
/proc/15188/task/15190/stat : 15190 (wbo1.7) R 15186 15188 12409 0 -1 4202560 35397 0 0 0 16163 13 0 0 20 0 2 0 277553492 223612928 36746 33554432000 4194304 5963574 140734996749328 140440674891768 4399623 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 218372
[startup+222.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 15191
/proc/meminfo: memFree=30779280/32873844 swapFree=7616/7616
[pid=15188] ppid=15186 vsize=218372 CPUtime=222.18 cores=0,2,4,6
/proc/15188/stat : 15188 (wbo1.7) S 15186 15188 12409 0 -1 4202496 44165 0 0 0 22204 14 0 0 20 0 2 0 277553489 223612928 44030 33554432000 4194304 5963574 140734996749328 140734996748848 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15188/statm: 54593 44030 187 432 0 54158 0
[pid=15188/tid=15190] ppid=15186 vsize=218372 CPUtime=221.6 cores=0,2,4,6
/proc/15188/task/15190/stat : 15190 (wbo1.7) R 15186 15188 12409 0 -1 4202560 42683 0 0 0 22143 17 0 0 20 0 2 0 277553492 223612928 44030 33554432000 4194304 5963574 140734996749328 140440674891576 4399456 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 218372
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 15191
/proc/meminfo: memFree=30763412/32873844 swapFree=7616/7616
[pid=15188] ppid=15186 vsize=218372 CPUtime=282.18 cores=0,2,4,6
/proc/15188/stat : 15188 (wbo1.7) S 15186 15188 12409 0 -1 4202496 44776 0 0 0 28203 15 0 0 20 0 2 0 277553489 223612928 44641 33554432000 4194304 5963574 140734996749328 140734996748848 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15188/statm: 54593 44641 187 432 0 54158 0
[pid=15188/tid=15190] ppid=15186 vsize=218372 CPUtime=281.44 cores=0,2,4,6
/proc/15188/task/15190/stat : 15190 (wbo1.7) R 15186 15188 12409 0 -1 4202560 43294 0 0 0 28125 19 0 0 20 0 2 0 277553492 223612928 44641 33554432000 4194304 5963574 140734996749328 140440674891576 4372888 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 218372
[startup+342.3 s]
/proc/loadavg: 1.94 1.98 1.99 3/182 15233
/proc/meminfo: memFree=31193976/32873844 swapFree=7616/7616
[pid=15188] ppid=15186 vsize=218372 CPUtime=342.14 cores=0,2,4,6
/proc/15188/stat : 15188 (wbo1.7) S 15186 15188 12409 0 -1 4202496 48789 0 0 0 34196 18 0 0 20 0 2 0 277553489 223612928 48725 33554432000 4194304 5963574 140734996749328 140734996748848 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15188/statm: 54593 48725 187 432 0 54158 0
[pid=15188/tid=15190] ppid=15186 vsize=218372 CPUtime=341.26 cores=0,2,4,6
/proc/15188/task/15190/stat : 15190 (wbo1.7) R 15186 15188 12409 0 -1 4202560 47307 0 0 0 34103 23 0 0 20 0 2 0 277553492 223612928 48725 33554432000 4194304 5963574 140734996749328 140440674891576 4399614 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 218372
[startup+402.3 s]
/proc/loadavg: 2.04 2.00 2.00 3/181 15233
/proc/meminfo: memFree=31123024/32873844 swapFree=7616/7616
[pid=15188] ppid=15186 vsize=283908 CPUtime=402.12 cores=0,2,4,6
/proc/15188/stat : 15188 (wbo1.7) S 15186 15188 12409 0 -1 4202496 58282 0 0 0 40189 23 0 0 20 0 2 0 277553489 290721792 58260 33554432000 4194304 5963574 140734996749328 140734996748848 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15188/statm: 70977 58260 187 432 0 70542 0
[pid=15188/tid=15190] ppid=15186 vsize=283908 CPUtime=401.09 cores=0,2,4,6
/proc/15188/task/15190/stat : 15190 (wbo1.7) R 15186 15188 12409 0 -1 4202560 56800 0 0 0 40080 29 0 0 20 0 2 0 277553492 290721792 58260 33554432000 4194304 5963574 140734996749328 140440674891768 4399627 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 402.12
Current children cumulated vsize (KiB) 283908
[startup+462.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/181 15234
/proc/meminfo: memFree=31059988/32873844 swapFree=7616/7616
[pid=15188] ppid=15186 vsize=284268 CPUtime=462.11 cores=0,2,4,6
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 15241
/proc/meminfo: memFree=30802952/32873844 swapFree=7616/7616
[pid=15188] ppid=15186 vsize=415664 CPUtime=1421.92 cores=0,2,4,6
/proc/15188/stat : 15188 (wbo1.7) S 15186 15188 12409 0 -1 4202496 98518 0 0 0 142136 56 0 0 20 0 2 0 277553489 425639936 99309 33554432000 4194304 5963574 140734996749328 140734996748848 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15188/statm: 103916 99309 187 432 0 103481 0
[pid=15188/tid=15190] ppid=15186 vsize=415664 CPUtime=1418.39 cores=0,2,4,6
/proc/15188/task/15190/stat : 15190 (wbo1.7) R 15186 15188 12409 0 -1 4202560 97036 0 0 0 141762 77 0 0 20 0 2 0 277553492 425639936 99309 33554432000 4194304 5963574 140734996749328 140440674891576 4399627 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 415664
[startup+1482.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/181 15241
/proc/meminfo: memFree=30802704/32873844 swapFree=7616/7616
[pid=15188] ppid=15186 vsize=415664 CPUtime=1481.91 cores=0,2,4,6
/proc/15188/stat : 15188 (wbo1.7) S 15186 15188 12409 0 -1 4202496 98549 0 0 0 148135 56 0 0 20 0 2 0 277553489 425639936 99340 33554432000 4194304 5963574 140734996749328 140734996748848 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15188/statm: 103916 99340 187 432 0 103481 0
[pid=15188/tid=15190] ppid=15186 vsize=415664 CPUtime=1478.23 cores=0,2,4,6
/proc/15188/task/15190/stat : 15190 (wbo1.7) R 15186 15188 12409 0 -1 4202560 97067 0 0 0 147745 78 0 0 20 0 2 0 277553492 425639936 99340 33554432000 4194304 5963574 140734996749328 140440674891768 4399623 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 415664
[startup+1542.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/182 15244
/proc/meminfo: memFree=30801584/32873844 swapFree=7616/7616
[pid=15188] ppid=15186 vsize=415664 CPUtime=1541.87 cores=0,2,4,6
/proc/15188/stat : 15188 (wbo1.7) S 15186 15188 12409 0 -1 4202496 98577 0 0 0 154131 56 0 0 20 0 2 0 277553489 425639936 99653 33554432000 4194304 5963574 140734996749328 140734996748848 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15188/statm: 103916 99653 187 432 0 103481 0
[pid=15188/tid=15190] ppid=15186 vsize=415664 CPUtime=1538.05 cores=0,2,4,6
/proc/15188/task/15190/stat : 15190 (wbo1.7) R 15186 15188 12409 0 -1 4202560 97095 0 0 0 153726 79 0 0 20 0 2 0 277553492 425639936 99653 33554432000 4194304 5963574 140734996749328 140440674891768 4399623 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 415664
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 15244
/proc/meminfo: memFree=30781308/32873844 swapFree=7616/7616
[pid=15188] ppid=15186 vsize=415664 CPUtime=1601.87 cores=0,2,4,6
/proc/15188/stat : 15188 (wbo1.7) S 15186 15188 12409 0 -1 4202496 98583 0 0 0 160130 57 0 0 20 0 2 0 277553489 425639936 99681 33554432000 4194304 5963574 140734996749328 140734996748848 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15188/statm: 103916 99681 187 432 0 103481 0
[pid=15188/tid=15190] ppid=15186 vsize=415664 CPUtime=1597.89 cores=0,2,4,6
/proc/15188/task/15190/stat : 15190 (wbo1.7) R 15186 15188 12409 0 -1 4202560 97101 0 0 0 159709 80 0 0 20 0 2 0 277553492 425639936 99681 33554432000 4194304 5963574 140734996749328 140440674891768 4399546 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 415664
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 15245
/proc/meminfo: memFree=30774980/32873844 swapFree=7616/7616
[pid=15188] ppid=15186 vsize=415664 CPUtime=1661.85 cores=0,2,4,6
/proc/15188/stat : 15188 (wbo1.7) S 15186 15188 12409 0 -1 4202496 98585 0 0 0 166128 57 0 0 20 0 2 0 277553489 425639936 99684 33554432000 4194304 5963574 140734996749328 140734996748848 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15188/statm: 103916 99684 187 432 0 103481 0
[pid=15188/tid=15190] ppid=15186 vsize=415664 CPUtime=1657.73 cores=0,2,4,6
/proc/15188/task/15190/stat : 15190 (wbo1.7) R 15186 15188 12409 0 -1 4202560 97103 0 0 0 165691 82 0 0 20 0 2 0 277553492 425639936 99684 33554432000 4194304 5963574 140734996749328 140440674891768 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 415664
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 15245
/proc/meminfo: memFree=30773864/32873844 swapFree=7616/7616
[pid=15188] ppid=15186 vsize=415664 CPUtime=1721.84 cores=0,2,4,6
/proc/15188/stat : 15188 (wbo1.7) S 15186 15188 12409 0 -1 4202496 98585 0 0 0 172127 57 0 0 20 0 2 0 277553489 425639936 99684 33554432000 4194304 5963574 140734996749328 140734996748848 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15188/statm: 103916 99684 187 432 0 103481 0
[pid=15188/tid=15190] ppid=15186 vsize=415664 CPUtime=1717.57 cores=0,2,4,6
/proc/15188/task/15190/stat : 15190 (wbo1.7) R 15186 15188 12409 0 -1 4202560 97103 0 0 0 171674 83 0 0 20 0 2 0 277553492 425639936 99684 33554432000 4194304 5963574 140734996749328 140440674891768 4399592 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 415664
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 15245
/proc/meminfo: memFree=30732892/32873844 swapFree=7616/7616
[pid=15188] ppid=15186 vsize=415664 CPUtime=1781.83 cores=0,2,4,6
/proc/15188/stat : 15188 (wbo1.7) S 15186 15188 12409 0 -1 4202496 98587 0 0 0 178126 57 0 0 20 0 2 0 277553489 425639936 99686 33554432000 4194304 5963574 140734996749328 140734996748848 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15188/statm: 103916 99686 187 432 0 103481 0
[pid=15188/tid=15190] ppid=15186 vsize=415664 CPUtime=1777.42 cores=0,2,4,6
/proc/15188/task/15190/stat : 15190 (wbo1.7) R 15186 15188 12409 0 -1 4202560 97105 0 0 0 177658 84 0 0 20 0 2 0 277553492 425639936 99686 33554432000 4194304 5963574 140734996749328 140440674891768 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 415664
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 15245
/proc/meminfo: memFree=30726304/32873844 swapFree=7616/7616
[pid=15188] ppid=15186 vsize=415664 CPUtime=1791.44 cores=0,2,4,6
/proc/15188/stat : 15188 (wbo1.7) S 15186 15188 12409 0 -1 4202496 98587 0 0 0 179087 57 0 0 20 0 2 0 277553489 425639936 99686 33554432000 4194304 5963574 140734996749328 140734996748848 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15188/statm: 103916 99686 187 432 0 103481 0
[pid=15188/tid=15190] ppid=15186 vsize=415664 CPUtime=1787 cores=0,2,4,6
/proc/15188/task/15190/stat : 15190 (wbo1.7) R 15186 15188 12409 0 -1 4202560 97105 0 0 0 178616 84 0 0 20 0 2 0 277553492 425639936 99686 33554432000 4194304 5963574 140734996749328 140440674891768 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1791.44
Current children cumulated vsize (KiB) 415664
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 15245
/proc/meminfo: memFree=30724320/32873844 swapFree=7616/7616
[pid=15188] ppid=15186 vsize=415664 CPUtime=1794.64 cores=0,2,4,6
/proc/15188/stat : 15188 (wbo1.7) S 15186 15188 12409 0 -1 4202496 98587 0 0 0 179407 57 0 0 20 0 2 0 277553489 425639936 99686 33554432000 4194304 5963574 140734996749328 140734996748848 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15188/statm: 103916 99686 187 432 0 103481 0
[pid=15188/tid=15190] ppid=15186 vsize=415664 CPUtime=1790.19 cores=0,2,4,6
/proc/15188/task/15190/stat : 15190 (wbo1.7) R 15186 15188 12409 0 -1 4202560 97105 0 0 0 178935 84 0 0 20 0 2 0 277553492 425639936 99686 33554432000 4194304 5963574 140734996749328 140440674891768 4381750 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1794.64
Current children cumulated vsize (KiB) 415664
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 15245
/proc/meminfo: memFree=30721964/32873844 swapFree=7616/7616
[pid=15188] ppid=15186 vsize=415664 CPUtime=1797.83 cores=0,2,4,6
/proc/15188/stat : 15188 (wbo1.7) S 15186 15188 12409 0 -1 4202496 98587 0 0 0 179726 57 0 0 20 0 2 0 277553489 425639936 99686 33554432000 4194304 5963574 140734996749328 140734996748848 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15188/statm: 103916 99686 187 432 0 103481 0
[pid=15188/tid=15190] ppid=15186 vsize=415664 CPUtime=1793.38 cores=0,2,4,6
/proc/15188/task/15190/stat : 15190 (wbo1.7) R 15186 15188 12409 0 -1 4202560 97105 0 0 0 179254 84 0 0 20 0 2 0 277553492 425639936 99686 33554432000 4194304 5963574 140734996749328 140440674891768 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1797.83
Current children cumulated vsize (KiB) 415664
[startup+1799.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 15245
/proc/meminfo: memFree=30721220/32873844 swapFree=7616/7616
[pid=15188] ppid=15186 vsize=415664 CPUtime=1798.63 cores=0,2,4,6
/proc/15188/stat : 15188 (wbo1.7) S 15186 15188 12409 0 -1 4202496 98587 0 0 0 179806 57 0 0 20 0 2 0 277553489 425639936 99686 33554432000 4194304 5963574 140734996749328 140734996748848 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15188/statm: 103916 99686 187 432 0 103481 0
[pid=15188/tid=15190] ppid=15186 vsize=415664 CPUtime=1794.17 cores=0,2,4,6
/proc/15188/task/15190/stat : 15190 (wbo1.7) R 15186 15188 12409 0 -1 4202560 97105 0 0 0 179333 84 0 0 20 0 2 0 277553492 425639936 99686 33554432000 4194304 5963574 140734996749328 140440674891768 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1798.63
Current children cumulated vsize (KiB) 415664
[startup+1799.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 15245
/proc/meminfo: memFree=30720476/32873844 swapFree=7616/7616
[pid=15188] ppid=15186 vsize=415664 CPUtime=1799.04 cores=0,2,4,6
/proc/15188/stat : 15188 (wbo1.7) S 15186 15188 12409 0 -1 4202496 98587 0 0 0 179847 57 0 0 20 0 2 0 277553489 425639936 99686 33554432000 4194304 5963574 140734996749328 140734996748848 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15188/statm: 103916 99686 187 432 0 103481 0
[pid=15188/tid=15190] ppid=15186 vsize=415664 CPUtime=1794.58 cores=0,2,4,6
/proc/15188/task/15190/stat : 15190 (wbo1.7) R 15186 15188 12409 0 -1 4202560 97105 0 0 0 179374 84 0 0 20 0 2 0 277553492 425639936 99686 33554432000 4194304 5963574 140734996749328 140440674891768 4399603 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1799.04
Current children cumulated vsize (KiB) 415664
[startup+1799.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 15245
/proc/meminfo: memFree=30720476/32873844 swapFree=7616/7616
[pid=15188] ppid=15186 vsize=415664 CPUtime=1799.43 cores=0,2,4,6
/proc/15188/stat : 15188 (wbo1.7) S 15186 15188 12409 0 -1 4202496 98587 0 0 0 179886 57 0 0 20 0 2 0 277553489 425639936 99686 33554432000 4194304 5963574 140734996749328 140734996748848 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15188/statm: 103916 99686 187 432 0 103481 0
[pid=15188/tid=15190] ppid=15186 vsize=415664 CPUtime=1794.97 cores=0,2,4,6
/proc/15188/task/15190/stat : 15190 (wbo1.7) R 15186 15188 12409 0 -1 4202560 97105 0 0 0 179413 84 0 0 20 0 2 0 277553492 425639936 99686 33554432000 4194304 5963574 140734996749328 140440674891768 4399639 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1799.43
Current children cumulated vsize (KiB) 415664
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 15245
/proc/meminfo: memFree=30720476/32873844 swapFree=7616/7616
[pid=15188] ppid=15186 vsize=415664 CPUtime=1799.53 cores=0,2,4,6
/proc/15188/stat : 15188 (wbo1.7) S 15186 15188 12409 0 -1 4202496 98587 0 0 0 179896 57 0 0 20 0 2 0 277553489 425639936 99686 33554432000 4194304 5963574 140734996749328 140734996748848 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15188/statm: 103916 99686 187 432 0 103481 0
[pid=15188/tid=15190] ppid=15186 vsize=415664 CPUtime=1795.07 cores=0,2,4,6
/proc/15188/task/15190/stat : 15190 (wbo1.7) R 15186 15188 12409 0 -1 4202560 97105 0 0 0 179423 84 0 0 20 0 2 0 277553492 425639936 99686 33554432000 4194304 5963574 140734996749328 140440674891768 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1799.53
Current children cumulated vsize (KiB) 415664
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 15188 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=268229
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=852870
# CPU time returned by wait4() is 1795.12
# while last known CPU time is 1799.53
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800
CPU time (s): 1799.53
CPU user time (s): 1798.96
CPU system time (s): 0.57
CPU usage (%): 99.9737
Max. virtual memory (cumulated for all children) (KiB): 415664
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.27
system time used= 0.85287
maximum resident set size= 398748
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 98588
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= 176
involuntary context switches= 2215
runsolver used 8.59469 second user time and 13.7179 second system time
The end