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-3704942-1338113753/watcher-3704942-1338113753 -o /tmp/evaluation-result-3704942-1338113753/solver-3704942-1338113753 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3704942-1338113753.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26956
/proc/meminfo: memFree=30600920/32873844 swapFree=7624/7624
[pid=26956] ppid=26954 vsize=4648 CPUtime=0 cores=1,3,5,7
/proc/26956/stat : 26956 (wbo1.7) R 26954 26956 24863 0 -1 4202496 574 0 0 0 0 0 0 0 20 0 1 0 277500862 4759552 527 33554432000 4194304 5963574 140736851970688 140733525390616 4344320 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/26956/statm: 1162 527 164 432 0 634 0
[startup+0.0510319 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26956
/proc/meminfo: memFree=30600920/32873844 swapFree=7624/7624
[pid=26956] ppid=26954 vsize=85988 CPUtime=0.04 cores=1,3,5,7
/proc/26956/stat : 26956 (wbo1.7) S 26954 26956 24863 0 -1 4202496 2364 0 0 0 4 0 0 0 20 0 2 0 277500862 88051712 2101 33554432000 4194304 5963574 140736851970688 140736851970208 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26956/statm: 21497 2101 185 432 0 21062 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 85988
[startup+0.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26956
/proc/meminfo: memFree=30600920/32873844 swapFree=7624/7624
[pid=26956] ppid=26954 vsize=85988 CPUtime=0.09 cores=1,3,5,7
/proc/26956/stat : 26956 (wbo1.7) S 26954 26956 24863 0 -1 4202496 2450 0 0 0 9 0 0 0 20 0 2 0 277500862 88051712 2187 33554432000 4194304 5963574 140736851970688 140736851970208 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26956/statm: 21497 2187 187 432 0 21062 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 85988
[startup+0.300115 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26956
/proc/meminfo: memFree=30600920/32873844 swapFree=7624/7624
[pid=26956] ppid=26954 vsize=85988 CPUtime=0.29 cores=1,3,5,7
/proc/26956/stat : 26956 (wbo1.7) S 26954 26956 24863 0 -1 4202496 2716 0 0 0 29 0 0 0 20 0 2 0 277500862 88051712 2453 33554432000 4194304 5963574 140736851970688 140736851970208 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26956/statm: 21497 2453 187 432 0 21062 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 85988
[startup+0.700114 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26956
/proc/meminfo: memFree=30600920/32873844 swapFree=7624/7624
[pid=26956] ppid=26954 vsize=85988 CPUtime=0.69 cores=1,3,5,7
/proc/26956/stat : 26956 (wbo1.7) S 26954 26956 24863 0 -1 4202496 3239 0 0 0 69 0 0 0 20 0 2 0 277500862 88051712 2976 33554432000 4194304 5963574 140736851970688 140736851970208 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26956/statm: 21497 2976 187 432 0 21062 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 85988
[startup+1.50026 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 26958
/proc/meminfo: memFree=30588232/32873844 swapFree=7624/7624
[pid=26956] ppid=26954 vsize=85988 CPUtime=1.48 cores=1,3,5,7
/proc/26956/stat : 26956 (wbo1.7) S 26954 26956 24863 0 -1 4202496 4118 0 0 0 148 0 0 0 20 0 2 0 277500862 88051712 3855 33554432000 4194304 5963574 140736851970688 140736851970208 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26956/statm: 21497 3855 187 432 0 21062 0
[pid=26956/tid=26958] ppid=26954 vsize=85988 CPUtime=1.45 cores=1,3,5,7
/proc/26956/task/26958/stat : 26958 (wbo1.7) R 26954 26956 24863 0 -1 4202560 2699 0 0 0 145 0 0 0 20 0 2 0 277500866 88051712 3855 33554432000 4194304 5963574 140736851970688 139683388266536 5135572 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 85988
[startup+3.10026 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 26958
/proc/meminfo: memFree=30582768/32873844 swapFree=7624/7624
[pid=26956] ppid=26954 vsize=85988 CPUtime=3.08 cores=1,3,5,7
/proc/26956/stat : 26956 (wbo1.7) S 26954 26956 24863 0 -1 4202496 4860 0 0 0 308 0 0 0 20 0 2 0 277500862 88051712 4597 33554432000 4194304 5963574 140736851970688 140736851970208 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26956/statm: 21497 4597 187 432 0 21062 0
[pid=26956/tid=26958] ppid=26954 vsize=85988 CPUtime=3.04 cores=1,3,5,7
/proc/26956/task/26958/stat : 26958 (wbo1.7) R 26954 26956 24863 0 -1 4202560 3441 0 0 0 304 0 0 0 20 0 2 0 277500866 88051712 4597 33554432000 4194304 5963574 140736851970688 139683388266488 5135572 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 85988
[startup+6.3003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 26958
/proc/meminfo: memFree=30576832/32873844 swapFree=7624/7624
[pid=26956] ppid=26954 vsize=85988 CPUtime=6.28 cores=1,3,5,7
/proc/26956/stat : 26956 (wbo1.7) S 26954 26956 24863 0 -1 4202496 7057 0 0 0 627 1 0 0 20 0 2 0 277500862 88051712 6794 33554432000 4194304 5963574 140736851970688 140736851970208 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26956/statm: 21497 6794 187 432 0 21062 0
[pid=26956/tid=26958] ppid=26954 vsize=85988 CPUtime=6.23 cores=1,3,5,7
/proc/26956/task/26958/stat : 26958 (wbo1.7) R 26954 26956 24863 0 -1 4202560 5638 0 0 0 622 1 0 0 20 0 2 0 277500866 88051712 6794 33554432000 4194304 5963574 140736851970688 139683388266488 18446744073699066235 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 85988
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 26958
/proc/meminfo: memFree=30561200/32873844 swapFree=7624/7624
[pid=26956] ppid=26954 vsize=86204 CPUtime=12.68 cores=1,3,5,7
/proc/26956/stat : 26956 (wbo1.7) S 26954 26956 24863 0 -1 4202496 9997 0 0 0 1266 2 0 0 20 0 2 0 277500862 88272896 9734 33554432000 4194304 5963574 140736851970688 140736851970208 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26956/statm: 21551 9734 187 432 0 21116 0
[pid=26956/tid=26958] ppid=26954 vsize=86204 CPUtime=12.62 cores=1,3,5,7
/proc/26956/task/26958/stat : 26958 (wbo1.7) R 26954 26956 24863 0 -1 4202560 8578 0 0 0 1260 2 0 0 20 0 2 0 277500866 88272896 9734 33554432000 4194304 5963574 140736851970688 139683388266536 4221120 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 86204
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 26958
/proc/meminfo: memFree=30545444/32873844 swapFree=7624/7624
[pid=26956] ppid=26954 vsize=86312 CPUtime=25.48 cores=1,3,5,7
/proc/26956/stat : 26956 (wbo1.7) S 26954 26956 24863 0 -1 4202496 13801 0 0 0 2545 3 0 0 20 0 2 0 277500862 88383488 13538 33554432000 4194304 5963574 140736851970688 140736851970208 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26956/statm: 21578 13538 187 432 0 21143 0
[pid=26956/tid=26958] ppid=26954 vsize=86312 CPUtime=25.38 cores=1,3,5,7
/proc/26956/task/26958/stat : 26958 (wbo1.7) R 26954 26956 24863 0 -1 4202560 12382 0 0 0 2535 3 0 0 20 0 2 0 277500866 88383488 13538 33554432000 4194304 5963574 140736851970688 139683388266488 4399448 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 86312
[startup+51.1003 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 26958
/proc/meminfo: memFree=30521092/32873844 swapFree=7624/7624
[pid=26956] ppid=26954 vsize=152008 CPUtime=51.08 cores=1,3,5,7
/proc/26956/stat : 26956 (wbo1.7) S 26954 26956 24863 0 -1 4202496 19716 0 0 0 5102 6 0 0 20 0 2 0 277500862 155656192 19453 33554432000 4194304 5963574 140736851970688 140736851970208 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26956/statm: 38002 19453 187 432 0 37567 0
[pid=26956/tid=26958] ppid=26954 vsize=152008 CPUtime=50.91 cores=1,3,5,7
/proc/26956/task/26958/stat : 26958 (wbo1.7) R 26954 26956 24863 0 -1 4202560 18297 0 0 0 5085 6 0 0 20 0 2 0 277500866 155656192 19453 33554432000 4194304 5963574 140736851970688 139683388266488 4221120 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 152008
[startup+102.307 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 26959
/proc/meminfo: memFree=30493052/32873844 swapFree=7624/7624
[pid=26956] ppid=26954 vsize=152008 CPUtime=102.27 cores=1,3,5,7
/proc/26956/stat : 26956 (wbo1.7) S 26954 26956 24863 0 -1 4202496 26577 0 0 0 10218 9 0 0 20 0 2 0 277500862 155656192 26314 33554432000 4194304 5963574 140736851970688 140736851970208 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26956/statm: 38002 26314 187 432 0 37567 0
[pid=26956/tid=26958] ppid=26954 vsize=152008 CPUtime=101.98 cores=1,3,5,7
/proc/26956/task/26958/stat : 26958 (wbo1.7) R 26954 26956 24863 0 -1 4202560 25158 0 0 0 10188 10 0 0 20 0 2 0 277500866 155656192 26314 33554432000 4194304 5963574 140736851970688 139683388266488 4399639 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 152008
[startup+162.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 26959
/proc/meminfo: memFree=30444164/32873844 swapFree=7624/7624
[pid=26956] ppid=26954 vsize=152248 CPUtime=162.25 cores=1,3,5,7
/proc/26956/stat : 26956 (wbo1.7) S 26954 26956 24863 0 -1 4202496 30269 0 0 0 16214 11 0 0 20 0 2 0 277500862 155901952 30006 33554432000 4194304 5963574 140736851970688 140736851970208 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26956/statm: 38062 30006 187 432 0 37627 0
[pid=26956/tid=26958] ppid=26954 vsize=152248 CPUtime=161.81 cores=1,3,5,7
/proc/26956/task/26958/stat : 26958 (wbo1.7) R 26954 26956 24863 0 -1 4202560 28850 0 0 0 16169 12 0 0 20 0 2 0 277500866 155901952 30006 33554432000 4194304 5963574 140736851970688 139683388266488 4220672 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 152248
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 26959
/proc/meminfo: memFree=30294648/32873844 swapFree=7624/7624
[pid=26956] ppid=26954 vsize=152248 CPUtime=222.23 cores=1,3,5,7
/proc/26956/stat : 26956 (wbo1.7) S 26954 26956 24863 0 -1 4202496 30273 0 0 0 22212 11 0 0 20 0 2 0 277500862 155901952 30010 33554432000 4194304 5963574 140736851970688 140736851970208 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26956/statm: 38062 30010 187 432 0 37627 0
[pid=26956/tid=26958] ppid=26954 vsize=152248 CPUtime=221.64 cores=1,3,5,7
/proc/26956/task/26958/stat : 26958 (wbo1.7) R 26954 26956 24863 0 -1 4202560 28854 0 0 0 22151 13 0 0 20 0 2 0 277500866 155901952 30010 33554432000 4194304 5963574 140736851970688 139683388266488 4399456 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 152248
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 26962
/proc/meminfo: memFree=30232544/32873844 swapFree=7624/7624
[pid=26956] ppid=26954 vsize=152464 CPUtime=282.21 cores=1,3,5,7
/proc/26956/stat : 26956 (wbo1.7) S 26954 26956 24863 0 -1 4202496 33200 0 0 0 28209 12 0 0 20 0 2 0 277500862 156123136 32937 33554432000 4194304 5963574 140736851970688 140736851970208 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26956/statm: 38116 32937 187 432 0 37681 0
[pid=26956/tid=26958] ppid=26954 vsize=152464 CPUtime=281.48 cores=1,3,5,7
/proc/26956/task/26958/stat : 26958 (wbo1.7) R 26954 26956 24863 0 -1 4202560 31781 0 0 0 28132 16 0 0 20 0 2 0 277500866 156123136 32937 33554432000 4194304 5963574 140736851970688 139683388266488 4221120 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 152464
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 26962
/proc/meminfo: memFree=30218692/32873844 swapFree=7624/7624
[pid=26956] ppid=26954 vsize=219080 CPUtime=342.2 cores=1,3,5,7
/proc/26956/stat : 26956 (wbo1.7) S 26954 26956 24863 0 -1 4202496 36711 0 0 0 34204 16 0 0 20 0 2 0 277500862 224337920 36448 33554432000 4194304 5963574 140736851970688 140736851970208 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26956/statm: 54770 36448 187 432 0 54335 0
[pid=26956/tid=26958] ppid=26954 vsize=219080 CPUtime=341.32 cores=1,3,5,7
/proc/26956/task/26958/stat : 26958 (wbo1.7) R 26954 26956 24863 0 -1 4202560 35292 0 0 0 34112 20 0 0 20 0 2 0 277500866 224337920 36448 33554432000 4194304 5963574 140736851970688 139683388266488 4220672 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 219080
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 26963
/proc/meminfo: memFree=30200020/32873844 swapFree=7624/7624
[pid=26956] ppid=26954 vsize=219728 CPUtime=402.15 cores=1,3,5,7
/proc/26956/stat : 26956 (wbo1.7) S 26954 26956 24863 0 -1 4202496 38214 0 0 0 40198 17 0 0 20 0 2 0 277500862 225001472 38130 33554432000 4194304 5963574 140736851970688 140736851970208 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26956/statm: 54932 38130 187 432 0 54497 0
[pid=26956/tid=26958] ppid=26954 vsize=219728 CPUtime=401.13 cores=1,3,5,7
/proc/26956/task/26958/stat : 26958 (wbo1.7) R 26954 26956 24863 0 -1 4202560 36795 0 0 0 40090 23 0 0 20 0 2 0 277500866 225001472 38130 33554432000 4194304 5963574 140736851970688 139683388266296 4399605 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 219728
[startup+462.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 26963
/proc/meminfo: memFree=30063540/32873844 swapFree=7624/7624
[pid=26956] ppid=26954 vsize=219728 CPUtime=462.09 cores=1,3,5,7
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 27008
/proc/meminfo: memFree=30859956/32873844 swapFree=7624/7624
[pid=26956] ppid=26954 vsize=355156 CPUtime=1421.91 cores=1,3,5,7
/proc/26956/stat : 26956 (wbo1.7) S 26954 26956 24863 0 -1 4202496 75805 0 0 0 142148 43 0 0 20 0 2 0 277500862 363679744 77149 33554432000 4194304 5963574 140736851970688 140736851970208 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26956/statm: 88789 77149 187 432 0 88354 0
[pid=26956/tid=26958] ppid=26954 vsize=355156 CPUtime=1418.4 cores=1,3,5,7
/proc/26956/task/26958/stat : 26958 (wbo1.7) R 26954 26956 24863 0 -1 4202560 74386 0 0 0 141777 63 0 0 20 0 2 0 277500866 363679744 77149 33554432000 4194304 5963574 140736851970688 139683388266488 4399623 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 355156
[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/180 27011
/proc/meminfo: memFree=30846364/32873844 swapFree=7624/7624
[pid=26956] ppid=26954 vsize=355156 CPUtime=1481.89 cores=1,3,5,7
/proc/26956/stat : 26956 (wbo1.7) S 26954 26956 24863 0 -1 4202496 75808 0 0 0 148146 43 0 0 20 0 2 0 277500862 363679744 77156 33554432000 4194304 5963574 140736851970688 140736851970208 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26956/statm: 88789 77156 187 432 0 88354 0
[pid=26956/tid=26958] ppid=26954 vsize=355156 CPUtime=1478.24 cores=1,3,5,7
/proc/26956/task/26958/stat : 26958 (wbo1.7) R 26954 26956 24863 0 -1 4202560 74389 0 0 0 147760 64 0 0 20 0 2 0 277500866 363679744 77156 33554432000 4194304 5963574 140736851970688 139683388266488 4399605 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 355156
[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 27011
/proc/meminfo: memFree=30846372/32873844 swapFree=7624/7624
[pid=26956] ppid=26954 vsize=355156 CPUtime=1541.88 cores=1,3,5,7
/proc/26956/stat : 26956 (wbo1.7) S 26954 26956 24863 0 -1 4202496 75808 0 0 0 154145 43 0 0 20 0 2 0 277500862 363679744 77156 33554432000 4194304 5963574 140736851970688 140736851970208 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26956/statm: 88789 77156 187 432 0 88354 0
[pid=26956/tid=26958] ppid=26954 vsize=355156 CPUtime=1538.08 cores=1,3,5,7
/proc/26956/task/26958/stat : 26958 (wbo1.7) R 26954 26956 24863 0 -1 4202560 74389 0 0 0 153743 65 0 0 20 0 2 0 277500866 363679744 77156 33554432000 4194304 5963574 140736851970688 139683388266488 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 355156
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 27011
/proc/meminfo: memFree=30833352/32873844 swapFree=7624/7624
[pid=26956] ppid=26954 vsize=355156 CPUtime=1601.87 cores=1,3,5,7
/proc/26956/stat : 26956 (wbo1.7) S 26954 26956 24863 0 -1 4202496 75808 0 0 0 160144 43 0 0 20 0 2 0 277500862 363679744 77156 33554432000 4194304 5963574 140736851970688 140736851970208 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26956/statm: 88789 77156 187 432 0 88354 0
[pid=26956/tid=26958] ppid=26954 vsize=355156 CPUtime=1597.93 cores=1,3,5,7
/proc/26956/task/26958/stat : 26958 (wbo1.7) R 26954 26956 24863 0 -1 4202560 74389 0 0 0 159727 66 0 0 20 0 2 0 277500866 363679744 77156 33554432000 4194304 5963574 140736851970688 139683388266488 4381213 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 355156
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 27012
/proc/meminfo: memFree=30809860/32873844 swapFree=7624/7624
[pid=26956] ppid=26954 vsize=355156 CPUtime=1661.86 cores=1,3,5,7
/proc/26956/stat : 26956 (wbo1.7) S 26954 26956 24863 0 -1 4202496 75808 0 0 0 166143 43 0 0 20 0 2 0 277500862 363679744 77156 33554432000 4194304 5963574 140736851970688 140736851970208 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26956/statm: 88789 77156 187 432 0 88354 0
[pid=26956/tid=26958] ppid=26954 vsize=355156 CPUtime=1657.78 cores=1,3,5,7
/proc/26956/task/26958/stat : 26958 (wbo1.7) R 26954 26956 24863 0 -1 4202560 74389 0 0 0 165711 67 0 0 20 0 2 0 277500866 363679744 77156 33554432000 4194304 5963574 140736851970688 139683388266488 4399645 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 355156
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 27012
/proc/meminfo: memFree=30791232/32873844 swapFree=7624/7624
[pid=26956] ppid=26954 vsize=355156 CPUtime=1721.85 cores=1,3,5,7
/proc/26956/stat : 26956 (wbo1.7) S 26954 26956 24863 0 -1 4202496 75808 0 0 0 172142 43 0 0 20 0 2 0 277500862 363679744 77156 33554432000 4194304 5963574 140736851970688 140736851970208 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26956/statm: 88789 77156 187 432 0 88354 0
[pid=26956/tid=26958] ppid=26954 vsize=355156 CPUtime=1717.62 cores=1,3,5,7
/proc/26956/task/26958/stat : 26958 (wbo1.7) R 26954 26956 24863 0 -1 4202560 74389 0 0 0 171694 68 0 0 20 0 2 0 277500866 363679744 77156 33554432000 4194304 5963574 140736851970688 139683388266488 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 355156
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 27012
/proc/meminfo: memFree=30752900/32873844 swapFree=7624/7624
[pid=26956] ppid=26954 vsize=357688 CPUtime=1781.84 cores=1,3,5,7
/proc/26956/stat : 26956 (wbo1.7) S 26954 26956 24863 0 -1 4202496 83587 0 0 0 178135 49 0 0 20 0 2 0 277500862 366272512 84934 33554432000 4194304 5963574 140736851970688 140736851970208 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26956/statm: 89422 84934 187 432 0 88987 0
[pid=26956/tid=26958] ppid=26954 vsize=357688 CPUtime=1777.46 cores=1,3,5,7
/proc/26956/task/26958/stat : 26958 (wbo1.7) R 26954 26956 24863 0 -1 4202560 82168 0 0 0 177671 75 0 0 20 0 2 0 277500866 366272512 84934 33554432000 4194304 5963574 140736851970688 139683388266488 4399627 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 357688
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 27012
/proc/meminfo: memFree=30749412/32873844 swapFree=7624/7624
[pid=26956] ppid=26954 vsize=357688 CPUtime=1791.43 cores=1,3,5,7
/proc/26956/stat : 26956 (wbo1.7) S 26954 26956 24863 0 -1 4202496 84316 0 0 0 179094 49 0 0 20 0 2 0 277500862 366272512 85658 33554432000 4194304 5963574 140736851970688 140736851970208 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26956/statm: 89422 85658 187 432 0 88987 0
[pid=26956/tid=26958] ppid=26954 vsize=357688 CPUtime=1787.04 cores=1,3,5,7
/proc/26956/task/26958/stat : 26958 (wbo1.7) R 26954 26956 24863 0 -1 4202560 82897 0 0 0 178628 76 0 0 20 0 2 0 277500866 366272512 85658 33554432000 4194304 5963574 140736851970688 139683388266488 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1791.43
Current children cumulated vsize (KiB) 357688
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 27012
/proc/meminfo: memFree=30749536/32873844 swapFree=7624/7624
[pid=26956] ppid=26954 vsize=357688 CPUtime=1794.63 cores=1,3,5,7
/proc/26956/stat : 26956 (wbo1.7) S 26954 26956 24863 0 -1 4202496 84316 0 0 0 179414 49 0 0 20 0 2 0 277500862 366272512 85658 33554432000 4194304 5963574 140736851970688 140736851970208 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26956/statm: 89422 85658 187 432 0 88987 0
[pid=26956/tid=26958] ppid=26954 vsize=357688 CPUtime=1790.23 cores=1,3,5,7
/proc/26956/task/26958/stat : 26958 (wbo1.7) R 26954 26956 24863 0 -1 4202560 82897 0 0 0 178947 76 0 0 20 0 2 0 277500866 366272512 85658 33554432000 4194304 5963574 140736851970688 139683388266488 4399623 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1794.63
Current children cumulated vsize (KiB) 357688
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 27012
/proc/meminfo: memFree=30749536/32873844 swapFree=7624/7624
[pid=26956] ppid=26954 vsize=357688 CPUtime=1797.82 cores=1,3,5,7
/proc/26956/stat : 26956 (wbo1.7) S 26954 26956 24863 0 -1 4202496 84316 0 0 0 179733 49 0 0 20 0 2 0 277500862 366272512 85658 33554432000 4194304 5963574 140736851970688 140736851970208 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26956/statm: 89422 85658 187 432 0 88987 0
[pid=26956/tid=26958] ppid=26954 vsize=357688 CPUtime=1793.41 cores=1,3,5,7
/proc/26956/task/26958/stat : 26958 (wbo1.7) R 26954 26956 24863 0 -1 4202560 82897 0 0 0 179265 76 0 0 20 0 2 0 277500866 366272512 85658 33554432000 4194304 5963574 140736851970688 139683388266488 4381137 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1797.82
Current children cumulated vsize (KiB) 357688
[startup+1799.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 27012
/proc/meminfo: memFree=30749536/32873844 swapFree=7624/7624
[pid=26956] ppid=26954 vsize=357688 CPUtime=1798.62 cores=1,3,5,7
/proc/26956/stat : 26956 (wbo1.7) S 26954 26956 24863 0 -1 4202496 84316 0 0 0 179813 49 0 0 20 0 2 0 277500862 366272512 85658 33554432000 4194304 5963574 140736851970688 140736851970208 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26956/statm: 89422 85658 187 432 0 88987 0
[pid=26956/tid=26958] ppid=26954 vsize=357688 CPUtime=1794.21 cores=1,3,5,7
/proc/26956/task/26958/stat : 26958 (wbo1.7) R 26954 26956 24863 0 -1 4202560 82897 0 0 0 179345 76 0 0 20 0 2 0 277500866 366272512 85658 33554432000 4194304 5963574 140736851970688 139683388266488 4399651 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1798.62
Current children cumulated vsize (KiB) 357688
[startup+1799.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 27012
/proc/meminfo: memFree=30749536/32873844 swapFree=7624/7624
[pid=26956] ppid=26954 vsize=357688 CPUtime=1799.03 cores=1,3,5,7
/proc/26956/stat : 26956 (wbo1.7) S 26954 26956 24863 0 -1 4202496 84316 0 0 0 179854 49 0 0 20 0 2 0 277500862 366272512 85658 33554432000 4194304 5963574 140736851970688 140736851970208 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26956/statm: 89422 85658 187 432 0 88987 0
[pid=26956/tid=26958] ppid=26954 vsize=357688 CPUtime=1794.62 cores=1,3,5,7
/proc/26956/task/26958/stat : 26958 (wbo1.7) R 26954 26956 24863 0 -1 4202560 82897 0 0 0 179386 76 0 0 20 0 2 0 277500866 366272512 85658 33554432000 4194304 5963574 140736851970688 139683388266488 4381238 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.03
Current children cumulated vsize (KiB) 357688
[startup+1799.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 27012
/proc/meminfo: memFree=30749536/32873844 swapFree=7624/7624
[pid=26956] ppid=26954 vsize=357688 CPUtime=1799.42 cores=1,3,5,7
/proc/26956/stat : 26956 (wbo1.7) S 26954 26956 24863 0 -1 4202496 84316 0 0 0 179893 49 0 0 20 0 2 0 277500862 366272512 85658 33554432000 4194304 5963574 140736851970688 140736851970208 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26956/statm: 89422 85658 187 432 0 88987 0
[pid=26956/tid=26958] ppid=26954 vsize=357688 CPUtime=1795.01 cores=1,3,5,7
/proc/26956/task/26958/stat : 26958 (wbo1.7) R 26954 26956 24863 0 -1 4202560 82897 0 0 0 179425 76 0 0 20 0 2 0 277500866 366272512 85658 33554432000 4194304 5963574 140736851970688 139683388266488 4222314 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.42
Current children cumulated vsize (KiB) 357688
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 27012
/proc/meminfo: memFree=30749536/32873844 swapFree=7624/7624
[pid=26956] ppid=26954 vsize=357688 CPUtime=1799.52 cores=1,3,5,7
/proc/26956/stat : 26956 (wbo1.7) S 26954 26956 24863 0 -1 4202496 84316 0 0 0 179903 49 0 0 20 0 2 0 277500862 366272512 85658 33554432000 4194304 5963574 140736851970688 140736851970208 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26956/statm: 89422 85658 187 432 0 88987 0
[pid=26956/tid=26958] ppid=26954 vsize=357688 CPUtime=1795.11 cores=1,3,5,7
/proc/26956/task/26958/stat : 26958 (wbo1.7) R 26954 26956 24863 0 -1 4202560 82897 0 0 0 179435 76 0 0 20 0 2 0 277500866 366272512 85658 33554432000 4194304 5963574 140736851970688 139683388266488 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.52
Current children cumulated vsize (KiB) 357688
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 26956 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=385211
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=773882
# CPU time returned by wait4() is 1795.16
# while last known CPU time is 1799.52
#
# 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.52
CPU user time (s): 1799.03
CPU system time (s): 0.49
CPU usage (%): 99.9731
Max. virtual memory (cumulated for all children) (KiB): 357688
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.39
system time used= 0.773882
maximum resident set size= 342636
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 84317
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= 160
involuntary context switches= 4426
runsolver used 2.92556 second user time and 8.59169 second system time
The end