Trace number 3462769

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.2SAT-48 1798 1797.97

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_200_10_2.opb
MD5SUM5255c8da63867fe6fe080ca048384827
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-52
Best CPU time to get the best result obtained on this benchmark1797.65
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -48
Optimality of the best value was proved NO
Number of variables200
Total number of constraints200
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 constraints200
Minimum length of a constraint10
Maximum length of a constraint19
Number of terms in the objective function 200
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 200
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 200
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)2492
Sum of products size (including duplicates)4984
Number of different products1246
Sum of products size2492

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 Learning Strategy: Cardinality Constraint Learning
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Instance file HOME/instance-3462769-1307182698.opb
0.00/0.00	c File size is 32297 bytes.
0.00/0.00	c Highest Coefficient sum: 200
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0.005 s
0.00/0.00	c Var: 2692 Constr: 5384 2692/200/2492 Lit: 19936 Watch. Lit: 14952
0.00/0.00	c Obj. Vars: 200 (7.42942 % of total variables)
0.00/0.01	c Pre-processing Time: 0.016 s
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c        0    200     1246     3738    3     2492     415      0      0 0.02
0.00/0.01	c Switching off lower bounding mode.
0.00/0.01	o -42
0.00/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.03	c        0    200     1247     3938    3     2536    1415      1      0 0.02
0.00/0.03	o -43
0.39/0.40	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.40	c       64    200     1312    14054   10     2709    1415     66   2206 0.03
0.39/0.40	c      164    200     1412    29466   20     2909    1557    166   3280 0.05
0.39/0.40	c      414    200     1662    67934   40     3409    1713    416   4019 0.10
0.39/0.40	c      890    200     2141   141441   66     4367    1885    895   4258 0.21
0.39/0.40	c     1703    200     2954   266885   90     5993    2074   1708   4344 0.39
0.39/0.40	o -44
7.49/7.54	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.49/7.54	c     1731    200     2983   271394   90     6095    1415   1737   4327 0.40
7.49/7.54	c     1831    200     3083   286709   92     6295    1557   1837   4318 0.42
7.49/7.54	c     2081    200     3334   325065   97     6797    1713   2088   4299 0.48
7.49/7.54	c     2557    200     3810   397798  104     7749    1885   2564   4283 0.60
7.49/7.54	c     3370    200     4624   522383  112     9377    2074   3378   4186 0.81
7.49/7.54	c     4691    200     2284   162147   70     4612    2282   1038   3975 1.18
7.49/7.54	c     6772    200     4370   480884  110     8784    2511   3124   3874 1.75
7.49/7.54	c     9997    200     3685   375168  101     7414    2763   2439   3603 2.77
7.49/7.54	c    14933    200     4589   511813  111     9305    3040   3343   3507 4.26
7.49/7.54	c    22439    200     3764   366067   97     7604    3345   2518   3350 6.70
7.49/7.54	o -45
31.69/31.79	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
31.69/31.79	c    25069    200     6409   765387  119    12980    1415   5163   3323 7.54
31.69/31.79	c    25170    200     2056   126080   61     4157    1557    810   3319 7.58
31.69/31.79	c    25420    200     2306   164047   71     4657    1713   1060   3329 7.63
31.69/31.79	c    25896    200     2782   236216   84     5609    1885   1536   3344 7.74
31.69/31.79	c    26709    200     3595   359679  100     7235    2074   2349   3360 7.95
31.69/31.79	c    28030    200     4916   560095  113     9877    2282   3670   3384 8.28
31.69/31.79	c    30111    200     3186   298303   93     6417    2511   1940   3397 8.86
31.69/31.79	c    33335    200     2503   194517   77     5051    2763   1257   3370 9.89
31.69/31.79	c    38271    200     3405   330251   96     6855    3040   2159   3385 11.30
31.69/31.79	c    45777    200     6748   824263  122    13624    3345   5502   3313 13.81
31.69/31.79	c    57139    200     5168   597167  115    10381    3680   3922   3268 17.48
31.69/31.79	c    74284    200     4372   476621  109     8832    4049   3126   3228 23.01
31.69/31.79	c   100104    200     6901   844274  122    13888    4454   5655   3161 31.67
31.69/31.79	o -46
590.60/590.65	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
590.60/590.65	c   100543    200     7342   911347  124    14816    1415   6096   3161 31.80
590.60/590.65	c   100644    200     2056   125800   61     4158    1557    810   3160 31.84
590.60/590.65	c   100894    200     2306   163412   70     4658    1713   1060   3163 31.90
590.60/590.65	c   101369    200     2781   234986   84     5608    1885   1535   3167 32.00
590.60/590.65	c   102182    200     3595   357467   99     7236    2074   2349   3175 32.18
590.60/590.65	c   103502    200     4917   556402  113     9880    2282   3671   3186 32.48
590.60/590.65	c   105583    200     3202   298622   93     6450    2511   1956   3196 33.03
590.60/590.65	c   108806    200     2523   195540   77     5092    2763   1277   3193 34.07
590.60/590.65	c   113743    200     3442   333615   96     6930    3040   2196   3200 35.54
590.60/590.65	c   121250    200     2767   222930   80     5580    3345   1521   3180 38.12
590.60/590.65	c   132612    200     5516   642988  116    11078    3680   4270   3193 41.53
590.60/590.65	c   149757    200     4709   496922  105     9532    4049   3463   3154 47.48
590.60/590.65	c   175576    200     7192   854324  118    14529    4454   5946   3075 57.08
590.60/590.65	c   214408    200     7142   869268  121    14330    4900   5896   2971 72.15
590.60/590.65	c   272760    200     4519   471142  104     9185    5391   3273   2929 93.09
590.60/590.65	c   360392    200     6838   838917  122    13766    5931   5592   2841 126.81
590.60/590.65	c   491944    200     9585  1258573  131    19216    6525   8339   2766 177.79
590.60/590.65	c   689376    200     6632   808575  121    13310    7178   5386   2655 259.64
590.60/590.65	c   985628    200    10389  1326245  127    20936    7896   9143   2464 400.00
590.60/590.65	c  1430110    200     7744   959071  123    15575    8686   6498   2465 579.99
590.60/590.65	o -47
1107.62/1107.63	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1107.62/1107.63	c  1452844    200     9577  1222563  127    19438    1415   8331   2459 590.65
1107.62/1107.63	c  1452945    200     2056   118276   57     4159    1557    810   2459 590.73
1107.62/1107.63	c  1453196    200     2307   155871   67     4661    1713   1061   2459 590.78
1107.62/1107.63	c  1453671    200     2783   227076   81     5613    1885   1537   2460 590.88
1107.62/1107.63	c  1454485    200     3598   348967   96     7243    2074   2352   2460 591.07
1107.62/1107.63	c  1455805    200     4919   546594  111     9885    2282   3673   2461 591.41
1107.62/1107.63	c  1457887    200     3210   295461   92     6467    2511   1964   2462 591.98
1107.62/1107.63	c  1461110    200     2530   195984   77     5107    2763   1284   2464 592.89
1107.62/1107.63	c  1466047    200     3449   332384   96     6945    3040   2203   2466 594.33
1107.62/1107.63	c  1473554    200     2767   227475   82     5581    3345   1521   2469 596.72
1107.62/1107.63	c  1484915    200     5520   624385  113    11166    3680   4274   2473 600.30
1107.62/1107.63	c  1502059    200     4784   526949  110     9615    4049   3538   2477 606.21
1107.62/1107.63	c  1527879    200     7306   903690  123    14702    4454   6060   2484 615.01
1107.62/1107.63	c  1566711    200     7231   880146  121    14639    4900   5985   2492 628.65
1107.62/1107.63	c  1625063    200     4561   465955  102     9169    5391   3315   2499 650.21
1107.62/1107.63	c  1712695    200     6997   863894  123    14041    5931   5751   2504 683.81
1107.62/1107.63	c  1844248    200     4279   456999  106     8605    6525   3033   2513 733.70
1107.62/1107.63	c  2041682    200     7387   908442  122    14908    7178   6141   2512 812.70
1107.62/1107.63	c  2337934    200     5254   557163  106    10609    7896   4008   2475 944.36
1107.62/1107.63	o -48
1797.92/1797.97	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.92/1797.97	c  2652116    200    10369  1260671  121    21464    1415   9123   2394 1107.64
1797.92/1797.97	c  2652217    200     2056   113312   55     4160    1557    810   2394 1107.72
1797.92/1797.97	c  2652467    200     2306   150509   65     4660    1713   1060   2394 1107.77
1797.92/1797.97	c  2652942    200     2782   221247   79     5612    1885   1536   2394 1107.87
1797.92/1797.97	c  2653755    200     3598   342509   95     7244    2074   2352   2394 1108.06
1797.92/1797.97	c  2655075    200     4926   539701  109     9900    2282   3680   2395 1108.39
1797.92/1797.97	c  2657156    200     3214   295690   92     6476    2511   1968   2396 1108.93
1797.92/1797.97	c  2660379    200     2531   194656   76     5110    2763   1285   2397 1109.82
1797.92/1797.97	c  2665316    200     3452   327242   94     6952    3040   2206   2398 1111.25
1797.92/1797.97	c  2672822    200     2767   226228   81     5582    3345   1521   2400 1113.46
1797.92/1797.97	c  2684184    200     5518   631298  114    11129    3680   4272   2403 1116.70
1797.92/1797.97	c  2701329    200     4759   525715  110     9566    4049   3513   2407 1122.27
1797.92/1797.97	c  2727148    200     7253   883290  121    14642    4454   6007   2412 1130.64
1797.92/1797.97	c  2765981    200     7177   867191  120    14445    4900   5931   2417 1144.18
1797.92/1797.97	c  2824333    200     4492   477572  106     9163    5391   3246   2426 1163.86
1797.92/1797.97	c  2911965    200     6889   826527  119    13826    5931   5643   2430 1198.31
1797.92/1797.97	c  3043518    200     4213   439116  104     8519    6525   2967   2441 1246.63
1797.92/1797.97	c  3240951    200     7249   894248  123    14546    7178   6003   2446 1324.79
1797.92/1797.97	c  3537203    200     5314   601596  113    10676    7896   4068   2459 1438.06
1797.92/1797.97	c  3981685    200     9514  1218521  128    19166    8686   8268   2467 1613.62
1797.92/1797.97	c Resources Exceeded
1797.92/1797.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 -x95 -x96 -x97 x98 -x99 -x100 -x101 -x102 -x103 -x104 x105 -x106 -x107 -x108 -x109 -x110 -x111 x112 -x113 -x114 -x115 -x116 x117 -x118 -x119 -x120 x121 x122 x123 -x124 -x125 -x126 x127 -x128 x129 -x130 -x131 x132 -x133 x134 -x135 -x136 -x137 -x138 -x139 x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 x149 -x150 x151 -x152 x153 -x154 x155 -x156 x157 -x158 -x159 x160 x161 -x162 x163 -x164 -x165 x166 -x167 x168 -x169 x170 -x171 -x172 x173 -x174 -x175 -x176 -x177 -x178 -x179 x180 -x181 x182 -x183 -x184 -x185 x186 x187 x188 -x189 -x190 x191 x192 -x193 -x194 -x195 -x196 x197 x198 -x199 x200 
1797.92/1797.97	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.92/1797.97	c   88  4396839 559510  5189946     6623   743173   5377   2445 1798.00
1797.92/1797.97	c Objective: -48
1797.92/1797.97	s SATISFIABLE
1797.92/1797.97	c Total time: 1798 s

