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-3727564-1338662333/watcher-3727564-1338662333 -o /tmp/evaluation-result-3727564-1338662333/solver-3727564-1338662333 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=opb HOME/instance-3727564-1338662333.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 2/175 9848
/proc/meminfo: memFree=23532580/32873844 swapFree=7112/7112
[pid=9848] ppid=9846 vsize=83584 CPUtime=0 cores=1,3,5,7
/proc/9848/stat : 9848 (wbo1.72) S 9846 9848 7385 0 -1 4202496 743 0 0 0 0 0 0 0 20 0 2 0 332361829 85590016 694 33554432000 4194304 5964350 140737278005472 140737278004992 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9848/statm: 20896 694 188 433 0 20460 0
[pid=9848/tid=9849] ppid=9846 vsize=83584 CPUtime=0 cores=1,3,5,7
/proc/9848/task/9849/stat : 9849 (wbo1.72) R 9846 9848 7385 0 -1 4202560 40 0 0 0 0 0 0 0 20 0 2 0 332361829 85590016 694 33554432000 4194304 5964350 140737278005472 140734834624024 5142458 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[startup+0.0353169 s]
/proc/loadavg: 2.00 2.00 2.00 2/175 9848
/proc/meminfo: memFree=23532580/32873844 swapFree=7112/7112
[pid=9848] ppid=9846 vsize=83584 CPUtime=0.03 cores=1,3,5,7
/proc/9848/stat : 9848 (wbo1.72) S 9846 9848 7385 0 -1 4202496 828 0 0 0 3 0 0 0 20 0 2 0 332361829 85590016 779 33554432000 4194304 5964350 140737278005472 140737278004992 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9848/statm: 20896 779 190 433 0 20460 0
[pid=9848/tid=9849] ppid=9846 vsize=83584 CPUtime=0.02 cores=1,3,5,7
/proc/9848/task/9849/stat : 9849 (wbo1.72) R 9846 9848 7385 0 -1 4202560 125 0 0 0 2 0 0 0 20 0 2 0 332361829 85590016 779 33554432000 4194304 5964350 140737278005472 140734834624024 5136340 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 83584
[startup+0.100304 s]
/proc/loadavg: 2.00 2.00 2.00 2/175 9848
/proc/meminfo: memFree=23532580/32873844 swapFree=7112/7112
[pid=9848] ppid=9846 vsize=83584 CPUtime=0.09 cores=1,3,5,7
/proc/9848/stat : 9848 (wbo1.72) S 9846 9848 7385 0 -1 4202496 983 0 0 0 9 0 0 0 20 0 2 0 332361829 85590016 934 33554432000 4194304 5964350 140737278005472 140737278004992 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9848/statm: 20896 934 190 433 0 20460 0
[pid=9848/tid=9849] ppid=9846 vsize=83584 CPUtime=0.08 cores=1,3,5,7
/proc/9848/task/9849/stat : 9849 (wbo1.72) R 9846 9848 7385 0 -1 4202560 280 0 0 0 8 0 0 0 20 0 2 0 332361829 85590016 934 33554432000 4194304 5964350 140737278005472 140734834624024 4403647 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 83584
[startup+0.300254 s]
/proc/loadavg: 2.00 2.00 2.00 2/175 9848
/proc/meminfo: memFree=23532580/32873844 swapFree=7112/7112
[pid=9848] ppid=9846 vsize=83584 CPUtime=0.29 cores=1,3,5,7
/proc/9848/stat : 9848 (wbo1.72) S 9846 9848 7385 0 -1 4202496 1331 0 0 0 29 0 0 0 20 0 2 0 332361829 85590016 1282 33554432000 4194304 5964350 140737278005472 140737278004992 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9848/statm: 20896 1282 190 433 0 20460 0
[pid=9848/tid=9849] ppid=9846 vsize=83584 CPUtime=0.28 cores=1,3,5,7
/proc/9848/task/9849/stat : 9849 (wbo1.72) R 9846 9848 7385 0 -1 4202560 628 0 0 0 28 0 0 0 20 0 2 0 332361829 85590016 1282 33554432000 4194304 5964350 140737278005472 140734834624024 4399866 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 83584
[startup+0.700253 s]
/proc/loadavg: 2.00 2.00 2.00 2/175 9848
/proc/meminfo: memFree=23532580/32873844 swapFree=7112/7112
[pid=9848] ppid=9846 vsize=83728 CPUtime=0.69 cores=1,3,5,7
/proc/9848/stat : 9848 (wbo1.72) S 9846 9848 7385 0 -1 4202496 1692 0 0 0 69 0 0 0 20 0 2 0 332361829 85737472 1643 33554432000 4194304 5964350 140737278005472 140737278004992 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9848/statm: 20932 1643 190 433 0 20496 0
[pid=9848/tid=9849] ppid=9846 vsize=83728 CPUtime=0.68 cores=1,3,5,7
/proc/9848/task/9849/stat : 9849 (wbo1.72) R 9846 9848 7385 0 -1 4202560 989 0 0 0 68 0 0 0 20 0 2 0 332361829 85737472 1643 33554432000 4194304 5964350 140737278005472 140335063062040 4400017 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 83728
[startup+1.50025 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9850
/proc/meminfo: memFree=23525008/32873844 swapFree=7112/7112
[pid=9848] ppid=9846 vsize=83728 CPUtime=1.49 cores=1,3,5,7
/proc/9848/stat : 9848 (wbo1.72) S 9846 9848 7385 0 -1 4202496 2222 0 0 0 149 0 0 0 20 0 2 0 332361829 85737472 2173 33554432000 4194304 5964350 140737278005472 140737278004992 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9848/statm: 20932 2173 190 433 0 20496 0
[pid=9848/tid=9849] ppid=9846 vsize=83728 CPUtime=1.48 cores=1,3,5,7
/proc/9848/task/9849/stat : 9849 (wbo1.72) R 9846 9848 7385 0 -1 4202560 1519 0 0 0 148 0 0 0 20 0 2 0 332361829 85737472 2173 33554432000 4194304 5964350 140737278005472 140335063062040 4399987 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 83728
[startup+3.10026 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9850
/proc/meminfo: memFree=23521900/32873844 swapFree=7112/7112
[pid=9848] ppid=9846 vsize=83800 CPUtime=3.09 cores=1,3,5,7
/proc/9848/stat : 9848 (wbo1.72) S 9846 9848 7385 0 -1 4202496 3204 0 0 0 309 0 0 0 20 0 2 0 332361829 85811200 3155 33554432000 4194304 5964350 140737278005472 140737278004992 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9848/statm: 20950 3155 190 433 0 20514 0
[pid=9848/tid=9849] ppid=9846 vsize=83800 CPUtime=3.08 cores=1,3,5,7
/proc/9848/task/9849/stat : 9849 (wbo1.72) R 9846 9848 7385 0 -1 4202560 2501 0 0 0 308 0 0 0 20 0 2 0 332361829 85811200 3155 33554432000 4194304 5964350 140737278005472 140335063062040 4399930 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 83800
[startup+6.30026 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9850
/proc/meminfo: memFree=23513220/32873844 swapFree=7112/7112
[pid=9848] ppid=9846 vsize=84196 CPUtime=6.28 cores=1,3,5,7
/proc/9848/stat : 9848 (wbo1.72) S 9846 9848 7385 0 -1 4202496 4409 0 0 0 628 0 0 0 20 0 2 0 332361829 86216704 4360 33554432000 4194304 5964350 140737278005472 140737278004992 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9848/statm: 21049 4360 190 433 0 20613 0
[pid=9848/tid=9849] ppid=9846 vsize=84196 CPUtime=6.28 cores=1,3,5,7
/proc/9848/task/9849/stat : 9849 (wbo1.72) R 9846 9848 7385 0 -1 4202560 3706 0 0 0 628 0 0 0 20 0 2 0 332361829 86216704 4360 33554432000 4194304 5964350 140737278005472 140335063062040 4400029 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 84196
[startup+12.7003 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 9850
/proc/meminfo: memFree=23502952/32873844 swapFree=7112/7112
[pid=9848] ppid=9846 vsize=85544 CPUtime=12.69 cores=1,3,5,7
/proc/9848/stat : 9848 (wbo1.72) S 9846 9848 7385 0 -1 4202496 6735 0 0 0 1267 2 0 0 20 0 2 0 332361829 87597056 6686 33554432000 4194304 5964350 140737278005472 140737278004992 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9848/statm: 21386 6686 190 433 0 20950 0
[pid=9848/tid=9849] ppid=9846 vsize=85544 CPUtime=12.68 cores=1,3,5,7
/proc/9848/task/9849/stat : 9849 (wbo1.72) R 9846 9848 7385 0 -1 4202560 6032 0 0 0 1266 2 0 0 20 0 2 0 332361829 87597056 6686 33554432000 4194304 5964350 140737278005472 140335063062040 5136340 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 85544
[startup+25.5003 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 9889
/proc/meminfo: memFree=24043824/32873844 swapFree=7112/7112
[pid=9848] ppid=9846 vsize=87404 CPUtime=25.48 cores=1,3,5,7
/proc/9848/stat : 9848 (wbo1.72) S 9846 9848 7385 0 -1 4202496 9762 0 0 0 2545 3 0 0 20 0 2 0 332361829 89501696 9749 33554432000 4194304 5964350 140737278005472 140737278004992 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9848/statm: 21851 9749 190 433 0 21415 0
[pid=9848/tid=9849] ppid=9846 vsize=87404 CPUtime=25.47 cores=1,3,5,7
/proc/9848/task/9849/stat : 9849 (wbo1.72) R 9846 9848 7385 0 -1 4202560 9059 0 0 0 2544 3 0 0 20 0 2 0 332361829 89501696 9749 33554432000 4194304 5964350 140737278005472 140335063062328 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 87404
[startup+51.1003 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 9889
/proc/meminfo: memFree=23998188/32873844 swapFree=7112/7112
[pid=9848] ppid=9846 vsize=89132 CPUtime=51.07 cores=1,3,5,7
/proc/9848/stat : 9848 (wbo1.72) S 9846 9848 7385 0 -1 4202496 14753 0 0 0 5102 5 0 0 20 0 2 0 332361829 91271168 15123 33554432000 4194304 5964350 140737278005472 140737278004992 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9848/statm: 22283 15123 190 433 0 21847 0
[pid=9848/tid=9849] ppid=9846 vsize=89132 CPUtime=51.07 cores=1,3,5,7
/proc/9848/task/9849/stat : 9849 (wbo1.72) R 9846 9848 7385 0 -1 4202560 14050 0 0 0 5101 6 0 0 20 0 2 0 332361829 91271168 15123 33554432000 4194304 5964350 140737278005472 140335063062040 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 89132
[startup+102.307 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 9892
/proc/meminfo: memFree=23930660/32873844 swapFree=7112/7112
[pid=9848] ppid=9846 vsize=157504 CPUtime=102.27 cores=1,3,5,7
/proc/9848/stat : 9848 (wbo1.72) S 9846 9848 7385 0 -1 4202496 22472 0 0 0 10216 11 0 0 20 0 2 0 332361829 161284096 22842 33554432000 4194304 5964350 140737278005472 140737278004992 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9848/statm: 39376 22842 190 433 0 38940 0
[pid=9848/tid=9849] ppid=9846 vsize=157504 CPUtime=102.27 cores=1,3,5,7
/proc/9848/task/9849/stat : 9849 (wbo1.72) R 9846 9848 7385 0 -1 4202560 21769 0 0 0 10214 13 0 0 20 0 2 0 332361829 161284096 22842 33554432000 4194304 5964350 140737278005472 140335063062568 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 157504
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9892
/proc/meminfo: memFree=23876620/32873844 swapFree=7112/7112
[pid=9848] ppid=9846 vsize=159344 CPUtime=162.24 cores=1,3,5,7
/proc/9848/stat : 9848 (wbo1.72) S 9846 9848 7385 0 -1 4202496 28809 0 0 0 16207 17 0 0 20 0 2 0 332361829 163168256 29171 33554432000 4194304 5964350 140737278005472 140737278004992 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9848/statm: 39836 29171 190 433 0 39400 0
[pid=9848/tid=9849] ppid=9846 vsize=159344 CPUtime=162.24 cores=1,3,5,7
/proc/9848/task/9849/stat : 9849 (wbo1.72) R 9846 9848 7385 0 -1 4202560 28106 0 0 0 16204 20 0 0 20 0 2 0 332361829 163168256 29171 33554432000 4194304 5964350 140737278005472 140335063062568 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 159344
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9893
/proc/meminfo: memFree=23821880/32873844 swapFree=7112/7112
[pid=9848] ppid=9846 vsize=162428 CPUtime=222.22 cores=1,3,5,7
/proc/9848/stat : 9848 (wbo1.72) S 9846 9848 7385 0 -1 4202496 35809 0 0 0 22198 24 0 0 20 0 2 0 332361829 166326272 36676 33554432000 4194304 5964350 140737278005472 140737278004992 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9848/statm: 40607 36676 190 433 0 40171 0
[pid=9848/tid=9849] ppid=9846 vsize=162428 CPUtime=222.24 cores=1,3,5,7
/proc/9848/task/9849/stat : 9849 (wbo1.72) R 9846 9848 7385 0 -1 4202560 35106 0 0 0 22196 28 0 0 20 0 2 0 332361829 166326272 36676 33554432000 4194304 5964350 140737278005472 140335063062040 4379216 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 162428
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9893
/proc/meminfo: memFree=23778396/32873844 swapFree=7112/7112
[pid=9848] ppid=9846 vsize=230044 CPUtime=282.21 cores=1,3,5,7
/proc/9848/stat : 9848 (wbo1.72) S 9846 9848 7385 0 -1 4202496 39926 0 0 0 28192 29 0 0 20 0 2 0 332361829 235565056 40788 33554432000 4194304 5964350 140737278005472 140737278004992 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9848/statm: 57511 40788 190 433 0 57075 0
[pid=9848/tid=9849] ppid=9846 vsize=230044 CPUtime=282.23 cores=1,3,5,7
/proc/9848/task/9849/stat : 9849 (wbo1.72) R 9846 9848 7385 0 -1 4202560 39223 0 0 0 28189 34 0 0 20 0 2 0 332361829 235565056 40788 33554432000 4194304 5964350 140737278005472 140335063062568 4399832 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 230044
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9893
/proc/meminfo: memFree=23742160/32873844 swapFree=7112/7112
[pid=9848] ppid=9846 vsize=232008 CPUtime=342.2 cores=1,3,5,7
/proc/9848/stat : 9848 (wbo1.72) S 9846 9848 7385 0 -1 4202496 44081 0 0 0 34186 34 0 0 20 0 2 0 332361829 237576192 44940 33554432000 4194304 5964350 140737278005472 140737278004992 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9848/statm: 58002 44940 190 433 0 57566 0
[pid=9848/tid=9849] ppid=9846 vsize=232008 CPUtime=342.23 cores=1,3,5,7
/proc/9848/task/9849/stat : 9849 (wbo1.72) R 9846 9848 7385 0 -1 4202560 43378 0 0 0 34183 40 0 0 20 0 2 0 332361829 237576192 44940 33554432000 4194304 5964350 140737278005472 140335063062568 5143628 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 232008
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9893
/proc/meminfo: memFree=23704756/32873844 swapFree=7112/7112
[pid=9848] ppid=9846 vsize=233716 CPUtime=402.18 cores=1,3,5,7
/proc/9848/stat : 9848 (wbo1.72) S 9846 9848 7385 0 -1 4202496 50647 0 0 0 40177 41 0 0 20 0 2 0 332361829 239325184 51506 33554432000 4194304 5964350 140737278005472 140737278004992 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
################
# More data... #
################
/proc/9848/task/9849/stat : 9849 (wbo1.72) R 9846 9848 7385 0 -1 4202560 100571 0 0 0 130087 128 0 0 20 0 2 0 332361829 451919872 102170 33554432000 4194304 5964350 140737278005472 140335063062040 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1302.01
Current children cumulated vsize (KiB) 441328
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9925
/proc/meminfo: memFree=23280644/32873844 swapFree=7112/7112
[pid=9848] ppid=9846 vsize=507624 CPUtime=1361.99 cores=1,3,5,7
/proc/9848/stat : 9848 (wbo1.72) S 9846 9848 7385 0 -1 4202496 105357 0 0 0 136085 114 0 0 20 0 2 0 332361829 519806976 106253 33554432000 4194304 5964350 140737278005472 140737278004992 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9848/statm: 126906 106253 190 433 0 126470 0
[pid=9848/tid=9849] ppid=9846 vsize=507624 CPUtime=1362.14 cores=1,3,5,7
/proc/9848/task/9849/stat : 9849 (wbo1.72) R 9846 9848 7385 0 -1 4202560 104654 0 0 0 136079 135 0 0 20 0 2 0 332361829 519806976 106253 33554432000 4194304 5964350 140737278005472 140335063062040 4399906 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1361.99
Current children cumulated vsize (KiB) 507624
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9925
/proc/meminfo: memFree=23255908/32873844 swapFree=7112/7112
[pid=9848] ppid=9846 vsize=509084 CPUtime=1421.98 cores=1,3,5,7
/proc/9848/stat : 9848 (wbo1.72) S 9846 9848 7385 0 -1 4202496 107940 0 0 0 142081 117 0 0 20 0 2 0 332361829 521302016 108836 33554432000 4194304 5964350 140737278005472 140737278004992 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9848/statm: 127271 108836 190 433 0 126835 0
[pid=9848/tid=9849] ppid=9846 vsize=509084 CPUtime=1422.15 cores=1,3,5,7
/proc/9848/task/9849/stat : 9849 (wbo1.72) R 9846 9848 7385 0 -1 4202560 107237 0 0 0 142076 139 0 0 20 0 2 0 332361829 521302016 108836 33554432000 4194304 5964350 140737278005472 140335063062568 4378912 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1421.98
Current children cumulated vsize (KiB) 509084
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9926
/proc/meminfo: memFree=23237376/32873844 swapFree=7112/7112
[pid=9848] ppid=9846 vsize=509484 CPUtime=1481.97 cores=1,3,5,7
/proc/9848/stat : 9848 (wbo1.72) S 9846 9848 7385 0 -1 4202496 109541 0 0 0 148077 120 0 0 20 0 2 0 332361829 521711616 110437 33554432000 4194304 5964350 140737278005472 140737278004992 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9848/statm: 127371 110437 190 433 0 126935 0
[pid=9848/tid=9849] ppid=9846 vsize=509484 CPUtime=1482.14 cores=1,3,5,7
/proc/9848/task/9849/stat : 9849 (wbo1.72) R 9846 9848 7385 0 -1 4202560 108838 0 0 0 148071 143 0 0 20 0 2 0 332361829 521711616 110437 33554432000 4194304 5964350 140737278005472 140335063062040 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.97
Current children cumulated vsize (KiB) 509484
[startup+1542.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 9926
/proc/meminfo: memFree=23207860/32873844 swapFree=7112/7112
[pid=9848] ppid=9846 vsize=511652 CPUtime=1541.96 cores=1,3,5,7
/proc/9848/stat : 9848 (wbo1.72) S 9846 9848 7385 0 -1 4202496 112645 0 0 0 154072 124 0 0 20 0 2 0 332361829 523931648 113541 33554432000 4194304 5964350 140737278005472 140737278004992 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9848/statm: 127913 113541 190 433 0 127477 0
[pid=9848/tid=9849] ppid=9846 vsize=511652 CPUtime=1542.14 cores=1,3,5,7
/proc/9848/task/9849/stat : 9849 (wbo1.72) R 9846 9848 7385 0 -1 4202560 111942 0 0 0 154066 148 0 0 20 0 2 0 332361829 523931648 113541 33554432000 4194304 5964350 140737278005472 140335063062040 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.96
Current children cumulated vsize (KiB) 511652
[startup+1602.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 9926
/proc/meminfo: memFree=23201412/32873844 swapFree=7112/7112
[pid=9848] ppid=9846 vsize=511652 CPUtime=1601.95 cores=1,3,5,7
/proc/9848/stat : 9848 (wbo1.72) S 9846 9848 7385 0 -1 4202496 114175 0 0 0 160069 126 0 0 20 0 2 0 332361829 523931648 115071 33554432000 4194304 5964350 140737278005472 140737278004992 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9848/statm: 127913 115071 190 433 0 127477 0
[pid=9848/tid=9849] ppid=9846 vsize=511652 CPUtime=1602.14 cores=1,3,5,7
/proc/9848/task/9849/stat : 9849 (wbo1.72) R 9846 9848 7385 0 -1 4202560 113472 0 0 0 160063 151 0 0 20 0 2 0 332361829 523931648 115071 33554432000 4194304 5964350 140737278005472 140335063062040 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.95
Current children cumulated vsize (KiB) 511652
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9926
/proc/meminfo: memFree=23174256/32873844 swapFree=7112/7112
[pid=9848] ppid=9846 vsize=512192 CPUtime=1661.94 cores=1,3,5,7
/proc/9848/stat : 9848 (wbo1.72) S 9846 9848 7385 0 -1 4202496 115468 0 0 0 166066 128 0 0 20 0 2 0 332361829 524484608 116364 33554432000 4194304 5964350 140737278005472 140737278004992 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9848/statm: 128048 116364 190 433 0 127612 0
[pid=9848/tid=9849] ppid=9846 vsize=512192 CPUtime=1662.14 cores=1,3,5,7
/proc/9848/task/9849/stat : 9849 (wbo1.72) R 9846 9848 7385 0 -1 4202560 114765 0 0 0 166060 154 0 0 20 0 2 0 332361829 524484608 116364 33554432000 4194304 5964350 140737278005472 140335063062040 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.94
Current children cumulated vsize (KiB) 512192
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9926
/proc/meminfo: memFree=23164396/32873844 swapFree=7112/7112
[pid=9848] ppid=9846 vsize=512192 CPUtime=1721.92 cores=1,3,5,7
/proc/9848/stat : 9848 (wbo1.72) S 9846 9848 7385 0 -1 4202496 115550 0 0 0 172064 128 0 0 20 0 2 0 332361829 524484608 116425 33554432000 4194304 5964350 140737278005472 140737278004992 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9848/statm: 128048 116425 190 433 0 127612 0
[pid=9848/tid=9849] ppid=9846 vsize=512192 CPUtime=1722.12 cores=1,3,5,7
/proc/9848/task/9849/stat : 9849 (wbo1.72) R 9846 9848 7385 0 -1 4202560 114847 0 0 0 172057 155 0 0 20 0 2 0 332361829 524484608 116425 33554432000 4194304 5964350 140737278005472 140335063062520 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.92
Current children cumulated vsize (KiB) 512192
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9927
/proc/meminfo: memFree=23149012/32873844 swapFree=7112/7112
[pid=9848] ppid=9846 vsize=512192 CPUtime=1781.9 cores=1,3,5,7
/proc/9848/stat : 9848 (wbo1.72) S 9846 9848 7385 0 -1 4202496 119394 0 0 0 178058 132 0 0 20 0 2 0 332361829 524484608 120265 33554432000 4194304 5964350 140737278005472 140737278004992 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9848/statm: 128048 120265 190 433 0 127612 0
[pid=9848/tid=9849] ppid=9846 vsize=512192 CPUtime=1782.12 cores=1,3,5,7
/proc/9848/task/9849/stat : 9849 (wbo1.72) R 9846 9848 7385 0 -1 4202560 118691 0 0 0 178052 160 0 0 20 0 2 0 332361829 524484608 120265 33554432000 4194304 5964350 140737278005472 140335063062568 4399858 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.9
Current children cumulated vsize (KiB) 512192
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9927
/proc/meminfo: memFree=23146408/32873844 swapFree=7112/7112
[pid=9848] ppid=9846 vsize=512192 CPUtime=1791.51 cores=1,3,5,7
/proc/9848/stat : 9848 (wbo1.72) S 9846 9848 7385 0 -1 4202496 119913 0 0 0 179017 134 0 0 20 0 2 0 332361829 524484608 120784 33554432000 4194304 5964350 140737278005472 140737278004992 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9848/statm: 128048 120784 190 433 0 127612 0
[pid=9848/tid=9849] ppid=9846 vsize=512192 CPUtime=1791.72 cores=1,3,5,7
/proc/9848/task/9849/stat : 9849 (wbo1.72) R 9846 9848 7385 0 -1 4202560 119210 0 0 0 179010 162 0 0 20 0 2 0 332361829 524484608 120784 33554432000 4194304 5964350 140737278005472 140335063062040 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1791.51
Current children cumulated vsize (KiB) 512192
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9927
/proc/meminfo: memFree=23145788/32873844 swapFree=7112/7112
[pid=9848] ppid=9846 vsize=512192 CPUtime=1794.7 cores=1,3,5,7
/proc/9848/stat : 9848 (wbo1.72) S 9846 9848 7385 0 -1 4202496 120090 0 0 0 179336 134 0 0 20 0 2 0 332361829 524484608 120961 33554432000 4194304 5964350 140737278005472 140737278004992 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9848/statm: 128048 120961 190 433 0 127612 0
[pid=9848/tid=9849] ppid=9846 vsize=512192 CPUtime=1794.92 cores=1,3,5,7
/proc/9848/task/9849/stat : 9849 (wbo1.72) R 9846 9848 7385 0 -1 4202560 119387 0 0 0 179330 162 0 0 20 0 2 0 332361829 524484608 120961 33554432000 4194304 5964350 140737278005472 140335063062040 4399852 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1794.7
Current children cumulated vsize (KiB) 512192
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9927
/proc/meminfo: memFree=23145292/32873844 swapFree=7112/7112
[pid=9848] ppid=9846 vsize=512192 CPUtime=1797.9 cores=1,3,5,7
/proc/9848/stat : 9848 (wbo1.72) S 9846 9848 7385 0 -1 4202496 120287 0 0 0 179655 135 0 0 20 0 2 0 332361829 524484608 121158 33554432000 4194304 5964350 140737278005472 140737278004992 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9848/statm: 128048 121158 190 433 0 127612 0
[pid=9848/tid=9849] ppid=9846 vsize=512192 CPUtime=1798.12 cores=1,3,5,7
/proc/9848/task/9849/stat : 9849 (wbo1.72) R 9846 9848 7385 0 -1 4202560 119584 0 0 0 179649 163 0 0 20 0 2 0 332361829 524484608 121158 33554432000 4194304 5964350 140737278005472 140335063062568 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1797.9
Current children cumulated vsize (KiB) 512192
[startup+1799.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9927
/proc/meminfo: memFree=23144920/32873844 swapFree=7112/7112
[pid=9848] ppid=9846 vsize=512192 CPUtime=1798.7 cores=1,3,5,7
/proc/9848/stat : 9848 (wbo1.72) S 9846 9848 7385 0 -1 4202496 120326 0 0 0 179735 135 0 0 20 0 2 0 332361829 524484608 121197 33554432000 4194304 5964350 140737278005472 140737278004992 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9848/statm: 128048 121197 190 433 0 127612 0
[pid=9848/tid=9849] ppid=9846 vsize=512192 CPUtime=1798.92 cores=1,3,5,7
/proc/9848/task/9849/stat : 9849 (wbo1.72) R 9846 9848 7385 0 -1 4202560 119623 0 0 0 179729 163 0 0 20 0 2 0 332361829 524484608 121197 33554432000 4194304 5964350 140737278005472 140335063062040 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1798.7
Current children cumulated vsize (KiB) 512192
[startup+1799.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9927
/proc/meminfo: memFree=23144548/32873844 swapFree=7112/7112
[pid=9848] ppid=9846 vsize=512192 CPUtime=1799.11 cores=1,3,5,7
/proc/9848/stat : 9848 (wbo1.72) S 9846 9848 7385 0 -1 4202496 120350 0 0 0 179776 135 0 0 20 0 2 0 332361829 524484608 121221 33554432000 4194304 5964350 140737278005472 140737278004992 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9848/statm: 128048 121221 190 433 0 127612 0
[pid=9848/tid=9849] ppid=9846 vsize=512192 CPUtime=1799.32 cores=1,3,5,7
/proc/9848/task/9849/stat : 9849 (wbo1.72) R 9846 9848 7385 0 -1 4202560 119647 0 0 0 179769 163 0 0 20 0 2 0 332361829 524484608 121221 33554432000 4194304 5964350 140737278005472 140335063062568 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.11
Current children cumulated vsize (KiB) 512192
[startup+1799.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9927
/proc/meminfo: memFree=23144548/32873844 swapFree=7112/7112
[pid=9848] ppid=9846 vsize=512192 CPUtime=1799.5 cores=1,3,5,7
/proc/9848/stat : 9848 (wbo1.72) S 9846 9848 7385 0 -1 4202496 120373 0 0 0 179815 135 0 0 20 0 2 0 332361829 524484608 121244 33554432000 4194304 5964350 140737278005472 140737278004992 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9848/statm: 128048 121244 190 433 0 127612 0
[pid=9848/tid=9849] ppid=9846 vsize=512192 CPUtime=1799.72 cores=1,3,5,7
/proc/9848/task/9849/stat : 9849 (wbo1.72) R 9846 9848 7385 0 -1 4202560 119670 0 0 0 179809 163 0 0 20 0 2 0 332361829 524484608 121244 33554432000 4194304 5964350 140737278005472 140335063062568 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.5
Current children cumulated vsize (KiB) 512192
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9927
/proc/meminfo: memFree=23144548/32873844 swapFree=7112/7112
[pid=9848] ppid=9846 vsize=512192 CPUtime=1799.6 cores=1,3,5,7
/proc/9848/stat : 9848 (wbo1.72) S 9846 9848 7385 0 -1 4202496 120379 0 0 0 179825 135 0 0 20 0 2 0 332361829 524484608 121250 33554432000 4194304 5964350 140737278005472 140737278004992 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9848/statm: 128048 121250 190 433 0 127612 0
[pid=9848/tid=9849] ppid=9846 vsize=512192 CPUtime=1799.82 cores=1,3,5,7
/proc/9848/task/9849/stat : 9849 (wbo1.72) R 9846 9848 7385 0 -1 4202560 119676 0 0 0 179819 163 0 0 20 0 2 0 332361829 524484608 121250 33554432000 4194304 5964350 140737278005472 140335063062568 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.6
Current children cumulated vsize (KiB) 512192
Child status: 255
Real time (s): 1800.01
CPU time (s): 1799.84
CPU user time (s): 1798.2
CPU system time (s): 1.64575
CPU usage (%): 99.9909
Max. virtual memory (cumulated for all children) (KiB): 512192
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.2
system time used= 1.64575
maximum resident set size= 485012
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 120382
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= 175
involuntary context switches= 1842
runsolver used 2.71959 second user time and 7.12992 second system time
The end