Trace number 1880045

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 NameAnswerobjCPU timeWall clock time
bsolo 3.1 pbOPT2 597.394 597.974

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_4_30_3.opb
MD5SUMd26b3b10be20d9248aac462b86b1f040
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark47.0908
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 2
Optimality of the best value was proved YES
Number of variables94
Total number of constraints8
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 constraints8
Minimum length of a constraint45
Maximum length of a constraint46
Number of terms in the objective function 64
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 2040
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 940
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 3331
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

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.00	c bsolo beta version 3.1 - 13/04/2009 : 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 Learning Strategy: Generic Pseudo-Boolean Learning
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Memory Limit set to 1800 MB
0.00/0.00	c Instance file HOME/instance-1880045-1245240200.opb
0.00/0.00	c File size is 3596 bytes.
0.00/0.00	c Highest Coefficient sum: 3331
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0 s
0.00/0.00	c Var: 94 Constr: 8 0/0/8 Lit: 366 Watch. Lit: 108
0.00/0.00	c Obj. Vars: 64 (68.0851 % of total variables)
0.00/0.00	c Pre-processing Time: 0.001 s
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c        0     94        8      366   45      112     732      0      0 0.00
0.00/0.00	c Switching off lower bounding mode.
0.00/0.00	o 780
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c        0     94        9      430   47      302     860      1      0 0.00
0.00/0.01	o 521
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c       37     94       84     3716   44     1233     860     76   4111 0.01
0.00/0.01	o 460
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c       38     94       87     3884   44     1293     860     79   3800 0.01
0.00/0.01	o 386
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c       47     94      106     4767   44     1784     860     98   3916 0.01
0.00/0.01	o 380
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c       49     94      111     4986   44     1905     860    103   4083 0.01
0.00/0.01	o 378
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c       51     94      116     5256   45     2064     860    108   4250 0.01
0.00/0.01	o 374
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c       58     94      131     6012   45     2402     860    123   3866 0.01
0.00/0.01	o 372
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c       61     94      138     6407   46     2598     860    130   3588 0.02
0.00/0.02	o 348
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c       66     94      149     6928   46     2737     860    141   3473 0.02
0.00/0.02	o 267
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c       84     94      186     8628   46     3312     860    178   3360 0.03
0.00/0.02	o 263
0.00/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.03	c       86     94      191     8929   46     3546     860    183   3307 0.03
0.00/0.03	o 261
0.00/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.03	c       99     94      218    10308   47     4158     860    210   3193 0.03
0.00/0.03	o 199
0.00/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.03	c      102     94      225    10631   47     4256     860    217   3000 0.03
0.00/0.03	o 120
0.00/0.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.04	c      111     94      244    11586   47     4853     860    236   3000 0.04
0.00/0.04	o 116
0.00/0.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.04	c      112     94      247    11760   47     4932     860    239   2947 0.04
0.00/0.04	o 95
0.00/0.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.05	c      126     86      275    13068   47     5345     844    267   2863 0.04
0.00/0.05	o 55
0.00/0.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.05	c      142     86      308    14506   47     5680     844    300   2840 0.05
0.00/0.05	o 53
0.00/0.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.06	c      147     86      319    15130   47     5820     844    311   2773 0.05
0.00/0.06	o 51
0.06/0.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.06/0.07	c      156     86      338    16124   47     6370     844    330   2689 0.06
0.06/0.07	o 46
0.06/0.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.06/0.07	c      189     78      400    18710   46     7361     828    392   2625 0.07
0.06/0.07	o 42
0.06/0.08	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.06/0.08	c      191     78      405    18970   46     7423     828    397   2581 0.07
0.06/0.08	o 38
0.09/0.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.12	c      201     78      426    20008   46     7796     828    418   2512 0.08
0.09/0.12	c      301     78      623    28588   45    11419     911    615   2388 0.13
0.09/0.12	o 37
0.09/0.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.14	c      301     78      624    28636   45    10897     828    616   2370 0.13
0.09/0.14	o 36
0.09/0.17	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.17	c      330     78      682    31205   45    11670     828    674   2291 0.14
0.09/0.17	o 34
0.19/0.22	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.22	c      382     78      786    36101   45    13249     828    778   2195 0.17
0.19/0.22	o 31
0.19/0.26	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.26	c      437     78      453    16457   36     5649     828    445   1968 0.22
0.19/0.26	c      537     70      643    24689   38     9017     911    635   2034 0.26
0.19/0.26	o 29
0.29/0.30	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.30	c      544     70      657    25286   38     9003     812    649   2037 0.27
0.29/0.30	o 19
0.29/0.32	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.32	c      616     70      794    31204   39    10577     812    786   2006 0.31
0.29/0.32	o 17
0.79/0.89	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.79/0.89	c      647     70      421    14099   33     5438     812    413   1942 0.33
0.79/0.89	c      748     70      610    22203   36     8875     894    602   1989 0.38
0.79/0.89	c      998     70      602    20791   34     8248     984    594   1926 0.52
0.79/0.89	c     1473     70      933    34694   37    13634    1083    925   1886 0.78
0.79/0.89	o 15
0.89/0.93	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.89/0.93	c     1624     70      632    20857   33     8378     812    624   1812 0.90
0.89/0.93	o 12
1.59/1.68	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.59/1.68	c     1682     62      743    25529   34     9929     796    735   1812 0.93
1.59/1.68	c     1782     62      484    16975   35     7574     876    476   1800 0.99
1.59/1.68	c     2032     62      455    15330   33     6889     964    447   1777 1.14
1.59/1.68	c     2507     62      768    27226   35    10651    1061    760   1776 1.41
1.59/1.68	o 8
2.79/2.87	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.79/2.87	c     2960     62     1000    35683   35    12230     796    992   1757 1.68
2.79/2.87	c     3060     54      581    20914   35     8613     876    573   1754 1.74
2.79/2.87	c     3310     54      509    16662   32     7171     964    501   1750 1.89
2.79/2.87	c     3785     54      772    25715   33     9235    1061    764   1754 2.16
2.79/2.87	c     4598     54      938    31526   33    10371    1168    930   1754 2.62
2.79/2.87	o 7
4.48/4.55	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.48/4.55	c     5027     54     1015    33883   33    11077     780   1007   1750 2.87
4.48/4.55	c     5127     54      565    19407   34     8013     859    557   1745 2.94
4.48/4.55	c     5377     54      490    15567   31     6805     945    482   1737 3.10
4.48/4.55	c     5854     54      781    26936   34    10031    1040    773   1735 3.37
4.48/4.55	c     6667     54     1011    34670   34    12213    1145   1003   1717 3.88
4.48/4.55	o 6
9.50/9.93	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
9.50/9.93	c     7689     54      842    27565   32     9163     780    834   1688 4.55
9.50/9.93	c     7789     54      568    19817   34     8170     859    560   1682 4.63
9.50/9.93	c     8039     54      494    15791   31     6872     945    486   1645 4.89
9.50/9.93	c     8514     54      754    25665   34     9790    1040    746   1648 5.17
9.50/9.93	c     9327     54      956    33102   34    10861    1145    948   1591 5.86
9.50/9.93	c    10647     54      623    18153   29     6477    1260    615   1586 6.71
9.50/9.93	c    12728     54      649    18420   28     6411    1387    641   1587 8.02
9.50/9.93	o 4
14.60/15.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
14.60/15.04	c    15002     54     1349    45882   34    12841     780   1341   1573 9.53
14.60/15.04	c    15103     46      564    19635   34     8050     859    556   1571 9.61
14.60/15.04	c    15353     46      456    14037   30     6224     945    448   1570 9.77
14.60/15.04	c    15828     46      675    21901   32     7752    1040    667   1574 10.05
14.60/15.04	c    16641     46      819    27198   33     9064    1145    811   1577 10.55
14.60/15.04	c    17962     46     1055    35382   33    10662    1260   1047   1582 11.35
14.60/15.04	c    20043     46      912    27567   30     8456    1387    904   1587 12.62
14.60/15.04	o 3
94.66/95.16	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
94.66/95.16	c    23221     46     1381    45971   33    12226     764   1373   1585 14.64
94.66/95.16	c    23321     46      546    18445   33     7211     841    538   1584 14.71
94.66/95.16	c    23571     46      446    13630   30     5980     926    438   1585 14.87
94.66/95.16	c    24046     46      657    21051   32     7595    1019    649   1586 15.16
94.66/95.16	c    24860     46      847    28136   33     9149    1121    839   1589 15.64
94.66/95.16	c    26181     46     1047    34916   33    10621    1234   1039   1591 16.45
94.66/95.16	c    28262     46      903    27809   30     9052    1358    895   1586 17.82
94.66/95.16	c    31486     46      770    21847   28     6997    1494    762   1579 19.93
94.66/95.16	c    36422     46     1150    34590   30    10246    1644   1142   1574 23.14
94.66/95.16	c    43928     46     1275    40209   31    10965    1809   1267   1553 28.27
94.66/95.16	c    55291     46     1626    53616   32    14217    1990   1618   1516 36.46
94.66/95.16	c    72435     46     1999    68769   34    18354    2190   1991   1469 49.30
94.66/95.16	c    98254     46     1760    60227   34    15784    2410   1752   1417 69.32
94.66/95.16	o 2
597.32/597.97	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
597.32/597.97	c   128248     46     2302    81483   35    20486     764   2294   1353 94.73
597.32/597.97	c   128348     46      551    18466   33     6701     841    543   1353 94.84
597.32/597.97	c   128600     38      447    13009   29     5224     926    439   1353 95.01
597.32/597.97	c   129075     38      658    20118   30     6598    1019    650   1354 95.31
597.32/597.97	c   129888     38      759    22824   30     7487    1121    751   1355 95.82
597.32/597.97	c   131208     38      892    26882   30     7795    1234    884   1357 96.67
597.32/597.97	c   133289     38     1240    38386   30     9858    1358   1232   1360 97.97
597.32/597.97	c   136512     38      917    25658   27     7141    1494    909   1365 99.97
597.32/597.97	c   141450     38     1069    30678   28     8173    1644   1061   1370 103.19
597.32/597.97	c   148956     38     1674    52991   31    12947    1809   1666   1375 108.33
597.32/597.97	c   160317     38     1417    44475   31    10957    1990   1409   1376 116.43
597.32/597.97	c   177461     38     1656    54622   32    13183    2190   1648   1370 129.48
597.32/597.97	c   203281     38     2186    72762   33    17695    2410   2178   1349 150.65
597.32/597.97	c   242114     38     1511    46383   30    11681    2652   1503   1322 183.01
597.32/597.97	c   300466     38     1417    45738   32    12351    2918   1409   1274 235.68
597.32/597.97	c   388101     38     1486    48742   32    13263    3210   1478   1201 323.11
597.32/597.97	c   519653     37     1940    65395   33    17118    3532   1932   1121 463.34
597.32/597.97	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 -x46 -x47 -x48 x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 x67 x68 x69 x70 -x71 -x72 x73 -x74 -x75 x76 -x77 x78 x79 -x80 -x81 -x82 -x83 -x84 x85 x86 x87 -x88 x89 -x90 x91 -x92 x93 x94 
597.32/597.97	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
597.32/597.97	c   93   645492  11169   659195     2511    72742   2503   1080 597.39
597.32/597.97	c Objective: 2
597.32/597.97	s OPTIMUM FOUND
597.32/597.97	c Total time: 597.392 s

