Trace number 39853

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
bsolo 2006/05Signal 1596.33 1596.84

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-reduced-mps-v2-20-10-CMS750_4.opb
MD5SUM55e4261919fe5e3e5c6520778d47a3ef
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables142226
Total number of constraints20881
Number of constraints which are clauses2438
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints18443
Minimum length of a constraint4
Maximum length of a constraint61
Number of terms in the objective function 780
Biggest coefficient in the objective function 261957
Number of bits for the biggest coefficient in the objective function 18
Sum of the numbers in the objective function 524680
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 261957
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 524680
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.08	c INFO: OSL Context initialized.
4.86	c Initial problem consists of 142226 variables and 20882 constraints.
5.52	c No problem reductions applied in OPT. instance.
5.52	c	preprocess terminated. Elapsed time: 5.452
5.52	c After prepocess the problem consists of 142212 variables and 20882 constraints.
5.52	c Initial Lower Bound: -270
11.72	c Restart #1 #Var: 142212 LB: -270 @ 11.648
27.36	c Restart #2 #Var: 142212 LB: -270 @ 27.282
39.10	c Restart #3 #Var: 142212 LB: -270 @ 39.02
81.11	c Restart #4 #Var: 142212 LB: -270 @ 81.016
110.99	c Restart #5 #Var: 142212 LB: -270 @ 110.89
135.77	c Restart #6 #Var: 142212 LB: -270 @ 135.66
189.86	c Restart #7 #Var: 142212 LB: -270 @ 189.74
215.25	c Restart #8 #Var: 142212 LB: -270 @ 215.12
250.00	c Restart #9 #Var: 142212 LB: -270 @ 249.86
277.89	c Restart #10 #Var: 142212 LB: -270 @ 277.74
301.99	c Restart #11 #Var: 142212 LB: -270 @ 301.84
335.43	c Restart #12 #Var: 142212 LB: -270 @ 335.27
363.94	c Restart #13 #Var: 142212 LB: -270 @ 363.77
402.07	c Restart #14 #Var: 142212 LB: -270 @ 401.89
438.48	c Restart #15 #Var: 142212 LB: -270 @ 438.3
481.32	c Restart #16 #Var: 142212 LB: -270 @ 481.12
524.74	c Restart #17 #Var: 142212 LB: -270 @ 524.53
573.21	c Restart #18 #Var: 142212 LB: -270 @ 572.98
622.33	c Restart #19 #Var: 142212 LB: -270 @ 622.1
676.31	c Restart #20 #Var: 142212 LB: -270 @ 676.06
730.90	c Restart #21 #Var: 142212 LB: -270 @ 730.63
790.37	c Restart #22 #Var: 142212 LB: -270 @ 790.1
850.05	c Restart #23 #Var: 142212 LB: -270 @ 849.76
914.88	c CHANGE Heuristic... 
914.88	c Restart #0 #Var: 142212 LB: -270 @ 914.57
914.98	c Restart #1 #Var: 142212 LB: -270 @ 914.67
915.07	c Restart #2 #Var: 142212 LB: -270 @ 914.76
915.15	c Restart #3 #Var: 142212 LB: -270 @ 914.84
915.38	c Restart #4 #Var: 142212 LB: -270 @ 915.07
915.54	c Restart #5 #Var: 142212 LB: -270 @ 915.23
915.91	c Restart #6 #Var: 142212 LB: -270 @ 915.6
916.43	c Restart #7 #Var: 142212 LB: -270 @ 916.12
917.68	c Restart #8 #Var: 142212 LB: -270 @ 917.37
918.30	c Restart #9 #Var: 142212 LB: -270 @ 917.99
918.50	c Restart #10 #Var: 142212 LB: -270 @ 918.19
919.18	c Restart #11 #Var: 142212 LB: -270 @ 918.87
919.44	c Restart #12 #Var: 142212 LB: -270 @ 919.13
920.30	c Restart #13 #Var: 142212 LB: -270 @ 919.98
920.60	c Restart #14 #Var: 142212 LB: -270 @ 920.29
921.60	c Restart #15 #Var: 142212 LB: -270 @ 921.28
921.96	c Restart #16 #Var: 142212 LB: -270 @ 921.65
923.04	c Restart #17 #Var: 142212 LB: -270 @ 922.73
923.47	c Restart #18 #Var: 142212 LB: -270 @ 923.15
924.48	c Restart #19 #Var: 142212 LB: -270 @ 924.17
924.99	c Restart #20 #Var: 142212 LB: -270 @ 924.68
926.00	c Restart #21 #Var: 142212 LB: -270 @ 925.68
926.56	c Restart #22 #Var: 142212 LB: -270 @ 926.25
927.75	c Restart #23 #Var: 142212 LB: -270 @ 927.44
928.40	c Restart #24 #Var: 142212 LB: -270 @ 928.08
929.61	c Restart #25 #Var: 142212 LB: -270 @ 929.3
930.37	c Restart #26 #Var: 142212 LB: -270 @ 930.06
932.06	c Restart #27 #Var: 142212 LB: -270 @ 931.75
933.07	c Restart #28 #Var: 142212 LB: -270 @ 932.76
935.33	c Restart #29 #Var: 142212 LB: -270 @ 935.01
936.19	c Restart #30 #Var: 142212 LB: -270 @ 935.88
938.52	c Restart #31 #Var: 142212 LB: -270 @ 938.2
939.61	c Restart #32 #Var: 142212 LB: -270 @ 939.29
944.75	c Restart #33 #Var: 142212 LB: -270 @ 944.43
945.93	c Restart #34 #Var: 142212 LB: -270 @ 945.61
951.48	c Restart #35 #Var: 142212 LB: -270 @ 951.15
952.60	c Restart #36 #Var: 142212 LB: -270 @ 952.28
956.49	c Restart #37 #Var: 142212 LB: -270 @ 956.17
957.78	c Restart #38 #Var: 142212 LB: -270 @ 957.46
963.27	c Restart #39 #Var: 142212 LB: -270 @ 962.94
964.59	c Restart #40 #Var: 142212 LB: -270 @ 964.26
970.59	c Restart #41 #Var: 142212 LB: -270 @ 970.26
971.97	c Restart #42 #Var: 142212 LB: -270 @ 971.65
978.35	c Restart #43 #Var: 142212 LB: -270 @ 978.02
979.75	c Restart #44 #Var: 142212 LB: -270 @ 979.42
986.06	c Restart #45 #Var: 142212 LB: -270 @ 985.72
987.64	c Restart #46 #Var: 142212 LB: -270 @ 987.3
994.52	c Restart #47 #Var: 142212 LB: -270 @ 994.19
996.24	c Restart #48 #Var: 142212 LB: -270 @ 995.9
1001.86	c Restart #49 #Var: 142212 LB: -270 @ 1001.5
1003.66	c Restart #50 #Var: 142212 LB: -270 @ 1003.3
1009.58	c Restart #51 #Var: 142212 LB: -270 @ 1009.2
1011.53	c Restart #52 #Var: 142212 LB: -270 @ 1011.2
1017.80	c Restart #53 #Var: 142212 LB: -270 @ 1017.5
1019.69	c Restart #54 #Var: 142212 LB: -270 @ 1019.4
1026.33	c Restart #55 #Var: 142212 LB: -270 @ 1026
1028.24	c Restart #56 #Var: 142212 LB: -270 @ 1027.9
1035.11	c Restart #57 #Var: 142212 LB: -270 @ 1034.8
1037.29	c Restart #58 #Var: 142212 LB: -270 @ 1036.9
1044.09	c Restart #59 #Var: 142212 LB: -270 @ 1043.7
1049.94	c Restart #60 #Var: 142212 LB: -270 @ 1049.6
1052.37	c Restart #61 #Var: 142212 LB: -270 @ 1052
1063.19	c Restart #62 #Var: 142212 LB: -270 @ 1062.8
1065.26	c Restart #63 #Var: 142212 LB: -270 @ 1064.9
1070.73	c Restart #64 #Var: 142212 LB: -270 @ 1070.4
1073.06	c Restart #65 #Var: 142212 LB: -270 @ 1072.7
1078.82	c Restart #66 #Var: 142212 LB: -270 @ 1078.5
1080.87	c Restart #67 #Var: 142212 LB: -270 @ 1080.5
1087.26	c Restart #68 #Var: 142212 LB: -270 @ 1086.9
1089.43	c Restart #69 #Var: 142212 LB: -270 @ 1089.1
1095.90	c Restart #70 #Var: 142212 LB: -270 @ 1095.5
1098.11	c Restart #71 #Var: 142212 LB: -270 @ 1097.8
1104.85	c Restart #72 #Var: 142212 LB: -270 @ 1104.5
1107.37	c Restart #73 #Var: 142212 LB: -270 @ 1107
1114.12	c Restart #74 #Var: 142212 LB: -270 @ 1113.8
1116.96	c Restart #75 #Var: 142212 LB: -270 @ 1116.6
1126.78	c Restart #76 #Var: 142212 LB: -270 @ 1126.4
1130.02	c Restart #77 #Var: 142212 LB: -270 @ 1129.6
1141.74	c Restart #78 #Var: 142212 LB: -270 @ 1141.4
1144.91	c Restart #79 #Var: 142212 LB: -270 @ 1144.5
1156.53	c Restart #80 #Var: 142212 LB: -270 @ 1156.1
1159.79	c Restart #81 #Var: 142212 LB: -270 @ 1159.4
1168.98	c Restart #82 #Var: 142212 LB: -270 @ 1168.6
1172.34	c Restart #83 #Var: 142212 LB: -270 @ 1172
1184.40	c Restart #84 #Var: 142212 LB: -270 @ 1184
1187.96	c Restart #85 #Var: 142212 LB: -270 @ 1187.6
1199.96	c Restart #86 #Var: 142212 LB: -270 @ 1199.6
1203.45	c Restart #87 #Var: 142212 LB: -270 @ 1203.1
1216.29	c Restart #88 #Var: 142212 LB: -270 @ 1215.9
1220.17	c Restart #89 #Var: 142212 LB: -270 @ 1219.8
1232.73	c Restart #90 #Var: 142212 LB: -270 @ 1232.3
1236.70	c Restart #91 #Var: 142212 LB: -270 @ 1236.3
1245.00	c Restart #92 #Var: 142212 LB: -270 @ 1244.6
1248.48	c Restart #93 #Var: 142212 LB: -270 @ 1248.1
1256.98	c Restart #94 #Var: 142212 LB: -270 @ 1256.6
1260.66	c Restart #95 #Var: 142212 LB: -270 @ 1260.3
1269.44	c Restart #96 #Var: 142212 LB: -270 @ 1269
1273.37	c Restart #97 #Var: 142212 LB: -270 @ 1273
1281.85	c Restart #98 #Var: 142212 LB: -270 @ 1281.4
1285.79	c Restart #99 #Var: 142212 LB: -270 @ 1285.4
1294.65	c Restart #100 #Var: 142212 LB: -270 @ 1294.2
1298.84	c Restart #101 #Var: 142212 LB: -270 @ 1298.4
1308.12	c Restart #102 #Var: 142212 LB: -270 @ 1307.7
1312.83	c Restart #103 #Var: 142212 LB: -270 @ 1312.4
1322.25	c Restart #104 #Var: 142212 LB: -270 @ 1321.8
1327.39	c Restart #105 #Var: 142212 LB: -270 @ 1327
1341.41	c Restart #106 #Var: 142212 LB: -270 @ 1341
1346.23	c Restart #107 #Var: 142212 LB: -270 @ 1345.8
1361.11	c Restart #108 #Var: 142212 LB: -270 @ 1360.7
1365.94	c Restart #109 #Var: 142212 LB: -270 @ 1365.5
1387.89	c Restart #110 #Var: 142212 LB: -270 @ 1387.5
1393.07	c Restart #111 #Var: 142212 LB: -270 @ 1392.6
1405.94	c Restart #112 #Var: 142212 LB: -270 @ 1405.5
1411.42	c Restart #113 #Var: 142212 LB: -270 @ 1411
1427.91	c Restart #114 #Var: 142212 LB: -270 @ 1427.5
1436.80	c Restart #115 #Var: 142212 LB: -270 @ 1436.3
1456.58	c Restart #116 #Var: 142212 LB: -270 @ 1456.1
1464.53	c Restart #117 #Var: 142212 LB: -270 @ 1464.1
1482.98	c Restart #118 #Var: 142212 LB: -270 @ 1482.5
1488.64	c Restart #119 #Var: 142212 LB: -270 @ 1488.2
1501.20	c Restart #120 #Var: 142212 LB: -270 @ 1500.7
1507.08	c Restart #121 #Var: 142212 LB: -270 @ 1506.6
1530.87	c Restart #122 #Var: 142212 LB: -270 @ 1530.4
1537.18	c Restart #123 #Var: 142212 LB: -270 @ 1536.7
1558.81	c Restart #124 #Var: 142212 LB: -270 @ 1558.3
1566.06	c Restart #125 #Var: 142212 LB: -270 @ 1565.6
1590.81	c Restart #126 #Var: 142212 LB: -270 @ 1590.3

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

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.92 0.98 0.93 2/64 12797
/proc/meminfo: memFree=1376884/2055920 swapFree=4182224/4192956
[pid=12797] ppid=12795 vsize=436 CPUtime=0
/proc/12797/stat : 12797 (bsolo) R 12795 12797 12751 0 -1 0 38 0 0 0 0 0 0 0 19 0 1 0 191872506 446464 23 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 11952932 0 0 4096 0 0 0 0 17 1 0 0
/proc/12797/statm: 109 23 18 55 0 18 0

