Trace number 46252

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 NameAnswerCPU timeWall clock time
bsolo 2006/05? 1800.01 1800.73

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-45-40.opb
MD5SUMbfd9076f83014271363fd9848b4f1d95
Bench CategorySATUNSAT-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.013997
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables1800
Total number of constraints85
Number of constraints which are clauses45
Number of constraints which are cardinality constraints (but not clauses)40
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint40
Maximum length of a constraint45
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 46
Number of bits of the biggest sum of numbers6
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.02	c Time Limit set via PBTIMEOUT to 1800
0.14	c INFO: OSL Context initialized.
0.16	c Initial problem consists of 1800 variables and 85 constraints.
0.16	c Using non-optimization problem switches.
0.16	c No problem reductions applied in OPT. instance.
0.16	c	preprocess terminated. Elapsed time: 0.035
0.16	c After prepocess the problem consists of 1800 variables and 85 constraints.
0.21	c Restart #1 #Var: 1800 LB: 0 @ 0.088
0.26	c Restart #2 #Var: 1800 LB: 0 @ 0.132
0.33	c Restart #3 #Var: 1800 LB: 0 @ 0.2
0.43	c Restart #4 #Var: 1800 LB: 0 @ 0.303
0.55	c Restart #5 #Var: 1800 LB: 0 @ 0.427
0.71	c Restart #6 #Var: 1800 LB: 0 @ 0.587
0.90	c Restart #7 #Var: 1800 LB: 0 @ 0.771
1.11	c Restart #8 #Var: 1800 LB: 0 @ 0.982
1.34	c Restart #9 #Var: 1800 LB: 0 @ 1.213
1.60	c Restart #10 #Var: 1800 LB: 0 @ 1.475
1.88	c Restart #11 #Var: 1800 LB: 0 @ 1.759
2.21	c Restart #12 #Var: 1800 LB: 0 @ 2.082
2.54	c Restart #13 #Var: 1800 LB: 0 @ 2.413
2.91	c Restart #14 #Var: 1800 LB: 0 @ 2.782
3.31	c Restart #15 #Var: 1800 LB: 0 @ 3.18
3.72	c Restart #16 #Var: 1800 LB: 0 @ 3.594
4.18	c Restart #17 #Var: 1800 LB: 0 @ 4.05
4.60	c Restart #18 #Var: 1800 LB: 0 @ 4.478
5.07	c Restart #19 #Var: 1800 LB: 0 @ 4.942
5.54	c Restart #20 #Var: 1800 LB: 0 @ 5.414
6.05	c Restart #21 #Var: 1800 LB: 0 @ 5.921
6.56	c Restart #22 #Var: 1800 LB: 0 @ 6.438
7.14	c Restart #23 #Var: 1800 LB: 0 @ 7.016
7.72	c Restart #24 #Var: 1800 LB: 0 @ 7.593
8.39	c Restart #25 #Var: 1800 LB: 0 @ 8.264
9.34	c Restart #26 #Var: 1800 LB: 0 @ 9.21
10.50	c Restart #27 #Var: 1800 LB: 0 @ 10.365
11.53	c Restart #28 #Var: 1800 LB: 0 @ 11.398
12.33	c Restart #29 #Var: 1800 LB: 0 @ 12.194
13.19	c Restart #30 #Var: 1800 LB: 0 @ 13.056
14.06	c Restart #31 #Var: 1800 LB: 0 @ 13.928
14.97	c Restart #32 #Var: 1800 LB: 0 @ 14.839
15.90	c Restart #33 #Var: 1800 LB: 0 @ 15.766
16.86	c Restart #34 #Var: 1800 LB: 0 @ 16.729
17.84	c Restart #35 #Var: 1800 LB: 0 @ 17.707
18.85	c Restart #36 #Var: 1800 LB: 0 @ 18.713
19.89	c Restart #37 #Var: 1800 LB: 0 @ 19.755
21.00	c Restart #38 #Var: 1800 LB: 0 @ 20.864
22.18	c Restart #39 #Var: 1800 LB: 0 @ 22.046
23.35	c Restart #40 #Var: 1800 LB: 0 @ 23.214
24.54	c Restart #41 #Var: 1800 LB: 0 @ 24.406
25.79	c Restart #42 #Var: 1800 LB: 0 @ 25.655
27.03	c Restart #43 #Var: 1800 LB: 0 @ 26.89
28.30	c Restart #44 #Var: 1800 LB: 0 @ 28.165
29.62	c Restart #45 #Var: 1800 LB: 0 @ 29.483
30.94	c Restart #46 #Var: 1800 LB: 0 @ 30.801
32.32	c Restart #47 #Var: 1800 LB: 0 @ 32.177
33.70	c Restart #48 #Var: 1800 LB: 0 @ 33.56
35.11	c Restart #49 #Var: 1800 LB: 0 @ 34.975
36.58	c Restart #50 #Var: 1800 LB: 0 @ 36.442
38.11	c Restart #51 #Var: 1800 LB: 0 @ 37.967
39.59	c Restart #52 #Var: 1800 LB: 0 @ 39.454
41.15	c Restart #53 #Var: 1800 LB: 0 @ 41.005
42.70	c Restart #54 #Var: 1800 LB: 0 @ 42.561
44.32	c Restart #55 #Var: 1800 LB: 0 @ 44.175
45.95	c Restart #56 #Var: 1800 LB: 0 @ 45.806
47.66	c Restart #57 #Var: 1800 LB: 0 @ 47.516
49.40	c Restart #58 #Var: 1800 LB: 0 @ 49.252
51.16	c Restart #59 #Var: 1800 LB: 0 @ 51.02
52.95	c Restart #60 #Var: 1800 LB: 0 @ 52.803
54.76	c Restart #61 #Var: 1800 LB: 0 @ 54.615
56.68	c Restart #62 #Var: 1800 LB: 0 @ 56.532
58.56	c Restart #63 #Var: 1800 LB: 0 @ 58.41
60.46	c Restart #64 #Var: 1800 LB: 0 @ 60.313
62.42	c Restart #65 #Var: 1800 LB: 0 @ 62.272
64.44	c Restart #66 #Var: 1800 LB: 0 @ 64.29
66.42	c Restart #67 #Var: 1800 LB: 0 @ 66.275
68.41	c Restart #68 #Var: 1800 LB: 0 @ 68.262
70.48	c Restart #69 #Var: 1800 LB: 0 @ 70.33
72.54	c Restart #70 #Var: 1800 LB: 0 @ 72.391
74.67	c Restart #71 #Var: 1800 LB: 0 @ 74.522
76.84	c Restart #72 #Var: 1800 LB: 0 @ 76.69
79.08	c Restart #73 #Var: 1800 LB: 0 @ 78.932
81.31	c Restart #74 #Var: 1800 LB: 0 @ 81.154
83.57	c Restart #75 #Var: 1800 LB: 0 @ 83.422
85.82	c Restart #76 #Var: 1800 LB: 0 @ 85.666
88.17	c Restart #77 #Var: 1800 LB: 0 @ 88.019
90.51	c Restart #78 #Var: 1800 LB: 0 @ 90.354
92.93	c Restart #79 #Var: 1800 LB: 0 @ 92.769
95.32	c Restart #80 #Var: 1800 LB: 0 @ 95.166
97.83	c Restart #81 #Var: 1800 LB: 0 @ 97.67
100.28	c Restart #82 #Var: 1800 LB: 0 @ 100.12
102.83	c Restart #83 #Var: 1800 LB: 0 @ 102.67
105.37	c Restart #84 #Var: 1800 LB: 0 @ 105.22
107.89	c Restart #85 #Var: 1800 LB: 0 @ 107.73
110.45	c Restart #86 #Var: 1800 LB: 0 @ 110.29
113.04	c Restart #87 #Var: 1800 LB: 0 @ 112.88
115.65	c Restart #88 #Var: 1800 LB: 0 @ 115.49
118.33	c Restart #89 #Var: 1800 LB: 0 @ 118.17
121.14	c Restart #90 #Var: 1800 LB: 0 @ 120.98
123.95	c Restart #91 #Var: 1800 LB: 0 @ 123.79
126.94	c Restart #92 #Var: 1800 LB: 0 @ 126.77
129.92	c Restart #93 #Var: 1800 LB: 0 @ 129.75
132.91	c Restart #94 #Var: 1800 LB: 0 @ 132.74
135.94	c Restart #95 #Var: 1800 LB: 0 @ 135.78
139.07	c Restart #96 #Var: 1800 LB: 0 @ 138.91
142.31	c Restart #97 #Var: 1800 LB: 0 @ 142.14
145.53	c Restart #98 #Var: 1800 LB: 0 @ 145.36
148.78	c Restart #99 #Var: 1800 LB: 0 @ 148.61
152.10	c Restart #100 #Var: 1800 LB: 0 @ 151.93
155.33	c Restart #101 #Var: 1800 LB: 0 @ 155.16
158.62	c Restart #102 #Var: 1800 LB: 0 @ 158.45
161.86	c Restart #103 #Var: 1800 LB: 0 @ 161.68
165.11	c Restart #104 #Var: 1800 LB: 0 @ 164.93
168.45	c Restart #105 #Var: 1800 LB: 0 @ 168.27
171.80	c Restart #106 #Var: 1800 LB: 0 @ 171.63
175.21	c Restart #107 #Var: 1800 LB: 0 @ 175.03
178.62	c Restart #108 #Var: 1800 LB: 0 @ 178.44
182.35	c Restart #109 #Var: 1800 LB: 0 @ 182.16
186.01	c Restart #110 #Var: 1800 LB: 0 @ 185.83
189.75	c Restart #111 #Var: 1800 LB: 0 @ 189.57
193.62	c Restart #112 #Var: 1800 LB: 0 @ 193.44
197.40	c Restart #113 #Var: 1800 LB: 0 @ 197.22
201.33	c Restart #114 #Var: 1800 LB: 0 @ 201.15
205.30	c Restart #115 #Var: 1800 LB: 0 @ 205.11
209.28	c Restart #116 #Var: 1800 LB: 0 @ 209.09
213.28	c Restart #117 #Var: 1800 LB: 0 @ 213.09
217.39	c Restart #118 #Var: 1800 LB: 0 @ 217.2
221.48	c Restart #119 #Var: 1800 LB: 0 @ 221.29
225.68	c Restart #120 #Var: 1800 LB: 0 @ 225.49
229.87	c Restart #121 #Var: 1800 LB: 0 @ 229.68
234.14	c Restart #122 #Var: 1800 LB: 0 @ 233.94
238.45	c Restart #123 #Var: 1800 LB: 0 @ 238.25
242.43	c Restart #124 #Var: 1800 LB: 0 @ 242.24
246.75	c Restart #125 #Var: 1800 LB: 0 @ 246.55
251.17	c Restart #126 #Var: 1800 LB: 0 @ 250.97
255.57	c Restart #127 #Var: 1800 LB: 0 @ 255.37
260.18	c Restart #128 #Var: 1800 LB: 0 @ 259.98
264.67	c Restart #129 #Var: 1800 LB: 0 @ 264.46
269.19	c Restart #130 #Var: 1800 LB: 0 @ 268.99
273.85	c Restart #131 #Var: 1800 LB: 0 @ 273.64
278.50	c Restart #132 #Var: 1800 LB: 0 @ 278.29
283.12	c Restart #133 #Var: 1800 LB: 0 @ 282.92
287.97	c Restart #134 #Var: 1800 LB: 0 @ 287.76
292.90	c Restart #135 #Var: 1800 LB: 0 @ 292.69
297.70	c Restart #136 #Var: 1800 LB: 0 @ 297.49
302.66	c Restart #137 #Var: 1800 LB: 0 @ 302.44
307.57	c Restart #138 #Var: 1800 LB: 0 @ 307.36
312.50	c Restart #139 #Var: 1800 LB: 0 @ 312.28
317.34	c Restart #140 #Var: 1800 LB: 0 @ 317.13
322.25	c Restart #141 #Var: 1800 LB: 0 @ 322.03
327.16	c Restart #142 #Var: 1800 LB: 0 @ 326.94
331.49	c Restart #143 #Var: 1800 LB: 0 @ 331.27
336.08	c Restart #144 #Var: 1800 LB: 0 @ 335.86
341.34	c Restart #145 #Var: 1800 LB: 0 @ 341.12
346.40	c Restart #146 #Var: 1800 LB: 0 @ 346.17
351.57	c Restart #147 #Var: 1800 LB: 0 @ 351.35
356.91	c Restart #148 #Var: 1800 LB: 0 @ 356.68
362.32	c Restart #149 #Var: 1800 LB: 0 @ 362.09
368.05	c Restart #150 #Var: 1800 LB: 0 @ 367.82
373.75	c Restart #151 #Var: 1800 LB: 0 @ 373.52
379.50	c Restart #152 #Var: 1800 LB: 0 @ 379.27
385.15	c Restart #153 #Var: 1800 LB: 0 @ 384.91
390.75	c Restart #154 #Var: 1800 LB: 0 @ 390.51
395.99	c Restart #155 #Var: 1800 LB: 0 @ 395.75
401.11	c Restart #156 #Var: 1800 LB: 0 @ 400.87
407.02	c Restart #157 #Var: 1800 LB: 0 @ 406.78
412.77	c Restart #158 #Var: 1800 LB: 0 @ 412.53
418.61	c Restart #159 #Var: 1800 LB: 0 @ 418.37
424.52	c Restart #160 #Var: 1800 LB: 0 @ 424.27
430.38	c Restart #161 #Var: 1800 LB: 0 @ 430.13
436.43	c Restart #162 #Var: 1800 LB: 0 @ 436.18
442.43	c Restart #163 #Var: 1800 LB: 0 @ 442.18
448.56	c Restart #164 #Var: 1800 LB: 0 @ 448.3
454.52	c Restart #165 #Var: 1800 LB: 0 @ 454.26
460.65	c Restart #166 #Var: 1800 LB: 0 @ 460.39
466.83	c Restart #167 #Var: 1800 LB: 0 @ 466.57
473.11	c Restart #168 #Var: 1800 LB: 0 @ 472.85
479.36	c Restart #169 #Var: 1800 LB: 0 @ 479.1
485.94	c Restart #170 #Var: 1800 LB: 0 @ 485.68
492.50	c Restart #171 #Var: 1800 LB: 0 @ 492.24
499.22	c Restart #172 #Var: 1800 LB: 0 @ 498.95
505.63	c Restart #173 #Var: 1800 LB: 0 @ 505.36
512.23	c Restart #174 #Var: 1800 LB: 0 @ 511.95
518.93	c Restart #175 #Var: 1800 LB: 0 @ 518.66
526.15	c Restart #176 #Var: 1800 LB: 0 @ 525.88
532.94	c Restart #177 #Var: 1800 LB: 0 @ 532.66
539.74	c Restart #178 #Var: 1800 LB: 0 @ 539.47
546.99	c Restart #179 #Var: 1800 LB: 0 @ 546.71
554.25	c Restart #180 #Var: 1800 LB: 0 @ 553.94
561.23	c Restart #181 #Var: 1800 LB: 0 @ 560.9
568.31	c Restart #182 #Var: 1800 LB: 0 @ 567.97
575.75	c Restart #183 #Var: 1800 LB: 0 @ 575.38
583.30	c Restart #184 #Var: 1800 LB: 0 @ 582.92
590.85	c Restart #185 #Var: 1800 LB: 0 @ 590.47
598.75	c Restart #186 #Var: 1800 LB: 0 @ 598.36
606.74	c Restart #187 #Var: 1800 LB: 0 @ 606.35
614.37	c Restart #188 #Var: 1800 LB: 0 @ 613.98
622.95	c Restart #189 #Var: 1800 LB: 0 @ 622.55
631.27	c Restart #190 #Var: 1800 LB: 0 @ 630.87
639.30	c Restart #191 #Var: 1800 LB: 0 @ 638.91
648.00	c Restart #192 #Var: 1800 LB: 0 @ 647.6
656.62	c Restart #193 #Var: 1800 LB: 0 @ 656.22
665.29	c Restart #194 #Var: 1800 LB: 0 @ 664.88
674.15	c Restart #195 #Var: 1800 LB: 0 @ 673.74
683.11	c Restart #196 #Var: 1800 LB: 0 @ 682.7
692.07	c Restart #197 #Var: 1800 LB: 0 @ 691.65
700.90	c Restart #198 #Var: 1800 LB: 0 @ 700.49
710.09	c Restart #199 #Var: 1800 LB: 0 @ 709.68
719.29	c Restart #200 #Var: 1800 LB: 0 @ 718.87
728.96	c Restart #201 #Var: 1800 LB: 0 @ 728.53
738.25	c Restart #202 #Var: 1800 LB: 0 @ 737.82
747.89	c Restart #203 #Var: 1800 LB: 0 @ 747.47
757.32	c Restart #204 #Var: 1800 LB: 0 @ 756.89
766.75	c Restart #205 #Var: 1800 LB: 0 @ 766.32
776.72	c Restart #206 #Var: 1800 LB: 0 @ 776.29
786.72	c Restart #207 #Var: 1800 LB: 0 @ 786.28
797.26	c Restart #208 #Var: 1800 LB: 0 @ 796.81
807.56	c Restart #209 #Var: 1800 LB: 0 @ 807.12
817.76	c Restart #210 #Var: 1800 LB: 0 @ 817.31
828.46	c Restart #211 #Var: 1800 LB: 0 @ 828.01
838.79	c Restart #212 #Var: 1800 LB: 0 @ 838.34
849.60	c Restart #213 #Var: 1800 LB: 0 @ 849.15
860.37	c Restart #214 #Var: 1800 LB: 0 @ 859.91
871.52	c Restart #215 #Var: 1800 LB: 0 @ 871.05
882.93	c Restart #216 #Var: 1800 LB: 0 @ 882.47
893.78	c Restart #217 #Var: 1800 LB: 0 @ 893.31
904.20	c CHANGE Heuristic... 
904.20	c Restart #0 #Var: 1800 LB: 0 @ 903.73
904.23	c Restart #1 #Var: 1800 LB: 0 @ 903.76
904.30	c Restart #2 #Var: 1800 LB: 0 @ 903.83
904.41	c Restart #3 #Var: 1800 LB: 0 @ 903.93
904.54	c Restart #4 #Var: 1800 LB: 0 @ 904.07
904.72	c Restart #5 #Var: 1800 LB: 0 @ 904.24
904.92	c Restart #6 #Var: 1800 LB: 0 @ 904.45
905.18	c Restart #7 #Var: 1800 LB: 0 @ 904.7
905.47	c Restart #8 #Var: 1800 LB: 0 @ 905
905.77	c Restart #9 #Var: 1800 LB: 0 @ 905.3
906.13	c Restart #10 #Var: 1800 LB: 0 @ 905.66
906.50	c Restart #11 #Var: 1800 LB: 0 @ 906.02
906.89	c Restart #12 #Var: 1800 LB: 0 @ 906.42
907.28	c Restart #13 #Var: 1800 LB: 0 @ 906.81
907.71	c Restart #14 #Var: 1800 LB: 0 @ 907.24
908.18	c Restart #15 #Var: 1800 LB: 0 @ 907.71
908.66	c Restart #16 #Var: 1800 LB: 0 @ 908.18
909.17	c Restart #17 #Var: 1800 LB: 0 @ 908.7
909.75	c Restart #18 #Var: 1800 LB: 0 @ 909.28
910.38	c Restart #19 #Var: 1800 LB: 0 @ 909.91
911.03	c Restart #20 #Var: 1800 LB: 0 @ 910.55
911.70	c Restart #21 #Var: 1800 LB: 0 @ 911.23
912.41	c Restart #22 #Var: 1800 LB: 0 @ 911.94
913.20	c Restart #23 #Var: 1800 LB: 0 @ 912.73
914.03	c Restart #24 #Var: 1800 LB: 0 @ 913.56
914.85	c Restart #25 #Var: 1800 LB: 0 @ 914.37
915.81	c Restart #26 #Var: 1800 LB: 0 @ 915.34
916.82	c Restart #27 #Var: 1800 LB: 0 @ 916.34
917.78	c Restart #28 #Var: 1800 LB: 0 @ 917.31
918.81	c Restart #29 #Var: 1800 LB: 0 @ 918.34
919.83	c Restart #30 #Var: 1800 LB: 0 @ 919.36
920.92	c Restart #31 #Var: 1800 LB: 0 @ 920.44
922.01	c Restart #32 #Var: 1800 LB: 0 @ 921.53
923.20	c Restart #33 #Var: 1800 LB: 0 @ 922.73
924.39	c Restart #34 #Var: 1800 LB: 0 @ 923.91
925.62	c Restart #35 #Var: 1800 LB: 0 @ 925.14
926.85	c Restart #36 #Var: 1800 LB: 0 @ 926.37
928.15	c Restart #37 #Var: 1800 LB: 0 @ 927.67
929.49	c Restart #38 #Var: 1800 LB: 0 @ 929.01
930.87	c Restart #39 #Var: 1800 LB: 0 @ 930.39
932.26	c Restart #40 #Var: 1800 LB: 0 @ 931.78
933.68	c Restart #41 #Var: 1800 LB: 0 @ 933.2
935.24	c Restart #42 #Var: 1800 LB: 0 @ 934.76
936.76	c Restart #43 #Var: 1800 LB: 0 @ 936.28
938.27	c Restart #44 #Var: 1800 LB: 0 @ 937.79
939.94	c Restart #45 #Var: 1800 LB: 0 @ 939.46
941.67	c Restart #46 #Var: 1800 LB: 0 @ 941.19
943.51	c Restart #47 #Var: 1800 LB: 0 @ 943.03
945.42	c Restart #48 #Var: 1800 LB: 0 @ 944.93
947.40	c Restart #49 #Var: 1800 LB: 0 @ 946.92
949.32	c Restart #50 #Var: 1800 LB: 0 @ 948.84
951.09	c Restart #51 #Var: 1800 LB: 0 @ 950.61
952.98	c Restart #52 #Var: 1800 LB: 0 @ 952.49
954.90	c Restart #53 #Var: 1800 LB: 0 @ 954.41
956.80	c Restart #54 #Var: 1800 LB: 0 @ 956.31
958.89	c Restart #55 #Var: 1800 LB: 0 @ 958.4
961.05	c Restart #56 #Var: 1800 LB: 0 @ 960.56
963.24	c Restart #57 #Var: 1800 LB: 0 @ 962.75
965.26	c Restart #58 #Var: 1800 LB: 0 @ 964.78
967.43	c Restart #59 #Var: 1800 LB: 0 @ 966.94
969.64	c Restart #60 #Var: 1800 LB: 0 @ 969.15
971.89	c Restart #61 #Var: 1800 LB: 0 @ 971.4
974.13	c Restart #62 #Var: 1800 LB: 0 @ 973.64
976.44	c Restart #63 #Var: 1800 LB: 0 @ 975.95
978.87	c Restart #64 #Var: 1800 LB: 0 @ 978.38
981.38	c Restart #65 #Var: 1800 LB: 0 @ 980.89
984.02	c Restart #66 #Var: 1800 LB: 0 @ 983.53
986.63	c Restart #67 #Var: 1800 LB: 0 @ 986.14
989.31	c Restart #68 #Var: 1800 LB: 0 @ 988.82
992.15	c Restart #69 #Var: 1800 LB: 0 @ 991.65
995.09	c Restart #70 #Var: 1800 LB: 0 @ 994.59
998.01	c Restart #71 #Var: 1800 LB: 0 @ 997.51
1001.04	c Restart #72 #Var: 1800 LB: 0 @ 1000.5
1004.33	c Restart #73 #Var: 1800 LB: 0 @ 1003.8
1007.66	c Restart #74 #Var: 1800 LB: 0 @ 1007.2
1011.43	c Restart #75 #Var: 1800 LB: 0 @ 1010.9
1015.04	c Restart #76 #Var: 1800 LB: 0 @ 1014.5
1018.82	c Restart #77 #Var: 1800 LB: 0 @ 1018.3
1022.78	c Restart #78 #Var: 1800 LB: 0 @ 1022.3
1026.91	c Restart #79 #Var: 1800 LB: 0 @ 1026.4
1030.83	c Restart #80 #Var: 1800 LB: 0 @ 1030.3
1034.92	c Restart #81 #Var: 1800 LB: 0 @ 1034.4
1039.24	c Restart #82 #Var: 1800 LB: 0 @ 1038.7
1043.52	c Restart #83 #Var: 1800 LB: 0 @ 1043
1047.69	c Restart #84 #Var: 1800 LB: 0 @ 1047.2
1052.07	c Restart #85 #Var: 1800 LB: 0 @ 1051.6
1056.47	c Restart #86 #Var: 1800 LB: 0 @ 1056
1060.53	c Restart #87 #Var: 1800 LB: 0 @ 1060
1064.91	c Restart #88 #Var: 1800 LB: 0 @ 1064.4
1069.43	c Restart #89 #Var: 1800 LB: 0 @ 1068.9
1074.04	c Restart #90 #Var: 1800 LB: 0 @ 1073.5
1079.04	c Restart #91 #Var: 1800 LB: 0 @ 1078.5
1084.06	c Restart #92 #Var: 1800 LB: 0 @ 1083.5
1089.09	c Restart #93 #Var: 1800 LB: 0 @ 1088.6
1094.23	c Restart #94 #Var: 1800 LB: 0 @ 1093.7
1099.33	c Restart #95 #Var: 1800 LB: 0 @ 1098.8
1104.31	c Restart #96 #Var: 1800 LB: 0 @ 1103.8
1109.30	c Restart #97 #Var: 1800 LB: 0 @ 1108.8
1114.43	c Restart #98 #Var: 1800 LB: 0 @ 1113.9
1119.77	c Restart #99 #Var: 1800 LB: 0 @ 1119.2
1125.35	c Restart #100 #Var: 1800 LB: 0 @ 1124.8
1130.88	c Restart #101 #Var: 1800 LB: 0 @ 1130.4
1136.46	c Restart #102 #Var: 1800 LB: 0 @ 1135.9
1142.26	c Restart #103 #Var: 1800 LB: 0 @ 1141.7
1148.09	c Restart #104 #Var: 1800 LB: 0 @ 1147.6
1153.82	c Restart #105 #Var: 1800 LB: 0 @ 1153.3
1159.91	c Restart #106 #Var: 1800 LB: 0 @ 1159.4
1166.22	c Restart #107 #Var: 1800 LB: 0 @ 1165.7
1172.78	c Restart #108 #Var: 1800 LB: 0 @ 1172.2
1179.61	c Restart #109 #Var: 1800 LB: 0 @ 1179.1
1186.28	c Restart #110 #Var: 1800 LB: 0 @ 1185.7
1192.88	c Restart #111 #Var: 1800 LB: 0 @ 1192.3
1199.26	c Restart #112 #Var: 1800 LB: 0 @ 1198.7
1206.00	c Restart #113 #Var: 1800 LB: 0 @ 1205.4
1212.46	c Restart #114 #Var: 1800 LB: 0 @ 1211.9
1219.68	c Restart #115 #Var: 1800 LB: 0 @ 1219.1
1226.67	c Restart #116 #Var: 1800 LB: 0 @ 1226.1
1233.65	c Restart #117 #Var: 1800 LB: 0 @ 1233.1
1240.94	c Restart #118 #Var: 1800 LB: 0 @ 1240.4
1248.08	c Restart #119 #Var: 1800 LB: 0 @ 1247.5
1255.38	c Restart #120 #Var: 1800 LB: 0 @ 1254.8
1262.56	c Restart #121 #Var: 1800 LB: 0 @ 1262
1269.69	c Restart #122 #Var: 1800 LB: 0 @ 1269.1
1276.94	c Restart #123 #Var: 1800 LB: 0 @ 1276.4
1284.12	c Restart #124 #Var: 1800 LB: 0 @ 1283.5
1291.39	c Restart #125 #Var: 1800 LB: 0 @ 1290.8
1298.99	c Restart #126 #Var: 1800 LB: 0 @ 1298.4
1306.48	c Restart #127 #Var: 1800 LB: 0 @ 1305.9
1314.14	c Restart #128 #Var: 1800 LB: 0 @ 1313.6
1322.50	c Restart #129 #Var: 1800 LB: 0 @ 1321.9
1331.37	c Restart #130 #Var: 1800 LB: 0 @ 1330.8
1340.40	c Restart #131 #Var: 1800 LB: 0 @ 1339.8
1348.48	c Restart #132 #Var: 1800 LB: 0 @ 1347.9
1356.52	c Restart #133 #Var: 1800 LB: 0 @ 1355.9
1364.37	c Restart #134 #Var: 1800 LB: 0 @ 1363.8
1372.55	c Restart #135 #Var: 1800 LB: 0 @ 1372
1380.90	c Restart #136 #Var: 1800 LB: 0 @ 1380.3
1389.93	c Restart #137 #Var: 1800 LB: 0 @ 1389.3
1398.74	c Restart #138 #Var: 1800 LB: 0 @ 1398.1
1408.02	c Restart #139 #Var: 1800 LB: 0 @ 1407.4
1417.47	c Restart #140 #Var: 1800 LB: 0 @ 1416.9
1426.93	c Restart #141 #Var: 1800 LB: 0 @ 1426.3
1435.45	c Restart #142 #Var: 1800 LB: 0 @ 1434.8
1444.97	c Restart #143 #Var: 1800 LB: 0 @ 1444.3
1454.52	c Restart #144 #Var: 1800 LB: 0 @ 1453.9
1464.03	c Restart #145 #Var: 1800 LB: 0 @ 1463.4
1473.66	c Restart #146 #Var: 1800 LB: 0 @ 1473
1482.88	c Restart #147 #Var: 1800 LB: 0 @ 1482.3
1492.91	c Restart #148 #Var: 1800 LB: 0 @ 1492.3
1502.51	c Restart #149 #Var: 1800 LB: 0 @ 1501.9
1512.08	c Restart #150 #Var: 1800 LB: 0 @ 1511.4
1521.72	c Restart #151 #Var: 1800 LB: 0 @ 1521.1
1531.71	c Restart #152 #Var: 1800 LB: 0 @ 1531.1
1542.26	c Restart #153 #Var: 1800 LB: 0 @ 1541.6
1552.40	c Restart #154 #Var: 1800 LB: 0 @ 1551.7
1562.99	c Restart #155 #Var: 1800 LB: 0 @ 1562.3
1573.31	c Restart #156 #Var: 1800 LB: 0 @ 1572.7
1583.87	c Restart #157 #Var: 1800 LB: 0 @ 1583.2
1594.20	c Restart #158 #Var: 1800 LB: 0 @ 1593.5
1604.70	c Restart #159 #Var: 1800 LB: 0 @ 1604
1615.20	c Restart #160 #Var: 1800 LB: 0 @ 1614.5
1625.29	c Restart #161 #Var: 1800 LB: 0 @ 1624.6
1635.88	c Restart #162 #Var: 1800 LB: 0 @ 1635.2
1646.16	c Restart #163 #Var: 1800 LB: 0 @ 1645.5
1657.23	c Restart #164 #Var: 1800 LB: 0 @ 1656.6
1668.76	c Restart #165 #Var: 1800 LB: 0 @ 1668.1
1679.62	c Restart #166 #Var: 1800 LB: 0 @ 1678.9
1691.21	c Restart #167 #Var: 1800 LB: 0 @ 1690.5
1702.67	c Restart #168 #Var: 1800 LB: 0 @ 1702
1714.50	c Restart #169 #Var: 1800 LB: 0 @ 1713.8
1726.34	c Restart #170 #Var: 1800 LB: 0 @ 1725.6
1737.37	c Restart #171 #Var: 1800 LB: 0 @ 1736.7
1748.78	c Restart #172 #Var: 1800 LB: 0 @ 1748.1
1760.29	c Restart #173 #Var: 1800 LB: 0 @ 1759.6
1772.63	c Restart #174 #Var: 1800 LB: 0 @ 1771.9
1784.95	c Restart #175 #Var: 1800 LB: 0 @ 1784.2
1797.27	c Restart #176 #Var: 1800 LB: 0 @ 1796.6
1800.72	s UNKNOWN
1800.72	c Exit Code: 0
1800.72	c Total time: 1800 s

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds
Enforcing Stack size limit: 67108864 bytes

