Trace number 3462490

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.2OPT3 915.349 915.355

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/
factor-mod-B/factor-mod-size=9-P0=263-P1=409-P2=29-P3=379-B.opb
MD5SUM947e947c586d02edcb816b66608818b9
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark0.110982
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3
Optimality of the best value was proved YES
Number of variables81
Total number of constraints7
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 constraints7
Minimum length of a constraint9
Maximum length of a constraint99
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 131072
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 523264
Number of bits of the biggest sum of numbers19
Number of products (including duplicates)243
Sum of products size (including duplicates)486
Number of different products243
Sum of products size486

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.02	c bsolo beta version 3.2 - 23/05/2010 : 1630 GMT
0.00/0.02	c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID
0.00/0.02	c type "bsolo -h" for help
0.00/0.02	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.02	c Learning Strategy: Cardinality Constraint Learning
0.00/0.02	c Time Limit set to 1800
0.00/0.02	c Instance file HOME/instance-3462490-1307181052.opb
0.00/0.02	c File size is 4315 bytes.
0.00/0.02	c Highest Coefficient sum: 523264
0.00/0.02	c Parsing was ok!!
0.00/0.02	c Total parsing time: 0 s
0.00/0.02	c Var: 324 Constr: 496 243/0/253 Lit: 2070 Watch. Lit: 1271
0.00/0.02	c Obj. Vars: 9 (2.77778 % of total variables)
0.00/0.02	c Pre-processing Time: 0.001 s
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c        0    324      496     2070    4     1781    2762      0      0 0.00
0.00/0.02	c Switching off lower bounding mode.
0.07/0.18	c      100    324      677    13149   19     2194    3039    181   6250 0.02
0.07/0.18	c      250    324      963    33176   34     2916    3343    467   6410 0.04
0.07/0.18	c      475    324     1380    61940   44     3934    3678    884   5722 0.08
0.07/0.18	c      814    324     2042   105803   51     5626    4046   1546   5773 0.14
0.07/0.18	o 19
5.58/5.65	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.58/5.65	c      939    324     2286   122140   53     6282    2781   1790   5725 0.16
5.58/5.65	c     1040    324     2486   136191   54     6777    3060   1990   5745 0.18
5.58/5.65	c     1290    324     2981   170006   57     8100    3367   2485   5863 0.22
5.58/5.65	c     1765    324     2181   117823   54     5909    3704   1685   5447 0.32
5.58/5.65	c     2578    324     3753   217454   57     9841    4075   3257   4747 0.54
5.58/5.65	c     3899    292     4106   245190   59    10852    4483   3610   4625 0.84
5.58/5.65	c     5980    292     3173   193846   61     8191    4932   2677   4320 1.38
5.58/5.65	c     9204    292     4210   254297   60    10662    5426   3714   3875 2.38
5.58/5.65	c    14140    280     5246   332076   63    13850    5969   4750   3725 3.79
5.58/5.65	o 9
16.37/16.48	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
16.37/16.48	c    20020    280     3920   229170   58    10160    2772   3424   3550 5.64
16.37/16.48	c    20121    269     2077   109825   52     5460    3050   1581   3555 5.66
16.37/16.48	c    20371    269     2566   144020   56     6778    3356   2070   3572 5.70
16.37/16.48	c    20847    269     3466   197527   56     9125    3692   2970   3591 5.80
16.37/16.48	c    21660    269     3051   160295   52     8033    4062   2555   3603 6.01
16.37/16.48	c    22981    269     3394   182743   53     8827    4469   2898   3603 6.38
16.37/16.48	c    25062    269     2737   154499   56     7083    4916   2241   3587 6.99
16.37/16.48	c    28286    269     3780   219105   57     9742    5408   3284   3594 7.87
16.37/16.48	c    33222    269     4822   277922   57    12641    5949   4326   3534 9.40
16.37/16.48	c    40729    269     3909   225605   57    10185    6544   3413   3438 11.84
16.37/16.48	c    52090    269     4636   324885   70    12162    7199   4140   3242 16.07
16.37/16.48	o 3
915.28/915.35	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
915.28/915.35	c    53986    269     4306   258795   60    11388    2770   3810   3278 16.47
915.28/915.35	c    54086    269     2083   107058   51     5469    3048   1587   3279 16.49
915.28/915.35	c    54336    269     2573   136222   52     6753    3353   2077   3285 16.54
915.28/915.35	c    54812    269     3496   193752   55     9156    3689   3000   3291 16.65
915.28/915.35	c    55625    269     3094   173634   56     8010    4058   2598   3299 16.86
915.28/915.35	c    56945    269     3499   201424   57     8982    4464   3003   3302 17.24
915.28/915.35	c    59026    269     2795   153634   54     7255    4911   2299   3296 17.91
915.28/915.35	c    62249    269     3821   217515   56     9812    5403   3325   3292 18.91
915.28/915.35	c    67185    269     4844   286003   59    12459    5944   4348   3297 20.37
915.28/915.35	c    74691    269     3889   220769   56    10010    6539   3393   3287 22.72
915.28/915.35	c    86052    269     5511   314102   56    14465    7193   5015   3236 26.59
915.28/915.35	c   103196    259     4867   333123   68    12224    7913   4371   3153 32.72
915.28/915.35	c   129016    235     8212   510042   62    20360    8705   7716   3109 41.49
915.28/915.35	c   167848    235     8012   537240   67    20746    9576   7516   2853 58.83
915.28/915.35	c   226201    235     9816   681921   69    24570   10534   9320   2672 84.63
915.28/915.35	c   313833    235     6981   434842   62    18202   11588   6485   2550 123.05
915.28/915.35	c   445386    235     7801   470511   60    20188   12747   7305   2533 175.77
915.28/915.35	c   642818    235    11297   738916   65    28748   14022  10801   2351 273.33
915.28/915.35	c   939070    235    11812   713756   60    30230   15425  11316   2230 420.98
915.28/915.35	c  1383552    235    13503   867245   64    35348   16968  13007   2066 669.61
915.28/915.35	v x1 x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 x10 x11 -x12 x13 -x14 x15 -x16 x17 -x18 x19 -x20 x21 -x22 -x23 x24 -x25 -x26 -x27 x28 -x29 x30 x31 -x32 -x33 -x34 -x35 -x36 x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 x46 -x47 x48 -x49 -x50 x51 -x52 -x53 -x54 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 
915.28/915.35	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
915.28/915.35	c   44  1783496  16705  1821777    10032   607926   9536   1948 915.35
915.28/915.35	c Objective: 3
915.28/915.35	s OPTIMUM FOUND
915.28/915.35	c Total time: 915.347 s

