Trace number 39708

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 634.528 635.106

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-blast-floppy1-7.ucl.opb
MD5SUMd632a3ec068dee28f1b227f8201fa32b
Bench CategorySATUNSAT-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.097984
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables2913
Total number of constraints3105
Number of constraints which are clauses2259
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints846
Minimum length of a constraint1
Maximum length of a constraint25
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 6518
Number of bits of the biggest number in a constraint 13
Biggest sum of numbers in a constraint 18803
Number of bits of the biggest sum of numbers15
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.14	c Initial problem consists of 2913 variables and 3105 constraints.
0.16	c Using non-optimization problem switches.
0.16	c No problem reductions applied in OPT. instance.
0.16	c	preprocess terminated. Elapsed time: 0.151
0.16	c After prepocess the problem consists of 2410 variables and 2144 constraints.
0.24	c Restart #1 #Var: 2410 LB: 0 @ 0.232
0.41	c Restart #2 #Var: 2410 LB: 0 @ 0.402
0.70	c Restart #3 #Var: 2410 LB: 0 @ 0.686
1.11	c Restart #4 #Var: 2410 LB: 0 @ 1.097
1.52	c Restart #5 #Var: 2410 LB: 0 @ 1.508
1.92	c Restart #6 #Var: 2410 LB: 0 @ 1.908
2.20	c Restart #7 #Var: 2410 LB: 0 @ 2.192
2.39	c Restart #8 #Var: 2410 LB: 0 @ 2.377
2.57	c Restart #9 #Var: 2410 LB: 0 @ 2.556
2.78	c Restart #10 #Var: 2408 LB: 0 @ 2.763
3.00	c Restart #11 #Var: 2408 LB: 0 @ 2.992
3.27	c Restart #12 #Var: 2408 LB: 0 @ 3.258
3.56	c Restart #13 #Var: 2408 LB: 0 @ 3.546
3.86	c Restart #14 #Var: 2408 LB: 0 @ 3.848
4.22	c Restart #15 #Var: 2408 LB: 0 @ 4.208
4.59	c Restart #16 #Var: 2408 LB: 0 @ 4.576
4.98	c Restart #17 #Var: 2408 LB: 0 @ 4.965
5.44	c Restart #18 #Var: 2407 LB: 0 @ 5.423
5.85	c Restart #19 #Var: 2407 LB: 0 @ 5.84
6.32	c Restart #20 #Var: 2407 LB: 0 @ 6.306
6.80	c Restart #21 #Var: 2407 LB: 0 @ 6.79
7.31	c Restart #22 #Var: 2407 LB: 0 @ 7.293
7.87	c Restart #23 #Var: 2407 LB: 0 @ 7.852
8.49	c Restart #24 #Var: 2407 LB: 0 @ 8.473
9.09	c Restart #25 #Var: 2407 LB: 0 @ 9.077
9.78	c Restart #26 #Var: 2407 LB: 0 @ 9.766
10.76	c Restart #27 #Var: 2407 LB: 0 @ 10.738
11.86	c Restart #28 #Var: 2407 LB: 0 @ 11.839
12.71	c Restart #29 #Var: 2407 LB: 0 @ 12.694
13.54	c Restart #30 #Var: 2407 LB: 0 @ 13.516
14.45	c Restart #31 #Var: 2407 LB: 0 @ 14.432
15.32	c Restart #32 #Var: 2407 LB: 0 @ 15.297
16.30	c Restart #33 #Var: 2407 LB: 0 @ 16.276
17.21	c Restart #34 #Var: 2407 LB: 0 @ 17.19
18.25	c Restart #35 #Var: 2407 LB: 0 @ 18.228
19.19	c Restart #36 #Var: 2407 LB: 0 @ 19.171
20.33	c Restart #37 #Var: 2407 LB: 0 @ 20.308
21.38	c Restart #38 #Var: 2407 LB: 0 @ 21.36
22.61	c Restart #39 #Var: 2407 LB: 0 @ 22.587
23.77	c Restart #40 #Var: 2407 LB: 0 @ 23.751
25.05	c Restart #41 #Var: 2407 LB: 0 @ 25.025
26.34	c Restart #42 #Var: 2407 LB: 0 @ 26.321
27.65	c Restart #43 #Var: 2407 LB: 0 @ 27.622
29.05	c Restart #44 #Var: 2407 LB: 0 @ 29.026
30.44	c Restart #45 #Var: 2407 LB: 0 @ 30.416
31.82	c Restart #46 #Var: 2407 LB: 0 @ 31.79
33.48	c Restart #47 #Var: 2407 LB: 0 @ 33.451
35.11	c Restart #48 #Var: 2407 LB: 0 @ 35.082
36.73	c Restart #49 #Var: 2407 LB: 0 @ 36.707
38.37	c Restart #50 #Var: 2407 LB: 0 @ 38.346
39.95	c Restart #51 #Var: 2407 LB: 0 @ 39.92
41.80	c Restart #52 #Var: 2407 LB: 0 @ 41.771
43.72	c Restart #53 #Var: 2407 LB: 0 @ 43.692
45.52	c Restart #54 #Var: 2407 LB: 0 @ 45.492
48.01	c Restart #55 #Var: 2407 LB: 0 @ 47.977
49.80	c Restart #56 #Var: 2407 LB: 0 @ 49.766
51.92	c Restart #57 #Var: 2407 LB: 0 @ 51.888
54.18	c Restart #58 #Var: 2407 LB: 0 @ 54.146
56.25	c Restart #59 #Var: 2407 LB: 0 @ 56.217
58.48	c Restart #60 #Var: 2407 LB: 0 @ 58.445
60.60	c Restart #61 #Var: 2407 LB: 0 @ 60.565
62.82	c Restart #62 #Var: 2407 LB: 0 @ 62.791
64.92	c Restart #63 #Var: 2407 LB: 0 @ 64.886
67.23	c Restart #64 #Var: 2407 LB: 0 @ 67.195
69.30	c Restart #65 #Var: 2407 LB: 0 @ 69.263
71.75	c Restart #66 #Var: 2407 LB: 0 @ 71.716
74.31	c Restart #67 #Var: 2407 LB: 0 @ 74.273
76.99	c Restart #68 #Var: 2407 LB: 0 @ 76.954
79.72	c Restart #69 #Var: 2407 LB: 0 @ 79.684
82.32	c Restart #70 #Var: 2407 LB: 0 @ 82.285
85.16	c Restart #71 #Var: 2407 LB: 0 @ 85.12
87.96	c Restart #72 #Var: 2407 LB: 0 @ 87.919
90.51	c Restart #73 #Var: 2407 LB: 0 @ 90.467
93.50	c Restart #74 #Var: 2407 LB: 0 @ 93.454
96.27	c Restart #75 #Var: 2407 LB: 0 @ 96.231
99.26	c Restart #76 #Var: 2407 LB: 0 @ 99.222
102.52	c Restart #77 #Var: 2407 LB: 0 @ 102.48
105.50	c Restart #78 #Var: 2407 LB: 0 @ 105.46
108.61	c Restart #79 #Var: 2407 LB: 0 @ 108.57
111.81	c Restart #80 #Var: 2407 LB: 0 @ 111.76
115.65	c Restart #81 #Var: 2407 LB: 0 @ 115.6
118.81	c Restart #82 #Var: 2407 LB: 0 @ 118.77
122.49	c Restart #83 #Var: 2407 LB: 0 @ 122.44
126.17	c Restart #84 #Var: 2407 LB: 0 @ 126.12
129.55	c Restart #85 #Var: 2407 LB: 0 @ 129.5
133.43	c Restart #86 #Var: 2407 LB: 0 @ 133.38
137.11	c Restart #87 #Var: 2407 LB: 0 @ 137.06
140.82	c Restart #88 #Var: 2407 LB: 0 @ 140.76
145.16	c Restart #89 #Var: 2407 LB: 0 @ 145.1
150.25	c Restart #90 #Var: 2407 LB: 0 @ 150.19
154.84	c Restart #91 #Var: 2407 LB: 0 @ 154.78
159.22	c Restart #92 #Var: 2407 LB: 0 @ 159.16
163.18	c Restart #93 #Var: 2407 LB: 0 @ 163.12
167.53	c Restart #94 #Var: 2407 LB: 0 @ 167.47
171.56	c Restart #95 #Var: 2407 LB: 0 @ 171.5
175.39	c Restart #96 #Var: 2407 LB: 0 @ 175.33
179.71	c Restart #97 #Var: 2407 LB: 0 @ 179.65
184.00	c Restart #98 #Var: 2407 LB: 0 @ 183.93
189.52	c Restart #99 #Var: 2407 LB: 0 @ 189.45
194.79	c Restart #100 #Var: 2407 LB: 0 @ 194.72
199.86	c Restart #101 #Var: 2407 LB: 0 @ 199.8
204.38	c Restart #102 #Var: 2407 LB: 0 @ 204.32
210.56	c Restart #103 #Var: 2407 LB: 0 @ 210.49
216.14	c Restart #104 #Var: 2407 LB: 0 @ 216.07
221.89	c Restart #105 #Var: 2407 LB: 0 @ 221.82
227.19	c Restart #106 #Var: 2407 LB: 0 @ 227.12
232.77	c Restart #107 #Var: 2407 LB: 0 @ 232.69
238.29	c Restart #108 #Var: 2407 LB: 0 @ 238.21
243.88	c Restart #109 #Var: 2407 LB: 0 @ 243.8
249.72	c Restart #110 #Var: 2407 LB: 0 @ 249.64
255.75	c Restart #111 #Var: 2407 LB: 0 @ 255.66
261.85	c Restart #112 #Var: 2407 LB: 0 @ 261.75
267.53	c Restart #113 #Var: 2407 LB: 0 @ 267.43
273.51	c Restart #114 #Var: 2407 LB: 0 @ 273.4
278.65	c Restart #115 #Var: 2407 LB: 0 @ 278.53
284.48	c Restart #116 #Var: 2407 LB: 0 @ 284.35
290.25	c Restart #117 #Var: 2407 LB: 0 @ 290.11
296.69	c Restart #118 #Var: 2407 LB: 0 @ 296.54
302.95	c Restart #119 #Var: 2407 LB: 0 @ 302.79
309.73	c Restart #120 #Var: 2407 LB: 0 @ 309.57
316.11	c Restart #121 #Var: 2407 LB: 0 @ 315.94
323.28	c Restart #122 #Var: 2407 LB: 0 @ 323.1
330.28	c Restart #123 #Var: 2407 LB: 0 @ 330.09
337.06	c Restart #124 #Var: 2407 LB: 0 @ 336.87
343.83	c Restart #125 #Var: 2407 LB: 0 @ 343.63
351.83	c Restart #126 #Var: 2407 LB: 0 @ 351.62
359.56	c Restart #127 #Var: 2407 LB: 0 @ 359.34
367.72	c Restart #128 #Var: 2407 LB: 0 @ 367.49
375.51	c Restart #129 #Var: 2407 LB: 0 @ 375.27
384.26	c Restart #130 #Var: 2407 LB: 0 @ 384.01
392.29	c Restart #131 #Var: 2407 LB: 0 @ 392.03
400.91	c Restart #132 #Var: 2407 LB: 0 @ 400.64
408.17	c Restart #133 #Var: 2407 LB: 0 @ 407.89
416.25	c Restart #134 #Var: 2407 LB: 0 @ 415.96
423.49	c Restart #135 #Var: 2407 LB: 0 @ 423.19
431.29	c Restart #136 #Var: 2407 LB: 0 @ 430.98
437.87	c Restart #137 #Var: 2407 LB: 0 @ 437.55
446.49	c Restart #138 #Var: 2407 LB: 0 @ 446.16
454.54	c Restart #139 #Var: 2407 LB: 0 @ 454.19
463.53	c Restart #140 #Var: 2407 LB: 0 @ 463.18
471.25	c Restart #141 #Var: 2407 LB: 0 @ 470.89
479.17	c Restart #142 #Var: 2407 LB: 0 @ 478.79
486.94	c Restart #143 #Var: 2407 LB: 0 @ 486.56
495.51	c Restart #144 #Var: 2407 LB: 0 @ 495.12
504.34	c Restart #145 #Var: 2407 LB: 0 @ 503.94
512.55	c Restart #146 #Var: 2407 LB: 0 @ 512.14
520.25	c Restart #147 #Var: 2407 LB: 0 @ 519.83
527.76	c Restart #148 #Var: 2407 LB: 0 @ 527.34
536.92	c Restart #149 #Var: 2407 LB: 0 @ 536.48
546.22	c Restart #150 #Var: 2407 LB: 0 @ 545.77
554.91	c Restart #151 #Var: 2407 LB: 0 @ 554.45
563.16	c Restart #152 #Var: 2407 LB: 0 @ 562.7
572.88	c Restart #153 #Var: 2407 LB: 0 @ 572.4
582.66	c Restart #154 #Var: 2407 LB: 0 @ 582.16
591.53	c Restart #155 #Var: 2407 LB: 0 @ 591.02
601.48	c Restart #156 #Var: 2407 LB: 0 @ 600.96
611.74	c Restart #157 #Var: 2407 LB: 0 @ 611.2
621.14	c Restart #158 #Var: 2407 LB: 0 @ 620.6
630.61	c Restart #159 #Var: 2407 LB: 0 @ 630.05

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

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.77 0.92 0.89 2/64 9699
/proc/meminfo: memFree=888888/2055920 swapFree=4181332/4192956
[pid=9699] ppid=9697 vsize=4664 CPUtime=0
/proc/9699/stat : 9699 (bsolo) R 9697 9699 9654 0 -1 0 155 0 0 0 0 0 0 0 18 0 1 0 189302833 4775936 135 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 9997588 0 0 4096 0 0 0 0 17 1 0 0
/proc/9699/statm: 1166 135 105 55 0 46 0

