Trace number 455160

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, and are wall clock time (not CPU 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.0.16SAT (TO)-14 1800.04 1800.73

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_100_10_3.opb
MD5SUM4ec3492215da9d1ca4e43111c42870de
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-29
Best CPU time to get the best result obtained on this benchmark1800.02
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -29
Optimality of the best value was proved NO
Number of variables200
Total number of constraints301
Number of constraints which are clauses100
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints201
Minimum length of a constraint2
Maximum length of a constraint200
Number of terms in the objective function 100
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 100
Number of bits of the sum of numbers in the objective function 7
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)2488
Sum of products size (including duplicates)4976
Number of different products1244
Sum of products size2488

Quality of the solution as a function of time


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

Solver Data (download as text)

0.00/0.00	c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT
0.00/0.00	c Developed by Vasco Manquinho 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 Memory Limit set to 1800 MB
0.00/0.00	c Instance file /tmp/evaluation/455160-1178038355/instance-455160-1178038355.opb
0.00/0.00	c File size is 35915 bytes.
0.00/0.01	c Highest Coefficient sum: 200
0.00/0.01	c Parsing was ok!!
0.00/0.01	c Total parsing time: 0.015 s
0.00/0.02	c Var: 2688 Constr: 5278 2588/202/2488 Lit: 18016 Watch. Lit: 15330
0.00/0.02	c Obj. Vars: 100 (3.72024 % of total variables)
0.89/0.96	c Pre-processing Time: 0.958 s
0.89/0.96	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.89/0.96	c        0   2688     5278    18016    3    15330   27594      0      0 0.96
0.89/0.96	c Switching off LPR mode.
0.89/0.96	o -1	0.962
0.89/0.96	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.89/0.96	c        0   2688     5279    18116    3    15333   27661      1      0 0.96
0.89/0.96	o -2	0.966
0.89/0.97	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.89/0.97	c        0   2688     5280    18216    3    15337   27761      2      0 0.97
0.89/0.97	o -3	0.969
0.89/0.97	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.89/0.97	c        0   2688     5281    18316    3    15342   27894      3      0 0.97
0.89/0.97	o -4	0.973
0.89/0.98	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.89/0.98	c        0   2688     5282    18416    3    15348   28061      4      0 0.97
0.89/0.98	o -5	0.976
0.89/0.98	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.89/0.98	c        0   2688     5283    18516    3    15355   28261      5      0 0.98
0.89/0.98	o -6	0.979
0.89/0.98	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.89/0.98	c        0   2688     5284    18616    3    15363   28494      6      0 0.98
0.89/0.98	o -7	0.983
0.89/0.99	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.89/0.99	c        0   2688     5285    18716    3    15372   28761      7      0 0.98
0.89/0.99	o -8	0.986
0.99/1.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.99/1.09	c        1   2688     5287    18949    3    15384   28794      9      1 0.99
0.99/1.09	c      101   2688     5387    32315    5    15584   31674    109     99 1.01
0.99/1.09	c      351   2688     5637    62292   11    16084   34842    359    325 1.08
0.99/1.09	o -9	1.091
177.93/178.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
177.93/178.03	c      392   2688     5679    67931   11    16177   28828    401    358 1.09
177.93/178.03	c      492   2688     5779    80188   13    16377   31711    501    432 1.14
177.93/178.03	c      742   2688     6029   112767   18    16877   34883    751    598 1.24
177.93/178.03	c     1217   2688     6504   176151   27    17827   38372   1226    854 1.43
177.93/178.03	c     2030   2688     7317   285575   39    19453   42210   2039   1212 1.67
177.93/178.03	c     3350   2688     8637   471113   54    22093   46432   3359   1651 2.03
177.93/178.03	c     5431   2688    10718   708764   66    26255   51076   5440   2012 2.70
177.93/178.03	c     8654   2688    13941  1144895   82    32701   56184   8663   2094 4.13
177.93/178.03	c    13590   2688    18877  1774160   93    42573   61803  13599   1989 6.83
177.93/178.03	c    21096   2688    26383  2816378  106    57585   67984  21105   1574 13.40
177.93/178.03	c    32457   2688    37744  4319110  114    80307   74783  32466   1294 25.08
177.93/178.03	c    49601   2688    54888  6593819  120   114595   82262  49610    936 52.99
177.93/178.03	c    75420   2688    80707 10234341  126   166233   90489  75429    722 104.46
177.93/178.03	o -10	177.969
205.13/205.30	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
205.13/205.30	c    98304   2688    22755  2820694  123    50303   27961  17477    552 177.97
205.13/205.30	c    98404   2688    22855  2832776  123    50503   30758  17577    551 178.29
205.13/205.30	c    98654   2688    23105  2863770  123    51003   33834  17827    551 178.94
205.13/205.30	c    99129   2688    23580  2920963  123    51953   37218  18302    550 179.91
205.13/205.30	c    99942   2688    24393  3021312  123    53579   40940  19115    551 181.11
205.13/205.30	c   101262   2688    25713  3183063  123    56219   45035  20435    553 182.87
205.13/205.30	c   103343   2688    27794  3410317  122    60381   49539  22516    559 184.69
205.13/205.30	c   106566   2688    31017  3801246  122    66827   54493  25739    561 189.81
205.13/205.30	c   111502   2688    35953  4480882  124    76699   59943  30675    561 198.48
205.13/205.30	o -11	205.23
234.52/234.64	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
234.52/234.64	c   115059   2688    39511  4994074  126    83826   27994  34233    560 205.23
234.52/234.64	c   115159   2688    16569  1542830   93    37923   30794  11291    553 207.98
234.52/234.64	c   115409   2688    16819  1571019   93    38423   33874  11541    554 208.17
234.52/234.64	c   115884   2688    17294  1623951   93    39373   37262  12016    555 208.60
234.52/234.64	c   116697   2688    18107  1723293   95    40999   40989  12829    557 209.40
234.52/234.64	c   118017   2688    19427  1909862   98    43639   45088  14149    559 210.81
234.52/234.64	c   120098   2688    21508  2194004  102    47801   49597  16230    564 212.87
234.52/234.64	c   123321   2688    24731  2567557  103    54247   54557  19453    573 214.93
234.52/234.64	c   128257   2688    29667  3182903  107    64119   60013  24389    582 220.01
234.52/234.64	c   135763   2688    37173  4080019  109    79131   66015  31895    595 227.99
234.52/234.64	o -12	234.569
251.41/251.54	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
251.41/251.54	c   141404   2688    42815  4787306  111    90427   28028  37537    602 234.57
251.41/251.54	c   141504   2688    16685  1416088   84    38156   30831  11407    596 237.11
251.41/251.54	c   141754   2688    16935  1444404   85    38656   33915  11657    597 237.25
251.41/251.54	c   142229   2688    17410  1500807   86    39606   37307  12132    598 237.59
251.41/251.54	c   143042   2688    18223  1597828   87    41232   41038  12945    600 238.08
251.41/251.54	c   144362   2688    19543  1749978   89    43872   45142  14265    604 238.79
251.41/251.54	c   146443   2688    21624  1997631   92    48034   49657  16346    610 239.80
251.41/251.54	c   149666   2688    24847  2378448   95    54480   54623  19569    618 241.97
251.41/251.54	c   154602   2688    29783  2963518   99    64352   60086  24505    630 245.10
251.41/251.54	c   162108   2688    37289  3852695  103    79364   66095  32011    646 250.88
251.41/251.54	o -13	251.464
272.81/272.91	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
272.81/272.91	c   162713   2688    37895  3939101  103    80589   28061  32617    647 251.47
272.81/272.91	c   162813   2688    16561  1368554   82    37909   30868  11283    643 253.07
272.81/272.91	c   163063   2688    16811  1396164   83    38409   33955  11533    643 253.21
272.81/272.91	c   163538   2688    17286  1450963   83    39359   37351  12008    645 253.48
272.81/272.91	c   164351   2688    18099  1541695   85    40985   41087  12821    647 253.86
272.81/272.91	c   165671   2688    19419  1686920   86    43625   45196  14141    651 254.34
272.81/272.91	c   167752   2688    21500  1929691   89    47787   49716  16222    656 255.43
272.81/272.91	c   170975   2688    24723  2298423   92    54233   54688  19445    665 256.99
272.81/272.91	c   175911   2688    29659  2885840   97    64105   60157  24381    677 259.80
272.81/272.91	c   183417   2688    37165  3789558  101    79117   66173  31887    690 265.57
272.81/272.91	o -14	272.827
1799.94/1800.55	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1799.94/1800.55	c   191901   2688    45650  4746432  103    96101   28094  40372    703 272.83
1799.94/1800.55	c   192001   2688    16820  1358249   80    38428   30904  11542    694 276.44
1799.94/1800.55	c   192251   2688    17070  1392808   81    38928   33995  11792    695 276.61
1799.94/1800.55	c   192726   2688    17545  1458109   83    39878   37395  12267    696 276.85
1799.94/1800.55	c   193539   2688    18358  1542164   84    41504   41135  13080    698 277.13
1799.94/1800.55	c   194859   2688    19678  1678316   85    44144   45249  14400    701 277.61
1799.94/1800.55	c   196940   2688    21759  1913477   87    48306   49774  16481    706 278.62
1799.94/1800.55	c   200163   2688    24982  2287848   91    54752   54752  19704    713 280.46
1799.94/1800.55	c   205099   2688    29918  2854401   95    64624   60228  24640    724 283.17
1799.94/1800.55	c   212605   2688    37424  3640180   97    79636   66251  32146    738 287.98
1799.94/1800.55	c   223966   2688    48785  4840993   99   102358   72877  43507    756 295.94
1799.94/1800.55	c   241110   2688    65929  6774764  102   136646   80165  60651    772 312.21
1799.94/1800.55	c   266929   2688    21050  2088510   99    46888   88182  15772    606 439.85
1799.94/1800.55	c   305761   2688    59882  7155273  119   124552   97001  54604    629 486.01
1799.94/1800.55	c   364113   2688    31148  3469643  111    67084  106702  25870    487 747.20
1799.94/1800.55	c   451745   2688    21974  2318855  105    48736  117373  16696    451 1000.11
1799.94/1800.55	c   583297   2688    46102  5405953  117    96992  129111  40824    442 1319.57
1799.94/1800.55	c Resources Exceeded
1799.94/1800.55	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
1799.94/1800.55	v -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
1799.94/1800.55	v -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
1799.94/1800.55	v -x83 -x84 -x85 x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 x96 -x97 x98 -x99 -x100 -x147 -x186 -x169 -x141 x126 -x173 -x177
1799.94/1800.55	v -x102 -x165 -x159 -x123 -x133 -x170 x101 x125 -x194 -x140 -x103 x142 x176 -x196 -x116 -x114 x118 -x150 -x155 x160 -x180 -x197
1799.94/1800.55	v -x143 x139 -x174 -x148 -x138 x199 -x108 -x132 -x145 -x175 -x115 -x137 -x107 -x162 -x179 -x191 -x112 x119 -x128 -x188 -x193
1799.94/1800.55	v -x198 -x104 -x195 x149 -x189 -x182 -x153 -x183 -x106 -x109 -x131 -x151 -x105 -x200 -x190 -x187 -x110 -x172 -x136 -x168 -x178
1799.94/1800.55	v -x134 -x124 -x120 -x184 -x117 -x127 -x185 x154 -x167 -x192 -x111 -x129 -x181 -x146 -x157 -x130 -x122 -x161 -x152 -x135 -x144
1799.94/1800.55	v -x156 -x113 -x171 -x121 x163 -x158 -x164 x166
1799.94/1800.55	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1799.94/1800.55	c   79   685838    160   709855    29696  3037501  24418    381 1800.00
1799.94/1800.55	c Objective: -14
1799.94/1800.55	s SATISFIABLE
1799.94/1800.55	c Total time: 1800 s