Verifier Data 

OK	3

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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-3462490-1307181052/watcher-3462490-1307181052 -o /tmp/evaluation-result-3462490-1307181052/solver-3462490-1307181052 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462490-1307181052.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.05 2.01 3/561 5552
/proc/meminfo: memFree=29757064/32950928 swapFree=41528364/67111528
[pid=5552] ppid=5550 vsize=11796 CPUtime=0 cores=1,3,5,7
/proc/5552/stat : 5552 (runsolver) R 5550 5552 3716 0 -1 4202560 41 0 0 0 0 0 0 0 25 0 1 0 829703867 12079104 50 33554432000 4194304 5432328 140735119148384 18446744073709551615 4881591 0 2147483391 4096 24578 0 0 0 17 7 0 0 0
/proc/5552/statm: 2949 50 31 303 0 2643 0

[startup+0.0318859 s]
/proc/loadavg: 2.00 2.05 2.01 3/561 5552
/proc/meminfo: memFree=29757064/32950928 swapFree=41528364/67111528
[pid=5552] ppid=5550 vsize=10920 CPUtime=0 cores=1,3,5,7
/proc/5552/stat : 5552 (bsolo) R 5550 5552 3716 0 -1 4202496 341 0 0 0 0 0 0 0 25 0 1 0 829703867 11182080 294 33554432000 134512640 137138936 4290760352 18446744073709551615 134618096 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5552/statm: 2730 294 192 642 0 2086 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 10920

