Trace number 39972

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/05? 1800.12 1800.61

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-stocfor2.opb
MD5SUMcbc7f776eebadde6a6228c5e168c70a1
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
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables60930
Total number of constraints2157
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 constraints2157
Minimum length of a constraint30
Maximum length of a constraint450
Number of terms in the objective function 31770
Biggest coefficient in the objective function 2474
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 550404
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 550404
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 Time Limit set via PBTIMEOUT to 1800
0.01	c INFO: OSL Context initialized.
2.04	c Initial problem consists of 60930 variables and 3300 constraints.
2.32	c No problem reductions applied in OPT. instance.
2.32	c	preprocess terminated. Elapsed time: 2.311
2.32	c After prepocess the problem consists of 48280 variables and 3300 constraints.
2.32	c Initial Lower Bound: -27546
2.70	c Restart #1 #Var: 48280 LB: -27546 @ 2.696
3.31	c Restart #2 #Var: 48280 LB: -27546 @ 3.301
4.07	c Restart #3 #Var: 48280 LB: -27546 @ 4.064
5.00	c Restart #4 #Var: 48280 LB: -27546 @ 4.991
5.91	c Restart #5 #Var: 48280 LB: -27546 @ 5.905
7.20	c Restart #6 #Var: 48280 LB: -27546 @ 7.192
9.02	c Restart #7 #Var: 48280 LB: -27546 @ 9.012
10.04	c Restart #8 #Var: 48280 LB: -27546 @ 10.031
10.44	c Restart #9 #Var: 48280 LB: -27546 @ 10.429
10.99	c Restart #10 #Var: 48280 LB: -27546 @ 10.982
11.27	c Restart #11 #Var: 48280 LB: -27546 @ 11.262
12.72	c Restart #12 #Var: 48252 LB: -27399 @ 12.708
13.53	c Restart #13 #Var: 48237 LB: -27374 @ 13.521
14.23	c Restart #14 #Var: 48237 LB: -27374 @ 14.215
16.99	c Restart #15 #Var: 48178 LB: -26998 @ 16.981
18.49	c Restart #16 #Var: 48178 LB: -26998 @ 18.477
19.74	c Restart #17 #Var: 48154 LB: -26985 @ 19.732
21.65	c Restart #18 #Var: 48154 LB: -26985 @ 21.633
22.76	c Restart #19 #Var: 48154 LB: -26985 @ 22.746
23.31	c Restart #20 #Var: 48154 LB: -26985 @ 23.299
24.88	c Restart #21 #Var: 48144 LB: -26985 @ 24.863
27.00	c Restart #22 #Var: 48121 LB: -26941 @ 26.981
29.43	c Restart #23 #Var: 48100 LB: -26941 @ 29.419
32.89	c Restart #24 #Var: 48100 LB: -26941 @ 32.878
34.07	c Restart #25 #Var: 48086 LB: -26941 @ 34.05
35.26	c Restart #26 #Var: 48086 LB: -26941 @ 35.245
36.39	c Restart #27 #Var: 48084 LB: -26941 @ 36.374
39.23	c Restart #28 #Var: 48046 LB: -26722 @ 39.208
43.48	c Restart #29 #Var: 48046 LB: -26722 @ 43.462
47.03	c Restart #30 #Var: 48038 LB: -26722 @ 47.014
49.76	c Restart #31 #Var: 48038 LB: -26722 @ 49.738
53.91	c Restart #32 #Var: 48024 LB: -26719 @ 53.892
55.25	c Restart #33 #Var: 48024 LB: -26719 @ 55.223
58.91	c Restart #34 #Var: 48021 LB: -26719 @ 58.89
63.40	c Restart #35 #Var: 47957 LB: -26516 @ 63.38
68.11	c Restart #36 #Var: 47957 LB: -26516 @ 68.081
77.68	c Restart #37 #Var: 47956 LB: -26516 @ 77.657
81.20	c Restart #38 #Var: 47951 LB: -26516 @ 81.166
91.17	c Restart #39 #Var: 47951 LB: -26516 @ 91.141
95.38	c Restart #40 #Var: 47951 LB: -26516 @ 95.348
102.39	c Restart #41 #Var: 47898 LB: -26273 @ 102.35
112.84	c Restart #42 #Var: 47898 LB: -26273 @ 112.8
120.56	c Restart #43 #Var: 47898 LB: -26273 @ 120.52
130.08	c Restart #44 #Var: 47889 LB: -26273 @ 130.04
133.63	c Restart #45 #Var: 47888 LB: -26273 @ 133.59
138.23	c Restart #46 #Var: 47876 LB: -26270 @ 138.18
152.39	c Restart #47 #Var: 47767 LB: -25500 @ 152.35
158.70	c Restart #48 #Var: 47767 LB: -25500 @ 158.65
160.84	c Restart #49 #Var: 47748 LB: -25484 @ 160.79
173.75	c Restart #50 #Var: 47725 LB: -25469 @ 173.69
180.56	c Restart #51 #Var: 47725 LB: -25469 @ 180.51
203.39	c Restart #52 #Var: 47725 LB: -25469 @ 203.33
208.35	c Restart #53 #Var: 47725 LB: -25469 @ 208.28
226.81	c Restart #54 #Var: 47723 LB: -25469 @ 226.74
244.14	c Restart #55 #Var: 47722 LB: -25469 @ 244.07
261.83	c Restart #56 #Var: 47721 LB: -25469 @ 261.75
284.37	c Restart #57 #Var: 47715 LB: -25469 @ 284.29
296.59	c Restart #58 #Var: 47709 LB: -25469 @ 296.5
301.05	c Restart #59 #Var: 47709 LB: -25469 @ 300.96
321.14	c Restart #60 #Var: 47680 LB: -24841 @ 321.04
333.28	c Restart #61 #Var: 47665 LB: -24695 @ 333.19
345.48	c Restart #62 #Var: 47663 LB: -24695 @ 345.38
376.13	c Restart #63 #Var: 47663 LB: -24695 @ 376.02
386.59	c Restart #64 #Var: 47634 LB: -24482 @ 386.48
415.49	c Restart #65 #Var: 47623 LB: -24482 @ 415.37
440.46	c Restart #66 #Var: 47616 LB: -24482 @ 440.34
446.69	c Restart #67 #Var: 47616 LB: -24482 @ 446.56
491.16	c Restart #68 #Var: 47613 LB: -24482 @ 491.02
534.66	c Restart #69 #Var: 47613 LB: -24482 @ 534.51
613.70	c Restart #70 #Var: 47581 LB: -24478 @ 613.53
649.18	c Restart #71 #Var: 47579 LB: -24478 @ 649
779.89	c Restart #72 #Var: 47579 LB: -24478 @ 779.68
793.32	c Restart #73 #Var: 47579 LB: -24478 @ 793.1
828.17	c Restart #74 #Var: 47531 LB: -23668 @ 827.94
876.58	c Restart #75 #Var: 47531 LB: -23668 @ 876.34
989.46	c CHANGE Heuristic... 
989.46	c Restart #0 #Var: 47467 LB: -23435 @ 989.19
989.55	c Restart #1 #Var: 47334 LB: -22843 @ 989.28
989.67	c Restart #2 #Var: 47324 LB: -22811 @ 989.4
990.50	c Restart #3 #Var: 47098 LB: -21261 @ 990.23
994.22	c Restart #4 #Var: 47018 LB: -20914 @ 993.95
997.03	c Restart #5 #Var: 47006 LB: -20910 @ 996.76
1001.68	c Restart #6 #Var: 46997 LB: -20905 @ 1001.4
1003.79	c Restart #7 #Var: 46996 LB: -20905 @ 1003.5
1008.98	c Restart #8 #Var: 46988 LB: -20905 @ 1008.7
1010.53	c Restart #9 #Var: 46988 LB: -20905 @ 1010.3
1012.52	c Restart #10 #Var: 46974 LB: -20826 @ 1012.2
1015.71	c Restart #11 #Var: 46974 LB: -20826 @ 1015.4
1025.62	c Restart #12 #Var: 46973 LB: -20826 @ 1025.3
1036.23	c Restart #13 #Var: 46935 LB: -20376 @ 1035.9
1042.74	c Restart #14 #Var: 46924 LB: -20342 @ 1042.5
1051.34	c Restart #15 #Var: 46924 LB: -20342 @ 1051.1
1060.57	c Restart #16 #Var: 46924 LB: -20342 @ 1060.3
1065.85	c Restart #17 #Var: 46924 LB: -20342 @ 1065.6
1081.41	c Restart #18 #Var: 46924 LB: -20342 @ 1081.1
1095.14	c Restart #19 #Var: 46924 LB: -20342 @ 1094.8
1196.46	c Restart #20 #Var: 46924 LB: -20342 @ 1196.1
1223.26	c Restart #21 #Var: 46924 LB: -20342 @ 1222.9
1262.07	c Restart #22 #Var: 46924 LB: -20342 @ 1261.7
1269.55	c Restart #23 #Var: 46924 LB: -20342 @ 1269.2
1279.42	c Restart #24 #Var: 46924 LB: -20342 @ 1279.1
1291.13	c Restart #25 #Var: 46924 LB: -20342 @ 1290.8
1307.21	c Restart #26 #Var: 46924 LB: -20342 @ 1306.9
1311.71	c Restart #27 #Var: 46924 LB: -20342 @ 1311.4
1315.91	c Restart #28 #Var: 46924 LB: -20342 @ 1315.6
1333.23	c Restart #29 #Var: 46924 LB: -20342 @ 1332.9
1350.04	c Restart #30 #Var: 46923 LB: -20342 @ 1349.7
1367.77	c Restart #31 #Var: 46923 LB: -20342 @ 1367.4
1385.68	c Restart #32 #Var: 46923 LB: -20342 @ 1385.3
1393.53	c Restart #33 #Var: 46923 LB: -20342 @ 1393.2
1421.29	c Restart #34 #Var: 46923 LB: -20342 @ 1420.9
1426.19	c Restart #35 #Var: 46923 LB: -20342 @ 1425.8
1436.25	c Restart #36 #Var: 46922 LB: -20342 @ 1435.9
1459.37	c Restart #37 #Var: 46922 LB: -20342 @ 1459
1464.40	c Restart #38 #Var: 46922 LB: -20342 @ 1464
1470.34	c Restart #39 #Var: 46922 LB: -20342 @ 1469.9
1482.60	c Restart #40 #Var: 46910 LB: -20311 @ 1482.2
1520.46	c Restart #41 #Var: 46908 LB: -20310 @ 1520
1572.49	c Restart #42 #Var: 46908 LB: -20310 @ 1572.1
1599.50	c Restart #43 #Var: 46908 LB: -20310 @ 1599.1
1668.89	c Restart #44 #Var: 46908 LB: -20310 @ 1668.4
1677.79	c Restart #45 #Var: 46908 LB: -20310 @ 1677.3
1709.18	c Restart #46 #Var: 46908 LB: -20310 @ 1708.7
1716.06	c Restart #47 #Var: 46908 LB: -20310 @ 1715.6
1788.46	c Restart #48 #Var: 46908 LB: -20310 @ 1788
1795.73	c Restart #49 #Var: 46908 LB: -20310 @ 1795.2
1800.50	s UNKNOWN
1800.50	c Exit Code: 0
1800.50	c Total time: 1800 s

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

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.91 0.97 0.99 2/67 18667
/proc/meminfo: memFree=1744304/2055892 swapFree=4085732/4096564
[pid=18667] ppid=18665 vsize=4672 CPUtime=0
/proc/18667/stat : 18667 (bsolo) R 18665 18667 18621 0 -1 0 108 0 0 0 0 0 0 0 18 0 1 0 199440073 4784128 91 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 11473128 0 0 4096 0 0 0 0 17 1 0 0
/proc/18667/statm: 1168 106 89 55 0 46 0

