Trace number 3731880

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 NameAnswerobjective functionCPU timeWall clock time
PB09: bsolo 3.1SAT68 1797.91 1798.4

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/ttp/normalized-circ6_3.opb
MD5SUMff9be653d1d3ea3b1a82846016e94df6
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark64
Best CPU time to get the best result obtained on this benchmark1800.03
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 64
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 3
Number of bits for the biggest coefficient in the objective function 2
Sum of the numbers in the objective function 324
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 16
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 324
Number of bits of the biggest sum of numbers9
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 15500 MB
0.00/0.00	c Instance file HOME/instance-3731880-1338701078.opb
0.00/0.00	c File size is 202558 bytes.
0.00/0.01	c Highest Coefficient sum: 324
0.00/0.01	c Parsing was ok!!
0.00/0.01	c Total parsing time: 0.014 s
0.00/0.01	c Var: 540 Constr: 4626 2682/264/1680 Lit: 21888 Watch. Lit: 10776
0.00/0.01	c Obj. Vars: 180 (33.3333 % of total variables)
0.00/0.03	c Pre-processing Time: 0.034 s
0.00/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.03	c        0    540     4626    21888    4    14136   31514      0      0 0.03
0.00/0.03	c Switching off lower bounding mode.
0.00/0.05	c      101    540     4762    25113    5    15381   34666    136   2589 0.04
0.00/0.05	o 86
0.09/0.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.10	c      187    540     4878    31648    6    15649   31874    252   3740 0.05
0.09/0.10	c      287    540     4995    38698    7    15659   35062    369   4283 0.07
0.09/0.10	o 84
0.09/0.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.13	c      458    540     5207    50932    9    16470   31874    581   4626 0.10
0.09/0.13	c      558    540     5323    57836   10    16443   35062    697   4769 0.12
0.09/0.13	o 82
0.09/0.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.14	c      664    540     5470    67325   12    16817   31874    844   4918 0.14
0.09/0.14	o 80
0.09/0.16	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.16	c      678    540     5487    68062   12    17093   31874    861   4913 0.14
0.09/0.16	c      780    540     5610    74593   13    16858   35062    984   4968 0.16
0.09/0.16	o 78
0.39/0.42	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.42	c      810    540     5644    75963   13    17092   31874   1018   5000 0.16
0.39/0.42	c      910    540     5755    81805   14    17356   35062   1129   5027 0.18
0.39/0.42	c     1160    540     6041   105274   17    18290   38569   1415   4715 0.25
0.39/0.42	c     1636    540     6720   143301   21    18922   42426   2094   4742 0.34
0.39/0.42	o 76
3.30/3.34	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.30/3.34	c     1939    540     7139   167555   23    20579   31874   2513   4551 0.43
3.30/3.34	c     2039    540     7273   173639   23    20863   35062   2647   4491 0.45
3.30/3.34	c     2290    540     7602   198866   26    22241   38569   2976   4337 0.53
3.30/3.34	c     2766    540     8220   247911   30    23101   42426   3594   3928 0.70
3.30/3.34	c     3580    540     9294   373123   40    25274   46669   4668   3236 1.11
3.30/3.34	c     4900    540    11038   540552   48    28798   51336   6412   2877 1.70
3.30/3.34	c     6982    540    13752   825952   60    34537   56470   9126   2217 3.15
3.30/3.34	o 74
19.88/19.93	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
19.88/19.93	c     7365    540    14317   851553   59    36320   31874   9691   2203 3.34
19.88/19.93	c     7466    540    14446   861700   59    36701   35062   9820   2190 3.41
19.88/19.93	c     7722    540    14770   889755   60    37193   38569  10144   2156 3.58
19.88/19.93	c     8197    540    15349   938969   61    38727   42426  10723   2084 3.93
19.88/19.93	c     9010    540    16419  1039463   63    41075   46669  11793   1956 4.61
19.88/19.93	c    10330    540    18228  1214534   66    44840   51336  13602   1747 5.91
19.88/19.93	c    12411    540    21093  1542360   73    50621   56470  16467   1507 8.23
19.88/19.93	c    15634    540    25393  1995200   78    59913   62118  20767   1308 11.95
19.88/19.93	o 72
23.98/24.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
23.98/24.07	c    20282    540    31901  2725647   85    74069   31874  27275   1017 19.93
23.98/24.07	c    20382    540    32041  2739134   85    74313   35062  27415   1012 20.13
23.98/24.07	c    20632    540    32361  2767458   85    74578   38569  27735   1001 20.59
23.98/24.07	c    21107    540    33037  2837699   85    76230   42426  28411    982 21.49
23.98/24.07	c    21925    540    34148  2952055   86    79036   46669  29522    964 22.72
23.98/24.07	o 70
227.02/227.17	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
227.02/227.17	c    22735    540    35251  3044644   86    80999   31874  30625    944 24.07
227.02/227.17	c    22838    540    35404  3050558   86    81133   35062  30778    943 24.20
227.02/227.17	c    23088    540    35756  3072270   85    82712   38569  31130    942 24.49
227.02/227.17	c    23563    540    36398  3132830   86    84090   42426  31772    923 25.53
227.02/227.17	c    24376    540    37515  3246472   86    86066   46669  32889    887 27.47
227.02/227.17	c    25696    540    39266  3427199   87    90054   51336  34640    850 30.21
227.02/227.17	c    27777    540    42044  3709041   88    96022   56470  37418    802 34.62
227.02/227.17	c    31001    540    46622  4176311   89   106252   62118  41996    730 42.42
227.02/227.17	c    35938    540    53525  5026841   93   121531   68330  48899    652 55.10
227.02/227.17	c    43444    540    64449  6459744  100   144765   75164  59823    534 81.21
227.02/227.17	c    54807    540    24803  2289600   92    58125   82681  20177    420 130.46
227.02/227.17	c    71952    540    49773  5151328  103   110783   90950  45147    411 174.64
227.02/227.17	o 68
1797.91/1798.40	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.91/1798.40	c    88457    540    73183  7816292  106   161455   31874  68557    389 227.10
1797.91/1798.40	c    88557    540    20684  1587377   76    48465   35062  16058    388 227.78
1797.91/1798.40	c    88808    540    21010  1610544   76    49196   38569  16384    389 228.00
1797.91/1798.40	c    89283    540    21640  1663742   76    50624   42426  17014    390 228.37
1797.91/1798.40	c    90096    540    22826  1753185   76    52838   46669  18200    393 229.13
1797.91/1798.40	c    91420    540    24634  1936336   78    57305   51336  20008    396 230.45
1797.91/1798.40	c    93503    540    27670  2219764   80    63864   56470  23044    400 233.23
1797.91/1798.40	c    96728    540    32302  2785048   86    73893   62118  27676    406 238.22
1797.91/1798.40	c   101667    540    39486  3751141   94    89093   68330  34860    411 247.11
1797.91/1798.40	c   109173    540    49938  5132514  102   111556   75164  45312    415 262.75
1797.91/1798.40	c   120534    540    65905  7159436  108   144621   82681  61279    404 297.91
1797.91/1798.40	c   137678    540    29198  2409998   82    66589   90950  24572    362 380.03
1797.91/1798.40	c   163497    540    67253  7232066  107   147373  100046  62627    358 455.44
1797.91/1798.40	c   202331    540    46813  4634818   99   103258  110051  42187    322 628.22
1797.91/1798.40	c   260683    540    47811  5366845  112   103999  121057  43185    296 879.68
1797.91/1798.40	c   348319    540    77368  9627854  124   167000  133163  72742    273 1274.79
1797.91/1798.40	c Resources Exceeded
1797.91/1798.40	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.91/1798.40	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.91/1798.40	c   60   440187  97943   726171    99337 12664675  94711    244 1798.02
1797.91/1798.40	c Objective: 68
1797.91/1798.40	s SATISFIABLE
1797.91/1798.40	c Total time: 1798.02 s