runsolver version 3.0.3 (c) roussel@cril.univ-artois.fr

Enforcing memory limit (will send SIGKILL): 1843200 Kb
Enforcing VSIZE limit: 1887436800 bytes
command line: runsolver --timestamp -w ROOT/results/node56/watcher-46252-1154055111 -o ROOT/results/node56/solver-46252-1154055111 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node56/46252-1154055111/instance-46252-1154055111.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.99 1.01 1.00 2/64 31934
/proc/meminfo: memFree=1558176/2055920 swapFree=4183496/4192956
[pid=31934] ppid=31932 vsize=2900 CPUtime=0
/proc/31934/stat : 31934 (bsolo) D 31932 31934 31885 0 -1 0 43 0 1 0 0 0 0 0 18 0 1 0 152381086 2969600 27 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 10027812 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/31934/statm: 725 27 19 55 0 38 0

[startup+10.0018 s]
/proc/loadavg: 0.99 1.01 1.00 2/64 31934
/proc/meminfo: memFree=1552480/2055920 swapFree=4183496/4192956
[pid=31934] ppid=31932 vsize=7784 CPUtime=9.86
/proc/31934/stat : 31934 (bsolo) R 31932 31934 31885 0 -1 0 1183 0 11 0 982 4 0 0 25 0 1 0 152381086 7970816 1108 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134718240 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31934/statm: 1946 1108 296 55 0 838 0
Current children cumulated CPU time (s) 9.86
Current children cumulated vsize (Kb) 7784

