Trace number 39967

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.14 1800.86

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-grow7.opb
MD5SUM8d33b9e58f24eb64e3fc155c85c275f1
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark1782.74
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 0
Optimality of the best value was proved NO
Number of variables7994
Total number of constraints420
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 constraints420
Minimum length of a constraint22
Maximum length of a constraint491
Number of terms in the objective function 623
Biggest coefficient in the objective function 28673
Number of bits for the biggest coefficient in the objective function 15
Sum of the numbers in the objective function 524874
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 256781
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 524874
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.
0.35	c Initial problem consists of 7994 variables and 560 constraints.
0.38	c No problem reductions applied in OPT. instance.
0.38	c	preprocess terminated. Elapsed time: 0.375
0.38	c After prepocess the problem consists of 7994 variables and 560 constraints.
0.38	c Initial Lower Bound: -524874
0.60	c Restart #1 #Var: 7994 LB: -524874 @ 0.588
0.85	c Restart #2 #Var: 7994 LB: -524874 @ 0.839
1.25	c Restart #3 #Var: 7994 LB: -524874 @ 1.244
1.80	c Restart #4 #Var: 7994 LB: -524874 @ 1.786
2.47	c Restart #5 #Var: 7994 LB: -524874 @ 2.465
3.24	c Restart #6 #Var: 7994 LB: -524874 @ 3.226
4.39	c Restart #7 #Var: 7994 LB: -524874 @ 4.379
5.40	c Restart #8 #Var: 7994 LB: -524874 @ 5.387
6.26	c Restart #9 #Var: 7994 LB: -524874 @ 6.254
6.90	c Restart #10 #Var: 7993 LB: -524874 @ 6.888
7.49	c Restart #11 #Var: 7993 LB: -524874 @ 7.479
8.27	c Restart #12 #Var: 7993 LB: -524874 @ 8.255
8.73	c Restart #13 #Var: 7993 LB: -524874 @ 8.721
9.20	c Restart #14 #Var: 7993 LB: -524874 @ 9.191
9.69	c Restart #15 #Var: 7993 LB: -524874 @ 9.679
10.38	c Restart #16 #Var: 7992 LB: -524874 @ 10.367
10.80	c Restart #17 #Var: 7992 LB: -524874 @ 10.781
11.47	c Restart #18 #Var: 7992 LB: -524874 @ 11.453
12.51	c Restart #19 #Var: 7992 LB: -524874 @ 12.494
13.40	c Restart #20 #Var: 7992 LB: -524874 @ 13.387
14.54	c Restart #21 #Var: 7992 LB: -524874 @ 14.519
15.90	c Restart #22 #Var: 7991 LB: -524874 @ 15.881
16.73	c Restart #23 #Var: 7991 LB: -524874 @ 16.714
18.78	c Restart #24 #Var: 7991 LB: -524874 @ 18.766
20.47	c Restart #25 #Var: 7991 LB: -524874 @ 20.451
24.66	c Restart #26 #Var: 7991 LB: -524874 @ 24.638
27.35	c Restart #27 #Var: 7989 LB: -524874 @ 27.323
28.93	c Restart #28 #Var: 7989 LB: -524874 @ 28.904
32.49	c Restart #29 #Var: 7989 LB: -524874 @ 32.462
35.22	c Restart #30 #Var: 7989 LB: -524874 @ 35.194
37.75	c Restart #31 #Var: 7989 LB: -524874 @ 37.721
40.23	c Restart #32 #Var: 7989 LB: -524874 @ 40.207
43.32	c Restart #33 #Var: 7988 LB: -524874 @ 43.29
47.59	c Restart #34 #Var: 7987 LB: -524874 @ 47.563
52.77	c Restart #35 #Var: 7987 LB: -524874 @ 52.737
57.39	c Restart #36 #Var: 7987 LB: -524874 @ 57.353
61.13	c Restart #37 #Var: 7984 LB: -524874 @ 61.093
65.24	c Restart #38 #Var: 7984 LB: -524874 @ 65.201
74.09	c Restart #39 #Var: 7984 LB: -524874 @ 74.054
79.61	c Restart #40 #Var: 7984 LB: -524874 @ 79.565
84.43	c Restart #41 #Var: 7984 LB: -524874 @ 84.392
89.44	c Restart #42 #Var: 7982 LB: -524874 @ 89.396
95.00	c Restart #43 #Var: 7982 LB: -524874 @ 94.955
101.81	c Restart #44 #Var: 7982 LB: -524874 @ 101.76
132.76	c Restart #45 #Var: 7982 LB: -524874 @ 132.7
141.45	c Restart #46 #Var: 7982 LB: -524874 @ 141.39
156.74	c Restart #47 #Var: 7982 LB: -524874 @ 156.67
165.70	c Restart #48 #Var: 7982 LB: -524874 @ 165.63
170.21	c Restart #49 #Var: 7982 LB: -524874 @ 170.14
177.95	c Restart #50 #Var: 7982 LB: -524874 @ 177.87
190.86	c Restart #51 #Var: 7982 LB: -524874 @ 190.78
201.40	c Restart #52 #Var: 7982 LB: -524874 @ 201.32
212.53	c Restart #53 #Var: 7982 LB: -524874 @ 212.45
222.73	c Restart #54 #Var: 7982 LB: -524874 @ 222.64
228.24	c Restart #55 #Var: 7982 LB: -524874 @ 228.15
239.98	c Restart #56 #Var: 7982 LB: -524874 @ 239.88
249.19	c Restart #57 #Var: 7982 LB: -524874 @ 249.09
267.70	c Restart #58 #Var: 7982 LB: -524874 @ 267.59
286.07	c Restart #59 #Var: 7982 LB: -524874 @ 285.95
301.76	c Restart #60 #Var: 7982 LB: -524874 @ 301.64
317.96	c Restart #61 #Var: 7982 LB: -524874 @ 317.83
330.29	c Restart #62 #Var: 7982 LB: -524874 @ 330.16
351.11	c Restart #63 #Var: 7982 LB: -524874 @ 350.98
374.63	c Restart #64 #Var: 7982 LB: -524874 @ 374.49
384.57	c Restart #65 #Var: 7982 LB: -524874 @ 384.4
401.78	c Restart #66 #Var: 7982 LB: -524874 @ 401.55
432.27	c Restart #67 #Var: 7982 LB: -524874 @ 432.03
470.15	c Restart #68 #Var: 7982 LB: -524874 @ 469.9
505.32	c Restart #69 #Var: 7982 LB: -524874 @ 505.05
547.73	c Restart #70 #Var: 7982 LB: -524874 @ 547.45
587.13	c Restart #71 #Var: 7982 LB: -524874 @ 586.84
600.92	c Restart #72 #Var: 7982 LB: -524874 @ 600.62
634.06	c Restart #73 #Var: 7982 LB: -524874 @ 633.75
678.02	c Restart #74 #Var: 7982 LB: -524874 @ 677.7
727.85	c Restart #75 #Var: 7982 LB: -524874 @ 727.51
766.34	c Restart #76 #Var: 7982 LB: -524874 @ 765.98
800.51	c Restart #77 #Var: 7982 LB: -524874 @ 800.14
856.13	c Restart #78 #Var: 7982 LB: -524874 @ 855.74
912.11	c CHANGE Heuristic... 
912.11	c Restart #0 #Var: 7982 LB: -524874 @ 911.7
912.37	c Restart #1 #Var: 7982 LB: -524874 @ 911.96
912.57	c Restart #2 #Var: 7982 LB: -524874 @ 912.17
912.70	c Restart #3 #Var: 7977 LB: -524874 @ 912.29
913.02	c Restart #4 #Var: 7976 LB: -524874 @ 912.62
913.21	c Restart #5 #Var: 7974 LB: -524874 @ 912.8
913.76	c Restart #6 #Var: 7974 LB: -524874 @ 913.35
914.09	c Restart #7 #Var: 7974 LB: -524874 @ 913.68
914.75	c Restart #8 #Var: 7974 LB: -524874 @ 914.34
915.96	c Restart #9 #Var: 7974 LB: -524874 @ 915.55
917.32	c Restart #10 #Var: 7974 LB: -524874 @ 916.91
919.70	c Restart #11 #Var: 7974 LB: -524874 @ 919.29
921.36	c Restart #12 #Var: 7974 LB: -524874 @ 920.95
923.29	c Restart #13 #Var: 7974 LB: -524874 @ 922.88
926.27	c Restart #14 #Var: 7974 LB: -524874 @ 925.86
931.94	c Restart #15 #Var: 7974 LB: -524874 @ 931.52
933.67	c Restart #16 #Var: 7974 LB: -524874 @ 933.25
937.86	c Restart #17 #Var: 7974 LB: -524874 @ 937.45
941.29	c Restart #18 #Var: 7974 LB: -524874 @ 940.88
945.73	c Restart #19 #Var: 7974 LB: -524874 @ 945.31
954.22	c Restart #20 #Var: 7974 LB: -524874 @ 953.8
961.50	c Restart #21 #Var: 7974 LB: -524874 @ 961.08
966.54	c Restart #22 #Var: 7974 LB: -524874 @ 966.11
973.64	c Restart #23 #Var: 7974 LB: -524874 @ 973.21
978.47	c Restart #24 #Var: 7974 LB: -524874 @ 978.04
987.41	c Restart #25 #Var: 7974 LB: -524874 @ 986.97
996.75	c Restart #26 #Var: 7974 LB: -524874 @ 996.31
1005.87	c Restart #27 #Var: 7974 LB: -524874 @ 1005.4
1010.87	c Restart #28 #Var: 7974 LB: -524874 @ 1010.4
1016.48	c Restart #29 #Var: 7974 LB: -524874 @ 1016
1028.34	c Restart #30 #Var: 7974 LB: -524874 @ 1027.9
1037.04	c Restart #31 #Var: 7974 LB: -524874 @ 1036.6
1046.87	c Restart #32 #Var: 7974 LB: -524874 @ 1046.4
1058.75	c Restart #33 #Var: 7974 LB: -524874 @ 1058.3
1069.79	c Restart #34 #Var: 7974 LB: -524874 @ 1069.3
1076.91	c Restart #35 #Var: 7974 LB: -524874 @ 1076.5
1087.14	c Restart #36 #Var: 7974 LB: -524874 @ 1086.7
1095.20	c Restart #37 #Var: 7974 LB: -524874 @ 1094.7
1103.19	c Restart #38 #Var: 7974 LB: -524874 @ 1102.7
1119.87	c Restart #39 #Var: 7974 LB: -524874 @ 1119.4
1140.66	c Restart #40 #Var: 7974 LB: -524874 @ 1140.2
1161.86	c Restart #41 #Var: 7974 LB: -524874 @ 1161.4
1174.52	c Restart #42 #Var: 7974 LB: -524874 @ 1174
1192.02	c Restart #43 #Var: 7974 LB: -524874 @ 1191.5
1208.85	c Restart #44 #Var: 7974 LB: -524874 @ 1208.3
1219.27	c Restart #45 #Var: 7974 LB: -524874 @ 1218.8
1243.63	c Restart #46 #Var: 7974 LB: -524874 @ 1243.1
1264.49	c Restart #47 #Var: 7974 LB: -524874 @ 1264
1287.53	c Restart #48 #Var: 7974 LB: -524874 @ 1287
1293.97	c Restart #49 #Var: 7974 LB: -524874 @ 1293.4
1321.61	c Restart #50 #Var: 7974 LB: -524874 @ 1321.1
1358.57	c Restart #51 #Var: 7974 LB: -524874 @ 1358
1385.36	c Restart #52 #Var: 7974 LB: -524874 @ 1384.8
1428.09	c Restart #53 #Var: 7974 LB: -524874 @ 1427.5
1464.07	c Restart #54 #Var: 7974 LB: -524874 @ 1463.5
1490.89	c Restart #55 #Var: 7974 LB: -524874 @ 1490.3
1499.46	c Restart #56 #Var: 7974 LB: -524874 @ 1498.8
1535.21	c Restart #57 #Var: 7974 LB: -524874 @ 1534.6
1561.58	c Restart #58 #Var: 7974 LB: -524874 @ 1560.9
1614.29	c Restart #59 #Var: 7974 LB: -524874 @ 1613.6
1657.44	c Restart #60 #Var: 7974 LB: -524874 @ 1656.8
1700.93	c Restart #61 #Var: 7974 LB: -524874 @ 1700.2
1759.08	c Restart #62 #Var: 7974 LB: -524874 @ 1758.4
1786.70	c Restart #63 #Var: 7974 LB: -524874 @ 1786
1800.71	s UNKNOWN
1800.71	c Exit Code: 0
1800.72	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/node41/watcher-39967-1149342884 -o ROOT/results/node41/solver-39967-1149342884 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node41/39967-1149342884/instance-39967-1149342884.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.94 0.99 0.99 2/64 4816
/proc/meminfo: memFree=1758064/2055920 swapFree=4180964/4192956
[pid=4816] ppid=4814 vsize=2900 CPUtime=0
/proc/4816/stat : 4816 (bsolo) R 4814 4816 4770 0 -1 0 43 0 0 0 0 0 0 0 19 0 1 0 199954990 2969600 27 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 1962788 0 0 4096 0 0 0 0 17 1 0 0
/proc/4816/statm: 725 27 19 55 0 38 0

