Trace number 40744

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 862.217 862.465

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-fiber.opb
MD5SUMc3570b707fa12d3d9c0d2ae31848c1b3
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark81843431
Best CPU time to get the best result obtained on this benchmark1801.12
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 65313511
Optimality of the best value was proved NO
Number of variables2574
Total number of constraints363
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)36
Number of constraints which are nor clauses,nor cardinality constraints327
Minimum length of a constraint1
Maximum length of a constraint61
Number of terms in the objective function 1254
Biggest coefficient in the objective function 72966962
Number of bits for the biggest coefficient in the objective function 27
Sum of the numbers in the objective function 4807778524
Number of bits of the sum of numbers in the objective function 33
Biggest number in a constraint 536870912
Number of bits of the biggest number in a constraint 30
Biggest sum of numbers in a constraint 4807778524
Number of bits of the biggest sum of numbers33
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.02	c BIG Int formula...
0.05	c Initial problem consists of 2574 variables and 711 constraints.
0.07	c No problem reductions applied in OPT. instance.
0.07	c	preprocess terminated. Elapsed time: 0.06
0.07	c After prepocess the problem consists of 2066 variables and 590 constraints.
0.07	c Initial Lower Bound: 690360
0.10	c Restart #1 #Var: 2066 LB: 690360 @ 0.096
0.19	c Restart #2 #Var: 2066 LB: 690360 @ 0.185
0.33	c Restart #3 #Var: 2066 LB: 690360 @ 0.32
0.51	c Restart #4 #Var: 2066 LB: 690360 @ 0.502
0.73	c Restart #5 #Var: 2066 LB: 690360 @ 0.721
1.04	c Restart #6 #Var: 2066 LB: 690360 @ 1.031
1.34	c Restart #7 #Var: 2066 LB: 690360 @ 1.338
1.45	c Restart #8 #Var: 2066 LB: 690360 @ 1.444
1.59	c Restart #9 #Var: 2066 LB: 690360 @ 1.579
1.72	c Restart #10 #Var: 2066 LB: 690360 @ 1.716
1.88	c Restart #11 #Var: 2066 LB: 690360 @ 1.876
2.02	c Restart #12 #Var: 2066 LB: 690360 @ 2.015
2.22	c Restart #13 #Var: 2066 LB: 690360 @ 2.216
2.47	c Restart #14 #Var: 2066 LB: 690360 @ 2.463
2.67	c Restart #15 #Var: 2066 LB: 690360 @ 2.663
2.87	c Restart #16 #Var: 2066 LB: 690360 @ 2.862
3.08	c Restart #17 #Var: 2066 LB: 690360 @ 3.071
3.31	c Restart #18 #Var: 2066 LB: 690360 @ 3.3
3.54	c Restart #19 #Var: 2066 LB: 690360 @ 3.527
3.78	c Restart #20 #Var: 2066 LB: 690360 @ 3.767
4.01	c Restart #21 #Var: 2066 LB: 690360 @ 3.994
4.23	c Restart #22 #Var: 2066 LB: 690360 @ 4.214
4.51	c Restart #23 #Var: 2066 LB: 690360 @ 4.503
4.91	c Restart #24 #Var: 2066 LB: 690360 @ 4.897
5.26	c Restart #25 #Var: 2066 LB: 690360 @ 5.252
5.99	c Restart #26 #Var: 2066 LB: 690360 @ 5.978
6.61	c Restart #27 #Var: 2066 LB: 690360 @ 6.598
7.52	c Restart #28 #Var: 2066 LB: 690360 @ 7.502
7.90	c Restart #29 #Var: 2066 LB: 690360 @ 7.889
8.86	c Restart #30 #Var: 2066 LB: 690360 @ 8.852
9.31	c Restart #31 #Var: 2066 LB: 690360 @ 9.3
10.27	c Restart #32 #Var: 2066 LB: 690360 @ 10.255
10.87	c Restart #33 #Var: 2066 LB: 690360 @ 10.853
11.77	c Restart #34 #Var: 2066 LB: 690360 @ 11.753
12.30	c Restart #35 #Var: 2066 LB: 690360 @ 12.288
13.23	c Restart #36 #Var: 2066 LB: 690360 @ 13.219
13.94	c Restart #37 #Var: 2066 LB: 690360 @ 13.926
14.87	c Restart #38 #Var: 2066 LB: 690360 @ 14.855
15.34	c Restart #39 #Var: 2066 LB: 690360 @ 15.328
15.98	c Restart #40 #Var: 2066 LB: 690360 @ 15.96
16.70	c Restart #41 #Var: 2066 LB: 690360 @ 16.686
17.61	c Restart #42 #Var: 2066 LB: 690360 @ 17.598
18.85	c Restart #43 #Var: 2066 LB: 690360 @ 18.839
20.20	c Restart #44 #Var: 2066 LB: 690360 @ 20.189
21.36	c Restart #45 #Var: 2066 LB: 690360 @ 21.341
22.38	c Restart #46 #Var: 2066 LB: 690360 @ 22.367
22.90	c Restart #47 #Var: 2066 LB: 690360 @ 22.879
26.13	c Restart #48 #Var: 2066 LB: 690360 @ 26.117
27.38	c Restart #49 #Var: 2066 LB: 690360 @ 27.359
27.98	c Restart #50 #Var: 2066 LB: 690360 @ 27.965
29.33	c Restart #51 #Var: 2066 LB: 690360 @ 29.313
32.84	c Restart #52 #Var: 2066 LB: 690360 @ 32.82
38.75	c Restart #53 #Var: 2066 LB: 690360 @ 38.733
44.60	c Restart #54 #Var: 2066 LB: 690360 @ 44.58
50.54	c Restart #55 #Var: 2066 LB: 690360 @ 50.52
54.75	c Restart #56 #Var: 2066 LB: 690360 @ 54.728
55.86	c Restart #57 #Var: 2066 LB: 690360 @ 55.835
58.05	c Restart #58 #Var: 2066 LB: 690360 @ 58.028
60.13	c Restart #59 #Var: 2066 LB: 690360 @ 60.1
63.92	c Restart #60 #Var: 2066 LB: 690360 @ 63.887
67.41	c Restart #61 #Var: 2066 LB: 690360 @ 67.385
71.79	c Restart #62 #Var: 2066 LB: 690360 @ 71.757
72.70	c Restart #63 #Var: 2066 LB: 690360 @ 72.669
73.82	c Restart #64 #Var: 2066 LB: 690360 @ 73.792
76.11	c Restart #65 #Var: 2066 LB: 690360 @ 76.08
78.02	c Restart #66 #Var: 2066 LB: 690360 @ 77.992
81.54	c Restart #67 #Var: 2066 LB: 690360 @ 81.506
85.12	c Restart #68 #Var: 2066 LB: 690360 @ 85.083
89.89	c Restart #69 #Var: 2066 LB: 690360 @ 89.856
94.54	c Restart #70 #Var: 2066 LB: 690360 @ 94.501
100.20	c Restart #71 #Var: 2066 LB: 690360 @ 100.17
104.44	c Restart #72 #Var: 2066 LB: 690360 @ 104.4
110.86	c Restart #73 #Var: 2066 LB: 690360 @ 110.82
115.74	c Restart #74 #Var: 2066 LB: 690360 @ 115.7
122.48	c Restart #75 #Var: 2066 LB: 690360 @ 122.43
129.27	c Restart #76 #Var: 2066 LB: 690360 @ 129.22
137.95	c Restart #77 #Var: 2066 LB: 690360 @ 137.9
143.15	c Restart #78 #Var: 2066 LB: 690360 @ 143.1
151.46	c Restart #79 #Var: 2066 LB: 690360 @ 151.41
161.91	c Restart #80 #Var: 2066 LB: 690360 @ 161.86
171.27	c Restart #81 #Var: 2066 LB: 690360 @ 171.22
181.40	c Restart #82 #Var: 2066 LB: 690360 @ 181.34
191.94	c Restart #83 #Var: 2066 LB: 690360 @ 191.88
201.46	c Restart #84 #Var: 2066 LB: 690360 @ 201.39
217.09	c Restart #85 #Var: 2066 LB: 690360 @ 217.02
228.04	c Restart #86 #Var: 2066 LB: 690360 @ 227.97
238.54	c Restart #87 #Var: 2066 LB: 690360 @ 238.46
251.08	c Restart #88 #Var: 2066 LB: 690360 @ 251
261.20	c Restart #89 #Var: 2066 LB: 690360 @ 261.12
272.05	c Restart #90 #Var: 2066 LB: 690360 @ 271.97
283.18	c Restart #91 #Var: 2066 LB: 690360 @ 283.09
293.83	c Restart #92 #Var: 2066 LB: 690360 @ 293.74
310.98	c Restart #93 #Var: 2066 LB: 690360 @ 310.88
325.12	c Restart #94 #Var: 2066 LB: 690360 @ 325.02
332.86	c Restart #95 #Var: 2066 LB: 690360 @ 332.76
349.28	c Restart #96 #Var: 2066 LB: 690360 @ 349.17
367.09	c Restart #97 #Var: 2066 LB: 690360 @ 366.99
381.15	c Restart #98 #Var: 2066 LB: 690360 @ 381.04
401.43	c Restart #99 #Var: 2066 LB: 690360 @ 401.31
422.48	c Restart #100 #Var: 2066 LB: 690360 @ 422.36
441.76	c Restart #101 #Var: 2066 LB: 690360 @ 441.63
456.97	c Restart #102 #Var: 2066 LB: 690360 @ 456.83
475.84	c Restart #103 #Var: 2066 LB: 690360 @ 475.7
497.83	c Restart #104 #Var: 2066 LB: 690360 @ 497.69
501.09	c Restart #105 #Var: 2066 LB: 690360 @ 500.94
510.60	c Restart #106 #Var: 2066 LB: 690360 @ 510.45
514.30	c Restart #107 #Var: 2066 LB: 690360 @ 514.15
527.99	c Restart #108 #Var: 2066 LB: 690360 @ 527.83
546.77	c Restart #109 #Var: 2066 LB: 690360 @ 546.61
566.16	c Restart #110 #Var: 2066 LB: 690360 @ 566
569.69	c Restart #111 #Var: 2066 LB: 690360 @ 569.52
574.56	c Restart #112 #Var: 2066 LB: 690360 @ 574.39
580.13	c Restart #113 #Var: 2066 LB: 690360 @ 579.96
583.54	c Restart #114 #Var: 2066 LB: 690360 @ 583.37
593.91	c Restart #115 #Var: 2066 LB: 690360 @ 593.74
602.68	c Restart #116 #Var: 2066 LB: 690360 @ 602.51
613.61	c Restart #117 #Var: 2066 LB: 690360 @ 613.43
622.38	c Restart #118 #Var: 2066 LB: 690360 @ 622.2
636.01	c Restart #119 #Var: 2066 LB: 690360 @ 635.83
649.63	c Restart #120 #Var: 2066 LB: 690360 @ 649.45
660.44	c Restart #121 #Var: 2066 LB: 690360 @ 660.25
677.77	c Restart #122 #Var: 2066 LB: 690360 @ 677.57
700.03	c Restart #123 #Var: 2066 LB: 690360 @ 699.83
711.12	c Restart #124 #Var: 2066 LB: 690360 @ 710.92
733.33	c Restart #125 #Var: 2066 LB: 690360 @ 733.12
739.50	c Restart #126 #Var: 2066 LB: 690360 @ 739.29
744.02	c Restart #127 #Var: 2066 LB: 690360 @ 743.81
747.48	c Restart #128 #Var: 2066 LB: 690360 @ 747.27
752.07	c Restart #129 #Var: 2066 LB: 690360 @ 751.86
758.12	c Restart #130 #Var: 2066 LB: 690360 @ 757.91
775.35	c Restart #131 #Var: 2066 LB: 690360 @ 775.13
789.09	c Restart #132 #Var: 2066 LB: 690360 @ 788.87
853.22	c Restart #133 #Var: 2066 LB: 690360 @ 852.98

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

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.92 0.98 0.96 1/64 3574
/proc/meminfo: memFree=1825728/2055920 swapFree=4181380/4192956
[pid=3574] ppid=3572 vsize=4664 CPUtime=0
/proc/3574/stat : 3574 (bsolo) R 3572 3574 3528 0 -1 0 140 0 0 0 0 0 0 0 19 0 1 0 197161415 4775936 121 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 7983192 0 0 4096 0 0 0 0 17 1 0 0
/proc/3574/statm: 1166 123 103 55 0 46 0

