Trace number 1878606

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 clOPT2 351.126 351.229

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 benchmark26.176
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.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: Clause 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-1878606-1245177934.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      0 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  11230 0.01
0.00/0.01	o 97
0.00/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.03	c      157     93      171     4648   27      849     854    163  11214 0.01
0.00/0.03	c      258     93      272     7086   26     1035     940    264  11217 0.02
0.00/0.03	o 62
0.00/0.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.07	c      322     92      337     8557   25     1230     852    329  11103 0.03
0.00/0.07	c      422     87      437    10844   24     1423     938    429  11105 0.04
0.00/0.07	c      672     86      687    16236   23     1912    1032    679  10838 0.06
0.00/0.07	o 58
0.00/0.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.07	c      777     83      793    18568   23     2170     834    785  10500 0.07
0.00/0.07	o 56
0.00/0.08	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.08	c      779     83      796    18710   23     2224     834    788  10527 0.07
0.00/0.08	o 55
0.00/0.08	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.08	c      823     83      841    19895   23     2362     834    833  10417 0.08
0.00/0.08	o 51
0.00/0.08	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.08	c      838     83      437     9706   22     1146     834    429  10219 0.08
0.00/0.08	o 21
0.09/0.18	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.18	c      891     83      491    10960   22     1306     834    483  10241 0.09
0.09/0.18	c      991     76      591    12983   21     1494     918    583  10322 0.10
0.09/0.18	c     1242     75      842    18229   21     2001    1010    834  10264 0.12
0.09/0.18	c     1717     73      802    16901   21     1866    1112    794  10406 0.17
0.09/0.18	o 19
0.39/0.44	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.44	c     1889     73      975    20712   21     2252     814    967  10379 0.18
0.39/0.44	c     1989     73      537    11354   21     1327     896    529  10359 0.19
0.39/0.44	c     2240     72      788    16655   21     1823     986    780  10418 0.21
0.39/0.44	c     2715     71      758    15739   20     1764    1085    750  10323 0.26
0.39/0.44	c     3528     70     1015    21927   21     2275    1194   1007  10226 0.34
0.39/0.44	o 17
0.39/0.45	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.45	c     4434     70      704    15623   22     1693     808    696  10077 0.44
0.39/0.45	c     4534     70      804    17856   22     1891     889    796  10075 0.45
0.39/0.45	o 12
0.59/0.69	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.59/0.69	c     4599     70      870    19307   22     2067     808    862  10063 0.46
0.59/0.69	c     4700     63      538    11408   21     1308     889    530  10064 0.47
0.59/0.69	c     4950     62      788    16623   21     1809     978    780  10081 0.49
0.59/0.69	c     5425     62      765    15786   20     1760    1076    757  10064 0.54
0.59/0.69	c     6238     62     1029    22159   21     2290    1184   1021  10077 0.62
0.59/0.69	o 7
0.69/0.75	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.69/0.75	c     6906     62     1097    24043   21     2456     792   1089  10023 0.69
0.69/0.75	c     7007     56      538    11500   21     1287     872    530  10010 0.70
0.69/0.75	c     7257     55      788    16877   21     1788     960    780  10009 0.72
0.69/0.75	o 6
1.39/1.42	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.39/1.42	c     7513     54      555    11246   20     1347     776    547   9964 0.75
1.39/1.42	c     7613     54      655    13273   20     1548     854    647   9977 0.76
1.39/1.42	c     7863     54      476     9656   20     1151     940    468   9965 0.79
1.39/1.42	c     8338     54      951    19977   21     2107    1035    943   9997 0.83
1.39/1.42	c     9151     54      700    14534   20     1604    1139    692   9990 0.92
1.39/1.42	c    10472     54      860    18111   21     1923    1253    852   9944 1.05
1.39/1.42	c    12554     54     1030    21523   20     2263    1379   1022   9792 1.28
1.39/1.42	o 5
1.39/1.48	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.39/1.48	c    13855     54      930    20085   21     2085     776    922   9770 1.42
1.39/1.48	c    13955     54      537    11311   21     1278     854    529   9772 1.43
1.39/1.48	c    14205     54      787    16729   21     1776     940    779   9796 1.45
1.39/1.48	o 4
1.59/1.68	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.59/1.68	c    14501     54      603    12365   20     1432     776    595   9804 1.48
1.59/1.68	c    14602     52      704    14421   20     1624     854    696   9800 1.49
1.59/1.68	c    14853     52      517    10324   19     1232     940    509   9810 1.51
1.59/1.68	c    15330     51      522    10542   20     1241    1035    514   9814 1.56
1.59/1.68	c    16143     49      805    16087   19     1798    1139    797   9843 1.64
1.59/1.68	o 3
32.28/32.37	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
32.28/32.37	c    16588     49      668    13573   20     1547     766    660   9844 1.69
32.28/32.37	c    16688     49      768    15636   20     1744     843    760   9851 1.69
32.28/32.37	c    16939     49      586    11593   19     1358     928    578   9859 1.72
32.28/32.37	c    17414     49      588    11466   19     1362    1021    580   9871 1.76
32.28/32.37	c    18228     48      879    18028   20     1942    1124    871   9890 1.84
32.28/32.37	c    19548     48     1053    20992   19     2289    1237   1045   9867 1.98
32.28/32.37	c    21629     47     1246    25615   20     2674    1361   1238   9817 2.20
32.28/32.37	c    24853     46     1015    20219   19     2212    1498   1007   9715 2.56
32.28/32.37	c    29790     46     1354    28259   20     2893    1648   1346   9499 3.14
32.28/32.37	c    37296     46     1304    27685   21     2792    1813   1296   9354 3.99
32.28/32.37	c    48657     46     1596    34005   21     3373    1995   1588   9054 5.37
32.28/32.37	c    65802     46     1495    31869   21     3174    2195   1487   8693 7.57
32.28/32.37	c    91621     46     1684    34635   20     3551    2415   1676   8312 11.02
32.28/32.37	c   130453     46     1359    28290   20     2897    2657   1351   7868 16.58
32.28/32.37	c   188806     46     1908    40768   21     4000    2923   1900   7455 25.32
32.28/32.37	o 2
351.08/351.22	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
351.08/351.22	c   234730     46     1977    42300   21     4149     760   1969   7253 32.36
351.08/351.22	c   234831     46      538    10701   19     1253     837    530   7252 32.38
351.08/351.22	c   235082     46      789    15833   20     1756     921    781   7254 32.40
351.08/351.22	c   235557     46      796    15196   19     1771    1014    788   7258 32.45
351.08/351.22	c   236370     46      564    11380   20     1310    1116    556   7265 32.53
351.08/351.22	c   237690     46      749    15524   20     1677    1228    741   7276 32.67
351.08/351.22	c   239773     46      951    19217   20     2078    1351    943   7290 32.89
351.08/351.22	c   242996     45      734    14289   19     1648    1487    726   7311 33.24
351.08/351.22	c   247933     45     1135    23736   20     2445    1636   1127   7338 33.78
351.08/351.22	c   255439     45     1124    22866   20     2421    1800   1116   7365 34.68
351.08/351.22	c   266800     43     1464    29874   20     3102    1981   1456   7408 36.01
351.08/351.22	c   283945     43     1495    30600   20     3162    2180   1487   7436 38.18
351.08/351.22	c   309765     42     1854    38967   21     3877    2399   1846   7427 41.70
351.08/351.22	c   348598     40     1736    37215   21     3641    2639   1728   7385 47.20
351.08/351.22	c   406950     40     2629    55923   21     5423    2903   2621   7337 55.46
351.08/351.22	c   494583     39     2157    45286   20     4478    3194   2149   7174 68.93
351.08/351.22	c   626136     39     2987    62559   20     6139    3514   2979   6816 91.85
351.08/351.22	c   823568     38     3446    72259   20     7053    3866   3438   6507 126.56
351.08/351.22	c  1119820     38     3243    68563   21     6649    4253   3235   6132 182.59
351.08/351.22	c  1564303     37     4176    86014   20     8512    4679   4168   5831 268.25
351.08/351.22	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 
351.08/351.22	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
351.08/351.22	c   84  1962467   6449  1970995     4727    69905   4719   5589 351.12
351.08/351.22	c Objective: 2
351.08/351.22	s OPTIMUM FOUND
351.08/351.22	c Total time: 351.124 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-1878606-1245177934/watcher-1878606-1245177934 -o /tmp/evaluation-result-1878606-1245177934/solver-1878606-1245177934 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878606-1245177934.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: 1.00 1.00 1.00 3/64 31340
/proc/meminfo: memFree=1906000/2055920 swapFree=4181496/4192956
[pid=31340] ppid=31338 vsize=26200 CPUtime=0
/proc/31340/stat : 31340 (bsolo) R 31338 31340 31261 0 -1 4194304 258 0 0 0 0 0 0 0 18 0 1 0 185393152 26828800 241 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31340/statm: 6550 241 196 640 0 5906 0