[startup+10.0024 s]
/proc/loadavg: 0.81 0.92 0.89 2/64 9699
/proc/meminfo: memFree=832568/2055920 swapFree=4181332/4192956
[pid=9699] ppid=9697 vsize=61040 CPUtime=9.98
/proc/9699/stat : 9699 (bsolo) R 9697 9699 9654 0 -1 0 14451 0 0 0 978 20 0 0 25 0 1 0 189302833 62504960 14355 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9699/statm: 15260 14355 300 55 0 14152 0
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 61040

[startup+20.0093 s]
/proc/loadavg: 0.84 0.93 0.90 2/64 9699
/proc/meminfo: memFree=784952/2055920 swapFree=4181332/4192956
[pid=9699] ppid=9697 vsize=109128 CPUtime=19.98
/proc/9699/stat : 9699 (bsolo) R 9697 9699 9654 0 -1 0 26365 0 0 0 1970 28 0 0 25 0 1 0 189302833 111747072 26232 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9699/statm: 27282 26232 300 55 0 26174 0
Current children cumulated CPU time (s) 19.98
Current children cumulated vsize (Kb) 109128

[startup+30.0153 s]
/proc/loadavg: 0.86 0.93 0.90 2/64 9699
/proc/meminfo: memFree=738424/2055920 swapFree=4181332/4192956
[pid=9699] ppid=9697 vsize=156036 CPUtime=29.98
/proc/9699/stat : 9699 (bsolo) R 9697 9699 9654 0 -1 0 38087 0 0 0 2962 36 0 0 25 0 1 0 189302833 159780864 37843 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 10462843 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9699/statm: 39009 37843 300 55 0 37901 0
Current children cumulated CPU time (s) 29.98
Current children cumulated vsize (Kb) 156036

