Trace number 39895

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.65

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-scagr25.opb
MD5SUMb63141b317e602f06e6dedfad8ff4e9a
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 variables15000
Total number of constraints471
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 constraints471
Minimum length of a constraint30
Maximum length of a constraint300
Number of terms in the objective function 14250
Biggest coefficient in the objective function 3992
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 536200
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262051
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 536200
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.53	c Initial problem consists of 15000 variables and 771 constraints.
0.57	c No problem reductions applied in OPT. instance.
0.57	c	preprocess terminated. Elapsed time: 0.567
0.57	c After prepocess the problem consists of 11453 variables and 771 constraints.
0.57	c Initial Lower Bound: -5935
1.34	c Restart #1 #Var: 11453 LB: -5935 @ 1.333
2.89	c Restart #2 #Var: 11453 LB: -5935 @ 2.88
5.33	c Restart #3 #Var: 11453 LB: -5935 @ 5.327
8.40	c Restart #4 #Var: 11453 LB: -5935 @ 8.391
12.51	c Restart #5 #Var: 11453 LB: -5935 @ 12.494
18.13	c Restart #6 #Var: 11453 LB: -5935 @ 18.112
23.50	c Restart #7 #Var: 11453 LB: -5935 @ 23.48
30.93	c Restart #8 #Var: 11453 LB: -5935 @ 30.915
33.16	c Restart #9 #Var: 11453 LB: -5935 @ 33.146
33.34	c Restart #10 #Var: 11438 LB: -5885 @ 33.324
33.60	c Restart #11 #Var: 11438 LB: -5885 @ 33.579
33.83	c Restart #12 #Var: 11438 LB: -5885 @ 33.809
34.07	c Restart #13 #Var: 11426 LB: -5861 @ 34.053
34.35	c Restart #14 #Var: 11424 LB: -5861 @ 34.338
35.38	c Restart #15 #Var: 11424 LB: -5861 @ 35.36
35.72	c Restart #16 #Var: 11424 LB: -5861 @ 35.704
36.07	c Restart #17 #Var: 11424 LB: -5861 @ 36.053
36.58	c Restart #18 #Var: 11424 LB: -5861 @ 36.559
38.38	c Restart #19 #Var: 11424 LB: -5861 @ 38.362
39.17	c Restart #20 #Var: 11424 LB: -5861 @ 39.149
40.07	c Restart #21 #Var: 11424 LB: -5861 @ 40.052
42.86	c Restart #22 #Var: 11424 LB: -5861 @ 42.839
43.86	c Restart #23 #Var: 11372 LB: -5676 @ 43.836
44.98	c Restart #24 #Var: 11372 LB: -5676 @ 44.955
46.15	c Restart #25 #Var: 11372 LB: -5676 @ 46.129
48.09	c Restart #26 #Var: 11347 LB: -5598 @ 48.065
50.48	c Restart #27 #Var: 11338 LB: -5562 @ 50.454
51.31	c Restart #28 #Var: 11337 LB: -5562 @ 51.287
53.05	c Restart #29 #Var: 11333 LB: -5538 @ 53.029
54.16	c Restart #30 #Var: 11333 LB: -5538 @ 54.142
55.85	c Restart #31 #Var: 11332 LB: -5538 @ 55.825
60.17	c Restart #32 #Var: 11332 LB: -5538 @ 60.151
67.58	c Restart #33 #Var: 11332 LB: -5538 @ 67.558
72.23	c Restart #34 #Var: 11332 LB: -5538 @ 72.203
74.35	c Restart #35 #Var: 11332 LB: -5538 @ 74.32
80.68	c Restart #36 #Var: 11332 LB: -5538 @ 80.652
82.91	c Restart #37 #Var: 11332 LB: -5538 @ 82.879
89.03	c Restart #38 #Var: 11332 LB: -5538 @ 89.003
116.43	c Restart #39 #Var: 11332 LB: -5538 @ 116.39
121.24	c Restart #40 #Var: 11332 LB: -5538 @ 121.2
125.20	c Restart #41 #Var: 11332 LB: -5538 @ 125.16
131.05	c Restart #42 #Var: 11332 LB: -5538 @ 131.01
146.84	c Restart #43 #Var: 11332 LB: -5538 @ 146.79
150.10	c Restart #44 #Var: 11332 LB: -5538 @ 150.05
155.87	c Restart #45 #Var: 11332 LB: -5538 @ 155.82
159.07	c Restart #46 #Var: 11332 LB: -5538 @ 159.02
218.45	c Restart #47 #Var: 11332 LB: -5538 @ 218.38
260.05	c Restart #48 #Var: 11331 LB: -5538 @ 259.98
267.10	c Restart #49 #Var: 11331 LB: -5538 @ 267.02
276.57	c Restart #50 #Var: 11328 LB: -5532 @ 276.49
420.44	c Restart #51 #Var: 11328 LB: -5532 @ 420.32
512.31	c Restart #52 #Var: 11328 LB: -5532 @ 512.16
520.63	c Restart #53 #Var: 11328 LB: -5532 @ 520.49
526.68	c Restart #54 #Var: 11328 LB: -5532 @ 526.54
540.47	c Restart #55 #Var: 11328 LB: -5532 @ 540.32
571.88	c Restart #56 #Var: 11328 LB: -5532 @ 571.72
580.12	c Restart #57 #Var: 11327 LB: -5532 @ 579.96
603.10	c Restart #58 #Var: 11327 LB: -5532 @ 602.93
611.53	c Restart #59 #Var: 11327 LB: -5532 @ 611.36
720.09	c Restart #60 #Var: 11327 LB: -5532 @ 719.9
745.96	c Restart #61 #Var: 11327 LB: -5532 @ 745.76
757.85	c Restart #62 #Var: 11327 LB: -5532 @ 757.64
790.17	c Restart #63 #Var: 11327 LB: -5532 @ 789.96
873.29	c Restart #64 #Var: 11327 LB: -5532 @ 873.05
915.77	c CHANGE Heuristic... 
915.77	c Restart #0 #Var: 11322 LB: -5530 @ 915.52
915.80	c Restart #1 #Var: 11322 LB: -5530 @ 915.55
915.84	c Restart #2 #Var: 11322 LB: -5530 @ 915.6
915.92	c Restart #3 #Var: 11321 LB: -5530 @ 915.67
916.11	c Restart #4 #Var: 11321 LB: -5530 @ 915.86
916.33	c Restart #5 #Var: 11321 LB: -5530 @ 916.08
916.47	c Restart #6 #Var: 11321 LB: -5530 @ 916.22
916.75	c Restart #7 #Var: 11321 LB: -5530 @ 916.51
917.18	c Restart #8 #Var: 11320 LB: -5530 @ 916.93
917.54	c Restart #9 #Var: 11320 LB: -5530 @ 917.29
918.08	c Restart #10 #Var: 11320 LB: -5530 @ 917.83
918.44	c Restart #11 #Var: 11320 LB: -5530 @ 918.2
918.90	c Restart #12 #Var: 11318 LB: -5530 @ 918.65
919.51	c Restart #13 #Var: 11318 LB: -5530 @ 919.26
919.92	c Restart #14 #Var: 11318 LB: -5530 @ 919.67
920.46	c Restart #15 #Var: 11317 LB: -5530 @ 920.21
922.31	c Restart #16 #Var: 11317 LB: -5530 @ 922.07
923.08	c Restart #17 #Var: 11317 LB: -5530 @ 922.83
923.82	c Restart #18 #Var: 11317 LB: -5530 @ 923.57
924.54	c Restart #19 #Var: 11317 LB: -5530 @ 924.29
925.74	c Restart #20 #Var: 11306 LB: -5494 @ 925.49
927.23	c Restart #21 #Var: 11305 LB: -5494 @ 926.99
927.94	c Restart #22 #Var: 11297 LB: -5458 @ 927.69
929.37	c Restart #23 #Var: 11297 LB: -5458 @ 929.12
930.32	c Restart #24 #Var: 11297 LB: -5458 @ 930.07
932.10	c Restart #25 #Var: 11287 LB: -5422 @ 931.85
934.33	c Restart #26 #Var: 11286 LB: -5422 @ 934.08
936.16	c Restart #27 #Var: 11286 LB: -5422 @ 935.91
938.37	c Restart #28 #Var: 11286 LB: -5422 @ 938.12
940.97	c Restart #29 #Var: 11285 LB: -5422 @ 940.72
942.17	c Restart #30 #Var: 11285 LB: -5422 @ 941.92
944.26	c Restart #31 #Var: 11275 LB: -5386 @ 944
947.34	c Restart #32 #Var: 11275 LB: -5386 @ 947.09
948.46	c Restart #33 #Var: 11275 LB: -5386 @ 948.21
953.59	c Restart #34 #Var: 11275 LB: -5386 @ 953.33
960.59	c Restart #35 #Var: 11275 LB: -5386 @ 960.33
970.97	c Restart #36 #Var: 11275 LB: -5386 @ 970.71
977.46	c Restart #37 #Var: 11275 LB: -5386 @ 977.2
981.11	c Restart #38 #Var: 11275 LB: -5386 @ 980.85
990.94	c Restart #39 #Var: 11275 LB: -5386 @ 990.67
995.91	c Restart #40 #Var: 11272 LB: -5379 @ 995.64
997.74	c Restart #41 #Var: 11272 LB: -5379 @ 997.48
1000.94	c Restart #42 #Var: 11272 LB: -5379 @ 1000.7
1002.82	c Restart #43 #Var: 11272 LB: -5379 @ 1002.6
1004.64	c Restart #44 #Var: 11272 LB: -5379 @ 1004.4
1006.34	c Restart #45 #Var: 11272 LB: -5379 @ 1006.1
1008.25	c Restart #46 #Var: 11272 LB: -5379 @ 1008
1010.01	c Restart #47 #Var: 11272 LB: -5379 @ 1009.7
1015.10	c Restart #48 #Var: 11271 LB: -5379 @ 1014.8
1019.03	c Restart #49 #Var: 11271 LB: -5379 @ 1018.8
1022.70	c Restart #50 #Var: 11271 LB: -5379 @ 1022.4
1039.29	c Restart #51 #Var: 11271 LB: -5379 @ 1039
1040.86	c Restart #52 #Var: 11271 LB: -5379 @ 1040.6
1118.03	c Restart #53 #Var: 11271 LB: -5379 @ 1117.7
1128.50	c Restart #54 #Var: 11271 LB: -5379 @ 1128.2
1132.13	c Restart #55 #Var: 11260 LB: -5280 @ 1131.8
1138.07	c Restart #56 #Var: 11260 LB: -5280 @ 1137.8
1158.11	c Restart #57 #Var: 11260 LB: -5280 @ 1157.8
1166.27	c Restart #58 #Var: 11260 LB: -5280 @ 1166
1191.42	c Restart #59 #Var: 11260 LB: -5280 @ 1191.1
1218.43	c Restart #60 #Var: 11260 LB: -5280 @ 1218.1
1238.40	c Restart #61 #Var: 11259 LB: -5280 @ 1238.1
1255.87	c Restart #62 #Var: 11259 LB: -5280 @ 1255.5
1258.98	c Restart #63 #Var: 11259 LB: -5280 @ 1258.6
1261.12	c Restart #64 #Var: 11259 LB: -5280 @ 1260.8
1268.62	c Restart #65 #Var: 11259 LB: -5280 @ 1268.3
1293.87	c Restart #66 #Var: 11259 LB: -5280 @ 1293.5
1299.82	c Restart #67 #Var: 11259 LB: -5280 @ 1299.5
1309.54	c Restart #68 #Var: 11259 LB: -5280 @ 1309.2
1318.20	c Restart #69 #Var: 11253 LB: -5273 @ 1317.8
1361.31	c Restart #70 #Var: 11253 LB: -5273 @ 1360.9
1407.68	c Restart #71 #Var: 11253 LB: -5273 @ 1407.3
1418.14	c Restart #72 #Var: 11253 LB: -5273 @ 1417.8
1423.18	c Restart #73 #Var: 11253 LB: -5273 @ 1422.8
1427.54	c Restart #74 #Var: 11253 LB: -5273 @ 1427.2
1434.33	c Restart #75 #Var: 11253 LB: -5273 @ 1433.9
1449.73	c Restart #76 #Var: 11253 LB: -5273 @ 1449.3
1495.18	c Restart #77 #Var: 11253 LB: -5273 @ 1494.8
1501.24	c Restart #78 #Var: 11252 LB: -5272 @ 1500.8
1529.46	c Restart #79 #Var: 11252 LB: -5272 @ 1529.1
1545.18	c Restart #80 #Var: 11252 LB: -5272 @ 1544.8
1567.75	c Restart #81 #Var: 11252 LB: -5272 @ 1567.3
1571.88	c Restart #82 #Var: 11252 LB: -5272 @ 1571.5
1600.45	c Restart #83 #Var: 11252 LB: -5272 @ 1600
1633.87	c Restart #84 #Var: 11252 LB: -5272 @ 1633.4
1684.99	c Restart #85 #Var: 11252 LB: -5272 @ 1684.5
1696.68	c Restart #86 #Var: 11252 LB: -5272 @ 1696.2
1718.28	c Restart #87 #Var: 11252 LB: -5272 @ 1717.8
1789.84	c Restart #88 #Var: 11252 LB: -5272 @ 1789.4
1800.48	s UNKNOWN
1800.48	c Exit Code: 0
1800.48	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/node84/watcher-39895-1149325525 -o ROOT/results/node84/solver-39895-1149325525 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node84/39895-1149325525/instance-39895-1149325525.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.93 0.99 0.97 2/67 23950
/proc/meminfo: memFree=1627752/2055892 swapFree=4085292/4096564
[pid=23950] ppid=23948 vsize=4672 CPUtime=0
/proc/23950/stat : 23950 (bsolo) R 23948 23950 23904 0 -1 0 161 0 0 0 0 0 0 0 19 0 1 0 198191853 4784128 142 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 8076596 0 0 4096 0 0 0 0 17 1 0 0
/proc/23950/statm: 1168 147 109 55 0 46 0

