Trace number 39979

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
bsolo 2006/05? 1800.17 1800.79

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib/normalized-reduced-mps-v2-20-10-misc04.opb
MD5SUMa740df3717a1394bed76c2a490fc20be
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 variables146276
Total number of constraints1699
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)10
Number of constraints which are nor clauses,nor cardinality constraints1689
Minimum length of a constraint3
Maximum length of a constraint5071
Number of terms in the objective function 31
Biggest coefficient in the objective function 262145
Number of bits for the biggest coefficient in the objective function 19
Sum of the numbers in the objective function 524318
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262145
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 528446
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

0.00	c Time Limit set via PBTIMEOUT to 1800
0.02	c INFO: OSL Context initialized.
3.67	c Initial problem consists of 146276 variables and 2010 constraints.
4.07	c No problem reductions applied in OPT. instance.
4.07	c	preprocess terminated. Elapsed time: 4.063
4.07	c After prepocess the problem consists of 117399 variables and 1839 constraints.
4.07	c Initial Lower Bound: 0
6.29	c Restart #1 #Var: 117399 LB: 0 @ 6.278
10.14	c Restart #2 #Var: 117399 LB: 0 @ 10.12
11.89	c Restart #3 #Var: 117399 LB: 0 @ 11.876
17.37	c Restart #4 #Var: 117399 LB: 0 @ 17.349
23.33	c Restart #5 #Var: 117399 LB: 0 @ 23.306
29.98	c Restart #6 #Var: 117399 LB: 0 @ 29.956
37.55	c Restart #7 #Var: 117399 LB: 0 @ 37.527
48.08	c Restart #8 #Var: 117399 LB: 0 @ 48.051
49.80	c Restart #9 #Var: 117399 LB: 0 @ 49.768
50.70	c Restart #10 #Var: 117399 LB: 0 @ 50.674
51.57	c Restart #11 #Var: 117399 LB: 0 @ 51.543
52.00	c Restart #12 #Var: 117399 LB: 0 @ 51.969
52.92	c Restart #13 #Var: 117396 LB: 0 @ 52.892
53.14	c Restart #14 #Var: 117396 LB: 0 @ 53.113
54.10	c Restart #15 #Var: 117372 LB: 0 @ 54.073
54.56	c Restart #16 #Var: 117372 LB: 0 @ 54.531
55.29	c Restart #17 #Var: 117372 LB: 0 @ 55.26
57.63	c Restart #18 #Var: 117372 LB: 0 @ 57.604
58.33	c Restart #19 #Var: 117372 LB: 0 @ 58.303
58.84	c Restart #20 #Var: 117372 LB: 0 @ 58.813
74.02	c Restart #21 #Var: 117372 LB: 0 @ 73.988
74.90	c Restart #22 #Var: 117372 LB: 0 @ 74.863
75.40	c Restart #23 #Var: 117371 LB: 0 @ 75.366
75.96	c Restart #24 #Var: 117371 LB: 0 @ 75.928
78.59	c Restart #25 #Var: 117371 LB: 0 @ 78.558
85.36	c Restart #26 #Var: 117371 LB: 0 @ 85.325
99.81	c Restart #27 #Var: 117371 LB: 0 @ 99.769
107.13	c Restart #28 #Var: 117369 LB: 0 @ 107.09
110.55	c Restart #29 #Var: 117368 LB: 0 @ 110.5
114.14	c Restart #30 #Var: 117368 LB: 0 @ 114.09
117.64	c Restart #31 #Var: 117368 LB: 0 @ 117.59
122.07	c Restart #32 #Var: 117368 LB: 0 @ 122.02
123.91	c Restart #33 #Var: 117368 LB: 0 @ 123.86
125.08	c Restart #34 #Var: 117368 LB: 0 @ 125.03
131.03	c Restart #35 #Var: 117364 LB: 0 @ 130.98
141.22	c Restart #36 #Var: 117340 LB: 0 @ 141.16
147.09	c Restart #37 #Var: 117278 LB: 0 @ 147.03
150.41	c Restart #38 #Var: 117278 LB: 0 @ 150.35
157.09	c Restart #39 #Var: 117278 LB: 0 @ 157.03
161.09	c Restart #40 #Var: 117278 LB: 0 @ 161.03
168.13	c Restart #41 #Var: 117277 LB: 0 @ 168.07
186.36	c Restart #42 #Var: 117250 LB: 0 @ 186.29
191.27	c Restart #43 #Var: 117249 LB: 0 @ 191.2
195.76	c Restart #44 #Var: 117222 LB: 0 @ 195.69
199.99	c Restart #45 #Var: 117213 LB: 0 @ 199.92
236.26	c Restart #46 #Var: 117213 LB: 0 @ 236.17
240.86	c Restart #47 #Var: 117212 LB: 0 @ 240.77
247.73	c Restart #48 #Var: 117207 LB: 0 @ 247.64
269.99	c Restart #49 #Var: 117200 LB: 0 @ 269.9
273.84	c Restart #50 #Var: 117197 LB: 0 @ 273.75
286.73	c Restart #51 #Var: 117170 LB: 0 @ 286.63
294.39	c Restart #52 #Var: 117169 LB: 0 @ 294.29
300.73	c Restart #53 #Var: 117169 LB: 0 @ 300.62
310.56	c Restart #54 #Var: 117164 LB: 0 @ 310.46
332.74	c Restart #55 #Var: 117157 LB: 0 @ 332.63
341.44	c Restart #56 #Var: 117154 LB: 0 @ 341.33
366.65	c Restart #57 #Var: 117148 LB: 0 @ 366.53
379.43	c Restart #58 #Var: 117148 LB: 0 @ 379.3
385.23	c Restart #59 #Var: 117148 LB: 0 @ 385.11
389.41	c Restart #60 #Var: 117148 LB: 0 @ 389.29
407.25	c Restart #61 #Var: 117146 LB: 0 @ 407.12
420.72	c Restart #62 #Var: 117144 LB: 0 @ 420.58
430.19	c Restart #63 #Var: 117143 LB: 0 @ 430.05
432.96	c Restart #64 #Var: 117143 LB: 0 @ 432.82
447.34	c Restart #65 #Var: 117141 LB: 0 @ 447.19
458.10	c Restart #66 #Var: 117141 LB: 0 @ 457.96
475.82	c Restart #67 #Var: 117139 LB: 0 @ 475.67
518.54	c Restart #68 #Var: 117107 LB: 0 @ 518.38
547.96	c Restart #69 #Var: 117106 LB: 0 @ 547.79
554.25	c Restart #70 #Var: 117104 LB: 0 @ 554.07
566.64	c Restart #71 #Var: 117103 LB: 0 @ 566.46
579.40	c Restart #72 #Var: 117103 LB: 0 @ 579.21
586.65	c Restart #73 #Var: 117103 LB: 0 @ 586.46
589.74	c Restart #74 #Var: 117103 LB: 0 @ 589.55
622.10	c Restart #75 #Var: 117101 LB: 0 @ 621.9
638.33	c Restart #76 #Var: 117101 LB: 0 @ 638.13
683.45	c Restart #77 #Var: 117101 LB: 0 @ 683.24
714.11	c Restart #78 #Var: 117100 LB: 0 @ 713.89
719.57	c Restart #79 #Var: 117100 LB: 0 @ 719.35
735.32	c Restart #80 #Var: 117098 LB: 0 @ 735.09
779.22	c Restart #81 #Var: 117098 LB: 0 @ 778.98
791.06	c Restart #82 #Var: 117097 LB: 0 @ 790.81
797.73	c Restart #83 #Var: 117097 LB: 0 @ 797.48
819.34	c Restart #84 #Var: 117071 LB: 0 @ 819.09
923.97	c CHANGE Heuristic... 
923.97	c Restart #0 #Var: 117062 LB: 0 @ 923.69
925.19	c Restart #1 #Var: 117036 LB: 0 @ 924.91
926.97	c Restart #2 #Var: 117036 LB: 0 @ 926.69
927.70	c Restart #3 #Var: 117035 LB: 0 @ 927.42
929.12	c Restart #4 #Var: 117033 LB: 0 @ 928.83
931.07	c Restart #5 #Var: 117032 LB: 0 @ 930.79
934.76	c Restart #6 #Var: 117025 LB: 0 @ 934.48
938.22	c Restart #7 #Var: 117021 LB: 0 @ 937.93
942.60	c Restart #8 #Var: 116999 LB: 0 @ 942.32
944.58	c Restart #9 #Var: 116999 LB: 0 @ 944.29
949.02	c Restart #10 #Var: 116997 LB: 0 @ 948.73
951.23	c Restart #11 #Var: 116995 LB: 0 @ 950.94
952.52	c Restart #12 #Var: 116994 LB: 0 @ 952.23
954.13	c Restart #13 #Var: 116993 LB: 0 @ 953.84
956.86	c Restart #14 #Var: 116993 LB: 0 @ 956.57
957.74	c Restart #15 #Var: 116993 LB: 0 @ 957.44
964.17	c Restart #16 #Var: 116993 LB: 0 @ 963.88
967.01	c Restart #17 #Var: 116991 LB: 0 @ 966.71
971.62	c Restart #18 #Var: 116989 LB: 0 @ 971.33
981.48	c Restart #19 #Var: 116989 LB: 0 @ 981.17
990.18	c Restart #20 #Var: 116988 LB: 0 @ 989.88
993.85	c Restart #21 #Var: 116987 LB: 0 @ 993.54
996.07	c Restart #22 #Var: 116986 LB: 0 @ 995.76
997.26	c Restart #23 #Var: 116986 LB: 0 @ 996.95
1005.61	c Restart #24 #Var: 116986 LB: 0 @ 1005.3
1009.66	c Restart #25 #Var: 116986 LB: 0 @ 1009.3
1031.00	c Restart #26 #Var: 116986 LB: 0 @ 1030.7
1034.98	c Restart #27 #Var: 116986 LB: 0 @ 1034.7
1057.32	c Restart #28 #Var: 116986 LB: 0 @ 1056.9
1076.20	c Restart #29 #Var: 116986 LB: 0 @ 1075.8
1098.25	c Restart #30 #Var: 116986 LB: 0 @ 1097.8
1123.39	c Restart #31 #Var: 116986 LB: 0 @ 1123
1138.91	c Restart #32 #Var: 116986 LB: 0 @ 1138.5
1146.09	c Restart #33 #Var: 116986 LB: 0 @ 1145.7
1183.02	c Restart #34 #Var: 116985 LB: 0 @ 1182.6
1220.58	c Restart #35 #Var: 116985 LB: 0 @ 1220.1
1275.74	c Restart #36 #Var: 116985 LB: 0 @ 1275.3
1320.04	c Restart #37 #Var: 116984 LB: 0 @ 1319.6
1325.31	c Restart #38 #Var: 116984 LB: 0 @ 1324.8
1334.49	c Restart #39 #Var: 116981 LB: 0 @ 1334
1348.42	c Restart #40 #Var: 116977 LB: 0 @ 1347.9
1355.67	c Restart #41 #Var: 116977 LB: 0 @ 1355.2
1401.26	c Restart #42 #Var: 116974 LB: 0 @ 1400.8
1443.34	c Restart #43 #Var: 116974 LB: 0 @ 1442.8
1459.81	c Restart #44 #Var: 116974 LB: 0 @ 1459.3
1518.73	c Restart #45 #Var: 116972 LB: 0 @ 1518.2
1548.85	c Restart #46 #Var: 116972 LB: 0 @ 1548.3
1622.13	c Restart #47 #Var: 116972 LB: 0 @ 1621.6
1637.60	c Restart #48 #Var: 116972 LB: 0 @ 1637
1702.45	c Restart #49 #Var: 116972 LB: 0 @ 1701.9
1737.37	c Restart #50 #Var: 116968 LB: 0 @ 1736.8
1800.63	s UNKNOWN
1800.63	c Exit Code: 0
1800.63	c Total time: 1800 s

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGKILL): 1843200 Kb
Enforcing VSIZE limit: 1887436800 bytes
runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node29/watcher-39979-1149345825 -o ROOT/results/node29/solver-39979-1149345825 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node29/39979-1149345825/instance-39979-1149345825.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.91 0.95 0.95 3/64 21594
/proc/meminfo: memFree=1809384/2055920 swapFree=4181376/4192956
[pid=21594] ppid=21592 vsize=436 CPUtime=0
/proc/21594/stat : 21594 (bsolo) R 21592 21594 21548 0 -1 0 38 0 0 0 0 0 0 0 18 0 1 0 200246163 446464 23 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4129572 0 2147483391 4096 0 0 0 0 17 1 0 0
/proc/21594/statm: 109 23 18 55 0 18 0

