Trace number 2657542

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 ClOPT2 330.253 330.34

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_4_30_1.opb
MD5SUMfb11ff2665aef67f0842a460a5ea3114
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 benchmark182.966
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 851
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 3063
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.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-2657542-1276617150.opb
0.00/0.00	c File size is 3580 bytes.
0.00/0.00	c Highest Coefficient sum: 3063
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: 364 Watch. Lit: 104
0.00/0.00	c Obj. Vars: 64 (68.0851 % of total variables)
0.00/0.00	c Pre-processing Time: 0 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      364   45      110     728      0 -2147483648 0.00
0.00/0.00	c Switching off lower bounding mode.
0.00/0.00	o 922
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c        0     94        9      428   47      298     856      1 -2147483648 0.00
0.00/0.00	o 828
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c        3     94       13      596   45      356     856      5   3000 0.00
0.00/0.00	o 286
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c        4     94       15      702   46      391     856      7   4000 0.00
0.00/0.00	o 133
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c       40     94       52     1587   30      505     856     44  10000 0.00
0.00/0.00	o 110
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c       46     94       59     1774   30      578     856     51   9200 0.01
0.00/0.01	c      146     93      159     4321   27      767     942    151  12166 0.01
0.00/0.01	o 97
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c      157     93      171     4648   27      849     854    163  11214 0.01
0.00/0.02	c      258     93      272     7086   26     1035     940    264  12285 0.02
0.00/0.02	o 62
0.04/0.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.04/0.07	c      322     92      337     8557   25     1230     852    329  11925 0.03
0.04/0.07	c      422     87      437    10844   24     1423     938    429  12057 0.04
0.04/0.07	c      672     86      687    16236   23     1912    1032    679  11389 0.06
0.04/0.07	o 58
0.04/0.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.04/0.07	c      777     83      793    18568   23     2170     834    785  11260 0.07
0.04/0.07	o 56
0.04/0.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.04/0.07	c      779     83      796    18710   23     2224     834    788  11128 0.07
0.04/0.07	o 55
0.04/0.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.04/0.07	c      823     83      841    19895   23     2362     834    833  11121 0.07
0.04/0.07	o 51
0.04/0.08	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.04/0.08	c      838     83      437     9706   22     1146     834    429  10883 0.08
0.04/0.08	o 21
0.09/0.17	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.17	c      891     83      491    10960   22     1306     834    483  11000 0.08
0.09/0.17	c      991     76      591    12983   21     1494     918    583  10890 0.09
0.09/0.17	c     1242     75      842    18229   21     2001    1010    834  10894 0.11
0.09/0.17	c     1717     73      802    16901   21     1866    1112    794  11077 0.15
0.09/0.17	o 19
0.39/0.41	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.41	c     1889     73      975    20712   21     2252     814    967  11046 0.17
0.39/0.41	c     1989     73      537    11354   21     1327     896    529  11050 0.18
0.39/0.41	c     2240     72      788    16655   21     1823     986    780  11089 0.20
0.39/0.41	c     2715     71      758    15739   20     1764    1085    750  10991 0.25
0.39/0.41	c     3528     70     1015    21927   21     2275    1194   1007  10888 0.32
0.39/0.41	o 17
0.39/0.42	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.42	c     4434     70      704    15623   22     1693     808    696  10762 0.41
0.39/0.42	c     4534     70      804    17856   22     1891     889    796  10769 0.42
0.39/0.42	o 12
0.59/0.64	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.59/0.64	c     4599     70      870    19307   22     2067     808    862  10745 0.43
0.59/0.64	c     4700     63      538    11408   21     1308     889    530  10730 0.44
0.59/0.64	c     4950     62      788    16623   21     1809     978    780  10760 0.46
0.59/0.64	c     5425     62      765    15786   20     1760    1076    757  10742 0.51
0.59/0.64	c     6238     62     1029    22159   21     2290    1184   1021  10755 0.58
0.59/0.64	o 7
0.69/0.70	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.69/0.70	c     6906     62     1097    24043   21     2456     792   1089  10706 0.65
0.69/0.70	c     7007     56      538    11500   21     1287     872    530  10697 0.66
0.69/0.70	c     7257     55      788    16877   21     1788     960    780  10703 0.68
0.69/0.70	o 6
1.29/1.32	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.29/1.32	c     7513     54      555    11246   20     1347     776    547  10641 0.71
1.29/1.32	c     7613     54      655    13273   20     1548     854    647  10662 0.71
1.29/1.32	c     7863     54      476     9656   20     1151     940    468  10654 0.74
1.29/1.32	c     8338     54      951    19977   21     2107    1035    943  10689 0.78
1.29/1.32	c     9151     54      700    14534   20     1604    1139    692  10677 0.86
1.29/1.32	c    10472     54      860    18111   21     1923    1253    852  10631 0.98
1.29/1.32	c    12554     54     1030    21523   20     2263    1379   1022  10479 1.20
1.29/1.32	o 5
1.29/1.38	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.29/1.38	c    13855     54      930    20085   21     2085     776    922  10456 1.32
1.29/1.38	c    13955     54      537    11311   21     1278     854    529  10461 1.33
1.29/1.38	c    14205     54      787    16729   21     1776     940    779  10483 1.35
1.29/1.38	o 4
1.49/1.57	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.49/1.57	c    14501     54      603    12365   20     1432     776    595  10485 1.38
1.49/1.57	c    14602     52      704    14421   20     1624     854    696  10482 1.39
1.49/1.57	c    14853     52      517    10324   19     1232     940    509  10489 1.42
1.49/1.57	c    15330     51      522    10542   20     1241    1035    514  10500 1.46
1.49/1.57	c    16143     49      805    16087   19     1798    1139    797  10537 1.53
1.49/1.57	o 3
30.38/30.40	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
30.38/30.40	c    16588     49      668    13573   20     1547     766    660  10532 1.57
30.38/30.40	c    16688     49      768    15636   20     1744     843    760  10542 1.58
30.38/30.40	c    16939     49      586    11593   19     1358     928    578  10547 1.61
30.38/30.40	c    17414     49      588    11466   19     1362    1021    580  10560 1.65
30.38/30.40	c    18228     48      879    18028   20     1942    1124    871  10585 1.72
30.38/30.40	c    19548     48     1053    20992   19     2289    1237   1045  10555 1.85
30.38/30.40	c    21629     47     1246    25615   20     2674    1361   1238  10504 2.06
30.38/30.40	c    24853     46     1015    20219   19     2212    1498   1007  10394 2.39
30.38/30.40	c    29790     46     1354    28259   20     2893    1648   1346  10170 2.93
30.38/30.40	c    37296     46     1304    27685   21     2792    1813   1296  10023 3.72
30.38/30.40	c    48657     46     1596    34005   21     3373    1995   1588   9702 5.01
30.38/30.40	c    65802     46     1495    31869   21     3174    2195   1487   9298 7.08
30.38/30.40	c    91621     46     1684    34635   20     3551    2415   1676   8860 10.34
30.38/30.40	c   130453     46     1359    28290   20     2897    2657   1351   8376 15.57
30.38/30.40	c   188806     46     1908    40768   21     4000    2923   1900   7945 23.76
30.38/30.40	o 2
330.21/330.33	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
330.21/330.33	c   234730     46     1977    42300   21     4149     760   1969   7723 30.39
330.21/330.33	c   234831     46      538    10701   19     1253     837    530   7722 30.41
330.21/330.33	c   235082     46      789    15833   20     1756     921    781   7725 30.43
330.21/330.33	c   235557     46      796    15196   19     1771    1014    788   7729 30.48
330.21/330.33	c   236370     46      564    11380   20     1310    1116    556   7736 30.55
330.21/330.33	c   237690     46      749    15524   20     1677    1228    741   7747 30.68
330.21/330.33	c   239773     46      951    19217   20     2078    1351    943   7762 30.89
330.21/330.33	c   242996     45      734    14289   19     1648    1487    726   7784 31.21
330.21/330.33	c   247933     45     1135    23736   20     2445    1636   1127   7813 31.73
330.21/330.33	c   255439     45     1124    22866   20     2421    1800   1116   7831 32.62
330.21/330.33	c   266800     43     1464    29874   20     3102    1981   1456   7859 33.95
330.21/330.33	c   283945     43     1495    30600   20     3162    2180   1487   7874 36.06
330.21/330.33	c   309765     42     1854    38967   21     3877    2399   1846   7872 39.35
330.21/330.33	c   348598     40     1736    37215   21     3641    2639   1728   7835 44.49
330.21/330.33	c   406950     40     2629    55923   21     5423    2903   2621   7787 52.26
330.21/330.33	c   494583     39     2157    45286   20     4478    3194   2149   7624 64.87
330.21/330.33	c   626136     39     2987    62559   20     6139    3514   2979   7250 86.36
330.21/330.33	c   823568     38     3446    72259   20     7053    3866   3438   6920 119.01
330.21/330.33	c  1119820     38     3243    68563   21     6649    4253   3235   6525 171.60
330.21/330.33	c  1564303     37     4176    86014   20     8512    4679   4168   6200 252.29
330.21/330.33	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 
330.21/330.33	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
330.21/330.33	c   84  1962467   6449  1970995     4727    69905   4719   5942 330.25
330.21/330.33	c Objective: 2
330.21/330.33	s OPTIMUM FOUND
330.21/330.33	c Total time: 330.251 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-2657542-1276617150/watcher-2657542-1276617150 -o /tmp/evaluation-result-2657542-1276617150/solver-2657542-1276617150 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2657542-1276617150.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.93 0.99 0.99 3/105 11965
/proc/meminfo: memFree=1767496/2059040 swapFree=4192956/4192956
[pid=11965] ppid=11963 vsize=26412 CPUtime=0
/proc/11965/stat : 11965 (bsolo_pb10) R 11963 11965 11847 0 -1 4202496 325 0 0 0 0 0 0 0 25 0 1 0 3008497 27045888 243 1992294400 134512640 137138936 4292421696 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11965/statm: 6603 243 191 642 0 5959 0