Verifier Data

OK	68

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3731880-1338701078/watcher-3731880-1338701078 -o /tmp/evaluation-result-3731880-1338701078/solver-3731880-1338701078 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3731880-1338701078.opb 

running on 4 cores: 0,2,4,6

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 12404
/proc/meminfo: memFree=28407640/32873844 swapFree=7632/7632
[pid=12404] ppid=12402 vsize=11132 CPUtime=0 cores=0,2,4,6
/proc/12404/stat : 12404 (bsolo) R 12402 12404 5561 0 -1 4202496 345 0 0 0 0 0 0 0 20 0 1 0 336232137 11399168 298 33554432000 134512640 137136520 4289439072 4289437480 136504651 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12404/statm: 2783 298 188 641 0 2089 0

[startup+0.00627803 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 12404
/proc/meminfo: memFree=28407640/32873844 swapFree=7632/7632
[pid=12404] ppid=12402 vsize=11264 CPUtime=0 cores=0,2,4,6
/proc/12404/stat : 12404 (bsolo) R 12402 12404 5561 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 336232137 11534336 306 33554432000 134512640 137136520 4289439072 4289437480 136504572 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12404/statm: 2816 306 190 641 0 2122 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 11264

[startup+0.100232 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 12404
/proc/meminfo: memFree=28407640/32873844 swapFree=7632/7632
[pid=12404] ppid=12402 vsize=12124 CPUtime=0.09 cores=0,2,4,6
/proc/12404/stat : 12404 (bsolo) R 12402 12404 5561 0 -1 4202496 729 0 0 0 9 0 0 0 20 0 1 0 336232137 12414976 605 33554432000 134512640 137136520 4289439072 4289438188 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12404/statm: 3031 605 197 641 0 2387 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12124

[startup+0.300223 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 12404
/proc/meminfo: memFree=28407640/32873844 swapFree=7632/7632
[pid=12404] ppid=12402 vsize=13248 CPUtime=0.29 cores=0,2,4,6
/proc/12404/stat : 12404 (bsolo) R 12402 12404 5561 0 -1 4202496 1009 0 0 0 29 0 0 0 20 0 1 0 336232137 13565952 885 33554432000 134512640 137136520 4289439072 4289438188 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12404/statm: 3312 885 198 641 0 2668 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13248

[startup+0.700222 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 12404
/proc/meminfo: memFree=28407640/32873844 swapFree=7632/7632
[pid=12404] ppid=12402 vsize=15028 CPUtime=0.69 cores=0,2,4,6
/proc/12404/stat : 12404 (bsolo) R 12402 12404 5561 0 -1 4202496 1445 0 0 0 69 0 0 0 20 0 1 0 336232137 15388672 1321 33554432000 134512640 137136520 4289439072 4289437448 136502032 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12404/statm: 3757 1321 198 641 0 3113 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15028

[startup+1.50023 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12405
/proc/meminfo: memFree=28397688/32873844 swapFree=7632/7632
[pid=12404] ppid=12402 vsize=18288 CPUtime=1.49 cores=0,2,4,6
/proc/12404/stat : 12404 (bsolo) R 12402 12404 5561 0 -1 4202496 2256 0 0 0 149 0 0 0 20 0 1 0 336232137 18726912 2132 33554432000 134512640 137136520 4289439072 4289437352 136504651 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12404/statm: 4572 2132 198 641 0 3928 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 18288

[startup+3.10023 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12405
/proc/meminfo: memFree=28387380/32873844 swapFree=7632/7632
[pid=12404] ppid=12402 vsize=22924 CPUtime=3.09 cores=0,2,4,6
/proc/12404/stat : 12404 (bsolo) R 12402 12404 5561 0 -1 4202496 3412 0 0 0 308 1 0 0 20 0 1 0 336232137 23474176 3288 33554432000 134512640 137136520 4289439072 4289437836 136295552 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12404/statm: 5731 3288 198 641 0 5087 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 22924

[startup+6.30024 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12405
/proc/meminfo: memFree=28367036/32873844 swapFree=7632/7632
[pid=12404] ppid=12402 vsize=29340 CPUtime=6.29 cores=0,2,4,6
/proc/12404/stat : 12404 (bsolo) R 12402 12404 5561 0 -1 4202496 5023 0 0 0 628 1 0 0 20 0 1 0 336232137 30044160 4899 33554432000 134512640 137136520 4289439072 4289438188 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12404/statm: 7335 4899 198 641 0 6691 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 29340

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12405
/proc/meminfo: memFree=28333908/32873844 swapFree=7632/7632
[pid=12404] ppid=12402 vsize=40316 CPUtime=12.69 cores=0,2,4,6
/proc/12404/stat : 12404 (bsolo) R 12402 12404 5561 0 -1 4202496 7770 0 0 0 1266 3 0 0 20 0 1 0 336232137 41283584 7645 33554432000 134512640 137136520 4289439072 4289438000 134543869 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12404/statm: 10079 7645 198 641 0 9435 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 40316

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12405
/proc/meminfo: memFree=28288416/32873844 swapFree=7632/7632
[pid=12404] ppid=12402 vsize=55064 CPUtime=25.47 cores=0,2,4,6
/proc/12404/stat : 12404 (bsolo) R 12402 12404 5561 0 -1 4202496 11473 0 0 0 2542 5 0 0 20 0 1 0 336232137 56385536 11340 33554432000 134512640 137136520 4289439072 4289438000 134544498 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12404/statm: 13766 11340 198 641 0 13122 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 55064

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12405
/proc/meminfo: memFree=28229484/32873844 swapFree=7632/7632
[pid=12404] ppid=12402 vsize=77680 CPUtime=51.06 cores=0,2,4,6
/proc/12404/stat : 12404 (bsolo) R 12402 12404 5561 0 -1 4202496 17133 0 0 0 5096 10 0 0 20 0 1 0 336232137 79544320 16985 33554432000 134512640 137136520 4289439072 4289437948 136293435 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12404/statm: 19420 16985 198 641 0 18776 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 77680

[startup+102.306 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 12406
/proc/meminfo: memFree=28134984/32873844 swapFree=7632/7632
[pid=12404] ppid=12402 vsize=113220 CPUtime=102.25 cores=0,2,4,6
/proc/12404/stat : 12404 (bsolo) R 12402 12404 5561 0 -1 4202496 26011 0 0 0 10207 18 0 0 20 0 1 0 336232137 115937280 25856 33554432000 134512640 137136520 4289439072 4289437968 134543819 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12404/statm: 28305 25856 198 641 0 27661 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 113220

[startup+162.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 12406
/proc/meminfo: memFree=28046476/32873844 swapFree=7632/7632
[pid=12404] ppid=12402 vsize=127600 CPUtime=162.24 cores=0,2,4,6
/proc/12404/stat : 12404 (bsolo) R 12402 12404 5561 0 -1 4202496 29694 0 0 0 16201 23 0 0 20 0 1 0 336232137 130662400 29465 33554432000 134512640 137136520 4289439072 4289438000 134543865 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12404/statm: 31900 29465 198 641 0 31256 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 127600

[startup+222.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 12406
/proc/meminfo: memFree=27973964/32873844 swapFree=7632/7632
[pid=12404] ppid=12402 vsize=127600 CPUtime=222.23 cores=0,2,4,6
/proc/12404/stat : 12404 (bsolo) R 12402 12404 5561 0 -1 4202496 29694 0 0 0 22197 26 0 0 20 0 1 0 336232137 130662400 29465 33554432000 134512640 137136520 4289439072 4289437968 134544104 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12404/statm: 31900 29465 198 641 0 31256 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 127600

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12406
/proc/meminfo: memFree=27918192/32873844 swapFree=7632/7632
[pid=12404] ppid=12402 vsize=127932 CPUtime=282.21 cores=0,2,4,6
/proc/12404/stat : 12404 (bsolo) R 12402 12404 5561 0 -1 4202496 29761 0 0 0 28191 30 0 0 20 0 1 0 336232137 131002368 29532 33554432000 134512640 137136520 4289439072 4289438000 134544122 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12404/statm: 31983 29532 198 641 0 31339 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 127932

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 12409
/proc/meminfo: memFree=27871116/32873844 swapFree=7632/7632
[pid=12404] ppid=12402 vsize=129648 CPUtime=342.2 cores=0,2,4,6
/proc/12404/stat : 12404 (bsolo) R 12402 12404 5561 0 -1 4202496 30204 0 0 0 34187 33 0 0 20 0 1 0 336232137 132759552 29973 33554432000 134512640 137136520 4289439072 4289438000 134543951 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12404/statm: 32412 29973 198 641 0 31768 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 129648

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12410
/proc/meminfo: memFree=27814520/32873844 swapFree=7632/7632
[pid=12404] ppid=12402 vsize=142612 CPUtime=402.16 cores=0,2,4,6
/proc/12404/stat : 12404 (bsolo) R 12402 12404 5561 0 -1 4202496 33573 0 0 0 40179 37 0 0 20 0 1 0 336232137 146034688 33231 33554432000 134512640 137136520 4289439072 4289438000 134543865 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12404/statm: 35653 33231 198 641 0 35009 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 142612

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12410
/proc/meminfo: memFree=27773228/32873844 swapFree=7632/7632
[pid=12404] ppid=12402 vsize=142612 CPUtime=462.16 cores=0,2,4,6
/proc/12404/stat : 12404 (bsolo) R 12402 12404 5561 0 -1 4202496 33573 0 0 0 46176 40 0 0 20 0 1 0 336232137 146034688 33231 33554432000 134512640 137136520 4289439072 4289437992 135982520 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12404/statm: 35653 33231 198 641 0 35009 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 142612

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12410
/proc/meminfo: memFree=27745204/32873844 swapFree=7632/7632
[pid=12404] ppid=12402 vsize=143272 CPUtime=522.15 cores=0,2,4,6
/proc/12404/stat : 12404 (bsolo) R 12402 12404 5561 0 -1 4202496 33721 0 0 0 52173 42 0 0 20 0 1 0 336232137 146710528 33379 33554432000 134512640 137136520 4289439072 4289438000 134543819 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12404/statm: 35818 33379 198 641 0 35174 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 143272

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12410
/proc/meminfo: memFree=27702176/32873844 swapFree=7632/7632
[pid=12404] ppid=12402 vsize=165764 CPUtime=582.14 cores=0,2,4,6
/proc/12404/stat : 12404 (bsolo) R 12402 12404 5561 0 -1 4202496 39335 0 0 0 58165 49 0 0 20 0 1 0 336232137 169742336 38993 33554432000 134512640 137136520 4289439072 4289438000 134543819 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12404/statm: 41441 38993 198 641 0 40797 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 165764

[startup+642.3 s]

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

/proc/12404/statm: 56943 54511 198 641 0 56299 0
Current children cumulated CPU time (s) 1421.99
Current children cumulated vsize (KiB) 227772

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12416
/proc/meminfo: memFree=27390124/32873844 swapFree=7632/7632
[pid=12404] ppid=12402 vsize=227776 CPUtime=1481.97 cores=0,2,4,6
/proc/12404/stat : 12404 (bsolo) R 12402 12404 5561 0 -1 4202496 55208 0 0 0 148101 96 0 0 20 0 1 0 336232137 233242624 54512 33554432000 134512640 137136520 4289439072 4289438000 134543831 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12404/statm: 56944 54512 198 641 0 56300 0
Current children cumulated CPU time (s) 1481.97
Current children cumulated vsize (KiB) 227776

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 12419
/proc/meminfo: memFree=27364420/32873844 swapFree=7632/7632
[pid=12404] ppid=12402 vsize=241144 CPUtime=1541.95 cores=0,2,4,6
/proc/12404/stat : 12404 (bsolo) R 12402 12404 5561 0 -1 4202496 58565 0 0 0 154096 99 0 0 20 0 1 0 336232137 246931456 57855 33554432000 134512640 137136520 4289439072 4289438000 134544703 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12404/statm: 60286 57855 198 641 0 59642 0
Current children cumulated CPU time (s) 1541.95
Current children cumulated vsize (KiB) 241144

[startup+1602.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 12419
/proc/meminfo: memFree=27342728/32873844 swapFree=7632/7632
[pid=12404] ppid=12402 vsize=244052 CPUtime=1601.94 cores=0,2,4,6
/proc/12404/stat : 12404 (bsolo) R 12402 12404 5561 0 -1 4202496 59414 0 0 0 160093 101 0 0 20 0 1 0 336232137 249909248 58573 33554432000 134512640 137136520 4289439072 4289438188 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12404/statm: 61013 58573 198 641 0 60369 0
Current children cumulated CPU time (s) 1601.94
Current children cumulated vsize (KiB) 244052

[startup+1662.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 12420
/proc/meminfo: memFree=27315324/32873844 swapFree=7632/7632
[pid=12404] ppid=12402 vsize=244052 CPUtime=1661.92 cores=0,2,4,6
/proc/12404/stat : 12404 (bsolo) R 12402 12404 5561 0 -1 4202496 59414 0 0 0 166089 103 0 0 20 0 1 0 336232137 249909248 58573 33554432000 134512640 137136520 4289439072 4289438000 134543957 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12404/statm: 61013 58573 198 641 0 60369 0
Current children cumulated CPU time (s) 1661.92
Current children cumulated vsize (KiB) 244052

[startup+1722.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/177 12420
/proc/meminfo: memFree=27314456/32873844 swapFree=7632/7632
[pid=12404] ppid=12402 vsize=244052 CPUtime=1721.92 cores=0,2,4,6
/proc/12404/stat : 12404 (bsolo) R 12402 12404 5561 0 -1 4202496 59414 0 0 0 172087 105 0 0 20 0 1 0 336232137 249909248 58573 33554432000 134512640 137136520 4289439072 4289438000 134544604 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12404/statm: 61013 58573 198 641 0 60369 0
Current children cumulated CPU time (s) 1721.92
Current children cumulated vsize (KiB) 244052

[startup+1782.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 12420
/proc/meminfo: memFree=27314208/32873844 swapFree=7632/7632
[pid=12404] ppid=12402 vsize=244052 CPUtime=1781.91 cores=0,2,4,6
/proc/12404/stat : 12404 (bsolo) R 12402 12404 5561 0 -1 4202496 59414 0 0 0 178084 107 0 0 20 0 1 0 336232137 249909248 58573 33554432000 134512640 137136520 4289439072 4289438000 134543986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12404/statm: 61013 58573 198 641 0 60369 0
Current children cumulated CPU time (s) 1781.91
Current children cumulated vsize (KiB) 244052

############
# WARNING:
# current cumulated CPU time (0 s) is less than in the last sample (1797.91 s)
# The time of a child was probably not reported to its father.
# (see the two samples below)
# Adding the difference (1797.91 s) to the 'lost time'.

[startup+1798.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 12420
/proc/meminfo: memFree=27313960/32873844 swapFree=7632/7632
[pid=12404] ppid=12402 vsize=244052 CPUtime=1797.91 cores=0,2,4,6
/proc/12404/stat : 12404 (bsolo) R 12402 12404 5561 0 -1 4202496 59414 0 0 0 179683 108 0 0 20 0 1 0 336232137 249909248 58573 33554432000 134512640 137136520 4289439072 4289438000 134543865 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12404/statm: 61013 58573 198 641 0 60369 0
Current children cumulated CPU time (s) 1797.91
Current children cumulated vsize (KiB) 244052

[startup+1798.4 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 12420
/proc/meminfo: memFree=27313960/32873844 swapFree=7632/7632
[pid=12404] ppid=-1 vsize=0 CPUtime=0 cores=
/proc/12404/stat : -- couldn't open stat file --/proc/12404/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 0
#
############


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

[startup+1791.91 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 12420
/proc/meminfo: memFree=27313960/32873844 swapFree=7632/7632
[pid=12404] ppid=12402 vsize=244052 CPUtime=1791.52 cores=0,2,4,6
/proc/12404/stat : 12404 (bsolo) R 12402 12404 5561 0 -1 4202496 59414 0 0 0 179044 108 0 0 20 0 1 0 336232137 249909248 58573 33554432000 134512640 137136520 4289439072 4289438000 134543865 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12404/statm: 61013 58573 198 641 0 60369 0
Current children cumulated CPU time (s) 1791.52
Current children cumulated vsize (KiB) 244052

[startup+1795.1 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 12420
/proc/meminfo: memFree=27313960/32873844 swapFree=7632/7632
[pid=12404] ppid=12402 vsize=244052 CPUtime=1794.72 cores=0,2,4,6
/proc/12404/stat : 12404 (bsolo) R 12402 12404 5561 0 -1 4202496 59414 0 0 0 179364 108 0 0 20 0 1 0 336232137 249909248 58573 33554432000 134512640 137136520 4289439072 4289438188 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12404/statm: 61013 58573 198 641 0 60369 0
Current children cumulated CPU time (s) 1794.72
Current children cumulated vsize (KiB) 244052

[startup+1796.7 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 12420
/proc/meminfo: memFree=27313960/32873844 swapFree=7632/7632
[pid=12404] ppid=12402 vsize=244052 CPUtime=1796.31 cores=0,2,4,6
/proc/12404/stat : 12404 (bsolo) R 12402 12404 5561 0 -1 4202496 59414 0 0 0 179523 108 0 0 20 0 1 0 336232137 249909248 58573 33554432000 134512640 137136520 4289439072 4289438000 134543865 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12404/statm: 61013 58573 198 641 0 60369 0
Current children cumulated CPU time (s) 1796.31
Current children cumulated vsize (KiB) 244052

[startup+1797.5 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 12420
/proc/meminfo: memFree=27313960/32873844 swapFree=7632/7632
[pid=12404] ppid=12402 vsize=244052 CPUtime=1797.11 cores=0,2,4,6
/proc/12404/stat : 12404 (bsolo) R 12402 12404 5561 0 -1 4202496 59414 0 0 0 179603 108 0 0 20 0 1 0 336232137 249909248 58573 33554432000 134512640 137136520 4289439072 4289438000 134544384 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12404/statm: 61013 58573 198 641 0 60369 0
Current children cumulated CPU time (s) 1797.11
Current children cumulated vsize (KiB) 244052

[startup+1797.9 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 12420
/proc/meminfo: memFree=27313960/32873844 swapFree=7632/7632
[pid=12404] ppid=12402 vsize=244052 CPUtime=1797.51 cores=0,2,4,6
/proc/12404/stat : 12404 (bsolo) R 12402 12404 5561 0 -1 4202496 59414 0 0 0 179643 108 0 0 20 0 1 0 336232137 249909248 58573 33554432000 134512640 137136520 4289439072 4289438000 134543957 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12404/statm: 61013 58573 198 641 0 60369 0
Current children cumulated CPU time (s) 1797.51
Current children cumulated vsize (KiB) 244052

[startup+1798.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 12420
/proc/meminfo: memFree=27313960/32873844 swapFree=7632/7632
[pid=12404] ppid=12402 vsize=244052 CPUtime=1797.91 cores=0,2,4,6
/proc/12404/stat : 12404 (bsolo) R 12402 12404 5561 0 -1 4202496 59414 0 0 0 179683 108 0 0 20 0 1 0 336232137 249909248 58573 33554432000 134512640 137136520 4289439072 4289438000 134543865 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12404/statm: 61013 58573 198 641 0 60369 0
Current children cumulated CPU time (s) 1797.91
Current children cumulated vsize (KiB) 244052

[startup+1798.4 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 12420
/proc/meminfo: memFree=27313960/32873844 swapFree=7632/7632
[pid=12404] ppid=-1 vsize=0 CPUtime=0 cores=
/proc/12404/stat : -- couldn't open stat file --/proc/12404/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 0

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 12404 and gives
#  childrusage.ru_utime.tv_sec=1796
#  childrusage.ru_utime.tv_usec=934824
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=84835
# CPU time returned by wait4() is 1798.02
# while last known CPU time is 0
#
# Using CPU time of the last sample as value...


# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 1797.91
#  lost CPU user time (s): 1796.83
#  lost CPU system time (s): 1.08

Real time (s): 1798.4
CPU time (s): 1797.91
CPU user time (s): 1796.83
CPU system time (s): 1.08
CPU usage (%): 99.9726
Max. virtual memory (cumulated for all children) (KiB): 244576

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.93
system time used= 1.08483
maximum resident set size= 234816
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 59416
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= 107
involuntary context switches= 1847

runsolver used 2.59461 second user time and 7.2219 second system time

The end

Launcher Data

Begin job on node141 at 2012-06-03 07:24:38
IDJOB=3731880
IDBENCH=2007
IDSOLVER=2320
FILE ID=node141/3731880-1338701078
RUNJOBID= node141-1338697475-12116
PBS_JOBID= 14636672
Free space on /tmp= 70716 MiB

SOLVER NAME= PB09: bsolo 3.1
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ttp/normalized-circ6_3.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT -mMEMLIMIT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3731880-1338701078/watcher-3731880-1338701078 -o /tmp/evaluation-result-3731880-1338701078/solver-3731880-1338701078 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 -m15500 HOME/instance-3731880-1338701078.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= ff9be653d1d3ea3b1a82846016e94df6
RANDOM SEED=161996045

node141.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.744
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.48
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.744
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.744
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.93
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.744
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.744
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.744
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.744
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.744
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        28407804 kB
Buffers:          403920 kB
Cached:          3162080 kB
SwapCached:          216 kB
Active:          1245988 kB
Inactive:        2338748 kB
Active(anon):       8548 kB
Inactive(anon):    11288 kB
Active(file):    1237440 kB
Inactive(file):  2327460 kB
Unevictable:        7632 kB
Mlocked:            7632 kB
SwapTotal:      67108856 kB
SwapFree:       67108640 kB
Dirty:              8552 kB
Writeback:             0 kB
AnonPages:        114632 kB
Mapped:            11480 kB
Shmem:               172 kB
Slab:             739772 kB
SReclaimable:     182120 kB
SUnreclaim:       557652 kB
KernelStack:        1472 kB
PageTables:         3420 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     139960 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     90112 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-3731880-1338701078.opb

Free space on /tmp at the end= 70712 MiB
End job on node141 at 2012-06-03 07:54:37