[startup+40.0213 s]
/proc/loadavg: 0.88 0.93 0.90 2/64 9699
/proc/meminfo: memFree=695544/2055920 swapFree=4181332/4192956
[pid=9699] ppid=9697 vsize=199192 CPUtime=39.98
/proc/9699/stat : 9699 (bsolo) R 9697 9699 9654 0 -1 0 48813 0 0 0 3955 43 0 0 25 0 1 0 189302833 203972608 48547 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9699/statm: 49798 48547 300 55 0 48690 0
Current children cumulated CPU time (s) 39.98
Current children cumulated vsize (Kb) 199192

[startup+50.0273 s]
/proc/loadavg: 0.90 0.93 0.90 2/64 9699
/proc/meminfo: memFree=657400/2055920 swapFree=4181332/4192956
[pid=9699] ppid=9697 vsize=237084 CPUtime=49.99
/proc/9699/stat : 9699 (bsolo) R 9697 9699 9654 0 -1 0 58408 0 0 0 4949 50 0 0 25 0 1 0 189302833 242774016 58059 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 10462843 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9699/statm: 59271 58059 300 55 0 58163 0
Current children cumulated CPU time (s) 49.99
Current children cumulated vsize (Kb) 237084

[startup+60.0333 s]
/proc/loadavg: 0.91 0.93 0.90 2/64 9699
/proc/meminfo: memFree=617464/2055920 swapFree=4181332/4192956
[pid=9699] ppid=9697 vsize=278768 CPUtime=59.99
/proc/9699/stat : 9699 (bsolo) R 9697 9699 9654 0 -1 0 68924 0 0 0 5942 57 0 0 25 0 1 0 189302833 285458432 68029 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 10462843 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9699/statm: 69692 68029 300 55 0 68584 0
Current children cumulated CPU time (s) 59.99
Current children cumulated vsize (Kb) 278768