[startup+10.0025 s]
/proc/loadavg: 0.93 0.98 0.96 2/64 3574
/proc/meminfo: memFree=1705408/2055920 swapFree=4181380/4192956
[pid=3574] ppid=3572 vsize=124624 CPUtime=9.98
/proc/3574/stat : 3574 (bsolo) R 3572 3574 3528 0 -1 0 30385 0 0 0 964 34 0 0 25 0 1 0 197161415 127614976 30299 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3574/statm: 31156 30299 300 55 0 30048 0
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 124624

[startup+20.0097 s]
/proc/loadavg: 0.94 0.98 0.96 2/64 3574
/proc/meminfo: memFree=1631568/2055920 swapFree=4181380/4192956
[pid=3574] ppid=3572 vsize=198492 CPUtime=19.98
/proc/3574/stat : 3574 (bsolo) R 3572 3574 3528 0 -1 0 48833 0 0 0 1951 47 0 0 25 0 1 0 197161415 203255808 48742 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3574/statm: 49623 48743 300 55 0 48515 0
Current children cumulated CPU time (s) 19.98
Current children cumulated vsize (Kb) 198492

[startup+30.0159 s]
/proc/loadavg: 0.95 0.98 0.96 2/64 3574
/proc/meminfo: memFree=1564432/2055920 swapFree=4181380/4192956
[pid=3574] ppid=3572 vsize=265760 CPUtime=29.99
/proc/3574/stat : 3574 (bsolo) R 3572 3574 3528 0 -1 0 65606 0 0 0 2940 59 0 0 25 0 1 0 197161415 272138240 65512 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3574/statm: 66440 65512 300 55 0 65332 0
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 265760

