Trace number 39907

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.19 1800.82

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-agg2.opb
MD5SUM7b629a8e586efe367931c6cdc897e95b
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 variables9060
Total number of constraints429
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 constraints429
Minimum length of a constraint30
Maximum length of a constraint1440
Number of terms in the objective function 6930
Biggest coefficient in the objective function 3308
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 529735
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262145
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 529735
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.05	c INFO: OSL Context initialized.
0.52	c Initial problem consists of 9060 variables and 489 constraints.
0.56	c No problem reductions applied in OPT. instance.
0.56	c	preprocess terminated. Elapsed time: 0.52
0.56	c After prepocess the problem consists of 7828 variables and 316 constraints.
0.56	c Initial Lower Bound: -18124
0.77	c Restart #1 #Var: 7828 LB: -18124 @ 0.731
1.09	c Restart #2 #Var: 7828 LB: -18124 @ 1.048
1.55	c Restart #3 #Var: 7828 LB: -18124 @ 1.506
2.09	c Restart #4 #Var: 7828 LB: -18124 @ 2.043
2.83	c Restart #5 #Var: 7828 LB: -18124 @ 2.788
4.06	c Restart #6 #Var: 7828 LB: -18124 @ 4.015
5.09	c Restart #7 #Var: 7828 LB: -18124 @ 5.045
5.69	c Restart #8 #Var: 7828 LB: -18124 @ 5.651
8.60	c Restart #9 #Var: 7828 LB: -18124 @ 8.555
9.02	c Restart #10 #Var: 7828 LB: -18124 @ 8.976
9.58	c Restart #11 #Var: 7828 LB: -18124 @ 9.534
10.77	c Restart #12 #Var: 7828 LB: -18124 @ 10.718
12.04	c Restart #13 #Var: 7828 LB: -18124 @ 11.992
12.96	c Restart #14 #Var: 7828 LB: -18124 @ 12.909
14.22	c Restart #15 #Var: 7828 LB: -18124 @ 14.165
15.20	c Restart #16 #Var: 7828 LB: -18124 @ 15.152
16.31	c Restart #17 #Var: 7828 LB: -18124 @ 16.259
16.88	c Restart #18 #Var: 7828 LB: -18124 @ 16.832
17.95	c Restart #19 #Var: 7828 LB: -18124 @ 17.895
19.99	c Restart #20 #Var: 7828 LB: -18124 @ 19.938
21.92	c Restart #21 #Var: 7828 LB: -18124 @ 21.865
24.30	c Restart #22 #Var: 7828 LB: -18124 @ 24.251
26.37	c Restart #23 #Var: 7828 LB: -18124 @ 26.321
27.67	c Restart #24 #Var: 7828 LB: -18124 @ 27.62
28.71	c Restart #25 #Var: 7828 LB: -18124 @ 28.655
29.74	c Restart #26 #Var: 7828 LB: -18124 @ 29.688
30.82	c Restart #27 #Var: 7828 LB: -18124 @ 30.766
33.24	c Restart #28 #Var: 7828 LB: -18124 @ 33.19
36.40	c Restart #29 #Var: 7828 LB: -18124 @ 36.344
38.20	c Restart #30 #Var: 7828 LB: -18124 @ 38.14
40.71	c Restart #31 #Var: 7828 LB: -18124 @ 40.654
44.02	c Restart #32 #Var: 7828 LB: -18124 @ 43.966
45.75	c Restart #33 #Var: 7828 LB: -18124 @ 45.687
46.75	c Restart #34 #Var: 7828 LB: -18124 @ 46.689
48.74	c Restart #35 #Var: 7828 LB: -18124 @ 48.682
52.29	c Restart #36 #Var: 7828 LB: -18124 @ 52.234
52.87	c Restart #37 #Var: 7828 LB: -18124 @ 52.813
55.12	c Restart #38 #Var: 7828 LB: -18124 @ 55.059
56.76	c Restart #39 #Var: 7828 LB: -18124 @ 56.698
57.82	c Restart #40 #Var: 7828 LB: -18124 @ 57.757
59.17	c Restart #41 #Var: 7828 LB: -18124 @ 59.11
60.33	c Restart #42 #Var: 7828 LB: -18124 @ 60.267
62.12	c Restart #43 #Var: 7828 LB: -18124 @ 62.059
64.84	c Restart #44 #Var: 7828 LB: -18124 @ 64.781
69.17	c Restart #45 #Var: 7828 LB: -18124 @ 69.105
70.49	c Restart #46 #Var: 7828 LB: -18124 @ 70.427
73.41	c Restart #47 #Var: 7828 LB: -18124 @ 73.338
75.31	c Restart #48 #Var: 7828 LB: -18124 @ 75.241
78.88	c Restart #49 #Var: 7828 LB: -18124 @ 78.815
81.87	c Restart #50 #Var: 7828 LB: -18124 @ 81.797
84.36	c Restart #51 #Var: 7828 LB: -18124 @ 84.293
87.68	c Restart #52 #Var: 7828 LB: -18124 @ 87.614
94.99	c Restart #53 #Var: 7828 LB: -18124 @ 94.922
96.83	c Restart #54 #Var: 7828 LB: -18124 @ 96.762
99.34	c Restart #55 #Var: 7828 LB: -18124 @ 99.27
101.49	c Restart #56 #Var: 7828 LB: -18124 @ 101.41
103.16	c Restart #57 #Var: 7828 LB: -18124 @ 103.08
105.83	c Restart #58 #Var: 7828 LB: -18124 @ 105.76
106.99	c Restart #59 #Var: 7828 LB: -18124 @ 106.92
108.58	c Restart #60 #Var: 7828 LB: -18124 @ 108.51
111.65	c Restart #61 #Var: 7828 LB: -18124 @ 111.57
114.20	c Restart #62 #Var: 7828 LB: -18124 @ 114.12
117.63	c Restart #63 #Var: 7828 LB: -18124 @ 117.55
118.85	c Restart #64 #Var: 7828 LB: -18124 @ 118.77
120.52	c Restart #65 #Var: 7828 LB: -18124 @ 120.44
123.39	c Restart #66 #Var: 7828 LB: -18124 @ 123.31
125.28	c Restart #67 #Var: 7828 LB: -18124 @ 125.19
127.26	c Restart #68 #Var: 7828 LB: -18124 @ 127.18
129.70	c Restart #69 #Var: 7828 LB: -18124 @ 129.62
136.67	c Restart #70 #Var: 7828 LB: -18124 @ 136.59
138.22	c Restart #71 #Var: 7828 LB: -18124 @ 138.13
141.34	c Restart #72 #Var: 7828 LB: -18124 @ 141.26
144.56	c Restart #73 #Var: 7828 LB: -18124 @ 144.47
153.06	c Restart #74 #Var: 7828 LB: -18124 @ 152.97
161.91	c Restart #75 #Var: 7828 LB: -18124 @ 161.82
165.14	c Restart #76 #Var: 7828 LB: -18124 @ 165.05
167.45	c Restart #77 #Var: 7828 LB: -18124 @ 167.35
170.91	c Restart #78 #Var: 7828 LB: -18124 @ 170.82
173.07	c Restart #79 #Var: 7828 LB: -18124 @ 172.98
176.01	c Restart #80 #Var: 7828 LB: -18124 @ 175.92
180.42	c Restart #81 #Var: 7828 LB: -18124 @ 180.32
182.78	c Restart #82 #Var: 7827 LB: -18124 @ 182.68
185.72	c Restart #83 #Var: 7827 LB: -18124 @ 185.62
189.41	c Restart #84 #Var: 7827 LB: -18124 @ 189.31
192.03	c Restart #85 #Var: 7827 LB: -18124 @ 191.93
198.25	c Restart #86 #Var: 7826 LB: -18124 @ 198.15
201.39	c Restart #87 #Var: 7826 LB: -18124 @ 201.29
205.44	c Restart #88 #Var: 7826 LB: -18124 @ 205.33
208.35	c Restart #89 #Var: 7826 LB: -18124 @ 208.24
211.56	c Restart #90 #Var: 7826 LB: -18124 @ 211.46
213.81	c Restart #91 #Var: 7826 LB: -18124 @ 213.7
218.32	c Restart #92 #Var: 7826 LB: -18124 @ 218.21
223.99	c Restart #93 #Var: 7826 LB: -18124 @ 223.88
228.92	c Restart #94 #Var: 7826 LB: -18124 @ 228.81
234.25	c Restart #95 #Var: 7826 LB: -18124 @ 234.14
243.49	c Restart #96 #Var: 7826 LB: -18124 @ 243.38
247.28	c Restart #97 #Var: 7826 LB: -18124 @ 247.17
250.27	c Restart #98 #Var: 7825 LB: -18124 @ 250.15
257.47	c Restart #99 #Var: 7825 LB: -18124 @ 257.35
263.14	c Restart #100 #Var: 7825 LB: -18124 @ 263.02
266.08	c Restart #101 #Var: 7825 LB: -18124 @ 265.96
275.75	c Restart #102 #Var: 7825 LB: -18124 @ 275.63
279.01	c Restart #103 #Var: 7825 LB: -18124 @ 278.89
284.40	c Restart #104 #Var: 7825 LB: -18124 @ 284.27
290.11	c Restart #105 #Var: 7825 LB: -18124 @ 289.98
303.24	c Restart #106 #Var: 7825 LB: -18124 @ 303.12
307.09	c Restart #107 #Var: 7825 LB: -18124 @ 306.96
310.82	c Restart #108 #Var: 7825 LB: -18124 @ 310.69
313.58	c Restart #109 #Var: 7825 LB: -18124 @ 313.45
319.53	c Restart #110 #Var: 7825 LB: -18124 @ 319.39
326.34	c Restart #111 #Var: 7825 LB: -18124 @ 326.21
333.41	c Restart #112 #Var: 7825 LB: -18124 @ 333.27
338.56	c Restart #113 #Var: 7825 LB: -18124 @ 338.42
343.80	c Restart #114 #Var: 7825 LB: -18124 @ 343.65
350.81	c Restart #115 #Var: 7825 LB: -18124 @ 350.66
354.46	c Restart #116 #Var: 7825 LB: -18124 @ 354.32
367.68	c Restart #117 #Var: 7825 LB: -18124 @ 367.53
371.13	c Restart #118 #Var: 7825 LB: -18124 @ 370.99
375.21	c Restart #119 #Var: 7825 LB: -18124 @ 375.06
379.92	c Restart #120 #Var: 7825 LB: -18124 @ 379.77
387.58	c Restart #121 #Var: 7825 LB: -18124 @ 387.42
392.85	c Restart #122 #Var: 7825 LB: -18124 @ 392.69
399.02	c Restart #123 #Var: 7825 LB: -18124 @ 398.86
404.50	c Restart #124 #Var: 7825 LB: -18124 @ 404.34
409.47	c Restart #125 #Var: 7825 LB: -18124 @ 409.31
413.94	c Restart #126 #Var: 7825 LB: -18124 @ 413.78
433.75	c Restart #127 #Var: 7825 LB: -18124 @ 433.59
440.21	c Restart #128 #Var: 7825 LB: -18124 @ 440.04
445.00	c Restart #129 #Var: 7825 LB: -18124 @ 444.83
448.42	c Restart #130 #Var: 7825 LB: -18124 @ 448.26
454.56	c Restart #131 #Var: 7825 LB: -18124 @ 454.39
461.20	c Restart #132 #Var: 7825 LB: -18124 @ 461.02
466.09	c Restart #133 #Var: 7825 LB: -18124 @ 465.91
488.68	c Restart #134 #Var: 7825 LB: -18124 @ 488.5
493.47	c Restart #135 #Var: 7825 LB: -18124 @ 493.29
497.79	c Restart #136 #Var: 7825 LB: -18124 @ 497.61
506.10	c Restart #137 #Var: 7825 LB: -18124 @ 505.92
510.14	c Restart #138 #Var: 7825 LB: -18124 @ 509.95
517.31	c Restart #139 #Var: 7825 LB: -18124 @ 517.12
654.12	c Restart #140 #Var: 7825 LB: -18124 @ 653.89
659.99	c Restart #141 #Var: 7825 LB: -18124 @ 659.76
666.50	c Restart #142 #Var: 7825 LB: -18124 @ 666.27
677.38	c Restart #143 #Var: 7825 LB: -18124 @ 677.15
684.14	c Restart #144 #Var: 7825 LB: -18124 @ 683.9
690.87	c Restart #145 #Var: 7825 LB: -18124 @ 690.64
696.60	c Restart #146 #Var: 7825 LB: -18124 @ 696.37
722.74	c Restart #147 #Var: 7825 LB: -18124 @ 722.5
727.45	c Restart #148 #Var: 7825 LB: -18124 @ 727.2
789.89	c Restart #149 #Var: 7825 LB: -18124 @ 789.6
797.61	c Restart #150 #Var: 7825 LB: -18124 @ 797.3
818.32	c Restart #151 #Var: 7825 LB: -18124 @ 817.96
825.08	c Restart #152 #Var: 7825 LB: -18124 @ 824.73
834.15	c Restart #153 #Var: 7825 LB: -18124 @ 833.79
845.36	c Restart #154 #Var: 7825 LB: -18124 @ 845
910.86	c CHANGE Heuristic... 
910.86	c Restart #0 #Var: 7825 LB: -18124 @ 910.48
910.98	c Restart #1 #Var: 7825 LB: -18124 @ 910.6
911.49	c Restart #2 #Var: 7824 LB: -18124 @ 911.11
912.08	c Restart #3 #Var: 7824 LB: -18124 @ 911.7
912.74	c Restart #4 #Var: 7824 LB: -18124 @ 912.36
913.01	c Restart #5 #Var: 7824 LB: -18124 @ 912.63
913.71	c Restart #6 #Var: 7824 LB: -18124 @ 913.33
917.89	c Restart #7 #Var: 7824 LB: -18124 @ 917.51
919.96	c Restart #8 #Var: 7824 LB: -18124 @ 919.58
921.16	c Restart #9 #Var: 7824 LB: -18124 @ 920.78
924.44	c Restart #10 #Var: 7824 LB: -18124 @ 924.06
925.00	c Restart #11 #Var: 7824 LB: -18124 @ 924.61
926.16	c Restart #12 #Var: 7824 LB: -18124 @ 925.78
933.77	c Restart #13 #Var: 7824 LB: -18124 @ 933.39
934.62	c Restart #14 #Var: 7824 LB: -18124 @ 934.23
938.04	c Restart #15 #Var: 7824 LB: -18124 @ 937.65
938.80	c Restart #16 #Var: 7824 LB: -18124 @ 938.41
940.77	c Restart #17 #Var: 7824 LB: -18124 @ 940.38
942.79	c Restart #18 #Var: 7824 LB: -18124 @ 942.4
946.20	c Restart #19 #Var: 7824 LB: -18124 @ 945.81
948.02	c Restart #20 #Var: 7824 LB: -18124 @ 947.63
948.59	c Restart #21 #Var: 7824 LB: -18124 @ 948.2
949.79	c Restart #22 #Var: 7824 LB: -18124 @ 949.4
951.48	c Restart #23 #Var: 7824 LB: -18124 @ 951.09
974.47	c Restart #24 #Var: 7824 LB: -18124 @ 974.07
991.05	c Restart #25 #Var: 7824 LB: -18124 @ 990.65
999.01	c Restart #26 #Var: 7824 LB: -18124 @ 998.61
1000.48	c Restart #27 #Var: 7824 LB: -18124 @ 1000.1
1009.25	c Restart #28 #Var: 7824 LB: -18124 @ 1008.8
1022.71	c Restart #29 #Var: 7824 LB: -18124 @ 1022.3
1033.81	c Restart #30 #Var: 7824 LB: -18124 @ 1033.4
1041.02	c Restart #31 #Var: 7824 LB: -18124 @ 1040.6
1044.75	c Restart #32 #Var: 7824 LB: -18124 @ 1044.3
1048.38	c Restart #33 #Var: 7824 LB: -18124 @ 1048
1055.56	c Restart #34 #Var: 7824 LB: -18124 @ 1055.1
1059.23	c Restart #35 #Var: 7824 LB: -18124 @ 1058.8
1062.17	c Restart #36 #Var: 7824 LB: -18124 @ 1061.8
1065.77	c Restart #37 #Var: 7824 LB: -18124 @ 1065.3
1068.45	c Restart #38 #Var: 7824 LB: -18124 @ 1068
1071.87	c Restart #39 #Var: 7824 LB: -18124 @ 1071.4
1074.62	c Restart #40 #Var: 7824 LB: -18124 @ 1074.2
1078.40	c Restart #41 #Var: 7824 LB: -18124 @ 1078
1081.34	c Restart #42 #Var: 7824 LB: -18124 @ 1080.9
1084.82	c Restart #43 #Var: 7824 LB: -18124 @ 1084.4
1094.39	c Restart #44 #Var: 7824 LB: -18124 @ 1094
1102.07	c Restart #45 #Var: 7824 LB: -18124 @ 1101.6
1108.19	c Restart #46 #Var: 7824 LB: -18124 @ 1107.8
1111.24	c Restart #47 #Var: 7824 LB: -18124 @ 1110.8
1116.84	c Restart #48 #Var: 7824 LB: -18124 @ 1116.4
1119.29	c Restart #49 #Var: 7824 LB: -18124 @ 1118.8
1123.49	c Restart #50 #Var: 7824 LB: -18124 @ 1123.1
1126.27	c Restart #51 #Var: 7824 LB: -18124 @ 1125.8
1129.33	c Restart #52 #Var: 7824 LB: -18124 @ 1128.9
1133.48	c Restart #53 #Var: 7824 LB: -18124 @ 1133
1135.81	c Restart #54 #Var: 7824 LB: -18124 @ 1135.4
1136.96	c Restart #55 #Var: 7824 LB: -18124 @ 1136.5
1139.19	c Restart #56 #Var: 7824 LB: -18124 @ 1138.7
1142.12	c Restart #57 #Var: 7824 LB: -18124 @ 1141.7
1147.44	c Restart #58 #Var: 7824 LB: -18124 @ 1147
1155.72	c Restart #59 #Var: 7824 LB: -18124 @ 1155.3
1163.83	c Restart #60 #Var: 7824 LB: -18124 @ 1163.4
1170.61	c Restart #61 #Var: 7824 LB: -18124 @ 1170.2
1174.23	c Restart #62 #Var: 7824 LB: -18124 @ 1173.8
1189.27	c Restart #63 #Var: 7824 LB: -18124 @ 1188.8
1191.24	c Restart #64 #Var: 7824 LB: -18124 @ 1190.8
1198.80	c Restart #65 #Var: 7824 LB: -18124 @ 1198.3
1202.40	c Restart #66 #Var: 7824 LB: -18124 @ 1201.9
1206.08	c Restart #67 #Var: 7824 LB: -18124 @ 1205.6
1220.33	c Restart #68 #Var: 7824 LB: -18124 @ 1219.9
1227.82	c Restart #69 #Var: 7824 LB: -18124 @ 1227.4
1240.73	c Restart #70 #Var: 7824 LB: -18124 @ 1240.3
1263.53	c Restart #71 #Var: 7824 LB: -18124 @ 1263.1
1266.47	c Restart #72 #Var: 7824 LB: -18124 @ 1266
1270.22	c Restart #73 #Var: 7824 LB: -18124 @ 1269.7
1272.92	c Restart #74 #Var: 7824 LB: -18124 @ 1272.4
1278.78	c Restart #75 #Var: 7824 LB: -18124 @ 1278.3
1285.60	c Restart #76 #Var: 7824 LB: -18124 @ 1285.1
1298.82	c Restart #77 #Var: 7824 LB: -18124 @ 1298.3
1336.19	c Restart #78 #Var: 7824 LB: -18124 @ 1335.7
1340.57	c Restart #79 #Var: 7824 LB: -18124 @ 1340.1
1343.64	c Restart #80 #Var: 7824 LB: -18124 @ 1343.1
1348.88	c Restart #81 #Var: 7824 LB: -18124 @ 1348.4
1353.66	c Restart #82 #Var: 7824 LB: -18124 @ 1353.2
1371.82	c Restart #83 #Var: 7824 LB: -18124 @ 1371.3
1374.60	c Restart #84 #Var: 7824 LB: -18124 @ 1374.1
1378.01	c Restart #85 #Var: 7824 LB: -18124 @ 1377.5
1384.57	c Restart #86 #Var: 7824 LB: -18124 @ 1384.1
1394.06	c Restart #87 #Var: 7824 LB: -18124 @ 1393.5
1436.03	c Restart #88 #Var: 7824 LB: -18124 @ 1435.5
1439.32	c Restart #89 #Var: 7824 LB: -18124 @ 1438.8
1455.83	c Restart #90 #Var: 7824 LB: -18124 @ 1455.3
1470.94	c Restart #91 #Var: 7824 LB: -18124 @ 1470.4
1473.67	c Restart #92 #Var: 7824 LB: -18124 @ 1473.1
1545.93	c Restart #93 #Var: 7824 LB: -18124 @ 1545.4
1560.99	c Restart #94 #Var: 7824 LB: -18124 @ 1560.4
1564.63	c Restart #95 #Var: 7824 LB: -18124 @ 1564.1
1574.98	c Restart #96 #Var: 7824 LB: -18124 @ 1574.4
1578.15	c Restart #97 #Var: 7824 LB: -18124 @ 1577.6
1584.69	c Restart #98 #Var: 7824 LB: -18124 @ 1584.1
1610.41	c Restart #99 #Var: 7824 LB: -18124 @ 1609.8
1623.83	c Restart #100 #Var: 7824 LB: -18124 @ 1623.3
1631.03	c Restart #101 #Var: 7824 LB: -18124 @ 1630.5
1659.52	c Restart #102 #Var: 7824 LB: -18124 @ 1658.9
1667.76	c Restart #103 #Var: 7824 LB: -18124 @ 1667.2
1673.70	c Restart #104 #Var: 7824 LB: -18124 @ 1673.1
1739.51	c Restart #105 #Var: 7824 LB: -18124 @ 1738.9
1800.63	s UNKNOWN
1800.63	c Exit Code: 0
1800.63	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/node35/watcher-39907-1149328077 -o ROOT/results/node35/solver-39907-1149328077 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node35/39907-1149328077/instance-39907-1149328077.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 1.00 1.00 0.93 2/64 6007
/proc/meminfo: memFree=1493528/2055920 swapFree=4180888/4192956
[pid=6007] ppid=6005 vsize=3224 CPUtime=0
/proc/6007/stat : 6007 (bsolo) R 6005 6007 5961 0 -1 0 55 0 0 0 0 0 0 0 18 0 1 0 198471584 3301376 38 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 1463076 0 0 4096 0 0 0 0 17 1 0 0
/proc/6007/statm: 806 39 29 55 0 40 0