[startup+70.0393 s]
/proc/loadavg: 0.93 0.94 0.90 2/64 9699
/proc/meminfo: memFree=577656/2055920 swapFree=4181332/4192956
[pid=9699] ppid=9697 vsize=318068 CPUtime=69.99
/proc/9699/stat : 9699 (bsolo) R 9697 9699 9654 0 -1 0 78899 0 0 0 6935 64 0 0 25 0 1 0 189302833 325701632 77963 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9699/statm: 79517 77963 300 55 0 78409 0
Current children cumulated CPU time (s) 69.99
Current children cumulated vsize (Kb) 318068

[startup+80.0453 s]
/proc/loadavg: 0.94 0.94 0.90 2/64 9699
/proc/meminfo: memFree=541432/2055920 swapFree=4181332/4192956
[pid=9699] ppid=9697 vsize=354420 CPUtime=80
/proc/9699/stat : 9699 (bsolo) R 9697 9699 9654 0 -1 0 88024 0 0 0 7928 72 0 0 25 0 1 0 189302833 362926080 86999 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548598 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9699/statm: 88605 86999 300 55 0 87497 0
Current children cumulated CPU time (s) 80
Current children cumulated vsize (Kb) 354420

[startup+90.0513 s]
/proc/loadavg: 0.95 0.94 0.90 2/64 9699
/proc/meminfo: memFree=501880/2055920 swapFree=4181332/4192956
[pid=9699] ppid=9697 vsize=393736 CPUtime=90
/proc/9699/stat : 9699 (bsolo) R 9697 9699 9654 0 -1 0 98065 0 0 0 8921 79 0 0 25 0 1 0 189302833 403185664 96876 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9699/statm: 98434 96876 300 55 0 97326 0
Current children cumulated CPU time (s) 90
Current children cumulated vsize (Kb) 393736

[startup+100.057 s]
/proc/loadavg: 0.95 0.94 0.90 2/64 9699
/proc/meminfo: memFree=467768/2055920 swapFree=4181332/4192956
[pid=9699] ppid=9697 vsize=429052 CPUtime=100.01
/proc/9699/stat : 9699 (bsolo) R 9697 9699 9654 0 -1 0 107059 0 0 0 9915 86 0 0 25 0 1 0 189302833 439349248 105382 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533593 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9699/statm: 107263 105382 300 55 0 106155 0
Current children cumulated CPU time (s) 100.01
Current children cumulated vsize (Kb) 429052

