Trace number 35018

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
minisat+ 1.14? (TO) 1800.73 1801.26

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-share2b.opb
MD5SUM3ec28475c9d1079169f926174383d0c1
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-52
Best CPU time to get the best result obtained on this benchmark4.28135
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -52
Optimality of the best value was proved YES
Number of variables2370
Total number of constraints96
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 constraints96
Minimum length of a constraint30
Maximum length of a constraint360
Number of terms in the objective function 870
Biggest coefficient in the objective function 23589
Number of bits for the biggest coefficient in the objective function 15
Sum of the numbers in the objective function 524951
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262144
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 524951
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

0.00	c Parsing PB file...
0.25	c Converting 109 PB-constraints to clauses...
0.25	c   -- Unit propagations: pppppppppppppppppppppppppppppppppppppppppppppppppppppppppppp
0.52	c   -- Detecting intervals from adjacent constraints: #===#===#===#===#########
0.53	c   -- Clauses(.)/Splits(s): (none)
0.53	c ---[ 108]---> Adder-cost: 280   maxlim: 191   bits: 8/8
0.54	c ---[ 107]---> Adder-cost: 202   maxlim: 135   bits: 8/8
0.55	c ---[ 106]---> Adder-cost: 159   maxlim: 40   bits: 7/6
0.56	c ---[ 105]---> Adder-cost: 139   maxlim: 41   bits: 7/6
0.57	c ---[ 104]---> Adder-cost: 186   maxlim: 44   bits: 7/6
0.57	c ---[ 103]---> Adder-cost: 187   maxlim: 44   bits: 7/6
0.58	c ---[ 102]---> Adder-cost: 0   maxlim: 44   bits: 7/6
0.59	c ---[ 101]---> Adder-cost: 137   maxlim: 43   bits: 7/6
0.60	c ---[ 100]---> Adder-cost: 90   maxlim: 275   bits: 9/9
0.60	c ---[  98]---> Adder-cost: 108   maxlim: 125   bits: 8/7
0.61	c ---[  97]---> Adder-cost: 200   maxlim: 104   bits: 7/7
0.62	c ---[  96]---> Adder-cost: 142   maxlim: 80   bits: 7/7
0.63	c ---[  95]---> Adder-cost: 145   maxlim: 15   bits: 5/4
0.64	c ---[  94]---> Adder-cost: 141   maxlim: 15   bits: 5/4
0.64	c ---[  90]---> Adder-cost: 92   maxlim: 15   bits: 5/4
0.65	c ---[  89]---> Adder-cost: 72   maxlim: 48   bits: 7/6
0.65	c ---[  87]---> Adder-cost: 37   maxlim: 90   bits: 7/7
0.66	c ---[  86]---> Adder-cost: 310   maxlim: 170   bits: 8/8
0.68	c ---[  85]---> Adder-cost: 244   maxlim: 149   bits: 8/8
0.69	c ---[  84]---> Adder-cost: 140   maxlim: 19   bits: 6/5
0.70	c ---[  83]---> Adder-cost: 164   maxlim: 19   bits: 6/5
0.71	c ---[  79]---> Adder-cost: 198   maxlim: 20   bits: 6/5
0.72	c ---[  78]---> Adder-cost: 78   maxlim: 81   bits: 8/7
0.72	c ---[  76]---> Adder-cost: 148   maxlim: 143   bits: 8/8
0.74	c ---[  75]---> Adder-cost: 262   maxlim: 146   bits: 8/8
0.75	c ---[  74]---> Adder-cost: 168   maxlim: 110   bits: 8/7
0.76	c ---[  73]---> Adder-cost: 155   maxlim: 19   bits: 6/5
0.77	c ---[  72]---> Adder-cost: 129   maxlim: 20   bits: 6/5
0.78	c ---[  68]---> Adder-cost: 192   maxlim: 20   bits: 6/5
0.78	c ---[  67]---> Adder-cost: 88   maxlim: 81   bits: 8/7
0.79	c ---[  65]---> Adder-cost: 47   maxlim: 117   bits: 8/7
0.80	c ---[  64]---> Adder-cost: 276   maxlim: 138   bits: 8/8
0.81	c ---[  63]---> Adder-cost: 168   maxlim: 79   bits: 7/7
0.82	c ---[  62]---> Adder-cost: 117   maxlim: 14   bits: 5/4
0.83	c ---[  61]---> Adder-cost: 135   maxlim: 14   bits: 5/4
0.83	c ---[  57]---> Adder-cost: 108   maxlim: 14   bits: 5/4
0.84	c ---[  56]---> Adder-cost: 62   maxlim: 48   bits: 7/6
0.84	c ---[  54]---> Adder-cost: 47   maxlim: 125   bits: 8/7
0.86	c ---[  53]---> Adder-cost: 296   maxlim: 178   bits: 8/8
0.88	c ---[  52]---> Adder-cost: 198   maxlim: 123   bits: 8/7
0.89	c ---[  51]---> Adder-cost: 201   maxlim: 34   bits: 7/6
0.89	c ---[  50]---> Adder-cost: 183   maxlim: 37   bits: 7/6
0.90	c ---[  49]---> Adder-cost: 216   maxlim: 41   bits: 7/6
0.91	c ---[  48]---> Adder-cost: 192   maxlim: 41   bits: 7/6
0.92	c ---[  47]---> Adder-cost: 0   maxlim: 41   bits: 7/6
0.92	c ---[  46]---> Adder-cost: 102   maxlim: 40   bits: 7/6
0.93	c ---[  45]---> Adder-cost: 100   maxlim: 275   bits: 9/9
0.94	c ---[  43]---> Adder-cost: 128   maxlim: 135   bits: 8/8
0.95	c ---[  42]---> BDD-cost:  109
0.95	c ---[  41]---> BDD-cost:   76
0.96	c ---[  40]---> BDD-cost:  105
0.96	c ---[  39]---> BDD-cost:  222
0.96	c ---[  38]---> BDD-cost:   49
0.96	c ---[  37]---> BDD-cost:   75
0.96	c ---[  36]---> BDD-cost:   49
0.96	c ---[  35]---> BDD-cost:  137
0.96	c ---[  34]---> BDD-cost:   21
0.97	c ---[  33]---> BDD-cost:   21
0.97	c ---[  32]---> BDD-cost:  117
0.97	c ---[  31]---> BDD-cost:  117
0.97	c ---[  30]---> BDD-cost:  117
0.97	c ---[  29]---> BDD-cost:  165
0.97	c ---[  28]---> BDD-cost:   49
0.97	c ---[  27]---> BDD-cost:   49
0.97	c ---[  26]---> BDD-cost:   49
0.98	c ---[  25]---> BDD-cost:   21
0.98	c ---[  23]---> Adder-cost: 110   maxlim: 97   bits: 8/7
0.98	c ---[  21]---> Adder-cost: 100   maxlim: 67   bits: 7/7
0.98	c ---[  19]---> Adder-cost: 76   maxlim: 50   bits: 6/6
0.99	c ---[  17]---> Adder-cost: 76   maxlim: 50   bits: 6/6
0.99	c ---[  15]---> Adder-cost: 94   maxlim: 67   bits: 7/7
0.99	c ---[  13]---> Adder-cost: 102   maxlim: 100   bits: 8/7
1.00	c ---[  12]---> BDD-cost:   49
1.00	c ---[  11]---> Adder-cost: 72   maxlim: 37   bits: 6/6
1.00	c ---[  10]---> Adder-cost: 354   maxlim: 605   bits: 10/10
1.03	c ---[   9]---> Adder-cost: 222   maxlim: 357   bits: 10/9
1.04	c ---[   8]---> Adder-cost: 248   maxlim: 331   bits: 10/9
1.06	c ---[   7]---> Adder-cost: 222   maxlim: 397   bits: 10/9
1.08	c ---[   6]---> Adder-cost: 240   maxlim: 438   bits: 10/9
1.11	c ---[   5]---> Adder-cost: 230   maxlim: 427   bits: 10/9
1.13	c ---[   4]---> Adder-cost: 194   maxlim: 436   bits: 10/9
1.16	c ---[   3]---> Adder-cost: 166   maxlim: 422   bits: 10/9
1.19	c ---[   2]---> Adder-cost: 140   maxlim: 4119   bits: 13/13
1.20	c ---[   0]---> Adder-cost: 161   maxlim: 228   bits: 9/8
1.26	c ==================================[MINISAT+]==================================
1.26	c | Conflicts | Original         | Learnt                           | Progress |
1.26	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
1.26	c ==============================================================================
1.26	c |         0 |   70552   247593 |   23517       0        0     nan |  0.000 % |
1.27	c |       101 |   70552   247593 |   25868     101      371     3.7 | 11.275 % |
1.29	c |       251 |   70519   247490 |   28455     247     1053     4.3 | 11.324 % |
1.30	c |       476 |   70519   247490 |   31301     472     2599     5.5 | 11.324 % |
1.34	c |       813 |   70490   247389 |   34431     805     4498     5.6 | 11.338 % |
1.38	c |      1319 |   70484   247371 |   37874    1310     9169     7.0 | 11.346 % |
1.45	c |      2078 |   70385   247020 |   41661    2037    16317     8.0 | 11.388 % |
1.58	c |      3217 |   70046   245795 |   45827    3077    31214    10.1 | 11.473 % |
1.75	c |      4925 |   69767   244804 |   50410    4588    66191    14.4 | 11.623 % |
1.93	c |      7488 |   69760   244781 |   55451    7150   110378    15.4 | 11.630 % |
2.38	c |     11332 |   69628   244315 |   60997   10969   224896    20.5 | 11.722 % |
3.28	c |     17102 |   69628   244315 |   67096   16739   453796    27.1 | 11.722 % |
5.42	c |     25752 |   69410   243531 |   73806   25032   740158    29.6 | 11.772 % |
8.87	c |     38728 |   69363   243366 |   81187   37857  1111967    29.4 | 11.807 % |
18.83	c |     58189 |   69337   243282 |   89305   57262  2027293    35.4 | 11.836 % |
46.00	c |     87381 |   69242   242941 |   98236   85351  3028510    35.5 | 11.914 % |
75.30	c |    131171 |   69201   242802 |  108059   38042  1411508    37.1 | 11.964 % |
129.93	c |    196855 |   69072   242347 |  118865   99225  4243694    42.8 | 12.077 % |
210.32	c |    295381 |   69057   242302 |  130752   92956  3747127    40.3 | 12.099 % |
356.77	c |    443171 |   68970   242017 |  143827  124524  4318915    34.7 | 12.205 % |
585.75	c |    664859 |   68883   241714 |  158210   88590  2731601    30.8 | 12.269 % |
1013.54	c |    997384 |   68794   241405 |  174031  136290  5797681    42.5 | 12.326 % |
1687.93	c |   1496173 |   68583   240669 |  191434  158469  7792025    49.2 | 12.504 % |
1801.25	c 
1801.25	c *** TERMINATED ***
1801.25	s UNKNOWN

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGKILL): 1843200 Kb
Enforcing VSIZE limit: 1887436800 bytes
runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node10/watcher-35018-1149325958 -o ROOT/results/node10/solver-35018-1149325958 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node10/35018-1149325958/instance-35018-1149325958.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.92 0.98 0.99 2/64 28414
/proc/meminfo: memFree=1552136/2055920 swapFree=4181412/4192956
[pid=28414] ppid=28412 vsize=1048 CPUtime=0
/proc/28414/stat : 28414 (minisat+) R 28412 28414 28368 0 -1 4194304 115 0 0 0 0 0 0 0 19 0 1 0 198258197 1073152 100 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135010894 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28414/statm: 262 100 67 215 0 44 0

