Trace number 40077

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.3 1801.08

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib3/normalized-reduced-mps-v2-20-10-gesa3_o.opb
MD5SUMb55f7a8b0d45bfbc16cf27babcf41177
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark798
Best CPU time to get the best result obtained on this benchmark1782.75
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 474
Optimality of the best value was proved NO
Number of variables15504
Total number of constraints1416
Number of constraints which are clauses168
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1248
Minimum length of a constraint2
Maximum length of a constraint311
Number of terms in the objective function 8784
Biggest coefficient in the objective function 1523
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 531096
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 531096
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.02	c INFO: OSL Context initialized.
0.35	c Initial problem consists of 15504 variables and 1536 constraints.
0.40	c No problem reductions applied in OPT. instance.
0.40	c	preprocess terminated. Elapsed time: 0.388
0.40	c After prepocess the problem consists of 9000 variables and 1536 constraints.
0.40	c Initial Lower Bound: 0
0.60	c Restart #1 #Var: 9000 LB: 0 @ 0.595
0.80	c Restart #2 #Var: 9000 LB: 0 @ 0.793
0.99	c Restart #3 #Var: 9000 LB: 0 @ 0.979
1.20	c Restart #4 #Var: 9000 LB: 0 @ 1.19
1.45	c Restart #5 #Var: 9000 LB: 0 @ 1.44
1.70	c Restart #6 #Var: 9000 LB: 0 @ 1.686
1.96	c Restart #7 #Var: 9000 LB: 0 @ 1.951
2.25	c Restart #8 #Var: 9000 LB: 0 @ 2.24
3.86	c Restart #9 #Var: 8999 LB: 0 @ 3.847
4.18	c Restart #10 #Var: 8999 LB: 0 @ 4.165
4.50	c Restart #11 #Var: 8999 LB: 0 @ 4.485
4.83	c Restart #12 #Var: 8996 LB: 0 @ 4.816
5.15	c Restart #13 #Var: 8993 LB: 0 @ 5.14
5.36	c Restart #14 #Var: 8993 LB: 0 @ 5.35
5.89	c Restart #15 #Var: 8991 LB: 0 @ 5.875
6.26	c Restart #16 #Var: 8991 LB: 0 @ 6.251
6.62	c Restart #17 #Var: 8991 LB: 0 @ 6.606
6.94	c Restart #18 #Var: 8991 LB: 0 @ 6.926
7.21	c Restart #19 #Var: 8991 LB: 0 @ 7.191
7.64	c Restart #20 #Var: 8991 LB: 0 @ 7.629
8.86	c Restart #21 #Var: 8990 LB: 0 @ 8.843
9.30	c Restart #22 #Var: 8989 LB: 0 @ 9.284
10.09	c Restart #23 #Var: 8988 LB: 0 @ 10.074
10.67	c Restart #24 #Var: 8988 LB: 0 @ 10.656
11.00	c Restart #25 #Var: 8988 LB: 0 @ 10.988
11.40	c Restart #26 #Var: 8988 LB: 0 @ 11.384
11.93	c Restart #27 #Var: 8988 LB: 0 @ 11.916
13.01	c Restart #28 #Var: 8988 LB: 0 @ 12.994
13.66	c Restart #29 #Var: 8988 LB: 0 @ 13.642
14.20	c Restart #30 #Var: 8988 LB: 0 @ 14.185
14.64	c Restart #31 #Var: 8988 LB: 0 @ 14.622
15.37	c Restart #32 #Var: 8988 LB: 0 @ 15.352
16.35	c Restart #33 #Var: 8986 LB: 0 @ 16.328
17.06	c Restart #34 #Var: 8986 LB: 0 @ 17.039
17.69	c Restart #35 #Var: 8986 LB: 0 @ 17.67
19.34	c Restart #36 #Var: 8985 LB: 0 @ 19.32
19.84	c Restart #37 #Var: 8985 LB: 0 @ 19.819
21.52	c Restart #38 #Var: 8985 LB: 0 @ 21.497
22.64	c Restart #39 #Var: 8985 LB: 0 @ 22.621
24.04	c Restart #40 #Var: 8984 LB: 0 @ 24.022
25.83	c Restart #41 #Var: 8979 LB: 0 @ 25.812
27.87	c Restart #42 #Var: 8978 LB: 0 @ 27.848
33.07	c Restart #43 #Var: 8978 LB: 0 @ 33.05
34.61	c Restart #44 #Var: 8978 LB: 0 @ 34.583
41.15	c Restart #45 #Var: 8975 LB: 0 @ 41.123
45.48	c Restart #46 #Var: 8974 LB: 0 @ 45.455
49.70	c Restart #47 #Var: 8973 LB: 0 @ 49.672
52.79	c Restart #48 #Var: 8973 LB: 0 @ 52.756
54.04	c Restart #49 #Var: 8973 LB: 0 @ 54.009
59.26	c Restart #50 #Var: 8972 LB: 0 @ 59.226
66.01	c Restart #51 #Var: 8971 LB: 0 @ 65.973
67.46	c Restart #52 #Var: 8971 LB: 0 @ 67.418
71.71	c Restart #53 #Var: 8971 LB: 0 @ 71.674
92.53	c Restart #54 #Var: 8970 LB: 0 @ 92.484
98.08	c Restart #55 #Var: 8966 LB: 0 @ 98.037
99.35	c Restart #56 #Var: 8966 LB: 0 @ 99.302
103.77	c Restart #57 #Var: 8966 LB: 0 @ 103.72
105.61	c Restart #58 #Var: 8965 LB: 0 @ 105.56
107.86	c Restart #59 #Var: 8965 LB: 0 @ 107.81
109.24	c Restart #60 #Var: 8965 LB: 0 @ 109.19
111.32	c Restart #61 #Var: 8965 LB: 0 @ 111.27
115.47	c Restart #62 #Var: 8965 LB: 0 @ 115.41
118.56	c Restart #63 #Var: 8964 LB: 0 @ 118.51
120.78	c Restart #64 #Var: 8964 LB: 0 @ 120.72
139.14	c Restart #65 #Var: 8963 LB: 0 @ 139.08
146.68	c Restart #66 #Var: 8963 LB: 0 @ 146.62
156.19	c Restart #67 #Var: 8961 LB: 0 @ 156.12
160.33	c Restart #68 #Var: 8961 LB: 0 @ 160.26
163.07	c Restart #69 #Var: 8960 LB: 0 @ 163
169.53	c Restart #70 #Var: 8959 LB: 0 @ 169.46
172.26	c Restart #71 #Var: 8958 LB: 0 @ 172.19
173.89	c Restart #72 #Var: 8958 LB: 0 @ 173.82
178.33	c Restart #73 #Var: 8955 LB: 0 @ 178.26
192.02	c Restart #74 #Var: 8954 LB: 0 @ 191.94
193.85	c Restart #75 #Var: 8954 LB: 0 @ 193.77
212.24	c Restart #76 #Var: 8954 LB: 0 @ 212.15
221.36	c Restart #77 #Var: 8953 LB: 0 @ 221.28
223.85	c Restart #78 #Var: 8952 LB: 0 @ 223.76
238.54	c Restart #79 #Var: 8952 LB: 0 @ 238.45
243.64	c Restart #80 #Var: 8951 LB: 0 @ 243.54
248.01	c Restart #81 #Var: 8951 LB: 0 @ 247.91
255.64	c Restart #82 #Var: 8950 LB: 0 @ 255.54
267.11	c Restart #83 #Var: 8949 LB: 0 @ 267.01
280.71	c Restart #84 #Var: 8949 LB: 0 @ 280.61
312.77	c Restart #85 #Var: 8948 LB: 0 @ 312.66
369.19	c Restart #86 #Var: 8946 LB: 0 @ 369.06
394.78	c Restart #87 #Var: 8946 LB: 0 @ 394.63
420.25	c Restart #88 #Var: 8946 LB: 0 @ 420.1
434.59	c Restart #89 #Var: 8944 LB: 0 @ 434.43
451.06	c Restart #90 #Var: 8944 LB: 0 @ 450.9
475.50	c Restart #91 #Var: 8944 LB: 0 @ 475.33
499.39	c Restart #92 #Var: 8944 LB: 0 @ 499.21
564.46	c Restart #93 #Var: 8942 LB: 0 @ 564.26
582.21	c Restart #94 #Var: 8940 LB: 0 @ 582
688.67	c Restart #95 #Var: 8939 LB: 0 @ 688.42
770.43	c Restart #96 #Var: 8939 LB: 0 @ 770.16
819.01	c Restart #97 #Var: 8937 LB: 0 @ 818.72
844.31	c Restart #98 #Var: 8937 LB: 0 @ 844.02
880.00	c Restart #99 #Var: 8937 LB: 0 @ 879.7
947.92	c CHANGE Heuristic... 
947.92	c Restart #0 #Var: 8933 LB: 0 @ 947.6
949.78	c Restart #1 #Var: 8933 LB: 0 @ 949.45
950.20	c Restart #2 #Var: 8933 LB: 0 @ 949.88
950.79	c Restart #3 #Var: 8930 LB: 0 @ 950.46
951.93	c Restart #4 #Var: 8928 LB: 0 @ 951.61
952.87	c Restart #5 #Var: 8927 LB: 0 @ 952.54
953.70	c Restart #6 #Var: 8927 LB: 0 @ 953.38
967.19	c Restart #7 #Var: 8924 LB: 0 @ 966.86
977.31	c Restart #8 #Var: 8923 LB: 0 @ 976.98
1036.40	c Restart #9 #Var: 8923 LB: 0 @ 1036
1040.33	c Restart #10 #Var: 8922 LB: 0 @ 1040
1041.92	c Restart #11 #Var: 8921 LB: 0 @ 1041.6
1052.81	c Restart #12 #Var: 8920 LB: 0 @ 1052.5
1152.66	c Restart #13 #Var: 8919 LB: 0 @ 1152.3
1158.32	c Restart #14 #Var: 8919 LB: 0 @ 1157.9
1160.08	c Restart #15 #Var: 8919 LB: 0 @ 1159.7
1161.36	c Restart #16 #Var: 8919 LB: 0 @ 1161
1162.11	c Restart #17 #Var: 8919 LB: 0 @ 1161.7
1173.49	c Restart #18 #Var: 8919 LB: 0 @ 1173.1
1175.05	c Restart #19 #Var: 8919 LB: 0 @ 1174.6
1181.06	c Restart #20 #Var: 8919 LB: 0 @ 1180.7
1183.79	c Restart #21 #Var: 8919 LB: 0 @ 1183.4
1184.82	c Restart #22 #Var: 8919 LB: 0 @ 1184.4
1200.40	c Restart #23 #Var: 8918 LB: 0 @ 1200
1200.83	c Restart #24 #Var: 8918 LB: 0 @ 1200.4
1202.84	c Restart #25 #Var: 8918 LB: 0 @ 1202.4
1204.44	c Restart #26 #Var: 8917 LB: 0 @ 1204
1206.29	c Restart #27 #Var: 8917 LB: 0 @ 1205.9
1217.79	c Restart #28 #Var: 8917 LB: 0 @ 1217.4
1218.97	c Restart #29 #Var: 8917 LB: 0 @ 1218.6
1222.55	c Restart #30 #Var: 8917 LB: 0 @ 1222.1
1252.23	c Restart #31 #Var: 8917 LB: 0 @ 1251.8
1276.46	c Restart #32 #Var: 8917 LB: 0 @ 1276
1292.28	c Restart #33 #Var: 8916 LB: 0 @ 1291.8
1319.10	c Restart #34 #Var: 8915 LB: 0 @ 1318.7
1343.91	c Restart #35 #Var: 8915 LB: 0 @ 1343.5
1346.67	c Restart #36 #Var: 8915 LB: 0 @ 1346.2
1371.81	c Restart #37 #Var: 8914 LB: 0 @ 1371.3
1379.93	c Restart #38 #Var: 8913 LB: 0 @ 1379.5
1390.60	c Restart #39 #Var: 8913 LB: 0 @ 1390.1
1399.88	c Restart #40 #Var: 8913 LB: 0 @ 1399.4
1448.24	c Restart #41 #Var: 8913 LB: 0 @ 1447.7
1455.20	c Restart #42 #Var: 8912 LB: 0 @ 1454.7
1468.12	c Restart #43 #Var: 8912 LB: 0 @ 1467.6
1507.62	c Restart #44 #Var: 8910 LB: 0 @ 1507.1
1511.71	c Restart #45 #Var: 8910 LB: 0 @ 1511.2
1534.31	c Restart #46 #Var: 8910 LB: 0 @ 1533.7
1568.07	c Restart #47 #Var: 8910 LB: 0 @ 1567.5
1594.13	c Restart #48 #Var: 8910 LB: 0 @ 1593.5
1635.00	c Restart #49 #Var: 8910 LB: 0 @ 1634.4
1641.90	c Restart #50 #Var: 8910 LB: 0 @ 1641.3
1691.33	c Restart #51 #Var: 8907 LB: 0 @ 1690.6
1712.10	c Restart #52 #Var: 8907 LB: 0 @ 1711.4
1757.98	c Restart #53 #Var: 8907 LB: 0 @ 1757.2
1764.89	c Restart #54 #Var: 8907 LB: 0 @ 1764.1
1800.86	s UNKNOWN
1800.86	c Exit Code: 0
1800.86	c Total time: 1800.1 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-40077-1149274893 -o ROOT/results/node41/solver-40077-1149274893 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node41/40077-1149274893/instance-40077-1149274893.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.91 0.95 0.92 1/64 25623
/proc/meminfo: memFree=1348328/2055920 swapFree=4180948/4192956
[pid=25623] ppid=25621 vsize=4932 CPUtime=0
/proc/25623/stat : 25623 (bsolo) D 25621 25623 25577 0 -1 0 370 0 0 0 0 0 0 0 19 0 1 0 193155870 5050368 331 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 2147483391 4096 16384 18446744072099781622 0 0 17 0 0 0
/proc/25623/statm: 1241 332 227 55 0 133 0