[startup+10.0014 s]
/proc/loadavg: 0.94 0.99 0.97 2/67 23950
/proc/meminfo: memFree=1607784/2055892 swapFree=4085292/4096564
[pid=23950] ppid=23948 vsize=25144 CPUtime=9.98
/proc/23950/stat : 23950 (bsolo) R 23948 23950 23904 0 -1 0 5420 0 0 0 938 60 0 0 25 0 1 0 198191853 25747456 5336 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23950/statm: 6286 5336 294 55 0 5177 0
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 25144

[startup+20.0074 s]
/proc/loadavg: 0.95 0.99 0.97 2/67 23950
/proc/meminfo: memFree=1607784/2055892 swapFree=4085292/4096564
[pid=23950] ppid=23948 vsize=25144 CPUtime=19.98
/proc/23950/stat : 23950 (bsolo) R 23948 23950 23904 0 -1 0 5431 0 0 0 1877 121 0 0 25 0 1 0 198191853 25747456 5347 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23950/statm: 6286 5347 294 55 0 5177 0
Current children cumulated CPU time (s) 19.98
Current children cumulated vsize (Kb) 25144

[startup+30.0135 s]
/proc/loadavg: 0.96 0.99 0.97 2/67 23950
/proc/meminfo: memFree=1607336/2055892 swapFree=4085292/4096564
[pid=23950] ppid=23948 vsize=25672 CPUtime=29.99
/proc/23950/stat : 23950 (bsolo) R 23948 23950 23904 0 -1 0 5567 0 0 0 2822 177 0 0 25 0 1 0 198191853 26288128 5483 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23950/statm: 6418 5483 294 55 0 5309 0
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 25672