[startup+10.003 s]
/proc/loadavg: 0.93 0.98 0.93 2/64 12797
/proc/meminfo: memFree=1172036/2055920 swapFree=4182224/4192956
[pid=12797] ppid=12795 vsize=214460 CPUtime=9.92
/proc/12797/stat : 12797 (bsolo) R 12795 12797 12751 0 -1 0 57539 0 0 0 957 35 0 0 25 0 1 0 191872506 219607040 51467 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12797/statm: 53615 51467 296 55 0 52507 0
Current children cumulated CPU time (s) 9.92
Current children cumulated vsize (Kb) 214460

[startup+20.0088 s]
/proc/loadavg: 0.94 0.98 0.93 2/64 12797
/proc/meminfo: memFree=1171460/2055920 swapFree=4182224/4192956
[pid=12797] ppid=12795 vsize=215084 CPUtime=19.92
/proc/12797/stat : 12797 (bsolo) R 12795 12797 12751 0 -1 0 58123 0 0 0 1946 46 0 0 25 0 1 0 191872506 220246016 51634 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12797/statm: 53771 51634 297 55 0 52663 0
Current children cumulated CPU time (s) 19.92
Current children cumulated vsize (Kb) 215084

[startup+30.0146 s]
/proc/loadavg: 0.95 0.98 0.93 2/64 12797
/proc/meminfo: memFree=1171460/2055920 swapFree=4182224/4192956
[pid=12797] ppid=12795 vsize=214828 CPUtime=29.93
/proc/12797/stat : 12797 (bsolo) R 12795 12797 12751 0 -1 0 58184 0 0 0 2932 61 0 0 25 0 1 0 191872506 219983872 51593 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12797/statm: 53707 51593 297 55 0 52599 0
Current children cumulated CPU time (s) 29.93
Current children cumulated vsize (Kb) 214828

