Trace number 40006

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.09 1800.78

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib/normalized-reduced-mps-v2-20-10-dcmulti.opb
MD5SUM99a4e5b0ce7b98bffc278cf1f6704eb9
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 variables14265
Total number of constraints290
Number of constraints which are clauses27
Number of constraints which are cardinality constraints (but not clauses)5
Number of constraints which are nor clauses,nor cardinality constraints258
Minimum length of a constraint2
Maximum length of a constraint420
Number of terms in the objective function 14235
Biggest coefficient in the objective function 5488
Number of bits for the biggest coefficient in the objective function 13
Sum of the numbers in the objective function 535829
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262125
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 535829
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.01	c INFO: OSL Context initialized.
0.30	c Initial problem consists of 14265 variables and 368 constraints.
0.33	c No problem reductions applied in OPT. instance.
0.33	c	preprocess terminated. Elapsed time: 0.332
0.33	c After prepocess the problem consists of 10224 variables and 368 constraints.
0.33	c Initial Lower Bound: 0
0.56	c Restart #1 #Var: 10224 LB: 0 @ 0.56
0.98	c Restart #2 #Var: 10224 LB: 0 @ 0.982
1.64	c Restart #3 #Var: 10224 LB: 0 @ 1.636
2.44	c Restart #4 #Var: 10224 LB: 0 @ 2.435
3.26	c Restart #5 #Var: 10224 LB: 0 @ 3.26
4.54	c Restart #6 #Var: 10224 LB: 0 @ 4.537
6.18	c Restart #7 #Var: 10224 LB: 0 @ 6.181
9.18	c Restart #8 #Var: 10224 LB: 0 @ 9.18
9.65	c Restart #9 #Var: 10224 LB: 0 @ 9.646
10.29	c Restart #10 #Var: 10224 LB: 0 @ 10.282
10.97	c Restart #11 #Var: 10224 LB: 0 @ 10.969
11.69	c Restart #12 #Var: 10224 LB: 0 @ 11.685
12.45	c Restart #13 #Var: 10224 LB: 0 @ 12.446
13.16	c Restart #14 #Var: 10224 LB: 0 @ 13.157
14.07	c Restart #15 #Var: 10224 LB: 0 @ 14.066
15.05	c Restart #16 #Var: 10224 LB: 0 @ 15.044
16.24	c Restart #17 #Var: 10224 LB: 0 @ 16.235
17.48	c Restart #18 #Var: 10224 LB: 0 @ 17.477
18.85	c Restart #19 #Var: 10224 LB: 0 @ 18.845
20.44	c Restart #20 #Var: 10224 LB: 0 @ 20.428
21.75	c Restart #21 #Var: 10224 LB: 0 @ 21.737
23.13	c Restart #22 #Var: 10224 LB: 0 @ 23.122
24.98	c Restart #23 #Var: 10224 LB: 0 @ 24.974
26.95	c Restart #24 #Var: 10224 LB: 0 @ 26.934
29.81	c Restart #25 #Var: 10224 LB: 0 @ 29.799
31.82	c Restart #26 #Var: 10224 LB: 0 @ 31.806
33.60	c Restart #27 #Var: 10224 LB: 0 @ 33.582
37.15	c Restart #28 #Var: 10224 LB: 0 @ 37.139
41.04	c Restart #29 #Var: 10224 LB: 0 @ 41.027
43.49	c Restart #30 #Var: 10224 LB: 0 @ 43.472
46.19	c Restart #31 #Var: 10224 LB: 0 @ 46.176
49.47	c Restart #32 #Var: 10224 LB: 0 @ 49.447
53.28	c Restart #33 #Var: 10224 LB: 0 @ 53.264
56.09	c Restart #34 #Var: 10224 LB: 0 @ 56.073
59.48	c Restart #35 #Var: 10224 LB: 0 @ 59.462
62.55	c Restart #36 #Var: 10224 LB: 0 @ 62.529
64.77	c Restart #37 #Var: 10224 LB: 0 @ 64.745
69.38	c Restart #38 #Var: 10224 LB: 0 @ 69.355
71.80	c Restart #39 #Var: 10224 LB: 0 @ 71.773
76.16	c Restart #40 #Var: 10224 LB: 0 @ 76.126
79.05	c Restart #41 #Var: 10224 LB: 0 @ 79.025
84.71	c Restart #42 #Var: 10224 LB: 0 @ 84.675
88.38	c Restart #43 #Var: 10224 LB: 0 @ 88.349
91.16	c Restart #44 #Var: 10224 LB: 0 @ 91.126
97.27	c Restart #45 #Var: 10224 LB: 0 @ 97.235
101.80	c Restart #46 #Var: 10224 LB: 0 @ 101.76
104.63	c Restart #47 #Var: 10224 LB: 0 @ 104.59
109.13	c Restart #48 #Var: 10224 LB: 0 @ 109.09
114.05	c Restart #49 #Var: 10224 LB: 0 @ 114.01
119.17	c Restart #50 #Var: 10224 LB: 0 @ 119.13
123.33	c Restart #51 #Var: 10224 LB: 0 @ 123.28
128.64	c Restart #52 #Var: 10224 LB: 0 @ 128.59
133.96	c Restart #53 #Var: 10224 LB: 0 @ 133.91
137.57	c Restart #54 #Var: 10224 LB: 0 @ 137.52
142.60	c Restart #55 #Var: 10224 LB: 0 @ 142.54
149.43	c Restart #56 #Var: 10224 LB: 0 @ 149.38
152.61	c Restart #57 #Var: 10224 LB: 0 @ 152.55
162.72	c Restart #58 #Var: 10224 LB: 0 @ 162.66
171.34	c Restart #59 #Var: 10224 LB: 0 @ 171.28
176.00	c Restart #60 #Var: 10224 LB: 0 @ 175.93
184.96	c Restart #61 #Var: 10224 LB: 0 @ 184.89
189.25	c Restart #62 #Var: 10224 LB: 0 @ 189.18
201.23	c Restart #63 #Var: 10224 LB: 0 @ 201.15
211.28	c Restart #64 #Var: 10224 LB: 0 @ 211.2
225.05	c Restart #65 #Var: 10224 LB: 0 @ 224.96
232.20	c Restart #66 #Var: 10224 LB: 0 @ 232.12
250.27	c Restart #67 #Var: 10224 LB: 0 @ 250.17
259.99	c Restart #68 #Var: 10224 LB: 0 @ 259.89
272.08	c Restart #69 #Var: 10224 LB: 0 @ 271.98
282.80	c Restart #70 #Var: 10224 LB: 0 @ 282.69
292.92	c Restart #71 #Var: 10224 LB: 0 @ 292.81
303.03	c Restart #72 #Var: 10224 LB: 0 @ 302.91
315.01	c Restart #73 #Var: 10224 LB: 0 @ 314.89
322.45	c Restart #74 #Var: 10224 LB: 0 @ 322.33
347.84	c Restart #75 #Var: 10224 LB: 0 @ 347.71
355.65	c Restart #76 #Var: 10224 LB: 0 @ 355.52
365.43	c Restart #77 #Var: 10224 LB: 0 @ 365.3
378.86	c Restart #78 #Var: 10224 LB: 0 @ 378.72
398.76	c Restart #79 #Var: 10224 LB: 0 @ 398.61
408.33	c Restart #80 #Var: 10224 LB: 0 @ 408.17
449.72	c Restart #81 #Var: 10224 LB: 0 @ 449.55
456.46	c Restart #82 #Var: 10224 LB: 0 @ 456.29
468.02	c Restart #83 #Var: 10224 LB: 0 @ 467.85
478.00	c Restart #84 #Var: 10224 LB: 0 @ 477.82
503.40	c Restart #85 #Var: 10224 LB: 0 @ 503.21
514.60	c Restart #86 #Var: 10224 LB: 0 @ 514.4
549.88	c Restart #87 #Var: 10224 LB: 0 @ 549.67
558.49	c Restart #88 #Var: 10224 LB: 0 @ 558.28
575.84	c Restart #89 #Var: 10224 LB: 0 @ 575.63
582.33	c Restart #90 #Var: 10224 LB: 0 @ 582.11
607.84	c Restart #91 #Var: 10224 LB: 0 @ 607.62
621.07	c Restart #92 #Var: 10224 LB: 0 @ 620.83
630.82	c Restart #93 #Var: 10224 LB: 0 @ 630.58
649.28	c Restart #94 #Var: 10224 LB: 0 @ 649.03
659.67	c Restart #95 #Var: 10224 LB: 0 @ 659.42
678.36	c Restart #96 #Var: 10224 LB: 0 @ 678.11
696.28	c Restart #97 #Var: 10224 LB: 0 @ 696.02
778.48	c Restart #98 #Var: 10224 LB: 0 @ 778.19
785.10	c Restart #99 #Var: 10224 LB: 0 @ 784.81
808.90	c Restart #100 #Var: 10224 LB: 0 @ 808.59
839.62	c Restart #101 #Var: 10224 LB: 0 @ 839.31
863.08	c Restart #102 #Var: 10224 LB: 0 @ 862.75
918.40	c CHANGE Heuristic... 
918.40	c Restart #0 #Var: 10224 LB: 0 @ 918.05
918.43	c Restart #1 #Var: 10221 LB: 0 @ 918.09
920.50	c Restart #2 #Var: 10221 LB: 0 @ 920.15
920.60	c Restart #3 #Var: 10221 LB: 0 @ 920.26
922.26	c Restart #4 #Var: 10218 LB: 0 @ 921.92
925.01	c Restart #5 #Var: 10215 LB: 0 @ 924.66
925.25	c Restart #6 #Var: 10214 LB: 0 @ 924.9
929.91	c Restart #7 #Var: 10207 LB: 0 @ 929.56
930.57	c Restart #8 #Var: 10207 LB: 0 @ 930.22
936.60	c Restart #9 #Var: 10201 LB: 0 @ 936.25
936.83	c Restart #10 #Var: 10200 LB: 0 @ 936.47
943.35	c Restart #11 #Var: 10199 LB: 0 @ 943
945.74	c Restart #12 #Var: 10199 LB: 0 @ 945.39
962.05	c Restart #13 #Var: 10199 LB: 0 @ 961.69
969.53	c Restart #14 #Var: 10198 LB: 0 @ 969.16
971.40	c Restart #15 #Var: 10198 LB: 0 @ 971.03
975.50	c Restart #16 #Var: 10197 LB: 0 @ 975.13
981.11	c Restart #17 #Var: 10197 LB: 0 @ 980.74
996.41	c Restart #18 #Var: 10196 LB: 0 @ 996.04
1007.02	c Restart #19 #Var: 10196 LB: 0 @ 1006.6
1009.50	c Restart #20 #Var: 10196 LB: 0 @ 1009.1
1011.36	c Restart #21 #Var: 10196 LB: 0 @ 1011
1012.50	c Restart #22 #Var: 10196 LB: 0 @ 1012.1
1013.49	c Restart #23 #Var: 10195 LB: 0 @ 1013.1
1015.46	c Restart #24 #Var: 10195 LB: 0 @ 1015.1
1017.64	c Restart #25 #Var: 10194 LB: 0 @ 1017.3
1035.65	c Restart #26 #Var: 10194 LB: 0 @ 1035.3
1040.97	c Restart #27 #Var: 10194 LB: 0 @ 1040.6
1043.91	c Restart #28 #Var: 10194 LB: 0 @ 1043.5
1045.96	c Restart #29 #Var: 10194 LB: 0 @ 1045.6
1047.40	c Restart #30 #Var: 10194 LB: 0 @ 1047
1049.65	c Restart #31 #Var: 10194 LB: 0 @ 1049.3
1050.32	c Restart #32 #Var: 10194 LB: 0 @ 1049.9
1065.50	c Restart #33 #Var: 10194 LB: 0 @ 1065.1
1066.76	c Restart #34 #Var: 10193 LB: 0 @ 1066.4
1069.75	c Restart #35 #Var: 10193 LB: 0 @ 1069.3
1075.43	c Restart #36 #Var: 10193 LB: 0 @ 1075
1078.07	c Restart #37 #Var: 10193 LB: 0 @ 1077.7
1079.03	c Restart #38 #Var: 10193 LB: 0 @ 1078.6
1080.80	c Restart #39 #Var: 10193 LB: 0 @ 1080.4
1082.22	c Restart #40 #Var: 10193 LB: 0 @ 1081.8
1083.14	c Restart #41 #Var: 10193 LB: 0 @ 1082.7
1088.75	c Restart #42 #Var: 10193 LB: 0 @ 1088.3
1102.02	c Restart #43 #Var: 10193 LB: 0 @ 1101.6
1105.43	c Restart #44 #Var: 10193 LB: 0 @ 1105
1148.42	c Restart #45 #Var: 10192 LB: 0 @ 1148
1151.43	c Restart #46 #Var: 10191 LB: 0 @ 1151
1366.18	c Restart #47 #Var: 10191 LB: 0 @ 1365.7
1369.40	c Restart #48 #Var: 10191 LB: 0 @ 1368.9
1375.22	c Restart #49 #Var: 10191 LB: 0 @ 1374.7
1384.16	c Restart #50 #Var: 10191 LB: 0 @ 1383.6
1401.56	c Restart #51 #Var: 10190 LB: 0 @ 1401
1409.44	c Restart #52 #Var: 10190 LB: 0 @ 1408.9
1411.96	c Restart #53 #Var: 10190 LB: 0 @ 1411.4
1466.09	c Restart #54 #Var: 10190 LB: 0 @ 1465.5
1528.36	c Restart #55 #Var: 10190 LB: 0 @ 1527.8
1698.63	c Restart #56 #Var: 10190 LB: 0 @ 1698
1748.37	c Restart #57 #Var: 10189 LB: 0 @ 1747.7
1753.05	c Restart #58 #Var: 10188 LB: 0 @ 1752.4
1800.68	s UNKNOWN
1800.68	c Exit Code: 0
1800.68	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/node75/watcher-40006-1149351492 -o ROOT/results/node75/solver-40006-1149351492 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node75/40006-1149351492/instance-40006-1149351492.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.91 0.95 0.92 2/64 26908
/proc/meminfo: memFree=1806256/2055920 swapFree=4182500/4192956
[pid=26908] ppid=26906 vsize=4932 CPUtime=0
/proc/26908/stat : 26908 (bsolo) D 26906 26908 26862 0 -1 0 369 0 0 0 0 0 0 0 19 0 1 0 200812593 5050368 331 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 2147483391 4096 16384 18446744072099855350 0 0 17 0 0 0
/proc/26908/statm: 1233 331 227 55 0 125 0