[startup+0.0467079 s]
/proc/loadavg: 0.93 0.99 0.99 3/105 11965
/proc/meminfo: memFree=1767496/2059040 swapFree=4192956/4192956
[pid=11965] ppid=11963 vsize=18728 CPUtime=0.04
/proc/11965/stat : 11965 (bsolo_pb10) R 11963 11965 11847 0 -1 4202496 373 0 0 0 4 0 0 0 25 0 1 0 3008497 19177472 291 1992294400 134512640 137138936 4292421696 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11965/statm: 4682 291 191 642 0 4038 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 18728

[startup+0.100713 s]
/proc/loadavg: 0.93 0.99 0.99 3/105 11965
/proc/meminfo: memFree=1767496/2059040 swapFree=4192956/4192956
[pid=11965] ppid=11963 vsize=18856 CPUtime=0.09
/proc/11965/stat : 11965 (bsolo_pb10) R 11963 11965 11847 0 -1 4202496 407 0 0 0 9 0 0 0 25 0 1 0 3008497 19308544 325 1992294400 134512640 137138936 4292421696 18446744073709551615 134542755 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11965/statm: 4714 325 191 642 0 4070 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18856

[startup+0.300735 s]
/proc/loadavg: 0.93 0.99 0.99 3/105 11965
/proc/meminfo: memFree=1767496/2059040 swapFree=4192956/4192956
[pid=11965] ppid=11963 vsize=18988 CPUtime=0.29
/proc/11965/stat : 11965 (bsolo_pb10) R 11963 11965 11847 0 -1 4202496 426 0 0 0 29 0 0 0 25 0 1 0 3008497 19443712 344 1992294400 134512640 137138936 4292421696 18446744073709551615 134542805 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11965/statm: 4747 344 191 642 0 4103 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18988

