Trace number 431668

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.16OPT3 1270.58 1271.01

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=8-P0=103-P1=223-P2=29-P3=89-P4=173-P5=97-P6=227-P7=89-P8=127-P9=223-B.opb
MD5SUM9b7cb599a49db47c0ffbf25416bcef37
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark0.224965
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3
Optimality of the best value was proved YES
Number of variables216
Total number of constraints19
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 constraints19
Minimum length of a constraint8
Maximum length of a constraint80
Number of terms in the objective function 8
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 255
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 32768
Number of bits of the biggest number in a constraint 16
Biggest sum of numbers in a constraint 130560
Number of bits of the biggest sum of numbers17
Number of products (including duplicates)576
Sum of products size (including duplicates)1152
Number of different products576
Sum of products size1152

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/431668-1178009007/instance-431668-1178009007.opb
0.00/0.00	c File size is 10539 bytes.
0.00/0.00	c Highest Coefficient sum: 130560
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0.004 s
0.00/0.00	c Var: 792 Constr: 1180 576/0/604 Lit: 4960 Watch. Lit: 3044
0.00/0.00	c Obj. Vars: 8 (1.0101 % of total variables)
0.00/0.01	c Pre-processing Time: 0.013 s
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c        0    792     1180     4960    4     4260    6656      0      0 0.01
0.00/0.01	c Switching off LPR mode.
20.38/20.47	c      101    792     1281    11121    8     4378    7322    101   4809 0.02
20.38/20.47	c      251    792     1431    20165   14     4678    8055    251   7382 0.03
20.38/20.47	c      476    792     1656    32622   19     5118    8861    476   9153 0.05
20.38/20.47	c      815    792     1995    55600   27     5798    9748    815  10061 0.08
20.38/20.47	c     1324    792     2504    88697   35     6688   10723   1324  10184 0.13
20.38/20.47	c     2087    792     3267   140604   43     8276   11796   2087  10033 0.21
20.38/20.47	c     3234    792     4414   218222   49    10551   12976   3234   9511 0.34
20.38/20.47	c     4955    792     6135   336606   54    13980   14274   4955   9366 0.53
20.38/20.47	c     7539    792     8719   500388   57    19249   15702   7539   6601 1.14
20.38/20.47	c    11419    792    12599   750969   59    26955   17273  11419   5761 1.98
20.38/20.47	c    17242    792    18422  1125053   61    38620   19001  17242   2959 5.83
20.38/20.47	c    25980    792    17426  1072666   61    36585   20902  16246   2541 10.22
20.38/20.47	c    39091    792    19860  1201208   60    41512   22993  18680   1999 19.55
20.38/20.47	o 65	20.466
304.31/304.42	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
304.31/304.42	c    44517    792    12947   777925   60    27583    6672  11767   2175 20.47
304.31/304.42	c    44618    792     4618   241323   52    11026    7340   3438   2168 20.57
304.31/304.42	c    44868    792     4868   258623   53    11363    8075   3688   2170 20.67
304.31/304.42	c    45343    792     5343   292670   54    12424    8883   4163   2188 20.72
304.31/304.42	c    46157    792     6157   352871   57    14025    9772   4977   2216 20.83
304.31/304.42	c    47478    792     7478   441418   59    16671   10750   6298   2262 20.99
304.31/304.42	c    49560    792     9560   582035   60    20778   11826   8380   2326 21.30
304.31/304.42	c    52784    792    12784   776203   60    27203   13009  11604   2397 22.01
304.31/304.42	c    57720    792    10878   633039   58    23411   14310   9698   2518 22.92
304.31/304.42	c    65226    782    10580   581880   54    22949   15742   9400   2485 26.25
304.31/304.42	c    76588    782    14018   738890   52    29817   17317  12838   2132 35.91
304.31/304.42	c    93733    779    13334   811768   60    28311   19049  12154   1991 47.07
304.31/304.42	c   119552    779    19243  1229453   63    40181   20954  18063   1912 62.51
304.31/304.42	c   158385    779    13440   864104   64    28535   23050  12260   1563 101.31
304.31/304.42	c   216738    779    21043  1315380   62    43807   25356  19863   1382 156.81
304.31/304.42	c   304370    776    20193  1315980   65    42214   27892  19013   1267 240.19
304.31/304.42	o 17	304.333
899.86/900.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
899.86/900.15	c   352622    776    17724  1172933   66    37162    6670  16544   1158 304.33
899.86/900.15	c   352722    776     4621   248651   53    11082    7338   3441   1158 304.52
899.86/900.15	c   352973    776     4872   266130   54    11454    8072   3692   1158 304.55
899.86/900.15	c   353448    776     5347   299538   56    12339    8880   4167   1160 304.61
899.86/900.15	c   354261    776     6160   358193   58    14135    9769   4980   1162 304.76
899.86/900.15	c   355583    776     7482   446475   59    16751   10746   6302   1165 304.98
899.86/900.15	c   357665    776     9564   583636   61    20899   11821   8384   1170 305.63
899.86/900.15	c   360890    776    12789   802100   62    27269   13004  11609   1178 306.22
899.86/900.15	c   365827    776    10731   664510   61    23153   14305   9551   1188 307.84
899.86/900.15	c   373334    776    11004   659292   59    23683   15736   9824   1195 312.29
899.86/900.15	c   384696    766    14113   908026   64    29892   17310  12933   1206 318.81
899.86/900.15	c   401840    756    13334   808197   60    28343   19042  12154   1213 331.23
899.86/900.15	c   427660    756    19927  1142036   57    41548   20947  18747   1192 358.67
899.86/900.15	c   466493    753    15102   908386   60    31908   23042  13922   1172 397.89
899.86/900.15	c   524845    753    12711   801967   63    27175   25347  11531   1158 453.21
899.86/900.15	c   612477    752    12041   753011   62    25762   27882  10861   1110 551.56
899.86/900.15	c   744029    752    23313  1495239   64    48416   30671  22133   1019 729.47
899.86/900.15	o 9	899.925
972.35/972.66	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
972.35/972.66	c   875868    752    16744  1027047   61    35181    6666  15564    973 899.92
972.35/972.66	c   875969    752     4625   224607   48    10934    7333   3445    973 900.22
972.35/972.66	c   876220    752     4876   239966   49    11447    8067   3696    973 900.25
972.35/972.66	c   876698    752     5354   271624   50    12444    8874   4174    973 900.31
972.35/972.66	c   877511    752     6167   325333   52    14068    9762   4987    974 900.45
972.35/972.66	c   878831    752     7487   411934   55    16729   10739   6307    975 900.67
972.35/972.66	c   880913    752     9569   549785   57    20894   11813   8389    977 901.19
972.35/972.66	c   884136    752    12792   766180   59    27262   12995  11612    979 902.78
972.35/972.66	c   889072    752    11123   659717   59    23995   14295   9943    980 906.92
972.35/972.66	c   896579    752    10728   646533   60    23229   15725   9548    984 910.78
972.35/972.66	c   907940    742    13826   832351   60    29326   17298  12646    989 917.92
972.35/972.66	c   925085    742    12942   801675   61    27548   19028  11762    993 930.85
972.35/972.66	c   950904    742    18529  1061178   57    38751   20931  17349    995 954.92
972.35/972.66	o 5	972.417
1053.92/1054.28	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1053.92/1054.28	c   968877    739    14830   916844   61    31351    6664  13650    996 972.42
1053.92/1054.28	c   968978    729     4627   223820   48    11020    7331   3447    996 972.60
1053.92/1054.28	c   969228    729     4877   240523   49    11494    8065   3697    996 972.62
1053.92/1054.28	c   969704    729     5353   271043   50    12538    8872   4173    996 972.69
1053.92/1054.28	c   970518    729     6167   325752   52    14125    9760   4987    997 972.82
1053.92/1054.28	c   971839    729     7488   415755   55    16714   10737   6308    998 973.08
1053.92/1054.28	c   973921    729     9570   554825   57    20895   11811   8390   1000 973.85
1053.92/1054.28	c   977144    729    12793   773676   60    27357   12993  11613   1002 974.85
1053.92/1054.28	c   982081    729    11080   656183   59    23889   14293   9900   1005 976.89
1053.92/1054.28	c   989589    729    11082   662087   59    23895   15723   9902   1010 979.76
1053.92/1054.28	c  1000950    729    14305   866671   60    30385   17296  13125   1013 987.25
1053.92/1054.28	c  1018095    729    13445   821466   61    28638   19026  12265   1017 1001.00
1053.92/1054.28	c  1043914    729    19389  1145839   59    40522   20929  18209   1021 1021.67
1053.92/1054.28	o 3	1054.01
1270.57/1271.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1270.57/1271.00	c  1074417    729    17541  1098530   62    36851    6662  16361   1019 1054.01
1270.57/1271.00	c  1074518    708     4628   228370   49    11073    7329   3448   1019 1054.27
1270.57/1271.00	c  1074769    708     4879   245933   50    11476    8062   3699   1019 1054.30
1270.57/1271.00	c  1075245    708     5355   279997   52    12378    8869   4175   1019 1054.35
1270.57/1271.00	c  1076059    708     6169   330383   53    14090    9756   4989   1020 1054.47
1270.57/1271.00	c  1077379    708     7489   421389   56    16758   10732   6309   1021 1054.74
1270.57/1271.00	c  1079461    708     9571   554386   57    20908   11806   8391   1022 1055.25
1270.57/1271.00	c  1082684    708    12794   766491   59    27293   12987  11614   1024 1056.58
1270.57/1271.00	c  1087620    708    10922   615921   56    23623   14286   9742   1027 1058.58
1270.57/1271.00	c  1095127    708    11003   642641   58    23715   15715   9823   1031 1061.42
1270.57/1271.00	c  1106488    707    14337   873657   60    30369   17287  13157   1035 1068.27
1270.57/1271.00	c  1123632    707    13939   799564   57    29535   19016  12759   1033 1086.81
1270.57/1271.00	c  1149452    707    19760  1126923   57    41251   20918  18580   1037 1107.92
1270.57/1271.00	c  1188284    705    15590   939771   60    32932   23010  14410   1034 1148.18
1270.57/1271.00	c  1246636    704    12250   696918   56    26262   25312  11070   1028 1212.62
1270.57/1271.00	v x1 x2 -x3 -x4 -x5 -x6 -x7 -x8 x9 x10 -x11 x12 -x13 -x14 -x15 -x16 x17 -x18 -x19 -x20 -x21 x22 x23 -x24 x25 -x26 -x27 -x28 -x29 -x30
1270.57/1271.00	v -x31 x32 x33 x34 -x35 -x36 -x37 -x38 -x39 -x40 x41 x42 -x43 x44 -x45 x46 -x47 x48 x49 -x50 -x51 x52 -x53 -x54 -x55 -x56 x57 -x58
1270.57/1271.00	v -x59 x60 x61 x62 -x63 -x64 x65 -x66 x67 -x68 -x69 -x70 -x71 -x72 x73 x74 x75 -x76 -x77 -x78 x79 -x80 x81 -x82 -x83 -x84 -x85 x86
1270.57/1271.00	v -x87 -x88 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 x89 -x90 -x91 -x92 -x93 -x94 -x95 x96 -x153 -x154 x155 x156 -x157
1270.57/1271.00	v -x158 -x159 -x160 x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 x161 -x162 -x163 -x164 -x165 -x166 x167 -x168 x105 x106 -x107
1270.57/1271.00	v -x108 -x109 -x110 -x111 -x112 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120
1270.57/1271.00	v -x177 x178 -x179 -x180 -x181 -x182 -x183 -x184 x121 -x122 -x123 x124 -x125 -x126 -x127 -x128 -x185 -x186 -x187 -x188 -x189
1270.57/1271.00	v -x190 -x191 -x192 x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x193 x194 -x195 -x196 -x197 -x198 -x199 -x200 x137 -x138
1270.57/1271.00	v x139 -x140 -x141 -x142 -x143 -x144 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 x209 -x210 -x211 -x212 -x213 -x214 -x215
1270.57/1271.00	v -x216
1270.57/1271.00	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1270.57/1271.00	c   87  1283606  11410  1339529    20786  1063371  19606   1010 1270.57
1270.57/1271.00	c Objective: 3
1270.57/1271.00	s OPTIMUM FOUND
1270.57/1271.00	c Total time: 1270.57 s