[startup+10.0023 s]
/proc/loadavg: 0.93 0.98 0.99 2/64 28414
/proc/meminfo: memFree=1540040/2055920 swapFree=4181412/4192956
[pid=28414] ppid=28412 vsize=13464 CPUtime=9.99
/proc/28414/stat : 28414 (minisat+) R 28412 28414 28368 0 -1 4194304 3184 0 0 0 998 1 0 0 25 0 1 0 198258197 13787136 3140 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28414/statm: 3366 3140 123 215 0 3148 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 13464

[startup+20.0086 s]
/proc/loadavg: 0.94 0.98 0.99 2/64 28414
/proc/meminfo: memFree=1535952/2055920 swapFree=4181412/4192956
[pid=28414] ppid=28412 vsize=17608 CPUtime=19.98
/proc/28414/stat : 28414 (minisat+) R 28412 28414 28368 0 -1 4194304 4229 0 0 0 1996 2 0 0 25 0 1 0 198258197 18030592 4185 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581434 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28414/statm: 4402 4185 123 215 0 4184 0
Current children cumulated CPU time (s) 19.98
Current children cumulated vsize (Kb) 17608

[startup+30.016 s]
/proc/loadavg: 0.95 0.98 0.99 2/64 28414
/proc/meminfo: memFree=1533904/2055920 swapFree=4181412/4192956
[pid=28414] ppid=28412 vsize=19824 CPUtime=29.99
/proc/28414/stat : 28414 (minisat+) R 28412 28414 28368 0 -1 4194304 4741 0 0 0 2996 3 0 0 25 0 1 0 198258197 20299776 4697 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28414/statm: 4956 4697 123 215 0 4738 0
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 19824