[startup+10.0024 s]
/proc/loadavg: 1.00 1.00 0.93 2/64 6007
/proc/meminfo: memFree=1475944/2055920 swapFree=4180888/4192956
[pid=6007] ppid=6005 vsize=22176 CPUtime=9.95
/proc/6007/stat : 6007 (bsolo) R 6005 6007 5961 0 -1 0 4940 0 0 0 966 29 0 0 25 0 1 0 198471584 22708224 4663 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548230 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6007/statm: 5544 4663 297 55 0 4436 0
Current children cumulated CPU time (s) 9.95
Current children cumulated vsize (Kb) 22176

[startup+20.0086 s]
/proc/loadavg: 1.00 1.00 0.93 2/64 6007
/proc/meminfo: memFree=1476008/2055920 swapFree=4180888/4192956
[pid=6007] ppid=6005 vsize=22176 CPUtime=19.95
/proc/6007/stat : 6007 (bsolo) R 6005 6007 5961 0 -1 0 4940 0 0 0 1964 31 0 0 25 0 1 0 198471584 22708224 4663 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6007/statm: 5544 4663 297 55 0 4436 0
Current children cumulated CPU time (s) 19.95
Current children cumulated vsize (Kb) 22176

[startup+30.0148 s]
/proc/loadavg: 1.00 1.00 0.93 2/64 6007
/proc/meminfo: memFree=1474344/2055920 swapFree=4180888/4192956
[pid=6007] ppid=6005 vsize=24024 CPUtime=29.95
/proc/6007/stat : 6007 (bsolo) R 6005 6007 5961 0 -1 0 5377 0 0 0 2961 34 0 0 25 0 1 0 198471584 24600576 5100 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6007/statm: 6006 5100 297 55 0 4898 0
Current children cumulated CPU time (s) 29.95
Current children cumulated vsize (Kb) 24024