[startup+10.0024 s]
/proc/loadavg: 0.93 0.95 0.95 2/64 21594
/proc/meminfo: memFree=1645048/2055920 swapFree=4181376/4192956
[pid=21594] ppid=21592 vsize=175560 CPUtime=9.97
/proc/21594/stat : 21594 (bsolo) R 21592 21594 21548 0 -1 0 48252 0 0 0 939 58 0 0 25 0 1 0 200246163 179773440 41340 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718240 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21594/statm: 43890 41340 296 55 0 42782 0
Current children cumulated CPU time (s) 9.97
Current children cumulated vsize (Kb) 175560

[startup+20.0088 s]
/proc/loadavg: 0.94 0.96 0.95 2/64 21594
/proc/meminfo: memFree=1644472/2055920 swapFree=4181376/4192956
[pid=21594] ppid=21592 vsize=176072 CPUtime=19.98
/proc/21594/stat : 21594 (bsolo) R 21592 21594 21548 0 -1 0 48428 0 0 0 1872 126 0 0 25 0 1 0 200246163 180297728 41516 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542260 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21594/statm: 44018 41516 297 55 0 42910 0
Current children cumulated CPU time (s) 19.98
Current children cumulated vsize (Kb) 176072

[startup+30.0153 s]
/proc/loadavg: 0.95 0.96 0.95 2/64 21594
/proc/meminfo: memFree=1643960/2055920 swapFree=4181376/4192956
[pid=21594] ppid=21592 vsize=176592 CPUtime=29.98
/proc/21594/stat : 21594 (bsolo) R 21592 21594 21548 0 -1 0 48564 0 0 0 2807 191 0 0 25 0 1 0 200246163 180830208 41652 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21594/statm: 44148 41652 297 55 0 43040 0
Current children cumulated CPU time (s) 29.98
Current children cumulated vsize (Kb) 176592

