Trace number 1877111

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. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock 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 NameAnswerobjCPU timeWall clock time
bsolo 3.1SAT25836 1798.03 1804.26

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/ttp/normalized-data6_3.opb
MD5SUMf675f355e04fd5af6f49610fb88dbbd3
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark25184
Best CPU time to get the best result obtained on this benchmark1800.09
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 24674
Optimality of the best value was proved NO
Number of variables540
Total number of constraints4476
Number of constraints which are clauses2532
Number of constraints which are cardinality constraints (but not clauses)264
Number of constraints which are nor clauses,nor cardinality constraints1680
Minimum length of a constraint2
Maximum length of a constraint20
Number of terms in the objective function 180
Biggest coefficient in the objective function 1380
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 116904
Number of bits of the sum of numbers in the objective function 17
Biggest number in a constraint 1380
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 116904
Number of bits of the biggest sum of numbers17
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c bsolo beta version 3.1 - 13/04/2009 : 1630 GMT
0.00/0.00	c Developed by Vasco Manquinho and José Santos 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 Learning Strategy: Cardinality Constraint Learning
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 HOME/instance-1877111-1245146829.opb
0.00/0.00	c File size is 202954 bytes.
0.00/0.06	c Highest Coefficient sum: 116904
0.00/0.06	c Parsing was ok!!
0.00/0.06	c Total parsing time: 0.03 s
0.00/0.06	c Var: 540 Constr: 4626 2682/264/1680 Lit: 21888 Watch. Lit: 10776
0.00/0.06	c Obj. Vars: 180 (33.3333 % of total variables)
0.00/0.08	c Pre-processing Time: 0.07 s
0.00/0.08	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.08	c        0    540     4626    21888    4    14136   31514      0      0 0.07
0.00/0.08	c Switching off lower bounding mode.
0.08/0.11	c      101    540     4762    25113    5    15381   34666    136   1262 0.08
0.08/0.11	o 33369
0.08/0.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.08/0.13	c      187    540     4878    31648    6    15649   31874    252   1870 0.10
0.08/0.13	o 30147
0.08/0.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.08/0.14	c      239    540     4937    34864    7    15805   31874    311   2096 0.11
0.08/0.14	o 29532
0.58/0.66	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.58/0.66	c      283    540     4988    37880    7    16099   31874    362   2210 0.13
0.58/0.66	c      383    540     5104    44395    8    16149   35062    478   2439 0.16
0.58/0.66	c      635    540     5407    65611   12    16473   38569    781   2809 0.23
0.58/0.66	c     1110    540     6098   126453   20    18214   42426   1472   2587 0.43
0.58/0.66	o 29177
0.68/0.77	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.68/0.77	c     1647    540     6807   168642   24    20232   31874   2181   2545 0.65
0.68/0.77	c     1747    540     6938   178815   25    20650   35062   2312   2460 0.71
0.68/0.77	o 28345
1.17/1.20	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.17/1.20	c     1847    540     7075   186966   26    20979   31874   2449   2436 0.76
1.17/1.20	c     1947    540     7200   196703   27    20971   35062   2574   2365 0.82
1.17/1.20	c     2197    540     7518   212476   28    21591   38569   2892   2329 0.94
1.17/1.20	o 28033
2.56/2.63	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.56/2.63	c     2510    540     7904   240427   30    22395   31874   3278   2125 1.18
2.56/2.63	c     2616    540     8046   255268   31    22629   35062   3420   2024 1.29
2.56/2.63	c     2866    540     8350   282757   33    22889   38569   3724   1917 1.50
2.56/2.63	c     3341    540     8922   326118   36    24250   42426   4296   1741 1.92
2.56/2.63	o 27089
3.16/3.22	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.16/3.22	c     3947    540     9705   403804   41    26331   31874   5079   1519 2.60
3.16/3.22	c     4049    540     9852   421983   42    26622   35062   5226   1482 2.73
3.16/3.22	c     4299    540    10181   450859   44    27420   38569   5555   1425 3.02
3.16/3.22	o 26784
7.91/8.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.91/8.09	c     4465    540    10389   468303   45    28036   31874   5763   1401 3.19
7.91/8.09	c     4566    540    10520   479946   45    28220   35062   5894   1379 3.31
7.91/8.09	c     4816    540    10838   497757   45    29215   38569   6212   1352 3.56
7.91/8.09	c     5291    540    11424   541229   47    30382   42426   6798   1278 4.14
7.91/8.09	c     6105    540    12449   617645   49    32552   46669   7823   1133 5.38
7.91/8.09	c     7426    540    14162   768110   54    36564   51336   9536    942 7.88
7.91/8.09	o 26736
8.11/8.21	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
8.11/8.21	c     7485    540    14234   773692   54    36856   31874   9608    935 8.01
8.11/8.21	o 26149
679.32/682.25	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
679.32/682.25	c     7546    540    14307   779767   54    36988   31874   9681    928 8.12
679.32/682.25	c     7647    540    14427   787762   54    36901   35062   9801    919 8.31
679.32/682.25	c     7899    540    14748   807568   54    37606   38569  10122    914 8.64
679.32/682.25	c     8379    540    15375   850094   55    39158   42426  10749    877 9.55
679.32/682.25	c     9195    540    16438   954513   58    41351   46669  11812    784 11.71
679.32/682.25	c    10516    540    18202  1141225   62    45154   51336  13576    671 15.67
679.32/682.25	c    12597    540    21037  1433241   68    51347   56470  16411    578 21.76
679.32/682.25	c    15820    540    25381  1898513   74    60324   62118  20755    467 33.85
679.32/682.25	c    20756    540    32395  2759199   85    75481   68330  27769    330 62.72
679.32/682.25	c    28265    540    43429  3893753   89    98359   75164  38803    226 124.86
679.32/682.25	c    39626    540    59880  5786426   96   134842   82681  55254    156 253.24
679.32/682.25	c    56770    540    85269  9146469  107   189473   90950  80643    107 529.71
679.32/682.25	o 26012
1122.89/1128.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1122.89/1128.01	c    64585    540    26041  2329745   89    60905   31874  21415     95 679.38
1122.89/1128.01	c    64685    540    26176  2343400   89    61056   35062  21550     95 679.95
1122.89/1128.01	c    64936    540    26506  2372938   89    61610   38569  21880     95 681.38
1122.89/1128.01	c    65414    540    27133  2438326   89    62948   42426  22507     95 684.38
1122.89/1128.01	c    66228    540    28257  2556305   90    65594   46669  23631     96 689.51
1122.89/1128.01	c    67549    540    30018  2747663   91    68624   51336  25392     96 696.82
1122.89/1128.01	c    69630    540    32990  2961114   89    74979   56470  28364     98 710.00
1122.89/1128.01	c    72853    540    37386  3394442   90    84807   62118  32760     99 729.93
1122.89/1128.01	c    77790    540    44390  4190939   94    99807   68330  39764    100 773.11
1122.89/1128.01	c    85296    540    55015  5425030   98   122549   75164  50389    101 838.35
1122.89/1128.01	c    96658    540    71302  7238043  101   157747   82681  66676    100 960.99
1122.89/1128.01	o 25836
1797.96/1804.23	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.96/1804.23	c   108748    540    25108  2223005   88    58860   31874  20482     96 1122.91
1797.96/1804.23	c   108848    540    25239  2233318   88    59218   35062  20613     96 1123.32
1797.96/1804.23	c   109098    540    25579  2267664   88    59894   38569  20953     96 1124.74
1797.96/1804.23	c   109574    540    26223  2333993   89    61082   42426  21597     97 1127.01
1797.96/1804.23	c   110388    540    27331  2448221   89    63980   46669  22705     97 1131.63
1797.96/1804.23	c   111708    540    29141  2634477   90    67901   51336  24515     98 1137.94
1797.96/1804.23	c   113789    540    32077  2946690   91    74054   56470  27451     98 1149.40
1797.96/1804.23	c   117012    540    36553  3440284   94    83406   62118  31927    100 1166.94
1797.96/1804.23	c   121949    540    43491  4197651   96    98506   68330  38865    101 1198.86
1797.96/1804.23	c   129455    540    54148  5519557  101   121095   75164  49522    102 1256.95
1797.96/1804.23	c   140816    540    70676  7438333  105   156529   82681  66050    101 1382.88
1797.96/1804.23	c   157960    540    34419  3441993  100    78368   90950  29793     99 1587.63
1797.96/1804.23	c Resources Exceeded
1797.96/1804.23	v -x361 x362 -x363 -x364 x365 -x366 -x367 x368 -x369 -x370 -x371 -x372 -x373 x374 -x375 x376 -x377 -x378 -x379 -x380 x381 -x382 -x383 -x384 -x385 -x386 x387 -x388 -x389 -x390 x391 -x392 -x393 -x394 -x395 x396 -x397 x398 x399 -x400 -x401 -x402 -x403 -x404 x405 -x406 -x407 x408 -x409 -x410 -x411 x412 -x413 -x414 -x415 -x416 x417 -x418 -x419 -x420 -x421 x422 -x423 -x424 -x425 -x426 -x427 x428 -x429 -x430 -x431 x432 -x433 x434 -x435 -x436 -x437 -x438 -x439 x440 x441 -x442 -x443 -x444 -x445 -x446 -x447 x448 -x449 -x450 -x451 -x452 -x453 x454 -x455 -x456 x457 -x458 -x459 -x460 -x461 -x462 x463 -x464 -x465 x466 x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 x475 -x476 -x477 -x478 x479 -x480 -x481 -x482 -x483 -x484 x485 -x486 -x487 x488 -x489 -x490 -x491 -x492 -x493 x494 -x495 -x496 -x497 x498 -x499 -x500 x501 x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 x510 -x511 -x512 -x513 -x514 x515 -x516 -x517 x518 -x519 -x520 -x521 -x522 -x523 -x524 x525 -x526 -x527 -x528 -x529 x530 -x531 x532 -x533 -x534 -x535 x536 -x537 x538 -x539 x540 -x2 -x38 -x74 -x110 -x146 -x182 -x218 x254 -x290 -x326 -x3 -x39 x75 -x111 -x147 -x183 -x219 -x255 -x291 -x327 -x4 -x40 -x76 -x112 -x148 -x184 -x220 -x256 x292 -x328 -x5 -x41 -x77 x113 -x149 -x185 -x221 -x257 -x293 -x329 -x6 -x42 -x78 -x114 -x150 -x186 x222 -x258 -x294 -x330 -x7 -x43 -x79 -x115 -x151 x187 -x223 -x259 -x295 -x331 -x9 x45 -x81 -x117 -x153 -x189 -x225 -x261 -x297 -x333 x10 -x46 -x82 -x118 -x154 -x190 -x226 -x262 -x298 -x334 -x11 -x47 -x83 -x119 -x155 -x191 -x227 -x263 -x299 x335 -x12 -x48 x84 -x120 -x156 -x192 -x228 -x264 -x300 -x336 -x13 -x49 -x85 -x121 -x157 -x193 -x229 -x265 -x301 x337 -x14 -x50 -x86 x122 -x158 -x194 -x230 -x266 -x302 -x338 -x16 -x52 -x88 -x124 x160 -x196 -x232 -x268 -x304 -x340 -x17 -x53 -x89 -x125 -x161 -x197 -x233 -x269 x305 -x341 -x18 -x54 -x90 -x126 -x162 x198 -x234 -x270 -x306 -x342 -x19 x55 -x91 -x127 -x163 -x199 -x235 -x271 -x307 -x343 -x20 -x56 -x92 -x128 -x164 -x200 x236 -x272 -x308 -x344 -x21 -x57 -x93 -x129 -x165 -x201 -x237 x273 -x309 -x345 -x23 -x59 x95 -x131 -x167 -x203 -x239 -x275 -x311 -x347 -x24 -x60 -x96 x132 -x168 -x204 -x240 -x276 -x312 -x348 x25 -x61 -x97 -x133 -x169 -x205 -x241 -x277 -x313 -x349 -x26 -x62 -x98 -x134 x170 -x206 -x242 -x278 -x314 -x350 -x27 -x63 -x99 -x135 -x171 -x207 x243 -x279 -x315 -x351 -x28 -x64 -x100 -x136 -x172 x208 -x244 -x280 -x316 -x352 -x30 x66 -x102 -x138 -x174 -x210 -x246 -x282 -x318 -x354 -x31 -x67 -x103 -x139 x175 -x211 -x247 -x283 -x319 -x355 -x32 -x68 -x104 -x140 -x176 -x212 -x248 -x284 x320 -x356 x33 -x69 -x105 -x141 -x177 -x213 -x249 -x285 -x321 -x357 -x34 -x70 -x106 -x142 -x178 -x214 -x250 -x286 -x322 x358 -x35 -x71 -x107 -x143 -x179 -x215 -x251 x287 -x323 -x359 -x8 -x44 -x80 x116 x152 -x188 x224 x260 x296 -x332 x15 x51 x87 -x123 -x159 -x195 x231 x267 -x303 -x339 x22 -x58 -x94 -x130 x166 x202 -x238 -x274 x310 x346 -x29 -x65 x101 x137 -x173 -x209 -x245 x281 x317 x353 -x36 x72 x108 x144 -x180 x216 x252 -x288 -x324 -x360 x1 x37 -x73 -x109 x145 x181 -x217 -x253 -x289 x325 
1797.96/1804.23	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.96/1804.23	c   61   177880  44509   323382    63590  7486572  58964     98 1798.01
1797.96/1804.23	c Objective: 25836
1797.96/1804.23	s SATISFIABLE
1797.96/1804.23	c Total time: 1798.01 s

