Trace number 453321

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.17SAT (TO)27 1800.06 1800.73

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_200_10_5.opb
MD5SUM08d7a5060b972f308367859ff82f87f6
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark25
Best CPU time to get the best result obtained on this benchmark1800.11
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 25
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 constraint11
Maximum length of a constraint23
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)2528
Sum of products size (including duplicates)5056
Number of different products2528
Sum of products size5056

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.01	c bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT
0.00/0.01	c Developed by Vasco Manquinho IST/UTL - INESC-ID
0.00/0.01	c type "bsolo -h" for help
0.00/0.01	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.01	c Memory Limit set to 1800 MB
0.00/0.01	c Instance file /tmp/evaluation/453321-1178130173/instance-453321-1178130173.opb
0.00/0.01	c File size is 36937 bytes.
0.01/0.02	c Highest Coefficient sum: 200
0.01/0.02	c Parsing was ok!!
0.01/0.02	c Total parsing time: 0.015 s
0.01/0.02	c Var: 2728 Constr: 5256 2728/0/2528 Lit: 17896 Watch. Lit: 13040
0.01/0.02	c Obj. Vars: 200 (7.33138 % of total variables)
0.01/0.10	c Pre-processing Time: 0.09 s
0.01/0.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.01/0.10	c        0   2728     5256    17896    3    13040   16077      0      0 0.09
0.01/0.10	c Switching off LPR mode.
0.08/0.10	o 199	0.093
0.08/0.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.08/0.10	c        0   2728     5257    18096    3    13043   16210      1      0 0.09
0.08/0.10	o 198	0.095
0.08/0.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.08/0.10	c        0   2728     5258    18296    3    13047   16410      2      0 0.10
0.08/0.10	o 197	0.098
0.08/0.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.08/0.11	c        0   2728     5259    18496    3    13052   16677      3      0 0.10
0.08/0.11	o 196	0.1
0.08/0.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.08/0.11	c        0   2728     5260    18696    3    13058   17010      4      0 0.10
0.08/0.11	o 195	0.103
0.08/0.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.08/0.11	c        0   2728     5261    18896    3    13065   17410      5      0 0.10
0.08/0.11	o 194	0.105
0.08/0.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.08/0.11	c        0   2728     5262    19096    3    13073   17877      6      0 0.11
0.08/0.11	o 193	0.108
0.08/0.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.08/0.12	c        0   2728     5263    19296    3    13082   18410      7      0 0.11
0.08/0.12	o 192	0.11
0.08/0.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.08/0.12	c        0   2728     5264    19496    3    13092   19010      8      0 0.11
0.08/0.12	o 191	0.112
0.08/0.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.08/0.12	c        0   2728     5265    19696    3    13103   19677      9      0 0.11
0.08/0.12	o 190	0.115
0.08/0.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.08/0.12	c        0   2728     5266    19896    3    13115   20410     10      0 0.12
0.08/0.12	o 189	0.117
0.08/0.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.08/0.12	c        0   2728     5267    20096    3    13128   21210     11      0 0.12
0.08/0.12	o 188	0.12
0.08/0.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.08/0.13	c        0   2728     5268    20296    3    13142   22077     12      0 0.12
0.08/0.13	o 187	0.122
0.08/0.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.08/0.13	c        0   2728     5269    20496    3    13157   23010     13      0 0.12
0.08/0.13	o 185	0.124
0.08/0.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.08/0.13	c        1   2728     5271    20883    3    13176   23077     15      8 0.12
0.08/0.13	o 30	0.127
9.98/10.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
9.98/10.02	c        1   2728     5272    21083    3    13348   23077     16      7 0.13
9.98/10.02	c      101   2728     5372    27981    5    13548   25385    116    687 0.15
9.98/10.02	c      352   2728     5623    44095    7    14050   27924    367   1923 0.18
9.98/10.02	c      828   2728     6099    72985   11    15002   30717    843   3325 0.25
9.98/10.02	c     1642   2728     6913   123610   17    16630   33789   1657   4210 0.39
9.98/10.02	c     2962   2728     8233   201329   24    19270   37168   2977   4746 0.62
9.98/10.02	c     5044   2728    10315   324392   31    23434   40885   5059   4969 1.01
9.98/10.02	c     8267   2728    13538   549142   40    29880   44974   8282   4374 1.89
9.98/10.02	c    13204   2728    18475   912222   49    39754   49472  13219   3456 3.82
9.98/10.02	c    20710   2728    25981  1576459   60    54766   54420  20725   2626 7.89
9.98/10.02	o 29	10.008
76.86/76.95	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
76.86/76.95	c    24427   2728    29699  1813293   61    62373   23077  24443   2440 10.01
76.86/76.95	c    24527   2728    16297   907048   55    35293   25385  11041   2399 10.22
76.86/76.95	c    24777   2728    16547   922704   55    35793   27924  11291   2405 10.30
76.86/76.95	c    25253   2728    17023   956171   56    36745   30717  11767   2420 10.43
76.86/76.95	c    26066   2728    17836  1012522   56    38371   33789  12580   2445 10.66
76.86/76.95	c    27386   2728    19156  1093241   57    41011   37168  13900   2474 11.07
76.86/76.95	c    29467   2728    21237  1217913   57    45173   40885  15981   2486 11.85
76.86/76.95	c    32691   2728    24461  1397601   57    51621   44974  19205   2538 12.88
76.86/76.95	c    37628   2728    29398  1781615   60    61495   49472  24142   2441 15.41
76.86/76.95	c    45135   2728    36905  2376620   64    76509   54420  31649   2236 20.18
76.86/76.95	c    56497   2728    48267  3105140   64    99233   59863  43011   1828 30.90
76.86/76.95	c    73641   2728    17692  1069269   60    38083   65850  12436   1370 53.72
76.86/76.95	c    99461   2728    43512  2824165   64    89723   72436  38256   1294 76.82
76.86/76.95	o 28	76.918
446.02/446.26	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
446.02/446.26	c    99611   2728    43663  2832929   64    90197   17077  38407   1294 76.92
446.02/446.26	c    99712   2728    13897   556059   40    30494   18785   8641   1229 81.13
446.02/446.26	c    99962   2728    14147   570939   40    30994   20664   8891   1231 81.18
446.02/446.26	c   100437   2728    14622   596630   40    31944   22731   9366   1235 81.30
446.02/446.26	c   101250   2728    15435   648678   42    33570   25005  10179   1241 81.56
446.02/446.26	c   102570   2728    16755   731784   43    36210   27506  11499   1252 81.89
446.02/446.26	c   104651   2728    18836   877187   46    40372   30257  13580   1265 82.66
446.02/446.26	c   107874   2728    22059  1086283   49    46818   33283  16803   1286 83.83
446.02/446.26	c   112811   2728    26996  1442470   53    56692   36612  21740   1313 85.92
446.02/446.26	c   120318   2728    34503  2043664   59    71706   40274  29247   1317 91.34
446.02/446.26	c   131680   2728    16648   881184   52    35996   44302  11392   1310 100.49
446.02/446.26	c   148824   2728    33792  2032628   60    70284   48733  28536   1338 111.17
446.02/446.26	c   174645   2728    22354  1495310   66    47408   53607  17098   1216 143.57
446.02/446.26	c   213478   2728    18465   985392   53    39630   58968  13209   1056 202.04
446.02/446.26	c   271830   2728    27841  1599048   57    58382   64865  22585    964 281.97
446.02/446.26	c   359463   2728    61519  4843018   78   125738   71352  56263    844 425.81
446.02/446.26	o 27	446.087
1800.03/1800.70	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.03/1800.70	c   375701   2728    17346   827871   47    37393   17077  12090    821 457.13
1800.03/1800.70	c   375803   2728    17448   833627   47    37597   18785  12192    821 457.26
1800.03/1800.70	c   376053   2728    17698   847722   47    38097   20664  12442    822 457.33
1800.03/1800.70	c   376528   2728    18173   880428   48    39047   22731  12917    823 457.50
1800.03/1800.70	c   377341   2728    18986   928417   48    40673   25005  13730    824 457.79
1800.03/1800.70	c   378661   2728    20306  1030017   50    43313   27506  15050    826 458.22
1800.03/1800.70	c   380743   2728    22388  1158340   51    47477   30257  17132    829 459.16
1800.03/1800.70	c   383967   2728    25612  1357312   52    53925   33283  20356    833 460.64
1800.03/1800.70	c   388903   2728    30548  1704228   55    63797   36612  25292    839 463.52
1800.03/1800.70	c   396410   2728    38055  2251524   59    78811   40274  32799    846 468.16
1800.03/1800.70	c   407771   2728    18705  1112998   59    40111   44302  13449    850 479.17
1800.03/1800.70	c   424915   2728    35849  2426688   67    74399   48733  30593    859 494.13
1800.03/1800.71	c   450735   2728    23227  1614897   69    49155   53607  17971    844 533.71
1800.03/1800.71	c   489567   2728    18602   938723   50    39905   58968  13346    842 580.95
1800.03/1800.71	c   547919   2728    29038  1864077   64    60777   64865  23782    796 688.14
1800.03/1800.71	c   635552   2728    61897  4191896   67   126495   71352  56641    779 815.08
1800.03/1800.71	c   767105   2728    72038  5552694   77   146777   78488  66782    683 1122.48
1800.03/1800.71	c   964537   2728    66769  4351886   65   136239   86337  61513    594 1622.47
1800.03/1800.71	c Caught signal: 15
1800.03/1800.71	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
1800.03/1800.71	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
1800.03/1800.71	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
1800.03/1800.71	v -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
1800.03/1800.71	v x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 x115 x116 -x117 -x118 -x119 -x120 -x121 x122 -x123 -x124 -x125 x126 -x127 -x128
1800.03/1800.71	v -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149
1800.03/1800.71	v -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 x168 x169 -x170
1800.03/1800.71	v -x171 -x172 -x173 -x174 -x175 x176 -x177 -x178 -x179 -x180 -x181 x182 -x183 -x184 -x185 -x186 -x187 x188 -x189 -x190 -x191
1800.03/1800.71	v -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200
1800.03/1800.71	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.03/1800.71	c   71  1059528 364965  1762218    85571  5069055  80315    588 1800.04
1800.03/1800.71	c Objective: 27
1800.03/1800.71	s SATISFIABLE
1800.03/1800.71	c Total time: 1800.04 s