[startup+40.0196 s]
/proc/loadavg: 0.96 0.99 0.97 2/67 23950
/proc/meminfo: memFree=1565288/2055892 swapFree=4085292/4096564
[pid=23950] ppid=23948 vsize=67652 CPUtime=39.99
/proc/23950/stat : 23950 (bsolo) R 23948 23950 23904 0 -1 0 16050 0 0 0 3797 202 0 0 25 0 1 0 198191853 69275648 15966 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 8542251 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23950/statm: 16913 15966 294 55 0 15804 0
Current children cumulated CPU time (s) 39.99
Current children cumulated vsize (Kb) 67652

[startup+50.0257 s]
/proc/loadavg: 0.97 0.99 0.97 2/67 23950
/proc/meminfo: memFree=1545640/2055892 swapFree=4085292/4096564
[pid=23950] ppid=23948 vsize=87184 CPUtime=49.99
/proc/23950/stat : 23950 (bsolo) R 23948 23950 23904 0 -1 0 20946 0 0 0 4794 205 0 0 25 0 1 0 198191853 89276416 20862 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134696489 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23950/statm: 21796 20862 294 55 0 20687 0
Current children cumulated CPU time (s) 49.99
Current children cumulated vsize (Kb) 87184

[startup+60.0317 s]
/proc/loadavg: 0.97 0.99 0.97 2/67 23950
/proc/meminfo: memFree=1508200/2055892 swapFree=4085292/4096564
[pid=23950] ppid=23948 vsize=124552 CPUtime=60
/proc/23950/stat : 23950 (bsolo) R 23948 23950 23904 0 -1 0 30293 0 0 0 5787 213 0 0 25 0 1 0 198191853 127541248 30209 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524531 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23950/statm: 31138 30209 294 55 0 30029 0
Current children cumulated CPU time (s) 60
Current children cumulated vsize (Kb) 124552