[startup+40.0211 s]
/proc/loadavg: 1.00 1.00 0.93 2/64 6007
/proc/meminfo: memFree=1474344/2055920 swapFree=4180888/4192956
[pid=6007] ppid=6005 vsize=24024 CPUtime=39.96
/proc/6007/stat : 6007 (bsolo) R 6005 6007 5961 0 -1 0 5377 0 0 0 3960 36 0 0 25 0 1 0 198471584 24600576 5100 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134604184 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6007/statm: 6006 5100 297 55 0 4898 0
Current children cumulated CPU time (s) 39.96
Current children cumulated vsize (Kb) 24024

[startup+50.0283 s]
/proc/loadavg: 1.00 1.00 0.93 2/64 6007
/proc/meminfo: memFree=1472104/2055920 swapFree=4180888/4192956
[pid=6007] ppid=6005 vsize=26200 CPUtime=49.96
/proc/6007/stat : 6007 (bsolo) R 6005 6007 5961 0 -1 0 5932 0 0 0 4958 38 0 0 25 0 1 0 198471584 26828800 5655 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6007/statm: 6550 5655 297 55 0 5442 0
Current children cumulated CPU time (s) 49.96
Current children cumulated vsize (Kb) 26200

[startup+60.0345 s]
/proc/loadavg: 1.00 1.00 0.93 2/64 6007
/proc/meminfo: memFree=1453032/2055920 swapFree=4180888/4192956
[pid=6007] ppid=6005 vsize=45292 CPUtime=59.96
/proc/6007/stat : 6007 (bsolo) R 6005 6007 5961 0 -1 0 10703 0 0 0 5952 44 0 0 25 0 1 0 198471584 46379008 10426 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540699 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6007/statm: 11323 10426 297 55 0 10215 0
Current children cumulated CPU time (s) 59.96
Current children cumulated vsize (Kb) 45292