[startup+10.0021 s]
/proc/loadavg: 0.93 0.97 0.99 2/67 18667
/proc/meminfo: memFree=1657648/2055892 swapFree=4085732/4096564
[pid=18667] ppid=18665 vsize=93148 CPUtime=9.99
/proc/18667/stat : 18667 (bsolo) R 18665 18667 18621 0 -1 0 96967 0 0 0 955 44 0 0 25 0 1 0 199440073 95383552 21963 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607308 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18667/statm: 23287 21963 294 55 0 22178 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 93148

[startup+20.0082 s]
/proc/loadavg: 0.94 0.97 0.99 2/67 18667
/proc/meminfo: memFree=1636144/2055892 swapFree=4085732/4096564
[pid=18667] ppid=18665 vsize=114652 CPUtime=19.98
/proc/18667/stat : 18667 (bsolo) R 18665 18667 18621 0 -1 0 102335 0 0 0 1937 61 0 0 25 0 1 0 199440073 117403648 27331 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18667/statm: 28663 27331 294 55 0 27554 0
Current children cumulated CPU time (s) 19.98
Current children cumulated vsize (Kb) 114652

[startup+30.0133 s]
/proc/loadavg: 0.95 0.97 0.99 2/67 18667
/proc/meminfo: memFree=1612720/2055892 swapFree=4085732/4096564
[pid=18667] ppid=18665 vsize=138136 CPUtime=29.99
/proc/18667/stat : 18667 (bsolo) R 18665 18667 18621 0 -1 0 108204 0 0 0 2926 73 0 0 25 0 1 0 199440073 141451264 33200 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607302 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18667/statm: 34534 33200 294 55 0 33425 0
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 138136

