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-3705405-1338106834/watcher-3705405-1338106834 -o /tmp/evaluation-result-3705405-1338106834/solver-3705405-1338106834 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3705405-1338106834.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.03 2.02 2.00 3/176 11170
/proc/meminfo: memFree=29976260/32873852 swapFree=7624/7624
[pid=11170] ppid=11168 vsize=4612 CPUtime=0 cores=1,3,5,7
/proc/11170/stat : 11170 (wbo1.7) R 11168 11170 9313 0 -1 4202496 439 0 0 0 0 0 0 0 20 0 1 0 276808901 4722688 391 33554432000 4194304 5963574 140736113122112 140735808136920 4343959 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/11170/statm: 1153 391 171 432 0 472 0
[startup+0.102857 s]
/proc/loadavg: 2.03 2.02 2.00 3/176 11170
/proc/meminfo: memFree=29976260/32873852 swapFree=7624/7624
[pid=11170] ppid=11168 vsize=86384 CPUtime=0.09 cores=1,3,5,7
/proc/11170/stat : 11170 (wbo1.7) S 11168 11170 9313 0 -1 4202496 2953 0 0 0 9 0 0 0 20 0 2 0 276808901 88457216 2539 33554432000 4194304 5963574 140736113122112 140736113121632 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11170/statm: 21596 2539 194 432 0 21161 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 86384
[startup+0.200211 s]
/proc/loadavg: 2.03 2.02 2.00 3/176 11170
/proc/meminfo: memFree=29976260/32873852 swapFree=7624/7624
[pid=11170] ppid=11168 vsize=86384 CPUtime=0.19 cores=1,3,5,7
/proc/11170/stat : 11170 (wbo1.7) S 11168 11170 9313 0 -1 4202496 3187 0 0 0 19 0 0 0 20 0 2 0 276808901 88457216 2628 33554432000 4194304 5963574 140736113122112 140736113121632 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11170/statm: 21596 2628 194 432 0 21161 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 86384
[startup+0.300147 s]
/proc/loadavg: 2.03 2.02 2.00 3/176 11170
/proc/meminfo: memFree=29976260/32873852 swapFree=7624/7624
[pid=11170] ppid=11168 vsize=86384 CPUtime=0.29 cores=1,3,5,7
/proc/11170/stat : 11170 (wbo1.7) S 11168 11170 9313 0 -1 4202496 3361 0 0 0 29 0 0 0 20 0 2 0 276808901 88457216 2628 33554432000 4194304 5963574 140736113122112 140736113121632 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11170/statm: 21596 2628 194 432 0 21161 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 86384
[startup+0.700125 s]
/proc/loadavg: 2.03 2.02 2.00 3/176 11170
/proc/meminfo: memFree=29976260/32873852 swapFree=7624/7624
[pid=11170] ppid=11168 vsize=86384 CPUtime=0.69 cores=1,3,5,7
/proc/11170/stat : 11170 (wbo1.7) S 11168 11170 9313 0 -1 4202496 4121 0 0 0 69 0 0 0 20 0 2 0 276808901 88457216 2794 33554432000 4194304 5963574 140736113122112 140736113121632 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11170/statm: 21596 2794 194 432 0 21161 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 86384
[startup+1.50027 s]
/proc/loadavg: 2.03 2.02 2.00 3/178 11172
/proc/meminfo: memFree=29960332/32873852 swapFree=7624/7624
[pid=11170] ppid=11168 vsize=86384 CPUtime=1.48 cores=1,3,5,7
/proc/11170/stat : 11170 (wbo1.7) S 11168 11170 9313 0 -1 4202496 6064 0 0 0 148 0 0 0 20 0 2 0 276808901 88457216 3088 33554432000 4194304 5963574 140736113122112 140736113121632 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11170/statm: 21596 3088 197 432 0 21161 0
[pid=11170/tid=11172] ppid=11168 vsize=86384 CPUtime=1.41 cores=1,3,5,7
/proc/11170/task/11172/stat : 11172 (wbo1.7) R 11168 11170 9313 0 -1 4202560 4384 0 0 0 141 0 0 0 20 0 2 0 276808907 88457216 3088 33554432000 4194304 5963574 140736113122112 140557472551232 5142975 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) 86384
[startup+3.10027 s]
/proc/loadavg: 2.03 2.02 2.00 3/178 11172
/proc/meminfo: memFree=29957232/32873852 swapFree=7624/7624
[pid=11170] ppid=11168 vsize=86384 CPUtime=3.09 cores=1,3,5,7
/proc/11170/stat : 11170 (wbo1.7) S 11168 11170 9313 0 -1 4202496 8020 0 0 0 308 1 0 0 20 0 2 0 276808901 88457216 4776 33554432000 4194304 5963574 140736113122112 140736113121632 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11170/statm: 21596 4776 198 432 0 21161 0
[pid=11170/tid=11172] ppid=11168 vsize=86384 CPUtime=3.01 cores=1,3,5,7
/proc/11170/task/11172/stat : 11172 (wbo1.7) R 11168 11170 9313 0 -1 4202560 6340 0 0 0 300 1 0 0 20 0 2 0 276808907 88457216 4776 33554432000 4194304 5963574 140736113122112 140557472561192 4403048 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 86384
[startup+6.30026 s]
/proc/loadavg: 2.03 2.02 2.00 3/178 11172
/proc/meminfo: memFree=29949204/32873852 swapFree=7624/7624
[pid=11170] ppid=11168 vsize=86384 CPUtime=6.28 cores=1,3,5,7
/proc/11170/stat : 11170 (wbo1.7) S 11168 11170 9313 0 -1 4202496 8121 0 0 0 627 1 0 0 20 0 2 0 276808901 88457216 4877 33554432000 4194304 5963574 140736113122112 140736113121632 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11170/statm: 21596 4877 198 432 0 21161 0
[pid=11170/tid=11172] ppid=11168 vsize=86384 CPUtime=6.2 cores=1,3,5,7
/proc/11170/task/11172/stat : 11172 (wbo1.7) R 11168 11170 9313 0 -1 4202560 6441 0 0 0 619 1 0 0 20 0 2 0 276808907 88457216 4877 33554432000 4194304 5963574 140736113122112 140557472561688 4399651 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) 86384
[startup+12.7003 s]
/proc/loadavg: 2.02 2.02 2.00 3/178 11172
/proc/meminfo: memFree=29934700/32873852 swapFree=7624/7624
[pid=11170] ppid=11168 vsize=86384 CPUtime=12.69 cores=1,3,5,7
/proc/11170/stat : 11170 (wbo1.7) S 11168 11170 9313 0 -1 4202496 10082 0 0 0 1267 2 0 0 20 0 2 0 276808901 88457216 6838 33554432000 4194304 5963574 140736113122112 140736113121632 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11170/statm: 21596 6838 198 432 0 21161 0
[pid=11170/tid=11172] ppid=11168 vsize=86384 CPUtime=12.58 cores=1,3,5,7
/proc/11170/task/11172/stat : 11172 (wbo1.7) R 11168 11170 9313 0 -1 4202560 8402 0 0 0 1257 1 0 0 20 0 2 0 276808907 88457216 6838 33554432000 4194304 5963574 140736113122112 140557472560952 4387764 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 86384
[startup+25.5003 s]
/proc/loadavg: 2.02 2.02 2.00 3/178 11172
/proc/meminfo: memFree=29916968/32873852 swapFree=7624/7624
[pid=11170] ppid=11168 vsize=86384 CPUtime=25.48 cores=1,3,5,7
/proc/11170/stat : 11170 (wbo1.7) S 11168 11170 9313 0 -1 4202496 12030 0 0 0 2546 2 0 0 20 0 2 0 276808901 88457216 8786 33554432000 4194304 5963574 140736113122112 140736113121632 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11170/statm: 21596 8786 198 432 0 21161 0
[pid=11170/tid=11172] ppid=11168 vsize=86384 CPUtime=25.35 cores=1,3,5,7
/proc/11170/task/11172/stat : 11172 (wbo1.7) R 11168 11170 9313 0 -1 4202560 10350 0 0 0 2533 2 0 0 20 0 2 0 276808907 88457216 8786 33554432000 4194304 5963574 140736113122112 140557472561688 4400026 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) 86384
[startup+51.1003 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 11172
/proc/meminfo: memFree=29885356/32873852 swapFree=7624/7624
[pid=11170] ppid=11168 vsize=86868 CPUtime=51.07 cores=1,3,5,7
/proc/11170/stat : 11170 (wbo1.7) S 11168 11170 9313 0 -1 4202496 15615 0 0 0 5104 3 0 0 20 0 2 0 276808901 88952832 12474 33554432000 4194304 5963574 140736113122112 140736113121632 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11170/statm: 21717 12474 198 432 0 21282 0
[pid=11170/tid=11172] ppid=11168 vsize=86868 CPUtime=50.88 cores=1,3,5,7
/proc/11170/task/11172/stat : 11172 (wbo1.7) R 11168 11170 9313 0 -1 4202560 13935 0 0 0 5085 3 0 0 20 0 2 0 276808907 88952832 12474 33554432000 4194304 5963574 140736113122112 140557472560952 4221120 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 86868
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 11172
/proc/meminfo: memFree=29826024/32873852 swapFree=7624/7624
[pid=11170] ppid=11168 vsize=86384 CPUtime=102.26 cores=1,3,5,7
/proc/11170/stat : 11170 (wbo1.7) S 11168 11170 9313 0 -1 4202496 18171 0 0 0 10222 4 0 0 20 0 2 0 276808901 88457216 15417 33554432000 4194304 5963574 140736113122112 140736113121632 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11170/statm: 21596 15417 198 432 0 21161 0
[pid=11170/tid=11172] ppid=11168 vsize=86384 CPUtime=101.93 cores=1,3,5,7
/proc/11170/task/11172/stat : 11172 (wbo1.7) R 11168 11170 9313 0 -1 4202560 16491 0 0 0 10189 4 0 0 20 0 2 0 276808907 88457216 15417 33554432000 4194304 5963574 140736113122112 140557472560952 4399592 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 86384
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11172
/proc/meminfo: memFree=29733608/32873852 swapFree=7624/7624
[pid=11170] ppid=11168 vsize=153004 CPUtime=162.23 cores=1,3,5,7
/proc/11170/stat : 11170 (wbo1.7) S 11168 11170 9313 0 -1 4202496 30064 0 0 0 16214 9 0 0 20 0 2 0 276808901 156676096 27307 33554432000 4194304 5963574 140736113122112 140736113121632 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11170/statm: 38251 27307 198 432 0 37816 0
[pid=11170/tid=11172] ppid=11168 vsize=153004 CPUtime=161.77 cores=1,3,5,7
/proc/11170/task/11172/stat : 11172 (wbo1.7) R 11168 11170 9313 0 -1 4202560 28384 0 0 0 16166 11 0 0 20 0 2 0 276808907 156676096 27307 33554432000 4194304 5963574 140736113122112 140557472561016 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 153004
[startup+222.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11173
/proc/meminfo: memFree=29685800/32873852 swapFree=7624/7624
[pid=11170] ppid=11168 vsize=219080 CPUtime=222.21 cores=1,3,5,7
/proc/11170/stat : 11170 (wbo1.7) S 11168 11170 9313 0 -1 4202496 37916 0 0 0 22206 15 0 0 20 0 2 0 276808901 224337920 35627 33554432000 4194304 5963574 140736113122112 140736113121632 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11170/statm: 54770 35627 198 432 0 54335 0
[pid=11170/tid=11172] ppid=11168 vsize=219080 CPUtime=221.59 cores=1,3,5,7
/proc/11170/task/11172/stat : 11172 (wbo1.7) R 11168 11170 9313 0 -1 4202560 36236 0 0 0 22142 17 0 0 20 0 2 0 276808907 224337920 35627 33554432000 4194304 5963574 140736113122112 140557472560952 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 219080
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11173
/proc/meminfo: memFree=29634444/32873852 swapFree=7624/7624
[pid=11170] ppid=11168 vsize=219080 CPUtime=282.19 cores=1,3,5,7
/proc/11170/stat : 11170 (wbo1.7) S 11168 11170 9313 0 -1 4202496 44632 0 0 0 28199 20 0 0 20 0 2 0 276808901 224337920 42438 33554432000 4194304 5963574 140736113122112 140736113121632 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11170/statm: 54770 42438 198 432 0 54335 0
[pid=11170/tid=11172] ppid=11168 vsize=219080 CPUtime=281.42 cores=1,3,5,7
/proc/11170/task/11172/stat : 11172 (wbo1.7) R 11168 11170 9313 0 -1 4202560 42952 0 0 0 28119 23 0 0 20 0 2 0 276808907 224337920 42438 33554432000 4194304 5963574 140736113122112 140557472561016 4399511 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 219080
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11173
/proc/meminfo: memFree=29608260/32873852 swapFree=7624/7624
[pid=11170] ppid=11168 vsize=219080 CPUtime=342.18 cores=1,3,5,7
/proc/11170/stat : 11170 (wbo1.7) S 11168 11170 9313 0 -1 4202496 50500 0 0 0 34192 26 0 0 20 0 2 0 276808901 224337920 48304 33554432000 4194304 5963574 140736113122112 140736113121632 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11170/statm: 54770 48304 198 432 0 54335 0
[pid=11170/tid=11172] ppid=11168 vsize=219080 CPUtime=341.27 cores=1,3,5,7
/proc/11170/task/11172/stat : 11172 (wbo1.7) R 11168 11170 9313 0 -1 4202560 48820 0 0 0 34096 31 0 0 20 0 2 0 276808907 224337920 48304 33554432000 4194304 5963574 140736113122112 140557472561192 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 219080
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 11174
/proc/meminfo: memFree=29599076/32873852 swapFree=7624/7624
[pid=11170] ppid=11168 vsize=220612 CPUtime=402.17 cores=1,3,5,7
/proc/11170/stat : 11170 (wbo1.7) S 11168 11170 9313 0 -1 4202496 52752 0 0 0 40189 28 0 0 20 0 2 0 276808901 225906688 50555 33554432000 4194304 5963574 140736113122112 140736113121632 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11170/statm: 55153 50555 198 432 0 54718 0
[pid=11170/tid=11172] ppid=11168 vsize=220612 CPUtime=401.11 cores=1,3,5,7
/proc/11170/task/11172/stat : 11172 (wbo1.7) R 11168 11170 9313 0 -1 4202560 51072 0 0 0 40077 34 0 0 20 0 2 0 276808907 225906688 50555 33554432000 4194304 5963574 140736113122112 140557472561016 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 220612
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11174
/proc/meminfo: memFree=29583596/32873852 swapFree=7624/7624
[pid=11170] ppid=11168 vsize=286148 CPUtime=462.13 cores=1,3,5,7
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 11183
/proc/meminfo: memFree=29226872/32873852 swapFree=7624/7624
[pid=11170] ppid=11168 vsize=348528 CPUtime=1361.97 cores=1,3,5,7
/proc/11170/stat : 11170 (wbo1.7) S 11168 11170 9313 0 -1 4202496 72792 0 0 0 136149 48 0 0 20 0 2 0 276808901 356892672 70640 33554432000 4194304 5963574 140736113122112 140736113121632 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11170/statm: 87132 70640 198 432 0 86697 0
[pid=11170/tid=11172] ppid=11168 vsize=348528 CPUtime=1358.6 cores=1,3,5,7
/proc/11170/task/11172/stat : 11172 (wbo1.7) R 11168 11170 9313 0 -1 4202560 71112 0 0 0 135792 68 0 0 20 0 2 0 276808907 356892672 70640 33554432000 4194304 5963574 140736113122112 140557472561144 4399614 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1361.97
Current children cumulated vsize (KiB) 348528
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11183
/proc/meminfo: memFree=29204676/32873852 swapFree=7624/7624
[pid=11170] ppid=11168 vsize=348528 CPUtime=1421.97 cores=1,3,5,7
/proc/11170/stat : 11170 (wbo1.7) S 11168 11170 9313 0 -1 4202496 74737 0 0 0 142147 50 0 0 20 0 2 0 276808901 356892672 72585 33554432000 4194304 5963574 140736113122112 140736113121632 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11170/statm: 87132 72585 198 432 0 86697 0
[pid=11170/tid=11172] ppid=11168 vsize=348528 CPUtime=1418.45 cores=1,3,5,7
/proc/11170/task/11172/stat : 11172 (wbo1.7) R 11168 11170 9313 0 -1 4202560 73057 0 0 0 141774 71 0 0 20 0 2 0 276808907 356892672 72585 33554432000 4194304 5963574 140736113122112 140557472561192 4399623 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1421.97
Current children cumulated vsize (KiB) 348528
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11184
/proc/meminfo: memFree=29173552/32873852 swapFree=7624/7624
[pid=11170] ppid=11168 vsize=348528 CPUtime=1481.95 cores=1,3,5,7
/proc/11170/stat : 11170 (wbo1.7) S 11168 11170 9313 0 -1 4202496 79228 0 0 0 148140 55 0 0 20 0 2 0 276808901 356892672 77074 33554432000 4194304 5963574 140736113122112 140736113121632 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11170/statm: 87132 77074 198 432 0 86697 0
[pid=11170/tid=11172] ppid=11168 vsize=348528 CPUtime=1478.29 cores=1,3,5,7
/proc/11170/task/11172/stat : 11172 (wbo1.7) R 11168 11170 9313 0 -1 4202560 77548 0 0 0 147752 77 0 0 20 0 2 0 276808907 356892672 77074 33554432000 4194304 5963574 140736113122112 140557472560952 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.95
Current children cumulated vsize (KiB) 348528
[startup+1542.31 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 11184
/proc/meminfo: memFree=29145900/32873852 swapFree=7624/7624
[pid=11170] ppid=11168 vsize=348528 CPUtime=1541.95 cores=1,3,5,7
/proc/11170/stat : 11170 (wbo1.7) S 11168 11170 9313 0 -1 4202496 83471 0 0 0 154134 61 0 0 20 0 2 0 276808901 356892672 81313 33554432000 4194304 5963574 140736113122112 140736113121632 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11170/statm: 87132 81313 198 432 0 86697 0
[pid=11170/tid=11172] ppid=11168 vsize=348528 CPUtime=1538.15 cores=1,3,5,7
/proc/11170/task/11172/stat : 11172 (wbo1.7) R 11168 11170 9313 0 -1 4202560 81791 0 0 0 153731 84 0 0 20 0 2 0 276808907 356892672 81313 33554432000 4194304 5963574 140736113122112 140557472561144 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.95
Current children cumulated vsize (KiB) 348528
[startup+1602.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 11184
/proc/meminfo: memFree=29122912/32873852 swapFree=7624/7624
[pid=11170] ppid=11168 vsize=414064 CPUtime=1601.92 cores=1,3,5,7
/proc/11170/stat : 11170 (wbo1.7) S 11168 11170 9313 0 -1 4202496 87585 0 0 0 160124 68 0 0 20 0 2 0 276808901 424001536 86148 33554432000 4194304 5963574 140736113122112 140736113121632 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11170/statm: 103516 86148 198 432 0 103081 0
[pid=11170/tid=11172] ppid=11168 vsize=414064 CPUtime=1597.96 cores=1,3,5,7
/proc/11170/task/11172/stat : 11172 (wbo1.7) R 11168 11170 9313 0 -1 4202560 85905 0 0 0 159705 91 0 0 20 0 2 0 276808907 424001536 86148 33554432000 4194304 5963574 140736113122112 140557472561144 4399639 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.92
Current children cumulated vsize (KiB) 414064
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11184
/proc/meminfo: memFree=29106528/32873852 swapFree=7624/7624
[pid=11170] ppid=11168 vsize=414064 CPUtime=1661.91 cores=1,3,5,7
/proc/11170/stat : 11170 (wbo1.7) S 11168 11170 9313 0 -1 4202496 91532 0 0 0 166119 72 0 0 20 0 2 0 276808901 424001536 90091 33554432000 4194304 5963574 140736113122112 140736113121632 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11170/statm: 103516 90091 198 432 0 103081 0
[pid=11170/tid=11172] ppid=11168 vsize=414064 CPUtime=1657.8 cores=1,3,5,7
/proc/11170/task/11172/stat : 11172 (wbo1.7) R 11168 11170 9313 0 -1 4202560 89852 0 0 0 165683 97 0 0 20 0 2 0 276808907 424001536 90091 33554432000 4194304 5963574 140736113122112 140557472561016 4399605 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.91
Current children cumulated vsize (KiB) 414064
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11184
/proc/meminfo: memFree=29097600/32873852 swapFree=7624/7624
[pid=11170] ppid=11168 vsize=414064 CPUtime=1721.9 cores=1,3,5,7
/proc/11170/stat : 11170 (wbo1.7) S 11168 11170 9313 0 -1 4202496 93674 0 0 0 172116 74 0 0 20 0 2 0 276808901 424001536 92229 33554432000 4194304 5963574 140736113122112 140736113121632 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11170/statm: 103516 92229 198 432 0 103081 0
[pid=11170/tid=11172] ppid=11168 vsize=414064 CPUtime=1717.65 cores=1,3,5,7
/proc/11170/task/11172/stat : 11172 (wbo1.7) R 11168 11170 9313 0 -1 4202560 91994 0 0 0 171665 100 0 0 20 0 2 0 276808907 424001536 92229 33554432000 4194304 5963574 140736113122112 140557472561016 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.9
Current children cumulated vsize (KiB) 414064
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 11188
/proc/meminfo: memFree=29089232/32873852 swapFree=7624/7624
[pid=11170] ppid=11168 vsize=414064 CPUtime=1781.89 cores=1,3,5,7
/proc/11170/stat : 11170 (wbo1.7) S 11168 11170 9313 0 -1 4202496 93770 0 0 0 178115 74 0 0 20 0 2 0 276808901 424001536 92325 33554432000 4194304 5963574 140736113122112 140736113121632 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11170/statm: 103516 92325 198 432 0 103081 0
[pid=11170/tid=11172] ppid=11168 vsize=414064 CPUtime=1777.5 cores=1,3,5,7
/proc/11170/task/11172/stat : 11172 (wbo1.7) R 11168 11170 9313 0 -1 4202560 92090 0 0 0 177649 101 0 0 20 0 2 0 276808907 424001536 92325 33554432000 4194304 5963574 140736113122112 140557472561016 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.89
Current children cumulated vsize (KiB) 414064
Solver just ended. Dumping a history of the last processes samples
[startup+1792.01 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 11188
/proc/meminfo: memFree=29082156/32873852 swapFree=7624/7624
[pid=11170] ppid=11168 vsize=414064 CPUtime=1791.6 cores=1,3,5,7
/proc/11170/stat : 11170 (wbo1.7) S 11168 11170 9313 0 -1 4202496 93781 0 0 0 179086 74 0 0 20 0 2 0 276808901 424001536 92336 33554432000 4194304 5963574 140736113122112 140736113121632 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11170/statm: 103516 92336 198 432 0 103081 0
[pid=11170/tid=11172] ppid=11168 vsize=414064 CPUtime=1787.18 cores=1,3,5,7
/proc/11170/task/11172/stat : 11172 (wbo1.7) R 11168 11170 9313 0 -1 4202560 92101 0 0 0 178617 101 0 0 20 0 2 0 276808907 424001536 92336 33554432000 4194304 5963574 140736113122112 140557472561016 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1791.6
Current children cumulated vsize (KiB) 414064
[startup+1795.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 11188
/proc/meminfo: memFree=29080544/32873852 swapFree=7624/7624
[pid=11170] ppid=11168 vsize=414064 CPUtime=1794.8 cores=1,3,5,7
/proc/11170/stat : 11170 (wbo1.7) S 11168 11170 9313 0 -1 4202496 93781 0 0 0 179406 74 0 0 20 0 2 0 276808901 424001536 92336 33554432000 4194304 5963574 140736113122112 140736113121632 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11170/statm: 103516 92336 198 432 0 103081 0
[pid=11170/tid=11172] ppid=11168 vsize=414064 CPUtime=1790.37 cores=1,3,5,7
/proc/11170/task/11172/stat : 11172 (wbo1.7) R 11168 11170 9313 0 -1 4202560 92101 0 0 0 178936 101 0 0 20 0 2 0 276808907 424001536 92336 33554432000 4194304 5963574 140736113122112 140557472561016 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1794.8
Current children cumulated vsize (KiB) 414064
[startup+1798.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 11188
/proc/meminfo: memFree=29078932/32873852 swapFree=7624/7624
[pid=11170] ppid=11168 vsize=414064 CPUtime=1797.99 cores=1,3,5,7
/proc/11170/stat : 11170 (wbo1.7) S 11168 11170 9313 0 -1 4202496 93781 0 0 0 179725 74 0 0 20 0 2 0 276808901 424001536 92336 33554432000 4194304 5963574 140736113122112 140736113121632 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11170/statm: 103516 92336 198 432 0 103081 0
[pid=11170/tid=11172] ppid=11168 vsize=414064 CPUtime=1793.56 cores=1,3,5,7
/proc/11170/task/11172/stat : 11172 (wbo1.7) R 11168 11170 9313 0 -1 4202560 92101 0 0 0 179255 101 0 0 20 0 2 0 276808907 424001536 92336 33554432000 4194304 5963574 140736113122112 140557472561016 4400320 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1797.99
Current children cumulated vsize (KiB) 414064
[startup+1799.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11226
/proc/meminfo: memFree=29593424/32873852 swapFree=7624/7624
[pid=11170] ppid=11168 vsize=414064 CPUtime=1798.79 cores=1,3,5,7
/proc/11170/stat : 11170 (wbo1.7) S 11168 11170 9313 0 -1 4202496 93781 0 0 0 179805 74 0 0 20 0 2 0 276808901 424001536 92336 33554432000 4194304 5963574 140736113122112 140736113121632 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11170/statm: 103516 92336 198 432 0 103081 0
[pid=11170/tid=11172] ppid=11168 vsize=414064 CPUtime=1794.35 cores=1,3,5,7
/proc/11170/task/11172/stat : 11172 (wbo1.7) R 11168 11170 9313 0 -1 4202560 92101 0 0 0 179334 101 0 0 20 0 2 0 276808907 424001536 92336 33554432000 4194304 5963574 140736113122112 140557472561016 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1798.79
Current children cumulated vsize (KiB) 414064
[startup+1799.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 11227
/proc/meminfo: memFree=29487260/32873852 swapFree=7624/7624
[pid=11170] ppid=11168 vsize=414064 CPUtime=1799.2 cores=1,3,5,7
/proc/11170/stat : 11170 (wbo1.7) S 11168 11170 9313 0 -1 4202496 93781 0 0 0 179846 74 0 0 20 0 2 0 276808901 424001536 92336 33554432000 4194304 5963574 140736113122112 140736113121632 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11170/statm: 103516 92336 198 432 0 103081 0
[pid=11170/tid=11172] ppid=11168 vsize=414064 CPUtime=1794.76 cores=1,3,5,7
/proc/11170/task/11172/stat : 11172 (wbo1.7) R 11168 11170 9313 0 -1 4202560 92101 0 0 0 179375 101 0 0 20 0 2 0 276808907 424001536 92336 33554432000 4194304 5963574 140736113122112 140557472561016 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.2
Current children cumulated vsize (KiB) 414064
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 11227
/proc/meminfo: memFree=29487260/32873852 swapFree=7624/7624
[pid=11170] ppid=11168 vsize=414064 CPUtime=1799.59 cores=1,3,5,7
/proc/11170/stat : 11170 (wbo1.7) S 11168 11170 9313 0 -1 4202496 93781 0 0 0 179885 74 0 0 20 0 2 0 276808901 424001536 92336 33554432000 4194304 5963574 140736113122112 140736113121632 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11170/statm: 103516 92336 198 432 0 103081 0
[pid=11170/tid=11172] ppid=11168 vsize=414064 CPUtime=1795.15 cores=1,3,5,7
/proc/11170/task/11172/stat : 11172 (wbo1.7) R 11168 11170 9313 0 -1 4202560 92101 0 0 0 179414 101 0 0 20 0 2 0 276808907 424001536 92336 33554432000 4194304 5963574 140736113122112 140557472561016 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.59
Current children cumulated vsize (KiB) 414064
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 11170 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=211238
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=26843
# CPU time returned by wait4() is 1795.24
# while last known CPU time is 1799.59
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.01
CPU time (s): 1799.59
CPU user time (s): 1798.85
CPU system time (s): 0.74
CPU usage (%): 99.9768
Max. virtual memory (cumulated for all children) (KiB): 414064
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.21
system time used= 1.02684
maximum resident set size= 369344
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 93781
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= 161
involuntary context switches= 2142
runsolver used 2.91456 second user time and 8.71167 second system time
The end