[startup+20.0077 s]
/proc/loadavg: 0.99 1.01 1.00 2/64 31934
/proc/meminfo: memFree=1552480/2055920 swapFree=4183496/4192956
[pid=31934] ppid=31932 vsize=7784 CPUtime=19.86
/proc/31934/stat : 31934 (bsolo) R 31932 31934 31885 0 -1 0 1202 0 11 0 1979 7 0 0 25 0 1 0 152381086 7970816 1127 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31934/statm: 1946 1127 296 55 0 838 0
Current children cumulated CPU time (s) 19.86
Current children cumulated vsize (Kb) 7784

[startup+30.0137 s]
/proc/loadavg: 0.99 1.00 1.00 2/64 31934
/proc/meminfo: memFree=1552416/2055920 swapFree=4183496/4192956
[pid=31934] ppid=31932 vsize=7916 CPUtime=29.87
/proc/31934/stat : 31934 (bsolo) R 31932 31934 31885 0 -1 0 1221 0 11 0 2977 10 0 0 25 0 1 0 152381086 8105984 1146 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31934/statm: 1979 1146 296 55 0 871 0
Current children cumulated CPU time (s) 29.87
Current children cumulated vsize (Kb) 7916

[startup+40.0197 s]
/proc/loadavg: 0.99 1.00 1.00 2/64 31934
/proc/meminfo: memFree=1552352/2055920 swapFree=4183496/4192956
[pid=31934] ppid=31932 vsize=7916 CPUtime=39.87
/proc/31934/stat : 31934 (bsolo) R 31932 31934 31885 0 -1 0 1233 0 11 0 3973 14 0 0 25 0 1 0 152381086 8105984 1158 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134533975 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31934/statm: 1979 1158 296 55 0 871 0
Current children cumulated CPU time (s) 39.87
Current children cumulated vsize (Kb) 7916