Verifier Data 

OK	-48

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3462769-1307182698/watcher-3462769-1307182698 -o /tmp/evaluation-result-3462769-1307182698/solver-3462769-1307182698 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462769-1307182698.opb 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.13 2.06 2.01 2/575 32660
/proc/meminfo: memFree=22557048/32951124 swapFree=58940260/67111528
[pid=32660] ppid=32658 vsize=12148 CPUtime=0.01 cores=0,2,4,6
/proc/32660/stat : 32660 (bsolo) R 32658 32660 30921 0 -1 4202496 657 0 0 0 1 0 0 0 25 0 1 0 829867526 12439552 603 33554432000 134512640 137138936 4293449648 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/32660/statm: 3037 603 192 642 0 2393 0

[startup+0.0750009 s]
/proc/loadavg: 2.13 2.06 2.01 2/575 32660
/proc/meminfo: memFree=22557048/32951124 swapFree=58940260/67111528
[pid=32660] ppid=32658 vsize=12568 CPUtime=0.07 cores=0,2,4,6
/proc/32660/stat : 32660 (bsolo) R 32658 32660 30921 0 -1 4202496 753 0 0 0 7 0 0 0 25 0 1 0 829867526 12869632 699 33554432000 134512640 137138936 4293449648 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/32660/statm: 3142 699 192 642 0 2498 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 12568