Verifier Data (download as text)

OK	3

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node15/watcher-431668-1178009007 -o ROOT/results/node15/solver-431668-1178009007 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/431668-1178009007/instance-431668-1178009007.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.91 0.98 0.98 3/77 30092
/proc/meminfo: memFree=1796592/2055920 swapFree=4169108/4192956
[pid=30092] ppid=30090 vsize=3936 CPUtime=0
/proc/30092/stat : 30092 (bsolo3.0.16) R 30090 30092 29128 0 -1 4194304 381 0 0 0 0 0 0 0 18 0 1 0 248818312 4030464 350 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 7947899 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30092/statm: 984 350 292 324 0 50 0

[startup+0.0472741 s]
/proc/loadavg: 0.91 0.98 0.98 3/77 30092
/proc/meminfo: memFree=1796592/2055920 swapFree=4169108/4192956
[pid=30092] ppid=30090 vsize=4592 CPUtime=0.04
/proc/30092/stat : 30092 (bsolo3.0.16) R 30090 30092 29128 0 -1 4194304 572 0 0 0 4 0 0 0 18 0 1 0 248818312 4702208 538 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30092/statm: 1148 538 312 324 0 217 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 4592

[startup+0.101279 s]
/proc/loadavg: 0.91 0.98 0.98 3/77 30092
/proc/meminfo: memFree=1796592/2055920 swapFree=4169108/4192956
[pid=30092] ppid=30090 vsize=5240 CPUtime=0.09
/proc/30092/stat : 30092 (bsolo3.0.16) R 30090 30092 29128 0 -1 4194304 712 0 0 0 9 0 0 0 18 0 1 0 248818312 5365760 678 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30092/statm: 1310 678 312 324 0 379 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5240