[startup+40.0221 s]
/proc/loadavg: 0.96 0.98 0.96 2/64 3574
/proc/meminfo: memFree=1543056/2055920 swapFree=4181380/4192956
[pid=3574] ppid=3572 vsize=287212 CPUtime=39.99
/proc/3574/stat : 3574 (bsolo) R 3572 3574 3528 0 -1 0 70933 0 0 0 3936 63 0 0 25 0 1 0 197161415 294105088 70835 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3574/statm: 71803 70835 300 55 0 70695 0
Current children cumulated CPU time (s) 39.99
Current children cumulated vsize (Kb) 287212

[startup+50.0283 s]
/proc/loadavg: 0.96 0.98 0.96 2/64 3574
/proc/meminfo: memFree=1523280/2055920 swapFree=4181380/4192956
[pid=3574] ppid=3572 vsize=306936 CPUtime=50
/proc/3574/stat : 3574 (bsolo) R 3572 3574 3528 0 -1 0 75889 0 0 0 4932 68 0 0 25 0 1 0 197161415 314302464 75786 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533824 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3574/statm: 76734 75786 300 55 0 75626 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 306936

[startup+60.0345 s]
/proc/loadavg: 0.97 0.98 0.96 2/64 3574
/proc/meminfo: memFree=1478800/2055920 swapFree=4181380/4192956
[pid=3574] ppid=3572 vsize=351480 CPUtime=60
/proc/3574/stat : 3574 (bsolo) R 3572 3574 3528 0 -1 0 86990 0 0 0 5924 76 0 0 25 0 1 0 197161415 359915520 86882 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 8414843 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3574/statm: 87870 86882 300 55 0 86762 0
Current children cumulated CPU time (s) 60
Current children cumulated vsize (Kb) 351480

