Trace number 2657363

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
bsolo 3.2 Cl? 1798.03 1798.69

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_19.opb
MD5SUM5a1b3155d98b6c4d8f9ab1b869fece67
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 355
Optimality of the best value was proved NO
Number of variables11001
Total number of constraints21678
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints21678
Minimum length of a constraint18
Maximum length of a constraint37
Number of terms in the objective function 9
Biggest coefficient in the objective function 256
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 511
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 512
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 2765
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c bsolo beta version 3.2 - 23/05/2010 : 1630 GMT
0.00/0.00	c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Learning Strategy: Clause Learning
0.00/0.00	c Instance file HOME/instance-2657363-1276585690.opb
0.00/0.00	c File size is 6306000 bytes.
0.89/0.98	c Highest Coefficient sum: 2765
0.89/0.98	c Parsing was ok!!
0.89/0.98	c Total parsing time: 0.987 s
1.00/1.01	c Var: 11001 Constr: 21678 0/0/21678 Lit: 743262 Watch. Lit: 106263
1.00/1.01	c Obj. Vars: 9 (0.0818107 % of total variables)
5.69/5.71	c Pre-processing Time: 5.707 s
5.69/5.71	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.69/5.71	c        0  11001    21678   743262   34   189932  500000      0      0 5.71
5.69/5.71	c Switching off lower bounding mode.
1797.93/1798.66	c      101  11001    21779   748830   34   464254  550001    101     12 8.23
1797.93/1798.66	c      251  11001    21929   757264   34   446727  605002    251     22 11.17
1797.93/1798.66	c      479  11001    22157   769487   34   421911  665503    479     34 13.87
1797.93/1798.66	c      818  11001    22496   785850   34   390221  732054    818     48 17.01
1797.93/1798.66	c     1326  11001    23004   816162   35   413000  805260   1326     63 20.76
1797.93/1798.66	c     2090  11001    23768   849793   35   354146  885787   2090     93 22.29
1797.93/1798.66	c     3237  11001    24915   922164   37   406971  974366   3237    116 27.90
1797.93/1798.66	c     4958  11001    26636  1016960   38   436979  500000   4958    102 48.60
1797.93/1798.66	c     7542  11001    29220  1177445   40   451582  550001   7542    118 63.59
1797.93/1798.66	c    11423  11001    33101  1485536   44   433605  605002  11423    129 88.51
1797.93/1798.66	c    17246  11001    38924  1780021   45   465695  665503  17246    131 130.85
1797.93/1798.66	c    25984  11001    47662  2240676   47   472195  732054  25984    129 200.00
1797.93/1798.66	c    39095  11001    60773  3196339   52   480574  805260  39095    146 267.44
1797.93/1798.66	c    58765  11001    80443  4278502   53   490513  885787  58765    149 392.95
1797.93/1798.66	c    88277  11001   109955  7111525   64   570164  974366  88277    134 655.08
1797.93/1798.66	c   132548  11001   154226 10671194   69   674836  500000 132548    119 1113.33
1797.93/1798.66	c   198958  11001   220636 13947251   63   768347  550001 198958    120 1651.29
1797.93/1798.66	c Resources Exceeded
1797.93/1798.66	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.93/1798.66	c   17   215457  28220   271455   237135 14748004 215457    119 1798.00
1797.93/1798.66	s UNKNOWN
1797.93/1798.66	c Total time: 1798 s

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2657363-1276585690/watcher-2657363-1276585690 -o /tmp/evaluation-result-2657363-1276585690/solver-2657363-1276585690 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2657363-1276585690.opb 

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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.98 0.97 0.99 3/106 32331
/proc/meminfo: memFree=1836620/2059040 swapFree=4140296/4192956
[pid=32331] ppid=32329 vsize=16948 CPUtime=0
/proc/32331/stat : 32331 (bsolo_pb10) R 32329 32331 32136 0 -1 4202496 316 0 0 0 0 0 0 0 23 0 1 0 32220885 17354752 234 1992294400 134512640 137138936 4287761696 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32331/statm: 4237 234 176 642 0 2053 0