[startup+70.0368 s]
/proc/loadavg: 0.98 0.99 0.97 2/67 23950
/proc/meminfo: memFree=1504744/2055892 swapFree=4085292/4096564
[pid=23950] ppid=23948 vsize=128112 CPUtime=70
/proc/23950/stat : 23950 (bsolo) R 23948 23950 23904 0 -1 0 31171 0 0 0 6785 215 0 0 25 0 1 0 198191853 131186688 31087 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534141 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23950/statm: 32028 31087 294 55 0 30919 0
Current children cumulated CPU time (s) 70
Current children cumulated vsize (Kb) 128112

[startup+80.0429 s]
/proc/loadavg: 0.98 0.99 0.97 2/67 23950
/proc/meminfo: memFree=1489384/2055892 swapFree=4085292/4096564
[pid=23950] ppid=23948 vsize=143416 CPUtime=80
/proc/23950/stat : 23950 (bsolo) R 23948 23950 23904 0 -1 0 35001 0 0 0 7781 219 0 0 25 0 1 0 198191853 146857984 34917 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528659 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23950/statm: 35854 34917 294 55 0 34745 0
Current children cumulated CPU time (s) 80
Current children cumulated vsize (Kb) 143416

[startup+90.049 s]
/proc/loadavg: 0.98 0.99 0.97 2/67 23950
/proc/meminfo: memFree=1471592/2055892 swapFree=4085292/4096564
[pid=23950] ppid=23948 vsize=161236 CPUtime=90
/proc/23950/stat : 23950 (bsolo) R 23948 23950 23904 0 -1 0 39441 0 0 0 8778 222 0 0 25 0 1 0 198191853 165105664 39357 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534926 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23950/statm: 40309 39357 294 55 0 39200 0
Current children cumulated CPU time (s) 90
Current children cumulated vsize (Kb) 161236

[startup+100.055 s]
/proc/loadavg: 0.98 0.99 0.97 2/67 23950
/proc/meminfo: memFree=1470248/2055892 swapFree=4085292/4096564
[pid=23950] ppid=23948 vsize=162556 CPUtime=100.01
/proc/23950/stat : 23950 (bsolo) R 23948 23950 23904 0 -1 0 39768 0 0 0 9778 223 0 0 25 0 1 0 198191853 166457344 39684 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23950/statm: 40639 39684 294 55 0 39530 0
Current children cumulated CPU time (s) 100.01
Current children cumulated vsize (Kb) 162556

[startup+110.061 s]
/proc/loadavg: 0.99 0.99 0.97 2/67 23950
/proc/meminfo: memFree=1467944/2055892 swapFree=4085292/4096564
[pid=23950] ppid=23948 vsize=164800 CPUtime=110.02
/proc/23950/stat : 23950 (bsolo) R 23948 23950 23904 0 -1 0 40340 0 0 0 10778 224 0 0 25 0 1 0 198191853 168755200 40256 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534977 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23950/statm: 41200 40256 294 55 0 40091 0
Current children cumulated CPU time (s) 110.02
Current children cumulated vsize (Kb) 164800