[startup+0.70078 s]
/proc/loadavg: 0.93 0.99 0.99 3/105 11965
/proc/meminfo: memFree=1767496/2059040 swapFree=4192956/4192956
[pid=11965] ppid=11963 vsize=18988 CPUtime=0.69
/proc/11965/stat : 11965 (bsolo_pb10) R 11963 11965 11847 0 -1 4202496 440 0 0 0 69 0 0 0 25 0 1 0 3008497 19443712 358 1992294400 134512640 137138936 4292421696 18446744073709551615 134542965 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11965/statm: 4747 358 191 642 0 4103 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 18988

[startup+1.50087 s]
/proc/loadavg: 0.93 0.99 0.99 2/106 11966
/proc/meminfo: memFree=1766620/2059040 swapFree=4192956/4192956
[pid=11965] ppid=11963 vsize=19116 CPUtime=1.49
/proc/11965/stat : 11965 (bsolo_pb10) R 11963 11965 11847 0 -1 4202496 458 0 0 0 148 1 0 0 25 0 1 0 3008497 19574784 376 1992294400 134512640 137138936 4292421696 18446744073709551615 136504482 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11965/statm: 4779 376 191 642 0 4135 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 19116

[startup+3.10104 s]
/proc/loadavg: 0.93 0.99 0.99 2/106 11966
/proc/meminfo: memFree=1766496/2059040 swapFree=4192956/4192956
[pid=11965] ppid=11963 vsize=19240 CPUtime=3.09
/proc/11965/stat : 11965 (bsolo_pb10) R 11963 11965 11847 0 -1 4202496 483 0 0 0 307 2 0 0 25 0 1 0 3008497 19701760 401 1992294400 134512640 137138936 4292421696 18446744073709551615 136521049 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11965/statm: 4810 401 191 642 0 4166 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 19240