Verifier Data 

OK	25836

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1877111-1245146829/watcher-1877111-1245146829 -o /tmp/evaluation-result-1877111-1245146829/solver-1877111-1245146829 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1877111-1245146829.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): 2000 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
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.18 2.12 1.91 4/73 8936
/proc/meminfo: memFree=844744/2055920 swapFree=4180876/4192956
[pid=8936] ppid=8934 vsize=26400 CPUtime=0
/proc/8936/stat : 8936 (bsolo) R 8934 8936 8822 0 -1 4194304 213 0 0 0 0 0 0 0 18 0 1 0 182280848 27033600 197 1992294400 134512640 137136520 4294956256 18446744073709551615 134530288 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8936/statm: 6600 197 167 640 0 5906 0

[startup+0.101973 s]
/proc/loadavg: 2.18 2.12 1.91 4/73 8936
/proc/meminfo: memFree=844744/2055920 swapFree=4180876/4192956
[pid=8936] ppid=8934 vsize=11800 CPUtime=0.08
/proc/8936/stat : 8936 (bsolo) R 8934 8936 8822 0 -1 4194304 642 0 0 0 8 0 0 0 18 0 1 0 182280848 12083200 549 1992294400 134512640 137136520 4294956256 18446744073709551615 134544579 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8936/statm: 2950 549 197 640 0 2306 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 11800