[startup+70.0407 s]
/proc/loadavg: 0.97 0.98 0.96 2/64 3574
/proc/meminfo: memFree=1448016/2055920 swapFree=4181380/4192956
[pid=3574] ppid=3572 vsize=382360 CPUtime=70
/proc/3574/stat : 3574 (bsolo) R 3572 3574 3528 0 -1 0 94675 0 0 0 6920 80 0 0 25 0 1 0 197161415 391536640 94561 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3574/statm: 95590 94561 300 55 0 94482 0
Current children cumulated CPU time (s) 70
Current children cumulated vsize (Kb) 382360

[startup+80.0469 s]
/proc/loadavg: 0.98 0.98 0.96 2/64 3574
/proc/meminfo: memFree=1380816/2055920 swapFree=4181380/4192956
[pid=3574] ppid=3572 vsize=449612 CPUtime=80.01
/proc/3574/stat : 3574 (bsolo) R 3572 3574 3528 0 -1 0 111448 0 0 0 7909 92 0 0 25 0 1 0 197161415 460402688 111333 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533593 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3574/statm: 112403 111333 300 55 0 111295 0
Current children cumulated CPU time (s) 80.01
Current children cumulated vsize (Kb) 449612

[startup+90.0531 s]
/proc/loadavg: 0.98 0.98 0.96 2/64 3574
/proc/meminfo: memFree=1344528/2055920 swapFree=4181380/4192956
[pid=3574] ppid=3572 vsize=485976 CPUtime=90.01
/proc/3574/stat : 3574 (bsolo) R 3572 3574 3528 0 -1 0 120508 0 0 0 8901 100 0 0 25 0 1 0 197161415 497639424 120383 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3574/statm: 121494 120383 300 55 0 120386 0
Current children cumulated CPU time (s) 90.01
Current children cumulated vsize (Kb) 485976

[startup+100.059 s]
/proc/loadavg: 0.98 0.98 0.96 2/64 3574
/proc/meminfo: memFree=1314128/2055920 swapFree=4181380/4192956
[pid=3574] ppid=3572 vsize=516524 CPUtime=100.02
/proc/3574/stat : 3574 (bsolo) R 3572 3574 3528 0 -1 0 128109 0 0 0 9896 106 0 0 25 0 1 0 197161415 528920576 127975 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533608 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3574/statm: 129131 127975 300 55 0 128023 0
Current children cumulated CPU time (s) 100.02
Current children cumulated vsize (Kb) 516524

[startup+110.065 s]
/proc/loadavg: 0.98 0.98 0.96 2/64 3574
/proc/meminfo: memFree=1283536/2055920 swapFree=4181380/4192956
[pid=3574] ppid=3572 vsize=547240 CPUtime=110.02
/proc/3574/stat : 3574 (bsolo) R 3572 3574 3528 0 -1 0 135743 0 0 0 10890 112 0 0 25 0 1 0 197161415 560373760 135599 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3574/statm: 136810 135599 300 55 0 135702 0
Current children cumulated CPU time (s) 110.02
Current children cumulated vsize (Kb) 547240

[startup+120.072 s]
/proc/loadavg: 0.99 0.98 0.96 2/64 3574
/proc/meminfo: memFree=1254096/2055920 swapFree=4181380/4192956
[pid=3574] ppid=3572 vsize=576640 CPUtime=120.02
/proc/3574/stat : 3574 (bsolo) R 3572 3574 3528 0 -1 0 143092 0 0 0 11883 119 0 0 25 0 1 0 197161415 590479360 142944 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548688 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3574/statm: 144160 142944 300 55 0 143052 0
Current children cumulated CPU time (s) 120.02
Current children cumulated vsize (Kb) 576640