[startup+40.0205 s]
/proc/loadavg: 0.96 0.98 0.93 2/64 12797
/proc/meminfo: memFree=1171524/2055920 swapFree=4182224/4192956
[pid=12797] ppid=12795 vsize=214828 CPUtime=39.93
/proc/12797/stat : 12797 (bsolo) R 12795 12797 12751 0 -1 0 58184 0 0 0 3926 67 0 0 25 0 1 0 191872506 219983872 51593 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12797/statm: 53707 51593 297 55 0 52599 0
Current children cumulated CPU time (s) 39.93
Current children cumulated vsize (Kb) 214828

[startup+50.0263 s]
/proc/loadavg: 0.96 0.98 0.93 2/64 12797
/proc/meminfo: memFree=1171332/2055920 swapFree=4182224/4192956
[pid=12797] ppid=12795 vsize=215288 CPUtime=49.94
/proc/12797/stat : 12797 (bsolo) R 12795 12797 12751 0 -1 0 58335 0 0 0 4916 78 0 0 25 0 1 0 191872506 220454912 51677 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548217 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12797/statm: 53822 51677 297 55 0 52714 0
Current children cumulated CPU time (s) 49.94
Current children cumulated vsize (Kb) 215288

[startup+60.0322 s]
/proc/loadavg: 0.97 0.98 0.93 2/64 12797
/proc/meminfo: memFree=1170692/2055920 swapFree=4182224/4192956
[pid=12797] ppid=12795 vsize=215940 CPUtime=59.94
/proc/12797/stat : 12797 (bsolo) R 12795 12797 12751 0 -1 0 58511 0 0 0 5916 78 0 0 25 0 1 0 191872506 221122560 51853 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12797/statm: 53985 51853 297 55 0 52877 0
Current children cumulated CPU time (s) 59.94
Current children cumulated vsize (Kb) 215940