[startup+0.202984 s]
/proc/loadavg: 2.18 2.12 1.91 4/73 8936
/proc/meminfo: memFree=844744/2055920 swapFree=4180876/4192956
[pid=8936] ppid=8934 vsize=12176 CPUtime=0.17
/proc/8936/stat : 8936 (bsolo) R 8934 8936 8822 0 -1 4194304 706 0 0 0 17 0 0 0 19 0 1 0 182280848 12468224 613 1992294400 134512640 137136520 4294956256 18446744073709551615 136518979 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8936/statm: 3044 613 197 640 0 2400 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 12176

[startup+0.302996 s]
/proc/loadavg: 2.18 2.12 1.91 4/73 8936
/proc/meminfo: memFree=844744/2055920 swapFree=4180876/4192956
[pid=8936] ppid=8934 vsize=12552 CPUtime=0.27
/proc/8936/stat : 8936 (bsolo) R 8934 8936 8822 0 -1 4194304 826 0 0 0 27 0 0 0 19 0 1 0 182280848 12853248 733 1992294400 134512640 137136520 4294956256 18446744073709551615 134544600 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8936/statm: 3138 733 197 640 0 2494 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 12552

[startup+0.702042 s]
/proc/loadavg: 2.18 2.12 1.91 4/73 8936
/proc/meminfo: memFree=844744/2055920 swapFree=4180876/4192956
[pid=8936] ppid=8934 vsize=13940 CPUtime=0.68
/proc/8936/stat : 8936 (bsolo) R 8934 8936 8822 0 -1 4194304 1147 0 0 0 67 1 0 0 23 0 1 0 182280848 14274560 1054 1992294400 134512640 137136520 4294956256 18446744073709551615 134543933 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8936/statm: 3485 1054 198 640 0 2841 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 13940

