Trace number 39912

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.16 1800.76

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-grow15.opb
MD5SUM85af08260bc54f31465e48eb0563bdd8
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark1782.75
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 0
Optimality of the best value was proved NO
Number of variables17130
Total number of constraints900
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints900
Minimum length of a constraint22
Maximum length of a constraint491
Number of terms in the objective function 1335
Biggest coefficient in the objective function 12744
Number of bits for the biggest coefficient in the objective function 14
Sum of the numbers in the objective function 525285
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 256781
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 525285
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.
0.77	c Initial problem consists of 17130 variables and 1200 constraints.
0.87	c No problem reductions applied in OPT. instance.
0.87	c	preprocess terminated. Elapsed time: 0.86
0.87	c After prepocess the problem consists of 17130 variables and 1200 constraints.
0.87	c Initial Lower Bound: -525285
1.94	c Restart #1 #Var: 17130 LB: -525285 @ 1.926
3.36	c Restart #2 #Var: 17130 LB: -525285 @ 3.347
5.44	c Restart #3 #Var: 17130 LB: -525285 @ 5.43
8.06	c Restart #4 #Var: 17130 LB: -525285 @ 8.042
11.32	c Restart #5 #Var: 17130 LB: -525285 @ 11.297
15.43	c Restart #6 #Var: 17130 LB: -525285 @ 15.409
18.46	c Restart #7 #Var: 17130 LB: -525285 @ 18.439
20.57	c Restart #8 #Var: 17130 LB: -525285 @ 20.544
23.85	c Restart #9 #Var: 17130 LB: -525285 @ 23.823
25.23	c Restart #10 #Var: 17130 LB: -525285 @ 25.208
25.64	c Restart #11 #Var: 17127 LB: -525285 @ 25.612
26.02	c Restart #12 #Var: 17127 LB: -525285 @ 25.999
27.13	c Restart #13 #Var: 17121 LB: -525285 @ 27.103
27.66	c Restart #14 #Var: 17121 LB: -525285 @ 27.639
28.13	c Restart #15 #Var: 17120 LB: -525285 @ 28.101
28.95	c Restart #16 #Var: 17120 LB: -525285 @ 28.923
29.62	c Restart #17 #Var: 17119 LB: -525285 @ 29.594
30.66	c Restart #18 #Var: 17119 LB: -525285 @ 30.638
31.91	c Restart #19 #Var: 17119 LB: -525285 @ 31.881
33.50	c Restart #20 #Var: 17119 LB: -525285 @ 33.474
35.98	c Restart #21 #Var: 17119 LB: -525285 @ 35.955
38.04	c Restart #22 #Var: 17117 LB: -525285 @ 38.014
39.31	c Restart #23 #Var: 17115 LB: -525285 @ 39.28
41.44	c Restart #24 #Var: 17115 LB: -525285 @ 41.407
44.06	c Restart #25 #Var: 17115 LB: -525285 @ 44.028
46.59	c Restart #26 #Var: 17114 LB: -525285 @ 46.564
49.69	c Restart #27 #Var: 17113 LB: -525285 @ 49.654
53.21	c Restart #28 #Var: 17113 LB: -525285 @ 53.176
56.78	c Restart #29 #Var: 17113 LB: -525285 @ 56.749
60.76	c Restart #30 #Var: 17113 LB: -525285 @ 60.727
65.57	c Restart #31 #Var: 17113 LB: -525285 @ 65.532
69.74	c Restart #32 #Var: 17112 LB: -525285 @ 69.702
73.58	c Restart #33 #Var: 17112 LB: -525285 @ 73.544
77.77	c Restart #34 #Var: 17111 LB: -525285 @ 77.733
81.28	c Restart #35 #Var: 17111 LB: -525285 @ 81.236
84.80	c Restart #36 #Var: 17111 LB: -525285 @ 84.761
89.31	c Restart #37 #Var: 17111 LB: -525285 @ 89.263
94.51	c Restart #38 #Var: 17111 LB: -525285 @ 94.467
102.52	c Restart #39 #Var: 17111 LB: -525285 @ 102.47
107.94	c Restart #40 #Var: 17111 LB: -525285 @ 107.89
117.10	c Restart #41 #Var: 17111 LB: -525285 @ 117.05
124.99	c Restart #42 #Var: 17111 LB: -525285 @ 124.94
134.90	c Restart #43 #Var: 17111 LB: -525285 @ 134.84
149.27	c Restart #44 #Var: 17111 LB: -525285 @ 149.21
162.10	c Restart #45 #Var: 17111 LB: -525285 @ 162.03
175.13	c Restart #46 #Var: 17111 LB: -525285 @ 175.06
186.03	c Restart #47 #Var: 17111 LB: -525285 @ 185.95
203.98	c Restart #48 #Var: 17111 LB: -525285 @ 203.9
218.27	c Restart #49 #Var: 17111 LB: -525285 @ 218.19
235.45	c Restart #50 #Var: 17111 LB: -525285 @ 235.36
264.02	c Restart #51 #Var: 17111 LB: -525285 @ 263.93
291.24	c Restart #52 #Var: 17111 LB: -525285 @ 291.13
315.68	c Restart #53 #Var: 17111 LB: -525285 @ 315.57
336.56	c Restart #54 #Var: 17111 LB: -525285 @ 336.44
345.14	c Restart #55 #Var: 17111 LB: -525285 @ 345.01
362.02	c Restart #56 #Var: 17111 LB: -525285 @ 361.89
381.53	c Restart #57 #Var: 17111 LB: -525285 @ 381.39
418.88	c Restart #58 #Var: 17111 LB: -525285 @ 418.73
460.11	c Restart #59 #Var: 17111 LB: -525285 @ 459.95
503.24	c Restart #60 #Var: 17111 LB: -525285 @ 503.06
526.26	c Restart #61 #Var: 17111 LB: -525285 @ 526.08
557.48	c Restart #62 #Var: 17111 LB: -525285 @ 557.29
585.69	c Restart #63 #Var: 17111 LB: -525285 @ 585.49
630.24	c Restart #64 #Var: 17111 LB: -525285 @ 630.02
650.84	c Restart #65 #Var: 17111 LB: -525285 @ 650.62
694.10	c Restart #66 #Var: 17111 LB: -525285 @ 693.86
729.11	c Restart #67 #Var: 17111 LB: -525285 @ 728.86
788.39	c Restart #68 #Var: 17111 LB: -525285 @ 788.12
832.67	c Restart #69 #Var: 17111 LB: -525285 @ 832.39
853.45	c Restart #70 #Var: 17111 LB: -525285 @ 853.17
879.24	c Restart #71 #Var: 17111 LB: -525285 @ 878.95
924.00	c CHANGE Heuristic... 
924.00	c Restart #0 #Var: 17111 LB: -525285 @ 923.69
924.14	c Restart #1 #Var: 17111 LB: -525285 @ 923.83
924.23	c Restart #2 #Var: 17110 LB: -525285 @ 923.92
924.34	c Restart #3 #Var: 17108 LB: -525285 @ 924.02
924.51	c Restart #4 #Var: 17107 LB: -525285 @ 924.2
924.76	c Restart #5 #Var: 17107 LB: -525285 @ 924.45
925.00	c Restart #6 #Var: 17106 LB: -525285 @ 924.69
925.30	c Restart #7 #Var: 17106 LB: -525285 @ 924.99
925.70	c Restart #8 #Var: 17105 LB: -525285 @ 925.39
926.15	c Restart #9 #Var: 17105 LB: -525285 @ 925.84
926.72	c Restart #10 #Var: 17105 LB: -525285 @ 926.41
927.32	c Restart #11 #Var: 17105 LB: -525285 @ 927.01
928.11	c Restart #12 #Var: 17105 LB: -525285 @ 927.8
929.05	c Restart #13 #Var: 17105 LB: -525285 @ 928.74
930.02	c Restart #14 #Var: 17105 LB: -525285 @ 929.7
930.98	c Restart #15 #Var: 17105 LB: -525285 @ 930.66
932.42	c Restart #16 #Var: 17105 LB: -525285 @ 932.11
933.43	c Restart #17 #Var: 17105 LB: -525285 @ 933.12
934.81	c Restart #18 #Var: 17105 LB: -525285 @ 934.5
936.25	c Restart #19 #Var: 17105 LB: -525285 @ 935.94
937.80	c Restart #20 #Var: 17105 LB: -525285 @ 937.48
939.57	c Restart #21 #Var: 17105 LB: -525285 @ 939.25
941.35	c Restart #22 #Var: 17105 LB: -525285 @ 941.04
943.15	c Restart #23 #Var: 17105 LB: -525285 @ 942.84
946.03	c Restart #24 #Var: 17105 LB: -525285 @ 945.72
948.52	c Restart #25 #Var: 17105 LB: -525285 @ 948.2
952.20	c Restart #26 #Var: 17105 LB: -525285 @ 951.88
955.79	c Restart #27 #Var: 17105 LB: -525285 @ 955.47
960.06	c Restart #28 #Var: 17105 LB: -525285 @ 959.74
964.37	c Restart #29 #Var: 17105 LB: -525285 @ 964.04
969.22	c Restart #30 #Var: 17105 LB: -525285 @ 968.89
972.43	c Restart #31 #Var: 17105 LB: -525285 @ 972.1
975.84	c Restart #32 #Var: 17105 LB: -525285 @ 975.51
981.94	c Restart #33 #Var: 17105 LB: -525285 @ 981.61
986.82	c Restart #34 #Var: 17105 LB: -525285 @ 986.49
991.98	c Restart #35 #Var: 17105 LB: -525285 @ 991.64
998.23	c Restart #36 #Var: 17105 LB: -525285 @ 997.9
1004.85	c Restart #37 #Var: 17105 LB: -525285 @ 1004.5
1012.15	c Restart #38 #Var: 17105 LB: -525285 @ 1011.8
1022.19	c Restart #39 #Var: 17105 LB: -525285 @ 1021.8
1028.19	c Restart #40 #Var: 17105 LB: -525285 @ 1027.8
1038.98	c Restart #41 #Var: 17105 LB: -525285 @ 1038.6
1048.47	c Restart #42 #Var: 17105 LB: -525285 @ 1048.1
1059.44	c Restart #43 #Var: 17105 LB: -525285 @ 1059.1
1073.93	c Restart #44 #Var: 17105 LB: -525285 @ 1073.6
1091.02	c Restart #45 #Var: 17105 LB: -525285 @ 1090.7
1104.43	c Restart #46 #Var: 17105 LB: -525285 @ 1104.1
1112.86	c Restart #47 #Var: 17105 LB: -525285 @ 1112.5
1123.97	c Restart #48 #Var: 17105 LB: -525285 @ 1123.6
1136.04	c Restart #49 #Var: 17105 LB: -525285 @ 1135.7
1147.86	c Restart #50 #Var: 17105 LB: -525285 @ 1147.5
1172.07	c Restart #51 #Var: 17105 LB: -525285 @ 1171.7
1184.82	c Restart #52 #Var: 17105 LB: -525285 @ 1184.4
1202.75	c Restart #53 #Var: 17105 LB: -525285 @ 1202.3
1220.45	c Restart #54 #Var: 17105 LB: -525285 @ 1220
1234.87	c Restart #55 #Var: 17105 LB: -525285 @ 1234.5
1249.48	c Restart #56 #Var: 17105 LB: -525285 @ 1249.1
1266.30	c Restart #57 #Var: 17105 LB: -525285 @ 1265.9
1275.91	c Restart #58 #Var: 17105 LB: -525285 @ 1275.5
1289.40	c Restart #59 #Var: 17105 LB: -525285 @ 1289
1301.95	c Restart #60 #Var: 17105 LB: -525285 @ 1301.5
1321.29	c Restart #61 #Var: 17105 LB: -525285 @ 1320.9
1354.30	c Restart #62 #Var: 17105 LB: -525285 @ 1353.9
1377.78	c Restart #63 #Var: 17105 LB: -525285 @ 1377.3
1398.05	c Restart #64 #Var: 17105 LB: -525285 @ 1397.6
1420.39	c Restart #65 #Var: 17105 LB: -525285 @ 1419.9
1441.34	c Restart #66 #Var: 17105 LB: -525285 @ 1440.9
1480.72	c Restart #67 #Var: 17105 LB: -525285 @ 1480.2
1511.53	c Restart #68 #Var: 17105 LB: -525285 @ 1511
1534.65	c Restart #69 #Var: 17105 LB: -525285 @ 1534.1
1554.51	c Restart #70 #Var: 17105 LB: -525285 @ 1554
1573.55	c Restart #71 #Var: 17105 LB: -525285 @ 1573
1594.15	c Restart #72 #Var: 17105 LB: -525285 @ 1593.6
1626.98	c Restart #73 #Var: 17105 LB: -525285 @ 1626.4
1668.61	c Restart #74 #Var: 17105 LB: -525285 @ 1668.1
1700.67	c Restart #75 #Var: 17105 LB: -525285 @ 1700.1
1715.63	c Restart #76 #Var: 17105 LB: -525285 @ 1715.1
1747.28	c Restart #77 #Var: 17105 LB: -525285 @ 1746.7
1797.20	c Restart #78 #Var: 17105 LB: -525285 @ 1796.6
1800.60	s UNKNOWN
1800.60	c Exit Code: 0
1800.60	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-39912-1149329577 -o ROOT/results/node29/solver-39912-1149329577 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node29/39912-1149329577/instance-39912-1149329577.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.91 0.95 0.97 3/64 20237
/proc/meminfo: memFree=1831016/2055920 swapFree=4181376/4192956
[pid=20237] ppid=20235 vsize=4748 CPUtime=0
/proc/20237/stat : 20237 (bsolo) R 20235 20237 20191 0 -1 0 234 0 0 0 0 0 0 0 18 0 1 0 198621246 4861952 204 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4157852912 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20237/statm: 1187 212 153 55 0 79 0