[startup+10.0024 s]
/proc/loadavg: 0.95 0.99 0.99 2/64 4816
/proc/meminfo: memFree=1736368/2055920 swapFree=4180964/4192956
[pid=4816] ppid=4814 vsize=26468 CPUtime=9.98
/proc/4816/stat : 4816 (bsolo) R 4814 4816 4770 0 -1 0 5820 0 0 0 971 27 0 0 25 0 1 0 199954990 27103232 5730 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4816/statm: 6617 5730 297 55 0 5509 0
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 26468

[startup+20.0081 s]
/proc/loadavg: 0.96 0.99 0.99 2/64 4816
/proc/meminfo: memFree=1702640/2055920 swapFree=4180964/4192956
[pid=4816] ppid=4814 vsize=60100 CPUtime=19.98
/proc/4816/stat : 4816 (bsolo) R 4814 4816 4770 0 -1 0 14238 0 0 0 1964 34 0 0 25 0 1 0 199954990 61542400 14148 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4816/statm: 15025 14148 297 55 0 13917 0
Current children cumulated CPU time (s) 19.98
Current children cumulated vsize (Kb) 60100

[startup+30.0138 s]
/proc/loadavg: 0.96 0.99 0.99 2/64 4816
/proc/meminfo: memFree=1688368/2055920 swapFree=4180964/4192956
[pid=4816] ppid=4814 vsize=74224 CPUtime=29.98
/proc/4816/stat : 4816 (bsolo) R 4814 4816 4770 0 -1 0 17789 0 0 0 2960 38 0 0 25 0 1 0 199954990 76005376 17699 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718920 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4816/statm: 18556 17699 297 55 0 17448 0
Current children cumulated CPU time (s) 29.98
Current children cumulated vsize (Kb) 74224