[startup+10.0021 s]
/proc/loadavg: 0.93 0.95 0.92 2/64 25623
/proc/meminfo: memFree=1282176/2055920 swapFree=4180948/4192956
[pid=25623] ppid=25621 vsize=71200 CPUtime=9.98
/proc/25623/stat : 25623 (bsolo) R 25621 25623 25577 0 -1 0 16936 0 0 0 963 35 0 0 25 0 1 0 193155870 72908800 16851 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0
/proc/25623/statm: 17800 16851 297 55 0 16692 0
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 71200

[startup+20.0088 s]
/proc/loadavg: 0.94 0.96 0.92 2/64 25623
/proc/meminfo: memFree=1220736/2055920 swapFree=4180948/4192956
[pid=25623] ppid=25621 vsize=132660 CPUtime=19.98
/proc/25623/stat : 25623 (bsolo) R 25621 25623 25577 0 -1 0 32299 0 0 0 1952 46 0 0 25 0 1 0 193155870 135843840 32213 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0
/proc/25623/statm: 33165 32213 297 55 0 32057 0
Current children cumulated CPU time (s) 19.98
Current children cumulated vsize (Kb) 132660

[startup+30.0155 s]
/proc/loadavg: 0.95 0.96 0.92 2/64 25623
/proc/meminfo: memFree=1185856/2055920 swapFree=4180948/4192956
[pid=25623] ppid=25621 vsize=167388 CPUtime=29.98
/proc/25623/stat : 25623 (bsolo) R 25621 25623 25577 0 -1 0 40995 0 0 0 2943 55 0 0 25 0 1 0 193155870 171405312 40908 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528681 0 0 4096 16384 0 0 0 17 0 0 0
/proc/25623/statm: 41847 40908 297 55 0 40739 0
Current children cumulated CPU time (s) 29.98
Current children cumulated vsize (Kb) 167388