[startup+50.0257 s]
/proc/loadavg: 0.99 1.00 1.00 2/64 31934
/proc/meminfo: memFree=1552352/2055920 swapFree=4183496/4192956
[pid=31934] ppid=31932 vsize=7916 CPUtime=49.88
/proc/31934/stat : 31934 (bsolo) R 31932 31934 31885 0 -1 0 1237 0 11 0 4971 17 0 0 25 0 1 0 152381086 8105984 1162 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134547755 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31934/statm: 1979 1162 296 55 0 871 0
Current children cumulated CPU time (s) 49.88
Current children cumulated vsize (Kb) 7916

[startup+60.0317 s]
/proc/loadavg: 0.99 1.00 1.00 2/64 31934
/proc/meminfo: memFree=1552352/2055920 swapFree=4183496/4192956
[pid=31934] ppid=31932 vsize=8044 CPUtime=59.87
/proc/31934/stat : 31934 (bsolo) R 31932 31934 31885 0 -1 0 1243 0 11 0 5968 19 0 0 25 0 1 0 152381086 8237056 1168 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31934/statm: 2011 1168 296 55 0 903 0
Current children cumulated CPU time (s) 59.87
Current children cumulated vsize (Kb) 8044

[startup+70.0377 s]
/proc/loadavg: 0.99 1.00 1.00 2/64 31934
/proc/meminfo: memFree=1552288/2055920 swapFree=4183496/4192956
[pid=31934] ppid=31932 vsize=8040 CPUtime=69.88
/proc/31934/stat : 31934 (bsolo) R 31932 31934 31885 0 -1 0 1257 0 11 0 6965 23 0 0 25 0 1 0 152381086 8232960 1182 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31934/statm: 2010 1182 296 55 0 902 0
Current children cumulated CPU time (s) 69.88
Current children cumulated vsize (Kb) 8040

