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-3705036-1338092539/watcher-3705036-1338092539 -o /tmp/evaluation-result-3705036-1338092539/solver-3705036-1338092539 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3705036-1338092539.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.02 2.01 2.00 2/177 30938
/proc/meminfo: memFree=28520416/32873648 swapFree=6844/6844
[pid=30938] ppid=30936 vsize=83720 CPUtime=0 cores=0,2,4,6
/proc/30938/stat : 30938 (wbo1.7) S 30936 30938 27916 0 -1 4202496 886 0 0 0 0 0 0 0 20 0 2 0 275379782 85729280 831 33554432000 4194304 5963574 140737350444944 140737350444464 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30938/statm: 20930 832 188 432 0 20495 0
[pid=30938/tid=30939] ppid=30936 vsize=83720 CPUtime=0 cores=0,2,4,6
/proc/30938/task/30939/stat : 30939 (wbo1.7) R 30936 30938 27916 0 -1 4202560 146 0 0 0 0 0 0 0 20 0 2 0 275379783 85729280 832 33554432000 4194304 5963574 140737350444944 140733691403416 5236023 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[startup+0.0771861 s]
/proc/loadavg: 2.02 2.01 2.00 2/177 30938
/proc/meminfo: memFree=28520416/32873648 swapFree=6844/6844
[pid=30938] ppid=30936 vsize=83720 CPUtime=0.07 cores=0,2,4,6
/proc/30938/stat : 30938 (wbo1.7) S 30936 30938 27916 0 -1 4202496 1064 0 0 0 7 0 0 0 20 0 2 0 275379782 85729280 1009 33554432000 4194304 5963574 140737350444944 140737350444464 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30938/statm: 20930 1009 192 432 0 20495 0
[pid=30938/tid=30939] ppid=30936 vsize=83720 CPUtime=0.06 cores=0,2,4,6
/proc/30938/task/30939/stat : 30939 (wbo1.7) R 30936 30938 27916 0 -1 4202560 323 0 0 0 6 0 0 0 20 0 2 0 275379783 85729280 1009 33554432000 4194304 5963574 140737350444944 140733691403416 4429370 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 83720
[startup+0.100237 s]
/proc/loadavg: 2.02 2.01 2.00 2/177 30938
/proc/meminfo: memFree=28520416/32873648 swapFree=6844/6844
[pid=30938] ppid=30936 vsize=83720 CPUtime=0.09 cores=0,2,4,6
/proc/30938/stat : 30938 (wbo1.7) S 30936 30938 27916 0 -1 4202496 1120 0 0 0 9 0 0 0 20 0 2 0 275379782 85729280 1065 33554432000 4194304 5963574 140737350444944 140737350444464 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30938/statm: 20930 1065 192 432 0 20495 0
[pid=30938/tid=30939] ppid=30936 vsize=83720 CPUtime=0.08 cores=0,2,4,6
/proc/30938/task/30939/stat : 30939 (wbo1.7) R 30936 30938 27916 0 -1 4202560 379 0 0 0 8 0 0 0 20 0 2 0 275379783 85729280 1065 33554432000 4194304 5963574 140737350444944 140733691403416 5133065 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 83720
[startup+0.300209 s]
/proc/loadavg: 2.02 2.01 2.00 2/177 30938
/proc/meminfo: memFree=28520416/32873648 swapFree=6844/6844
[pid=30938] ppid=30936 vsize=83720 CPUtime=0.29 cores=0,2,4,6
/proc/30938/stat : 30938 (wbo1.7) S 30936 30938 27916 0 -1 4202496 1535 0 0 0 29 0 0 0 20 0 2 0 275379782 85729280 1480 33554432000 4194304 5963574 140737350444944 140737350444464 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30938/statm: 20930 1480 192 432 0 20495 0
[pid=30938/tid=30939] ppid=30936 vsize=83720 CPUtime=0.28 cores=0,2,4,6
/proc/30938/task/30939/stat : 30939 (wbo1.7) R 30936 30938 27916 0 -1 4202560 794 0 0 0 28 0 0 0 20 0 2 0 275379783 85729280 1480 33554432000 4194304 5963574 140737350444944 140733691403416 4372991 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 83720
[startup+0.700194 s]
/proc/loadavg: 2.02 2.01 2.00 2/177 30938
/proc/meminfo: memFree=28520416/32873648 swapFree=6844/6844
[pid=30938] ppid=30936 vsize=83720 CPUtime=0.69 cores=0,2,4,6
/proc/30938/stat : 30938 (wbo1.7) S 30936 30938 27916 0 -1 4202496 1775 0 0 0 69 0 0 0 20 0 2 0 275379782 85729280 1720 33554432000 4194304 5963574 140737350444944 140737350444464 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30938/statm: 20930 1720 192 432 0 20495 0
[pid=30938/tid=30939] ppid=30936 vsize=83720 CPUtime=0.68 cores=0,2,4,6
/proc/30938/task/30939/stat : 30939 (wbo1.7) R 30936 30938 27916 0 -1 4202560 1034 0 0 0 68 0 0 0 20 0 2 0 275379783 85729280 1720 33554432000 4194304 5963574 140737350444944 140733691403416 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 83720
[startup+1.50104 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 30940
/proc/meminfo: memFree=28512952/32873648 swapFree=6844/6844
[pid=30938] ppid=30936 vsize=83864 CPUtime=1.49 cores=0,2,4,6
/proc/30938/stat : 30938 (wbo1.7) S 30936 30938 27916 0 -1 4202496 2412 0 0 0 149 0 0 0 20 0 2 0 275379782 85876736 2357 33554432000 4194304 5963574 140737350444944 140737350444464 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30938/statm: 20966 2357 192 432 0 20531 0
[pid=30938/tid=30939] ppid=30936 vsize=83864 CPUtime=1.48 cores=0,2,4,6
/proc/30938/task/30939/stat : 30939 (wbo1.7) R 30936 30938 27916 0 -1 4202560 1671 0 0 0 148 0 0 0 20 0 2 0 275379783 85876736 2357 33554432000 4194304 5963574 140737350444944 139971849394168 4399633 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 83864
[startup+3.10104 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 30940
/proc/meminfo: memFree=28506752/32873648 swapFree=6844/6844
[pid=30938] ppid=30936 vsize=83720 CPUtime=3.09 cores=0,2,4,6
/proc/30938/stat : 30938 (wbo1.7) S 30936 30938 27916 0 -1 4202496 3188 0 0 0 308 1 0 0 20 0 2 0 275379782 85729280 3104 33554432000 4194304 5963574 140737350444944 140737350444464 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30938/statm: 20930 3104 192 432 0 20495 0
[pid=30938/tid=30939] ppid=30936 vsize=83720 CPUtime=3.07 cores=0,2,4,6
/proc/30938/task/30939/stat : 30939 (wbo1.7) R 30936 30938 27916 0 -1 4202560 2447 0 0 0 306 1 0 0 20 0 2 0 275379783 85729280 3104 33554432000 4194304 5963574 140737350444944 139971849394712 4399537 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 83720
[startup+6.30106 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 30940
/proc/meminfo: memFree=28491624/32873648 swapFree=6844/6844
[pid=30938] ppid=30936 vsize=83936 CPUtime=6.29 cores=0,2,4,6
/proc/30938/stat : 30938 (wbo1.7) S 30936 30938 27916 0 -1 4202496 3788 0 0 0 628 1 0 0 20 0 2 0 275379782 85950464 3704 33554432000 4194304 5963574 140737350444944 140737350444464 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30938/statm: 20984 3704 192 432 0 20549 0
[pid=30938/tid=30939] ppid=30936 vsize=83936 CPUtime=6.27 cores=0,2,4,6
/proc/30938/task/30939/stat : 30939 (wbo1.7) R 30936 30938 27916 0 -1 4202560 3047 0 0 0 626 1 0 0 20 0 2 0 275379783 85950464 3704 33554432000 4194304 5963574 140737350444944 139971849394104 5135572 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 83936
[startup+12.7003 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 30940
/proc/meminfo: memFree=28458300/32873648 swapFree=6844/6844
[pid=30938] ppid=30936 vsize=84044 CPUtime=12.69 cores=0,2,4,6
/proc/30938/stat : 30938 (wbo1.7) S 30936 30938 27916 0 -1 4202496 7883 0 0 0 1267 2 0 0 20 0 2 0 275379782 86061056 7799 33554432000 4194304 5963574 140737350444944 140737350444464 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30938/statm: 21011 7799 192 432 0 20576 0
[pid=30938/tid=30939] ppid=30936 vsize=84044 CPUtime=12.65 cores=0,2,4,6
/proc/30938/task/30939/stat : 30939 (wbo1.7) R 30936 30938 27916 0 -1 4202560 7142 0 0 0 1263 2 0 0 20 0 2 0 275379783 86061056 7799 33554432000 4194304 5963574 140737350444944 139971849393976 5135572 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 84044
[startup+25.5003 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 30940
/proc/meminfo: memFree=28401556/32873648 swapFree=6844/6844
[pid=30938] ppid=30936 vsize=83720 CPUtime=25.48 cores=0,2,4,6
/proc/30938/stat : 30938 (wbo1.7) S 30936 30938 27916 0 -1 4202496 12895 0 0 0 2544 4 0 0 20 0 2 0 275379782 85729280 12167 33554432000 4194304 5963574 140737350444944 140737350444464 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30938/statm: 20930 12167 192 432 0 20495 0
[pid=30938/tid=30939] ppid=30936 vsize=83720 CPUtime=25.42 cores=0,2,4,6
/proc/30938/task/30939/stat : 30939 (wbo1.7) R 30936 30938 27916 0 -1 4202560 12154 0 0 0 2538 4 0 0 20 0 2 0 275379783 85729280 12167 33554432000 4194304 5963574 140737350444944 139971849395016 4403117 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 83720
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 30940
/proc/meminfo: memFree=28326216/32873648 swapFree=6844/6844
[pid=30938] ppid=30936 vsize=83720 CPUtime=51.08 cores=0,2,4,6
/proc/30938/stat : 30938 (wbo1.7) S 30936 30938 27916 0 -1 4202496 12954 0 0 0 5104 4 0 0 20 0 2 0 275379782 85729280 12226 33554432000 4194304 5963574 140737350444944 140737350444464 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30938/statm: 20930 12226 192 432 0 20495 0
[pid=30938/tid=30939] ppid=30936 vsize=83720 CPUtime=50.95 cores=0,2,4,6
/proc/30938/task/30939/stat : 30939 (wbo1.7) R 30936 30938 27916 0 -1 4202560 12213 0 0 0 5091 4 0 0 20 0 2 0 275379783 85729280 12226 33554432000 4194304 5963574 140737350444944 139971849394712 4387781 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 83720
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 30940
/proc/meminfo: memFree=28215900/32873648 swapFree=6844/6844
[pid=30938] ppid=30936 vsize=149980 CPUtime=102.28 cores=0,2,4,6
/proc/30938/stat : 30938 (wbo1.7) S 30936 30938 27916 0 -1 4202496 25995 0 0 0 10218 10 0 0 20 0 2 0 275379782 153579520 25263 33554432000 4194304 5963574 140737350444944 140737350444464 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30938/statm: 37495 25263 192 432 0 37060 0
[pid=30938/tid=30939] ppid=30936 vsize=149980 CPUtime=102.02 cores=0,2,4,6
/proc/30938/task/30939/stat : 30939 (wbo1.7) R 30936 30938 27916 0 -1 4202560 25254 0 0 0 10191 11 0 0 20 0 2 0 275379783 153579520 25263 33554432000 4194304 5963574 140737350444944 139971849393976 4378928 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 149980
[startup+162.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/179 30940
/proc/meminfo: memFree=28210596/32873648 swapFree=6844/6844
[pid=30938] ppid=30936 vsize=149256 CPUtime=162.27 cores=0,2,4,6
/proc/30938/stat : 30938 (wbo1.7) S 30936 30938 27916 0 -1 4202496 29502 0 0 0 16216 11 0 0 20 0 2 0 275379782 152838144 26498 33554432000 4194304 5963574 140737350444944 140737350444464 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30938/statm: 37314 26498 192 432 0 36879 0
[pid=30938/tid=30939] ppid=30936 vsize=149256 CPUtime=161.87 cores=0,2,4,6
/proc/30938/task/30939/stat : 30939 (wbo1.7) R 30936 30938 27916 0 -1 4202560 28761 0 0 0 16175 12 0 0 20 0 2 0 275379783 152838144 26498 33554432000 4194304 5963574 140737350444944 139971849395016 4399522 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 149256
[startup+222.3 s]
/proc/loadavg: 2.08 2.03 2.00 3/178 30940
/proc/meminfo: memFree=28211784/32873648 swapFree=6844/6844
[pid=30938] ppid=30936 vsize=149256 CPUtime=222.26 cores=0,2,4,6
/proc/30938/stat : 30938 (wbo1.7) S 30936 30938 27916 0 -1 4202496 29660 0 0 0 22215 11 0 0 20 0 2 0 275379782 152838144 26656 33554432000 4194304 5963574 140737350444944 140737350444464 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30938/statm: 37314 26656 192 432 0 36879 0
[pid=30938/tid=30939] ppid=30936 vsize=149256 CPUtime=221.71 cores=0,2,4,6
/proc/30938/task/30939/stat : 30939 (wbo1.7) R 30936 30938 27916 0 -1 4202560 28919 0 0 0 22158 13 0 0 20 0 2 0 275379783 152838144 26656 33554432000 4194304 5963574 140737350444944 139971849395016 4399456 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 149256
[startup+282.3 s]
/proc/loadavg: 2.12 2.05 2.01 3/178 30941
/proc/meminfo: memFree=28168360/32873648 swapFree=6844/6844
[pid=30938] ppid=30936 vsize=215876 CPUtime=282.24 cores=0,2,4,6
/proc/30938/stat : 30938 (wbo1.7) S 30936 30938 27916 0 -1 4202496 40815 0 0 0 28210 14 0 0 20 0 2 0 275379782 221057024 37811 33554432000 4194304 5963574 140737350444944 140737350444464 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30938/statm: 53969 37811 192 432 0 53534 0
[pid=30938/tid=30939] ppid=30936 vsize=215876 CPUtime=281.56 cores=0,2,4,6
/proc/30938/task/30939/stat : 30939 (wbo1.7) R 30936 30938 27916 0 -1 4202560 40074 0 0 0 28138 18 0 0 20 0 2 0 275379783 221057024 37811 33554432000 4194304 5963574 140737350444944 139971849394216 5135572 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 215876
[startup+342.3 s]
/proc/loadavg: 2.13 2.07 2.01 3/179 30942
/proc/meminfo: memFree=28096316/32873648 swapFree=6844/6844
[pid=30938] ppid=30936 vsize=281412 CPUtime=342.24 cores=0,2,4,6
/proc/30938/stat : 30938 (wbo1.7) S 30936 30938 27916 0 -1 4202496 52449 0 0 0 34205 19 0 0 20 0 2 0 275379782 288165888 49443 33554432000 4194304 5963574 140737350444944 140737350444464 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30938/statm: 70353 49443 192 432 0 69918 0
[pid=30938/tid=30939] ppid=30936 vsize=281412 CPUtime=341.41 cores=0,2,4,6
/proc/30938/task/30939/stat : 30939 (wbo1.7) R 30936 30938 27916 0 -1 4202560 51708 0 0 0 34117 24 0 0 20 0 2 0 275379783 288165888 49443 33554432000 4194304 5963574 140737350444944 139971849393928 4399592 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 281412
[startup+402.3 s]
/proc/loadavg: 2.26 2.11 2.03 3/179 30942
/proc/meminfo: memFree=28065780/32873648 swapFree=6844/6844
[pid=30938] ppid=30936 vsize=281412 CPUtime=402.22 cores=0,2,4,6
/proc/30938/stat : 30938 (wbo1.7) S 30936 30938 27916 0 -1 4202496 59813 0 0 0 40201 21 0 0 20 0 2 0 275379782 288165888 56951 33554432000 4194304 5963574 140737350444944 140737350444464 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 30990
/proc/meminfo: memFree=28177680/32873648 swapFree=6844/6844
[pid=30938] ppid=30936 vsize=807048 CPUtime=1421.91 cores=0,2,4,6
/proc/30938/stat : 30938 (wbo1.7) S 30936 30938 27916 0 -1 4202496 183730 0 0 0 142112 79 0 0 20 0 2 0 275379782 826417152 184889 33554432000 4194304 5963574 140737350444944 140737350444464 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30938/statm: 201762 184889 192 432 0 201327 0
[pid=30938/tid=30939] ppid=30936 vsize=807048 CPUtime=1418.48 cores=0,2,4,6
/proc/30938/task/30939/stat : 30939 (wbo1.7) R 30936 30938 27916 0 -1 4202560 182989 0 0 0 141749 99 0 0 20 0 2 0 275379783 826417152 184889 33554432000 4194304 5963574 140737350444944 139971849394216 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 807048
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 30990
/proc/meminfo: memFree=28171316/32873648 swapFree=6844/6844
[pid=30938] ppid=30936 vsize=807048 CPUtime=1481.87 cores=0,2,4,6
/proc/30938/stat : 30938 (wbo1.7) S 30936 30938 27916 0 -1 4202496 185140 0 0 0 148107 80 0 0 20 0 2 0 275379782 826417152 186578 33554432000 4194304 5963574 140737350444944 140737350444464 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30938/statm: 201762 186578 192 432 0 201327 0
[pid=30938/tid=30939] ppid=30936 vsize=807048 CPUtime=1478.3 cores=0,2,4,6
/proc/30938/task/30939/stat : 30939 (wbo1.7) R 30936 30938 27916 0 -1 4202560 184399 0 0 0 147728 102 0 0 20 0 2 0 275379783 826417152 186578 33554432000 4194304 5963574 140737350444944 139971849394216 4399456 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 807048
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 30991
/proc/meminfo: memFree=28157480/32873648 swapFree=6844/6844
[pid=30938] ppid=30936 vsize=807048 CPUtime=1541.84 cores=0,2,4,6
/proc/30938/stat : 30938 (wbo1.7) S 30936 30938 27916 0 -1 4202496 188291 0 0 0 154102 82 0 0 20 0 2 0 275379782 826417152 189992 33554432000 4194304 5963574 140737350444944 140737350444464 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30938/statm: 201762 189992 192 432 0 201327 0
[pid=30938/tid=30939] ppid=30936 vsize=807048 CPUtime=1538.12 cores=0,2,4,6
/proc/30938/task/30939/stat : 30939 (wbo1.7) R 30936 30938 27916 0 -1 4202560 187550 0 0 0 153707 105 0 0 20 0 2 0 275379783 826417152 189992 33554432000 4194304 5963574 140737350444944 139971849394216 4400164 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 807048
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 30991
/proc/meminfo: memFree=28114024/32873648 swapFree=6844/6844
[pid=30938] ppid=30936 vsize=872584 CPUtime=1601.82 cores=0,2,4,6
/proc/30938/stat : 30938 (wbo1.7) S 30936 30938 27916 0 -1 4202496 198616 0 0 0 160093 89 0 0 20 0 2 0 275379782 893526016 200817 33554432000 4194304 5963574 140737350444944 140737350444464 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30938/statm: 218146 200817 192 432 0 217711 0
[pid=30938/tid=30939] ppid=30936 vsize=872584 CPUtime=1597.95 cores=0,2,4,6
/proc/30938/task/30939/stat : 30939 (wbo1.7) R 30936 30938 27916 0 -1 4202560 197875 0 0 0 159683 112 0 0 20 0 2 0 275379783 893526016 200817 33554432000 4194304 5963574 140737350444944 139971849393976 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 872584
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 30991
/proc/meminfo: memFree=28094984/32873648 swapFree=6844/6844
[pid=30938] ppid=30936 vsize=872584 CPUtime=1661.8 cores=0,2,4,6
/proc/30938/stat : 30938 (wbo1.7) S 30936 30938 27916 0 -1 4202496 199788 0 0 0 166091 89 0 0 20 0 2 0 275379782 893526016 201995 33554432000 4194304 5963574 140737350444944 140737350444464 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30938/statm: 218146 201995 192 432 0 217711 0
[pid=30938/tid=30939] ppid=30936 vsize=872584 CPUtime=1657.8 cores=0,2,4,6
/proc/30938/task/30939/stat : 30939 (wbo1.7) R 30936 30938 27916 0 -1 4202560 199047 0 0 0 165666 114 0 0 20 0 2 0 275379783 893526016 201995 33554432000 4194304 5963574 140737350444944 139971849394040 4399982 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 872584
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 30994
/proc/meminfo: memFree=28080404/32873648 swapFree=6844/6844
[pid=30938] ppid=30936 vsize=872584 CPUtime=1721.79 cores=0,2,4,6
/proc/30938/stat : 30938 (wbo1.7) S 30936 30938 27916 0 -1 4202496 200741 0 0 0 172090 89 0 0 20 0 2 0 275379782 893526016 202945 33554432000 4194304 5963574 140737350444944 140737350444464 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30938/statm: 218146 202945 192 432 0 217711 0
[pid=30938/tid=30939] ppid=30936 vsize=872584 CPUtime=1717.64 cores=0,2,4,6
/proc/30938/task/30939/stat : 30939 (wbo1.7) R 30936 30938 27916 0 -1 4202560 200000 0 0 0 171649 115 0 0 20 0 2 0 275379783 893526016 202945 33554432000 4194304 5963574 140737350444944 139971849393976 4399569 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 872584
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 30994
/proc/meminfo: memFree=28049044/32873648 swapFree=6844/6844
[pid=30938] ppid=30936 vsize=878004 CPUtime=1781.78 cores=0,2,4,6
/proc/30938/stat : 30938 (wbo1.7) S 30936 30938 27916 0 -1 4202496 206447 0 0 0 178084 94 0 0 20 0 2 0 275379782 899076096 208354 33554432000 4194304 5963574 140737350444944 140737350444464 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30938/statm: 219501 208354 192 432 0 219066 0
[pid=30938/tid=30939] ppid=30936 vsize=878004 CPUtime=1777.49 cores=0,2,4,6
/proc/30938/task/30939/stat : 30939 (wbo1.7) R 30936 30938 27916 0 -1 4202560 205706 0 0 0 177628 121 0 0 20 0 2 0 275379783 899076096 208354 33554432000 4194304 5963574 140737350444944 139971849394168 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 878004
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 30994
/proc/meminfo: memFree=28042968/32873648 swapFree=6844/6844
[pid=30938] ppid=30936 vsize=878004 CPUtime=1791.39 cores=0,2,4,6
/proc/30938/stat : 30938 (wbo1.7) S 30936 30938 27916 0 -1 4202496 207507 0 0 0 179044 95 0 0 20 0 2 0 275379782 899076096 209414 33554432000 4194304 5963574 140737350444944 140737350444464 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30938/statm: 219501 209414 192 432 0 219066 0
[pid=30938/tid=30939] ppid=30936 vsize=878004 CPUtime=1787.07 cores=0,2,4,6
/proc/30938/task/30939/stat : 30939 (wbo1.7) R 30936 30938 27916 0 -1 4202560 206766 0 0 0 178585 122 0 0 20 0 2 0 275379783 899076096 209414 33554432000 4194304 5963574 140737350444944 139971849394168 4399477 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1791.39
Current children cumulated vsize (KiB) 878004
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 30994
/proc/meminfo: memFree=28041480/32873648 swapFree=6844/6844
[pid=30938] ppid=30936 vsize=878004 CPUtime=1794.58 cores=0,2,4,6
/proc/30938/stat : 30938 (wbo1.7) S 30936 30938 27916 0 -1 4202496 207904 0 0 0 179363 95 0 0 20 0 2 0 275379782 899076096 209811 33554432000 4194304 5963574 140737350444944 140737350444464 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30938/statm: 219501 209811 192 432 0 219066 0
[pid=30938/tid=30939] ppid=30936 vsize=878004 CPUtime=1790.26 cores=0,2,4,6
/proc/30938/task/30939/stat : 30939 (wbo1.7) R 30936 30938 27916 0 -1 4202560 207163 0 0 0 178904 122 0 0 20 0 2 0 275379783 899076096 209811 33554432000 4194304 5963574 140737350444944 139971849394168 4399627 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1794.58
Current children cumulated vsize (KiB) 878004
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 30994
/proc/meminfo: memFree=28040860/32873648 swapFree=6844/6844
[pid=30938] ppid=30936 vsize=878004 CPUtime=1797.78 cores=0,2,4,6
/proc/30938/stat : 30938 (wbo1.7) S 30936 30938 27916 0 -1 4202496 208137 0 0 0 179682 96 0 0 20 0 2 0 275379782 899076096 210044 33554432000 4194304 5963574 140737350444944 140737350444464 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30938/statm: 219501 210044 192 432 0 219066 0
[pid=30938/tid=30939] ppid=30936 vsize=878004 CPUtime=1793.45 cores=0,2,4,6
/proc/30938/task/30939/stat : 30939 (wbo1.7) R 30936 30938 27916 0 -1 4202560 207396 0 0 0 179222 123 0 0 20 0 2 0 275379783 899076096 210044 33554432000 4194304 5963574 140737350444944 139971849394168 4399482 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1797.78
Current children cumulated vsize (KiB) 878004
[startup+1799.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 30994
/proc/meminfo: memFree=28040612/32873648 swapFree=6844/6844
[pid=30938] ppid=30936 vsize=878004 CPUtime=1798.58 cores=0,2,4,6
/proc/30938/stat : 30938 (wbo1.7) S 30936 30938 27916 0 -1 4202496 208211 0 0 0 179762 96 0 0 20 0 2 0 275379782 899076096 210118 33554432000 4194304 5963574 140737350444944 140737350444464 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30938/statm: 219501 210118 192 432 0 219066 0
[pid=30938/tid=30939] ppid=30936 vsize=878004 CPUtime=1794.25 cores=0,2,4,6
/proc/30938/task/30939/stat : 30939 (wbo1.7) R 30936 30938 27916 0 -1 4202560 207470 0 0 0 179302 123 0 0 20 0 2 0 275379783 899076096 210118 33554432000 4194304 5963574 140737350444944 139971849394168 4399554 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1798.58
Current children cumulated vsize (KiB) 878004
[startup+1799.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 30994
/proc/meminfo: memFree=28040240/32873648 swapFree=6844/6844
[pid=30938] ppid=30936 vsize=878004 CPUtime=1798.99 cores=0,2,4,6
/proc/30938/stat : 30938 (wbo1.7) S 30936 30938 27916 0 -1 4202496 208245 0 0 0 179803 96 0 0 20 0 2 0 275379782 899076096 210152 33554432000 4194304 5963574 140737350444944 140737350444464 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30938/statm: 219501 210152 192 432 0 219066 0
[pid=30938/tid=30939] ppid=30936 vsize=878004 CPUtime=1794.65 cores=0,2,4,6
/proc/30938/task/30939/stat : 30939 (wbo1.7) R 30936 30938 27916 0 -1 4202560 207504 0 0 0 179342 123 0 0 20 0 2 0 275379783 899076096 210152 33554432000 4194304 5963574 140737350444944 139971849394168 4399456 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1798.99
Current children cumulated vsize (KiB) 878004
[startup+1799.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 30994
/proc/meminfo: memFree=28040240/32873648 swapFree=6844/6844
[pid=30938] ppid=30936 vsize=878004 CPUtime=1799.38 cores=0,2,4,6
/proc/30938/stat : 30938 (wbo1.7) S 30936 30938 27916 0 -1 4202496 208273 0 0 0 179842 96 0 0 20 0 2 0 275379782 899076096 210180 33554432000 4194304 5963574 140737350444944 140737350444464 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30938/statm: 219501 210180 192 432 0 219066 0
[pid=30938/tid=30939] ppid=30936 vsize=878004 CPUtime=1795.04 cores=0,2,4,6
/proc/30938/task/30939/stat : 30939 (wbo1.7) R 30936 30938 27916 0 -1 4202560 207532 0 0 0 179381 123 0 0 20 0 2 0 275379783 899076096 210180 33554432000 4194304 5963574 140737350444944 139971849394168 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.38
Current children cumulated vsize (KiB) 878004
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 30994
/proc/meminfo: memFree=28040240/32873648 swapFree=6844/6844
[pid=30938] ppid=30936 vsize=878004 CPUtime=1799.48 cores=0,2,4,6
/proc/30938/stat : 30938 (wbo1.7) S 30936 30938 27916 0 -1 4202496 208285 0 0 0 179852 96 0 0 20 0 2 0 275379782 899076096 210192 33554432000 4194304 5963574 140737350444944 140737350444464 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30938/statm: 219501 210192 192 432 0 219066 0
[pid=30938/tid=30939] ppid=30936 vsize=878004 CPUtime=1795.14 cores=0,2,4,6
/proc/30938/task/30939/stat : 30939 (wbo1.7) R 30936 30938 27916 0 -1 4202560 207544 0 0 0 179391 123 0 0 20 0 2 0 275379783 899076096 210192 33554432000 4194304 5963574 140737350444944 139971849394168 4399982 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.48
Current children cumulated vsize (KiB) 878004
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 30938 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=929281
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=249810
# CPU time returned by wait4() is 1795.18
# while last known CPU time is 1799.48
#
# 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.48
CPU user time (s): 1798.52
CPU system time (s): 0.96
CPU usage (%): 99.9705
Max. virtual memory (cumulated for all children) (KiB): 878004
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.93
system time used= 1.24981
maximum resident set size= 840768
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 208285
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= 327
involuntary context switches= 1880
runsolver used 2.69559 second user time and 7.2329 second system time
The end