Trace number 35060

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.78 1801.23

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-scsd1.opb
MD5SUM171c173d92217c349c0d73c9a0572b78
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 4
Optimality of the best value was proved NO
Number of variables22800
Total number of constraints77
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 constraints77
Minimum length of a constraint600
Maximum length of a constraint1500
Number of terms in the objective function 22800
Biggest coefficient in the objective function 748
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 542722
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 24156
Number of bits of the biggest number in a constraint 15
Biggest sum of numbers in a constraint 542722
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...
1.74	c Converting 154 PB-constraints to clauses...
1.75	c   -- Unit propagations: (none)
1.75	c   -- Detecting intervals from adjacent constraints: #############################################################################
1.78	c   -- Clauses(.)/Splits(s): (none)
1.78	c ---[ 152]---> Adder-cost: 3054   maxlim: 262407   bits: 20/19
5.41	c ---[ 150]---> Adder-cost: 3244   maxlim: 262399   bits: 20/19
7.90	c ---[ 148]---> Adder-cost: 3034   maxlim: 262414   bits: 20/19
10.33	c ---[ 146]---> Adder-cost: 3238   maxlim: 262399   bits: 20/19
12.81	c ---[ 144]---> Adder-cost: 3008   maxlim: 262407   bits: 20/19
16.40	c ---[ 142]---> Adder-cost: 3002   maxlim: 262384   bits: 20/19
18.80	c ---[ 140]---> Adder-cost: 3032   maxlim: 262406   bits: 20/19
21.54	c ---[ 138]---> Adder-cost: 2884   maxlim: 262420   bits: 20/19
23.79	c ---[ 136]---> Adder-cost: 3032   maxlim: 262406   bits: 20/19
26.54	c ---[ 134]---> Adder-cost: 2968   maxlim: 262384   bits: 20/19
28.96	c ---[ 132]---> Adder-cost: 5166   maxlim: 262588   bits: 20/19
31.11	c ---[ 130]---> Adder-cost: 4988   maxlim: 262584   bits: 20/19
34.58	c ---[ 128]---> Adder-cost: 4442   maxlim: 262596   bits: 20/19
36.49	c ---[ 126]---> Adder-cost: 4968   maxlim: 262584   bits: 20/19
39.97	c ---[ 124]---> Adder-cost: 5116   maxlim: 262588   bits: 20/19
42.13	c ---[ 122]---> Adder-cost: 3000   maxlim: 262384   bits: 20/19
44.55	c ---[ 120]---> Adder-cost: 3018   maxlim: 262406   bits: 20/19
47.30	c ---[ 118]---> Adder-cost: 2884   maxlim: 262420   bits: 20/19
49.55	c ---[ 116]---> Adder-cost: 3024   maxlim: 262406   bits: 20/19
52.28	c ---[ 114]---> Adder-cost: 2962   maxlim: 262384   bits: 20/19
54.68	c ---[ 112]---> Adder-cost: 5820   maxlim: 262684   bits: 20/19
58.33	c ---[ 110]---> Adder-cost: 5732   maxlim: 262681   bits: 20/19
62.33	c ---[ 108]---> Adder-cost: 5892   maxlim: 262704   bits: 20/19
64.76	c ---[ 106]---> Adder-cost: 5748   maxlim: 262681   bits: 20/19
68.78	c ---[ 104]---> Adder-cost: 5802   maxlim: 262684   bits: 20/19
72.44	c ---[ 102]---> Adder-cost: 3754   maxlim: 262509   bits: 20/19
75.86	c ---[ 100]---> Adder-cost: 4050   maxlim: 262478   bits: 20/19
78.63	c ---[  98]---> Adder-cost: 3546   maxlim: 262530   bits: 20/19
80.39	c ---[  96]---> Adder-cost: 4028   maxlim: 262478   bits: 20/19
83.19	c ---[  94]---> Adder-cost: 3706   maxlim: 262509   bits: 20/19
86.64	c ---[  92]---> Adder-cost: 3668   maxlim: 262509   bits: 20/19
90.08	c ---[  90]---> Adder-cost: 4016   maxlim: 262478   bits: 20/19
92.86	c ---[  88]---> Adder-cost: 3588   maxlim: 262530   bits: 20/19
94.61	c ---[  86]---> Adder-cost: 3996   maxlim: 262478   bits: 20/19
97.39	c ---[  84]---> Adder-cost: 3632   maxlim: 262509   bits: 20/19
100.82	c ---[  82]---> Adder-cost: 3954   maxlim: 262500   bits: 20/19
103.86	c ---[  80]---> Adder-cost: 3632   maxlim: 262494   bits: 20/19
107.49	c ---[  78]---> Adder-cost: 3934   maxlim: 262500   bits: 20/19
110.53	c ---[  76]---> Adder-cost: 3728   maxlim: 262516   bits: 20/19
113.70	c ---[  74]---> Adder-cost: 2400   maxlim: 262358   bits: 20/19
115.70	c ---[  72]---> Adder-cost: 2595   maxlim: 262360   bits: 20/19
117.42	c ---[  70]---> Adder-cost: 2346   maxlim: 262367   bits: 20/19
118.85	c ---[  68]---> Adder-cost: 2665   maxlim: 262360   bits: 20/19
120.58	c ---[  66]---> Adder-cost: 2400   maxlim: 262358   bits: 20/19
122.59	c ---[  64]---> Adder-cost: 2610   maxlim: 262356   bits: 20/19
125.89	c ---[  62]---> Adder-cost: 2168   maxlim: 262362   bits: 20/19
127.76	c ---[  60]---> Adder-cost: 2457   maxlim: 262360   bits: 20/19
129.56	c ---[  58]---> Adder-cost: 2307   maxlim: 262362   bits: 20/19
131.41	c ---[  56]---> Adder-cost: 2599   maxlim: 262356   bits: 20/19
134.69	c ---[  54]---> Adder-cost: 4162   maxlim: 262588   bits: 20/19
136.98	c ---[  52]---> Adder-cost: 4383   maxlim: 262582   bits: 20/19
139.20	c ---[  50]---> Adder-cost: 3972   maxlim: 262596   bits: 20/19
141.13	c ---[  48]---> Adder-cost: 4393   maxlim: 262582   bits: 20/19
143.36	c ---[  46]---> Adder-cost: 4126   maxlim: 262588   bits: 20/19
145.67	c ---[  44]---> Adder-cost: 2612   maxlim: 262356   bits: 20/19
148.97	c ---[  42]---> Adder-cost: 2192   maxlim: 262362   bits: 20/19
150.84	c ---[  40]---> Adder-cost: 2461   maxlim: 262360   bits: 20/19
152.62	c ---[  38]---> Adder-cost: 2321   maxlim: 262362   bits: 20/19
154.48	c ---[  36]---> Adder-cost: 2607   maxlim: 262356   bits: 20/19
157.75	c ---[  34]---> Adder-cost: 5828   maxlim: 262674   bits: 20/19
160.89	c ---[  32]---> Adder-cost: 5293   maxlim: 262713   bits: 20/19
163.18	c ---[  30]---> Adder-cost: 5387   maxlim: 262709   bits: 20/19
166.04	c ---[  28]---> Adder-cost: 5221   maxlim: 262713   bits: 20/19
168.33	c ---[  26]---> Adder-cost: 5868   maxlim: 262674   bits: 20/19
171.56	c ---[  24]---> Adder-cost: 3574   maxlim: 262473   bits: 20/19
173.80	c ---[  22]---> Adder-cost: 3374   maxlim: 262488   bits: 20/19
176.82	c ---[  20]---> Adder-cost: 3122   maxlim: 262478   bits: 20/19
179.01	c ---[  18]---> Adder-cost: 3349   maxlim: 262488   bits: 20/19
182.05	c ---[  16]---> Adder-cost: 3580   maxlim: 262473   bits: 20/19
184.38	c ---[  14]---> Adder-cost: 3555   maxlim: 262473   bits: 20/19
186.72	c ---[  12]---> Adder-cost: 3356   maxlim: 262488   bits: 20/19
189.75	c ---[  10]---> Adder-cost: 3079   maxlim: 262478   bits: 20/19
191.83	c ---[   8]---> Adder-cost: 3329   maxlim: 262488   bits: 20/19
194.85	c ---[   6]---> Adder-cost: 3621   maxlim: 262473   bits: 20/19
197.17	c ---[   4]---> Adder-cost: 3494   maxlim: 262479   bits: 20/19
199.93	c ---[   2]---> Adder-cost: 3527   maxlim: 262462   bits: 20/19
202.65	c ---[   0]---> Adder-cost: 3484   maxlim: 262479   bits: 20/19
206.92	c ==================================[MINISAT+]==================================
206.92	c | Conflicts | Original         | Learnt                           | Progress |
206.92	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
206.92	c ==============================================================================
206.92	c |         0 | 1960590  6987428 |  653530       0        0     nan |  0.000 % |
206.93	c |       100 | 1960590  6987428 |  718883     100      328     3.3 |  0.980 % |
206.94	c |       250 | 1960590  6987428 |  790771     250      901     3.6 |  0.980 % |
206.98	c |       475 | 1960590  6987428 |  869848     475     1725     3.6 |  0.980 % |
207.16	c |       812 | 1960582  6987402 |  956833     811     2966     3.7 |  0.981 % |
207.28	c |      1318 | 1960582  6987402 | 1052516    1317     4797     3.6 |  0.981 % |
207.76	c |      2077 | 1960566  6987350 | 1157768    2074     8014     3.9 |  0.981 % |
208.13	c |      3216 | 1960566  6987350 | 1273545    3213    14318     4.5 |  0.981 % |
208.32	c |      4926 | 1960566  6987350 | 1400899    4923    81555    16.6 |  0.981 % |
208.71	c |      7488 | 1960566  6987350 | 1540989    7485   135531    18.1 |  0.981 % |
209.28	c |     11332 | 1960566  6987350 | 1695088   11329   245485    21.7 |  0.981 % |
210.27	c |     17098 | 1960566  6987350 | 1864597   17095   396144    23.2 |  0.981 % |
211.70	c |     25747 | 1960566  6987350 | 2051057   25744   696662    27.1 |  0.981 % |
215.17	c |     38723 | 1960566  6987350 | 2256162   38720  1643710    42.5 |  0.981 % |
221.15	c |     58185 | 1960558  6987324 | 2481779   58181  2382163    40.9 |  0.981 % |
236.95	c |     87378 | 1960550  6987298 | 2729956   87373  4626228    52.9 |  0.982 % |
262.76	c |    131167 | 1960550  6987298 | 3002952  131162  9033125    68.9 |  0.982 % |
319.86	c |    196851 | 1960542  6987272 | 3303247  196845 14369063    73.0 |  0.982 % |
400.76	c |    295377 | 1960542  6987272 | 3633572  295371 23193894    78.5 |  0.982 % |
651.65	c |    443166 | 1960542  6987272 | 3996930  443160 35941224    81.1 |  0.982 % |
1670.15	c |    664851 | 1960542  6987272 | 4396623  664845 63828150    96.0 |  0.982 % |
1801.15	c 
1801.15	c *** TERMINATED ***
1801.15	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/node39/watcher-35060-1149336696 -o ROOT/results/node39/solver-35060-1149336696 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node39/35060-1149336696/instance-35060-1149336696.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.91 0.95 0.97 2/64 16996
/proc/meminfo: memFree=1555544/2055920 swapFree=4180884/4192956
[pid=16996] ppid=16994 vsize=1180 CPUtime=0
/proc/16996/stat : 16996 (minisat+) R 16994 16996 16950 0 -1 4194304 138 0 0 0 0 0 0 0 19 0 1 0 199335937 1208320 123 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569953 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16996/statm: 295 123 67 215 0 77 0