[startup+10.0031 s]
/proc/loadavg: 0.93 0.95 0.92 2/64 26908
/proc/meminfo: memFree=1788992/2055920 swapFree=4182500/4192956
[pid=26908] ppid=26906 vsize=22220 CPUtime=10
/proc/26908/stat : 26908 (bsolo) R 26906 26908 26862 0 -1 0 4718 0 0 0 970 30 0 0 25 0 1 0 200812593 22753280 4633 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0
/proc/26908/statm: 5555 4633 297 55 0 4447 0
Current children cumulated CPU time (s) 10
Current children cumulated vsize (Kb) 22220

[startup+20.0101 s]
/proc/loadavg: 0.94 0.96 0.92 2/64 26908
/proc/meminfo: memFree=1776192/2055920 swapFree=4182500/4192956
[pid=26908] ppid=26906 vsize=35124 CPUtime=20
/proc/26908/stat : 26908 (bsolo) R 26906 26908 26862 0 -1 0 7935 0 0 0 1953 47 0 0 25 0 1 0 200812593 35966976 7850 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524446 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26908/statm: 8781 7850 297 55 0 7673 0
Current children cumulated CPU time (s) 20
Current children cumulated vsize (Kb) 35124

[startup+30.0169 s]
/proc/loadavg: 0.95 0.96 0.92 2/64 26908
/proc/meminfo: memFree=1770240/2055920 swapFree=4182500/4192956
[pid=26908] ppid=26906 vsize=41100 CPUtime=30
/proc/26908/stat : 26908 (bsolo) R 26906 26908 26862 0 -1 0 9420 0 0 0 2944 56 0 0 25 0 1 0 200812593 42086400 9335 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26908/statm: 10275 9335 297 55 0 9167 0
Current children cumulated CPU time (s) 30
Current children cumulated vsize (Kb) 41100