[startup+70.039 s]
/proc/loadavg: 0.97 0.98 0.93 2/64 12797
/proc/meminfo: memFree=1170500/2055920 swapFree=4182224/4192956
[pid=12797] ppid=12795 vsize=216072 CPUtime=69.94
/proc/12797/stat : 12797 (bsolo) R 12795 12797 12751 0 -1 0 58556 0 0 0 6916 78 0 0 25 0 1 0 191872506 221257728 51898 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542291 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12797/statm: 54018 51898 297 55 0 52910 0
Current children cumulated CPU time (s) 69.94
Current children cumulated vsize (Kb) 216072

[startup+80.0449 s]
/proc/loadavg: 0.98 0.98 0.93 2/64 12797
/proc/meminfo: memFree=1170244/2055920 swapFree=4182224/4192956
[pid=12797] ppid=12795 vsize=216272 CPUtime=79.94
/proc/12797/stat : 12797 (bsolo) R 12795 12797 12751 0 -1 0 58620 0 0 0 7916 78 0 0 25 0 1 0 191872506 221462528 51954 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548208 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12797/statm: 54068 51954 297 55 0 52960 0
Current children cumulated CPU time (s) 79.94
Current children cumulated vsize (Kb) 216272

[startup+90.0507 s]
/proc/loadavg: 0.98 0.98 0.93 2/64 12797
/proc/meminfo: memFree=1170244/2055920 swapFree=4182224/4192956
[pid=12797] ppid=12795 vsize=216416 CPUtime=89.94
/proc/12797/stat : 12797 (bsolo) R 12795 12797 12751 0 -1 0 58628 0 0 0 8899 95 0 0 25 0 1 0 191872506 221609984 51962 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537786 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12797/statm: 54104 51962 297 55 0 52996 0
Current children cumulated CPU time (s) 89.94
Current children cumulated vsize (Kb) 216416

[startup+100.057 s]
/proc/loadavg: 0.98 0.98 0.93 2/64 12797
/proc/meminfo: memFree=1170244/2055920 swapFree=4182224/4192956
[pid=12797] ppid=12795 vsize=216416 CPUtime=99.95
/proc/12797/stat : 12797 (bsolo) R 12795 12797 12751 0 -1 0 58628 0 0 0 9893 102 0 0 25 0 1 0 191872506 221609984 51962 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12797/statm: 54104 51962 297 55 0 52996 0
Current children cumulated CPU time (s) 99.95
Current children cumulated vsize (Kb) 216416

[startup+110.062 s]
/proc/loadavg: 0.98 0.98 0.93 2/64 12797
/proc/meminfo: memFree=1170244/2055920 swapFree=4182224/4192956
[pid=12797] ppid=12795 vsize=216328 CPUtime=109.96
/proc/12797/stat : 12797 (bsolo) R 12795 12797 12751 0 -1 0 58628 0 0 0 10891 105 0 0 25 0 1 0 191872506 221519872 51962 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718456 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12797/statm: 54082 51962 297 55 0 52974 0
Current children cumulated CPU time (s) 109.96
Current children cumulated vsize (Kb) 216328