[startup+40.0194 s]
/proc/loadavg: 0.97 0.99 0.99 2/64 4816
/proc/meminfo: memFree=1673776/2055920 swapFree=4180964/4192956
[pid=4816] ppid=4814 vsize=88816 CPUtime=39.98
/proc/4816/stat : 4816 (bsolo) R 4814 4816 4770 0 -1 0 21476 0 0 0 3954 44 0 0 25 0 1 0 199954990 90947584 21338 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4816/statm: 22204 21338 297 55 0 21096 0
Current children cumulated CPU time (s) 39.98
Current children cumulated vsize (Kb) 88816

[startup+50.0251 s]
/proc/loadavg: 0.97 0.99 0.99 2/64 4816
/proc/meminfo: memFree=1657584/2055920 swapFree=4180964/4192956
[pid=4816] ppid=4814 vsize=105056 CPUtime=49.98
/proc/4816/stat : 4816 (bsolo) R 4814 4816 4770 0 -1 0 25512 0 0 0 4949 49 0 0 25 0 1 0 199954990 107577344 25374 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4816/statm: 26264 25374 297 55 0 25156 0
Current children cumulated CPU time (s) 49.98
Current children cumulated vsize (Kb) 105056

[startup+60.0308 s]
/proc/loadavg: 0.98 0.99 0.99 2/64 4816
/proc/meminfo: memFree=1644848/2055920 swapFree=4180964/4192956
[pid=4816] ppid=4814 vsize=117720 CPUtime=59.99
/proc/4816/stat : 4816 (bsolo) R 4814 4816 4770 0 -1 0 28699 0 0 0 5945 54 0 0 25 0 1 0 199954990 120545280 28561 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540732 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4816/statm: 29430 28561 297 55 0 28322 0
Current children cumulated CPU time (s) 59.99
Current children cumulated vsize (Kb) 117720