[startup+40.0207 s]
/proc/loadavg: 0.95 0.96 0.95 2/64 21594
/proc/meminfo: memFree=1643832/2055920 swapFree=4181376/4192956
[pid=21594] ppid=21592 vsize=176636 CPUtime=39.98
/proc/21594/stat : 21594 (bsolo) R 21592 21594 21548 0 -1 0 48609 0 0 0 3748 250 0 0 25 0 1 0 200246163 180875264 41697 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21594/statm: 44159 41697 297 55 0 43051 0
Current children cumulated CPU time (s) 39.98
Current children cumulated vsize (Kb) 176636

[startup+50.0271 s]
/proc/loadavg: 0.96 0.96 0.95 2/64 21594
/proc/meminfo: memFree=1643768/2055920 swapFree=4181376/4192956
[pid=21594] ppid=21592 vsize=176768 CPUtime=49.98
/proc/21594/stat : 21594 (bsolo) R 21592 21594 21548 0 -1 0 48620 0 0 0 4701 297 0 0 25 0 1 0 200246163 181010432 41708 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548392 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21594/statm: 44192 41708 297 55 0 43084 0
Current children cumulated CPU time (s) 49.98
Current children cumulated vsize (Kb) 176768

[startup+60.0325 s]
/proc/loadavg: 0.97 0.96 0.95 2/64 21594
/proc/meminfo: memFree=1620984/2055920 swapFree=4181376/4192956
[pid=21594] ppid=21592 vsize=199524 CPUtime=59.99
/proc/21594/stat : 21594 (bsolo) R 21592 21594 21548 0 -1 0 54312 0 0 0 5679 320 0 0 25 0 1 0 200246163 204312576 47400 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21594/statm: 49881 47400 297 55 0 48773 0
Current children cumulated CPU time (s) 59.99
Current children cumulated vsize (Kb) 199524