[startup+40.0212 s]
/proc/loadavg: 0.95 0.96 0.92 2/64 25623
/proc/meminfo: memFree=1173056/2055920 swapFree=4180948/4192956
[pid=25623] ppid=25621 vsize=180188 CPUtime=39.98
/proc/25623/stat : 25623 (bsolo) R 25621 25623 25577 0 -1 0 44173 0 0 0 3938 60 0 0 25 0 1 0 193155870 184512512 44086 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607308 0 0 4096 16384 0 0 0 17 0 0 0
/proc/25623/statm: 45047 44086 297 55 0 43939 0
Current children cumulated CPU time (s) 39.98
Current children cumulated vsize (Kb) 180188

[startup+50.0278 s]
/proc/loadavg: 0.96 0.96 0.92 2/64 25623
/proc/meminfo: memFree=1148096/2055920 swapFree=4180948/4192956
[pid=25623] ppid=25621 vsize=205176 CPUtime=49.99
/proc/25623/stat : 25623 (bsolo) R 25621 25623 25577 0 -1 0 50420 0 0 0 4932 67 0 0 25 0 1 0 193155870 210100224 50331 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 2397819 0 0 4096 16384 0 0 0 17 0 0 0
/proc/25623/statm: 51294 50331 297 55 0 50186 0
Current children cumulated CPU time (s) 49.99
Current children cumulated vsize (Kb) 205176