[startup+70.0365 s]
/proc/loadavg: 0.98 0.99 0.99 2/64 4816
/proc/meminfo: memFree=1633264/2055920 swapFree=4180964/4192956
[pid=4816] ppid=4814 vsize=129212 CPUtime=69.99
/proc/4816/stat : 4816 (bsolo) R 4814 4816 4770 0 -1 0 31576 0 0 0 6939 60 0 0 25 0 1 0 199954990 132313088 31438 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542135 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4816/statm: 32303 31438 297 55 0 31195 0
Current children cumulated CPU time (s) 69.99
Current children cumulated vsize (Kb) 129212

[startup+80.0422 s]
/proc/loadavg: 0.98 0.99 0.99 2/64 4816
/proc/meminfo: memFree=1622576/2055920 swapFree=4180964/4192956
[pid=4816] ppid=4814 vsize=140036 CPUtime=79.99
/proc/4816/stat : 4816 (bsolo) R 4814 4816 4770 0 -1 0 34252 0 0 0 7935 64 0 0 25 0 1 0 199954990 143396864 34114 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4816/statm: 35009 34114 297 55 0 33901 0
Current children cumulated CPU time (s) 79.99
Current children cumulated vsize (Kb) 140036

[startup+90.0479 s]
/proc/loadavg: 0.98 0.99 0.99 2/64 4816
/proc/meminfo: memFree=1611568/2055920 swapFree=4180964/4192956
[pid=4816] ppid=4814 vsize=150968 CPUtime=89.99
/proc/4816/stat : 4816 (bsolo) R 4814 4816 4770 0 -1 0 36991 0 0 0 8932 67 0 0 25 0 1 0 199954990 154591232 36853 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607308 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4816/statm: 37742 36853 297 55 0 36634 0
Current children cumulated CPU time (s) 89.99
Current children cumulated vsize (Kb) 150968

[startup+100.054 s]
/proc/loadavg: 0.99 0.99 0.99 2/64 4816
/proc/meminfo: memFree=1601456/2055920 swapFree=4180964/4192956
[pid=4816] ppid=4814 vsize=161008 CPUtime=100
/proc/4816/stat : 4816 (bsolo) R 4814 4816 4770 0 -1 0 39507 0 0 0 9929 71 0 0 25 0 1 0 199954990 164872192 39369 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4816/statm: 40252 39369 297 55 0 39144 0
Current children cumulated CPU time (s) 100
Current children cumulated vsize (Kb) 161008

[startup+110.059 s]
/proc/loadavg: 0.99 0.99 0.99 2/64 4816
/proc/meminfo: memFree=1599024/2055920 swapFree=4180964/4192956
[pid=4816] ppid=4814 vsize=163516 CPUtime=110
/proc/4816/stat : 4816 (bsolo) R 4814 4816 4770 0 -1 0 40140 0 0 0 10927 73 0 0 25 0 1 0 199954990 167440384 40002 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4816/statm: 40879 40002 297 55 0 39771 0
Current children cumulated CPU time (s) 110
Current children cumulated vsize (Kb) 163516