[startup+6.30139 s]
/proc/loadavg: 0.93 0.99 0.99 2/106 11966
/proc/meminfo: memFree=1766124/2059040 swapFree=4192956/4192956
[pid=11965] ppid=11963 vsize=19372 CPUtime=6.29
/proc/11965/stat : 11965 (bsolo_pb10) R 11963 11965 11847 0 -1 4202496 519 0 0 0 623 6 0 0 25 0 1 0 3008497 19836928 437 1992294400 134512640 137138936 4292421696 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11965/statm: 4843 437 191 642 0 4199 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19372

[startup+12.7011 s]
/proc/loadavg: 1.10 1.02 1.01 2/106 11968
/proc/meminfo: memFree=1765876/2059040 swapFree=4192956/4192956
[pid=11965] ppid=11963 vsize=19500 CPUtime=12.68
/proc/11965/stat : 11965 (bsolo_pb10) R 11963 11965 11847 0 -1 4202496 560 0 0 0 1256 12 0 0 25 0 1 0 3008497 19968000 478 1992294400 134512640 137138936 4292421696 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11965/statm: 4875 478 191 642 0 4231 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 19500

[startup+25.5005 s]
/proc/loadavg: 1.08 1.02 1.00 2/106 11968
/proc/meminfo: memFree=1765876/2059040 swapFree=4192956/4192956
[pid=11965] ppid=11963 vsize=19752 CPUtime=25.48
/proc/11965/stat : 11965 (bsolo_pb10) R 11963 11965 11847 0 -1 4202496 611 0 0 0 2527 21 0 0 25 0 1 0 3008497 20226048 529 1992294400 134512640 137138936 4292421696 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11965/statm: 4938 529 191 642 0 4294 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 19752

[startup+51.1003 s]
/proc/loadavg: 1.05 1.02 1.00 2/106 11968
/proc/meminfo: memFree=1765752/2059040 swapFree=4192956/4192956
[pid=11965] ppid=11963 vsize=19720 CPUtime=51.08
/proc/11965/stat : 11965 (bsolo_pb10) R 11963 11965 11847 0 -1 4202496 612 0 0 0 5067 41 0 0 25 0 1 0 3008497 20193280 530 1992294400 134512640 137138936 4292421696 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11965/statm: 4930 530 191 642 0 4286 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 19720

[startup+102.308 s]
/proc/loadavg: 1.06 1.03 1.00 2/106 11970
/proc/meminfo: memFree=1765256/2059040 swapFree=4192956/4192956
[pid=11965] ppid=11963 vsize=19960 CPUtime=102.28
/proc/11965/stat : 11965 (bsolo_pb10) R 11963 11965 11847 0 -1 4202496 673 0 0 0 10156 72 0 0 25 0 1 0 3008497 20439040 591 1992294400 134512640 137138936 4292421696 18446744073709551615 134575655 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11965/statm: 4990 591 191 642 0 4346 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 19960