[startup+0.100875 s]
/proc/loadavg: 2.00 2.05 2.01 3/561 5552
/proc/meminfo: memFree=29757064/32950928 swapFree=41528364/67111528
[pid=5552] ppid=5550 vsize=11692 CPUtime=0.07 cores=1,3,5,7
/proc/5552/stat : 5552 (bsolo) R 5550 5552 3716 0 -1 4202496 523 0 0 0 7 0 0 0 25 0 1 0 829703867 11972608 476 33554432000 134512640 137138936 4290760352 18446744073709551615 136297620 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5552/statm: 2923 476 192 642 0 2279 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 11692

[startup+0.300841 s]
/proc/loadavg: 2.00 2.05 2.01 3/561 5552
/proc/meminfo: memFree=29757064/32950928 swapFree=41528364/67111528
[pid=5552] ppid=5550 vsize=13760 CPUtime=0.27 cores=1,3,5,7
/proc/5552/stat : 5552 (bsolo) R 5550 5552 3716 0 -1 4202496 1042 0 0 0 27 0 0 0 25 0 1 0 829703867 14090240 995 33554432000 134512640 137138936 4290760352 18446744073709551615 134544722 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5552/statm: 3440 995 192 642 0 2796 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 13760

[startup+0.700839 s]
/proc/loadavg: 2.00 2.05 2.01 3/561 5552
/proc/meminfo: memFree=29757064/32950928 swapFree=41528364/67111528
[pid=5552] ppid=5550 vsize=14928 CPUtime=0.67 cores=1,3,5,7
/proc/5552/stat : 5552 (bsolo) R 5550 5552 3716 0 -1 4202496 1350 0 0 0 66 1 0 0 25 0 1 0 829703867 15286272 1303 33554432000 134512640 137138936 4290760352 18446744073709551615 134575044 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5552/statm: 3732 1303 192 642 0 3088 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 14928

[startup+1.50064 s]
/proc/loadavg: 2.00 2.05 2.01 3/562 5553
/proc/meminfo: memFree=29751104/32950928 swapFree=41528364/67111528
[pid=5552] ppid=5550 vsize=15972 CPUtime=1.47 cores=1,3,5,7
/proc/5552/stat : 5552 (bsolo) R 5550 5552 3716 0 -1 4202496 1607 0 0 0 146 1 0 0 25 0 1 0 829703867 16355328 1560 33554432000 134512640 137138936 4290760352 18446744073709551615 136502612 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5552/statm: 3993 1560 192 642 0 3349 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 15972

[startup+3.10044 s]
/proc/loadavg: 2.00 2.05 2.01 3/562 5553
/proc/meminfo: memFree=29748376/32950928 swapFree=41528364/67111528
[pid=5552] ppid=5550 vsize=16100 CPUtime=3.07 cores=1,3,5,7
/proc/5552/stat : 5552 (bsolo) R 5550 5552 3716 0 -1 4202496 1641 0 0 0 305 2 0 0 25 0 1 0 829703867 16486400 1594 33554432000 134512640 137138936 4290760352 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5552/statm: 4025 1594 192 642 0 3381 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 16100

[startup+6.30083 s]
/proc/loadavg: 2.00 2.05 2.01 3/562 5553
/proc/meminfo: memFree=29745880/32950928 swapFree=41528364/67111528
[pid=5552] ppid=5550 vsize=17000 CPUtime=6.27 cores=1,3,5,7
/proc/5552/stat : 5552 (bsolo) R 5550 5552 3716 0 -1 4202496 1867 0 0 0 624 3 0 0 25 0 1 0 829703867 17408000 1820 33554432000 134512640 137138936 4290760352 18446744073709551615 136511176 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5552/statm: 4250 1820 192 642 0 3606 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 17000

[startup+12.7008 s]
/proc/loadavg: 2.00 2.05 2.01 3/562 5553
/proc/meminfo: memFree=29744276/32950928 swapFree=41528364/67111528
[pid=5552] ppid=5550 vsize=17248 CPUtime=12.67 cores=1,3,5,7
/proc/5552/stat : 5552 (bsolo) R 5550 5552 3716 0 -1 4202496 1909 0 0 0 1261 6 0 0 25 0 1 0 829703867 17661952 1862 33554432000 134512640 137138936 4290760352 18446744073709551615 136296960 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5552/statm: 4312 1862 192 642 0 3668 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 17248

