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-3704609-1338083668/watcher-3704609-1338083668 -o /tmp/evaluation-result-3704609-1338083668/solver-3704609-1338083668 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3704609-1338083668.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: 1.25 1.79 1.92 3/175 12450
/proc/meminfo: memFree=31472528/32873844 swapFree=7616/7616
[pid=12450] ppid=12447 vsize=4368 CPUtime=0 cores=0,2,4,6
/proc/12450/stat : 12450 (wbo1.7) R 12447 12450 12409 0 -1 4202496 557 0 0 0 0 0 0 0 20 0 1 0 274491578 4472832 509 33554432000 4194304 5963574 140736681955360 140735797611576 5368595 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/12450/statm: 1092 509 162 432 0 634 0
[startup+0.104041 s]
/proc/loadavg: 1.25 1.79 1.92 3/175 12450
/proc/meminfo: memFree=31472528/32873844 swapFree=7616/7616
[pid=12450] ppid=12447 vsize=85052 CPUtime=0.09 cores=0,2,4,6
/proc/12450/stat : 12450 (wbo1.7) S 12447 12450 12409 0 -1 4202496 1962 0 0 0 9 0 0 0 20 0 2 0 274491578 87093248 1806 33554432000 4194304 5963574 140736681955360 140736681954880 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12450/statm: 21263 1806 185 432 0 20828 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 85052
[startup+0.200257 s]
/proc/loadavg: 1.25 1.79 1.92 3/175 12450
/proc/meminfo: memFree=31472528/32873844 swapFree=7616/7616
[pid=12450] ppid=12447 vsize=85052 CPUtime=0.19 cores=0,2,4,6
/proc/12450/stat : 12450 (wbo1.7) S 12447 12450 12409 0 -1 4202496 2175 0 0 0 19 0 0 0 20 0 2 0 274491578 87093248 2019 33554432000 4194304 5963574 140736681955360 140736681954880 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12450/statm: 21263 2019 185 432 0 20828 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 85052
[startup+0.300265 s]
/proc/loadavg: 1.25 1.79 1.92 3/175 12450
/proc/meminfo: memFree=31472528/32873844 swapFree=7616/7616
[pid=12450] ppid=12447 vsize=85052 CPUtime=0.29 cores=0,2,4,6
/proc/12450/stat : 12450 (wbo1.7) S 12447 12450 12409 0 -1 4202496 2402 0 0 0 29 0 0 0 20 0 2 0 274491578 87093248 2246 33554432000 4194304 5963574 140736681955360 140736681954880 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12450/statm: 21263 2247 185 432 0 20828 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 85052
[startup+0.700184 s]
/proc/loadavg: 1.25 1.79 1.92 3/175 12450
/proc/meminfo: memFree=31472528/32873844 swapFree=7616/7616
[pid=12450] ppid=12447 vsize=85052 CPUtime=0.69 cores=0,2,4,6
/proc/12450/stat : 12450 (wbo1.7) S 12447 12450 12409 0 -1 4202496 3378 0 0 0 69 0 0 0 20 0 2 0 274491578 87093248 3222 33554432000 4194304 5963574 140736681955360 140736681954880 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12450/statm: 21263 3222 185 432 0 20828 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 85052
[startup+1.50027 s]
/proc/loadavg: 1.25 1.79 1.92 3/181 12534
/proc/meminfo: memFree=31449296/32873844 swapFree=7616/7616
[pid=12450] ppid=12447 vsize=85052 CPUtime=1.49 cores=0,2,4,6
/proc/12450/stat : 12450 (wbo1.7) S 12447 12450 12409 0 -1 4202496 5109 0 0 0 148 1 0 0 20 0 2 0 274491578 87093248 4953 33554432000 4194304 5963574 140736681955360 140736681954880 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12450/statm: 21263 4953 185 432 0 20828 0
[pid=12450/tid=12456] ppid=12447 vsize=85052 CPUtime=1.47 cores=0,2,4,6
/proc/12450/task/12456/stat : 12456 (wbo1.7) R 12447 12450 12409 0 -1 4202560 4000 0 0 0 146 1 0 0 20 0 2 0 274491580 87093248 4953 33554432000 4194304 5963574 140736681955360 139998611228664 5135572 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 85052
[startup+3.10026 s]
/proc/loadavg: 1.25 1.79 1.92 3/181 12534
/proc/meminfo: memFree=31438756/32873844 swapFree=7616/7616
[pid=12450] ppid=12447 vsize=85052 CPUtime=3.09 cores=0,2,4,6
/proc/12450/stat : 12450 (wbo1.7) S 12447 12450 12409 0 -1 4202496 6448 0 0 0 308 1 0 0 20 0 2 0 274491578 87093248 6292 33554432000 4194304 5963574 140736681955360 140736681954880 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12450/statm: 21263 6292 185 432 0 20828 0
[pid=12450/tid=12456] ppid=12447 vsize=85052 CPUtime=3.06 cores=0,2,4,6
/proc/12450/task/12456/stat : 12456 (wbo1.7) R 12447 12450 12409 0 -1 4202560 5339 0 0 0 305 1 0 0 20 0 2 0 274491580 87093248 6292 33554432000 4194304 5963574 140736681955360 139998611228664 4399623 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 85052
[startup+6.30027 s]
/proc/loadavg: 1.31 1.80 1.92 3/181 12534
/proc/meminfo: memFree=31429008/32873844 swapFree=7616/7616
[pid=12450] ppid=12447 vsize=85052 CPUtime=6.29 cores=0,2,4,6
/proc/12450/stat : 12450 (wbo1.7) S 12447 12450 12409 0 -1 4202496 8843 0 0 0 627 2 0 0 20 0 2 0 274491578 87093248 8687 33554432000 4194304 5963574 140736681955360 140736681954880 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12450/statm: 21263 8687 185 432 0 20828 0
[pid=12450/tid=12456] ppid=12447 vsize=85052 CPUtime=6.25 cores=0,2,4,6
/proc/12450/task/12456/stat : 12456 (wbo1.7) R 12447 12450 12409 0 -1 4202560 7735 0 0 0 623 2 0 0 20 0 2 0 274491580 87093248 8688 33554432000 4194304 5963574 140736681955360 139998611228664 5135572 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 85052
[startup+12.7003 s]
/proc/loadavg: 1.36 1.80 1.92 3/181 12534
/proc/meminfo: memFree=31402948/32873844 swapFree=7616/7616
[pid=12450] ppid=12447 vsize=85268 CPUtime=12.68 cores=0,2,4,6
/proc/12450/stat : 12450 (wbo1.7) S 12447 12450 12409 0 -1 4202496 13520 0 0 0 1265 3 0 0 20 0 2 0 274491578 87314432 13486 33554432000 4194304 5963574 140736681955360 140736681954880 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12450/statm: 21317 13486 185 432 0 20882 0
[pid=12450/tid=12456] ppid=12447 vsize=85268 CPUtime=12.63 cores=0,2,4,6
/proc/12450/task/12456/stat : 12456 (wbo1.7) R 12447 12450 12409 0 -1 4202560 12411 0 0 0 1260 3 0 0 20 0 2 0 274491580 87314432 13486 33554432000 4194304 5963574 140736681955360 139998611228664 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 85268
[startup+25.5064 s]
/proc/loadavg: 1.50 1.81 1.92 3/181 12534
/proc/meminfo: memFree=31375568/32873844 swapFree=7616/7616
[pid=12450] ppid=12447 vsize=150912 CPUtime=25.48 cores=0,2,4,6
/proc/12450/stat : 12450 (wbo1.7) S 12447 12450 12409 0 -1 4202496 18801 0 0 0 2542 6 0 0 20 0 2 0 274491578 154533888 18760 33554432000 4194304 5963574 140736681955360 140736681954880 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12450/statm: 37728 18760 185 432 0 37293 0
[pid=12450/tid=12456] ppid=12447 vsize=150912 CPUtime=25.4 cores=0,2,4,6
/proc/12450/task/12456/stat : 12456 (wbo1.7) R 12447 12450 12409 0 -1 4202560 17692 0 0 0 2534 6 0 0 20 0 2 0 274491580 154533888 18760 33554432000 4194304 5963574 140736681955360 139998611228664 4221120 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) 150912
[startup+51.1003 s]
/proc/loadavg: 1.79 1.85 1.93 3/181 12534
/proc/meminfo: memFree=31338336/32873844 swapFree=7616/7616
[pid=12450] ppid=12447 vsize=151072 CPUtime=51.06 cores=0,2,4,6
/proc/12450/stat : 12450 (wbo1.7) S 12447 12450 12409 0 -1 4202496 26738 0 0 0 5098 8 0 0 20 0 2 0 274491578 154697728 26688 33554432000 4194304 5963574 140736681955360 140736681954880 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12450/statm: 37768 26688 185 432 0 37333 0
[pid=12450/tid=12456] ppid=12447 vsize=151072 CPUtime=50.91 cores=0,2,4,6
/proc/12450/task/12456/stat : 12456 (wbo1.7) R 12447 12450 12409 0 -1 4202560 25629 0 0 0 5083 8 0 0 20 0 2 0 274491580 154697728 26688 33554432000 4194304 5963574 140736681955360 139998611228664 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 151072
[startup+102.3 s]
/proc/loadavg: 1.91 1.87 1.93 3/181 12534
/proc/meminfo: memFree=31255840/32873844 swapFree=7616/7616
[pid=12450] ppid=12447 vsize=216848 CPUtime=102.25 cores=0,2,4,6
/proc/12450/stat : 12450 (wbo1.7) S 12447 12450 12409 0 -1 4202496 43645 0 0 0 10211 14 0 0 20 0 2 0 274491578 222052352 44608 33554432000 4194304 5963574 140736681955360 140736681954880 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12450/statm: 54212 44608 185 432 0 53777 0
[pid=12450/tid=12456] ppid=12447 vsize=216848 CPUtime=101.98 cores=0,2,4,6
/proc/12450/task/12456/stat : 12456 (wbo1.7) R 12447 12450 12409 0 -1 4202560 42536 0 0 0 10183 15 0 0 20 0 2 0 274491580 222052352 44608 33554432000 4194304 5963574 140736681955360 139998611228664 5135572 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 216848
[startup+162.3 s]
/proc/loadavg: 1.96 1.89 1.93 3/181 12535
/proc/meminfo: memFree=31189236/32873844 swapFree=7616/7616
[pid=12450] ppid=12447 vsize=282384 CPUtime=162.22 cores=0,2,4,6
/proc/12450/stat : 12450 (wbo1.7) S 12447 12450 12409 0 -1 4202496 58372 0 0 0 16204 18 0 0 20 0 2 0 274491578 289161216 59404 33554432000 4194304 5963574 140736681955360 140736681954880 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12450/statm: 70596 59404 185 432 0 70161 0
[pid=12450/tid=12456] ppid=12447 vsize=282384 CPUtime=161.79 cores=0,2,4,6
/proc/12450/task/12456/stat : 12456 (wbo1.7) R 12447 12450 12409 0 -1 4202560 57263 0 0 0 16159 20 0 0 20 0 2 0 274491580 289161216 59404 33554432000 4194304 5963574 140736681955360 139998611228664 5135572 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 282384
[startup+222.3 s]
/proc/loadavg: 1.98 1.91 1.93 3/181 12535
/proc/meminfo: memFree=31006968/32873844 swapFree=7616/7616
[pid=12450] ppid=12447 vsize=478992 CPUtime=222.21 cores=0,2,4,6
/proc/12450/stat : 12450 (wbo1.7) S 12447 12450 12409 0 -1 4202496 99963 0 0 0 22189 32 0 0 20 0 2 0 274491578 490487808 101048 33554432000 4194304 5963574 140736681955360 140736681954880 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12450/statm: 119748 101048 185 432 0 119313 0
[pid=12450/tid=12456] ppid=12447 vsize=478992 CPUtime=221.63 cores=0,2,4,6
/proc/12450/task/12456/stat : 12456 (wbo1.7) R 12447 12450 12409 0 -1 4202560 98854 0 0 0 22128 35 0 0 20 0 2 0 274491580 490487808 101048 33554432000 4194304 5963574 140736681955360 139998611228664 4399623 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 478992
[startup+282.3 s]
/proc/loadavg: 1.99 1.92 1.93 3/181 12535
/proc/meminfo: memFree=30878540/32873844 swapFree=7616/7616
[pid=12450] ppid=12447 vsize=544528 CPUtime=282.19 cores=0,2,4,6
/proc/12450/stat : 12450 (wbo1.7) S 12447 12450 12409 0 -1 4202496 129236 0 0 0 28178 41 0 0 20 0 2 0 274491578 557596672 130321 33554432000 4194304 5963574 140736681955360 140736681954880 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12450/statm: 136132 130321 185 432 0 135697 0
[pid=12450/tid=12456] ppid=12447 vsize=544528 CPUtime=281.47 cores=0,2,4,6
/proc/12450/task/12456/stat : 12456 (wbo1.7) R 12447 12450 12409 0 -1 4202560 128127 0 0 0 28102 45 0 0 20 0 2 0 274491580 557596672 130321 33554432000 4194304 5963574 140736681955360 139998611228664 4399603 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 544528
[startup+342.306 s]
/proc/loadavg: 1.99 1.94 1.93 3/182 12538
/proc/meminfo: memFree=30843452/32873844 swapFree=7616/7616
[pid=12450] ppid=12447 vsize=610064 CPUtime=342.19 cores=0,2,4,6
/proc/12450/stat : 12450 (wbo1.7) S 12447 12450 12409 0 -1 4202496 134175 0 0 0 34175 44 0 0 20 0 2 0 274491578 624705536 135267 33554432000 4194304 5963574 140736681955360 140736681954880 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12450/statm: 152516 135267 185 432 0 152081 0
[pid=12450/tid=12456] ppid=12447 vsize=610064 CPUtime=341.31 cores=0,2,4,6
/proc/12450/task/12456/stat : 12456 (wbo1.7) R 12447 12450 12409 0 -1 4202560 133066 0 0 0 34082 49 0 0 20 0 2 0 274491580 624705536 135267 33554432000 4194304 5963574 140736681955360 139998611228664 4399639 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 610064
[startup+402.3 s]
/proc/loadavg: 1.99 1.94 1.93 3/182 12561
/proc/meminfo: memFree=30835404/32873844 swapFree=7616/7616
[pid=12450] ppid=12447 vsize=610064 CPUtime=402.15 cores=0,2,4,6
/proc/12450/stat : 12450 (wbo1.7) S 12447 12450 12409 0 -1 4202496 134218 0 0 0 40171 44 0 0 20 0 2 0 274491578 624705536 134970 33554432000 4194304 5963574 140736681955360 140736681954880 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12450/statm: 152516 134970 185 432 0 152081 0
[pid=12450/tid=12456] ppid=12447 vsize=610064 CPUtime=401.13 cores=0,2,4,6
/proc/12450/task/12456/stat : 12456 (wbo1.7) R 12447 12450 12409 0 -1 4202560 133109 0 0 0 40063 50 0 0 20 0 2 0 274491580 624705536 134970 33554432000 4194304 5963574 140736681955360 139998611228696 4399623 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 610064
[startup+462.3 s]
/proc/loadavg: 1.99 1.95 1.93 3/181 12562
/proc/meminfo: memFree=30828156/32873844 swapFree=7616/7616
[pid=12450] ppid=12447 vsize=610424 CPUtime=462.13 cores=0,2,4,6
################
# More data... #
################
[startup+1422.3 s]
/proc/loadavg: 2.00 1.97 1.94 3/181 12568
/proc/meminfo: memFree=30392888/32873844 swapFree=7616/7616
[pid=12450] ppid=12447 vsize=874296 CPUtime=1421.9 cores=0,2,4,6
/proc/12450/stat : 12450 (wbo1.7) S 12447 12450 12409 0 -1 4202496 202884 0 0 0 142114 76 0 0 20 0 2 0 274491578 895279104 203223 33554432000 4194304 5963574 140736681955360 140736681954880 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12450/statm: 218574 203223 185 432 0 218139 0
[pid=12450/tid=12456] ppid=12447 vsize=874296 CPUtime=1418.35 cores=0,2,4,6
/proc/12450/task/12456/stat : 12456 (wbo1.7) R 12447 12450 12409 0 -1 4202560 201775 0 0 0 141738 97 0 0 20 0 2 0 274491580 895279104 203223 33554432000 4194304 5963574 140736681955360 139998611228696 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 874296
[startup+1482.3 s]
/proc/loadavg: 2.00 1.97 1.94 3/181 12568
/proc/meminfo: memFree=30388796/32873844 swapFree=7616/7616
[pid=12450] ppid=12447 vsize=874296 CPUtime=1481.89 cores=0,2,4,6
/proc/12450/stat : 12450 (wbo1.7) S 12447 12450 12409 0 -1 4202496 202884 0 0 0 148113 76 0 0 20 0 2 0 274491578 895279104 203223 33554432000 4194304 5963574 140736681955360 140736681954880 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12450/statm: 218574 203223 185 432 0 218139 0
[pid=12450/tid=12456] ppid=12447 vsize=874296 CPUtime=1478.2 cores=0,2,4,6
/proc/12450/task/12456/stat : 12456 (wbo1.7) R 12447 12450 12409 0 -1 4202560 201775 0 0 0 147722 98 0 0 20 0 2 0 274491580 895279104 203223 33554432000 4194304 5963574 140736681955360 139998611228696 4381200 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 874296
[startup+1542.3 s]
/proc/loadavg: 2.08 1.99 1.94 3/182 12571
/proc/meminfo: memFree=30381960/32873844 swapFree=7616/7616
[pid=12450] ppid=12447 vsize=874296 CPUtime=1541.88 cores=0,2,4,6
/proc/12450/stat : 12450 (wbo1.7) S 12447 12450 12409 0 -1 4202496 202884 0 0 0 154112 76 0 0 20 0 2 0 274491578 895279104 203223 33554432000 4194304 5963574 140736681955360 140736681954880 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12450/statm: 218574 203223 185 432 0 218139 0
[pid=12450/tid=12456] ppid=12447 vsize=874296 CPUtime=1538.05 cores=0,2,4,6
/proc/12450/task/12456/stat : 12456 (wbo1.7) R 12447 12450 12409 0 -1 4202560 201775 0 0 0 153706 99 0 0 20 0 2 0 274491580 895279104 203223 33554432000 4194304 5963574 140736681955360 139998611228696 4399623 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 874296
[startup+1602.3 s]
/proc/loadavg: 2.06 2.00 1.95 3/181 12571
/proc/meminfo: memFree=30363252/32873844 swapFree=7616/7616
[pid=12450] ppid=12447 vsize=874296 CPUtime=1601.87 cores=0,2,4,6
/proc/12450/stat : 12450 (wbo1.7) S 12447 12450 12409 0 -1 4202496 202884 0 0 0 160111 76 0 0 20 0 2 0 274491578 895279104 203223 33554432000 4194304 5963574 140736681955360 140736681954880 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12450/statm: 218574 203223 185 432 0 218139 0
[pid=12450/tid=12456] ppid=12447 vsize=874296 CPUtime=1597.88 cores=0,2,4,6
/proc/12450/task/12456/stat : 12456 (wbo1.7) R 12447 12450 12409 0 -1 4202560 201775 0 0 0 159688 100 0 0 20 0 2 0 274491580 895279104 203223 33554432000 4194304 5963574 140736681955360 139998611228696 4399623 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) 874296
[startup+1662.31 s]
/proc/loadavg: 2.02 2.00 1.95 3/181 12572
/proc/meminfo: memFree=30359532/32873844 swapFree=7616/7616
[pid=12450] ppid=12447 vsize=874296 CPUtime=1661.86 cores=0,2,4,6
/proc/12450/stat : 12450 (wbo1.7) S 12447 12450 12409 0 -1 4202496 202884 0 0 0 166110 76 0 0 20 0 2 0 274491578 895279104 203223 33554432000 4194304 5963574 140736681955360 140736681954880 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12450/statm: 218574 203223 185 432 0 218139 0
[pid=12450/tid=12456] ppid=12447 vsize=874296 CPUtime=1657.73 cores=0,2,4,6
/proc/12450/task/12456/stat : 12456 (wbo1.7) R 12447 12450 12409 0 -1 4202560 201775 0 0 0 165672 101 0 0 20 0 2 0 274491580 895279104 203223 33554432000 4194304 5963574 140736681955360 139998611228696 4381822 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 874296
[startup+1722.3 s]
/proc/loadavg: 2.01 2.00 1.95 3/181 12572
/proc/meminfo: memFree=30242972/32873844 swapFree=7616/7616
[pid=12450] ppid=12447 vsize=939832 CPUtime=1721.85 cores=0,2,4,6
/proc/12450/stat : 12450 (wbo1.7) S 12447 12450 12409 0 -1 4202496 228871 0 0 0 172097 88 0 0 20 0 2 0 274491578 962387968 229210 33554432000 4194304 5963574 140736681955360 140736681954880 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12450/statm: 234958 229210 185 432 0 234523 0
[pid=12450/tid=12456] ppid=12447 vsize=939832 CPUtime=1717.57 cores=0,2,4,6
/proc/12450/task/12456/stat : 12456 (wbo1.7) R 12447 12450 12409 0 -1 4202560 227762 0 0 0 171643 114 0 0 20 0 2 0 274491580 962387968 229210 33554432000 4194304 5963574 140736681955360 139998611228664 4399614 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 939832
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/181 12572
/proc/meminfo: memFree=30154592/32873844 swapFree=7616/7616
[pid=12450] ppid=12447 vsize=1006340 CPUtime=1781.84 cores=0,2,4,6
/proc/12450/stat : 12450 (wbo1.7) S 12447 12450 12409 0 -1 4202496 248107 0 0 0 178085 99 0 0 20 0 2 0 274491578 1030492160 248446 33554432000 4194304 5963574 140736681955360 140736681954880 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12450/statm: 251585 248446 185 432 0 251150 0
[pid=12450/tid=12456] ppid=12447 vsize=1006340 CPUtime=1777.41 cores=0,2,4,6
/proc/12450/task/12456/stat : 12456 (wbo1.7) R 12447 12450 12409 0 -1 4202560 246998 0 0 0 177615 126 0 0 20 0 2 0 274491580 1030492160 248446 33554432000 4194304 5963574 140736681955360 139998611228664 4399592 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 1006340
Solver just ended. Dumping a history of the last processes samples
[startup+1792.11 s]
/proc/loadavg: 2.00 2.00 1.95 3/181 12572
/proc/meminfo: memFree=30145152/32873844 swapFree=7616/7616
[pid=12450] ppid=12447 vsize=1071876 CPUtime=1791.64 cores=0,2,4,6
/proc/12450/stat : 12450 (wbo1.7) S 12447 12450 12409 0 -1 4202496 250377 0 0 0 179064 100 0 0 20 0 2 0 274491578 1097601024 250716 33554432000 4194304 5963574 140736681955360 140736681954880 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12450/statm: 267969 250716 185 432 0 267534 0
[pid=12450/tid=12456] ppid=12447 vsize=1071876 CPUtime=1787.19 cores=0,2,4,6
/proc/12450/task/12456/stat : 12456 (wbo1.7) R 12447 12450 12409 0 -1 4202560 249268 0 0 0 178592 127 0 0 20 0 2 0 274491580 1097601024 250716 33554432000 4194304 5963574 140736681955360 139998611228664 4399605 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1791.64
Current children cumulated vsize (KiB) 1071876
[startup+1795.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/181 12572
/proc/meminfo: memFree=30141184/32873844 swapFree=7616/7616
[pid=12450] ppid=12447 vsize=1071876 CPUtime=1794.85 cores=0,2,4,6
/proc/12450/stat : 12450 (wbo1.7) S 12447 12450 12409 0 -1 4202496 251396 0 0 0 179384 101 0 0 20 0 2 0 274491578 1097601024 251735 33554432000 4194304 5963574 140736681955360 140736681954880 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12450/statm: 267969 251735 185 432 0 267534 0
[pid=12450/tid=12456] ppid=12447 vsize=1071876 CPUtime=1790.39 cores=0,2,4,6
/proc/12450/task/12456/stat : 12456 (wbo1.7) R 12447 12450 12409 0 -1 4202560 250287 0 0 0 178911 128 0 0 20 0 2 0 274491580 1097601024 251735 33554432000 4194304 5963574 140736681955360 139998611228664 4399623 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1794.85
Current children cumulated vsize (KiB) 1071876
[startup+1798.5 s]
/proc/loadavg: 2.00 2.00 1.95 3/181 12572
/proc/meminfo: memFree=30138828/32873844 swapFree=7616/7616
[pid=12450] ppid=12447 vsize=1071876 CPUtime=1798.04 cores=0,2,4,6
/proc/12450/stat : 12450 (wbo1.7) S 12447 12450 12409 0 -1 4202496 252185 0 0 0 179703 101 0 0 20 0 2 0 274491578 1097601024 252524 33554432000 4194304 5963574 140736681955360 140736681954880 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12450/statm: 267969 252524 185 432 0 267534 0
[pid=12450/tid=12456] ppid=12447 vsize=1071876 CPUtime=1793.57 cores=0,2,4,6
/proc/12450/task/12456/stat : 12456 (wbo1.7) R 12447 12450 12409 0 -1 4202560 251076 0 0 0 179229 128 0 0 20 0 2 0 274491580 1097601024 252524 33554432000 4194304 5963574 140736681955360 139998611228664 4399651 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1798.04
Current children cumulated vsize (KiB) 1071876
[startup+1799.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/181 12572
/proc/meminfo: memFree=30137960/32873844 swapFree=7616/7616
[pid=12450] ppid=12447 vsize=1071876 CPUtime=1798.84 cores=0,2,4,6
/proc/12450/stat : 12450 (wbo1.7) S 12447 12450 12409 0 -1 4202496 252413 0 0 0 179783 101 0 0 20 0 2 0 274491578 1097601024 252752 33554432000 4194304 5963574 140736681955360 140736681954880 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12450/statm: 267969 252752 185 432 0 267534 0
[pid=12450/tid=12456] ppid=12447 vsize=1071876 CPUtime=1794.37 cores=0,2,4,6
/proc/12450/task/12456/stat : 12456 (wbo1.7) R 12447 12450 12409 0 -1 4202560 251304 0 0 0 179309 128 0 0 20 0 2 0 274491580 1097601024 252752 33554432000 4194304 5963574 140736681955360 139998611228664 4399603 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1798.84
Current children cumulated vsize (KiB) 1071876
[startup+1799.7 s]
/proc/loadavg: 2.00 2.00 1.95 3/181 12572
/proc/meminfo: memFree=30136596/32873844 swapFree=7616/7616
[pid=12450] ppid=12447 vsize=1071876 CPUtime=1799.24 cores=0,2,4,6
/proc/12450/stat : 12450 (wbo1.7) S 12447 12450 12409 0 -1 4202496 252523 0 0 0 179823 101 0 0 20 0 2 0 274491578 1097601024 252862 33554432000 4194304 5963574 140736681955360 140736681954880 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12450/statm: 267969 252862 185 432 0 267534 0
[pid=12450/tid=12456] ppid=12447 vsize=1071876 CPUtime=1794.77 cores=0,2,4,6
/proc/12450/task/12456/stat : 12456 (wbo1.7) R 12447 12450 12409 0 -1 4202560 251414 0 0 0 179349 128 0 0 20 0 2 0 274491580 1097601024 252862 33554432000 4194304 5963574 140736681955360 139998611228664 4399603 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1799.24
Current children cumulated vsize (KiB) 1071876
[startup+1799.9 s]
/proc/loadavg: 2.00 2.00 1.95 3/181 12572
/proc/meminfo: memFree=30136596/32873844 swapFree=7616/7616
[pid=12450] ppid=12447 vsize=1071876 CPUtime=1799.43 cores=0,2,4,6
/proc/12450/stat : 12450 (wbo1.7) S 12447 12450 12409 0 -1 4202496 252568 0 0 0 179842 101 0 0 20 0 2 0 274491578 1097601024 252907 33554432000 4194304 5963574 140736681955360 140736681954880 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12450/statm: 267969 252907 185 432 0 267534 0
[pid=12450/tid=12456] ppid=12447 vsize=1071876 CPUtime=1794.97 cores=0,2,4,6
/proc/12450/task/12456/stat : 12456 (wbo1.7) R 12447 12450 12409 0 -1 4202560 251459 0 0 0 179369 128 0 0 20 0 2 0 274491580 1097601024 252907 33554432000 4194304 5963574 140736681955360 139998611228664 5135572 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) 1071876
[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.95 3/181 12572
/proc/meminfo: memFree=30136596/32873844 swapFree=7616/7616
[pid=12450] ppid=12447 vsize=1071876 CPUtime=1799.53 cores=0,2,4,6
/proc/12450/stat : 12450 (wbo1.7) S 12447 12450 12409 0 -1 4202496 252590 0 0 0 179852 101 0 0 20 0 2 0 274491578 1097601024 252929 33554432000 4194304 5963574 140736681955360 140736681954880 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12450/statm: 267969 252929 185 432 0 267534 0
[pid=12450/tid=12456] ppid=12447 vsize=1071876 CPUtime=1795.07 cores=0,2,4,6
/proc/12450/task/12456/stat : 12456 (wbo1.7) R 12447 12450 12409 0 -1 4202560 251481 0 0 0 179379 128 0 0 20 0 2 0 274491580 1097601024 252929 33554432000 4194304 5963574 140736681955360 139998611228664 5135572 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) 1071876
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 12450 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=808299
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=308801
# 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.02
CPU time (s): 1799.53
CPU user time (s): 1798.52
CPU system time (s): 1.01
CPU usage (%): 99.9727
Max. virtual memory (cumulated for all children) (KiB): 1071876
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.81
system time used= 1.3088
maximum resident set size= 1011724
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 252592
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= 286
involuntary context switches= 1917
runsolver used 3.84142 second user time and 8.79566 second system time
The end