Verifier Data (download as text)

OK	27

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node10/watcher-453321-1178130173 -o ROOT/results/node10/solver-453321-1178130173 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/453321-1178130173/instance-453321-1178130173.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.95 1.07 1.00 3/77 14163
/proc/meminfo: memFree=1782848/2055920 swapFree=4145576/4192956
[pid=14163] ppid=14161 vsize=3780 CPUtime=0
/proc/14163/stat : 14163 (bsolo3.0.17) D 14161 14163 13419 0 -1 4194304 183 0 2 0 0 0 0 0 18 0 1 0 289054790 3870720 155 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 4160395582 0 0 4096 0 18446744071563479169 0 0 17 1 0 0
/proc/14163/statm: 945 155 129 324 0 15 0

[startup+0.0246611 s]
/proc/loadavg: 0.95 1.07 1.00 3/77 14163
/proc/meminfo: memFree=1782848/2055920 swapFree=4145576/4192956
[pid=14163] ppid=14161 vsize=4648 CPUtime=0.01
/proc/14163/stat : 14163 (bsolo3.0.17) R 14161 14163 13419 0 -1 4194304 556 0 3 0 1 0 0 0 18 0 1 0 289054790 4759552 529 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 9340539 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14163/statm: 1162 529 297 324 0 222 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 4648