[startup+40.0194 s]
/proc/loadavg: 0.95 0.97 0.99 2/67 18667
/proc/meminfo: memFree=1589296/2055892 swapFree=4085732/4096564
[pid=18667] ppid=18665 vsize=161376 CPUtime=39.99
/proc/18667/stat : 18667 (bsolo) R 18665 18667 18621 0 -1 0 114032 0 0 0 3920 79 0 0 25 0 1 0 199440073 165249024 39028 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 11905067 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18667/statm: 40344 39028 294 55 0 39235 0
Current children cumulated CPU time (s) 39.99
Current children cumulated vsize (Kb) 161376

[startup+50.0255 s]
/proc/loadavg: 0.96 0.97 0.99 2/67 18667
/proc/meminfo: memFree=1573680/2055892 swapFree=4085732/4096564
[pid=18667] ppid=18665 vsize=177080 CPUtime=50
/proc/18667/stat : 18667 (bsolo) R 18665 18667 18621 0 -1 0 117962 0 0 0 4915 85 0 0 25 0 1 0 199440073 181329920 42958 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 11905067 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18667/statm: 44270 42958 294 55 0 43161 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 177080

[startup+60.0316 s]
/proc/loadavg: 0.97 0.97 0.99 2/67 18667
/proc/meminfo: memFree=1551792/2055892 swapFree=4085732/4096564
[pid=18667] ppid=18665 vsize=198988 CPUtime=60
/proc/18667/stat : 18667 (bsolo) R 18665 18667 18621 0 -1 0 123415 0 0 0 5910 90 0 0 25 0 1 0 199440073 203763712 48411 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18667/statm: 49747 48411 294 55 0 48638 0
Current children cumulated CPU time (s) 60
Current children cumulated vsize (Kb) 198988