[startup+0.100983 s]
/proc/loadavg: 2.13 2.06 2.01 2/575 32660
/proc/meminfo: memFree=22557048/32951124 swapFree=58940260/67111528
[pid=32660] ppid=32658 vsize=12776 CPUtime=0.09 cores=0,2,4,6
/proc/32660/stat : 32660 (bsolo) R 32658 32660 30921 0 -1 4202496 807 0 0 0 9 0 0 0 25 0 1 0 829867526 13082624 753 33554432000 134512640 137138936 4293449648 18446744073709551615 135984567 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/32660/statm: 3194 754 192 642 0 2550 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12776

[startup+0.300949 s]
/proc/loadavg: 2.13 2.06 2.01 2/575 32660
/proc/meminfo: memFree=22557048/32951124 swapFree=58940260/67111528
[pid=32660] ppid=32658 vsize=14372 CPUtime=0.29 cores=0,2,4,6
/proc/32660/stat : 32660 (bsolo) R 32658 32660 30921 0 -1 4202496 1219 0 0 0 29 0 0 0 25 0 1 0 829867526 14716928 1165 33554432000 134512640 137138936 4293449648 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/32660/statm: 3593 1165 192 642 0 2949 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14372

[startup+0.700872 s]
/proc/loadavg: 2.13 2.06 2.01 2/575 32660
/proc/meminfo: memFree=22557048/32951124 swapFree=58940260/67111528
[pid=32660] ppid=32658 vsize=17464 CPUtime=0.69 cores=0,2,4,6
/proc/32660/stat : 32660 (bsolo) R 32658 32660 30921 0 -1 4202496 1983 0 0 0 69 0 0 0 25 0 1 0 829867526 17883136 1929 33554432000 134512640 137138936 4293449648 18446744073709551615 134539692 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/32660/statm: 4366 1929 192 642 0 3722 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17464