[startup+0.101674 s]
/proc/loadavg: 0.95 1.07 1.00 3/77 14163
/proc/meminfo: memFree=1782848/2055920 swapFree=4145576/4192956
[pid=14163] ppid=14161 vsize=5592 CPUtime=0.08
/proc/14163/stat : 14163 (bsolo3.0.17) R 14161 14163 13419 0 -1 4194304 839 0 3 0 8 0 0 0 18 0 1 0 289054790 5726208 752 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14163/statm: 1398 752 306 324 0 468 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 5592

[startup+0.301717 s]
/proc/loadavg: 0.95 1.07 1.00 3/77 14163
/proc/meminfo: memFree=1782848/2055920 swapFree=4145576/4192956
[pid=14163] ppid=14161 vsize=6376 CPUtime=0.29
/proc/14163/stat : 14163 (bsolo3.0.17) R 14161 14163 13419 0 -1 4194304 1062 0 3 0 28 1 0 0 19 0 1 0 289054790 6529024 975 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134551712 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14163/statm: 1594 975 310 324 0 664 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6376

[startup+0.701804 s]
/proc/loadavg: 0.95 1.07 1.00 3/77 14163
/proc/meminfo: memFree=1782848/2055920 swapFree=4145576/4192956
[pid=14163] ppid=14161 vsize=8464 CPUtime=0.68
/proc/14163/stat : 14163 (bsolo3.0.17) R 14161 14163 13419 0 -1 4194304 1568 0 3 0 67 1 0 0 22 0 1 0 289054790 8667136 1481 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14163/statm: 2116 1481 310 324 0 1186 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 8464