[startup+40.023 s]
/proc/loadavg: 0.95 0.96 0.92 2/64 26908
/proc/meminfo: memFree=1763840/2055920 swapFree=4182500/4192956
[pid=26908] ppid=26906 vsize=47468 CPUtime=40
/proc/26908/stat : 26908 (bsolo) R 26906 26908 26862 0 -1 0 11032 0 0 0 3937 63 0 0 25 0 1 0 200812593 48607232 10932 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134719409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26908/statm: 11867 10932 297 55 0 10759 0
Current children cumulated CPU time (s) 40
Current children cumulated vsize (Kb) 47468

[startup+50.0299 s]
/proc/loadavg: 0.96 0.96 0.92 2/64 26908
/proc/meminfo: memFree=1760832/2055920 swapFree=4182500/4192956
[pid=26908] ppid=26906 vsize=50432 CPUtime=50
/proc/26908/stat : 26908 (bsolo) R 26906 26908 26862 0 -1 0 11777 0 0 0 4932 68 0 0 25 0 1 0 200812593 51642368 11677 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534813 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26908/statm: 12608 11677 297 55 0 11500 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 50432

[startup+60.0359 s]
/proc/loadavg: 0.97 0.96 0.92 2/64 26908
/proc/meminfo: memFree=1752704/2055920 swapFree=4182500/4192956
[pid=26908] ppid=26906 vsize=58456 CPUtime=60
/proc/26908/stat : 26908 (bsolo) R 26906 26908 26862 0 -1 0 13802 0 0 0 5923 77 0 0 25 0 1 0 200812593 59858944 13702 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26908/statm: 14614 13702 297 55 0 13506 0
Current children cumulated CPU time (s) 60
Current children cumulated vsize (Kb) 58456