[startup+120.065 s]
/proc/loadavg: 0.99 0.99 0.99 2/64 4816
/proc/meminfo: memFree=1595184/2055920 swapFree=4180964/4192956
[pid=4816] ppid=4814 vsize=167344 CPUtime=120
/proc/4816/stat : 4816 (bsolo) R 4814 4816 4770 0 -1 0 41093 0 0 0 11926 74 0 0 25 0 1 0 199954990 171360256 40955 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533927 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4816/statm: 41836 40955 297 55 0 40728 0
Current children cumulated CPU time (s) 120
Current children cumulated vsize (Kb) 167344

[startup+130.072 s]
/proc/loadavg: 0.99 0.99 0.99 2/64 4816
/proc/meminfo: memFree=1591280/2055920 swapFree=4180964/4192956
[pid=4816] ppid=4814 vsize=171320 CPUtime=130
/proc/4816/stat : 4816 (bsolo) R 4814 4816 4770 0 -1 0 42064 0 0 0 12926 74 0 0 25 0 1 0 199954990 175431680 41925 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4816/statm: 42830 41925 297 55 0 41722 0
Current children cumulated CPU time (s) 130
Current children cumulated vsize (Kb) 171320

[startup+140.078 s]
/proc/loadavg: 0.99 0.99 0.99 2/64 4816
/proc/meminfo: memFree=1586224/2055920 swapFree=4180964/4192956
[pid=4816] ppid=4814 vsize=176336 CPUtime=140.01
/proc/4816/stat : 4816 (bsolo) R 4814 4816 4770 0 -1 0 43322 0 0 0 13924 77 0 0 25 0 1 0 199954990 180568064 43183 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4816/statm: 44084 43183 297 55 0 42976 0
Current children cumulated CPU time (s) 140.01
Current children cumulated vsize (Kb) 176336

[startup+150.085 s]
/proc/loadavg: 0.99 0.99 0.99 2/64 4816
/proc/meminfo: memFree=1580080/2055920 swapFree=4180964/4192956
[pid=4816] ppid=4814 vsize=182408 CPUtime=150.01
/proc/4816/stat : 4816 (bsolo) R 4814 4816 4770 0 -1 0 44853 0 0 0 14921 80 0 0 25 0 1 0 199954990 186785792 44714 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4816/statm: 45602 44714 297 55 0 44494 0
Current children cumulated CPU time (s) 150.01
Current children cumulated vsize (Kb) 182408

[startup+160.091 s]
/proc/loadavg: 0.99 0.99 0.99 2/64 4816
/proc/meminfo: memFree=1572656/2055920 swapFree=4180964/4192956
[pid=4816] ppid=4814 vsize=189800 CPUtime=160.01
/proc/4816/stat : 4816 (bsolo) R 4814 4816 4770 0 -1 0 46709 0 0 0 15918 83 0 0 25 0 1 0 199954990 194355200 46570 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4816/statm: 47450 46570 297 55 0 46342 0
Current children cumulated CPU time (s) 160.01
Current children cumulated vsize (Kb) 189800

[startup+170.097 s]
/proc/loadavg: 0.99 0.99 0.99 2/64 4816
/proc/meminfo: memFree=1556464/2055920 swapFree=4180964/4192956
[pid=4816] ppid=4814 vsize=206036 CPUtime=170.01
/proc/4816/stat : 4816 (bsolo) R 4814 4816 4770 0 -1 0 50747 0 0 0 16913 88 0 0 25 0 1 0 199954990 210980864 50608 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542120 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4816/statm: 51509 50608 297 55 0 50401 0
Current children cumulated CPU time (s) 170.01
Current children cumulated vsize (Kb) 206036

[startup+180.104 s]
/proc/loadavg: 0.99 0.99 0.99 2/64 4816
/proc/meminfo: memFree=1547440/2055920 swapFree=4180964/4192956
[pid=4816] ppid=4814 vsize=215020 CPUtime=180.02
/proc/4816/stat : 4816 (bsolo) R 4814 4816 4770 0 -1 0 52989 0 0 0 17910 92 0 0 25 0 1 0 199954990 220180480 52850 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4816/statm: 53755 52850 297 55 0 52647 0
Current children cumulated CPU time (s) 180.02
Current children cumulated vsize (Kb) 215020

[startup+190.11 s]
/proc/loadavg: 0.99 0.99 0.99 2/64 4816
/proc/meminfo: memFree=1539376/2055920 swapFree=4180964/4192956
[pid=4816] ppid=4814 vsize=223072 CPUtime=190.02
/proc/4816/stat : 4816 (bsolo) R 4814 4816 4770 0 -1 0 55014 0 0 0 18907 95 0 0 25 0 1 0 199954990 228425728 54875 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718456 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4816/statm: 55768 54875 297 55 0 54660 0
Current children cumulated CPU time (s) 190.02
Current children cumulated vsize (Kb) 223072