[startup+1.50114 s]
/proc/loadavg: 2.18 2.12 1.91 4/74 8937
/proc/meminfo: memFree=840320/2055920 swapFree=4180876/4192956
[pid=8936] ppid=8934 vsize=15328 CPUtime=1.47
/proc/8936/stat : 8936 (bsolo) R 8934 8936 8822 0 -1 4194304 1521 0 0 0 145 2 0 0 25 0 1 0 182280848 15695872 1428 1992294400 134512640 137136520 4294956256 18446744073709551615 134544503 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8936/statm: 3832 1428 198 640 0 3188 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 15328

[startup+3.10131 s]
/proc/loadavg: 2.18 2.12 1.91 4/74 8937
/proc/meminfo: memFree=838464/2055920 swapFree=4180876/4192956
[pid=8936] ppid=8934 vsize=17840 CPUtime=3.06
/proc/8936/stat : 8936 (bsolo) R 8934 8936 8822 0 -1 4194304 2141 0 0 0 304 2 0 0 25 0 1 0 182280848 18268160 2048 1992294400 134512640 137136520 4294956256 18446744073709551615 134544010 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8936/statm: 4460 2048 198 640 0 3816 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 17840

[startup+6.30167 s]
/proc/loadavg: 2.16 2.12 1.91 3/74 8937
/proc/meminfo: memFree=834624/2055920 swapFree=4180876/4192956
[pid=8936] ppid=8934 vsize=20836 CPUtime=6.24
/proc/8936/stat : 8936 (bsolo) R 8934 8936 8822 0 -1 4194304 2892 0 0 0 620 4 0 0 25 0 1 0 182280848 21336064 2799 1992294400 134512640 137136520 4294956256 18446744073709551615 134543977 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8936/statm: 5209 2799 198 640 0 4565 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 20836

[startup+12.7014 s]
/proc/loadavg: 2.07 2.10 1.91 2/74 8937
/proc/meminfo: memFree=829704/2055920 swapFree=4180876/4192956
[pid=8936] ppid=8934 vsize=25400 CPUtime=12.57
/proc/8936/stat : 8936 (bsolo) R 8934 8936 8822 0 -1 4194304 4042 0 0 0 1252 5 0 0 25 0 1 0 182280848 26009600 3949 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8936/statm: 6350 3949 198 640 0 5706 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 25400

[startup+25.5028 s]
/proc/loadavg: 2.07 2.10 1.91 4/74 8937
/proc/meminfo: memFree=821640/2055920 swapFree=4180876/4192956
[pid=8936] ppid=8934 vsize=33328 CPUtime=25.3
/proc/8936/stat : 8936 (bsolo) R 8934 8936 8822 0 -1 4194304 6004 0 0 0 2518 12 0 0 25 0 1 0 182280848 34127872 5911 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8936/statm: 8332 5911 198 640 0 7688 0
Current children cumulated CPU time (s) 25.3
Current children cumulated vsize (KiB) 33328

[startup+51.1015 s]
/proc/loadavg: 2.11 2.10 1.92 2/74 8937
/proc/meminfo: memFree=809992/2055920 swapFree=4180876/4192956
[pid=8936] ppid=8934 vsize=45016 CPUtime=50.81
/proc/8936/stat : 8936 (bsolo) R 8934 8936 8822 0 -1 4194304 8924 0 0 0 5065 16 0 0 25 0 1 0 182280848 46096384 8831 1992294400 134512640 137136520 4294956256 18446744073709551615 136509064 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8936/statm: 11254 8831 198 640 0 10610 0
Current children cumulated CPU time (s) 50.81
Current children cumulated vsize (KiB) 45016

