Trace number 39846

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.2 1800.81

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-reduced-mps-v2-20-10-berlin_5_8_0.opb
MD5SUM69d5c7c1a4b8d5de2fe0ee7c53688a9d
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 variables9464
Total number of constraints1820
Number of constraints which are clauses309
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1511
Minimum length of a constraint4
Maximum length of a constraint61
Number of terms in the objective function 78
Biggest coefficient in the objective function 262133
Number of bits for the biggest coefficient in the objective function 18
Sum of the numbers in the objective function 524327
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262133
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 524346
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.01	c Time Limit set via PBTIMEOUT to 1800
0.03	c INFO: OSL Context initialized.
0.41	c Initial problem consists of 9464 variables and 1821 constraints.
0.46	c No problem reductions applied in OPT. instance.
0.46	c	preprocess terminated. Elapsed time: 0.438
0.46	c After prepocess the problem consists of 9450 variables and 1821 constraints.
0.46	c Initial Lower Bound: -16
0.69	c Restart #1 #Var: 9450 LB: -16 @ 0.671
1.23	c Restart #2 #Var: 9450 LB: -16 @ 1.209
1.85	c Restart #3 #Var: 9450 LB: -16 @ 1.831
2.66	c Restart #4 #Var: 9450 LB: -16 @ 2.634
4.56	c Restart #5 #Var: 9450 LB: -16 @ 4.538
6.30	c Restart #6 #Var: 9450 LB: -16 @ 6.276
8.53	c Restart #7 #Var: 9450 LB: -16 @ 8.501
9.62	c Restart #8 #Var: 9450 LB: -16 @ 9.594
9.83	c Restart #9 #Var: 9450 LB: -16 @ 9.798
10.05	c Restart #10 #Var: 9450 LB: -16 @ 10.024
10.50	c Restart #11 #Var: 9450 LB: -16 @ 10.466
10.81	c Restart #12 #Var: 9450 LB: -16 @ 10.775
11.40	c Restart #13 #Var: 9450 LB: -16 @ 11.365
11.79	c Restart #14 #Var: 9450 LB: -16 @ 11.756
12.23	c Restart #15 #Var: 9450 LB: -16 @ 12.195
12.78	c Restart #16 #Var: 9450 LB: -16 @ 12.745
14.37	c Restart #17 #Var: 9450 LB: -16 @ 14.334
15.21	c Restart #18 #Var: 9450 LB: -16 @ 15.178
17.40	c Restart #19 #Var: 9450 LB: -16 @ 17.37
18.17	c Restart #20 #Var: 9450 LB: -16 @ 18.142
20.44	c Restart #21 #Var: 9450 LB: -16 @ 20.408
21.33	c Restart #22 #Var: 9450 LB: -16 @ 21.3
22.71	c Restart #23 #Var: 9450 LB: -16 @ 22.674
23.64	c Restart #24 #Var: 9450 LB: -16 @ 23.603
24.85	c Restart #25 #Var: 9450 LB: -16 @ 24.816
26.02	c Restart #26 #Var: 9450 LB: -16 @ 25.984
27.45	c Restart #27 #Var: 9450 LB: -16 @ 27.417
29.02	c Restart #28 #Var: 9450 LB: -16 @ 28.988
30.27	c Restart #29 #Var: 9450 LB: -16 @ 30.238
31.42	c Restart #30 #Var: 9450 LB: -16 @ 31.383
32.39	c Restart #31 #Var: 9450 LB: -16 @ 32.357
33.73	c Restart #32 #Var: 9450 LB: -16 @ 33.697
34.77	c Restart #33 #Var: 9450 LB: -16 @ 34.734
36.49	c Restart #34 #Var: 9450 LB: -16 @ 36.446
38.04	c Restart #35 #Var: 9450 LB: -16 @ 37.996
39.76	c Restart #36 #Var: 9450 LB: -16 @ 39.721
40.75	c Restart #37 #Var: 9450 LB: -16 @ 40.71
46.36	c Restart #38 #Var: 9450 LB: -16 @ 46.324
47.57	c Restart #39 #Var: 9450 LB: -16 @ 47.524
49.13	c Restart #40 #Var: 9450 LB: -16 @ 49.091
51.41	c Restart #41 #Var: 9450 LB: -16 @ 51.364
52.47	c Restart #42 #Var: 9450 LB: -16 @ 52.423
55.38	c Restart #43 #Var: 9450 LB: -16 @ 55.34
56.94	c Restart #44 #Var: 9450 LB: -16 @ 56.901
61.85	c Restart #45 #Var: 9450 LB: -16 @ 61.805
92.60	c Restart #46 #Var: 9450 LB: -16 @ 92.546
94.34	c Restart #47 #Var: 9450 LB: -16 @ 94.282
98.09	c Restart #48 #Var: 9450 LB: -16 @ 98.033
176.20	c Restart #49 #Var: 9450 LB: -16 @ 176.12
187.29	c Restart #50 #Var: 9450 LB: -16 @ 187.21
190.80	c Restart #51 #Var: 9450 LB: -16 @ 190.71
192.40	c Restart #52 #Var: 9450 LB: -16 @ 192.31
234.86	c Restart #53 #Var: 9450 LB: -16 @ 234.76
240.05	c Restart #54 #Var: 9450 LB: -16 @ 239.95
285.84	c Restart #55 #Var: 9450 LB: -16 @ 285.71
290.74	c Restart #56 #Var: 9450 LB: -16 @ 290.61
298.32	c Restart #57 #Var: 9450 LB: -16 @ 298.17
303.93	c Restart #58 #Var: 9450 LB: -16 @ 303.78
320.10	c Restart #59 #Var: 9450 LB: -16 @ 319.95
331.66	c Restart #60 #Var: 9450 LB: -16 @ 331.5
340.59	c Restart #61 #Var: 9450 LB: -16 @ 340.43
350.50	c Restart #62 #Var: 9450 LB: -16 @ 350.34
374.43	c Restart #63 #Var: 9450 LB: -16 @ 374.26
390.34	c Restart #64 #Var: 9450 LB: -16 @ 390.17
398.72	c Restart #65 #Var: 9450 LB: -16 @ 398.54
401.04	c Restart #66 #Var: 9450 LB: -16 @ 400.87
416.40	c Restart #67 #Var: 9450 LB: -16 @ 416.22
426.92	c Restart #68 #Var: 9450 LB: -16 @ 426.74
431.11	c Restart #69 #Var: 9450 LB: -16 @ 430.92
466.78	c Restart #70 #Var: 9450 LB: -16 @ 466.58
496.68	c Restart #71 #Var: 9450 LB: -16 @ 496.47
526.39	c Restart #72 #Var: 9450 LB: -16 @ 526.17
553.26	c Restart #73 #Var: 9450 LB: -16 @ 553.04
565.54	c Restart #74 #Var: 9450 LB: -16 @ 565.32
571.13	c Restart #75 #Var: 9450 LB: -16 @ 570.89
680.20	c Restart #76 #Var: 9450 LB: -16 @ 679.94
688.99	c Restart #77 #Var: 9450 LB: -16 @ 688.72
737.98	c Restart #78 #Var: 9450 LB: -16 @ 737.7
768.77	c Restart #79 #Var: 9450 LB: -16 @ 768.48
773.99	c Restart #80 #Var: 9450 LB: -16 @ 773.7
912.84	c CHANGE Heuristic... 
912.84	c Restart #0 #Var: 9450 LB: -16 @ 912.5
913.00	c Restart #1 #Var: 9450 LB: -16 @ 912.67
913.04	c Restart #2 #Var: 9450 LB: -16 @ 912.71
913.09	c Restart #3 #Var: 9450 LB: -16 @ 912.75
913.20	c Restart #4 #Var: 9450 LB: -16 @ 912.86
913.28	c Restart #5 #Var: 9450 LB: -16 @ 912.94
913.48	c Restart #6 #Var: 9450 LB: -16 @ 913.14
913.60	c Restart #7 #Var: 9450 LB: -16 @ 913.27
913.88	c Restart #8 #Var: 9450 LB: -16 @ 913.55
914.06	c Restart #9 #Var: 9450 LB: -16 @ 913.72
914.22	c Restart #10 #Var: 9450 LB: -16 @ 913.88
914.41	c Restart #11 #Var: 9450 LB: -16 @ 914.07
914.67	c Restart #12 #Var: 9450 LB: -16 @ 914.33
914.98	c Restart #13 #Var: 9450 LB: -16 @ 914.65
915.40	c Restart #14 #Var: 9450 LB: -16 @ 915.06
915.76	c Restart #15 #Var: 9450 LB: -16 @ 915.43
916.18	c Restart #16 #Var: 9450 LB: -16 @ 915.84
916.51	c Restart #17 #Var: 9450 LB: -16 @ 916.18
917.00	c Restart #18 #Var: 9450 LB: -16 @ 916.66
917.37	c Restart #19 #Var: 9450 LB: -16 @ 917.03
917.89	c Restart #20 #Var: 9450 LB: -16 @ 917.55
918.35	c Restart #21 #Var: 9450 LB: -16 @ 918.01
919.31	c Restart #22 #Var: 9450 LB: -16 @ 918.97
919.89	c Restart #23 #Var: 9450 LB: -16 @ 919.55
920.98	c Restart #24 #Var: 9450 LB: -16 @ 920.65
921.47	c Restart #25 #Var: 9450 LB: -16 @ 921.13
922.15	c Restart #26 #Var: 9450 LB: -16 @ 921.81
922.82	c Restart #27 #Var: 9450 LB: -16 @ 922.48
923.75	c Restart #28 #Var: 9450 LB: -16 @ 923.41
924.70	c Restart #29 #Var: 9450 LB: -16 @ 924.37
925.90	c Restart #30 #Var: 9450 LB: -16 @ 925.56
926.99	c Restart #31 #Var: 9450 LB: -16 @ 926.65
928.32	c Restart #32 #Var: 9450 LB: -16 @ 927.99
929.79	c Restart #33 #Var: 9450 LB: -16 @ 929.45
931.60	c Restart #34 #Var: 9450 LB: -16 @ 931.26
933.32	c Restart #35 #Var: 9450 LB: -16 @ 932.97
935.38	c Restart #36 #Var: 9450 LB: -16 @ 935.04
937.45	c Restart #37 #Var: 9450 LB: -16 @ 937.11
939.55	c Restart #38 #Var: 9450 LB: -16 @ 939.2
941.99	c Restart #39 #Var: 9450 LB: -16 @ 941.65
944.00	c Restart #40 #Var: 9450 LB: -16 @ 943.65
945.35	c Restart #41 #Var: 9450 LB: -16 @ 945
947.62	c Restart #42 #Var: 9450 LB: -16 @ 947.27
948.88	c Restart #43 #Var: 9450 LB: -16 @ 948.54
951.12	c Restart #44 #Var: 9450 LB: -16 @ 950.77
952.49	c Restart #45 #Var: 9450 LB: -16 @ 952.14
954.99	c Restart #46 #Var: 9450 LB: -16 @ 954.64
956.51	c Restart #47 #Var: 9450 LB: -16 @ 956.16
958.69	c Restart #48 #Var: 9450 LB: -16 @ 958.34
960.31	c Restart #49 #Var: 9450 LB: -16 @ 959.96
962.97	c Restart #50 #Var: 9450 LB: -16 @ 962.62
976.68	c Restart #51 #Var: 9450 LB: -16 @ 976.32
987.00	c Restart #52 #Var: 9450 LB: -16 @ 986.64
1010.27	c Restart #53 #Var: 9450 LB: -16 @ 1009.9
1016.86	c Restart #54 #Var: 9450 LB: -16 @ 1016.5
1047.62	c Restart #55 #Var: 9450 LB: -16 @ 1047.2
1106.31	c Restart #56 #Var: 9450 LB: -16 @ 1105.9
1124.15	c Restart #57 #Var: 9450 LB: -16 @ 1123.7
1229.04	c Restart #58 #Var: 9450 LB: -16 @ 1228.6
1360.23	c Restart #59 #Var: 9450 LB: -16 @ 1359.8
1384.77	c Restart #60 #Var: 9450 LB: -16 @ 1384.3
1407.30	c Restart #61 #Var: 9450 LB: -16 @ 1406.8
1459.12	c Restart #62 #Var: 9450 LB: -16 @ 1458.6
1479.05	c Restart #63 #Var: 9450 LB: -16 @ 1478.5
1482.88	c Restart #64 #Var: 9450 LB: -16 @ 1482.4
1484.20	c Restart #65 #Var: 9450 LB: -16 @ 1483.7
1517.14	c Restart #66 #Var: 9450 LB: -16 @ 1516.6
1531.31	c Restart #67 #Var: 9450 LB: -16 @ 1530.8
1543.05	c Restart #68 #Var: 9450 LB: -16 @ 1542.5
1561.86	c Restart #69 #Var: 9450 LB: -16 @ 1561.3
1567.44	c Restart #70 #Var: 9450 LB: -16 @ 1566.9
1588.61	c Restart #71 #Var: 9450 LB: -16 @ 1588.1
1591.48	c Restart #72 #Var: 9450 LB: -16 @ 1590.9
1660.55	c Restart #73 #Var: 9450 LB: -16 @ 1660
1678.98	c Restart #74 #Var: 9450 LB: -16 @ 1678.4
1697.53	c Restart #75 #Var: 9450 LB: -16 @ 1697
1729.74	c Restart #76 #Var: 9450 LB: -16 @ 1729.2
1748.85	c Restart #77 #Var: 9450 LB: -16 @ 1748.3
1784.88	c Restart #78 #Var: 9450 LB: -16 @ 1784.3
1791.66	c Restart #79 #Var: 9450 LB: -16 @ 1791.1
1800.61	s UNKNOWN
1800.61	c Exit Code: 0
1800.61	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/node33/watcher-39846-1149260185 -o ROOT/results/node33/solver-39846-1149260185 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node33/39846-1149260185/instance-39846-1149260185.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.91 0.95 0.98 2/64 7851
/proc/meminfo: memFree=1667608/2055920 swapFree=4181332/4192956
[pid=7851] ppid=7849 vsize=436 CPUtime=0
/proc/7851/stat : 7851 (bsolo) D 7849 7851 7805 0 -1 0 38 0 0 0 0 0 0 0 19 0 1 0 191682326 446464 23 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 10945316 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/7851/statm: 109 23 18 55 0 18 0