Verifier Data (download as text)

OK	-14

Watcher Data (download as text)

runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node26/watcher-455160-1178038355 -o ROOT/results/node26/solver-455160-1178038355 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/455160-1178038355/instance-455160-1178038355.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): 3600 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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 1216
/proc/meminfo: memFree=1783112/2055920 swapFree=4170240/4192956
[pid=1216] ppid=1214 vsize=3960 CPUtime=0
/proc/1216/stat : 1216 (bsolo3.0.16) R 1214 1216 674 0 -1 4194304 378 0 0 0 0 0 0 0 18 0 1 0 251752338 4055040 347 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1216/statm: 990 348 291 324 0 50 0

[startup+0.048336 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 1216
/proc/meminfo: memFree=1783112/2055920 swapFree=4170240/4192956
[pid=1216] ppid=1214 vsize=5304 CPUtime=0.04
/proc/1216/stat : 1216 (bsolo3.0.16) R 1214 1216 674 0 -1 4194304 740 0 0 0 4 0 0 0 18 0 1 0 251752338 5431296 700 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1216/statm: 1326 700 306 324 0 395 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5304

[startup+0.101341 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 1216
/proc/meminfo: memFree=1783112/2055920 swapFree=4170240/4192956
[pid=1216] ppid=1214 vsize=5304 CPUtime=0.09
/proc/1216/stat : 1216 (bsolo3.0.16) R 1214 1216 674 0 -1 4194304 740 0 0 0 9 0 0 0 18 0 1 0 251752338 5431296 700 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1216/statm: 1326 700 306 324 0 395 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5304

[startup+0.301359 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 1216
/proc/meminfo: memFree=1783112/2055920 swapFree=4170240/4192956
[pid=1216] ppid=1214 vsize=5304 CPUtime=0.29
/proc/1216/stat : 1216 (bsolo3.0.16) R 1214 1216 674 0 -1 4194304 740 0 0 0 29 0 0 0 19 0 1 0 251752338 5431296 700 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1216/statm: 1326 700 306 324 0 395 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5304

[startup+0.701396 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 1216
/proc/meminfo: memFree=1783112/2055920 swapFree=4170240/4192956
[pid=1216] ppid=1214 vsize=5304 CPUtime=0.69
/proc/1216/stat : 1216 (bsolo3.0.16) R 1214 1216 674 0 -1 4194304 740 0 0 0 69 0 0 0 23 0 1 0 251752338 5431296 700 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1216/statm: 1326 700 306 324 0 395 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5304

[startup+1.50147 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 1217
/proc/meminfo: memFree=1781184/2055920 swapFree=4170240/4192956
[pid=1216] ppid=1214 vsize=7980 CPUtime=1.49
/proc/1216/stat : 1216 (bsolo3.0.16) R 1214 1216 674 0 -1 4194304 1452 0 0 0 147 2 0 0 25 0 1 0 251752338 8171520 1366 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1216/statm: 1995 1366 313 324 0 1064 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7980

[startup+3.10162 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 1217
/proc/meminfo: memFree=1774528/2055920 swapFree=4170240/4192956
[pid=1216] ppid=1214 vsize=16372 CPUtime=3.09
/proc/1216/stat : 1216 (bsolo3.0.16) R 1214 1216 674 0 -1 4194304 3569 0 0 0 305 4 0 0 25 0 1 0 251752338 16764928 3483 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1216/statm: 4093 3483 313 324 0 3162 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16372

[startup+6.30192 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 1217
/proc/meminfo: memFree=1762048/2055920 swapFree=4170240/4192956
[pid=1216] ppid=1214 vsize=28232 CPUtime=6.29
/proc/1216/stat : 1216 (bsolo3.0.16) R 1214 1216 674 0 -1 4194304 6520 0 0 0 622 7 0 0 25 0 1 0 251752338 28909568 6434 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1216/statm: 7058 6434 313 324 0 6127 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 28232

[startup+12.7015 s]
/proc/loadavg: 0.94 0.98 0.99 2/78 1217
/proc/meminfo: memFree=1746176/2055920 swapFree=4170240/4192956
[pid=1216] ppid=1214 vsize=41648 CPUtime=12.69
/proc/1216/stat : 1216 (bsolo3.0.16) R 1214 1216 674 0 -1 4194304 9890 0 0 0 1259 10 0 0 25 0 1 0 251752338 42647552 9804 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1216/statm: 10412 9804 313 324 0 9481 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 41648

[startup+25.5017 s]
/proc/loadavg: 0.95 0.98 0.99 2/78 1217
/proc/meminfo: memFree=1722624/2055920 swapFree=4170240/4192956
[pid=1216] ppid=1214 vsize=64344 CPUtime=25.48
/proc/1216/stat : 1216 (bsolo3.0.16) R 1214 1216 674 0 -1 4194304 15541 0 0 0 2532 16 0 0 25 0 1 0 251752338 65888256 15455 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551000 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1216/statm: 16086 15455 313 324 0 15155 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 64344

[startup+51.1011 s]
/proc/loadavg: 0.96 0.98 0.99 2/78 1217
/proc/meminfo: memFree=1694208/2055920 swapFree=4170240/4192956
[pid=1216] ppid=1214 vsize=92716 CPUtime=51.06
/proc/1216/stat : 1216 (bsolo3.0.16) R 1214 1216 674 0 -1 4194304 22642 0 0 0 5082 24 0 0 25 0 1 0 251752338 94941184 22556 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551268 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1216/statm: 23179 22556 313 324 0 22248 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 92716

[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.99 2/78 1217
/proc/meminfo: memFree=1645056/2055920 swapFree=4170240/4192956
[pid=1216] ppid=1214 vsize=141472 CPUtime=102.26
/proc/1216/stat : 1216 (bsolo3.0.16) R 1214 1216 674 0 -1 4194304 34831 0 0 0 10187 39 0 0 25 0 1 0 251752338 144867328 34745 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1216/statm: 35368 34745 313 324 0 34437 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 141472

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 1217
/proc/meminfo: memFree=1606592/2055920 swapFree=4170240/4192956
[pid=1216] ppid=1214 vsize=179492 CPUtime=162.23
/proc/1216/stat : 1216 (bsolo3.0.16) R 1214 1216 674 0 -1 4194304 44420 0 0 0 16169 54 0 0 25 0 1 0 251752338 183799808 44243 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1216/statm: 44873 44243 313 324 0 43942 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 179492

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 1217
/proc/meminfo: memFree=1606656/2055920 swapFree=4170240/4192956
[pid=1216] ppid=1214 vsize=179492 CPUtime=222.22
/proc/1216/stat : 1216 (bsolo3.0.16) R 1214 1216 674 0 -1 4194304 44420 0 0 0 22160 62 0 0 25 0 1 0 251752338 183799808 44243 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1216/statm: 44873 44243 313 324 0 43942 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 179492

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 1217
/proc/meminfo: memFree=1606720/2055920 swapFree=4170240/4192956
[pid=1216] ppid=1214 vsize=179492 CPUtime=282.2
/proc/1216/stat : 1216 (bsolo3.0.16) R 1214 1216 674 0 -1 4194304 44420 0 0 0 28151 69 0 0 25 0 1 0 251752338 183799808 44243 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1216/statm: 44873 44243 313 324 0 43942 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 179492

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 1217
/proc/meminfo: memFree=1606784/2055920 swapFree=4170240/4192956
[pid=1216] ppid=1214 vsize=179492 CPUtime=342.19
/proc/1216/stat : 1216 (bsolo3.0.16) R 1214 1216 674 0 -1 4194304 44420 0 0 0 34143 76 0 0 25 0 1 0 251752338 183799808 44243 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1216/statm: 44873 44243 313 324 0 43942 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 179492

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 1217
/proc/meminfo: memFree=1606848/2055920 swapFree=4170240/4192956
[pid=1216] ppid=1214 vsize=179492 CPUtime=402.18
/proc/1216/stat : 1216 (bsolo3.0.16) R 1214 1216 674 0 -1 4194304 44420 0 0 0 40141 77 0 0 25 0 1 0 251752338 183799808 44243 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1216/statm: 44873 44243 313 324 0 43942 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 179492

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 1217
/proc/meminfo: memFree=1606912/2055920 swapFree=4170240/4192956
[pid=1216] ppid=1214 vsize=179480 CPUtime=462.16
/proc/1216/stat : 1216 (bsolo3.0.16) R 1214 1216 674 0 -1 4194304 44420 0 0 0 46135 81 0 0 25 0 1 0 251752338 183787520 44243 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 13024916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1216/statm: 44870 44243 313 324 0 43939 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 179480

[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/84 1325
/proc/meminfo: memFree=1605584/2055920 swapFree=4170240/4192956
[pid=1216] ppid=1214 vsize=179480 CPUtime=522.1
/proc/1216/stat : 1216 (bsolo3.0.16) R 1214 1216 674 0 -1 4194304 44420 0 0 0 52123 87 0 0 25 0 1 0 251752338 183787520 44243 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1216/statm: 44870 44243 313 324 0 43939 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 179480

[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 1415
/proc/meminfo: memFree=1606592/2055920 swapFree=4170240/4192956
[pid=1216] ppid=1214 vsize=179492 CPUtime=582.04
/proc/1216/stat : 1216 (bsolo3.0.16) R 1214 1216 674 0 -1 4194304 44423 0 0 0 58110 94 0 0 25 0 1 0 251752338 183799808 44246 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551024 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1216/statm: 44873 44246 313 324 0 43942 0
Current children cumulated CPU time (s) 582.04
Current children cumulated vsize (KiB) 179492

[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 1415
/proc/meminfo: memFree=1606272/2055920 swapFree=4170240/4192956
[pid=1216] ppid=1214 vsize=179764 CPUtime=642.03
/proc/1216/stat : 1216 (bsolo3.0.16) R 1214 1216 674 0 -1 4194304 44594 0 0 0 64108 95 0 0 25 0 1 0 251752338 184078336 44319 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1216/statm: 44941 44319 313 324 0 44010 0
Current children cumulated CPU time (s) 642.03
Current children cumulated vsize (KiB) 179764


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

[startup+822.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 1415
/proc/meminfo: memFree=1606464/2055920 swapFree=4170240/4192956
[pid=1216] ppid=1214 vsize=179764 CPUtime=821.98
/proc/1216/stat : 1216 (bsolo3.0.16) R 1214 1216 674 0 -1 4194304 44594 0 0 0 82092 106 0 0 25 0 1 0 251752338 184078336 44319 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1216/statm: 44941 44319 313 324 0 44010 0
Current children cumulated CPU time (s) 821.98
Current children cumulated vsize (KiB) 179764

[startup+882.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 1415
/proc/meminfo: memFree=1606464/2055920 swapFree=4170240/4192956
[pid=1216] ppid=1214 vsize=179764 CPUtime=881.96
/proc/1216/stat : 1216 (bsolo3.0.16) R 1214 1216 674 0 -1 4194304 44594 0 0 0 88085 111 0 0 25 0 1 0 251752338 184078336 44319 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1216/statm: 44941 44319 313 324 0 44010 0
Current children cumulated CPU time (s) 881.96
Current children cumulated vsize (KiB) 179764

[startup+942.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 1415
/proc/meminfo: memFree=1581440/2055920 swapFree=4170240/4192956
[pid=1216] ppid=1214 vsize=204624 CPUtime=941.95
/proc/1216/stat : 1216 (bsolo3.0.16) R 1214 1216 674 0 -1 4194304 50913 0 0 0 94071 124 0 0 25 0 1 0 251752338 209534976 50531 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1216/statm: 51156 50531 313 324 0 50225 0
Current children cumulated CPU time (s) 941.95
Current children cumulated vsize (KiB) 204624

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 1415
/proc/meminfo: memFree=1581440/2055920 swapFree=4170240/4192956
[pid=1216] ppid=1214 vsize=204624 CPUtime=1001.93
/proc/1216/stat : 1216 (bsolo3.0.16) R 1214 1216 674 0 -1 4194304 50913 0 0 0 100068 125 0 0 25 0 1 0 251752338 209534976 50531 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1216/statm: 51156 50531 313 324 0 50225 0
Current children cumulated CPU time (s) 1001.93
Current children cumulated vsize (KiB) 204624

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 1415
/proc/meminfo: memFree=1581504/2055920 swapFree=4170240/4192956
[pid=1216] ppid=1214 vsize=204624 CPUtime=1061.92
/proc/1216/stat : 1216 (bsolo3.0.16) R 1214 1216 674 0 -1 4194304 50913 0 0 0 106059 133 0 0 25 0 1 0 251752338 209534976 50531 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1216/statm: 51156 50531 313 324 0 50225 0
Current children cumulated CPU time (s) 1061.92
Current children cumulated vsize (KiB) 204624

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 1415
/proc/meminfo: memFree=1581504/2055920 swapFree=4170240/4192956
[pid=1216] ppid=1214 vsize=204624 CPUtime=1121.91
/proc/1216/stat : 1216 (bsolo3.0.16) R 1214 1216 674 0 -1 4194304 50913 0 0 0 112052 139 0 0 25 0 1 0 251752338 209534976 50531 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1216/statm: 51156 50531 313 324 0 50225 0
Current children cumulated CPU time (s) 1121.91
Current children cumulated vsize (KiB) 204624

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 1415
/proc/meminfo: memFree=1581568/2055920 swapFree=4170240/4192956
[pid=1216] ppid=1214 vsize=204636 CPUtime=1181.89
/proc/1216/stat : 1216 (bsolo3.0.16) R 1214 1216 674 0 -1 4194304 50916 0 0 0 118045 144 0 0 25 0 1 0 251752338 209547264 50534 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551290 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1216/statm: 51159 50534 313 324 0 50228 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 204636

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 1415
/proc/meminfo: memFree=1570048/2055920 swapFree=4170240/4192956
[pid=1216] ppid=1214 vsize=215864 CPUtime=1241.88
/proc/1216/stat : 1216 (bsolo3.0.16) R 1214 1216 674 0 -1 4194304 53848 0 0 0 124039 149 0 0 25 0 1 0 251752338 221044736 53348 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1216/statm: 53966 53348 313 324 0 53035 0
Current children cumulated CPU time (s) 1241.88
Current children cumulated vsize (KiB) 215864

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 1415
/proc/meminfo: memFree=1570112/2055920 swapFree=4170240/4192956
[pid=1216] ppid=1214 vsize=215864 CPUtime=1301.86
/proc/1216/stat : 1216 (bsolo3.0.16) R 1214 1216 674 0 -1 4194304 53848 0 0 0 130035 151 0 0 25 0 1 0 251752338 221044736 53348 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1216/statm: 53966 53348 313 324 0 53035 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 215864

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 1415
/proc/meminfo: memFree=1570176/2055920 swapFree=4170240/4192956
[pid=1216] ppid=1214 vsize=215864 CPUtime=1361.85
/proc/1216/stat : 1216 (bsolo3.0.16) R 1214 1216 674 0 -1 4194304 53848 0 0 0 136026 159 0 0 25 0 1 0 251752338 221044736 53348 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1216/statm: 53966 53348 313 324 0 53035 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 215864

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 1415
/proc/meminfo: memFree=1570240/2055920 swapFree=4170240/4192956
[pid=1216] ppid=1214 vsize=215864 CPUtime=1421.83
/proc/1216/stat : 1216 (bsolo3.0.16) R 1214 1216 674 0 -1 4194304 53848 0 0 0 142017 166 0 0 25 0 1 0 251752338 221044736 53348 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1216/statm: 53966 53348 313 324 0 53035 0
Current children cumulated CPU time (s) 1421.83
Current children cumulated vsize (KiB) 215864

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 1415
/proc/meminfo: memFree=1568768/2055920 swapFree=4170240/4192956
[pid=1216] ppid=1214 vsize=217660 CPUtime=1481.82
/proc/1216/stat : 1216 (bsolo3.0.16) R 1214 1216 674 0 -1 4194304 54303 0 0 0 148010 172 0 0 25 0 1 0 251752338 222883840 53803 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1216/statm: 54415 53803 313 324 0 53484 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 217660

[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 1415
/proc/meminfo: memFree=1549568/2055920 swapFree=4170240/4192956
[pid=1216] ppid=1214 vsize=236592 CPUtime=1541.8
/proc/1216/stat : 1216 (bsolo3.0.16) R 1214 1216 674 0 -1 4194304 59026 0 0 0 154001 179 0 0 25 0 1 0 251752338 242270208 58526 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551091 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1216/statm: 59148 58526 313 324 0 58217 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 236592

[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 1415
/proc/meminfo: memFree=1535872/2055920 swapFree=4170240/4192956
[pid=1216] ppid=1214 vsize=250020 CPUtime=1601.78
/proc/1216/stat : 1216 (bsolo3.0.16) R 1214 1216 674 0 -1 4194304 62514 0 0 0 159993 185 0 0 25 0 1 0 251752338 256020480 61885 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1216/statm: 62505 61885 313 324 0 61574 0
Current children cumulated CPU time (s) 1601.78
Current children cumulated vsize (KiB) 250020

[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 1415
/proc/meminfo: memFree=1535936/2055920 swapFree=4170240/4192956
[pid=1216] ppid=1214 vsize=250020 CPUtime=1661.78
/proc/1216/stat : 1216 (bsolo3.0.16) R 1214 1216 674 0 -1 4194304 62514 0 0 0 165992 186 0 0 25 0 1 0 251752338 256020480 61885 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1216/statm: 62505 61885 313 324 0 61574 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 250020

[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 1415
/proc/meminfo: memFree=1535936/2055920 swapFree=4170240/4192956
[pid=1216] ppid=1214 vsize=250020 CPUtime=1721.76
/proc/1216/stat : 1216 (bsolo3.0.16) R 1214 1216 674 0 -1 4194304 62514 0 0 0 171990 186 0 0 25 0 1 0 251752338 256020480 61885 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1216/statm: 62505 61885 313 324 0 61574 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 250020

[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 1415
/proc/meminfo: memFree=1536000/2055920 swapFree=4170240/4192956
[pid=1216] ppid=1214 vsize=250020 CPUtime=1781.75
/proc/1216/stat : 1216 (bsolo3.0.16) R 1214 1216 674 0 -1 4194304 62514 0 0 0 177988 187 0 0 25 0 1 0 251752338 256020480 61885 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1216/statm: 62505 61885 313 324 0 61574 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 250020



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 0.99 0.98 0.99 1/77 1415
/proc/meminfo: memFree=1782664/2055920 swapFree=4170240/4192956
[pid=1216] ppid=1214 vsize=0 CPUtime=1800.03
/proc/1216/stat : 1216 (bsolo3.0.16) D 1214 1216 674 0 -1 4194308 62515 0 0 0 179811 192 0 0 24 0 1 0 251752338 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 18446744072100051646 0 0 17 1 0 0
/proc/1216/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 0

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

Child status: 0
Real time (s): 1800.73
CPU time (s): 1800.04
CPU user time (s): 1798.12
CPU system time (s): 1.92871
CPU usage (%): 99.9619
Max. virtual memory (cumulated for all children) (KiB): 250536

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.12
system time used= 1.92871
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 62515
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= 12
involuntary context switches= 29611

runsolver used 1.3088 second user time and 3.88741 second system time

The end

Launcher Data (download as text)

Begin job on node26 on Tue May  1 16:52:35 UTC 2007

IDJOB= 455160
IDBENCH= 48245
IDSOLVER= 163
FILE ID= node26/455160-1178038355

PBS_JOBID= 4728408

Free space on /tmp= 66558 MiB

SOLVER NAME= bsolo 3.0.16
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_100_10_3.opb
COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/455160-1178038355/instance-455160-1178038355.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node26/watcher-455160-1178038355 -o ROOT/results/node26/solver-455160-1178038355 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/455160-1178038355/instance-455160-1178038355.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  4ec3492215da9d1ca4e43111c42870de

RANDOM SEED= 273156849

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

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

/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
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.213
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:       1783584 kB
Buffers:         55584 kB
Cached:         119160 kB
SwapCached:       3416 kB
Active:         118636 kB
Inactive:        87088 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1783584 kB
SwapTotal:     4192956 kB
SwapFree:      4170240 kB
Dirty:            6712 kB
Writeback:           0 kB
Mapped:          37100 kB
Slab:            52208 kB
Committed_AS:  2472176 kB
PageTables:       1728 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66558 MiB

End job on node26 on Tue May  1 17:22:38 UTC 2007