Trace number 2670723

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
bsolo 3.2 CardSAT3 1798 1798.43

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/
factor-mod-B/factor-mod-size=9-P0=19-P1=337-P2=467-P3=53-B.opb
MD5SUM1214df7607414e67bdb9a74c838a7ae9
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark3.77243
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3
Optimality of the best value was proved YES
Number of variables81
Total number of constraints7
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints7
Minimum length of a constraint9
Maximum length of a constraint99
Number of terms in the objective function 9
Biggest coefficient in the objective function 256
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 511
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 131072
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 523264
Number of bits of the biggest sum of numbers19
Number of products (including duplicates)243
Sum of products size (including duplicates)486
Number of different products243
Sum of products size486

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.2 - 23/05/2010 : 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 Time Limit set to 1800
0.00/0.00	c Learning Strategy: Cardinality Constraint Learning
0.00/0.00	c Instance file HOME/instance-2670723-1276705459.opb
0.00/0.00	c File size is 17961 bytes.
0.00/0.00	c Highest Coefficient sum: 523264
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0.003 s
0.00/0.00	c Var: 324 Constr: 496 243/0/253 Lit: 2070 Watch. Lit: 1271
0.00/0.00	c Obj. Vars: 9 (2.77778 % of total variables)
0.00/0.00	c Pre-processing Time: 0.007 s
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c        0    324      496     2070    4     1781    2762      0      0 0.01
0.00/0.00	c Switching off lower bounding mode.
0.29/0.37	c      103    324      692    12579   18     2270    3039    196   3121 0.03
0.29/0.37	c      253    324      980    30935   31     3066    3343    484   3373 0.07
0.29/0.37	c      478    324     1411    58695   41     4202    3678    915   3186 0.15
0.29/0.37	c      816    324     2056    99928   48     5945    4046   1560   2978 0.27
0.29/0.37	o 21
8.49/8.52	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
8.49/8.52	c     1125    324     2645   135744   51     7528    2781   2149   2976 0.38
8.49/8.52	c     1225    293     2825   145506   51     8037    3060   2329   2923 0.42
8.49/8.52	c     1475    293     3297   174458   52     9245    3367   2801   2852 0.52
8.49/8.52	c     1950    280     2227   118292   53     5691    3704   1731   2700 0.72
8.49/8.52	c     2763    280     3806   231646   60    10002    4075   3310   2614 1.06
8.49/8.52	c     4083    280     4090   245833   60    10617    4483   3594   2426 1.68
8.49/8.52	c     6166    280     3146   200291   63     8106    4932   2650   2184 2.82
8.49/8.52	c     9389    280     4125   242403   58    10879    5426   3629   2120 4.43
8.49/8.52	c    14325    280     5177   297335   57    13626    5969   4681   1924 7.45
8.49/8.52	o 9
13.28/13.32	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
13.28/13.32	c    16161    280     5528   322587   58    14524    2772   5032   1897 8.52
13.28/13.32	c    16262    269     2080   108543   52     5488    3050   1584   1896 8.57
13.28/13.32	c    16512    269     2554   142231   55     6541    3356   2058   1904 8.67
13.28/13.32	c    16987    269     3464   200683   57     8813    3692   2968   1908 8.90
13.28/13.32	c    17801    269     3056   171154   56     7632    4062   2560   1906 9.34
13.28/13.32	c    19121    269     3405   190783   56     8490    4469   2909   1892 10.10
13.28/13.32	c    21202    269     2737   151807   55     7168    4916   2241   1866 11.36
13.28/13.32	c    24427    269     3823   211948   55     9881    5408   3327   1842 13.26
13.28/13.32	o 5
82.67/82.73	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
82.67/82.73	c    24601    269     4158   231710   55    10839    2770   3662   1847 13.31
82.67/82.73	c    24702    269     2077   107090   51     5496    3048   1581   1846 13.38
82.67/82.73	c    24953    258     2551   133191   52     6750    3353   2055   1851 13.48
82.67/82.73	c    25429    258     3455   181026   52     9172    3689   2959   1857 13.69
82.67/82.73	c    26242    258     2917   167580   57     7621    4058   2421   1864 14.07
82.67/82.73	c    27562    258     3312   185563   56     8694    4464   2816   1865 14.77
82.67/82.73	c    29644    258     5005   286967   57    13001    4911   4509   1854 15.98
82.67/82.73	c    32868    258     3355   173327   51     8621    5403   2859   1817 18.08
82.67/82.73	c    37804    258     4250   233980   55    10986    5944   3754   1774 21.30
82.67/82.73	c    45310    258     6348   351967   55    16983    6539   5852   1736 26.09
82.67/82.73	c    56671    258     4411   239711   54    11605    7193   3915   1660 34.14
82.67/82.73	c    73815    258     6149   416306   67    15141    7913   5653   1514 48.74
82.67/82.73	c    99634    258     6194   360864   58    16287    8705   5698   1445 68.91
82.67/82.73	o 3
1797.97/1798.43	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.97/1798.43	c   116069    258     4856   311090   64    12400    2768   4360   1402 82.76
1797.97/1798.43	c   116169    235     2075   122697   59     5438    3045   1579   1402 82.81
1797.97/1798.43	c   116419    235     2552   148905   58     6745    3350   2056   1404 82.90
1797.97/1798.43	c   116895    235     3457   199743   57     9221    3686   2961   1406 83.11
1797.97/1798.43	c   117709    235     2998   158983   53     8124    4055   2502   1410 83.45
1797.97/1798.43	c   119030    235     3373   192837   57     8771    4461   2877   1414 84.14
1797.97/1798.43	c   121111    235     4872   300505   61    12186    4908   4376   1416 85.52
1797.97/1798.43	c   124334    235     3039   192836   63     7858    5399   2543   1423 87.35
1797.97/1798.43	c   129271    235     3895   230861   59    10171    5939   3399   1432 90.21
1797.97/1798.43	c   136777    235     5516   365528   66    14031    6533   5020   1434 95.33
1797.97/1798.43	c   148138    235     6309   410788   65    15962    7187   5813   1452 102.01
1797.97/1798.43	c   165282    235     5562   326745   58    14487    7906   5066   1434 115.20
1797.97/1798.43	c   191101    235     4458   286996   64    11646    8697   3962   1379 138.51
1797.97/1798.43	c   229934    235     6330   369420   58    16873    9567   5834   1348 170.55
1797.97/1798.43	c   288287    235     6965   437071   62    18226   10524   6469   1278 225.47
1797.97/1798.43	c   375919    235     8954   546938   61    22476   11577   8458   1211 310.32
1797.97/1798.43	c   507472    235    11749   799509   68    30470   12735  11253   1106 458.83
1797.97/1798.43	c   704904    235    12650   881061   69    31904   14009  12154    998 706.28
1797.97/1798.43	c  1001157    235    10134   670033   66    26289   15410   9638    874 1144.63
1797.97/1798.43	c  1445641    235    15916   949190   59    41198   16952  15420    837 1725.82
1797.97/1798.43	c Resources Exceeded
1797.97/1798.43	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 x31 -x32 -x33 -x34 -x35 x36 x82 x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 x91 x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 x109 x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 x118 x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 x127 x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 x145 x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 x37 -x38 -x39 -x40 x41 x42 -x43 -x44 -x45 x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 x163 -x164 -x165 -x166 x167 x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 x199 -x200 -x201 -x202 x203 x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 x217 -x218 -x219 -x220 x221 x222 -x223 -x224 -x225 x226 -x227 -x228 -x229 x230 x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x64 -x65 x66 -x67 x68 -x69 -x70 -x71 -x72 x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 
1797.97/1798.43	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.97/1798.43	c   54  1491909  12546  1524017    16034  1102636  15538    829 1798.00
1797.97/1798.43	c Objective: 3
1797.97/1798.43	s SATISFIABLE
1797.97/1798.43	c Total time: 1798 s