[startup+70.0379 s]
/proc/loadavg: 0.97 0.96 0.95 2/64 21594
/proc/meminfo: memFree=1620664/2055920 swapFree=4181376/4192956
[pid=21594] ppid=21592 vsize=199788 CPUtime=69.99
/proc/21594/stat : 21594 (bsolo) R 21592 21594 21548 0 -1 0 54383 0 0 0 6678 321 0 0 25 0 1 0 200246163 204582912 47471 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21594/statm: 49947 47471 297 55 0 48839 0
Current children cumulated CPU time (s) 69.99
Current children cumulated vsize (Kb) 199788

[startup+80.0433 s]
/proc/loadavg: 0.98 0.96 0.95 2/64 21594
/proc/meminfo: memFree=1610616/2055920 swapFree=4181376/4192956
[pid=21594] ppid=21592 vsize=209820 CPUtime=79.99
/proc/21594/stat : 21594 (bsolo) R 21592 21594 21548 0 -1 0 56897 0 0 0 7673 326 0 0 25 0 1 0 200246163 214855680 49985 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21594/statm: 52455 49985 297 55 0 51347 0
Current children cumulated CPU time (s) 79.99
Current children cumulated vsize (Kb) 209820

[startup+90.0487 s]
/proc/loadavg: 0.98 0.96 0.95 2/64 21594
/proc/meminfo: memFree=1605304/2055920 swapFree=4181376/4192956
[pid=21594] ppid=21592 vsize=215236 CPUtime=90
/proc/21594/stat : 21594 (bsolo) R 21592 21594 21548 0 -1 0 58228 0 0 0 8671 329 0 0 25 0 1 0 200246163 220401664 51315 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134719574 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21594/statm: 53809 51315 297 55 0 52701 0
Current children cumulated CPU time (s) 90
Current children cumulated vsize (Kb) 215236

[startup+100.054 s]
/proc/loadavg: 0.98 0.96 0.95 2/64 21594
/proc/meminfo: memFree=1604216/2055920 swapFree=4181376/4192956
[pid=21594] ppid=21592 vsize=216292 CPUtime=100.01
/proc/21594/stat : 21594 (bsolo) R 21592 21594 21548 0 -1 0 58507 0 0 0 9671 330 0 0 25 0 1 0 200246163 221483008 51594 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21594/statm: 54073 51594 297 55 0 52965 0
Current children cumulated CPU time (s) 100.01
Current children cumulated vsize (Kb) 216292

[startup+110.06 s]
/proc/loadavg: 0.98 0.96 0.95 2/64 21594
/proc/meminfo: memFree=1597944/2055920 swapFree=4181376/4192956
[pid=21594] ppid=21592 vsize=222632 CPUtime=110
/proc/21594/stat : 21594 (bsolo) R 21592 21594 21548 0 -1 0 60068 0 0 0 10661 339 0 0 25 0 1 0 200246163 227975168 53155 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21594/statm: 55658 53155 297 55 0 54550 0
Current children cumulated CPU time (s) 110
Current children cumulated vsize (Kb) 222632