[startup+102.302 s]
/proc/loadavg: 1.87 2.04 1.90 4/74 8937
/proc/meminfo: memFree=794568/2055920 swapFree=4180876/4192956
[pid=8936] ppid=8934 vsize=60200 CPUtime=102
/proc/8936/stat : 8936 (bsolo) R 8934 8936 8822 0 -1 4194304 12723 0 0 0 10179 21 0 0 25 0 1 0 182280848 61644800 12630 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8936/statm: 15050 12630 198 640 0 14406 0
Current children cumulated CPU time (s) 102
Current children cumulated vsize (KiB) 60200

[startup+162.309 s]
/proc/loadavg: 1.78 1.98 1.89 3/74 8937
/proc/meminfo: memFree=781000/2055920 swapFree=4180876/4192956
[pid=8936] ppid=8934 vsize=73800 CPUtime=161.67
/proc/8936/stat : 8936 (bsolo) R 8934 8936 8822 0 -1 4194304 16130 0 0 0 16139 28 0 0 25 0 1 0 182280848 75571200 16037 1992294400 134512640 137136520 4294956256 18446744073709551615 134544041 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8936/statm: 18450 16037 198 640 0 17806 0
Current children cumulated CPU time (s) 161.67
Current children cumulated vsize (KiB) 73800

[startup+222.307 s]
/proc/loadavg: 1.89 1.98 1.90 2/74 8937
/proc/meminfo: memFree=768840/2055920 swapFree=4180876/4192956
[pid=8936] ppid=8934 vsize=85836 CPUtime=221.51
/proc/8936/stat : 8936 (bsolo) R 8934 8936 8822 0 -1 4194304 19133 0 0 0 22116 35 0 0 25 0 1 0 182280848 87896064 19040 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8936/statm: 21459 19040 198 640 0 20815 0
Current children cumulated CPU time (s) 221.51
Current children cumulated vsize (KiB) 85836

[startup+282.301 s]
/proc/loadavg: 1.93 1.97 1.90 4/74 8937
/proc/meminfo: memFree=758216/2055920 swapFree=4180876/4192956
[pid=8936] ppid=8934 vsize=96712 CPUtime=281.1
/proc/8936/stat : 8936 (bsolo) R 8934 8936 8822 0 -1 4194304 21852 0 0 0 28069 41 0 0 25 0 1 0 182280848 99033088 21759 1992294400 134512640 137136520 4294956256 18446744073709551615 136294929 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8936/statm: 24178 21759 198 640 0 23534 0
Current children cumulated CPU time (s) 281.1
Current children cumulated vsize (KiB) 96712

[startup+342.303 s]
/proc/loadavg: 1.79 1.91 1.88 4/74 8937
/proc/meminfo: memFree=746952/2055920 swapFree=4180876/4192956
[pid=8936] ppid=8934 vsize=107884 CPUtime=340.74
/proc/8936/stat : 8936 (bsolo) R 8934 8936 8822 0 -1 4194304 24636 0 0 0 34026 48 0 0 25 0 1 0 182280848 110473216 24543 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8936/statm: 26971 24543 198 640 0 26327 0
Current children cumulated CPU time (s) 340.74
Current children cumulated vsize (KiB) 107884

[startup+402.303 s]
/proc/loadavg: 2.20 2.00 1.91 3/74 8937
/proc/meminfo: memFree=736136/2055920 swapFree=4180876/4192956
[pid=8936] ppid=8934 vsize=118768 CPUtime=400.33
/proc/8936/stat : 8936 (bsolo) R 8934 8936 8822 0 -1 4194304 27363 0 0 0 39979 54 0 0 25 0 1 0 182280848 121618432 27270 1992294400 134512640 137136520 4294956256 18446744073709551615 134573554 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8936/statm: 29692 27270 198 640 0 29048 0
Current children cumulated CPU time (s) 400.33
Current children cumulated vsize (KiB) 118768

[startup+462.307 s]
/proc/loadavg: 2.14 2.02 1.92 2/74 8937
/proc/meminfo: memFree=726280/2055920 swapFree=4180876/4192956
[pid=8936] ppid=8934 vsize=128528 CPUtime=460.08
/proc/8936/stat : 8936 (bsolo) R 8934 8936 8822 0 -1 4194304 29800 0 0 0 45948 60 0 0 25 0 1 0 182280848 131612672 29707 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8936/statm: 32132 29707 198 640 0 31488 0
Current children cumulated CPU time (s) 460.08
Current children cumulated vsize (KiB) 128528

[startup+522.303 s]
/proc/loadavg: 2.00 1.98 1.91 3/74 8937
/proc/meminfo: memFree=718216/2055920 swapFree=4180876/4192956
[pid=8936] ppid=8934 vsize=136468 CPUtime=519.96
/proc/8936/stat : 8936 (bsolo) R 8934 8936 8822 0 -1 4194304 31797 0 0 0 51931 65 0 0 25 0 1 0 182280848 139743232 31704 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8936/statm: 34117 31704 198 640 0 33473 0
Current children cumulated CPU time (s) 519.96
Current children cumulated vsize (KiB) 136468