[startup+70.0376 s]
/proc/loadavg: 0.97 0.97 0.99 2/67 18667
/proc/meminfo: memFree=1535280/2055892 swapFree=4085732/4096564
[pid=18667] ppid=18665 vsize=215360 CPUtime=70.01
/proc/18667/stat : 18667 (bsolo) R 18665 18667 18621 0 -1 0 127524 0 0 0 6906 95 0 0 25 0 1 0 199440073 220528640 52520 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529176 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18667/statm: 53840 52520 294 55 0 52731 0
Current children cumulated CPU time (s) 70.01
Current children cumulated vsize (Kb) 215360

[startup+80.0437 s]
/proc/loadavg: 0.98 0.97 0.99 2/67 18667
/proc/meminfo: memFree=1525744/2055892 swapFree=4085732/4096564
[pid=18667] ppid=18665 vsize=224996 CPUtime=80.01
/proc/18667/stat : 18667 (bsolo) R 18665 18667 18621 0 -1 0 129912 0 0 0 7903 98 0 0 25 0 1 0 199440073 230395904 54908 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18667/statm: 56249 54908 294 55 0 55140 0
Current children cumulated CPU time (s) 80.01
Current children cumulated vsize (Kb) 224996

[startup+90.0488 s]
/proc/loadavg: 0.98 0.97 0.99 2/67 18667
/proc/meminfo: memFree=1512880/2055892 swapFree=4085732/4096564
[pid=18667] ppid=18665 vsize=237804 CPUtime=90.01
/proc/18667/stat : 18667 (bsolo) R 18665 18667 18621 0 -1 0 133116 0 0 0 8900 101 0 0 25 0 1 0 199440073 243511296 58112 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18667/statm: 59451 58112 294 55 0 58342 0
Current children cumulated CPU time (s) 90.01
Current children cumulated vsize (Kb) 237804

[startup+100.055 s]
/proc/loadavg: 0.98 0.97 0.99 2/67 18667
/proc/meminfo: memFree=1496624/2055892 swapFree=4085732/4096564
[pid=18667] ppid=18665 vsize=254048 CPUtime=100.01
/proc/18667/stat : 18667 (bsolo) R 18665 18667 18621 0 -1 0 137169 0 0 0 9896 105 0 0 25 0 1 0 199440073 260145152 62165 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18667/statm: 63512 62165 294 55 0 62403 0
Current children cumulated CPU time (s) 100.01
Current children cumulated vsize (Kb) 254048

[startup+110.061 s]
/proc/loadavg: 0.98 0.97 0.99 2/67 18667
/proc/meminfo: memFree=1493232/2055892 swapFree=4085732/4096564
[pid=18667] ppid=18665 vsize=257352 CPUtime=110.01
/proc/18667/stat : 18667 (bsolo) R 18665 18667 18621 0 -1 0 138014 0 0 0 10895 106 0 0 25 0 1 0 199440073 263528448 63010 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718736 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18667/statm: 64338 63010 294 55 0 63229 0
Current children cumulated CPU time (s) 110.01
Current children cumulated vsize (Kb) 257352

[startup+120.067 s]
/proc/loadavg: 0.99 0.97 0.99 2/67 18667
/proc/meminfo: memFree=1491120/2055892 swapFree=4085732/4096564
[pid=18667] ppid=18665 vsize=259464 CPUtime=120.02
/proc/18667/stat : 18667 (bsolo) R 18665 18667 18621 0 -1 0 138544 0 0 0 11894 108 0 0 25 0 1 0 199440073 265691136 63540 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537571 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18667/statm: 64866 63540 294 55 0 63757 0
Current children cumulated CPU time (s) 120.02
Current children cumulated vsize (Kb) 259464