[startup+0.301296 s]
/proc/loadavg: 0.91 0.98 0.98 3/77 30092
/proc/meminfo: memFree=1796592/2055920 swapFree=4169108/4192956
[pid=30092] ppid=30090 vsize=7056 CPUtime=0.29
/proc/30092/stat : 30092 (bsolo3.0.16) R 30090 30092 29128 0 -1 4194304 1160 0 0 0 29 0 0 0 19 0 1 0 248818312 7225344 1126 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30092/statm: 1764 1126 312 324 0 833 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7056

[startup+0.701333 s]
/proc/loadavg: 0.91 0.98 0.98 3/77 30092
/proc/meminfo: memFree=1796592/2055920 swapFree=4169108/4192956
[pid=30092] ppid=30090 vsize=10032 CPUtime=0.69
/proc/30092/stat : 30092 (bsolo3.0.16) R 30090 30092 29128 0 -1 4194304 1924 0 0 0 68 1 0 0 23 0 1 0 248818312 10272768 1890 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30092/statm: 2508 1890 312 324 0 1577 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10032

[startup+1.50141 s]
/proc/loadavg: 0.91 0.98 0.98 2/78 30093
/proc/meminfo: memFree=1789096/2055920 swapFree=4169108/4192956
[pid=30092] ppid=30090 vsize=12356 CPUtime=1.49
/proc/30092/stat : 30092 (bsolo3.0.16) R 30090 30092 29128 0 -1 4194304 2491 0 0 0 148 1 0 0 25 0 1 0 248818312 12652544 2457 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30092/statm: 3089 2457 312 324 0 2158 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 12356

