Trace number 39927

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.01 1800.56

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-share1b.opb
MD5SUMbba1c13067ee4807fb3278415b1e1268
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
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables6750
Total number of constraints117
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 constraints117
Minimum length of a constraint30
Maximum length of a constraint1110
Number of terms in the objective function 930
Biggest coefficient in the objective function 52096
Number of bits for the biggest coefficient in the objective function 16
Sum of the numbers in the objective function 525037
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262126
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 525113
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

0.00	c Time Limit set via PBTIMEOUT to 1800
0.01	c INFO: OSL Context initialized.
0.24	c Initial problem consists of 6750 variables and 206 constraints.
0.27	c No problem reductions applied in OPT. instance.
0.27	c	preprocess terminated. Elapsed time: 0.256
0.27	c After prepocess the problem consists of 5027 variables and 204 constraints.
0.27	c Initial Lower Bound: -5856
1.23	c Restart #1 #Var: 5027 LB: -5856 @ 1.216
2.07	c Restart #2 #Var: 5027 LB: -5856 @ 2.058
3.13	c Restart #3 #Var: 5025 LB: -5856 @ 3.12
4.03	c Restart #4 #Var: 5025 LB: -5856 @ 4.014
5.10	c Restart #5 #Var: 5025 LB: -5856 @ 5.088
6.39	c Restart #6 #Var: 5025 LB: -5856 @ 6.383
7.88	c Restart #7 #Var: 5025 LB: -5856 @ 7.869
10.96	c Restart #8 #Var: 5025 LB: -5856 @ 10.942
14.53	c Restart #9 #Var: 5025 LB: -5856 @ 14.508
14.86	c Restart #10 #Var: 5025 LB: -5856 @ 14.844
15.40	c Restart #11 #Var: 5025 LB: -5856 @ 15.38
16.26	c Restart #12 #Var: 5024 LB: -5856 @ 16.241
16.73	c Restart #13 #Var: 5024 LB: -5856 @ 16.715
17.33	c Restart #14 #Var: 5023 LB: -5856 @ 17.316
18.19	c Restart #15 #Var: 5023 LB: -5856 @ 18.172
19.11	c Restart #16 #Var: 5023 LB: -5856 @ 19.096
19.65	c Restart #17 #Var: 5023 LB: -5856 @ 19.635
20.40	c Restart #18 #Var: 5023 LB: -5856 @ 20.38
20.96	c Restart #19 #Var: 5023 LB: -5856 @ 20.935
22.09	c Restart #20 #Var: 5023 LB: -5856 @ 22.069
22.82	c Restart #21 #Var: 5023 LB: -5856 @ 22.802
23.49	c Restart #22 #Var: 5023 LB: -5856 @ 23.465
24.53	c Restart #23 #Var: 5023 LB: -5856 @ 24.512
25.32	c Restart #24 #Var: 5023 LB: -5856 @ 25.301
26.89	c Restart #25 #Var: 5023 LB: -5856 @ 26.865
27.90	c Restart #26 #Var: 5023 LB: -5856 @ 27.879
28.81	c Restart #27 #Var: 5023 LB: -5856 @ 28.789
30.20	c Restart #28 #Var: 5023 LB: -5856 @ 30.177
31.76	c Restart #29 #Var: 5023 LB: -5856 @ 31.74
32.72	c Restart #30 #Var: 5023 LB: -5856 @ 32.697
34.31	c Restart #31 #Var: 5023 LB: -5856 @ 34.283
36.13	c Restart #32 #Var: 5023 LB: -5856 @ 36.107
37.04	c Restart #33 #Var: 5023 LB: -5856 @ 37.02
38.01	c Restart #34 #Var: 5023 LB: -5856 @ 37.99
39.60	c Restart #35 #Var: 5023 LB: -5856 @ 39.578
40.64	c Restart #36 #Var: 5023 LB: -5856 @ 40.61
41.74	c Restart #37 #Var: 5023 LB: -5856 @ 41.709
43.14	c Restart #38 #Var: 5023 LB: -5856 @ 43.112
44.31	c Restart #39 #Var: 5023 LB: -5856 @ 44.286
45.74	c Restart #40 #Var: 5023 LB: -5856 @ 45.71
47.92	c Restart #41 #Var: 5023 LB: -5856 @ 47.89
49.00	c Restart #42 #Var: 5023 LB: -5856 @ 48.967
50.27	c Restart #43 #Var: 5023 LB: -5856 @ 50.238
52.46	c Restart #44 #Var: 5023 LB: -5856 @ 52.433
53.77	c Restart #45 #Var: 5023 LB: -5856 @ 53.74
55.17	c Restart #46 #Var: 5023 LB: -5856 @ 55.141
57.40	c Restart #47 #Var: 5023 LB: -5856 @ 57.367
58.69	c Restart #48 #Var: 5023 LB: -5856 @ 58.663
60.32	c Restart #49 #Var: 5023 LB: -5856 @ 60.293
64.17	c Restart #50 #Var: 5023 LB: -5856 @ 64.14
65.55	c Restart #51 #Var: 5023 LB: -5856 @ 65.522
67.37	c Restart #52 #Var: 5023 LB: -5856 @ 67.335
69.68	c Restart #53 #Var: 5023 LB: -5856 @ 69.647
71.21	c Restart #54 #Var: 5023 LB: -5856 @ 71.181
72.97	c Restart #55 #Var: 5023 LB: -5856 @ 72.931
76.15	c Restart #56 #Var: 5023 LB: -5856 @ 76.117
77.93	c Restart #57 #Var: 5023 LB: -5856 @ 77.896
79.67	c Restart #58 #Var: 5023 LB: -5856 @ 79.636
82.54	c Restart #59 #Var: 5023 LB: -5856 @ 82.504
84.60	c Restart #60 #Var: 5023 LB: -5856 @ 84.564
86.31	c Restart #61 #Var: 5023 LB: -5856 @ 86.268
88.07	c Restart #62 #Var: 5023 LB: -5856 @ 88.029
92.88	c Restart #63 #Var: 5023 LB: -5856 @ 92.838
95.24	c Restart #64 #Var: 5023 LB: -5856 @ 95.195
98.99	c Restart #65 #Var: 5023 LB: -5856 @ 98.947
101.22	c Restart #66 #Var: 5023 LB: -5856 @ 101.18
105.10	c Restart #67 #Var: 5023 LB: -5856 @ 105.06
107.76	c Restart #68 #Var: 5023 LB: -5856 @ 107.72
110.40	c Restart #69 #Var: 5023 LB: -5856 @ 110.35
113.17	c Restart #70 #Var: 5023 LB: -5856 @ 113.12
116.35	c Restart #71 #Var: 5023 LB: -5856 @ 116.31
118.77	c Restart #72 #Var: 5023 LB: -5856 @ 118.72
121.50	c Restart #73 #Var: 5023 LB: -5856 @ 121.45
124.32	c Restart #74 #Var: 5023 LB: -5856 @ 124.27
127.04	c Restart #75 #Var: 5023 LB: -5856 @ 126.99
130.03	c Restart #76 #Var: 5023 LB: -5856 @ 129.98
132.74	c Restart #77 #Var: 5023 LB: -5856 @ 132.69
135.83	c Restart #78 #Var: 5023 LB: -5856 @ 135.78
138.79	c Restart #79 #Var: 5023 LB: -5856 @ 138.74
142.09	c Restart #80 #Var: 5023 LB: -5856 @ 142.03
145.09	c Restart #81 #Var: 5023 LB: -5856 @ 145.03
148.31	c Restart #82 #Var: 5023 LB: -5856 @ 148.25
151.38	c Restart #83 #Var: 5023 LB: -5856 @ 151.32
154.99	c Restart #84 #Var: 5023 LB: -5856 @ 154.93
157.94	c Restart #85 #Var: 5023 LB: -5856 @ 157.88
161.69	c Restart #86 #Var: 5023 LB: -5856 @ 161.63
164.71	c Restart #87 #Var: 5023 LB: -5856 @ 164.65
168.50	c Restart #88 #Var: 5023 LB: -5856 @ 168.44
171.49	c Restart #89 #Var: 5023 LB: -5856 @ 171.43
175.39	c Restart #90 #Var: 5023 LB: -5856 @ 175.32
178.47	c Restart #91 #Var: 5023 LB: -5856 @ 178.4
182.43	c Restart #92 #Var: 5023 LB: -5856 @ 182.37
185.55	c Restart #93 #Var: 5023 LB: -5856 @ 185.48
189.55	c Restart #94 #Var: 5023 LB: -5856 @ 189.48
192.79	c Restart #95 #Var: 5023 LB: -5856 @ 192.72
197.68	c Restart #96 #Var: 5023 LB: -5856 @ 197.61
202.21	c Restart #97 #Var: 5023 LB: -5856 @ 202.14
208.71	c Restart #98 #Var: 5023 LB: -5856 @ 208.64
212.84	c Restart #99 #Var: 5023 LB: -5856 @ 212.76
219.70	c Restart #100 #Var: 5023 LB: -5856 @ 219.63
224.49	c Restart #101 #Var: 5023 LB: -5856 @ 224.41
228.31	c Restart #102 #Var: 5023 LB: -5856 @ 228.23
233.17	c Restart #103 #Var: 5023 LB: -5856 @ 233.09
237.51	c Restart #104 #Var: 5023 LB: -5856 @ 237.42
242.48	c Restart #105 #Var: 5023 LB: -5856 @ 242.39
246.05	c Restart #106 #Var: 5023 LB: -5856 @ 245.97
251.69	c Restart #107 #Var: 5023 LB: -5856 @ 251.6
255.42	c Restart #108 #Var: 5023 LB: -5856 @ 255.33
260.75	c Restart #109 #Var: 5023 LB: -5856 @ 260.66
264.91	c Restart #110 #Var: 5023 LB: -5856 @ 264.82
269.52	c Restart #111 #Var: 5023 LB: -5856 @ 269.43
273.95	c Restart #112 #Var: 5023 LB: -5856 @ 273.86
278.28	c Restart #113 #Var: 5023 LB: -5856 @ 278.18
283.50	c Restart #114 #Var: 5023 LB: -5856 @ 283.4
288.22	c Restart #115 #Var: 5023 LB: -5856 @ 288.12
292.95	c Restart #116 #Var: 5023 LB: -5856 @ 292.85
297.20	c Restart #117 #Var: 5023 LB: -5856 @ 297.1
302.76	c Restart #118 #Var: 5023 LB: -5856 @ 302.66
307.16	c Restart #119 #Var: 5023 LB: -5856 @ 307.06
312.02	c Restart #120 #Var: 5023 LB: -5856 @ 311.91
318.88	c Restart #121 #Var: 5023 LB: -5856 @ 318.77
327.20	c Restart #122 #Var: 5023 LB: -5856 @ 327.09
331.46	c Restart #123 #Var: 5023 LB: -5856 @ 331.35
337.91	c Restart #124 #Var: 5023 LB: -5856 @ 337.8
344.52	c Restart #125 #Var: 5023 LB: -5856 @ 344.4
349.62	c Restart #126 #Var: 5023 LB: -5856 @ 349.51
354.87	c Restart #127 #Var: 5023 LB: -5856 @ 354.75
362.66	c Restart #128 #Var: 5023 LB: -5856 @ 362.54
368.11	c Restart #129 #Var: 5023 LB: -5856 @ 367.99
374.17	c Restart #130 #Var: 5023 LB: -5856 @ 374.05
378.89	c Restart #131 #Var: 5023 LB: -5856 @ 378.76
383.64	c Restart #132 #Var: 5023 LB: -5856 @ 383.51
389.99	c Restart #133 #Var: 5023 LB: -5856 @ 389.86
395.98	c Restart #134 #Var: 5023 LB: -5856 @ 395.85
401.80	c Restart #135 #Var: 5023 LB: -5856 @ 401.67
407.23	c Restart #136 #Var: 5023 LB: -5856 @ 407.09
413.70	c Restart #137 #Var: 5023 LB: -5856 @ 413.56
418.52	c Restart #138 #Var: 5023 LB: -5856 @ 418.38
423.47	c Restart #139 #Var: 5023 LB: -5856 @ 423.33
428.35	c Restart #140 #Var: 5023 LB: -5856 @ 428.21
433.73	c Restart #141 #Var: 5023 LB: -5856 @ 433.59
438.88	c Restart #142 #Var: 5023 LB: -5856 @ 438.74
444.15	c Restart #143 #Var: 5023 LB: -5856 @ 444
451.59	c Restart #144 #Var: 5023 LB: -5856 @ 451.45
457.00	c Restart #145 #Var: 5023 LB: -5856 @ 456.85
462.27	c Restart #146 #Var: 5023 LB: -5856 @ 462.12
468.72	c Restart #147 #Var: 5023 LB: -5856 @ 468.57
474.00	c Restart #148 #Var: 5023 LB: -5856 @ 473.85
480.53	c Restart #149 #Var: 5023 LB: -5856 @ 480.37
485.89	c Restart #150 #Var: 5023 LB: -5856 @ 485.73
491.75	c Restart #151 #Var: 5023 LB: -5856 @ 491.6
497.64	c Restart #152 #Var: 5023 LB: -5856 @ 497.48
503.39	c Restart #153 #Var: 5023 LB: -5856 @ 503.23
509.43	c Restart #154 #Var: 5023 LB: -5856 @ 509.27
517.03	c Restart #155 #Var: 5023 LB: -5856 @ 516.86
523.29	c Restart #156 #Var: 5023 LB: -5856 @ 523.13
530.99	c Restart #157 #Var: 5023 LB: -5856 @ 530.83
538.59	c Restart #158 #Var: 5023 LB: -5856 @ 538.42
545.05	c Restart #159 #Var: 5023 LB: -5856 @ 544.88
551.47	c Restart #160 #Var: 5023 LB: -5856 @ 551.3
558.09	c Restart #161 #Var: 5023 LB: -5856 @ 557.92
564.06	c Restart #162 #Var: 5023 LB: -5856 @ 563.88
571.93	c Restart #163 #Var: 5023 LB: -5856 @ 571.75
579.64	c Restart #164 #Var: 5023 LB: -5856 @ 579.46
586.41	c Restart #165 #Var: 5023 LB: -5856 @ 586.23
594.28	c Restart #166 #Var: 5023 LB: -5856 @ 594.1
602.21	c Restart #167 #Var: 5023 LB: -5856 @ 602.02
610.35	c Restart #168 #Var: 5023 LB: -5856 @ 610.16
619.30	c Restart #169 #Var: 5023 LB: -5856 @ 619.11
623.72	c Restart #170 #Var: 5023 LB: -5856 @ 623.53
627.43	c Restart #171 #Var: 5007 LB: -5725 @ 627.23
637.18	c Restart #172 #Var: 5007 LB: -5725 @ 636.98
643.61	c Restart #173 #Var: 5007 LB: -5725 @ 643.4
650.83	c Restart #174 #Var: 5007 LB: -5725 @ 650.63
658.04	c Restart #175 #Var: 5007 LB: -5725 @ 657.84
665.38	c Restart #176 #Var: 5007 LB: -5725 @ 665.17
672.98	c Restart #177 #Var: 5007 LB: -5725 @ 672.77
679.77	c Restart #178 #Var: 5007 LB: -5725 @ 679.56
686.88	c Restart #179 #Var: 5007 LB: -5725 @ 686.66
694.53	c Restart #180 #Var: 5007 LB: -5725 @ 694.31
700.51	c Restart #181 #Var: 5007 LB: -5725 @ 700.3
707.42	c Restart #182 #Var: 5007 LB: -5725 @ 707.2
713.60	c Restart #183 #Var: 5007 LB: -5725 @ 713.38
726.05	c Restart #184 #Var: 5007 LB: -5725 @ 725.82
733.48	c Restart #185 #Var: 5007 LB: -5725 @ 733.26
739.70	c Restart #186 #Var: 5007 LB: -5725 @ 739.47
747.74	c Restart #187 #Var: 5007 LB: -5725 @ 747.51
755.72	c Restart #188 #Var: 5007 LB: -5725 @ 755.49
766.65	c Restart #189 #Var: 5007 LB: -5725 @ 766.41
772.88	c Restart #190 #Var: 5007 LB: -5725 @ 772.65
783.17	c Restart #191 #Var: 5007 LB: -5725 @ 782.93
789.51	c Restart #192 #Var: 5007 LB: -5725 @ 789.27
796.98	c Restart #193 #Var: 5007 LB: -5725 @ 796.73
803.57	c Restart #194 #Var: 5007 LB: -5725 @ 803.32
810.89	c Restart #195 #Var: 5007 LB: -5725 @ 810.64
817.40	c Restart #196 #Var: 5007 LB: -5725 @ 817.15
824.74	c Restart #197 #Var: 5007 LB: -5725 @ 824.49
837.84	c Restart #198 #Var: 5007 LB: -5725 @ 837.59
844.16	c Restart #199 #Var: 5007 LB: -5725 @ 843.9
855.46	c Restart #200 #Var: 5007 LB: -5725 @ 855.2
861.97	c Restart #201 #Var: 5007 LB: -5725 @ 861.71
869.97	c Restart #202 #Var: 5007 LB: -5725 @ 869.71
878.33	c Restart #203 #Var: 5007 LB: -5725 @ 878.07
884.30	c Restart #204 #Var: 5007 LB: -5725 @ 884.03
890.78	c Restart #205 #Var: 5007 LB: -5725 @ 890.51
897.59	c Restart #206 #Var: 5005 LB: -5725 @ 897.31
910.85	c CHANGE Heuristic... 
910.85	c Restart #0 #Var: 5005 LB: -5725 @ 910.57
910.89	c Restart #1 #Var: 5005 LB: -5725 @ 910.62
910.98	c Restart #2 #Var: 5005 LB: -5725 @ 910.7
911.09	c Restart #3 #Var: 5005 LB: -5725 @ 910.81
911.26	c Restart #4 #Var: 4993 LB: -5659 @ 910.98
911.41	c Restart #5 #Var: 4993 LB: -5659 @ 911.14
912.06	c Restart #6 #Var: 4993 LB: -5659 @ 911.78
912.40	c Restart #7 #Var: 4993 LB: -5659 @ 912.12
912.62	c Restart #8 #Var: 4993 LB: -5659 @ 912.34
912.94	c Restart #9 #Var: 4993 LB: -5659 @ 912.67
920.37	c Restart #10 #Var: 4993 LB: -5659 @ 920.09
920.79	c Restart #11 #Var: 4993 LB: -5659 @ 920.51
921.48	c Restart #12 #Var: 4993 LB: -5659 @ 921.2
923.08	c Restart #13 #Var: 4993 LB: -5659 @ 922.8
924.14	c Restart #14 #Var: 4993 LB: -5659 @ 923.86
924.63	c Restart #15 #Var: 4993 LB: -5659 @ 924.35
925.28	c Restart #16 #Var: 4993 LB: -5659 @ 924.99
926.11	c Restart #17 #Var: 4993 LB: -5659 @ 925.82
926.73	c Restart #18 #Var: 4993 LB: -5659 @ 926.45
927.32	c Restart #19 #Var: 4993 LB: -5659 @ 927.04
928.02	c Restart #20 #Var: 4993 LB: -5659 @ 927.74
928.81	c Restart #21 #Var: 4993 LB: -5659 @ 928.52
929.63	c Restart #22 #Var: 4993 LB: -5659 @ 929.35
930.33	c Restart #23 #Var: 4993 LB: -5659 @ 930.05
931.27	c Restart #24 #Var: 4993 LB: -5659 @ 930.98
932.13	c Restart #25 #Var: 4993 LB: -5659 @ 931.85
933.08	c Restart #26 #Var: 4993 LB: -5659 @ 932.79
933.90	c Restart #27 #Var: 4993 LB: -5659 @ 933.62
934.91	c Restart #28 #Var: 4993 LB: -5659 @ 934.63
935.83	c Restart #29 #Var: 4993 LB: -5659 @ 935.55
937.06	c Restart #30 #Var: 4993 LB: -5659 @ 936.78
938.31	c Restart #31 #Var: 4993 LB: -5659 @ 938.03
939.45	c Restart #32 #Var: 4993 LB: -5659 @ 939.16
940.67	c Restart #33 #Var: 4993 LB: -5659 @ 940.38
942.05	c Restart #34 #Var: 4993 LB: -5659 @ 941.76
943.22	c Restart #35 #Var: 4993 LB: -5659 @ 942.93
944.48	c Restart #36 #Var: 4993 LB: -5659 @ 944.2
946.08	c Restart #37 #Var: 4993 LB: -5659 @ 945.79
947.34	c Restart #38 #Var: 4993 LB: -5659 @ 947.05
948.93	c Restart #39 #Var: 4993 LB: -5659 @ 948.64
950.80	c Restart #40 #Var: 4993 LB: -5659 @ 950.51
952.07	c Restart #41 #Var: 4993 LB: -5659 @ 951.78
953.27	c Restart #42 #Var: 4993 LB: -5659 @ 952.98
955.26	c Restart #43 #Var: 4993 LB: -5659 @ 954.97
956.88	c Restart #44 #Var: 4993 LB: -5659 @ 956.59
958.47	c Restart #45 #Var: 4993 LB: -5659 @ 958.17
960.96	c Restart #46 #Var: 4993 LB: -5659 @ 960.67
962.67	c Restart #47 #Var: 4993 LB: -5659 @ 962.37
964.58	c Restart #48 #Var: 4993 LB: -5659 @ 964.28
966.81	c Restart #49 #Var: 4993 LB: -5659 @ 966.52
968.54	c Restart #50 #Var: 4993 LB: -5659 @ 968.24
970.43	c Restart #51 #Var: 4993 LB: -5659 @ 970.13
972.43	c Restart #52 #Var: 4993 LB: -5659 @ 972.14
974.24	c Restart #53 #Var: 4993 LB: -5659 @ 973.94
976.16	c Restart #54 #Var: 4993 LB: -5659 @ 975.86
978.40	c Restart #55 #Var: 4993 LB: -5659 @ 978.1
980.24	c Restart #56 #Var: 4993 LB: -5659 @ 979.94
982.17	c Restart #57 #Var: 4993 LB: -5659 @ 981.87
983.80	c Restart #58 #Var: 4993 LB: -5659 @ 983.5
985.80	c Restart #59 #Var: 4993 LB: -5659 @ 985.5
987.66	c Restart #60 #Var: 4993 LB: -5659 @ 987.36
989.37	c Restart #61 #Var: 4993 LB: -5659 @ 989.07
991.25	c Restart #62 #Var: 4993 LB: -5659 @ 990.95
993.61	c Restart #63 #Var: 4993 LB: -5659 @ 993.31
995.42	c Restart #64 #Var: 4993 LB: -5659 @ 995.12
997.49	c Restart #65 #Var: 4993 LB: -5659 @ 997.19
999.76	c Restart #66 #Var: 4993 LB: -5659 @ 999.46
1001.92	c Restart #67 #Var: 4993 LB: -5659 @ 1001.6
1004.20	c Restart #68 #Var: 4993 LB: -5659 @ 1003.9
1006.40	c Restart #69 #Var: 4993 LB: -5659 @ 1006.1
1008.87	c Restart #70 #Var: 4993 LB: -5659 @ 1008.6
1020.39	c Restart #71 #Var: 4993 LB: -5659 @ 1020.1
1022.65	c Restart #72 #Var: 4993 LB: -5659 @ 1022.3
1025.96	c Restart #73 #Var: 4993 LB: -5659 @ 1025.7
1028.82	c Restart #74 #Var: 4993 LB: -5659 @ 1028.5
1032.86	c Restart #75 #Var: 4993 LB: -5659 @ 1032.5
1035.53	c Restart #76 #Var: 4993 LB: -5659 @ 1035.2
1038.10	c Restart #77 #Var: 4993 LB: -5659 @ 1037.8
1043.60	c Restart #78 #Var: 4993 LB: -5659 @ 1043.3
1046.21	c Restart #79 #Var: 4993 LB: -5659 @ 1045.9
1050.38	c Restart #80 #Var: 4993 LB: -5659 @ 1050.1
1053.19	c Restart #81 #Var: 4993 LB: -5659 @ 1052.9
1058.53	c Restart #82 #Var: 4993 LB: -5659 @ 1058.2
1061.88	c Restart #83 #Var: 4993 LB: -5659 @ 1061.6
1066.38	c Restart #84 #Var: 4993 LB: -5659 @ 1066.1
1069.74	c Restart #85 #Var: 4993 LB: -5659 @ 1069.4
1073.39	c Restart #86 #Var: 4993 LB: -5659 @ 1073.1
1076.01	c Restart #87 #Var: 4993 LB: -5659 @ 1075.7
1081.07	c Restart #88 #Var: 4993 LB: -5659 @ 1080.7
1086.49	c Restart #89 #Var: 4993 LB: -5659 @ 1086.2
1089.33	c Restart #90 #Var: 4993 LB: -5659 @ 1089
1092.54	c Restart #91 #Var: 4993 LB: -5659 @ 1092.2
1095.83	c Restart #92 #Var: 4993 LB: -5659 @ 1095.5
1100.41	c Restart #93 #Var: 4993 LB: -5659 @ 1100.1
1103.60	c Restart #94 #Var: 4993 LB: -5659 @ 1103.3
1109.50	c Restart #95 #Var: 4993 LB: -5659 @ 1109.2
1112.52	c Restart #96 #Var: 4993 LB: -5659 @ 1112.2
1117.94	c Restart #97 #Var: 4993 LB: -5659 @ 1117.6
1121.74	c Restart #98 #Var: 4993 LB: -5659 @ 1121.4
1125.45	c Restart #99 #Var: 4993 LB: -5659 @ 1125.1
1128.74	c Restart #100 #Var: 4993 LB: -5659 @ 1128.4
1133.65	c Restart #101 #Var: 4993 LB: -5659 @ 1133.3
1137.81	c Restart #102 #Var: 4993 LB: -5659 @ 1137.5
1141.63	c Restart #103 #Var: 4993 LB: -5659 @ 1141.3
1145.55	c Restart #104 #Var: 4993 LB: -5659 @ 1145.2
1149.50	c Restart #105 #Var: 4993 LB: -5659 @ 1149.2
1154.13	c Restart #106 #Var: 4993 LB: -5659 @ 1153.8
1157.64	c Restart #107 #Var: 4993 LB: -5659 @ 1157.3
1162.60	c Restart #108 #Var: 4993 LB: -5659 @ 1162.2
1166.83	c Restart #109 #Var: 4993 LB: -5659 @ 1166.5
1171.82	c Restart #110 #Var: 4993 LB: -5659 @ 1171.5
1183.04	c Restart #111 #Var: 4993 LB: -5659 @ 1182.7
1191.00	c Restart #112 #Var: 4993 LB: -5659 @ 1190.6
1195.43	c Restart #113 #Var: 4993 LB: -5659 @ 1195.1
1201.07	c Restart #114 #Var: 4993 LB: -5659 @ 1200.7
1205.08	c Restart #115 #Var: 4993 LB: -5659 @ 1204.7
1209.98	c Restart #116 #Var: 4993 LB: -5659 @ 1209.6
1213.83	c Restart #117 #Var: 4993 LB: -5659 @ 1213.5
1218.67	c Restart #118 #Var: 4993 LB: -5659 @ 1218.3
1222.45	c Restart #119 #Var: 4993 LB: -5659 @ 1222.1
1226.94	c Restart #120 #Var: 4993 LB: -5659 @ 1226.6
1233.34	c Restart #121 #Var: 4993 LB: -5659 @ 1233
1237.87	c Restart #122 #Var: 4993 LB: -5659 @ 1237.5
1241.75	c Restart #123 #Var: 4993 LB: -5659 @ 1241.4
1245.52	c Restart #124 #Var: 4993 LB: -5659 @ 1245.1
1249.74	c Restart #125 #Var: 4993 LB: -5659 @ 1249.4
1253.61	c Restart #126 #Var: 4993 LB: -5659 @ 1253.2
1260.04	c Restart #127 #Var: 4993 LB: -5659 @ 1259.7
1265.27	c Restart #128 #Var: 4993 LB: -5659 @ 1264.9
1272.01	c Restart #129 #Var: 4993 LB: -5659 @ 1271.6
1278.79	c Restart #130 #Var: 4993 LB: -5659 @ 1278.4
1284.96	c Restart #131 #Var: 4993 LB: -5659 @ 1284.6
1289.39	c Restart #132 #Var: 4993 LB: -5659 @ 1289
1296.12	c Restart #133 #Var: 4993 LB: -5659 @ 1295.7
1301.35	c Restart #134 #Var: 4993 LB: -5659 @ 1301
1308.54	c Restart #135 #Var: 4993 LB: -5659 @ 1308.1
1314.93	c Restart #136 #Var: 4993 LB: -5659 @ 1314.5
1322.56	c Restart #137 #Var: 4993 LB: -5659 @ 1322.2
1326.95	c Restart #138 #Var: 4993 LB: -5659 @ 1326.5
1331.97	c Restart #139 #Var: 4993 LB: -5659 @ 1331.6
1336.80	c Restart #140 #Var: 4993 LB: -5659 @ 1336.4
1343.46	c Restart #141 #Var: 4993 LB: -5659 @ 1343.1
1348.98	c Restart #142 #Var: 4993 LB: -5659 @ 1348.6
1355.60	c Restart #143 #Var: 4993 LB: -5659 @ 1355.2
1359.80	c Restart #144 #Var: 4993 LB: -5659 @ 1359.4
1364.78	c Restart #145 #Var: 4993 LB: -5659 @ 1364.4
1376.35	c Restart #146 #Var: 4993 LB: -5659 @ 1375.9
1386.11	c Restart #147 #Var: 4993 LB: -5659 @ 1385.7
1392.34	c Restart #148 #Var: 4992 LB: -5659 @ 1391.9
1413.95	c Restart #149 #Var: 4992 LB: -5659 @ 1413.5
1433.24	c Restart #150 #Var: 4992 LB: -5659 @ 1432.8
1441.64	c Restart #151 #Var: 4992 LB: -5659 @ 1441.2
1452.16	c Restart #152 #Var: 4992 LB: -5659 @ 1451.7
1456.93	c Restart #153 #Var: 4991 LB: -5659 @ 1456.5
1525.06	c Restart #154 #Var: 4991 LB: -5659 @ 1524.6
1551.32	c Restart #155 #Var: 4990 LB: -5659 @ 1550.9
1558.88	c Restart #156 #Var: 4990 LB: -5659 @ 1558.4
1566.63	c Restart #157 #Var: 4990 LB: -5659 @ 1566.2
1572.78	c Restart #158 #Var: 4990 LB: -5659 @ 1572.3
1579.20	c Restart #159 #Var: 4990 LB: -5659 @ 1578.7
1587.59	c Restart #160 #Var: 4990 LB: -5659 @ 1587.1
1593.86	c Restart #161 #Var: 4990 LB: -5659 @ 1593.4
1600.53	c Restart #162 #Var: 4990 LB: -5659 @ 1600
1606.04	c Restart #163 #Var: 4990 LB: -5659 @ 1605.6
1611.96	c Restart #164 #Var: 4990 LB: -5659 @ 1611.5
1618.97	c Restart #165 #Var: 4990 LB: -5659 @ 1618.5
1625.25	c Restart #166 #Var: 4990 LB: -5659 @ 1624.8
1668.08	c Restart #167 #Var: 4990 LB: -5659 @ 1667.6
1677.53	c Restart #168 #Var: 4990 LB: -5659 @ 1677
1725.42	c Restart #169 #Var: 4990 LB: -5659 @ 1724.9
1732.35	c Restart #170 #Var: 4990 LB: -5659 @ 1731.8
1741.91	c Restart #171 #Var: 4990 LB: -5659 @ 1741.4
1747.71	c Restart #172 #Var: 4990 LB: -5659 @ 1747.2
1754.02	c Restart #173 #Var: 4990 LB: -5659 @ 1753.5
1763.05	c Restart #174 #Var: 4990 LB: -5659 @ 1762.5
1769.07	c Restart #175 #Var: 4990 LB: -5659 @ 1768.5
1776.29	c Restart #176 #Var: 4990 LB: -5659 @ 1775.8
1785.11	c Restart #177 #Var: 4990 LB: -5659 @ 1784.6
1793.70	c Restart #178 #Var: 4990 LB: -5659 @ 1793.2
1800.54	s UNKNOWN
1800.54	c Exit Code: 0
1800.54	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/node9/watcher-39927-1149333153 -o ROOT/results/node9/solver-39927-1149333153 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node9/39927-1149333153/instance-39927-1149333153.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 1.00 1.00 0.95 2/64 20257
/proc/meminfo: memFree=1653408/2055920 swapFree=4180864/4192956
[pid=20257] ppid=20255 vsize=4664 CPUtime=0
/proc/20257/stat : 20257 (bsolo) R 20255 20257 20211 0 -1 0 139 0 0 0 0 0 0 0 19 0 1 0 198977664 4775936 120 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 8627392 0 0 4096 0 0 0 0 17 1 0 0
/proc/20257/statm: 1166 123 103 55 0 46 0