[startup+60.0335 s]
/proc/loadavg: 0.97 0.96 0.92 2/64 25623
/proc/meminfo: memFree=1109824/2055920 swapFree=4180948/4192956
[pid=25623] ppid=25621 vsize=243452 CPUtime=59.99
/proc/25623/stat : 25623 (bsolo) R 25621 25623 25577 0 -1 0 59987 0 0 0 5924 75 0 0 25 0 1 0 193155870 249294848 59896 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0
/proc/25623/statm: 60863 59896 297 55 0 59755 0
Current children cumulated CPU time (s) 59.99
Current children cumulated vsize (Kb) 243452

[startup+70.0392 s]
/proc/loadavg: 0.97 0.96 0.92 2/64 25623
/proc/meminfo: memFree=1092288/2055920 swapFree=4180948/4192956
[pid=25623] ppid=25621 vsize=261020 CPUtime=69.99
/proc/25623/stat : 25623 (bsolo) R 25621 25623 25577 0 -1 0 64367 0 0 0 6919 80 0 0 25 0 1 0 193155870 267284480 64273 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 0 0 0
/proc/25623/statm: 65255 64273 297 55 0 64147 0
Current children cumulated CPU time (s) 69.99
Current children cumulated vsize (Kb) 261020

[startup+80.0449 s]
/proc/loadavg: 0.98 0.96 0.92 2/64 25623
/proc/meminfo: memFree=1079872/2055920 swapFree=4180948/4192956
[pid=25623] ppid=25621 vsize=273560 CPUtime=79.99
/proc/25623/stat : 25623 (bsolo) R 25621 25623 25577 0 -1 0 67468 0 0 0 7915 84 0 0 25 0 1 0 193155870 280125440 67374 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 0 0 0
/proc/25623/statm: 68390 67374 297 55 0 67282 0
Current children cumulated CPU time (s) 79.99
Current children cumulated vsize (Kb) 273560

[startup+90.0506 s]
/proc/loadavg: 0.98 0.96 0.92 2/64 25623
/proc/meminfo: memFree=1074304/2055920 swapFree=4180948/4192956
[pid=25623] ppid=25621 vsize=279116 CPUtime=90
/proc/25623/stat : 25623 (bsolo) R 25621 25623 25577 0 -1 0 68860 0 0 0 8913 87 0 0 25 0 1 0 193155870 285814784 68763 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 0 0 0
/proc/25623/statm: 69779 68763 297 55 0 68671 0
Current children cumulated CPU time (s) 90
Current children cumulated vsize (Kb) 279116

[startup+100.056 s]
/proc/loadavg: 0.98 0.96 0.92 2/64 25623
/proc/meminfo: memFree=1042560/2055920 swapFree=4180948/4192956
[pid=25623] ppid=25621 vsize=310840 CPUtime=100
/proc/25623/stat : 25623 (bsolo) R 25621 25623 25577 0 -1 0 76760 0 0 0 9908 92 0 0 25 0 1 0 193155870 318300160 76663 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 0 0 0
/proc/25623/statm: 77710 76663 297 55 0 76602 0
Current children cumulated CPU time (s) 100
Current children cumulated vsize (Kb) 310840