[startup+70.0407 s]
/proc/loadavg: 1.00 1.00 0.93 2/64 6007
/proc/meminfo: memFree=1450344/2055920 swapFree=4180888/4192956
[pid=6007] ppid=6005 vsize=48008 CPUtime=69.96
/proc/6007/stat : 6007 (bsolo) R 6005 6007 5961 0 -1 0 11385 0 0 0 6950 46 0 0 25 0 1 0 198471584 49160192 11102 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6007/statm: 12002 11102 297 55 0 10894 0
Current children cumulated CPU time (s) 69.96
Current children cumulated vsize (Kb) 48008

[startup+80.0469 s]
/proc/loadavg: 1.00 1.00 0.93 2/64 6007
/proc/meminfo: memFree=1449064/2055920 swapFree=4180888/4192956
[pid=6007] ppid=6005 vsize=49328 CPUtime=79.97
/proc/6007/stat : 6007 (bsolo) R 6005 6007 5961 0 -1 0 11710 0 0 0 7948 49 0 0 25 0 1 0 198471584 50511872 11427 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603842 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6007/statm: 12332 11427 297 55 0 11224 0
Current children cumulated CPU time (s) 79.97
Current children cumulated vsize (Kb) 49328

[startup+90.0531 s]
/proc/loadavg: 1.00 1.00 0.93 2/64 6007
/proc/meminfo: memFree=1443048/2055920 swapFree=4180888/4192956
[pid=6007] ppid=6005 vsize=55260 CPUtime=89.98
/proc/6007/stat : 6007 (bsolo) R 6005 6007 5961 0 -1 0 13293 0 0 0 8944 54 0 0 25 0 1 0 198471584 56586240 12913 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6007/statm: 13815 12913 297 55 0 12707 0
Current children cumulated CPU time (s) 89.98
Current children cumulated vsize (Kb) 55260