[startup+120.067 s]
/proc/loadavg: 0.99 0.99 0.97 2/67 23950
/proc/meminfo: memFree=1461672/2055892 swapFree=4085292/4096564
[pid=23950] ppid=23948 vsize=171132 CPUtime=120.02
/proc/23950/stat : 23950 (bsolo) R 23948 23950 23904 0 -1 0 41918 0 0 0 11777 225 0 0 25 0 1 0 198191853 175239168 41834 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23950/statm: 42783 41834 294 55 0 41674 0
Current children cumulated CPU time (s) 120.02
Current children cumulated vsize (Kb) 171132

[startup+130.072 s]
/proc/loadavg: 0.99 0.99 0.97 2/67 23950
/proc/meminfo: memFree=1435176/2055892 swapFree=4085292/4096564
[pid=23950] ppid=23948 vsize=197568 CPUtime=130.02
/proc/23950/stat : 23950 (bsolo) R 23948 23950 23904 0 -1 0 48524 0 0 0 12772 230 0 0 25 0 1 0 198191853 202309632 48440 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537610 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23950/statm: 49392 48440 294 55 0 48283 0
Current children cumulated CPU time (s) 130.02
Current children cumulated vsize (Kb) 197568

[startup+140.078 s]
/proc/loadavg: 0.99 0.99 0.97 2/67 23950
/proc/meminfo: memFree=1426664/2055892 swapFree=4085292/4096564
[pid=23950] ppid=23948 vsize=206148 CPUtime=140.02
/proc/23950/stat : 23950 (bsolo) R 23948 23950 23904 0 -1 0 50657 0 0 0 13770 232 0 0 25 0 1 0 198191853 211095552 50573 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 8542251 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23950/statm: 51537 50573 294 55 0 50428 0
Current children cumulated CPU time (s) 140.02
Current children cumulated vsize (Kb) 206148

[startup+150.084 s]
/proc/loadavg: 0.99 0.99 0.97 2/67 23950
/proc/meminfo: memFree=1413096/2055892 swapFree=4085292/4096564
[pid=23950] ppid=23948 vsize=219772 CPUtime=150.03
/proc/23950/stat : 23950 (bsolo) R 23948 23950 23904 0 -1 0 54034 0 0 0 14768 235 0 0 25 0 1 0 198191853 225046528 53947 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607308 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23950/statm: 54943 53947 294 55 0 53834 0
Current children cumulated CPU time (s) 150.03
Current children cumulated vsize (Kb) 219772

[startup+160.09 s]
/proc/loadavg: 0.99 0.99 0.97 2/67 23950
/proc/meminfo: memFree=1390504/2055892 swapFree=4085292/4096564
[pid=23950] ppid=23948 vsize=242388 CPUtime=160.03
/proc/23950/stat : 23950 (bsolo) R 23948 23950 23904 0 -1 0 59676 0 0 0 15765 238 0 0 25 0 1 0 198191853 248205312 59586 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718272 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23950/statm: 60597 59586 294 55 0 59488 0
Current children cumulated CPU time (s) 160.03
Current children cumulated vsize (Kb) 242388

[startup+170.097 s]
/proc/loadavg: 0.99 0.99 0.97 2/67 23950
/proc/meminfo: memFree=1389992/2055892 swapFree=4085292/4096564
[pid=23950] ppid=23948 vsize=242916 CPUtime=170.03
/proc/23950/stat : 23950 (bsolo) R 23948 23950 23904 0 -1 0 59798 0 0 0 16764 239 0 0 25 0 1 0 198191853 248745984 59708 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23950/statm: 60729 59708 294 55 0 59620 0
Current children cumulated CPU time (s) 170.03
Current children cumulated vsize (Kb) 242916

[startup+180.103 s]
/proc/loadavg: 0.99 0.99 0.97 2/67 23950
/proc/meminfo: memFree=1389096/2055892 swapFree=4085292/4096564
[pid=23950] ppid=23948 vsize=243840 CPUtime=180.04
/proc/23950/stat : 23950 (bsolo) R 23948 23950 23904 0 -1 0 60022 0 0 0 17764 240 0 0 25 0 1 0 198191853 249692160 59932 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23950/statm: 60960 59932 294 55 0 59851 0
Current children cumulated CPU time (s) 180.04
Current children cumulated vsize (Kb) 243840

[startup+190.108 s]
/proc/loadavg: 0.99 0.99 0.97 2/67 23950
/proc/meminfo: memFree=1388264/2055892 swapFree=4085292/4096564
[pid=23950] ppid=23948 vsize=244632 CPUtime=190.04
/proc/23950/stat : 23950 (bsolo) R 23948 23950 23904 0 -1 0 60237 0 0 0 18764 240 0 0 25 0 1 0 198191853 250503168 60147 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534051 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23950/statm: 61158 60147 294 55 0 60049 0
Current children cumulated CPU time (s) 190.04
Current children cumulated vsize (Kb) 244632