[startup+1.50198 s]
/proc/loadavg: 0.95 1.07 1.00 2/78 14164
/proc/meminfo: memFree=1775864/2055920 swapFree=4145576/4192956
[pid=14163] ppid=14161 vsize=11852 CPUtime=1.49
/proc/14163/stat : 14163 (bsolo3.0.17) R 14161 14163 13419 0 -1 4194304 2434 0 3 0 147 2 0 0 25 0 1 0 289054790 12136448 2347 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 9340539 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14163/statm: 2963 2347 310 324 0 2033 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 11852

[startup+3.10132 s]
/proc/loadavg: 0.95 1.07 1.00 2/78 14164
/proc/meminfo: memFree=1771640/2055920 swapFree=4145576/4192956
[pid=14163] ppid=14161 vsize=16796 CPUtime=3.08
/proc/14163/stat : 14163 (bsolo3.0.17) R 14161 14163 13419 0 -1 4194304 3663 0 3 0 305 3 0 0 25 0 1 0 289054790 17199104 3576 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 9340539 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14163/statm: 4199 3576 310 324 0 3269 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 16796

[startup+6.30201 s]
/proc/loadavg: 0.96 1.07 1.00 2/78 14164
/proc/meminfo: memFree=1762680/2055920 swapFree=4145576/4192956
[pid=14163] ppid=14161 vsize=24740 CPUtime=6.28
/proc/14163/stat : 14163 (bsolo3.0.17) R 14161 14163 13419 0 -1 4194304 5657 0 3 0 624 4 0 0 25 0 1 0 289054790 25333760 5570 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14163/statm: 6185 5570 310 324 0 5255 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 24740

[startup+12.7014 s]
/proc/loadavg: 0.96 1.06 1.00 2/78 14164
/proc/meminfo: memFree=1754488/2055920 swapFree=4145576/4192956
[pid=14163] ppid=14161 vsize=31136 CPUtime=12.68
/proc/14163/stat : 14163 (bsolo3.0.17) R 14161 14163 13419 0 -1 4194304 7258 0 3 0 1262 6 0 0 25 0 1 0 289054790 31883264 7171 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 9339030 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14163/statm: 7784 7171 310 324 0 6854 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 31136

[startup+25.5011 s]
/proc/loadavg: 0.97 1.06 1.00 2/78 14164
/proc/meminfo: memFree=1740984/2055920 swapFree=4145576/4192956
[pid=14163] ppid=14161 vsize=45164 CPUtime=25.48
/proc/14163/stat : 14163 (bsolo3.0.17) R 14161 14163 13419 0 -1 4194304 10752 0 3 0 2539 9 0 0 25 0 1 0 289054790 46247936 10665 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14163/statm: 11291 10665 310 324 0 10361 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 45164

[startup+51.1016 s]
/proc/loadavg: 0.98 1.05 1.00 2/78 14164
/proc/meminfo: memFree=1717752/2055920 swapFree=4145576/4192956
[pid=14163] ppid=14161 vsize=68436 CPUtime=51.06
/proc/14163/stat : 14163 (bsolo3.0.17) R 14161 14163 13419 0 -1 4194304 16583 0 3 0 5091 15 0 0 25 0 1 0 289054790 70078464 16496 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14163/statm: 17109 16496 310 324 0 16179 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 68436