[startup+130.078 s]
/proc/loadavg: 0.99 0.98 0.96 2/64 3574
/proc/meminfo: memFree=1232080/2055920 swapFree=4181380/4192956
[pid=3574] ppid=3572 vsize=598844 CPUtime=130.02
/proc/3574/stat : 3574 (bsolo) R 3572 3574 3528 0 -1 0 148599 0 0 0 12878 124 0 0 25 0 1 0 197161415 613216256 148439 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548420 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3574/statm: 149711 148439 300 55 0 148603 0
Current children cumulated CPU time (s) 130.02
Current children cumulated vsize (Kb) 598844

[startup+140.083 s]
/proc/loadavg: 0.99 0.98 0.96 2/64 3574
/proc/meminfo: memFree=1210192/2055920 swapFree=4181380/4192956
[pid=3574] ppid=3572 vsize=620840 CPUtime=140.03
/proc/3574/stat : 3574 (bsolo) R 3572 3574 3528 0 -1 0 154074 0 0 0 13875 128 0 0 25 0 1 0 197161415 635740160 153910 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3574/statm: 155210 153910 300 55 0 154102 0
Current children cumulated CPU time (s) 140.03
Current children cumulated vsize (Kb) 620840

[startup+150.089 s]
/proc/loadavg: 0.99 0.98 0.96 2/64 3574
/proc/meminfo: memFree=1184272/2055920 swapFree=4181380/4192956
[pid=3574] ppid=3572 vsize=646724 CPUtime=150.03
/proc/3574/stat : 3574 (bsolo) R 3572 3574 3528 0 -1 0 160544 0 0 0 14870 133 0 0 25 0 1 0 197161415 662245376 160369 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533608 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3574/statm: 161681 160369 300 55 0 160573 0
Current children cumulated CPU time (s) 150.03
Current children cumulated vsize (Kb) 646724

[startup+160.095 s]
/proc/loadavg: 0.99 0.98 0.96 2/64 3574
/proc/meminfo: memFree=1165520/2055920 swapFree=4181380/4192956
[pid=3574] ppid=3572 vsize=665600 CPUtime=160.04
/proc/3574/stat : 3574 (bsolo) R 3572 3574 3528 0 -1 0 165243 0 0 0 15868 136 0 0 25 0 1 0 197161415 681574400 165048 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3574/statm: 166400 165048 300 55 0 165292 0
Current children cumulated CPU time (s) 160.04
Current children cumulated vsize (Kb) 665600

[startup+170.102 s]
/proc/loadavg: 0.99 0.98 0.96 2/64 3574
/proc/meminfo: memFree=1148432/2055920 swapFree=4181380/4192956
[pid=3574] ppid=3572 vsize=683088 CPUtime=170.03
/proc/3574/stat : 3574 (bsolo) R 3572 3574 3528 0 -1 0 169525 0 0 0 16865 138 0 0 25 0 1 0 197161415 699482112 169321 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3574/statm: 170772 169321 300 55 0 169664 0
Current children cumulated CPU time (s) 170.03
Current children cumulated vsize (Kb) 683088

[startup+180.108 s]
/proc/loadavg: 0.99 0.98 0.96 2/64 3574
/proc/meminfo: memFree=1129808/2055920 swapFree=4181380/4192956
[pid=3574] ppid=3572 vsize=701912 CPUtime=180.04
/proc/3574/stat : 3574 (bsolo) R 3572 3574 3528 0 -1 0 174190 0 0 0 17863 141 0 0 25 0 1 0 197161415 718757888 173981 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 8414843 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3574/statm: 175478 173981 300 55 0 174370 0
Current children cumulated CPU time (s) 180.04
Current children cumulated vsize (Kb) 701912

[startup+190.115 s]
/proc/loadavg: 0.99 0.98 0.96 2/64 3574
/proc/meminfo: memFree=1114064/2055920 swapFree=4181380/4192956
[pid=3574] ppid=3572 vsize=717440 CPUtime=190.04
/proc/3574/stat : 3574 (bsolo) R 3572 3574 3528 0 -1 0 178099 0 0 0 18861 143 0 0 25 0 1 0 197161415 734658560 177885 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533608 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3574/statm: 179360 177885 300 55 0 178252 0
Current children cumulated CPU time (s) 190.04
Current children cumulated vsize (Kb) 717440

[startup+200.12 s]
/proc/loadavg: 0.99 0.98 0.96 2/64 3574
/proc/meminfo: memFree=1091600/2055920 swapFree=4181380/4192956
[pid=3574] ppid=3572 vsize=739784 CPUtime=200.05
/proc/3574/stat : 3574 (bsolo) R 3572 3574 3528 0 -1 0 183696 0 0 0 19857 148 0 0 25 0 1 0 197161415 757538816 183482 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548453 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3574/statm: 184946 183482 300 55 0 183838 0
Current children cumulated CPU time (s) 200.05
Current children cumulated vsize (Kb) 739784

