Trace number 455061

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)-17 1800.3 1800.95

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_200_25_2.opb
MD5SUM219f407da86957d900e068170e9af8b6
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-32
Best CPU time to get the best result obtained on this benchmark1800.08
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -32
Optimality of the best value was proved NO
Number of variables400
Total number of constraints601
Number of constraints which are clauses200
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints401
Minimum length of a constraint2
Maximum length of a constraint400
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 400
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)12440
Sum of products size (including duplicates)24880
Number of different products6220
Sum of products size12440

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.17 - 27/04/2007 : 1600 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 Memory Limit set to 1800 MB
0.00/0.00	c Instance file /tmp/evaluation/455061-1178036431/instance-455061-1178036431.opb
0.00/0.00	c File size is 166850 bytes.
0.09/0.11	c Highest Coefficient sum: 400
0.09/0.11	c Parsing was ok!!
0.09/0.11	c Total parsing time: 0.114 s
0.09/0.13	c Var: 12840 Constr: 25482 12640/402/12440 Lit: 88280 Watch. Lit: 75442
0.09/0.13	c Obj. Vars: 200 (1.55763 % of total variables)
64.96/65.01	c Pre-processing Time: 64.985 s
64.96/65.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
64.96/65.01	c        0  12840    25482    88280    3    75442  208763      0      0 64.98
64.96/65.01	c Switching off LPR mode.
64.96/65.03	o -1	65.001
64.96/65.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
64.96/65.05	c        0  12840    25483    88480    3    75445  208897      1      0 65.01
64.96/65.05	o -2	65.023
64.96/65.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
64.96/65.07	c        0  12840    25484    88680    3    75449  209097      2      0 65.03
64.96/65.07	o -3	65.045
64.96/65.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
64.96/65.09	c        0  12840    25485    88880    3    75454  209363      3      0 65.05
64.96/65.09	o -4	65.067
65.06/65.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
65.06/65.12	c        0  12840    25486    89080    3    75460  209697      4      0 65.07
65.06/65.12	o -5	65.09
65.06/65.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
65.06/65.14	c        0  12840    25487    89280    3    75467  210097      5      0 65.10
65.06/65.14	o -6	65.114
65.06/65.16	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
65.06/65.16	c        0  12840    25488    89480    3    75475  210563      6      0 65.12
65.06/65.16	o -7	65.137
65.06/65.19	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
65.06/65.19	c        0  12840    25489    89680    3    75484  211097      7      0 65.14
65.06/65.19	o -8	65.161
65.16/65.21	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
65.16/65.21	c        0  12840    25490    89880    3    75494  211697      8      0 65.17
65.16/65.21	o -9	65.185
65.16/65.24	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
65.16/65.24	c        0  12840    25491    90080    3    75505  212363      9      0 65.19
65.16/65.24	o -10	65.208
65.16/65.26	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
65.16/65.26	c        0  12840    25492    90280    3    75517  213097     10      0 65.22
65.16/65.26	o -11	65.232
65.16/65.28	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
65.16/65.28	c        0  12840    25493    90480    3    75530  213897     11      0 65.24
65.16/65.28	o -12	65.256
65.26/65.31	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
65.26/65.31	c        0  12840    25494    90680    3    75544  214763     12      0 65.26
65.26/65.31	o -13	65.28
65.26/65.33	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
65.26/65.33	c        0  12840    25495    90880    3    75559  215697     13      0 65.29
65.26/65.33	o -14	65.305
65.26/65.38	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
65.26/65.38	c        0  12840    25496    91080    3    75575  216697     14      0 65.31
65.26/65.38	o -15	65.353
65.96/66.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
65.96/66.01	c        9  12840    25506    93402    3    75610  216697     24      0 65.36
65.96/66.01	c      109  12840    25606   115065    4    75810  238367    124      1 65.56
65.96/66.01	c      359  12840    25856   186889    7    76310  262204    374      5 65.87
65.96/66.01	o -16	65.979
386.85/387.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
386.85/387.07	c      494  12840    25992   228924    8    76598  216697    510      7 65.99
386.85/387.07	c      594  12840    26092   250561    9    76798  238367    610      8 66.11
386.85/387.07	c      844  12840    26342   306333   11    77298  262204    860     12 66.33
386.85/387.07	c     1319  12840    26817   408771   15    78248  288425   1335     19 66.71
386.85/387.07	c     2132  12840    27630   583314   21    79874  317268   2148     31 67.51
386.85/387.07	c     3452  12840    28950   863703   29    82514  348995   3468     50 68.45
386.85/387.07	c     5533  12840    31031  1291375   41    86676  383895   5549     79 69.57
386.85/387.07	c     8756  12840    34254  1999217   58    93122  422285   8772    121 71.95
386.85/387.07	c    13692  12840    39190  3074048   78   102994  464514  13708    180 75.70
386.85/387.07	c    21198  12840    46696  4658574   99   118006  510966  21214    253 83.64
386.85/387.07	c    32559  12840    58057  7097652  122   140728  562063  32575    354 91.92
386.85/387.07	c    49703  12840    75201 10556572  140   175016  618270  49719    486 102.08
386.85/387.07	c    75522  12840   101020 15940020  157   226654  680098  75538    558 135.25
386.85/387.07	c   114354  12840   139852 24559688  175   304318  748108 114370    549 208.07
386.85/387.07	c   172706  12840   198204 38107131  192   421022  822919 172722    490 351.79
386.85/387.07	o -17	386.926
1800.06/1800.70	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.06/1800.70	c   190754  12840   216253 41943782  193   457137  216697 190771    492 386.94
1800.06/1800.70	c   190854  12840   216353 41965952  193   457337  238367 190871    492 387.42
1800.06/1800.70	c   191104  12840   216603 42020619  193   457837  262204 191121    492 388.21
1800.06/1800.70	c   191579  12840   217078 42119705  194   458787  288425 191596    492 389.27
1800.06/1800.70	c   192392  12840   217891 42292834  194   460413  317268 192409    491 391.38
1800.06/1800.70	c   193712  12840   219211 42585553  194   463053  348995 193729    490 395.26
1800.06/1800.70	c   195793  12840   221292 43039138  194   467215  383895 195810    489 399.99
1800.06/1800.70	c   199016  12840   224515 43731295  194   473661  422285 199033    490 405.90
1800.06/1800.70	c   203952  12840   229451 44735756  194   483533  464514 203969    489 416.47
1800.06/1800.70	c   211458  12840   236957 46338458  195   498545  510966 211475    488 433.05
1800.06/1800.70	c   222819  12840   248318 48640562  195   521267  562063 222836    495 449.44
1800.06/1800.70	c   239963  12840   265462 52100464  196   555555  618270 239980    510 469.69
1800.06/1800.70	c   265782  12840   291281 57340126  196   607193  680098 265799    510 521.01
1800.06/1800.70	c   304614  12840   330113 65717385  199   684857  748108 304631    448 678.47
1800.06/1800.70	c   362966  12840   388465 78521207  202   801561  822919 362983    384 943.07
1800.06/1800.70	c   450598  12840   476097 98107708  206   976825  905211 450615    340 1321.89
1800.06/1800.70	c Caught signal: 15
1800.06/1800.70	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
1800.06/1800.70	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
1800.06/1800.70	v -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82
1800.06/1800.70	v -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.06/1800.70	v -x107 x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127
1800.06/1800.70	v -x128 -x129 -x130 -x131 -x132 x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148
1800.06/1800.70	v -x149 x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169
1800.06/1800.70	v -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 x189 -x190
1800.06/1800.70	v -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x291 -x320 -x389 -x376 -x262 -x299 -x265 -x278 -x346 -x228 -x343
1800.06/1800.70	v -x380 -x350 -x294 -x238 -x250 -x255 -x374 -x368 -x331 -x203 -x373 -x370 -x316 -x392 -x208 -x209 -x223 -x277 -x283 -x292 -x327
1800.06/1800.70	v -x337 -x339 -x356 -x359 -x360 -x382 -x386 -x399 -x201 -x211 -x231 -x297 x264 -x214 -x387 x383 -x362 -x397 x253 x378 -x274
1800.06/1800.70	v x398 -x358 -x329 x307 -x261 -x366 -x357 -x315 -x276 -x245 -x204 -x217 -x234 x239 -x241 x249 -x260 x263 -x287 -x341 -x202 -x246
1800.06/1800.70	v -x400 -x367 -x361 -x310 -x324 -x349 -x206 -x363 -x344 -x322 -x317 -x257 -x318 -x369 -x391 -x311 -x371 -x205 -x218 -x225 -x227
1800.06/1800.70	v -x236 -x242 -x296 -x333 -x348 -x395 -x385 -x304 -x252 -x224 -x282 -x309 -x319 -x219 -x300 -x210 -x222 -x281 -x288 -x298 -x330
1800.06/1800.70	v -x351 -x379 -x393 -x347 -x212 -x284 -x235 -x390 -x355 x306 -x275 x273 -x342 -x221 -x232 -x244 -x270 x303 -x323 -x372 -x269
1800.06/1800.70	v -x280 -x321 x267 -x213 -x240 -x243 -x254 -x285 -x314 -x345 -x352 -x332 -x353 -x279 -x268 -x293 -x340 -x365 -x272 -x230 -x248
1800.06/1800.70	v -x286 -x338 -x364 -x207 -x354 -x336 -x302 -x220 -x229 -x259 -x271 -x266 -x308 -x381 -x251 -x305 -x258 -x216 -x326 x377 -x313
1800.06/1800.70	v -x226 -x394 -x215 -x312 -x388 -x328 x396 -x247 -x237 -x256 -x325 x290 -x375 -x295 -x289 -x233 -x301 x334 -x335 -x384
1800.06/1800.71	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.06/1800.71	c   48   527709    242   677715   553208 116264255 527726    293 1800.07
1800.06/1800.71	c Objective: -17
1800.06/1800.71	s SATISFIABLE
1800.06/1800.71	c Total time: 1800.07 s