[startup+102.306 s]
/proc/loadavg: 0.99 1.04 1.00 2/78 14164
/proc/meminfo: memFree=1716536/2055920 swapFree=4145576/4192956
[pid=14163] ppid=14161 vsize=69088 CPUtime=102.25
/proc/14163/stat : 14163 (bsolo3.0.17) R 14161 14163 13419 0 -1 4194304 16789 0 3 0 10209 16 0 0 25 0 1 0 289054790 70746112 16643 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14163/statm: 17272 16643 310 324 0 16342 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 69088

[startup+162.302 s]
/proc/loadavg: 0.99 1.03 1.00 2/78 14164
/proc/meminfo: memFree=1716536/2055920 swapFree=4145576/4192956
[pid=14163] ppid=14161 vsize=69088 CPUtime=162.22
/proc/14163/stat : 14163 (bsolo3.0.17) R 14161 14163 13419 0 -1 4194304 16789 0 3 0 16206 16 0 0 25 0 1 0 289054790 70746112 16643 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14163/statm: 17272 16643 310 324 0 16342 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 69088

[startup+222.302 s]
/proc/loadavg: 0.99 1.02 1.00 2/78 14164
/proc/meminfo: memFree=1716536/2055920 swapFree=4145576/4192956
[pid=14163] ppid=14161 vsize=69088 CPUtime=222.2
/proc/14163/stat : 14163 (bsolo3.0.17) R 14161 14163 13419 0 -1 4194304 16789 0 3 0 22204 16 0 0 25 0 1 0 289054790 70746112 16643 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14163/statm: 17272 16643 310 324 0 16342 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 69088

[startup+282.301 s]
/proc/loadavg: 0.99 1.02 1.00 2/78 14164
/proc/meminfo: memFree=1711096/2055920 swapFree=4145576/4192956
[pid=14163] ppid=14161 vsize=74516 CPUtime=282.18
/proc/14163/stat : 14163 (bsolo3.0.17) R 14161 14163 13419 0 -1 4194304 18205 0 3 0 28200 18 0 0 25 0 1 0 289054790 76304384 17999 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 9338612 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14163/statm: 18629 17999 310 324 0 17699 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 74516

[startup+342.301 s]
/proc/loadavg: 0.99 1.01 1.00 2/78 14164
/proc/meminfo: memFree=1710648/2055920 swapFree=4145576/4192956
[pid=14163] ppid=14161 vsize=75424 CPUtime=342.16
/proc/14163/stat : 14163 (bsolo3.0.17) R 14161 14163 13419 0 -1 4194304 18419 0 3 0 34197 19 0 0 25 0 1 0 289054790 77234176 18213 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14163/statm: 18856 18213 310 324 0 17926 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 75424

[startup+402.301 s]
/proc/loadavg: 0.99 1.01 1.00 2/78 14164
/proc/meminfo: memFree=1704632/2055920 swapFree=4145576/4192956
[pid=14163] ppid=14161 vsize=81016 CPUtime=402.14
/proc/14163/stat : 14163 (bsolo3.0.17) R 14161 14163 13419 0 -1 4194304 19885 0 3 0 40194 20 0 0 25 0 1 0 289054790 82960384 19613 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14163/statm: 20254 19613 310 324 0 19324 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 81016