[startup+1.5007 s]
/proc/loadavg: 2.13 2.06 2.01 3/576 32661
/proc/meminfo: memFree=22545132/32951124 swapFree=58940260/67111528
[pid=32660] ppid=32658 vsize=21004 CPUtime=1.49 cores=0,2,4,6
/proc/32660/stat : 32660 (bsolo) R 32658 32660 30921 0 -1 4202496 2870 0 0 0 149 0 0 0 25 0 1 0 829867526 21508096 2816 33554432000 134512640 137138936 4293449648 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/32660/statm: 5251 2816 192 642 0 4607 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 21004

[startup+3.10044 s]
/proc/loadavg: 2.13 2.06 2.01 3/576 32661
/proc/meminfo: memFree=22540668/32951124 swapFree=58940260/67111528
[pid=32660] ppid=32658 vsize=21960 CPUtime=3.09 cores=0,2,4,6
/proc/32660/stat : 32660 (bsolo) R 32658 32660 30921 0 -1 4202496 3107 0 0 0 309 0 0 0 25 0 1 0 829867526 22487040 3053 33554432000 134512640 137138936 4293449648 18446744073709551615 134542415 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/32660/statm: 5490 3053 192 642 0 4846 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 21960

[startup+6.30086 s]
/proc/loadavg: 2.12 2.06 2.01 3/576 32661
/proc/meminfo: memFree=22535336/32951124 swapFree=58940260/67111528
[pid=32660] ppid=32658 vsize=22908 CPUtime=6.29 cores=0,2,4,6
/proc/32660/stat : 32660 (bsolo) R 32658 32660 30921 0 -1 4202496 3350 0 0 0 627 2 0 0 25 0 1 0 829867526 23457792 3296 33554432000 134512640 137138936 4293449648 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/32660/statm: 5727 3296 192 642 0 5083 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 22908

[startup+12.7007 s]
/proc/loadavg: 2.11 2.06 2.01 3/576 32661
/proc/meminfo: memFree=22526140/32951124 swapFree=58940260/67111528
[pid=32660] ppid=32658 vsize=22912 CPUtime=12.69 cores=0,2,4,6
/proc/32660/stat : 32660 (bsolo) R 32658 32660 30921 0 -1 4202496 3371 0 0 0 1266 3 0 0 25 0 1 0 829867526 23461888 3300 33554432000 134512640 137138936 4293449648 18446744073709551615 134542330 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/32660/statm: 5728 3300 192 642 0 5084 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 22912

[startup+25.5004 s]
/proc/loadavg: 2.08 2.06 2.01 3/576 32662
/proc/meminfo: memFree=22517308/32951124 swapFree=58940260/67111528
[pid=32660] ppid=32658 vsize=24952 CPUtime=25.49 cores=0,2,4,6
/proc/32660/stat : 32660 (bsolo) R 32658 32660 30921 0 -1 4202496 3880 0 0 0 2543 6 0 0 25 0 1 0 829867526 25550848 3809 33554432000 134512640 137138936 4293449648 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/32660/statm: 6238 3809 192 642 0 5594 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 24952

[startup+51.1007 s]
/proc/loadavg: 2.05 2.05 2.01 3/576 32662
/proc/meminfo: memFree=22496932/32951124 swapFree=58940260/67111528
[pid=32660] ppid=32658 vsize=24928 CPUtime=51.09 cores=0,2,4,6
/proc/32660/stat : 32660 (bsolo) R 32658 32660 30921 0 -1 4202496 3952 0 0 0 5097 12 0 0 25 0 1 0 829867526 25526272 3805 33554432000 134512640 137138936 4293449648 18446744073709551615 134544858 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/32660/statm: 6232 3805 192 642 0 5588 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 24928