[startup+200.115 s]
/proc/loadavg: 0.99 0.99 0.99 2/64 4816
/proc/meminfo: memFree=1530160/2055920 swapFree=4180964/4192956
[pid=4816] ppid=4814 vsize=232184 CPUtime=200.03
/proc/4816/stat : 4816 (bsolo) R 4814 4816 4770 0 -1 0 57303 0 0 0 19904 99 0 0 25 0 1 0 199954990 237756416 57164 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528665 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4816/statm: 58046 57164 297 55 0 56938 0
Current children cumulated CPU time (s) 200.03
Current children cumulated vsize (Kb) 232184

[startup+210.122 s]
/proc/loadavg: 0.99 0.99 0.99 2/64 4816
/proc/meminfo: memFree=1523376/2055920 swapFree=4180964/4192956

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

/proc/4816/statm: 221721 220377 297 55 0 220613 0
Current children cumulated CPU time (s) 1760.32
Current children cumulated vsize (Kb) 886884

[startup+1771.03 s]
/proc/loadavg: 0.99 0.99 0.99 2/64 5011
/proc/meminfo: memFree=872048/2055920 swapFree=4180964/4192956
[pid=4816] ppid=4814 vsize=890448 CPUtime=1770.32
/proc/4816/stat : 4816 (bsolo) R 4814 4816 4770 0 -1 0 221409 0 0 0 176653 379 0 0 25 0 1 0 199954990 911818752 221254 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4816/statm: 222612 221254 297 55 0 221504 0
Current children cumulated CPU time (s) 1770.32
Current children cumulated vsize (Kb) 890448

[startup+1781.03 s]
/proc/loadavg: 0.99 0.99 0.99 2/64 5011
/proc/meminfo: memFree=867888/2055920 swapFree=4180964/4192956
[pid=4816] ppid=4814 vsize=894668 CPUtime=1780.31
/proc/4816/stat : 4816 (bsolo) R 4814 4816 4770 0 -1 0 222462 0 0 0 177651 380 0 0 25 0 1 0 199954990 916140032 222307 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4816/statm: 223667 222307 297 55 0 222559 0
Current children cumulated CPU time (s) 1780.31
Current children cumulated vsize (Kb) 894668

[startup+1782.04 s]
/proc/loadavg: 0.99 0.99 0.99 2/64 5011
/proc/meminfo: memFree=867504/2055920 swapFree=4180964/4192956
[pid=4816] ppid=4814 vsize=895064 CPUtime=1781.33
/proc/4816/stat : 4816 (bsolo) R 4814 4816 4770 0 -1 0 222566 0 0 0 177752 381 0 0 25 0 1 0 199954990 916545536 222411 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4816/statm: 223766 222411 297 55 0 222658 0
Current children cumulated CPU time (s) 1781.33
Current children cumulated vsize (Kb) 895064

[startup+1783.04 s]
/proc/loadavg: 0.99 0.99 0.99 2/64 5011
/proc/meminfo: memFree=867184/2055920 swapFree=4180964/4192956
[pid=4816] ppid=4814 vsize=895328 CPUtime=1782.33
/proc/4816/stat : 4816 (bsolo) R 4814 4816 4770 0 -1 0 222637 0 0 0 177852 381 0 0 25 0 1 0 199954990 916815872 222482 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4816/statm: 223832 222482 297 55 0 222724 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (Kb) 895328

[startup+1784.05 s]
/proc/loadavg: 0.99 0.99 0.99 2/64 5011
/proc/meminfo: memFree=866800/2055920 swapFree=4180964/4192956
[pid=4816] ppid=4814 vsize=895724 CPUtime=1783.33
/proc/4816/stat : 4816 (bsolo) R 4814 4816 4770 0 -1 0 222731 0 0 0 177952 381 0 0 25 0 1 0 199954990 917221376 222576 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4816/statm: 223931 222576 297 55 0 222823 0
Current children cumulated CPU time (s) 1783.33
Current children cumulated vsize (Kb) 895724

[startup+1785.06 s]
/proc/loadavg: 0.99 0.99 0.99 2/64 5011
/proc/meminfo: memFree=866480/2055920 swapFree=4180964/4192956
[pid=4816] ppid=4814 vsize=896120 CPUtime=1784.34
/proc/4816/stat : 4816 (bsolo) R 4814 4816 4770 0 -1 0 222816 0 0 0 178053 381 0 0 25 0 1 0 199954990 917626880 222661 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4816/statm: 224030 222661 297 55 0 222922 0
Current children cumulated CPU time (s) 1784.34
Current children cumulated vsize (Kb) 896120

[startup+1786.06 s]
/proc/loadavg: 0.99 0.99 0.99 2/64 5011
/proc/meminfo: memFree=866096/2055920 swapFree=4180964/4192956
[pid=4816] ppid=4814 vsize=896516 CPUtime=1785.34
/proc/4816/stat : 4816 (bsolo) R 4814 4816 4770 0 -1 0 222910 0 0 0 178153 381 0 0 25 0 1 0 199954990 918032384 222755 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534060 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4816/statm: 224129 222755 297 55 0 223021 0
Current children cumulated CPU time (s) 1785.34
Current children cumulated vsize (Kb) 896516