[startup+120.065 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 21594
/proc/meminfo: memFree=1586680/2055920 swapFree=4181376/4192956
[pid=21594] ppid=21592 vsize=233852 CPUtime=120
/proc/21594/stat : 21594 (bsolo) R 21592 21594 21548 0 -1 0 62875 0 0 0 11657 343 0 0 25 0 1 0 200246163 239464448 55962 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21594/statm: 58463 55962 297 55 0 57355 0
Current children cumulated CPU time (s) 120
Current children cumulated vsize (Kb) 233852

[startup+130.07 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 21594
/proc/meminfo: memFree=1577976/2055920 swapFree=4181376/4192956
[pid=21594] ppid=21592 vsize=242580 CPUtime=130.01
/proc/21594/stat : 21594 (bsolo) R 21592 21594 21548 0 -1 0 65043 0 0 0 12654 347 0 0 25 0 1 0 200246163 248401920 58130 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542231 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21594/statm: 60645 58130 297 55 0 59537 0
Current children cumulated CPU time (s) 130.01
Current children cumulated vsize (Kb) 242580

[startup+140.076 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 21594
/proc/meminfo: memFree=1572152/2055920 swapFree=4181376/4192956
[pid=21594] ppid=21592 vsize=248348 CPUtime=140.02
/proc/21594/stat : 21594 (bsolo) R 21592 21594 21548 0 -1 0 66495 0 0 0 13653 349 0 0 25 0 1 0 200246163 254308352 59582 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529300 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21594/statm: 62087 59582 297 55 0 60979 0
Current children cumulated CPU time (s) 140.02
Current children cumulated vsize (Kb) 248348

[startup+150.081 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 21594
/proc/meminfo: memFree=1562104/2055920 swapFree=4181376/4192956
[pid=21594] ppid=21592 vsize=258384 CPUtime=150.01
/proc/21594/stat : 21594 (bsolo) R 21592 21594 21548 0 -1 0 69008 0 0 0 14644 357 0 0 25 0 1 0 200246163 264585216 62095 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21594/statm: 64596 62095 297 55 0 63488 0
Current children cumulated CPU time (s) 150.01
Current children cumulated vsize (Kb) 258384

[startup+160.087 s]
/proc/loadavg: 0.99 0.97 0.95 3/64 21594
/proc/meminfo: memFree=1552888/2055920 swapFree=4181376/4192956
[pid=21594] ppid=21592 vsize=267628 CPUtime=160.02
/proc/21594/stat : 21594 (bsolo) R 21592 21594 21548 0 -1 0 71293 0 0 0 15641 361 0 0 25 0 1 0 200246163 274051072 64380 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533593 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21594/statm: 66907 64380 297 55 0 65799 0
Current children cumulated CPU time (s) 160.02
Current children cumulated vsize (Kb) 267628

[startup+170.092 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 21594
/proc/meminfo: memFree=1543480/2055920 swapFree=4181376/4192956
[pid=21594] ppid=21592 vsize=277072 CPUtime=170.01
/proc/21594/stat : 21594 (bsolo) R 21592 21594 21548 0 -1 0 73664 0 0 0 16634 367 0 0 25 0 1 0 200246163 283721728 66751 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4564603 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21594/statm: 69268 66751 297 55 0 68160 0
Current children cumulated CPU time (s) 170.01
Current children cumulated vsize (Kb) 277072

[startup+180.097 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 21594
/proc/meminfo: memFree=1540088/2055920 swapFree=4181376/4192956
[pid=21594] ppid=21592 vsize=280404 CPUtime=180.02
/proc/21594/stat : 21594 (bsolo) R 21592 21594 21548 0 -1 0 74484 0 0 0 17633 369 0 0 25 0 1 0 200246163 287133696 67571 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542172 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21594/statm: 70101 67571 297 55 0 68993 0
Current children cumulated CPU time (s) 180.02
Current children cumulated vsize (Kb) 280404

[startup+190.103 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 21594
/proc/meminfo: memFree=1535096/2055920 swapFree=4181376/4192956
[pid=21594] ppid=21592 vsize=285448 CPUtime=190.02
/proc/21594/stat : 21594 (bsolo) R 21592 21594 21548 0 -1 0 75735 0 0 0 18631 371 0 0 25 0 1 0 200246163 292298752 68821 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718468 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21594/statm: 71362 68821 297 55 0 70254 0
Current children cumulated CPU time (s) 190.02
Current children cumulated vsize (Kb) 285448

[startup+200.108 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 21594
/proc/meminfo: memFree=1521144/2055920 swapFree=4181376/4192956
[pid=21594] ppid=21592 vsize=299496 CPUtime=200.03
/proc/21594/stat : 21594 (bsolo) R 21592 21594 21548 0 -1 0 79236 0 0 0 19626 377 0 0 25 0 1 0 200246163 306683904 72320 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21594/statm: 74874 72320 297 55 0 73766 0
Current children cumulated CPU time (s) 200.03
Current children cumulated vsize (Kb) 299496

[startup+210.114 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 21594
/proc/meminfo: memFree=1518328/2055920 swapFree=4181376/4192956

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

/proc/21594/statm: 255842 252732 297 55 0 254734 0
Current children cumulated CPU time (s) 1760.36
Current children cumulated vsize (Kb) 1023368

[startup+1770.99 s]
/proc/loadavg: 1.00 0.99 0.95 2/64 21789
/proc/meminfo: memFree=796152/2055920 swapFree=4181376/4192956
[pid=21594] ppid=21592 vsize=1025092 CPUtime=1770.36
/proc/21594/stat : 21594 (bsolo) R 21592 21594 21548 0 -1 0 261061 0 0 0 176243 793 0 0 25 0 1 0 200246163 1049694208 253132 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21594/statm: 256273 253132 297 55 0 255165 0
Current children cumulated CPU time (s) 1770.36
Current children cumulated vsize (Kb) 1025092

[startup+1780.99 s]
/proc/loadavg: 1.00 0.99 0.95 2/64 21789
/proc/meminfo: memFree=795000/2055920 swapFree=4181376/4192956
[pid=21594] ppid=21592 vsize=1026148 CPUtime=1780.37
/proc/21594/stat : 21594 (bsolo) R 21592 21594 21548 0 -1 0 261339 0 0 0 177242 795 0 0 25 0 1 0 200246163 1050775552 253410 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21594/statm: 256537 253410 297 55 0 255429 0
Current children cumulated CPU time (s) 1780.37
Current children cumulated vsize (Kb) 1026148

[startup+1782 s]
/proc/loadavg: 1.00 0.99 0.95 2/64 21789
/proc/meminfo: memFree=795000/2055920 swapFree=4181376/4192956
[pid=21594] ppid=21592 vsize=1026148 CPUtime=1781.38
/proc/21594/stat : 21594 (bsolo) R 21592 21594 21548 0 -1 0 261348 0 0 0 177343 795 0 0 25 0 1 0 200246163 1050775552 253419 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21594/statm: 256537 253419 297 55 0 255429 0
Current children cumulated CPU time (s) 1781.38
Current children cumulated vsize (Kb) 1026148

[startup+1783 s]
/proc/loadavg: 1.00 0.99 0.95 2/64 21789
/proc/meminfo: memFree=794936/2055920 swapFree=4181376/4192956
[pid=21594] ppid=21592 vsize=1026280 CPUtime=1782.38
/proc/21594/stat : 21594 (bsolo) R 21592 21594 21548 0 -1 0 261359 0 0 0 177443 795 0 0 25 0 1 0 200246163 1050910720 253430 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533966 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21594/statm: 256570 253430 297 55 0 255462 0
Current children cumulated CPU time (s) 1782.38
Current children cumulated vsize (Kb) 1026280

[startup+1784.01 s]
/proc/loadavg: 1.00 0.99 0.95 2/64 21789
/proc/meminfo: memFree=794872/2055920 swapFree=4181376/4192956
[pid=21594] ppid=21592 vsize=1026280 CPUtime=1783.39
/proc/21594/stat : 21594 (bsolo) R 21592 21594 21548 0 -1 0 261371 0 0 0 177544 795 0 0 25 0 1 0 200246163 1050910720 253442 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533902 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21594/statm: 256570 253442 297 55 0 255462 0
Current children cumulated CPU time (s) 1783.39
Current children cumulated vsize (Kb) 1026280

[startup+1785.01 s]
/proc/loadavg: 1.00 0.99 0.95 2/64 21789
/proc/meminfo: memFree=794872/2055920 swapFree=4181376/4192956
[pid=21594] ppid=21592 vsize=1026280 CPUtime=1784.39
/proc/21594/stat : 21594 (bsolo) R 21592 21594 21548 0 -1 0 261382 0 0 0 177644 795 0 0 25 0 1 0 200246163 1050910720 253453 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529176 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21594/statm: 256570 253453 297 55 0 255462 0
Current children cumulated CPU time (s) 1784.39
Current children cumulated vsize (Kb) 1026280

[startup+1786.02 s]
/proc/loadavg: 1.00 0.99 0.95 2/64 21789
/proc/meminfo: memFree=794808/2055920 swapFree=4181376/4192956
[pid=21594] ppid=21592 vsize=1026412 CPUtime=1785.4
/proc/21594/stat : 21594 (bsolo) R 21592 21594 21548 0 -1 0 261395 0 0 0 177745 795 0 0 25 0 1 0 200246163 1051045888 253466 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21594/statm: 256603 253466 297 55 0 255495 0
Current children cumulated CPU time (s) 1785.4
Current children cumulated vsize (Kb) 1026412

[startup+1787.02 s]
/proc/loadavg: 1.00 0.99 0.95 2/64 21789
/proc/meminfo: memFree=794744/2055920 swapFree=4181376/4192956
[pid=21594] ppid=21592 vsize=1026412 CPUtime=1786.4
/proc/21594/stat : 21594 (bsolo) R 21592 21594 21548 0 -1 0 261408 0 0 0 177845 795 0 0 25 0 1 0 200246163 1051045888 253479 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21594/statm: 256603 253479 297 55 0 255495 0
Current children cumulated CPU time (s) 1786.4
Current children cumulated vsize (Kb) 1026412

[startup+1788.03 s]
/proc/loadavg: 1.00 0.99 0.95 2/64 21789
/proc/meminfo: memFree=794744/2055920 swapFree=4181376/4192956
[pid=21594] ppid=21592 vsize=1026412 CPUtime=1787.41
/proc/21594/stat : 21594 (bsolo) R 21592 21594 21548 0 -1 0 261418 0 0 0 177946 795 0 0 25 0 1 0 200246163 1051045888 253489 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524387 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21594/statm: 256603 253489 297 55 0 255495 0
Current children cumulated CPU time (s) 1787.41
Current children cumulated vsize (Kb) 1026412

[startup+1789.03 s]
/proc/loadavg: 1.00 0.99 0.95 2/64 21789
/proc/meminfo: memFree=794680/2055920 swapFree=4181376/4192956
[pid=21594] ppid=21592 vsize=1026544 CPUtime=1788.41
/proc/21594/stat : 21594 (bsolo) R 21592 21594 21548 0 -1 0 261429 0 0 0 178046 795 0 0 25 0 1 0 200246163 1051181056 253500 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21594/statm: 256636 253500 297 55 0 255528 0
Current children cumulated CPU time (s) 1788.41
Current children cumulated vsize (Kb) 1026544

[startup+1790.04 s]
/proc/loadavg: 1.00 0.99 0.95 2/64 21789
/proc/meminfo: memFree=794616/2055920 swapFree=4181376/4192956
[pid=21594] ppid=21592 vsize=1026544 CPUtime=1789.41
/proc/21594/stat : 21594 (bsolo) R 21592 21594 21548 0 -1 0 261441 0 0 0 178146 795 0 0 25 0 1 0 200246163 1051181056 253512 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21594/statm: 256636 253512 297 55 0 255528 0
Current children cumulated CPU time (s) 1789.41
Current children cumulated vsize (Kb) 1026544

[startup+1791.04 s]
/proc/loadavg: 1.00 0.99 0.95 2/64 21789
/proc/meminfo: memFree=794552/2055920 swapFree=4181376/4192956
[pid=21594] ppid=21592 vsize=1026544 CPUtime=1790.42
/proc/21594/stat : 21594 (bsolo) R 21592 21594 21548 0 -1 0 261452 0 0 0 178247 795 0 0 25 0 1 0 200246163 1051181056 253523 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21594/statm: 256636 253523 297 55 0 255528 0
Current children cumulated CPU time (s) 1790.42
Current children cumulated vsize (Kb) 1026544

[startup+1792.05 s]
/proc/loadavg: 1.00 0.99 0.95 2/64 21789
/proc/meminfo: memFree=794552/2055920 swapFree=4181376/4192956
[pid=21594] ppid=21592 vsize=1026676 CPUtime=1791.42
/proc/21594/stat : 21594 (bsolo) R 21592 21594 21548 0 -1 0 261464 0 0 0 178347 795 0 0 25 0 1 0 200246163 1051316224 253535 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21594/statm: 256669 253535 297 55 0 255561 0
Current children cumulated CPU time (s) 1791.42
Current children cumulated vsize (Kb) 1026676

[startup+1793.05 s]
/proc/loadavg: 1.00 0.99 0.95 2/64 21789
/proc/meminfo: memFree=794488/2055920 swapFree=4181376/4192956
[pid=21594] ppid=21592 vsize=1026676 CPUtime=1792.43
/proc/21594/stat : 21594 (bsolo) R 21592 21594 21548 0 -1 0 261475 0 0 0 178448 795 0 0 25 0 1 0 200246163 1051316224 253546 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534999 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21594/statm: 256669 253546 297 55 0 255561 0
Current children cumulated CPU time (s) 1792.43
Current children cumulated vsize (Kb) 1026676

[startup+1794.06 s]
/proc/loadavg: 1.00 0.99 0.95 2/64 21789
/proc/meminfo: memFree=794424/2055920 swapFree=4181376/4192956
[pid=21594] ppid=21592 vsize=1026808 CPUtime=1793.43
/proc/21594/stat : 21594 (bsolo) R 21592 21594 21548 0 -1 0 261486 0 0 0 178548 795 0 0 25 0 1 0 200246163 1051451392 253557 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529164 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21594/statm: 256702 253557 297 55 0 255594 0
Current children cumulated CPU time (s) 1793.43
Current children cumulated vsize (Kb) 1026808

[startup+1795.06 s]
/proc/loadavg: 1.00 0.99 0.95 2/64 21789
/proc/meminfo: memFree=794360/2055920 swapFree=4181376/4192956
[pid=21594] ppid=21592 vsize=1026808 CPUtime=1794.44
/proc/21594/stat : 21594 (bsolo) R 21592 21594 21548 0 -1 0 261500 0 0 0 178649 795 0 0 25 0 1 0 200246163 1051451392 253571 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524531 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21594/statm: 256702 253571 297 55 0 255594 0
Current children cumulated CPU time (s) 1794.44
Current children cumulated vsize (Kb) 1026808

[startup+1796.07 s]
/proc/loadavg: 1.00 0.99 0.95 2/64 21789
/proc/meminfo: memFree=794296/2055920 swapFree=4181376/4192956
[pid=21594] ppid=21592 vsize=1026968 CPUtime=1795.44
/proc/21594/stat : 21594 (bsolo) R 21592 21594 21548 0 -1 0 261529 0 0 0 178749 795 0 0 25 0 1 0 200246163 1051615232 253600 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21594/statm: 256742 253600 297 55 0 255634 0
Current children cumulated CPU time (s) 1795.44
Current children cumulated vsize (Kb) 1026968

[startup+1797.07 s]
/proc/loadavg: 1.00 0.99 0.95 2/64 21789
/proc/meminfo: memFree=794232/2055920 swapFree=4181376/4192956
[pid=21594] ppid=21592 vsize=1026968 CPUtime=1796.44
/proc/21594/stat : 21594 (bsolo) R 21592 21594 21548 0 -1 0 261537 0 0 0 178849 795 0 0 25 0 1 0 200246163 1051615232 253608 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21594/statm: 256742 253608 297 55 0 255634 0
Current children cumulated CPU time (s) 1796.44
Current children cumulated vsize (Kb) 1026968

[startup+1798.08 s]
/proc/loadavg: 1.00 0.99 0.95 2/64 21789
/proc/meminfo: memFree=793848/2055920 swapFree=4181376/4192956
[pid=21594] ppid=21592 vsize=1027364 CPUtime=1797.45
/proc/21594/stat : 21594 (bsolo) R 21592 21594 21548 0 -1 0 261635 0 0 0 178948 797 0 0 25 0 1 0 200246163 1052020736 253706 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529170 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21594/statm: 256841 253706 297 55 0 255733 0
Current children cumulated CPU time (s) 1797.45
Current children cumulated vsize (Kb) 1027364

[startup+1799.08 s]
/proc/loadavg: 1.00 0.99 0.95 2/64 21789
/proc/meminfo: memFree=793336/2055920 swapFree=4181376/4192956
[pid=21594] ppid=21592 vsize=1027892 CPUtime=1798.45
/proc/21594/stat : 21594 (bsolo) R 21592 21594 21548 0 -1 0 261759 0 0 0 179047 798 0 0 25 0 1 0 200246163 1052561408 253830 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21594/statm: 256973 253830 297 55 0 255865 0
Current children cumulated CPU time (s) 1798.45
Current children cumulated vsize (Kb) 1027892

[startup+1800.08 s]
/proc/loadavg: 1.00 0.99 0.95 2/64 21789
/proc/meminfo: memFree=792888/2055920 swapFree=4181376/4192956
[pid=21594] ppid=21592 vsize=1028288 CPUtime=1799.46
/proc/21594/stat : 21594 (bsolo) R 21592 21594 21548 0 -1 0 261865 0 0 0 179146 800 0 0 25 0 1 0 200246163 1052966912 253936 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21594/statm: 257072 253936 297 55 0 255964 0
Current children cumulated CPU time (s) 1799.46
Current children cumulated vsize (Kb) 1028288

Child status: 0
Real time (s): 1800.79
CPU time (s): 1800.17
CPU user time (s): 1791.99
CPU system time (s): 8.17676
CPU usage (%): 99.9654
Max. virtual memory (cumulated for all children) (Kb): 1028288

Launcher Data (download as text)

Begin job on node29 on Sat Jun  3 14:43:46 UTC 2006


FILE ID= 39979-1149345825

PBS_JOBID= 310674

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-misc04.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node29/39979-1149345825/instance-39979-1149345825.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node29/watcher-39979-1149345825 -o ROOT/results/node29/solver-39979-1149345825 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node29/39979-1149345825/instance-39979-1149345825.opb

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  a740df3717a1394bed76c2a490fc20be

RANDOM SEED= 913903312


/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.259
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.259
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:       1809592 kB
Buffers:         23424 kB
Cached:         159660 kB
SwapCached:       3236 kB
Active:          42184 kB
Inactive:       149560 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1809592 kB
SwapTotal:     4192956 kB
SwapFree:      4181376 kB
Dirty:             164 kB
Writeback:           0 kB
Mapped:          14716 kB
Slab:            40464 kB
Committed_AS:   350260 kB
PageTables:       1504 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node29 on Sat Jun  3 15:13:47 UTC 2006