[startup+210.126 s]
/proc/loadavg: 0.99 0.98 0.96 2/64 3574
/proc/meminfo: memFree=1079504/2055920 swapFree=4181380/4192956

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

Current children cumulated CPU time (s) 650.21
Current children cumulated vsize (Kb) 1507776

[startup+660.407 s]
/proc/loadavg: 0.99 0.98 0.96 2/64 3574
/proc/meminfo: memFree=304272/2055920 swapFree=4181380/4192956
[pid=3574] ppid=3572 vsize=1531696 CPUtime=660.21
/proc/3574/stat : 3574 (bsolo) R 3572 3574 3528 0 -1 0 382179 0 0 0 65729 292 0 0 25 0 1 0 197161415 1568456704 379904 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607308 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3574/statm: 382924 379904 300 55 0 381816 0
Current children cumulated CPU time (s) 660.21
Current children cumulated vsize (Kb) 1531696

[startup+670.414 s]
/proc/loadavg: 0.99 0.98 0.96 2/64 3574
/proc/meminfo: memFree=291856/2055920 swapFree=4181380/4192956
[pid=3574] ppid=3572 vsize=1544084 CPUtime=670.21
/proc/3574/stat : 3574 (bsolo) R 3572 3574 3528 0 -1 0 385289 0 0 0 66726 295 0 0 25 0 1 0 197161415 1581142016 383010 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3574/statm: 386021 383010 300 55 0 384913 0
Current children cumulated CPU time (s) 670.21
Current children cumulated vsize (Kb) 1544084

[startup+680.421 s]
/proc/loadavg: 0.99 0.98 0.96 2/64 3574
/proc/meminfo: memFree=279888/2055920 swapFree=4181380/4192956
[pid=3574] ppid=3572 vsize=1555928 CPUtime=680.22
/proc/3574/stat : 3574 (bsolo) R 3572 3574 3528 0 -1 0 388277 0 0 0 67724 298 0 0 25 0 1 0 197161415 1593270272 385988 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3574/statm: 388982 385988 300 55 0 387874 0
Current children cumulated CPU time (s) 680.22
Current children cumulated vsize (Kb) 1555928

[startup+690.427 s]
/proc/loadavg: 0.99 0.98 0.96 2/64 3574
/proc/meminfo: memFree=271248/2055920 swapFree=4181380/4192956
[pid=3574] ppid=3572 vsize=1564748 CPUtime=690.22
/proc/3574/stat : 3574 (bsolo) R 3572 3574 3528 0 -1 0 390445 0 0 0 68722 300 0 0 25 0 1 0 197161415 1602301952 388145 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534926 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3574/statm: 391187 388145 300 55 0 390079 0
Current children cumulated CPU time (s) 690.22
Current children cumulated vsize (Kb) 1564748

[startup+700.433 s]
/proc/loadavg: 0.99 0.98 0.96 2/64 3574
/proc/meminfo: memFree=256656/2055920 swapFree=4181380/4192956
[pid=3574] ppid=3572 vsize=1579400 CPUtime=700.22
/proc/3574/stat : 3574 (bsolo) R 3572 3574 3528 0 -1 0 394102 0 0 0 69719 303 0 0 25 0 1 0 197161415 1617305600 391784 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3574/statm: 394850 391784 300 55 0 393742 0
Current children cumulated CPU time (s) 700.22
Current children cumulated vsize (Kb) 1579400

[startup+710.439 s]
/proc/loadavg: 0.99 0.98 0.96 2/64 3574
/proc/meminfo: memFree=235024/2055920 swapFree=4181380/4192956
[pid=3574] ppid=3572 vsize=1601104 CPUtime=710.23
/proc/3574/stat : 3574 (bsolo) R 3572 3574 3528 0 -1 0 399522 0 0 0 70714 309 0 0 25 0 1 0 197161415 1639530496 397200 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3574/statm: 400276 397201 300 55 0 399168 0
Current children cumulated CPU time (s) 710.23
Current children cumulated vsize (Kb) 1601104

[startup+720.445 s]
/proc/loadavg: 0.99 0.98 0.96 2/64 3574
/proc/meminfo: memFree=230288/2055920 swapFree=4181380/4192956
[pid=3574] ppid=3572 vsize=1605836 CPUtime=720.23
/proc/3574/stat : 3574 (bsolo) R 3572 3574 3528 0 -1 0 400692 0 0 0 71714 309 0 0 25 0 1 0 197161415 1644376064 398367 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528659 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3574/statm: 401459 398367 300 55 0 400351 0
Current children cumulated CPU time (s) 720.23
Current children cumulated vsize (Kb) 1605836

