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-3729720-1338683062/watcher-3729720-1338683062 -o /tmp/evaluation-result-3729720-1338683062/solver-3729720-1338683062 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3729720-1338683062.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.06 2.05 1.95 3/176 18820
/proc/meminfo: memFree=28827812/32873844 swapFree=6872/6872
[pid=18820] ppid=18818 vsize=11016 CPUtime=0 cores=0,2,4,6
/proc/18820/stat : 18820 (bsolo) R 18818 18820 8274 0 -1 4202496 344 0 0 0 0 0 0 0 20 0 1 0 334434650 11280384 297 33554432000 134512640 137136520 4290179344 4290177736 136504651 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18820/statm: 2754 297 187 641 0 2089 0
[startup+0.105473 s]
/proc/loadavg: 2.06 2.05 1.95 3/176 18820
/proc/meminfo: memFree=28827812/32873844 swapFree=6872/6872
[pid=18820] ppid=18818 vsize=11824 CPUtime=0.1 cores=0,2,4,6
/proc/18820/stat : 18820 (bsolo) R 18818 18820 8274 0 -1 4202496 575 0 0 0 10 0 0 0 20 0 1 0 334434650 12107776 507 33554432000 134512640 137136520 4290179344 4290177624 136504651 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18820/statm: 2956 507 196 641 0 2312 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 11824
[startup+0.200302 s]
/proc/loadavg: 2.06 2.05 1.95 3/176 18820
/proc/meminfo: memFree=28827812/32873844 swapFree=6872/6872
[pid=18820] ppid=18818 vsize=12344 CPUtime=0.19 cores=0,2,4,6
/proc/18820/stat : 18820 (bsolo) R 18818 18820 8274 0 -1 4202496 704 0 0 0 19 0 0 0 20 0 1 0 334434650 12640256 636 33554432000 134512640 137136520 4290179344 4290178460 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18820/statm: 3086 636 196 641 0 2442 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 12344
[startup+0.300309 s]
/proc/loadavg: 2.06 2.05 1.95 3/176 18820
/proc/meminfo: memFree=28827812/32873844 swapFree=6872/6872
[pid=18820] ppid=18818 vsize=12724 CPUtime=0.29 cores=0,2,4,6
/proc/18820/stat : 18820 (bsolo) R 18818 18820 8274 0 -1 4202496 818 0 0 0 29 0 0 0 20 0 1 0 334434650 13029376 750 33554432000 134512640 137136520 4290179344 4290178272 134543846 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18820/statm: 3181 750 196 641 0 2537 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12724
[startup+0.700287 s]
/proc/loadavg: 2.06 2.05 1.95 3/176 18820
/proc/meminfo: memFree=28827812/32873844 swapFree=6872/6872
[pid=18820] ppid=18818 vsize=13988 CPUtime=0.69 cores=0,2,4,6
/proc/18820/stat : 18820 (bsolo) R 18818 18820 8274 0 -1 4202496 1131 0 0 0 69 0 0 0 20 0 1 0 334434650 14323712 1063 33554432000 134512640 137136520 4290179344 4290178460 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18820/statm: 3497 1063 196 641 0 2853 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13988
[startup+1.50029 s]
/proc/loadavg: 2.06 2.05 1.95 3/177 18821
/proc/meminfo: memFree=28823588/32873844 swapFree=6872/6872
[pid=18820] ppid=18818 vsize=14360 CPUtime=1.49 cores=0,2,4,6
/proc/18820/stat : 18820 (bsolo) R 18818 18820 8274 0 -1 4202496 1215 0 0 0 149 0 0 0 20 0 1 0 334434650 14704640 1147 33554432000 134512640 137136520 4290179344 4290178272 134544112 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18820/statm: 3590 1147 196 641 0 2946 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14360
[startup+3.10028 s]
/proc/loadavg: 2.06 2.05 1.95 3/177 18821
/proc/meminfo: memFree=28822968/32873844 swapFree=6872/6872
[pid=18820] ppid=18818 vsize=14364 CPUtime=3.09 cores=0,2,4,6
/proc/18820/stat : 18820 (bsolo) R 18818 18820 8274 0 -1 4202496 1216 0 0 0 309 0 0 0 20 0 1 0 334434650 14708736 1148 33554432000 134512640 137136520 4290179344 4290178272 134543588 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18820/statm: 3591 1148 197 641 0 2947 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14364
[startup+6.30024 s]
/proc/loadavg: 2.06 2.05 1.95 3/177 18821
/proc/meminfo: memFree=28823152/32873844 swapFree=6872/6872
[pid=18820] ppid=18818 vsize=14364 CPUtime=6.29 cores=0,2,4,6
/proc/18820/stat : 18820 (bsolo) R 18818 18820 8274 0 -1 4202496 1218 0 0 0 628 1 0 0 20 0 1 0 334434650 14708736 1149 33554432000 134512640 137136520 4290179344 4290178460 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18820/statm: 3591 1149 197 641 0 2947 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14364
[startup+12.7003 s]
/proc/loadavg: 2.05 2.05 1.95 3/177 18821
/proc/meminfo: memFree=28821804/32873844 swapFree=6872/6872
[pid=18820] ppid=18818 vsize=15500 CPUtime=12.69 cores=0,2,4,6
/proc/18820/stat : 18820 (bsolo) R 18818 18820 8274 0 -1 4202496 1501 0 0 0 1266 3 0 0 20 0 1 0 334434650 15872000 1432 33554432000 134512640 137136520 4290179344 4290178272 134543819 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18820/statm: 3875 1432 197 641 0 3231 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 15500
[startup+25.5003 s]
/proc/loadavg: 2.04 2.05 1.95 3/177 18821
/proc/meminfo: memFree=28821988/32873844 swapFree=6872/6872
[pid=18820] ppid=18818 vsize=15504 CPUtime=25.49 cores=0,2,4,6
/proc/18820/stat : 18820 (bsolo) R 18818 18820 8274 0 -1 4202496 1503 0 0 0 2543 6 0 0 20 0 1 0 334434650 15876096 1433 33554432000 134512640 137136520 4290179344 4290177968 134554662 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18820/statm: 3876 1433 197 641 0 3232 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 15504
[startup+51.1003 s]
/proc/loadavg: 2.02 2.04 1.95 3/177 18821
/proc/meminfo: memFree=28820436/32873844 swapFree=6872/6872
[pid=18820] ppid=18818 vsize=17208 CPUtime=51.08 cores=0,2,4,6
/proc/18820/stat : 18820 (bsolo) R 18818 18820 8274 0 -1 4202496 1936 0 0 0 5096 12 0 0 20 0 1 0 334434650 17620992 1865 33554432000 134512640 137136520 4290179344 4290178264 135982492 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18820/statm: 4302 1865 197 641 0 3658 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 17208
[startup+102.3 s]
/proc/loadavg: 2.01 2.03 1.95 3/177 18917
/proc/meminfo: memFree=28820872/32873844 swapFree=6872/6872
[pid=18820] ppid=18818 vsize=17808 CPUtime=102.27 cores=0,2,4,6
/proc/18820/stat : 18820 (bsolo) R 18818 18820 8274 0 -1 4202496 2097 0 0 0 10205 22 0 0 20 0 1 0 334434650 18235392 2026 33554432000 134512640 137136520 4290179344 4290178272 134544145 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18820/statm: 4452 2026 197 641 0 3808 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 17808
[startup+162.3 s]
/proc/loadavg: 2.00 2.03 1.95 3/177 18918
/proc/meminfo: memFree=28817024/32873844 swapFree=6872/6872
[pid=18820] ppid=18818 vsize=18544 CPUtime=162.26 cores=0,2,4,6
/proc/18820/stat : 18820 (bsolo) R 18818 18820 8274 0 -1 4202496 2280 0 0 0 16193 33 0 0 20 0 1 0 334434650 18989056 2209 33554432000 134512640 137136520 4290179344 4290178460 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18820/statm: 4636 2209 197 641 0 3992 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 18544
[startup+222.307 s]
/proc/loadavg: 2.00 2.02 1.95 3/177 18918
/proc/meminfo: memFree=28814668/32873844 swapFree=6872/6872
[pid=18820] ppid=18818 vsize=18548 CPUtime=222.26 cores=0,2,4,6
/proc/18820/stat : 18820 (bsolo) R 18818 18820 8274 0 -1 4202496 2281 0 0 0 22181 45 0 0 20 0 1 0 334434650 18993152 2210 33554432000 134512640 137136520 4290179344 4290178196 136509029 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18820/statm: 4637 2210 197 641 0 3993 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 18548
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/177 18918
/proc/meminfo: memFree=28813860/32873844 swapFree=6872/6872
[pid=18820] ppid=18818 vsize=19256 CPUtime=282.24 cores=0,2,4,6
/proc/18820/stat : 18820 (bsolo) R 18818 18820 8274 0 -1 4202496 2462 0 0 0 28168 56 0 0 20 0 1 0 334434650 19718144 2391 33554432000 134512640 137136520 4290179344 4290178272 134543865 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18820/statm: 4814 2391 197 641 0 4170 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 19256
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/178 18921
/proc/meminfo: memFree=28813044/32873844 swapFree=6872/6872
[pid=18820] ppid=18818 vsize=19836 CPUtime=342.24 cores=0,2,4,6
/proc/18820/stat : 18820 (bsolo) R 18818 18820 8274 0 -1 4202496 2600 0 0 0 34159 65 0 0 20 0 1 0 334434650 20312064 2528 33554432000 134512640 137136520 4290179344 4290178108 136294934 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18820/statm: 4959 2528 197 641 0 4315 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 19836
Solver just ended. Dumping a history of the last processes samples
[startup+358.4 s]
/proc/loadavg: 2.00 2.01 1.95 3/178 18921
/proc/meminfo: memFree=28813416/32873844 swapFree=6872/6872
[pid=18820] ppid=18818 vsize=19836 CPUtime=358.33 cores=0,2,4,6
/proc/18820/stat : 18820 (bsolo) R 18818 18820 8274 0 -1 4202496 2600 0 0 0 35765 68 0 0 20 0 1 0 334434650 20312064 2528 33554432000 134512640 137136520 4290179344 4290178296 136513923 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18820/statm: 4959 2528 197 641 0 4315 0
Current children cumulated CPU time (s) 358.33
Current children cumulated vsize (KiB) 19836
[startup+371.2 s]
/proc/loadavg: 2.00 2.01 1.95 3/178 18921
/proc/meminfo: memFree=28812424/32873844 swapFree=6872/6872
[pid=18820] ppid=18818 vsize=19836 CPUtime=371.13 cores=0,2,4,6
/proc/18820/stat : 18820 (bsolo) R 18818 18820 8274 0 -1 4202496 2600 0 0 0 37042 71 0 0 20 0 1 0 334434650 20312064 2528 33554432000 134512640 137136520 4290179344 4290178272 134544110 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18820/statm: 4959 2528 197 641 0 4315 0
Current children cumulated CPU time (s) 371.13
Current children cumulated vsize (KiB) 19836
[startup+377.6 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 18921
/proc/meminfo: memFree=28812548/32873844 swapFree=6872/6872
[pid=18820] ppid=18818 vsize=19836 CPUtime=377.53 cores=0,2,4,6
/proc/18820/stat : 18820 (bsolo) R 18818 18820 8274 0 -1 4202496 2600 0 0 0 37681 72 0 0 20 0 1 0 334434650 20312064 2528 33554432000 134512640 137136520 4290179344 4290178272 134543884 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18820/statm: 4959 2528 197 641 0 4315 0
Current children cumulated CPU time (s) 377.53
Current children cumulated vsize (KiB) 19836
[startup+380.8 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 18921
/proc/meminfo: memFree=28812548/32873844 swapFree=6872/6872
[pid=18820] ppid=18818 vsize=19836 CPUtime=380.73 cores=0,2,4,6
/proc/18820/stat : 18820 (bsolo) R 18818 18820 8274 0 -1 4202496 2600 0 0 0 38000 73 0 0 20 0 1 0 334434650 20312064 2528 33554432000 134512640 137136520 4290179344 4290178272 134543965 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18820/statm: 4959 2528 197 641 0 4315 0
Current children cumulated CPU time (s) 380.73
Current children cumulated vsize (KiB) 19836
[startup+382.4 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 18921
/proc/meminfo: memFree=28812548/32873844 swapFree=6872/6872
[pid=18820] ppid=18818 vsize=19836 CPUtime=382.33 cores=0,2,4,6
/proc/18820/stat : 18820 (bsolo) R 18818 18820 8274 0 -1 4202496 2600 0 0 0 38160 73 0 0 20 0 1 0 334434650 20312064 2528 33554432000 134512640 137136520 4290179344 4290178460 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18820/statm: 4959 2528 197 641 0 4315 0
Current children cumulated CPU time (s) 382.33
Current children cumulated vsize (KiB) 19836
[startup+384.006 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 18921
/proc/meminfo: memFree=28812548/32873844 swapFree=6872/6872
[pid=18820] ppid=18818 vsize=19836 CPUtime=383.93 cores=0,2,4,6
/proc/18820/stat : 18820 (bsolo) R 18818 18820 8274 0 -1 4202496 2600 0 0 0 38320 73 0 0 20 0 1 0 334434650 20312064 2528 33554432000 134512640 137136520 4290179344 4290177232 134572238 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18820/statm: 4959 2528 197 641 0 4315 0
Current children cumulated CPU time (s) 383.93
Current children cumulated vsize (KiB) 19836
[startup+384.8 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 18921
/proc/meminfo: memFree=28812548/32873844 swapFree=6872/6872
[pid=18820] ppid=18818 vsize=19836 CPUtime=384.72 cores=0,2,4,6
/proc/18820/stat : 18820 (bsolo) R 18818 18820 8274 0 -1 4202496 2600 0 0 0 38399 73 0 0 20 0 1 0 334434650 20312064 2528 33554432000 134512640 137136520 4290179344 4290178460 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18820/statm: 4959 2528 197 641 0 4315 0
Current children cumulated CPU time (s) 384.72
Current children cumulated vsize (KiB) 19836
[startup+385.2 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 18921
/proc/meminfo: memFree=28812548/32873844 swapFree=6872/6872
[pid=18820] ppid=18818 vsize=19836 CPUtime=385.12 cores=0,2,4,6
/proc/18820/stat : 18820 (bsolo) R 18818 18820 8274 0 -1 4202496 2600 0 0 0 38439 73 0 0 20 0 1 0 334434650 20312064 2528 33554432000 134512640 137136520 4290179344 4290178460 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18820/statm: 4959 2528 197 641 0 4315 0
Current children cumulated CPU time (s) 385.12
Current children cumulated vsize (KiB) 19836
[startup+385.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 18921
/proc/meminfo: memFree=28812548/32873844 swapFree=6872/6872
[pid=18820] ppid=18818 vsize=19836 CPUtime=385.22 cores=0,2,4,6
/proc/18820/stat : 18820 (bsolo) R 18818 18820 8274 0 -1 4202496 2600 0 0 0 38449 73 0 0 20 0 1 0 334434650 20312064 2528 33554432000 134512640 137136520 4290179344 4290178272 134543918 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18820/statm: 4959 2528 197 641 0 4315 0
Current children cumulated CPU time (s) 385.22
Current children cumulated vsize (KiB) 19836
Child status: 0
Real time (s): 385.386
CPU time (s): 385.323
CPU user time (s): 384.584
CPU system time (s): 0.739887
CPU usage (%): 99.9837
Max. virtual memory (cumulated for all children) (KiB): 19884
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 384.584
system time used= 0.739887
maximum resident set size= 10112
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2601
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= 5
involuntary context switches= 397
runsolver used 1.25081 second user time and 2.80157 second system time
The end