[startup+582.303 s]
/proc/loadavg: 1.88 1.95 1.90 4/74 8937
/proc/meminfo: memFree=710728/2055920 swapFree=4180876/4192956
[pid=8936] ppid=8934 vsize=143984 CPUtime=579.54
/proc/8936/stat : 8936 (bsolo) R 8934 8936 8822 0 -1 4194304 33663 0 0 0 57884 70 0 0 25 0 1 0 182280848 147439616 33570 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8936/statm: 35996 33570 198 640 0 35352 0
Current children cumulated CPU time (s) 579.54
Current children cumulated vsize (KiB) 143984

[startup+642.302 s]
/proc/loadavg: 1.90 1.95 1.91 3/74 8937
/proc/meminfo: memFree=703368/2055920 swapFree=4180876/4192956
[pid=8936] ppid=8934 vsize=151336 CPUtime=639.43
/proc/8936/stat : 8936 (bsolo) R 8934 8936 8822 0 -1 4194304 35497 0 0 0 63870 73 0 0 25 0 1 0 182280848 154968064 35404 1992294400 134512640 137136520 4294956256 18446744073709551615 134544475 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8936/statm: 37834 35404 198 640 0 37190 0
Current children cumulated CPU time (s) 639.43
Current children cumulated vsize (KiB) 151336

[startup+702.304 s]

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

/proc/meminfo: memFree=699144/2055920 swapFree=4180876/4192956
[pid=8936] ppid=8934 vsize=155268 CPUtime=1057.64
/proc/8936/stat : 8936 (bsolo) R 8934 8936 8822 0 -1 4194304 36583 0 0 0 105666 98 0 0 25 0 1 0 182280848 158994432 36400 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8936/statm: 38817 36400 198 640 0 38173 0
Current children cumulated CPU time (s) 1057.64
Current children cumulated vsize (KiB) 155268

[startup+1122.3 s]
/proc/loadavg: 2.23 1.97 1.91 4/74 8937
/proc/meminfo: memFree=698760/2055920 swapFree=4180876/4192956
[pid=8936] ppid=8934 vsize=155644 CPUtime=1117.23
/proc/8936/stat : 8936 (bsolo) R 8934 8936 8822 0 -1 4194304 36662 0 0 0 111622 101 0 0 25 0 1 0 182280848 159379456 36479 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8936/statm: 38911 36479 198 640 0 38267 0
Current children cumulated CPU time (s) 1117.23
Current children cumulated vsize (KiB) 155644

[startup+1182.3 s]
/proc/loadavg: 2.10 1.97 1.91 2/74 8937
/proc/meminfo: memFree=698760/2055920 swapFree=4180876/4192956
[pid=8936] ppid=8934 vsize=155644 CPUtime=1176.96
/proc/8936/stat : 8936 (bsolo) R 8934 8936 8822 0 -1 4194304 36662 0 0 0 117589 107 0 0 25 0 1 0 182280848 159379456 36479 1992294400 134512640 137136520 4294956256 18446744073709551615 134573649 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8936/statm: 38911 36479 198 640 0 38267 0
Current children cumulated CPU time (s) 1176.96
Current children cumulated vsize (KiB) 155644

[startup+1242.3 s]
/proc/loadavg: 2.08 1.98 1.92 3/74 8937
/proc/meminfo: memFree=698760/2055920 swapFree=4180876/4192956
[pid=8936] ppid=8934 vsize=155644 CPUtime=1236.95
/proc/8936/stat : 8936 (bsolo) R 8934 8936 8822 0 -1 4194304 36662 0 0 0 123585 110 0 0 25 0 1 0 182280848 159379456 36479 1992294400 134512640 137136520 4294956256 18446744073709551615 134545035 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8936/statm: 38911 36479 198 640 0 38267 0
Current children cumulated CPU time (s) 1236.95
Current children cumulated vsize (KiB) 155644

[startup+1302.3 s]
/proc/loadavg: 2.16 2.02 1.93 2/74 8937
/proc/meminfo: memFree=698632/2055920 swapFree=4180876/4192956
[pid=8936] ppid=8934 vsize=155644 CPUtime=1296.92
/proc/8936/stat : 8936 (bsolo) R 8934 8936 8822 0 -1 4194304 36662 0 0 0 129581 111 0 0 25 0 1 0 182280848 159379456 36479 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8936/statm: 38911 36479 198 640 0 38267 0
Current children cumulated CPU time (s) 1296.92
Current children cumulated vsize (KiB) 155644

[startup+1362.3 s]
/proc/loadavg: 2.31 2.09 1.96 3/74 8937
/proc/meminfo: memFree=698568/2055920 swapFree=4180876/4192956
[pid=8936] ppid=8934 vsize=155644 CPUtime=1356.91
/proc/8936/stat : 8936 (bsolo) R 8934 8936 8822 0 -1 4194304 36662 0 0 0 135578 113 0 0 25 0 1 0 182280848 159379456 36479 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8936/statm: 38911 36479 198 640 0 38267 0
Current children cumulated CPU time (s) 1356.91
Current children cumulated vsize (KiB) 155644