[startup+80.0436 s]
/proc/loadavg: 0.99 1.00 1.00 2/64 31934
/proc/meminfo: memFree=1552288/2055920 swapFree=4183496/4192956
[pid=31934] ppid=31932 vsize=8040 CPUtime=79.88
/proc/31934/stat : 31934 (bsolo) R 31932 31934 31885 0 -1 0 1257 0 11 0 7962 26 0 0 25 0 1 0 152381086 8232960 1182 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31934/statm: 2010 1182 296 55 0 902 0
Current children cumulated CPU time (s) 79.88
Current children cumulated vsize (Kb) 8040

[startup+90.0496 s]
/proc/loadavg: 0.99 1.00 1.00 2/64 31934
/proc/meminfo: memFree=1552288/2055920 swapFree=4183496/4192956
[pid=31934] ppid=31932 vsize=8040 CPUtime=89.89
/proc/31934/stat : 31934 (bsolo) R 31932 31934 31885 0 -1 0 1261 0 11 0 8960 29 0 0 25 0 1 0 152381086 8232960 1186 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31934/statm: 2010 1186 296 55 0 902 0
Current children cumulated CPU time (s) 89.89
Current children cumulated vsize (Kb) 8040

[startup+100.056 s]
/proc/loadavg: 0.99 1.00 1.00 2/64 31934
/proc/meminfo: memFree=1552288/2055920 swapFree=4183496/4192956
[pid=31934] ppid=31932 vsize=8040 CPUtime=99.89
/proc/31934/stat : 31934 (bsolo) R 31932 31934 31885 0 -1 0 1261 0 11 0 9957 32 0 0 25 0 1 0 152381086 8232960 1186 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31934/statm: 2010 1186 296 55 0 902 0
Current children cumulated CPU time (s) 99.89
Current children cumulated vsize (Kb) 8040