[startup+100.059 s]
/proc/loadavg: 1.00 1.00 0.93 2/64 6007
/proc/meminfo: memFree=1440232/2055920 swapFree=4180888/4192956
[pid=6007] ppid=6005 vsize=58004 CPUtime=99.98
/proc/6007/stat : 6007 (bsolo) R 6005 6007 5961 0 -1 0 14008 0 0 0 9939 59 0 0 25 0 1 0 198471584 59396096 13617 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6007/statm: 14501 13617 297 55 0 13393 0
Current children cumulated CPU time (s) 99.98
Current children cumulated vsize (Kb) 58004

[startup+110.067 s]
/proc/loadavg: 1.00 1.00 0.93 2/64 6007
/proc/meminfo: memFree=1423400/2055920 swapFree=4180888/4192956
[pid=6007] ppid=6005 vsize=74924 CPUtime=109.98
/proc/6007/stat : 6007 (bsolo) R 6005 6007 5961 0 -1 0 18210 0 0 0 10934 64 0 0 25 0 1 0 198471584 76722176 17819 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6007/statm: 18731 17819 297 55 0 17623 0
Current children cumulated CPU time (s) 109.98
Current children cumulated vsize (Kb) 74924

[startup+120.073 s]
/proc/loadavg: 1.00 1.00 0.93 2/64 6007
/proc/meminfo: memFree=1415656/2055920 swapFree=4180888/4192956
[pid=6007] ppid=6005 vsize=82568 CPUtime=119.98
/proc/6007/stat : 6007 (bsolo) R 6005 6007 5961 0 -1 0 20148 0 0 0 11929 69 0 0 25 0 1 0 198471584 84549632 19757 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6007/statm: 20642 19757 297 55 0 19534 0
Current children cumulated CPU time (s) 119.98
Current children cumulated vsize (Kb) 82568

[startup+130.079 s]
/proc/loadavg: 1.00 1.00 0.93 2/64 6007
/proc/meminfo: memFree=1402984/2055920 swapFree=4180888/4192956
[pid=6007] ppid=6005 vsize=95312 CPUtime=129.99
/proc/6007/stat : 6007 (bsolo) R 6005 6007 5961 0 -1 0 23306 0 0 0 12926 73 0 0 25 0 1 0 198471584 97599488 22915 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6007/statm: 23828 22917 297 55 0 22720 0
Current children cumulated CPU time (s) 129.99
Current children cumulated vsize (Kb) 95312