[startup+70.0419 s]
/proc/loadavg: 0.97 0.96 0.92 2/64 26908
/proc/meminfo: memFree=1750784/2055920 swapFree=4182500/4192956
[pid=26908] ppid=26906 vsize=60436 CPUtime=70.01
/proc/26908/stat : 26908 (bsolo) R 26906 26908 26862 0 -1 0 14269 0 0 0 6920 81 0 0 25 0 1 0 200812593 61886464 14169 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26908/statm: 15109 14169 297 55 0 14001 0
Current children cumulated CPU time (s) 70.01
Current children cumulated vsize (Kb) 60436

[startup+80.0479 s]
/proc/loadavg: 0.98 0.96 0.92 2/64 26908
/proc/meminfo: memFree=1747136/2055920 swapFree=4182500/4192956
[pid=26908] ppid=26906 vsize=63996 CPUtime=80
/proc/26908/stat : 26908 (bsolo) R 26906 26908 26862 0 -1 0 15253 0 0 0 7913 87 0 0 25 0 1 0 200812593 65531904 15077 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607308 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26908/statm: 15999 15077 297 55 0 14891 0
Current children cumulated CPU time (s) 80
Current children cumulated vsize (Kb) 63996

[startup+90.0539 s]
/proc/loadavg: 0.98 0.96 0.92 2/64 26908
/proc/meminfo: memFree=1743360/2055920 swapFree=4182500/4192956
[pid=26908] ppid=26906 vsize=67832 CPUtime=90.01
/proc/26908/stat : 26908 (bsolo) R 26906 26908 26862 0 -1 0 16259 0 0 0 8908 93 0 0 25 0 1 0 200812593 69459968 16026 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134719574 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26908/statm: 16958 16026 297 55 0 15850 0
Current children cumulated CPU time (s) 90.01
Current children cumulated vsize (Kb) 67832