[startup+120.068 s]
/proc/loadavg: 0.99 0.98 0.93 2/64 12797
/proc/meminfo: memFree=1170244/2055920 swapFree=4182224/4192956
[pid=12797] ppid=12795 vsize=216328 CPUtime=119.95
/proc/12797/stat : 12797 (bsolo) R 12795 12797 12751 0 -1 0 58628 0 0 0 11874 121 0 0 25 0 1 0 191872506 221519872 51962 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540691 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12797/statm: 54082 51962 297 55 0 52974 0
Current children cumulated CPU time (s) 119.95
Current children cumulated vsize (Kb) 216328

[startup+130.074 s]
/proc/loadavg: 0.99 0.98 0.93 2/64 12797
/proc/meminfo: memFree=1170244/2055920 swapFree=4182224/4192956
[pid=12797] ppid=12795 vsize=216328 CPUtime=129.96
/proc/12797/stat : 12797 (bsolo) R 12795 12797 12751 0 -1 0 58628 0 0 0 12873 123 0 0 25 0 1 0 191872506 221519872 51962 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548375 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12797/statm: 54082 51962 297 55 0 52974 0
Current children cumulated CPU time (s) 129.96
Current children cumulated vsize (Kb) 216328

[startup+140.079 s]
/proc/loadavg: 0.99 0.98 0.93 2/64 12797
/proc/meminfo: memFree=1170244/2055920 swapFree=4182224/4192956
[pid=12797] ppid=12795 vsize=216328 CPUtime=139.96
/proc/12797/stat : 12797 (bsolo) R 12795 12797 12751 0 -1 0 58628 0 0 0 13863 133 0 0 25 0 1 0 191872506 221519872 51962 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12797/statm: 54082 51962 297 55 0 52974 0
Current children cumulated CPU time (s) 139.96
Current children cumulated vsize (Kb) 216328

[startup+150.085 s]
/proc/loadavg: 0.99 0.98 0.93 2/64 12797
/proc/meminfo: memFree=1170244/2055920 swapFree=4182224/4192956
[pid=12797] ppid=12795 vsize=216328 CPUtime=149.96
/proc/12797/stat : 12797 (bsolo) R 12795 12797 12751 0 -1 0 58628 0 0 0 14854 142 0 0 25 0 1 0 191872506 221519872 51962 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540762 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12797/statm: 54082 51962 297 55 0 52974 0
Current children cumulated CPU time (s) 149.96
Current children cumulated vsize (Kb) 216328

[startup+160.091 s]
/proc/loadavg: 0.99 0.98 0.93 2/64 12797
/proc/meminfo: memFree=1170244/2055920 swapFree=4182224/4192956
[pid=12797] ppid=12795 vsize=216328 CPUtime=159.97
/proc/12797/stat : 12797 (bsolo) R 12795 12797 12751 0 -1 0 58628 0 0 0 15848 149 0 0 25 0 1 0 191872506 221519872 51962 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134523835 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12797/statm: 54082 51962 297 55 0 52974 0
Current children cumulated CPU time (s) 159.97
Current children cumulated vsize (Kb) 216328

[startup+170.097 s]
/proc/loadavg: 0.99 0.98 0.93 2/64 12797
/proc/meminfo: memFree=1170244/2055920 swapFree=4182224/4192956
[pid=12797] ppid=12795 vsize=216328 CPUtime=169.97
/proc/12797/stat : 12797 (bsolo) R 12795 12797 12751 0 -1 0 58628 0 0 0 16848 149 0 0 25 0 1 0 191872506 221519872 51962 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718653 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12797/statm: 54082 51962 297 55 0 52974 0
Current children cumulated CPU time (s) 169.97
Current children cumulated vsize (Kb) 216328

[startup+180.102 s]
/proc/loadavg: 0.99 0.98 0.93 2/64 12797
/proc/meminfo: memFree=1170308/2055920 swapFree=4182224/4192956
[pid=12797] ppid=12795 vsize=216328 CPUtime=179.97
/proc/12797/stat : 12797 (bsolo) R 12795 12797 12751 0 -1 0 58628 0 0 0 17848 149 0 0 25 0 1 0 191872506 221519872 51962 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540691 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12797/statm: 54082 51962 297 55 0 52974 0
Current children cumulated CPU time (s) 179.97
Current children cumulated vsize (Kb) 216328

[startup+190.108 s]
/proc/loadavg: 0.99 0.98 0.93 2/64 12797
/proc/meminfo: memFree=1170308/2055920 swapFree=4182224/4192956
[pid=12797] ppid=12795 vsize=216328 CPUtime=189.98
/proc/12797/stat : 12797 (bsolo) R 12795 12797 12751 0 -1 0 58628 0 0 0 18846 152 0 0 25 0 1 0 191872506 221519872 51962 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12797/statm: 54082 51962 297 55 0 52974 0
Current children cumulated CPU time (s) 189.98
Current children cumulated vsize (Kb) 216328