[startup+0.0967711 s]
/proc/loadavg: 0.98 0.97 0.99 3/106 32331
/proc/meminfo: memFree=1836620/2059040 swapFree=4140296/4192956
[pid=32331] ppid=32329 vsize=17856 CPUtime=0.09
/proc/32331/stat : 32331 (bsolo_pb10) R 32329 32331 32136 0 -1 4202496 687 0 0 0 9 0 0 0 23 0 1 0 32220885 18284544 605 1992294400 134512640 137138936 4287761696 18446744073709551615 134517608 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32331/statm: 4464 606 308 642 0 2280 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17856

[startup+0.10177 s]
/proc/loadavg: 0.98 0.97 0.99 3/106 32331
/proc/meminfo: memFree=1836620/2059040 swapFree=4140296/4192956
[pid=32331] ppid=32329 vsize=17992 CPUtime=0.09
/proc/32331/stat : 32331 (bsolo_pb10) R 32329 32331 32136 0 -1 4202496 709 0 0 0 9 0 0 0 23 0 1 0 32220885 18423808 627 1992294400 134512640 137138936 4287761696 18446744073709551615 136671176 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32331/statm: 4498 627 316 642 0 2314 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17992

[startup+0.301807 s]
/proc/loadavg: 0.98 0.97 0.99 3/106 32331
/proc/meminfo: memFree=1836620/2059040 swapFree=4140296/4192956
[pid=32331] ppid=32329 vsize=20340 CPUtime=0.29
/proc/32331/stat : 32331 (bsolo_pb10) R 32329 32331 32136 0 -1 4202496 1612 0 0 0 29 0 0 0 23 0 1 0 32220885 20828160 1530 1992294400 134512640 137138936 4287761696 18446744073709551615 134516189 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32331/statm: 5085 1530 630 642 0 2901 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20340

[startup+0.701879 s]
/proc/loadavg: 0.98 0.97 0.99 3/106 32331
/proc/meminfo: memFree=1836620/2059040 swapFree=4140296/4192956
[pid=32331] ppid=32329 vsize=24784 CPUtime=0.69
/proc/32331/stat : 32331 (bsolo_pb10) R 32329 32331 32136 0 -1 4202496 3354 0 0 0 68 1 0 0 25 0 1 0 32220885 25378816 3272 1992294400 134512640 137138936 4287761696 18446744073709551615 136506707 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32331/statm: 6196 3272 1235 642 0 4012 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 24784

[startup+1.50103 s]
/proc/loadavg: 0.98 0.97 0.99 2/107 32332
/proc/meminfo: memFree=1822972/2059040 swapFree=4140296/4192956
[pid=32331] ppid=32329 vsize=36940 CPUtime=1.49
/proc/32331/stat : 32331 (bsolo_pb10) R 32329 32331 32136 0 -1 4202496 8378 0 0 0 146 3 0 0 25 0 1 0 32220885 37826560 6756 1992294400 134512640 137138936 4287761696 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32331/statm: 9235 6758 185 642 0 8591 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 36940

[startup+3.10132 s]
/proc/loadavg: 1.06 0.99 0.99 2/107 32332
/proc/meminfo: memFree=1807348/2059040 swapFree=4140296/4192956
[pid=32331] ppid=32329 vsize=39580 CPUtime=3.09
/proc/32331/stat : 32331 (bsolo_pb10) R 32329 32331 32136 0 -1 4202496 9057 0 0 0 304 5 0 0 25 0 1 0 32220885 40529920 7435 1992294400 134512640 137138936 4287761696 18446744073709551615 134540164 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32331/statm: 9895 7435 185 642 0 9251 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 39580

[startup+6.3019 s]
/proc/loadavg: 1.06 0.99 0.99 2/107 32332
/proc/meminfo: memFree=1806976/2059040 swapFree=4140296/4192956
[pid=32331] ppid=32329 vsize=35048 CPUtime=6.28
/proc/32331/stat : 32331 (bsolo_pb10) R 32329 32331 32136 0 -1 4202496 10870 0 0 0 620 8 0 0 25 0 1 0 32220885 35889152 6294 1992294400 134512640 137138936 4287761696 18446744073709551615 134575204 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32331/statm: 8762 6294 190 642 0 8118 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 35048