Verifier Data (download as text)

OK	-17

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node20/watcher-455061-1178036431 -o ROOT/results/node20/solver-455061-1178036431 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/455061-1178036431/instance-455061-1178036431.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: 1.00 1.00 1.00 3/77 26146
/proc/meminfo: memFree=1748056/2055920 swapFree=4154876/4192956
[pid=26146] ppid=26144 vsize=11900 CPUtime=0
/proc/26146/stat : 26146 (bsolo3.0.17) R 26144 26146 25535 0 -1 4194304 362 0 0 0 0 0 0 0 18 0 1 0 251560442 12185600 332 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8054395 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26146/statm: 2975 332 279 324 0 2004 0

[startup+0.073927 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 26146
/proc/meminfo: memFree=1748056/2055920 swapFree=4154876/4192956
[pid=26146] ppid=26144 vsize=6540 CPUtime=0.06
/proc/26146/stat : 26146 (bsolo3.0.17) R 26144 26146 25535 0 -1 4194304 993 0 0 0 6 0 0 0 18 0 1 0 251560442 6696960 963 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8054395 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26146/statm: 1635 963 313 324 0 664 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 6540

[startup+0.101931 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 26146
/proc/meminfo: memFree=1748056/2055920 swapFree=4154876/4192956
[pid=26146] ppid=26144 vsize=7532 CPUtime=0.09
/proc/26146/stat : 26146 (bsolo3.0.17) R 26144 26146 25535 0 -1 4194304 1256 0 0 0 9 0 0 0 18 0 1 0 251560442 7712768 1226 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8054395 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26146/statm: 1883 1226 323 324 0 912 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7532

[startup+0.301971 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 26146
/proc/meminfo: memFree=1748056/2055920 swapFree=4154876/4192956
[pid=26146] ppid=26144 vsize=10796 CPUtime=0.28
/proc/26146/stat : 26146 (bsolo3.0.17) R 26144 26146 25535 0 -1 4194304 2115 0 0 0 28 0 0 0 19 0 1 0 251560442 11055104 2044 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550705 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26146/statm: 2699 2044 305 324 0 1769 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 10796

[startup+0.70105 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 26146
/proc/meminfo: memFree=1748056/2055920 swapFree=4154876/4192956
[pid=26146] ppid=26144 vsize=10796 CPUtime=0.69
/proc/26146/stat : 26146 (bsolo3.0.17) R 26144 26146 25535 0 -1 4194304 2115 0 0 0 68 1 0 0 23 0 1 0 251560442 11055104 2044 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26146/statm: 2699 2044 305 324 0 1769 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10796

[startup+1.50121 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26147
/proc/meminfo: memFree=1741072/2055920 swapFree=4154876/4192956
[pid=26146] ppid=26144 vsize=10796 CPUtime=1.49
/proc/26146/stat : 26146 (bsolo3.0.17) R 26144 26146 25535 0 -1 4194304 2116 0 0 0 148 1 0 0 25 0 1 0 251560442 11055104 2045 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26146/statm: 2699 2045 305 324 0 1769 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10796

[startup+3.10153 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26147
/proc/meminfo: memFree=1740880/2055920 swapFree=4154876/4192956
[pid=26146] ppid=26144 vsize=10796 CPUtime=3.09
/proc/26146/stat : 26146 (bsolo3.0.17) R 26144 26146 25535 0 -1 4194304 2116 0 0 0 308 1 0 0 25 0 1 0 251560442 11055104 2045 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160051250 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26146/statm: 2699 2045 305 324 0 1769 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10796

[startup+6.30117 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26147
/proc/meminfo: memFree=1740760/2055920 swapFree=4154876/4192956
[pid=26146] ppid=26144 vsize=10796 CPUtime=6.29
/proc/26146/stat : 26146 (bsolo3.0.17) R 26144 26146 25535 0 -1 4194304 2116 0 0 0 628 1 0 0 25 0 1 0 251560442 11055104 2045 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26146/statm: 2699 2045 305 324 0 1769 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 10796

[startup+12.7015 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26147
/proc/meminfo: memFree=1740824/2055920 swapFree=4154876/4192956
[pid=26146] ppid=26144 vsize=10796 CPUtime=12.68
/proc/26146/stat : 26146 (bsolo3.0.17) R 26144 26146 25535 0 -1 4194304 2116 0 0 0 1267 1 0 0 25 0 1 0 251560442 11055104 2045 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8048712 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26146/statm: 2699 2045 305 324 0 1769 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 10796

[startup+25.502 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26147
/proc/meminfo: memFree=1740888/2055920 swapFree=4154876/4192956
[pid=26146] ppid=26144 vsize=10796 CPUtime=25.48
/proc/26146/stat : 26146 (bsolo3.0.17) R 26144 26146 25535 0 -1 4194304 2116 0 0 0 2546 2 0 0 25 0 1 0 251560442 11055104 2045 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8060658 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26146/statm: 2699 2045 305 324 0 1769 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 10796

[startup+51.1011 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26147
/proc/meminfo: memFree=1740824/2055920 swapFree=4154876/4192956
[pid=26146] ppid=26144 vsize=10796 CPUtime=51.07
/proc/26146/stat : 26146 (bsolo3.0.17) R 26144 26146 25535 0 -1 4194304 2116 0 0 0 5103 4 0 0 25 0 1 0 251560442 11055104 2045 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8050007 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26146/statm: 2699 2045 305 324 0 1769 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 10796

[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26147
/proc/meminfo: memFree=1601496/2055920 swapFree=4154876/4192956
[pid=26146] ppid=26144 vsize=150100 CPUtime=102.25
/proc/26146/stat : 26146 (bsolo3.0.17) R 26144 26146 25535 0 -1 4194304 37343 0 0 0 10195 30 0 0 25 0 1 0 251560442 153702400 36881 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26146/statm: 37525 36881 311 324 0 36595 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 150100

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26147
/proc/meminfo: memFree=1482456/2055920 swapFree=4154876/4192956
[pid=26146] ppid=26144 vsize=269204 CPUtime=162.22
/proc/26146/stat : 26146 (bsolo3.0.17) R 26144 26146 25535 0 -1 4194304 67124 0 0 0 16170 52 0 0 25 0 1 0 251560442 275664896 66662 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551009 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26146/statm: 67301 66662 311 324 0 66371 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 269204

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26147
/proc/meminfo: memFree=1395352/2055920 swapFree=4154876/4192956
[pid=26146] ppid=26144 vsize=355784 CPUtime=222.21
/proc/26146/stat : 26146 (bsolo3.0.17) R 26144 26146 25535 0 -1 4194304 88770 0 0 0 22150 71 0 0 25 0 1 0 251560442 364322816 88308 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8054395 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26146/statm: 88946 88308 311 324 0 88016 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 355784

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26147
/proc/meminfo: memFree=1319064/2055920 swapFree=4154876/4192956
[pid=26146] ppid=26144 vsize=432468 CPUtime=282.18
/proc/26146/stat : 26146 (bsolo3.0.17) R 26144 26146 25535 0 -1 4194304 107948 0 0 0 28131 87 0 0 25 0 1 0 251560442 442847232 107486 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26146/statm: 108117 107486 311 324 0 107187 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 432468

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26147
/proc/meminfo: memFree=1247576/2055920 swapFree=4154876/4192956
[pid=26146] ppid=26144 vsize=503316 CPUtime=342.16
/proc/26146/stat : 26146 (bsolo3.0.17) R 26144 26146 25535 0 -1 4194304 125643 0 0 0 34115 101 0 0 25 0 1 0 251560442 515395584 125181 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26146/statm: 125829 125181 311 324 0 124899 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 503316

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26147
/proc/meminfo: memFree=1169880/2055920 swapFree=4154876/4192956
[pid=26146] ppid=26144 vsize=581776 CPUtime=402.14
/proc/26146/stat : 26146 (bsolo3.0.17) R 26144 26146 25535 0 -1 4194304 145253 0 0 0 40095 119 0 0 25 0 1 0 251560442 595738624 144791 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26146/statm: 145444 144791 311 324 0 144514 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 581776

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26147
/proc/meminfo: memFree=1069272/2055920 swapFree=4154876/4192956
[pid=26146] ppid=26144 vsize=681896 CPUtime=462.12
/proc/26146/stat : 26146 (bsolo3.0.17) R 26144 26146 25535 0 -1 4194304 170296 0 0 0 46074 138 0 0 25 0 1 0 251560442 698261504 169834 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26146/statm: 170474 169834 311 324 0 169544 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 681896

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26147
/proc/meminfo: memFree=981528/2055920 swapFree=4154876/4192956
[pid=26146] ppid=26144 vsize=769236 CPUtime=522.1
/proc/26146/stat : 26146 (bsolo3.0.17) R 26144 26146 25535 0 -1 4194304 192133 0 0 0 52056 154 0 0 25 0 1 0 251560442 787697664 191671 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26146/statm: 192309 191671 311 324 0 191379 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 769236

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26147
/proc/meminfo: memFree=930968/2055920 swapFree=4154876/4192956
[pid=26146] ppid=26144 vsize=819228 CPUtime=582.08
/proc/26146/stat : 26146 (bsolo3.0.17) R 26144 26146 25535 0 -1 4194304 204628 0 0 0 58041 167 0 0 25 0 1 0 251560442 838889472 204166 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26146/statm: 204807 204166 311 324 0 203877 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 819228

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26147
/proc/meminfo: memFree=895896/2055920 swapFree=4154876/4192956
[pid=26146] ppid=26144 vsize=853972 CPUtime=642.06
/proc/26146/stat : 26146 (bsolo3.0.17) R 26144 26146 25535 0 -1 4194304 213324 0 0 0 64031 175 0 0 25 0 1 0 251560442 874467328 212862 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26146/statm: 213493 212862 311 324 0 212563 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 853972


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

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26147
/proc/meminfo: memFree=702296/2055920 swapFree=4154876/4192956
[pid=26146] ppid=26144 vsize=1047872 CPUtime=941.95
/proc/26146/stat : 26146 (bsolo3.0.17) R 26144 26146 25535 0 -1 4194304 261778 0 0 0 93969 226 0 0 25 0 1 0 251560442 1073020928 261316 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26146/statm: 261968 261316 311 324 0 261038 0
Current children cumulated CPU time (s) 941.95
Current children cumulated vsize (KiB) 1047872

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26147
/proc/meminfo: memFree=647256/2055920 swapFree=4154876/4192956
[pid=26146] ppid=26144 vsize=1102448 CPUtime=1001.93
/proc/26146/stat : 26146 (bsolo3.0.17) R 26144 26146 25535 0 -1 4194304 275438 0 0 0 99954 239 0 0 25 0 1 0 251560442 1128906752 274976 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26146/statm: 275612 274976 311 324 0 274682 0
Current children cumulated CPU time (s) 1001.93
Current children cumulated vsize (KiB) 1102448

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26147
/proc/meminfo: memFree=603032/2055920 swapFree=4154876/4192956
[pid=26146] ppid=26144 vsize=1146872 CPUtime=1061.91
/proc/26146/stat : 26146 (bsolo3.0.17) R 26144 26146 25535 0 -1 4194304 286529 0 0 0 105941 250 0 0 25 0 1 0 251560442 1174396928 286067 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26146/statm: 286718 286067 311 324 0 285788 0
Current children cumulated CPU time (s) 1061.91
Current children cumulated vsize (KiB) 1146872

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26147
/proc/meminfo: memFree=555224/2055920 swapFree=4154876/4192956
[pid=26146] ppid=26144 vsize=1194268 CPUtime=1121.89
/proc/26146/stat : 26146 (bsolo3.0.17) R 26144 26146 25535 0 -1 4194304 298399 0 0 0 111928 261 0 0 25 0 1 0 251560442 1222930432 297937 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26146/statm: 298567 297937 311 324 0 297637 0
Current children cumulated CPU time (s) 1121.89
Current children cumulated vsize (KiB) 1194268

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26147
/proc/meminfo: memFree=519512/2055920 swapFree=4154876/4192956
[pid=26146] ppid=26144 vsize=1230016 CPUtime=1181.87
/proc/26146/stat : 26146 (bsolo3.0.17) R 26144 26146 25535 0 -1 4194304 307315 0 0 0 117916 271 0 0 25 0 1 0 251560442 1259536384 306853 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091713 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26146/statm: 307504 306853 311 324 0 306574 0
Current children cumulated CPU time (s) 1181.87
Current children cumulated vsize (KiB) 1230016

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26147
/proc/meminfo: memFree=489048/2055920 swapFree=4154876/4192956
[pid=26146] ppid=26144 vsize=1260424 CPUtime=1241.85
/proc/26146/stat : 26146 (bsolo3.0.17) R 26144 26146 25535 0 -1 4194304 314913 0 0 0 123906 279 0 0 25 0 1 0 251560442 1290674176 314451 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26146/statm: 315106 314451 311 324 0 314176 0
Current children cumulated CPU time (s) 1241.85
Current children cumulated vsize (KiB) 1260424

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26149
/proc/meminfo: memFree=453848/2055920 swapFree=4154876/4192956
[pid=26146] ppid=26144 vsize=1295296 CPUtime=1301.83
/proc/26146/stat : 26146 (bsolo3.0.17) R 26144 26146 25535 0 -1 4194304 323637 0 0 0 129895 288 0 0 25 0 1 0 251560442 1326383104 323175 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134559677 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26146/statm: 323824 323175 311 324 0 322894 0
Current children cumulated CPU time (s) 1301.83
Current children cumulated vsize (KiB) 1295296

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26149
/proc/meminfo: memFree=416600/2055920 swapFree=4154876/4192956
[pid=26146] ppid=26144 vsize=1332664 CPUtime=1361.8
/proc/26146/stat : 26146 (bsolo3.0.17) R 26144 26146 25535 0 -1 4194304 333000 0 0 0 135885 295 0 0 25 0 1 0 251560442 1364647936 332538 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26146/statm: 333166 332538 311 324 0 332236 0
Current children cumulated CPU time (s) 1361.8
Current children cumulated vsize (KiB) 1332664

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26149
/proc/meminfo: memFree=382040/2055920 swapFree=4154876/4192956
[pid=26146] ppid=26144 vsize=1366888 CPUtime=1421.78
/proc/26146/stat : 26146 (bsolo3.0.17) R 26144 26146 25535 0 -1 4194304 341534 0 0 0 141874 304 0 0 25 0 1 0 251560442 1399693312 341072 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8060645 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26146/statm: 341722 341072 311 324 0 340792 0
Current children cumulated CPU time (s) 1421.78
Current children cumulated vsize (KiB) 1366888

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26149
/proc/meminfo: memFree=356376/2055920 swapFree=4154876/4192956
[pid=26146] ppid=26144 vsize=1392620 CPUtime=1481.76
/proc/26146/stat : 26146 (bsolo3.0.17) R 26144 26146 25535 0 -1 4194304 347977 0 0 0 147866 310 0 0 25 0 1 0 251560442 1426042880 347515 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26146/statm: 348155 347515 311 324 0 347225 0
Current children cumulated CPU time (s) 1481.76
Current children cumulated vsize (KiB) 1392620

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26149
/proc/meminfo: memFree=329816/2055920 swapFree=4154876/4192956
[pid=26146] ppid=26144 vsize=1419040 CPUtime=1541.74
/proc/26146/stat : 26146 (bsolo3.0.17) R 26144 26146 25535 0 -1 4194304 354586 0 0 0 153858 316 0 0 25 0 1 0 251560442 1453096960 354124 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26146/statm: 354760 354124 311 324 0 353830 0
Current children cumulated CPU time (s) 1541.74
Current children cumulated vsize (KiB) 1419040

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26149
/proc/meminfo: memFree=304216/2055920 swapFree=4154876/4192956
[pid=26146] ppid=26144 vsize=1444784 CPUtime=1601.72
/proc/26146/stat : 26146 (bsolo3.0.17) R 26144 26146 25535 0 -1 4194304 361033 0 0 0 159848 324 0 0 25 0 1 0 251560442 1479458816 360571 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26146/statm: 361196 360571 311 324 0 360266 0
Current children cumulated CPU time (s) 1601.72
Current children cumulated vsize (KiB) 1444784

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26149
/proc/meminfo: memFree=278680/2055920 swapFree=4154876/4192956
[pid=26146] ppid=26144 vsize=1470040 CPUtime=1661.7
/proc/26146/stat : 26146 (bsolo3.0.17) R 26144 26146 25535 0 -1 4194304 367334 0 0 0 165840 330 0 0 25 0 1 0 251560442 1505320960 366872 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550896 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26146/statm: 367510 366872 311 324 0 366580 0
Current children cumulated CPU time (s) 1661.7
Current children cumulated vsize (KiB) 1470040

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 3/78 26149
/proc/meminfo: memFree=244888/2055920 swapFree=4154876/4192956
[pid=26146] ppid=26144 vsize=1504236 CPUtime=1721.68
/proc/26146/stat : 26146 (bsolo3.0.17) R 26144 26146 25535 0 -1 4194304 375879 0 0 0 171828 340 0 0 25 0 1 0 251560442 1540337664 375417 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26146/statm: 376059 375417 311 324 0 375129 0
Current children cumulated CPU time (s) 1721.68
Current children cumulated vsize (KiB) 1504236

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26149
/proc/meminfo: memFree=211608/2055920 swapFree=4154876/4192956
[pid=26146] ppid=26144 vsize=1537060 CPUtime=1781.65
/proc/26146/stat : 26146 (bsolo3.0.17) R 26144 26146 25535 0 -1 4194304 384095 0 0 0 177816 349 0 0 25 0 1 0 251560442 1573949440 383633 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26146/statm: 384265 383633 311 324 0 383335 0
Current children cumulated CPU time (s) 1781.65
Current children cumulated vsize (KiB) 1537060



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26149
/proc/meminfo: memFree=201944/2055920 swapFree=4154876/4192956
[pid=26146] ppid=26144 vsize=1546552 CPUtime=1800.06
/proc/26146/stat : 26146 (bsolo3.0.17) R 26144 26146 25535 0 -1 4194304 386465 0 0 0 179654 352 0 0 25 0 1 0 251560442 1583669248 386003 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26146/statm: 386638 386003 311 324 0 385708 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1546552

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

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

[startup+1800.81 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26149
/proc/meminfo: memFree=201944/2055920 swapFree=4154876/4192956
[pid=26146] ppid=26144 vsize=0 CPUtime=1800.15
/proc/26146/stat : 26146 (bsolo3.0.17) R 26144 26146 25535 0 -1 4194308 386469 0 0 0 179654 361 0 0 25 0 1 0 251560442 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0
/proc/26146/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.15
Current children cumulated vsize (KiB) 0

[startup+1800.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26149
/proc/meminfo: memFree=201944/2055920 swapFree=4154876/4192956
[pid=26146] ppid=26144 vsize=0 CPUtime=1800.25
/proc/26146/stat : 26146 (bsolo3.0.17) R 26144 26146 25535 0 -1 4194308 386469 0 0 0 179654 371 0 0 25 0 1 0 251560442 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0
/proc/26146/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.25
Current children cumulated vsize (KiB) 0

Child status: 15
Real time (s): 1800.95
CPU time (s): 1800.3
CPU user time (s): 1796.54
CPU system time (s): 3.75943
CPU usage (%): 99.9641
Max. virtual memory (cumulated for all children) (KiB): 1546552

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

runsolver used 1.34879 second user time and 3.9554 second system time

The end

Launcher Data (download as text)

Begin job on node20 on Tue May  1 16:20:31 UTC 2007

IDJOB= 455061
IDBENCH= 48238
IDSOLVER= 199
FILE ID= node20/455061-1178036431

PBS_JOBID= 4728447

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/bsg/normalized-bsg_200_25_2.opb
COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/455061-1178036431/instance-455061-1178036431.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node20/watcher-455061-1178036431 -o ROOT/results/node20/solver-455061-1178036431 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.17 -m1800 /tmp/evaluation/455061-1178036431/instance-455061-1178036431.opb            

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  219f407da86957d900e068170e9af8b6

RANDOM SEED= 671821394

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node20.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.265
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.265
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:       1748528 kB
Buffers:         89188 kB
Cached:         127808 kB
SwapCached:      16448 kB
Active:         159468 kB
Inactive:        81768 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1748528 kB
SwapTotal:     4192956 kB
SwapFree:      4154876 kB
Dirty:            6760 kB
Writeback:           0 kB
Mapped:          29948 kB
Slab:            51784 kB
Committed_AS:  4590132 kB
PageTables:       1744 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 node20 on Tue May  1 16:50:34 UTC 2007