[startup+10.0016 s]
/proc/loadavg: 0.93 0.95 0.97 2/64 16996
/proc/meminfo: memFree=1539288/2055920 swapFree=4180884/4192956
[pid=16996] ppid=16994 vsize=17568 CPUtime=9.99
/proc/16996/stat : 16996 (minisat+) R 16994 16996 16950 0 -1 4194304 4517 0 0 0 997 2 0 0 25 0 1 0 199335937 17989632 4122 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134649222 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16996/statm: 4392 4122 105 215 0 4174 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 17568

[startup+20.0075 s]
/proc/loadavg: 0.94 0.96 0.97 2/64 16996
/proc/meminfo: memFree=1538328/2055920 swapFree=4180884/4192956
[pid=16996] ppid=16994 vsize=18624 CPUtime=19.99
/proc/16996/stat : 16996 (minisat+) R 16994 16996 16950 0 -1 4194304 5020 0 0 0 1997 2 0 0 25 0 1 0 199335937 19070976 4400 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135003239 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16996/statm: 4656 4400 105 215 0 4438 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 18624

[startup+30.0135 s]
/proc/loadavg: 0.95 0.96 0.97 2/64 16996
/proc/meminfo: memFree=1537944/2055920 swapFree=4180884/4192956
[pid=16996] ppid=16994 vsize=18792 CPUtime=30
/proc/16996/stat : 16996 (minisat+) R 16994 16996 16950 0 -1 4194304 5143 0 0 0 2998 2 0 0 25 0 1 0 199335937 19243008 4458 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134811958 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16996/statm: 4698 4458 105 215 0 4480 0
Current children cumulated CPU time (s) 30
Current children cumulated vsize (Kb) 18792