[startup+1787.06 s]
/proc/loadavg: 0.99 0.99 0.99 2/64 5011
/proc/meminfo: memFree=865776/2055920 swapFree=4180964/4192956
[pid=4816] ppid=4814 vsize=896800 CPUtime=1786.35
/proc/4816/stat : 4816 (bsolo) R 4814 4816 4770 0 -1 0 222991 0 0 0 178254 381 0 0 25 0 1 0 199954990 918323200 222836 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4816/statm: 224200 222836 297 55 0 223092 0
Current children cumulated CPU time (s) 1786.35
Current children cumulated vsize (Kb) 896800

[startup+1788.07 s]
/proc/loadavg: 0.99 0.99 0.99 2/64 5011
/proc/meminfo: memFree=865520/2055920 swapFree=4180964/4192956
[pid=4816] ppid=4814 vsize=897064 CPUtime=1787.34
/proc/4816/stat : 4816 (bsolo) R 4814 4816 4770 0 -1 0 223057 0 0 0 178353 381 0 0 25 0 1 0 199954990 918593536 222901 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4816/statm: 224266 222901 297 55 0 223158 0
Current children cumulated CPU time (s) 1787.34
Current children cumulated vsize (Kb) 897064

[startup+1789.07 s]
/proc/loadavg: 0.99 0.99 0.99 2/64 5011
/proc/meminfo: memFree=865200/2055920 swapFree=4180964/4192956
[pid=4816] ppid=4814 vsize=897460 CPUtime=1788.35
/proc/4816/stat : 4816 (bsolo) R 4814 4816 4770 0 -1 0 223136 0 0 0 178454 381 0 0 25 0 1 0 199954990 918999040 222980 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 2397819 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4816/statm: 224365 222980 297 55 0 223257 0
Current children cumulated CPU time (s) 1788.35
Current children cumulated vsize (Kb) 897460

[startup+1790.08 s]
/proc/loadavg: 0.99 0.99 0.99 2/64 5011
/proc/meminfo: memFree=865008/2055920 swapFree=4180964/4192956
[pid=4816] ppid=4814 vsize=897592 CPUtime=1789.35
/proc/4816/stat : 4816 (bsolo) R 4814 4816 4770 0 -1 0 223187 0 0 0 178554 381 0 0 25 0 1 0 199954990 919134208 223031 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4816/statm: 224398 223031 297 55 0 223290 0
Current children cumulated CPU time (s) 1789.35
Current children cumulated vsize (Kb) 897592

[startup+1791.08 s]
/proc/loadavg: 0.99 0.99 0.99 2/64 5011
/proc/meminfo: memFree=864816/2055920 swapFree=4180964/4192956
[pid=4816] ppid=4814 vsize=897724 CPUtime=1790.37
/proc/4816/stat : 4816 (bsolo) R 4814 4816 4770 0 -1 0 223231 0 0 0 178655 382 0 0 25 0 1 0 199954990 919269376 223075 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534116 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4816/statm: 224431 223075 297 55 0 223323 0
Current children cumulated CPU time (s) 1790.37
Current children cumulated vsize (Kb) 897724

[startup+1792.09 s]
/proc/loadavg: 0.99 0.99 0.99 2/64 5011
/proc/meminfo: memFree=864624/2055920 swapFree=4180964/4192956
[pid=4816] ppid=4814 vsize=898000 CPUtime=1791.37
/proc/4816/stat : 4816 (bsolo) R 4814 4816 4770 0 -1 0 223284 0 0 0 178755 382 0 0 25 0 1 0 199954990 919552000 223128 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4816/statm: 224500 223128 297 55 0 223392 0
Current children cumulated CPU time (s) 1791.37
Current children cumulated vsize (Kb) 898000

[startup+1793.09 s]
/proc/loadavg: 0.99 0.99 0.99 2/64 5011
/proc/meminfo: memFree=864176/2055920 swapFree=4180964/4192956
[pid=4816] ppid=4814 vsize=898528 CPUtime=1792.37
/proc/4816/stat : 4816 (bsolo) R 4814 4816 4770 0 -1 0 223397 0 0 0 178855 382 0 0 25 0 1 0 199954990 920092672 223241 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4816/statm: 224632 223241 297 55 0 223524 0
Current children cumulated CPU time (s) 1792.37
Current children cumulated vsize (Kb) 898528

[startup+1794.1 s]
/proc/loadavg: 0.99 0.99 0.99 2/64 5011
/proc/meminfo: memFree=863920/2055920 swapFree=4180964/4192956
[pid=4816] ppid=4814 vsize=898660 CPUtime=1793.38
/proc/4816/stat : 4816 (bsolo) R 4814 4816 4770 0 -1 0 223454 0 0 0 178956 382 0 0 25 0 1 0 199954990 920227840 223296 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548598 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4816/statm: 224665 223296 297 55 0 223557 0
Current children cumulated CPU time (s) 1793.38
Current children cumulated vsize (Kb) 898660