[startup+200.114 s]
/proc/loadavg: 0.99 0.98 0.93 2/64 12797
/proc/meminfo: memFree=1170308/2055920 swapFree=4182224/4192956
[pid=12797] ppid=12795 vsize=216328 CPUtime=199.98
/proc/12797/stat : 12797 (bsolo) R 12795 12797 12751 0 -1 0 58628 0 0 0 19820 178 0 0 25 0 1 0 191872506 221519872 51962 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718920 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12797/statm: 54082 51962 297 55 0 52974 0
Current children cumulated CPU time (s) 199.98
Current children cumulated vsize (Kb) 216328

[startup+210.12 s]
/proc/loadavg: 0.99 0.98 0.93 2/64 12797
/proc/meminfo: memFree=1170308/2055920 swapFree=4182224/4192956

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

Current children cumulated CPU time (s) 1380.35
Current children cumulated vsize (Kb) 1426604

[startup+1390.8 s]
/proc/loadavg: 0.99 0.98 0.93 2/64 12799
/proc/meminfo: memFree=15108/2055920 swapFree=4182224/4192956
[pid=12797] ppid=12795 vsize=1445856 CPUtime=1390.35
/proc/12797/stat : 12797 (bsolo) R 12795 12797 12751 0 -1 0 368668 0 0 0 138521 514 0 0 25 0 1 0 191872506 1480556544 357693 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12797/statm: 361464 357693 297 55 0 360356 0
Current children cumulated CPU time (s) 1390.35
Current children cumulated vsize (Kb) 1445856

[startup+1400.81 s]
/proc/loadavg: 0.99 0.98 0.93 2/64 12799
/proc/meminfo: memFree=15620/2055920 swapFree=4182224/4192956
[pid=12797] ppid=12795 vsize=1468164 CPUtime=1400.35
/proc/12797/stat : 12797 (bsolo) R 12795 12797 12751 0 -1 0 374307 0 0 0 139517 518 0 0 25 0 1 0 191872506 1503399936 363332 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542257 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12797/statm: 367041 363332 297 55 0 365933 0
Current children cumulated CPU time (s) 1400.35
Current children cumulated vsize (Kb) 1468164

[startup+1410.82 s]
/proc/loadavg: 0.99 0.98 0.93 2/64 12799
/proc/meminfo: memFree=15940/2055920 swapFree=4182216/4192956
[pid=12797] ppid=12795 vsize=1499712 CPUtime=1410.36
/proc/12797/stat : 12797 (bsolo) R 12795 12797 12751 0 -1 0 382258 0 0 0 140512 524 0 0 25 0 1 0 191872506 1535705088 371283 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12797/statm: 374928 371283 297 55 0 373820 0
Current children cumulated CPU time (s) 1410.36
Current children cumulated vsize (Kb) 1499712

[startup+1420.82 s]
/proc/loadavg: 0.99 0.98 0.93 2/64 12799
/proc/meminfo: memFree=15620/2055920 swapFree=4182216/4192956
[pid=12797] ppid=12795 vsize=1510800 CPUtime=1420.36
/proc/12797/stat : 12797 (bsolo) R 12795 12797 12751 0 -1 0 385066 0 0 0 141509 527 0 0 25 0 1 0 191872506 1547059200 374091 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12797/statm: 377700 374091 297 55 0 376592 0
Current children cumulated CPU time (s) 1420.36
Current children cumulated vsize (Kb) 1510800

[startup+1430.83 s]
/proc/loadavg: 0.99 0.98 0.93 2/64 12799
/proc/meminfo: memFree=15940/2055920 swapFree=4182216/4192956
[pid=12797] ppid=12795 vsize=1531572 CPUtime=1430.37
/proc/12797/stat : 12797 (bsolo) R 12795 12797 12751 0 -1 0 390577 0 0 0 142505 532 0 0 25 0 1 0 191872506 1568329728 378394 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12797/statm: 382893 378394 297 55 0 381785 0
Current children cumulated CPU time (s) 1430.37
Current children cumulated vsize (Kb) 1531572

[startup+1440.83 s]
/proc/loadavg: 0.99 0.98 0.93 2/64 12799
/proc/meminfo: memFree=15684/2055920 swapFree=4182216/4192956
[pid=12797] ppid=12795 vsize=1553780 CPUtime=1440.36
/proc/12797/stat : 12797 (bsolo) R 12795 12797 12751 0 -1 0 396281 0 0 0 143501 535 0 0 25 0 1 0 191872506 1591070720 383847 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534063 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12797/statm: 388445 383847 297 55 0 387337 0
Current children cumulated CPU time (s) 1440.36
Current children cumulated vsize (Kb) 1553780