[startup+10.0028 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 20257
/proc/meminfo: memFree=1642048/2055920 swapFree=4180864/4192956
[pid=20257] ppid=20255 vsize=16068 CPUtime=9.98
/proc/20257/stat : 20257 (bsolo) R 20255 20257 20211 0 -1 0 3249 0 0 0 944 54 0 0 25 0 1 0 198977664 16453632 3164 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20257/statm: 4017 3164 297 55 0 2909 0
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 16068

[startup+20.01 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 20257
/proc/meminfo: memFree=1635776/2055920 swapFree=4180864/4192956
[pid=20257] ppid=20255 vsize=22404 CPUtime=19.98
/proc/20257/stat : 20257 (bsolo) R 20255 20257 20211 0 -1 0 4830 0 0 0 1917 81 0 0 25 0 1 0 198977664 22941696 4745 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20257/statm: 5601 4745 297 55 0 4493 0
Current children cumulated CPU time (s) 19.98
Current children cumulated vsize (Kb) 22404

[startup+30.0161 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 20257
/proc/meminfo: memFree=1635648/2055920 swapFree=4180864/4192956
[pid=20257] ppid=20255 vsize=22700 CPUtime=29.98
/proc/20257/stat : 20257 (bsolo) R 20255 20257 20211 0 -1 0 4877 0 0 0 2915 83 0 0 25 0 1 0 198977664 23244800 4792 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20257/statm: 5675 4792 297 55 0 4567 0
Current children cumulated CPU time (s) 29.98
Current children cumulated vsize (Kb) 22700

[startup+40.0223 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 20257
/proc/meminfo: memFree=1635648/2055920 swapFree=4180864/4192956
[pid=20257] ppid=20255 vsize=22700 CPUtime=39.99
/proc/20257/stat : 20257 (bsolo) R 20255 20257 20211 0 -1 0 4877 0 0 0 3914 85 0 0 25 0 1 0 198977664 23244800 4792 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548393 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20257/statm: 5675 4792 297 55 0 4567 0
Current children cumulated CPU time (s) 39.99
Current children cumulated vsize (Kb) 22700

[startup+50.0284 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 20257
/proc/meminfo: memFree=1635712/2055920 swapFree=4180864/4192956
[pid=20257] ppid=20255 vsize=22700 CPUtime=49.99
/proc/20257/stat : 20257 (bsolo) R 20255 20257 20211 0 -1 0 4877 0 0 0 4912 87 0 0 25 0 1 0 198977664 23244800 4792 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20257/statm: 5675 4792 297 55 0 4567 0
Current children cumulated CPU time (s) 49.99
Current children cumulated vsize (Kb) 22700

[startup+60.0346 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 20257
/proc/meminfo: memFree=1635648/2055920 swapFree=4180864/4192956
[pid=20257] ppid=20255 vsize=22700 CPUtime=59.99
/proc/20257/stat : 20257 (bsolo) R 20255 20257 20211 0 -1 0 4877 0 0 0 5910 89 0 0 25 0 1 0 198977664 23244800 4792 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540691 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20257/statm: 5675 4792 297 55 0 4567 0
Current children cumulated CPU time (s) 59.99
Current children cumulated vsize (Kb) 22700

[startup+70.0407 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 20257
/proc/meminfo: memFree=1635648/2055920 swapFree=4180864/4192956
[pid=20257] ppid=20255 vsize=22700 CPUtime=70
/proc/20257/stat : 20257 (bsolo) R 20255 20257 20211 0 -1 0 4877 0 0 0 6909 91 0 0 25 0 1 0 198977664 23244800 4792 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20257/statm: 5675 4792 297 55 0 4567 0
Current children cumulated CPU time (s) 70
Current children cumulated vsize (Kb) 22700

[startup+80.0468 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 20257
/proc/meminfo: memFree=1635648/2055920 swapFree=4180864/4192956
[pid=20257] ppid=20255 vsize=22700 CPUtime=80
/proc/20257/stat : 20257 (bsolo) R 20255 20257 20211 0 -1 0 4877 0 0 0 7907 93 0 0 25 0 1 0 198977664 23244800 4792 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20257/statm: 5675 4792 297 55 0 4567 0
Current children cumulated CPU time (s) 80
Current children cumulated vsize (Kb) 22700

[startup+90.052 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 20257
/proc/meminfo: memFree=1635648/2055920 swapFree=4180864/4192956
[pid=20257] ppid=20255 vsize=22700 CPUtime=90
/proc/20257/stat : 20257 (bsolo) R 20255 20257 20211 0 -1 0 4877 0 0 0 8906 94 0 0 25 0 1 0 198977664 23244800 4792 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20257/statm: 5675 4792 297 55 0 4567 0
Current children cumulated CPU time (s) 90
Current children cumulated vsize (Kb) 22700

[startup+100.058 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 20257
/proc/meminfo: memFree=1635648/2055920 swapFree=4180864/4192956
[pid=20257] ppid=20255 vsize=22700 CPUtime=100
/proc/20257/stat : 20257 (bsolo) R 20255 20257 20211 0 -1 0 4877 0 0 0 9905 95 0 0 25 0 1 0 198977664 23244800 4792 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20257/statm: 5675 4792 297 55 0 4567 0
Current children cumulated CPU time (s) 100
Current children cumulated vsize (Kb) 22700

[startup+110.064 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 20257
/proc/meminfo: memFree=1635648/2055920 swapFree=4180864/4192956
[pid=20257] ppid=20255 vsize=22700 CPUtime=110.01
/proc/20257/stat : 20257 (bsolo) R 20255 20257 20211 0 -1 0 4877 0 0 0 10904 97 0 0 25 0 1 0 198977664 23244800 4792 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 9096638 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20257/statm: 5675 4792 297 55 0 4567 0
Current children cumulated CPU time (s) 110.01
Current children cumulated vsize (Kb) 22700

[startup+120.07 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 20257
/proc/meminfo: memFree=1635584/2055920 swapFree=4180864/4192956
[pid=20257] ppid=20255 vsize=22700 CPUtime=120.01
/proc/20257/stat : 20257 (bsolo) R 20255 20257 20211 0 -1 0 4877 0 0 0 11901 100 0 0 25 0 1 0 198977664 23244800 4792 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534860 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20257/statm: 5675 4792 297 55 0 4567 0
Current children cumulated CPU time (s) 120.01
Current children cumulated vsize (Kb) 22700

[startup+130.077 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 20257
/proc/meminfo: memFree=1635648/2055920 swapFree=4180864/4192956
[pid=20257] ppid=20255 vsize=22700 CPUtime=130.01
/proc/20257/stat : 20257 (bsolo) R 20255 20257 20211 0 -1 0 4877 0 0 0 12899 102 0 0 25 0 1 0 198977664 23244800 4792 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20257/statm: 5675 4792 297 55 0 4567 0
Current children cumulated CPU time (s) 130.01
Current children cumulated vsize (Kb) 22700

[startup+140.083 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 20257
/proc/meminfo: memFree=1635648/2055920 swapFree=4180864/4192956
[pid=20257] ppid=20255 vsize=22700 CPUtime=140.02
/proc/20257/stat : 20257 (bsolo) R 20255 20257 20211 0 -1 0 4877 0 0 0 13897 105 0 0 25 0 1 0 198977664 23244800 4792 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20257/statm: 5675 4792 297 55 0 4567 0
Current children cumulated CPU time (s) 140.02
Current children cumulated vsize (Kb) 22700

[startup+150.089 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 20257
/proc/meminfo: memFree=1635648/2055920 swapFree=4180864/4192956
[pid=20257] ppid=20255 vsize=22700 CPUtime=150.02
/proc/20257/stat : 20257 (bsolo) R 20255 20257 20211 0 -1 0 4877 0 0 0 14895 107 0 0 25 0 1 0 198977664 23244800 4792 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20257/statm: 5675 4792 297 55 0 4567 0
Current children cumulated CPU time (s) 150.02
Current children cumulated vsize (Kb) 22700

[startup+160.095 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 20257
/proc/meminfo: memFree=1635648/2055920 swapFree=4180864/4192956
[pid=20257] ppid=20255 vsize=22700 CPUtime=160.03
/proc/20257/stat : 20257 (bsolo) R 20255 20257 20211 0 -1 0 4877 0 0 0 15894 109 0 0 25 0 1 0 198977664 23244800 4792 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20257/statm: 5675 4792 297 55 0 4567 0
Current children cumulated CPU time (s) 160.03
Current children cumulated vsize (Kb) 22700

[startup+170.101 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 20257
/proc/meminfo: memFree=1635648/2055920 swapFree=4180864/4192956
[pid=20257] ppid=20255 vsize=22700 CPUtime=170.02
/proc/20257/stat : 20257 (bsolo) R 20255 20257 20211 0 -1 0 4877 0 0 0 16892 110 0 0 25 0 1 0 198977664 23244800 4792 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20257/statm: 5675 4792 297 55 0 4567 0
Current children cumulated CPU time (s) 170.02
Current children cumulated vsize (Kb) 22700

[startup+180.107 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 20257
/proc/meminfo: memFree=1635648/2055920 swapFree=4180864/4192956
[pid=20257] ppid=20255 vsize=22700 CPUtime=180.03
/proc/20257/stat : 20257 (bsolo) R 20255 20257 20211 0 -1 0 4877 0 0 0 17891 112 0 0 25 0 1 0 198977664 23244800 4792 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134696512 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20257/statm: 5675 4792 297 55 0 4567 0
Current children cumulated CPU time (s) 180.03
Current children cumulated vsize (Kb) 22700

[startup+190.113 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 20257
/proc/meminfo: memFree=1635648/2055920 swapFree=4180864/4192956
[pid=20257] ppid=20255 vsize=22700 CPUtime=190.04
/proc/20257/stat : 20257 (bsolo) R 20255 20257 20211 0 -1 0 4877 0 0 0 18890 114 0 0 25 0 1 0 198977664 23244800 4792 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20257/statm: 5675 4792 297 55 0 4567 0
Current children cumulated CPU time (s) 190.04
Current children cumulated vsize (Kb) 22700

[startup+200.12 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 20257
/proc/meminfo: memFree=1635584/2055920 swapFree=4180864/4192956
[pid=20257] ppid=20255 vsize=22700 CPUtime=200.04
/proc/20257/stat : 20257 (bsolo) R 20255 20257 20211 0 -1 0 4877 0 0 0 19889 115 0 0 25 0 1 0 198977664 23244800 4792 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20257/statm: 5675 4792 297 55 0 4567 0
Current children cumulated CPU time (s) 200.04
Current children cumulated vsize (Kb) 22700

[startup+210.125 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 20257
/proc/meminfo: memFree=1635584/2055920 swapFree=4180864/4192956

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

/proc/20257/statm: 18043 17179 297 55 0 16935 0
Current children cumulated CPU time (s) 1760.59
Current children cumulated vsize (Kb) 72172

[startup+1771.13 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 20259
/proc/meminfo: memFree=1585472/2055920 swapFree=4180864/4192956
[pid=20257] ppid=20255 vsize=72172 CPUtime=1770.59
/proc/20257/stat : 20257 (bsolo) R 20255 20257 20211 0 -1 0 17644 0 0 0 176677 382 0 0 25 0 1 0 198977664 73904128 17179 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134598957 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20257/statm: 18043 17179 297 55 0 16935 0
Current children cumulated CPU time (s) 1770.59
Current children cumulated vsize (Kb) 72172

[startup+1781.13 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 20259
/proc/meminfo: memFree=1585472/2055920 swapFree=4180864/4192956
[pid=20257] ppid=20255 vsize=72172 CPUtime=1780.59
/proc/20257/stat : 20257 (bsolo) R 20255 20257 20211 0 -1 0 17644 0 0 0 177674 385 0 0 25 0 1 0 198977664 73904128 17179 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 9097017 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20257/statm: 18043 17179 297 55 0 16935 0
Current children cumulated CPU time (s) 1780.59
Current children cumulated vsize (Kb) 72172

[startup+1782.14 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 20259
/proc/meminfo: memFree=1585472/2055920 swapFree=4180864/4192956
[pid=20257] ppid=20255 vsize=72172 CPUtime=1781.59
/proc/20257/stat : 20257 (bsolo) R 20255 20257 20211 0 -1 0 17644 0 0 0 177774 385 0 0 25 0 1 0 198977664 73904128 17179 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20257/statm: 18043 17179 297 55 0 16935 0
Current children cumulated CPU time (s) 1781.59
Current children cumulated vsize (Kb) 72172

[startup+1783.14 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 20259
/proc/meminfo: memFree=1585472/2055920 swapFree=4180864/4192956
[pid=20257] ppid=20255 vsize=72172 CPUtime=1782.6
/proc/20257/stat : 20257 (bsolo) R 20255 20257 20211 0 -1 0 17644 0 0 0 177875 385 0 0 25 0 1 0 198977664 73904128 17179 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20257/statm: 18043 17179 297 55 0 16935 0
Current children cumulated CPU time (s) 1782.6
Current children cumulated vsize (Kb) 72172

[startup+1784.15 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 20259
/proc/meminfo: memFree=1585472/2055920 swapFree=4180864/4192956
[pid=20257] ppid=20255 vsize=72172 CPUtime=1783.6
/proc/20257/stat : 20257 (bsolo) R 20255 20257 20211 0 -1 0 17644 0 0 0 177975 385 0 0 25 0 1 0 198977664 73904128 17179 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20257/statm: 18043 17179 297 55 0 16935 0
Current children cumulated CPU time (s) 1783.6
Current children cumulated vsize (Kb) 72172

[startup+1785.15 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 20259
/proc/meminfo: memFree=1585472/2055920 swapFree=4180864/4192956
[pid=20257] ppid=20255 vsize=72172 CPUtime=1784.6
/proc/20257/stat : 20257 (bsolo) R 20255 20257 20211 0 -1 0 17644 0 0 0 178075 385 0 0 25 0 1 0 198977664 73904128 17179 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603863 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20257/statm: 18043 17179 297 55 0 16935 0
Current children cumulated CPU time (s) 1784.6
Current children cumulated vsize (Kb) 72172

[startup+1786.16 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 20259
/proc/meminfo: memFree=1585472/2055920 swapFree=4180864/4192956
[pid=20257] ppid=20255 vsize=72172 CPUtime=1785.62
/proc/20257/stat : 20257 (bsolo) R 20255 20257 20211 0 -1 0 17644 0 0 0 178176 386 0 0 25 0 1 0 198977664 73904128 17179 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20257/statm: 18043 17179 297 55 0 16935 0
Current children cumulated CPU time (s) 1785.62
Current children cumulated vsize (Kb) 72172

[startup+1787.16 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 20259
/proc/meminfo: memFree=1585472/2055920 swapFree=4180864/4192956
[pid=20257] ppid=20255 vsize=72172 CPUtime=1786.62
/proc/20257/stat : 20257 (bsolo) R 20255 20257 20211 0 -1 0 17644 0 0 0 178276 386 0 0 25 0 1 0 198977664 73904128 17179 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20257/statm: 18043 17179 297 55 0 16935 0
Current children cumulated CPU time (s) 1786.62
Current children cumulated vsize (Kb) 72172

[startup+1788.17 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 20259
/proc/meminfo: memFree=1585472/2055920 swapFree=4180864/4192956
[pid=20257] ppid=20255 vsize=72172 CPUtime=1787.62
/proc/20257/stat : 20257 (bsolo) R 20255 20257 20211 0 -1 0 17644 0 0 0 178376 386 0 0 25 0 1 0 198977664 73904128 17179 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20257/statm: 18043 17179 297 55 0 16935 0
Current children cumulated CPU time (s) 1787.62
Current children cumulated vsize (Kb) 72172

[startup+1789.17 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 20259
/proc/meminfo: memFree=1585472/2055920 swapFree=4180864/4192956
[pid=20257] ppid=20255 vsize=72172 CPUtime=1788.63
/proc/20257/stat : 20257 (bsolo) R 20255 20257 20211 0 -1 0 17644 0 0 0 178477 386 0 0 25 0 1 0 198977664 73904128 17179 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20257/statm: 18043 17179 297 55 0 16935 0
Current children cumulated CPU time (s) 1788.63
Current children cumulated vsize (Kb) 72172

[startup+1790.18 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 20259
/proc/meminfo: memFree=1585472/2055920 swapFree=4180864/4192956
[pid=20257] ppid=20255 vsize=72172 CPUtime=1789.63
/proc/20257/stat : 20257 (bsolo) R 20255 20257 20211 0 -1 0 17644 0 0 0 178577 386 0 0 25 0 1 0 198977664 73904128 17179 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20257/statm: 18043 17179 297 55 0 16935 0
Current children cumulated CPU time (s) 1789.63
Current children cumulated vsize (Kb) 72172

[startup+1791.18 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 20259
/proc/meminfo: memFree=1585472/2055920 swapFree=4180864/4192956
[pid=20257] ppid=20255 vsize=72172 CPUtime=1790.64
/proc/20257/stat : 20257 (bsolo) R 20255 20257 20211 0 -1 0 17644 0 0 0 178678 386 0 0 25 0 1 0 198977664 73904128 17179 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20257/statm: 18043 17179 297 55 0 16935 0
Current children cumulated CPU time (s) 1790.64
Current children cumulated vsize (Kb) 72172

[startup+1792.19 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 20259
/proc/meminfo: memFree=1585472/2055920 swapFree=4180864/4192956
[pid=20257] ppid=20255 vsize=72172 CPUtime=1791.64
/proc/20257/stat : 20257 (bsolo) R 20255 20257 20211 0 -1 0 17644 0 0 0 178778 386 0 0 25 0 1 0 198977664 73904128 17179 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20257/statm: 18043 17179 297 55 0 16935 0
Current children cumulated CPU time (s) 1791.64
Current children cumulated vsize (Kb) 72172

[startup+1793.19 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 20259
/proc/meminfo: memFree=1585472/2055920 swapFree=4180864/4192956
[pid=20257] ppid=20255 vsize=72172 CPUtime=1792.64
/proc/20257/stat : 20257 (bsolo) R 20255 20257 20211 0 -1 0 17644 0 0 0 178878 386 0 0 25 0 1 0 198977664 73904128 17179 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540568 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20257/statm: 18043 17179 297 55 0 16935 0
Current children cumulated CPU time (s) 1792.64
Current children cumulated vsize (Kb) 72172

[startup+1794.2 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 20259
/proc/meminfo: memFree=1585472/2055920 swapFree=4180864/4192956
[pid=20257] ppid=20255 vsize=72172 CPUtime=1793.64
/proc/20257/stat : 20257 (bsolo) R 20255 20257 20211 0 -1 0 17644 0 0 0 178978 386 0 0 25 0 1 0 198977664 73904128 17179 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534124 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20257/statm: 18043 17179 297 55 0 16935 0
Current children cumulated CPU time (s) 1793.64
Current children cumulated vsize (Kb) 72172

[startup+1795.2 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 20259
/proc/meminfo: memFree=1585408/2055920 swapFree=4180864/4192956
[pid=20257] ppid=20255 vsize=72172 CPUtime=1794.66
/proc/20257/stat : 20257 (bsolo) R 20255 20257 20211 0 -1 0 17644 0 0 0 179079 387 0 0 25 0 1 0 198977664 73904128 17179 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534815 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20257/statm: 18043 17179 297 55 0 16935 0
Current children cumulated CPU time (s) 1794.66
Current children cumulated vsize (Kb) 72172

[startup+1796.21 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 20259
/proc/meminfo: memFree=1585408/2055920 swapFree=4180864/4192956
[pid=20257] ppid=20255 vsize=72172 CPUtime=1795.66
/proc/20257/stat : 20257 (bsolo) R 20255 20257 20211 0 -1 0 17644 0 0 0 179179 387 0 0 25 0 1 0 198977664 73904128 17179 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557833 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20257/statm: 18043 17179 297 55 0 16935 0
Current children cumulated CPU time (s) 1795.66
Current children cumulated vsize (Kb) 72172

[startup+1797.21 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 20259
/proc/meminfo: memFree=1585408/2055920 swapFree=4180864/4192956
[pid=20257] ppid=20255 vsize=72172 CPUtime=1796.66
/proc/20257/stat : 20257 (bsolo) R 20255 20257 20211 0 -1 0 17644 0 0 0 179279 387 0 0 25 0 1 0 198977664 73904128 17179 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20257/statm: 18043 17179 297 55 0 16935 0
Current children cumulated CPU time (s) 1796.66
Current children cumulated vsize (Kb) 72172

[startup+1798.22 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 20259
/proc/meminfo: memFree=1585408/2055920 swapFree=4180864/4192956
[pid=20257] ppid=20255 vsize=72172 CPUtime=1797.67
/proc/20257/stat : 20257 (bsolo) R 20255 20257 20211 0 -1 0 17644 0 0 0 179380 387 0 0 25 0 1 0 198977664 73904128 17179 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548386 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20257/statm: 18043 17179 297 55 0 16935 0
Current children cumulated CPU time (s) 1797.67
Current children cumulated vsize (Kb) 72172

[startup+1799.22 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 20259
/proc/meminfo: memFree=1585408/2055920 swapFree=4180864/4192956
[pid=20257] ppid=20255 vsize=72172 CPUtime=1798.67
/proc/20257/stat : 20257 (bsolo) R 20255 20257 20211 0 -1 0 17644 0 0 0 179480 387 0 0 25 0 1 0 198977664 73904128 17179 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20257/statm: 18043 17179 297 55 0 16935 0
Current children cumulated CPU time (s) 1798.67
Current children cumulated vsize (Kb) 72172

[startup+1800.23 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 20259
/proc/meminfo: memFree=1585408/2055920 swapFree=4180864/4192956
[pid=20257] ppid=20255 vsize=72172 CPUtime=1799.67
/proc/20257/stat : 20257 (bsolo) R 20255 20257 20211 0 -1 0 17644 0 0 0 179580 387 0 0 25 0 1 0 198977664 73904128 17179 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20257/statm: 18043 17179 297 55 0 16935 0
Current children cumulated CPU time (s) 1799.67
Current children cumulated vsize (Kb) 72172

Child status: 0
Real time (s): 1800.56
CPU time (s): 1800.01
CPU user time (s): 1796.12
CPU system time (s): 3.89041
CPU usage (%): 99.9697
Max. virtual memory (cumulated for all children) (Kb): 72280

Launcher Data (download as text)

Begin job on node9 on Sat Jun  3 11:12:33 UTC 2006


FILE ID= 39927-1149333153

PBS_JOBID= 310000

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

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  bba1c13067ee4807fb3278415b1e1268

RANDOM SEED= 605380876


/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.234
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.234
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:       1653680 kB
Buffers:          9332 kB
Cached:         337284 kB
SwapCached:       3652 kB
Active:          41528 kB
Inactive:       313644 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1653680 kB
SwapTotal:     4192956 kB
SwapFree:      4180864 kB
Dirty:             200 kB
Writeback:           0 kB
Mapped:          14720 kB
Slab:            33112 kB
Committed_AS:   345024 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 node9 on Sat Jun  3 11:42:34 UTC 2006