[startup+130.073 s]
/proc/loadavg: 0.99 0.97 0.99 2/67 18667
/proc/meminfo: memFree=1484208/2055892 swapFree=4085732/4096564
[pid=18667] ppid=18665 vsize=266460 CPUtime=130.02
/proc/18667/stat : 18667 (bsolo) R 18665 18667 18621 0 -1 0 140262 0 0 0 12892 110 0 0 25 0 1 0 199440073 272855040 65258 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18667/statm: 66615 65258 294 55 0 65506 0
Current children cumulated CPU time (s) 130.02
Current children cumulated vsize (Kb) 266460

[startup+140.079 s]
/proc/loadavg: 0.99 0.97 0.99 2/67 18667
/proc/meminfo: memFree=1475504/2055892 swapFree=4085732/4096564
[pid=18667] ppid=18665 vsize=275168 CPUtime=140.02
/proc/18667/stat : 18667 (bsolo) R 18665 18667 18621 0 -1 0 142438 0 0 0 13889 113 0 0 25 0 1 0 199440073 281772032 67434 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 11905067 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18667/statm: 68792 67434 294 55 0 67683 0
Current children cumulated CPU time (s) 140.02
Current children cumulated vsize (Kb) 275168

[startup+150.085 s]
/proc/loadavg: 0.99 0.97 0.99 2/67 18667
/proc/meminfo: memFree=1468400/2055892 swapFree=4085732/4096564
[pid=18667] ppid=18665 vsize=282184 CPUtime=150.03
/proc/18667/stat : 18667 (bsolo) R 18665 18667 18621 0 -1 0 144207 0 0 0 14887 116 0 0 25 0 1 0 199440073 288956416 69203 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528665 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18667/statm: 70546 69203 294 55 0 69437 0
Current children cumulated CPU time (s) 150.03
Current children cumulated vsize (Kb) 282184

[startup+160.091 s]
/proc/loadavg: 0.99 0.97 0.99 2/67 18667
/proc/meminfo: memFree=1450800/2055892 swapFree=4085732/4096564
[pid=18667] ppid=18665 vsize=299876 CPUtime=160.03
/proc/18667/stat : 18667 (bsolo) R 18665 18667 18621 0 -1 0 148609 0 0 0 15883 120 0 0 25 0 1 0 199440073 307073024 73605 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18667/statm: 74969 73605 294 55 0 73860 0
Current children cumulated CPU time (s) 160.03
Current children cumulated vsize (Kb) 299876

[startup+170.097 s]
/proc/loadavg: 0.99 0.97 0.99 2/67 18667
/proc/meminfo: memFree=1435504/2055892 swapFree=4085732/4096564
[pid=18667] ppid=18665 vsize=315080 CPUtime=170.04
/proc/18667/stat : 18667 (bsolo) R 18665 18667 18621 0 -1 0 152411 0 0 0 16880 124 0 0 25 0 1 0 199440073 322641920 77405 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18667/statm: 78770 77405 294 55 0 77661 0
Current children cumulated CPU time (s) 170.04
Current children cumulated vsize (Kb) 315080

[startup+180.104 s]
/proc/loadavg: 0.99 0.97 0.99 2/67 18667
/proc/meminfo: memFree=1428080/2055892 swapFree=4085732/4096564
[pid=18667] ppid=18665 vsize=322612 CPUtime=180.04
/proc/18667/stat : 18667 (bsolo) R 18665 18667 18621 0 -1 0 154270 0 0 0 17878 126 0 0 25 0 1 0 199440073 330354688 79263 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18667/statm: 80653 79263 294 55 0 79544 0
Current children cumulated CPU time (s) 180.04
Current children cumulated vsize (Kb) 322612

[startup+190.11 s]
/proc/loadavg: 0.99 0.97 0.99 2/67 18667
/proc/meminfo: memFree=1423472/2055892 swapFree=4085732/4096564
[pid=18667] ppid=18665 vsize=327236 CPUtime=190.05
/proc/18667/stat : 18667 (bsolo) R 18665 18667 18621 0 -1 0 155420 0 0 0 18877 128 0 0 25 0 1 0 199440073 335089664 80413 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18667/statm: 81809 80413 294 55 0 80700 0
Current children cumulated CPU time (s) 190.05
Current children cumulated vsize (Kb) 327236

[startup+200.116 s]
/proc/loadavg: 0.99 0.97 0.99 2/67 18667
/proc/meminfo: memFree=1420400/2055892 swapFree=4085732/4096564
[pid=18667] ppid=18665 vsize=330272 CPUtime=200.04
/proc/18667/stat : 18667 (bsolo) R 18665 18667 18621 0 -1 0 156182 0 0 0 19876 128 0 0 25 0 1 0 199440073 338198528 81175 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18667/statm: 82568 81175 294 55 0 81459 0
Current children cumulated CPU time (s) 200.04
Current children cumulated vsize (Kb) 330272

[startup+210.122 s]
/proc/loadavg: 0.99 0.97 0.99 2/67 18667
/proc/meminfo: memFree=1405552/2055892 swapFree=4085732/4096564

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