[startup+110.063 s]
/proc/loadavg: 0.96 0.94 0.90 2/64 9699
/proc/meminfo: memFree=430904/2055920 swapFree=4181332/4192956
[pid=9699] ppid=9697 vsize=465860 CPUtime=110.01
/proc/9699/stat : 9699 (bsolo) R 9697 9699 9654 0 -1 0 116425 0 0 0 10908 93 0 0 25 0 1 0 189302833 477040640 114586 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9699/statm: 116465 114587 300 55 0 115357 0
Current children cumulated CPU time (s) 110.01
Current children cumulated vsize (Kb) 465860

[startup+120.069 s]
/proc/loadavg: 0.97 0.94 0.91 2/64 9699
/proc/meminfo: memFree=397624/2055920 swapFree=4181332/4192956
[pid=9699] ppid=9697 vsize=501000 CPUtime=120.02
/proc/9699/stat : 9699 (bsolo) R 9697 9699 9654 0 -1 0 125453 0 0 0 11903 99 0 0 25 0 1 0 189302833 513024000 122872 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9699/statm: 125250 122872 300 55 0 124142 0
Current children cumulated CPU time (s) 120.02
Current children cumulated vsize (Kb) 501000

[startup+130.075 s]
/proc/loadavg: 0.97 0.94 0.91 2/64 9699
/proc/meminfo: memFree=364920/2055920 swapFree=4181332/4192956
[pid=9699] ppid=9697 vsize=533584 CPUtime=130.02
/proc/9699/stat : 9699 (bsolo) R 9697 9699 9654 0 -1 0 133778 0 0 0 12897 105 0 0 25 0 1 0 189302833 546390016 131035 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528665 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9699/statm: 133396 131035 300 55 0 132288 0
Current children cumulated CPU time (s) 130.02
Current children cumulated vsize (Kb) 533584

[startup+140.081 s]
/proc/loadavg: 0.98 0.95 0.91 2/64 9699
/proc/meminfo: memFree=329208/2055920 swapFree=4181332/4192956
[pid=9699] ppid=9697 vsize=569844 CPUtime=140.02
/proc/9699/stat : 9699 (bsolo) R 9697 9699 9654 0 -1 0 143007 0 0 0 13891 111 0 0 25 0 1 0 189302833 583520256 139940 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9699/statm: 142461 139940 300 55 0 141353 0
Current children cumulated CPU time (s) 140.02
Current children cumulated vsize (Kb) 569844

[startup+150.087 s]
/proc/loadavg: 0.98 0.95 0.91 2/64 9699
/proc/meminfo: memFree=302648/2055920 swapFree=4181332/4192956
[pid=9699] ppid=9697 vsize=596168 CPUtime=150.03
/proc/9699/stat : 9699 (bsolo) R 9697 9699 9654 0 -1 0 149725 0 0 0 14887 116 0 0 25 0 1 0 189302833 610476032 146576 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529176 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9699/statm: 149042 146576 300 55 0 147934 0
Current children cumulated CPU time (s) 150.03
Current children cumulated vsize (Kb) 596168

[startup+160.093 s]
/proc/loadavg: 0.98 0.95 0.91 2/64 9699
/proc/meminfo: memFree=276280/2055920 swapFree=4181332/4192956
[pid=9699] ppid=9697 vsize=622304 CPUtime=160.02
/proc/9699/stat : 9699 (bsolo) R 9697 9699 9654 0 -1 0 156299 0 0 0 15882 120 0 0 25 0 1 0 189302833 637239296 153150 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548512 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9699/statm: 155576 153150 300 55 0 154468 0
Current children cumulated CPU time (s) 160.02
Current children cumulated vsize (Kb) 622304

[startup+170.099 s]
/proc/loadavg: 0.98 0.95 0.91 2/64 9699
/proc/meminfo: memFree=242040/2055920 swapFree=4181332/4192956
[pid=9699] ppid=9697 vsize=656028 CPUtime=170.03
/proc/9699/stat : 9699 (bsolo) R 9697 9699 9654 0 -1 0 164847 0 0 0 16877 126 0 0 25 0 1 0 189302833 671772672 161696 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 10462843 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9699/statm: 164007 161696 300 55 0 162899 0
Current children cumulated CPU time (s) 170.03
Current children cumulated vsize (Kb) 656028

[startup+180.105 s]
/proc/loadavg: 0.99 0.95 0.91 2/64 9699
/proc/meminfo: memFree=209400/2055920 swapFree=4181332/4192956
[pid=9699] ppid=9697 vsize=688912 CPUtime=180.04
/proc/9699/stat : 9699 (bsolo) R 9697 9699 9654 0 -1 0 173268 0 0 0 17873 131 0 0 25 0 1 0 189302833 705445888 169791 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9699/statm: 172228 169791 300 55 0 171120 0
Current children cumulated CPU time (s) 180.04
Current children cumulated vsize (Kb) 688912