Verifier Data 

OK	2

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1880045-1245240200/watcher-1880045-1245240200 -o /tmp/evaluation-result-1880045-1245240200/solver-1880045-1245240200 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1880045-1245240200.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.99 0.97 0.91 3/64 16942
/proc/meminfo: memFree=1636304/2055920 swapFree=4181368/4192956
[pid=16942] ppid=16940 vsize=26328 CPUtime=0
/proc/16942/stat : 16942 (bsolo) R 16940 16942 16785 0 -1 4194304 260 0 0 0 0 0 0 0 18 0 1 0 191620027 26959872 243 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16942/statm: 6582 243 196 640 0 5938 0

[startup+0.0646979 s]
/proc/loadavg: 0.99 0.97 0.91 3/64 16942
/proc/meminfo: memFree=1636304/2055920 swapFree=4181368/4192956
[pid=16942] ppid=16940 vsize=18776 CPUtime=0.06
/proc/16942/stat : 16942 (bsolo) R 16940 16942 16785 0 -1 4194304 352 0 0 0 6 0 0 0 18 0 1 0 191620027 19226624 335 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16942/statm: 4694 335 196 640 0 4050 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 18776

[startup+0.101703 s]
/proc/loadavg: 0.99 0.97 0.91 3/64 16942
/proc/meminfo: memFree=1636304/2055920 swapFree=4181368/4192956
[pid=16942] ppid=16940 vsize=19040 CPUtime=0.09
/proc/16942/stat : 16942 (bsolo) R 16940 16942 16785 0 -1 4194304 394 0 0 0 9 0 0 0 18 0 1 0 191620027 19496960 377 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16942/statm: 4760 377 197 640 0 4116 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19040