[startup+110.062 s]
/proc/loadavg: 0.99 1.00 1.00 2/64 31934
/proc/meminfo: memFree=1552224/2055920 swapFree=4183496/4192956
[pid=31934] ppid=31932 vsize=8040 CPUtime=109.89
/proc/31934/stat : 31934 (bsolo) R 31932 31934 31885 0 -1 0 1267 0 11 0 10954 35 0 0 25 0 1 0 152381086 8232960 1192 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134632657 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31934/statm: 2010 1192 296 55 0 902 0
Current children cumulated CPU time (s) 109.89
Current children cumulated vsize (Kb) 8040

[startup+120.068 s]
/proc/loadavg: 0.99 1.00 1.00 2/64 31934
/proc/meminfo: memFree=1552160/2055920 swapFree=4183496/4192956
[pid=31934] ppid=31932 vsize=8164 CPUtime=119.89
/proc/31934/stat : 31934 (bsolo) R 31932 31934 31885 0 -1 0 1286 0 11 0 11950 39 0 0 25 0 1 0 152381086 8359936 1211 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548379 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31934/statm: 2041 1211 296 55 0 933 0
Current children cumulated CPU time (s) 119.89
Current children cumulated vsize (Kb) 8164

[startup+130.074 s]
/proc/loadavg: 0.99 1.00 1.00 2/64 31934
/proc/meminfo: memFree=1552096/2055920 swapFree=4183496/4192956
[pid=31934] ppid=31932 vsize=8164 CPUtime=129.9
/proc/31934/stat : 31934 (bsolo) R 31932 31934 31885 0 -1 0 1292 0 11 0 12948 42 0 0 25 0 1 0 152381086 8359936 1217 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31934/statm: 2041 1217 296 55 0 933 0
Current children cumulated CPU time (s) 129.9
Current children cumulated vsize (Kb) 8164

[startup+140.08 s]
/proc/loadavg: 0.99 1.00 1.00 2/64 31934
/proc/meminfo: memFree=1552160/2055920 swapFree=4183496/4192956
[pid=31934] ppid=31932 vsize=8164 CPUtime=139.9
/proc/31934/stat : 31934 (bsolo) R 31932 31934 31885 0 -1 0 1299 0 11 0 13946 44 0 0 25 0 1 0 152381086 8359936 1224 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31934/statm: 2041 1224 296 55 0 933 0
Current children cumulated CPU time (s) 139.9
Current children cumulated vsize (Kb) 8164

[startup+150.086 s]
/proc/loadavg: 0.99 1.00 1.00 2/64 31934
/proc/meminfo: memFree=1552160/2055920 swapFree=4183496/4192956
[pid=31934] ppid=31932 vsize=8288 CPUtime=149.9
/proc/31934/stat : 31934 (bsolo) R 31932 31934 31885 0 -1 0 1302 0 11 0 14944 46 0 0 25 0 1 0 152381086 8486912 1227 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31934/statm: 2072 1227 296 55 0 964 0
Current children cumulated CPU time (s) 149.9
Current children cumulated vsize (Kb) 8288

[startup+160.092 s]
/proc/loadavg: 0.99 1.00 1.00 2/64 31934
/proc/meminfo: memFree=1552096/2055920 swapFree=4183496/4192956
[pid=31934] ppid=31932 vsize=8288 CPUtime=159.91
/proc/31934/stat : 31934 (bsolo) R 31932 31934 31885 0 -1 0 1311 0 11 0 15942 49 0 0 25 0 1 0 152381086 8486912 1236 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31934/statm: 2072 1236 296 55 0 964 0
Current children cumulated CPU time (s) 159.91
Current children cumulated vsize (Kb) 8288

[startup+170.098 s]
/proc/loadavg: 0.99 1.00 1.00 2/64 31934
/proc/meminfo: memFree=1552032/2055920 swapFree=4183496/4192956
[pid=31934] ppid=31932 vsize=8288 CPUtime=169.92
/proc/31934/stat : 31934 (bsolo) R 31932 31934 31885 0 -1 0 1324 0 11 0 16939 53 0 0 25 0 1 0 152381086 8486912 1249 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31934/statm: 2072 1249 296 55 0 964 0
Current children cumulated CPU time (s) 169.92
Current children cumulated vsize (Kb) 8288