[startup+200.114 s]
/proc/loadavg: 0.99 0.99 0.97 2/67 23950
/proc/meminfo: memFree=1387880/2055892 swapFree=4085292/4096564
[pid=23950] ppid=23948 vsize=245028 CPUtime=200.05
/proc/23950/stat : 23950 (bsolo) R 23948 23950 23904 0 -1 0 60327 0 0 0 19764 241 0 0 25 0 1 0 198191853 250908672 60237 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23950/statm: 61257 60237 294 55 0 60148 0
Current children cumulated CPU time (s) 200.05
Current children cumulated vsize (Kb) 245028

[startup+210.12 s]
/proc/loadavg: 0.99 0.99 0.97 2/67 23950
/proc/meminfo: memFree=1387368/2055892 swapFree=4085292/4096564

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

/proc/23950/statm: 279484 277886 294 55 0 278375 0
Current children cumulated CPU time (s) 1760.57
Current children cumulated vsize (Kb) 1117936

[startup+1771.05 s]
/proc/loadavg: 0.99 0.99 0.97 2/67 23950
/proc/meminfo: memFree=512744/2055892 swapFree=4085292/4096564
[pid=23950] ppid=23948 vsize=1120448 CPUtime=1770.57
/proc/23950/stat : 23950 (bsolo) R 23948 23950 23904 0 -1 0 278691 0 0 0 176576 481 0 0 25 0 1 0 198191853 1147338752 278515 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23950/statm: 280112 278515 294 55 0 279003 0
Current children cumulated CPU time (s) 1770.57
Current children cumulated vsize (Kb) 1120448

[startup+1781.05 s]
/proc/loadavg: 0.99 0.99 0.97 2/67 23950
/proc/meminfo: memFree=510376/2055892 swapFree=4085292/4096564
[pid=23950] ppid=23948 vsize=1122956 CPUtime=1780.58
/proc/23950/stat : 23950 (bsolo) R 23948 23950 23904 0 -1 0 279308 0 0 0 177576 482 0 0 25 0 1 0 198191853 1149906944 279132 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23950/statm: 280739 279132 294 55 0 279630 0
Current children cumulated CPU time (s) 1780.58
Current children cumulated vsize (Kb) 1122956

[startup+1782.06 s]
/proc/loadavg: 0.99 0.99 0.97 2/67 23950
/proc/meminfo: memFree=510056/2055892 swapFree=4085292/4096564
[pid=23950] ppid=23948 vsize=1123220 CPUtime=1781.57
/proc/23950/stat : 23950 (bsolo) R 23948 23950 23904 0 -1 0 279386 0 0 0 177675 482 0 0 25 0 1 0 198191853 1150177280 279210 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23950/statm: 280805 279210 294 55 0 279696 0
Current children cumulated CPU time (s) 1781.57
Current children cumulated vsize (Kb) 1123220

[startup+1783.06 s]
/proc/loadavg: 0.99 0.99 0.97 2/67 23950
/proc/meminfo: memFree=509672/2055892 swapFree=4085292/4096564
[pid=23950] ppid=23948 vsize=1123616 CPUtime=1782.59
/proc/23950/stat : 23950 (bsolo) R 23948 23950 23904 0 -1 0 279475 0 0 0 177776 483 0 0 25 0 1 0 198191853 1150582784 279299 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548421 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23950/statm: 280904 279299 294 55 0 279795 0
Current children cumulated CPU time (s) 1782.59
Current children cumulated vsize (Kb) 1123616

[startup+1784.07 s]
/proc/loadavg: 0.99 0.99 0.97 2/67 23950
/proc/meminfo: memFree=509288/2055892 swapFree=4085292/4096564
[pid=23950] ppid=23948 vsize=1123880 CPUtime=1783.59
/proc/23950/stat : 23950 (bsolo) R 23948 23950 23904 0 -1 0 279567 0 0 0 177876 483 0 0 25 0 1 0 198191853 1150853120 279391 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23950/statm: 280970 279391 294 55 0 279861 0
Current children cumulated CPU time (s) 1783.59
Current children cumulated vsize (Kb) 1123880

[startup+1785.07 s]
/proc/loadavg: 0.99 0.99 0.97 2/67 23950
/proc/meminfo: memFree=508968/2055892 swapFree=4085292/4096564
[pid=23950] ppid=23948 vsize=1124292 CPUtime=1784.59
/proc/23950/stat : 23950 (bsolo) R 23948 23950 23904 0 -1 0 279659 0 0 0 177976 483 0 0 25 0 1 0 198191853 1151275008 279481 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23950/statm: 281073 279481 294 55 0 279964 0
Current children cumulated CPU time (s) 1784.59
Current children cumulated vsize (Kb) 1124292

[startup+1786.08 s]
/proc/loadavg: 0.99 0.99 0.97 2/67 23950
/proc/meminfo: memFree=508840/2055892 swapFree=4085292/4096564
[pid=23950] ppid=23948 vsize=1124424 CPUtime=1785.6
/proc/23950/stat : 23950 (bsolo) R 23948 23950 23904 0 -1 0 279681 0 0 0 178077 483 0 0 25 0 1 0 198191853 1151410176 279503 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524387 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23950/statm: 281106 279503 294 55 0 279997 0
Current children cumulated CPU time (s) 1785.6
Current children cumulated vsize (Kb) 1124424