[startup+25.5006 s]
/proc/loadavg: 2.00 2.05 2.01 3/562 5554
/proc/meminfo: memFree=29737468/32950928 swapFree=41528364/67111528
[pid=5552] ppid=5550 vsize=18776 CPUtime=25.47 cores=1,3,5,7
/proc/5552/stat : 5552 (bsolo) R 5550 5552 3716 0 -1 4202496 2311 0 0 0 2537 10 0 0 25 0 1 0 829703867 19226624 2264 33554432000 134512640 137138936 4290760352 18446744073709551615 134551253 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5552/statm: 4694 2264 192 642 0 4050 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 18776

[startup+51.1003 s]
/proc/loadavg: 2.00 2.04 2.01 3/562 5554
/proc/meminfo: memFree=29716620/32950928 swapFree=41528364/67111528
[pid=5552] ppid=5550 vsize=20168 CPUtime=51.07 cores=1,3,5,7
/proc/5552/stat : 5552 (bsolo) R 5550 5552 3716 0 -1 4202496 2665 0 0 0 5091 16 0 0 25 0 1 0 829703867 20652032 2618 33554432000 134512640 137138936 4290760352 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5552/statm: 5042 2618 192 642 0 4398 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 20168

[startup+102.322 s]
/proc/loadavg: 2.13 2.08 2.02 3/562 5556
/proc/meminfo: memFree=29629436/32950928 swapFree=41528364/67111528
[pid=5552] ppid=5550 vsize=21976 CPUtime=102.29 cores=1,3,5,7
/proc/5552/stat : 5552 (bsolo) R 5550 5552 3716 0 -1 4202496 3114 0 0 0 10201 28 0 0 25 0 1 0 829703867 22503424 3067 33554432000 134512640 137138936 4290760352 18446744073709551615 136295499 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5552/statm: 5494 3067 192 642 0 4850 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 21976

[startup+162.301 s]
/proc/loadavg: 2.13 2.09 2.02 3/562 5557
/proc/meminfo: memFree=29438468/32950928 swapFree=41528364/67111528
[pid=5552] ppid=5550 vsize=23752 CPUtime=162.27 cores=1,3,5,7
/proc/5552/stat : 5552 (bsolo) R 5550 5552 3716 0 -1 4202496 3543 0 0 0 16185 42 0 0 25 0 1 0 829703867 24322048 3496 33554432000 134512640 137138936 4290760352 18446744073709551615 134618943 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5552/statm: 5938 3496 192 642 0 5294 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 23752

[startup+222.301 s]
/proc/loadavg: 2.04 2.07 2.02 3/562 5559
/proc/meminfo: memFree=29127816/32950928 swapFree=41528364/67111528
[pid=5552] ppid=5550 vsize=24236 CPUtime=222.27 cores=1,3,5,7
/proc/5552/stat : 5552 (bsolo) R 5550 5552 3716 0 -1 4202496 3676 0 0 0 22174 53 0 0 25 0 1 0 829703867 24817664 3629 33554432000 134512640 137138936 4290760352 18446744073709551615 134542528 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5552/statm: 6059 3629 192 642 0 5415 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 24236

[startup+282.3 s]
/proc/loadavg: 2.01 2.05 2.01 3/562 5561
/proc/meminfo: memFree=28915136/32950928 swapFree=41528364/67111528
[pid=5552] ppid=5550 vsize=24632 CPUtime=282.28 cores=1,3,5,7
/proc/5552/stat : 5552 (bsolo) R 5550 5552 3716 0 -1 4202496 3765 0 0 0 28162 66 0 0 25 0 1 0 829703867 25223168 3718 33554432000 134512640 137138936 4290760352 18446744073709551615 134552064 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5552/statm: 6158 3718 192 642 0 5514 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 24632

[startup+342.3 s]
/proc/loadavg: 2.00 2.04 2.00 3/562 5562
/proc/meminfo: memFree=28716108/32950928 swapFree=41528364/67111528
[pid=5552] ppid=5550 vsize=25836 CPUtime=342.27 cores=1,3,5,7
/proc/5552/stat : 5552 (bsolo) R 5550 5552 3716 0 -1 4202496 4067 0 0 0 34151 76 0 0 25 0 1 0 829703867 26456064 4020 33554432000 134512640 137138936 4290760352 18446744073709551615 134618336 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5552/statm: 6459 4020 192 642 0 5815 0
Current children cumulated CPU time (s) 342.27
Current children cumulated vsize (KiB) 25836

