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-3732274-1338689780/watcher-3732274-1338689780 -o /tmp/evaluation-result-3732274-1338689780/solver-3732274-1338689780 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3732274-1338689780.opb 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 8738
/proc/meminfo: memFree=28815600/32873844 swapFree=7380/7380
[pid=8738] ppid=8736 vsize=4476 CPUtime=0 cores=1,3,5,7
/proc/8738/stat : 8738 (bsolo3.0.17) R 8736 8738 7079 0 -1 4194304 198 0 0 0 0 0 0 0 20 0 1 0 335102793 4583424 148 33554432000 134512640 135840783 4287029568 4287028708 7167628 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8738/statm: 1119 149 130 325 0 39 0

[startup+0.04338 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 8738
/proc/meminfo: memFree=28815600/32873844 swapFree=7380/7380
[pid=8738] ppid=8736 vsize=5236 CPUtime=0.03 cores=1,3,5,7
/proc/8738/stat : 8738 (bsolo3.0.17) R 8736 8738 7079 0 -1 4202496 687 0 0 0 3 0 0 0 20 0 1 0 335102793 5361664 604 33554432000 134512640 135840783 4287029568 4287028416 135467970 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8738/statm: 1309 604 368 325 0 245 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5236

[startup+0.100281 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 8738
/proc/meminfo: memFree=28815600/32873844 swapFree=7380/7380
[pid=8738] ppid=8736 vsize=7152 CPUtime=0.08 cores=1,3,5,7
/proc/8738/stat : 8738 (bsolo3.0.17) R 8736 8738 7079 0 -1 4202496 1105 0 0 0 8 0 0 0 20 0 1 0 335102793 7323648 918 33554432000 134512640 135840783 4287029568 4287027724 135313324 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8738/statm: 1788 918 425 325 0 724 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 7152

[startup+0.300209 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 8738
/proc/meminfo: memFree=28815600/32873844 swapFree=7380/7380
[pid=8738] ppid=8736 vsize=7188 CPUtime=0.28 cores=1,3,5,7
/proc/8738/stat : 8738 (bsolo3.0.17) R 8736 8738 7079 0 -1 4202496 2950 0 0 0 28 0 0 0 20 0 1 0 335102793 7360512 825 33554432000 134512640 135840783 4287029568 4287027808 135316006 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8738/statm: 1797 825 429 325 0 733 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 7188

[startup+0.700211 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 8738
/proc/meminfo: memFree=28815600/32873844 swapFree=7380/7380
[pid=8738] ppid=8736 vsize=6660 CPUtime=0.68 cores=1,3,5,7
/proc/8738/stat : 8738 (bsolo3.0.17) R 8736 8738 7079 0 -1 4202496 9773 0 0 0 67 1 0 0 20 0 1 0 335102793 6819840 771 33554432000 134512640 135840783 4287029568 4287027600 135262632 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8738/statm: 1665 773 429 325 0 601 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 6660

[startup+1.50021 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 8739
/proc/meminfo: memFree=28813096/32873844 swapFree=7380/7380
[pid=8738] ppid=8736 vsize=7380 CPUtime=1.48 cores=1,3,5,7
/proc/8738/stat : 8738 (bsolo3.0.17) R 8736 8738 7079 0 -1 4202496 15572 0 0 0 146 2 0 0 20 0 1 0 335102793 7557120 1042 33554432000 134512640 135840783 4287029568 4287027928 135308500 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8738/statm: 1845 1042 430 325 0 781 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 7380

[startup+3.10021 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 8739
/proc/meminfo: memFree=28812468/32873844 swapFree=7380/7380
[pid=8738] ppid=8736 vsize=7380 CPUtime=3.08 cores=1,3,5,7
/proc/8738/stat : 8738 (bsolo3.0.17) R 8736 8738 7079 0 -1 4202496 15647 0 0 0 306 2 0 0 20 0 1 0 335102793 7557120 1117 33554432000 134512640 135840783 4287029568 4287028256 135235176 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8738/statm: 1845 1117 430 325 0 781 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 7380

[startup+6.30021 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 8739
/proc/meminfo: memFree=28811848/32873844 swapFree=7380/7380
[pid=8738] ppid=8736 vsize=7572 CPUtime=6.28 cores=1,3,5,7
/proc/8738/stat : 8738 (bsolo3.0.17) R 8736 8738 7079 0 -1 4202496 15690 0 0 0 626 2 0 0 20 0 1 0 335102793 7753728 1160 33554432000 134512640 135840783 4287029568 4287027956 135184660 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8738/statm: 1893 1160 430 325 0 829 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 7572

[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 8739
/proc/meminfo: memFree=28811236/32873844 swapFree=7380/7380
[pid=8738] ppid=8736 vsize=7704 CPUtime=12.68 cores=1,3,5,7
/proc/8738/stat : 8738 (bsolo3.0.17) R 8736 8738 7079 0 -1 4202496 15750 0 0 0 1266 2 0 0 20 0 1 0 335102793 7888896 1220 33554432000 134512640 135840783 4287029568 4287028096 135227270 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8738/statm: 1926 1220 430 325 0 862 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 7704

[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 8739
/proc/meminfo: memFree=28811368/32873844 swapFree=7380/7380
[pid=8738] ppid=8736 vsize=8036 CPUtime=25.48 cores=1,3,5,7
/proc/8738/stat : 8738 (bsolo3.0.17) R 8736 8738 7079 0 -1 4202496 16942 0 0 0 2545 3 0 0 20 0 1 0 335102793 8228864 1272 33554432000 134512640 135840783 4287029568 4287027868 135332256 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8738/statm: 2009 1272 430 325 0 945 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 8036

Solver just ended. Dumping a history of the last processes samples

[startup+31.9064 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 8739
/proc/meminfo: memFree=28811368/32873844 swapFree=7380/7380
[pid=8738] ppid=8736 vsize=8032 CPUtime=31.88 cores=1,3,5,7
/proc/8738/stat : 8738 (bsolo3.0.17) R 8736 8738 7079 0 -1 4202496 20252 0 0 0 3185 3 0 0 20 0 1 0 335102793 8224768 1247 33554432000 134512640 135840783 4287029568 4287027888 134694629 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8738/statm: 2008 1247 430 325 0 944 0
Current children cumulated CPU time (s) 31.88
Current children cumulated vsize (KiB) 8032

[startup+38.3002 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 8739
/proc/meminfo: memFree=28811244/32873844 swapFree=7380/7380
[pid=8738] ppid=8736 vsize=8428 CPUtime=38.28 cores=1,3,5,7
/proc/8738/stat : 8738 (bsolo3.0.17) R 8736 8738 7079 0 -1 4202496 32415 0 0 0 3822 6 0 0 20 0 1 0 335102793 8630272 1242 33554432000 134512640 135840783 4287029568 4287027920 134720501 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8738/statm: 2107 1242 430 325 0 1043 0
Current children cumulated CPU time (s) 38.28
Current children cumulated vsize (KiB) 8428

[startup+39.9002 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 8739
/proc/meminfo: memFree=28811244/32873844 swapFree=7380/7380
[pid=8738] ppid=8736 vsize=8224 CPUtime=39.87 cores=1,3,5,7
/proc/8738/stat : 8738 (bsolo3.0.17) R 8736 8738 7079 0 -1 4202496 36155 0 0 0 3980 7 0 0 20 0 1 0 335102793 8421376 1262 33554432000 134512640 135840783 4287029568 4287027952 135309944 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8738/statm: 2056 1262 430 325 0 992 0
Current children cumulated CPU time (s) 39.87
Current children cumulated vsize (KiB) 8224

[startup+41.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 8739
/proc/meminfo: memFree=28811244/32873844 swapFree=7380/7380
[pid=8738] ppid=8736 vsize=8436 CPUtime=41.47 cores=1,3,5,7
/proc/8738/stat : 8738 (bsolo3.0.17) R 8736 8738 7079 0 -1 4202496 40371 0 0 0 4139 8 0 0 20 0 1 0 335102793 8638464 1274 33554432000 134512640 135840783 4287029568 4287027736 135306433 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8738/statm: 2109 1274 430 325 0 1045 0
Current children cumulated CPU time (s) 41.47
Current children cumulated vsize (KiB) 8436

[startup+41.9002 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 8739
/proc/meminfo: memFree=28811244/32873844 swapFree=7380/7380
[pid=8738] ppid=8736 vsize=7440 CPUtime=41.88 cores=1,3,5,7
/proc/8738/stat : 8738 (bsolo3.0.17) R 8736 8738 7079 0 -1 4202496 41301 0 0 0 4179 9 0 0 20 0 1 0 335102793 7618560 1220 33554432000 134512640 135840783 4287029568 4287028224 10429488 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8738/statm: 1860 1220 430 325 0 796 0
Current children cumulated CPU time (s) 41.88
Current children cumulated vsize (KiB) 7440

[startup+42.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 8739
/proc/meminfo: memFree=28811244/32873844 swapFree=7380/7380
[pid=8738] ppid=8736 vsize=7824 CPUtime=42.08 cores=1,3,5,7
/proc/8738/stat : 8738 (bsolo3.0.17) R 8736 8738 7079 0 -1 4202496 41791 0 0 0 4199 9 0 0 20 0 1 0 335102793 8011776 1222 33554432000 134512640 135840783 4287029568 4287027936 7734449 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8738/statm: 1956 1223 430 325 0 892 0
Current children cumulated CPU time (s) 42.08
Current children cumulated vsize (KiB) 7824

Child status: 0
Real time (s): 42.114
CPU time (s): 42.1006
CPU user time (s): 42.0076
CPU system time (s): 0.092985
CPU usage (%): 99.9681
Max. virtual memory (cumulated for all children) (KiB): 8448

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 42.0076
system time used= 0.092985
maximum resident set size= 5292
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 41837
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= 13
involuntary context switches= 47

runsolver used 0.065989 second user time and 0.168974 second system time

The end