[startup+1787.08 s]
/proc/loadavg: 0.99 0.99 0.97 2/67 23950
/proc/meminfo: memFree=508776/2055892 swapFree=4085292/4096564
[pid=23950] ppid=23948 vsize=1124556 CPUtime=1786.6
/proc/23950/stat : 23950 (bsolo) R 23948 23950 23904 0 -1 0 279704 0 0 0 178177 483 0 0 25 0 1 0 198191853 1151545344 279526 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23950/statm: 281139 279526 294 55 0 280030 0
Current children cumulated CPU time (s) 1786.6
Current children cumulated vsize (Kb) 1124556

[startup+1788.09 s]
/proc/loadavg: 0.99 0.99 0.97 2/67 23950
/proc/meminfo: memFree=508520/2055892 swapFree=4085292/4096564
[pid=23950] ppid=23948 vsize=1124820 CPUtime=1787.6
/proc/23950/stat : 23950 (bsolo) R 23948 23950 23904 0 -1 0 279763 0 0 0 178277 483 0 0 25 0 1 0 198191853 1151815680 279585 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533902 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23950/statm: 281205 279585 294 55 0 280096 0
Current children cumulated CPU time (s) 1787.6
Current children cumulated vsize (Kb) 1124820

[startup+1789.09 s]
/proc/loadavg: 0.99 0.99 0.97 2/67 23950
/proc/meminfo: memFree=508136/2055892 swapFree=4085292/4096564
[pid=23950] ppid=23948 vsize=1125236 CPUtime=1788.61
/proc/23950/stat : 23950 (bsolo) R 23948 23950 23904 0 -1 0 279869 0 0 0 178378 483 0 0 25 0 1 0 198191853 1152241664 279691 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718920 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23950/statm: 281309 279691 294 55 0 280200 0
Current children cumulated CPU time (s) 1788.61
Current children cumulated vsize (Kb) 1125236

[startup+1790.1 s]
/proc/loadavg: 0.99 0.99 0.97 2/67 23950
/proc/meminfo: memFree=507816/2055892 swapFree=4085292/4096564
[pid=23950] ppid=23948 vsize=1125500 CPUtime=1789.61
/proc/23950/stat : 23950 (bsolo) R 23948 23950 23904 0 -1 0 279941 0 0 0 178478 483 0 0 25 0 1 0 198191853 1152512000 279763 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23950/statm: 281375 279763 294 55 0 280266 0
Current children cumulated CPU time (s) 1789.61
Current children cumulated vsize (Kb) 1125500

[startup+1791.1 s]
/proc/loadavg: 0.99 0.99 0.97 2/67 23950
/proc/meminfo: memFree=507560/2055892 swapFree=4085292/4096564
[pid=23950] ppid=23948 vsize=1125764 CPUtime=1790.62
/proc/23950/stat : 23950 (bsolo) R 23948 23950 23904 0 -1 0 280006 0 0 0 178579 483 0 0 25 0 1 0 198191853 1152782336 279828 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23950/statm: 281441 279828 294 55 0 280332 0
Current children cumulated CPU time (s) 1790.62
Current children cumulated vsize (Kb) 1125764

[startup+1792.11 s]
/proc/loadavg: 0.99 0.99 0.97 2/67 23950
/proc/meminfo: memFree=507368/2055892 swapFree=4085292/4096564
[pid=23950] ppid=23948 vsize=1125896 CPUtime=1791.62
/proc/23950/stat : 23950 (bsolo) R 23948 23950 23904 0 -1 0 280048 0 0 0 178679 483 0 0 25 0 1 0 198191853 1152917504 279870 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23950/statm: 281474 279870 294 55 0 280365 0
Current children cumulated CPU time (s) 1791.62
Current children cumulated vsize (Kb) 1125896

[startup+1793.11 s]
/proc/loadavg: 0.99 0.99 0.97 2/67 23950
/proc/meminfo: memFree=507176/2055892 swapFree=4085292/4096564
[pid=23950] ppid=23948 vsize=1126160 CPUtime=1792.62
/proc/23950/stat : 23950 (bsolo) R 23948 23950 23904 0 -1 0 280095 0 0 0 178779 483 0 0 25 0 1 0 198191853 1153187840 279917 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23950/statm: 281540 279917 294 55 0 280431 0
Current children cumulated CPU time (s) 1792.62
Current children cumulated vsize (Kb) 1126160

[startup+1794.12 s]
/proc/loadavg: 0.99 0.99 0.97 2/67 23950
/proc/meminfo: memFree=507048/2055892 swapFree=4085292/4096564
[pid=23950] ppid=23948 vsize=1126292 CPUtime=1793.63
/proc/23950/stat : 23950 (bsolo) R 23948 23950 23904 0 -1 0 280135 0 0 0 178880 483 0 0 25 0 1 0 198191853 1153323008 279957 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551614 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23950/statm: 281573 279957 294 55 0 280464 0
Current children cumulated CPU time (s) 1793.63
Current children cumulated vsize (Kb) 1126292