[startup+1422.3 s]
/proc/loadavg: 2.13 2.07 1.96 3/74 8937
/proc/meminfo: memFree=698568/2055920 swapFree=4180876/4192956
[pid=8936] ppid=8934 vsize=155644 CPUtime=1416.88
/proc/8936/stat : 8936 (bsolo) R 8934 8936 8822 0 -1 4194304 36662 0 0 0 141574 114 0 0 25 0 1 0 182280848 159379456 36479 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8936/statm: 38911 36479 198 640 0 38267 0
Current children cumulated CPU time (s) 1416.88
Current children cumulated vsize (KiB) 155644

[startup+1482.3 s]
/proc/loadavg: 2.01 2.06 1.96 4/74 8937
/proc/meminfo: memFree=698440/2055920 swapFree=4180876/4192956
[pid=8936] ppid=8934 vsize=155644 CPUtime=1476.83
/proc/8936/stat : 8936 (bsolo) R 8934 8936 8822 0 -1 4194304 36662 0 0 0 147565 118 0 0 25 0 1 0 182280848 159379456 36479 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8936/statm: 38911 36479 198 640 0 38267 0
Current children cumulated CPU time (s) 1476.83
Current children cumulated vsize (KiB) 155644

[startup+1542.31 s]
/proc/loadavg: 2.22 2.10 1.98 3/74 8937
/proc/meminfo: memFree=698504/2055920 swapFree=4180876/4192956
[pid=8936] ppid=8934 vsize=155644 CPUtime=1536.55
/proc/8936/stat : 8936 (bsolo) R 8934 8936 8822 0 -1 4194304 36662 0 0 0 153532 123 0 0 25 0 1 0 182280848 159379456 36479 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8936/statm: 38911 36479 198 640 0 38267 0
Current children cumulated CPU time (s) 1536.55
Current children cumulated vsize (KiB) 155644

[startup+1602.3 s]
/proc/loadavg: 2.17 2.09 1.98 2/74 8937
/proc/meminfo: memFree=698568/2055920 swapFree=4180876/4192956
[pid=8936] ppid=8934 vsize=155644 CPUtime=1596.52
/proc/8936/stat : 8936 (bsolo) R 8934 8936 8822 0 -1 4194304 36662 0 0 0 159527 125 0 0 25 0 1 0 182280848 159379456 36479 1992294400 134512640 137136520 4294956256 18446744073709551615 134571594 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8936/statm: 38911 36479 198 640 0 38267 0
Current children cumulated CPU time (s) 1596.52
Current children cumulated vsize (KiB) 155644

[startup+1662.3 s]
/proc/loadavg: 1.92 2.04 1.97 3/74 8937
/proc/meminfo: memFree=698504/2055920 swapFree=4180876/4192956
[pid=8936] ppid=8934 vsize=155644 CPUtime=1656.5
/proc/8936/stat : 8936 (bsolo) R 8934 8936 8822 0 -1 4194304 36662 0 0 0 165523 127 0 0 25 0 1 0 182280848 159379456 36479 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8936/statm: 38911 36479 198 640 0 38267 0
Current children cumulated CPU time (s) 1656.5
Current children cumulated vsize (KiB) 155644

[startup+1722.3 s]
/proc/loadavg: 2.09 2.07 1.99 3/74 8937
/proc/meminfo: memFree=698504/2055920 swapFree=4180876/4192956
[pid=8936] ppid=8934 vsize=155644 CPUtime=1716.24
/proc/8936/stat : 8936 (bsolo) R 8934 8936 8822 0 -1 4194304 36662 0 0 0 171494 130 0 0 25 0 1 0 182280848 159379456 36479 1992294400 134512640 137136520 4294956256 18446744073709551615 136500562 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8936/statm: 38911 36479 198 640 0 38267 0
Current children cumulated CPU time (s) 1716.24
Current children cumulated vsize (KiB) 155644

[startup+1782.3 s]
/proc/loadavg: 2.11 2.06 1.99 3/74 8937
/proc/meminfo: memFree=698568/2055920 swapFree=4180876/4192956
[pid=8936] ppid=8934 vsize=155644 CPUtime=1776.07
/proc/8936/stat : 8936 (bsolo) R 8934 8936 8822 0 -1 4194304 36662 0 0 0 177473 134 0 0 25 0 1 0 182280848 159379456 36479 1992294400 134512640 137136520 4294956256 18446744073709551615 134544010 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8936/statm: 38911 36479 198 640 0 38267 0
Current children cumulated CPU time (s) 1776.07
Current children cumulated vsize (KiB) 155644

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

[startup+1792.01 s]
/proc/loadavg: 2.02 2.04 1.98 3/74 8937
/proc/meminfo: memFree=698632/2055920 swapFree=4180876/4192956
[pid=8936] ppid=8934 vsize=155644 CPUtime=1785.77
/proc/8936/stat : 8936 (bsolo) R 8934 8936 8822 0 -1 4194304 36662 0 0 0 178443 134 0 0 25 0 1 0 182280848 159379456 36479 1992294400 134512640 137136520 4294956256 18446744073709551615 135982528 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8936/statm: 38911 36479 198 640 0 38267 0
Current children cumulated CPU time (s) 1785.77
Current children cumulated vsize (KiB) 155644

