Trace number 39762

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
bsolo 2006/05Signal 1065.07 1065.38

General information on the benchmark

Namenormalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-vpm1.opb
MD5SUM019e5a614038472d624f56ab4ecfb30e
Bench CategoryOPT-MEDINT (optimisation, medium integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark38
Best CPU time to get the best result obtained on this benchmark1782.73
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 38
Optimality of the best value was proved NO
Number of variables2754
Total number of constraints444
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 constraints444
Minimum length of a constraint11
Maximum length of a constraint82
Number of terms in the objective function 168
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 168
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 819200
Number of bits of the biggest number in a constraint 20
Biggest sum of numbers in a constraint 4941871
Number of bits of the biggest sum of numbers23
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 Time Limit set via PBTIMEOUT to 1800
0.01	c INFO: OSL Context initialized.
0.07	c Initial problem consists of 2754 variables and 486 constraints.
0.08	c No problem reductions applied in OPT. instance.
0.08	c	preprocess terminated. Elapsed time: 0.068
0.08	c After prepocess the problem consists of 1871 variables and 301 constraints.
0.08	c Initial Lower Bound: 0
0.11	c Restart #1 #Var: 1871 LB: 0 @ 0.102
0.17	c Restart #2 #Var: 1871 LB: 0 @ 0.16
0.27	c Restart #3 #Var: 1871 LB: 0 @ 0.262
0.39	c Restart #4 #Var: 1871 LB: 0 @ 0.382
0.56	c Restart #5 #Var: 1871 LB: 0 @ 0.547
0.75	c Restart #6 #Var: 1871 LB: 0 @ 0.736
0.84	c Restart #7 #Var: 1871 LB: 0 @ 0.835
0.97	c Restart #8 #Var: 1871 LB: 0 @ 0.955
1.13	c Restart #9 #Var: 1871 LB: 0 @ 1.122
1.27	c Restart #10 #Var: 1871 LB: 0 @ 1.264
1.45	c Restart #11 #Var: 1869 LB: 0 @ 1.436
1.70	c Restart #12 #Var: 1869 LB: 0 @ 1.687
2.00	c Restart #13 #Var: 1869 LB: 0 @ 1.989
2.17	c Restart #14 #Var: 1868 LB: 0 @ 2.161
2.50	c Restart #15 #Var: 1868 LB: 0 @ 2.493
2.84	c Restart #16 #Var: 1868 LB: 0 @ 2.829
3.23	c Restart #17 #Var: 1868 LB: 0 @ 3.22
3.49	c Restart #18 #Var: 1868 LB: 0 @ 3.478
3.75	c Restart #19 #Var: 1868 LB: 0 @ 3.737
4.17	c Restart #20 #Var: 1868 LB: 0 @ 4.159
5.62	c Restart #21 #Var: 1868 LB: 0 @ 5.613
6.31	c Restart #22 #Var: 1868 LB: 0 @ 6.301
6.66	c Restart #23 #Var: 1868 LB: 0 @ 6.653
7.66	c Restart #24 #Var: 1868 LB: 0 @ 7.645
8.14	c Restart #25 #Var: 1868 LB: 0 @ 8.127
8.47	c Restart #26 #Var: 1868 LB: 0 @ 8.457
9.62	c Restart #27 #Var: 1868 LB: 0 @ 9.607
12.11	c Restart #28 #Var: 1868 LB: 0 @ 12.09
24.76	c Restart #29 #Var: 1868 LB: 0 @ 24.743
25.43	c Restart #30 #Var: 1868 LB: 0 @ 25.41
25.84	c Restart #31 #Var: 1868 LB: 0 @ 25.82
26.64	c Restart #32 #Var: 1868 LB: 0 @ 26.614
27.07	c Restart #33 #Var: 1868 LB: 0 @ 27.053
28.08	c Restart #34 #Var: 1868 LB: 0 @ 28.055
28.63	c Restart #35 #Var: 1868 LB: 0 @ 28.61
29.32	c Restart #36 #Var: 1868 LB: 0 @ 29.301
36.34	c Restart #37 #Var: 1868 LB: 0 @ 36.315
36.90	c Restart #38 #Var: 1868 LB: 0 @ 36.875
37.52	c Restart #39 #Var: 1868 LB: 0 @ 37.491
38.10	c Restart #40 #Var: 1868 LB: 0 @ 38.073
39.00	c Restart #41 #Var: 1868 LB: 0 @ 38.977
39.75	c Restart #42 #Var: 1868 LB: 0 @ 39.726
40.88	c Restart #43 #Var: 1868 LB: 0 @ 40.858
41.61	c Restart #44 #Var: 1868 LB: 0 @ 41.582
42.91	c Restart #45 #Var: 1868 LB: 0 @ 42.881
44.91	c Restart #46 #Var: 1868 LB: 0 @ 44.886
47.88	c Restart #47 #Var: 1868 LB: 0 @ 47.849
49.10	c Restart #48 #Var: 1868 LB: 0 @ 49.076
49.82	c Restart #49 #Var: 1868 LB: 0 @ 49.791
50.72	c Restart #50 #Var: 1868 LB: 0 @ 50.695
51.73	c Restart #51 #Var: 1868 LB: 0 @ 51.7
52.81	c Restart #52 #Var: 1868 LB: 0 @ 52.779
53.88	c Restart #53 #Var: 1868 LB: 0 @ 53.849
55.29	c Restart #54 #Var: 1868 LB: 0 @ 55.264
56.03	c Restart #55 #Var: 1868 LB: 0 @ 56.005
57.40	c Restart #56 #Var: 1868 LB: 0 @ 57.37
58.87	c Restart #57 #Var: 1868 LB: 0 @ 58.845
60.99	c Restart #58 #Var: 1868 LB: 0 @ 60.962
63.96	c Restart #59 #Var: 1868 LB: 0 @ 63.924
79.17	c Restart #60 #Var: 1868 LB: 0 @ 79.138
81.43	c Restart #61 #Var: 1868 LB: 0 @ 81.396
82.49	c Restart #62 #Var: 1868 LB: 0 @ 82.449
84.13	c Restart #63 #Var: 1868 LB: 0 @ 84.095
85.16	c Restart #64 #Var: 1868 LB: 0 @ 85.127
86.75	c Restart #65 #Var: 1868 LB: 0 @ 86.708
90.50	c Restart #66 #Var: 1868 LB: 0 @ 90.461
91.78	c Restart #67 #Var: 1868 LB: 0 @ 91.741
93.43	c Restart #68 #Var: 1868 LB: 0 @ 93.389
95.27	c Restart #69 #Var: 1868 LB: 0 @ 95.227
97.27	c Restart #70 #Var: 1868 LB: 0 @ 97.231
98.70	c Restart #71 #Var: 1868 LB: 0 @ 98.664
100.85	c Restart #72 #Var: 1868 LB: 0 @ 100.81
103.34	c Restart #73 #Var: 1868 LB: 0 @ 103.3
114.52	c Restart #74 #Var: 1868 LB: 0 @ 114.47
125.99	c Restart #75 #Var: 1868 LB: 0 @ 125.94
137.26	c Restart #76 #Var: 1868 LB: 0 @ 137.21
149.79	c Restart #77 #Var: 1868 LB: 0 @ 149.74
152.86	c Restart #78 #Var: 1868 LB: 0 @ 152.81
157.52	c Restart #79 #Var: 1868 LB: 0 @ 157.46
169.76	c Restart #80 #Var: 1868 LB: 0 @ 169.7
173.51	c Restart #81 #Var: 1868 LB: 0 @ 173.45
174.94	c Restart #82 #Var: 1868 LB: 0 @ 174.88
176.55	c Restart #83 #Var: 1868 LB: 0 @ 176.48
178.44	c Restart #84 #Var: 1868 LB: 0 @ 178.38
181.73	c Restart #85 #Var: 1868 LB: 0 @ 181.67
186.67	c Restart #86 #Var: 1868 LB: 0 @ 186.61
197.48	c Restart #87 #Var: 1868 LB: 0 @ 197.41
200.41	c Restart #88 #Var: 1868 LB: 0 @ 200.34
203.68	c Restart #89 #Var: 1868 LB: 0 @ 203.62
208.10	c Restart #90 #Var: 1868 LB: 0 @ 208.03
215.07	c Restart #91 #Var: 1868 LB: 0 @ 215
220.76	c Restart #92 #Var: 1868 LB: 0 @ 220.69
233.06	c Restart #93 #Var: 1868 LB: 0 @ 232.99
237.80	c Restart #94 #Var: 1868 LB: 0 @ 237.72
252.51	c Restart #95 #Var: 1868 LB: 0 @ 252.43
269.37	c Restart #96 #Var: 1868 LB: 0 @ 269.28
278.89	c Restart #97 #Var: 1868 LB: 0 @ 278.8
343.94	c Restart #98 #Var: 1868 LB: 0 @ 343.83
431.96	c Restart #99 #Var: 1868 LB: 0 @ 431.83
450.17	c Restart #100 #Var: 1868 LB: 0 @ 450.03
454.20	c Restart #101 #Var: 1868 LB: 0 @ 454.06
460.09	c Restart #102 #Var: 1868 LB: 0 @ 459.95
468.65	c Restart #103 #Var: 1868 LB: 0 @ 468.51
479.17	c Restart #104 #Var: 1868 LB: 0 @ 479.02
493.60	c Restart #105 #Var: 1868 LB: 0 @ 493.45
507.39	c Restart #106 #Var: 1868 LB: 0 @ 507.24
526.15	c Restart #107 #Var: 1868 LB: 0 @ 525.99
541.69	c Restart #108 #Var: 1868 LB: 0 @ 541.53
561.23	c Restart #109 #Var: 1868 LB: 0 @ 561.06
577.88	c Restart #110 #Var: 1868 LB: 0 @ 577.71
599.57	c Restart #111 #Var: 1868 LB: 0 @ 599.4
622.62	c Restart #112 #Var: 1868 LB: 0 @ 622.44
646.51	c Restart #113 #Var: 1868 LB: 0 @ 646.32
671.89	c Restart #114 #Var: 1868 LB: 0 @ 671.69
696.16	c Restart #115 #Var: 1868 LB: 0 @ 695.95
728.62	c Restart #116 #Var: 1868 LB: 0 @ 728.41
760.12	c Restart #117 #Var: 1868 LB: 0 @ 759.89
869.58	c Restart #118 #Var: 1868 LB: 0 @ 869.33
963.70	c CHANGE Heuristic... 
963.70	c Restart #0 #Var: 1867 LB: 0 @ 963.42
966.73	c Restart #1 #Var: 1867 LB: 0 @ 966.45
971.07	c Restart #2 #Var: 1867 LB: 0 @ 970.79
974.85	c Restart #3 #Var: 1867 LB: 0 @ 974.57
994.89	c Restart #4 #Var: 1867 LB: 0 @ 994.61
997.10	c Restart #5 #Var: 1867 LB: 0 @ 996.81
999.02	c Restart #6 #Var: 1867 LB: 0 @ 998.73
1014.95	c Restart #7 #Var: 1867 LB: 0 @ 1014.7
1016.38	c Restart #8 #Var: 1867 LB: 0 @ 1016.1
1016.53	c Restart #9 #Var: 1867 LB: 0 @ 1016.2
1026.42	c Restart #10 #Var: 1867 LB: 0 @ 1026.1
1031.91	c Restart #11 #Var: 1867 LB: 0 @ 1031.6
1035.43	c Restart #12 #Var: 1867 LB: 0 @ 1035.1
1036.96	c Restart #13 #Var: 1867 LB: 0 @ 1036.7
1039.71	c Restart #14 #Var: 1867 LB: 0 @ 1039.4
1041.33	c Restart #15 #Var: 1867 LB: 0 @ 1041
1041.68	c Restart #16 #Var: 1867 LB: 0 @ 1041.4
1043.80	c Restart #17 #Var: 1867 LB: 0 @ 1043.5

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/node4/watcher-39762-1149322928 -o ROOT/results/node4/solver-39762-1149322928 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node4/39762-1149322928/instance-39762-1149322928.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 1.00 0.98 0.97 3/64 10956
/proc/meminfo: memFree=1605032/2055920 swapFree=4181448/4192956
[pid=10956] ppid=10954 vsize=3436 CPUtime=0
/proc/10956/stat : 10956 (bsolo) R 10954 10956 10910 0 -1 0 64 0 0 0 0 0 0 0 19 0 1 0 197954753 3518464 46 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 10553071 0 0 4096 0 0 0 0 17 1 0 0
/proc/10956/statm: 859 47 34 55 0 42 0

[startup+10.0022 s]
/proc/loadavg: 1.00 0.98 0.97 2/64 10956
/proc/meminfo: memFree=1508264/2055920 swapFree=4181448/4192956
[pid=10956] ppid=10954 vsize=101356 CPUtime=9.98
/proc/10956/stat : 10956 (bsolo) R 10954 10956 10910 0 -1 0 24585 0 0 0 977 21 0 0 25 0 1 0 197954753 103788544 24500 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718240 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10956/statm: 25339 24500 297 55 0 24231 0
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 101356

[startup+20.0082 s]
/proc/loadavg: 1.00 0.98 0.97 2/64 10956
/proc/meminfo: memFree=1501096/2055920 swapFree=4181448/4192956
[pid=10956] ppid=10954 vsize=108484 CPUtime=19.98
/proc/10956/stat : 10956 (bsolo) R 10954 10956 10910 0 -1 0 26375 0 0 0 1975 23 0 0 25 0 1 0 197954753 111087616 26290 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534870 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10956/statm: 27121 26290 297 55 0 26013 0
Current children cumulated CPU time (s) 19.98
Current children cumulated vsize (Kb) 108484

[startup+30.0141 s]
/proc/loadavg: 1.00 0.98 0.97 2/64 10956
/proc/meminfo: memFree=1441832/2055920 swapFree=4181448/4192956
[pid=10956] ppid=10954 vsize=167744 CPUtime=29.98
/proc/10956/stat : 10956 (bsolo) R 10954 10956 10910 0 -1 0 41162 0 0 0 2966 32 0 0 25 0 1 0 197954753 171769856 41076 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10956/statm: 41936 41076 297 55 0 40828 0
Current children cumulated CPU time (s) 29.98
Current children cumulated vsize (Kb) 167744

[startup+40.0201 s]
/proc/loadavg: 1.00 0.98 0.97 2/64 10956
/proc/meminfo: memFree=1390120/2055920 swapFree=4181448/4192956
[pid=10956] ppid=10954 vsize=219384 CPUtime=39.99
/proc/10956/stat : 10956 (bsolo) R 10954 10956 10910 0 -1 0 54071 0 0 0 3955 44 0 0 25 0 1 0 197954753 224649216 53983 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 11023995 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10956/statm: 54846 53983 297 55 0 53738 0
Current children cumulated CPU time (s) 39.99
Current children cumulated vsize (Kb) 219384

[startup+50.0271 s]
/proc/loadavg: 1.00 0.98 0.97 2/64 10956
/proc/meminfo: memFree=1308008/2055920 swapFree=4181448/4192956
[pid=10956] ppid=10954 vsize=301376 CPUtime=49.99
/proc/10956/stat : 10956 (bsolo) R 10954 10956 10910 0 -1 0 74561 0 0 0 4942 57 0 0 25 0 1 0 197954753 308609024 74473 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10956/statm: 75344 74473 297 55 0 74236 0
Current children cumulated CPU time (s) 49.99
Current children cumulated vsize (Kb) 301376

[startup+60.032 s]
/proc/loadavg: 1.00 0.98 0.97 2/64 10956
/proc/meminfo: memFree=1203432/2055920 swapFree=4181448/4192956
[pid=10956] ppid=10954 vsize=405872 CPUtime=59.99
/proc/10956/stat : 10956 (bsolo) R 10954 10956 10910 0 -1 0 100644 0 0 0 5925 74 0 0 25 0 1 0 197954753 415612928 100553 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 11023995 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10956/statm: 101468 100553 297 55 0 100360 0
Current children cumulated CPU time (s) 59.99
Current children cumulated vsize (Kb) 405872

[startup+70.038 s]
/proc/loadavg: 1.00 0.98 0.97 2/64 10956
/proc/meminfo: memFree=1173928/2055920 swapFree=4181448/4192956
[pid=10956] ppid=10954 vsize=435340 CPUtime=69.99
/proc/10956/stat : 10956 (bsolo) R 10954 10956 10910 0 -1 0 108000 0 0 0 6920 79 0 0 25 0 1 0 197954753 445788160 107907 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534146 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10956/statm: 108835 107907 297 55 0 107727 0
Current children cumulated CPU time (s) 69.99
Current children cumulated vsize (Kb) 435340

[startup+80.044 s]
/proc/loadavg: 1.00 0.98 0.97 2/64 10956
/proc/meminfo: memFree=1157224/2055920 swapFree=4181448/4192956
[pid=10956] ppid=10954 vsize=452100 CPUtime=80
/proc/10956/stat : 10956 (bsolo) R 10954 10956 10910 0 -1 0 112170 0 0 0 7916 84 0 0 25 0 1 0 197954753 462950400 112077 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10956/statm: 113025 112077 297 55 0 111917 0
Current children cumulated CPU time (s) 80
Current children cumulated vsize (Kb) 452100

[startup+90.0499 s]
/proc/loadavg: 1.00 0.98 0.97 2/64 10956
/proc/meminfo: memFree=1068008/2055920 swapFree=4181448/4192956
[pid=10956] ppid=10954 vsize=541284 CPUtime=90
/proc/10956/stat : 10956 (bsolo) R 10954 10956 10910 0 -1 0 134430 0 0 0 8903 97 0 0 25 0 1 0 197954753 554274816 134332 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529230 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10956/statm: 135321 134332 297 55 0 134213 0
Current children cumulated CPU time (s) 90
Current children cumulated vsize (Kb) 541284

[startup+100.056 s]
/proc/loadavg: 1.00 0.98 0.97 2/64 10956
/proc/meminfo: memFree=959272/2055920 swapFree=4181448/4192956
[pid=10956] ppid=10954 vsize=650032 CPUtime=100.01
/proc/10956/stat : 10956 (bsolo) R 10954 10956 10910 0 -1 0 161578 0 0 0 9887 114 0 0 25 0 1 0 197954753 665632768 161469 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 11023995 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10956/statm: 162508 161469 297 55 0 161400 0
Current children cumulated CPU time (s) 100.01
Current children cumulated vsize (Kb) 650032

[startup+110.063 s]
/proc/loadavg: 1.00 0.98 0.97 2/64 10956
/proc/meminfo: memFree=921832/2055920 swapFree=4181448/4192956
[pid=10956] ppid=10954 vsize=687544 CPUtime=110.01
/proc/10956/stat : 10956 (bsolo) R 10954 10956 10910 0 -1 0 170910 0 0 0 10879 122 0 0 25 0 1 0 197954753 704045056 170799 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10956/statm: 171886 170799 297 55 0 170778 0
Current children cumulated CPU time (s) 110.01
Current children cumulated vsize (Kb) 687544

[startup+120.068 s]
/proc/loadavg: 1.00 0.98 0.97 2/64 10956
/proc/meminfo: memFree=916776/2055920 swapFree=4181448/4192956
[pid=10956] ppid=10954 vsize=692576 CPUtime=120.01
/proc/10956/stat : 10956 (bsolo) R 10954 10956 10910 0 -1 0 172169 0 0 0 11878 123 0 0 25 0 1 0 197954753 709197824 172057 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10956/statm: 173144 172057 297 55 0 172036 0
Current children cumulated CPU time (s) 120.01
Current children cumulated vsize (Kb) 692576

[startup+130.074 s]
/proc/loadavg: 1.00 0.98 0.97 2/64 10956
/proc/meminfo: memFree=891688/2055920 swapFree=4181448/4192956
[pid=10956] ppid=10954 vsize=717656 CPUtime=130.01
/proc/10956/stat : 10956 (bsolo) R 10954 10956 10910 0 -1 0 178421 0 0 0 12874 127 0 0 25 0 1 0 197954753 734879744 178309 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548612 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10956/statm: 179414 178309 297 55 0 178306 0
Current children cumulated CPU time (s) 130.01
Current children cumulated vsize (Kb) 717656

[startup+140.08 s]
/proc/loadavg: 1.00 0.98 0.97 2/64 10956
/proc/meminfo: memFree=882408/2055920 swapFree=4181448/4192956
[pid=10956] ppid=10954 vsize=726900 CPUtime=140.02
/proc/10956/stat : 10956 (bsolo) R 10954 10956 10910 0 -1 0 180733 0 0 0 13872 130 0 0 25 0 1 0 197954753 744345600 180621 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10956/statm: 181725 180621 297 55 0 180617 0
Current children cumulated CPU time (s) 140.02
Current children cumulated vsize (Kb) 726900

[startup+150.086 s]
/proc/loadavg: 1.00 0.98 0.97 2/64 10956
/proc/meminfo: memFree=864808/2055920 swapFree=4181448/4192956
[pid=10956] ppid=10954 vsize=744592 CPUtime=150.03
/proc/10956/stat : 10956 (bsolo) R 10954 10956 10910 0 -1 0 185131 0 0 0 14868 135 0 0 25 0 1 0 197954753 762462208 185017 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10956/statm: 186148 185017 297 55 0 185040 0
Current children cumulated CPU time (s) 150.03
Current children cumulated vsize (Kb) 744592

[startup+160.092 s]
/proc/loadavg: 1.00 0.98 0.97 2/64 10956
/proc/meminfo: memFree=826792/2055920 swapFree=4181448/4192956
[pid=10956] ppid=10954 vsize=782608 CPUtime=160.03
/proc/10956/stat : 10956 (bsolo) R 10954 10956 10910 0 -1 0 194612 0 0 0 15861 142 0 0 25 0 1 0 197954753 801390592 194497 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524308 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10956/statm: 195652 194497 297 55 0 194544 0
Current children cumulated CPU time (s) 160.03
Current children cumulated vsize (Kb) 782608

[startup+170.098 s]
/proc/loadavg: 1.00 0.98 0.97 2/64 10956
/proc/meminfo: memFree=811816/2055920 swapFree=4181448/4192956
[pid=10956] ppid=10954 vsize=797544 CPUtime=170.03
/proc/10956/stat : 10956 (bsolo) R 10954 10956 10910 0 -1 0 198340 0 0 0 16856 147 0 0 25 0 1 0 197954753 816685056 198224 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10956/statm: 199386 198224 297 55 0 198278 0
Current children cumulated CPU time (s) 170.03
Current children cumulated vsize (Kb) 797544

[startup+180.104 s]
/proc/loadavg: 1.00 0.98 0.97 2/64 10956
/proc/meminfo: memFree=707368/2055920 swapFree=4181448/4192956
[pid=10956] ppid=10954 vsize=902036 CPUtime=180.03
/proc/10956/stat : 10956 (bsolo) R 10954 10956 10910 0 -1 0 224423 0 0 0 17842 161 0 0 25 0 1 0 197954753 923684864 224299 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 11023995 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10956/statm: 225509 224299 297 55 0 224401 0
Current children cumulated CPU time (s) 180.03
Current children cumulated vsize (Kb) 902036

[startup+190.11 s]
/proc/loadavg: 1.00 0.98 0.97 2/64 10956
/proc/meminfo: memFree=669160/2055920 swapFree=4181448/4192956
[pid=10956] ppid=10954 vsize=940408 CPUtime=190.04
/proc/10956/stat : 10956 (bsolo) R 10954 10956 10910 0 -1 0 233966 0 0 0 18836 168 0 0 25 0 1 0 197954753 962977792 233837 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10956/statm: 235102 233837 297 55 0 233994 0
Current children cumulated CPU time (s) 190.04
Current children cumulated vsize (Kb) 940408

[startup+200.116 s]
/proc/loadavg: 1.00 0.98 0.97 2/64 10956
/proc/meminfo: memFree=630952/2055920 swapFree=4181448/4192956
[pid=10956] ppid=10954 vsize=978588 CPUtime=200.04
/proc/10956/stat : 10956 (bsolo) R 10954 10956 10910 0 -1 0 243504 0 0 0 19829 175 0 0 25 0 1 0 197954753 1002074112 243371 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10956/statm: 244647 243371 297 55 0 243539 0
Current children cumulated CPU time (s) 200.04
Current children cumulated vsize (Kb) 978588

[startup+210.122 s]
/proc/loadavg: 1.00 0.98 0.97 2/64 10956
/proc/meminfo: memFree=572584/2055920 swapFree=4181448/4192956

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

Current children cumulated CPU time (s) 850.29
Current children cumulated vsize (Kb) 1769896

[startup+860.551 s]
/proc/loadavg: 1.00 0.98 0.97 2/64 10958
/proc/meminfo: memFree=15080/2055920 swapFree=4181420/4192956
[pid=10956] ppid=10954 vsize=1771648 CPUtime=860.29
/proc/10956/stat : 10956 (bsolo) R 10954 10956 10910 0 -1 0 441147 0 0 0 85692 337 0 0 25 0 1 0 197954753 1814167552 440567 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607302 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10956/statm: 442912 440567 297 55 0 441804 0
Current children cumulated CPU time (s) 860.29
Current children cumulated vsize (Kb) 1771648

[startup+870.556 s]
/proc/loadavg: 1.00 0.98 0.97 2/64 10958
/proc/meminfo: memFree=15336/2055920 swapFree=4181420/4192956
[pid=10956] ppid=10954 vsize=1773220 CPUtime=870.3
/proc/10956/stat : 10956 (bsolo) R 10954 10956 10910 0 -1 0 441544 0 0 0 86692 338 0 0 25 0 1 0 197954753 1815777280 440881 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607302 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10956/statm: 443305 440881 297 55 0 442197 0
Current children cumulated CPU time (s) 870.3
Current children cumulated vsize (Kb) 1773220

[startup+880.562 s]
/proc/loadavg: 1.00 0.98 0.97 2/64 10958
/proc/meminfo: memFree=15272/2055920 swapFree=4181420/4192956
[pid=10956] ppid=10954 vsize=1781064 CPUtime=880.3
/proc/10956/stat : 10956 (bsolo) R 10954 10956 10910 0 -1 0 443556 0 0 0 87691 339 0 0 25 0 1 0 197954753 1823809536 442810 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528720 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10956/statm: 445266 442810 297 55 0 444158 0
Current children cumulated CPU time (s) 880.3
Current children cumulated vsize (Kb) 1781064

[startup+890.568 s]
/proc/loadavg: 1.00 0.98 0.97 2/64 10958
/proc/meminfo: memFree=15016/2055920 swapFree=4181420/4192956
[pid=10956] ppid=10954 vsize=1781328 CPUtime=890.3
/proc/10956/stat : 10956 (bsolo) R 10954 10956 10910 0 -1 0 443625 0 0 0 88691 339 0 0 25 0 1 0 197954753 1824079872 442879 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10956/statm: 445332 442879 297 55 0 444224 0
Current children cumulated CPU time (s) 890.3
Current children cumulated vsize (Kb) 1781328

[startup+900.574 s]
/proc/loadavg: 1.00 0.98 0.97 2/64 10958
/proc/meminfo: memFree=15656/2055920 swapFree=4181420/4192956
[pid=10956] ppid=10954 vsize=1782252 CPUtime=900.3
/proc/10956/stat : 10956 (bsolo) R 10954 10956 10910 0 -1 0 443842 0 0 0 89691 339 0 0 25 0 1 0 197954753 1825026048 443096 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10956/statm: 445563 443096 297 55 0 444455 0
Current children cumulated CPU time (s) 900.3
Current children cumulated vsize (Kb) 1782252

[startup+910.58 s]
/proc/loadavg: 1.00 0.98 0.97 2/64 10958
/proc/meminfo: memFree=15208/2055920 swapFree=4181420/4192956
[pid=10956] ppid=10954 vsize=1782648 CPUtime=910.3
/proc/10956/stat : 10956 (bsolo) R 10954 10956 10910 0 -1 0 443953 0 0 0 90691 339 0 0 25 0 1 0 197954753 1825431552 443207 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10956/statm: 445662 443207 297 55 0 444554 0
Current children cumulated CPU time (s) 910.3
Current children cumulated vsize (Kb) 1782648

[startup+920.586 s]
/proc/loadavg: 1.00 0.98 0.97 2/64 10958
/proc/meminfo: memFree=15976/2055920 swapFree=4181420/4192956
[pid=10956] ppid=10954 vsize=1785040 CPUtime=920.31
/proc/10956/stat : 10956 (bsolo) R 10954 10956 10910 0 -1 0 444533 0 0 0 91691 340 0 0 25 0 1 0 197954753 1827880960 443786 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10956/statm: 446260 443786 297 55 0 445152 0
Current children cumulated CPU time (s) 920.31
Current children cumulated vsize (Kb) 1785040

[startup+930.592 s]
/proc/loadavg: 1.00 0.98 0.97 2/64 10958
/proc/meminfo: memFree=15144/2055920 swapFree=4181420/4192956
[pid=10956] ppid=10954 vsize=1790452 CPUtime=930.32
/proc/10956/stat : 10956 (bsolo) R 10954 10956 10910 0 -1 0 445897 0 0 0 92690 342 0 0 25 0 1 0 197954753 1833422848 445150 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10956/statm: 447613 445150 297 55 0 446505 0
Current children cumulated CPU time (s) 930.32
Current children cumulated vsize (Kb) 1790452

[startup+940.599 s]
/proc/loadavg: 1.00 0.98 0.97 2/64 10958
/proc/meminfo: memFree=16232/2055920 swapFree=4181420/4192956
[pid=10956] ppid=10954 vsize=1794260 CPUtime=940.32
/proc/10956/stat : 10956 (bsolo) R 10954 10956 10910 0 -1 0 446807 0 0 0 93690 342 0 0 25 0 1 0 197954753 1837322240 446052 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10956/statm: 448565 446052 297 55 0 447457 0
Current children cumulated CPU time (s) 940.32
Current children cumulated vsize (Kb) 1794260

[startup+950.605 s]
/proc/loadavg: 1.00 0.98 0.97 2/64 10958
/proc/meminfo: memFree=16104/2055920 swapFree=4181420/4192956
[pid=10956] ppid=10954 vsize=1795840 CPUtime=950.32
/proc/10956/stat : 10956 (bsolo) R 10954 10956 10910 0 -1 0 447212 0 0 0 94689 343 0 0 25 0 1 0 197954753 1838940160 446457 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533192 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10956/statm: 448960 446457 297 55 0 447852 0
Current children cumulated CPU time (s) 950.32
Current children cumulated vsize (Kb) 1795840

[startup+960.611 s]
/proc/loadavg: 1.00 0.98 0.97 2/64 10958
/proc/meminfo: memFree=15592/2055920 swapFree=4181420/4192956
[pid=10956] ppid=10954 vsize=1798068 CPUtime=960.33
/proc/10956/stat : 10956 (bsolo) R 10954 10956 10910 0 -1 0 447765 0 0 0 95689 344 0 0 25 0 1 0 197954753 1841221632 447010 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10956/statm: 449517 447010 297 55 0 448409 0
Current children cumulated CPU time (s) 960.33
Current children cumulated vsize (Kb) 1798068

[startup+970.617 s]
/proc/loadavg: 1.00 0.98 0.97 2/64 10958
/proc/meminfo: memFree=15592/2055920 swapFree=4181420/4192956
[pid=10956] ppid=10954 vsize=1799596 CPUtime=970.33
/proc/10956/stat : 10956 (bsolo) R 10954 10956 10910 0 -1 0 448143 0 0 0 96689 344 0 0 25 0 1 0 197954753 1842786304 447380 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607302 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10956/statm: 449899 447380 297 55 0 448791 0
Current children cumulated CPU time (s) 970.33
Current children cumulated vsize (Kb) 1799596

[startup+980.623 s]
/proc/loadavg: 1.00 0.98 0.97 2/64 10958
/proc/meminfo: memFree=14952/2055920 swapFree=4181420/4192956
[pid=10956] ppid=10954 vsize=1800396 CPUtime=980.33
/proc/10956/stat : 10956 (bsolo) R 10954 10956 10910 0 -1 0 448322 0 0 0 97689 344 0 0 25 0 1 0 197954753 1843605504 447558 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10956/statm: 450099 447558 297 55 0 448991 0
Current children cumulated CPU time (s) 980.33
Current children cumulated vsize (Kb) 1800396

[startup+990.629 s]
/proc/loadavg: 1.00 0.98 0.97 2/64 10958
/proc/meminfo: memFree=16232/2055920 swapFree=4181420/4192956
[pid=10956] ppid=10954 vsize=1800660 CPUtime=990.33
/proc/10956/stat : 10956 (bsolo) R 10954 10956 10910 0 -1 0 448379 0 0 0 98689 344 0 0 25 0 1 0 197954753 1843875840 447615 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528665 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10956/statm: 450165 447615 297 55 0 449057 0
Current children cumulated CPU time (s) 990.33
Current children cumulated vsize (Kb) 1800660

[startup+1000.64 s]
/proc/loadavg: 1.00 0.98 0.97 2/64 10958
/proc/meminfo: memFree=15464/2055920 swapFree=4181420/4192956
[pid=10956] ppid=10954 vsize=1804500 CPUtime=1000.33
/proc/10956/stat : 10956 (bsolo) R 10954 10956 10910 0 -1 0 449336 0 0 0 99688 345 0 0 25 0 1 0 197954753 1847808000 448571 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10956/statm: 451125 448571 297 55 0 450017 0
Current children cumulated CPU time (s) 1000.33
Current children cumulated vsize (Kb) 1804500

[startup+1010.64 s]
/proc/loadavg: 1.00 0.98 0.97 2/64 10958
/proc/meminfo: memFree=15144/2055920 swapFree=4181420/4192956
[pid=10956] ppid=10954 vsize=1804896 CPUtime=1010.35
/proc/10956/stat : 10956 (bsolo) R 10954 10956 10910 0 -1 0 449428 0 0 0 100689 346 0 0 25 0 1 0 197954753 1848213504 448663 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607308 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10956/statm: 451224 448663 297 55 0 450116 0
Current children cumulated CPU time (s) 1010.35
Current children cumulated vsize (Kb) 1804896

[startup+1020.65 s]
/proc/loadavg: 1.00 0.98 0.97 2/64 10958
/proc/meminfo: memFree=15976/2055920 swapFree=4181420/4192956
[pid=10956] ppid=10954 vsize=1811692 CPUtime=1020.34
/proc/10956/stat : 10956 (bsolo) R 10954 10956 10910 0 -1 0 451140 0 0 0 101688 346 0 0 25 0 1 0 197954753 1855172608 450372 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10956/statm: 452923 450372 297 55 0 451815 0
Current children cumulated CPU time (s) 1020.34
Current children cumulated vsize (Kb) 1811692

[startup+1030.65 s]
/proc/loadavg: 1.00 0.98 0.97 2/64 10958
/proc/meminfo: memFree=16104/2055920 swapFree=4181420/4192956
[pid=10956] ppid=10954 vsize=1816460 CPUtime=1030.34
/proc/10956/stat : 10956 (bsolo) R 10954 10956 10910 0 -1 0 452348 0 0 0 102687 347 0 0 25 0 1 0 197954753 1860055040 451497 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10956/statm: 454115 451497 297 55 0 453007 0
Current children cumulated CPU time (s) 1030.34
Current children cumulated vsize (Kb) 1816460

[startup+1040.66 s]
/proc/loadavg: 1.00 0.98 0.97 2/64 10958
/proc/meminfo: memFree=15720/2055920 swapFree=4181420/4192956
[pid=10956] ppid=10954 vsize=1828108 CPUtime=1040.36
/proc/10956/stat : 10956 (bsolo) R 10954 10956 10910 0 -1 0 455251 0 0 0 103686 350 0 0 25 0 1 0 197954753 1871982592 454396 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10956/statm: 457027 454396 297 55 0 455919 0
Current children cumulated CPU time (s) 1040.36
Current children cumulated vsize (Kb) 1828108

[startup+1050.67 s]
/proc/loadavg: 1.00 0.98 0.97 2/64 10958
/proc/meminfo: memFree=15720/2055920 swapFree=4181420/4192956
[pid=10956] ppid=10954 vsize=1839092 CPUtime=1050.35
/proc/10956/stat : 10956 (bsolo) R 10954 10956 10910 0 -1 0 458021 0 0 0 104683 352 0 0 25 0 1 0 197954753 1883230208 457165 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528714 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10956/statm: 459773 457165 297 55 0 458665 0
Current children cumulated CPU time (s) 1050.35
Current children cumulated vsize (Kb) 1839092

[startup+1060.67 s]
/proc/loadavg: 1.00 0.98 0.97 2/64 10958
/proc/meminfo: memFree=15656/2055920 swapFree=4181420/4192956
[pid=10956] ppid=10954 vsize=1839356 CPUtime=1060.36
/proc/10956/stat : 10956 (bsolo) R 10954 10956 10910 0 -1 0 458069 0 0 0 105684 352 0 0 25 0 1 0 197954753 1883500544 457213 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10956/statm: 459839 457213 297 55 0 458731 0
Current children cumulated CPU time (s) 1060.36
Current children cumulated vsize (Kb) 1839356

Child ended because it received signal 11 (SIGSEGV)
Real time (s): 1065.38
CPU time (s): 1065.07
CPU user time (s): 1061.25
CPU system time (s): 3.81842
CPU usage (%): 99.971
Max. virtual memory (cumulated for all children) (Kb): 1839356
The end

Launcher Data (download as text)

Begin job on node4 on Sat Jun  3 08:22:09 UTC 2006


FILE ID= 39762-1149322928

PBS_JOBID= 309469

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-vpm1.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node4/39762-1149322928/instance-39762-1149322928.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node4/watcher-39762-1149322928 -o ROOT/results/node4/solver-39762-1149322928 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node4/39762-1149322928/instance-39762-1149322928.opb

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  019e5a614038472d624f56ab4ecfb30e

RANDOM SEED= 277443858


/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:       1605432 kB
Buffers:         26640 kB
Cached:         363748 kB
SwapCached:       3264 kB
Active:          65504 kB
Inactive:       333676 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1605432 kB
SwapTotal:     4192956 kB
SwapFree:      4181448 kB
Dirty:             144 kB
Writeback:           0 kB
Mapped:          14816 kB
Slab:            37296 kB
Committed_AS:   299956 kB
PageTables:       1500 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node4 on Sat Jun  3 08:39:54 UTC 2006