Trace number 453315

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.16SAT27 1800.02 1800.49

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.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/453315-1178129972/instance-453315-1178129972.opb
0.00/0.00	c File size is 36937 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: 2728 Constr: 5256 2728/0/2528 Lit: 17896 Watch. Lit: 13040
0.00/0.02	c Obj. Vars: 200 (7.33138 % of total variables)
0.06/0.09	c Pre-processing Time: 0.091 s
0.06/0.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.06/0.09	c        0   2728     5256    17896    3    13040   16077      0      0 0.09
0.06/0.09	c Switching off LPR mode.
0.06/0.09	o 199	0.094
0.06/0.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.06/0.10	c        0   2728     5257    18096    3    13043   16210      1      0 0.10
0.06/0.10	o 198	0.096
0.09/0.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.10	c        0   2728     5258    18296    3    13047   16410      2      0 0.10
0.09/0.10	o 197	0.099
0.09/0.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.10	c        0   2728     5259    18496    3    13052   16677      3      0 0.10
0.09/0.10	o 196	0.102
0.09/0.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.10	c        0   2728     5260    18696    3    13058   17010      4      0 0.10
0.09/0.10	o 195	0.105
0.09/0.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.11	c        0   2728     5261    18896    3    13065   17410      5      0 0.10
0.09/0.11	o 194	0.107
0.09/0.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.11	c        0   2728     5262    19096    3    13073   17877      6      0 0.11
0.09/0.11	o 193	0.11
0.09/0.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.11	c        0   2728     5263    19296    3    13082   18410      7      0 0.11
0.09/0.11	o 192	0.113
0.09/0.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.11	c        0   2728     5264    19496    3    13092   19010      8      0 0.11
0.09/0.11	o 191	0.115
0.09/0.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.12	c        0   2728     5265    19696    3    13103   19677      9      0 0.12
0.09/0.12	o 190	0.118
0.09/0.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.12	c        0   2728     5266    19896    3    13115   20410     10      0 0.12
0.09/0.12	o 189	0.121
0.09/0.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.12	c        0   2728     5267    20096    3    13128   21210     11      0 0.12
0.09/0.12	o 188	0.123
0.09/0.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.12	c        0   2728     5268    20296    3    13142   22077     12      0 0.12
0.09/0.12	o 187	0.126
0.09/0.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.13	c        0   2728     5269    20496    3    13157   23010     13      0 0.13
0.09/0.13	o 185	0.128
0.09/0.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.13	c        1   2728     5271    20883    3    13176   23077     15      7 0.13
0.09/0.13	o 30	0.132
9.99/10.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
9.99/10.03	c        1   2728     5272    21083    3    13348   23077     16      7 0.13
9.99/10.03	c      101   2728     5372    27981    5    13548   25385    116    668 0.15
9.99/10.03	c      352   2728     5623    44095    7    14050   27924    367   1872 0.19
9.99/10.03	c      828   2728     6099    72985   11    15002   30717    843   3259 0.25
9.99/10.03	c     1642   2728     6913   123610   17    16630   33789   1657   4136 0.40
9.99/10.03	c     2962   2728     8233   201329   24    19270   37168   2977   4694 0.63
9.99/10.03	c     5044   2728    10315   324392   31    23434   40885   5059   4916 1.03
9.99/10.03	c     8267   2728    13538   549142   40    29880   44974   8282   4326 1.91
9.99/10.03	c    13204   2728    18475   912222   49    39754   49472  13219   3438 3.84
9.99/10.03	c    20710   2728    25981  1576459   60    54766   54420  20725   2621 7.90
9.99/10.03	o 29	10.032
77.16/77.24	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
77.16/77.24	c    24427   2728    29699  1813293   61    62373   23077  24443   2434 10.03
77.16/77.24	c    24527   2728    16297   907048   55    35293   25385  11041   2394 10.24
77.16/77.24	c    24777   2728    16547   922704   55    35793   27924  11291   2400 10.32
77.16/77.24	c    25253   2728    17023   956171   56    36745   30717  11767   2414 10.46
77.16/77.24	c    26066   2728    17836  1012522   56    38371   33789  12580   2439 10.68
77.16/77.24	c    27386   2728    19156  1093241   57    41011   37168  13900   2467 11.10
77.16/77.24	c    29467   2728    21237  1217913   57    45173   40885  15981   2479 11.89
77.16/77.24	c    32691   2728    24461  1397601   57    51621   44974  19205   2530 12.92
77.16/77.24	c    37628   2728    29398  1781615   60    61495   49472  24142   2432 15.47
77.16/77.24	c    45135   2728    36905  2376620   64    76509   54420  31649   2226 20.28
77.16/77.24	c    56497   2728    48267  3105140   64    99233   59863  43011   1820 31.04
77.16/77.24	c    73641   2728    17692  1069269   60    38083   65850  12436   1365 53.93
77.16/77.24	c    99461   2728    43512  2824165   64    89723   72436  38256   1289 77.12
77.16/77.24	o 28	77.221
446.97/447.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
446.97/447.12	c    99611   2728    43663  2832929   64    90197   17077  38407   1289 77.22
446.97/447.12	c    99712   2728    13897   556059   40    30494   18785   8641   1226 81.31
446.97/447.12	c    99962   2728    14147   570939   40    30994   20664   8891   1228 81.36
446.97/447.12	c   100437   2728    14622   596630   40    31944   22731   9366   1232 81.48
446.97/447.12	c   101250   2728    15435   648678   42    33570   25005  10179   1238 81.74
446.97/447.12	c   102570   2728    16755   731784   43    36210   27506  11499   1249 82.07
446.97/447.12	c   104651   2728    18836   877187   46    40372   30257  13580   1263 82.85
446.97/447.12	c   107874   2728    22059  1086283   49    46818   33283  16803   1283 84.02
446.97/447.12	c   112811   2728    26996  1442470   53    56692   36612  21740   1310 86.11
446.97/447.12	c   120318   2728    34503  2043664   59    71706   40274  29247   1314 91.55
446.97/447.12	c   131680   2728    16648   881184   52    35996   44302  11392   1307 100.71
446.97/447.12	c   148824   2728    33792  2032628   60    70284   48733  28536   1335 111.41
446.97/447.12	c   174645   2728    22354  1495310   66    47408   53607  17098   1213 143.89
446.97/447.12	c   213478   2728    18465   985392   53    39630   58968  13209   1054 202.53
446.97/447.12	c   271830   2728    27841  1599048   57    58382   64865  22585    962 282.53
446.97/447.12	c   359463   2728    61519  4843018   78   125738   71352  56263    842 426.68
446.97/447.12	o 27	447.001
1799.92/1800.46	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1799.92/1800.46	c   375701   2728    17346   827871   47    37393   17077  12090    820 457.98
1799.92/1800.46	c   375803   2728    17448   833627   47    37597   18785  12192    820 458.11
1799.92/1800.46	c   376053   2728    17698   847722   47    38097   20664  12442    820 458.18
1799.92/1800.46	c   376528   2728    18173   880428   48    39047   22731  12917    821 458.35
1799.92/1800.46	c   377341   2728    18986   928417   48    40673   25005  13730    822 458.65
1799.92/1800.46	c   378661   2728    20306  1030017   50    43313   27506  15050    824 459.07
1799.92/1800.46	c   380743   2728    22388  1158340   51    47477   30257  17132    827 460.01
1799.92/1800.46	c   383967   2728    25612  1357312   52    53925   33283  20356    831 461.50
1799.92/1800.46	c   388903   2728    30548  1704228   55    63797   36612  25292    837 464.39
1799.92/1800.46	c   396410   2728    38055  2251524   59    78811   40274  32799    845 469.05
1799.92/1800.46	c   407771   2728    18705  1112998   59    40111   44302  13449    849 480.09
1799.92/1800.46	c   424915   2728    35849  2426688   67    74399   48733  30593    858 495.06
1799.92/1800.46	c   450735   2728    23227  1614897   69    49155   53607  17971    842 534.76
1799.92/1800.46	c   489567   2728    18602   938723   50    39905   58968  13346    840 582.16
1799.92/1800.46	c   547919   2728    29038  1864077   64    60777   64865  23782    794 689.70
1799.92/1800.46	c   635552   2728    61897  4191896   67   126495   71352  56641    777 817.05
1799.92/1800.46	c   767105   2728    72038  5552694   77   146777   78488  66782    681 1124.97
1799.92/1800.46	c   964537   2728    66769  4351886   65   136239   86337  61513    593 1625.68
1799.92/1800.46	c Resources Exceeded
1799.92/1800.46	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.92/1800.46	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.92/1800.46	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
1799.92/1800.46	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
1799.92/1800.46	v x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 x115 x116 -x117 -x118 -x119 -x120 -x121 x122 -x123 -x124 -x125 x126 -x127 -x128
1799.92/1800.46	v -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149
1799.92/1800.46	v -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 x168 x169 -x170
1799.92/1800.46	v -x171 -x172 -x173 -x174 -x175 x176 -x177 -x178 -x179 -x180 -x181 x182 -x183 -x184 -x185 -x186 -x187 x188 -x189 -x190 -x191
1799.92/1800.46	v -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200
1799.92/1800.46	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1799.92/1800.46	c   71  1057933 364339  1759359    83976  4963671  78720    587 1800.00
1799.92/1800.46	c Objective: 27
1799.92/1800.46	s SATISFIABLE
1799.92/1800.46	c Total time: 1800 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/node7/watcher-453315-1178129972 -o ROOT/results/node7/solver-453315-1178129972 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/453315-1178129972/instance-453315-1178129972.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 13079
/proc/meminfo: memFree=1661224/2055920 swapFree=4157020/4192956
[pid=13079] ppid=13077 vsize=11776 CPUtime=0
/proc/13079/stat : 13079 (bsolo3.0.16) R 13077 13079 12540 0 -1 4194304 375 0 0 0 0 0 0 0 18 0 1 0 289034793 12058624 345 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134545728 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13079/statm: 2944 346 291 324 0 2003 0

