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-3705614-1338113531/watcher-3705614-1338113531 -o /tmp/evaluation-result-3705614-1338113531/solver-3705614-1338113531 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3705614-1338113531.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 3/177 20998
/proc/meminfo: memFree=26958048/32873844 swapFree=6088/6088
[pid=20998] ppid=20996 vsize=4328 CPUtime=0 cores=0,2,4,6
/proc/20998/stat : 20998 (wbo1.7) R 20996 20998 16852 0 -1 4202496 520 0 0 0 0 0 0 0 20 0 1 0 277481659 4431872 472 33554432000 4194304 5963574 140736651276608 140736221096680 5135572 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/20998/statm: 1082 472 167 432 0 584 0
[startup+0.0682661 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20998
/proc/meminfo: memFree=26958048/32873844 swapFree=6088/6088
[pid=20998] ppid=20996 vsize=85788 CPUtime=0.06 cores=0,2,4,6
/proc/20998/stat : 20998 (wbo1.7) S 20996 20998 16852 0 -1 4202496 2049 0 0 0 6 0 0 0 20 0 2 0 277481659 87846912 1938 33554432000 4194304 5963574 140736651276608 140736651276128 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20998/statm: 21447 1938 186 432 0 21012 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 85788
[startup+0.10028 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20998
/proc/meminfo: memFree=26958048/32873844 swapFree=6088/6088
[pid=20998] ppid=20996 vsize=85788 CPUtime=0.09 cores=0,2,4,6
/proc/20998/stat : 20998 (wbo1.7) S 20996 20998 16852 0 -1 4202496 2099 0 0 0 9 0 0 0 20 0 2 0 277481659 87846912 1988 33554432000 4194304 5963574 140736651276608 140736651276128 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20998/statm: 21447 1988 187 432 0 21012 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 85788
[startup+0.300226 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20998
/proc/meminfo: memFree=26958048/32873844 swapFree=6088/6088
[pid=20998] ppid=20996 vsize=85788 CPUtime=0.29 cores=0,2,4,6
/proc/20998/stat : 20998 (wbo1.7) S 20996 20998 16852 0 -1 4202496 2577 0 0 0 29 0 0 0 20 0 2 0 277481659 87846912 2466 33554432000 4194304 5963574 140736651276608 140736651276128 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20998/statm: 21447 2466 187 432 0 21012 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 85788
[startup+0.700231 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20998
/proc/meminfo: memFree=26958048/32873844 swapFree=6088/6088
[pid=20998] ppid=20996 vsize=85788 CPUtime=0.68 cores=0,2,4,6
/proc/20998/stat : 20998 (wbo1.7) S 20996 20998 16852 0 -1 4202496 3698 0 0 0 68 0 0 0 20 0 2 0 277481659 87846912 3587 33554432000 4194304 5963574 140736651276608 140736651276128 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20998/statm: 21447 3587 187 432 0 21012 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 85788
[startup+1.50025 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21000
/proc/meminfo: memFree=26943004/32873844 swapFree=6088/6088
[pid=20998] ppid=20996 vsize=85932 CPUtime=1.49 cores=0,2,4,6
/proc/20998/stat : 20998 (wbo1.7) S 20996 20998 16852 0 -1 4202496 4559 0 0 0 148 1 0 0 20 0 2 0 277481659 87994368 4448 33554432000 4194304 5963574 140736651276608 140736651276128 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20998/statm: 21483 4448 187 432 0 21048 0
[pid=20998/tid=21000] ppid=20996 vsize=85932 CPUtime=1.46 cores=0,2,4,6
/proc/20998/task/21000/stat : 21000 (wbo1.7) R 20996 20998 16852 0 -1 4202560 3252 0 0 0 146 0 0 0 20 0 2 0 277481662 87994368 4448 33554432000 4194304 5963574 140736651276608 140708824303608 4378832 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 85932
[startup+3.10026 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21000
/proc/meminfo: memFree=26939408/32873844 swapFree=6088/6088
[pid=20998] ppid=20996 vsize=85932 CPUtime=3.09 cores=0,2,4,6
/proc/20998/stat : 20998 (wbo1.7) S 20996 20998 16852 0 -1 4202496 5009 0 0 0 308 1 0 0 20 0 2 0 277481659 87994368 4898 33554432000 4194304 5963574 140736651276608 140736651276128 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20998/statm: 21483 4898 187 432 0 21048 0
[pid=20998/tid=21000] ppid=20996 vsize=85932 CPUtime=3.06 cores=0,2,4,6
/proc/20998/task/21000/stat : 21000 (wbo1.7) R 20996 20998 16852 0 -1 4202560 3702 0 0 0 306 0 0 0 20 0 2 0 277481662 87994368 4898 33554432000 4194304 5963574 140736651276608 140708824303656 4400093 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 85932
[startup+6.30029 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21000
/proc/meminfo: memFree=26930092/32873844 swapFree=6088/6088
[pid=20998] ppid=20996 vsize=86004 CPUtime=6.28 cores=0,2,4,6
/proc/20998/stat : 20998 (wbo1.7) S 20996 20998 16852 0 -1 4202496 6966 0 0 0 627 1 0 0 20 0 2 0 277481659 88068096 6988 33554432000 4194304 5963574 140736651276608 140736651276128 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20998/statm: 21501 6988 187 432 0 21066 0
[pid=20998/tid=21000] ppid=20996 vsize=86004 CPUtime=6.25 cores=0,2,4,6
/proc/20998/task/21000/stat : 21000 (wbo1.7) R 20996 20998 16852 0 -1 4202560 5659 0 0 0 624 1 0 0 20 0 2 0 277481662 88068096 6988 33554432000 4194304 5963574 140736651276608 140708824303656 4399968 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 86004
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21000
/proc/meminfo: memFree=26917252/32873844 swapFree=6088/6088
[pid=20998] ppid=20996 vsize=86292 CPUtime=12.68 cores=0,2,4,6
/proc/20998/stat : 20998 (wbo1.7) S 20996 20998 16852 0 -1 4202496 9192 0 0 0 1266 2 0 0 20 0 2 0 277481659 88363008 9214 33554432000 4194304 5963574 140736651276608 140736651276128 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20998/statm: 21573 9214 187 432 0 21138 0
[pid=20998/tid=21000] ppid=20996 vsize=86292 CPUtime=12.65 cores=0,2,4,6
/proc/20998/task/21000/stat : 21000 (wbo1.7) R 20996 20998 16852 0 -1 4202560 7885 0 0 0 1263 2 0 0 20 0 2 0 277481662 88363008 9214 33554432000 4194304 5963574 140736651276608 140708824303656 4381807 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 86292
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21000
/proc/meminfo: memFree=26906920/32873844 swapFree=6088/6088
[pid=20998] ppid=20996 vsize=87552 CPUtime=25.47 cores=0,2,4,6
/proc/20998/stat : 20998 (wbo1.7) S 20996 20998 16852 0 -1 4202496 11843 0 0 0 2545 2 0 0 20 0 2 0 277481659 89653248 11919 33554432000 4194304 5963574 140736651276608 140736651276128 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20998/statm: 21888 11919 187 432 0 21453 0
[pid=20998/tid=21000] ppid=20996 vsize=87552 CPUtime=25.45 cores=0,2,4,6
/proc/20998/task/21000/stat : 21000 (wbo1.7) R 20996 20998 16852 0 -1 4202560 10536 0 0 0 2542 3 0 0 20 0 2 0 277481662 89653248 11919 33554432000 4194304 5963574 140736651276608 140708824303608 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 87552
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21000
/proc/meminfo: memFree=26882300/32873844 swapFree=6088/6088
[pid=20998] ppid=20996 vsize=90256 CPUtime=51.06 cores=0,2,4,6
/proc/20998/stat : 20998 (wbo1.7) S 20996 20998 16852 0 -1 4202496 17203 0 0 0 5102 4 0 0 20 0 2 0 277481659 92422144 18484 33554432000 4194304 5963574 140736651276608 140736651276128 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20998/statm: 22564 18484 187 432 0 22129 0
[pid=20998/tid=21000] ppid=20996 vsize=90256 CPUtime=51.05 cores=0,2,4,6
/proc/20998/task/21000/stat : 21000 (wbo1.7) R 20996 20998 16852 0 -1 4202560 15896 0 0 0 5100 5 0 0 20 0 2 0 277481662 92422144 18484 33554432000 4194304 5963574 140736651276608 140708824303608 4399651 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 90256
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21000
/proc/meminfo: memFree=26824836/32873844 swapFree=6088/6088
[pid=20998] ppid=20996 vsize=166304 CPUtime=102.27 cores=0,2,4,6
/proc/20998/stat : 20998 (wbo1.7) S 20996 20998 16852 0 -1 4202496 29455 0 0 0 10218 9 0 0 20 0 2 0 277481659 170295296 30736 33554432000 4194304 5963574 140736651276608 140736651276128 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20998/statm: 41576 30736 187 432 0 41141 0
[pid=20998/tid=21000] ppid=20996 vsize=166304 CPUtime=102.25 cores=0,2,4,6
/proc/20998/task/21000/stat : 21000 (wbo1.7) R 20996 20998 16852 0 -1 4202560 28148 0 0 0 10214 11 0 0 20 0 2 0 277481662 170295296 30736 33554432000 4194304 5963574 140736651276608 140708824303656 4399456 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 166304
[startup+162.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 21000
/proc/meminfo: memFree=26756760/32873844 swapFree=6088/6088
[pid=20998] ppid=20996 vsize=237952 CPUtime=162.25 cores=0,2,4,6
/proc/20998/stat : 20998 (wbo1.7) S 20996 20998 16852 0 -1 4202496 41297 0 0 0 16212 13 0 0 20 0 2 0 277481659 243662848 42558 33554432000 4194304 5963574 140736651276608 140736651276128 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20998/statm: 59488 42558 187 432 0 59053 0
[pid=20998/tid=21000] ppid=20996 vsize=237952 CPUtime=162.25 cores=0,2,4,6
/proc/20998/task/21000/stat : 21000 (wbo1.7) R 20996 20998 16852 0 -1 4202560 39990 0 0 0 16209 16 0 0 20 0 2 0 277481662 243662848 42558 33554432000 4194304 5963574 140736651276608 140708824303656 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 237952
[startup+222.3 s]
/proc/loadavg: 2.09 2.02 2.00 3/179 21000
/proc/meminfo: memFree=26750300/32873844 swapFree=6088/6088
[pid=20998] ppid=20996 vsize=238444 CPUtime=222.23 cores=0,2,4,6
/proc/20998/stat : 20998 (wbo1.7) S 20996 20998 16852 0 -1 4202496 41395 0 0 0 22210 13 0 0 20 0 2 0 277481659 244166656 42291 33554432000 4194304 5963574 140736651276608 140736651276128 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20998/statm: 59611 42291 187 432 0 59176 0
[pid=20998/tid=21000] ppid=20996 vsize=238444 CPUtime=222.24 cores=0,2,4,6
/proc/20998/task/21000/stat : 21000 (wbo1.7) R 20996 20998 16852 0 -1 4202560 40088 0 0 0 22207 17 0 0 20 0 2 0 277481662 244166656 42291 33554432000 4194304 5963574 140736651276608 140708824303656 4381238 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 238444
[startup+282.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/179 21000
/proc/meminfo: memFree=26682748/32873844 swapFree=6088/6088
[pid=20998] ppid=20996 vsize=239704 CPUtime=282.2 cores=0,2,4,6
/proc/20998/stat : 20998 (wbo1.7) S 20996 20998 16852 0 -1 4202496 52748 0 0 0 28200 20 0 0 20 0 2 0 277481659 245456896 53640 33554432000 4194304 5963574 140736651276608 140736651276128 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20998/statm: 59926 53640 187 432 0 59491 0
[pid=20998/tid=21000] ppid=20996 vsize=239704 CPUtime=282.21 cores=0,2,4,6
/proc/20998/task/21000/stat : 21000 (wbo1.7) R 20996 20998 16852 0 -1 4202560 51441 0 0 0 28197 24 0 0 20 0 2 0 277481662 245456896 53640 33554432000 4194304 5963574 140736651276608 140708824303608 4399627 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 239704
[startup+342.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 21001
/proc/meminfo: memFree=26631616/32873844 swapFree=6088/6088
[pid=20998] ppid=20996 vsize=312808 CPUtime=342.17 cores=0,2,4,6
/proc/20998/stat : 20998 (wbo1.7) S 20996 20998 16852 0 -1 4202496 64405 0 0 0 34189 28 0 0 20 0 2 0 277481659 320315392 65318 33554432000 4194304 5963574 140736651276608 140736651276128 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20998/statm: 78202 65318 187 432 0 77767 0
[pid=20998/tid=21000] ppid=20996 vsize=312808 CPUtime=342.2 cores=0,2,4,6
/proc/20998/task/21000/stat : 21000 (wbo1.7) R 20996 20998 16852 0 -1 4202560 63098 0 0 0 34186 34 0 0 20 0 2 0 277481662 320315392 65318 33554432000 4194304 5963574 140736651276608 140708824303608 4378544 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 312808
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 21001
/proc/meminfo: memFree=26585960/32873844 swapFree=6088/6088
[pid=20998] ppid=20996 vsize=317356 CPUtime=402.16 cores=0,2,4,6
/proc/20998/stat : 20998 (wbo1.7) S 20996 20998 16852 0 -1 4202496 70442 0 0 0 40184 32 0 0 20 0 2 0 277481659 324972544 71355 33554432000 4194304 5963574 140736651276608 140736651276128 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20998/statm: 79339 71355 187 432 0 78904 0
[pid=20998/tid=21000] ppid=20996 vsize=317356 CPUtime=402.2 cores=0,2,4,6
/proc/20998/task/21000/stat : 21000 (wbo1.7) R 20996 20998 16852 0 -1 4202560 69135 0 0 0 40181 39 0 0 20 0 2 0 277481662 324972544 71355 33554432000 4194304 5963574 140736651276608 140708824303608 5135572 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 317356
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21001
/proc/meminfo: memFree=26575740/32873844 swapFree=6088/6088
[pid=20998] ppid=20996 vsize=317748 CPUtime=462.16 cores=0,2,4,6
################
# More data... #
################
/proc/20998/statm: 133930 119043 187 432 0 133495 0
[pid=20998/tid=21000] ppid=20996 vsize=535720 CPUtime=1302.19 cores=0,2,4,6
/proc/20998/task/21000/stat : 21000 (wbo1.7) R 20996 20998 16852 0 -1 4202560 116895 0 0 0 130120 99 0 0 20 0 2 0 277481662 548577280 119043 33554432000 4194304 5963574 140736651276608 140708824303656 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 535720
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21112
/proc/meminfo: memFree=26609632/32873844 swapFree=6088/6088
[pid=20998] ppid=20996 vsize=536464 CPUtime=1361.95 cores=0,2,4,6
/proc/20998/stat : 20998 (wbo1.7) S 20996 20998 16852 0 -1 4202496 125382 0 0 0 136108 87 0 0 20 0 2 0 277481659 549339136 126208 33554432000 4194304 5963574 140736651276608 140736651276128 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20998/statm: 134116 126208 187 432 0 133681 0
[pid=20998/tid=21000] ppid=20996 vsize=536464 CPUtime=1362.17 cores=0,2,4,6
/proc/20998/task/21000/stat : 21000 (wbo1.7) R 20996 20998 16852 0 -1 4202560 124075 0 0 0 136109 108 0 0 20 0 2 0 277481662 549339136 126208 33554432000 4194304 5963574 140736651276608 140708824303608 4399554 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 536464
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21112
/proc/meminfo: memFree=26586320/32873844 swapFree=6088/6088
[pid=20998] ppid=20996 vsize=537804 CPUtime=1421.94 cores=0,2,4,6
/proc/20998/stat : 20998 (wbo1.7) S 20996 20998 16852 0 -1 4202496 125745 0 0 0 142107 87 0 0 20 0 2 0 277481659 550711296 126571 33554432000 4194304 5963574 140736651276608 140736651276128 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20998/statm: 134451 126571 187 432 0 134016 0
[pid=20998/tid=21000] ppid=20996 vsize=537804 CPUtime=1422.18 cores=0,2,4,6
/proc/20998/task/21000/stat : 21000 (wbo1.7) R 20996 20998 16852 0 -1 4202560 124438 0 0 0 142109 109 0 0 20 0 2 0 277481662 550711296 126571 33554432000 4194304 5963574 140736651276608 140708824303656 4222330 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 537804
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21112
/proc/meminfo: memFree=26536348/32873844 swapFree=6088/6088
[pid=20998] ppid=20996 vsize=604240 CPUtime=1481.93 cores=0,2,4,6
/proc/20998/stat : 20998 (wbo1.7) S 20996 20998 16852 0 -1 4202496 133490 0 0 0 148096 97 0 0 20 0 2 0 277481659 618741760 134316 33554432000 4194304 5963574 140736651276608 140736651276128 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20998/statm: 151060 134316 187 432 0 150625 0
[pid=20998/tid=21000] ppid=20996 vsize=604240 CPUtime=1482.18 cores=0,2,4,6
/proc/20998/task/21000/stat : 21000 (wbo1.7) R 20996 20998 16852 0 -1 4202560 132183 0 0 0 148099 119 0 0 20 0 2 0 277481662 618741760 134316 33554432000 4194304 5963574 140736651276608 140708824303608 4378832 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 604240
[startup+1542.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/179 21113
/proc/meminfo: memFree=26505100/32873844 swapFree=6088/6088
[pid=20998] ppid=20996 vsize=604564 CPUtime=1541.92 cores=0,2,4,6
/proc/20998/stat : 20998 (wbo1.7) S 20996 20998 16852 0 -1 4202496 133584 0 0 0 154095 97 0 0 20 0 2 0 277481659 619073536 134410 33554432000 4194304 5963574 140736651276608 140736651276128 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20998/statm: 151141 134410 187 432 0 150706 0
[pid=20998/tid=21000] ppid=20996 vsize=604564 CPUtime=1542.18 cores=0,2,4,6
/proc/20998/task/21000/stat : 21000 (wbo1.7) R 20996 20998 16852 0 -1 4202560 132277 0 0 0 154098 120 0 0 20 0 2 0 277481662 619073536 134410 33554432000 4194304 5963574 140736651276608 140708824303416 4399456 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.92
Current children cumulated vsize (KiB) 604564
[startup+1602.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 21113
/proc/meminfo: memFree=26461188/32873844 swapFree=6088/6088
[pid=20998] ppid=20996 vsize=608248 CPUtime=1601.91 cores=0,2,4,6
/proc/20998/stat : 20998 (wbo1.7) S 20996 20998 16852 0 -1 4202496 139027 0 0 0 160089 102 0 0 20 0 2 0 277481659 622845952 139853 33554432000 4194304 5963574 140736651276608 140736651276128 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20998/statm: 152062 139853 187 432 0 151627 0
[pid=20998/tid=21000] ppid=20996 vsize=608248 CPUtime=1602.18 cores=0,2,4,6
/proc/20998/task/21000/stat : 21000 (wbo1.7) R 20996 20998 16852 0 -1 4202560 137720 0 0 0 160091 127 0 0 20 0 2 0 277481662 622845952 139853 33554432000 4194304 5963574 140736651276608 140708824303128 4399546 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.91
Current children cumulated vsize (KiB) 608248
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21113
/proc/meminfo: memFree=26429020/32873844 swapFree=6088/6088
[pid=20998] ppid=20996 vsize=608408 CPUtime=1661.89 cores=0,2,4,6
/proc/20998/stat : 20998 (wbo1.7) S 20996 20998 16852 0 -1 4202496 142538 0 0 0 166083 106 0 0 20 0 2 0 277481659 623009792 143364 33554432000 4194304 5963574 140736651276608 140736651276128 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20998/statm: 152102 143364 187 432 0 151667 0
[pid=20998/tid=21000] ppid=20996 vsize=608408 CPUtime=1662.18 cores=0,2,4,6
/proc/20998/task/21000/stat : 21000 (wbo1.7) R 20996 20998 16852 0 -1 4202560 141231 0 0 0 166086 132 0 0 20 0 2 0 277481662 623009792 143364 33554432000 4194304 5963574 140736651276608 140708824303608 4399456 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.89
Current children cumulated vsize (KiB) 608408
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 21116
/proc/meminfo: memFree=26415700/32873844 swapFree=6088/6088
[pid=20998] ppid=20996 vsize=608768 CPUtime=1721.88 cores=0,2,4,6
/proc/20998/stat : 20998 (wbo1.7) S 20996 20998 16852 0 -1 4202496 142657 0 0 0 172081 107 0 0 20 0 2 0 277481659 623378432 143470 33554432000 4194304 5963574 140736651276608 140736651276128 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20998/statm: 152192 143470 187 432 0 151757 0
[pid=20998/tid=21000] ppid=20996 vsize=608768 CPUtime=1722.17 cores=0,2,4,6
/proc/20998/task/21000/stat : 21000 (wbo1.7) R 20996 20998 16852 0 -1 4202560 141350 0 0 0 172084 133 0 0 20 0 2 0 277481662 623378432 143470 33554432000 4194304 5963574 140736651276608 140708824303656 4399456 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.88
Current children cumulated vsize (KiB) 608768
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21116
/proc/meminfo: memFree=26395072/32873844 swapFree=6088/6088
[pid=20998] ppid=20996 vsize=608768 CPUtime=1781.84 cores=0,2,4,6
/proc/20998/stat : 20998 (wbo1.7) S 20996 20998 16852 0 -1 4202496 144249 0 0 0 178075 109 0 0 20 0 2 0 277481659 623378432 145047 33554432000 4194304 5963574 140736651276608 140736651276128 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20998/statm: 152192 145047 187 432 0 151757 0
[pid=20998/tid=21000] ppid=20996 vsize=608768 CPUtime=1782.15 cores=0,2,4,6
/proc/20998/task/21000/stat : 21000 (wbo1.7) R 20996 20998 16852 0 -1 4202560 142942 0 0 0 178078 137 0 0 20 0 2 0 277481662 623378432 145047 33554432000 4194304 5963574 140736651276608 140708824303608 4399456 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 608768
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 21116
/proc/meminfo: memFree=26388500/32873844 swapFree=6088/6088
[pid=20998] ppid=20996 vsize=608768 CPUtime=1791.45 cores=0,2,4,6
/proc/20998/stat : 20998 (wbo1.7) S 20996 20998 16852 0 -1 4202496 145653 0 0 0 179034 111 0 0 20 0 2 0 277481659 623378432 146451 33554432000 4194304 5963574 140736651276608 140736651276128 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20998/statm: 152192 146451 187 432 0 151757 0
[pid=20998/tid=21000] ppid=20996 vsize=608768 CPUtime=1791.75 cores=0,2,4,6
/proc/20998/task/21000/stat : 21000 (wbo1.7) R 20996 20998 16852 0 -1 4202560 144346 0 0 0 179037 138 0 0 20 0 2 0 277481662 623378432 146451 33554432000 4194304 5963574 140736651276608 140708824303128 4399456 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1791.45
Current children cumulated vsize (KiB) 608768
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21116
/proc/meminfo: memFree=26386516/32873844 swapFree=6088/6088
[pid=20998] ppid=20996 vsize=608768 CPUtime=1794.64 cores=0,2,4,6
/proc/20998/stat : 20998 (wbo1.7) S 20996 20998 16852 0 -1 4202496 146110 0 0 0 179353 111 0 0 20 0 2 0 277481659 623378432 146908 33554432000 4194304 5963574 140736651276608 140736651276128 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20998/statm: 152192 146908 187 432 0 151757 0
[pid=20998/tid=21000] ppid=20996 vsize=608768 CPUtime=1794.96 cores=0,2,4,6
/proc/20998/task/21000/stat : 21000 (wbo1.7) R 20996 20998 16852 0 -1 4202560 144803 0 0 0 179357 139 0 0 20 0 2 0 277481662 623378432 146908 33554432000 4194304 5963574 140736651276608 140708824303416 4399456 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1794.64
Current children cumulated vsize (KiB) 608768
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21116
/proc/meminfo: memFree=26385400/32873844 swapFree=6088/6088
[pid=20998] ppid=20996 vsize=674304 CPUtime=1797.83 cores=0,2,4,6
/proc/20998/stat : 20998 (wbo1.7) S 20996 20998 16852 0 -1 4202496 146563 0 0 0 179672 111 0 0 20 0 2 0 277481659 690487296 147361 33554432000 4194304 5963574 140736651276608 140736651276128 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20998/statm: 168576 147361 187 432 0 168141 0
[pid=20998/tid=21000] ppid=20996 vsize=674304 CPUtime=1798.15 cores=0,2,4,6
/proc/20998/task/21000/stat : 21000 (wbo1.7) R 20996 20998 16852 0 -1 4202560 145256 0 0 0 179676 139 0 0 20 0 2 0 277481662 690487296 147361 33554432000 4194304 5963574 140736651276608 140708824303128 4399456 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1797.83
Current children cumulated vsize (KiB) 674304
[startup+1799.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21116
/proc/meminfo: memFree=26384780/32873844 swapFree=6088/6088
[pid=20998] ppid=20996 vsize=674304 CPUtime=1798.63 cores=0,2,4,6
/proc/20998/stat : 20998 (wbo1.7) S 20996 20998 16852 0 -1 4202496 146654 0 0 0 179752 111 0 0 20 0 2 0 277481659 690487296 147452 33554432000 4194304 5963574 140736651276608 140736651276128 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20998/statm: 168576 147452 187 432 0 168141 0
[pid=20998/tid=21000] ppid=20996 vsize=674304 CPUtime=1798.95 cores=0,2,4,6
/proc/20998/task/21000/stat : 21000 (wbo1.7) R 20996 20998 16852 0 -1 4202560 145347 0 0 0 179756 139 0 0 20 0 2 0 277481662 690487296 147452 33554432000 4194304 5963574 140736651276608 140708824303128 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1798.63
Current children cumulated vsize (KiB) 674304
[startup+1799.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21116
/proc/meminfo: memFree=26384408/32873844 swapFree=6088/6088
[pid=20998] ppid=20996 vsize=674304 CPUtime=1799.04 cores=0,2,4,6
/proc/20998/stat : 20998 (wbo1.7) S 20996 20998 16852 0 -1 4202496 146687 0 0 0 179793 111 0 0 20 0 2 0 277481659 690487296 147485 33554432000 4194304 5963574 140736651276608 140736651276128 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20998/statm: 168576 147485 187 432 0 168141 0
[pid=20998/tid=21000] ppid=20996 vsize=674304 CPUtime=1799.36 cores=0,2,4,6
/proc/20998/task/21000/stat : 21000 (wbo1.7) R 20996 20998 16852 0 -1 4202560 145380 0 0 0 179797 139 0 0 20 0 2 0 277481662 690487296 147485 33554432000 4194304 5963574 140736651276608 140708824303128 4399456 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.04
Current children cumulated vsize (KiB) 674304
[startup+1799.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21116
/proc/meminfo: memFree=26384408/32873844 swapFree=6088/6088
[pid=20998] ppid=20996 vsize=674304 CPUtime=1799.43 cores=0,2,4,6
/proc/20998/stat : 20998 (wbo1.7) S 20996 20998 16852 0 -1 4202496 146728 0 0 0 179832 111 0 0 20 0 2 0 277481659 690487296 147526 33554432000 4194304 5963574 140736651276608 140736651276128 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20998/statm: 168576 147526 187 432 0 168141 0
[pid=20998/tid=21000] ppid=20996 vsize=674304 CPUtime=1799.75 cores=0,2,4,6
/proc/20998/task/21000/stat : 21000 (wbo1.7) R 20996 20998 16852 0 -1 4202560 145421 0 0 0 179836 139 0 0 20 0 2 0 277481662 690487296 147526 33554432000 4194304 5963574 140736651276608 140708824303128 4399456 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.43
Current children cumulated vsize (KiB) 674304
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21116
/proc/meminfo: memFree=26384408/32873844 swapFree=6088/6088
[pid=20998] ppid=20996 vsize=0 CPUtime=1799.88 cores=0,2,4,6
/proc/20998/stat : 20998 (wbo1.7) R 20996 20998 16852 0 -1 4203524 146741 0 0 0 179848 140 0 0 20 0 1 0 277481659 0 0 33554432000 0 0 0 0 0 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20998/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1799.88
Current children cumulated vsize (KiB) 0
Child status: 255
Real time (s): 1800.01
CPU time (s): 1799.9
CPU user time (s): 1798.49
CPU system time (s): 1.40879
CPU usage (%): 99.9939
Max. virtual memory (cumulated for all children) (KiB): 674304
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.49
system time used= 1.40878
maximum resident set size= 590156
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 146741
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= 218
involuntary context switches= 1905
runsolver used 3.41748 second user time and 7.85081 second system time
The end