[startup+180.104 s]
/proc/loadavg: 0.99 1.00 1.00 2/64 31934
/proc/meminfo: memFree=1551904/2055920 swapFree=4183496/4192956
[pid=31934] ppid=31932 vsize=8412 CPUtime=179.92
/proc/31934/stat : 31934 (bsolo) R 31932 31934 31885 0 -1 0 1355 0 11 0 17936 56 0 0 25 0 1 0 152381086 8613888 1280 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134540702 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31934/statm: 2103 1280 296 55 0 995 0
Current children cumulated CPU time (s) 179.92
Current children cumulated vsize (Kb) 8412

[startup+190.11 s]
/proc/loadavg: 0.99 1.00 1.00 2/64 31934
/proc/meminfo: memFree=1551840/2055920 swapFree=4183496/4192956
[pid=31934] ppid=31932 vsize=8544 CPUtime=189.92
/proc/31934/stat : 31934 (bsolo) R 31932 31934 31885 0 -1 0 1364 0 11 0 18932 60 0 0 25 0 1 0 152381086 8749056 1289 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134529176 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31934/statm: 2136 1289 296 55 0 1028 0
Current children cumulated CPU time (s) 189.92
Current children cumulated vsize (Kb) 8544

[startup+200.115 s]
/proc/loadavg: 0.99 1.00 1.00 2/64 31934
/proc/meminfo: memFree=1551840/2055920 swapFree=4183496/4192956
[pid=31934] ppid=31932 vsize=8512 CPUtime=199.92
/proc/31934/stat : 31934 (bsolo) R 31932 31934 31885 0 -1 0 1366 0 11 0 19930 62 0 0 25 0 1 0 152381086 8716288 1291 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31934/statm: 2128 1291 296 55 0 1020 0
Current children cumulated CPU time (s) 199.92
Current children cumulated vsize (Kb) 8512

[startup+210.121 s]
/proc/loadavg: 0.99 1.00 1.00 2/64 31934

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

Current children cumulated CPU time (s) 1760.33
Current children cumulated vsize (Kb) 13296