[startup+402.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/562 5564
/proc/meminfo: memFree=28472176/32950928 swapFree=41528364/67111528
[pid=5552] ppid=5550 vsize=25828 CPUtime=402.28 cores=1,3,5,7
/proc/5552/stat : 5552 (bsolo) R 5550 5552 3716 0 -1 4202496 4067 0 0 0 40140 88 0 0 25 0 1 0 829703867 26447872 4020 33554432000 134512640 137138936 4290760352 18446744073709551615 134542184 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5552/statm: 6457 4020 192 642 0 5813 0
Current children cumulated CPU time (s) 402.28
Current children cumulated vsize (KiB) 25828

[startup+462.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/562 5565
/proc/meminfo: memFree=28916696/32950928 swapFree=41528364/67111528
[pid=5552] ppid=5550 vsize=27320 CPUtime=462.28 cores=1,3,5,7
/proc/5552/stat : 5552 (bsolo) R 5550 5552 3716 0 -1 4202496 4437 0 0 0 46129 99 0 0 25 0 1 0 829703867 27975680 4390 33554432000 134512640 137138936 4290760352 18446744073709551615 136504268 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5552/statm: 6830 4390 192 642 0 6186 0
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (KiB) 27320

[startup+522.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/562 5567
/proc/meminfo: memFree=28916676/32950928 swapFree=41528364/67111528
[pid=5552] ppid=5550 vsize=27304 CPUtime=522.27 cores=1,3,5,7
/proc/5552/stat : 5552 (bsolo) R 5550 5552 3716 0 -1 4202496 4437 0 0 0 52119 108 0 0 25 0 1 0 829703867 27959296 4390 33554432000 134512640 137138936 4290760352 18446744073709551615 134542898 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5552/statm: 6826 4390 192 642 0 6182 0
Current children cumulated CPU time (s) 522.27
Current children cumulated vsize (KiB) 27304

[startup+582.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/562 5569
/proc/meminfo: memFree=28916532/32950928 swapFree=41528364/67111528
[pid=5552] ppid=5550 vsize=27300 CPUtime=582.28 cores=1,3,5,7
/proc/5552/stat : 5552 (bsolo) R 5550 5552 3716 0 -1 4202496 4437 0 0 0 58109 119 0 0 25 0 1 0 829703867 27955200 4390 33554432000 134512640 137138936 4290760352 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5552/statm: 6825 4390 192 642 0 6181 0
Current children cumulated CPU time (s) 582.28
Current children cumulated vsize (KiB) 27300

[startup+642.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/562 5579
/proc/meminfo: memFree=28916316/32950928 swapFree=41528364/67111528
[pid=5552] ppid=5550 vsize=27284 CPUtime=642.29 cores=1,3,5,7
/proc/5552/stat : 5552 (bsolo) R 5550 5552 3716 0 -1 4202496 4437 0 0 0 64101 128 0 0 25 0 1 0 829703867 27938816 4390 33554432000 134512640 137138936 4290760352 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5552/statm: 6821 4390 192 642 0 6177 0
Current children cumulated CPU time (s) 642.29
Current children cumulated vsize (KiB) 27284

[startup+702.301 s]
/proc/loadavg: 2.17 2.05 2.01 3/562 5581
/proc/meminfo: memFree=28916036/32950928 swapFree=41528364/67111528
[pid=5552] ppid=5550 vsize=27756 CPUtime=702.28 cores=1,3,5,7
/proc/5552/stat : 5552 (bsolo) R 5550 5552 3716 0 -1 4202496 4547 0 0 0 70090 138 0 0 25 0 1 0 829703867 28422144 4500 33554432000 134512640 137138936 4290760352 18446744073709551615 134542289 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5552/statm: 6939 4500 192 642 0 6295 0
Current children cumulated CPU time (s) 702.28
Current children cumulated vsize (KiB) 27756

[startup+762.321 s]
/proc/loadavg: 2.16 2.07 2.02 3/562 5582
/proc/meminfo: memFree=28915148/32950928 swapFree=41528364/67111528
[pid=5552] ppid=5550 vsize=29020 CPUtime=762.3 cores=1,3,5,7
/proc/5552/stat : 5552 (bsolo) R 5550 5552 3716 0 -1 4202496 4866 0 0 0 76080 150 0 0 25 0 1 0 829703867 29716480 4819 33554432000 134512640 137138936 4290760352 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5552/statm: 7255 4819 192 642 0 6611 0
Current children cumulated CPU time (s) 762.3
Current children cumulated vsize (KiB) 29020

[startup+822.301 s]
/proc/loadavg: 2.06 2.05 2.01 3/562 5587
/proc/meminfo: memFree=28915068/32950928 swapFree=41528364/67111528
[pid=5552] ppid=5550 vsize=29000 CPUtime=822.29 cores=1,3,5,7
/proc/5552/stat : 5552 (bsolo) R 5550 5552 3716 0 -1 4202496 4866 0 0 0 82068 161 0 0 25 0 1 0 829703867 29696000 4819 33554432000 134512640 137138936 4290760352 18446744073709551615 134606961 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5552/statm: 7250 4819 192 642 0 6606 0
Current children cumulated CPU time (s) 822.29
Current children cumulated vsize (KiB) 29000

[startup+882.301 s]
/proc/loadavg: 2.02 2.04 2.01 3/562 5589
/proc/meminfo: memFree=28914032/32950928 swapFree=41528364/67111528
[pid=5552] ppid=5550 vsize=29000 CPUtime=882.29 cores=1,3,5,7
/proc/5552/stat : 5552 (bsolo) R 5550 5552 3716 0 -1 4202496 4866 0 0 0 88059 170 0 0 25 0 1 0 829703867 29696000 4819 33554432000 134512640 137138936 4290760352 18446744073709551615 134575637 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5552/statm: 7250 4819 192 642 0 6606 0
Current children cumulated CPU time (s) 882.29
Current children cumulated vsize (KiB) 29000

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

[startup+895.9 s]
/proc/loadavg: 2.01 2.04 2.00 3/562 5589
/proc/meminfo: memFree=28914520/32950928 swapFree=41528364/67111528
[pid=5552] ppid=5550 vsize=28996 CPUtime=895.88 cores=1,3,5,7
/proc/5552/stat : 5552 (bsolo) R 5550 5552 3716 0 -1 4202496 4866 0 0 0 89416 172 0 0 25 0 1 0 829703867 29691904 4819 33554432000 134512640 137138936 4290760352 18446744073709551615 134575744 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5552/statm: 7249 4819 192 642 0 6605 0
Current children cumulated CPU time (s) 895.88
Current children cumulated vsize (KiB) 28996

[startup+908.7 s]
/proc/loadavg: 2.01 2.04 2.00 3/562 5589
/proc/meminfo: memFree=28913900/32950928 swapFree=41528364/67111528
[pid=5552] ppid=5550 vsize=28996 CPUtime=908.68 cores=1,3,5,7
/proc/5552/stat : 5552 (bsolo) R 5550 5552 3716 0 -1 4202496 4866 0 0 0 90693 175 0 0 25 0 1 0 829703867 29691904 4819 33554432000 134512640 137138936 4290760352 18446744073709551615 134603076 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5552/statm: 7249 4819 192 642 0 6605 0
Current children cumulated CPU time (s) 908.68
Current children cumulated vsize (KiB) 28996

[startup+911.922 s]
/proc/loadavg: 2.01 2.04 2.00 3/562 5589
/proc/meminfo: memFree=28915012/32950928 swapFree=41528364/67111528
[pid=5552] ppid=5550 vsize=28996 CPUtime=911.91 cores=1,3,5,7
/proc/5552/stat : 5552 (bsolo) R 5550 5552 3716 0 -1 4202496 4866 0 0 0 91015 176 0 0 25 0 1 0 829703867 29691904 4819 33554432000 134512640 137138936 4290760352 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5552/statm: 7249 4819 192 642 0 6605 0
Current children cumulated CPU time (s) 911.91
Current children cumulated vsize (KiB) 28996

[startup+913.5 s]
/proc/loadavg: 2.01 2.04 2.00 3/562 5589
/proc/meminfo: memFree=28915012/32950928 swapFree=41528364/67111528
[pid=5552] ppid=5550 vsize=28992 CPUtime=913.48 cores=1,3,5,7
/proc/5552/stat : 5552 (bsolo) R 5550 5552 3716 0 -1 4202496 4866 0 0 0 91172 176 0 0 25 0 1 0 829703867 29687808 4819 33554432000 134512640 137138936 4290760352 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5552/statm: 7248 4819 192 642 0 6604 0
Current children cumulated CPU time (s) 913.48
Current children cumulated vsize (KiB) 28992

[startup+914.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/562 5589
/proc/meminfo: memFree=28915136/32950928 swapFree=41528364/67111528
[pid=5552] ppid=5550 vsize=28992 CPUtime=914.28 cores=1,3,5,7
/proc/5552/stat : 5552 (bsolo) R 5550 5552 3716 0 -1 4202496 4866 0 0 0 91252 176 0 0 25 0 1 0 829703867 29687808 4819 33554432000 134512640 137138936 4290760352 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5552/statm: 7248 4819 192 642 0 6604 0
Current children cumulated CPU time (s) 914.28
Current children cumulated vsize (KiB) 28992

[startup+915.101 s]
/proc/loadavg: 2.01 2.03 2.00 3/562 5589
/proc/meminfo: memFree=28915136/32950928 swapFree=41528364/67111528
[pid=5552] ppid=5550 vsize=28992 CPUtime=915.09 cores=1,3,5,7
/proc/5552/stat : 5552 (bsolo) R 5550 5552 3716 0 -1 4202496 4866 0 0 0 91333 176 0 0 25 0 1 0 829703867 29687808 4819 33554432000 134512640 137138936 4290760352 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5552/statm: 7248 4819 192 642 0 6604 0
Current children cumulated CPU time (s) 915.09
Current children cumulated vsize (KiB) 28992

[startup+915.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/562 5589
/proc/meminfo: memFree=28915136/32950928 swapFree=41528364/67111528
[pid=5552] ppid=5550 vsize=28992 CPUtime=915.28 cores=1,3,5,7
/proc/5552/stat : 5552 (bsolo) R 5550 5552 3716 0 -1 4202496 4866 0 0 0 91352 176 0 0 25 0 1 0 829703867 29687808 4819 33554432000 134512640 137138936 4290760352 18446744073709551615 134600022 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5552/statm: 7248 4819 192 642 0 6604 0
Current children cumulated CPU time (s) 915.28
Current children cumulated vsize (KiB) 28992

Child status: 0
Real time (s): 915.355
CPU time (s): 915.349
CPU user time (s): 913.577
CPU system time (s): 1.77173
CPU usage (%): 99.9993
Max. virtual memory (cumulated for all children) (KiB): 29032

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 913.577
system time used= 1.77173
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4867
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= 4
involuntary context switches= 2561

runsolver used 4.88926 second user time and 11.9002 second system time

The end

Launcher Data 

Begin job on node126 at 2011-06-04 11:50:52
IDJOB=3462490
IDBENCH=47906
IDSOLVER=1955
FILE ID=node126/3462490-1307181052
RUNJOBID= node126-1307175452-4913
PBS_JOBID= 13508841
Free space on /tmp= 73784 MiB

SOLVER NAME= bsolo 3.2
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=263-P1=409-P2=29-P3=379-B.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3462490-1307181052/watcher-3462490-1307181052 -o /tmp/evaluation-result-3462490-1307181052/solver-3462490-1307181052 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 HOME/instance-3462490-1307181052.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 947e947c586d02edcb816b66608818b9
RANDOM SEED=353492231

node126.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	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.783
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.783
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.783
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.783
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.783
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.80
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.783
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.783
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.783
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      29757220 kB
Buffers:        312944 kB
Cached:         498060 kB
SwapCached:      15388 kB
Active:        2432496 kB
Inactive:       441140 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      29757220 kB
SwapTotal:    67111528 kB
SwapFree:     41528364 kB
Dirty:            3924 kB
Writeback:           0 kB
AnonPages:     2060120 kB
Mapped:          24444 kB
Slab:           147840 kB
PageTables:     100524 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 176710632 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73780 MiB
End job on node126 at 2011-06-04 12:06:07