Verifier Data 

OK	3

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2670723-1276705459/watcher-2670723-1276705459 -o /tmp/evaluation-result-2670723-1276705459/solver-2670723-1276705459 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2670723-1276705459.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: 1.00 1.00 1.00 3/106 16569
/proc/meminfo: memFree=1623472/2059040 swapFree=4192956/4192956
[pid=16569] ppid=16567 vsize=10924 CPUtime=0
/proc/16569/stat : 16569 (bsolo_pb10) R 16567 16569 16100 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 11836709 11186176 269 1992294400 134512640 137138936 4291695600 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16569/statm: 2731 269 186 642 0 2087 0

[startup+0.087415 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 16569
/proc/meminfo: memFree=1623472/2059040 swapFree=4192956/4192956
[pid=16569] ppid=16567 vsize=11312 CPUtime=0.08
/proc/16569/stat : 16569 (bsolo_pb10) R 16567 16569 16100 0 -1 4202496 482 0 0 0 8 0 0 0 20 0 1 0 11836709 11583488 395 1992294400 134512640 137138936 4291695600 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16569/statm: 2828 395 192 642 0 2184 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 11312

[startup+0.101354 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 16569
/proc/meminfo: memFree=1623472/2059040 swapFree=4192956/4192956
[pid=16569] ppid=16567 vsize=11444 CPUtime=0.09
/proc/16569/stat : 16569 (bsolo_pb10) R 16567 16569 16100 0 -1 4202496 503 0 0 0 9 0 0 0 20 0 1 0 11836709 11718656 416 1992294400 134512640 137138936 4291695600 18446744073709551615 134575658 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16569/statm: 2861 416 192 642 0 2217 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11444

[startup+0.301371 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 16569
/proc/meminfo: memFree=1623472/2059040 swapFree=4192956/4192956
[pid=16569] ppid=16567 vsize=12472 CPUtime=0.29
/proc/16569/stat : 16569 (bsolo_pb10) R 16567 16569 16100 0 -1 4202496 750 0 0 0 29 0 0 0 20 0 1 0 11836709 12771328 663 1992294400 134512640 137138936 4291695600 18446744073709551615 136511195 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16569/statm: 3118 663 192 642 0 2474 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12472

[startup+0.701407 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 16569
/proc/meminfo: memFree=1623472/2059040 swapFree=4192956/4192956
[pid=16569] ppid=16567 vsize=14148 CPUtime=0.69
/proc/16569/stat : 16569 (bsolo_pb10) R 16567 16569 16100 0 -1 4202496 1186 0 0 0 69 0 0 0 20 0 1 0 11836709 14487552 1099 1992294400 134512640 137138936 4291695600 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16569/statm: 3537 1099 192 642 0 2893 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14148

[startup+1.50148 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16570
/proc/meminfo: memFree=1619868/2059040 swapFree=4192956/4192956
[pid=16569] ppid=16567 vsize=15176 CPUtime=1.5
/proc/16569/stat : 16569 (bsolo_pb10) R 16567 16569 16100 0 -1 4202496 1456 0 0 0 149 1 0 0 22 0 1 0 11836709 15540224 1369 1992294400 134512640 137138936 4291695600 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16569/statm: 3794 1369 192 642 0 3150 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 15176

[startup+3.10162 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16570
/proc/meminfo: memFree=1618380/2059040 swapFree=4192956/4192956
[pid=16569] ppid=16567 vsize=15704 CPUtime=3.09
/proc/16569/stat : 16569 (bsolo_pb10) R 16567 16569 16100 0 -1 4202496 1561 0 0 0 308 1 0 0 25 0 1 0 11836709 16080896 1474 1992294400 134512640 137138936 4291695600 18446744073709551615 134603088 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16569/statm: 3926 1474 192 642 0 3282 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15704

[startup+6.3009 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16570
/proc/meminfo: memFree=1617512/2059040 swapFree=4192956/4192956
[pid=16569] ppid=16567 vsize=16092 CPUtime=6.29
/proc/16569/stat : 16569 (bsolo_pb10) R 16567 16569 16100 0 -1 4202496 1680 0 0 0 627 2 0 0 25 0 1 0 11836709 16478208 1593 1992294400 134512640 137138936 4291695600 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16569/statm: 4023 1593 192 642 0 3379 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 16092

[startup+12.7005 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16572
/proc/meminfo: memFree=1617016/2059040 swapFree=4192956/4192956
[pid=16569] ppid=16567 vsize=16480 CPUtime=12.69
/proc/16569/stat : 16569 (bsolo_pb10) R 16567 16569 16100 0 -1 4202496 1772 0 0 0 1265 4 0 0 25 0 1 0 11836709 16875520 1685 1992294400 134512640 137138936 4291695600 18446744073709551615 134602731 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16569/statm: 4120 1685 192 642 0 3476 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 16480

[startup+25.5016 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16572
/proc/meminfo: memFree=1617016/2059040 swapFree=4192956/4192956
[pid=16569] ppid=16567 vsize=16480 CPUtime=25.48
/proc/16569/stat : 16569 (bsolo_pb10) R 16567 16569 16100 0 -1 4202496 1775 0 0 0 2542 6 0 0 25 0 1 0 11836709 16875520 1688 1992294400 134512640 137138936 4291695600 18446744073709551615 136500140 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16569/statm: 4120 1688 192 642 0 3476 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 16480

[startup+51.1008 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16572
/proc/meminfo: memFree=1614536/2059040 swapFree=4192956/4192956
[pid=16569] ppid=16567 vsize=19188 CPUtime=51.08
/proc/16569/stat : 16569 (bsolo_pb10) R 16567 16569 16100 0 -1 4202496 2438 0 0 0 5096 12 0 0 25 0 1 0 11836709 19648512 2351 1992294400 134512640 137138936 4291695600 18446744073709551615 134618096 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16569/statm: 4797 2351 192 642 0 4153 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 19188

[startup+102.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16574
/proc/meminfo: memFree=1612924/2059040 swapFree=4192956/4192956
[pid=16569] ppid=16567 vsize=20416 CPUtime=102.28
/proc/16569/stat : 16569 (bsolo_pb10) R 16567 16569 16100 0 -1 4202496 2800 0 0 0 10205 23 0 0 25 0 1 0 11836709 20905984 2679 1992294400 134512640 137138936 4291695600 18446744073709551615 135984570 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16569/statm: 5104 2679 192 642 0 4460 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 20416

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16576
/proc/meminfo: memFree=1612924/2059040 swapFree=4192956/4192956
[pid=16569] ppid=16567 vsize=20416 CPUtime=162.25
/proc/16569/stat : 16569 (bsolo_pb10) R 16567 16569 16100 0 -1 4202496 2800 0 0 0 16189 36 0 0 25 0 1 0 11836709 20905984 2679 1992294400 134512640 137138936 4291695600 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16569/statm: 5104 2679 192 642 0 4460 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 20416

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16576
/proc/meminfo: memFree=1612676/2059040 swapFree=4192956/4192956
[pid=16569] ppid=16567 vsize=20932 CPUtime=222.24
/proc/16569/stat : 16569 (bsolo_pb10) R 16567 16569 16100 0 -1 4202496 2912 0 0 0 22176 48 0 0 25 0 1 0 11836709 21434368 2791 1992294400 134512640 137138936 4291695600 18446744073709551615 134606841 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16569/statm: 5233 2791 192 642 0 4589 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 20932

[startup+282.301 s]
/proc/loadavg: 1.12 1.03 1.01 2/107 16578
/proc/meminfo: memFree=1611684/2059040 swapFree=4192956/4192956
[pid=16569] ppid=16567 vsize=21788 CPUtime=282.23
/proc/16569/stat : 16569 (bsolo_pb10) R 16567 16569 16100 0 -1 4202496 3129 0 0 0 28164 59 0 0 25 0 1 0 11836709 22310912 3008 1992294400 134512640 137138936 4291695600 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16569/statm: 5447 3008 192 642 0 4803 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 21788

[startup+342.301 s]
/proc/loadavg: 1.11 1.04 1.01 2/107 16580
/proc/meminfo: memFree=1610320/2059040 swapFree=4192956/4192956
[pid=16569] ppid=16567 vsize=23152 CPUtime=342.21
/proc/16569/stat : 16569 (bsolo_pb10) R 16567 16569 16100 0 -1 4202496 3473 0 0 0 34152 69 0 0 25 0 1 0 11836709 23707648 3352 1992294400 134512640 137138936 4291695600 18446744073709551615 134606997 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16569/statm: 5788 3352 192 642 0 5144 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 23152

[startup+402.302 s]
/proc/loadavg: 1.11 1.04 1.01 2/107 16582
/proc/meminfo: memFree=1610320/2059040 swapFree=4192956/4192956
[pid=16569] ppid=16567 vsize=23152 CPUtime=402.2
/proc/16569/stat : 16569 (bsolo_pb10) R 16567 16569 16100 0 -1 4202496 3473 0 0 0 40140 80 0 0 25 0 1 0 11836709 23707648 3352 1992294400 134512640 137138936 4291695600 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16569/statm: 5788 3352 192 642 0 5144 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 23152

[startup+462.301 s]
/proc/loadavg: 1.10 1.05 1.00 2/107 16584
/proc/meminfo: memFree=1609328/2059040 swapFree=4192956/4192956
[pid=16569] ppid=16567 vsize=24176 CPUtime=462.18
/proc/16569/stat : 16569 (bsolo_pb10) R 16567 16569 16100 0 -1 4202496 3721 0 0 0 46127 91 0 0 25 0 1 0 11836709 24756224 3600 1992294400 134512640 137138936 4291695600 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16569/statm: 6044 3600 192 642 0 5400 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 24176

[startup+522.301 s]
/proc/loadavg: 1.08 1.05 1.00 2/107 16587
/proc/meminfo: memFree=1608212/2059040 swapFree=4192956/4192956
[pid=16569] ppid=16567 vsize=24632 CPUtime=522.17
/proc/16569/stat : 16569 (bsolo_pb10) R 16567 16569 16100 0 -1 4202496 3837 0 0 0 52115 102 0 0 25 0 1 0 11836709 25223168 3716 1992294400 134512640 137138936 4291695600 18446744073709551615 134599744 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16569/statm: 6158 3716 192 642 0 5514 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 24632

[startup+582.301 s]
/proc/loadavg: 1.03 1.04 1.00 2/107 16589
/proc/meminfo: memFree=1608212/2059040 swapFree=4192956/4192956
[pid=16569] ppid=16567 vsize=24620 CPUtime=582.15
/proc/16569/stat : 16569 (bsolo_pb10) R 16567 16569 16100 0 -1 4202496 3837 0 0 0 58102 113 0 0 25 0 1 0 11836709 25210880 3716 1992294400 134512640 137138936 4291695600 18446744073709551615 136502098 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16569/statm: 6155 3716 192 642 0 5511 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 24620

[startup+642.301 s]
/proc/loadavg: 1.07 1.05 1.00 2/107 16591
/proc/meminfo: memFree=1607964/2059040 swapFree=4192956/4192956
[pid=16569] ppid=16567 vsize=25012 CPUtime=642.15
/proc/16569/stat : 16569 (bsolo_pb10) R 16567 16569 16100 0 -1 4202496 3937 0 0 0 64090 125 0 0 25 0 1 0 11836709 25612288 3816 1992294400 134512640 137138936 4291695600 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16569/statm: 6253 3816 192 642 0 5609 0
Current children cumulated CPU time (s) 642.15
Current children cumulated vsize (KiB) 25012

[startup+702.302 s]

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

/proc/meminfo: memFree=1606724/2059040 swapFree=4192956/4192956
[pid=16569] ppid=16567 vsize=26284 CPUtime=1122.03
/proc/16569/stat : 16569 (bsolo_pb10) R 16567 16569 16100 0 -1 4202496 4256 0 0 0 111993 210 0 0 25 0 1 0 11836709 26914816 4135 1992294400 134512640 137138936 4291695600 18446744073709551615 136502585 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16569/statm: 6571 4135 192 642 0 5927 0
Current children cumulated CPU time (s) 1122.03
Current children cumulated vsize (KiB) 26284

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16605
/proc/meminfo: memFree=1605856/2059040 swapFree=4192956/4192956
[pid=16569] ppid=16567 vsize=27400 CPUtime=1182.01
/proc/16569/stat : 16569 (bsolo_pb10) R 16567 16569 16100 0 -1 4202496 4529 0 0 0 117980 221 0 0 25 0 1 0 11836709 28057600 4408 1992294400 134512640 137138936 4291695600 18446744073709551615 134542617 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16569/statm: 6850 4408 192 642 0 6206 0
Current children cumulated CPU time (s) 1182.01
Current children cumulated vsize (KiB) 27400

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16607
/proc/meminfo: memFree=1605608/2059040 swapFree=4192956/4192956
[pid=16569] ppid=16567 vsize=27400 CPUtime=1242
/proc/16569/stat : 16569 (bsolo_pb10) R 16567 16569 16100 0 -1 4202496 4532 0 0 0 123967 233 0 0 25 0 1 0 11836709 28057600 4411 1992294400 134512640 137138936 4291695600 18446744073709551615 134542497 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16569/statm: 6850 4411 192 642 0 6206 0
Current children cumulated CPU time (s) 1242
Current children cumulated vsize (KiB) 27400

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16609
/proc/meminfo: memFree=1605112/2059040 swapFree=4192956/4192956
[pid=16569] ppid=16567 vsize=27760 CPUtime=1301.98
/proc/16569/stat : 16569 (bsolo_pb10) R 16567 16569 16100 0 -1 4202496 4620 0 0 0 129954 244 0 0 25 0 1 0 11836709 28426240 4499 1992294400 134512640 137138936 4291695600 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16569/statm: 6940 4499 192 642 0 6296 0
Current children cumulated CPU time (s) 1301.98
Current children cumulated vsize (KiB) 27760

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16611
/proc/meminfo: memFree=1605112/2059040 swapFree=4192956/4192956
[pid=16569] ppid=16567 vsize=27740 CPUtime=1361.97
/proc/16569/stat : 16569 (bsolo_pb10) R 16567 16569 16100 0 -1 4202496 4620 0 0 0 135942 255 0 0 25 0 1 0 11836709 28405760 4499 1992294400 134512640 137138936 4291695600 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16569/statm: 6935 4499 192 642 0 6291 0
Current children cumulated CPU time (s) 1361.97
Current children cumulated vsize (KiB) 27740

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16611
/proc/meminfo: memFree=1605112/2059040 swapFree=4192956/4192956
[pid=16569] ppid=16567 vsize=27720 CPUtime=1421.96
/proc/16569/stat : 16569 (bsolo_pb10) R 16567 16569 16100 0 -1 4202496 4620 0 0 0 141929 267 0 0 25 0 1 0 11836709 28385280 4499 1992294400 134512640 137138936 4291695600 18446744073709551615 136500283 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16569/statm: 6930 4499 192 642 0 6286 0
Current children cumulated CPU time (s) 1421.96
Current children cumulated vsize (KiB) 27720

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16613
/proc/meminfo: memFree=1605112/2059040 swapFree=4192956/4192956
[pid=16569] ppid=16567 vsize=27720 CPUtime=1481.94
/proc/16569/stat : 16569 (bsolo_pb10) R 16567 16569 16100 0 -1 4202496 4620 0 0 0 147915 279 0 0 25 0 1 0 11836709 28385280 4499 1992294400 134512640 137138936 4291695600 18446744073709551615 134540724 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16569/statm: 6930 4499 192 642 0 6286 0
Current children cumulated CPU time (s) 1481.94
Current children cumulated vsize (KiB) 27720

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16615
/proc/meminfo: memFree=1604368/2059040 swapFree=4192956/4192956
[pid=16569] ppid=16567 vsize=28596 CPUtime=1541.92
/proc/16569/stat : 16569 (bsolo_pb10) R 16567 16569 16100 0 -1 4202496 4829 0 0 0 153902 290 0 0 25 0 1 0 11836709 29282304 4708 1992294400 134512640 137138936 4291695600 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16569/statm: 7149 4708 192 642 0 6505 0
Current children cumulated CPU time (s) 1541.92
Current children cumulated vsize (KiB) 28596

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16617
/proc/meminfo: memFree=1604368/2059040 swapFree=4192956/4192956
[pid=16569] ppid=16567 vsize=28716 CPUtime=1601.91
/proc/16569/stat : 16569 (bsolo_pb10) R 16567 16569 16100 0 -1 4202496 4861 0 0 0 159889 302 0 0 25 0 1 0 11836709 29405184 4740 1992294400 134512640 137138936 4291695600 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16569/statm: 7179 4740 192 642 0 6535 0
Current children cumulated CPU time (s) 1601.91
Current children cumulated vsize (KiB) 28716

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16619
/proc/meminfo: memFree=1604244/2059040 swapFree=4192956/4192956
[pid=16569] ppid=16567 vsize=28716 CPUtime=1661.9
/proc/16569/stat : 16569 (bsolo_pb10) R 16567 16569 16100 0 -1 4202496 4861 0 0 0 165874 316 0 0 25 0 1 0 11836709 29405184 4740 1992294400 134512640 137138936 4291695600 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16569/statm: 7179 4740 192 642 0 6535 0
Current children cumulated CPU time (s) 1661.9
Current children cumulated vsize (KiB) 28716

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16619
/proc/meminfo: memFree=1604244/2059040 swapFree=4192956/4192956
[pid=16569] ppid=16567 vsize=28708 CPUtime=1721.88
/proc/16569/stat : 16569 (bsolo_pb10) R 16567 16569 16100 0 -1 4202496 4861 0 0 0 171860 328 0 0 25 0 1 0 11836709 29396992 4740 1992294400 134512640 137138936 4291695600 18446744073709551615 134542448 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16569/statm: 7177 4740 192 642 0 6533 0
Current children cumulated CPU time (s) 1721.88
Current children cumulated vsize (KiB) 28708

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16621
/proc/meminfo: memFree=1603500/2059040 swapFree=4192956/4192956
[pid=16569] ppid=16567 vsize=29228 CPUtime=1781.87
/proc/16569/stat : 16569 (bsolo_pb10) R 16567 16569 16100 0 -1 4202496 4993 0 0 0 177847 340 0 0 25 0 1 0 11836709 29929472 4872 1992294400 134512640 137138936 4291695600 18446744073709551615 135984545 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16569/statm: 7307 4872 192 642 0 6663 0
Current children cumulated CPU time (s) 1781.87
Current children cumulated vsize (KiB) 29228

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

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16621
/proc/meminfo: memFree=1603500/2059040 swapFree=4192956/4192956
[pid=16569] ppid=16567 vsize=29228 CPUtime=1791.47
/proc/16569/stat : 16569 (bsolo_pb10) R 16567 16569 16100 0 -1 4202496 4993 0 0 0 178805 342 0 0 25 0 1 0 11836709 29929472 4872 1992294400 134512640 137138936 4291695600 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16569/statm: 7307 4872 192 642 0 6663 0
Current children cumulated CPU time (s) 1791.47
Current children cumulated vsize (KiB) 29228

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16621
/proc/meminfo: memFree=1603500/2059040 swapFree=4192956/4192956
[pid=16569] ppid=16567 vsize=29228 CPUtime=1794.67
/proc/16569/stat : 16569 (bsolo_pb10) R 16567 16569 16100 0 -1 4202496 4993 0 0 0 179124 343 0 0 25 0 1 0 11836709 29929472 4872 1992294400 134512640 137138936 4291695600 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16569/statm: 7307 4872 192 642 0 6663 0
Current children cumulated CPU time (s) 1794.67
Current children cumulated vsize (KiB) 29228

[startup+1796.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16621
/proc/meminfo: memFree=1603500/2059040 swapFree=4192956/4192956
[pid=16569] ppid=16567 vsize=29228 CPUtime=1796.26
/proc/16569/stat : 16569 (bsolo_pb10) R 16567 16569 16100 0 -1 4202496 4993 0 0 0 179283 343 0 0 25 0 1 0 11836709 29929472 4872 1992294400 134512640 137138936 4291695600 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16569/statm: 7307 4872 192 642 0 6663 0
Current children cumulated CPU time (s) 1796.26
Current children cumulated vsize (KiB) 29228

[startup+1797.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16621
/proc/meminfo: memFree=1603500/2059040 swapFree=4192956/4192956
[pid=16569] ppid=16567 vsize=29228 CPUtime=1797.06
/proc/16569/stat : 16569 (bsolo_pb10) R 16567 16569 16100 0 -1 4202496 4993 0 0 0 179363 343 0 0 25 0 1 0 11836709 29929472 4872 1992294400 134512640 137138936 4291695600 18446744073709551615 134606979 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16569/statm: 7307 4872 192 642 0 6663 0
Current children cumulated CPU time (s) 1797.06
Current children cumulated vsize (KiB) 29228

[startup+1797.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16621
/proc/meminfo: memFree=1603500/2059040 swapFree=4192956/4192956
[pid=16569] ppid=16567 vsize=29228 CPUtime=1797.46
/proc/16569/stat : 16569 (bsolo_pb10) R 16567 16569 16100 0 -1 4202496 4993 0 0 0 179403 343 0 0 25 0 1 0 11836709 29929472 4872 1992294400 134512640 137138936 4291695600 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16569/statm: 7307 4872 192 642 0 6663 0
Current children cumulated CPU time (s) 1797.46
Current children cumulated vsize (KiB) 29228

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16621
/proc/meminfo: memFree=1603500/2059040 swapFree=4192956/4192956
[pid=16569] ppid=16567 vsize=29228 CPUtime=1797.86
/proc/16569/stat : 16569 (bsolo_pb10) R 16567 16569 16100 0 -1 4202496 4993 0 0 0 179443 343 0 0 25 0 1 0 11836709 29929472 4872 1992294400 134512640 137138936 4291695600 18446744073709551615 134542761 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16569/statm: 7307 4872 192 642 0 6663 0
Current children cumulated CPU time (s) 1797.86
Current children cumulated vsize (KiB) 29228

[startup+1798.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16621
/proc/meminfo: memFree=1603500/2059040 swapFree=4192956/4192956
[pid=16569] ppid=16567 vsize=29228 CPUtime=1797.97
/proc/16569/stat : 16569 (bsolo_pb10) R 16567 16569 16100 0 -1 4202496 4993 0 0 0 179454 343 0 0 25 0 1 0 11836709 29929472 4872 1992294400 134512640 137138936 4291695600 18446744073709551615 136504124 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16569/statm: 7307 4872 192 642 0 6663 0
Current children cumulated CPU time (s) 1797.97
Current children cumulated vsize (KiB) 29228

Child status: 0
Real time (s): 1798.43
CPU time (s): 1798
CPU user time (s): 1794.56
CPU system time (s): 3.44348
CPU usage (%): 99.9762
Max. virtual memory (cumulated for all children) (KiB): 29228

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.56
system time used= 3.44348
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4994
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= 1
involuntary context switches= 3012

runsolver used 3.02454 second user time and 8.43172 second system time

The end

Launcher Data 

Begin job on node057 at 2010-06-16 18:24:19
IDJOB=2670723
IDBENCH=48078
IDSOLVER=1162
FILE ID=node057/2670723-1276705459
PBS_JOBID= 11174088
Free space on /tmp= 62536 MiB

SOLVER NAME= bsolo 3.2 Card
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=19-P1=337-P2=467-P3=53-B.opb
COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2670723-1276705459/watcher-2670723-1276705459 -o /tmp/evaluation-result-2670723-1276705459/solver-2670723-1276705459 -C 1800 -W 2000 -M 1800  bsolo_pb10 -t1800 -l2 HOME/instance-2670723-1276705459.opb

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

MD5SUM BENCH= 1214df7607414e67bdb9a74c838a7ae9
RANDOM SEED=137856446

node057.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.247
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
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 constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.49
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.247
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
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 constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1624248 kB
Buffers:        125572 kB
Cached:         169996 kB
SwapCached:          0 kB
Active:         132844 kB
Inactive:       222048 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1624248 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            4068 kB
Writeback:           0 kB
AnonPages:       59216 kB
Mapped:          15488 kB
Slab:            58248 kB
PageTables:       3896 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182048 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2670723-1276705459.opb

Free space on /tmp at the end= 62532 MiB
End job on node057 at 2010-06-16 18:54:17