[startup+102.322 s]
/proc/loadavg: 2.02 2.04 2.00 3/576 32664
/proc/meminfo: memFree=22480304/32951124 swapFree=58940260/67111528
[pid=32660] ppid=32658 vsize=27704 CPUtime=102.31 cores=0,2,4,6
/proc/32660/stat : 32660 (bsolo) R 32658 32660 30921 0 -1 4202496 4637 0 0 0 10207 24 0 0 25 0 1 0 829867526 28368896 4485 33554432000 134512640 137138936 4293449648 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/32660/statm: 6926 4485 192 642 0 6282 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 27704

[startup+162.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/576 32665
/proc/meminfo: memFree=22477288/32951124 swapFree=58940260/67111528
[pid=32660] ppid=32658 vsize=28724 CPUtime=162.29 cores=0,2,4,6
/proc/32660/stat : 32660 (bsolo) R 32658 32660 30921 0 -1 4202496 4916 0 0 0 16193 36 0 0 25 0 1 0 829867526 29413376 4754 33554432000 134512640 137138936 4293449648 18446744073709551615 135984584 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/32660/statm: 7181 4754 192 642 0 6537 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 28724

[startup+222.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/576 32667
/proc/meminfo: memFree=22476736/32951124 swapFree=58940260/67111528
[pid=32660] ppid=32658 vsize=29928 CPUtime=222.29 cores=0,2,4,6
/proc/32660/stat : 32660 (bsolo) R 32658 32660 30921 0 -1 4202496 5227 0 0 0 22180 49 0 0 25 0 1 0 829867526 30646272 5055 33554432000 134512640 137138936 4293449648 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/32660/statm: 7482 5055 192 642 0 6838 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 29928

[startup+282.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/576 32668
/proc/meminfo: memFree=22474824/32951124 swapFree=58940260/67111528
[pid=32660] ppid=32658 vsize=31320 CPUtime=282.29 cores=0,2,4,6
/proc/32660/stat : 32660 (bsolo) R 32658 32660 30921 0 -1 4202496 5587 0 0 0 28168 61 0 0 25 0 1 0 829867526 32071680 5398 33554432000 134512640 137138936 4293449648 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/32660/statm: 7830 5398 192 642 0 7186 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 31320

[startup+342.301 s]
/proc/loadavg: 2.07 2.05 2.01 3/576 32670
/proc/meminfo: memFree=22474264/32951124 swapFree=58940260/67111528
[pid=32660] ppid=32658 vsize=31204 CPUtime=342.3 cores=0,2,4,6
/proc/32660/stat : 32660 (bsolo) R 32658 32660 30921 0 -1 4202496 5592 0 0 0 34156 74 0 0 25 0 1 0 829867526 31952896 5377 33554432000 134512640 137138936 4293449648 18446744073709551615 134603236 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/32660/statm: 7801 5377 192 642 0 7157 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 31204

[startup+402.301 s]
/proc/loadavg: 2.02 2.04 2.00 3/576 32672
/proc/meminfo: memFree=22473476/32951124 swapFree=58940260/67111528
[pid=32660] ppid=32658 vsize=32048 CPUtime=402.3 cores=0,2,4,6
/proc/32660/stat : 32660 (bsolo) R 32658 32660 30921 0 -1 4202496 5819 0 0 0 40146 84 0 0 25 0 1 0 829867526 32817152 5579 33554432000 134512640 137138936 4293449648 18446744073709551615 134542503 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/32660/statm: 8012 5579 192 642 0 7368 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 32048

[startup+462.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/576 32673
/proc/meminfo: memFree=22473448/32951124 swapFree=58940260/67111528
[pid=32660] ppid=32658 vsize=32764 CPUtime=462.28 cores=0,2,4,6
/proc/32660/stat : 32660 (bsolo) R 32658 32660 30921 0 -1 4202496 5998 0 0 0 46134 94 0 0 25 0 1 0 829867526 33550336 5748 33554432000 134512640 137138936 4293449648 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32660/statm: 8191 5748 192 642 0 7547 0
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (KiB) 32764

[startup+522.301 s]
/proc/loadavg: 2.11 2.05 2.01 3/576 32675
/proc/meminfo: memFree=22474660/32951124 swapFree=58940260/67111528
[pid=32660] ppid=32658 vsize=32684 CPUtime=522.28 cores=0,2,4,6
/proc/32660/stat : 32660 (bsolo) R 32658 32660 30921 0 -1 4202496 6001 0 0 0 52123 105 0 0 25 0 1 0 829867526 33468416 5747 33554432000 134512640 137138936 4293449648 18446744073709551615 134551023 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32660/statm: 8171 5747 192 642 0 7527 0
Current children cumulated CPU time (s) 522.28
Current children cumulated vsize (KiB) 32684

[startup+582.301 s]
/proc/loadavg: 2.09 2.06 2.01 3/576 32676
/proc/meminfo: memFree=22472776/32951124 swapFree=58940260/67111528
[pid=32660] ppid=32658 vsize=34088 CPUtime=582.28 cores=0,2,4,6
/proc/32660/stat : 32660 (bsolo) R 32658 32660 30921 0 -1 4202496 6335 0 0 0 58112 116 0 0 25 0 1 0 829867526 34906112 6081 33554432000 134512640 137138936 4293449648 18446744073709551615 134542286 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32660/statm: 8522 6081 192 642 0 7878 0
Current children cumulated CPU time (s) 582.28
Current children cumulated vsize (KiB) 34088

[startup+642.301 s]

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

/proc/meminfo: memFree=23371088/32951124 swapFree=58940260/67111528
[pid=32660] ppid=32658 vsize=33020 CPUtime=1062.3 cores=0,2,4,6
/proc/32660/stat : 32660 (bsolo) R 32658 32660 30921 0 -1 4202496 6377 0 0 0 106027 203 0 0 25 0 1 0 829867526 33812480 5831 33554432000 134512640 137138936 4293449648 18446744073709551615 134542307 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32660/statm: 8255 5831 192 642 0 7611 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 33020

[startup+1122.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/576 32718
/proc/meminfo: memFree=23371552/32951124 swapFree=58940260/67111528
[pid=32660] ppid=32658 vsize=32728 CPUtime=1122.3 cores=0,2,4,6
/proc/32660/stat : 32660 (bsolo) R 32658 32660 30921 0 -1 4202496 6377 0 0 0 112017 213 0 0 25 0 1 0 829867526 33513472 5758 33554432000 134512640 137138936 4293449648 18446744073709551615 136297742 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32660/statm: 8182 5758 192 642 0 7538 0
Current children cumulated CPU time (s) 1122.3
Current children cumulated vsize (KiB) 32728

[startup+1182.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/576 32719
/proc/meminfo: memFree=23355896/32951124 swapFree=58940260/67111528
[pid=32660] ppid=32658 vsize=32408 CPUtime=1182.3 cores=0,2,4,6
/proc/32660/stat : 32660 (bsolo) R 32658 32660 30921 0 -1 4202496 6377 0 0 0 118005 225 0 0 25 0 1 0 829867526 33185792 5678 33554432000 134512640 137138936 4293449648 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32660/statm: 8102 5678 192 642 0 7458 0
Current children cumulated CPU time (s) 1182.3
Current children cumulated vsize (KiB) 32408

[startup+1242.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/576 32721
/proc/meminfo: memFree=23355872/32951124 swapFree=58940260/67111528
[pid=32660] ppid=32658 vsize=32408 CPUtime=1242.3 cores=0,2,4,6
/proc/32660/stat : 32660 (bsolo) R 32658 32660 30921 0 -1 4202496 6377 0 0 0 123993 237 0 0 25 0 1 0 829867526 33185792 5678 33554432000 134512640 137138936 4293449648 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32660/statm: 8102 5678 192 642 0 7458 0
Current children cumulated CPU time (s) 1242.3
Current children cumulated vsize (KiB) 32408

[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/576 32723
/proc/meminfo: memFree=23341348/32951124 swapFree=58940260/67111528
[pid=32660] ppid=32658 vsize=32248 CPUtime=1302.33 cores=0,2,4,6
/proc/32660/stat : 32660 (bsolo) R 32658 32660 30921 0 -1 4202496 6377 0 0 0 129985 248 0 0 25 0 1 0 829867526 33021952 5638 33554432000 134512640 137138936 4293449648 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32660/statm: 8062 5638 192 642 0 7418 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 32248

[startup+1362.3 s]
/proc/loadavg: 2.14 2.06 2.01 3/576 32724
/proc/meminfo: memFree=23342320/32951124 swapFree=58940260/67111528
[pid=32660] ppid=32658 vsize=32064 CPUtime=1362.31 cores=0,2,4,6
/proc/32660/stat : 32660 (bsolo) R 32658 32660 30921 0 -1 4202496 6377 0 0 0 135970 261 0 0 25 0 1 0 829867526 32833536 5592 33554432000 134512640 137138936 4293449648 18446744073709551615 134540740 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32660/statm: 8016 5592 192 642 0 7372 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 32064

[startup+1422.32 s]
/proc/loadavg: 2.05 2.05 2.00 3/576 32726
/proc/meminfo: memFree=23342420/32951124 swapFree=58940260/67111528
[pid=32660] ppid=32658 vsize=31964 CPUtime=1422.33 cores=0,2,4,6
/proc/32660/stat : 32660 (bsolo) R 32658 32660 30921 0 -1 4202496 6377 0 0 0 141959 274 0 0 25 0 1 0 829867526 32731136 5567 33554432000 134512640 137138936 4293449648 18446744073709551615 134598925 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32660/statm: 7991 5567 192 642 0 7347 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 31964

[startup+1482.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/576 32727
/proc/meminfo: memFree=23324660/32951124 swapFree=58940260/67111528
[pid=32660] ppid=32658 vsize=32372 CPUtime=1482.31 cores=0,2,4,6
/proc/32660/stat : 32660 (bsolo) R 32658 32660 30921 0 -1 4202496 6494 0 0 0 147945 286 0 0 25 0 1 0 829867526 33148928 5661 33554432000 134512640 137138936 4293449648 18446744073709551615 136504193 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32660/statm: 8093 5661 192 642 0 7449 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 32372

[startup+1542.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/576 32729
/proc/meminfo: memFree=23325116/32951124 swapFree=58940260/67111528
[pid=32660] ppid=32658 vsize=32440 CPUtime=1542.31 cores=0,2,4,6
/proc/32660/stat : 32660 (bsolo) R 32658 32660 30921 0 -1 4202496 6515 0 0 0 153933 298 0 0 25 0 1 0 829867526 33218560 5682 33554432000 134512640 137138936 4293449648 18446744073709551615 134599648 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32660/statm: 8110 5682 192 642 0 7466 0
Current children cumulated CPU time (s) 1542.31
Current children cumulated vsize (KiB) 32440

[startup+1602.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/576 32731
/proc/meminfo: memFree=23324464/32951124 swapFree=58940260/67111528
[pid=32660] ppid=32658 vsize=32428 CPUtime=1602.32 cores=0,2,4,6
/proc/32660/stat : 32660 (bsolo) R 32658 32660 30921 0 -1 4202496 6515 0 0 0 159923 309 0 0 25 0 1 0 829867526 33206272 5682 33554432000 134512640 137138936 4293449648 18446744073709551615 134599813 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32660/statm: 8107 5682 192 642 0 7463 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 32428

[startup+1662.3 s]
/proc/loadavg: 2.07 2.05 2.01 3/576 32732
/proc/meminfo: memFree=23324084/32951124 swapFree=58940260/67111528
[pid=32660] ppid=32658 vsize=34040 CPUtime=1662.32 cores=0,2,4,6
/proc/32660/stat : 32660 (bsolo) R 32658 32660 30921 0 -1 4202496 6914 0 0 0 165913 319 0 0 25 0 1 0 829867526 34856960 6081 33554432000 134512640 137138936 4293449648 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32660/statm: 8510 6081 192 642 0 7866 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 34040

[startup+1722.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/576 32734
/proc/meminfo: memFree=23318844/32951124 swapFree=58940260/67111528
[pid=32660] ppid=32658 vsize=33940 CPUtime=1722.32 cores=0,2,4,6
/proc/32660/stat : 32660 (bsolo) R 32658 32660 30921 0 -1 4202496 6914 0 0 0 171903 329 0 0 25 0 1 0 829867526 34754560 6061 33554432000 134512640 137138936 4293449648 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32660/statm: 8485 6061 192 642 0 7841 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 33940

[startup+1782.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/576 32735
/proc/meminfo: memFree=23317200/32951124 swapFree=58940260/67111528
[pid=32660] ppid=32658 vsize=33840 CPUtime=1782.32 cores=0,2,4,6
/proc/32660/stat : 32660 (bsolo) R 32658 32660 30921 0 -1 4202496 6914 0 0 0 177892 340 0 0 25 0 1 0 829867526 34652160 6036 33554432000 134512640 137138936 4293449648 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32660/statm: 8460 6036 192 642 0 7816 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 33840

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

[startup+1785.5 s]
/proc/loadavg: 2.01 2.03 2.00 3/576 32736
/proc/meminfo: memFree=23317696/32951124 swapFree=58940260/67111528
[pid=32660] ppid=32658 vsize=33840 CPUtime=1785.52 cores=0,2,4,6
/proc/32660/stat : 32660 (bsolo) R 32658 32660 30921 0 -1 4202496 6914 0 0 0 178211 341 0 0 25 0 1 0 829867526 34652160 6036 33554432000 134512640 137138936 4293449648 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32660/statm: 8460 6036 192 642 0 7816 0
Current children cumulated CPU time (s) 1785.52
Current children cumulated vsize (KiB) 33840

[startup+1791.92 s]
/proc/loadavg: 2.00 2.03 2.00 3/576 32736
/proc/meminfo: memFree=23318432/32951124 swapFree=58940260/67111528
[pid=32660] ppid=32658 vsize=33840 CPUtime=1791.94 cores=0,2,4,6
/proc/32660/stat : 32660 (bsolo) R 32658 32660 30921 0 -1 4202496 6914 0 0 0 178852 342 0 0 25 0 1 0 829867526 34652160 6036 33554432000 134512640 137138936 4293449648 18446744073709551615 134551250 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32660/statm: 8460 6036 192 642 0 7816 0
Current children cumulated CPU time (s) 1791.94
Current children cumulated vsize (KiB) 33840

[startup+1795.1 s]
/proc/loadavg: 2.00 2.03 2.00 3/576 32736
/proc/meminfo: memFree=23318308/32951124 swapFree=58940260/67111528
[pid=32660] ppid=32658 vsize=33840 CPUtime=1795.14 cores=0,2,4,6
/proc/32660/stat : 32660 (bsolo) R 32658 32660 30921 0 -1 4202496 6914 0 0 0 179171 343 0 0 25 0 1 0 829867526 34652160 6036 33554432000 134512640 137138936 4293449648 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32660/statm: 8460 6036 192 642 0 7816 0
Current children cumulated CPU time (s) 1795.14
Current children cumulated vsize (KiB) 33840

[startup+1796.7 s]
/proc/loadavg: 2.00 2.03 2.00 3/576 32736
/proc/meminfo: memFree=23318308/32951124 swapFree=58940260/67111528
[pid=32660] ppid=32658 vsize=33840 CPUtime=1796.72 cores=0,2,4,6
/proc/32660/stat : 32660 (bsolo) R 32658 32660 30921 0 -1 4202496 6914 0 0 0 179329 343 0 0 25 0 1 0 829867526 34652160 6036 33554432000 134512640 137138936 4293449648 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32660/statm: 8460 6036 192 642 0 7816 0
Current children cumulated CPU time (s) 1796.72
Current children cumulated vsize (KiB) 33840

[startup+1797.5 s]
/proc/loadavg: 2.00 2.03 2.00 3/576 32736
/proc/meminfo: memFree=23317688/32951124 swapFree=58940260/67111528
[pid=32660] ppid=32658 vsize=33840 CPUtime=1797.52 cores=0,2,4,6
/proc/32660/stat : 32660 (bsolo) R 32658 32660 30921 0 -1 4202496 6914 0 0 0 179409 343 0 0 25 0 1 0 829867526 34652160 6036 33554432000 134512640 137138936 4293449648 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32660/statm: 8460 6036 192 642 0 7816 0
Current children cumulated CPU time (s) 1797.52
Current children cumulated vsize (KiB) 33840

[startup+1797.9 s]
/proc/loadavg: 2.00 2.03 2.00 3/576 32736
/proc/meminfo: memFree=23317688/32951124 swapFree=58940260/67111528
[pid=32660] ppid=32658 vsize=33840 CPUtime=1797.92 cores=0,2,4,6
/proc/32660/stat : 32660 (bsolo) R 32658 32660 30921 0 -1 4202496 6914 0 0 0 179449 343 0 0 25 0 1 0 829867526 34652160 6036 33554432000 134512640 137138936 4293449648 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32660/statm: 8460 6036 192 642 0 7816 0
Current children cumulated CPU time (s) 1797.92
Current children cumulated vsize (KiB) 33840

Child status: 0
Real time (s): 1797.97
CPU time (s): 1798
CPU user time (s): 1794.56
CPU system time (s): 3.44048
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 34188

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.56
system time used= 3.44048
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6915
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= 5
involuntary context switches= 3720

runsolver used 11.0333 second user time and 23.2975 second system time

The end

Launcher Data 

Begin job on node139 at 2011-06-04 12:18:18
IDJOB=3462769
IDBENCH=48185
IDSOLVER=1955
FILE ID=node139/3462769-1307182698
RUNJOBID= node139-1307174603-31938
PBS_JOBID= 13508863
Free space on /tmp= 73468 MiB

SOLVER NAME= bsolo 3.2
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_200_10_2.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3462769-1307182698/watcher-3462769-1307182698 -o /tmp/evaluation-result-3462769-1307182698/solver-3462769-1307182698 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 HOME/instance-3462769-1307182698.opb

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

MD5SUM BENCH= 5255c8da63867fe6fe080ca048384827
RANDOM SEED=2029948202

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.852
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.70
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.852
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.852
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.852
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.852
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5321.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.852
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.852
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.852
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      22557328 kB
Buffers:        278772 kB
Cached:         622420 kB
SwapCached:       3628 kB
Active:        9575764 kB
Inactive:       513020 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      22557328 kB
SwapTotal:    67111528 kB
SwapFree:     58940260 kB
Dirty:            3908 kB
Writeback:           0 kB
AnonPages:     9185460 kB
Mapped:          33740 kB
Slab:           152608 kB
PageTables:      81048 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 171882416 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73464 MiB
End job on node139 at 2011-06-04 12:48:16