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-3727998-1338655153/watcher-3727998-1338655153 -o /tmp/evaluation-result-3727998-1338655153/solver-3727998-1338655153 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=opb HOME/instance-3727998-1338655153.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.01 1.94 3/176 22547
/proc/meminfo: memFree=27757080/32873844 swapFree=7116/7116
[pid=22547] ppid=22545 vsize=7248 CPUtime=0 cores=0,2,4,6
/proc/22547/stat : 22547 (wbo1.72) R 22545 22547 19272 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 331643948 7421952 561 33554432000 4194304 5964350 140736475047200 140734934192648 4344688 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/22547/statm: 1812 561 166 433 0 667 0
[startup+0.056183 s]
/proc/loadavg: 2.00 2.01 1.94 3/176 22547
/proc/meminfo: memFree=27757080/32873844 swapFree=7116/7116
[pid=22547] ppid=22545 vsize=16540 CPUtime=0.05 cores=0,2,4,6
/proc/22547/stat : 22547 (wbo1.72) R 22545 22547 19272 0 -1 4202496 2974 0 0 0 5 0 0 0 20 0 1 0 331643948 16936960 2813 33554432000 4194304 5964350 140736475047200 140734934192648 5136410 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/22547/statm: 4135 2813 304 433 0 2990 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 16540
[startup+0.100259 s]
/proc/loadavg: 2.00 2.01 1.94 3/176 22547
/proc/meminfo: memFree=27757080/32873844 swapFree=7116/7116
[pid=22547] ppid=22545 vsize=19292 CPUtime=0.09 cores=0,2,4,6
/proc/22547/stat : 22547 (wbo1.72) R 22545 22547 19272 0 -1 4202496 3778 0 0 0 9 0 0 0 20 0 1 0 331643948 19755008 3617 33554432000 4194304 5964350 140736475047200 140734934192648 5136410 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/22547/statm: 4823 3617 434 433 0 3678 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19292
[startup+0.300263 s]
/proc/loadavg: 2.00 2.01 1.94 3/176 22547
/proc/meminfo: memFree=27757080/32873844 swapFree=7116/7116
[pid=22547] ppid=22545 vsize=114344 CPUtime=0.29 cores=0,2,4,6
/proc/22547/stat : 22547 (wbo1.72) S 22545 22547 19272 0 -1 4202496 11601 0 0 0 28 1 0 0 20 0 2 0 331643948 117088256 10731 33554432000 4194304 5964350 140736475047200 140736475046720 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22547/statm: 28586 10734 182 433 0 28150 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 114344
[startup+0.700258 s]
/proc/loadavg: 2.00 2.01 1.94 3/176 22547
/proc/meminfo: memFree=27757080/32873844 swapFree=7116/7116
[pid=22547] ppid=22545 vsize=105400 CPUtime=0.69 cores=0,2,4,6
/proc/22547/stat : 22547 (wbo1.72) S 22545 22547 19272 0 -1 4202496 19185 0 0 0 67 2 0 0 20 0 2 0 331643948 107929600 16377 33554432000 4194304 5964350 140736475047200 140736475046720 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22547/statm: 26350 16377 194 433 0 25914 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 105400
[startup+1.5003 s]
/proc/loadavg: 2.00 2.01 1.94 3/178 22549
/proc/meminfo: memFree=27689268/32873844 swapFree=7116/7116
[pid=22547] ppid=22545 vsize=105400 CPUtime=1.48 cores=0,2,4,6
/proc/22547/stat : 22547 (wbo1.72) S 22545 22547 19272 0 -1 4202496 19979 0 0 0 146 2 0 0 20 0 2 0 331643948 107929600 17170 33554432000 4194304 5964350 140736475047200 140736475046720 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22547/statm: 26350 17170 194 433 0 25914 0
[pid=22547/tid=22549] ppid=22545 vsize=105400 CPUtime=1.25 cores=0,2,4,6
/proc/22547/task/22549/stat : 22549 (wbo1.72) R 22545 22547 19272 0 -1 4202560 13041 0 0 0 122 3 0 0 20 0 2 0 331643973 107929600 17170 33554432000 4194304 5964350 140736475047200 140053381433672 4399840 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 105400
[startup+3.10031 s]
/proc/loadavg: 2.00 2.01 1.94 3/178 22549
/proc/meminfo: memFree=27688160/32873844 swapFree=7116/7116
[pid=22547] ppid=22545 vsize=105400 CPUtime=3.08 cores=0,2,4,6
/proc/22547/stat : 22547 (wbo1.72) S 22545 22547 19272 0 -1 4202496 19979 0 0 0 306 2 0 0 20 0 2 0 331643948 107929600 17170 33554432000 4194304 5964350 140736475047200 140736475046720 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22547/statm: 26350 17170 194 433 0 25914 0
[pid=22547/tid=22549] ppid=22545 vsize=105400 CPUtime=2.85 cores=0,2,4,6
/proc/22547/task/22549/stat : 22549 (wbo1.72) R 22545 22547 19272 0 -1 4202560 13041 0 0 0 282 3 0 0 20 0 2 0 331643973 107929600 17170 33554432000 4194304 5964350 140736475047200 140053381433672 4222330 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 105400
[startup+6.3003 s]
/proc/loadavg: 2.00 2.01 1.94 3/179 22550
/proc/meminfo: memFree=27686044/32873844 swapFree=7116/7116
[pid=22547] ppid=22545 vsize=105400 CPUtime=6.28 cores=0,2,4,6
/proc/22547/stat : 22547 (wbo1.72) S 22545 22547 19272 0 -1 4202496 20010 0 0 0 626 2 0 0 20 0 2 0 331643948 107929600 17201 33554432000 4194304 5964350 140736475047200 140736475046720 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22547/statm: 26350 17201 194 433 0 25914 0
[pid=22547/tid=22549] ppid=22545 vsize=105400 CPUtime=6.05 cores=0,2,4,6
/proc/22547/task/22549/stat : 22549 (wbo1.72) R 22545 22547 19272 0 -1 4202560 13072 0 0 0 602 3 0 0 20 0 2 0 331643973 107929600 17201 33554432000 4194304 5964350 140736475047200 140053381433672 4392882 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) 105400
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 1.94 3/179 22550
/proc/meminfo: memFree=27680968/32873844 swapFree=7116/7116
[pid=22547] ppid=22545 vsize=105400 CPUtime=12.69 cores=0,2,4,6
/proc/22547/stat : 22547 (wbo1.72) S 22545 22547 19272 0 -1 4202496 20424 0 0 0 1266 3 0 0 20 0 2 0 331643948 107929600 17615 33554432000 4194304 5964350 140736475047200 140736475046720 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22547/statm: 26350 17615 194 433 0 25914 0
[pid=22547/tid=22549] ppid=22545 vsize=105400 CPUtime=12.45 cores=0,2,4,6
/proc/22547/task/22549/stat : 22549 (wbo1.72) R 22545 22547 19272 0 -1 4202560 13486 0 0 0 1242 3 0 0 20 0 2 0 331643973 107929600 17615 33554432000 4194304 5964350 140736475047200 140053381433144 4403637 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 105400
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 1.94 3/179 22550
/proc/meminfo: memFree=27660580/32873844 swapFree=7116/7116
[pid=22547] ppid=22545 vsize=105400 CPUtime=25.48 cores=0,2,4,6
/proc/22547/stat : 22547 (wbo1.72) S 22545 22547 19272 0 -1 4202496 23274 0 0 0 2543 5 0 0 20 0 2 0 331643948 107929600 20465 33554432000 4194304 5964350 140736475047200 140736475046720 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22547/statm: 26350 20465 194 433 0 25914 0
[pid=22547/tid=22549] ppid=22545 vsize=105400 CPUtime=25.24 cores=0,2,4,6
/proc/22547/task/22549/stat : 22549 (wbo1.72) R 22545 22547 19272 0 -1 4202560 16336 0 0 0 2519 5 0 0 20 0 2 0 331643973 107929600 20465 33554432000 4194304 5964350 140736475047200 140053381433336 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 105400
[startup+51.1003 s]
/proc/loadavg: 2.00 2.01 1.94 3/180 22553
/proc/meminfo: memFree=27637764/32873844 swapFree=7116/7116
[pid=22547] ppid=22545 vsize=170936 CPUtime=51.09 cores=0,2,4,6
/proc/22547/stat : 22547 (wbo1.72) S 22545 22547 19272 0 -1 4202496 27827 0 0 0 5099 10 0 0 20 0 2 0 331643948 175038464 25018 33554432000 4194304 5964350 140736475047200 140736475046720 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22547/statm: 42734 25018 194 433 0 42298 0
[pid=22547/tid=22549] ppid=22545 vsize=170936 CPUtime=50.84 cores=0,2,4,6
/proc/22547/task/22549/stat : 22549 (wbo1.72) R 22545 22547 19272 0 -1 4202560 20889 0 0 0 5074 10 0 0 20 0 2 0 331643973 175038464 25018 33554432000 4194304 5964350 140736475047200 140053381433336 4399835 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 170936
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 1.94 3/180 22553
/proc/meminfo: memFree=27599996/32873844 swapFree=7116/7116
[pid=22547] ppid=22545 vsize=170936 CPUtime=102.28 cores=0,2,4,6
/proc/22547/stat : 22547 (wbo1.72) S 22545 22547 19272 0 -1 4202496 35950 0 0 0 10213 15 0 0 20 0 2 0 331643948 175038464 33141 33554432000 4194304 5964350 140736475047200 140736475046720 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22547/statm: 42734 33141 194 433 0 42298 0
[pid=22547/tid=22549] ppid=22545 vsize=170936 CPUtime=102.05 cores=0,2,4,6
/proc/22547/task/22549/stat : 22549 (wbo1.72) R 22545 22547 19272 0 -1 4202560 29012 0 0 0 10189 16 0 0 20 0 2 0 331643973 175038464 33141 33554432000 4194304 5964350 140736475047200 140053381433336 4392888 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 170936
[startup+162.3 s]
/proc/loadavg: 2.04 2.01 1.95 3/179 22553
/proc/meminfo: memFree=27560916/32873844 swapFree=7116/7116
[pid=22547] ppid=22545 vsize=236472 CPUtime=162.27 cores=0,2,4,6
/proc/22547/stat : 22547 (wbo1.72) S 22545 22547 19272 0 -1 4202496 43628 0 0 0 16209 18 0 0 20 0 2 0 331643948 242147328 40817 33554432000 4194304 5964350 140736475047200 140736475046720 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22547/statm: 59118 40817 194 433 0 58682 0
[pid=22547/tid=22549] ppid=22545 vsize=236472 CPUtime=162.05 cores=0,2,4,6
/proc/22547/task/22549/stat : 22549 (wbo1.72) R 22545 22547 19272 0 -1 4202560 36690 0 0 0 16185 20 0 0 20 0 2 0 331643973 242147328 40817 33554432000 4194304 5964350 140736475047200 140053381433672 4400007 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 236472
[startup+222.3 s]
/proc/loadavg: 2.01 2.01 1.95 3/179 22553
/proc/meminfo: memFree=27522972/32873844 swapFree=7116/7116
[pid=22547] ppid=22545 vsize=236472 CPUtime=222.26 cores=0,2,4,6
/proc/22547/stat : 22547 (wbo1.72) S 22545 22547 19272 0 -1 4202496 43842 0 0 0 22208 18 0 0 20 0 2 0 331643948 242147328 41031 33554432000 4194304 5964350 140736475047200 140736475046720 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22547/statm: 59118 41031 194 433 0 58682 0
[pid=22547/tid=22549] ppid=22545 vsize=236472 CPUtime=222.05 cores=0,2,4,6
/proc/22547/task/22549/stat : 22549 (wbo1.72) R 22545 22547 19272 0 -1 4202560 36904 0 0 0 22184 21 0 0 20 0 2 0 331643973 242147328 41031 33554432000 4194304 5964350 140736475047200 140053381433672 4403290 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 236472
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 22553
/proc/meminfo: memFree=27470644/32873844 swapFree=7116/7116
[pid=22547] ppid=22545 vsize=236472 CPUtime=282.24 cores=0,2,4,6
/proc/22547/stat : 22547 (wbo1.72) S 22545 22547 19272 0 -1 4202496 54593 0 0 0 28199 25 0 0 20 0 2 0 331643948 242147328 51782 33554432000 4194304 5964350 140736475047200 140736475046720 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22547/statm: 59118 51782 194 433 0 58682 0
[pid=22547/tid=22549] ppid=22545 vsize=236472 CPUtime=282.05 cores=0,2,4,6
/proc/22547/task/22549/stat : 22549 (wbo1.72) R 22545 22547 19272 0 -1 4202560 47655 0 0 0 28175 30 0 0 20 0 2 0 331643973 242147328 51782 33554432000 4194304 5964350 140736475047200 140053381433336 4403263 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 236472
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 22554
/proc/meminfo: memFree=27412092/32873844 swapFree=7116/7116
[pid=22547] ppid=22545 vsize=302008 CPUtime=342.23 cores=0,2,4,6
/proc/22547/stat : 22547 (wbo1.72) S 22545 22547 19272 0 -1 4202496 66929 0 0 0 34190 33 0 0 20 0 2 0 331643948 309256192 64603 33554432000 4194304 5964350 140736475047200 140736475046720 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22547/statm: 75502 64603 194 433 0 75066 0
[pid=22547/tid=22549] ppid=22545 vsize=302008 CPUtime=342.05 cores=0,2,4,6
/proc/22547/task/22549/stat : 22549 (wbo1.72) R 22545 22547 19272 0 -1 4202560 59991 0 0 0 34167 38 0 0 20 0 2 0 331643973 309256192 64603 33554432000 4194304 5964350 140736475047200 140053381433336 4403296 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 302008
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 22554
/proc/meminfo: memFree=27347704/32873844 swapFree=7116/7116
[pid=22547] ppid=22545 vsize=367544 CPUtime=402.18 cores=0,2,4,6
/proc/22547/stat : 22547 (wbo1.72) S 22545 22547 19272 0 -1 4202496 76786 0 0 0 40178 40 0 0 20 0 2 0 331643948 376365056 74604 33554432000 4194304 5964350 140736475047200 140736475046720 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22547/statm: 91886 74604 194 433 0 91450 0
[pid=22547/tid=22549] ppid=22545 vsize=367544 CPUtime=402.01 cores=0,2,4,6
/proc/22547/task/22549/stat : 22549 (wbo1.72) R 22545 22547 19272 0 -1 4202560 69848 0 0 0 40155 46 0 0 20 0 2 0 331643973 376365056 74604 33554432000 4194304 5964350 140736475047200 140053381433144 4403460 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 367544
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 22554
/proc/meminfo: memFree=27251508/32873844 swapFree=7116/7116
[pid=22547] ppid=22545 vsize=433080 CPUtime=462.12 cores=0,2,4,6
################
# More data... #
################
/proc/22547/task/22549/stat : 22549 (wbo1.72) R 22545 22547 19272 0 -1 4202560 158801 0 0 0 130074 110 0 0 20 0 2 0 331643973 713572352 164442 33554432000 4194304 5964350 140736475047200 140053381433336 4403293 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.83
Current children cumulated vsize (KiB) 696848
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/180 22637
/proc/meminfo: memFree=27316800/32873844 swapFree=7116/7116
[pid=22547] ppid=22545 vsize=696848 CPUtime=1361.81 cores=0,2,4,6
/proc/22547/stat : 22547 (wbo1.72) S 22545 22547 19272 0 -1 4202496 166335 0 0 0 136090 91 0 0 20 0 2 0 331643948 713572352 165038 33554432000 4194304 5964350 140736475047200 140736475046720 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22547/statm: 174212 165038 194 433 0 173776 0
[pid=22547/tid=22549] ppid=22545 vsize=696848 CPUtime=1361.84 cores=0,2,4,6
/proc/22547/task/22549/stat : 22549 (wbo1.72) R 22545 22547 19272 0 -1 4202560 159397 0 0 0 136072 112 0 0 20 0 2 0 331643973 713572352 165038 33554432000 4194304 5964350 140736475047200 140053381433336 4399774 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.81
Current children cumulated vsize (KiB) 696848
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 22637
/proc/meminfo: memFree=27300384/32873844 swapFree=7116/7116
[pid=22547] ppid=22545 vsize=696848 CPUtime=1421.8 cores=0,2,4,6
/proc/22547/stat : 22547 (wbo1.72) S 22545 22547 19272 0 -1 4202496 166335 0 0 0 142089 91 0 0 20 0 2 0 331643948 713572352 165038 33554432000 4194304 5964350 140736475047200 140736475046720 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22547/statm: 174212 165038 194 433 0 173776 0
[pid=22547/tid=22549] ppid=22545 vsize=696848 CPUtime=1421.85 cores=0,2,4,6
/proc/22547/task/22549/stat : 22549 (wbo1.72) R 22545 22547 19272 0 -1 4202560 159397 0 0 0 142072 113 0 0 20 0 2 0 331643973 713572352 165038 33554432000 4194304 5964350 140736475047200 140053381433336 4222336 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.8
Current children cumulated vsize (KiB) 696848
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 22637
/proc/meminfo: memFree=27235540/32873844 swapFree=7116/7116
[pid=22547] ppid=22545 vsize=696848 CPUtime=1481.79 cores=0,2,4,6
/proc/22547/stat : 22547 (wbo1.72) S 22545 22547 19272 0 -1 4202496 166335 0 0 0 148088 91 0 0 20 0 2 0 331643948 713572352 165038 33554432000 4194304 5964350 140736475047200 140736475046720 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22547/statm: 174212 165038 194 433 0 173776 0
[pid=22547/tid=22549] ppid=22545 vsize=696848 CPUtime=1481.84 cores=0,2,4,6
/proc/22547/task/22549/stat : 22549 (wbo1.72) R 22545 22547 19272 0 -1 4202560 159397 0 0 0 148070 114 0 0 20 0 2 0 331643973 713572352 165038 33554432000 4194304 5964350 140736475047200 140053381433336 4399835 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.79
Current children cumulated vsize (KiB) 696848
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 22639
/proc/meminfo: memFree=27217056/32873844 swapFree=7116/7116
[pid=22547] ppid=22545 vsize=696848 CPUtime=1541.79 cores=0,2,4,6
/proc/22547/stat : 22547 (wbo1.72) S 22545 22547 19272 0 -1 4202496 171018 0 0 0 154086 93 0 0 20 0 2 0 331643948 713572352 169721 33554432000 4194304 5964350 140736475047200 140736475046720 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22547/statm: 174212 169721 194 433 0 173776 0
[pid=22547/tid=22549] ppid=22545 vsize=696848 CPUtime=1541.85 cores=0,2,4,6
/proc/22547/task/22549/stat : 22549 (wbo1.72) R 22545 22547 19272 0 -1 4202560 164080 0 0 0 154069 116 0 0 20 0 2 0 331643973 713572352 169721 33554432000 4194304 5964350 140736475047200 140053381433336 4403296 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.79
Current children cumulated vsize (KiB) 696848
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 22639
/proc/meminfo: memFree=27138812/32873844 swapFree=7116/7116
[pid=22547] ppid=22545 vsize=762384 CPUtime=1601.75 cores=0,2,4,6
/proc/22547/stat : 22547 (wbo1.72) S 22545 22547 19272 0 -1 4202496 184111 0 0 0 160077 98 0 0 20 0 2 0 331643948 780681216 183016 33554432000 4194304 5964350 140736475047200 140736475046720 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22547/statm: 190596 183016 194 433 0 190160 0
[pid=22547/tid=22549] ppid=22545 vsize=762384 CPUtime=1601.83 cores=0,2,4,6
/proc/22547/task/22549/stat : 22549 (wbo1.72) R 22545 22547 19272 0 -1 4202560 177173 0 0 0 160061 122 0 0 20 0 2 0 331643973 780681216 183016 33554432000 4194304 5964350 140736475047200 140053381433144 5136340 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.75
Current children cumulated vsize (KiB) 762384
[startup+1662.3 s]
/proc/loadavg: 2.05 2.01 1.96 3/179 22639
/proc/meminfo: memFree=27037336/32873844 swapFree=7116/7116
[pid=22547] ppid=22545 vsize=827920 CPUtime=1661.72 cores=0,2,4,6
/proc/22547/stat : 22547 (wbo1.72) S 22545 22547 19272 0 -1 4202496 199811 0 0 0 166065 107 0 0 20 0 2 0 331643948 847790080 198742 33554432000 4194304 5964350 140736475047200 140736475046720 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22547/statm: 206980 198742 194 433 0 206544 0
[pid=22547/tid=22549] ppid=22545 vsize=827920 CPUtime=1661.82 cores=0,2,4,6
/proc/22547/task/22549/stat : 22549 (wbo1.72) R 22545 22547 19272 0 -1 4202560 192873 0 0 0 166050 132 0 0 20 0 2 0 331643973 847790080 198742 33554432000 4194304 5964350 140736475047200 140053381433336 4400439 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.72
Current children cumulated vsize (KiB) 827920
[startup+1722.3 s]
/proc/loadavg: 2.02 2.01 1.96 3/179 22639
/proc/meminfo: memFree=26940484/32873844 swapFree=7116/7116
[pid=22547] ppid=22545 vsize=958992 CPUtime=1721.71 cores=0,2,4,6
/proc/22547/stat : 22547 (wbo1.72) S 22545 22547 19272 0 -1 4202496 224378 0 0 0 172052 119 0 0 20 0 2 0 331643948 982007808 223311 33554432000 4194304 5964350 140736475047200 140736475046720 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22547/statm: 239748 223311 194 433 0 239312 0
[pid=22547/tid=22549] ppid=22545 vsize=958992 CPUtime=1721.82 cores=0,2,4,6
/proc/22547/task/22549/stat : 22549 (wbo1.72) R 22545 22547 19272 0 -1 4202560 217440 0 0 0 172036 146 0 0 20 0 2 0 331643973 982007808 223311 33554432000 4194304 5964350 140736475047200 140053381433336 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.71
Current children cumulated vsize (KiB) 958992
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 22639
/proc/meminfo: memFree=26857404/32873844 swapFree=7116/7116
[pid=22547] ppid=22545 vsize=1024528 CPUtime=1781.7 cores=0,2,4,6
/proc/22547/stat : 22547 (wbo1.72) S 22545 22547 19272 0 -1 4202496 244719 0 0 0 178040 130 0 0 20 0 2 0 331643948 1049116672 243652 33554432000 4194304 5964350 140736475047200 140736475046720 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22547/statm: 256132 243652 194 433 0 255696 0
[pid=22547/tid=22549] ppid=22545 vsize=1024528 CPUtime=1781.82 cores=0,2,4,6
/proc/22547/task/22549/stat : 22549 (wbo1.72) R 22545 22547 19272 0 -1 4202560 237781 0 0 0 178025 157 0 0 20 0 2 0 331643973 1049116672 243652 33554432000 4194304 5964350 140736475047200 140053381433336 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.7
Current children cumulated vsize (KiB) 1024528
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 22639
/proc/meminfo: memFree=26843640/32873844 swapFree=7116/7116
[pid=22547] ppid=22545 vsize=1024528 CPUtime=1791.3 cores=0,2,4,6
/proc/22547/stat : 22547 (wbo1.72) S 22545 22547 19272 0 -1 4202496 247982 0 0 0 178999 131 0 0 20 0 2 0 331643948 1049116672 246915 33554432000 4194304 5964350 140736475047200 140736475046720 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22547/statm: 256132 246915 194 433 0 255696 0
[pid=22547/tid=22549] ppid=22545 vsize=1024528 CPUtime=1791.43 cores=0,2,4,6
/proc/22547/task/22549/stat : 22549 (wbo1.72) R 22545 22547 19272 0 -1 4202560 241044 0 0 0 178984 159 0 0 20 0 2 0 331643973 1049116672 246915 33554432000 4194304 5964350 140736475047200 140053381433336 4399840 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1791.3
Current children cumulated vsize (KiB) 1024528
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 22639
/proc/meminfo: memFree=26841036/32873844 swapFree=7116/7116
[pid=22547] ppid=22545 vsize=1024528 CPUtime=1794.51 cores=0,2,4,6
/proc/22547/stat : 22547 (wbo1.72) S 22545 22547 19272 0 -1 4202496 248613 0 0 0 179319 132 0 0 20 0 2 0 331643948 1049116672 247546 33554432000 4194304 5964350 140736475047200 140736475046720 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22547/statm: 256132 247546 194 433 0 255696 0
[pid=22547/tid=22549] ppid=22545 vsize=1024528 CPUtime=1794.63 cores=0,2,4,6
/proc/22547/task/22549/stat : 22549 (wbo1.72) R 22545 22547 19272 0 -1 4202560 241675 0 0 0 179304 159 0 0 20 0 2 0 331643973 1049116672 247546 33554432000 4194304 5964350 140736475047200 140053381433336 4399835 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1794.51
Current children cumulated vsize (KiB) 1024528
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 22639
/proc/meminfo: memFree=26838804/32873844 swapFree=7116/7116
[pid=22547] ppid=22545 vsize=1024528 CPUtime=1797.7 cores=0,2,4,6
/proc/22547/stat : 22547 (wbo1.72) S 22545 22547 19272 0 -1 4202496 249706 0 0 0 179638 132 0 0 20 0 2 0 331643948 1049116672 248639 33554432000 4194304 5964350 140736475047200 140736475046720 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22547/statm: 256132 248639 194 433 0 255696 0
[pid=22547/tid=22549] ppid=22545 vsize=1024528 CPUtime=1797.82 cores=0,2,4,6
/proc/22547/task/22549/stat : 22549 (wbo1.72) R 22545 22547 19272 0 -1 4202560 242768 0 0 0 179623 159 0 0 20 0 2 0 331643973 1049116672 248639 33554432000 4194304 5964350 140736475047200 140053381433336 4392616 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1797.7
Current children cumulated vsize (KiB) 1024528
[startup+1799.1 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 22639
/proc/meminfo: memFree=26836820/32873844 swapFree=7116/7116
[pid=22547] ppid=22545 vsize=1024528 CPUtime=1798.5 cores=0,2,4,6
/proc/22547/stat : 22547 (wbo1.72) S 22545 22547 19272 0 -1 4202496 250014 0 0 0 179718 132 0 0 20 0 2 0 331643948 1049116672 248947 33554432000 4194304 5964350 140736475047200 140736475046720 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22547/statm: 256132 248947 194 433 0 255696 0
[pid=22547/tid=22549] ppid=22545 vsize=1024528 CPUtime=1798.62 cores=0,2,4,6
/proc/22547/task/22549/stat : 22549 (wbo1.72) R 22545 22547 19272 0 -1 4202560 243076 0 0 0 179703 159 0 0 20 0 2 0 331643973 1049116672 248947 33554432000 4194304 5964350 140736475047200 140053381433336 4399840 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1798.5
Current children cumulated vsize (KiB) 1024528
[startup+1799.5 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 22639
/proc/meminfo: memFree=26834960/32873844 swapFree=7116/7116
[pid=22547] ppid=22545 vsize=1024528 CPUtime=1798.9 cores=0,2,4,6
/proc/22547/stat : 22547 (wbo1.72) S 22545 22547 19272 0 -1 4202496 250124 0 0 0 179758 132 0 0 20 0 2 0 331643948 1049116672 249057 33554432000 4194304 5964350 140736475047200 140736475046720 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22547/statm: 256132 249057 194 433 0 255696 0
[pid=22547/tid=22549] ppid=22545 vsize=1024528 CPUtime=1799.03 cores=0,2,4,6
/proc/22547/task/22549/stat : 22549 (wbo1.72) R 22545 22547 19272 0 -1 4202560 243186 0 0 0 179743 160 0 0 20 0 2 0 331643973 1049116672 249057 33554432000 4194304 5964350 140736475047200 140053381433336 4403637 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1798.9
Current children cumulated vsize (KiB) 1024528
[startup+1799.9 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 22639
/proc/meminfo: memFree=26834960/32873844 swapFree=7116/7116
[pid=22547] ppid=22545 vsize=1024528 CPUtime=1799.3 cores=0,2,4,6
/proc/22547/stat : 22547 (wbo1.72) S 22545 22547 19272 0 -1 4202496 250264 0 0 0 179798 132 0 0 20 0 2 0 331643948 1049116672 249197 33554432000 4194304 5964350 140736475047200 140736475046720 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22547/statm: 256132 249197 194 433 0 255696 0
[pid=22547/tid=22549] ppid=22545 vsize=1024528 CPUtime=1799.42 cores=0,2,4,6
/proc/22547/task/22549/stat : 22549 (wbo1.72) R 22545 22547 19272 0 -1 4202560 243326 0 0 0 179782 160 0 0 20 0 2 0 331643973 1049116672 249197 33554432000 4194304 5964350 140736475047200 140053381433336 4399835 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.3
Current children cumulated vsize (KiB) 1024528
[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 22639
/proc/meminfo: memFree=26834960/32873844 swapFree=7116/7116
[pid=22547] ppid=22545 vsize=1024528 CPUtime=1799.41 cores=0,2,4,6
/proc/22547/stat : 22547 (wbo1.72) S 22545 22547 19272 0 -1 4202496 250285 0 0 0 179808 133 0 0 20 0 2 0 331643948 1049116672 249218 33554432000 4194304 5964350 140736475047200 140736475046720 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22547/statm: 256132 249218 194 433 0 255696 0
[pid=22547/tid=22549] ppid=22545 vsize=1024528 CPUtime=1799.52 cores=0,2,4,6
/proc/22547/task/22549/stat : 22549 (wbo1.72) R 22545 22547 19272 0 -1 4202560 243347 0 0 0 179792 160 0 0 20 0 2 0 331643973 1049116672 249218 33554432000 4194304 5964350 140736475047200 140053381433336 4389090 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.41
Current children cumulated vsize (KiB) 1024528
Child status: 255
Real time (s): 1800.03
CPU time (s): 1799.81
CPU user time (s): 1798.16
CPU system time (s): 1.64275
CPU usage (%): 99.9877
Max. virtual memory (cumulated for all children) (KiB): 1024528
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.16
system time used= 1.64275
maximum resident set size= 996888
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 250289
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= 322
involuntary context switches= 2024
runsolver used 2.70759 second user time and 7.11392 second system time
The end