[startup+730.452 s]
/proc/loadavg: 0.99 0.98 0.96 2/64 3574
/proc/meminfo: memFree=209296/2055920 swapFree=4181380/4192956
[pid=3574] ppid=3572 vsize=1626756 CPUtime=730.23
/proc/3574/stat : 3574 (bsolo) R 3572 3574 3528 0 -1 0 405931 0 0 0 72711 312 0 0 25 0 1 0 197161415 1665798144 403604 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3574/statm: 406689 403604 300 55 0 405581 0
Current children cumulated CPU time (s) 730.23
Current children cumulated vsize (Kb) 1626756

[startup+740.458 s]
/proc/loadavg: 0.99 0.98 0.96 2/64 3574
/proc/meminfo: memFree=182288/2055920 swapFree=4181380/4192956
[pid=3574] ppid=3572 vsize=1653804 CPUtime=740.23
/proc/3574/stat : 3574 (bsolo) R 3572 3574 3528 0 -1 0 412739 0 0 0 73706 317 0 0 25 0 1 0 197161415 1693495296 410320 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529176 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3574/statm: 413451 410320 300 55 0 412343 0
Current children cumulated CPU time (s) 740.23
Current children cumulated vsize (Kb) 1653804

[startup+750.464 s]
/proc/loadavg: 0.99 0.98 0.96 2/64 3574
/proc/meminfo: memFree=119120/2055920 swapFree=4181380/4192956
[pid=3574] ppid=3572 vsize=1717180 CPUtime=750.25
/proc/3574/stat : 3574 (bsolo) R 3572 3574 3528 0 -1 0 428539 0 0 0 74694 331 0 0 25 0 1 0 197161415 1758392320 426111 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 8414843 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3574/statm: 429295 426111 300 55 0 428187 0
Current children cumulated CPU time (s) 750.25
Current children cumulated vsize (Kb) 1717180

[startup+760.47 s]
/proc/loadavg: 0.99 0.98 0.96 2/64 3574
/proc/meminfo: memFree=82704/2055920 swapFree=4181380/4192956
[pid=3574] ppid=3572 vsize=1753924 CPUtime=760.24
/proc/3574/stat : 3574 (bsolo) R 3572 3574 3528 0 -1 0 437635 0 0 0 75687 337 0 0 25 0 1 0 197161415 1796018176 435182 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3574/statm: 438481 435182 300 55 0 437373 0
Current children cumulated CPU time (s) 760.24
Current children cumulated vsize (Kb) 1753924

[startup+770.476 s]
/proc/loadavg: 0.99 0.98 0.96 2/64 3574
/proc/meminfo: memFree=65680/2055920 swapFree=4181380/4192956
[pid=3574] ppid=3572 vsize=1771404 CPUtime=770.25
/proc/3574/stat : 3574 (bsolo) R 3572 3574 3528 0 -1 0 441997 0 0 0 76684 341 0 0 25 0 1 0 197161415 1813917696 439442 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3574/statm: 442851 439442 300 55 0 441743 0
Current children cumulated CPU time (s) 770.25
Current children cumulated vsize (Kb) 1771404

[startup+780.482 s]
/proc/loadavg: 0.99 0.98 0.96 2/64 3574
/proc/meminfo: memFree=53328/2055920 swapFree=4181380/4192956
[pid=3574] ppid=3572 vsize=1783644 CPUtime=780.26
/proc/3574/stat : 3574 (bsolo) R 3572 3574 3528 0 -1 0 445075 0 0 0 77682 344 0 0 25 0 1 0 197161415 1826451456 442510 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548598 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3574/statm: 445911 442510 300 55 0 444803 0
Current children cumulated CPU time (s) 780.26
Current children cumulated vsize (Kb) 1783644

[startup+790.489 s]
/proc/loadavg: 0.99 0.98 0.96 2/64 3574
/proc/meminfo: memFree=31504/2055920 swapFree=4181380/4192956
[pid=3574] ppid=3572 vsize=1805708 CPUtime=790.26
/proc/3574/stat : 3574 (bsolo) R 3572 3574 3528 0 -1 0 450544 0 0 0 78679 347 0 0 25 0 1 0 197161415 1849044992 447962 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3574/statm: 451427 447962 300 55 0 450319 0
Current children cumulated CPU time (s) 790.26
Current children cumulated vsize (Kb) 1805708

[startup+800.495 s]
/proc/loadavg: 0.99 0.98 0.96 2/64 3574
/proc/meminfo: memFree=30864/2055920 swapFree=4181380/4192956
[pid=3574] ppid=3572 vsize=1806236 CPUtime=800.25
/proc/3574/stat : 3574 (bsolo) R 3572 3574 3528 0 -1 0 450705 0 0 0 79678 347 0 0 25 0 1 0 197161415 1849585664 448123 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 8414843 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3574/statm: 451559 448123 300 55 0 450451 0
Current children cumulated CPU time (s) 800.25
Current children cumulated vsize (Kb) 1806236