[startup+1795.12 s]
/proc/loadavg: 0.99 0.99 0.97 2/67 23950
/proc/meminfo: memFree=506920/2055892 swapFree=4085292/4096564
[pid=23950] ppid=23948 vsize=1126424 CPUtime=1794.64
/proc/23950/stat : 23950 (bsolo) R 23948 23950 23904 0 -1 0 280160 0 0 0 178980 484 0 0 25 0 1 0 198191853 1153458176 279982 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23950/statm: 281606 279982 294 55 0 280497 0
Current children cumulated CPU time (s) 1794.64
Current children cumulated vsize (Kb) 1126424

[startup+1796.13 s]
/proc/loadavg: 0.99 0.99 0.97 2/67 23950
/proc/meminfo: memFree=506792/2055892 swapFree=4085292/4096564
[pid=23950] ppid=23948 vsize=1126424 CPUtime=1795.65
/proc/23950/stat : 23950 (bsolo) R 23948 23950 23904 0 -1 0 280188 0 0 0 179081 484 0 0 25 0 1 0 198191853 1153458176 280010 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23950/statm: 281606 280010 294 55 0 280497 0
Current children cumulated CPU time (s) 1795.65
Current children cumulated vsize (Kb) 1126424

[startup+1797.13 s]
/proc/loadavg: 0.99 0.99 0.97 2/67 23950
/proc/meminfo: memFree=506728/2055892 swapFree=4085292/4096564
[pid=23950] ppid=23948 vsize=1126556 CPUtime=1796.65
/proc/23950/stat : 23950 (bsolo) R 23948 23950 23904 0 -1 0 280212 0 0 0 179181 484 0 0 25 0 1 0 198191853 1153593344 280034 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23950/statm: 281639 280034 294 55 0 280530 0
Current children cumulated CPU time (s) 1796.65
Current children cumulated vsize (Kb) 1126556

[startup+1798.14 s]
/proc/loadavg: 0.99 0.99 0.97 2/67 23950
/proc/meminfo: memFree=506600/2055892 swapFree=4085292/4096564
[pid=23950] ppid=23948 vsize=1126688 CPUtime=1797.65
/proc/23950/stat : 23950 (bsolo) R 23948 23950 23904 0 -1 0 280238 0 0 0 179281 484 0 0 25 0 1 0 198191853 1153728512 280060 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23950/statm: 281672 280060 294 55 0 280563 0
Current children cumulated CPU time (s) 1797.65
Current children cumulated vsize (Kb) 1126688

[startup+1799.14 s]
/proc/loadavg: 0.99 0.99 0.97 2/67 23950
/proc/meminfo: memFree=506536/2055892 swapFree=4085292/4096564
[pid=23950] ppid=23948 vsize=1126688 CPUtime=1798.66
/proc/23950/stat : 23950 (bsolo) R 23948 23950 23904 0 -1 0 280252 0 0 0 179382 484 0 0 25 0 1 0 198191853 1153728512 280074 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524531 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23950/statm: 281672 280074 294 55 0 280563 0
Current children cumulated CPU time (s) 1798.66
Current children cumulated vsize (Kb) 1126688

[startup+1800.14 s]
/proc/loadavg: 0.99 0.99 0.97 2/67 23950
/proc/meminfo: memFree=506408/2055892 swapFree=4085292/4096564
[pid=23950] ppid=23948 vsize=1126824 CPUtime=1799.66
/proc/23950/stat : 23950 (bsolo) R 23948 23950 23904 0 -1 0 280285 0 0 0 179482 484 0 0 25 0 1 0 198191853 1153867776 280107 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23950/statm: 281706 280107 294 55 0 280597 0
Current children cumulated CPU time (s) 1799.66
Current children cumulated vsize (Kb) 1126824

Child status: 0
Real time (s): 1800.65
CPU time (s): 1800.17
CPU user time (s): 1795.17
CPU system time (s): 5.00124
CPU usage (%): 99.9733
Max. virtual memory (cumulated for all children) (Kb): 1126824

Launcher Data (download as text)

Begin job on node84 on Sat Jun  3 09:05:26 UTC 2006


FILE ID= 39895-1149325525

PBS_JOBID= 309591

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-scagr25.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node84/39895-1149325525/instance-39895-1149325525.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node84/watcher-39895-1149325525 -o ROOT/results/node84/solver-39895-1149325525 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node84/39895-1149325525/instance-39895-1149325525.opb

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  b63141b317e602f06e6dedfad8ff4e9a

RANDOM SEED= 763901364


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


/proc/meminfo:
MemTotal:      2055892 kB
MemFree:       1628152 kB
Buffers:         29808 kB
Cached:         331708 kB
SwapCached:       2420 kB
Active:          34008 kB
Inactive:       336080 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055892 kB
LowFree:       1628152 kB
SwapTotal:     4096564 kB
SwapFree:      4085292 kB
Dirty:             176 kB
Writeback:           0 kB
Mapped:          16424 kB
Slab:            44372 kB
Committed_AS:   387240 kB
PageTables:       1272 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264388 kB
VmallocChunk: 536606243 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node84 on Sat Jun  3 09:35:26 UTC 2006