[startup+10.0025 s]
/proc/loadavg: 0.93 0.95 0.98 2/64 7851
/proc/meminfo: memFree=1649184/2055920 swapFree=4181332/4192956
[pid=7851] ppid=7849 vsize=23004 CPUtime=9.97
/proc/7851/stat : 7851 (bsolo) R 7849 7851 7805 0 -1 0 4969 0 0 0 986 11 0 0 25 0 1 0 191682326 23556096 4862 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7851/statm: 5751 4862 297 55 0 4643 0
Current children cumulated CPU time (s) 9.97
Current children cumulated vsize (Kb) 23004

[startup+20.0087 s]
/proc/loadavg: 0.94 0.96 0.98 2/64 7851
/proc/meminfo: memFree=1628264/2055920 swapFree=4181332/4192956
[pid=7851] ppid=7849 vsize=43860 CPUtime=19.97
/proc/7851/stat : 7851 (bsolo) R 7849 7851 7805 0 -1 0 10190 0 0 0 1981 16 0 0 25 0 1 0 191682326 44912640 10083 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542194 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7851/statm: 10965 10083 297 55 0 9857 0
Current children cumulated CPU time (s) 19.97
Current children cumulated vsize (Kb) 43860

[startup+30.015 s]
/proc/loadavg: 0.95 0.96 0.98 2/64 7851
/proc/meminfo: memFree=1587048/2055920 swapFree=4181332/4192956
[pid=7851] ppid=7849 vsize=85136 CPUtime=29.97
/proc/7851/stat : 7851 (bsolo) R 7849 7851 7805 0 -1 0 20478 0 0 0 2974 23 0 0 25 0 1 0 191682326 87179264 20362 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534909 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7851/statm: 21284 20362 297 55 0 20176 0
Current children cumulated CPU time (s) 29.97
Current children cumulated vsize (Kb) 85136