[startup+12.7011 s]
/proc/loadavg: 1.20 1.02 1.01 2/107 32332
/proc/meminfo: memFree=1811068/2059040 swapFree=4140296/4192956
[pid=32331] ppid=32329 vsize=35600 CPUtime=12.69
/proc/32331/stat : 32331 (bsolo_pb10) R 32329 32331 32136 0 -1 4202496 11011 0 0 0 1260 9 0 0 25 0 1 0 32220885 36454400 6435 1992294400 134512640 137138936 4287761696 18446744073709551615 134575390 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32331/statm: 8900 6435 190 642 0 8256 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 35600

[startup+25.5014 s]
/proc/loadavg: 1.33 1.05 1.02 2/107 32334
/proc/meminfo: memFree=1810448/2059040 swapFree=4140296/4192956
[pid=32331] ppid=32329 vsize=36136 CPUtime=25.48
/proc/32331/stat : 32331 (bsolo_pb10) R 32329 32331 32136 0 -1 4202496 11156 0 0 0 2537 11 0 0 25 0 1 0 32220885 37003264 6580 1992294400 134512640 137138936 4287761696 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32331/statm: 9034 6580 190 642 0 8390 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 36136

[startup+51.101 s]
/proc/loadavg: 1.21 1.05 1.01 2/107 32334
/proc/meminfo: memFree=1807968/2059040 swapFree=4140296/4192956
[pid=32331] ppid=32329 vsize=38736 CPUtime=51.07
/proc/32331/stat : 32331 (bsolo_pb10) R 32329 32331 32136 0 -1 4202496 11799 0 0 0 5094 13 0 0 25 0 1 0 32220885 39665664 7223 1992294400 134512640 137138936 4287761696 18446744073709551615 134542342 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32331/statm: 9684 7223 190 642 0 9040 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 38736

[startup+102.309 s]
/proc/loadavg: 1.08 1.04 1.01 2/107 32336
/proc/meminfo: memFree=1800404/2059040 swapFree=4140296/4192956
[pid=32331] ppid=32329 vsize=46216 CPUtime=102.27
/proc/32331/stat : 32331 (bsolo_pb10) R 32329 32331 32136 0 -1 4202496 13668 0 0 0 10206 21 0 0 25 0 1 0 32220885 47325184 9092 1992294400 134512640 137138936 4287761696 18446744073709551615 134542493 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32331/statm: 11554 9092 190 642 0 10910 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 46216

[startup+162.301 s]
/proc/loadavg: 1.03 1.03 1.00 2/107 32336
/proc/meminfo: memFree=1794576/2059040 swapFree=4140296/4192956
[pid=32331] ppid=32329 vsize=52200 CPUtime=162.23
/proc/32331/stat : 32331 (bsolo_pb10) R 32329 32331 32136 0 -1 4202496 15174 0 0 0 16196 27 0 0 25 0 1 0 32220885 53452800 10598 1992294400 134512640 137138936 4287761696 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32331/statm: 13050 10598 190 642 0 12406 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 52200

[startup+222.301 s]
/proc/loadavg: 1.01 1.02 1.00 2/107 32338
/proc/meminfo: memFree=1786764/2059040 swapFree=4140296/4192956
[pid=32331] ppid=32329 vsize=59856 CPUtime=222.21
/proc/32331/stat : 32331 (bsolo_pb10) R 32329 32331 32136 0 -1 4202496 17102 0 0 0 22186 35 0 0 25 0 1 0 32220885 61292544 12526 1992294400 134512640 137138936 4287761696 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32331/statm: 14964 12526 190 642 0 14320 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 59856