[startup+190.111 s]
/proc/loadavg: 0.99 0.95 0.91 2/64 9699
/proc/meminfo: memFree=181752/2055920 swapFree=4181332/4192956
[pid=9699] ppid=9697 vsize=716236 CPUtime=190.04
/proc/9699/stat : 9699 (bsolo) R 9697 9699 9654 0 -1 0 180216 0 0 0 18869 135 0 0 25 0 1 0 189302833 733425664 176739 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9699/statm: 179059 176739 300 55 0 177951 0
Current children cumulated CPU time (s) 190.04
Current children cumulated vsize (Kb) 716236

[startup+200.117 s]
/proc/loadavg: 0.99 0.95 0.91 2/64 9699
/proc/meminfo: memFree=153400/2055920 swapFree=4181332/4192956
[pid=9699] ppid=9697 vsize=744540 CPUtime=200.04
/proc/9699/stat : 9699 (bsolo) R 9697 9699 9654 0 -1 0 187367 0 0 0 19866 138 0 0 25 0 1 0 189302833 762408960 183808 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9699/statm: 186135 183808 300 55 0 185027 0
Current children cumulated CPU time (s) 200.04
Current children cumulated vsize (Kb) 744540

[startup+210.124 s]
/proc/loadavg: 0.99 0.95 0.91 2/64 9699
/proc/meminfo: memFree=124728/2055920 swapFree=4181332/4192956

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

Current children cumulated CPU time (s) 419.95
Current children cumulated vsize (Kb) 1323088

[startup+430.255 s]
/proc/loadavg: 1.04 0.99 0.91 2/64 9699
/proc/meminfo: memFree=16120/2055920 swapFree=4181332/4192956
[pid=9699] ppid=9697 vsize=1349752 CPUtime=429.94
/proc/9699/stat : 9699 (bsolo) R 9697 9699 9654 0 -1 0 342454 0 0 0 42743 251 0 0 25 0 1 0 189302833 1382146048 332125 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607308 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9699/statm: 337438 332125 300 55 0 336330 0
Current children cumulated CPU time (s) 429.94
Current children cumulated vsize (Kb) 1349752

[startup+440.261 s]
/proc/loadavg: 1.04 0.99 0.91 2/64 9699
/proc/meminfo: memFree=15864/2055920 swapFree=4181332/4192956
[pid=9699] ppid=9697 vsize=1372684 CPUtime=439.93
/proc/9699/stat : 9699 (bsolo) R 9697 9699 9654 0 -1 0 348617 0 0 0 43737 256 0 0 25 0 1 0 189302833 1405628416 337966 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9699/statm: 343171 337966 300 55 0 342063 0
Current children cumulated CPU time (s) 439.93
Current children cumulated vsize (Kb) 1372684

[startup+450.268 s]
/proc/loadavg: 1.03 0.99 0.91 2/64 9699
/proc/meminfo: memFree=15672/2055920 swapFree=4181332/4192956
[pid=9699] ppid=9697 vsize=1397300 CPUtime=449.92
/proc/9699/stat : 9699 (bsolo) R 9697 9699 9654 0 -1 0 354806 0 0 0 44731 261 0 0 25 0 1 0 189302833 1430835200 344146 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 10462843 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9699/statm: 349325 344146 300 55 0 348217 0
Current children cumulated CPU time (s) 449.92
Current children cumulated vsize (Kb) 1397300

[startup+460.273 s]
/proc/loadavg: 1.03 0.99 0.91 2/64 9699
/proc/meminfo: memFree=14840/2055920 swapFree=4181332/4192956
[pid=9699] ppid=9697 vsize=1420928 CPUtime=459.92
/proc/9699/stat : 9699 (bsolo) R 9697 9699 9654 0 -1 0 360750 0 0 0 45727 265 0 0 25 0 1 0 189302833 1455030272 350090 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9699/statm: 355232 350090 300 55 0 354124 0
Current children cumulated CPU time (s) 459.92
Current children cumulated vsize (Kb) 1420928

[startup+470.279 s]
/proc/loadavg: 1.02 0.99 0.91 2/64 9699
/proc/meminfo: memFree=15736/2055920 swapFree=4181332/4192956
[pid=9699] ppid=9697 vsize=1447592 CPUtime=469.91
/proc/9699/stat : 9699 (bsolo) R 9697 9699 9654 0 -1 0 367437 0 0 0 46720 271 0 0 25 0 1 0 189302833 1482334208 356777 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9699/statm: 361898 356777 300 55 0 360790 0
Current children cumulated CPU time (s) 469.91
Current children cumulated vsize (Kb) 1447592

[startup+480.285 s]
/proc/loadavg: 1.02 0.99 0.91 2/64 9699
/proc/meminfo: memFree=15800/2055920 swapFree=4181332/4192956
[pid=9699] ppid=9697 vsize=1467264 CPUtime=479.9
/proc/9699/stat : 9699 (bsolo) R 9697 9699 9654 0 -1 0 372410 0 0 0 47715 275 0 0 25 0 1 0 189302833 1502478336 361750 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9699/statm: 366816 361750 300 55 0 365708 0
Current children cumulated CPU time (s) 479.9
Current children cumulated vsize (Kb) 1467264