[startup+40.0213 s]
/proc/loadavg: 0.95 0.96 0.98 2/64 7851
/proc/meminfo: memFree=1538984/2055920 swapFree=4181332/4192956
[pid=7851] ppid=7849 vsize=133624 CPUtime=39.98
/proc/7851/stat : 7851 (bsolo) R 7849 7851 7805 0 -1 0 32519 0 0 0 3965 33 0 0 25 0 1 0 191682326 136830976 32384 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537746 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7851/statm: 33406 32384 297 55 0 32298 0
Current children cumulated CPU time (s) 39.98
Current children cumulated vsize (Kb) 133624

[startup+50.0276 s]
/proc/loadavg: 0.96 0.96 0.98 2/64 7851
/proc/meminfo: memFree=1508200/2055920 swapFree=4181332/4192956
[pid=7851] ppid=7849 vsize=164488 CPUtime=49.98
/proc/7851/stat : 7851 (bsolo) R 7849 7851 7805 0 -1 0 40207 0 0 0 4958 40 0 0 25 0 1 0 191682326 168435712 40066 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 11380347 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7851/statm: 41122 40066 297 55 0 40014 0
Current children cumulated CPU time (s) 49.98
Current children cumulated vsize (Kb) 164488

[startup+60.0339 s]
/proc/loadavg: 0.97 0.96 0.98 2/64 7851
/proc/meminfo: memFree=1479016/2055920 swapFree=4181332/4192956
[pid=7851] ppid=7849 vsize=193784 CPUtime=59.98
/proc/7851/stat : 7851 (bsolo) R 7849 7851 7805 0 -1 0 47484 0 0 0 5952 46 0 0 25 0 1 0 191682326 198434816 47334 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7851/statm: 48446 47334 297 55 0 47338 0
Current children cumulated CPU time (s) 59.98
Current children cumulated vsize (Kb) 193784