[startup+40.0224 s]
/proc/loadavg: 0.96 0.98 0.99 2/64 28414
/proc/meminfo: memFree=1532112/2055920 swapFree=4181412/4192956
[pid=28414] ppid=28412 vsize=21524 CPUtime=40
/proc/28414/stat : 28414 (minisat+) R 28412 28414 28368 0 -1 4194304 5182 0 0 0 3996 4 0 0 25 0 1 0 198258197 22040576 5138 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28414/statm: 5381 5138 123 215 0 5163 0
Current children cumulated CPU time (s) 40
Current children cumulated vsize (Kb) 21524

[startup+50.0287 s]
/proc/loadavg: 0.96 0.98 0.99 2/64 28414
/proc/meminfo: memFree=1530256/2055920 swapFree=4181412/4192956
[pid=28414] ppid=28412 vsize=23392 CPUtime=50
/proc/28414/stat : 28414 (minisat+) R 28412 28414 28368 0 -1 4194304 5674 0 0 0 4996 4 0 0 25 0 1 0 198258197 23953408 5630 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28414/statm: 5848 5630 123 215 0 5630 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 23392

[startup+60.0351 s]
/proc/loadavg: 0.97 0.98 0.99 2/64 28414
/proc/meminfo: memFree=1528528/2055920 swapFree=4181412/4192956
[pid=28414] ppid=28412 vsize=25316 CPUtime=60
/proc/28414/stat : 28414 (minisat+) R 28412 28414 28368 0 -1 4194304 6093 0 0 0 5996 4 0 0 25 0 1 0 198258197 25923584 6049 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580786 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28414/statm: 6329 6049 123 215 0 6111 0
Current children cumulated CPU time (s) 60
Current children cumulated vsize (Kb) 25316