[startup+140.085 s]
/proc/loadavg: 1.00 1.00 0.93 2/64 6007
/proc/meminfo: memFree=1390120/2055920 swapFree=4180888/4192956
[pid=6007] ppid=6005 vsize=108048 CPUtime=139.99
/proc/6007/stat : 6007 (bsolo) R 6005 6007 5961 0 -1 0 26506 0 0 0 13922 77 0 0 25 0 1 0 198471584 110641152 26115 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6007/statm: 27012 26115 297 55 0 25904 0
Current children cumulated CPU time (s) 139.99
Current children cumulated vsize (Kb) 108048

[startup+150.091 s]
/proc/loadavg: 1.00 1.00 0.93 2/64 6007
/proc/meminfo: memFree=1389928/2055920 swapFree=4180888/4192956
[pid=6007] ppid=6005 vsize=108296 CPUtime=150
/proc/6007/stat : 6007 (bsolo) R 6005 6007 5961 0 -1 0 26554 0 0 0 14920 80 0 0 25 0 1 0 198471584 110895104 26163 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6007/statm: 27074 26163 297 55 0 25966 0
Current children cumulated CPU time (s) 150
Current children cumulated vsize (Kb) 108296

[startup+160.098 s]
/proc/loadavg: 1.00 1.00 0.93 2/64 6007
/proc/meminfo: memFree=1389864/2055920 swapFree=4180888/4192956
[pid=6007] ppid=6005 vsize=108312 CPUtime=160
/proc/6007/stat : 6007 (bsolo) R 6005 6007 5961 0 -1 0 26575 0 0 0 15919 81 0 0 25 0 1 0 198471584 110911488 26182 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6007/statm: 27078 26182 297 55 0 25970 0
Current children cumulated CPU time (s) 160
Current children cumulated vsize (Kb) 108312

[startup+170.105 s]
/proc/loadavg: 1.00 1.00 0.93 2/64 6007
/proc/meminfo: memFree=1380392/2055920 swapFree=4180888/4192956
[pid=6007] ppid=6005 vsize=117824 CPUtime=170.01
/proc/6007/stat : 6007 (bsolo) R 6005 6007 5961 0 -1 0 28933 0 0 0 16916 85 0 0 25 0 1 0 198471584 120651776 28540 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6007/statm: 29456 28540 297 55 0 28348 0
Current children cumulated CPU time (s) 170.01
Current children cumulated vsize (Kb) 117824

[startup+180.111 s]
/proc/loadavg: 1.00 1.00 0.93 2/64 6007
/proc/meminfo: memFree=1364200/2055920 swapFree=4180888/4192956
[pid=6007] ppid=6005 vsize=133884 CPUtime=180
/proc/6007/stat : 6007 (bsolo) R 6005 6007 5961 0 -1 0 32979 0 0 0 17911 89 0 0 25 0 1 0 198471584 137097216 32586 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529014 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6007/statm: 33471 32586 297 55 0 32363 0
Current children cumulated CPU time (s) 180
Current children cumulated vsize (Kb) 133884

[startup+190.117 s]
/proc/loadavg: 1.00 1.00 0.93 2/64 6007
/proc/meminfo: memFree=1332904/2055920 swapFree=4180888/4192956
[pid=6007] ppid=6005 vsize=165152 CPUtime=190.01
/proc/6007/stat : 6007 (bsolo) R 6005 6007 5961 0 -1 0 40792 0 0 0 18905 96 0 0 25 0 1 0 198471584 169115648 40399 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 1898107 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6007/statm: 41288 40399 297 55 0 40180 0
Current children cumulated CPU time (s) 190.01
Current children cumulated vsize (Kb) 165152

[startup+200.123 s]
/proc/loadavg: 1.00 1.00 0.93 2/64 6007
/proc/meminfo: memFree=1319784/2055920 swapFree=4180888/4192956
[pid=6007] ppid=6005 vsize=178176 CPUtime=200.02
/proc/6007/stat : 6007 (bsolo) R 6005 6007 5961 0 -1 0 44053 0 0 0 19901 101 0 0 25 0 1 0 198471584 182452224 43657 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6007/statm: 44544 43657 297 55 0 43436 0
Current children cumulated CPU time (s) 200.02
Current children cumulated vsize (Kb) 178176

[startup+210.13 s]
/proc/loadavg: 1.00 1.00 0.93 2/64 6007
/proc/meminfo: memFree=1319784/2055920 swapFree=4180888/4192956

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

/proc/6007/statm: 299831 298495 297 55 0 298723 0
Current children cumulated CPU time (s) 1760.57
Current children cumulated vsize (Kb) 1199324

[startup+1771.19 s]
/proc/loadavg: 1.00 1.00 0.93 2/64 6202
/proc/meminfo: memFree=297128/2055920 swapFree=4180888/4192956
[pid=6007] ppid=6005 vsize=1200512 CPUtime=1770.58
/proc/6007/stat : 6007 (bsolo) R 6005 6007 5961 0 -1 0 299602 0 0 0 176586 472 0 0 25 0 1 0 198471584 1229324288 298791 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6007/statm: 300128 298791 297 55 0 299020 0
Current children cumulated CPU time (s) 1770.58
Current children cumulated vsize (Kb) 1200512

[startup+1781.2 s]
/proc/loadavg: 1.00 1.00 0.93 2/64 6202
/proc/meminfo: memFree=297128/2055920 swapFree=4180888/4192956
[pid=6007] ppid=6005 vsize=1200512 CPUtime=1780.57
/proc/6007/stat : 6007 (bsolo) R 6005 6007 5961 0 -1 0 299611 0 0 0 177585 472 0 0 25 0 1 0 198471584 1229324288 298800 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6007/statm: 300128 298800 297 55 0 299020 0
Current children cumulated CPU time (s) 1780.57
Current children cumulated vsize (Kb) 1200512

[startup+1782.21 s]
/proc/loadavg: 1.00 1.00 0.93 2/64 6202
/proc/meminfo: memFree=297128/2055920 swapFree=4180888/4192956
[pid=6007] ppid=6005 vsize=1200512 CPUtime=1781.58
/proc/6007/stat : 6007 (bsolo) R 6005 6007 5961 0 -1 0 299611 0 0 0 177686 472 0 0 25 0 1 0 198471584 1229324288 298800 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718920 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6007/statm: 300128 298800 297 55 0 299020 0
Current children cumulated CPU time (s) 1781.58
Current children cumulated vsize (Kb) 1200512