/proc/18667/statm: 181756 180027 294 55 0 180647 0
Current children cumulated CPU time (s) 1760.56
Current children cumulated vsize (Kb) 727024

[startup+1771.05 s]
/proc/loadavg: 0.99 0.97 0.99 2/67 18669
/proc/meminfo: memFree=1021232/2055892 swapFree=4085732/4096564
[pid=18667] ppid=18665 vsize=729532 CPUtime=1770.56
/proc/18667/stat : 18667 (bsolo) R 18665 18667 18621 0 -1 0 256159 0 0 0 176748 308 0 0 25 0 1 0 199440073 747040768 180646 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134632893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18667/statm: 182383 180646 294 55 0 181274 0
Current children cumulated CPU time (s) 1770.56
Current children cumulated vsize (Kb) 729532

[startup+1781.06 s]
/proc/loadavg: 0.99 0.97 0.99 2/67 18669
/proc/meminfo: memFree=1018800/2055892 swapFree=4085732/4096564
[pid=18667] ppid=18665 vsize=731908 CPUtime=1780.57
/proc/18667/stat : 18667 (bsolo) R 18665 18667 18621 0 -1 0 256773 0 0 0 177748 309 0 0 25 0 1 0 199440073 749473792 181260 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18667/statm: 182977 181260 294 55 0 181868 0
Current children cumulated CPU time (s) 1780.57
Current children cumulated vsize (Kb) 731908

[startup+1782.06 s]
/proc/loadavg: 0.99 0.97 0.99 2/67 18669
/proc/meminfo: memFree=1018544/2055892 swapFree=4085732/4096564
[pid=18667] ppid=18665 vsize=732172 CPUtime=1781.57
/proc/18667/stat : 18667 (bsolo) R 18665 18667 18621 0 -1 0 256836 0 0 0 177848 309 0 0 25 0 1 0 199440073 749744128 181323 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18667/statm: 183043 181323 294 55 0 181934 0
Current children cumulated CPU time (s) 1781.57
Current children cumulated vsize (Kb) 732172

[startup+1783.07 s]
/proc/loadavg: 0.99 0.97 0.99 2/67 18669
/proc/meminfo: memFree=1018288/2055892 swapFree=4085732/4096564
[pid=18667] ppid=18665 vsize=732436 CPUtime=1782.57
/proc/18667/stat : 18667 (bsolo) R 18665 18667 18621 0 -1 0 256898 0 0 0 177948 309 0 0 25 0 1 0 199440073 750014464 181385 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18667/statm: 183109 181385 294 55 0 182000 0
Current children cumulated CPU time (s) 1782.57
Current children cumulated vsize (Kb) 732436

[startup+1784.07 s]
/proc/loadavg: 0.99 0.97 0.99 2/67 18669
/proc/meminfo: memFree=1018032/2055892 swapFree=4085732/4096564
[pid=18667] ppid=18665 vsize=732700 CPUtime=1783.58
/proc/18667/stat : 18667 (bsolo) R 18665 18667 18621 0 -1 0 256961 0 0 0 178049 309 0 0 25 0 1 0 199440073 750284800 181448 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18667/statm: 183175 181448 294 55 0 182066 0
Current children cumulated CPU time (s) 1783.58
Current children cumulated vsize (Kb) 732700

[startup+1785.07 s]
/proc/loadavg: 0.99 0.97 0.99 2/67 18669
/proc/meminfo: memFree=1017776/2055892 swapFree=4085732/4096564
[pid=18667] ppid=18665 vsize=732964 CPUtime=1784.58
/proc/18667/stat : 18667 (bsolo) R 18665 18667 18621 0 -1 0 257023 0 0 0 178149 309 0 0 25 0 1 0 199440073 750555136 181510 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533983 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18667/statm: 183241 181510 294 55 0 182132 0
Current children cumulated CPU time (s) 1784.58
Current children cumulated vsize (Kb) 732964

[startup+1786.08 s]
/proc/loadavg: 0.99 0.97 0.99 2/67 18669
/proc/meminfo: memFree=1017584/2055892 swapFree=4085732/4096564
[pid=18667] ppid=18665 vsize=733228 CPUtime=1785.58
/proc/18667/stat : 18667 (bsolo) R 18665 18667 18621 0 -1 0 257084 0 0 0 178249 309 0 0 25 0 1 0 199440073 750825472 181571 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548421 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18667/statm: 183307 181571 294 55 0 182198 0
Current children cumulated CPU time (s) 1785.58
Current children cumulated vsize (Kb) 733228

[startup+1787.08 s]
/proc/loadavg: 0.99 0.97 0.99 2/67 18669
/proc/meminfo: memFree=1017328/2055892 swapFree=4085732/4096564
[pid=18667] ppid=18665 vsize=733360 CPUtime=1786.6
/proc/18667/stat : 18667 (bsolo) R 18665 18667 18621 0 -1 0 257146 0 0 0 178350 310 0 0 25 0 1 0 199440073 750960640 181633 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528717 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18667/statm: 183340 181633 294 55 0 182231 0
Current children cumulated CPU time (s) 1786.6
Current children cumulated vsize (Kb) 733360