[startup+1450.84 s]
/proc/loadavg: 0.99 0.98 0.93 2/64 12799
/proc/meminfo: memFree=15748/2055920 swapFree=4182216/4192956
[pid=12797] ppid=12795 vsize=1567508 CPUtime=1450.38
/proc/12797/stat : 12797 (bsolo) R 12795 12797 12751 0 -1 0 399735 0 0 0 144499 539 0 0 25 0 1 0 191872506 1605128192 387301 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534896 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12797/statm: 391877 387301 297 55 0 390769 0
Current children cumulated CPU time (s) 1450.38
Current children cumulated vsize (Kb) 1567508

[startup+1460.85 s]
/proc/loadavg: 0.99 0.98 0.93 2/64 12799
/proc/meminfo: memFree=15620/2055920 swapFree=4182216/4192956
[pid=12797] ppid=12795 vsize=1586688 CPUtime=1460.37
/proc/12797/stat : 12797 (bsolo) R 12795 12797 12751 0 -1 0 404638 0 0 0 145494 543 0 0 25 0 1 0 191872506 1624768512 391960 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12797/statm: 396672 391961 297 55 0 395564 0
Current children cumulated CPU time (s) 1460.37
Current children cumulated vsize (Kb) 1586688

[startup+1470.85 s]
/proc/loadavg: 0.99 0.98 0.93 2/64 12799
/proc/meminfo: memFree=15812/2055920 swapFree=4182216/4192956
[pid=12797] ppid=12795 vsize=1608016 CPUtime=1470.38
/proc/12797/stat : 12797 (bsolo) R 12795 12797 12751 0 -1 0 410154 0 0 0 146491 547 0 0 25 0 1 0 191872506 1646608384 396992 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 12387963 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12797/statm: 402004 396992 297 55 0 400896 0
Current children cumulated CPU time (s) 1470.38
Current children cumulated vsize (Kb) 1608016

[startup+1480.86 s]
/proc/loadavg: 0.99 0.98 0.93 2/64 12799
/proc/meminfo: memFree=16068/2055920 swapFree=4182216/4192956
[pid=12797] ppid=12795 vsize=1621480 CPUtime=1480.39
/proc/12797/stat : 12797 (bsolo) R 12795 12797 12751 0 -1 0 413539 0 0 0 147487 552 0 0 25 0 1 0 191872506 1660395520 400377 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12797/statm: 405370 400377 297 55 0 404262 0
Current children cumulated CPU time (s) 1480.39
Current children cumulated vsize (Kb) 1621480

[startup+1490.86 s]
/proc/loadavg: 0.99 0.98 0.93 2/64 12799
/proc/meminfo: memFree=16196/2055920 swapFree=4182216/4192956
[pid=12797] ppid=12795 vsize=1649428 CPUtime=1490.39
/proc/12797/stat : 12797 (bsolo) R 12795 12797 12751 0 -1 0 420681 0 0 0 148483 556 0 0 25 0 1 0 191872506 1689014272 407197 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528669 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12797/statm: 412357 407197 297 55 0 411249 0
Current children cumulated CPU time (s) 1490.39
Current children cumulated vsize (Kb) 1649428

[startup+1500.87 s]
/proc/loadavg: 0.99 0.98 0.93 2/64 12799
/proc/meminfo: memFree=16260/2055920 swapFree=4182216/4192956
[pid=12797] ppid=12795 vsize=1670824 CPUtime=1500.39
/proc/12797/stat : 12797 (bsolo) R 12795 12797 12751 0 -1 0 426059 0 0 0 149478 561 0 0 25 0 1 0 191872506 1710923776 412575 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534988 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12797/statm: 417706 412575 297 55 0 416598 0
Current children cumulated CPU time (s) 1500.39
Current children cumulated vsize (Kb) 1670824

[startup+1510.87 s]
/proc/loadavg: 0.99 0.98 0.93 2/64 12799
/proc/meminfo: memFree=16260/2055920 swapFree=4182216/4192956
[pid=12797] ppid=12795 vsize=1697472 CPUtime=1510.39
/proc/12797/stat : 12797 (bsolo) R 12795 12797 12751 0 -1 0 432815 0 0 0 150472 567 0 0 25 0 1 0 191872506 1738211328 419169 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541162 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12797/statm: 424368 419169 297 55 0 423260 0
Current children cumulated CPU time (s) 1510.39
Current children cumulated vsize (Kb) 1697472

[startup+1520.88 s]
/proc/loadavg: 0.99 0.98 0.93 2/64 12799
/proc/meminfo: memFree=15876/2055920 swapFree=4182216/4192956
[pid=12797] ppid=12795 vsize=1708880 CPUtime=1520.4
/proc/12797/stat : 12797 (bsolo) R 12795 12797 12751 0 -1 0 435702 0 0 0 151469 571 0 0 25 0 1 0 191872506 1749893120 421974 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12797/statm: 427220 421974 297 55 0 426112 0
Current children cumulated CPU time (s) 1520.4
Current children cumulated vsize (Kb) 1708880

[startup+1530.89 s]
/proc/loadavg: 0.99 0.98 0.93 2/64 12799
/proc/meminfo: memFree=15684/2055920 swapFree=4182216/4192956
[pid=12797] ppid=12795 vsize=1719572 CPUtime=1530.4
/proc/12797/stat : 12797 (bsolo) R 12795 12797 12751 0 -1 0 438454 0 0 0 152466 574 0 0 25 0 1 0 191872506 1760841728 424726 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12797/statm: 429893 424726 297 55 0 428785 0
Current children cumulated CPU time (s) 1530.4
Current children cumulated vsize (Kb) 1719572