[startup+1771.05 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 32132
/proc/meminfo: memFree=1546528/2055920 swapFree=4183496/4192956
[pid=31934] ppid=31932 vsize=13296 CPUtime=1770.33
/proc/31934/stat : 31934 (bsolo) R 31932 31934 31885 0 -1 0 2556 0 11 0 176609 424 0 0 25 0 1 0 152381086 13615104 2481 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31934/statm: 3324 2481 296 55 0 2216 0
Current children cumulated CPU time (s) 1770.33
Current children cumulated vsize (Kb) 13296

[startup+1781.06 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 32132
/proc/meminfo: memFree=1546464/2055920 swapFree=4183496/4192956
[pid=31934] ppid=31932 vsize=13288 CPUtime=1780.33
/proc/31934/stat : 31934 (bsolo) R 31932 31934 31885 0 -1 0 2560 0 11 0 177608 425 0 0 25 0 1 0 152381086 13606912 2485 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31934/statm: 3322 2485 296 55 0 2214 0
Current children cumulated CPU time (s) 1780.33
Current children cumulated vsize (Kb) 13288

[startup+1782.06 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 32132
/proc/meminfo: memFree=1546464/2055920 swapFree=4183496/4192956
[pid=31934] ppid=31932 vsize=13288 CPUtime=1781.34
/proc/31934/stat : 31934 (bsolo) R 31932 31934 31885 0 -1 0 2560 0 11 0 177709 425 0 0 25 0 1 0 152381086 13606912 2485 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31934/statm: 3322 2485 296 55 0 2214 0
Current children cumulated CPU time (s) 1781.34
Current children cumulated vsize (Kb) 13288

[startup+1783.07 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 32132
/proc/meminfo: memFree=1546464/2055920 swapFree=4183496/4192956
[pid=31934] ppid=31932 vsize=13288 CPUtime=1782.35
/proc/31934/stat : 31934 (bsolo) R 31932 31934 31885 0 -1 0 2560 0 11 0 177809 426 0 0 25 0 1 0 152381086 13606912 2485 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31934/statm: 3322 2485 296 55 0 2214 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (Kb) 13288

[startup+1784.07 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 32132
/proc/meminfo: memFree=1546464/2055920 swapFree=4183496/4192956
[pid=31934] ppid=31932 vsize=13288 CPUtime=1783.35
/proc/31934/stat : 31934 (bsolo) R 31932 31934 31885 0 -1 0 2560 0 11 0 177909 426 0 0 25 0 1 0 152381086 13606912 2485 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31934/statm: 3322 2485 296 55 0 2214 0
Current children cumulated CPU time (s) 1783.35
Current children cumulated vsize (Kb) 13288

[startup+1785.08 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 32132
/proc/meminfo: memFree=1546464/2055920 swapFree=4183496/4192956
[pid=31934] ppid=31932 vsize=13288 CPUtime=1784.35
/proc/31934/stat : 31934 (bsolo) R 31932 31934 31885 0 -1 0 2560 0 11 0 178009 426 0 0 25 0 1 0 152381086 13606912 2485 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134718240 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31934/statm: 3322 2485 296 55 0 2214 0
Current children cumulated CPU time (s) 1784.35
Current children cumulated vsize (Kb) 13288

[startup+1786.08 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 32132
/proc/meminfo: memFree=1546464/2055920 swapFree=4183496/4192956
[pid=31934] ppid=31932 vsize=13288 CPUtime=1785.36
/proc/31934/stat : 31934 (bsolo) R 31932 31934 31885 0 -1 0 2560 0 11 0 178109 427 0 0 25 0 1 0 152381086 13606912 2485 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31934/statm: 3322 2485 296 55 0 2214 0
Current children cumulated CPU time (s) 1785.36
Current children cumulated vsize (Kb) 13288

[startup+1787.09 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 32132
/proc/meminfo: memFree=1546464/2055920 swapFree=4183496/4192956
[pid=31934] ppid=31932 vsize=13288 CPUtime=1786.37
/proc/31934/stat : 31934 (bsolo) R 31932 31934 31885 0 -1 0 2560 0 11 0 178210 427 0 0 25 0 1 0 152381086 13606912 2485 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134632664 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31934/statm: 3322 2485 296 55 0 2214 0
Current children cumulated CPU time (s) 1786.37
Current children cumulated vsize (Kb) 13288

[startup+1788.09 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 32132
/proc/meminfo: memFree=1546464/2055920 swapFree=4183496/4192956
[pid=31934] ppid=31932 vsize=13288 CPUtime=1787.37
/proc/31934/stat : 31934 (bsolo) R 31932 31934 31885 0 -1 0 2560 0 11 0 178310 427 0 0 25 0 1 0 152381086 13606912 2485 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31934/statm: 3322 2485 296 55 0 2214 0
Current children cumulated CPU time (s) 1787.37
Current children cumulated vsize (Kb) 13288

[startup+1789.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 32132
/proc/meminfo: memFree=1546464/2055920 swapFree=4183496/4192956
[pid=31934] ppid=31932 vsize=13288 CPUtime=1788.37
/proc/31934/stat : 31934 (bsolo) R 31932 31934 31885 0 -1 0 2560 0 11 0 178410 427 0 0 25 0 1 0 152381086 13606912 2485 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31934/statm: 3322 2485 296 55 0 2214 0
Current children cumulated CPU time (s) 1788.37
Current children cumulated vsize (Kb) 13288

[startup+1790.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 32132
/proc/meminfo: memFree=1546464/2055920 swapFree=4183496/4192956
[pid=31934] ppid=31932 vsize=13288 CPUtime=1789.38
/proc/31934/stat : 31934 (bsolo) R 31932 31934 31885 0 -1 0 2560 0 11 0 178511 427 0 0 25 0 1 0 152381086 13606912 2485 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134528844 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31934/statm: 3322 2485 296 55 0 2214 0
Current children cumulated CPU time (s) 1789.38
Current children cumulated vsize (Kb) 13288

[startup+1791.11 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 32132
/proc/meminfo: memFree=1546464/2055920 swapFree=4183496/4192956
[pid=31934] ppid=31932 vsize=13288 CPUtime=1790.38
/proc/31934/stat : 31934 (bsolo) R 31932 31934 31885 0 -1 0 2560 0 11 0 178611 427 0 0 25 0 1 0 152381086 13606912 2485 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31934/statm: 3322 2485 296 55 0 2214 0
Current children cumulated CPU time (s) 1790.38
Current children cumulated vsize (Kb) 13288

[startup+1792.11 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 32132
/proc/meminfo: memFree=1546464/2055920 swapFree=4183496/4192956
[pid=31934] ppid=31932 vsize=13288 CPUtime=1791.38
/proc/31934/stat : 31934 (bsolo) R 31932 31934 31885 0 -1 0 2560 0 11 0 178711 427 0 0 25 0 1 0 152381086 13606912 2485 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31934/statm: 3322 2485 296 55 0 2214 0
Current children cumulated CPU time (s) 1791.38
Current children cumulated vsize (Kb) 13288

[startup+1793.12 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 32132
/proc/meminfo: memFree=1546464/2055920 swapFree=4183496/4192956
[pid=31934] ppid=31932 vsize=13288 CPUtime=1792.4
/proc/31934/stat : 31934 (bsolo) R 31932 31934 31885 0 -1 0 2560 0 11 0 178812 428 0 0 25 0 1 0 152381086 13606912 2485 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31934/statm: 3322 2485 296 55 0 2214 0
Current children cumulated CPU time (s) 1792.4
Current children cumulated vsize (Kb) 13288

[startup+1794.12 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 32132
/proc/meminfo: memFree=1546464/2055920 swapFree=4183496/4192956
[pid=31934] ppid=31932 vsize=13288 CPUtime=1793.4
/proc/31934/stat : 31934 (bsolo) R 31932 31934 31885 0 -1 0 2560 0 11 0 178912 428 0 0 25 0 1 0 152381086 13606912 2485 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31934/statm: 3322 2485 296 55 0 2214 0
Current children cumulated CPU time (s) 1793.4
Current children cumulated vsize (Kb) 13288

[startup+1795.13 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 32132
/proc/meminfo: memFree=1546464/2055920 swapFree=4183496/4192956
[pid=31934] ppid=31932 vsize=13288 CPUtime=1794.4
/proc/31934/stat : 31934 (bsolo) R 31932 31934 31885 0 -1 0 2570 0 11 0 179012 428 0 0 25 0 1 0 152381086 13606912 2495 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31934/statm: 3322 2495 296 55 0 2214 0
Current children cumulated CPU time (s) 1794.4
Current children cumulated vsize (Kb) 13288

[startup+1796.13 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 32132
/proc/meminfo: memFree=1546464/2055920 swapFree=4183496/4192956
[pid=31934] ppid=31932 vsize=13288 CPUtime=1795.41
/proc/31934/stat : 31934 (bsolo) R 31932 31934 31885 0 -1 0 2570 0 11 0 179113 428 0 0 25 0 1 0 152381086 13606912 2495 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31934/statm: 3322 2495 296 55 0 2214 0
Current children cumulated CPU time (s) 1795.41
Current children cumulated vsize (Kb) 13288

[startup+1797.13 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 32132
/proc/meminfo: memFree=1546464/2055920 swapFree=4183496/4192956
[pid=31934] ppid=31932 vsize=13288 CPUtime=1796.41
/proc/31934/stat : 31934 (bsolo) R 31932 31934 31885 0 -1 0 2570 0 11 0 179213 428 0 0 25 0 1 0 152381086 13606912 2495 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31934/statm: 3322 2495 296 55 0 2214 0
Current children cumulated CPU time (s) 1796.41
Current children cumulated vsize (Kb) 13288

[startup+1798.14 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 32132
/proc/meminfo: memFree=1546400/2055920 swapFree=4183496/4192956
[pid=31934] ppid=31932 vsize=13288 CPUtime=1797.41
/proc/31934/stat : 31934 (bsolo) R 31932 31934 31885 0 -1 0 2570 0 11 0 179313 428 0 0 25 0 1 0 152381086 13606912 2495 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31934/statm: 3322 2495 296 55 0 2214 0
Current children cumulated CPU time (s) 1797.41
Current children cumulated vsize (Kb) 13288

[startup+1799.15 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 32132
/proc/meminfo: memFree=1546400/2055920 swapFree=4183496/4192956
[pid=31934] ppid=31932 vsize=13288 CPUtime=1798.42
/proc/31934/stat : 31934 (bsolo) R 31932 31934 31885 0 -1 0 2570 0 11 0 179414 428 0 0 25 0 1 0 152381086 13606912 2495 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548598 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31934/statm: 3322 2495 296 55 0 2214 0
Current children cumulated CPU time (s) 1798.42
Current children cumulated vsize (Kb) 13288

[startup+1800.15 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 32132
/proc/meminfo: memFree=1546400/2055920 swapFree=4183496/4192956
[pid=31934] ppid=31932 vsize=13288 CPUtime=1799.43
/proc/31934/stat : 31934 (bsolo) R 31932 31934 31885 0 -1 0 2570 0 11 0 179514 429 0 0 25 0 1 0 152381086 13606912 2495 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31934/statm: 3322 2495 296 55 0 2214 0
Current children cumulated CPU time (s) 1799.43
Current children cumulated vsize (Kb) 13288

Child status: 0
Real time (s): 1800.73
CPU time (s): 1800.01
CPU user time (s): 1795.71
CPU system time (s): 4.29335
CPU usage (%): 99.96
Max. virtual memory (cumulated for all children) (Kb): 13296
The end

Launcher Data (download as text)

Begin job on node56 on Fri Jul 28 02:51:51 UTC 2006


FILE ID= 46252-1154055111

PBS_JOBID= 882003

BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/roussel/normalized-pigeon-cardinality-45-40.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node56/46252-1154055111/instance-46252-1154055111.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node56/watcher-46252-1154055111 -o ROOT/results/node56/solver-46252-1154055111 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node56/46252-1154055111/instance-46252-1154055111.opb

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  bfd9076f83014271363fd9848b4f1d95

RANDOM SEED= 667209773

TIMEOUT= 1800 seconds


/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.227
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.227
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:       1558384 kB
Buffers:         25772 kB
Cached:         398780 kB
SwapCached:       3168 kB
Active:          54224 kB
Inactive:       378852 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1558384 kB
SwapTotal:     4192956 kB
SwapFree:      4183496 kB
Dirty:             212 kB
Writeback:           0 kB
Mapped:          14492 kB
Slab:            50512 kB
Committed_AS:   660624 kB
PageTables:       1492 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node56 on Fri Jul 28 03:21:52 UTC 2006