[startup+70.0402 s]
/proc/loadavg: 0.97 0.96 0.98 2/64 7851
/proc/meminfo: memFree=1476328/2055920 swapFree=4181332/4192956
[pid=7851] ppid=7849 vsize=196420 CPUtime=69.98
/proc/7851/stat : 7851 (bsolo) R 7849 7851 7805 0 -1 0 48152 0 0 0 6950 48 0 0 25 0 1 0 191682326 201134080 48002 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528665 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7851/statm: 49105 48002 297 55 0 47997 0
Current children cumulated CPU time (s) 69.98
Current children cumulated vsize (Kb) 196420

[startup+80.0475 s]
/proc/loadavg: 0.98 0.96 0.98 2/64 7851
/proc/meminfo: memFree=1474984/2055920 swapFree=4181332/4192956
[pid=7851] ppid=7849 vsize=197740 CPUtime=79.99
/proc/7851/stat : 7851 (bsolo) R 7849 7851 7805 0 -1 0 48493 0 0 0 7949 50 0 0 25 0 1 0 191682326 202485760 48343 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7851/statm: 49435 48343 297 55 0 48327 0
Current children cumulated CPU time (s) 79.99
Current children cumulated vsize (Kb) 197740

[startup+90.0527 s]
/proc/loadavg: 0.98 0.96 0.98 2/64 7851
/proc/meminfo: memFree=1472104/2055920 swapFree=4181332/4192956
[pid=7851] ppid=7849 vsize=200644 CPUtime=89.99
/proc/7851/stat : 7851 (bsolo) R 7849 7851 7805 0 -1 0 49200 0 0 0 8947 52 0 0 25 0 1 0 191682326 205459456 49050 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534037 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7851/statm: 50161 49050 297 55 0 49053 0
Current children cumulated CPU time (s) 89.99
Current children cumulated vsize (Kb) 200644

