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-3704924-1338115606/watcher-3704924-1338115606 -o /tmp/evaluation-result-3704924-1338115606/solver-3704924-1338115606 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3704924-1338115606.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 2/177 5665
/proc/meminfo: memFree=29926064/32873844 swapFree=7628/7628
[pid=5665] ppid=5663 vsize=5864 CPUtime=0 cores=0,2,4,6
/proc/5665/stat : 5665 (wbo1.7) R 5663 5665 2698 0 -1 4202496 551 0 0 0 0 0 0 0 20 0 1 0 277685020 6004736 503 33554432000 4194304 5963574 140735850353840 140737175039160 4395788 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/5665/statm: 1466 503 162 432 0 627 0
[startup+0.063391 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 5665
/proc/meminfo: memFree=29926064/32873844 swapFree=7628/7628
[pid=5665] ppid=5663 vsize=12092 CPUtime=0.05 cores=0,2,4,6
/proc/5665/stat : 5665 (wbo1.7) R 5663 5665 2698 0 -1 4202496 2139 0 0 0 5 0 0 0 20 0 1 0 277685020 12382208 2091 33554432000 4194304 5963574 140735850353840 140735850352216 5155328 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/5665/statm: 3023 2091 336 432 0 2184 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 12092
[startup+0.100288 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 5665
/proc/meminfo: memFree=29926064/32873844 swapFree=7628/7628
[pid=5665] ppid=5663 vsize=13352 CPUtime=0.09 cores=0,2,4,6
/proc/5665/stat : 5665 (wbo1.7) R 5663 5665 2698 0 -1 4202496 2566 0 0 0 9 0 0 0 20 0 1 0 277685020 13672448 2518 33554432000 4194304 5963574 140735850353840 140735850352216 5155340 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/5665/statm: 3338 2518 456 432 0 2499 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13352
[startup+0.300318 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 5665
/proc/meminfo: memFree=29926064/32873844 swapFree=7628/7628
[pid=5665] ppid=5663 vsize=96160 CPUtime=0.28 cores=0,2,4,6
/proc/5665/stat : 5665 (wbo1.7) S 5663 5665 2698 0 -1 4202496 7198 0 0 0 28 0 0 0 20 0 2 0 277685020 98467840 6106 33554432000 4194304 5963574 140735850353840 140735850353360 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5665/statm: 24040 6106 186 432 0 23605 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 96160
[startup+0.700294 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 5665
/proc/meminfo: memFree=29926064/32873844 swapFree=7628/7628
[pid=5665] ppid=5663 vsize=96160 CPUtime=0.69 cores=0,2,4,6
/proc/5665/stat : 5665 (wbo1.7) S 5663 5665 2698 0 -1 4202496 7336 0 0 0 68 1 0 0 20 0 2 0 277685020 98467840 6244 33554432000 4194304 5963574 140735850353840 140735850353360 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5665/statm: 24040 6244 187 432 0 23605 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 96160
[startup+1.50023 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 5667
/proc/meminfo: memFree=29900248/32873844 swapFree=7628/7628
[pid=5665] ppid=5663 vsize=96160 CPUtime=1.49 cores=0,2,4,6
/proc/5665/stat : 5665 (wbo1.7) S 5663 5665 2698 0 -1 4202496 7770 0 0 0 148 1 0 0 20 0 2 0 277685020 98467840 6678 33554432000 4194304 5963574 140735850353840 140735850353360 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5665/statm: 24040 6678 187 432 0 23605 0
[pid=5665/tid=5667] ppid=5663 vsize=96160 CPUtime=1.34 cores=0,2,4,6
/proc/5665/task/5667/stat : 5667 (wbo1.7) R 5663 5665 2698 0 -1 4202560 4206 0 0 0 134 0 0 0 20 0 2 0 277685034 98467840 6678 33554432000 4194304 5963574 140735850353840 139951513601848 4399623 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) 96160
[startup+3.10033 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 5667
/proc/meminfo: memFree=29896528/32873844 swapFree=7628/7628
[pid=5665] ppid=5663 vsize=96160 CPUtime=3.09 cores=0,2,4,6
/proc/5665/stat : 5665 (wbo1.7) S 5663 5665 2698 0 -1 4202496 8663 0 0 0 308 1 0 0 20 0 2 0 277685020 98467840 7571 33554432000 4194304 5963574 140735850353840 140735850353360 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5665/statm: 24040 7571 187 432 0 23605 0
[pid=5665/tid=5667] ppid=5663 vsize=96160 CPUtime=2.94 cores=0,2,4,6
/proc/5665/task/5667/stat : 5667 (wbo1.7) R 5663 5665 2698 0 -1 4202560 5099 0 0 0 294 0 0 0 20 0 2 0 277685034 98467840 7571 33554432000 4194304 5963574 140735850353840 139951513602088 4221120 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) 96160
[startup+6.30031 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 5667
/proc/meminfo: memFree=29889584/32873844 swapFree=7628/7628
[pid=5665] ppid=5663 vsize=96160 CPUtime=6.29 cores=0,2,4,6
/proc/5665/stat : 5665 (wbo1.7) S 5663 5665 2698 0 -1 4202496 10476 0 0 0 627 2 0 0 20 0 2 0 277685020 98467840 9384 33554432000 4194304 5963574 140735850353840 140735850353360 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5665/statm: 24040 9384 187 432 0 23605 0
[pid=5665/tid=5667] ppid=5663 vsize=96160 CPUtime=6.13 cores=0,2,4,6
/proc/5665/task/5667/stat : 5667 (wbo1.7) R 5663 5665 2698 0 -1 4202560 6912 0 0 0 612 1 0 0 20 0 2 0 277685034 98467840 9384 33554432000 4194304 5963574 140735850353840 139951513602040 4399390 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) 96160
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 5667
/proc/meminfo: memFree=29880044/32873844 swapFree=7628/7628
[pid=5665] ppid=5663 vsize=96160 CPUtime=12.69 cores=0,2,4,6
/proc/5665/stat : 5665 (wbo1.7) S 5663 5665 2698 0 -1 4202496 12023 0 0 0 1267 2 0 0 20 0 2 0 277685020 98467840 10931 33554432000 4194304 5963574 140735850353840 140735850353360 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5665/statm: 24040 10931 187 432 0 23605 0
[pid=5665/tid=5667] ppid=5663 vsize=96160 CPUtime=12.51 cores=0,2,4,6
/proc/5665/task/5667/stat : 5667 (wbo1.7) R 5663 5665 2698 0 -1 4202560 8459 0 0 0 1249 2 0 0 20 0 2 0 277685034 98467840 10931 33554432000 4194304 5963574 140735850353840 139951513602088 4399456 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 96160
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 5667
/proc/meminfo: memFree=29861428/32873844 swapFree=7628/7628
[pid=5665] ppid=5663 vsize=96160 CPUtime=25.49 cores=0,2,4,6
/proc/5665/stat : 5665 (wbo1.7) S 5663 5665 2698 0 -1 4202496 16561 0 0 0 2545 4 0 0 20 0 2 0 277685020 98467840 15469 33554432000 4194304 5963574 140735850353840 140735850353360 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5665/statm: 24040 15469 187 432 0 23605 0
[pid=5665/tid=5667] ppid=5663 vsize=96160 CPUtime=25.28 cores=0,2,4,6
/proc/5665/task/5667/stat : 5667 (wbo1.7) R 5663 5665 2698 0 -1 4202560 12997 0 0 0 2525 3 0 0 20 0 2 0 277685034 98467840 15469 33554432000 4194304 5963574 140735850353840 139951513602088 4399623 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 96160
[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 5668
/proc/meminfo: memFree=29814508/32873844 swapFree=7628/7628
[pid=5665] ppid=5663 vsize=96160 CPUtime=51.08 cores=0,2,4,6
/proc/5665/stat : 5665 (wbo1.7) S 5663 5665 2698 0 -1 4202496 20022 0 0 0 5104 4 0 0 20 0 2 0 277685020 98467840 18930 33554432000 4194304 5963574 140735850353840 140735850353360 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5665/statm: 24040 18930 187 432 0 23605 0
[pid=5665/tid=5667] ppid=5663 vsize=96160 CPUtime=50.81 cores=0,2,4,6
/proc/5665/task/5667/stat : 5667 (wbo1.7) R 5663 5665 2698 0 -1 4202560 16458 0 0 0 5077 4 0 0 20 0 2 0 277685034 98467840 18930 33554432000 4194304 5963574 140735850353840 139951513601560 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 96160
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 5668
/proc/meminfo: memFree=29727708/32873844 swapFree=7628/7628
[pid=5665] ppid=5663 vsize=161696 CPUtime=102.27 cores=0,2,4,6
/proc/5665/stat : 5665 (wbo1.7) S 5663 5665 2698 0 -1 4202496 35690 0 0 0 10217 10 0 0 20 0 2 0 277685020 165576704 34598 33554432000 4194304 5963574 140735850353840 140735850353360 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5665/statm: 40424 34598 187 432 0 39989 0
[pid=5665/tid=5667] ppid=5663 vsize=161696 CPUtime=101.88 cores=0,2,4,6
/proc/5665/task/5667/stat : 5667 (wbo1.7) R 5663 5665 2698 0 -1 4202560 32126 0 0 0 10177 11 0 0 20 0 2 0 277685034 165576704 34598 33554432000 4194304 5963574 140735850353840 139951513602040 4399511 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 161696
[startup+162.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 5668
/proc/meminfo: memFree=29656876/32873844 swapFree=7628/7628
[pid=5665] ppid=5663 vsize=228316 CPUtime=162.24 cores=0,2,4,6
/proc/5665/stat : 5665 (wbo1.7) S 5663 5665 2698 0 -1 4202496 41038 0 0 0 16212 12 0 0 20 0 2 0 277685020 233795584 40174 33554432000 4194304 5963574 140735850353840 140735850353360 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5665/statm: 57079 40174 187 432 0 56644 0
[pid=5665/tid=5667] ppid=5663 vsize=228316 CPUtime=161.69 cores=0,2,4,6
/proc/5665/task/5667/stat : 5667 (wbo1.7) R 5663 5665 2698 0 -1 4202560 37474 0 0 0 16156 13 0 0 20 0 2 0 277685034 233795584 40174 33554432000 4194304 5963574 140735850353840 139951513602040 4399456 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 228316
[startup+222.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/180 5671
/proc/meminfo: memFree=29621100/32873844 swapFree=7628/7628
[pid=5665] ppid=5663 vsize=228316 CPUtime=222.22 cores=0,2,4,6
/proc/5665/stat : 5665 (wbo1.7) S 5663 5665 2698 0 -1 4202496 49687 0 0 0 22207 15 0 0 20 0 2 0 277685020 233795584 48800 33554432000 4194304 5963574 140735850353840 140735850353360 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5665/statm: 57079 48801 187 432 0 56644 0
[pid=5665/tid=5667] ppid=5663 vsize=228316 CPUtime=221.51 cores=0,2,4,6
/proc/5665/task/5667/stat : 5667 (wbo1.7) R 5663 5665 2698 0 -1 4202560 46124 0 0 0 22134 17 0 0 20 0 2 0 277685034 233795584 48801 33554432000 4194304 5963574 140735850353840 139951513602040 5135572 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 228316
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 5671
/proc/meminfo: memFree=29560420/32873844 swapFree=7628/7628
[pid=5665] ppid=5663 vsize=294392 CPUtime=282.22 cores=0,2,4,6
/proc/5665/stat : 5665 (wbo1.7) S 5663 5665 2698 0 -1 4202496 62090 0 0 0 28199 23 0 0 20 0 2 0 277685020 301457408 61203 33554432000 4194304 5963574 140735850353840 140735850353360 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5665/statm: 73598 61203 187 432 0 73163 0
[pid=5665/tid=5667] ppid=5663 vsize=294392 CPUtime=281.35 cores=0,2,4,6
/proc/5665/task/5667/stat : 5667 (wbo1.7) R 5663 5665 2698 0 -1 4202560 58526 0 0 0 28109 26 0 0 20 0 2 0 277685034 301457408 61203 33554432000 4194304 5963574 140735850353840 139951513601848 4391230 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 294392
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 5671
/proc/meminfo: memFree=29545288/32873844 swapFree=7628/7628
[pid=5665] ppid=5663 vsize=294392 CPUtime=342.2 cores=0,2,4,6
/proc/5665/stat : 5665 (wbo1.7) S 5663 5665 2698 0 -1 4202496 64068 0 0 0 34197 23 0 0 20 0 2 0 277685020 301457408 63181 33554432000 4194304 5963574 140735850353840 140735850353360 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5665/statm: 73598 63181 187 432 0 73163 0
[pid=5665/tid=5667] ppid=5663 vsize=294392 CPUtime=341.2 cores=0,2,4,6
/proc/5665/task/5667/stat : 5667 (wbo1.7) R 5663 5665 2698 0 -1 4202560 60504 0 0 0 34092 28 0 0 20 0 2 0 277685034 301457408 63181 33554432000 4194304 5963574 140735850353840 139951513601848 4399639 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 294392
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 5672
/proc/meminfo: memFree=29392024/32873844 swapFree=7628/7628
[pid=5665] ppid=5663 vsize=425464 CPUtime=402.18 cores=0,2,4,6
/proc/5665/stat : 5665 (wbo1.7) S 5663 5665 2698 0 -1 4202496 91715 0 0 0 40186 32 0 0 20 0 2 0 277685020 435675136 90843 33554432000 4194304 5963574 140735850353840 140735850353360 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5665/statm: 106366 90843 187 432 0 105931 0
[pid=5665/tid=5667] ppid=5663 vsize=425464 CPUtime=401.02 cores=0,2,4,6
/proc/5665/task/5667/stat : 5667 (wbo1.7) R 5663 5665 2698 0 -1 4202560 88151 0 0 0 40065 37 0 0 20 0 2 0 277685034 435675136 90843 33554432000 4194304 5963574 140735850353840 139951513601848 4222416 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 425464
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 5672
/proc/meminfo: memFree=29347076/32873844 swapFree=7628/7628
[pid=5665] ppid=5663 vsize=425464 CPUtime=462.15 cores=0,2,4,6
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.05 2.01 2.00 3/180 5705
/proc/meminfo: memFree=28942236/32873844 swapFree=7628/7628
[pid=5665] ppid=5663 vsize=688416 CPUtime=1421.94 cores=0,2,4,6
/proc/5665/stat : 5665 (wbo1.7) S 5663 5665 2698 0 -1 4202496 153679 0 0 0 142139 55 0 0 20 0 2 0 277685020 704937984 152932 33554432000 4194304 5963574 140735850353840 140735850353360 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5665/statm: 172104 152932 187 432 0 171669 0
[pid=5665/tid=5667] ppid=5663 vsize=688416 CPUtime=1418.23 cores=0,2,4,6
/proc/5665/task/5667/stat : 5667 (wbo1.7) R 5663 5665 2698 0 -1 4202560 150115 0 0 0 141747 76 0 0 20 0 2 0 277685034 704937984 152932 33554432000 4194304 5963574 140735850353840 139951513602040 4399448 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 688416
[startup+1482.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 5705
/proc/meminfo: memFree=28942348/32873844 swapFree=7628/7628
[pid=5665] ppid=5663 vsize=688416 CPUtime=1481.92 cores=0,2,4,6
/proc/5665/stat : 5665 (wbo1.7) S 5663 5665 2698 0 -1 4202496 153681 0 0 0 148137 55 0 0 20 0 2 0 277685020 704937984 152957 33554432000 4194304 5963574 140735850353840 140735850353360 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5665/statm: 172104 152957 187 432 0 171669 0
[pid=5665/tid=5667] ppid=5663 vsize=688416 CPUtime=1478.07 cores=0,2,4,6
/proc/5665/task/5667/stat : 5667 (wbo1.7) R 5663 5665 2698 0 -1 4202560 150117 0 0 0 147730 77 0 0 20 0 2 0 277685034 704937984 152957 33554432000 4194304 5963574 140735850353840 139951513602040 4391048 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 688416
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 5705
/proc/meminfo: memFree=28936768/32873844 swapFree=7628/7628
[pid=5665] ppid=5663 vsize=688416 CPUtime=1541.91 cores=0,2,4,6
/proc/5665/stat : 5665 (wbo1.7) S 5663 5665 2698 0 -1 4202496 153681 0 0 0 154136 55 0 0 20 0 2 0 277685020 704937984 152957 33554432000 4194304 5963574 140735850353840 140735850353360 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5665/statm: 172104 152957 187 432 0 171669 0
[pid=5665/tid=5667] ppid=5663 vsize=688416 CPUtime=1537.91 cores=0,2,4,6
/proc/5665/task/5667/stat : 5667 (wbo1.7) R 5663 5665 2698 0 -1 4202560 150117 0 0 0 153713 78 0 0 20 0 2 0 277685034 704937984 152957 33554432000 4194304 5963574 140735850353840 139951513602040 4221072 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 688416
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 5706
/proc/meminfo: memFree=28867700/32873844 swapFree=7628/7628
[pid=5665] ppid=5663 vsize=688416 CPUtime=1601.9 cores=0,2,4,6
/proc/5665/stat : 5665 (wbo1.7) S 5663 5665 2698 0 -1 4202496 153714 0 0 0 160135 55 0 0 20 0 2 0 277685020 704937984 152990 33554432000 4194304 5963574 140735850353840 140735850353360 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5665/statm: 172104 152990 187 432 0 171669 0
[pid=5665/tid=5667] ppid=5663 vsize=688416 CPUtime=1597.76 cores=0,2,4,6
/proc/5665/task/5667/stat : 5667 (wbo1.7) R 5663 5665 2698 0 -1 4202560 150150 0 0 0 159697 79 0 0 20 0 2 0 277685034 704937984 152990 33554432000 4194304 5963574 140735850353840 139951513602040 18446744073699066235 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 688416
[startup+1662.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 5706
/proc/meminfo: memFree=28841504/32873844 swapFree=7628/7628
[pid=5665] ppid=5663 vsize=688416 CPUtime=1661.89 cores=0,2,4,6
/proc/5665/stat : 5665 (wbo1.7) S 5663 5665 2698 0 -1 4202496 153735 0 0 0 166134 55 0 0 20 0 2 0 277685020 704937984 153011 33554432000 4194304 5963574 140735850353840 140735850353360 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5665/statm: 172104 153011 187 432 0 171669 0
[pid=5665/tid=5667] ppid=5663 vsize=688416 CPUtime=1657.6 cores=0,2,4,6
/proc/5665/task/5667/stat : 5667 (wbo1.7) R 5663 5665 2698 0 -1 4202560 150171 0 0 0 165680 80 0 0 20 0 2 0 277685034 704937984 153011 33554432000 4194304 5963574 140735850353840 139951513602040 4399627 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1661.89
Current children cumulated vsize (KiB) 688416
[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 5706
/proc/meminfo: memFree=28841368/32873844 swapFree=7628/7628
[pid=5665] ppid=5663 vsize=688416 CPUtime=1721.88 cores=0,2,4,6
/proc/5665/stat : 5665 (wbo1.7) S 5663 5665 2698 0 -1 4202496 153735 0 0 0 172133 55 0 0 20 0 2 0 277685020 704937984 153011 33554432000 4194304 5963574 140735850353840 140735850353360 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5665/statm: 172104 153011 187 432 0 171669 0
[pid=5665/tid=5667] ppid=5663 vsize=688416 CPUtime=1717.44 cores=0,2,4,6
/proc/5665/task/5667/stat : 5667 (wbo1.7) R 5663 5665 2698 0 -1 4202560 150171 0 0 0 171663 81 0 0 20 0 2 0 277685034 704937984 153011 33554432000 4194304 5963574 140735850353840 139951513602040 4399623 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1721.88
Current children cumulated vsize (KiB) 688416
[startup+1782.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 5745
/proc/meminfo: memFree=29359052/32873844 swapFree=7628/7628
[pid=5665] ppid=5663 vsize=688416 CPUtime=1781.88 cores=0,2,4,6
/proc/5665/stat : 5665 (wbo1.7) S 5663 5665 2698 0 -1 4202496 153735 0 0 0 178132 56 0 0 20 0 2 0 277685020 704937984 153011 33554432000 4194304 5963574 140735850353840 140735850353360 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5665/statm: 172104 153011 187 432 0 171669 0
[pid=5665/tid=5667] ppid=5663 vsize=688416 CPUtime=1777.28 cores=0,2,4,6
/proc/5665/task/5667/stat : 5667 (wbo1.7) R 5663 5665 2698 0 -1 4202560 150171 0 0 0 177646 82 0 0 20 0 2 0 277685034 704937984 153011 33554432000 4194304 5963574 140735850353840 139951513602040 4399623 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.88
Current children cumulated vsize (KiB) 688416
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.05 2.02 2.00 3/179 5745
/proc/meminfo: memFree=29335988/32873844 swapFree=7628/7628
[pid=5665] ppid=5663 vsize=688416 CPUtime=1791.49 cores=0,2,4,6
/proc/5665/stat : 5665 (wbo1.7) S 5663 5665 2698 0 -1 4202496 153735 0 0 0 179093 56 0 0 20 0 2 0 277685020 704937984 153011 33554432000 4194304 5963574 140735850353840 140735850353360 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5665/statm: 172104 153011 187 432 0 171669 0
[pid=5665/tid=5667] ppid=5663 vsize=688416 CPUtime=1786.86 cores=0,2,4,6
/proc/5665/task/5667/stat : 5667 (wbo1.7) R 5663 5665 2698 0 -1 4202560 150171 0 0 0 178604 82 0 0 20 0 2 0 277685034 704937984 153011 33554432000 4194304 5963574 140735850353840 139951513602040 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1791.49
Current children cumulated vsize (KiB) 688416
[startup+1795.1 s]
/proc/loadavg: 2.05 2.02 2.00 3/179 5745
/proc/meminfo: memFree=29330780/32873844 swapFree=7628/7628
[pid=5665] ppid=5663 vsize=688416 CPUtime=1794.69 cores=0,2,4,6
/proc/5665/stat : 5665 (wbo1.7) S 5663 5665 2698 0 -1 4202496 153735 0 0 0 179413 56 0 0 20 0 2 0 277685020 704937984 153011 33554432000 4194304 5963574 140735850353840 140735850353360 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5665/statm: 172104 153011 187 432 0 171669 0
[pid=5665/tid=5667] ppid=5663 vsize=688416 CPUtime=1790.06 cores=0,2,4,6
/proc/5665/task/5667/stat : 5667 (wbo1.7) R 5663 5665 2698 0 -1 4202560 150171 0 0 0 178924 82 0 0 20 0 2 0 277685034 704937984 153011 33554432000 4194304 5963574 140735850353840 139951513602040 4399623 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1794.69
Current children cumulated vsize (KiB) 688416
[startup+1798.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/179 5745
/proc/meminfo: memFree=29330780/32873844 swapFree=7628/7628
[pid=5665] ppid=5663 vsize=688416 CPUtime=1797.88 cores=0,2,4,6
/proc/5665/stat : 5665 (wbo1.7) S 5663 5665 2698 0 -1 4202496 153735 0 0 0 179732 56 0 0 20 0 2 0 277685020 704937984 153011 33554432000 4194304 5963574 140735850353840 140735850353360 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5665/statm: 172104 153011 187 432 0 171669 0
[pid=5665/tid=5667] ppid=5663 vsize=688416 CPUtime=1793.24 cores=0,2,4,6
/proc/5665/task/5667/stat : 5667 (wbo1.7) R 5663 5665 2698 0 -1 4202560 150171 0 0 0 179242 82 0 0 20 0 2 0 277685034 704937984 153011 33554432000 4194304 5963574 140735850353840 139951513602040 4381565 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1797.88
Current children cumulated vsize (KiB) 688416
[startup+1799.1 s]
/proc/loadavg: 2.04 2.02 2.00 3/179 5745
/proc/meminfo: memFree=29330780/32873844 swapFree=7628/7628
[pid=5665] ppid=5663 vsize=688416 CPUtime=1798.68 cores=0,2,4,6
/proc/5665/stat : 5665 (wbo1.7) S 5663 5665 2698 0 -1 4202496 153735 0 0 0 179812 56 0 0 20 0 2 0 277685020 704937984 153011 33554432000 4194304 5963574 140735850353840 140735850353360 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5665/statm: 172104 153011 187 432 0 171669 0
[pid=5665/tid=5667] ppid=5663 vsize=688416 CPUtime=1794.04 cores=0,2,4,6
/proc/5665/task/5667/stat : 5667 (wbo1.7) R 5663 5665 2698 0 -1 4202560 150171 0 0 0 179322 82 0 0 20 0 2 0 277685034 704937984 153011 33554432000 4194304 5963574 140735850353840 139951513602040 18446744073699066235 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1798.68
Current children cumulated vsize (KiB) 688416
[startup+1799.5 s]
/proc/loadavg: 2.04 2.02 2.00 3/179 5745
/proc/meminfo: memFree=29330780/32873844 swapFree=7628/7628
[pid=5665] ppid=5663 vsize=688416 CPUtime=1799.09 cores=0,2,4,6
/proc/5665/stat : 5665 (wbo1.7) S 5663 5665 2698 0 -1 4202496 153735 0 0 0 179853 56 0 0 20 0 2 0 277685020 704937984 153011 33554432000 4194304 5963574 140735850353840 140735850353360 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5665/statm: 172104 153011 187 432 0 171669 0
[pid=5665/tid=5667] ppid=5663 vsize=688416 CPUtime=1794.44 cores=0,2,4,6
/proc/5665/task/5667/stat : 5667 (wbo1.7) R 5663 5665 2698 0 -1 4202560 150171 0 0 0 179362 82 0 0 20 0 2 0 277685034 704937984 153011 33554432000 4194304 5963574 140735850353840 139951513602040 4399474 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1799.09
Current children cumulated vsize (KiB) 688416
[startup+1799.9 s]
/proc/loadavg: 2.04 2.02 2.00 3/179 5745
/proc/meminfo: memFree=29330780/32873844 swapFree=7628/7628
[pid=5665] ppid=5663 vsize=688416 CPUtime=1799.48 cores=0,2,4,6
/proc/5665/stat : 5665 (wbo1.7) S 5663 5665 2698 0 -1 4202496 153735 0 0 0 179892 56 0 0 20 0 2 0 277685020 704937984 153011 33554432000 4194304 5963574 140735850353840 140735850353360 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5665/statm: 172104 153011 187 432 0 171669 0
[pid=5665/tid=5667] ppid=5663 vsize=688416 CPUtime=1794.84 cores=0,2,4,6
/proc/5665/task/5667/stat : 5667 (wbo1.7) R 5663 5665 2698 0 -1 4202560 150171 0 0 0 179402 82 0 0 20 0 2 0 277685034 704937984 153011 33554432000 4194304 5963574 140735850353840 139951513602040 4381510 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1799.48
Current children cumulated vsize (KiB) 688416
[startup+1800 s]
/proc/loadavg: 2.04 2.02 2.00 3/179 5745
/proc/meminfo: memFree=29330780/32873844 swapFree=7628/7628
[pid=5665] ppid=5663 vsize=688416 CPUtime=1799.58 cores=0,2,4,6
/proc/5665/stat : 5665 (wbo1.7) S 5663 5665 2698 0 -1 4202496 153735 0 0 0 179902 56 0 0 20 0 2 0 277685020 704937984 153011 33554432000 4194304 5963574 140735850353840 140735850353360 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5665/statm: 172104 153011 187 432 0 171669 0
[pid=5665/tid=5667] ppid=5663 vsize=688416 CPUtime=1794.94 cores=0,2,4,6
/proc/5665/task/5667/stat : 5667 (wbo1.7) R 5663 5665 2698 0 -1 4202560 150171 0 0 0 179412 82 0 0 20 0 2 0 277685034 704937984 153011 33554432000 4194304 5963574 140735850353840 139951513602040 4400078 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1799.58
Current children cumulated vsize (KiB) 688416
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 5665 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=260230
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=838872
# CPU time returned by wait4() is 1795.1
# while last known CPU time is 1799.58
#
# 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.58
CPU user time (s): 1799.02
CPU system time (s): 0.56
CPU usage (%): 99.9764
Max. virtual memory (cumulated for all children) (KiB): 688416
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.26
system time used= 0.838872
maximum resident set size= 612048
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 153736
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= 254
involuntary context switches= 2338
runsolver used 2.93655 second user time and 8.31374 second system time
The end