[startup+162.3 s]
/proc/loadavg: 1.06 1.03 1.00 2/106 11972
/proc/meminfo: memFree=1765132/2059040 swapFree=4192956/4192956
[pid=11965] ppid=11963 vsize=20088 CPUtime=162.25
/proc/11965/stat : 11965 (bsolo_pb10) R 11963 11965 11847 0 -1 4202496 706 0 0 0 16116 109 0 0 25 0 1 0 3008497 20570112 624 1992294400 134512640 137138936 4292421696 18446744073709551615 134609401 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11965/statm: 5022 624 191 642 0 4378 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 20088

[startup+222.301 s]
/proc/loadavg: 1.06 1.04 1.00 2/106 11972
/proc/meminfo: memFree=1765008/2059040 swapFree=4192956/4192956
[pid=11965] ppid=11963 vsize=20220 CPUtime=222.23
/proc/11965/stat : 11965 (bsolo_pb10) R 11963 11965 11847 0 -1 4202496 749 0 0 0 22075 148 0 0 25 0 1 0 3008497 20705280 667 1992294400 134512640 137138936 4292421696 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11965/statm: 5055 667 191 642 0 4411 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 20220

[startup+282.301 s]
/proc/loadavg: 1.06 1.04 1.00 2/106 11974
/proc/meminfo: memFree=1764884/2059040 swapFree=4192956/4192956
[pid=11965] ppid=11963 vsize=20348 CPUtime=282.21
/proc/11965/stat : 11965 (bsolo_pb10) R 11963 11965 11847 0 -1 4202496 779 0 0 0 28038 183 0 0 25 0 1 0 3008497 20836352 697 1992294400 134512640 137138936 4292421696 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11965/statm: 5087 697 191 642 0 4443 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 20348

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

[startup+307.1 s]
/proc/loadavg: 1.09 1.06 1.00 2/106 11974
/proc/meminfo: memFree=1764884/2059040 swapFree=4192956/4192956
[pid=11965] ppid=11963 vsize=20348 CPUtime=307.01
/proc/11965/stat : 11965 (bsolo_pb10) R 11963 11965 11847 0 -1 4202496 779 0 0 0 30502 199 0 0 25 0 1 0 3008497 20836352 697 1992294400 134512640 137138936 4292421696 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11965/statm: 5087 697 191 642 0 4443 0
Current children cumulated CPU time (s) 307.01
Current children cumulated vsize (KiB) 20348

[startup+319.901 s]
/proc/loadavg: 1.08 1.05 1.00 2/106 11976
/proc/meminfo: memFree=1764884/2059040 swapFree=4192956/4192956
[pid=11965] ppid=11963 vsize=20348 CPUtime=319.81
/proc/11965/stat : 11965 (bsolo_pb10) R 11963 11965 11847 0 -1 4202496 779 0 0 0 31775 206 0 0 25 0 1 0 3008497 20836352 697 1992294400 134512640 137138936 4292421696 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11965/statm: 5087 697 191 642 0 4443 0
Current children cumulated CPU time (s) 319.81
Current children cumulated vsize (KiB) 20348

[startup+326.301 s]
/proc/loadavg: 1.07 1.05 1.00 2/106 11976
/proc/meminfo: memFree=1764884/2059040 swapFree=4192956/4192956
[pid=11965] ppid=11963 vsize=20348 CPUtime=326.2
/proc/11965/stat : 11965 (bsolo_pb10) R 11963 11965 11847 0 -1 4202496 779 0 0 0 32411 209 0 0 25 0 1 0 3008497 20836352 697 1992294400 134512640 137138936 4292421696 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11965/statm: 5087 697 191 642 0 4443 0
Current children cumulated CPU time (s) 326.2
Current children cumulated vsize (KiB) 20348