[startup+1540.89 s]
/proc/loadavg: 0.99 0.98 0.93 2/64 12799
/proc/meminfo: memFree=15044/2055920 swapFree=4182216/4192956
[pid=12797] ppid=12795 vsize=1747800 CPUtime=1540.4
/proc/12797/stat : 12797 (bsolo) R 12795 12797 12751 0 -1 0 445677 0 0 0 153461 579 0 0 25 0 1 0 191872506 1789747200 431787 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12797/statm: 436950 431787 297 55 0 435842 0
Current children cumulated CPU time (s) 1540.4
Current children cumulated vsize (Kb) 1747800

[startup+1550.9 s]
/proc/loadavg: 0.99 0.98 0.93 2/64 12799
/proc/meminfo: memFree=16004/2055920 swapFree=4182216/4192956
[pid=12797] ppid=12795 vsize=1759296 CPUtime=1550.41
/proc/12797/stat : 12797 (bsolo) R 12795 12797 12751 0 -1 0 448543 0 0 0 154458 583 0 0 25 0 1 0 191872506 1801519104 434653 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537565 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12797/statm: 439824 434653 297 55 0 438716 0
Current children cumulated CPU time (s) 1550.41
Current children cumulated vsize (Kb) 1759296

[startup+1560.9 s]
/proc/loadavg: 0.99 0.98 0.93 2/64 12799
/proc/meminfo: memFree=15684/2055920 swapFree=4182216/4192956
[pid=12797] ppid=12795 vsize=1774572 CPUtime=1560.4
/proc/12797/stat : 12797 (bsolo) R 12795 12797 12751 0 -1 0 452464 0 0 0 155453 587 0 0 25 0 1 0 191872506 1817161728 438252 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 12387963 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12797/statm: 443643 438252 297 55 0 442535 0
Current children cumulated CPU time (s) 1560.4
Current children cumulated vsize (Kb) 1774572

[startup+1570.91 s]
/proc/loadavg: 0.99 0.98 0.93 2/64 12799
/proc/meminfo: memFree=15428/2055920 swapFree=4182216/4192956
[pid=12797] ppid=12795 vsize=1798076 CPUtime=1570.42
/proc/12797/stat : 12797 (bsolo) R 12795 12797 12751 0 -1 0 458384 0 0 0 156450 592 0 0 25 0 1 0 191872506 1841229824 444172 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537704 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12797/statm: 449519 444172 297 55 0 448411 0
Current children cumulated CPU time (s) 1570.42
Current children cumulated vsize (Kb) 1798076

[startup+1580.92 s]
/proc/loadavg: 0.99 0.98 0.93 2/64 12799
/proc/meminfo: memFree=14980/2055920 swapFree=4182216/4192956
[pid=12797] ppid=12795 vsize=1807976 CPUtime=1580.41
/proc/12797/stat : 12797 (bsolo) R 12795 12797 12751 0 -1 0 460859 0 0 0 157446 595 0 0 25 0 1 0 191872506 1851367424 446647 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12797/statm: 451994 446647 297 55 0 450886 0
Current children cumulated CPU time (s) 1580.41
Current children cumulated vsize (Kb) 1807976

[startup+1590.92 s]
/proc/loadavg: 0.99 0.98 0.93 2/64 12799
/proc/meminfo: memFree=15492/2055920 swapFree=4182216/4192956
[pid=12797] ppid=12795 vsize=1820052 CPUtime=1590.42
/proc/12797/stat : 12797 (bsolo) R 12795 12797 12751 0 -1 0 463844 0 0 0 158445 597 0 0 25 0 1 0 191872506 1863733248 449630 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12797/statm: 455013 449630 297 55 0 453905 0
Current children cumulated CPU time (s) 1590.42
Current children cumulated vsize (Kb) 1820052

Child ended because it received signal 6 (SIGABRT)
Real time (s): 1596.84
CPU time (s): 1596.33
CPU user time (s): 1590.05
CPU system time (s): 6.28404
CPU usage (%): 99.9678
Max. virtual memory (cumulated for all children) (Kb): 1820052
The end

Launcher Data (download as text)

Begin job on node69 on Fri Jun  2 15:27:05 UTC 2006


FILE ID= 39853-1149262025

PBS_JOBID= 298704

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

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  55e4261919fe5e3e5c6520778d47a3ef

RANDOM SEED= 941814136


/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.232
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.232
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:       1377092 kB
Buffers:         38716 kB
Cached:         566680 kB
SwapCached:       2592 kB
Active:         156768 kB
Inactive:       457548 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1377092 kB
SwapTotal:     4192956 kB
SwapFree:      4182224 kB
Dirty:             148 kB
Writeback:           0 kB
Mapped:          15452 kB
Slab:            50464 kB
Committed_AS:   283496 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 node69 on Fri Jun  2 15:53:42 UTC 2006