[startup+1795.1 s]
/proc/loadavg: 0.99 0.99 0.99 2/64 5011
/proc/meminfo: memFree=863728/2055920 swapFree=4180964/4192956
[pid=4816] ppid=4814 vsize=898924 CPUtime=1794.38
/proc/4816/stat : 4816 (bsolo) R 4814 4816 4770 0 -1 0 223511 0 0 0 179056 382 0 0 25 0 1 0 199954990 920498176 223353 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534116 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4816/statm: 224731 223353 297 55 0 223623 0
Current children cumulated CPU time (s) 1794.38
Current children cumulated vsize (Kb) 898924

[startup+1796.11 s]
/proc/loadavg: 0.99 0.99 0.99 2/64 5011
/proc/meminfo: memFree=863536/2055920 swapFree=4180964/4192956
[pid=4816] ppid=4814 vsize=899056 CPUtime=1795.39
/proc/4816/stat : 4816 (bsolo) R 4814 4816 4770 0 -1 0 223560 0 0 0 179157 382 0 0 25 0 1 0 199954990 920633344 223402 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4816/statm: 224764 223402 297 55 0 223656 0
Current children cumulated CPU time (s) 1795.39
Current children cumulated vsize (Kb) 899056

[startup+1797.11 s]
/proc/loadavg: 0.99 0.99 0.99 2/64 5011
/proc/meminfo: memFree=863280/2055920 swapFree=4180964/4192956
[pid=4816] ppid=4814 vsize=899320 CPUtime=1796.39
/proc/4816/stat : 4816 (bsolo) R 4814 4816 4770 0 -1 0 223619 0 0 0 179257 382 0 0 25 0 1 0 199954990 920903680 223461 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4816/statm: 224830 223461 297 55 0 223722 0
Current children cumulated CPU time (s) 1796.39
Current children cumulated vsize (Kb) 899320

[startup+1798.12 s]
/proc/loadavg: 0.99 0.99 0.99 2/64 5011
/proc/meminfo: memFree=863024/2055920 swapFree=4180964/4192956
[pid=4816] ppid=4814 vsize=899584 CPUtime=1797.39
/proc/4816/stat : 4816 (bsolo) R 4814 4816 4770 0 -1 0 223680 0 0 0 179357 382 0 0 25 0 1 0 199954990 921174016 223522 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524340 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4816/statm: 224896 223522 297 55 0 223788 0
Current children cumulated CPU time (s) 1797.39
Current children cumulated vsize (Kb) 899584

[startup+1799.12 s]
/proc/loadavg: 0.99 0.99 0.99 2/64 5011
/proc/meminfo: memFree=862768/2055920 swapFree=4180964/4192956
[pid=4816] ppid=4814 vsize=899848 CPUtime=1798.4
/proc/4816/stat : 4816 (bsolo) R 4814 4816 4770 0 -1 0 223740 0 0 0 179458 382 0 0 25 0 1 0 199954990 921444352 223582 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534127 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4816/statm: 224962 223582 297 55 0 223854 0
Current children cumulated CPU time (s) 1798.4
Current children cumulated vsize (Kb) 899848

[startup+1800.13 s]
/proc/loadavg: 0.99 0.99 0.99 2/64 5011
/proc/meminfo: memFree=862512/2055920 swapFree=4180964/4192956
[pid=4816] ppid=4814 vsize=900112 CPUtime=1799.41
/proc/4816/stat : 4816 (bsolo) R 4814 4816 4770 0 -1 0 223807 0 0 0 179558 383 0 0 25 0 1 0 199954990 921714688 223649 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 2397819 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4816/statm: 225028 223649 297 55 0 223920 0
Current children cumulated CPU time (s) 1799.41
Current children cumulated vsize (Kb) 900112

Child status: 0
Real time (s): 1800.86
CPU time (s): 1800.14
CPU user time (s): 1796.17
CPU system time (s): 3.9694
CPU usage (%): 99.9601
Max. virtual memory (cumulated for all children) (Kb): 900112

Launcher Data (download as text)

Begin job on node41 on Sat Jun  3 13:54:44 UTC 2006


FILE ID= 39967-1149342884

PBS_JOBID= 310518

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

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  8d33b9e58f24eb64e3fc155c85c275f1

RANDOM SEED= 278581354


/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.265
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.265
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:       1758336 kB
Buffers:         16392 kB
Cached:         217304 kB
SwapCached:       3692 kB
Active:          55776 kB
Inactive:       186648 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1758336 kB
SwapTotal:     4192956 kB
SwapFree:      4180964 kB
Dirty:             164 kB
Writeback:           0 kB
Mapped:          14936 kB
Slab:            41184 kB
Committed_AS:   381956 kB
PageTables:       1496 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node41 on Sat Jun  3 14:24:45 UTC 2006