[startup+3.10155 s]
/proc/loadavg: 0.91 0.98 0.98 2/78 30093
/proc/meminfo: memFree=1784744/2055920 swapFree=4169108/4192956
[pid=30092] ppid=30090 vsize=17248 CPUtime=3.09
/proc/30092/stat : 30092 (bsolo3.0.16) R 30090 30092 29128 0 -1 4194304 3729 0 0 0 307 2 0 0 25 0 1 0 248818312 17661952 3695 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30092/statm: 4312 3695 312 324 0 3381 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17248

[startup+6.30185 s]
/proc/loadavg: 0.92 0.98 0.98 2/78 30093
/proc/meminfo: memFree=1779752/2055920 swapFree=4169108/4192956
[pid=30092] ppid=30090 vsize=20856 CPUtime=6.28
/proc/30092/stat : 30092 (bsolo3.0.16) R 30090 30092 29128 0 -1 4194304 4619 0 0 0 625 3 0 0 25 0 1 0 248818312 21356544 4585 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551371 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30092/statm: 5214 4585 312 324 0 4283 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 20856

[startup+12.7014 s]
/proc/loadavg: 0.93 0.98 0.98 2/78 30093
/proc/meminfo: memFree=1777200/2055920 swapFree=4169108/4192956
[pid=30092] ppid=30090 vsize=23404 CPUtime=12.68
/proc/30092/stat : 30092 (bsolo3.0.16) R 30090 30092 29128 0 -1 4194304 5270 0 0 0 1263 5 0 0 25 0 1 0 248818312 23965696 5236 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30092/statm: 5851 5236 312 324 0 4920 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 23404