[startup+1788.09 s]
/proc/loadavg: 0.99 0.97 0.99 2/67 18669
/proc/meminfo: memFree=1017072/2055892 swapFree=4085732/4096564
[pid=18667] ppid=18665 vsize=733624 CPUtime=1787.6
/proc/18667/stat : 18667 (bsolo) R 18665 18667 18621 0 -1 0 257210 0 0 0 178450 310 0 0 25 0 1 0 199440073 751230976 181697 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18667/statm: 183406 181697 294 55 0 182297 0
Current children cumulated CPU time (s) 1787.6
Current children cumulated vsize (Kb) 733624

[startup+1789.09 s]
/proc/loadavg: 0.99 0.97 0.99 2/67 18669
/proc/meminfo: memFree=1016816/2055892 swapFree=4085732/4096564
[pid=18667] ppid=18665 vsize=733888 CPUtime=1788.6
/proc/18667/stat : 18667 (bsolo) R 18665 18667 18621 0 -1 0 257275 0 0 0 178550 310 0 0 25 0 1 0 199440073 751501312 181762 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524308 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18667/statm: 183472 181762 294 55 0 182363 0
Current children cumulated CPU time (s) 1788.6
Current children cumulated vsize (Kb) 733888

[startup+1790.1 s]
/proc/loadavg: 0.99 0.97 0.99 2/67 18669
/proc/meminfo: memFree=1016624/2055892 swapFree=4085732/4096564
[pid=18667] ppid=18665 vsize=734152 CPUtime=1789.61
/proc/18667/stat : 18667 (bsolo) R 18665 18667 18621 0 -1 0 257315 0 0 0 178651 310 0 0 25 0 1 0 199440073 751771648 181802 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551604 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18667/statm: 183538 181802 294 55 0 182429 0
Current children cumulated CPU time (s) 1789.61
Current children cumulated vsize (Kb) 734152

[startup+1791.1 s]
/proc/loadavg: 0.99 0.97 0.99 2/67 18669
/proc/meminfo: memFree=1016304/2055892 swapFree=4085732/4096564
[pid=18667] ppid=18665 vsize=734416 CPUtime=1790.61
/proc/18667/stat : 18667 (bsolo) R 18665 18667 18621 0 -1 0 257396 0 0 0 178751 310 0 0 25 0 1 0 199440073 752041984 181883 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18667/statm: 183604 181883 294 55 0 182495 0
Current children cumulated CPU time (s) 1790.61
Current children cumulated vsize (Kb) 734416

[startup+1792.11 s]
/proc/loadavg: 0.99 0.97 0.99 2/67 18669
/proc/meminfo: memFree=1016240/2055892 swapFree=4085732/4096564
[pid=18667] ppid=18665 vsize=734416 CPUtime=1791.61
/proc/18667/stat : 18667 (bsolo) R 18665 18667 18621 0 -1 0 257409 0 0 0 178851 310 0 0 25 0 1 0 199440073 752041984 181896 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529363 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18667/statm: 183604 181896 294 55 0 182495 0
Current children cumulated CPU time (s) 1791.61
Current children cumulated vsize (Kb) 734416

[startup+1793.11 s]
/proc/loadavg: 0.99 0.97 0.99 2/67 18669
/proc/meminfo: memFree=1016176/2055892 swapFree=4085732/4096564
[pid=18667] ppid=18665 vsize=734548 CPUtime=1792.62
/proc/18667/stat : 18667 (bsolo) R 18665 18667 18621 0 -1 0 257425 0 0 0 178951 311 0 0 25 0 1 0 199440073 752177152 181912 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548503 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18667/statm: 183637 181912 294 55 0 182528 0
Current children cumulated CPU time (s) 1792.62
Current children cumulated vsize (Kb) 734548

[startup+1794.12 s]
/proc/loadavg: 0.99 0.97 0.99 2/67 18669
/proc/meminfo: memFree=1016176/2055892 swapFree=4085732/4096564
[pid=18667] ppid=18665 vsize=734548 CPUtime=1793.63
/proc/18667/stat : 18667 (bsolo) R 18665 18667 18621 0 -1 0 257429 0 0 0 179052 311 0 0 25 0 1 0 199440073 752177152 181916 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18667/statm: 183637 181916 294 55 0 182528 0
Current children cumulated CPU time (s) 1793.63
Current children cumulated vsize (Kb) 734548