[startup+1783.21 s]
/proc/loadavg: 1.00 1.00 0.93 2/64 6202
/proc/meminfo: memFree=297128/2055920 swapFree=4180888/4192956
[pid=6007] ppid=6005 vsize=1200512 CPUtime=1782.58
/proc/6007/stat : 6007 (bsolo) R 6005 6007 5961 0 -1 0 299611 0 0 0 177786 472 0 0 25 0 1 0 198471584 1229324288 298800 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534890 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6007/statm: 300128 298800 297 55 0 299020 0
Current children cumulated CPU time (s) 1782.58
Current children cumulated vsize (Kb) 1200512

[startup+1784.22 s]
/proc/loadavg: 1.00 1.00 0.93 2/64 6202
/proc/meminfo: memFree=297064/2055920 swapFree=4180888/4192956
[pid=6007] ppid=6005 vsize=1200512 CPUtime=1783.59
/proc/6007/stat : 6007 (bsolo) R 6005 6007 5961 0 -1 0 299613 0 0 0 177886 473 0 0 25 0 1 0 198471584 1229324288 298802 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134535012 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6007/statm: 300128 298802 297 55 0 299020 0
Current children cumulated CPU time (s) 1783.59
Current children cumulated vsize (Kb) 1200512

[startup+1785.22 s]
/proc/loadavg: 1.00 1.00 0.93 2/64 6202
/proc/meminfo: memFree=297064/2055920 swapFree=4180888/4192956
[pid=6007] ppid=6005 vsize=1200512 CPUtime=1784.6
/proc/6007/stat : 6007 (bsolo) R 6005 6007 5961 0 -1 0 299617 0 0 0 177987 473 0 0 25 0 1 0 198471584 1229324288 298806 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134601119 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6007/statm: 300128 298806 297 55 0 299020 0
Current children cumulated CPU time (s) 1784.6
Current children cumulated vsize (Kb) 1200512

[startup+1786.23 s]
/proc/loadavg: 1.00 1.00 0.93 2/64 6202
/proc/meminfo: memFree=297064/2055920 swapFree=4180888/4192956
[pid=6007] ppid=6005 vsize=1200512 CPUtime=1785.6
/proc/6007/stat : 6007 (bsolo) R 6005 6007 5961 0 -1 0 299617 0 0 0 178087 473 0 0 25 0 1 0 198471584 1229324288 298806 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6007/statm: 300128 298806 297 55 0 299020 0
Current children cumulated CPU time (s) 1785.6
Current children cumulated vsize (Kb) 1200512

[startup+1787.23 s]
/proc/loadavg: 1.00 1.00 0.93 2/64 6202
/proc/meminfo: memFree=297064/2055920 swapFree=4180888/4192956
[pid=6007] ppid=6005 vsize=1200512 CPUtime=1786.61
/proc/6007/stat : 6007 (bsolo) R 6005 6007 5961 0 -1 0 299618 0 0 0 178188 473 0 0 25 0 1 0 198471584 1229324288 298807 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528720 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6007/statm: 300128 298807 297 55 0 299020 0
Current children cumulated CPU time (s) 1786.61
Current children cumulated vsize (Kb) 1200512

[startup+1788.24 s]
/proc/loadavg: 1.00 1.00 0.93 2/64 6202
/proc/meminfo: memFree=297064/2055920 swapFree=4180888/4192956
[pid=6007] ppid=6005 vsize=1200512 CPUtime=1787.61
/proc/6007/stat : 6007 (bsolo) R 6005 6007 5961 0 -1 0 299621 0 0 0 178288 473 0 0 25 0 1 0 198471584 1229324288 298810 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6007/statm: 300128 298810 297 55 0 299020 0
Current children cumulated CPU time (s) 1787.61
Current children cumulated vsize (Kb) 1200512

[startup+1789.24 s]
/proc/loadavg: 1.00 1.00 0.93 2/64 6202
/proc/meminfo: memFree=297064/2055920 swapFree=4180888/4192956
[pid=6007] ppid=6005 vsize=1200512 CPUtime=1788.62
/proc/6007/stat : 6007 (bsolo) R 6005 6007 5961 0 -1 0 299624 0 0 0 178389 473 0 0 25 0 1 0 198471584 1229324288 298813 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6007/statm: 300128 298813 297 55 0 299020 0
Current children cumulated CPU time (s) 1788.62
Current children cumulated vsize (Kb) 1200512

[startup+1790.25 s]
/proc/loadavg: 1.00 1.00 0.93 2/64 6202
/proc/meminfo: memFree=297064/2055920 swapFree=4180888/4192956
[pid=6007] ppid=6005 vsize=1200512 CPUtime=1789.62
/proc/6007/stat : 6007 (bsolo) R 6005 6007 5961 0 -1 0 299624 0 0 0 178489 473 0 0 25 0 1 0 198471584 1229324288 298813 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524387 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6007/statm: 300128 298813 297 55 0 299020 0
Current children cumulated CPU time (s) 1789.62
Current children cumulated vsize (Kb) 1200512

[startup+1791.25 s]
/proc/loadavg: 1.00 1.00 0.93 2/64 6202
/proc/meminfo: memFree=297064/2055920 swapFree=4180888/4192956
[pid=6007] ppid=6005 vsize=1200644 CPUtime=1790.62
/proc/6007/stat : 6007 (bsolo) R 6005 6007 5961 0 -1 0 299627 0 0 0 178589 473 0 0 25 0 1 0 198471584 1229459456 298816 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718456 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6007/statm: 300161 298816 297 55 0 299053 0
Current children cumulated CPU time (s) 1790.62
Current children cumulated vsize (Kb) 1200644

[startup+1792.26 s]
/proc/loadavg: 1.00 1.00 0.93 2/64 6202
/proc/meminfo: memFree=297000/2055920 swapFree=4180888/4192956
[pid=6007] ppid=6005 vsize=1200644 CPUtime=1791.63
/proc/6007/stat : 6007 (bsolo) R 6005 6007 5961 0 -1 0 299630 0 0 0 178690 473 0 0 25 0 1 0 198471584 1229459456 298819 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528659 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6007/statm: 300161 298819 297 55 0 299053 0
Current children cumulated CPU time (s) 1791.63
Current children cumulated vsize (Kb) 1200644