[startup+490.291 s]
/proc/loadavg: 1.01 0.99 0.91 2/64 9699
/proc/meminfo: memFree=15736/2055920 swapFree=4181332/4192956
[pid=9699] ppid=9697 vsize=1495696 CPUtime=489.9
/proc/9699/stat : 9699 (bsolo) R 9697 9699 9654 0 -1 0 379631 0 0 0 48710 280 0 0 25 0 1 0 189302833 1531592704 368329 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533192 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9699/statm: 373924 368329 300 55 0 372816 0
Current children cumulated CPU time (s) 489.9
Current children cumulated vsize (Kb) 1495696

[startup+500.297 s]
/proc/loadavg: 1.01 0.99 0.91 2/64 9699
/proc/meminfo: memFree=16184/2055920 swapFree=4181332/4192956
[pid=9699] ppid=9697 vsize=1521172 CPUtime=499.89
/proc/9699/stat : 9699 (bsolo) R 9697 9699 9654 0 -1 0 386061 0 0 0 49705 284 0 0 25 0 1 0 189302833 1557680128 374759 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548714 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9699/statm: 380293 374759 300 55 0 379185 0
Current children cumulated CPU time (s) 499.89
Current children cumulated vsize (Kb) 1521172

[startup+510.304 s]
/proc/loadavg: 1.01 0.99 0.91 2/64 9699
/proc/meminfo: memFree=15224/2055920 swapFree=4181332/4192956
[pid=9699] ppid=9697 vsize=1545068 CPUtime=509.89
/proc/9699/stat : 9699 (bsolo) R 9697 9699 9654 0 -1 0 392149 0 0 0 50700 289 0 0 25 0 1 0 189302833 1582149632 380847 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528470 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9699/statm: 386267 380847 300 55 0 385159 0
Current children cumulated CPU time (s) 509.89
Current children cumulated vsize (Kb) 1545068

[startup+520.31 s]
/proc/loadavg: 1.01 0.99 0.91 2/64 9699
/proc/meminfo: memFree=15992/2055920 swapFree=4181332/4192956
[pid=9699] ppid=9697 vsize=1570412 CPUtime=519.88
/proc/9699/stat : 9699 (bsolo) R 9697 9699 9654 0 -1 0 398567 0 0 0 51694 294 0 0 25 0 1 0 189302833 1608101888 387265 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9699/statm: 392603 387265 300 55 0 391495 0
Current children cumulated CPU time (s) 519.88
Current children cumulated vsize (Kb) 1570412

[startup+530.316 s]
/proc/loadavg: 1.01 0.99 0.91 2/64 9699
/proc/meminfo: memFree=15032/2055920 swapFree=4181332/4192956
[pid=9699] ppid=9697 vsize=1600220 CPUtime=529.89
/proc/9699/stat : 9699 (bsolo) R 9697 9699 9654 0 -1 0 406410 0 0 0 52690 299 0 0 25 0 1 0 189302833 1638625280 393824 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9699/statm: 400055 393824 300 55 0 398947 0
Current children cumulated CPU time (s) 529.89
Current children cumulated vsize (Kb) 1600220

