Trace number 39931

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.14 1800.84

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-recipe.opb
MD5SUMafb312a519ee7dfceb0c5aec9cb860b5
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-82060
Best CPU time to get the best result obtained on this benchmark1782.74
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -118677
Optimality of the best value was proved NO
Number of variables3671
Total number of constraints159
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 constraints159
Minimum length of a constraint10
Maximum length of a constraint420
Number of terms in the objective function 1055
Biggest coefficient in the objective function 58802
Number of bits for the biggest coefficient in the objective function 16
Sum of the numbers in the objective function 524960
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262113
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 524960
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.03	c INFO: OSL Context initialized.
0.13	c Initial problem consists of 3671 variables and 219 constraints.
0.14	c No problem reductions applied in OPT. instance.
0.14	c	preprocess terminated. Elapsed time: 0.118
0.14	c After prepocess the problem consists of 3089 variables and 163 constraints.
0.14	c Initial Lower Bound: -500699
0.20	c Restart #1 #Var: 3089 LB: -500699 @ 0.169
0.28	c Restart #2 #Var: 3089 LB: -500699 @ 0.253
0.40	c Restart #3 #Var: 3089 LB: -500699 @ 0.373
0.54	c Restart #4 #Var: 3089 LB: -500699 @ 0.514
0.75	c Restart #5 #Var: 3089 LB: -500699 @ 0.724
0.99	c Restart #6 #Var: 3089 LB: -500699 @ 0.962
1.28	c Restart #7 #Var: 3089 LB: -500699 @ 1.256
1.82	c Restart #8 #Var: 3089 LB: -500699 @ 1.796
2.08	c Restart #9 #Var: 3089 LB: -500699 @ 2.053
2.34	c Restart #10 #Var: 3089 LB: -500699 @ 2.312
2.96	c Restart #11 #Var: 3089 LB: -500699 @ 2.935
3.32	c Restart #12 #Var: 3089 LB: -500699 @ 3.288
4.16	c Restart #13 #Var: 3089 LB: -500699 @ 4.137
4.69	c Restart #14 #Var: 3089 LB: -500699 @ 4.664
5.48	c Restart #15 #Var: 3089 LB: -500699 @ 5.454
6.00	c Restart #16 #Var: 3089 LB: -500699 @ 5.969
7.36	c Restart #17 #Var: 3089 LB: -500699 @ 7.328
8.52	c Restart #18 #Var: 3089 LB: -500699 @ 8.494
9.62	c Restart #19 #Var: 3089 LB: -500699 @ 9.59
10.07	c Restart #20 #Var: 3089 LB: -500699 @ 10.037
11.50	c Restart #21 #Var: 3089 LB: -500699 @ 11.461
13.98	c Restart #22 #Var: 3089 LB: -500699 @ 13.944
14.94	c Restart #23 #Var: 3089 LB: -500699 @ 14.908
16.72	c Restart #24 #Var: 3089 LB: -500699 @ 16.689
17.15	c Restart #25 #Var: 3089 LB: -500699 @ 17.118
18.31	c Restart #26 #Var: 3089 LB: -500699 @ 18.277
19.30	c Restart #27 #Var: 3089 LB: -500699 @ 19.26
21.65	c Restart #28 #Var: 3089 LB: -500699 @ 21.614
22.04	c Restart #29 #Var: 3089 LB: -500699 @ 22.001
22.81	c Restart #30 #Var: 3089 LB: -500699 @ 22.773
23.95	c Restart #31 #Var: 3089 LB: -500699 @ 23.914
25.00	c Restart #32 #Var: 3089 LB: -500699 @ 24.958
25.65	c Restart #33 #Var: 3089 LB: -500699 @ 25.616
27.65	c Restart #34 #Var: 3089 LB: -500699 @ 27.615
29.86	c Restart #35 #Var: 3089 LB: -500699 @ 29.817
31.00	c Restart #36 #Var: 3089 LB: -500699 @ 30.962
34.86	c Restart #37 #Var: 3089 LB: -500699 @ 34.816
35.41	c Restart #38 #Var: 3089 LB: -500699 @ 35.365
41.90	c Restart #39 #Var: 3089 LB: -500699 @ 41.859
44.80	c Restart #40 #Var: 3089 LB: -500699 @ 44.759
47.44	c Restart #41 #Var: 3089 LB: -500699 @ 47.396
51.11	c Restart #42 #Var: 3089 LB: -500699 @ 51.066
52.07	c Restart #43 #Var: 3089 LB: -500699 @ 52.02
54.29	c Restart #44 #Var: 3089 LB: -500699 @ 54.237
57.20	c Restart #45 #Var: 3089 LB: -500699 @ 57.151
59.46	c Restart #46 #Var: 3088 LB: -500699 @ 59.408
61.36	c Restart #47 #Var: 3088 LB: -500699 @ 61.309
64.44	c Restart #48 #Var: 3088 LB: -500699 @ 64.388
67.22	c Restart #49 #Var: 3088 LB: -500699 @ 67.165
68.34	c Restart #50 #Var: 3088 LB: -500699 @ 68.289
70.10	c Restart #51 #Var: 3088 LB: -500699 @ 70.046
72.96	c Restart #52 #Var: 3088 LB: -500699 @ 72.9
76.47	c Restart #53 #Var: 3088 LB: -500699 @ 76.418
79.35	c Restart #54 #Var: 3088 LB: -500699 @ 79.298
83.00	c Restart #55 #Var: 3088 LB: -500699 @ 82.947
84.86	c Restart #56 #Var: 3088 LB: -500699 @ 84.801
85.88	c Restart #57 #Var: 3088 LB: -500699 @ 85.818
91.15	c Restart #58 #Var: 3088 LB: -500699 @ 91.089
95.55	c Restart #59 #Var: 3088 LB: -500699 @ 95.484
100.23	c Restart #60 #Var: 3088 LB: -500699 @ 100.16
104.88	c Restart #61 #Var: 3088 LB: -500699 @ 104.82
106.61	c Restart #62 #Var: 3088 LB: -500699 @ 106.55
109.66	c Restart #63 #Var: 3088 LB: -500699 @ 109.59
112.09	c Restart #64 #Var: 3088 LB: -500699 @ 112.02
116.35	c Restart #65 #Var: 3088 LB: -500699 @ 116.28
119.73	c Restart #66 #Var: 3088 LB: -500699 @ 119.66
123.00	c Restart #67 #Var: 3088 LB: -500699 @ 122.92
124.23	c Restart #68 #Var: 3088 LB: -500699 @ 124.16
126.32	c Restart #69 #Var: 3088 LB: -500699 @ 126.25
128.83	c Restart #70 #Var: 3088 LB: -500699 @ 128.76
130.06	c Restart #71 #Var: 3088 LB: -500699 @ 129.99
134.30	c Restart #72 #Var: 3088 LB: -500699 @ 134.22
136.98	c Restart #73 #Var: 3088 LB: -500699 @ 136.9
138.55	c Restart #74 #Var: 3088 LB: -500699 @ 138.48
141.27	c Restart #75 #Var: 3088 LB: -500699 @ 141.19
143.98	c Restart #76 #Var: 3088 LB: -500699 @ 143.9
147.26	c Restart #77 #Var: 3088 LB: -500699 @ 147.18
152.94	c Restart #78 #Var: 3088 LB: -500699 @ 152.85
158.52	c Restart #79 #Var: 3088 LB: -500699 @ 158.43
169.48	c Restart #80 #Var: 3088 LB: -500699 @ 169.39
179.48	c Restart #81 #Var: 3088 LB: -500699 @ 179.39
190.08	c Restart #82 #Var: 3088 LB: -500699 @ 189.99
200.12	c Restart #83 #Var: 3088 LB: -500699 @ 200.03
205.08	c Restart #84 #Var: 3088 LB: -500699 @ 204.98
207.18	c Restart #85 #Var: 3088 LB: -500699 @ 207.08
210.17	c Restart #86 #Var: 3088 LB: -500699 @ 210.07
212.89	c Restart #87 #Var: 3088 LB: -500699 @ 212.78
214.98	c Restart #88 #Var: 3088 LB: -500699 @ 214.88
217.55	c Restart #89 #Var: 3088 LB: -500699 @ 217.45
221.99	c Restart #90 #Var: 3088 LB: -500699 @ 221.89
226.44	c Restart #91 #Var: 3088 LB: -500699 @ 226.33
230.35	c Restart #92 #Var: 3088 LB: -500699 @ 230.25
232.82	c Restart #93 #Var: 3088 LB: -500699 @ 232.71
236.12	c Restart #94 #Var: 3088 LB: -500699 @ 236.01
238.61	c Restart #95 #Var: 3087 LB: -500699 @ 238.5
242.91	c Restart #96 #Var: 3085 LB: -500699 @ 242.8
244.51	c Restart #97 #Var: 3085 LB: -500699 @ 244.39
246.55	c Restart #98 #Var: 3084 LB: -500699 @ 246.43
250.44	c Restart #99 #Var: 3084 LB: -500699 @ 250.32
254.57	c Restart #100 #Var: 3084 LB: -500699 @ 254.46
258.68	c Restart #101 #Var: 3084 LB: -500699 @ 258.56
262.96	c Restart #102 #Var: 3084 LB: -500699 @ 262.84
266.85	c Restart #103 #Var: 3084 LB: -500699 @ 266.73
276.11	c Restart #104 #Var: 3084 LB: -500699 @ 275.99
277.84	c Restart #105 #Var: 3084 LB: -500699 @ 277.72
283.92	c Restart #106 #Var: 3084 LB: -500699 @ 283.79
291.29	c Restart #107 #Var: 3084 LB: -500699 @ 291.17
293.34	c Restart #108 #Var: 3084 LB: -500699 @ 293.22
407.97	c Restart #109 #Var: 3084 LB: -500699 @ 407.81
418.24	c Restart #110 #Var: 3084 LB: -500699 @ 418.07
428.79	c Restart #111 #Var: 3084 LB: -500699 @ 428.61
434.70	c Restart #112 #Var: 3084 LB: -500699 @ 434.53
441.02	c Restart #113 #Var: 3084 LB: -500699 @ 440.85
445.75	c Restart #114 #Var: 3084 LB: -500699 @ 445.57
451.65	c Restart #115 #Var: 3084 LB: -500699 @ 451.47
460.57	c Restart #116 #Var: 3084 LB: -500699 @ 460.38
466.20	c Restart #117 #Var: 3084 LB: -500699 @ 466.01
471.58	c Restart #118 #Var: 3084 LB: -500699 @ 471.39
476.73	c Restart #119 #Var: 3084 LB: -500699 @ 476.54
481.67	c Restart #120 #Var: 3084 LB: -500699 @ 481.48
485.74	c Restart #121 #Var: 3084 LB: -500699 @ 485.55
490.74	c Restart #122 #Var: 3084 LB: -500699 @ 490.55
852.76	c Restart #123 #Var: 3083 LB: -500684 @ 852.45
861.33	c Restart #124 #Var: 3083 LB: -500684 @ 861.01
875.60	c Restart #125 #Var: 3083 LB: -500684 @ 875.28
886.56	c Restart #126 #Var: 3081 LB: -500684 @ 886.23
889.34	c Restart #127 #Var: 3078 LB: -500625 @ 889.02
899.61	c Restart #128 #Var: 3078 LB: -500625 @ 899.28
904.76	c CHANGE Heuristic... 
904.76	c Restart #0 #Var: 3078 LB: -500625 @ 904.43
905.10	c Restart #1 #Var: 3078 LB: -500625 @ 904.77
905.73	c Restart #2 #Var: 3078 LB: -500625 @ 905.39
907.28	c Restart #3 #Var: 3078 LB: -500625 @ 906.95
907.52	c Restart #4 #Var: 3077 LB: -500625 @ 907.18
908.09	c Restart #5 #Var: 3077 LB: -500625 @ 907.75
908.40	c Restart #6 #Var: 3077 LB: -500625 @ 908.07
910.50	c Restart #7 #Var: 3077 LB: -500625 @ 910.16
911.04	c Restart #8 #Var: 3077 LB: -500625 @ 910.7
912.47	c Restart #9 #Var: 3077 LB: -500625 @ 912.13
913.36	c Restart #10 #Var: 3077 LB: -500625 @ 913.03
913.86	c Restart #11 #Var: 3077 LB: -500625 @ 913.53
914.76	c Restart #12 #Var: 3077 LB: -500625 @ 914.42
915.10	c Restart #13 #Var: 3077 LB: -500625 @ 914.77
915.62	c Restart #14 #Var: 3077 LB: -500625 @ 915.29
916.21	c Restart #15 #Var: 3077 LB: -500625 @ 915.87
916.64	c Restart #16 #Var: 3077 LB: -500625 @ 916.3
918.37	c Restart #17 #Var: 3077 LB: -500625 @ 918.03
919.59	c Restart #18 #Var: 3077 LB: -500625 @ 919.26
920.77	c Restart #19 #Var: 3077 LB: -500625 @ 920.43
922.94	c Restart #20 #Var: 3077 LB: -500625 @ 922.61
924.65	c Restart #21 #Var: 3077 LB: -500625 @ 924.32
925.35	c Restart #22 #Var: 3077 LB: -500625 @ 925.01
926.05	c Restart #23 #Var: 3077 LB: -500625 @ 925.71
926.64	c Restart #24 #Var: 3077 LB: -500625 @ 926.3
931.12	c Restart #25 #Var: 3077 LB: -500625 @ 930.77
934.26	c Restart #26 #Var: 3077 LB: -500625 @ 933.91
934.85	c Restart #27 #Var: 3077 LB: -500625 @ 934.51
935.42	c Restart #28 #Var: 3077 LB: -500625 @ 935.08
936.46	c Restart #29 #Var: 3077 LB: -500625 @ 936.12
937.16	c Restart #30 #Var: 3077 LB: -500625 @ 936.82
938.35	c Restart #31 #Var: 3077 LB: -500625 @ 938.01
940.13	c Restart #32 #Var: 3077 LB: -500625 @ 939.78
942.02	c Restart #33 #Var: 3077 LB: -500625 @ 941.67
943.69	c Restart #34 #Var: 3077 LB: -500625 @ 943.34
945.48	c Restart #35 #Var: 3077 LB: -500625 @ 945.13
954.11	c Restart #36 #Var: 3077 LB: -500625 @ 953.76
958.41	c Restart #37 #Var: 3077 LB: -500625 @ 958.05
961.87	c Restart #38 #Var: 3077 LB: -500625 @ 961.52
962.89	c Restart #39 #Var: 3077 LB: -500625 @ 962.54
963.64	c Restart #40 #Var: 3077 LB: -500625 @ 963.28
967.89	c Restart #41 #Var: 3077 LB: -500625 @ 967.53
969.83	c Restart #42 #Var: 3077 LB: -500625 @ 969.48
971.67	c Restart #43 #Var: 3077 LB: -500625 @ 971.31
973.28	c Restart #44 #Var: 3077 LB: -500625 @ 972.93
978.69	c Restart #45 #Var: 3077 LB: -500625 @ 978.33
980.66	c Restart #46 #Var: 3077 LB: -500625 @ 980.3
982.58	c Restart #47 #Var: 3077 LB: -500625 @ 982.23
985.30	c Restart #48 #Var: 3077 LB: -500625 @ 984.94
987.69	c Restart #49 #Var: 3077 LB: -500625 @ 987.33
988.70	c Restart #50 #Var: 3077 LB: -500625 @ 988.34
990.79	c Restart #51 #Var: 3077 LB: -500625 @ 990.43
992.52	c Restart #52 #Var: 3077 LB: -500625 @ 992.16
995.89	c Restart #53 #Var: 3077 LB: -500625 @ 995.53
997.43	c Restart #54 #Var: 3077 LB: -500625 @ 997.06
999.25	c Restart #55 #Var: 3077 LB: -500625 @ 998.89
1015.52	c Restart #56 #Var: 3077 LB: -500625 @ 1015.1
1018.88	c Restart #57 #Var: 3077 LB: -500625 @ 1018.5
1055.65	c Restart #58 #Var: 3077 LB: -500625 @ 1055.3
1061.84	c Restart #59 #Var: 3077 LB: -500625 @ 1061.5
1075.48	c Restart #60 #Var: 3077 LB: -500625 @ 1075.1
1077.33	c Restart #61 #Var: 3077 LB: -500625 @ 1076.9
1079.92	c Restart #62 #Var: 3077 LB: -500625 @ 1079.5
1083.11	c Restart #63 #Var: 3077 LB: -500625 @ 1082.7
1085.24	c Restart #64 #Var: 3077 LB: -500625 @ 1084.8
1095.87	c Restart #65 #Var: 3077 LB: -500625 @ 1095.5
1107.55	c Restart #66 #Var: 3077 LB: -500625 @ 1107.2
1110.73	c Restart #67 #Var: 3077 LB: -500625 @ 1110.3
1112.94	c Restart #68 #Var: 3077 LB: -500625 @ 1112.5
1141.41	c Restart #69 #Var: 3077 LB: -500625 @ 1141
1143.85	c Restart #70 #Var: 3077 LB: -500625 @ 1143.4
1147.21	c Restart #71 #Var: 3077 LB: -500625 @ 1146.8
1151.17	c Restart #72 #Var: 3077 LB: -500625 @ 1150.8
1155.51	c Restart #73 #Var: 3077 LB: -500625 @ 1155.1
1160.38	c Restart #74 #Var: 3077 LB: -500625 @ 1160
1164.15	c Restart #75 #Var: 3077 LB: -500625 @ 1163.7
1167.06	c Restart #76 #Var: 3077 LB: -500625 @ 1166.6
1171.52	c Restart #77 #Var: 3077 LB: -500625 @ 1171.1
1190.30	c Restart #78 #Var: 3077 LB: -500625 @ 1189.9
1194.30	c Restart #79 #Var: 3077 LB: -500625 @ 1193.9
1201.51	c Restart #80 #Var: 3077 LB: -500625 @ 1201.1
1205.24	c Restart #81 #Var: 3077 LB: -500625 @ 1204.8
1210.26	c Restart #82 #Var: 3077 LB: -500625 @ 1209.8
1215.79	c Restart #83 #Var: 3077 LB: -500625 @ 1215.4
1221.40	c Restart #84 #Var: 3077 LB: -500625 @ 1221
1226.41	c Restart #85 #Var: 3077 LB: -500625 @ 1226
1229.32	c Restart #86 #Var: 3077 LB: -500625 @ 1228.9
1237.24	c Restart #87 #Var: 3077 LB: -500625 @ 1236.8
1244.12	c Restart #88 #Var: 3077 LB: -500625 @ 1243.7
1248.35	c Restart #89 #Var: 3077 LB: -500625 @ 1247.9
1253.93	c Restart #90 #Var: 3077 LB: -500625 @ 1253.5
1256.87	c Restart #91 #Var: 3077 LB: -500625 @ 1256.4
1264.99	c Restart #92 #Var: 3077 LB: -500625 @ 1264.5
1267.52	c Restart #93 #Var: 3077 LB: -500625 @ 1267.1
1271.38	c Restart #94 #Var: 3077 LB: -500625 @ 1270.9
1280.68	c Restart #95 #Var: 3077 LB: -500625 @ 1280.2
1282.54	c Restart #96 #Var: 3077 LB: -500625 @ 1282.1
1294.33	c Restart #97 #Var: 3075 LB: -500625 @ 1293.9
1339.62	c Restart #98 #Var: 3075 LB: -500625 @ 1339.1
1348.29	c Restart #99 #Var: 3075 LB: -500625 @ 1347.8
1356.32	c Restart #100 #Var: 3075 LB: -500625 @ 1355.8
1373.35	c Restart #101 #Var: 3075 LB: -500625 @ 1372.9
1380.13	c Restart #102 #Var: 3075 LB: -500625 @ 1379.6
1392.54	c Restart #103 #Var: 3075 LB: -500625 @ 1392
1399.22	c Restart #104 #Var: 3075 LB: -500625 @ 1398.7
1403.99	c Restart #105 #Var: 3075 LB: -500625 @ 1403.5
1408.79	c Restart #106 #Var: 3075 LB: -500625 @ 1408.3
1416.83	c Restart #107 #Var: 3075 LB: -500625 @ 1416.3
1421.94	c Restart #108 #Var: 3075 LB: -500625 @ 1421.4
1435.41	c Restart #109 #Var: 3075 LB: -500625 @ 1434.9
1441.88	c Restart #110 #Var: 3075 LB: -500625 @ 1441.4
1445.18	c Restart #111 #Var: 3075 LB: -500625 @ 1444.7
1470.02	c Restart #112 #Var: 3075 LB: -500625 @ 1469.5
1473.82	c Restart #113 #Var: 3075 LB: -500625 @ 1473.3
1522.07	c Restart #114 #Var: 3075 LB: -500625 @ 1521.5
1527.84	c Restart #115 #Var: 3075 LB: -500625 @ 1527.3
1536.51	c Restart #116 #Var: 3075 LB: -500625 @ 1536
1546.46	c Restart #117 #Var: 3075 LB: -500625 @ 1545.9
1555.51	c Restart #118 #Var: 3075 LB: -500625 @ 1555
1567.49	c Restart #119 #Var: 3075 LB: -500625 @ 1566.9
1589.40	c Restart #120 #Var: 3075 LB: -500625 @ 1588.8
1597.00	c Restart #121 #Var: 3075 LB: -500625 @ 1596.4
1800.72	s UNKNOWN
1800.72	c Exit Code: 0
1800.72	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/node45/watcher-39931-1149334297 -o ROOT/results/node45/solver-39931-1149334297 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node45/39931-1149334297/instance-39931-1149334297.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.99 0.98 0.99 3/64 27141
/proc/meminfo: memFree=1542416/2055920 swapFree=4191900/4192956
[pid=27141] ppid=27139 vsize=4932 CPUtime=0
/proc/27141/stat : 27141 (bsolo) D 27139 27141 27095 0 -1 0 366 0 0 0 0 0 0 0 19 0 1 0 94867435 5050368 330 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 2147483391 4096 16384 18446744072099781622 0 0 17 1 0 0
/proc/27141/statm: 1233 330 226 55 0 125 0