[startup+110.062 s]
/proc/loadavg: 0.98 0.96 0.92 2/64 25623
/proc/meminfo: memFree=961856/2055920 swapFree=4180948/4192956
[pid=25623] ppid=25621 vsize=391788 CPUtime=110.01
/proc/25623/stat : 25623 (bsolo) R 25621 25623 25577 0 -1 0 96933 0 0 0 10897 104 0 0 25 0 1 0 193155870 401190912 96827 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0
/proc/25623/statm: 97947 96827 297 55 0 96839 0
Current children cumulated CPU time (s) 110.01
Current children cumulated vsize (Kb) 391788

[startup+120.068 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 25623
/proc/meminfo: memFree=901440/2055920 swapFree=4180948/4192956
[pid=25623] ppid=25621 vsize=452264 CPUtime=120.01
/proc/25623/stat : 25623 (bsolo) R 25621 25623 25577 0 -1 0 111995 0 0 0 11887 114 0 0 25 0 1 0 193155870 463118336 111880 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 2397819 0 0 4096 16384 0 0 0 17 0 0 0
/proc/25623/statm: 113066 111880 297 55 0 111958 0
Current children cumulated CPU time (s) 120.01
Current children cumulated vsize (Kb) 452264

[startup+130.073 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 25623
/proc/meminfo: memFree=884544/2055920 swapFree=4180948/4192956
[pid=25623] ppid=25621 vsize=469248 CPUtime=130.01
/proc/25623/stat : 25623 (bsolo) R 25621 25623 25577 0 -1 0 116220 0 0 0 12884 117 0 0 25 0 1 0 193155870 480509952 116101 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 0 0 0
/proc/25623/statm: 117312 116101 297 55 0 116204 0
Current children cumulated CPU time (s) 130.01
Current children cumulated vsize (Kb) 469248

[startup+140.079 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 25623
/proc/meminfo: memFree=875072/2055920 swapFree=4180948/4192956
[pid=25623] ppid=25621 vsize=478636 CPUtime=140.01
/proc/25623/stat : 25623 (bsolo) R 25621 25623 25577 0 -1 0 118579 0 0 0 13881 120 0 0 25 0 1 0 193155870 490123264 118457 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 0 0 0
/proc/25623/statm: 119659 118457 297 55 0 118551 0
Current children cumulated CPU time (s) 140.01
Current children cumulated vsize (Kb) 478636

[startup+150.085 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 25623
/proc/meminfo: memFree=855424/2055920 swapFree=4180948/4192956
[pid=25623] ppid=25621 vsize=498560 CPUtime=150.01
/proc/25623/stat : 25623 (bsolo) R 25621 25623 25577 0 -1 0 123500 0 0 0 14877 124 0 0 25 0 1 0 193155870 510525440 123363 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 0 0 0
/proc/25623/statm: 124640 123363 297 55 0 123532 0
Current children cumulated CPU time (s) 150.01
Current children cumulated vsize (Kb) 498560

[startup+160.09 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 25623
/proc/meminfo: memFree=826368/2055920 swapFree=4180948/4192956
[pid=25623] ppid=25621 vsize=527564 CPUtime=160.02
/proc/25623/stat : 25623 (bsolo) R 25621 25623 25577 0 -1 0 130765 0 0 0 15872 130 0 0 25 0 1 0 193155870 540225536 130623 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 2397819 0 0 4096 16384 0 0 0 17 0 0 0
/proc/25623/statm: 131891 130623 297 55 0 130783 0
Current children cumulated CPU time (s) 160.02
Current children cumulated vsize (Kb) 527564

[startup+170.097 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 25623
/proc/meminfo: memFree=795968/2055920 swapFree=4180948/4192956
[pid=25623] ppid=25621 vsize=558128 CPUtime=170.01
/proc/25623/stat : 25623 (bsolo) R 25621 25623 25577 0 -1 0 138354 0 0 0 16865 136 0 0 25 0 1 0 193155870 571523072 138209 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0
/proc/25623/statm: 139532 138209 297 55 0 138424 0
Current children cumulated CPU time (s) 170.01
Current children cumulated vsize (Kb) 558128

[startup+180.104 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 25623
/proc/meminfo: memFree=759808/2055920 swapFree=4180948/4192956
[pid=25623] ppid=25621 vsize=594268 CPUtime=180.02
/proc/25623/stat : 25623 (bsolo) R 25621 25623 25577 0 -1 0 147370 0 0 0 17858 144 0 0 25 0 1 0 193155870 608530432 147217 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524866 0 0 4096 16384 0 0 0 17 0 0 0
/proc/25623/statm: 148567 147217 297 55 0 147459 0
Current children cumulated CPU time (s) 180.02
Current children cumulated vsize (Kb) 594268

[startup+190.11 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 25623
/proc/meminfo: memFree=744576/2055920 swapFree=4180948/4192956
[pid=25623] ppid=25621 vsize=609516 CPUtime=190.03
/proc/25623/stat : 25623 (bsolo) R 25621 25623 25577 0 -1 0 151175 0 0 0 18856 147 0 0 25 0 1 0 193155870 624144384 151018 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 0 0 0
/proc/25623/statm: 152379 151018 297 55 0 151271 0
Current children cumulated CPU time (s) 190.03
Current children cumulated vsize (Kb) 609516

[startup+200.117 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 25623
/proc/meminfo: memFree=719424/2055920 swapFree=4180948/4192956
[pid=25623] ppid=25621 vsize=634876 CPUtime=200.02
/proc/25623/stat : 25623 (bsolo) R 25621 25623 25577 0 -1 0 157482 0 0 0 19849 153 0 0 25 0 1 0 193155870 650113024 157293 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534908 0 0 4096 16384 0 0 0 17 0 0 0
/proc/25623/statm: 158719 157293 297 55 0 157611 0
Current children cumulated CPU time (s) 200.02
Current children cumulated vsize (Kb) 634876

[startup+210.124 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 25623
/proc/meminfo: memFree=705024/2055920 swapFree=4180948/4192956

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

/proc/25623/statm: 383004 380457 297 55 0 381896 0
Current children cumulated CPU time (s) 1760.31
Current children cumulated vsize (Kb) 1532016

[startup+1771.08 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 25623
/proc/meminfo: memFree=15680/2055920 swapFree=4180948/4192956
[pid=25623] ppid=25621 vsize=1541772 CPUtime=1770.31
/proc/25623/stat : 25623 (bsolo) R 25621 25623 25577 0 -1 0 384007 0 0 0 176615 416 0 0 25 0 1 0 193155870 1578774528 382911 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718240 0 0 4096 16384 0 0 0 17 0 0 0
/proc/25623/statm: 385443 382911 297 55 0 384335 0
Current children cumulated CPU time (s) 1770.31
Current children cumulated vsize (Kb) 1541772

[startup+1781.08 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 25623
/proc/meminfo: memFree=14912/2055920 swapFree=4180948/4192956
[pid=25623] ppid=25621 vsize=1542564 CPUtime=1780.31
/proc/25623/stat : 25623 (bsolo) R 25621 25623 25577 0 -1 0 384199 0 0 0 177615 416 0 0 25 0 1 0 193155870 1579585536 383103 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551570 0 0 4096 16384 0 0 0 17 0 0 0
/proc/25623/statm: 385641 383103 297 55 0 384533 0
Current children cumulated CPU time (s) 1780.31
Current children cumulated vsize (Kb) 1542564

[startup+1782.09 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 25623
/proc/meminfo: memFree=14912/2055920 swapFree=4180948/4192956
[pid=25623] ppid=25621 vsize=1542564 CPUtime=1781.31
/proc/25623/stat : 25623 (bsolo) R 25621 25623 25577 0 -1 0 384201 0 0 0 177715 416 0 0 25 0 1 0 193155870 1579585536 383105 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 0 0 0
/proc/25623/statm: 385641 383105 297 55 0 384533 0
Current children cumulated CPU time (s) 1781.31
Current children cumulated vsize (Kb) 1542564

[startup+1783.09 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 25623
/proc/meminfo: memFree=14912/2055920 swapFree=4180948/4192956
[pid=25623] ppid=25621 vsize=1542564 CPUtime=1782.32
/proc/25623/stat : 25623 (bsolo) R 25621 25623 25577 0 -1 0 384201 0 0 0 177816 416 0 0 25 0 1 0 193155870 1579585536 383105 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528659 0 0 4096 16384 0 0 0 17 0 0 0
/proc/25623/statm: 385641 383105 297 55 0 384533 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (Kb) 1542564

[startup+1784.1 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 25623
/proc/meminfo: memFree=14912/2055920 swapFree=4180948/4192956
[pid=25623] ppid=25621 vsize=1542564 CPUtime=1783.32
/proc/25623/stat : 25623 (bsolo) R 25621 25623 25577 0 -1 0 384201 0 0 0 177916 416 0 0 25 0 1 0 193155870 1579585536 383105 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 0 0 0
/proc/25623/statm: 385641 383105 297 55 0 384533 0
Current children cumulated CPU time (s) 1783.32
Current children cumulated vsize (Kb) 1542564

[startup+1785.1 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 25623
/proc/meminfo: memFree=14912/2055920 swapFree=4180948/4192956
[pid=25623] ppid=25621 vsize=1542564 CPUtime=1784.33
/proc/25623/stat : 25623 (bsolo) R 25621 25623 25577 0 -1 0 384201 0 0 0 178017 416 0 0 25 0 1 0 193155870 1579585536 383105 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528665 0 0 4096 16384 0 0 0 17 0 0 0
/proc/25623/statm: 385641 383105 297 55 0 384533 0
Current children cumulated CPU time (s) 1784.33
Current children cumulated vsize (Kb) 1542564

[startup+1786.11 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 25623
/proc/meminfo: memFree=14912/2055920 swapFree=4180948/4192956
[pid=25623] ppid=25621 vsize=1542564 CPUtime=1785.33
/proc/25623/stat : 25623 (bsolo) R 25621 25623 25577 0 -1 0 384201 0 0 0 178117 416 0 0 25 0 1 0 193155870 1579585536 383105 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 0 0 0
/proc/25623/statm: 385641 383105 297 55 0 384533 0
Current children cumulated CPU time (s) 1785.33
Current children cumulated vsize (Kb) 1542564

[startup+1787.12 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 25623
/proc/meminfo: memFree=14912/2055920 swapFree=4180948/4192956
[pid=25623] ppid=25621 vsize=1542564 CPUtime=1786.34
/proc/25623/stat : 25623 (bsolo) R 25621 25623 25577 0 -1 0 384201 0 0 0 178218 416 0 0 25 0 1 0 193155870 1579585536 383105 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 0 0 0
/proc/25623/statm: 385641 383105 297 55 0 384533 0
Current children cumulated CPU time (s) 1786.34
Current children cumulated vsize (Kb) 1542564

[startup+1788.12 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 25623
/proc/meminfo: memFree=14912/2055920 swapFree=4180948/4192956
[pid=25623] ppid=25621 vsize=1542564 CPUtime=1787.34
/proc/25623/stat : 25623 (bsolo) R 25621 25623 25577 0 -1 0 384201 0 0 0 178318 416 0 0 25 0 1 0 193155870 1579585536 383105 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 0 0 0
/proc/25623/statm: 385641 383105 297 55 0 384533 0
Current children cumulated CPU time (s) 1787.34
Current children cumulated vsize (Kb) 1542564

[startup+1789.13 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 25623
/proc/meminfo: memFree=14912/2055920 swapFree=4180948/4192956
[pid=25623] ppid=25621 vsize=1542564 CPUtime=1788.35
/proc/25623/stat : 25623 (bsolo) R 25621 25623 25577 0 -1 0 384201 0 0 0 178419 416 0 0 25 0 1 0 193155870 1579585536 383105 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 0 0 0
/proc/25623/statm: 385641 383105 297 55 0 384533 0
Current children cumulated CPU time (s) 1788.35
Current children cumulated vsize (Kb) 1542564

[startup+1790.13 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 25623
/proc/meminfo: memFree=14912/2055920 swapFree=4180948/4192956
[pid=25623] ppid=25621 vsize=1542564 CPUtime=1789.35
/proc/25623/stat : 25623 (bsolo) R 25621 25623 25577 0 -1 0 384201 0 0 0 178519 416 0 0 25 0 1 0 193155870 1579585536 383105 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 0 0 0
/proc/25623/statm: 385641 383105 297 55 0 384533 0
Current children cumulated CPU time (s) 1789.35
Current children cumulated vsize (Kb) 1542564

[startup+1791.14 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 25623
/proc/meminfo: memFree=14912/2055920 swapFree=4180948/4192956
[pid=25623] ppid=25621 vsize=1542564 CPUtime=1790.36
/proc/25623/stat : 25623 (bsolo) R 25621 25623 25577 0 -1 0 384203 0 0 0 178620 416 0 0 25 0 1 0 193155870 1579585536 383107 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 2397819 0 0 4096 16384 0 0 0 17 0 0 0
/proc/25623/statm: 385641 383107 297 55 0 384533 0
Current children cumulated CPU time (s) 1790.36
Current children cumulated vsize (Kb) 1542564

[startup+1792.14 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 25623
/proc/meminfo: memFree=14848/2055920 swapFree=4180948/4192956
[pid=25623] ppid=25621 vsize=1542696 CPUtime=1791.36
/proc/25623/stat : 25623 (bsolo) R 25621 25623 25577 0 -1 0 384216 0 0 0 178720 416 0 0 25 0 1 0 193155870 1579720704 383120 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134719576 0 0 4096 16384 0 0 0 17 0 0 0
/proc/25623/statm: 385674 383120 297 55 0 384566 0
Current children cumulated CPU time (s) 1791.36
Current children cumulated vsize (Kb) 1542696

[startup+1793.15 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 25623
/proc/meminfo: memFree=14848/2055920 swapFree=4180948/4192956
[pid=25623] ppid=25621 vsize=1542696 CPUtime=1792.37
/proc/25623/stat : 25623 (bsolo) R 25621 25623 25577 0 -1 0 384219 0 0 0 178821 416 0 0 25 0 1 0 193155870 1579720704 383123 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 0 0 0
/proc/25623/statm: 385674 383123 297 55 0 384566 0
Current children cumulated CPU time (s) 1792.37
Current children cumulated vsize (Kb) 1542696

[startup+1794.15 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 25623
/proc/meminfo: memFree=14848/2055920 swapFree=4180948/4192956
[pid=25623] ppid=25621 vsize=1542696 CPUtime=1793.37
/proc/25623/stat : 25623 (bsolo) R 25621 25623 25577 0 -1 0 384219 0 0 0 178921 416 0 0 25 0 1 0 193155870 1579720704 383123 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524531 0 0 4096 16384 0 0 0 17 0 0 0
/proc/25623/statm: 385674 383123 297 55 0 384566 0
Current children cumulated CPU time (s) 1793.37
Current children cumulated vsize (Kb) 1542696

[startup+1795.16 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 25623
/proc/meminfo: memFree=14848/2055920 swapFree=4180948/4192956
[pid=25623] ppid=25621 vsize=1542696 CPUtime=1794.38
/proc/25623/stat : 25623 (bsolo) R 25621 25623 25577 0 -1 0 384220 0 0 0 179022 416 0 0 25 0 1 0 193155870 1579720704 383124 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 0 0 0
/proc/25623/statm: 385674 383124 297 55 0 384566 0
Current children cumulated CPU time (s) 1794.38
Current children cumulated vsize (Kb) 1542696

[startup+1796.16 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 25623
/proc/meminfo: memFree=14848/2055920 swapFree=4180948/4192956
[pid=25623] ppid=25621 vsize=1542696 CPUtime=1795.38
/proc/25623/stat : 25623 (bsolo) R 25621 25623 25577 0 -1 0 384220 0 0 0 179122 416 0 0 25 0 1 0 193155870 1579720704 383124 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551544 0 0 4096 16384 0 0 0 17 0 0 0
/proc/25623/statm: 385674 383124 297 55 0 384566 0
Current children cumulated CPU time (s) 1795.38
Current children cumulated vsize (Kb) 1542696

[startup+1797.17 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 25623
/proc/meminfo: memFree=14848/2055920 swapFree=4180948/4192956
[pid=25623] ppid=25621 vsize=1542696 CPUtime=1796.38
/proc/25623/stat : 25623 (bsolo) R 25621 25623 25577 0 -1 0 384220 0 0 0 179222 416 0 0 25 0 1 0 193155870 1579720704 383124 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 0 0 0
/proc/25623/statm: 385674 383124 297 55 0 384566 0
Current children cumulated CPU time (s) 1796.38
Current children cumulated vsize (Kb) 1542696

[startup+1798.17 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 25623
/proc/meminfo: memFree=16320/2055920 swapFree=4180948/4192956
[pid=25623] ppid=25621 vsize=1542696 CPUtime=1797.39
/proc/25623/stat : 25623 (bsolo) R 25621 25623 25577 0 -1 0 384225 0 0 0 179323 416 0 0 25 0 1 0 193155870 1579720704 383129 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 0 0 0
/proc/25623/statm: 385674 383129 297 55 0 384566 0
Current children cumulated CPU time (s) 1797.39
Current children cumulated vsize (Kb) 1542696

[startup+1799.18 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 25623
/proc/meminfo: memFree=16320/2055920 swapFree=4180948/4192956
[pid=25623] ppid=25621 vsize=1542696 CPUtime=1798.39
/proc/25623/stat : 25623 (bsolo) R 25621 25623 25577 0 -1 0 384225 0 0 0 179423 416 0 0 25 0 1 0 193155870 1579720704 383129 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 0 0 0
/proc/25623/statm: 385674 383129 297 55 0 384566 0
Current children cumulated CPU time (s) 1798.39
Current children cumulated vsize (Kb) 1542696

[startup+1800.18 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 25623
/proc/meminfo: memFree=16320/2055920 swapFree=4180948/4192956
[pid=25623] ppid=25621 vsize=1542696 CPUtime=1799.4
/proc/25623/stat : 25623 (bsolo) R 25621 25623 25577 0 -1 0 384225 0 0 0 179524 416 0 0 25 0 1 0 193155870 1579720704 383129 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528659 0 0 4096 16384 0 0 0 17 0 0 0
/proc/25623/statm: 385674 383129 297 55 0 384566 0
Current children cumulated CPU time (s) 1799.4
Current children cumulated vsize (Kb) 1542696

Child status: 0
Real time (s): 1801.08
CPU time (s): 1800.3
CPU user time (s): 1795.91
CPU system time (s): 4.38933
CPU usage (%): 99.9566
Max. virtual memory (cumulated for all children) (Kb): 1542696

Launcher Data (download as text)

Begin job on node41 on Fri Jun  2 19:01:33 UTC 2006


FILE ID= 40077-1149274893

PBS_JOBID= 301609

BENCH NAME= ROOT/tmp/node41/40077-1149274893/instance-40077-1149274893.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node41/40077-1149274893/instance-40077-1149274893.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node41/watcher-40077-1149274893 -o ROOT/results/node41/solver-40077-1149274893 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node41/40077-1149274893/instance-40077-1149274893.opb

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  b55f7a8b0d45bfbc16cf27babcf41177

RANDOM SEED= 126955058


/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:       1348536 kB
Buffers:         24220 kB
Cached:         610600 kB
SwapCached:       3904 kB
Active:          38064 kB
Inactive:       605740 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1348536 kB
SwapTotal:     4192956 kB
SwapFree:      4180948 kB
Dirty:             164 kB
Writeback:           0 kB
Mapped:          14936 kB
Slab:            49592 kB
Committed_AS:   275996 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 Fri Jun  2 19:31:34 UTC 2006