[startup+40.0194 s]
/proc/loadavg: 0.95 0.96 0.97 2/64 16996
/proc/meminfo: memFree=1536792/2055920 swapFree=4180884/4192956
[pid=16996] ppid=16994 vsize=20160 CPUtime=40
/proc/16996/stat : 16996 (minisat+) R 16994 16996 16950 0 -1 4194304 5776 0 0 0 3998 2 0 0 25 0 1 0 199335937 20643840 4788 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005317 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16996/statm: 5040 4788 105 215 0 4822 0
Current children cumulated CPU time (s) 40
Current children cumulated vsize (Kb) 20160

[startup+50.0253 s]
/proc/loadavg: 0.96 0.96 0.97 2/64 16996
/proc/meminfo: memFree=1536792/2055920 swapFree=4180884/4192956
[pid=16996] ppid=16994 vsize=20168 CPUtime=50
/proc/16996/stat : 16996 (minisat+) R 16994 16996 16950 0 -1 4194304 5878 0 0 0 4998 2 0 0 25 0 1 0 199335937 20652032 4785 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005325 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16996/statm: 5042 4785 105 215 0 4824 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 20168

[startup+60.0313 s]
/proc/loadavg: 0.97 0.96 0.97 2/64 16996
/proc/meminfo: memFree=1536024/2055920 swapFree=4180884/4192956
[pid=16996] ppid=16994 vsize=21344 CPUtime=60.01
/proc/16996/stat : 16996 (minisat+) R 16994 16996 16950 0 -1 4194304 6304 0 0 0 5998 3 0 0 25 0 1 0 199335937 21856256 4949 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134838344 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16996/statm: 5336 4949 105 215 0 5118 0
Current children cumulated CPU time (s) 60.01
Current children cumulated vsize (Kb) 21344