[startup+462.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 14164
/proc/meminfo: memFree=1696440/2055920 swapFree=4145576/4192956
[pid=14163] ppid=14161 vsize=89076 CPUtime=462.11
/proc/14163/stat : 14163 (bsolo3.0.17) R 14161 14163 13419 0 -1 4194304 21996 0 3 0 46188 23 0 0 25 0 1 0 289054790 91213824 21653 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14163/statm: 22269 21653 310 324 0 21339 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 89076

[startup+522.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 14164
/proc/meminfo: memFree=1696440/2055920 swapFree=4145576/4192956
[pid=14163] ppid=14161 vsize=89076 CPUtime=522.09
/proc/14163/stat : 14163 (bsolo3.0.17) R 14161 14163 13419 0 -1 4194304 21996 0 3 0 52185 24 0 0 25 0 1 0 289054790 91213824 21653 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14163/statm: 22269 21653 310 324 0 21339 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 89076

[startup+582.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 14164
/proc/meminfo: memFree=1696376/2055920 swapFree=4145576/4192956
[pid=14163] ppid=14161 vsize=89076 CPUtime=582.07
/proc/14163/stat : 14163 (bsolo3.0.17) R 14161 14163 13419 0 -1 4194304 21996 0 3 0 58183 24 0 0 25 0 1 0 289054790 91213824 21653 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134571991 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14163/statm: 22269 21653 310 324 0 21339 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 89076

[startup+642.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 14164
/proc/meminfo: memFree=1696376/2055920 swapFree=4145576/4192956
[pid=14163] ppid=14161 vsize=89076 CPUtime=642.06
/proc/14163/stat : 14163 (bsolo3.0.17) R 14161 14163 13419 0 -1 4194304 21996 0 3 0 64181 25 0 0 25 0 1 0 289054790 91213824 21653 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14163/statm: 22269 21653 310 324 0 21339 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 89076


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

[startup+882.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 14166
/proc/meminfo: memFree=1696120/2055920 swapFree=4145576/4192956
[pid=14163] ppid=14161 vsize=89080 CPUtime=881.96
/proc/14163/stat : 14163 (bsolo3.0.17) R 14161 14163 13419 0 -1 4194304 21997 0 3 0 88169 27 0 0 25 0 1 0 289054790 91217920 21654 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 4160091710 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14163/statm: 22270 21654 310 324 0 21340 0
Current children cumulated CPU time (s) 881.96
Current children cumulated vsize (KiB) 89080

[startup+942.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 14166
/proc/meminfo: memFree=1696120/2055920 swapFree=4145576/4192956
[pid=14163] ppid=14161 vsize=89080 CPUtime=941.94
/proc/14163/stat : 14163 (bsolo3.0.17) R 14161 14163 13419 0 -1 4194304 21997 0 3 0 94167 27 0 0 25 0 1 0 289054790 91217920 21654 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14163/statm: 22270 21654 310 324 0 21340 0
Current children cumulated CPU time (s) 941.94
Current children cumulated vsize (KiB) 89080

[startup+1002.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 14166
/proc/meminfo: memFree=1690552/2055920 swapFree=4145576/4192956
[pid=14163] ppid=14161 vsize=94860 CPUtime=1001.91
/proc/14163/stat : 14163 (bsolo3.0.17) R 14161 14163 13419 0 -1 4194304 23443 0 3 0 100163 28 0 0 25 0 1 0 289054790 97136640 23100 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 9338572 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14163/statm: 23715 23100 310 324 0 22785 0
Current children cumulated CPU time (s) 1001.91
Current children cumulated vsize (KiB) 94860

[startup+1062.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 14166
/proc/meminfo: memFree=1688504/2055920 swapFree=4145576/4192956
[pid=14163] ppid=14161 vsize=96668 CPUtime=1061.89
/proc/14163/stat : 14163 (bsolo3.0.17) R 14161 14163 13419 0 -1 4194304 23951 0 3 0 106160 29 0 0 25 0 1 0 289054790 98988032 23536 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134551042 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14163/statm: 24167 23536 310 324 0 23237 0
Current children cumulated CPU time (s) 1061.89
Current children cumulated vsize (KiB) 96668

[startup+1122.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 14166
/proc/meminfo: memFree=1688504/2055920 swapFree=4145576/4192956
[pid=14163] ppid=14161 vsize=96668 CPUtime=1121.87
/proc/14163/stat : 14163 (bsolo3.0.17) R 14161 14163 13419 0 -1 4194304 23951 0 3 0 112157 30 0 0 25 0 1 0 289054790 98988032 23536 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14163/statm: 24167 23536 310 324 0 23237 0
Current children cumulated CPU time (s) 1121.87
Current children cumulated vsize (KiB) 96668

[startup+1182.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 14166
/proc/meminfo: memFree=1688440/2055920 swapFree=4145576/4192956
[pid=14163] ppid=14161 vsize=96696 CPUtime=1181.85
/proc/14163/stat : 14163 (bsolo3.0.17) R 14161 14163 13419 0 -1 4194304 24037 0 3 0 118155 30 0 0 25 0 1 0 289054790 99016704 23543 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14163/statm: 24174 23543 310 324 0 23244 0
Current children cumulated CPU time (s) 1181.85
Current children cumulated vsize (KiB) 96696

[startup+1242.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 14166
/proc/meminfo: memFree=1688440/2055920 swapFree=4145576/4192956
[pid=14163] ppid=14161 vsize=96696 CPUtime=1241.83
/proc/14163/stat : 14163 (bsolo3.0.17) R 14161 14163 13419 0 -1 4194304 24037 0 3 0 124152 31 0 0 25 0 1 0 289054790 99016704 23543 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14163/statm: 24174 23543 310 324 0 23244 0
Current children cumulated CPU time (s) 1241.83
Current children cumulated vsize (KiB) 96696

[startup+1302.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 14166
/proc/meminfo: memFree=1688440/2055920 swapFree=4145576/4192956
[pid=14163] ppid=14161 vsize=96668 CPUtime=1301.81
/proc/14163/stat : 14163 (bsolo3.0.17) R 14161 14163 13419 0 -1 4194304 24037 0 3 0 130150 31 0 0 25 0 1 0 289054790 98988032 23543 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134574985 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14163/statm: 24167 23543 310 324 0 23237 0
Current children cumulated CPU time (s) 1301.81
Current children cumulated vsize (KiB) 96668

[startup+1362.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 14166
/proc/meminfo: memFree=1688440/2055920 swapFree=4145576/4192956
[pid=14163] ppid=14161 vsize=96668 CPUtime=1361.79
/proc/14163/stat : 14163 (bsolo3.0.17) R 14161 14163 13419 0 -1 4194304 24037 0 3 0 136147 32 0 0 25 0 1 0 289054790 98988032 23543 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134551339 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14163/statm: 24167 23543 310 324 0 23237 0
Current children cumulated CPU time (s) 1361.79
Current children cumulated vsize (KiB) 96668

[startup+1422.31 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 14166
/proc/meminfo: memFree=1688440/2055920 swapFree=4145576/4192956
[pid=14163] ppid=14161 vsize=96668 CPUtime=1421.76
/proc/14163/stat : 14163 (bsolo3.0.17) R 14161 14163 13419 0 -1 4194304 24037 0 3 0 142144 32 0 0 25 0 1 0 289054790 98988032 23543 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134593538 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14163/statm: 24167 23543 310 324 0 23237 0
Current children cumulated CPU time (s) 1421.76
Current children cumulated vsize (KiB) 96668

[startup+1482.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 14166
/proc/meminfo: memFree=1688440/2055920 swapFree=4145576/4192956
[pid=14163] ppid=14161 vsize=96668 CPUtime=1481.74
/proc/14163/stat : 14163 (bsolo3.0.17) R 14161 14163 13419 0 -1 4194304 24037 0 3 0 148141 33 0 0 25 0 1 0 289054790 98988032 23543 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14163/statm: 24167 23543 310 324 0 23237 0
Current children cumulated CPU time (s) 1481.74
Current children cumulated vsize (KiB) 96668

[startup+1542.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 14166
/proc/meminfo: memFree=1688440/2055920 swapFree=4145576/4192956
[pid=14163] ppid=14161 vsize=96668 CPUtime=1541.71
/proc/14163/stat : 14163 (bsolo3.0.17) R 14161 14163 13419 0 -1 4194304 24037 0 3 0 154138 33 0 0 25 0 1 0 289054790 98988032 23543 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14163/statm: 24167 23543 310 324 0 23237 0
Current children cumulated CPU time (s) 1541.71
Current children cumulated vsize (KiB) 96668

[startup+1602.3 s]
/proc/loadavg: 0.99 1.00 1.00 3/78 14166
/proc/meminfo: memFree=1688440/2055920 swapFree=4145576/4192956
[pid=14163] ppid=14161 vsize=96668 CPUtime=1601.7
/proc/14163/stat : 14163 (bsolo3.0.17) R 14161 14163 13419 0 -1 4194304 24037 0 3 0 160136 34 0 0 25 0 1 0 289054790 98988032 23543 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14163/statm: 24167 23543 310 324 0 23237 0
Current children cumulated CPU time (s) 1601.7
Current children cumulated vsize (KiB) 96668

[startup+1662.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 14166
/proc/meminfo: memFree=1688440/2055920 swapFree=4145576/4192956
[pid=14163] ppid=14161 vsize=96700 CPUtime=1661.67
/proc/14163/stat : 14163 (bsolo3.0.17) R 14161 14163 13419 0 -1 4194304 24045 0 3 0 166133 34 0 0 25 0 1 0 289054790 99020800 23551 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14163/statm: 24175 23551 310 324 0 23245 0
Current children cumulated CPU time (s) 1661.67
Current children cumulated vsize (KiB) 96700

[startup+1722.3 s]
/proc/loadavg: 1.05 1.01 1.00 2/78 14166
/proc/meminfo: memFree=1688440/2055920 swapFree=4145576/4192956
[pid=14163] ppid=14161 vsize=96688 CPUtime=1721.65
/proc/14163/stat : 14163 (bsolo3.0.17) R 14161 14163 13419 0 -1 4194304 24045 0 3 0 172130 35 0 0 25 0 1 0 289054790 99008512 23551 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134551103 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14163/statm: 24172 23551 310 324 0 23242 0
Current children cumulated CPU time (s) 1721.65
Current children cumulated vsize (KiB) 96688

[startup+1782.3 s]
/proc/loadavg: 1.02 1.01 1.00 2/78 14166
/proc/meminfo: memFree=1688440/2055920 swapFree=4145576/4192956
[pid=14163] ppid=14161 vsize=96688 CPUtime=1781.63
/proc/14163/stat : 14163 (bsolo3.0.17) R 14161 14163 13419 0 -1 4194304 24045 0 3 0 178128 35 0 0 25 0 1 0 289054790 99008512 23551 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14163/statm: 24172 23551 310 324 0 23242 0
Current children cumulated CPU time (s) 1781.63
Current children cumulated vsize (KiB) 96688



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.01 1.01 1.00 2/78 14166
/proc/meminfo: memFree=1688440/2055920 swapFree=4145576/4192956
[pid=14163] ppid=14161 vsize=96688 CPUtime=1800.03
/proc/14163/stat : 14163 (bsolo3.0.17) R 14161 14163 13419 0 -1 4194304 24045 0 3 0 179968 35 0 0 25 0 1 0 289054790 99008512 23551 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134551179 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14163/statm: 24172 23551 310 324 0 23242 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 96688

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

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

[startup+1800.71 s]
/proc/loadavg: 1.01 1.01 1.00 2/78 14166
/proc/meminfo: memFree=1688440/2055920 swapFree=4145576/4192956
[pid=14163] ppid=14161 vsize=96688 CPUtime=1800.03
/proc/14163/stat : 14163 (bsolo3.0.17) R 14161 14163 13419 0 -1 4194304 24045 0 3 0 179968 35 0 0 25 0 1 0 289054790 99008512 23551 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134551179 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14163/statm: 24172 23551 310 324 0 23242 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 96688

Child status: 15
Real time (s): 1800.73
CPU time (s): 1800.06
CPU user time (s): 1799.68
CPU system time (s): 0.376942
CPU usage (%): 99.9627
Max. virtual memory (cumulated for all children) (KiB): 97012

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.68
system time used= 0.376942
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24049
page faults= 3
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15
involuntary context switches= 1889

runsolver used 1.39079 second user time and 3.9644 second system time

The end

Launcher Data (download as text)

Begin job on node10 on Wed May  2 18:22:53 UTC 2007

IDJOB= 453321
IDBENCH= 48122
IDSOLVER= 199
FILE ID= node10/453321-1178130173

PBS_JOBID= 4751045

Free space on /tmp= 66558 MiB

SOLVER NAME= bsolo 3.0.17
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_200_10_5.opb
COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/453321-1178130173/instance-453321-1178130173.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node10/watcher-453321-1178130173 -o ROOT/results/node10/solver-453321-1178130173 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.17 -m1800 /tmp/evaluation/453321-1178130173/instance-453321-1178130173.opb            

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  08d7a5060b972f308367859ff82f87f6

RANDOM SEED= 578107447

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node10.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.259
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.259
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:       1783192 kB
Buffers:        107936 kB
Cached:          74296 kB
SwapCached:      15988 kB
Active:          90180 kB
Inactive:       123188 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1783192 kB
SwapTotal:     4192956 kB
SwapFree:      4145576 kB
Dirty:            6644 kB
Writeback:           0 kB
Mapped:          33904 kB
Slab:            44892 kB
Committed_AS:  4958504 kB
PageTables:       1716 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 node10 on Wed May  2 18:52:56 UTC 2007