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-3704906-1338117407/watcher-3704906-1338117407 -o /tmp/evaluation-result-3704906-1338117407/solver-3704906-1338117407 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3704906-1338117407.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.04 2.02 2.00 3/177 5782
/proc/meminfo: memFree=29944260/32873844 swapFree=7628/7628
[pid=5782] ppid=5780 vsize=5548 CPUtime=0 cores=0,2,4,6
/proc/5782/stat : 5782 (wbo1.7) R 5780 5782 2698 0 -1 4202496 601 0 0 0 0 0 0 0 20 0 1 0 277865047 5681152 553 33554432000 4194304 5963574 140736376938640 140737011043352 4343959 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/5782/statm: 1387 553 165 432 0 668 0
[startup+0.0338509 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 5782
/proc/meminfo: memFree=29944260/32873844 swapFree=7628/7628
[pid=5782] ppid=5780 vsize=9064 CPUtime=0.03 cores=0,2,4,6
/proc/5782/stat : 5782 (wbo1.7) R 5780 5782 2698 0 -1 4202496 1507 0 0 0 3 0 0 0 20 0 1 0 277865047 9281536 1459 33554432000 4194304 5963574 140736376938640 140737011043352 5368554 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/5782/statm: 2266 1460 258 432 0 1547 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 9064
[startup+0.100171 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 5782
/proc/meminfo: memFree=29944260/32873844 swapFree=7628/7628
[pid=5782] ppid=5780 vsize=93232 CPUtime=0.09 cores=0,2,4,6
/proc/5782/stat : 5782 (wbo1.7) S 5780 5782 2698 0 -1 4202496 4096 0 0 0 9 0 0 0 20 0 2 0 277865047 95469568 3762 33554432000 4194304 5963574 140736376938640 140736376938160 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5782/statm: 23308 3762 179 432 0 22873 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 93232
[startup+0.300151 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 5782
/proc/meminfo: memFree=29944260/32873844 swapFree=7628/7628
[pid=5782] ppid=5780 vsize=92548 CPUtime=0.29 cores=0,2,4,6
/proc/5782/stat : 5782 (wbo1.7) S 5780 5782 2698 0 -1 4202496 5434 0 0 0 29 0 0 0 20 0 2 0 277865047 94769152 4664 33554432000 4194304 5963574 140736376938640 140736376938160 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5782/statm: 23137 4664 187 432 0 22702 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 92548
[startup+0.700117 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 5782
/proc/meminfo: memFree=29944260/32873844 swapFree=7628/7628
[pid=5782] ppid=5780 vsize=92548 CPUtime=0.69 cores=0,2,4,6
/proc/5782/stat : 5782 (wbo1.7) S 5780 5782 2698 0 -1 4202496 5678 0 0 0 69 0 0 0 20 0 2 0 277865047 94769152 4908 33554432000 4194304 5963574 140736376938640 140736376938160 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5782/statm: 23137 4908 187 432 0 22702 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 92548
[startup+1.50027 s]
/proc/loadavg: 2.04 2.02 2.00 3/179 5784
/proc/meminfo: memFree=29925040/32873844 swapFree=7628/7628
[pid=5782] ppid=5780 vsize=92548 CPUtime=1.49 cores=0,2,4,6
/proc/5782/stat : 5782 (wbo1.7) S 5780 5782 2698 0 -1 4202496 6253 0 0 0 148 1 0 0 20 0 2 0 277865047 94769152 5483 33554432000 4194304 5963574 140736376938640 140736376938160 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5782/statm: 23137 5483 187 432 0 22702 0
[pid=5782/tid=5784] ppid=5780 vsize=92548 CPUtime=1.39 cores=0,2,4,6
/proc/5782/task/5784/stat : 5784 (wbo1.7) R 5780 5782 2698 0 -1 4202560 3501 0 0 0 139 0 0 0 20 0 2 0 277865055 94769152 5483 33554432000 4194304 5963574 140736376938640 139863820969912 4422139 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) 92548
[startup+3.10029 s]
/proc/loadavg: 2.04 2.02 2.00 3/179 5784
/proc/meminfo: memFree=29921956/32873844 swapFree=7628/7628
[pid=5782] ppid=5780 vsize=92548 CPUtime=3.09 cores=0,2,4,6
/proc/5782/stat : 5782 (wbo1.7) S 5780 5782 2698 0 -1 4202496 7339 0 0 0 308 1 0 0 20 0 2 0 277865047 94769152 6569 33554432000 4194304 5963574 140736376938640 140736376938160 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5782/statm: 23137 6569 187 432 0 22702 0
[pid=5782/tid=5784] ppid=5780 vsize=92548 CPUtime=2.99 cores=0,2,4,6
/proc/5782/task/5784/stat : 5784 (wbo1.7) R 5780 5782 2698 0 -1 4202560 4587 0 0 0 299 0 0 0 20 0 2 0 277865055 94769152 6569 33554432000 4194304 5963574 140736376938640 139863820969976 4399592 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) 92548
[startup+6.30028 s]
/proc/loadavg: 2.04 2.02 2.00 3/179 5784
/proc/meminfo: memFree=29912408/32873844 swapFree=7628/7628
[pid=5782] ppid=5780 vsize=92548 CPUtime=6.29 cores=0,2,4,6
/proc/5782/stat : 5782 (wbo1.7) S 5780 5782 2698 0 -1 4202496 9597 0 0 0 627 2 0 0 20 0 2 0 277865047 94769152 8827 33554432000 4194304 5963574 140736376938640 140736376938160 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5782/statm: 23137 8827 187 432 0 22702 0
[pid=5782/tid=5784] ppid=5780 vsize=92548 CPUtime=6.18 cores=0,2,4,6
/proc/5782/task/5784/stat : 5784 (wbo1.7) R 5780 5782 2698 0 -1 4202560 6845 0 0 0 617 1 0 0 20 0 2 0 277865055 94769152 8827 33554432000 4194304 5963574 140736376938640 139863820969976 4381143 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) 92548
[startup+12.7003 s]
/proc/loadavg: 2.03 2.02 2.00 3/179 5784
/proc/meminfo: memFree=29899900/32873844 swapFree=7628/7628
[pid=5782] ppid=5780 vsize=92548 CPUtime=12.68 cores=0,2,4,6
/proc/5782/stat : 5782 (wbo1.7) S 5780 5782 2698 0 -1 4202496 11168 0 0 0 1266 2 0 0 20 0 2 0 277865047 94769152 10398 33554432000 4194304 5963574 140736376938640 140736376938160 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5782/statm: 23137 10398 187 432 0 22702 0
[pid=5782/tid=5784] ppid=5780 vsize=92548 CPUtime=12.56 cores=0,2,4,6
/proc/5782/task/5784/stat : 5784 (wbo1.7) R 5780 5782 2698 0 -1 4202560 8416 0 0 0 1254 2 0 0 20 0 2 0 277865055 94769152 10398 33554432000 4194304 5963574 140736376938640 139863820969976 4399456 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) 92548
[startup+25.5003 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 5784
/proc/meminfo: memFree=29861940/32873844 swapFree=7628/7628
[pid=5782] ppid=5780 vsize=92548 CPUtime=25.48 cores=0,2,4,6
/proc/5782/stat : 5782 (wbo1.7) S 5780 5782 2698 0 -1 4202496 14778 0 0 0 2544 4 0 0 20 0 2 0 277865047 94769152 14008 33554432000 4194304 5963574 140736376938640 140736376938160 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5782/statm: 23137 14008 187 432 0 22702 0
[pid=5782/tid=5784] ppid=5780 vsize=92548 CPUtime=25.33 cores=0,2,4,6
/proc/5782/task/5784/stat : 5784 (wbo1.7) R 5780 5782 2698 0 -1 4202560 12026 0 0 0 2529 4 0 0 20 0 2 0 277865055 94769152 14008 33554432000 4194304 5963574 140736376938640 139863820969976 5135572 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) 92548
[startup+51.1003 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 5784
/proc/meminfo: memFree=29835480/32873844 swapFree=7628/7628
[pid=5782] ppid=5780 vsize=92548 CPUtime=51.08 cores=0,2,4,6
/proc/5782/stat : 5782 (wbo1.7) S 5780 5782 2698 0 -1 4202496 19347 0 0 0 5102 6 0 0 20 0 2 0 277865047 94769152 18577 33554432000 4194304 5963574 140736376938640 140736376938160 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5782/statm: 23137 18577 187 432 0 22702 0
[pid=5782/tid=5784] ppid=5780 vsize=92548 CPUtime=50.86 cores=0,2,4,6
/proc/5782/task/5784/stat : 5784 (wbo1.7) R 5780 5782 2698 0 -1 4202560 16595 0 0 0 5081 5 0 0 20 0 2 0 277865055 94769152 18577 33554432000 4194304 5963574 140736376938640 139863820969976 4388265 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) 92548
[startup+102.306 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 5785
/proc/meminfo: memFree=29754128/32873844 swapFree=7628/7628
[pid=5782] ppid=5780 vsize=158808 CPUtime=102.27 cores=0,2,4,6
/proc/5782/stat : 5782 (wbo1.7) S 5780 5782 2698 0 -1 4202496 31646 0 0 0 10218 9 0 0 20 0 2 0 277865047 162619392 30944 33554432000 4194304 5963574 140736376938640 140736376938160 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5782/statm: 39702 30944 187 432 0 39267 0
[pid=5782/tid=5784] ppid=5780 vsize=158808 CPUtime=101.93 cores=0,2,4,6
/proc/5782/task/5784/stat : 5784 (wbo1.7) R 5780 5782 2698 0 -1 4202560 28894 0 0 0 10183 10 0 0 20 0 2 0 277865055 162619392 30944 33554432000 4194304 5963574 140736376938640 139863820969976 4399614 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) 158808
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 5785
/proc/meminfo: memFree=29671572/32873844 swapFree=7628/7628
[pid=5782] ppid=5780 vsize=224704 CPUtime=162.23 cores=0,2,4,6
/proc/5782/stat : 5782 (wbo1.7) S 5780 5782 2698 0 -1 4202496 41142 0 0 0 16211 12 0 0 20 0 2 0 277865047 230096896 40404 33554432000 4194304 5963574 140736376938640 140736376938160 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5782/statm: 56176 40404 187 432 0 55741 0
[pid=5782/tid=5784] ppid=5780 vsize=224704 CPUtime=161.73 cores=0,2,4,6
/proc/5782/task/5784/stat : 5784 (wbo1.7) R 5780 5782 2698 0 -1 4202560 38390 0 0 0 16159 14 0 0 20 0 2 0 277865055 230096896 40404 33554432000 4194304 5963574 140736376938640 139863820969976 4399958 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 224704
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 5788
/proc/meminfo: memFree=29624072/32873844 swapFree=7628/7628
[pid=5782] ppid=5780 vsize=224704 CPUtime=222.22 cores=0,2,4,6
/proc/5782/stat : 5782 (wbo1.7) S 5780 5782 2698 0 -1 4202496 49180 0 0 0 22207 15 0 0 20 0 2 0 277865047 230096896 48937 33554432000 4194304 5963574 140736376938640 140736376938160 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5782/statm: 56176 48937 187 432 0 55741 0
[pid=5782/tid=5784] ppid=5780 vsize=224704 CPUtime=221.56 cores=0,2,4,6
/proc/5782/task/5784/stat : 5784 (wbo1.7) R 5780 5782 2698 0 -1 4202560 46428 0 0 0 22139 17 0 0 20 0 2 0 277865055 230096896 48937 33554432000 4194304 5963574 140736376938640 139863820969784 4381793 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) 224704
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 5788
/proc/meminfo: memFree=29523480/32873844 swapFree=7628/7628
[pid=5782] ppid=5780 vsize=290240 CPUtime=282.21 cores=0,2,4,6
/proc/5782/stat : 5782 (wbo1.7) S 5780 5782 2698 0 -1 4202496 63372 0 0 0 28202 19 0 0 20 0 2 0 277865047 297205760 63129 33554432000 4194304 5963574 140736376938640 140736376938160 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5782/statm: 72560 63129 187 432 0 72125 0
[pid=5782/tid=5784] ppid=5780 vsize=290240 CPUtime=281.4 cores=0,2,4,6
/proc/5782/task/5784/stat : 5784 (wbo1.7) R 5780 5782 2698 0 -1 4202560 60620 0 0 0 28117 23 0 0 20 0 2 0 277865055 297205760 63129 33554432000 4194304 5963574 140736376938640 139863820969784 4381137 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 290240
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 5788
/proc/meminfo: memFree=29435472/32873844 swapFree=7628/7628
[pid=5782] ppid=5780 vsize=355776 CPUtime=342.2 cores=0,2,4,6
/proc/5782/stat : 5782 (wbo1.7) S 5780 5782 2698 0 -1 4202496 74751 0 0 0 34197 23 0 0 20 0 2 0 277865047 364314624 74512 33554432000 4194304 5963574 140736376938640 140736376938160 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5782/statm: 88944 74512 187 432 0 88509 0
[pid=5782/tid=5784] ppid=5780 vsize=355776 CPUtime=341.25 cores=0,2,4,6
/proc/5782/task/5784/stat : 5784 (wbo1.7) R 5780 5782 2698 0 -1 4202560 71999 0 0 0 34097 28 0 0 20 0 2 0 277865055 364314624 74512 33554432000 4194304 5963574 140736376938640 139863820969976 4387770 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) 355776
[startup+402.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/179 5789
/proc/meminfo: memFree=29435416/32873844 swapFree=7628/7628
[pid=5782] ppid=5780 vsize=355776 CPUtime=402.18 cores=0,2,4,6
/proc/5782/stat : 5782 (wbo1.7) S 5780 5782 2698 0 -1 4202496 74768 0 0 0 40195 23 0 0 20 0 2 0 277865047 364314624 74537 33554432000 4194304 5963574 140736376938640 140736376938160 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5782/statm: 88944 74537 187 432 0 88509 0
[pid=5782/tid=5784] ppid=5780 vsize=355776 CPUtime=401.08 cores=0,2,4,6
/proc/5782/task/5784/stat : 5784 (wbo1.7) R 5780 5782 2698 0 -1 4202560 72016 0 0 0 40079 29 0 0 20 0 2 0 277865055 364314624 74537 33554432000 4194304 5963574 140736376938640 139863820969976 4221120 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) 355776
[startup+462.3 s]
/proc/loadavg: 2.08 2.03 2.00 3/179 5789
/proc/meminfo: memFree=29389968/32873844 swapFree=7628/7628
[pid=5782] ppid=5780 vsize=355776 CPUtime=462.15 cores=0,2,4,6
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.01 2.02 2.00 3/180 5799
/proc/meminfo: memFree=29054524/32873844 swapFree=7628/7628
[pid=5782] ppid=5780 vsize=552924 CPUtime=1421.98 cores=0,2,4,6
/proc/5782/stat : 5782 (wbo1.7) S 5780 5782 2698 0 -1 4202496 120741 0 0 0 142157 41 0 0 20 0 2 0 277865047 566194176 121015 33554432000 4194304 5963574 140736376938640 140736376938160 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5782/statm: 138231 121015 187 432 0 137796 0
[pid=5782/tid=5784] ppid=5780 vsize=552924 CPUtime=1418.34 cores=0,2,4,6
/proc/5782/task/5784/stat : 5784 (wbo1.7) R 5780 5782 2698 0 -1 4202560 117989 0 0 0 141773 61 0 0 20 0 2 0 277865055 566194176 121015 33554432000 4194304 5963574 140736376938640 139863820969784 4381238 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1421.98
Current children cumulated vsize (KiB) 552924
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 5799
/proc/meminfo: memFree=29054656/32873844 swapFree=7628/7628
[pid=5782] ppid=5780 vsize=552924 CPUtime=1481.96 cores=0,2,4,6
/proc/5782/stat : 5782 (wbo1.7) S 5780 5782 2698 0 -1 4202496 120744 0 0 0 148155 41 0 0 20 0 2 0 277865047 566194176 121018 33554432000 4194304 5963574 140736376938640 140736376938160 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5782/statm: 138231 121018 187 432 0 137796 0
[pid=5782/tid=5784] ppid=5780 vsize=552924 CPUtime=1478.18 cores=0,2,4,6
/proc/5782/task/5784/stat : 5784 (wbo1.7) R 5780 5782 2698 0 -1 4202560 117992 0 0 0 147756 62 0 0 20 0 2 0 277865055 566194176 121018 33554432000 4194304 5963574 140736376938640 139863820969784 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1481.96
Current children cumulated vsize (KiB) 552924
[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 5799
/proc/meminfo: memFree=29030352/32873844 swapFree=7628/7628
[pid=5782] ppid=5780 vsize=552924 CPUtime=1541.95 cores=0,2,4,6
/proc/5782/stat : 5782 (wbo1.7) S 5780 5782 2698 0 -1 4202496 126907 0 0 0 154151 44 0 0 20 0 2 0 277865047 566194176 127181 33554432000 4194304 5963574 140736376938640 140736376938160 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5782/statm: 138231 127181 187 432 0 137796 0
[pid=5782/tid=5784] ppid=5780 vsize=552924 CPUtime=1538.02 cores=0,2,4,6
/proc/5782/task/5784/stat : 5784 (wbo1.7) R 5780 5782 2698 0 -1 4202560 124155 0 0 0 153735 67 0 0 20 0 2 0 277865055 566194176 127181 33554432000 4194304 5963574 140736376938640 139863820969976 4381089 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1541.95
Current children cumulated vsize (KiB) 552924
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 5799
/proc/meminfo: memFree=28947396/32873844 swapFree=7628/7628
[pid=5782] ppid=5780 vsize=618460 CPUtime=1601.94 cores=0,2,4,6
/proc/5782/stat : 5782 (wbo1.7) S 5780 5782 2698 0 -1 4202496 147576 0 0 0 160143 51 0 0 20 0 2 0 277865047 633303040 147850 33554432000 4194304 5963574 140736376938640 140736376938160 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5782/statm: 154615 147850 187 432 0 154180 0
[pid=5782/tid=5784] ppid=5780 vsize=618460 CPUtime=1597.86 cores=0,2,4,6
/proc/5782/task/5784/stat : 5784 (wbo1.7) R 5780 5782 2698 0 -1 4202560 144824 0 0 0 159711 75 0 0 20 0 2 0 277865055 633303040 147850 33554432000 4194304 5963574 140736376938640 139863820969976 4381238 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1601.94
Current children cumulated vsize (KiB) 618460
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 5800
/proc/meminfo: memFree=28910568/32873844 swapFree=7628/7628
[pid=5782] ppid=5780 vsize=618460 CPUtime=1661.93 cores=0,2,4,6
/proc/5782/stat : 5782 (wbo1.7) S 5780 5782 2698 0 -1 4202496 147579 0 0 0 166142 51 0 0 20 0 2 0 277865047 633303040 147853 33554432000 4194304 5963574 140736376938640 140736376938160 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5782/statm: 154615 147853 187 432 0 154180 0
[pid=5782/tid=5784] ppid=5780 vsize=618460 CPUtime=1657.7 cores=0,2,4,6
/proc/5782/task/5784/stat : 5784 (wbo1.7) R 5780 5782 2698 0 -1 4202560 144827 0 0 0 165694 76 0 0 20 0 2 0 277865055 633303040 147853 33554432000 4194304 5963574 140736376938640 139863820969976 4381565 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1661.93
Current children cumulated vsize (KiB) 618460
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 5800
/proc/meminfo: memFree=28910816/32873844 swapFree=7628/7628
[pid=5782] ppid=5780 vsize=618460 CPUtime=1721.93 cores=0,2,4,6
/proc/5782/stat : 5782 (wbo1.7) S 5780 5782 2698 0 -1 4202496 147579 0 0 0 172142 51 0 0 20 0 2 0 277865047 633303040 147853 33554432000 4194304 5963574 140736376938640 140736376938160 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5782/statm: 154615 147853 187 432 0 154180 0
[pid=5782/tid=5784] ppid=5780 vsize=618460 CPUtime=1717.55 cores=0,2,4,6
/proc/5782/task/5784/stat : 5784 (wbo1.7) R 5780 5782 2698 0 -1 4202560 144827 0 0 0 171678 77 0 0 20 0 2 0 277865055 633303040 147853 33554432000 4194304 5963574 140736376938640 139863820969976 18446744073699066235 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1721.93
Current children cumulated vsize (KiB) 618460
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 5839
/proc/meminfo: memFree=29178812/32873844 swapFree=7628/7628
[pid=5782] ppid=5780 vsize=618460 CPUtime=1781.9 cores=0,2,4,6
/proc/5782/stat : 5782 (wbo1.7) S 5780 5782 2698 0 -1 4202496 147601 0 0 0 178139 51 0 0 20 0 2 0 277865047 633303040 147950 33554432000 4194304 5963574 140736376938640 140736376938160 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5782/statm: 154615 147950 187 432 0 154180 0
[pid=5782/tid=5784] ppid=5780 vsize=618460 CPUtime=1777.37 cores=0,2,4,6
/proc/5782/task/5784/stat : 5784 (wbo1.7) R 5780 5782 2698 0 -1 4202560 144849 0 0 0 177659 78 0 0 20 0 2 0 277865055 633303040 147950 33554432000 4194304 5963574 140736376938640 139863820969976 4221120 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1781.9
Current children cumulated vsize (KiB) 618460
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 5839
/proc/meminfo: memFree=29151128/32873844 swapFree=7628/7628
[pid=5782] ppid=5780 vsize=618460 CPUtime=1791.5 cores=0,2,4,6
/proc/5782/stat : 5782 (wbo1.7) S 5780 5782 2698 0 -1 4202496 147609 0 0 0 179099 51 0 0 20 0 2 0 277865047 633303040 147960 33554432000 4194304 5963574 140736376938640 140736376938160 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5782/statm: 154615 147960 187 432 0 154180 0
[pid=5782/tid=5784] ppid=5780 vsize=618460 CPUtime=1786.95 cores=0,2,4,6
/proc/5782/task/5784/stat : 5784 (wbo1.7) R 5780 5782 2698 0 -1 4202560 144857 0 0 0 178617 78 0 0 20 0 2 0 277865055 633303040 147960 33554432000 4194304 5963574 140736376938640 139863820969976 4381544 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1791.5
Current children cumulated vsize (KiB) 618460
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 5839
/proc/meminfo: memFree=29151252/32873844 swapFree=7628/7628
[pid=5782] ppid=5780 vsize=619268 CPUtime=1794.7 cores=0,2,4,6
/proc/5782/stat : 5782 (wbo1.7) S 5780 5782 2698 0 -1 4202496 147610 0 0 0 179419 51 0 0 20 0 2 0 277865047 634130432 147961 33554432000 4194304 5963574 140736376938640 140736376938160 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5782/statm: 154817 147961 187 432 0 154382 0
[pid=5782/tid=5784] ppid=5780 vsize=619268 CPUtime=1790.14 cores=0,2,4,6
/proc/5782/task/5784/stat : 5784 (wbo1.7) R 5780 5782 2698 0 -1 4202560 144858 0 0 0 178936 78 0 0 20 0 2 0 277865055 634130432 147961 33554432000 4194304 5963574 140736376938640 139863820970152 4399645 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1794.7
Current children cumulated vsize (KiB) 619268
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 5839
/proc/meminfo: memFree=29141264/32873844 swapFree=7628/7628
[pid=5782] ppid=5780 vsize=619268 CPUtime=1797.89 cores=0,2,4,6
/proc/5782/stat : 5782 (wbo1.7) S 5780 5782 2698 0 -1 4202496 147613 0 0 0 179738 51 0 0 20 0 2 0 277865047 634130432 147965 33554432000 4194304 5963574 140736376938640 140736376938160 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5782/statm: 154817 147965 187 432 0 154382 0
[pid=5782/tid=5784] ppid=5780 vsize=619268 CPUtime=1793.33 cores=0,2,4,6
/proc/5782/task/5784/stat : 5784 (wbo1.7) R 5780 5782 2698 0 -1 4202560 144861 0 0 0 179255 78 0 0 20 0 2 0 277865055 634130432 147965 33554432000 4194304 5963574 140736376938640 139863820970152 4221120 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1797.89
Current children cumulated vsize (KiB) 619268
[startup+1799.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 5839
/proc/meminfo: memFree=29145156/32873844 swapFree=7628/7628
[pid=5782] ppid=5780 vsize=619268 CPUtime=1798.69 cores=0,2,4,6
/proc/5782/stat : 5782 (wbo1.7) S 5780 5782 2698 0 -1 4202496 147614 0 0 0 179818 51 0 0 20 0 2 0 277865047 634130432 147966 33554432000 4194304 5963574 140736376938640 140736376938160 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5782/statm: 154817 147966 187 432 0 154382 0
[pid=5782/tid=5784] ppid=5780 vsize=619268 CPUtime=1794.12 cores=0,2,4,6
/proc/5782/task/5784/stat : 5784 (wbo1.7) R 5780 5782 2698 0 -1 4202560 144862 0 0 0 179334 78 0 0 20 0 2 0 277865055 634130432 147966 33554432000 4194304 5963574 140736376938640 139863820970152 4399971 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798.69
Current children cumulated vsize (KiB) 619268
[startup+1799.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 5839
/proc/meminfo: memFree=29141372/32873844 swapFree=7628/7628
[pid=5782] ppid=5780 vsize=619268 CPUtime=1799.1 cores=0,2,4,6
/proc/5782/stat : 5782 (wbo1.7) S 5780 5782 2698 0 -1 4202496 147614 0 0 0 179859 51 0 0 20 0 2 0 277865047 634130432 147966 33554432000 4194304 5963574 140736376938640 140736376938160 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5782/statm: 154817 147966 187 432 0 154382 0
[pid=5782/tid=5784] ppid=5780 vsize=619268 CPUtime=1794.53 cores=0,2,4,6
/proc/5782/task/5784/stat : 5784 (wbo1.7) R 5780 5782 2698 0 -1 4202560 144862 0 0 0 179375 78 0 0 20 0 2 0 277865055 634130432 147966 33554432000 4194304 5963574 140736376938640 139863820970152 4381244 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1799.1
Current children cumulated vsize (KiB) 619268
[startup+1799.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 5839
/proc/meminfo: memFree=29141372/32873844 swapFree=7628/7628
[pid=5782] ppid=5780 vsize=619268 CPUtime=1799.49 cores=0,2,4,6
/proc/5782/stat : 5782 (wbo1.7) S 5780 5782 2698 0 -1 4202496 147614 0 0 0 179898 51 0 0 20 0 2 0 277865047 634130432 147966 33554432000 4194304 5963574 140736376938640 140736376938160 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5782/statm: 154817 147966 187 432 0 154382 0
[pid=5782/tid=5784] ppid=5780 vsize=619268 CPUtime=1794.92 cores=0,2,4,6
/proc/5782/task/5784/stat : 5784 (wbo1.7) R 5780 5782 2698 0 -1 4202560 144862 0 0 0 179414 78 0 0 20 0 2 0 277865055 634130432 147966 33554432000 4194304 5963574 140736376938640 139863820970152 4220672 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1799.49
Current children cumulated vsize (KiB) 619268
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 5839
/proc/meminfo: memFree=29141372/32873844 swapFree=7628/7628
[pid=5782] ppid=5780 vsize=619268 CPUtime=1799.59 cores=0,2,4,6
/proc/5782/stat : 5782 (wbo1.7) S 5780 5782 2698 0 -1 4202496 147614 0 0 0 179908 51 0 0 20 0 2 0 277865047 634130432 147966 33554432000 4194304 5963574 140736376938640 140736376938160 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5782/statm: 154817 147966 187 432 0 154382 0
[pid=5782/tid=5784] ppid=5780 vsize=619268 CPUtime=1795.02 cores=0,2,4,6
/proc/5782/task/5784/stat : 5784 (wbo1.7) R 5780 5782 2698 0 -1 4202560 144862 0 0 0 179424 78 0 0 20 0 2 0 277865055 634130432 147966 33554432000 4194304 5963574 140736376938640 139863820970152 4399627 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1799.59
Current children cumulated vsize (KiB) 619268
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 5782 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=329220
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=796878
# CPU time returned by wait4() is 1795.13
# while last known CPU time is 1799.59
#
# 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.59
CPU user time (s): 1799.08
CPU system time (s): 0.51
CPU usage (%): 99.9769
Max. virtual memory (cumulated for all children) (KiB): 619268
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.33
system time used= 0.796878
maximum resident set size= 591868
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 147615
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= 210
involuntary context switches= 2389
runsolver used 2.71559 second user time and 7.10792 second system time
The end