[startup+540.322 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 9699
/proc/meminfo: memFree=15928/2055920 swapFree=4181332/4192956
[pid=9699] ppid=9697 vsize=1622724 CPUtime=539.86
/proc/9699/stat : 9699 (bsolo) R 9697 9699 9654 0 -1 0 412028 0 0 0 53684 302 0 0 25 0 1 0 189302833 1661669376 399433 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9699/statm: 405681 399433 300 55 0 404573 0
Current children cumulated CPU time (s) 539.86
Current children cumulated vsize (Kb) 1622724

[startup+550.329 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 9699
/proc/meminfo: memFree=16056/2055920 swapFree=4181332/4192956
[pid=9699] ppid=9697 vsize=1649256 CPUtime=549.86
/proc/9699/stat : 9699 (bsolo) R 9697 9699 9654 0 -1 0 418948 0 0 0 54678 308 0 0 25 0 1 0 189302833 1688838144 406353 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9699/statm: 412314 406353 300 55 0 411206 0
Current children cumulated CPU time (s) 549.86
Current children cumulated vsize (Kb) 1649256

[startup+560.335 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 9699
/proc/meminfo: memFree=16184/2055920 swapFree=4181332/4192956
[pid=9699] ppid=9697 vsize=1674076 CPUtime=559.86
/proc/9699/stat : 9699 (bsolo) R 9697 9699 9654 0 -1 0 425157 0 0 0 55673 313 0 0 25 0 1 0 189302833 1714253824 412562 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9699/statm: 418519 412562 300 55 0 417411 0
Current children cumulated CPU time (s) 559.86
Current children cumulated vsize (Kb) 1674076

[startup+570.342 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 9699
/proc/meminfo: memFree=15608/2055920 swapFree=4181332/4192956
[pid=9699] ppid=9697 vsize=1695724 CPUtime=569.86
/proc/9699/stat : 9699 (bsolo) R 9697 9699 9654 0 -1 0 430910 0 0 0 56669 317 0 0 25 0 1 0 189302833 1736421376 418315 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 10462843 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9699/statm: 423931 418315 300 55 0 422823 0
Current children cumulated CPU time (s) 569.86
Current children cumulated vsize (Kb) 1695724

[startup+580.348 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 9699
/proc/meminfo: memFree=16120/2055920 swapFree=4181332/4192956
[pid=9699] ppid=9697 vsize=1718956 CPUtime=579.85
/proc/9699/stat : 9699 (bsolo) R 9697 9699 9654 0 -1 0 436725 0 0 0 57664 321 0 0 25 0 1 0 189302833 1760210944 424130 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 10462843 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9699/statm: 429739 424130 300 55 0 428631 0
Current children cumulated CPU time (s) 579.85
Current children cumulated vsize (Kb) 1718956

[startup+590.354 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 9699
/proc/meminfo: memFree=16248/2055920 swapFree=4181332/4192956
[pid=9699] ppid=9697 vsize=1743904 CPUtime=589.84
/proc/9699/stat : 9699 (bsolo) R 9697 9699 9654 0 -1 0 442971 0 0 0 58659 325 0 0 25 0 1 0 189302833 1785757696 430376 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9699/statm: 435976 430376 300 55 0 434868 0
Current children cumulated CPU time (s) 589.84
Current children cumulated vsize (Kb) 1743904

[startup+600.36 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 9699
/proc/meminfo: memFree=15672/2055920 swapFree=4181332/4192956
[pid=9699] ppid=9697 vsize=1765556 CPUtime=599.83
/proc/9699/stat : 9699 (bsolo) R 9697 9699 9654 0 -1 0 448621 0 0 0 59654 329 0 0 25 0 1 0 189302833 1807929344 436026 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9699/statm: 441389 436026 300 55 0 440281 0
Current children cumulated CPU time (s) 599.83
Current children cumulated vsize (Kb) 1765556

[startup+610.366 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 9699
/proc/meminfo: memFree=15672/2055920 swapFree=4181332/4192956
[pid=9699] ppid=9697 vsize=1787336 CPUtime=609.82
/proc/9699/stat : 9699 (bsolo) R 9697 9699 9654 0 -1 0 454109 0 0 0 60649 333 0 0 25 0 1 0 189302833 1830232064 441514 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9699/statm: 446834 441514 300 55 0 445726 0
Current children cumulated CPU time (s) 609.82
Current children cumulated vsize (Kb) 1787336

[startup+620.373 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 9699
/proc/meminfo: memFree=16120/2055920 swapFree=4181332/4192956
[pid=9699] ppid=9697 vsize=1811812 CPUtime=619.82
/proc/9699/stat : 9699 (bsolo) R 9697 9699 9654 0 -1 0 460427 0 0 0 61645 337 0 0 25 0 1 0 189302833 1855295488 447190 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529337 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9699/statm: 452953 447190 300 55 0 451845 0
Current children cumulated CPU time (s) 619.82
Current children cumulated vsize (Kb) 1811812

[startup+630.38 s]
/proc/loadavg: 1.08 1.00 0.92 2/64 9699
/proc/meminfo: memFree=15736/2055920 swapFree=4181332/4192956
[pid=9699] ppid=9697 vsize=1833860 CPUtime=629.81
/proc/9699/stat : 9699 (bsolo) R 9697 9699 9654 0 -1 0 465975 0 0 0 62640 341 0 0 25 0 1 0 189302833 1877872640 452738 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9699/statm: 458465 452738 300 55 0 457357 0
Current children cumulated CPU time (s) 629.81
Current children cumulated vsize (Kb) 1833860

Child ended because it received signal 6 (SIGABRT)
Real time (s): 635.106
CPU time (s): 634.528
CPU user time (s): 630.797
CPU system time (s): 3.73043
CPU usage (%): 99.909
Max. virtual memory (cumulated for all children) (Kb): 1833860
The end

Launcher Data (download as text)

Begin job on node56 on Fri Jun  2 08:19:12 UTC 2006


FILE ID= 39708-1149236352

PBS_JOBID= 296951

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

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  d632a3ec068dee28f1b227f8201fa32b

RANDOM SEED= 430921856


/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:        889032 kB
Buffers:         41956 kB
Cached:        1045388 kB
SwapCached:       3648 kB
Active:         305292 kB
Inactive:       791012 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        889032 kB
SwapTotal:     4192956 kB
SwapFree:      4181332 kB
Dirty:             276 kB
Writeback:           0 kB
Mapped:          14900 kB
Slab:            56524 kB
Committed_AS:   199108 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 node56 on Fri Jun  2 08:29:48 UTC 2006