[startup+0.01156 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 31340
/proc/meminfo: memFree=1906000/2055920 swapFree=4181496/4192956
[pid=31340] ppid=31338 vsize=18516 CPUtime=0
/proc/31340/stat : 31340 (bsolo) R 31338 31340 31261 0 -1 4194304 267 0 0 0 0 0 0 0 18 0 1 0 185393152 18960384 250 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31340/statm: 4629 250 196 640 0 3985 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18516

[startup+0.101567 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 31340
/proc/meminfo: memFree=1906000/2055920 swapFree=4181496/4192956
[pid=31340] ppid=31338 vsize=18772 CPUtime=0.09
/proc/31340/stat : 31340 (bsolo) R 31338 31340 31261 0 -1 4194304 345 0 0 0 9 0 0 0 18 0 1 0 185393152 19222528 328 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31340/statm: 4693 328 196 640 0 4049 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18772

[startup+0.301586 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 31340
/proc/meminfo: memFree=1906000/2055920 swapFree=4181496/4192956
[pid=31340] ppid=31338 vsize=18904 CPUtime=0.29
/proc/31340/stat : 31340 (bsolo) R 31338 31340 31261 0 -1 4194304 362 0 0 0 29 0 0 0 19 0 1 0 185393152 19357696 345 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31340/statm: 4726 345 196 640 0 4082 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18904

[startup+0.701621 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 31340
/proc/meminfo: memFree=1906000/2055920 swapFree=4181496/4192956
[pid=31340] ppid=31338 vsize=18904 CPUtime=0.69
/proc/31340/stat : 31340 (bsolo) R 31338 31340 31261 0 -1 4194304 378 0 0 0 69 0 0 0 22 0 1 0 185393152 19357696 361 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31340/statm: 4726 361 196 640 0 4082 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 18904

[startup+1.50169 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31341
/proc/meminfo: memFree=1905288/2055920 swapFree=4181496/4192956
[pid=31340] ppid=31338 vsize=19032 CPUtime=1.49
/proc/31340/stat : 31340 (bsolo) R 31338 31340 31261 0 -1 4194304 396 0 0 0 148 1 0 0 25 0 1 0 185393152 19488768 379 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31340/statm: 4758 379 196 640 0 4114 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 19032

[startup+3.10184 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31341
/proc/meminfo: memFree=1905096/2055920 swapFree=4181496/4192956
[pid=31340] ppid=31338 vsize=19032 CPUtime=3.09
/proc/31340/stat : 31340 (bsolo) R 31338 31340 31261 0 -1 4194304 408 0 0 0 306 3 0 0 25 0 1 0 185393152 19488768 391 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31340/statm: 4758 391 196 640 0 4114 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 19032

[startup+6.30113 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31341
/proc/meminfo: memFree=1904712/2055920 swapFree=4181496/4192956
[pid=31340] ppid=31338 vsize=19288 CPUtime=6.29
/proc/31340/stat : 31340 (bsolo) R 31338 31340 31261 0 -1 4194304 457 0 0 0 624 5 0 0 25 0 1 0 185393152 19750912 440 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31340/statm: 4822 440 196 640 0 4178 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19288

[startup+12.7017 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31341
/proc/meminfo: memFree=1904456/2055920 swapFree=4181496/4192956
[pid=31340] ppid=31338 vsize=19416 CPUtime=12.69
/proc/31340/stat : 31340 (bsolo) R 31338 31340 31261 0 -1 4194304 498 0 0 0 1261 8 0 0 25 0 1 0 185393152 19881984 481 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31340/statm: 4854 481 196 640 0 4210 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 19416

[startup+25.5019 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31341
/proc/meminfo: memFree=1904328/2055920 swapFree=4181496/4192956
[pid=31340] ppid=31338 vsize=19548 CPUtime=25.48
/proc/31340/stat : 31340 (bsolo) R 31338 31340 31261 0 -1 4194304 547 0 0 0 2533 15 0 0 25 0 1 0 185393152 20017152 530 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31340/statm: 4887 530 196 640 0 4243 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 19548

[startup+51.1012 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31341
/proc/meminfo: memFree=1904264/2055920 swapFree=4181496/4192956
[pid=31340] ppid=31338 vsize=19636 CPUtime=51.06
/proc/31340/stat : 31340 (bsolo) R 31338 31340 31261 0 -1 4194304 550 0 0 0 5075 31 0 0 25 0 1 0 185393152 20107264 533 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31340/statm: 4909 533 196 640 0 4265 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 19636

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31341
/proc/meminfo: memFree=1904008/2055920 swapFree=4181496/4192956
[pid=31340] ppid=31338 vsize=19876 CPUtime=102.26
/proc/31340/stat : 31340 (bsolo) R 31338 31340 31261 0 -1 4194304 611 0 0 0 10169 57 0 0 25 0 1 0 185393152 20353024 594 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31340/statm: 4969 594 196 640 0 4325 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 19876

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31341
/proc/meminfo: memFree=1903816/2055920 swapFree=4181496/4192956
[pid=31340] ppid=31338 vsize=20004 CPUtime=162.24
/proc/31340/stat : 31340 (bsolo) R 31338 31340 31261 0 -1 4194304 644 0 0 0 16141 83 0 0 25 0 1 0 185393152 20484096 627 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31340/statm: 5001 627 196 640 0 4357 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 20004

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31341
/proc/meminfo: memFree=1903624/2055920 swapFree=4181496/4192956
[pid=31340] ppid=31338 vsize=20136 CPUtime=222.22
/proc/31340/stat : 31340 (bsolo) R 31338 31340 31261 0 -1 4194304 687 0 0 0 22112 110 0 0 25 0 1 0 185393152 20619264 670 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31340/statm: 5034 670 196 640 0 4390 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 20136

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31341
/proc/meminfo: memFree=1903560/2055920 swapFree=4181496/4192956
[pid=31340] ppid=31338 vsize=20264 CPUtime=282.21
/proc/31340/stat : 31340 (bsolo) R 31338 31340 31261 0 -1 4194304 712 0 0 0 28082 139 0 0 25 0 1 0 185393152 20750336 695 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31340/statm: 5066 695 196 640 0 4422 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 20264

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 31341
/proc/meminfo: memFree=1903496/2055920 swapFree=4181496/4192956
[pid=31340] ppid=31338 vsize=20264 CPUtime=342.19
/proc/31340/stat : 31340 (bsolo) R 31338 31340 31261 0 -1 4194304 717 0 0 0 34058 161 0 0 25 0 1 0 185393152 20750336 700 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31340/statm: 5066 700 196 640 0 4422 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 20264

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

[startup+345.502 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31341
/proc/meminfo: memFree=1903496/2055920 swapFree=4181496/4192956
[pid=31340] ppid=31338 vsize=20264 CPUtime=345.39
/proc/31340/stat : 31340 (bsolo) R 31338 31340 31261 0 -1 4194304 717 0 0 0 34376 163 0 0 25 0 1 0 185393152 20750336 700 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31340/statm: 5066 700 196 640 0 4422 0
Current children cumulated CPU time (s) 345.39
Current children cumulated vsize (KiB) 20264

[startup+348.705 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31341
/proc/meminfo: memFree=1903496/2055920 swapFree=4181496/4192956
[pid=31340] ppid=31338 vsize=20264 CPUtime=348.6
/proc/31340/stat : 31340 (bsolo) R 31338 31340 31261 0 -1 4194304 717 0 0 0 34696 164 0 0 25 0 1 0 185393152 20750336 700 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31340/statm: 5066 700 196 640 0 4422 0
Current children cumulated CPU time (s) 348.6
Current children cumulated vsize (KiB) 20264

[startup+350.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31341
/proc/meminfo: memFree=1903496/2055920 swapFree=4181496/4192956
[pid=31340] ppid=31338 vsize=20264 CPUtime=350.19
/proc/31340/stat : 31340 (bsolo) R 31338 31340 31261 0 -1 4194304 717 0 0 0 34855 164 0 0 25 0 1 0 185393152 20750336 700 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31340/statm: 5066 700 196 640 0 4422 0
Current children cumulated CPU time (s) 350.19
Current children cumulated vsize (KiB) 20264

[startup+350.701 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31341
/proc/meminfo: memFree=1903496/2055920 swapFree=4181496/4192956
[pid=31340] ppid=31338 vsize=20264 CPUtime=350.59
/proc/31340/stat : 31340 (bsolo) R 31338 31340 31261 0 -1 4194304 717 0 0 0 34895 164 0 0 25 0 1 0 185393152 20750336 700 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31340/statm: 5066 700 196 640 0 4422 0
Current children cumulated CPU time (s) 350.59
Current children cumulated vsize (KiB) 20264

[startup+351.101 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31341
/proc/meminfo: memFree=1903496/2055920 swapFree=4181496/4192956
[pid=31340] ppid=31338 vsize=20264 CPUtime=350.99
/proc/31340/stat : 31340 (bsolo) R 31338 31340 31261 0 -1 4194304 717 0 0 0 34935 164 0 0 25 0 1 0 185393152 20750336 700 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31340/statm: 5066 700 196 640 0 4422 0
Current children cumulated CPU time (s) 350.99
Current children cumulated vsize (KiB) 20264

[startup+351.201 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31341
/proc/meminfo: memFree=1903496/2055920 swapFree=4181496/4192956
[pid=31340] ppid=31338 vsize=20264 CPUtime=351.08
/proc/31340/stat : 31340 (bsolo) R 31338 31340 31261 0 -1 4194304 717 0 0 0 34944 164 0 0 25 0 1 0 185393152 20750336 700 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31340/statm: 5066 700 196 640 0 4422 0
Current children cumulated CPU time (s) 351.08
Current children cumulated vsize (KiB) 20264

Child status: 0
Real time (s): 351.229
CPU time (s): 351.126
CPU user time (s): 349.477
CPU system time (s): 1.64875
CPU usage (%): 99.9707
Max. virtual memory (cumulated for all children) (KiB): 20264

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

runsolver used 0.254961 second user time and 0.749886 second system time

The end

Launcher Data 

Begin job on node25 at 2009-06-16 20:45:34
IDJOB=1878606
IDBENCH=2927
IDSOLVER=700
FILE ID=node25/1878606-1245177934
PBS_JOBID= 9363949
Free space on /tmp= 66312 MiB

SOLVER NAME= bsolo 3.1 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 -l1 -tTIMEOUT -mMEMLIMIT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1878606-1245177934/watcher-1878606-1245177934 -o /tmp/evaluation-result-1878606-1245177934/solver-1878606-1245177934 -C 1800 -W 2000 -M 1800  bsolo -l1 -t1800 -m1800 HOME/instance-1878606-1245177934.opb

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

MD5SUM BENCH= fb11ff2665aef67f0842a460a5ea3114
RANDOM SEED=767177507

node25.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.238
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.238
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:       1906480 kB
Buffers:         35112 kB
Cached:          60048 kB
SwapCached:       5888 kB
Active:          55984 kB
Inactive:        47624 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1906480 kB
SwapTotal:     4192956 kB
SwapFree:      4181496 kB
Dirty:            4004 kB
Writeback:           0 kB
Mapped:          13488 kB
Slab:            31896 kB
Committed_AS:   201100 kB
PageTables:       1464 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1878606-1245177934.opb

Free space on /tmp at the end= 66308 MiB
End job on node25 at 2009-06-16 20:51:25