[startup+100.06 s]
/proc/loadavg: 0.98 0.96 0.92 2/64 26908
/proc/meminfo: memFree=1740864/2055920 swapFree=4182500/4192956
[pid=26908] ppid=26906 vsize=70252 CPUtime=100.02
/proc/26908/stat : 26908 (bsolo) R 26906 26908 26862 0 -1 0 16916 0 0 0 9902 100 0 0 25 0 1 0 200812593 71938048 16649 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26908/statm: 17563 16649 297 55 0 16455 0
Current children cumulated CPU time (s) 100.02
Current children cumulated vsize (Kb) 70252

[startup+110.066 s]
/proc/loadavg: 0.98 0.96 0.92 2/64 26908
/proc/meminfo: memFree=1734400/2055920 swapFree=4182500/4192956
[pid=26908] ppid=26906 vsize=76708 CPUtime=110.02
/proc/26908/stat : 26908 (bsolo) R 26906 26908 26862 0 -1 0 18526 0 0 0 10898 104 0 0 25 0 1 0 200812593 78548992 18259 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26908/statm: 19177 18259 297 55 0 18069 0
Current children cumulated CPU time (s) 110.02
Current children cumulated vsize (Kb) 76708

[startup+120.072 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 26908
/proc/meminfo: memFree=1732160/2055920 swapFree=4182500/4192956
[pid=26908] ppid=26906 vsize=79052 CPUtime=120.01
/proc/26908/stat : 26908 (bsolo) R 26906 26908 26862 0 -1 0 19104 0 0 0 11894 107 0 0 25 0 1 0 200812593 80949248 18819 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26908/statm: 19763 18819 297 55 0 18655 0
Current children cumulated CPU time (s) 120.01
Current children cumulated vsize (Kb) 79052

[startup+130.078 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 26908
/proc/meminfo: memFree=1728960/2055920 swapFree=4182500/4192956
[pid=26908] ppid=26906 vsize=82168 CPUtime=130.02
/proc/26908/stat : 26908 (bsolo) R 26906 26908 26862 0 -1 0 20042 0 0 0 12888 114 0 0 25 0 1 0 200812593 84140032 19614 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551564 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26908/statm: 20542 19614 297 55 0 19434 0
Current children cumulated CPU time (s) 130.02
Current children cumulated vsize (Kb) 82168

[startup+140.084 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 26908
/proc/meminfo: memFree=1720704/2055920 swapFree=4182500/4192956
[pid=26908] ppid=26906 vsize=90476 CPUtime=140.02
/proc/26908/stat : 26908 (bsolo) R 26906 26908 26862 0 -1 0 22128 0 0 0 13879 123 0 0 25 0 1 0 200812593 92647424 21675 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26908/statm: 22619 21675 297 55 0 21511 0
Current children cumulated CPU time (s) 140.02
Current children cumulated vsize (Kb) 90476

[startup+150.09 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 26908
/proc/meminfo: memFree=1715776/2055920 swapFree=4182500/4192956
[pid=26908] ppid=26906 vsize=95240 CPUtime=150.02
/proc/26908/stat : 26908 (bsolo) R 26906 26908 26862 0 -1 0 23371 0 0 0 14872 130 0 0 25 0 1 0 200812593 97525760 22892 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26908/statm: 23810 22892 297 55 0 22702 0
Current children cumulated CPU time (s) 150.02
Current children cumulated vsize (Kb) 95240

[startup+160.096 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 26908
/proc/meminfo: memFree=1712256/2055920 swapFree=4182500/4192956
[pid=26908] ppid=26906 vsize=98808 CPUtime=160.03
/proc/26908/stat : 26908 (bsolo) R 26906 26908 26862 0 -1 0 24260 0 0 0 15868 135 0 0 25 0 1 0 200812593 101179392 23778 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26908/statm: 24702 23778 297 55 0 23594 0
Current children cumulated CPU time (s) 160.03
Current children cumulated vsize (Kb) 98808

[startup+170.102 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 26908
/proc/meminfo: memFree=1705088/2055920 swapFree=4182500/4192956
[pid=26908] ppid=26906 vsize=105980 CPUtime=170.03
/proc/26908/stat : 26908 (bsolo) R 26906 26908 26862 0 -1 0 26054 0 0 0 16865 138 0 0 25 0 1 0 200812593 108523520 25553 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603842 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26908/statm: 26495 25553 297 55 0 25387 0
Current children cumulated CPU time (s) 170.03
Current children cumulated vsize (Kb) 105980

[startup+180.108 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 26908
/proc/meminfo: memFree=1704000/2055920 swapFree=4182500/4192956
[pid=26908] ppid=26906 vsize=107036 CPUtime=180.03
/proc/26908/stat : 26908 (bsolo) R 26906 26908 26862 0 -1 0 26338 0 0 0 17860 143 0 0 25 0 1 0 200812593 109604864 25837 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26908/statm: 26759 25837 297 55 0 25651 0
Current children cumulated CPU time (s) 180.03
Current children cumulated vsize (Kb) 107036

[startup+190.114 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 26908
/proc/meminfo: memFree=1702784/2055920 swapFree=4182500/4192956
[pid=26908] ppid=26906 vsize=108260 CPUtime=190.03
/proc/26908/stat : 26908 (bsolo) R 26906 26908 26862 0 -1 0 26645 0 0 0 18855 148 0 0 25 0 1 0 200812593 110858240 26136 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529176 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26908/statm: 27065 26136 297 55 0 25957 0
Current children cumulated CPU time (s) 190.03
Current children cumulated vsize (Kb) 108260

[startup+200.12 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 26908
/proc/meminfo: memFree=1699200/2055920 swapFree=4182500/4192956
[pid=26908] ppid=26906 vsize=111824 CPUtime=200.09
/proc/26908/stat : 26908 (bsolo) R 26906 26908 26862 0 -1 0 27538 0 0 0 19857 152 0 0 25 0 1 0 200812593 114507776 27029 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529346 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26908/statm: 27956 27029 297 55 0 26848 0
Current children cumulated CPU time (s) 200.09
Current children cumulated vsize (Kb) 111824

[startup+210.183 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 26908
/proc/meminfo: memFree=1695808/2055920 swapFree=4182500/4192956

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

/proc/26908/statm: 148565 147503 297 55 0 147457 0
Current children cumulated CPU time (s) 1760.46
Current children cumulated vsize (Kb) 594260

[startup+1771.15 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 26910
/proc/meminfo: memFree=1213056/2055920 swapFree=4182500/4192956
[pid=26908] ppid=26906 vsize=597296 CPUtime=1770.47
/proc/26908/stat : 26908 (bsolo) R 26906 26908 26862 0 -1 0 149459 0 0 0 176567 480 0 0 25 0 1 0 200812593 611631104 148262 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26908/statm: 149324 148262 297 55 0 148216 0
Current children cumulated CPU time (s) 1770.47
Current children cumulated vsize (Kb) 597296

[startup+1781.15 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 26910
/proc/meminfo: memFree=1212544/2055920 swapFree=4182500/4192956
[pid=26908] ppid=26906 vsize=597692 CPUtime=1780.47
/proc/26908/stat : 26908 (bsolo) R 26906 26908 26862 0 -1 0 149581 0 0 0 177567 480 0 0 25 0 1 0 200812593 612036608 148384 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528674 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26908/statm: 149423 148384 297 55 0 148315 0
Current children cumulated CPU time (s) 1780.47
Current children cumulated vsize (Kb) 597692

[startup+1782.16 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 26910
/proc/meminfo: memFree=1212544/2055920 swapFree=4182500/4192956
[pid=26908] ppid=26906 vsize=597824 CPUtime=1781.47
/proc/26908/stat : 26908 (bsolo) R 26906 26908 26862 0 -1 0 149593 0 0 0 177667 480 0 0 25 0 1 0 200812593 612171776 148396 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26908/statm: 149456 148396 297 55 0 148348 0
Current children cumulated CPU time (s) 1781.47
Current children cumulated vsize (Kb) 597824

[startup+1783.16 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 26910
/proc/meminfo: memFree=1212480/2055920 swapFree=4182500/4192956
[pid=26908] ppid=26906 vsize=597824 CPUtime=1782.48
/proc/26908/stat : 26908 (bsolo) R 26906 26908 26862 0 -1 0 149606 0 0 0 177768 480 0 0 25 0 1 0 200812593 612171776 148409 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26908/statm: 149456 148409 297 55 0 148348 0
Current children cumulated CPU time (s) 1782.48
Current children cumulated vsize (Kb) 597824

[startup+1784.17 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 26910
/proc/meminfo: memFree=1212416/2055920 swapFree=4182500/4192956
[pid=26908] ppid=26906 vsize=597956 CPUtime=1783.49
/proc/26908/stat : 26908 (bsolo) R 26906 26908 26862 0 -1 0 149618 0 0 0 177868 481 0 0 25 0 1 0 200812593 612306944 148421 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550825 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26908/statm: 149489 148421 297 55 0 148381 0
Current children cumulated CPU time (s) 1783.49
Current children cumulated vsize (Kb) 597956

[startup+1785.17 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 26910
/proc/meminfo: memFree=1212352/2055920 swapFree=4182500/4192956
[pid=26908] ppid=26906 vsize=597956 CPUtime=1784.49
/proc/26908/stat : 26908 (bsolo) R 26906 26908 26862 0 -1 0 149630 0 0 0 177968 481 0 0 25 0 1 0 200812593 612306944 148433 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26908/statm: 149489 148433 297 55 0 148381 0
Current children cumulated CPU time (s) 1784.49
Current children cumulated vsize (Kb) 597956

[startup+1786.18 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 26910
/proc/meminfo: memFree=1212288/2055920 swapFree=4182500/4192956
[pid=26908] ppid=26906 vsize=597956 CPUtime=1785.5
/proc/26908/stat : 26908 (bsolo) R 26906 26908 26862 0 -1 0 149642 0 0 0 178069 481 0 0 25 0 1 0 200812593 612306944 148445 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529331 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26908/statm: 149489 148445 297 55 0 148381 0
Current children cumulated CPU time (s) 1785.5
Current children cumulated vsize (Kb) 597956

[startup+1787.18 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 26910
/proc/meminfo: memFree=1212288/2055920 swapFree=4182500/4192956
[pid=26908] ppid=26906 vsize=598088 CPUtime=1786.5
/proc/26908/stat : 26908 (bsolo) R 26906 26908 26862 0 -1 0 149654 0 0 0 178169 481 0 0 25 0 1 0 200812593 612442112 148457 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26908/statm: 149522 148457 297 55 0 148414 0
Current children cumulated CPU time (s) 1786.5
Current children cumulated vsize (Kb) 598088

[startup+1788.19 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 26910
/proc/meminfo: memFree=1212224/2055920 swapFree=4182500/4192956
[pid=26908] ppid=26906 vsize=598088 CPUtime=1787.51
/proc/26908/stat : 26908 (bsolo) R 26906 26908 26862 0 -1 0 149667 0 0 0 178270 481 0 0 25 0 1 0 200812593 612442112 148470 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533970 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26908/statm: 149522 148470 297 55 0 148414 0
Current children cumulated CPU time (s) 1787.51
Current children cumulated vsize (Kb) 598088

[startup+1789.19 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 26910
/proc/meminfo: memFree=1212160/2055920 swapFree=4182500/4192956
[pid=26908] ppid=26906 vsize=598088 CPUtime=1788.51
/proc/26908/stat : 26908 (bsolo) R 26906 26908 26862 0 -1 0 149682 0 0 0 178370 481 0 0 25 0 1 0 200812593 612442112 148485 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529283 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26908/statm: 149522 148485 297 55 0 148414 0
Current children cumulated CPU time (s) 1788.51
Current children cumulated vsize (Kb) 598088

[startup+1790.19 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 26910
/proc/meminfo: memFree=1212096/2055920 swapFree=4182500/4192956
[pid=26908] ppid=26906 vsize=598220 CPUtime=1789.51
/proc/26908/stat : 26908 (bsolo) R 26906 26908 26862 0 -1 0 149695 0 0 0 178470 481 0 0 25 0 1 0 200812593 612577280 148498 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26908/statm: 149555 148498 297 55 0 148447 0
Current children cumulated CPU time (s) 1789.51
Current children cumulated vsize (Kb) 598220

[startup+1791.2 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 26910
/proc/meminfo: memFree=1212032/2055920 swapFree=4182500/4192956
[pid=26908] ppid=26906 vsize=598220 CPUtime=1790.52
/proc/26908/stat : 26908 (bsolo) R 26906 26908 26862 0 -1 0 149707 0 0 0 178571 481 0 0 25 0 1 0 200812593 612577280 148510 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524387 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26908/statm: 149555 148510 297 55 0 148447 0
Current children cumulated CPU time (s) 1790.52
Current children cumulated vsize (Kb) 598220

[startup+1792.21 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 26910
/proc/meminfo: memFree=1212032/2055920 swapFree=4182500/4192956
[pid=26908] ppid=26906 vsize=598352 CPUtime=1791.52
/proc/26908/stat : 26908 (bsolo) R 26906 26908 26862 0 -1 0 149720 0 0 0 178671 481 0 0 25 0 1 0 200812593 612712448 148523 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26908/statm: 149588 148523 297 55 0 148480 0
Current children cumulated CPU time (s) 1791.52
Current children cumulated vsize (Kb) 598352

[startup+1793.21 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 26910
/proc/meminfo: memFree=1211968/2055920 swapFree=4182500/4192956
[pid=26908] ppid=26906 vsize=598352 CPUtime=1792.53
/proc/26908/stat : 26908 (bsolo) R 26906 26908 26862 0 -1 0 149733 0 0 0 178772 481 0 0 25 0 1 0 200812593 612712448 148536 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26908/statm: 149588 148536 297 55 0 148480 0
Current children cumulated CPU time (s) 1792.53
Current children cumulated vsize (Kb) 598352

[startup+1794.21 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 26910
/proc/meminfo: memFree=1210112/2055920 swapFree=4182500/4192956
[pid=26908] ppid=26906 vsize=600200 CPUtime=1793.53
/proc/26908/stat : 26908 (bsolo) R 26906 26908 26862 0 -1 0 150197 0 0 0 178872 481 0 0 25 0 1 0 200812593 614604800 149000 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26908/statm: 150050 149000 297 55 0 148942 0
Current children cumulated CPU time (s) 1793.53
Current children cumulated vsize (Kb) 600200

[startup+1795.22 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 26910
/proc/meminfo: memFree=1208064/2055920 swapFree=4182500/4192956
[pid=26908] ppid=26906 vsize=602324 CPUtime=1794.53
/proc/26908/stat : 26908 (bsolo) R 26906 26908 26862 0 -1 0 150713 0 0 0 178972 481 0 0 25 0 1 0 200812593 616779776 149516 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26908/statm: 150581 149516 297 55 0 149473 0
Current children cumulated CPU time (s) 1794.53
Current children cumulated vsize (Kb) 602324

[startup+1796.23 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 26910
/proc/meminfo: memFree=1206848/2055920 swapFree=4182500/4192956
[pid=26908] ppid=26906 vsize=603380 CPUtime=1795.54
/proc/26908/stat : 26908 (bsolo) R 26906 26908 26862 0 -1 0 151001 0 0 0 179072 482 0 0 25 0 1 0 200812593 617861120 149804 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26908/statm: 150845 149804 297 55 0 149737 0
Current children cumulated CPU time (s) 1795.54
Current children cumulated vsize (Kb) 603380

[startup+1797.23 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 26910
/proc/meminfo: memFree=1205248/2055920 swapFree=4182500/4192956
[pid=26908] ppid=26906 vsize=605092 CPUtime=1796.54
/proc/26908/stat : 26908 (bsolo) R 26906 26908 26862 0 -1 0 151405 0 0 0 179172 482 0 0 25 0 1 0 200812593 619614208 150208 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26908/statm: 151273 150208 297 55 0 150165 0
Current children cumulated CPU time (s) 1796.54
Current children cumulated vsize (Kb) 605092

[startup+1798.24 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 26910
/proc/meminfo: memFree=1205184/2055920 swapFree=4182500/4192956
[pid=26908] ppid=26906 vsize=605092 CPUtime=1797.55
/proc/26908/stat : 26908 (bsolo) R 26906 26908 26862 0 -1 0 151419 0 0 0 179273 482 0 0 25 0 1 0 200812593 619614208 150222 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26908/statm: 151273 150222 297 55 0 150165 0
Current children cumulated CPU time (s) 1797.55
Current children cumulated vsize (Kb) 605092

[startup+1799.24 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 26910
/proc/meminfo: memFree=1205120/2055920 swapFree=4182500/4192956
[pid=26908] ppid=26906 vsize=605224 CPUtime=1798.55
/proc/26908/stat : 26908 (bsolo) R 26906 26908 26862 0 -1 0 151431 0 0 0 179373 482 0 0 25 0 1 0 200812593 619749376 150234 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26908/statm: 151306 150234 297 55 0 150198 0
Current children cumulated CPU time (s) 1798.55
Current children cumulated vsize (Kb) 605224

[startup+1800.24 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 26910
/proc/meminfo: memFree=1205120/2055920 swapFree=4182500/4192956
[pid=26908] ppid=26906 vsize=605224 CPUtime=1799.56
/proc/26908/stat : 26908 (bsolo) R 26906 26908 26862 0 -1 0 151441 0 0 0 179474 482 0 0 25 0 1 0 200812593 619749376 150244 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524309 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26908/statm: 151306 150244 297 55 0 150198 0
Current children cumulated CPU time (s) 1799.56
Current children cumulated vsize (Kb) 605224

Child status: 0
Real time (s): 1800.78
CPU time (s): 1800.09
CPU user time (s): 1795.18
CPU system time (s): 4.91325
CPU usage (%): 99.9621
Max. virtual memory (cumulated for all children) (Kb): 605224

Launcher Data (download as text)

Begin job on node75 on Sat Jun  3 16:18:12 UTC 2006


FILE ID= 40006-1149351492

PBS_JOBID= 311027

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

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  99a4e5b0ce7b98bffc278cf1f6704eb9

RANDOM SEED= 977505934


/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	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1806464 kB
Buffers:         23912 kB
Cached:         160360 kB
SwapCached:       2048 kB
Active:          43996 kB
Inactive:       148872 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1806464 kB
SwapTotal:     4192956 kB
SwapFree:      4182500 kB
Dirty:             160 kB
Writeback:           0 kB
Mapped:          16032 kB
Slab:            42464 kB
Committed_AS:   348608 kB
PageTables:       1448 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node75 on Sat Jun  3 16:48:13 UTC 2006