[startup+1793.26 s]
/proc/loadavg: 1.00 1.00 0.93 2/64 6202
/proc/meminfo: memFree=297000/2055920 swapFree=4180888/4192956
[pid=6007] ppid=6005 vsize=1200644 CPUtime=1792.63
/proc/6007/stat : 6007 (bsolo) R 6005 6007 5961 0 -1 0 299631 0 0 0 178790 473 0 0 25 0 1 0 198471584 1229459456 298820 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548439 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6007/statm: 300161 298820 297 55 0 299053 0
Current children cumulated CPU time (s) 1792.63
Current children cumulated vsize (Kb) 1200644

[startup+1794.27 s]
/proc/loadavg: 1.00 1.00 0.93 2/64 6202
/proc/meminfo: memFree=297000/2055920 swapFree=4180888/4192956
[pid=6007] ppid=6005 vsize=1200644 CPUtime=1793.64
/proc/6007/stat : 6007 (bsolo) R 6005 6007 5961 0 -1 0 299635 0 0 0 178891 473 0 0 25 0 1 0 198471584 1229459456 298824 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529176 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6007/statm: 300161 298824 297 55 0 299053 0
Current children cumulated CPU time (s) 1793.64
Current children cumulated vsize (Kb) 1200644

[startup+1795.27 s]
/proc/loadavg: 1.00 1.00 0.93 2/64 6202
/proc/meminfo: memFree=297000/2055920 swapFree=4180888/4192956
[pid=6007] ppid=6005 vsize=1200644 CPUtime=1794.64
/proc/6007/stat : 6007 (bsolo) R 6005 6007 5961 0 -1 0 299637 0 0 0 178991 473 0 0 25 0 1 0 198471584 1229459456 298826 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6007/statm: 300161 298826 297 55 0 299053 0
Current children cumulated CPU time (s) 1794.64
Current children cumulated vsize (Kb) 1200644

[startup+1796.28 s]
/proc/loadavg: 1.00 1.00 0.93 2/64 6202
/proc/meminfo: memFree=297000/2055920 swapFree=4180888/4192956
[pid=6007] ppid=6005 vsize=1200644 CPUtime=1795.64
/proc/6007/stat : 6007 (bsolo) R 6005 6007 5961 0 -1 0 299641 0 0 0 179091 473 0 0 25 0 1 0 198471584 1229459456 298830 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6007/statm: 300161 298830 297 55 0 299053 0
Current children cumulated CPU time (s) 1795.64
Current children cumulated vsize (Kb) 1200644

[startup+1797.28 s]
/proc/loadavg: 1.00 1.00 0.93 2/64 6202
/proc/meminfo: memFree=296936/2055920 swapFree=4180888/4192956
[pid=6007] ppid=6005 vsize=1200644 CPUtime=1796.65
/proc/6007/stat : 6007 (bsolo) R 6005 6007 5961 0 -1 0 299645 0 0 0 179192 473 0 0 25 0 1 0 198471584 1229459456 298834 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6007/statm: 300161 298834 297 55 0 299053 0
Current children cumulated CPU time (s) 1796.65
Current children cumulated vsize (Kb) 1200644

[startup+1798.29 s]
/proc/loadavg: 1.00 1.00 0.93 2/64 6202
/proc/meminfo: memFree=296936/2055920 swapFree=4180888/4192956
[pid=6007] ppid=6005 vsize=1200644 CPUtime=1797.65
/proc/6007/stat : 6007 (bsolo) R 6005 6007 5961 0 -1 0 299647 0 0 0 179292 473 0 0 25 0 1 0 198471584 1229459456 298836 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6007/statm: 300161 298836 297 55 0 299053 0
Current children cumulated CPU time (s) 1797.65
Current children cumulated vsize (Kb) 1200644

[startup+1799.29 s]
/proc/loadavg: 1.00 1.00 0.93 2/64 6202
/proc/meminfo: memFree=296936/2055920 swapFree=4180888/4192956
[pid=6007] ppid=6005 vsize=1200644 CPUtime=1798.66
/proc/6007/stat : 6007 (bsolo) R 6005 6007 5961 0 -1 0 299654 0 0 0 179393 473 0 0 25 0 1 0 198471584 1229459456 298843 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529310 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6007/statm: 300161 298843 297 55 0 299053 0
Current children cumulated CPU time (s) 1798.66
Current children cumulated vsize (Kb) 1200644

[startup+1800.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/64 6202
/proc/meminfo: memFree=296936/2055920 swapFree=4180888/4192956
[pid=6007] ppid=6005 vsize=1200644 CPUtime=1799.66
/proc/6007/stat : 6007 (bsolo) R 6005 6007 5961 0 -1 0 299659 0 0 0 179493 473 0 0 25 0 1 0 198471584 1229459456 298848 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534813 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6007/statm: 300161 298848 297 55 0 299053 0
Current children cumulated CPU time (s) 1799.66
Current children cumulated vsize (Kb) 1200644

Child status: 0
Real time (s): 1800.82
CPU time (s): 1800.19
CPU user time (s): 1795.27
CPU system time (s): 4.92325
CPU usage (%): 99.9652
Max. virtual memory (cumulated for all children) (Kb): 1200644

Launcher Data (download as text)

Begin job on node35 on Sat Jun  3 09:47:57 UTC 2006


FILE ID= 39907-1149328077

PBS_JOBID= 309745

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

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  7b629a8e586efe367931c6cdc897e95b

RANDOM SEED= 638864217


/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.210
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.210
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:       1493736 kB
Buffers:         29944 kB
Cached:         463672 kB
SwapCached:       3872 kB
Active:         104316 kB
Inactive:       398184 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1493736 kB
SwapTotal:     4192956 kB
SwapFree:      4180888 kB
Dirty:             172 kB
Writeback:           0 kB
Mapped:          14936 kB
Slab:            45652 kB
Committed_AS:   365168 kB
PageTables:       1432 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node35 on Sat Jun  3 10:17:58 UTC 2006