[startup+810.501 s]
/proc/loadavg: 0.99 0.98 0.96 2/64 3574
/proc/meminfo: memFree=28880/2055920 swapFree=4181380/4192956
[pid=3574] ppid=3572 vsize=1808216 CPUtime=810.26
/proc/3574/stat : 3574 (bsolo) R 3572 3574 3528 0 -1 0 451195 0 0 0 80678 348 0 0 25 0 1 0 197161415 1851613184 448613 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528665 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3574/statm: 452054 448613 300 55 0 450946 0
Current children cumulated CPU time (s) 810.26
Current children cumulated vsize (Kb) 1808216

[startup+820.507 s]
/proc/loadavg: 0.99 0.98 0.96 2/64 3574
/proc/meminfo: memFree=24720/2055920 swapFree=4181380/4192956
[pid=3574] ppid=3572 vsize=1812384 CPUtime=820.27
/proc/3574/stat : 3574 (bsolo) R 3572 3574 3528 0 -1 0 452228 0 0 0 81677 350 0 0 25 0 1 0 197161415 1855881216 449644 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3574/statm: 453096 449644 300 55 0 451988 0
Current children cumulated CPU time (s) 820.27
Current children cumulated vsize (Kb) 1812384

[startup+830.513 s]
/proc/loadavg: 0.99 0.98 0.96 2/64 3574
/proc/meminfo: memFree=17552/2055920 swapFree=4181380/4192956
[pid=3574] ppid=3572 vsize=1819840 CPUtime=830.27
/proc/3574/stat : 3574 (bsolo) R 3572 3574 3528 0 -1 0 454049 0 0 0 82675 352 0 0 25 0 1 0 197161415 1863516160 451455 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 8414843 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3574/statm: 454960 451455 300 55 0 453852 0
Current children cumulated CPU time (s) 830.27
Current children cumulated vsize (Kb) 1819840

[startup+840.52 s]
/proc/loadavg: 0.99 0.98 0.96 2/64 3574
/proc/meminfo: memFree=16272/2055920 swapFree=4181380/4192956
[pid=3574] ppid=3572 vsize=1827364 CPUtime=840.27
/proc/3574/stat : 3574 (bsolo) R 3572 3574 3528 0 -1 0 455939 0 0 0 83673 354 0 0 25 0 1 0 197161415 1871220736 453345 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529232 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3574/statm: 456841 453345 300 55 0 455733 0
Current children cumulated CPU time (s) 840.27
Current children cumulated vsize (Kb) 1827364

[startup+850.526 s]
/proc/loadavg: 0.99 0.98 0.96 2/64 3574
/proc/meminfo: memFree=16272/2055920 swapFree=4181380/4192956
[pid=3574] ppid=3572 vsize=1830532 CPUtime=850.28
/proc/3574/stat : 3574 (bsolo) R 3572 3574 3528 0 -1 0 456744 0 0 0 84672 356 0 0 25 0 1 0 197161415 1874464768 454150 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3574/statm: 457633 454150 300 55 0 456525 0
Current children cumulated CPU time (s) 850.28
Current children cumulated vsize (Kb) 1830532

[startup+860.532 s]
/proc/loadavg: 0.99 0.98 0.96 2/64 3574
/proc/meminfo: memFree=16080/2055920 swapFree=4181380/4192956
[pid=3574] ppid=3572 vsize=1838708 CPUtime=860.28
/proc/3574/stat : 3574 (bsolo) R 3572 3574 3528 0 -1 0 458769 0 0 0 85671 357 0 0 25 0 1 0 197161415 1882836992 456167 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540638 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3574/statm: 459677 456167 300 55 0 458569 0
Current children cumulated CPU time (s) 860.28
Current children cumulated vsize (Kb) 1838708

Child ended because it received signal 11 (SIGSEGV)
Real time (s): 862.465
CPU time (s): 862.217
CPU user time (s): 858.348
CPU system time (s): 3.86841
CPU usage (%): 99.9712
Max. virtual memory (cumulated for all children) (Kb): 1838708
The end

Launcher Data (download as text)

Begin job on node11 on Sat Jun  3 06:09:49 UTC 2006


FILE ID= 40744-1149314989

PBS_JOBID= 308290

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-fiber.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node11/40744-1149314989/instance-40744-1149314989.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node11/watcher-40744-1149314989 -o ROOT/results/node11/solver-40744-1149314989 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node11/40744-1149314989/instance-40744-1149314989.opb

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  c3570b707fa12d3d9c0d2ae31848c1b3

RANDOM SEED= 492233526


/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.222
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	: 5931.00
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.222
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:       1825944 kB
Buffers:         17472 kB
Cached:         143964 kB
SwapCached:       3260 kB
Active:          34728 kB
Inactive:       135340 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1825944 kB
SwapTotal:     4192956 kB
SwapFree:      4181380 kB
Dirty:             200 kB
Writeback:           0 kB
Mapped:          14740 kB
Slab:            45912 kB
Committed_AS:   357504 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 node11 on Sat Jun  3 06:24:11 UTC 2006