[startup+327.902 s]
/proc/loadavg: 1.07 1.05 1.00 2/106 11976
/proc/meminfo: memFree=1764884/2059040 swapFree=4192956/4192956
[pid=11965] ppid=11963 vsize=20348 CPUtime=327.8
/proc/11965/stat : 11965 (bsolo_pb10) R 11963 11965 11847 0 -1 4202496 779 0 0 0 32570 210 0 0 25 0 1 0 3008497 20836352 697 1992294400 134512640 137138936 4292421696 18446744073709551615 134575602 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11965/statm: 5087 697 191 642 0 4443 0
Current children cumulated CPU time (s) 327.8
Current children cumulated vsize (KiB) 20348

[startup+329.502 s]
/proc/loadavg: 1.07 1.05 1.00 2/106 11976
/proc/meminfo: memFree=1764884/2059040 swapFree=4192956/4192956
[pid=11965] ppid=11963 vsize=20348 CPUtime=329.4
/proc/11965/stat : 11965 (bsolo_pb10) R 11963 11965 11847 0 -1 4202496 779 0 0 0 32729 211 0 0 25 0 1 0 3008497 20836352 697 1992294400 134512640 137138936 4292421696 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11965/statm: 5087 697 191 642 0 4443 0
Current children cumulated CPU time (s) 329.4
Current children cumulated vsize (KiB) 20348

[startup+329.902 s]
/proc/loadavg: 1.06 1.05 1.00 2/106 11976
/proc/meminfo: memFree=1764884/2059040 swapFree=4192956/4192956
[pid=11965] ppid=11963 vsize=20348 CPUtime=329.82
/proc/11965/stat : 11965 (bsolo_pb10) R 11963 11965 11847 0 -1 4202496 779 0 0 0 32770 212 0 0 25 0 1 0 3008497 20836352 697 1992294400 134512640 137138936 4292421696 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11965/statm: 5087 697 191 642 0 4443 0
Current children cumulated CPU time (s) 329.82
Current children cumulated vsize (KiB) 20348

[startup+330.302 s]
/proc/loadavg: 1.06 1.05 1.00 2/106 11976
/proc/meminfo: memFree=1764884/2059040 swapFree=4192956/4192956
[pid=11965] ppid=11963 vsize=20348 CPUtime=330.21
/proc/11965/stat : 11965 (bsolo_pb10) R 11963 11965 11847 0 -1 4202496 779 0 0 0 32809 212 0 0 25 0 1 0 3008497 20836352 697 1992294400 134512640 137138936 4292421696 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11965/statm: 5087 697 191 642 0 4443 0
Current children cumulated CPU time (s) 330.21
Current children cumulated vsize (KiB) 20348

Child status: 0
Real time (s): 330.34
CPU time (s): 330.253
CPU user time (s): 328.13
CPU system time (s): 2.12268
CPU usage (%): 99.9736
Max. virtual memory (cumulated for all children) (KiB): 20348

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 328.13
system time used= 2.12268
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 780
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= 874

runsolver used 0.582911 second user time and 1.52877 second system time

The end

Launcher Data 

Begin job on node087 at 2010-06-15 17:52:30
IDJOB=2657542
IDBENCH=2927
IDSOLVER=1163
FILE ID=node087/2657542-1276617150
PBS_JOBID= 11172302
Free space on /tmp= 62556 MiB

SOLVER NAME= bsolo 3.2 Cl
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_4_30_1.opb
COMMAND LINE= bsolo_pb10 -tTIMEOUT -l1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2657542-1276617150/watcher-2657542-1276617150 -o /tmp/evaluation-result-2657542-1276617150/solver-2657542-1276617150 -C 1800 -W 2000 -M 1800  bsolo_pb10 -t1800 -l1 HOME/instance-2657542-1276617150.opb

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

MD5SUM BENCH= fb11ff2665aef67f0842a460a5ea3114
RANDOM SEED=826638203

node087.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		: 3000.213
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	: 6000.42
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.213
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	: 5999.42
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1768024 kB
Buffers:         33456 kB
Cached:         122372 kB
SwapCached:          0 kB
Active:         107112 kB
Inactive:       108608 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1768024 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            3904 kB
Writeback:           0 kB
AnonPages:       59888 kB
Mapped:          15704 kB
Slab:            53596 kB
PageTables:       4068 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181364 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62552 MiB
End job on node087 at 2010-06-15 17:58:00