[startup+10.0021 s]
/proc/loadavg: 0.93 0.95 0.97 2/64 20237
/proc/meminfo: memFree=1800952/2055920 swapFree=4181376/4192956
[pid=20237] ppid=20235 vsize=35180 CPUtime=9.98
/proc/20237/stat : 20237 (bsolo) R 20235 20237 20191 0 -1 0 8101 0 0 0 969 29 0 0 25 0 1 0 198621246 36024320 7831 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20237/statm: 8795 7831 297 55 0 7687 0
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 35180

[startup+20.0085 s]
/proc/loadavg: 0.94 0.96 0.97 2/64 20237
/proc/meminfo: memFree=1800760/2055920 swapFree=4181376/4192956
[pid=20237] ppid=20235 vsize=35444 CPUtime=19.98
/proc/20237/stat : 20237 (bsolo) R 20235 20237 20191 0 -1 0 8150 0 0 0 1938 60 0 0 25 0 1 0 198621246 36294656 7880 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548246 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20237/statm: 8861 7880 297 55 0 7753 0
Current children cumulated CPU time (s) 19.98
Current children cumulated vsize (Kb) 35444

[startup+30.0149 s]
/proc/loadavg: 0.95 0.96 0.97 2/64 20237
/proc/meminfo: memFree=1785336/2055920 swapFree=4181376/4192956
[pid=20237] ppid=20235 vsize=50752 CPUtime=29.98
/proc/20237/stat : 20237 (bsolo) R 20235 20237 20191 0 -1 0 11993 0 0 0 2923 75 0 0 25 0 1 0 198621246 51970048 11723 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20237/statm: 12688 11723 297 55 0 11580 0
Current children cumulated CPU time (s) 29.98
Current children cumulated vsize (Kb) 50752