[startup+10.0019 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 27141
/proc/meminfo: memFree=1532304/2055920 swapFree=4191900/4192956
[pid=27141] ppid=27139 vsize=14700 CPUtime=9.96
/proc/27141/stat : 27141 (bsolo) R 27139 27141 27095 0 -1 0 2911 0 0 0 990 6 0 0 25 0 1 0 94867435 15052800 2826 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27141/statm: 3675 2826 297 55 0 2567 0
Current children cumulated CPU time (s) 9.96
Current children cumulated vsize (Kb) 14700

[startup+20.0087 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 27141
/proc/meminfo: memFree=1530192/2055920 swapFree=4191900/4192956
[pid=27141] ppid=27139 vsize=16796 CPUtime=19.96
/proc/27141/stat : 27141 (bsolo) R 27139 27141 27095 0 -1 0 3594 0 0 0 1989 7 0 0 25 0 1 0 94867435 17199104 3357 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542166 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27141/statm: 4199 3357 297 55 0 3091 0
Current children cumulated CPU time (s) 19.96
Current children cumulated vsize (Kb) 16796

[startup+30.0145 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 27141
/proc/meminfo: memFree=1506832/2055920 swapFree=4191900/4192956
[pid=27141] ppid=27139 vsize=40132 CPUtime=29.96
/proc/27141/stat : 27141 (bsolo) R 27139 27141 27095 0 -1 0 9413 0 0 0 2983 13 0 0 25 0 1 0 94867435 41095168 9176 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27141/statm: 10033 9176 297 55 0 8925 0
Current children cumulated CPU time (s) 29.96
Current children cumulated vsize (Kb) 40132

[startup+40.0204 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 27141
/proc/meminfo: memFree=1500496/2055920 swapFree=4191900/4192956
[pid=27141] ppid=27139 vsize=46344 CPUtime=39.97
/proc/27141/stat : 27141 (bsolo) R 27139 27141 27095 0 -1 0 10999 0 0 0 3982 15 0 0 25 0 1 0 94867435 47456256 10751 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134696488 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27141/statm: 11586 10751 297 55 0 10478 0
Current children cumulated CPU time (s) 39.97
Current children cumulated vsize (Kb) 46344

[startup+50.0262 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 27141
/proc/meminfo: memFree=1500496/2055920 swapFree=4191900/4192956
[pid=27141] ppid=27139 vsize=46344 CPUtime=49.97
/proc/27141/stat : 27141 (bsolo) R 27139 27141 27095 0 -1 0 11003 0 0 0 4981 16 0 0 25 0 1 0 94867435 47456256 10755 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27141/statm: 11586 10755 297 55 0 10478 0
Current children cumulated CPU time (s) 49.97
Current children cumulated vsize (Kb) 46344

[startup+60.032 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 27141
/proc/meminfo: memFree=1485456/2055920 swapFree=4191900/4192956
[pid=27141] ppid=27139 vsize=61368 CPUtime=59.97
/proc/27141/stat : 27141 (bsolo) R 27139 27141 27095 0 -1 0 14754 0 0 0 5977 20 0 0 25 0 1 0 94867435 62840832 14506 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27141/statm: 15342 14506 297 55 0 14234 0
Current children cumulated CPU time (s) 59.97
Current children cumulated vsize (Kb) 61368

[startup+70.0378 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 27141
/proc/meminfo: memFree=1485136/2055920 swapFree=4191900/4192956
[pid=27141] ppid=27139 vsize=61756 CPUtime=69.97
/proc/27141/stat : 27141 (bsolo) R 27139 27141 27095 0 -1 0 14841 0 0 0 6975 22 0 0 25 0 1 0 94867435 63238144 14593 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27141/statm: 15439 14593 297 55 0 14331 0
Current children cumulated CPU time (s) 69.97
Current children cumulated vsize (Kb) 61756

[startup+80.0436 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 27141
/proc/meminfo: memFree=1484496/2055920 swapFree=4191900/4192956
[pid=27141] ppid=27139 vsize=62352 CPUtime=79.97
/proc/27141/stat : 27141 (bsolo) R 27139 27141 27095 0 -1 0 15017 0 0 0 7974 23 0 0 25 0 1 0 94867435 63848448 14750 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603839 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27141/statm: 15588 14750 297 55 0 14480 0
Current children cumulated CPU time (s) 79.97
Current children cumulated vsize (Kb) 62352

[startup+90.0495 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 27141
/proc/meminfo: memFree=1477776/2055920 swapFree=4191900/4192956
[pid=27141] ppid=27139 vsize=69200 CPUtime=89.98
/proc/27141/stat : 27141 (bsolo) R 27139 27141 27095 0 -1 0 16929 0 0 0 8973 25 0 0 25 0 1 0 94867435 70860800 16441 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27141/statm: 17300 16441 297 55 0 16192 0
Current children cumulated CPU time (s) 89.98
Current children cumulated vsize (Kb) 69200

[startup+100.055 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 27141
/proc/meminfo: memFree=1478032/2055920 swapFree=4191900/4192956
[pid=27141] ppid=27139 vsize=68592 CPUtime=99.98
/proc/27141/stat : 27141 (bsolo) R 27139 27141 27095 0 -1 0 16929 0 0 0 9972 26 0 0 25 0 1 0 94867435 70238208 16319 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548379 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27141/statm: 17148 16319 297 55 0 16040 0
Current children cumulated CPU time (s) 99.98
Current children cumulated vsize (Kb) 68592

[startup+110.061 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 27141
/proc/meminfo: memFree=1478032/2055920 swapFree=4191900/4192956
[pid=27141] ppid=27139 vsize=68592 CPUtime=109.99
/proc/27141/stat : 27141 (bsolo) R 27139 27141 27095 0 -1 0 16930 0 0 0 10972 27 0 0 25 0 1 0 94867435 70238208 16320 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27141/statm: 17148 16320 297 55 0 16040 0
Current children cumulated CPU time (s) 109.99
Current children cumulated vsize (Kb) 68592

[startup+120.067 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 27141
/proc/meminfo: memFree=1475344/2055920 swapFree=4191900/4192956
[pid=27141] ppid=27139 vsize=71492 CPUtime=119.99
/proc/27141/stat : 27141 (bsolo) R 27139 27141 27095 0 -1 0 17650 0 0 0 11971 28 0 0 25 0 1 0 94867435 73207808 17040 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27141/statm: 17873 17040 297 55 0 16765 0
Current children cumulated CPU time (s) 119.99
Current children cumulated vsize (Kb) 71492

[startup+130.073 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 27141
/proc/meminfo: memFree=1434384/2055920 swapFree=4191900/4192956
[pid=27141] ppid=27139 vsize=112396 CPUtime=129.98
/proc/27141/stat : 27141 (bsolo) R 27139 27141 27095 0 -1 0 27861 0 0 0 12965 33 0 0 25 0 1 0 94867435 115093504 27251 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534881 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27141/statm: 28099 27251 297 55 0 26991 0
Current children cumulated CPU time (s) 129.98
Current children cumulated vsize (Kb) 112396

[startup+140.079 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 27141
/proc/meminfo: memFree=1405584/2055920 swapFree=4191900/4192956
[pid=27141] ppid=27139 vsize=141256 CPUtime=139.99
/proc/27141/stat : 27141 (bsolo) R 27139 27141 27095 0 -1 0 35050 0 0 0 13960 39 0 0 25 0 1 0 94867435 144646144 34440 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 5161716 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27141/statm: 35314 34440 297 55 0 34206 0
Current children cumulated CPU time (s) 139.99
Current children cumulated vsize (Kb) 141256

[startup+150.084 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 27141
/proc/meminfo: memFree=1404432/2055920 swapFree=4191900/4192956
[pid=27141] ppid=27139 vsize=142440 CPUtime=150
/proc/27141/stat : 27141 (bsolo) R 27139 27141 27095 0 -1 0 35337 0 0 0 14960 40 0 0 25 0 1 0 94867435 145858560 34727 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548392 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27141/statm: 35610 34727 297 55 0 34502 0
Current children cumulated CPU time (s) 150
Current children cumulated vsize (Kb) 142440

[startup+160.09 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 27141
/proc/meminfo: memFree=1402192/2055920 swapFree=4191900/4192956
[pid=27141] ppid=27139 vsize=144404 CPUtime=159.99
/proc/27141/stat : 27141 (bsolo) R 27139 27141 27095 0 -1 0 35962 0 0 0 15958 41 0 0 25 0 1 0 94867435 147869696 35248 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27141/statm: 36101 35248 297 55 0 34993 0
Current children cumulated CPU time (s) 159.99
Current children cumulated vsize (Kb) 144404

[startup+170.097 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 27141
/proc/meminfo: memFree=1402192/2055920 swapFree=4191900/4192956
[pid=27141] ppid=27139 vsize=144404 CPUtime=170
/proc/27141/stat : 27141 (bsolo) R 27139 27141 27095 0 -1 0 35962 0 0 0 16958 42 0 0 25 0 1 0 94867435 147869696 35248 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548393 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27141/statm: 36101 35248 297 55 0 34993 0
Current children cumulated CPU time (s) 170
Current children cumulated vsize (Kb) 144404

[startup+180.104 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 27141
/proc/meminfo: memFree=1402192/2055920 swapFree=4191900/4192956
[pid=27141] ppid=27139 vsize=144404 CPUtime=180
/proc/27141/stat : 27141 (bsolo) R 27139 27141 27095 0 -1 0 35962 0 0 0 17957 43 0 0 25 0 1 0 94867435 147869696 35248 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 5156933 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27141/statm: 36101 35248 297 55 0 34993 0
Current children cumulated CPU time (s) 180
Current children cumulated vsize (Kb) 144404

[startup+190.11 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 27141
/proc/meminfo: memFree=1402256/2055920 swapFree=4191900/4192956
[pid=27141] ppid=27139 vsize=144404 CPUtime=190
/proc/27141/stat : 27141 (bsolo) R 27139 27141 27095 0 -1 0 35962 0 0 0 18956 44 0 0 25 0 1 0 94867435 147869696 35248 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718478 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27141/statm: 36101 35248 297 55 0 34993 0
Current children cumulated CPU time (s) 190
Current children cumulated vsize (Kb) 144404

[startup+200.116 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 27141
/proc/meminfo: memFree=1402256/2055920 swapFree=4191900/4192956
[pid=27141] ppid=27139 vsize=144404 CPUtime=200
/proc/27141/stat : 27141 (bsolo) R 27139 27141 27095 0 -1 0 35962 0 0 0 19955 45 0 0 25 0 1 0 94867435 147869696 35248 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550808 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27141/statm: 36101 35248 297 55 0 34993 0
Current children cumulated CPU time (s) 200
Current children cumulated vsize (Kb) 144404

[startup+210.122 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 27141
/proc/meminfo: memFree=1402256/2055920 swapFree=4191900/4192956

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

/proc/27141/statm: 185233 184014 297 55 0 184125 0
Current children cumulated CPU time (s) 1760.42
Current children cumulated vsize (Kb) 740932

[startup+1771.05 s]
/proc/loadavg: 0.99 0.98 0.99 2/70 27204
/proc/meminfo: memFree=804632/2055920 swapFree=4191900/4192956
[pid=27141] ppid=27139 vsize=740932 CPUtime=1770.41
/proc/27141/stat : 27141 (bsolo) R 27139 27141 27095 0 -1 0 185585 0 0 0 176776 265 0 0 25 0 1 0 94867435 758714368 184016 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551477 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27141/statm: 185233 184016 297 55 0 184125 0
Current children cumulated CPU time (s) 1770.41
Current children cumulated vsize (Kb) 740932

[startup+1781.06 s]
/proc/loadavg: 0.99 0.98 0.99 2/70 27254
/proc/meminfo: memFree=804504/2055920 swapFree=4191900/4192956
[pid=27141] ppid=27139 vsize=740932 CPUtime=1780.39
/proc/27141/stat : 27141 (bsolo) R 27139 27141 27095 0 -1 0 185585 0 0 0 177773 266 0 0 25 0 1 0 94867435 758714368 184016 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528665 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27141/statm: 185233 184016 297 55 0 184125 0
Current children cumulated CPU time (s) 1780.39
Current children cumulated vsize (Kb) 740932

[startup+1782.07 s]
/proc/loadavg: 0.99 0.98 0.99 2/70 27254
/proc/meminfo: memFree=804504/2055920 swapFree=4191900/4192956
[pid=27141] ppid=27139 vsize=740932 CPUtime=1781.4
/proc/27141/stat : 27141 (bsolo) R 27139 27141 27095 0 -1 0 185585 0 0 0 177874 266 0 0 25 0 1 0 94867435 758714368 184016 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524387 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27141/statm: 185233 184016 297 55 0 184125 0
Current children cumulated CPU time (s) 1781.4
Current children cumulated vsize (Kb) 740932

[startup+1783.07 s]
/proc/loadavg: 0.99 0.98 0.99 2/70 27262
/proc/meminfo: memFree=804440/2055920 swapFree=4191900/4192956
[pid=27141] ppid=27139 vsize=740932 CPUtime=1782.4
/proc/27141/stat : 27141 (bsolo) R 27139 27141 27095 0 -1 0 185585 0 0 0 177974 266 0 0 25 0 1 0 94867435 758714368 184016 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27141/statm: 185233 184016 297 55 0 184125 0
Current children cumulated CPU time (s) 1782.4
Current children cumulated vsize (Kb) 740932

[startup+1784.08 s]
/proc/loadavg: 0.99 0.98 0.99 2/70 27262
/proc/meminfo: memFree=804440/2055920 swapFree=4191900/4192956
[pid=27141] ppid=27139 vsize=740932 CPUtime=1783.41
/proc/27141/stat : 27141 (bsolo) R 27139 27141 27095 0 -1 0 185585 0 0 0 178075 266 0 0 25 0 1 0 94867435 758714368 184016 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551605 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27141/statm: 185233 184016 297 55 0 184125 0
Current children cumulated CPU time (s) 1783.41
Current children cumulated vsize (Kb) 740932

[startup+1785.08 s]
/proc/loadavg: 0.99 0.98 0.99 2/70 27262
/proc/meminfo: memFree=804440/2055920 swapFree=4191900/4192956
[pid=27141] ppid=27139 vsize=740932 CPUtime=1784.41
/proc/27141/stat : 27141 (bsolo) R 27139 27141 27095 0 -1 0 185585 0 0 0 178175 266 0 0 25 0 1 0 94867435 758714368 184016 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548421 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27141/statm: 185233 184016 297 55 0 184125 0
Current children cumulated CPU time (s) 1784.41
Current children cumulated vsize (Kb) 740932

[startup+1786.09 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 27336
/proc/meminfo: memFree=805448/2055920 swapFree=4191900/4192956
[pid=27141] ppid=27139 vsize=740932 CPUtime=1785.38
/proc/27141/stat : 27141 (bsolo) R 27139 27141 27095 0 -1 0 185585 0 0 0 178271 267 0 0 25 0 1 0 94867435 758714368 184016 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27141/statm: 185233 184016 297 55 0 184125 0
Current children cumulated CPU time (s) 1785.38
Current children cumulated vsize (Kb) 740932

[startup+1787.09 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 27336
/proc/meminfo: memFree=805448/2055920 swapFree=4191900/4192956
[pid=27141] ppid=27139 vsize=740932 CPUtime=1786.39
/proc/27141/stat : 27141 (bsolo) R 27139 27141 27095 0 -1 0 185585 0 0 0 178372 267 0 0 25 0 1 0 94867435 758714368 184016 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534057 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27141/statm: 185233 184016 297 55 0 184125 0
Current children cumulated CPU time (s) 1786.39
Current children cumulated vsize (Kb) 740932

[startup+1788.1 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 27336
/proc/meminfo: memFree=805448/2055920 swapFree=4191900/4192956
[pid=27141] ppid=27139 vsize=740932 CPUtime=1787.39
/proc/27141/stat : 27141 (bsolo) R 27139 27141 27095 0 -1 0 185585 0 0 0 178472 267 0 0 25 0 1 0 94867435 758714368 184016 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718704 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27141/statm: 185233 184016 297 55 0 184125 0
Current children cumulated CPU time (s) 1787.39
Current children cumulated vsize (Kb) 740932

[startup+1789.1 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 27336
/proc/meminfo: memFree=805448/2055920 swapFree=4191900/4192956
[pid=27141] ppid=27139 vsize=740932 CPUtime=1788.4
/proc/27141/stat : 27141 (bsolo) R 27139 27141 27095 0 -1 0 185585 0 0 0 178573 267 0 0 25 0 1 0 94867435 758714368 184016 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27141/statm: 185233 184016 297 55 0 184125 0
Current children cumulated CPU time (s) 1788.4
Current children cumulated vsize (Kb) 740932

[startup+1790.11 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 27336
/proc/meminfo: memFree=805448/2055920 swapFree=4191900/4192956
[pid=27141] ppid=27139 vsize=740932 CPUtime=1789.4
/proc/27141/stat : 27141 (bsolo) R 27139 27141 27095 0 -1 0 185585 0 0 0 178673 267 0 0 25 0 1 0 94867435 758714368 184016 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551613 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27141/statm: 185233 184016 297 55 0 184125 0
Current children cumulated CPU time (s) 1789.4
Current children cumulated vsize (Kb) 740932

[startup+1791.11 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 27336
/proc/meminfo: memFree=805448/2055920 swapFree=4191900/4192956
[pid=27141] ppid=27139 vsize=740932 CPUtime=1790.41
/proc/27141/stat : 27141 (bsolo) R 27139 27141 27095 0 -1 0 185585 0 0 0 178774 267 0 0 25 0 1 0 94867435 758714368 184016 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27141/statm: 185233 184016 297 55 0 184125 0
Current children cumulated CPU time (s) 1790.41
Current children cumulated vsize (Kb) 740932

[startup+1792.12 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 27336
/proc/meminfo: memFree=805448/2055920 swapFree=4191900/4192956
[pid=27141] ppid=27139 vsize=740932 CPUtime=1791.41
/proc/27141/stat : 27141 (bsolo) R 27139 27141 27095 0 -1 0 185585 0 0 0 178874 267 0 0 25 0 1 0 94867435 758714368 184016 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27141/statm: 185233 184016 297 55 0 184125 0
Current children cumulated CPU time (s) 1791.41
Current children cumulated vsize (Kb) 740932

[startup+1793.12 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 27336
/proc/meminfo: memFree=805520/2055920 swapFree=4191900/4192956
[pid=27141] ppid=27139 vsize=740932 CPUtime=1792.42
/proc/27141/stat : 27141 (bsolo) R 27139 27141 27095 0 -1 0 185585 0 0 0 178975 267 0 0 25 0 1 0 94867435 758714368 184016 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551604 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27141/statm: 185233 184016 297 55 0 184125 0
Current children cumulated CPU time (s) 1792.42
Current children cumulated vsize (Kb) 740932

[startup+1794.13 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 27336
/proc/meminfo: memFree=805520/2055920 swapFree=4191900/4192956
[pid=27141] ppid=27139 vsize=740932 CPUtime=1793.42
/proc/27141/stat : 27141 (bsolo) R 27139 27141 27095 0 -1 0 185585 0 0 0 179075 267 0 0 25 0 1 0 94867435 758714368 184016 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27141/statm: 185233 184016 297 55 0 184125 0
Current children cumulated CPU time (s) 1793.42
Current children cumulated vsize (Kb) 740932

[startup+1795.13 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 27336
/proc/meminfo: memFree=805520/2055920 swapFree=4191900/4192956
[pid=27141] ppid=27139 vsize=740932 CPUtime=1794.43
/proc/27141/stat : 27141 (bsolo) R 27139 27141 27095 0 -1 0 185585 0 0 0 179176 267 0 0 25 0 1 0 94867435 758714368 184016 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27141/statm: 185233 184016 297 55 0 184125 0
Current children cumulated CPU time (s) 1794.43
Current children cumulated vsize (Kb) 740932

[startup+1796.14 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 27336
/proc/meminfo: memFree=805520/2055920 swapFree=4191900/4192956
[pid=27141] ppid=27139 vsize=740932 CPUtime=1795.43
/proc/27141/stat : 27141 (bsolo) R 27139 27141 27095 0 -1 0 185585 0 0 0 179276 267 0 0 25 0 1 0 94867435 758714368 184016 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27141/statm: 185233 184016 297 55 0 184125 0
Current children cumulated CPU time (s) 1795.43
Current children cumulated vsize (Kb) 740932

[startup+1797.14 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 27336
/proc/meminfo: memFree=805520/2055920 swapFree=4191900/4192956
[pid=27141] ppid=27139 vsize=740932 CPUtime=1796.44
/proc/27141/stat : 27141 (bsolo) R 27139 27141 27095 0 -1 0 185585 0 0 0 179377 267 0 0 25 0 1 0 94867435 758714368 184016 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551614 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27141/statm: 185233 184016 297 55 0 184125 0
Current children cumulated CPU time (s) 1796.44
Current children cumulated vsize (Kb) 740932

[startup+1798.15 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 27336
/proc/meminfo: memFree=805520/2055920 swapFree=4191900/4192956
[pid=27141] ppid=27139 vsize=740932 CPUtime=1797.44
/proc/27141/stat : 27141 (bsolo) R 27139 27141 27095 0 -1 0 185585 0 0 0 179477 267 0 0 25 0 1 0 94867435 758714368 184016 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27141/statm: 185233 184016 297 55 0 184125 0
Current children cumulated CPU time (s) 1797.44
Current children cumulated vsize (Kb) 740932

[startup+1799.15 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 27336
/proc/meminfo: memFree=805520/2055920 swapFree=4191900/4192956
[pid=27141] ppid=27139 vsize=740932 CPUtime=1798.44
/proc/27141/stat : 27141 (bsolo) R 27139 27141 27095 0 -1 0 185585 0 0 0 179577 267 0 0 25 0 1 0 94867435 758714368 184016 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27141/statm: 185233 184016 297 55 0 184125 0
Current children cumulated CPU time (s) 1798.44
Current children cumulated vsize (Kb) 740932

[startup+1800.16 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 27336
/proc/meminfo: memFree=805520/2055920 swapFree=4191900/4192956
[pid=27141] ppid=27139 vsize=740932 CPUtime=1799.45
/proc/27141/stat : 27141 (bsolo) R 27139 27141 27095 0 -1 0 185585 0 0 0 179678 267 0 0 25 0 1 0 94867435 758714368 184016 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524531 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27141/statm: 185233 184016 297 55 0 184125 0
Current children cumulated CPU time (s) 1799.45
Current children cumulated vsize (Kb) 740932

Child status: 0
Real time (s): 1800.84
CPU time (s): 1800.14
CPU user time (s): 1797.35
CPU system time (s): 2.78658
CPU usage (%): 99.9607
Max. virtual memory (cumulated for all children) (Kb): 740932

Launcher Data (download as text)

Begin job on node45 on Sat Jun  3 11:31:37 UTC 2006


FILE ID= 39931-1149334297

PBS_JOBID= 310054

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

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  afb312a519ee7dfceb0c5aec9cb860b5

RANDOM SEED= 300703921


/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.263
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.263
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:       1542624 kB
Buffers:         27436 kB
Cached:         409408 kB
SwapCached:        260 kB
Active:          42792 kB
Inactive:       407980 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1542624 kB
SwapTotal:     4192956 kB
SwapFree:      4191900 kB
Dirty:             172 kB
Writeback:           0 kB
Mapped:          23016 kB
Slab:            48552 kB
Committed_AS:   279264 kB
PageTables:       1408 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node45 on Sat Jun  3 12:01:38 UTC 2006