[startup+70.0372 s]
/proc/loadavg: 0.97 0.96 0.97 2/64 16996
/proc/meminfo: memFree=1534104/2055920 swapFree=4180884/4192956
[pid=16996] ppid=16994 vsize=23040 CPUtime=70.01
/proc/16996/stat : 16996 (minisat+) R 16994 16996 16950 0 -1 4194304 7505 0 0 0 6998 3 0 0 25 0 1 0 199335937 23592960 5428 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005357 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16996/statm: 5760 5428 105 215 0 5542 0
Current children cumulated CPU time (s) 70.01
Current children cumulated vsize (Kb) 23040

[startup+80.0431 s]
/proc/loadavg: 0.98 0.96 0.97 2/64 16996
/proc/meminfo: memFree=1533656/2055920 swapFree=4180884/4192956
[pid=16996] ppid=16994 vsize=23332 CPUtime=80.01
/proc/16996/stat : 16996 (minisat+) R 16994 16996 16950 0 -1 4194304 7809 0 0 0 7998 3 0 0 25 0 1 0 199335937 23891968 5546 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135003227 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16996/statm: 5833 5546 105 215 0 5615 0
Current children cumulated CPU time (s) 80.01
Current children cumulated vsize (Kb) 23332

[startup+90.0491 s]
/proc/loadavg: 0.98 0.96 0.97 2/64 16996
/proc/meminfo: memFree=1533400/2055920 swapFree=4180884/4192956
[pid=16996] ppid=16994 vsize=23492 CPUtime=90.01
/proc/16996/stat : 16996 (minisat+) R 16994 16996 16950 0 -1 4194304 8064 0 0 0 8998 3 0 0 25 0 1 0 199335937 24055808 5609 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134809777 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16996/statm: 5873 5609 105 215 0 5655 0
Current children cumulated CPU time (s) 90.01
Current children cumulated vsize (Kb) 23492

[startup+100.055 s]
/proc/loadavg: 0.98 0.96 0.97 2/64 16996
/proc/meminfo: memFree=1532760/2055920 swapFree=4180884/4192956
[pid=16996] ppid=16994 vsize=25112 CPUtime=100.02
/proc/16996/stat : 16996 (minisat+) R 16994 16996 16950 0 -1 4194304 8481 0 0 0 9998 4 0 0 25 0 1 0 199335937 25714688 5769 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135003239 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16996/statm: 6278 5769 105 215 0 6060 0
Current children cumulated CPU time (s) 100.02
Current children cumulated vsize (Kb) 25112

[startup+110.061 s]
/proc/loadavg: 0.98 0.96 0.97 2/64 16996
/proc/meminfo: memFree=1531928/2055920 swapFree=4180884/4192956
[pid=16996] ppid=16994 vsize=25632 CPUtime=110.02
/proc/16996/stat : 16996 (minisat+) R 16994 16996 16950 0 -1 4194304 8877 0 0 0 10998 4 0 0 25 0 1 0 199335937 26247168 5974 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005317 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16996/statm: 6408 5974 105 215 0 6190 0
Current children cumulated CPU time (s) 110.02
Current children cumulated vsize (Kb) 25632