[startup+40.0204 s]
/proc/loadavg: 0.95 0.96 0.97 2/64 20237
/proc/meminfo: memFree=1764792/2055920 swapFree=4181376/4192956
[pid=20237] ppid=20235 vsize=71340 CPUtime=39.98
/proc/20237/stat : 20237 (bsolo) R 20235 20237 20191 0 -1 0 17141 0 0 0 3916 82 0 0 25 0 1 0 198621246 73052160 16871 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20237/statm: 17835 16871 297 55 0 16727 0
Current children cumulated CPU time (s) 39.98
Current children cumulated vsize (Kb) 71340

[startup+50.0268 s]
/proc/loadavg: 0.96 0.96 0.97 2/64 20237
/proc/meminfo: memFree=1747896/2055920 swapFree=4181376/4192956
[pid=20237] ppid=20235 vsize=88276 CPUtime=49.98
/proc/20237/stat : 20237 (bsolo) R 20235 20237 20191 0 -1 0 21348 0 0 0 4909 89 0 0 25 0 1 0 198621246 90394624 21078 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540691 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20237/statm: 22069 21078 297 55 0 20961 0
Current children cumulated CPU time (s) 49.98
Current children cumulated vsize (Kb) 88276

[startup+60.0322 s]
/proc/loadavg: 0.97 0.96 0.97 2/64 20237
/proc/meminfo: memFree=1732472/2055920 swapFree=4181376/4192956
[pid=20237] ppid=20235 vsize=103584 CPUtime=59.99
/proc/20237/stat : 20237 (bsolo) R 20235 20237 20191 0 -1 0 25193 0 0 0 5905 94 0 0 25 0 1 0 198621246 106070016 24923 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4564603 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20237/statm: 25896 24923 297 55 0 24788 0
Current children cumulated CPU time (s) 59.99
Current children cumulated vsize (Kb) 103584

