Trace number 40807

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 NameAnswerCPU timeWall clock time
bsolo 2006/05Signal 1363.21 1363.7

General information on the benchmark

Namenormalized-PB06/SATUNSAT-MEDINT/submitted-PB06/
manquiho/Aardal_1/normalized-cuww2.opb
MD5SUM51d899b20f631897b1e4ab45104d8148
Bench CategorySATUNSAT-MEDINT (no optimisation, medium 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 benchmark22.6646
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables70
Total number of constraints2
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 constraints2
Minimum length of a constraint70
Maximum length of a constraint70
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 89716839
Number of bits of the biggest number in a constraint 27
Biggest sum of numbers in a constraint 865734046
Number of bits of the biggest sum of numbers30
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.01	c BIG Int formula...
0.02	c Initial problem consists of 70 variables and 2 constraints.
0.02	c Using non-optimization problem switches.
0.02	c No problem reductions applied in OPT. instance.
0.02	c	preprocess terminated. Elapsed time: 0.01
0.02	c After prepocess the problem consists of 70 variables and 2 constraints.
0.02	c Restart #1 #Var: 70 LB: 0 @ 0.017
0.04	c Restart #2 #Var: 70 LB: 0 @ 0.034
0.07	c Restart #3 #Var: 70 LB: 0 @ 0.062
0.11	c Restart #4 #Var: 70 LB: 0 @ 0.1
0.15	c Restart #5 #Var: 70 LB: 0 @ 0.144
0.19	c Restart #6 #Var: 70 LB: 0 @ 0.19
0.25	c Restart #7 #Var: 70 LB: 0 @ 0.246
0.34	c Restart #8 #Var: 70 LB: 0 @ 0.333
0.44	c Restart #9 #Var: 70 LB: 0 @ 0.437
0.57	c Restart #10 #Var: 70 LB: 0 @ 0.564
0.73	c Restart #11 #Var: 70 LB: 0 @ 0.727
0.93	c Restart #12 #Var: 70 LB: 0 @ 0.929
1.12	c Restart #13 #Var: 70 LB: 0 @ 1.119
1.43	c Restart #14 #Var: 70 LB: 0 @ 1.424
1.76	c Restart #15 #Var: 70 LB: 0 @ 1.756
2.21	c Restart #16 #Var: 70 LB: 0 @ 2.209
2.69	c Restart #17 #Var: 70 LB: 0 @ 2.683
3.36	c Restart #18 #Var: 70 LB: 0 @ 3.353
3.99	c Restart #19 #Var: 70 LB: 0 @ 3.98
4.73	c Restart #20 #Var: 70 LB: 0 @ 4.725
5.32	c Restart #21 #Var: 70 LB: 0 @ 5.311
6.11	c Restart #22 #Var: 70 LB: 0 @ 6.105
7.14	c Restart #23 #Var: 70 LB: 0 @ 7.138
7.97	c Restart #24 #Var: 70 LB: 0 @ 7.964
8.89	c Restart #25 #Var: 70 LB: 0 @ 8.885
10.26	c Restart #26 #Var: 70 LB: 0 @ 10.248
11.45	c Restart #27 #Var: 70 LB: 0 @ 11.441
12.96	c Restart #28 #Var: 70 LB: 0 @ 12.945
14.57	c Restart #29 #Var: 70 LB: 0 @ 14.56
15.91	c Restart #30 #Var: 70 LB: 0 @ 15.892
17.35	c Restart #31 #Var: 70 LB: 0 @ 17.336
19.96	c Restart #32 #Var: 70 LB: 0 @ 19.948
21.64	c Restart #33 #Var: 70 LB: 0 @ 21.629
23.27	c Restart #34 #Var: 70 LB: 0 @ 23.253
25.45	c Restart #35 #Var: 70 LB: 0 @ 25.438
28.45	c Restart #36 #Var: 70 LB: 0 @ 28.428
31.07	c Restart #37 #Var: 70 LB: 0 @ 31.055
33.79	c Restart #38 #Var: 70 LB: 0 @ 33.767
36.46	c Restart #39 #Var: 70 LB: 0 @ 36.444
38.86	c Restart #40 #Var: 70 LB: 0 @ 38.837
42.23	c Restart #41 #Var: 70 LB: 0 @ 42.21
45.73	c Restart #42 #Var: 70 LB: 0 @ 45.708
49.75	c Restart #43 #Var: 70 LB: 0 @ 49.723
52.94	c Restart #44 #Var: 70 LB: 0 @ 52.914
57.21	c Restart #45 #Var: 70 LB: 0 @ 57.187
60.66	c Restart #46 #Var: 70 LB: 0 @ 60.629
64.92	c Restart #47 #Var: 70 LB: 0 @ 64.887
70.14	c Restart #48 #Var: 70 LB: 0 @ 70.106
75.85	c Restart #49 #Var: 70 LB: 0 @ 75.821
82.60	c Restart #50 #Var: 70 LB: 0 @ 82.564
89.40	c Restart #51 #Var: 70 LB: 0 @ 89.365
94.12	c Restart #52 #Var: 70 LB: 0 @ 94.076
100.21	c Restart #53 #Var: 70 LB: 0 @ 100.17
105.61	c Restart #54 #Var: 70 LB: 0 @ 105.57
110.93	c Restart #55 #Var: 70 LB: 0 @ 110.88
119.33	c Restart #56 #Var: 70 LB: 0 @ 119.28
125.00	c Restart #57 #Var: 70 LB: 0 @ 124.95
133.43	c Restart #58 #Var: 70 LB: 0 @ 133.38
140.37	c Restart #59 #Var: 70 LB: 0 @ 140.31
147.46	c Restart #60 #Var: 70 LB: 0 @ 147.4
151.27	c Restart #61 #Var: 70 LB: 0 @ 151.21
158.34	c Restart #62 #Var: 70 LB: 0 @ 158.28
164.53	c Restart #63 #Var: 70 LB: 0 @ 164.46
172.05	c Restart #64 #Var: 70 LB: 0 @ 171.98
177.53	c Restart #65 #Var: 70 LB: 0 @ 177.46
182.62	c Restart #66 #Var: 70 LB: 0 @ 182.55
185.42	c Restart #67 #Var: 70 LB: 0 @ 185.35
190.07	c Restart #68 #Var: 70 LB: 0 @ 189.99
195.98	c Restart #69 #Var: 70 LB: 0 @ 195.9
205.07	c Restart #70 #Var: 70 LB: 0 @ 204.99
210.34	c Restart #71 #Var: 70 LB: 0 @ 210.26
216.29	c Restart #72 #Var: 70 LB: 0 @ 216.2
220.15	c Restart #73 #Var: 70 LB: 0 @ 220.07
226.36	c Restart #74 #Var: 70 LB: 0 @ 226.27
233.41	c Restart #75 #Var: 70 LB: 0 @ 233.32
242.39	c Restart #76 #Var: 70 LB: 0 @ 242.3
248.95	c Restart #77 #Var: 70 LB: 0 @ 248.86
267.69	c Restart #78 #Var: 70 LB: 0 @ 267.59
287.84	c Restart #79 #Var: 70 LB: 0 @ 287.74
306.25	c Restart #80 #Var: 70 LB: 0 @ 306.13
325.47	c Restart #81 #Var: 70 LB: 0 @ 325.35
343.56	c Restart #82 #Var: 70 LB: 0 @ 343.43
362.08	c Restart #83 #Var: 70 LB: 0 @ 361.95
377.27	c Restart #84 #Var: 70 LB: 0 @ 377.13
388.34	c Restart #85 #Var: 70 LB: 0 @ 388.2
400.36	c Restart #86 #Var: 70 LB: 0 @ 400.22
407.68	c Restart #87 #Var: 70 LB: 0 @ 407.53
423.42	c Restart #88 #Var: 70 LB: 0 @ 423.26
432.71	c Restart #89 #Var: 70 LB: 0 @ 432.56
440.55	c Restart #90 #Var: 70 LB: 0 @ 440.39
446.98	c Restart #91 #Var: 70 LB: 0 @ 446.82
458.80	c Restart #92 #Var: 70 LB: 0 @ 458.64
472.76	c Restart #93 #Var: 70 LB: 0 @ 472.59
493.21	c Restart #94 #Var: 70 LB: 0 @ 493.04
507.57	c Restart #95 #Var: 70 LB: 0 @ 507.38
524.14	c Restart #96 #Var: 70 LB: 0 @ 523.95
541.27	c Restart #97 #Var: 70 LB: 0 @ 541.08
551.50	c Restart #98 #Var: 70 LB: 0 @ 551.3
559.73	c Restart #99 #Var: 70 LB: 0 @ 559.53
569.46	c Restart #100 #Var: 70 LB: 0 @ 569.26
578.51	c Restart #101 #Var: 70 LB: 0 @ 578.31
602.28	c Restart #102 #Var: 70 LB: 0 @ 602.07
625.47	c Restart #103 #Var: 70 LB: 0 @ 625.24
643.99	c Restart #104 #Var: 70 LB: 0 @ 643.76
666.37	c Restart #105 #Var: 70 LB: 0 @ 666.14
685.18	c Restart #106 #Var: 70 LB: 0 @ 684.94
721.47	c Restart #107 #Var: 70 LB: 0 @ 721.21
747.63	c Restart #108 #Var: 70 LB: 0 @ 747.36
762.75	c Restart #109 #Var: 70 LB: 0 @ 762.48
782.25	c Restart #110 #Var: 70 LB: 0 @ 781.97
798.22	c Restart #111 #Var: 70 LB: 0 @ 797.94
825.69	c Restart #112 #Var: 70 LB: 0 @ 825.39
847.78	c Restart #113 #Var: 70 LB: 0 @ 847.47
872.54	c Restart #114 #Var: 70 LB: 0 @ 872.23
920.25	c CHANGE Heuristic... 
920.25	c Restart #0 #Var: 70 LB: 0 @ 919.93
924.01	c Restart #1 #Var: 70 LB: 0 @ 923.68
930.75	c Restart #2 #Var: 70 LB: 0 @ 930.42
939.74	c Restart #3 #Var: 70 LB: 0 @ 939.4
949.32	c Restart #4 #Var: 70 LB: 0 @ 948.99
956.60	c Restart #5 #Var: 70 LB: 0 @ 956.26
961.36	c Restart #6 #Var: 70 LB: 0 @ 961.02
965.91	c Restart #7 #Var: 70 LB: 0 @ 965.57
977.53	c Restart #8 #Var: 70 LB: 0 @ 977.19
988.41	c Restart #9 #Var: 70 LB: 0 @ 988.06
999.40	c Restart #10 #Var: 70 LB: 0 @ 999.04
1012.08	c Restart #11 #Var: 70 LB: 0 @ 1011.7
1024.51	c Restart #12 #Var: 70 LB: 0 @ 1024.2
1038.41	c Restart #13 #Var: 70 LB: 0 @ 1038
1050.08	c Restart #14 #Var: 70 LB: 0 @ 1049.7
1065.93	c Restart #15 #Var: 70 LB: 0 @ 1065.5
1085.55	c Restart #16 #Var: 70 LB: 0 @ 1085.2
1105.02	c Restart #17 #Var: 70 LB: 0 @ 1104.6
1122.50	c Restart #18 #Var: 70 LB: 0 @ 1122.1
1135.59	c Restart #19 #Var: 70 LB: 0 @ 1135.2
1155.75	c Restart #20 #Var: 70 LB: 0 @ 1155.3
1169.45	c Restart #21 #Var: 70 LB: 0 @ 1169
1183.24	c Restart #22 #Var: 70 LB: 0 @ 1182.8
1201.75	c Restart #23 #Var: 70 LB: 0 @ 1201.3
1222.08	c Restart #24 #Var: 70 LB: 0 @ 1221.7
1243.74	c Restart #25 #Var: 70 LB: 0 @ 1243.3
1261.06	c Restart #26 #Var: 70 LB: 0 @ 1260.6
1281.73	c Restart #27 #Var: 70 LB: 0 @ 1281.3
1297.70	c Restart #28 #Var: 70 LB: 0 @ 1297.2
1323.89	c Restart #29 #Var: 70 LB: 0 @ 1323.4
1341.11	c Restart #30 #Var: 70 LB: 0 @ 1340.6
1355.13	c Restart #31 #Var: 70 LB: 0 @ 1354.7

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

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.99 1.00 1.00 2/64 11626
/proc/meminfo: memFree=1589024/2055920 swapFree=4181196/4192956
[pid=11626] ppid=11624 vsize=4664 CPUtime=0
/proc/11626/stat : 11626 (bsolo) R 11624 11626 11580 0 -1 0 155 0 0 0 0 0 0 0 19 0 1 0 197657973 4775936 135 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 8576276 0 0 4096 0 0 0 0 17 1 0 0
/proc/11626/statm: 1166 135 105 55 0 46 0

[startup+10.0023 s]
/proc/loadavg: 0.99 1.00 1.00 2/64 11626
/proc/meminfo: memFree=1500072/2055920 swapFree=4181196/4192956
[pid=11626] ppid=11624 vsize=93620 CPUtime=9.98
/proc/11626/stat : 11626 (bsolo) R 11624 11626 11580 0 -1 0 22613 0 0 0 985 13 0 0 25 0 1 0 197657973 95866880 22519 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11626/statm: 23405 22519 296 55 0 22297 0
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 93620

[startup+20.0082 s]
/proc/loadavg: 0.99 1.00 1.00 2/64 11626
/proc/meminfo: memFree=1454056/2055920 swapFree=4181196/4192956
[pid=11626] ppid=11624 vsize=139916 CPUtime=19.99
/proc/11626/stat : 11626 (bsolo) R 11624 11626 11580 0 -1 0 34118 0 0 0 1977 22 0 0 25 0 1 0 197657973 143273984 34017 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11626/statm: 34979 34017 296 55 0 33871 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 139916

[startup+30.0152 s]
/proc/loadavg: 0.99 1.00 1.00 2/64 11626
/proc/meminfo: memFree=1413672/2055920 swapFree=4181196/4192956
[pid=11626] ppid=11624 vsize=180436 CPUtime=29.99
/proc/11626/stat : 11626 (bsolo) R 11624 11626 11580 0 -1 0 44210 0 0 0 2971 28 0 0 25 0 1 0 197657973 184766464 44091 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11626/statm: 45109 44091 296 55 0 44001 0
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 180436

[startup+40.0221 s]
/proc/loadavg: 1.07 1.02 1.00 2/64 11626
/proc/meminfo: memFree=1378216/2055920 swapFree=4181196/4192956
[pid=11626] ppid=11624 vsize=215968 CPUtime=39.99
/proc/11626/stat : 11626 (bsolo) R 11624 11626 11580 0 -1 0 53055 0 0 0 3966 33 0 0 25 0 1 0 197657973 221151232 52933 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11626/statm: 53992 52933 296 55 0 52884 0
Current children cumulated CPU time (s) 39.99
Current children cumulated vsize (Kb) 215968

[startup+50.0291 s]
/proc/loadavg: 1.06 1.02 1.00 2/64 11626
/proc/meminfo: memFree=1347688/2055920 swapFree=4181196/4192956
[pid=11626] ppid=11624 vsize=246572 CPUtime=49.99
/proc/11626/stat : 11626 (bsolo) R 11624 11626 11580 0 -1 0 60679 0 0 0 4961 38 0 0 25 0 1 0 197657973 252489728 60546 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534988 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11626/statm: 61643 60546 296 55 0 60535 0
Current children cumulated CPU time (s) 49.99
Current children cumulated vsize (Kb) 246572

[startup+60.036 s]
/proc/loadavg: 1.05 1.01 1.00 2/64 11626
/proc/meminfo: memFree=1318184/2055920 swapFree=4181196/4192956
[pid=11626] ppid=11624 vsize=276036 CPUtime=59.99
/proc/11626/stat : 11626 (bsolo) R 11624 11626 11580 0 -1 0 68079 0 0 0 5956 43 0 0 25 0 1 0 197657973 282660864 67944 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 9041531 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11626/statm: 69009 67944 296 55 0 67901 0
Current children cumulated CPU time (s) 59.99
Current children cumulated vsize (Kb) 276036

[startup+70.043 s]
/proc/loadavg: 1.04 1.01 1.00 2/64 11626
/proc/meminfo: memFree=1289064/2055920 swapFree=4181196/4192956
[pid=11626] ppid=11624 vsize=305460 CPUtime=70
/proc/11626/stat : 11626 (bsolo) R 11624 11626 11580 0 -1 0 75336 0 0 0 6951 49 0 0 25 0 1 0 197657973 312791040 75166 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607308 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11626/statm: 76365 75166 296 55 0 75257 0
Current children cumulated CPU time (s) 70
Current children cumulated vsize (Kb) 305460

[startup+80.0499 s]
/proc/loadavg: 1.04 1.01 1.00 2/64 11626
/proc/meminfo: memFree=1268840/2055920 swapFree=4181196/4192956
[pid=11626] ppid=11624 vsize=326036 CPUtime=80.01
/proc/11626/stat : 11626 (bsolo) R 11624 11626 11580 0 -1 0 80409 0 0 0 7949 52 0 0 25 0 1 0 197657973 333860864 80221 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11626/statm: 81509 80221 296 55 0 80401 0
Current children cumulated CPU time (s) 80.01
Current children cumulated vsize (Kb) 326036

[startup+90.0558 s]
/proc/loadavg: 1.03 1.01 1.00 2/64 11626
/proc/meminfo: memFree=1250728/2055920 swapFree=4181196/4192956
[pid=11626] ppid=11624 vsize=343856 CPUtime=90.01
/proc/11626/stat : 11626 (bsolo) R 11624 11626 11580 0 -1 0 84917 0 0 0 8946 55 0 0 25 0 1 0 197657973 352108544 84729 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11626/statm: 85964 84729 296 55 0 84856 0
Current children cumulated CPU time (s) 90.01
Current children cumulated vsize (Kb) 343856

[startup+100.062 s]
/proc/loadavg: 1.03 1.01 1.00 2/64 11626
/proc/meminfo: memFree=1224232/2055920 swapFree=4181196/4192956
[pid=11626] ppid=11624 vsize=370384 CPUtime=100.01
/proc/11626/stat : 11626 (bsolo) R 11624 11626 11580 0 -1 0 91526 0 0 0 9942 59 0 0 25 0 1 0 197657973 379273216 91336 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11626/statm: 92596 91336 296 55 0 91488 0
Current children cumulated CPU time (s) 100.01
Current children cumulated vsize (Kb) 370384

[startup+110.069 s]
/proc/loadavg: 1.02 1.01 1.00 2/64 11626
/proc/meminfo: memFree=1198184/2055920 swapFree=4181196/4192956
[pid=11626] ppid=11624 vsize=396468 CPUtime=110.01
/proc/11626/stat : 11626 (bsolo) R 11624 11626 11580 0 -1 0 98042 0 0 0 10938 63 0 0 25 0 1 0 197657973 405983232 97849 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 9041531 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11626/statm: 99117 97849 296 55 0 98009 0
Current children cumulated CPU time (s) 110.01
Current children cumulated vsize (Kb) 396468

[startup+120.076 s]
/proc/loadavg: 1.02 1.01 1.00 2/64 11626
/proc/meminfo: memFree=1181736/2055920 swapFree=4181196/4192956
[pid=11626] ppid=11624 vsize=412928 CPUtime=120.02
/proc/11626/stat : 11626 (bsolo) R 11624 11626 11580 0 -1 0 102136 0 0 0 11936 66 0 0 25 0 1 0 197657973 422838272 101942 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524531 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11626/statm: 103232 101942 296 55 0 102124 0
Current children cumulated CPU time (s) 120.02
Current children cumulated vsize (Kb) 412928

[startup+130.082 s]
/proc/loadavg: 1.01 1.01 1.00 2/64 11626
/proc/meminfo: memFree=1160168/2055920 swapFree=4181196/4192956
[pid=11626] ppid=11624 vsize=434528 CPUtime=130.02
/proc/11626/stat : 11626 (bsolo) R 11624 11626 11580 0 -1 0 107529 0 0 0 12932 70 0 0 25 0 1 0 197657973 444956672 107333 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11626/statm: 108632 107333 296 55 0 107524 0
Current children cumulated CPU time (s) 130.02
Current children cumulated vsize (Kb) 434528

[startup+140.088 s]
/proc/loadavg: 1.01 1.01 1.00 2/64 11626
/proc/meminfo: memFree=1138408/2055920 swapFree=4181196/4192956
[pid=11626] ppid=11624 vsize=456208 CPUtime=140.02
/proc/11626/stat : 11626 (bsolo) R 11624 11626 11580 0 -1 0 112972 0 0 0 13929 73 0 0 25 0 1 0 197657973 467156992 112775 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548598 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11626/statm: 114052 112775 296 55 0 112944 0
Current children cumulated CPU time (s) 140.02
Current children cumulated vsize (Kb) 456208

[startup+150.095 s]
/proc/loadavg: 1.01 1.01 1.00 2/64 11626
/proc/meminfo: memFree=1113256/2055920 swapFree=4181196/4192956
[pid=11626] ppid=11624 vsize=481608 CPUtime=150.02
/proc/11626/stat : 11626 (bsolo) R 11624 11626 11580 0 -1 0 119326 0 0 0 14925 77 0 0 25 0 1 0 197657973 493166592 119036 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533608 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11626/statm: 120402 119036 296 55 0 119294 0
Current children cumulated CPU time (s) 150.02
Current children cumulated vsize (Kb) 481608

[startup+160.1 s]
/proc/loadavg: 1.01 1.00 1.00 2/64 11626
/proc/meminfo: memFree=1089512/2055920 swapFree=4181196/4192956
[pid=11626] ppid=11624 vsize=505560 CPUtime=160.02
/proc/11626/stat : 11626 (bsolo) R 11624 11626 11580 0 -1 0 125269 0 0 0 15922 80 0 0 25 0 1 0 197657973 517693440 124971 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534127 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11626/statm: 126390 124971 296 55 0 125282 0
Current children cumulated CPU time (s) 160.02
Current children cumulated vsize (Kb) 505560

[startup+170.106 s]
/proc/loadavg: 1.01 1.00 1.00 2/64 11626
/proc/meminfo: memFree=1064104/2055920 swapFree=4181196/4192956
[pid=11626] ppid=11624 vsize=531264 CPUtime=170.03
/proc/11626/stat : 11626 (bsolo) R 11624 11626 11580 0 -1 0 131690 0 0 0 16920 83 0 0 25 0 1 0 197657973 544014336 131304 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529176 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11626/statm: 132816 131304 296 55 0 131708 0
Current children cumulated CPU time (s) 170.03
Current children cumulated vsize (Kb) 531264

[startup+180.112 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 11628
/proc/meminfo: memFree=1037160/2055920 swapFree=4181196/4192956
[pid=11626] ppid=11624 vsize=558376 CPUtime=180.03
/proc/11626/stat : 11626 (bsolo) R 11624 11626 11580 0 -1 0 138508 0 0 0 17915 88 0 0 25 0 1 0 197657973 571777024 138036 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11626/statm: 139594 138036 296 55 0 138486 0
Current children cumulated CPU time (s) 180.03
Current children cumulated vsize (Kb) 558376

[startup+190.118 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 11628
/proc/meminfo: memFree=991144/2055920 swapFree=4181196/4192956
[pid=11626] ppid=11624 vsize=604604 CPUtime=190.03
/proc/11626/stat : 11626 (bsolo) R 11624 11626 11580 0 -1 0 150064 0 0 0 18908 95 0 0 25 0 1 0 197657973 619114496 149503 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524531 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11626/statm: 151151 149503 296 55 0 150043 0
Current children cumulated CPU time (s) 190.03
Current children cumulated vsize (Kb) 604604

[startup+200.124 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 11628
/proc/meminfo: memFree=968040/2055920 swapFree=4181196/4192956
[pid=11626] ppid=11624 vsize=628068 CPUtime=200.03
/proc/11626/stat : 11626 (bsolo) R 11624 11626 11580 0 -1 0 156075 0 0 0 19903 100 0 0 25 0 1 0 197657973 643141632 155268 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528665 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11626/statm: 157017 155268 296 55 0 155909 0
Current children cumulated CPU time (s) 200.03
Current children cumulated vsize (Kb) 628068

[startup+210.13 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 11628
/proc/meminfo: memFree=937320/2055920 swapFree=4181196/4192956

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

Current children cumulated CPU time (s) 1150.35
Current children cumulated vsize (Kb) 1764268

[startup+1160.77 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 11628
/proc/meminfo: memFree=16040/2055920 swapFree=4181196/4192956
[pid=11626] ppid=11624 vsize=1766512 CPUtime=1160.35
/proc/11626/stat : 11626 (bsolo) R 11624 11626 11580 0 -1 0 443021 0 0 0 115743 292 0 0 25 0 1 0 197657973 1808908288 438022 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534890 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11626/statm: 441628 438022 296 55 0 440520 0
Current children cumulated CPU time (s) 1160.35
Current children cumulated vsize (Kb) 1766512

[startup+1170.78 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 11628
/proc/meminfo: memFree=15720/2055920 swapFree=4181196/4192956
[pid=11626] ppid=11624 vsize=1771428 CPUtime=1170.35
/proc/11626/stat : 11626 (bsolo) R 11624 11626 11580 0 -1 0 444248 0 0 0 116742 293 0 0 25 0 1 0 197657973 1813942272 439248 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11626/statm: 442857 439248 296 55 0 441749 0
Current children cumulated CPU time (s) 1170.35
Current children cumulated vsize (Kb) 1771428

[startup+1180.78 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 11628
/proc/meminfo: memFree=15720/2055920 swapFree=4181196/4192956
[pid=11626] ppid=11624 vsize=1775236 CPUtime=1180.36
/proc/11626/stat : 11626 (bsolo) R 11624 11626 11580 0 -1 0 445228 0 0 0 117742 294 0 0 25 0 1 0 197657973 1817841664 440066 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534790 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11626/statm: 443809 440066 296 55 0 442701 0
Current children cumulated CPU time (s) 1180.36
Current children cumulated vsize (Kb) 1775236

[startup+1190.79 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 11628
/proc/meminfo: memFree=15912/2055920 swapFree=4181196/4192956
[pid=11626] ppid=11624 vsize=1781312 CPUtime=1190.36
/proc/11626/stat : 11626 (bsolo) R 11624 11626 11580 0 -1 0 446742 0 0 0 118741 295 0 0 25 0 1 0 197657973 1824063488 441579 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11626/statm: 445328 441579 296 55 0 444220 0
Current children cumulated CPU time (s) 1190.36
Current children cumulated vsize (Kb) 1781312

[startup+1200.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 11628
/proc/meminfo: memFree=15016/2055920 swapFree=4181196/4192956
[pid=11626] ppid=11624 vsize=1784704 CPUtime=1200.36
/proc/11626/stat : 11626 (bsolo) R 11624 11626 11580 0 -1 0 447685 0 0 0 119740 296 0 0 25 0 1 0 197657973 1827536896 442200 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11626/statm: 446176 442200 296 55 0 445068 0
Current children cumulated CPU time (s) 1200.36
Current children cumulated vsize (Kb) 1784704

[startup+1210.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 11628
/proc/meminfo: memFree=15144/2055920 swapFree=4181196/4192956
[pid=11626] ppid=11624 vsize=1786156 CPUtime=1210.37
/proc/11626/stat : 11626 (bsolo) R 11624 11626 11580 0 -1 0 448053 0 0 0 120740 297 0 0 25 0 1 0 197657973 1829023744 442568 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11626/statm: 446539 442568 296 55 0 445431 0
Current children cumulated CPU time (s) 1210.37
Current children cumulated vsize (Kb) 1786156

[startup+1220.81 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 11628
/proc/meminfo: memFree=15656/2055920 swapFree=4181196/4192956
[pid=11626] ppid=11624 vsize=1790380 CPUtime=1220.37
/proc/11626/stat : 11626 (bsolo) R 11624 11626 11580 0 -1 0 449108 0 0 0 121739 298 0 0 25 0 1 0 197657973 1833349120 443623 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 9041531 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11626/statm: 447595 443623 296 55 0 446487 0
Current children cumulated CPU time (s) 1220.37
Current children cumulated vsize (Kb) 1790380

[startup+1230.81 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 11628
/proc/meminfo: memFree=15336/2055920 swapFree=4181196/4192956
[pid=11626] ppid=11624 vsize=1792096 CPUtime=1230.37
/proc/11626/stat : 11626 (bsolo) R 11624 11626 11580 0 -1 0 449549 0 0 0 122739 298 0 0 25 0 1 0 197657973 1835106304 444064 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528659 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11626/statm: 448024 444064 296 55 0 446916 0
Current children cumulated CPU time (s) 1230.37
Current children cumulated vsize (Kb) 1792096

[startup+1240.82 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 11628
/proc/meminfo: memFree=15272/2055920 swapFree=4181196/4192956
[pid=11626] ppid=11624 vsize=1795628 CPUtime=1240.37
/proc/11626/stat : 11626 (bsolo) R 11624 11626 11580 0 -1 0 450429 0 0 0 123738 299 0 0 25 0 1 0 197657973 1838723072 444861 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533608 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11626/statm: 448907 444861 296 55 0 447799 0
Current children cumulated CPU time (s) 1240.37
Current children cumulated vsize (Kb) 1795628

[startup+1250.83 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 11628
/proc/meminfo: memFree=15336/2055920 swapFree=4181196/4192956
[pid=11626] ppid=11624 vsize=1799172 CPUtime=1250.37
/proc/11626/stat : 11626 (bsolo) R 11624 11626 11580 0 -1 0 451344 0 0 0 124738 299 0 0 25 0 1 0 197657973 1842352128 445614 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11626/statm: 449793 445614 296 55 0 448685 0
Current children cumulated CPU time (s) 1250.37
Current children cumulated vsize (Kb) 1799172

[startup+1260.83 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 11628
/proc/meminfo: memFree=16168/2055920 swapFree=4181196/4192956
[pid=11626] ppid=11624 vsize=1804584 CPUtime=1260.38
/proc/11626/stat : 11626 (bsolo) R 11624 11626 11580 0 -1 0 452698 0 0 0 125738 300 0 0 25 0 1 0 197657973 1847894016 446968 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11626/statm: 451146 446968 296 55 0 450038 0
Current children cumulated CPU time (s) 1260.38
Current children cumulated vsize (Kb) 1804584

[startup+1270.84 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 11628
/proc/meminfo: memFree=15144/2055920 swapFree=4181196/4192956
[pid=11626] ppid=11624 vsize=1807092 CPUtime=1270.38
/proc/11626/stat : 11626 (bsolo) R 11624 11626 11580 0 -1 0 453347 0 0 0 126737 301 0 0 25 0 1 0 197657973 1850462208 447617 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11626/statm: 451773 447617 296 55 0 450665 0
Current children cumulated CPU time (s) 1270.38
Current children cumulated vsize (Kb) 1807092

[startup+1280.84 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 11628
/proc/meminfo: memFree=15656/2055920 swapFree=4181196/4192956
[pid=11626] ppid=11624 vsize=1811320 CPUtime=1280.38
/proc/11626/stat : 11626 (bsolo) R 11624 11626 11580 0 -1 0 454394 0 0 0 127737 301 0 0 25 0 1 0 197657973 1854791680 448664 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529176 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11626/statm: 452830 448664 296 55 0 451722 0
Current children cumulated CPU time (s) 1280.38
Current children cumulated vsize (Kb) 1811320

[startup+1290.85 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 11628
/proc/meminfo: memFree=15912/2055920 swapFree=4181196/4192956
[pid=11626] ppid=11624 vsize=1812508 CPUtime=1290.39
/proc/11626/stat : 11626 (bsolo) R 11624 11626 11580 0 -1 0 454712 0 0 0 128737 302 0 0 25 0 1 0 197657973 1856008192 448982 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11626/statm: 453127 448982 296 55 0 452019 0
Current children cumulated CPU time (s) 1290.39
Current children cumulated vsize (Kb) 1812508

[startup+1300.86 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 11628
/proc/meminfo: memFree=15080/2055920 swapFree=4181196/4192956
[pid=11626] ppid=11624 vsize=1818316 CPUtime=1300.39
/proc/11626/stat : 11626 (bsolo) R 11624 11626 11580 0 -1 0 456156 0 0 0 129737 302 0 0 25 0 1 0 197657973 1861955584 450426 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534851 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11626/statm: 454579 450426 296 55 0 453471 0
Current children cumulated CPU time (s) 1300.39
Current children cumulated vsize (Kb) 1818316

[startup+1310.86 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 11628
/proc/meminfo: memFree=15016/2055920 swapFree=4181196/4192956
[pid=11626] ppid=11624 vsize=1820164 CPUtime=1310.39
/proc/11626/stat : 11626 (bsolo) R 11624 11626 11580 0 -1 0 456614 0 0 0 130737 302 0 0 25 0 1 0 197657973 1863847936 450884 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534988 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11626/statm: 455041 450884 296 55 0 453933 0
Current children cumulated CPU time (s) 1310.39
Current children cumulated vsize (Kb) 1820164

[startup+1320.87 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 11628
/proc/meminfo: memFree=15016/2055920 swapFree=4181196/4192956
[pid=11626] ppid=11624 vsize=1823332 CPUtime=1320.39
/proc/11626/stat : 11626 (bsolo) R 11624 11626 11580 0 -1 0 457399 0 0 0 131736 303 0 0 25 0 1 0 197657973 1867091968 451669 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11626/statm: 455833 451669 296 55 0 454725 0
Current children cumulated CPU time (s) 1320.39
Current children cumulated vsize (Kb) 1823332

[startup+1330.87 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 11628
/proc/meminfo: memFree=15720/2055920 swapFree=4181196/4192956
[pid=11626] ppid=11624 vsize=1827160 CPUtime=1330.39
/proc/11626/stat : 11626 (bsolo) R 11624 11626 11580 0 -1 0 458391 0 0 0 132736 303 0 0 25 0 1 0 197657973 1871011840 452661 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529509 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11626/statm: 456790 452661 296 55 0 455682 0
Current children cumulated CPU time (s) 1330.39
Current children cumulated vsize (Kb) 1827160

[startup+1340.88 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 11628
/proc/meminfo: memFree=16104/2055920 swapFree=4181196/4192956
[pid=11626] ppid=11624 vsize=1833100 CPUtime=1340.4
/proc/11626/stat : 11626 (bsolo) R 11624 11626 11580 0 -1 0 459875 0 0 0 133736 304 0 0 25 0 1 0 197657973 1877094400 454145 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607308 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11626/statm: 458275 454145 296 55 0 457167 0
Current children cumulated CPU time (s) 1340.4
Current children cumulated vsize (Kb) 1833100

[startup+1350.88 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 11628
/proc/meminfo: memFree=15912/2055920 swapFree=4181196/4192956
[pid=11626] ppid=11624 vsize=1834948 CPUtime=1350.4
/proc/11626/stat : 11626 (bsolo) R 11624 11626 11580 0 -1 0 460352 0 0 0 134735 305 0 0 25 0 1 0 197657973 1878986752 454622 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533824 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11626/statm: 458737 454622 296 55 0 457629 0
Current children cumulated CPU time (s) 1350.4
Current children cumulated vsize (Kb) 1834948

[startup+1360.89 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 11628
/proc/meminfo: memFree=15720/2055920 swapFree=4181196/4192956
[pid=11626] ppid=11624 vsize=1841416 CPUtime=1360.4
/proc/11626/stat : 11626 (bsolo) R 11624 11626 11580 0 -1 0 461999 0 0 0 135734 306 0 0 25 0 1 0 197657973 1885609984 456269 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11626/statm: 460354 456269 296 55 0 459246 0
Current children cumulated CPU time (s) 1360.4
Current children cumulated vsize (Kb) 1841416

Child ended because it received signal 6 (SIGABRT)
Real time (s): 1363.7
CPU time (s): 1363.21
CPU user time (s): 1359.85
CPU system time (s): 3.35249
CPU usage (%): 99.9637
Max. virtual memory (cumulated for all children) (Kb): 1841416
The end

Launcher Data (download as text)

Begin job on node38 on Sat Jun  3 07:31:57 UTC 2006


FILE ID= 40807-1149319917

PBS_JOBID= 308560

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/SATUNSAT-MEDINT/submitted-PB06/manquiho/Aardal_1/normalized-cuww2.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node38/40807-1149319917/instance-40807-1149319917.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node38/watcher-40807-1149319917 -o ROOT/results/node38/solver-40807-1149319917 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node38/40807-1149319917/instance-40807-1149319917.opb

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  51d899b20f631897b1e4ab45104d8148

RANDOM SEED= 99731502


/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.267
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.267
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:       1589232 kB
Buffers:         29908 kB
Cached:         366488 kB
SwapCached:       3512 kB
Active:          59688 kB
Inactive:       345452 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1589232 kB
SwapTotal:     4192956 kB
SwapFree:      4181196 kB
Dirty:             184 kB
Writeback:           0 kB
Mapped:          14904 kB
Slab:            47504 kB
Committed_AS:   306584 kB
PageTables:       1484 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node38 on Sat Jun  3 07:54:41 UTC 2006