[startup+0.074132 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 13079
/proc/meminfo: memFree=1661224/2055920 swapFree=4157020/4192956
[pid=13079] ppid=13077 vsize=5324 CPUtime=0.06
/proc/13079/stat : 13079 (bsolo3.0.16) R 13077 13079 12540 0 -1 4194304 720 0 0 0 6 0 0 0 18 0 1 0 289034793 5451776 680 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13079/statm: 1331 680 305 324 0 400 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 5324

[startup+0.101133 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 13079
/proc/meminfo: memFree=1661224/2055920 swapFree=4157020/4192956
[pid=13079] ppid=13077 vsize=5592 CPUtime=0.09
/proc/13079/stat : 13079 (bsolo3.0.16) R 13077 13079 12540 0 -1 4194304 850 0 0 0 9 0 0 0 18 0 1 0 289034793 5726208 760 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13079/statm: 1398 760 310 324 0 467 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5592

[startup+0.301155 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 13079
/proc/meminfo: memFree=1661224/2055920 swapFree=4157020/4192956
[pid=13079] ppid=13077 vsize=6376 CPUtime=0.29
/proc/13079/stat : 13079 (bsolo3.0.16) R 13077 13079 12540 0 -1 4194304 1067 0 0 0 28 1 0 0 19 0 1 0 289034793 6529024 977 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13079/statm: 1594 977 312 324 0 663 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6376

[startup+0.701196 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 13079
/proc/meminfo: memFree=1661224/2055920 swapFree=4157020/4192956
[pid=13079] ppid=13077 vsize=8464 CPUtime=0.68
/proc/13079/stat : 13079 (bsolo3.0.16) R 13077 13079 12540 0 -1 4194304 1569 0 0 0 67 1 0 0 22 0 1 0 289034793 8667136 1479 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13079/statm: 2116 1479 312 324 0 1185 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 8464

[startup+1.50128 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 13080
/proc/meminfo: memFree=1655136/2055920 swapFree=4157020/4192956
[pid=13079] ppid=13077 vsize=11852 CPUtime=1.48
/proc/13079/stat : 13079 (bsolo3.0.16) R 13077 13079 12540 0 -1 4194304 2430 0 0 0 146 2 0 0 25 0 1 0 289034793 12136448 2340 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13079/statm: 2963 2340 312 324 0 2032 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 11852

[startup+3.10145 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 13080
/proc/meminfo: memFree=1650912/2055920 swapFree=4157020/4192956
[pid=13079] ppid=13077 vsize=16796 CPUtime=3.09
/proc/13079/stat : 13079 (bsolo3.0.16) R 13077 13079 12540 0 -1 4194304 3661 0 0 0 306 3 0 0 25 0 1 0 289034793 17199104 3571 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13079/statm: 4199 3571 312 324 0 3268 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16796

[startup+6.30178 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 13080
/proc/meminfo: memFree=1641760/2055920 swapFree=4157020/4192956
[pid=13079] ppid=13077 vsize=24740 CPUtime=6.29
/proc/13079/stat : 13079 (bsolo3.0.16) R 13077 13079 12540 0 -1 4194304 5656 0 0 0 624 5 0 0 25 0 1 0 289034793 25333760 5566 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13079/statm: 6185 5566 312 324 0 5254 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 24740

[startup+12.7015 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 13080
/proc/meminfo: memFree=1633440/2055920 swapFree=4157020/4192956
[pid=13079] ppid=13077 vsize=31136 CPUtime=12.69
/proc/13079/stat : 13079 (bsolo3.0.16) R 13077 13079 12540 0 -1 4194304 7263 0 0 0 1261 8 0 0 25 0 1 0 289034793 31883264 7173 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13079/statm: 7784 7173 312 324 0 6853 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 31136

[startup+25.5028 s]
/proc/loadavg: 0.95 0.98 0.99 2/78 13080
/proc/meminfo: memFree=1619936/2055920 swapFree=4157020/4192956
[pid=13079] ppid=13077 vsize=45036 CPUtime=25.48
/proc/13079/stat : 13079 (bsolo3.0.16) R 13077 13079 12540 0 -1 4194304 10716 0 0 0 2534 14 0 0 25 0 1 0 289034793 46116864 10626 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13079/statm: 11259 10626 312 324 0 10328 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 45036

[startup+51.1025 s]
/proc/loadavg: 0.96 0.98 0.99 2/78 13080
/proc/meminfo: memFree=1596640/2055920 swapFree=4157020/4192956
[pid=13079] ppid=13077 vsize=68304 CPUtime=51.08
/proc/13079/stat : 13079 (bsolo3.0.16) R 13077 13079 12540 0 -1 4194304 16554 0 0 0 5083 25 0 0 25 0 1 0 289034793 69943296 16464 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551548 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13079/statm: 17076 16464 312 324 0 16145 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 68304

[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.99 2/78 13080
/proc/meminfo: memFree=1595360/2055920 swapFree=4157020/4192956
[pid=13079] ppid=13077 vsize=69088 CPUtime=102.27
/proc/13079/stat : 13079 (bsolo3.0.16) R 13077 13079 12540 0 -1 4194304 16794 0 0 0 10191 36 0 0 25 0 1 0 289034793 70746112 16645 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 10850076 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13079/statm: 17272 16645 312 324 0 16341 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 69088

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 13080
/proc/meminfo: memFree=1595424/2055920 swapFree=4157020/4192956
[pid=13079] ppid=13077 vsize=69088 CPUtime=162.25
/proc/13079/stat : 13079 (bsolo3.0.16) R 13077 13079 12540 0 -1 4194304 16794 0 0 0 16179 46 0 0 25 0 1 0 289034793 70746112 16645 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13079/statm: 17272 16645 312 324 0 16341 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 69088

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 13080
/proc/meminfo: memFree=1595424/2055920 swapFree=4157020/4192956
[pid=13079] ppid=13077 vsize=69088 CPUtime=222.23
/proc/13079/stat : 13079 (bsolo3.0.16) R 13077 13079 12540 0 -1 4194304 16794 0 0 0 22168 55 0 0 25 0 1 0 289034793 70746112 16645 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551417 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13079/statm: 17272 16645 312 324 0 16341 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 69088

[startup+282.303 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 13080
/proc/meminfo: memFree=1589920/2055920 swapFree=4157020/4192956
[pid=13079] ppid=13077 vsize=74516 CPUtime=282.21
/proc/13079/stat : 13079 (bsolo3.0.16) R 13077 13079 12540 0 -1 4194304 18210 0 0 0 28158 63 0 0 25 0 1 0 289034793 76304384 18001 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13079/statm: 18629 18001 312 324 0 17698 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 74516

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 13080
/proc/meminfo: memFree=1589792/2055920 swapFree=4157020/4192956
[pid=13079] ppid=13077 vsize=75040 CPUtime=342.2
/proc/13079/stat : 13079 (bsolo3.0.16) R 13077 13079 12540 0 -1 4194304 18340 0 0 0 34148 72 0 0 25 0 1 0 289034793 76840960 18131 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551504 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13079/statm: 18760 18131 312 324 0 17829 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 75040

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 13080
/proc/meminfo: memFree=1583456/2055920 swapFree=4157020/4192956
[pid=13079] ppid=13077 vsize=81016 CPUtime=402.18
/proc/13079/stat : 13079 (bsolo3.0.16) R 13077 13079 12540 0 -1 4194304 19890 0 0 0 40138 80 0 0 25 0 1 0 289034793 82960384 19615 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13079/statm: 20254 19615 312 324 0 19323 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 81016

[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 13080
/proc/meminfo: memFree=1575328/2055920 swapFree=4157020/4192956
[pid=13079] ppid=13077 vsize=89076 CPUtime=462.16
/proc/13079/stat : 13079 (bsolo3.0.16) R 13077 13079 12540 0 -1 4194304 22001 0 0 0 46127 89 0 0 25 0 1 0 289034793 91213824 21655 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4160091729 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13079/statm: 22269 21655 312 324 0 21338 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 89076

[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.99 3/78 13080
/proc/meminfo: memFree=1575328/2055920 swapFree=4157020/4192956
[pid=13079] ppid=13077 vsize=89076 CPUtime=522.15
/proc/13079/stat : 13079 (bsolo3.0.16) R 13077 13079 12540 0 -1 4194304 22001 0 0 0 52115 100 0 0 25 0 1 0 289034793 91213824 21655 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551724 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13079/statm: 22269 21655 312 324 0 21338 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 89076

[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 13080
/proc/meminfo: memFree=1575328/2055920 swapFree=4157020/4192956
[pid=13079] ppid=13077 vsize=89076 CPUtime=582.14
/proc/13079/stat : 13079 (bsolo3.0.16) R 13077 13079 12540 0 -1 4194304 22001 0 0 0 58105 109 0 0 25 0 1 0 289034793 91213824 21655 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551838 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13079/statm: 22269 21655 312 324 0 21338 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 89076

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 3/78 13080
/proc/meminfo: memFree=1575328/2055920 swapFree=4157020/4192956
[pid=13079] ppid=13077 vsize=89076 CPUtime=642.12
/proc/13079/stat : 13079 (bsolo3.0.16) R 13077 13079 12540 0 -1 4194304 22001 0 0 0 64096 116 0 0 25 0 1 0 289034793 91213824 21655 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13079/statm: 22269 21655 312 324 0 21338 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 89076


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

/proc/meminfo: memFree=1567776/2055920 swapFree=4157020/4192956
[pid=13079] ppid=13077 vsize=96668 CPUtime=1122
/proc/13079/stat : 13079 (bsolo3.0.16) R 13077 13079 12540 0 -1 4194304 23956 0 0 0 112032 168 0 0 25 0 1 0 289034793 98988032 23538 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13079/statm: 24167 23538 312 324 0 23236 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 96668

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 13082
/proc/meminfo: memFree=1567712/2055920 swapFree=4157020/4192956
[pid=13079] ppid=13077 vsize=96696 CPUtime=1181.99
/proc/13079/stat : 13079 (bsolo3.0.16) R 13077 13079 12540 0 -1 4194304 24042 0 0 0 118027 172 0 0 25 0 1 0 289034793 99016704 23545 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13079/statm: 24174 23545 312 324 0 23243 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 96696

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 13082
/proc/meminfo: memFree=1567712/2055920 swapFree=4157020/4192956
[pid=13079] ppid=13077 vsize=96696 CPUtime=1241.97
/proc/13079/stat : 13079 (bsolo3.0.16) R 13077 13079 12540 0 -1 4194304 24042 0 0 0 124025 172 0 0 25 0 1 0 289034793 99016704 23545 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13079/statm: 24174 23545 312 324 0 23243 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 96696

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 13082
/proc/meminfo: memFree=1567712/2055920 swapFree=4157020/4192956
[pid=13079] ppid=13077 vsize=96668 CPUtime=1301.96
/proc/13079/stat : 13079 (bsolo3.0.16) R 13077 13079 12540 0 -1 4194304 24042 0 0 0 130018 178 0 0 25 0 1 0 289034793 98988032 23545 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551105 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13079/statm: 24167 23545 312 324 0 23236 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 96668

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 3/78 13082
/proc/meminfo: memFree=1567712/2055920 swapFree=4157020/4192956
[pid=13079] ppid=13077 vsize=96668 CPUtime=1361.94
/proc/13079/stat : 13079 (bsolo3.0.16) R 13077 13079 12540 0 -1 4194304 24042 0 0 0 136009 185 0 0 25 0 1 0 289034793 98988032 23545 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13079/statm: 24167 23545 312 324 0 23236 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 96668

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 13082
/proc/meminfo: memFree=1567712/2055920 swapFree=4157020/4192956
[pid=13079] ppid=13077 vsize=96668 CPUtime=1421.93
/proc/13079/stat : 13079 (bsolo3.0.16) R 13077 13079 12540 0 -1 4194304 24042 0 0 0 142003 190 0 0 25 0 1 0 289034793 98988032 23545 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13079/statm: 24167 23545 312 324 0 23236 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 96668

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 13082
/proc/meminfo: memFree=1567712/2055920 swapFree=4157020/4192956
[pid=13079] ppid=13077 vsize=96668 CPUtime=1481.9
/proc/13079/stat : 13079 (bsolo3.0.16) R 13077 13079 12540 0 -1 4194304 24042 0 0 0 147991 199 0 0 25 0 1 0 289034793 98988032 23545 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13079/statm: 24167 23545 312 324 0 23236 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 96668

[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 13082
/proc/meminfo: memFree=1567712/2055920 swapFree=4157020/4192956
[pid=13079] ppid=13077 vsize=96668 CPUtime=1541.89
/proc/13079/stat : 13079 (bsolo3.0.16) R 13077 13079 12540 0 -1 4194304 24042 0 0 0 153984 205 0 0 25 0 1 0 289034793 98988032 23545 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13079/statm: 24167 23545 312 324 0 23236 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 96668

[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 13082
/proc/meminfo: memFree=1567712/2055920 swapFree=4157020/4192956
[pid=13079] ppid=13077 vsize=96668 CPUtime=1601.88
/proc/13079/stat : 13079 (bsolo3.0.16) R 13077 13079 12540 0 -1 4194304 24042 0 0 0 159974 214 0 0 25 0 1 0 289034793 98988032 23545 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13079/statm: 24167 23545 312 324 0 23236 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 96668

[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 13082
/proc/meminfo: memFree=1567712/2055920 swapFree=4157020/4192956
[pid=13079] ppid=13077 vsize=96700 CPUtime=1661.86
/proc/13079/stat : 13079 (bsolo3.0.16) R 13077 13079 12540 0 -1 4194304 24050 0 0 0 165964 222 0 0 25 0 1 0 289034793 99020800 23553 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134546306 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13079/statm: 24175 23553 312 324 0 23244 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 96700

[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 13082
/proc/meminfo: memFree=1567712/2055920 swapFree=4157020/4192956
[pid=13079] ppid=13077 vsize=96688 CPUtime=1721.84
/proc/13079/stat : 13079 (bsolo3.0.16) R 13077 13079 12540 0 -1 4194304 24050 0 0 0 171958 226 0 0 25 0 1 0 289034793 99008512 23553 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13079/statm: 24172 23553 312 324 0 23241 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 96688

[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 13082
/proc/meminfo: memFree=1567712/2055920 swapFree=4157020/4192956
[pid=13079] ppid=13077 vsize=96688 CPUtime=1781.83
/proc/13079/stat : 13079 (bsolo3.0.16) R 13077 13079 12540 0 -1 4194304 24050 0 0 0 177949 234 0 0 25 0 1 0 289034793 99008512 23553 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13079/statm: 24172 23553 312 324 0 23241 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 96688

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

[startup+1791.91 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 13082
/proc/meminfo: memFree=1567712/2055920 swapFree=4157020/4192956
[pid=13079] ppid=13077 vsize=96688 CPUtime=1791.43
/proc/13079/stat : 13079 (bsolo3.0.16) R 13077 13079 12540 0 -1 4194304 24050 0 0 0 178908 235 0 0 25 0 1 0 289034793 99008512 23553 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13079/statm: 24172 23553 312 324 0 23241 0
Current children cumulated CPU time (s) 1791.43
Current children cumulated vsize (KiB) 96688

[startup+1795.1 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 13082
/proc/meminfo: memFree=1567712/2055920 swapFree=4157020/4192956
[pid=13079] ppid=13077 vsize=96688 CPUtime=1794.63
/proc/13079/stat : 13079 (bsolo3.0.16) R 13077 13079 12540 0 -1 4194304 24050 0 0 0 179227 236 0 0 25 0 1 0 289034793 99008512 23553 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134548241 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13079/statm: 24172 23553 312 324 0 23241 0
Current children cumulated CPU time (s) 1794.63
Current children cumulated vsize (KiB) 96688

[startup+1798.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 13082
/proc/meminfo: memFree=1567712/2055920 swapFree=4157020/4192956
[pid=13079] ppid=13077 vsize=96688 CPUtime=1797.83
/proc/13079/stat : 13079 (bsolo3.0.16) R 13077 13079 12540 0 -1 4194304 24050 0 0 0 179547 236 0 0 25 0 1 0 289034793 99008512 23553 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13079/statm: 24172 23553 312 324 0 23241 0
Current children cumulated CPU time (s) 1797.83
Current children cumulated vsize (KiB) 96688

[startup+1799.1 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 13082
/proc/meminfo: memFree=1567712/2055920 swapFree=4157020/4192956
[pid=13079] ppid=13077 vsize=96688 CPUtime=1798.63
/proc/13079/stat : 13079 (bsolo3.0.16) R 13077 13079 12540 0 -1 4194304 24050 0 0 0 179627 236 0 0 25 0 1 0 289034793 99008512 23553 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13079/statm: 24172 23553 312 324 0 23241 0
Current children cumulated CPU time (s) 1798.63
Current children cumulated vsize (KiB) 96688

[startup+1799.9 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 13082
/proc/meminfo: memFree=1567712/2055920 swapFree=4157020/4192956
[pid=13079] ppid=13077 vsize=96688 CPUtime=1799.42
/proc/13079/stat : 13079 (bsolo3.0.16) R 13077 13079 12540 0 -1 4194304 24050 0 0 0 179706 236 0 0 25 0 1 0 289034793 99008512 23553 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13079/statm: 24172 23553 312 324 0 23241 0
Current children cumulated CPU time (s) 1799.42
Current children cumulated vsize (KiB) 96688

[startup+1800.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 13082
/proc/meminfo: memFree=1567712/2055920 swapFree=4157020/4192956
[pid=13079] ppid=13077 vsize=96688 CPUtime=1799.82
/proc/13079/stat : 13079 (bsolo3.0.16) R 13077 13079 12540 0 -1 4194304 24050 0 0 0 179746 236 0 0 25 0 1 0 289034793 99008512 23553 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551718 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13079/statm: 24172 23553 312 324 0 23241 0
Current children cumulated CPU time (s) 1799.82
Current children cumulated vsize (KiB) 96688

[startup+1800.4 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 13082
/proc/meminfo: memFree=1567712/2055920 swapFree=4157020/4192956
[pid=13079] ppid=13077 vsize=96688 CPUtime=1799.92
/proc/13079/stat : 13079 (bsolo3.0.16) R 13077 13079 12540 0 -1 4194304 24050 0 0 0 179756 236 0 0 25 0 1 0 289034793 99008512 23553 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13079/statm: 24172 23553 312 324 0 23241 0
Current children cumulated CPU time (s) 1799.92
Current children cumulated vsize (KiB) 96688

Child status: 0
Real time (s): 1800.49
CPU time (s): 1800.02
CPU user time (s): 1797.63
CPU system time (s): 2.38564
CPU usage (%): 99.974
Max. virtual memory (cumulated for all children) (KiB): 97012

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

runsolver used 1.3278 second user time and 3.9434 second system time

The end

Launcher Data (download as text)

Begin job on node7 on Wed May  2 18:19:32 UTC 2007

IDJOB= 453315
IDBENCH= 48122
IDSOLVER= 163
FILE ID= node7/453315-1178129972

PBS_JOBID= 4751052

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/mds/normalized-mds_200_10_5.opb
COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/453315-1178129972/instance-453315-1178129972.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node7/watcher-453315-1178129972 -o ROOT/results/node7/solver-453315-1178129972 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/453315-1178129972/instance-453315-1178129972.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  08d7a5060b972f308367859ff82f87f6

RANDOM SEED= 575902489

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node7.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.231
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.231
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:       1661632 kB
Buffers:        200296 kB
Cached:          82196 kB
SwapCached:      15756 kB
Active:         187036 kB
Inactive:       119912 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1661632 kB
SwapTotal:     4192956 kB
SwapFree:      4157020 kB
Dirty:            6740 kB
Writeback:           0 kB
Mapped:          30620 kB
Slab:            72752 kB
Committed_AS: 14444232 kB
PageTables:       1864 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 node7 on Wed May  2 18:49:32 UTC 2007