[startup+70.0386 s]
/proc/loadavg: 0.97 0.96 0.97 2/64 20237
/proc/meminfo: memFree=1719352/2055920 swapFree=4181376/4192956
[pid=20237] ppid=20235 vsize=116780 CPUtime=69.99
/proc/20237/stat : 20237 (bsolo) R 20235 20237 20191 0 -1 0 28472 0 0 0 6900 99 0 0 25 0 1 0 198621246 119582720 28202 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20237/statm: 29195 28202 297 55 0 28087 0
Current children cumulated CPU time (s) 69.99
Current children cumulated vsize (Kb) 116780

[startup+80.044 s]
/proc/loadavg: 0.98 0.96 0.97 2/64 20237
/proc/meminfo: memFree=1705592/2055920 swapFree=4181376/4192956
[pid=20237] ppid=20235 vsize=130388 CPUtime=80
/proc/20237/stat : 20237 (bsolo) R 20235 20237 20191 0 -1 0 31898 0 0 0 7896 104 0 0 25 0 1 0 198621246 133517312 31628 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20237/statm: 32597 31628 297 55 0 31489 0
Current children cumulated CPU time (s) 80
Current children cumulated vsize (Kb) 130388

[startup+90.0494 s]
/proc/loadavg: 0.98 0.96 0.97 2/64 20237
/proc/meminfo: memFree=1684856/2055920 swapFree=4181376/4192956
[pid=20237] ppid=20235 vsize=151228 CPUtime=90
/proc/20237/stat : 20237 (bsolo) R 20235 20237 20191 0 -1 0 37079 0 0 0 8889 111 0 0 25 0 1 0 198621246 154857472 36809 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534136 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20237/statm: 37807 36809 297 55 0 36699 0
Current children cumulated CPU time (s) 90
Current children cumulated vsize (Kb) 151228

[startup+100.055 s]
/proc/loadavg: 0.98 0.96 0.97 2/64 20237
/proc/meminfo: memFree=1673336/2055920 swapFree=4181376/4192956
[pid=20237] ppid=20235 vsize=162584 CPUtime=100
/proc/20237/stat : 20237 (bsolo) R 20235 20237 20191 0 -1 0 39942 0 0 0 9885 115 0 0 25 0 1 0 198621246 166486016 39672 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4564603 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20237/statm: 40646 39672 297 55 0 39538 0
Current children cumulated CPU time (s) 100
Current children cumulated vsize (Kb) 162584