[startup+25.5016 s]
/proc/loadavg: 0.94 0.98 0.98 2/78 30093
/proc/meminfo: memFree=1773168/2055920 swapFree=4169108/4192956
[pid=30092] ppid=30090 vsize=26760 CPUtime=25.49
/proc/30092/stat : 30092 (bsolo3.0.16) R 30090 30092 29128 0 -1 4194304 6114 0 0 0 2539 10 0 0 25 0 1 0 248818312 27402240 6080 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30092/statm: 6690 6080 313 324 0 5759 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 26760

[startup+51.102 s]
/proc/loadavg: 0.96 0.98 0.98 2/78 30093
/proc/meminfo: memFree=1773168/2055920 swapFree=4169108/4192956
[pid=30092] ppid=30090 vsize=26760 CPUtime=51.07
/proc/30092/stat : 30092 (bsolo3.0.16) R 30090 30092 29128 0 -1 4194304 6114 0 0 0 5093 14 0 0 25 0 1 0 248818312 27402240 6080 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 7944021 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30092/statm: 6690 6080 313 324 0 5759 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 26760

[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.98 2/78 30093
/proc/meminfo: memFree=1773232/2055920 swapFree=4169108/4192956
[pid=30092] ppid=30090 vsize=26760 CPUtime=102.26
/proc/30092/stat : 30092 (bsolo3.0.16) R 30090 30092 29128 0 -1 4194304 6114 0 0 0 10204 22 0 0 25 0 1 0 248818312 27402240 6080 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30092/statm: 6690 6080 313 324 0 5759 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 26760

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 30093
/proc/meminfo: memFree=1770352/2055920 swapFree=4169108/4192956
[pid=30092] ppid=30090 vsize=29608 CPUtime=162.25
/proc/30092/stat : 30092 (bsolo3.0.16) R 30090 30092 29128 0 -1 4194304 6828 0 0 0 16194 31 0 0 25 0 1 0 248818312 30318592 6794 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551012 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30092/statm: 7402 6794 313 324 0 6471 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 29608

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 30093
/proc/meminfo: memFree=1770160/2055920 swapFree=4169108/4192956
[pid=30092] ppid=30090 vsize=29744 CPUtime=222.23
/proc/30092/stat : 30092 (bsolo3.0.16) R 30090 30092 29128 0 -1 4194304 6861 0 0 0 22184 39 0 0 25 0 1 0 248818312 30457856 6827 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551395 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30092/statm: 7436 6827 313 324 0 6505 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 29744

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 30093
/proc/meminfo: memFree=1768048/2055920 swapFree=4169108/4192956
[pid=30092] ppid=30090 vsize=31840 CPUtime=282.21
/proc/30092/stat : 30092 (bsolo3.0.16) R 30090 30092 29128 0 -1 4194304 7384 0 0 0 28177 44 0 0 25 0 1 0 248818312 32604160 7350 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30092/statm: 7960 7350 313 324 0 7029 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 31840

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 30093
/proc/meminfo: memFree=1768048/2055920 swapFree=4169108/4192956
[pid=30092] ppid=30090 vsize=31828 CPUtime=342.2
/proc/30092/stat : 30092 (bsolo3.0.16) R 30090 30092 29128 0 -1 4194304 7384 0 0 0 34162 58 0 0 25 0 1 0 248818312 32591872 7350 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30092/statm: 7957 7350 313 324 0 7026 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 31828

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 30093
/proc/meminfo: memFree=1767984/2055920 swapFree=4169108/4192956
[pid=30092] ppid=30090 vsize=31828 CPUtime=402.18
/proc/30092/stat : 30092 (bsolo3.0.16) R 30090 30092 29128 0 -1 4194304 7384 0 0 0 40154 64 0 0 25 0 1 0 248818312 32591872 7350 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30092/statm: 7957 7350 313 324 0 7026 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 31828

[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 30093
/proc/meminfo: memFree=1767984/2055920 swapFree=4169108/4192956
[pid=30092] ppid=30090 vsize=31824 CPUtime=462.17
/proc/30092/stat : 30092 (bsolo3.0.16) R 30090 30092 29128 0 -1 4194304 7384 0 0 0 46143 74 0 0 25 0 1 0 248818312 32587776 7350 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30092/statm: 7956 7350 313 324 0 7025 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 31824

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 30093
/proc/meminfo: memFree=1767984/2055920 swapFree=4169108/4192956
[pid=30092] ppid=30090 vsize=31824 CPUtime=522.15
/proc/30092/stat : 30092 (bsolo3.0.16) R 30090 30092 29128 0 -1 4194304 7384 0 0 0 52136 79 0 0 25 0 1 0 248818312 32587776 7350 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30092/statm: 7956 7350 313 324 0 7025 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 31824

[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 30093
/proc/meminfo: memFree=1767024/2055920 swapFree=4169108/4192956
[pid=30092] ppid=30090 vsize=32732 CPUtime=582.14
/proc/30092/stat : 30092 (bsolo3.0.16) R 30090 30092 29128 0 -1 4194304 7612 0 0 0 58125 89 0 0 25 0 1 0 248818312 33517568 7573 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 7945965 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30092/statm: 8183 7573 313 324 0 7252 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 32732

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 30093
/proc/meminfo: memFree=1767024/2055920 swapFree=4169108/4192956
[pid=30092] ppid=30090 vsize=32724 CPUtime=642.13
/proc/30092/stat : 30092 (bsolo3.0.16) R 30090 30092 29128 0 -1 4194304 7612 0 0 0 64119 94 0 0 25 0 1 0 248818312 33509376 7573 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30092/statm: 8181 7573 313 324 0 7250 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 32724

[startup+702.302 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 30093
/proc/meminfo: memFree=1767088/2055920 swapFree=4169108/4192956
[pid=30092] ppid=30090 vsize=32720 CPUtime=702.11
/proc/30092/stat : 30092 (bsolo3.0.16) R 30090 30092 29128 0 -1 4194304 7612 0 0 0 70112 99 0 0 25 0 1 0 248818312 33505280 7573 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30092/statm: 8180 7573 313 324 0 7249 0
Current children cumulated CPU time (s) 702.11
Current children cumulated vsize (KiB) 32720

[startup+762.305 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 30093
/proc/meminfo: memFree=1765424/2055920 swapFree=4169108/4192956
[pid=30092] ppid=30090 vsize=34316 CPUtime=762.1
/proc/30092/stat : 30092 (bsolo3.0.16) R 30090 30092 29128 0 -1 4194304 8012 0 0 0 76102 108 0 0 25 0 1 0 248818312 35139584 7973 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30092/statm: 8579 7973 313 324 0 7648 0
Current children cumulated CPU time (s) 762.1
Current children cumulated vsize (KiB) 34316

[startup+822.302 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 30093
/proc/meminfo: memFree=1765424/2055920 swapFree=4169108/4192956
[pid=30092] ppid=30090 vsize=34300 CPUtime=822.08
/proc/30092/stat : 30092 (bsolo3.0.16) R 30090 30092 29128 0 -1 4194304 8012 0 0 0 82094 114 0 0 25 0 1 0 248818312 35123200 7970 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30092/statm: 8575 7970 313 324 0 7644 0
Current children cumulated CPU time (s) 822.08
Current children cumulated vsize (KiB) 34300

[startup+882.301 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 30093
/proc/meminfo: memFree=1765424/2055920 swapFree=4169108/4192956
[pid=30092] ppid=30090 vsize=34300 CPUtime=882.07
/proc/30092/stat : 30092 (bsolo3.0.16) R 30090 30092 29128 0 -1 4194304 8012 0 0 0 88085 122 0 0 25 0 1 0 248818312 35123200 7970 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30092/statm: 8575 7970 313 324 0 7644 0
Current children cumulated CPU time (s) 882.07
Current children cumulated vsize (KiB) 34300

[startup+942.302 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 30093
/proc/meminfo: memFree=1765488/2055920 swapFree=4169108/4192956
[pid=30092] ppid=30090 vsize=34260 CPUtime=942.05
/proc/30092/stat : 30092 (bsolo3.0.16) R 30090 30092 29128 0 -1 4194304 8012 0 0 0 94072 133 0 0 25 0 1 0 248818312 35082240 7960 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30092/statm: 8565 7960 313 324 0 7634 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 34260

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 30093
/proc/meminfo: memFree=1765424/2055920 swapFree=4169108/4192956
[pid=30092] ppid=30090 vsize=34260 CPUtime=1002.04
/proc/30092/stat : 30092 (bsolo3.0.16) R 30090 30092 29128 0 -1 4194304 8012 0 0 0 100060 144 0 0 25 0 1 0 248818312 35082240 7960 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30092/statm: 8565 7960 313 324 0 7634 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 34260

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.98 2/84 30165
/proc/meminfo: memFree=1764144/2055920 swapFree=4169108/4192956
[pid=30092] ppid=30090 vsize=34260 CPUtime=1061.99
/proc/30092/stat : 30092 (bsolo3.0.16) R 30090 30092 29128 0 -1 4194304 8012 0 0 0 106044 155 0 0 25 0 1 0 248818312 35082240 7960 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 7954120 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30092/statm: 8565 7960 313 324 0 7634 0
Current children cumulated CPU time (s) 1061.99
Current children cumulated vsize (KiB) 34260

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 30291
/proc/meminfo: memFree=1765168/2055920 swapFree=4169108/4192956
[pid=30092] ppid=30090 vsize=34260 CPUtime=1121.9
/proc/30092/stat : 30092 (bsolo3.0.16) R 30090 30092 29128 0 -1 4194304 8012 0 0 0 112027 163 0 0 25 0 1 0 248818312 35082240 7960 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551539 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30092/statm: 8565 7960 313 324 0 7634 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 34260

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 30291
/proc/meminfo: memFree=1765232/2055920 swapFree=4169108/4192956
[pid=30092] ppid=30090 vsize=34260 CPUtime=1181.89
/proc/30092/stat : 30092 (bsolo3.0.16) R 30090 30092 29128 0 -1 4194304 8012 0 0 0 118018 171 0 0 25 0 1 0 248818312 35082240 7960 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551654 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30092/statm: 8565 7960 313 324 0 7634 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 34260

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 30291
/proc/meminfo: memFree=1765232/2055920 swapFree=4169108/4192956
[pid=30092] ppid=30090 vsize=34260 CPUtime=1241.86
/proc/30092/stat : 30092 (bsolo3.0.16) R 30090 30092 29128 0 -1 4194304 8012 0 0 0 124009 177 0 0 25 0 1 0 248818312 35082240 7960 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30092/statm: 8565 7960 313 324 0 7634 0
Current children cumulated CPU time (s) 1241.86
Current children cumulated vsize (KiB) 34260

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

[startup+1254.3 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 30291
/proc/meminfo: memFree=1765232/2055920 swapFree=4169108/4192956
[pid=30092] ppid=30090 vsize=34260 CPUtime=1253.87
/proc/30092/stat : 30092 (bsolo3.0.16) R 30090 30092 29128 0 -1 4194304 8012 0 0 0 125208 179 0 0 25 0 1 0 248818312 35082240 7960 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 7944021 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30092/statm: 8565 7960 313 324 0 7634 0
Current children cumulated CPU time (s) 1253.87
Current children cumulated vsize (KiB) 34260

[startup+1260.7 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 30291
/proc/meminfo: memFree=1765232/2055920 swapFree=4169108/4192956
[pid=30092] ppid=30090 vsize=34260 CPUtime=1260.27
/proc/30092/stat : 30092 (bsolo3.0.16) R 30090 30092 29128 0 -1 4194304 8012 0 0 0 125847 180 0 0 25 0 1 0 248818312 35082240 7960 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551116 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30092/statm: 8565 7960 313 324 0 7634 0
Current children cumulated CPU time (s) 1260.27
Current children cumulated vsize (KiB) 34260

[startup+1267.1 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 30291
/proc/meminfo: memFree=1765232/2055920 swapFree=4169108/4192956
[pid=30092] ppid=30090 vsize=34260 CPUtime=1266.66
/proc/30092/stat : 30092 (bsolo3.0.16) R 30090 30092 29128 0 -1 4194304 8012 0 0 0 126486 180 0 0 25 0 1 0 248818312 35082240 7960 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551371 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30092/statm: 8565 7960 313 324 0 7634 0
Current children cumulated CPU time (s) 1266.66
Current children cumulated vsize (KiB) 34260

[startup+1268.7 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 30291
/proc/meminfo: memFree=1765232/2055920 swapFree=4169108/4192956
[pid=30092] ppid=30090 vsize=34260 CPUtime=1268.27
/proc/30092/stat : 30092 (bsolo3.0.16) R 30090 30092 29128 0 -1 4194304 8012 0 0 0 126646 181 0 0 25 0 1 0 248818312 35082240 7960 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30092/statm: 8565 7960 313 324 0 7634 0
Current children cumulated CPU time (s) 1268.27
Current children cumulated vsize (KiB) 34260

[startup+1270.3 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 30291
/proc/meminfo: memFree=1765232/2055920 swapFree=4169108/4192956
[pid=30092] ppid=30090 vsize=34260 CPUtime=1269.87
/proc/30092/stat : 30092 (bsolo3.0.16) R 30090 30092 29128 0 -1 4194304 8012 0 0 0 126806 181 0 0 25 0 1 0 248818312 35082240 7960 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30092/statm: 8565 7960 313 324 0 7634 0
Current children cumulated CPU time (s) 1269.87
Current children cumulated vsize (KiB) 34260

[startup+1270.7 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 30291
/proc/meminfo: memFree=1765232/2055920 swapFree=4169108/4192956
[pid=30092] ppid=30090 vsize=34260 CPUtime=1270.27
/proc/30092/stat : 30092 (bsolo3.0.16) R 30090 30092 29128 0 -1 4194304 8012 0 0 0 126846 181 0 0 25 0 1 0 248818312 35082240 7960 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160521812 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30092/statm: 8565 7960 313 324 0 7634 0
Current children cumulated CPU time (s) 1270.27
Current children cumulated vsize (KiB) 34260

[startup+1270.9 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 30291
/proc/meminfo: memFree=1765232/2055920 swapFree=4169108/4192956
[pid=30092] ppid=30090 vsize=34260 CPUtime=1270.47
/proc/30092/stat : 30092 (bsolo3.0.16) R 30090 30092 29128 0 -1 4194304 8012 0 0 0 126866 181 0 0 25 0 1 0 248818312 35082240 7960 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30092/statm: 8565 7960 313 324 0 7634 0
Current children cumulated CPU time (s) 1270.47
Current children cumulated vsize (KiB) 34260

[startup+1271 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 30291
/proc/meminfo: memFree=1765232/2055920 swapFree=4169108/4192956
[pid=30092] ppid=30090 vsize=34260 CPUtime=1270.57
/proc/30092/stat : 30092 (bsolo3.0.16) R 30090 30092 29128 0 -1 4194304 8012 0 0 0 126876 181 0 0 25 0 1 0 248818312 35082240 7960 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30092/statm: 8565 7960 313 324 0 7634 0
Current children cumulated CPU time (s) 1270.57
Current children cumulated vsize (KiB) 34260

Child status: 0
Real time (s): 1271.01
CPU time (s): 1270.58
CPU user time (s): 1268.76
CPU system time (s): 1.81672
CPU usage (%): 99.9662
Max. virtual memory (cumulated for all children) (KiB): 34440

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1268.76
system time used= 1.81672
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8013
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= 11
involuntary context switches= 25668

runsolver used 0.994848 second user time and 2.77258 second system time

The end

Launcher Data (download as text)

Begin job on node15 on Tue May  1 08:43:27 UTC 2007

IDJOB= 431668
IDBENCH= 48068
IDSOLVER= 163
FILE ID= node15/431668-1178009007

PBS_JOBID= 4728273

Free space on /tmp= 66558 MiB

SOLVER NAME= bsolo 3.0.16
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=103-P1=223-P2=29-P3=89-P4=173-P5=97-P6=227-P7=89-P8=127-P9=223-B.opb
COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/431668-1178009007/instance-431668-1178009007.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node15/watcher-431668-1178009007 -o ROOT/results/node15/solver-431668-1178009007 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/431668-1178009007/instance-431668-1178009007.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  9b7cb599a49db47c0ffbf25416bcef37

RANDOM SEED= 671332116

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node15.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.227
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.227
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:       1797000 kB
Buffers:         46840 kB
Cached:         124336 kB
SwapCached:       2360 kB
Active:          92596 kB
Inactive:       102136 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1797000 kB
SwapTotal:     4192956 kB
SwapFree:      4169108 kB
Dirty:            6752 kB
Writeback:           0 kB
Mapped:          30952 kB
Slab:            49612 kB
Committed_AS:  7628044 kB
PageTables:       1868 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 node15 on Tue May  1 09:04:38 UTC 2007