[startup+282.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 32340
/proc/meminfo: memFree=1775356/2059040 swapFree=4140296/4192956
[pid=32331] ppid=32329 vsize=71288 CPUtime=282.19
/proc/32331/stat : 32331 (bsolo_pb10) R 32329 32331 32136 0 -1 4202496 19943 0 0 0 28175 44 0 0 25 0 1 0 32220885 72998912 15367 1992294400 134512640 137138936 4287761696 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32331/statm: 17822 15367 190 642 0 17178 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 71288

[startup+342.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 32342
/proc/meminfo: memFree=1767544/2059040 swapFree=4140296/4192956
[pid=32331] ppid=32329 vsize=79036 CPUtime=342.17
/proc/32331/stat : 32331 (bsolo_pb10) R 32329 32331 32136 0 -1 4202496 21876 0 0 0 34165 52 0 0 25 0 1 0 32220885 80932864 17300 1992294400 134512640 137138936 4287761696 18446744073709551615 134542796 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32331/statm: 19759 17300 190 642 0 19115 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 79036

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32344
/proc/meminfo: memFree=1760352/2059040 swapFree=4140296/4192956
[pid=32331] ppid=32329 vsize=86332 CPUtime=402.15
/proc/32331/stat : 32331 (bsolo_pb10) R 32329 32331 32136 0 -1 4202496 23696 0 0 0 40158 57 0 0 25 0 1 0 32220885 88403968 19120 1992294400 134512640 137138936 4287761696 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32331/statm: 21583 19120 190 642 0 20939 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 86332

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32344
/proc/meminfo: memFree=1751052/2059040 swapFree=4140296/4192956
[pid=32331] ppid=32329 vsize=95568 CPUtime=462.12
/proc/32331/stat : 32331 (bsolo_pb10) R 32329 32331 32136 0 -1 4202496 26007 0 0 0 46147 65 0 0 25 0 1 0 32220885 97861632 21431 1992294400 134512640 137138936 4287761696 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32331/statm: 23892 21431 190 642 0 23248 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 95568

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32346
/proc/meminfo: memFree=1741132/2059040 swapFree=4140296/4192956
[pid=32331] ppid=32329 vsize=105388 CPUtime=522.1
/proc/32331/stat : 32331 (bsolo_pb10) R 32329 32331 32136 0 -1 4202496 28483 0 0 0 52137 73 0 0 25 0 1 0 32220885 107917312 23907 1992294400 134512640 137138936 4287761696 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32331/statm: 26347 23907 190 642 0 25703 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 105388

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32348
/proc/meminfo: memFree=1732576/2059040 swapFree=4140296/4192956
[pid=32331] ppid=32329 vsize=113776 CPUtime=582.08
/proc/32331/stat : 32331 (bsolo_pb10) R 32329 32331 32136 0 -1 4202496 30587 0 0 0 58129 79 0 0 25 0 1 0 32220885 116506624 26011 1992294400 134512640 137138936 4287761696 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32331/statm: 28444 26011 190 642 0 27800 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 113776

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32350
/proc/meminfo: memFree=1723896/2059040 swapFree=4140296/4192956
[pid=32331] ppid=32329 vsize=122428 CPUtime=642.06
/proc/32331/stat : 32331 (bsolo_pb10) R 32329 32331 32136 0 -1 4202496 32728 0 0 0 64121 85 0 0 25 0 1 0 32220885 125366272 28152 1992294400 134512640 137138936 4287761696 18446744073709551615 134572768 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32331/statm: 30607 28152 190 642 0 29963 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 122428

[startup+702.302 s]

################
# More data... #
################

/proc/meminfo: memFree=1669708/2059040 swapFree=4140296/4192956
[pid=32331] ppid=32329 vsize=176220 CPUtime=1121.88
/proc/32331/stat : 32331 (bsolo_pb10) R 32329 32331 32136 0 -1 4202496 46171 0 0 0 112059 129 0 0 25 0 1 0 32220885 180449280 41595 1992294400 134512640 137138936 4287761696 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32331/statm: 44055 41595 190 642 0 43411 0
Current children cumulated CPU time (s) 1121.88
Current children cumulated vsize (KiB) 176220

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32364
/proc/meminfo: memFree=1664748/2059040 swapFree=4140296/4192956
[pid=32331] ppid=32329 vsize=181152 CPUtime=1181.86
/proc/32331/stat : 32331 (bsolo_pb10) R 32329 32331 32136 0 -1 4202496 47414 0 0 0 118050 136 0 0 25 0 1 0 32220885 185499648 42838 1992294400 134512640 137138936 4287761696 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32331/statm: 45288 42838 190 642 0 44644 0
Current children cumulated CPU time (s) 1181.86
Current children cumulated vsize (KiB) 181152

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32366
/proc/meminfo: memFree=1659292/2059040 swapFree=4140296/4192956
[pid=32331] ppid=32329 vsize=186424 CPUtime=1241.83
/proc/32331/stat : 32331 (bsolo_pb10) R 32329 32331 32136 0 -1 4202496 48740 0 0 0 124042 141 0 0 25 0 1 0 32220885 190898176 44164 1992294400 134512640 137138936 4287761696 18446744073709551615 134542128 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32331/statm: 46606 44164 190 642 0 45962 0
Current children cumulated CPU time (s) 1241.83
Current children cumulated vsize (KiB) 186424

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32368
/proc/meminfo: memFree=1654456/2059040 swapFree=4140296/4192956
[pid=32331] ppid=32329 vsize=191160 CPUtime=1301.82
/proc/32331/stat : 32331 (bsolo_pb10) R 32329 32331 32136 0 -1 4202496 49908 0 0 0 130035 147 0 0 25 0 1 0 32220885 195747840 45332 1992294400 134512640 137138936 4287761696 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32331/statm: 47790 45332 190 642 0 47146 0
Current children cumulated CPU time (s) 1301.82
Current children cumulated vsize (KiB) 191160

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32368
/proc/meminfo: memFree=1649992/2059040 swapFree=4140296/4192956
[pid=32331] ppid=32329 vsize=195624 CPUtime=1361.79
/proc/32331/stat : 32331 (bsolo_pb10) R 32329 32331 32136 0 -1 4202496 51040 0 0 0 136027 152 0 0 25 0 1 0 32220885 200318976 46464 1992294400 134512640 137138936 4287761696 18446744073709551615 134575213 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32331/statm: 48906 46464 190 642 0 48262 0
Current children cumulated CPU time (s) 1361.79
Current children cumulated vsize (KiB) 195624

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32370
/proc/meminfo: memFree=1644908/2059040 swapFree=4140296/4192956
[pid=32331] ppid=32329 vsize=200332 CPUtime=1421.78
/proc/32331/stat : 32331 (bsolo_pb10) R 32329 32331 32136 0 -1 4202496 52199 0 0 0 142020 158 0 0 25 0 1 0 32220885 205139968 47623 1992294400 134512640 137138936 4287761696 18446744073709551615 134542497 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32331/statm: 50083 47623 190 642 0 49439 0
Current children cumulated CPU time (s) 1421.78
Current children cumulated vsize (KiB) 200332

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32372
/proc/meminfo: memFree=1639700/2059040 swapFree=4140296/4192956
[pid=32331] ppid=32329 vsize=205456 CPUtime=1481.74
/proc/32331/stat : 32331 (bsolo_pb10) R 32329 32331 32136 0 -1 4202496 53493 0 0 0 148011 163 0 0 25 0 1 0 32220885 210386944 48917 1992294400 134512640 137138936 4287761696 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32331/statm: 51364 48917 190 642 0 50720 0
Current children cumulated CPU time (s) 1481.74
Current children cumulated vsize (KiB) 205456

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32374
/proc/meminfo: memFree=1632136/2059040 swapFree=4140296/4192956
[pid=32331] ppid=32329 vsize=212920 CPUtime=1541.72
/proc/32331/stat : 32331 (bsolo_pb10) R 32329 32331 32136 0 -1 4202496 55346 0 0 0 154000 172 0 0 25 0 1 0 32220885 218030080 50770 1992294400 134512640 137138936 4287761696 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32331/statm: 53230 50770 190 642 0 52586 0
Current children cumulated CPU time (s) 1541.72
Current children cumulated vsize (KiB) 212920

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32376
/proc/meminfo: memFree=1626432/2059040 swapFree=4140296/4192956
[pid=32331] ppid=32329 vsize=218656 CPUtime=1601.7
/proc/32331/stat : 32331 (bsolo_pb10) R 32329 32331 32136 0 -1 4202496 56794 0 0 0 159993 177 0 0 25 0 1 0 32220885 223903744 52218 1992294400 134512640 137138936 4287761696 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32331/statm: 54664 52218 190 642 0 54020 0
Current children cumulated CPU time (s) 1601.7
Current children cumulated vsize (KiB) 218656

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32376
/proc/meminfo: memFree=1620604/2059040 swapFree=4140296/4192956
[pid=32331] ppid=32329 vsize=224416 CPUtime=1661.68
/proc/32331/stat : 32331 (bsolo_pb10) R 32329 32331 32136 0 -1 4202496 58232 0 0 0 165985 183 0 0 25 0 1 0 32220885 229801984 53656 1992294400 134512640 137138936 4287761696 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32331/statm: 56104 53656 190 642 0 55460 0
Current children cumulated CPU time (s) 1661.68
Current children cumulated vsize (KiB) 224416

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32378
/proc/meminfo: memFree=1613784/2059040 swapFree=4140296/4192956
[pid=32331] ppid=32329 vsize=231256 CPUtime=1721.65
/proc/32331/stat : 32331 (bsolo_pb10) R 32329 32331 32136 0 -1 4202496 59937 0 0 0 171976 189 0 0 25 0 1 0 32220885 236806144 55361 1992294400 134512640 137138936 4287761696 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32331/statm: 57814 55361 190 642 0 57170 0
Current children cumulated CPU time (s) 1721.65
Current children cumulated vsize (KiB) 231256

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32380
/proc/meminfo: memFree=1609444/2059040 swapFree=4140296/4192956
[pid=32331] ppid=32329 vsize=235296 CPUtime=1781.64
/proc/32331/stat : 32331 (bsolo_pb10) R 32329 32331 32136 0 -1 4202496 60953 0 0 0 177970 194 0 0 25 0 1 0 32220885 240943104 56377 1992294400 134512640 137138936 4287761696 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32331/statm: 58824 56377 190 642 0 58180 0
Current children cumulated CPU time (s) 1781.64
Current children cumulated vsize (KiB) 235296

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

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32380
/proc/meminfo: memFree=1608452/2059040 swapFree=4140296/4192956
[pid=32331] ppid=32329 vsize=236268 CPUtime=1791.24
/proc/32331/stat : 32331 (bsolo_pb10) R 32329 32331 32136 0 -1 4202496 61187 0 0 0 178929 195 0 0 25 0 1 0 32220885 241938432 56611 1992294400 134512640 137138936 4287761696 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32331/statm: 59067 56611 190 642 0 58423 0
Current children cumulated CPU time (s) 1791.24
Current children cumulated vsize (KiB) 236268

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32380
/proc/meminfo: memFree=1608204/2059040 swapFree=4140296/4192956
[pid=32331] ppid=32329 vsize=236536 CPUtime=1794.44
/proc/32331/stat : 32331 (bsolo_pb10) R 32329 32331 32136 0 -1 4202496 61250 0 0 0 179249 195 0 0 25 0 1 0 32220885 242212864 56674 1992294400 134512640 137138936 4287761696 18446744073709551615 134623849 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32331/statm: 59134 56674 190 642 0 58490 0
Current children cumulated CPU time (s) 1794.44
Current children cumulated vsize (KiB) 236536

[startup+1796.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32380
/proc/meminfo: memFree=1608080/2059040 swapFree=4140296/4192956
[pid=32331] ppid=32329 vsize=236668 CPUtime=1796.03
/proc/32331/stat : 32331 (bsolo_pb10) R 32329 32331 32136 0 -1 4202496 61281 0 0 0 179408 195 0 0 25 0 1 0 32220885 242348032 56705 1992294400 134512640 137138936 4287761696 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32331/statm: 59167 56705 190 642 0 58523 0
Current children cumulated CPU time (s) 1796.03
Current children cumulated vsize (KiB) 236668

[startup+1797.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32380
/proc/meminfo: memFree=1608080/2059040 swapFree=4140296/4192956
[pid=32331] ppid=32329 vsize=236668 CPUtime=1796.83
/proc/32331/stat : 32331 (bsolo_pb10) R 32329 32331 32136 0 -1 4202496 61296 0 0 0 179488 195 0 0 25 0 1 0 32220885 242348032 56720 1992294400 134512640 137138936 4287761696 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32331/statm: 59167 56720 190 642 0 58523 0
Current children cumulated CPU time (s) 1796.83
Current children cumulated vsize (KiB) 236668

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32380
/proc/meminfo: memFree=1608080/2059040 swapFree=4140296/4192956
[pid=32331] ppid=32329 vsize=236668 CPUtime=1797.63
/proc/32331/stat : 32331 (bsolo_pb10) R 32329 32331 32136 0 -1 4202496 61310 0 0 0 179568 195 0 0 25 0 1 0 32220885 242348032 56734 1992294400 134512640 137138936 4287761696 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32331/statm: 59167 56734 190 642 0 58523 0
Current children cumulated CPU time (s) 1797.63
Current children cumulated vsize (KiB) 236668

[startup+1798.51 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32380
/proc/meminfo: memFree=1607956/2059040 swapFree=4140296/4192956
[pid=32331] ppid=32329 vsize=236800 CPUtime=1797.84
/proc/32331/stat : 32331 (bsolo_pb10) R 32329 32331 32136 0 -1 4202496 61314 0 0 0 179589 195 0 0 25 0 1 0 32220885 242483200 56738 1992294400 134512640 137138936 4287761696 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32331/statm: 59200 56738 190 642 0 58556 0
Current children cumulated CPU time (s) 1797.84
Current children cumulated vsize (KiB) 236800

[startup+1798.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32380
/proc/meminfo: memFree=1607956/2059040 swapFree=4140296/4192956
[pid=32331] ppid=32329 vsize=236800 CPUtime=1797.93
/proc/32331/stat : 32331 (bsolo_pb10) R 32329 32331 32136 0 -1 4202496 61315 0 0 0 179598 195 0 0 25 0 1 0 32220885 242483200 56739 1992294400 134512640 137138936 4287761696 18446744073709551615 134542310 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32331/statm: 59200 56739 190 642 0 58556 0
Current children cumulated CPU time (s) 1797.93
Current children cumulated vsize (KiB) 236800

Child status: 0
Real time (s): 1798.69
CPU time (s): 1798.03
CPU user time (s): 1796.05
CPU system time (s): 1.9797
CPU usage (%): 99.9632
Max. virtual memory (cumulated for all children) (KiB): 236800

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.05
system time used= 1.9797
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 61317
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= 1
involuntary context switches= 23811

runsolver used 3.99539 second user time and 9.06562 second system time

The end

Launcher Data 

Begin job on node027 at 2010-06-15 09:08:10
IDJOB=2657363
IDBENCH=2633
IDSOLVER=1163
FILE ID=node027/2657363-1276585690
PBS_JOBID= 11173539
Free space on /tmp= 62528 MiB

SOLVER NAME= bsolo 3.2 Cl
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_19.opb
COMMAND LINE= bsolo_pb10 -tTIMEOUT -l1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2657363-1276585690/watcher-2657363-1276585690 -o /tmp/evaluation-result-2657363-1276585690/solver-2657363-1276585690 -C 1800 -W 2000 -M 1800  bsolo_pb10 -t1800 -l1 HOME/instance-2657363-1276585690.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 5a1b3155d98b6c4d8f9ab1b869fece67
RANDOM SEED=332587597

node027.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 2800.261
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5600.52
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 2800.261
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.45
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1837148 kB
Buffers:         18752 kB
Cached:         124084 kB
SwapCached:       5720 kB
Active:          90680 kB
Inactive:        64672 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1837148 kB
SwapTotal:     4192956 kB
SwapFree:      4140296 kB
Dirty:           10076 kB
Writeback:           4 kB
AnonPages:       11028 kB
Mapped:          13124 kB
Slab:            44700 kB
PageTables:       4016 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182432 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264952 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62524 MiB
End job on node027 at 2010-06-15 09:38:09