[startup+120.067 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 16996
/proc/meminfo: memFree=1531928/2055920 swapFree=4180884/4192956
[pid=16996] ppid=16994 vsize=25632 CPUtime=120.02
/proc/16996/stat : 16996 (minisat+) R 16994 16996 16950 0 -1 4194304 8958 0 0 0 11998 4 0 0 25 0 1 0 199335937 26247168 5974 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134838067 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16996/statm: 6408 5974 105 215 0 6190 0
Current children cumulated CPU time (s) 120.02
Current children cumulated vsize (Kb) 25632

[startup+130.073 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 16996
/proc/meminfo: memFree=1531928/2055920 swapFree=4180884/4192956
[pid=16996] ppid=16994 vsize=25764 CPUtime=130.03
/proc/16996/stat : 16996 (minisat+) R 16994 16996 16950 0 -1 4194304 8977 0 0 0 12999 4 0 0 25 0 1 0 199335937 26382336 5979 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005282 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16996/statm: 6441 5979 105 215 0 6223 0
Current children cumulated CPU time (s) 130.03
Current children cumulated vsize (Kb) 25764

[startup+140.079 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 16996
/proc/meminfo: memFree=1530328/2055920 swapFree=4180884/4192956
[pid=16996] ppid=16994 vsize=26672 CPUtime=140.04
/proc/16996/stat : 16996 (minisat+) R 16994 16996 16950 0 -1 4194304 9645 0 0 0 13999 5 0 0 25 0 1 0 199335937 27312128 6385 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134838065 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16996/statm: 6668 6385 105 215 0 6450 0
Current children cumulated CPU time (s) 140.04
Current children cumulated vsize (Kb) 26672

[startup+150.085 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 16996
/proc/meminfo: memFree=1530008/2055920 swapFree=4180884/4192956
[pid=16996] ppid=16994 vsize=26980 CPUtime=150.04
/proc/16996/stat : 16996 (minisat+) R 16994 16996 16950 0 -1 4194304 9895 0 0 0 14999 5 0 0 25 0 1 0 199335937 27627520 6461 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005317 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16996/statm: 6745 6461 105 215 0 6527 0
Current children cumulated CPU time (s) 150.04
Current children cumulated vsize (Kb) 26980

[startup+160.091 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 16996
/proc/meminfo: memFree=1530008/2055920 swapFree=4180884/4192956
[pid=16996] ppid=16994 vsize=26868 CPUtime=160.04
/proc/16996/stat : 16996 (minisat+) R 16994 16996 16950 0 -1 4194304 10075 0 0 0 15999 5 0 0 25 0 1 0 199335937 27512832 6460 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005858 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16996/statm: 6717 6460 105 215 0 6499 0
Current children cumulated CPU time (s) 160.04
Current children cumulated vsize (Kb) 26868

[startup+170.095 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 16996
/proc/meminfo: memFree=1529304/2055920 swapFree=4180884/4192956
[pid=16996] ppid=16994 vsize=29112 CPUtime=170.04
/proc/16996/stat : 16996 (minisat+) R 16994 16996 16950 0 -1 4194304 10777 0 0 0 16999 5 0 0 25 0 1 0 199335937 29810688 6625 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134834116 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16996/statm: 7278 6625 105 215 0 7060 0
Current children cumulated CPU time (s) 170.04
Current children cumulated vsize (Kb) 29112

[startup+180.101 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 16996
/proc/meminfo: memFree=1525592/2055920 swapFree=4180884/4192956
[pid=16996] ppid=16994 vsize=32448 CPUtime=180.05
/proc/16996/stat : 16996 (minisat+) R 16994 16996 16950 0 -1 4194304 12558 0 0 0 17998 7 0 0 25 0 1 0 199335937 33226752 7562 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134809137 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16996/statm: 8112 7562 105 215 0 7894 0
Current children cumulated CPU time (s) 180.05
Current children cumulated vsize (Kb) 32448

[startup+190.111 s]
/proc/loadavg: 0.99 0.97 0.97 3/64 16996
/proc/meminfo: memFree=1525592/2055920 swapFree=4180884/4192956
[pid=16996] ppid=16994 vsize=32448 CPUtime=190.06
/proc/16996/stat : 16996 (minisat+) R 16994 16996 16950 0 -1 4194304 12751 0 0 0 18999 7 0 0 25 0 1 0 199335937 33226752 7562 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134808942 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16996/statm: 8112 7562 105 215 0 7894 0
Current children cumulated CPU time (s) 190.06
Current children cumulated vsize (Kb) 32448

[startup+200.117 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 16996
/proc/meminfo: memFree=1525016/2055920 swapFree=4180884/4192956
[pid=16996] ppid=16994 vsize=32808 CPUtime=200.06
/proc/16996/stat : 16996 (minisat+) R 16994 16996 16950 0 -1 4194304 13086 0 0 0 19999 7 0 0 25 0 1 0 199335937 33595392 7705 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005345 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16996/statm: 8202 7705 105 215 0 7984 0
Current children cumulated CPU time (s) 200.06
Current children cumulated vsize (Kb) 32808

[startup+210.123 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 16996
/proc/meminfo: memFree=1432472/2055920 swapFree=4180884/4192956

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

[pid=16996] ppid=16994 vsize=427552 CPUtime=1781.61
/proc/16996/stat : 16996 (minisat+) R 16994 16996 16950 0 -1 4194304 110308 0 0 0 178066 95 0 0 25 0 1 0 199335937 437813248 104869 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16996/statm: 106888 104869 123 215 0 106670 0
Current children cumulated CPU time (s) 1781.61
Current children cumulated vsize (Kb) 427552

[startup+1783.06 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 16998
/proc/meminfo: memFree=1135384/2055920 swapFree=4180884/4192956
[pid=16996] ppid=16994 vsize=427816 CPUtime=1782.61
/proc/16996/stat : 16996 (minisat+) R 16994 16996 16950 0 -1 4194304 110358 0 0 0 178166 95 0 0 25 0 1 0 199335937 438083584 104919 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16996/statm: 106954 104919 123 215 0 106736 0
Current children cumulated CPU time (s) 1782.61
Current children cumulated vsize (Kb) 427816

[startup+1784.06 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 16998
/proc/meminfo: memFree=1135192/2055920 swapFree=4180884/4192956
[pid=16996] ppid=16994 vsize=427948 CPUtime=1783.61
/proc/16996/stat : 16996 (minisat+) R 16994 16996 16950 0 -1 4194304 110405 0 0 0 178266 95 0 0 25 0 1 0 199335937 438218752 104966 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16996/statm: 106987 104966 123 215 0 106769 0
Current children cumulated CPU time (s) 1783.61
Current children cumulated vsize (Kb) 427948

[startup+1785.07 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 16998
/proc/meminfo: memFree=1135000/2055920 swapFree=4180884/4192956
[pid=16996] ppid=16994 vsize=428208 CPUtime=1784.62
/proc/16996/stat : 16996 (minisat+) R 16994 16996 16950 0 -1 4194304 110454 0 0 0 178367 95 0 0 25 0 1 0 199335937 438484992 105015 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574414 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16996/statm: 107052 105015 123 215 0 106834 0
Current children cumulated CPU time (s) 1784.62
Current children cumulated vsize (Kb) 428208

[startup+1786.07 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 16998
/proc/meminfo: memFree=1134808/2055920 swapFree=4180884/4192956
[pid=16996] ppid=16994 vsize=428340 CPUtime=1785.63
/proc/16996/stat : 16996 (minisat+) R 16994 16996 16950 0 -1 4194304 110508 0 0 0 178467 96 0 0 25 0 1 0 199335937 438620160 105069 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16996/statm: 107085 105069 123 215 0 106867 0
Current children cumulated CPU time (s) 1785.63
Current children cumulated vsize (Kb) 428340

[startup+1787.08 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 16998
/proc/meminfo: memFree=1134616/2055920 swapFree=4180884/4192956
[pid=16996] ppid=16994 vsize=428600 CPUtime=1786.63
/proc/16996/stat : 16996 (minisat+) R 16994 16996 16950 0 -1 4194304 110559 0 0 0 178567 96 0 0 25 0 1 0 199335937 438886400 105120 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16996/statm: 107150 105120 123 215 0 106932 0
Current children cumulated CPU time (s) 1786.63
Current children cumulated vsize (Kb) 428600

[startup+1788.08 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 16998
/proc/meminfo: memFree=1134360/2055920 swapFree=4180884/4192956
[pid=16996] ppid=16994 vsize=428864 CPUtime=1787.64
/proc/16996/stat : 16996 (minisat+) R 16994 16996 16950 0 -1 4194304 110619 0 0 0 178668 96 0 0 25 0 1 0 199335937 439156736 105180 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580768 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16996/statm: 107216 105180 123 215 0 106998 0
Current children cumulated CPU time (s) 1787.64
Current children cumulated vsize (Kb) 428864

[startup+1789.09 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 16998
/proc/meminfo: memFree=1134168/2055920 swapFree=4180884/4192956
[pid=16996] ppid=16994 vsize=428996 CPUtime=1788.64
/proc/16996/stat : 16996 (minisat+) R 16994 16996 16950 0 -1 4194304 110658 0 0 0 178768 96 0 0 25 0 1 0 199335937 439291904 105219 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580916 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16996/statm: 107249 105219 123 215 0 107031 0
Current children cumulated CPU time (s) 1788.64
Current children cumulated vsize (Kb) 428996

[startup+1790.09 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 16998
/proc/meminfo: memFree=1134040/2055920 swapFree=4180884/4192956
[pid=16996] ppid=16994 vsize=429128 CPUtime=1789.65
/proc/16996/stat : 16996 (minisat+) R 16994 16996 16950 0 -1 4194304 110703 0 0 0 178869 96 0 0 25 0 1 0 199335937 439427072 105264 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581412 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16996/statm: 107282 105264 123 215 0 107064 0
Current children cumulated CPU time (s) 1789.65
Current children cumulated vsize (Kb) 429128

[startup+1791.1 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 16998
/proc/meminfo: memFree=1133784/2055920 swapFree=4180884/4192956
[pid=16996] ppid=16994 vsize=429392 CPUtime=1790.65
/proc/16996/stat : 16996 (minisat+) R 16994 16996 16950 0 -1 4194304 110752 0 0 0 178969 96 0 0 25 0 1 0 199335937 439697408 105313 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576760 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16996/statm: 107348 105313 123 215 0 107130 0
Current children cumulated CPU time (s) 1790.65
Current children cumulated vsize (Kb) 429392

[startup+1792.1 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 16998
/proc/meminfo: memFree=1133592/2055920 swapFree=4180884/4192956
[pid=16996] ppid=16994 vsize=429524 CPUtime=1791.66
/proc/16996/stat : 16996 (minisat+) R 16994 16996 16950 0 -1 4194304 110804 0 0 0 179070 96 0 0 25 0 1 0 199335937 439832576 105365 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16996/statm: 107381 105365 123 215 0 107163 0
Current children cumulated CPU time (s) 1791.66
Current children cumulated vsize (Kb) 429524

[startup+1793.11 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 16998
/proc/meminfo: memFree=1133400/2055920 swapFree=4180884/4192956
[pid=16996] ppid=16994 vsize=429788 CPUtime=1792.66
/proc/16996/stat : 16996 (minisat+) R 16994 16996 16950 0 -1 4194304 110848 0 0 0 179170 96 0 0 25 0 1 0 199335937 440102912 105409 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16996/statm: 107447 105409 123 215 0 107229 0
Current children cumulated CPU time (s) 1792.66
Current children cumulated vsize (Kb) 429788

[startup+1794.11 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 16998
/proc/meminfo: memFree=1133208/2055920 swapFree=4180884/4192956
[pid=16996] ppid=16994 vsize=429920 CPUtime=1793.66
/proc/16996/stat : 16996 (minisat+) R 16994 16996 16950 0 -1 4194304 110898 0 0 0 179270 96 0 0 25 0 1 0 199335937 440238080 105459 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580947 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16996/statm: 107480 105459 123 215 0 107262 0
Current children cumulated CPU time (s) 1793.66
Current children cumulated vsize (Kb) 429920

[startup+1795.12 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 16998
/proc/meminfo: memFree=1133016/2055920 swapFree=4180884/4192956
[pid=16996] ppid=16994 vsize=430184 CPUtime=1794.67
/proc/16996/stat : 16996 (minisat+) R 16994 16996 16950 0 -1 4194304 110945 0 0 0 179371 96 0 0 25 0 1 0 199335937 440508416 105506 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16996/statm: 107546 105506 123 215 0 107328 0
Current children cumulated CPU time (s) 1794.67
Current children cumulated vsize (Kb) 430184

[startup+1796.12 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 16998
/proc/meminfo: memFree=1132888/2055920 swapFree=4180884/4192956
[pid=16996] ppid=16994 vsize=430316 CPUtime=1795.67
/proc/16996/stat : 16996 (minisat+) R 16994 16996 16950 0 -1 4194304 110989 0 0 0 179471 96 0 0 25 0 1 0 199335937 440643584 105550 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580973 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16996/statm: 107579 105550 123 215 0 107361 0
Current children cumulated CPU time (s) 1795.67
Current children cumulated vsize (Kb) 430316

[startup+1797.13 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 16998
/proc/meminfo: memFree=1132696/2055920 swapFree=4180884/4192956
[pid=16996] ppid=16994 vsize=430448 CPUtime=1796.68
/proc/16996/stat : 16996 (minisat+) R 16994 16996 16950 0 -1 4194304 111038 0 0 0 179572 96 0 0 25 0 1 0 199335937 440778752 105599 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16996/statm: 107612 105599 123 215 0 107394 0
Current children cumulated CPU time (s) 1796.68
Current children cumulated vsize (Kb) 430448

[startup+1798.13 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 16998
/proc/meminfo: memFree=1132504/2055920 swapFree=4180884/4192956
[pid=16996] ppid=16994 vsize=430712 CPUtime=1797.69
/proc/16996/stat : 16996 (minisat+) R 16994 16996 16950 0 -1 4194304 111084 0 0 0 179672 97 0 0 25 0 1 0 199335937 441049088 105645 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16996/statm: 107678 105645 123 215 0 107460 0
Current children cumulated CPU time (s) 1797.69
Current children cumulated vsize (Kb) 430712

[startup+1799.14 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 16998
/proc/meminfo: memFree=1132312/2055920 swapFree=4180884/4192956
[pid=16996] ppid=16994 vsize=430844 CPUtime=1798.69
/proc/16996/stat : 16996 (minisat+) R 16994 16996 16950 0 -1 4194304 111132 0 0 0 179772 97 0 0 25 0 1 0 199335937 441184256 105693 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581002 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16996/statm: 107711 105693 123 215 0 107493 0
Current children cumulated CPU time (s) 1798.69
Current children cumulated vsize (Kb) 430844

[startup+1800.14 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 16998
/proc/meminfo: memFree=1132056/2055920 swapFree=4180884/4192956
[pid=16996] ppid=16994 vsize=431104 CPUtime=1799.7
/proc/16996/stat : 16996 (minisat+) R 16994 16996 16950 0 -1 4194304 111186 0 0 0 179873 97 0 0 25 0 1 0 199335937 441450496 105747 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16996/statm: 107776 105747 123 215 0 107558 0
Current children cumulated CPU time (s) 1799.7
Current children cumulated vsize (Kb) 431104

[startup+1801.15 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 16998
/proc/meminfo: memFree=1131864/2055920 swapFree=4180884/4192956
[pid=16996] ppid=16994 vsize=431236 CPUtime=1800.7
/proc/16996/stat : 16996 (minisat+) R 16994 16996 16950 0 -1 4194304 111235 0 0 0 179973 97 0 0 25 0 1 0 199335937 441585664 105796 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580890 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16996/statm: 107809 105796 123 215 0 107591 0
Current children cumulated CPU time (s) 1800.7
Current children cumulated vsize (Kb) 431236



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.15 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 16998
/proc/meminfo: memFree=1131864/2055920 swapFree=4180884/4192956
[pid=16996] ppid=16994 vsize=431236 CPUtime=1800.71
/proc/16996/stat : 16996 (minisat+) R 16994 16996 16950 0 -1 4194304 111235 0 0 0 179974 97 0 0 25 0 1 0 199335937 441585664 105796 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16996/statm: 107809 105796 123 215 0 107591 0
Current children cumulated CPU time (s) 1800.71
Current children cumulated vsize (Kb) 431236

Sending SIGTERM to -16996
Sleeping 2 seconds

Child status: 0
Real time (s): 1801.23
CPU time (s): 1800.78
CPU user time (s): 1799.74
CPU system time (s): 1.03984
CPU usage (%): 99.9753
Max. virtual memory (cumulated for all children) (Kb): 431236

Launcher Data (download as text)

Begin job on node39 on Sat Jun  3 12:11:36 UTC 2006


FILE ID= 35060-1149336696

PBS_JOBID= 310174

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-scsd1.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node39/35060-1149336696/instance-35060-1149336696.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node39/watcher-35060-1149336696 -o ROOT/results/node39/solver-35060-1149336696 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node39/35060-1149336696/instance-35060-1149336696.opb

MD5SUM SOLVER= 490d1d4b9bbf010afe7f0af63a5a62db
MD5SUM BENCH=  171c173d92217c349c0d73c9a0572b78

RANDOM SEED= 153839616


/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.213
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	: 5931.00
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.213
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:       1555752 kB
Buffers:         30232 kB
Cached:         400036 kB
SwapCached:       3912 kB
Active:          88392 kB
Inactive:       350736 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1555752 kB
SwapTotal:     4192956 kB
SwapFree:      4180884 kB
Dirty:             168 kB
Writeback:           0 kB
Mapped:          14836 kB
Slab:            47080 kB
Committed_AS:   350732 kB
PageTables:       1428 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node39 on Sat Jun  3 12:41:38 UTC 2006