[startup+110.06 s]
/proc/loadavg: 0.98 0.96 0.97 2/64 20237
/proc/meminfo: memFree=1663608/2055920 swapFree=4181376/4192956
[pid=20237] ppid=20235 vsize=172352 CPUtime=110
/proc/20237/stat : 20237 (bsolo) R 20235 20237 20191 0 -1 0 42374 0 0 0 10881 119 0 0 25 0 1 0 198621246 176488448 42104 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20237/statm: 43088 42104 297 55 0 41980 0
Current children cumulated CPU time (s) 110
Current children cumulated vsize (Kb) 172352

[startup+120.066 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 20237
/proc/meminfo: memFree=1654520/2055920 swapFree=4181376/4192956
[pid=20237] ppid=20235 vsize=181488 CPUtime=120
/proc/20237/stat : 20237 (bsolo) R 20235 20237 20191 0 -1 0 44636 0 0 0 11877 123 0 0 25 0 1 0 198621246 185843712 44366 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534147 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20237/statm: 45372 44366 297 55 0 44264 0
Current children cumulated CPU time (s) 120
Current children cumulated vsize (Kb) 181488

[startup+130.071 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 20237
/proc/meminfo: memFree=1644920/2055920 swapFree=4181376/4192956
[pid=20237] ppid=20235 vsize=190992 CPUtime=130.01
/proc/20237/stat : 20237 (bsolo) R 20235 20237 20191 0 -1 0 47027 0 0 0 12874 127 0 0 25 0 1 0 198621246 195575808 46757 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534013 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20237/statm: 47748 46757 297 55 0 46640 0
Current children cumulated CPU time (s) 130.01
Current children cumulated vsize (Kb) 190992

[startup+140.077 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 20237
/proc/meminfo: memFree=1638456/2055920 swapFree=4181376/4192956
[pid=20237] ppid=20235 vsize=197456 CPUtime=140.01
/proc/20237/stat : 20237 (bsolo) R 20235 20237 20191 0 -1 0 48651 0 0 0 13871 130 0 0 25 0 1 0 198621246 202194944 48381 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548503 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20237/statm: 49364 48381 297 55 0 48256 0
Current children cumulated CPU time (s) 140.01
Current children cumulated vsize (Kb) 197456

[startup+150.082 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 20237
/proc/meminfo: memFree=1630136/2055920 swapFree=4181376/4192956
[pid=20237] ppid=20235 vsize=205772 CPUtime=150.01
/proc/20237/stat : 20237 (bsolo) R 20235 20237 20191 0 -1 0 50715 0 0 0 14869 132 0 0 25 0 1 0 198621246 210710528 50445 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20237/statm: 51443 50445 297 55 0 50335 0
Current children cumulated CPU time (s) 150.01
Current children cumulated vsize (Kb) 205772

[startup+160.087 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 20237
/proc/meminfo: memFree=1622968/2055920 swapFree=4181376/4192956
[pid=20237] ppid=20235 vsize=212904 CPUtime=160.01
/proc/20237/stat : 20237 (bsolo) R 20235 20237 20191 0 -1 0 52511 0 0 0 15867 134 0 0 25 0 1 0 198621246 218013696 52241 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4564603 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20237/statm: 53226 52241 297 55 0 52118 0
Current children cumulated CPU time (s) 160.01
Current children cumulated vsize (Kb) 212904

[startup+170.093 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 20237
/proc/meminfo: memFree=1615736/2055920 swapFree=4181376/4192956
[pid=20237] ppid=20235 vsize=220188 CPUtime=170.02
/proc/20237/stat : 20237 (bsolo) R 20235 20237 20191 0 -1 0 54320 0 0 0 16865 137 0 0 25 0 1 0 198621246 225472512 54050 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524867 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20237/statm: 55047 54050 297 55 0 53939 0
Current children cumulated CPU time (s) 170.02
Current children cumulated vsize (Kb) 220188

[startup+180.098 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 20237
/proc/meminfo: memFree=1609208/2055920 swapFree=4181376/4192956
[pid=20237] ppid=20235 vsize=226656 CPUtime=180.02
/proc/20237/stat : 20237 (bsolo) R 20235 20237 20191 0 -1 0 55940 0 0 0 17862 140 0 0 25 0 1 0 198621246 232095744 55670 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551574 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20237/statm: 56664 55670 297 55 0 55556 0
Current children cumulated CPU time (s) 180.02
Current children cumulated vsize (Kb) 226656

[startup+190.104 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 20237
/proc/meminfo: memFree=1603320/2055920 swapFree=4181376/4192956
[pid=20237] ppid=20235 vsize=232604 CPUtime=190.01
/proc/20237/stat : 20237 (bsolo) R 20235 20237 20191 0 -1 0 57406 0 0 0 18859 142 0 0 25 0 1 0 198621246 238186496 57136 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528714 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20237/statm: 58151 57136 297 55 0 57043 0
Current children cumulated CPU time (s) 190.01
Current children cumulated vsize (Kb) 232604

[startup+200.109 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 20237
/proc/meminfo: memFree=1598392/2055920 swapFree=4181376/4192956
[pid=20237] ppid=20235 vsize=237488 CPUtime=200.02
/proc/20237/stat : 20237 (bsolo) R 20235 20237 20191 0 -1 0 58648 0 0 0 19858 144 0 0 25 0 1 0 198621246 243187712 58378 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20237/statm: 59372 58378 297 55 0 58264 0
Current children cumulated CPU time (s) 200.02
Current children cumulated vsize (Kb) 237488

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

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

/proc/20237/statm: 250071 248319 297 55 0 248963 0
Current children cumulated CPU time (s) 1760.39
Current children cumulated vsize (Kb) 1000284

[startup+1770.98 s]
/proc/loadavg: 1.00 0.99 0.98 2/64 20239
/proc/meminfo: memFree=835000/2055920 swapFree=4181376/4192956
[pid=20237] ppid=20235 vsize=1002124 CPUtime=1770.4
/proc/20237/stat : 20237 (bsolo) R 20235 20237 20191 0 -1 0 249210 0 0 0 176570 470 0 0 25 0 1 0 198621246 1026174976 248773 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20237/statm: 250531 248773 297 55 0 249423 0
Current children cumulated CPU time (s) 1770.4
Current children cumulated vsize (Kb) 1002124

[startup+1780.99 s]
/proc/loadavg: 1.00 0.99 0.98 2/64 20239
/proc/meminfo: memFree=831928/2055920 swapFree=4181376/4192956
[pid=20237] ppid=20235 vsize=1005160 CPUtime=1780.4
/proc/20237/stat : 20237 (bsolo) R 20235 20237 20191 0 -1 0 249978 0 0 0 177569 471 0 0 25 0 1 0 198621246 1029283840 249540 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528659 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20237/statm: 251290 249540 297 55 0 250182 0
Current children cumulated CPU time (s) 1780.4
Current children cumulated vsize (Kb) 1005160

[startup+1782 s]
/proc/loadavg: 1.00 0.99 0.98 2/64 20239
/proc/meminfo: memFree=831672/2055920 swapFree=4181376/4192956
[pid=20237] ppid=20235 vsize=1005424 CPUtime=1781.4
/proc/20237/stat : 20237 (bsolo) R 20235 20237 20191 0 -1 0 250042 0 0 0 177669 471 0 0 25 0 1 0 198621246 1029554176 249604 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20237/statm: 251356 249604 297 55 0 250248 0
Current children cumulated CPU time (s) 1781.4
Current children cumulated vsize (Kb) 1005424

[startup+1783 s]
/proc/loadavg: 1.00 0.99 0.98 2/64 20239
/proc/meminfo: memFree=831416/2055920 swapFree=4181376/4192956
[pid=20237] ppid=20235 vsize=1005688 CPUtime=1782.4
/proc/20237/stat : 20237 (bsolo) R 20235 20237 20191 0 -1 0 250099 0 0 0 177769 471 0 0 25 0 1 0 198621246 1029824512 249661 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534116 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20237/statm: 251422 249661 297 55 0 250314 0
Current children cumulated CPU time (s) 1782.4
Current children cumulated vsize (Kb) 1005688

[startup+1784 s]
/proc/loadavg: 1.00 0.99 0.98 2/64 20239
/proc/meminfo: memFree=831224/2055920 swapFree=4181376/4192956
[pid=20237] ppid=20235 vsize=1005952 CPUtime=1783.41
/proc/20237/stat : 20237 (bsolo) R 20235 20237 20191 0 -1 0 250155 0 0 0 177870 471 0 0 25 0 1 0 198621246 1030094848 249717 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20237/statm: 251488 249717 297 55 0 250380 0
Current children cumulated CPU time (s) 1783.41
Current children cumulated vsize (Kb) 1005952

[startup+1785.01 s]
/proc/loadavg: 1.00 0.99 0.98 2/64 20239
/proc/meminfo: memFree=830904/2055920 swapFree=4181376/4192956
[pid=20237] ppid=20235 vsize=1006216 CPUtime=1784.42
/proc/20237/stat : 20237 (bsolo) R 20235 20237 20191 0 -1 0 250239 0 0 0 177970 472 0 0 25 0 1 0 198621246 1030365184 249801 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534870 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20237/statm: 251554 249801 297 55 0 250446 0
Current children cumulated CPU time (s) 1784.42
Current children cumulated vsize (Kb) 1006216

[startup+1786.01 s]
/proc/loadavg: 1.00 0.99 0.98 2/64 20239
/proc/meminfo: memFree=830584/2055920 swapFree=4181376/4192956
[pid=20237] ppid=20235 vsize=1006612 CPUtime=1785.42
/proc/20237/stat : 20237 (bsolo) R 20235 20237 20191 0 -1 0 250320 0 0 0 178070 472 0 0 25 0 1 0 198621246 1030770688 249882 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603842 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20237/statm: 251653 249882 297 55 0 250545 0
Current children cumulated CPU time (s) 1785.42
Current children cumulated vsize (Kb) 1006612

[startup+1787.02 s]
/proc/loadavg: 1.00 0.99 0.98 2/64 20239
/proc/meminfo: memFree=830392/2055920 swapFree=4181376/4192956
[pid=20237] ppid=20235 vsize=1006744 CPUtime=1786.43
/proc/20237/stat : 20237 (bsolo) R 20235 20237 20191 0 -1 0 250363 0 0 0 178171 472 0 0 25 0 1 0 198621246 1030905856 249925 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20237/statm: 251686 249925 297 55 0 250578 0
Current children cumulated CPU time (s) 1786.43
Current children cumulated vsize (Kb) 1006744

[startup+1788.03 s]
/proc/loadavg: 1.00 0.99 0.98 2/64 20239
/proc/meminfo: memFree=830136/2055920 swapFree=4181376/4192956
[pid=20237] ppid=20235 vsize=1007008 CPUtime=1787.43
/proc/20237/stat : 20237 (bsolo) R 20235 20237 20191 0 -1 0 250421 0 0 0 178271 472 0 0 25 0 1 0 198621246 1031176192 249983 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20237/statm: 251752 249983 297 55 0 250644 0
Current children cumulated CPU time (s) 1787.43
Current children cumulated vsize (Kb) 1007008

[startup+1789.03 s]
/proc/loadavg: 1.00 0.99 0.98 2/64 20239
/proc/meminfo: memFree=829880/2055920 swapFree=4181376/4192956
[pid=20237] ppid=20235 vsize=1007272 CPUtime=1788.44
/proc/20237/stat : 20237 (bsolo) R 20235 20237 20191 0 -1 0 250492 0 0 0 178372 472 0 0 25 0 1 0 198621246 1031446528 250054 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20237/statm: 251818 250054 297 55 0 250710 0
Current children cumulated CPU time (s) 1788.44
Current children cumulated vsize (Kb) 1007272

[startup+1790.03 s]
/proc/loadavg: 1.00 0.99 0.98 2/64 20239
/proc/meminfo: memFree=829560/2055920 swapFree=4181376/4192956
[pid=20237] ppid=20235 vsize=1007536 CPUtime=1789.44
/proc/20237/stat : 20237 (bsolo) R 20235 20237 20191 0 -1 0 250572 0 0 0 178472 472 0 0 25 0 1 0 198621246 1031716864 250134 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529232 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20237/statm: 251884 250134 297 55 0 250776 0
Current children cumulated CPU time (s) 1789.44
Current children cumulated vsize (Kb) 1007536

[startup+1791.04 s]
/proc/loadavg: 1.00 0.99 0.98 2/64 20239
/proc/meminfo: memFree=829176/2055920 swapFree=4181376/4192956
[pid=20237] ppid=20235 vsize=1007932 CPUtime=1790.44
/proc/20237/stat : 20237 (bsolo) R 20235 20237 20191 0 -1 0 250660 0 0 0 178572 472 0 0 25 0 1 0 198621246 1032122368 250222 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534991 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20237/statm: 251983 250222 297 55 0 250875 0
Current children cumulated CPU time (s) 1790.44
Current children cumulated vsize (Kb) 1007932

[startup+1792.04 s]
/proc/loadavg: 1.00 0.99 0.98 2/64 20239
/proc/meminfo: memFree=829048/2055920 swapFree=4181376/4192956
[pid=20237] ppid=20235 vsize=1008064 CPUtime=1791.45
/proc/20237/stat : 20237 (bsolo) R 20235 20237 20191 0 -1 0 250695 0 0 0 178673 472 0 0 25 0 1 0 198621246 1032257536 250257 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529492 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20237/statm: 252016 250257 297 55 0 250908 0
Current children cumulated CPU time (s) 1791.45
Current children cumulated vsize (Kb) 1008064

[startup+1793.05 s]
/proc/loadavg: 1.00 0.99 0.98 2/64 20239
/proc/meminfo: memFree=828920/2055920 swapFree=4181376/4192956
[pid=20237] ppid=20235 vsize=1008196 CPUtime=1792.45
/proc/20237/stat : 20237 (bsolo) R 20235 20237 20191 0 -1 0 250733 0 0 0 178773 472 0 0 25 0 1 0 198621246 1032392704 250295 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20237/statm: 252049 250295 297 55 0 250941 0
Current children cumulated CPU time (s) 1792.45
Current children cumulated vsize (Kb) 1008196

[startup+1794.05 s]
/proc/loadavg: 1.00 0.99 0.98 2/64 20239
/proc/meminfo: memFree=828664/2055920 swapFree=4181376/4192956
[pid=20237] ppid=20235 vsize=1008460 CPUtime=1793.46
/proc/20237/stat : 20237 (bsolo) R 20235 20237 20191 0 -1 0 250788 0 0 0 178874 472 0 0 25 0 1 0 198621246 1032663040 250350 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20237/statm: 252115 250350 297 55 0 251007 0
Current children cumulated CPU time (s) 1793.46
Current children cumulated vsize (Kb) 1008460

[startup+1795.06 s]
/proc/loadavg: 1.00 0.99 0.98 2/64 20239
/proc/meminfo: memFree=828472/2055920 swapFree=4181376/4192956
[pid=20237] ppid=20235 vsize=1008592 CPUtime=1794.46
/proc/20237/stat : 20237 (bsolo) R 20235 20237 20191 0 -1 0 250834 0 0 0 178974 472 0 0 25 0 1 0 198621246 1032798208 250396 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524443 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20237/statm: 252148 250396 297 55 0 251040 0
Current children cumulated CPU time (s) 1794.46
Current children cumulated vsize (Kb) 1008592

[startup+1796.06 s]
/proc/loadavg: 1.00 0.99 0.98 2/64 20239
/proc/meminfo: memFree=828408/2055920 swapFree=4181376/4192956
[pid=20237] ppid=20235 vsize=1008724 CPUtime=1795.47
/proc/20237/stat : 20237 (bsolo) R 20235 20237 20191 0 -1 0 250861 0 0 0 179074 473 0 0 25 0 1 0 198621246 1032933376 250423 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20237/statm: 252181 250423 297 55 0 251073 0
Current children cumulated CPU time (s) 1795.47
Current children cumulated vsize (Kb) 1008724

[startup+1797.07 s]
/proc/loadavg: 1.00 0.99 0.98 2/64 20239
/proc/meminfo: memFree=828280/2055920 swapFree=4181376/4192956
[pid=20237] ppid=20235 vsize=1008856 CPUtime=1796.48
/proc/20237/stat : 20237 (bsolo) R 20235 20237 20191 0 -1 0 250887 0 0 0 179175 473 0 0 25 0 1 0 198621246 1033068544 250449 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534977 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20237/statm: 252214 250449 297 55 0 251106 0
Current children cumulated CPU time (s) 1796.48
Current children cumulated vsize (Kb) 1008856

[startup+1798.07 s]
/proc/loadavg: 1.00 0.99 0.98 2/64 20239
/proc/meminfo: memFree=828216/2055920 swapFree=4181376/4192956
[pid=20237] ppid=20235 vsize=1008988 CPUtime=1797.48
/proc/20237/stat : 20237 (bsolo) R 20235 20237 20191 0 -1 0 250910 0 0 0 179275 473 0 0 25 0 1 0 198621246 1033203712 250472 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20237/statm: 252247 250472 297 55 0 251139 0
Current children cumulated CPU time (s) 1797.48
Current children cumulated vsize (Kb) 1008988

[startup+1799.08 s]
/proc/loadavg: 1.00 0.99 0.98 2/64 20239
/proc/meminfo: memFree=827896/2055920 swapFree=4181376/4192956
[pid=20237] ppid=20235 vsize=1009252 CPUtime=1798.48
/proc/20237/stat : 20237 (bsolo) R 20235 20237 20191 0 -1 0 250988 0 0 0 179375 473 0 0 25 0 1 0 198621246 1033474048 250550 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20237/statm: 252313 250550 297 55 0 251205 0
Current children cumulated CPU time (s) 1798.48
Current children cumulated vsize (Kb) 1009252

[startup+1800.08 s]
/proc/loadavg: 1.00 0.99 0.98 2/64 20239
/proc/meminfo: memFree=827640/2055920 swapFree=4181376/4192956
[pid=20237] ppid=20235 vsize=1009516 CPUtime=1799.49
/proc/20237/stat : 20237 (bsolo) R 20235 20237 20191 0 -1 0 251047 0 0 0 179476 473 0 0 25 0 1 0 198621246 1033744384 250609 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603842 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20237/statm: 252379 250609 297 55 0 251271 0
Current children cumulated CPU time (s) 1799.49
Current children cumulated vsize (Kb) 1009516

Child status: 0
Real time (s): 1800.76
CPU time (s): 1800.16
CPU user time (s): 1795.27
CPU system time (s): 4.89026
CPU usage (%): 99.9671
Max. virtual memory (cumulated for all children) (Kb): 1009516

Launcher Data (download as text)

Begin job on node29 on Sat Jun  3 10:12:57 UTC 2006


FILE ID= 39912-1149329577

PBS_JOBID= 309809

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-grow15.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node29/39912-1149329577/instance-39912-1149329577.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node29/watcher-39912-1149329577 -o ROOT/results/node29/solver-39912-1149329577 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node29/39912-1149329577/instance-39912-1149329577.opb

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  85af08260bc54f31465e48eb0563bdd8

RANDOM SEED= 721207155


/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:       1831288 kB
Buffers:         20404 kB
Cached:         141328 kB
SwapCached:       3236 kB
Active:          24220 kB
Inactive:       146156 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1831288 kB
SwapTotal:     4192956 kB
SwapFree:      4181376 kB
Dirty:              76 kB
Writeback:           0 kB
Mapped:          14716 kB
Slab:            40212 kB
Committed_AS:   338236 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 10:42:57 UTC 2006