[startup+1795.12 s]
/proc/loadavg: 0.99 0.97 0.99 2/67 18669
/proc/meminfo: memFree=1016176/2055892 swapFree=4085732/4096564
[pid=18667] ppid=18665 vsize=734548 CPUtime=1794.63
/proc/18667/stat : 18667 (bsolo) R 18665 18667 18621 0 -1 0 257429 0 0 0 179152 311 0 0 25 0 1 0 199440073 752177152 181916 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542135 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18667/statm: 183637 181916 294 55 0 182528 0
Current children cumulated CPU time (s) 1794.63
Current children cumulated vsize (Kb) 734548

[startup+1796.13 s]
/proc/loadavg: 0.99 0.97 0.99 2/67 18669
/proc/meminfo: memFree=1016176/2055892 swapFree=4085732/4096564
[pid=18667] ppid=18665 vsize=734548 CPUtime=1795.64
/proc/18667/stat : 18667 (bsolo) R 18665 18667 18621 0 -1 0 257430 0 0 0 179253 311 0 0 25 0 1 0 199440073 752177152 181917 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18667/statm: 183637 181917 294 55 0 182528 0
Current children cumulated CPU time (s) 1795.64
Current children cumulated vsize (Kb) 734548

[startup+1797.13 s]
/proc/loadavg: 0.99 0.97 0.99 2/67 18669
/proc/meminfo: memFree=1016112/2055892 swapFree=4085732/4096564
[pid=18667] ppid=18665 vsize=734548 CPUtime=1796.64
/proc/18667/stat : 18667 (bsolo) R 18665 18667 18621 0 -1 0 257438 0 0 0 179353 311 0 0 25 0 1 0 199440073 752177152 181925 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550825 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18667/statm: 183637 181925 294 55 0 182528 0
Current children cumulated CPU time (s) 1796.64
Current children cumulated vsize (Kb) 734548

[startup+1798.14 s]
/proc/loadavg: 0.99 0.97 0.99 2/67 18669
/proc/meminfo: memFree=1016112/2055892 swapFree=4085732/4096564
[pid=18667] ppid=18665 vsize=734548 CPUtime=1797.64
/proc/18667/stat : 18667 (bsolo) R 18665 18667 18621 0 -1 0 257444 0 0 0 179453 311 0 0 25 0 1 0 199440073 752177152 181931 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528659 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18667/statm: 183637 181931 294 55 0 182528 0
Current children cumulated CPU time (s) 1797.64
Current children cumulated vsize (Kb) 734548

[startup+1799.14 s]
/proc/loadavg: 0.99 0.97 0.99 2/67 18669
/proc/meminfo: memFree=1015920/2055892 swapFree=4085732/4096564
[pid=18667] ppid=18665 vsize=734812 CPUtime=1798.65
/proc/18667/stat : 18667 (bsolo) R 18665 18667 18621 0 -1 0 257488 0 0 0 179554 311 0 0 25 0 1 0 199440073 752447488 181975 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18667/statm: 183703 181975 294 55 0 182594 0
Current children cumulated CPU time (s) 1798.65
Current children cumulated vsize (Kb) 734812

[startup+1800.15 s]
/proc/loadavg: 0.99 0.97 0.99 2/67 18669
/proc/meminfo: memFree=1015920/2055892 swapFree=4085732/4096564
[pid=18667] ppid=18665 vsize=734812 CPUtime=1799.65
/proc/18667/stat : 18667 (bsolo) R 18665 18667 18621 0 -1 0 257492 0 0 0 179654 311 0 0 25 0 1 0 199440073 752447488 181979 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18667/statm: 183703 181979 294 55 0 182594 0
Current children cumulated CPU time (s) 1799.65
Current children cumulated vsize (Kb) 734812

Child status: 0
Real time (s): 1800.61
CPU time (s): 1800.12
CPU user time (s): 1796.9
CPU system time (s): 3.21951
CPU usage (%): 99.9727
Max. virtual memory (cumulated for all children) (Kb): 734812

Launcher Data (download as text)

Begin job on node78 on Sat Jun  3 14:15:13 UTC 2006


FILE ID= 39972-1149344112

PBS_JOBID= 310586

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-stocfor2.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node78/39972-1149344112/instance-39972-1149344112.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node78/watcher-39972-1149344112 -o ROOT/results/node78/solver-39972-1149344112 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node78/39972-1149344112/instance-39972-1149344112.opb

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  cbc7f776eebadde6a6228c5e168c70a1

RANDOM SEED= 710938542


/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.225
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	: 6006.17
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.225
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	: 5999.44
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055892 kB
MemFree:       1744704 kB
Buffers:         13300 kB
Cached:         238984 kB
SwapCached:       2512 kB
Active:          39764 kB
Inactive:       221304 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055892 kB
LowFree:       1744704 kB
SwapTotal:     4096564 kB
SwapFree:      4085732 kB
Dirty:             144 kB
Writeback:           0 kB
Mapped:          15196 kB
Slab:            36652 kB
Committed_AS:   349324 kB
PageTables:       1420 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264388 kB
VmallocChunk: 536606243 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node78 on Sat Jun  3 14:45:13 UTC 2006