[startup+100.059 s]
/proc/loadavg: 0.98 0.96 0.98 2/64 7851
/proc/meminfo: memFree=1447912/2055920 swapFree=4181332/4192956
[pid=7851] ppid=7849 vsize=224876 CPUtime=100
/proc/7851/stat : 7851 (bsolo) R 7849 7851 7805 0 -1 0 55244 0 0 0 9942 58 0 0 25 0 1 0 191682326 230273024 55090 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7851/statm: 56219 55090 297 55 0 55111 0
Current children cumulated CPU time (s) 100
Current children cumulated vsize (Kb) 224876

[startup+110.065 s]
/proc/loadavg: 0.98 0.96 0.98 2/64 7851
/proc/meminfo: memFree=1445736/2055920 swapFree=4181332/4192956
[pid=7851] ppid=7849 vsize=226988 CPUtime=110
/proc/7851/stat : 7851 (bsolo) R 7849 7851 7805 0 -1 0 55779 0 0 0 10942 58 0 0 25 0 1 0 191682326 232435712 55625 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528714 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7851/statm: 56747 55625 297 55 0 55639 0
Current children cumulated CPU time (s) 110
Current children cumulated vsize (Kb) 226988

[startup+120.072 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 7851
/proc/meminfo: memFree=1444392/2055920 swapFree=4181332/4192956
[pid=7851] ppid=7849 vsize=228440 CPUtime=120
/proc/7851/stat : 7851 (bsolo) R 7849 7851 7805 0 -1 0 56138 0 0 0 11942 58 0 0 25 0 1 0 191682326 233922560 55984 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548552 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7851/statm: 57110 55984 297 55 0 56002 0
Current children cumulated CPU time (s) 120
Current children cumulated vsize (Kb) 228440

[startup+130.078 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 7851
/proc/meminfo: memFree=1442920/2055920 swapFree=4181332/4192956
[pid=7851] ppid=7849 vsize=229908 CPUtime=130
/proc/7851/stat : 7851 (bsolo) R 7849 7851 7805 0 -1 0 56495 0 0 0 12941 59 0 0 25 0 1 0 191682326 235425792 56341 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7851/statm: 57477 56341 297 55 0 56369 0
Current children cumulated CPU time (s) 130
Current children cumulated vsize (Kb) 229908

[startup+140.084 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 7851
/proc/meminfo: memFree=1441512/2055920 swapFree=4181332/4192956
[pid=7851] ppid=7849 vsize=231360 CPUtime=140.01
/proc/7851/stat : 7851 (bsolo) R 7849 7851 7805 0 -1 0 56847 0 0 0 13942 59 0 0 25 0 1 0 191682326 236912640 56693 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533895 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7851/statm: 57840 56693 297 55 0 56732 0
Current children cumulated CPU time (s) 140.01
Current children cumulated vsize (Kb) 231360

[startup+150.09 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 7851
/proc/meminfo: memFree=1440104/2055920 swapFree=4181332/4192956
[pid=7851] ppid=7849 vsize=232680 CPUtime=150.01
/proc/7851/stat : 7851 (bsolo) R 7849 7851 7805 0 -1 0 57195 0 0 0 14941 60 0 0 25 0 1 0 191682326 238264320 57041 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7851/statm: 58170 57041 297 55 0 57062 0
Current children cumulated CPU time (s) 150.01
Current children cumulated vsize (Kb) 232680

[startup+160.097 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 7851
/proc/meminfo: memFree=1438696/2055920 swapFree=4181332/4192956
[pid=7851] ppid=7849 vsize=234136 CPUtime=160.01
/proc/7851/stat : 7851 (bsolo) R 7849 7851 7805 0 -1 0 57541 0 0 0 15941 60 0 0 25 0 1 0 191682326 239755264 57387 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7851/statm: 58534 57387 297 55 0 57426 0
Current children cumulated CPU time (s) 160.01
Current children cumulated vsize (Kb) 234136

[startup+170.103 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 7851
/proc/meminfo: memFree=1437288/2055920 swapFree=4181332/4192956
[pid=7851] ppid=7849 vsize=235460 CPUtime=170.01
/proc/7851/stat : 7851 (bsolo) R 7849 7851 7805 0 -1 0 57888 0 0 0 16941 60 0 0 25 0 1 0 191682326 241111040 57734 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7851/statm: 58865 57734 297 55 0 57757 0
Current children cumulated CPU time (s) 170.01
Current children cumulated vsize (Kb) 235460

[startup+180.109 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 7851
/proc/meminfo: memFree=1431784/2055920 swapFree=4181332/4192956
[pid=7851] ppid=7849 vsize=241004 CPUtime=180.02
/proc/7851/stat : 7851 (bsolo) R 7849 7851 7805 0 -1 0 59269 0 0 0 17939 63 0 0 25 0 1 0 191682326 246788096 59115 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7851/statm: 60251 59115 297 55 0 59143 0
Current children cumulated CPU time (s) 180.02
Current children cumulated vsize (Kb) 241004

[startup+190.116 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 7851
/proc/meminfo: memFree=1424296/2055920 swapFree=4181332/4192956
[pid=7851] ppid=7849 vsize=248404 CPUtime=190.03
/proc/7851/stat : 7851 (bsolo) R 7849 7851 7805 0 -1 0 61136 0 0 0 18937 66 0 0 25 0 1 0 191682326 254365696 60982 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7851/statm: 62101 60982 297 55 0 60993 0
Current children cumulated CPU time (s) 190.03
Current children cumulated vsize (Kb) 248404

[startup+200.122 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 7851
/proc/meminfo: memFree=1402600/2055920 swapFree=4181332/4192956
[pid=7851] ppid=7849 vsize=270188 CPUtime=200.02
/proc/7851/stat : 7851 (bsolo) R 7849 7851 7805 0 -1 0 66551 0 0 0 19933 69 0 0 25 0 1 0 191682326 276672512 66397 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7851/statm: 67547 66397 297 55 0 66439 0
Current children cumulated CPU time (s) 200.02
Current children cumulated vsize (Kb) 270188

[startup+210.127 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 7851
/proc/meminfo: memFree=1400360/2055920 swapFree=4181332/4192956

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

/proc/7851/statm: 309548 307086 297 55 0 308440 0
Current children cumulated CPU time (s) 1760.5
Current children cumulated vsize (Kb) 1238192

[startup+1771.11 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 8046
/proc/meminfo: memFree=435368/2055920 swapFree=4181332/4192956
[pid=7851] ppid=7849 vsize=1240172 CPUtime=1770.5
/proc/7851/stat : 7851 (bsolo) R 7849 7851 7805 0 -1 0 308155 0 0 0 176713 337 0 0 25 0 1 0 191682326 1269936128 307598 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134535121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7851/statm: 310043 307598 297 55 0 308935 0
Current children cumulated CPU time (s) 1770.5
Current children cumulated vsize (Kb) 1240172

[startup+1781.11 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 8046
/proc/meminfo: memFree=433384/2055920 swapFree=4181332/4192956
[pid=7851] ppid=7849 vsize=1242152 CPUtime=1780.5
/proc/7851/stat : 7851 (bsolo) R 7849 7851 7805 0 -1 0 308653 0 0 0 177711 339 0 0 25 0 1 0 191682326 1271963648 308096 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528793 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7851/statm: 310538 308096 297 55 0 309430 0
Current children cumulated CPU time (s) 1780.5
Current children cumulated vsize (Kb) 1242152

[startup+1782.12 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 8046
/proc/meminfo: memFree=431016/2055920 swapFree=4181332/4192956
[pid=7851] ppid=7849 vsize=1244528 CPUtime=1781.51
/proc/7851/stat : 7851 (bsolo) R 7849 7851 7805 0 -1 0 309245 0 0 0 177811 340 0 0 25 0 1 0 191682326 1274396672 308688 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7851/statm: 311132 308688 297 55 0 310024 0
Current children cumulated CPU time (s) 1781.51
Current children cumulated vsize (Kb) 1244528

[startup+1783.12 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 8046
/proc/meminfo: memFree=430888/2055920 swapFree=4181332/4192956
[pid=7851] ppid=7849 vsize=1244660 CPUtime=1782.52
/proc/7851/stat : 7851 (bsolo) R 7849 7851 7805 0 -1 0 309271 0 0 0 177912 340 0 0 25 0 1 0 191682326 1274531840 308714 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7851/statm: 311165 308714 297 55 0 310057 0
Current children cumulated CPU time (s) 1782.52
Current children cumulated vsize (Kb) 1244660

[startup+1784.13 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 8046
/proc/meminfo: memFree=430824/2055920 swapFree=4181332/4192956
[pid=7851] ppid=7849 vsize=1244792 CPUtime=1783.52
/proc/7851/stat : 7851 (bsolo) R 7849 7851 7805 0 -1 0 309295 0 0 0 178012 340 0 0 25 0 1 0 191682326 1274667008 308738 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524531 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7851/statm: 311198 308738 297 55 0 310090 0
Current children cumulated CPU time (s) 1783.52
Current children cumulated vsize (Kb) 1244792

[startup+1785.13 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 8046
/proc/meminfo: memFree=426728/2055920 swapFree=4181332/4192956
[pid=7851] ppid=7849 vsize=1248752 CPUtime=1784.53
/proc/7851/stat : 7851 (bsolo) R 7849 7851 7805 0 -1 0 310316 0 0 0 178112 341 0 0 25 0 1 0 191682326 1278722048 309759 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607302 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7851/statm: 312188 309759 297 55 0 311080 0
Current children cumulated CPU time (s) 1784.53
Current children cumulated vsize (Kb) 1248752

[startup+1786.14 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 8046
/proc/meminfo: memFree=426472/2055920 swapFree=4181332/4192956
[pid=7851] ppid=7849 vsize=1249016 CPUtime=1785.53
/proc/7851/stat : 7851 (bsolo) R 7849 7851 7805 0 -1 0 310382 0 0 0 178212 341 0 0 25 0 1 0 191682326 1278992384 309825 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7851/statm: 312254 309825 297 55 0 311146 0
Current children cumulated CPU time (s) 1785.53
Current children cumulated vsize (Kb) 1249016

[startup+1787.14 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 8046
/proc/meminfo: memFree=425576/2055920 swapFree=4181332/4192956
[pid=7851] ppid=7849 vsize=1249940 CPUtime=1786.53
/proc/7851/stat : 7851 (bsolo) R 7849 7851 7805 0 -1 0 310596 0 0 0 178312 341 0 0 25 0 1 0 191682326 1279938560 310039 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7851/statm: 312485 310039 297 55 0 311377 0
Current children cumulated CPU time (s) 1786.53
Current children cumulated vsize (Kb) 1249940

[startup+1788.15 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 8046
/proc/meminfo: memFree=425320/2055920 swapFree=4181332/4192956
[pid=7851] ppid=7849 vsize=1250204 CPUtime=1787.53
/proc/7851/stat : 7851 (bsolo) R 7849 7851 7805 0 -1 0 310668 0 0 0 178412 341 0 0 25 0 1 0 191682326 1280208896 310111 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7851/statm: 312551 310111 297 55 0 311443 0
Current children cumulated CPU time (s) 1787.53
Current children cumulated vsize (Kb) 1250204

[startup+1789.15 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 8046
/proc/meminfo: memFree=422248/2055920 swapFree=4181332/4192956
[pid=7851] ppid=7849 vsize=1253236 CPUtime=1788.54
/proc/7851/stat : 7851 (bsolo) R 7849 7851 7805 0 -1 0 311435 0 0 0 178512 342 0 0 25 0 1 0 191682326 1283313664 310878 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134632787 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7851/statm: 313309 310878 297 55 0 312201 0
Current children cumulated CPU time (s) 1788.54
Current children cumulated vsize (Kb) 1253236

[startup+1790.16 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 8046
/proc/meminfo: memFree=419432/2055920 swapFree=4181332/4192956
[pid=7851] ppid=7849 vsize=1256008 CPUtime=1789.55
/proc/7851/stat : 7851 (bsolo) R 7849 7851 7805 0 -1 0 312127 0 0 0 178612 343 0 0 25 0 1 0 191682326 1286152192 311570 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134632787 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7851/statm: 314002 311570 297 55 0 312894 0
Current children cumulated CPU time (s) 1789.55
Current children cumulated vsize (Kb) 1256008

[startup+1791.16 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 8046
/proc/meminfo: memFree=417128/2055920 swapFree=4181332/4192956
[pid=7851] ppid=7849 vsize=1258388 CPUtime=1790.55
/proc/7851/stat : 7851 (bsolo) R 7849 7851 7805 0 -1 0 312706 0 0 0 178711 344 0 0 25 0 1 0 191682326 1288589312 312149 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7851/statm: 314597 312149 297 55 0 313489 0
Current children cumulated CPU time (s) 1790.55
Current children cumulated vsize (Kb) 1258388

[startup+1792.17 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 8046
/proc/meminfo: memFree=411176/2055920 swapFree=4181332/4192956
[pid=7851] ppid=7849 vsize=1264460 CPUtime=1791.56
/proc/7851/stat : 7851 (bsolo) R 7849 7851 7805 0 -1 0 314212 0 0 0 178811 345 0 0 25 0 1 0 191682326 1294807040 313655 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 11380347 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7851/statm: 316115 313656 297 55 0 315007 0
Current children cumulated CPU time (s) 1791.56
Current children cumulated vsize (Kb) 1264460

[startup+1793.17 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 8046
/proc/meminfo: memFree=406504/2055920 swapFree=4181332/4192956
[pid=7851] ppid=7849 vsize=1269080 CPUtime=1792.56
/proc/7851/stat : 7851 (bsolo) R 7849 7851 7805 0 -1 0 315362 0 0 0 178910 346 0 0 25 0 1 0 191682326 1299537920 314805 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7851/statm: 317270 314805 297 55 0 316162 0
Current children cumulated CPU time (s) 1792.56
Current children cumulated vsize (Kb) 1269080

[startup+1794.18 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 8046
/proc/meminfo: memFree=406056/2055920 swapFree=4181332/4192956
[pid=7851] ppid=7849 vsize=1269476 CPUtime=1793.56
/proc/7851/stat : 7851 (bsolo) R 7849 7851 7805 0 -1 0 315478 0 0 0 179010 346 0 0 25 0 1 0 191682326 1299943424 314921 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7851/statm: 317369 314921 297 55 0 316261 0
Current children cumulated CPU time (s) 1793.56
Current children cumulated vsize (Kb) 1269476

[startup+1795.18 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 8046
/proc/meminfo: memFree=405800/2055920 swapFree=4181332/4192956
[pid=7851] ppid=7849 vsize=1269608 CPUtime=1794.57
/proc/7851/stat : 7851 (bsolo) R 7849 7851 7805 0 -1 0 315526 0 0 0 179111 346 0 0 25 0 1 0 191682326 1300078592 314969 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607308 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7851/statm: 317402 314969 297 55 0 316294 0
Current children cumulated CPU time (s) 1794.57
Current children cumulated vsize (Kb) 1269608

[startup+1796.19 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 8046
/proc/meminfo: memFree=405672/2055920 swapFree=4181332/4192956
[pid=7851] ppid=7849 vsize=1269872 CPUtime=1795.57
/proc/7851/stat : 7851 (bsolo) R 7849 7851 7805 0 -1 0 315570 0 0 0 179211 346 0 0 25 0 1 0 191682326 1300348928 315013 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551605 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7851/statm: 317468 315013 297 55 0 316360 0
Current children cumulated CPU time (s) 1795.57
Current children cumulated vsize (Kb) 1269872

[startup+1797.19 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 8046
/proc/meminfo: memFree=405224/2055920 swapFree=4181332/4192956
[pid=7851] ppid=7849 vsize=1270268 CPUtime=1796.58
/proc/7851/stat : 7851 (bsolo) R 7849 7851 7805 0 -1 0 315671 0 0 0 179311 347 0 0 25 0 1 0 191682326 1300754432 315114 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534926 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7851/statm: 317567 315114 297 55 0 316459 0
Current children cumulated CPU time (s) 1796.58
Current children cumulated vsize (Kb) 1270268

[startup+1798.2 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 8046
/proc/meminfo: memFree=405096/2055920 swapFree=4181332/4192956
[pid=7851] ppid=7849 vsize=1270400 CPUtime=1797.59
/proc/7851/stat : 7851 (bsolo) R 7849 7851 7805 0 -1 0 315701 0 0 0 179412 347 0 0 25 0 1 0 191682326 1300889600 315144 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7851/statm: 317600 315144 297 55 0 316492 0
Current children cumulated CPU time (s) 1797.59
Current children cumulated vsize (Kb) 1270400

[startup+1799.2 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 8046
/proc/meminfo: memFree=405032/2055920 swapFree=4181332/4192956
[pid=7851] ppid=7849 vsize=1270400 CPUtime=1798.59
/proc/7851/stat : 7851 (bsolo) R 7849 7851 7805 0 -1 0 315720 0 0 0 179512 347 0 0 25 0 1 0 191682326 1300889600 315163 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607302 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7851/statm: 317600 315163 297 55 0 316492 0
Current children cumulated CPU time (s) 1798.59
Current children cumulated vsize (Kb) 1270400

[startup+1800.21 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 8046
/proc/meminfo: memFree=404968/2055920 swapFree=4181332/4192956
[pid=7851] ppid=7849 vsize=1270532 CPUtime=1799.6
/proc/7851/stat : 7851 (bsolo) R 7849 7851 7805 0 -1 0 315735 0 0 0 179613 347 0 0 25 0 1 0 191682326 1301024768 315178 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7851/statm: 317633 315178 297 55 0 316525 0
Current children cumulated CPU time (s) 1799.6
Current children cumulated vsize (Kb) 1270532

Child status: 0
Real time (s): 1800.81
CPU time (s): 1800.2
CPU user time (s): 1796.53
CPU system time (s): 3.66544
CPU usage (%): 99.9663
Max. virtual memory (cumulated for all children) (Kb): 1270532

Launcher Data (download as text)

Begin job on node33 on Fri Jun  2 14:56:25 UTC 2006


FILE ID= 39846-1149260185

PBS_JOBID= 298604

BENCH NAME= ROOT/tmp/node33/39846-1149260185/instance-39846-1149260185.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node33/39846-1149260185/instance-39846-1149260185.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node33/watcher-39846-1149260185 -o ROOT/results/node33/solver-39846-1149260185 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node33/39846-1149260185/instance-39846-1149260185.opb

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  69d5c7c1a4b8d5de2fe0ee7c53688a9d

RANDOM SEED= 269790663


/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.213
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.213
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:       1667816 kB
Buffers:         23548 kB
Cached:         292236 kB
SwapCached:       3544 kB
Active:          35692 kB
Inactive:       289076 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1667816 kB
SwapTotal:     4192956 kB
SwapFree:      4181332 kB
Dirty:             168 kB
Writeback:           0 kB
Mapped:          14900 kB
Slab:            49424 kB
Committed_AS:   266932 kB
PageTables:       1424 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node33 on Fri Jun  2 15:26:26 UTC 2006