[startup+1798.4 s]
/proc/loadavg: 2.10 2.06 1.99 4/74 8937
/proc/meminfo: memFree=698632/2055920 swapFree=4180876/4192956
[pid=8936] ppid=8934 vsize=155644 CPUtime=1792.16
/proc/8936/stat : 8936 (bsolo) R 8934 8936 8822 0 -1 4194304 36662 0 0 0 179082 134 0 0 25 0 1 0 182280848 159379456 36479 1992294400 134512640 137136520 4294956256 18446744073709551615 136509034 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8936/statm: 38911 36479 198 640 0 38267 0
Current children cumulated CPU time (s) 1792.16
Current children cumulated vsize (KiB) 155644

[startup+1801.6 s]
/proc/loadavg: 2.17 2.07 1.99 2/74 8937
/proc/meminfo: memFree=698632/2055920 swapFree=4180876/4192956
[pid=8936] ppid=8934 vsize=155644 CPUtime=1795.36
/proc/8936/stat : 8936 (bsolo) R 8934 8936 8822 0 -1 4194304 36662 0 0 0 179402 134 0 0 25 0 1 0 182280848 159379456 36479 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8936/statm: 38911 36479 198 640 0 38267 0
Current children cumulated CPU time (s) 1795.36
Current children cumulated vsize (KiB) 155644

[startup+1803.2 s]
/proc/loadavg: 2.17 2.07 1.99 3/74 8937
/proc/meminfo: memFree=698632/2055920 swapFree=4180876/4192956
[pid=8936] ppid=8934 vsize=155644 CPUtime=1796.96
/proc/8936/stat : 8936 (bsolo) R 8934 8936 8822 0 -1 4194304 36662 0 0 0 179562 134 0 0 25 0 1 0 182280848 159379456 36479 1992294400 134512640 137136520 4294956256 18446744073709551615 134544148 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8936/statm: 38911 36479 198 640 0 38267 0
Current children cumulated CPU time (s) 1796.96
Current children cumulated vsize (KiB) 155644

[startup+1804 s]
/proc/loadavg: 2.17 2.07 1.99 4/74 8937
/proc/meminfo: memFree=698632/2055920 swapFree=4180876/4192956
[pid=8936] ppid=8934 vsize=155644 CPUtime=1797.76
/proc/8936/stat : 8936 (bsolo) R 8934 8936 8822 0 -1 4194304 36662 0 0 0 179642 134 0 0 25 0 1 0 182280848 159379456 36479 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8936/statm: 38911 36479 198 640 0 38267 0
Current children cumulated CPU time (s) 1797.76
Current children cumulated vsize (KiB) 155644

[startup+1804.2 s]
/proc/loadavg: 2.17 2.07 1.99 4/74 8937
/proc/meminfo: memFree=698632/2055920 swapFree=4180876/4192956
[pid=8936] ppid=8934 vsize=155644 CPUtime=1797.96
/proc/8936/stat : 8936 (bsolo) R 8934 8936 8822 0 -1 4194304 36662 0 0 0 179662 134 0 0 25 0 1 0 182280848 159379456 36479 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8936/statm: 38911 36479 198 640 0 38267 0
Current children cumulated CPU time (s) 1797.96
Current children cumulated vsize (KiB) 155644

Child status: 0
Real time (s): 1804.26
CPU time (s): 1798.03
CPU user time (s): 1796.66
CPU system time (s): 1.37079
CPU usage (%): 99.6547
Max. virtual memory (cumulated for all children) (KiB): 155644

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.66
system time used= 1.37079
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36664
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= 2
involuntary context switches= 20077

runsolver used 2.30065 second user time and 5.70713 second system time

The end

Launcher Data 

Begin job on node87 at 2009-06-16 12:07:09
IDJOB=1877111
IDBENCH=2010
IDSOLVER=699
FILE ID=node87/1877111-1245146829
PBS_JOBID= 9363771
Free space on /tmp= 66540 MiB

SOLVER NAME= bsolo 3.1
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ttp/normalized-data6_3.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT -mMEMLIMIT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1877111-1245146829/watcher-1877111-1245146829 -o /tmp/evaluation-result-1877111-1245146829/solver-1877111-1245146829 -C 1800 -W 2000 -M 1800  bsolo -l2 -t1800 -m1800 HOME/instance-1877111-1245146829.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= f675f355e04fd5af6f49610fb88dbbd3
RANDOM SEED=1091200958

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

/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.235
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.235
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	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:        845224 kB
Buffers:         56796 kB
Cached:        1053252 kB
SwapCached:       6784 kB
Active:         218716 kB
Inactive:       917476 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        845224 kB
SwapTotal:     4192956 kB
SwapFree:      4180876 kB
Dirty:            4308 kB
Writeback:           0 kB
Mapped:          33016 kB
Slab:            59448 kB
Committed_AS:   587204 kB
PageTables:       2128 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1877111-1245146829.opb

Free space on /tmp at the end= 66536 MiB
End job on node87 at 2009-06-16 12:37:13