[startup+0.301727 s]
/proc/loadavg: 0.99 0.97 0.91 3/64 16942
/proc/meminfo: memFree=1636304/2055920 swapFree=4181368/4192956
[pid=16942] ppid=16940 vsize=19304 CPUtime=0.29
/proc/16942/stat : 16942 (bsolo) R 16940 16942 16785 0 -1 4194304 485 0 0 0 29 0 0 0 19 0 1 0 191620027 19767296 468 1992294400 134512640 137136520 4294956256 18446744073709551615 136502032 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16942/statm: 4826 468 197 640 0 4182 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 19304

[startup+0.701773 s]
/proc/loadavg: 0.99 0.97 0.91 3/64 16942
/proc/meminfo: memFree=1636304/2055920 swapFree=4181368/4192956
[pid=16942] ppid=16940 vsize=19432 CPUtime=0.69
/proc/16942/stat : 16942 (bsolo) R 16940 16942 16785 0 -1 4194304 491 0 0 0 69 0 0 0 22 0 1 0 191620027 19898368 474 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16942/statm: 4858 474 197 640 0 4214 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 19432

[startup+1.50287 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 16943
/proc/meminfo: memFree=1635016/2055920 swapFree=4181368/4192956
[pid=16942] ppid=16940 vsize=19432 CPUtime=1.49
/proc/16942/stat : 16942 (bsolo) R 16940 16942 16785 0 -1 4194304 518 0 0 0 149 0 0 0 25 0 1 0 191620027 19898368 501 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16942/statm: 4858 501 197 640 0 4214 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 19432

[startup+3.10105 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 16943
/proc/meminfo: memFree=1634888/2055920 swapFree=4181368/4192956
[pid=16942] ppid=16940 vsize=19432 CPUtime=3.08
/proc/16942/stat : 16942 (bsolo) R 16940 16942 16785 0 -1 4194304 518 0 0 0 308 0 0 0 25 0 1 0 191620027 19898368 501 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16942/statm: 4858 501 197 640 0 4214 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 19432

[startup+6.30142 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 16943
/proc/meminfo: memFree=1634696/2055920 swapFree=4181368/4192956
[pid=16942] ppid=16940 vsize=19432 CPUtime=5.9
/proc/16942/stat : 16942 (bsolo) R 16940 16942 16785 0 -1 4194304 518 0 0 0 588 2 0 0 25 0 1 0 191620027 19898368 501 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16942/statm: 4858 501 197 640 0 4214 0
Current children cumulated CPU time (s) 5.9
Current children cumulated vsize (KiB) 19432

[startup+12.7012 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 16943
/proc/meminfo: memFree=1634640/2055920 swapFree=4181368/4192956
[pid=16942] ppid=16940 vsize=19560 CPUtime=12.29
/proc/16942/stat : 16942 (bsolo) R 16940 16942 16785 0 -1 4194304 528 0 0 0 1226 3 0 0 25 0 1 0 191620027 20029440 511 1992294400 134512640 137136520 4294956256 18446744073709551615 134544129 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16942/statm: 4890 511 197 640 0 4246 0
Current children cumulated CPU time (s) 12.29
Current children cumulated vsize (KiB) 19560

[startup+25.5016 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 16943
/proc/meminfo: memFree=1634448/2055920 swapFree=4181368/4192956
[pid=16942] ppid=16940 vsize=19688 CPUtime=25.09
/proc/16942/stat : 16942 (bsolo) R 16940 16942 16785 0 -1 4194304 574 0 0 0 2504 5 0 0 25 0 1 0 191620027 20160512 557 1992294400 134512640 137136520 4294956256 18446744073709551615 134544125 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16942/statm: 4922 557 197 640 0 4278 0
Current children cumulated CPU time (s) 25.09
Current children cumulated vsize (KiB) 19688

[startup+51.1016 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 16943
/proc/meminfo: memFree=1633936/2055920 swapFree=4181368/4192956
[pid=16942] ppid=16940 vsize=20204 CPUtime=50.68
/proc/16942/stat : 16942 (bsolo) R 16940 16942 16785 0 -1 4194304 699 0 0 0 5060 8 0 0 25 0 1 0 191620027 20688896 682 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16942/statm: 5051 682 197 640 0 4407 0
Current children cumulated CPU time (s) 50.68
Current children cumulated vsize (KiB) 20204

[startup+102.305 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 16943
/proc/meminfo: memFree=1633680/2055920 swapFree=4181368/4192956
[pid=16942] ppid=16940 vsize=20460 CPUtime=101.87
/proc/16942/stat : 16942 (bsolo) R 16940 16942 16785 0 -1 4194304 778 0 0 0 10174 13 0 0 25 0 1 0 191620027 20951040 761 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16942/statm: 5115 761 197 640 0 4471 0
Current children cumulated CPU time (s) 101.87
Current children cumulated vsize (KiB) 20460

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 16943
/proc/meminfo: memFree=1633552/2055920 swapFree=4181368/4192956
[pid=16942] ppid=16940 vsize=20588 CPUtime=161.84
/proc/16942/stat : 16942 (bsolo) R 16940 16942 16785 0 -1 4194304 799 0 0 0 16164 20 0 0 25 0 1 0 191620027 21082112 782 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16942/statm: 5147 782 197 640 0 4503 0
Current children cumulated CPU time (s) 161.84
Current children cumulated vsize (KiB) 20588

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 16943
/proc/meminfo: memFree=1633176/2055920 swapFree=4181368/4192956
[pid=16942] ppid=16940 vsize=20972 CPUtime=221.82
/proc/16942/stat : 16942 (bsolo) R 16940 16942 16785 0 -1 4194304 891 0 0 0 22157 25 0 0 25 0 1 0 191620027 21475328 874 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16942/statm: 5243 874 197 640 0 4599 0
Current children cumulated CPU time (s) 221.82
Current children cumulated vsize (KiB) 20972

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 16943
/proc/meminfo: memFree=1632920/2055920 swapFree=4181368/4192956
[pid=16942] ppid=16940 vsize=21236 CPUtime=281.81
/proc/16942/stat : 16942 (bsolo) R 16940 16942 16785 0 -1 4194304 959 0 0 0 28151 30 0 0 25 0 1 0 191620027 21745664 942 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16942/statm: 5309 942 197 640 0 4665 0
Current children cumulated CPU time (s) 281.81
Current children cumulated vsize (KiB) 21236

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 16943
/proc/meminfo: memFree=1632536/2055920 swapFree=4181368/4192956
[pid=16942] ppid=16940 vsize=21620 CPUtime=341.79
/proc/16942/stat : 16942 (bsolo) R 16940 16942 16785 0 -1 4194304 1046 0 0 0 34143 36 0 0 25 0 1 0 191620027 22138880 1029 1992294400 134512640 137136520 4294956256 18446744073709551615 134544160 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16942/statm: 5405 1029 197 640 0 4761 0
Current children cumulated CPU time (s) 341.79
Current children cumulated vsize (KiB) 21620

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 16943
/proc/meminfo: memFree=1632408/2055920 swapFree=4181368/4192956
[pid=16942] ppid=16940 vsize=21748 CPUtime=401.77
/proc/16942/stat : 16942 (bsolo) R 16940 16942 16785 0 -1 4194304 1073 0 0 0 40136 41 0 0 25 0 1 0 191620027 22269952 1056 1992294400 134512640 137136520 4294956256 18446744073709551615 134544160 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16942/statm: 5437 1056 197 640 0 4793 0
Current children cumulated CPU time (s) 401.77
Current children cumulated vsize (KiB) 21748

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 16943
/proc/meminfo: memFree=1632344/2055920 swapFree=4181368/4192956
[pid=16942] ppid=16940 vsize=21748 CPUtime=461.76
/proc/16942/stat : 16942 (bsolo) R 16940 16942 16785 0 -1 4194304 1077 0 0 0 46129 47 0 0 25 0 1 0 191620027 22269952 1060 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16942/statm: 5437 1060 197 640 0 4793 0
Current children cumulated CPU time (s) 461.76
Current children cumulated vsize (KiB) 21748

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 16943
/proc/meminfo: memFree=1632024/2055920 swapFree=4181368/4192956
[pid=16942] ppid=16940 vsize=22012 CPUtime=521.73
/proc/16942/stat : 16942 (bsolo) R 16940 16942 16785 0 -1 4194304 1155 0 0 0 52122 51 0 0 25 0 1 0 191620027 22540288 1138 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16942/statm: 5503 1138 197 640 0 4859 0
Current children cumulated CPU time (s) 521.73
Current children cumulated vsize (KiB) 22012

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 16943
/proc/meminfo: memFree=1631960/2055920 swapFree=4181368/4192956
[pid=16942] ppid=16940 vsize=22012 CPUtime=581.72
/proc/16942/stat : 16942 (bsolo) R 16940 16942 16785 0 -1 4194304 1166 0 0 0 58116 56 0 0 25 0 1 0 191620027 22540288 1149 1992294400 134512640 137136520 4294956256 18446744073709551615 134543933 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16942/statm: 5503 1149 197 640 0 4859 0
Current children cumulated CPU time (s) 581.72
Current children cumulated vsize (KiB) 22012

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

[startup+588.701 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 16943
/proc/meminfo: memFree=1631960/2055920 swapFree=4181368/4192956
[pid=16942] ppid=16940 vsize=22012 CPUtime=588.11
/proc/16942/stat : 16942 (bsolo) R 16940 16942 16785 0 -1 4194304 1166 0 0 0 58755 56 0 0 25 0 1 0 191620027 22540288 1149 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16942/statm: 5503 1149 197 640 0 4859 0
Current children cumulated CPU time (s) 588.11
Current children cumulated vsize (KiB) 22012

[startup+591.903 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 16943
/proc/meminfo: memFree=1631960/2055920 swapFree=4181368/4192956
[pid=16942] ppid=16940 vsize=22012 CPUtime=591.32
/proc/16942/stat : 16942 (bsolo) R 16940 16942 16785 0 -1 4194304 1166 0 0 0 59075 57 0 0 25 0 1 0 191620027 22540288 1149 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16942/statm: 5503 1149 197 640 0 4859 0
Current children cumulated CPU time (s) 591.32
Current children cumulated vsize (KiB) 22012

[startup+595.105 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 16943
/proc/meminfo: memFree=1631960/2055920 swapFree=4181368/4192956
[pid=16942] ppid=16940 vsize=22012 CPUtime=594.51
/proc/16942/stat : 16942 (bsolo) R 16940 16942 16785 0 -1 4194304 1166 0 0 0 59394 57 0 0 25 0 1 0 191620027 22540288 1149 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16942/statm: 5503 1149 197 640 0 4859 0
Current children cumulated CPU time (s) 594.51
Current children cumulated vsize (KiB) 22012

[startup+596.701 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 16943
/proc/meminfo: memFree=1631960/2055920 swapFree=4181368/4192956
[pid=16942] ppid=16940 vsize=22012 CPUtime=596.11
/proc/16942/stat : 16942 (bsolo) R 16940 16942 16785 0 -1 4194304 1166 0 0 0 59554 57 0 0 25 0 1 0 191620027 22540288 1149 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16942/statm: 5503 1149 197 640 0 4859 0
Current children cumulated CPU time (s) 596.11
Current children cumulated vsize (KiB) 22012

[startup+597.501 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 16943
/proc/meminfo: memFree=1631960/2055920 swapFree=4181368/4192956
[pid=16942] ppid=16940 vsize=22012 CPUtime=596.92
/proc/16942/stat : 16942 (bsolo) R 16940 16942 16785 0 -1 4194304 1166 0 0 0 59634 58 0 0 25 0 1 0 191620027 22540288 1149 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16942/statm: 5503 1149 197 640 0 4859 0
Current children cumulated CPU time (s) 596.92
Current children cumulated vsize (KiB) 22012

[startup+597.902 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 16943
/proc/meminfo: memFree=1631960/2055920 swapFree=4181368/4192956
[pid=16942] ppid=16940 vsize=22012 CPUtime=597.32
/proc/16942/stat : 16942 (bsolo) R 16940 16942 16785 0 -1 4194304 1166 0 0 0 59674 58 0 0 25 0 1 0 191620027 22540288 1149 1992294400 134512640 137136520 4294956256 18446744073709551615 134544437 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16942/statm: 5503 1149 197 640 0 4859 0
Current children cumulated CPU time (s) 597.32
Current children cumulated vsize (KiB) 22012

Child status: 0
Real time (s): 597.974
CPU time (s): 597.394
CPU user time (s): 596.813
CPU system time (s): 0.580911
CPU usage (%): 99.9031
Max. virtual memory (cumulated for all children) (KiB): 22012

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 596.813
system time used= 0.580911
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1168
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= 2
involuntary context switches= 1116

runsolver used 0.400939 second user time and 1.26581 second system time

The end

Launcher Data 

Begin job on node28 at 2009-06-17 14:03:20
IDJOB=1880045
IDBENCH=2896
IDSOLVER=701
FILE ID=node28/1880045-1245240200
PBS_JOBID= 9372310
Free space on /tmp= 66176 MiB

SOLVER NAME= bsolo 3.1 pb
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_4_30_3.opb
COMMAND LINE= bsolo -l3 -tTIMEOUT -mMEMLIMIT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1880045-1245240200/watcher-1880045-1245240200 -o /tmp/evaluation-result-1880045-1245240200/solver-1880045-1245240200 -C 1800 -W 2000 -M 1800  bsolo -l3 -t1800 -m1800 HOME/instance-1880045-1245240200.opb

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

MD5SUM BENCH= d26b3b10be20d9248aac462b86b1f040
RANDOM SEED=308449128

node28.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/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		: 3000.231
cache size	: 2048 KB
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 pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
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		: 3000.231
cache size	: 2048 KB
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 pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1636720 kB
Buffers:         27572 kB
Cached:         305700 kB
SwapCached:       5164 kB
Active:          55864 kB
Inactive:       287048 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1636720 kB
SwapTotal:     4192956 kB
SwapFree:      4181368 kB
Dirty:            3944 kB
Writeback:           0 kB
Mapped:          14688 kB
Slab:            62100 kB
Committed_AS:   185596 kB
PageTables:       1424 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1880045-1245240200.opb

Free space on /tmp at the end= 66176 MiB
End job on node28 at 2009-06-17 14:13:18