[startup+70.0415 s]
/proc/loadavg: 0.97 0.98 0.99 2/64 28414
/proc/meminfo: memFree=1528144/2055920 swapFree=4181412/4192956
[pid=28414] ppid=28412 vsize=25704 CPUtime=70
/proc/28414/stat : 28414 (minisat+) R 28412 28414 28368 0 -1 4194304 6200 0 0 0 6996 4 0 0 25 0 1 0 198258197 26320896 6156 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28414/statm: 6426 6156 123 215 0 6208 0
Current children cumulated CPU time (s) 70
Current children cumulated vsize (Kb) 25704

[startup+80.0478 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 28414
/proc/meminfo: memFree=1528144/2055920 swapFree=4181412/4192956
[pid=28414] ppid=28412 vsize=25704 CPUtime=80.01
/proc/28414/stat : 28414 (minisat+) R 28412 28414 28368 0 -1 4194304 6200 0 0 0 7997 4 0 0 25 0 1 0 198258197 26320896 6156 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28414/statm: 6426 6156 123 215 0 6208 0
Current children cumulated CPU time (s) 80.01
Current children cumulated vsize (Kb) 25704

[startup+90.0542 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 28414
/proc/meminfo: memFree=1528080/2055920 swapFree=4181412/4192956
[pid=28414] ppid=28412 vsize=25704 CPUtime=90.01
/proc/28414/stat : 28414 (minisat+) R 28412 28414 28368 0 -1 4194304 6200 0 0 0 8997 4 0 0 25 0 1 0 198258197 26320896 6156 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581469 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28414/statm: 6426 6156 123 215 0 6208 0
Current children cumulated CPU time (s) 90.01
Current children cumulated vsize (Kb) 25704

[startup+100.06 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 28414
/proc/meminfo: memFree=1528080/2055920 swapFree=4181412/4192956
[pid=28414] ppid=28412 vsize=25704 CPUtime=100.03
/proc/28414/stat : 28414 (minisat+) R 28412 28414 28368 0 -1 4194304 6200 0 0 0 9999 4 0 0 25 0 1 0 198258197 26320896 6156 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580768 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28414/statm: 6426 6156 123 215 0 6208 0
Current children cumulated CPU time (s) 100.03
Current children cumulated vsize (Kb) 25704

[startup+110.087 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 28414
/proc/meminfo: memFree=1527568/2055920 swapFree=4181412/4192956
[pid=28414] ppid=28412 vsize=26224 CPUtime=110.04
/proc/28414/stat : 28414 (minisat+) R 28412 28414 28368 0 -1 4194304 6345 0 0 0 10999 5 0 0 25 0 1 0 198258197 26853376 6301 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28414/statm: 6556 6301 123 215 0 6338 0
Current children cumulated CPU time (s) 110.04
Current children cumulated vsize (Kb) 26224

[startup+120.093 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 28414
/proc/meminfo: memFree=1525584/2055920 swapFree=4181412/4192956
[pid=28414] ppid=28412 vsize=28200 CPUtime=120.04
/proc/28414/stat : 28414 (minisat+) R 28412 28414 28368 0 -1 4194304 6835 0 0 0 11999 5 0 0 25 0 1 0 198258197 28876800 6791 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28414/statm: 7050 6791 123 215 0 6832 0
Current children cumulated CPU time (s) 120.04
Current children cumulated vsize (Kb) 28200

[startup+130.1 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 28414
/proc/meminfo: memFree=1524496/2055920 swapFree=4181412/4192956
[pid=28414] ppid=28412 vsize=29268 CPUtime=130.05
/proc/28414/stat : 28414 (minisat+) R 28412 28414 28368 0 -1 4194304 7104 0 0 0 12999 6 0 0 25 0 1 0 198258197 29970432 7060 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28414/statm: 7317 7060 123 215 0 7099 0
Current children cumulated CPU time (s) 130.05
Current children cumulated vsize (Kb) 29268

[startup+140.106 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 28414
/proc/meminfo: memFree=1522640/2055920 swapFree=4181412/4192956
[pid=28414] ppid=28412 vsize=31148 CPUtime=140.05
/proc/28414/stat : 28414 (minisat+) R 28412 28414 28368 0 -1 4194304 7572 0 0 0 13999 6 0 0 25 0 1 0 198258197 31895552 7528 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28414/statm: 7787 7528 123 215 0 7569 0
Current children cumulated CPU time (s) 140.05
Current children cumulated vsize (Kb) 31148

[startup+150.113 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 28414
/proc/meminfo: memFree=1520848/2055920 swapFree=4181412/4192956
[pid=28414] ppid=28412 vsize=32880 CPUtime=150.06
/proc/28414/stat : 28414 (minisat+) R 28412 28414 28368 0 -1 4194304 8012 0 0 0 14999 7 0 0 25 0 1 0 198258197 33669120 7968 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580890 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28414/statm: 8220 7968 123 215 0 8002 0
Current children cumulated CPU time (s) 150.06
Current children cumulated vsize (Kb) 32880

[startup+160.119 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 28414
/proc/meminfo: memFree=1520272/2055920 swapFree=4181412/4192956
[pid=28414] ppid=28412 vsize=33408 CPUtime=160.06
/proc/28414/stat : 28414 (minisat+) R 28412 28414 28368 0 -1 4194304 8146 0 0 0 15999 7 0 0 25 0 1 0 198258197 34209792 8102 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580919 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28414/statm: 8352 8102 123 215 0 8134 0
Current children cumulated CPU time (s) 160.06
Current children cumulated vsize (Kb) 33408

[startup+170.125 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 28414
/proc/meminfo: memFree=1520144/2055920 swapFree=4181412/4192956
[pid=28414] ppid=28412 vsize=33684 CPUtime=170.06
/proc/28414/stat : 28414 (minisat+) R 28412 28414 28368 0 -1 4194304 8189 0 0 0 16999 7 0 0 25 0 1 0 198258197 34492416 8145 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28414/statm: 8421 8145 123 215 0 8203 0
Current children cumulated CPU time (s) 170.06
Current children cumulated vsize (Kb) 33684

[startup+180.132 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 28414
/proc/meminfo: memFree=1520080/2055920 swapFree=4181412/4192956
[pid=28414] ppid=28412 vsize=33684 CPUtime=180.06
/proc/28414/stat : 28414 (minisat+) R 28412 28414 28368 0 -1 4194304 8198 0 0 0 17999 7 0 0 25 0 1 0 198258197 34492416 8154 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28414/statm: 8421 8154 123 215 0 8203 0
Current children cumulated CPU time (s) 180.06
Current children cumulated vsize (Kb) 33684

[startup+190.138 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 28414
/proc/meminfo: memFree=1520016/2055920 swapFree=4181412/4192956
[pid=28414] ppid=28412 vsize=33824 CPUtime=190.07
/proc/28414/stat : 28414 (minisat+) R 28412 28414 28368 0 -1 4194304 8219 0 0 0 19000 7 0 0 25 0 1 0 198258197 34635776 8175 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581491 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28414/statm: 8456 8175 123 215 0 8238 0
Current children cumulated CPU time (s) 190.07
Current children cumulated vsize (Kb) 33824

[startup+200.144 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 28414
/proc/meminfo: memFree=1519952/2055920 swapFree=4181412/4192956
[pid=28414] ppid=28412 vsize=33824 CPUtime=200.07
/proc/28414/stat : 28414 (minisat+) R 28412 28414 28368 0 -1 4194304 8240 0 0 0 20000 7 0 0 25 0 1 0 198258197 34635776 8196 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28414/statm: 8456 8196 123 215 0 8238 0
Current children cumulated CPU time (s) 200.07
Current children cumulated vsize (Kb) 33824

[startup+210.151 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 28414
/proc/meminfo: memFree=1519888/2055920 swapFree=4181412/4192956

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

[pid=28414] ppid=28412 vsize=64624 CPUtime=1781.62
/proc/28414/stat : 28414 (minisat+) R 28412 28414 28368 0 -1 4194304 15651 0 0 0 178146 16 0 0 25 0 1 0 198258197 66174976 15591 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580783 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28414/statm: 16156 15591 123 215 0 15938 0
Current children cumulated CPU time (s) 1781.62
Current children cumulated vsize (Kb) 64624

[startup+1783.15 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 28416
/proc/meminfo: memFree=1489872/2055920 swapFree=4181412/4192956
[pid=28414] ppid=28412 vsize=64624 CPUtime=1782.63
/proc/28414/stat : 28414 (minisat+) R 28412 28414 28368 0 -1 4194304 15651 0 0 0 178247 16 0 0 25 0 1 0 198258197 66174976 15591 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28414/statm: 16156 15591 123 215 0 15938 0
Current children cumulated CPU time (s) 1782.63
Current children cumulated vsize (Kb) 64624

[startup+1784.16 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 28416
/proc/meminfo: memFree=1489872/2055920 swapFree=4181412/4192956
[pid=28414] ppid=28412 vsize=64624 CPUtime=1783.63
/proc/28414/stat : 28414 (minisat+) R 28412 28414 28368 0 -1 4194304 15651 0 0 0 178347 16 0 0 25 0 1 0 198258197 66174976 15591 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28414/statm: 16156 15591 123 215 0 15938 0
Current children cumulated CPU time (s) 1783.63
Current children cumulated vsize (Kb) 64624

[startup+1785.16 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 28416
/proc/meminfo: memFree=1489872/2055920 swapFree=4181412/4192956
[pid=28414] ppid=28412 vsize=64624 CPUtime=1784.63
/proc/28414/stat : 28414 (minisat+) R 28412 28414 28368 0 -1 4194304 15651 0 0 0 178447 16 0 0 25 0 1 0 198258197 66174976 15591 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28414/statm: 16156 15591 123 215 0 15938 0
Current children cumulated CPU time (s) 1784.63
Current children cumulated vsize (Kb) 64624

[startup+1786.17 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 28416
/proc/meminfo: memFree=1489872/2055920 swapFree=4181412/4192956
[pid=28414] ppid=28412 vsize=64624 CPUtime=1785.64
/proc/28414/stat : 28414 (minisat+) R 28412 28414 28368 0 -1 4194304 15651 0 0 0 178548 16 0 0 25 0 1 0 198258197 66174976 15591 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28414/statm: 16156 15591 123 215 0 15938 0
Current children cumulated CPU time (s) 1785.64
Current children cumulated vsize (Kb) 64624

[startup+1787.17 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 28416
/proc/meminfo: memFree=1489872/2055920 swapFree=4181412/4192956
[pid=28414] ppid=28412 vsize=64624 CPUtime=1786.64
/proc/28414/stat : 28414 (minisat+) R 28412 28414 28368 0 -1 4194304 15651 0 0 0 178648 16 0 0 25 0 1 0 198258197 66174976 15591 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28414/statm: 16156 15591 123 215 0 15938 0
Current children cumulated CPU time (s) 1786.64
Current children cumulated vsize (Kb) 64624

[startup+1788.18 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 28416
/proc/meminfo: memFree=1489872/2055920 swapFree=4181412/4192956
[pid=28414] ppid=28412 vsize=64624 CPUtime=1787.65
/proc/28414/stat : 28414 (minisat+) R 28412 28414 28368 0 -1 4194304 15651 0 0 0 178749 16 0 0 25 0 1 0 198258197 66174976 15591 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28414/statm: 16156 15591 123 215 0 15938 0
Current children cumulated CPU time (s) 1787.65
Current children cumulated vsize (Kb) 64624

[startup+1789.18 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 28416
/proc/meminfo: memFree=1489872/2055920 swapFree=4181412/4192956
[pid=28414] ppid=28412 vsize=64624 CPUtime=1788.65
/proc/28414/stat : 28414 (minisat+) R 28412 28414 28368 0 -1 4194304 15651 0 0 0 178849 16 0 0 25 0 1 0 198258197 66174976 15591 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28414/statm: 16156 15591 123 215 0 15938 0
Current children cumulated CPU time (s) 1788.65
Current children cumulated vsize (Kb) 64624

[startup+1790.19 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 28416
/proc/meminfo: memFree=1489872/2055920 swapFree=4181412/4192956
[pid=28414] ppid=28412 vsize=64624 CPUtime=1789.66
/proc/28414/stat : 28414 (minisat+) R 28412 28414 28368 0 -1 4194304 15651 0 0 0 178950 16 0 0 25 0 1 0 198258197 66174976 15591 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581412 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28414/statm: 16156 15591 123 215 0 15938 0
Current children cumulated CPU time (s) 1789.66
Current children cumulated vsize (Kb) 64624

[startup+1791.19 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 28416
/proc/meminfo: memFree=1489872/2055920 swapFree=4181412/4192956
[pid=28414] ppid=28412 vsize=64624 CPUtime=1790.66
/proc/28414/stat : 28414 (minisat+) R 28412 28414 28368 0 -1 4194304 15651 0 0 0 179050 16 0 0 25 0 1 0 198258197 66174976 15591 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28414/statm: 16156 15591 123 215 0 15938 0
Current children cumulated CPU time (s) 1790.66
Current children cumulated vsize (Kb) 64624

[startup+1792.2 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 28416
/proc/meminfo: memFree=1489872/2055920 swapFree=4181412/4192956
[pid=28414] ppid=28412 vsize=64624 CPUtime=1791.67
/proc/28414/stat : 28414 (minisat+) R 28412 28414 28368 0 -1 4194304 15651 0 0 0 179151 16 0 0 25 0 1 0 198258197 66174976 15591 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581415 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28414/statm: 16156 15591 123 215 0 15938 0
Current children cumulated CPU time (s) 1791.67
Current children cumulated vsize (Kb) 64624

[startup+1793.2 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 28416
/proc/meminfo: memFree=1489872/2055920 swapFree=4181412/4192956
[pid=28414] ppid=28412 vsize=64624 CPUtime=1792.67
/proc/28414/stat : 28414 (minisat+) R 28412 28414 28368 0 -1 4194304 15651 0 0 0 179251 16 0 0 25 0 1 0 198258197 66174976 15591 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28414/statm: 16156 15591 123 215 0 15938 0
Current children cumulated CPU time (s) 1792.67
Current children cumulated vsize (Kb) 64624

[startup+1794.21 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 28416
/proc/meminfo: memFree=1489872/2055920 swapFree=4181412/4192956
[pid=28414] ppid=28412 vsize=64624 CPUtime=1793.68
/proc/28414/stat : 28414 (minisat+) R 28412 28414 28368 0 -1 4194304 15651 0 0 0 179352 16 0 0 25 0 1 0 198258197 66174976 15591 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28414/statm: 16156 15591 123 215 0 15938 0
Current children cumulated CPU time (s) 1793.68
Current children cumulated vsize (Kb) 64624

[startup+1795.21 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 28416
/proc/meminfo: memFree=1489872/2055920 swapFree=4181412/4192956
[pid=28414] ppid=28412 vsize=64624 CPUtime=1794.68
/proc/28414/stat : 28414 (minisat+) R 28412 28414 28368 0 -1 4194304 15651 0 0 0 179452 16 0 0 25 0 1 0 198258197 66174976 15591 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580973 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28414/statm: 16156 15591 123 215 0 15938 0
Current children cumulated CPU time (s) 1794.68
Current children cumulated vsize (Kb) 64624

[startup+1796.22 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 28416
/proc/meminfo: memFree=1489872/2055920 swapFree=4181412/4192956
[pid=28414] ppid=28412 vsize=64624 CPUtime=1795.69
/proc/28414/stat : 28414 (minisat+) R 28412 28414 28368 0 -1 4194304 15651 0 0 0 179553 16 0 0 25 0 1 0 198258197 66174976 15591 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28414/statm: 16156 15591 123 215 0 15938 0
Current children cumulated CPU time (s) 1795.69
Current children cumulated vsize (Kb) 64624

[startup+1797.22 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 28416
/proc/meminfo: memFree=1489872/2055920 swapFree=4181412/4192956
[pid=28414] ppid=28412 vsize=64624 CPUtime=1796.69
/proc/28414/stat : 28414 (minisat+) R 28412 28414 28368 0 -1 4194304 15651 0 0 0 179653 16 0 0 25 0 1 0 198258197 66174976 15591 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28414/statm: 16156 15591 123 215 0 15938 0
Current children cumulated CPU time (s) 1796.69
Current children cumulated vsize (Kb) 64624

[startup+1798.23 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 28416
/proc/meminfo: memFree=1489872/2055920 swapFree=4181412/4192956
[pid=28414] ppid=28412 vsize=64624 CPUtime=1797.7
/proc/28414/stat : 28414 (minisat+) R 28412 28414 28368 0 -1 4194304 15651 0 0 0 179754 16 0 0 25 0 1 0 198258197 66174976 15591 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28414/statm: 16156 15591 123 215 0 15938 0
Current children cumulated CPU time (s) 1797.7
Current children cumulated vsize (Kb) 64624

[startup+1799.23 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 28416
/proc/meminfo: memFree=1489872/2055920 swapFree=4181412/4192956
[pid=28414] ppid=28412 vsize=64624 CPUtime=1798.7
/proc/28414/stat : 28414 (minisat+) R 28412 28414 28368 0 -1 4194304 15651 0 0 0 179854 16 0 0 25 0 1 0 198258197 66174976 15591 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28414/statm: 16156 15591 123 215 0 15938 0
Current children cumulated CPU time (s) 1798.7
Current children cumulated vsize (Kb) 64624

[startup+1800.24 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 28416
/proc/meminfo: memFree=1489872/2055920 swapFree=4181412/4192956
[pid=28414] ppid=28412 vsize=64624 CPUtime=1799.71
/proc/28414/stat : 28414 (minisat+) R 28412 28414 28368 0 -1 4194304 15651 0 0 0 179955 16 0 0 25 0 1 0 198258197 66174976 15591 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28414/statm: 16156 15591 123 215 0 15938 0
Current children cumulated CPU time (s) 1799.71
Current children cumulated vsize (Kb) 64624

[startup+1801.24 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 28416
/proc/meminfo: memFree=1489872/2055920 swapFree=4181412/4192956
[pid=28414] ppid=28412 vsize=64624 CPUtime=1800.71
/proc/28414/stat : 28414 (minisat+) R 28412 28414 28368 0 -1 4194304 15651 0 0 0 180055 16 0 0 25 0 1 0 198258197 66174976 15591 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28414/statm: 16156 15591 123 215 0 15938 0
Current children cumulated CPU time (s) 1800.71
Current children cumulated vsize (Kb) 64624



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.25 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 28416
/proc/meminfo: memFree=1489872/2055920 swapFree=4181412/4192956
[pid=28414] ppid=28412 vsize=64624 CPUtime=1800.71
/proc/28414/stat : 28414 (minisat+) R 28412 28414 28368 0 -1 4194304 15651 0 0 0 180055 16 0 0 25 0 1 0 198258197 66174976 15591 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28414/statm: 16156 15591 123 215 0 15938 0
Current children cumulated CPU time (s) 1800.71
Current children cumulated vsize (Kb) 64624

Sending SIGTERM to -28414
Sleeping 2 seconds

Child status: 0
Real time (s): 1801.26
CPU time (s): 1800.73
CPU user time (s): 1800.56
CPU system time (s): 0.172973
CPU usage (%): 99.9705
Max. virtual memory (cumulated for all children) (Kb): 64624

Launcher Data (download as text)

Begin job on node10 on Sat Jun  3 09:12:38 UTC 2006


FILE ID= 35018-1149325958

PBS_JOBID= 309624

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-share2b.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node10/35018-1149325958/instance-35018-1149325958.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node10/watcher-35018-1149325958 -o ROOT/results/node10/solver-35018-1149325958 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node10/35018-1149325958/instance-35018-1149325958.opb

MD5SUM SOLVER= 490d1d4b9bbf010afe7f0af63a5a62db
MD5SUM BENCH=  3ec28475c9d1079169f926174383d0c1

RANDOM SEED= 800599065


/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.236
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.236
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1552344 kB
Buffers:         26472 kB
Cached:         403280 kB
SwapCached:       3340 kB
Active:          49344 kB
Inactive:       389164 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1552344 kB
SwapTotal:     4192956 kB
SwapFree:      4181412 kB
Dirty:             184 kB
Writeback:           0 kB
Mapped:          14932 kB
Slab:            51092 kB
Committed_AS:   336020 kB
PageTables:       1412 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node10 on Sat Jun  3 09:42:39 UTC 2006