Trace number 46259

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.58

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
roussel/normalized-pigeon-cardinality-101-100.opb
MD5SUM0b4d976a66cd69333fd390f8a9139e21
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.089986
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables10100
Total number of constraints201
Number of constraints which are clauses101
Number of constraints which are cardinality constraints (but not clauses)100
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint100
Maximum length of a constraint101
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 102
Number of bits of the biggest sum of numbers7
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.04	c INFO: OSL Context initialized.
0.20	c Initial problem consists of 10100 variables and 201 constraints.
0.22	c Using non-optimization problem switches.
0.22	c No problem reductions applied in OPT. instance.
0.22	c	preprocess terminated. Elapsed time: 0.179
0.22	c After prepocess the problem consists of 10100 variables and 201 constraints.
0.40	c Restart #1 #Var: 10100 LB: 0 @ 0.36
0.74	c Restart #2 #Var: 10100 LB: 0 @ 0.694
0.94	c Restart #3 #Var: 10100 LB: 0 @ 0.9
1.17	c Restart #4 #Var: 10100 LB: 0 @ 1.13
1.47	c Restart #5 #Var: 10100 LB: 0 @ 1.426
1.81	c Restart #6 #Var: 10100 LB: 0 @ 1.769
2.21	c Restart #7 #Var: 10100 LB: 0 @ 2.168
2.66	c Restart #8 #Var: 10100 LB: 0 @ 2.618
3.15	c Restart #9 #Var: 10100 LB: 0 @ 3.112
3.70	c Restart #10 #Var: 10100 LB: 0 @ 3.659
4.31	c Restart #11 #Var: 10100 LB: 0 @ 4.268
4.97	c Restart #12 #Var: 10100 LB: 0 @ 4.927
5.69	c Restart #13 #Var: 10100 LB: 0 @ 5.643
6.45	c Restart #14 #Var: 10100 LB: 0 @ 6.409
7.27	c Restart #15 #Var: 10100 LB: 0 @ 7.225
8.15	c Restart #16 #Var: 10100 LB: 0 @ 8.106
9.06	c Restart #17 #Var: 10100 LB: 0 @ 9.02
10.03	c Restart #18 #Var: 10100 LB: 0 @ 9.986
11.13	c Restart #19 #Var: 10100 LB: 0 @ 11.081
12.28	c Restart #20 #Var: 10100 LB: 0 @ 12.236
13.51	c Restart #21 #Var: 10100 LB: 0 @ 13.461
14.79	c Restart #22 #Var: 10100 LB: 0 @ 14.736
16.11	c Restart #23 #Var: 10100 LB: 0 @ 16.064
17.50	c Restart #24 #Var: 10100 LB: 0 @ 17.448
18.97	c Restart #25 #Var: 10100 LB: 0 @ 18.917
21.46	c Restart #26 #Var: 10100 LB: 0 @ 21.412
24.82	c Restart #27 #Var: 10100 LB: 0 @ 24.771
27.49	c Restart #28 #Var: 10100 LB: 0 @ 27.433
29.16	c Restart #29 #Var: 10100 LB: 0 @ 29.105
30.86	c Restart #30 #Var: 10100 LB: 0 @ 30.802
32.60	c Restart #31 #Var: 10100 LB: 0 @ 32.547
34.34	c Restart #32 #Var: 10100 LB: 0 @ 34.286
36.11	c Restart #33 #Var: 10100 LB: 0 @ 36.052
37.97	c Restart #34 #Var: 10100 LB: 0 @ 37.914
39.91	c Restart #35 #Var: 10100 LB: 0 @ 39.857
41.89	c Restart #36 #Var: 10100 LB: 0 @ 41.833
43.97	c Restart #37 #Var: 10100 LB: 0 @ 43.91
46.02	c Restart #38 #Var: 10100 LB: 0 @ 45.961
48.20	c Restart #39 #Var: 10100 LB: 0 @ 48.142
50.46	c Restart #40 #Var: 10100 LB: 0 @ 50.4
52.73	c Restart #41 #Var: 10100 LB: 0 @ 52.674
55.06	c Restart #42 #Var: 10100 LB: 0 @ 55.003
57.39	c Restart #43 #Var: 10100 LB: 0 @ 57.332
59.85	c Restart #44 #Var: 10100 LB: 0 @ 59.786
62.39	c Restart #45 #Var: 10100 LB: 0 @ 62.333
64.97	c Restart #46 #Var: 10100 LB: 0 @ 64.903
67.56	c Restart #47 #Var: 10100 LB: 0 @ 67.498
70.21	c Restart #48 #Var: 10100 LB: 0 @ 70.147
72.92	c Restart #49 #Var: 10100 LB: 0 @ 72.851
75.56	c Restart #50 #Var: 10100 LB: 0 @ 75.497
78.37	c Restart #51 #Var: 10100 LB: 0 @ 78.302
81.25	c Restart #52 #Var: 10100 LB: 0 @ 81.178
84.14	c Restart #53 #Var: 10100 LB: 0 @ 84.068
87.15	c Restart #54 #Var: 10100 LB: 0 @ 87.083
90.22	c Restart #55 #Var: 10100 LB: 0 @ 90.155
93.23	c Restart #56 #Var: 10100 LB: 0 @ 93.163
96.51	c Restart #57 #Var: 10100 LB: 0 @ 96.438
99.86	c Restart #58 #Var: 10100 LB: 0 @ 99.785
103.16	c Restart #59 #Var: 10100 LB: 0 @ 103.09
106.49	c Restart #60 #Var: 10100 LB: 0 @ 106.42
109.85	c Restart #61 #Var: 10100 LB: 0 @ 109.77
113.30	c Restart #62 #Var: 10100 LB: 0 @ 113.22
116.71	c Restart #63 #Var: 10100 LB: 0 @ 116.64
120.29	c Restart #64 #Var: 10100 LB: 0 @ 120.21
123.90	c Restart #65 #Var: 10100 LB: 0 @ 123.82
127.49	c Restart #66 #Var: 10100 LB: 0 @ 127.41
131.24	c Restart #67 #Var: 10100 LB: 0 @ 131.16
135.05	c Restart #68 #Var: 10100 LB: 0 @ 134.97
138.88	c Restart #69 #Var: 10100 LB: 0 @ 138.79
142.79	c Restart #70 #Var: 10100 LB: 0 @ 142.7
146.71	c Restart #71 #Var: 10100 LB: 0 @ 146.62
150.63	c Restart #72 #Var: 10100 LB: 0 @ 150.54
154.62	c Restart #73 #Var: 10100 LB: 0 @ 154.53
158.62	c Restart #74 #Var: 10100 LB: 0 @ 158.53
162.62	c Restart #75 #Var: 10100 LB: 0 @ 162.53
166.81	c Restart #76 #Var: 10100 LB: 0 @ 166.72
171.10	c Restart #77 #Var: 10100 LB: 0 @ 171.01
175.38	c Restart #78 #Var: 10100 LB: 0 @ 175.29
179.74	c Restart #79 #Var: 10100 LB: 0 @ 179.65
184.08	c Restart #80 #Var: 10100 LB: 0 @ 183.99
188.57	c Restart #81 #Var: 10100 LB: 0 @ 188.48
193.13	c Restart #82 #Var: 10100 LB: 0 @ 193.03
197.75	c Restart #83 #Var: 10100 LB: 0 @ 197.65
202.40	c Restart #84 #Var: 10100 LB: 0 @ 202.3
207.05	c Restart #85 #Var: 10100 LB: 0 @ 206.95
211.80	c Restart #86 #Var: 10100 LB: 0 @ 211.7
216.62	c Restart #87 #Var: 10100 LB: 0 @ 216.52
221.43	c Restart #88 #Var: 10100 LB: 0 @ 221.32
226.31	c Restart #89 #Var: 10100 LB: 0 @ 226.2
231.23	c Restart #90 #Var: 10100 LB: 0 @ 231.12
236.35	c Restart #91 #Var: 10100 LB: 0 @ 236.24
241.47	c Restart #92 #Var: 10100 LB: 0 @ 241.36
246.57	c Restart #93 #Var: 10100 LB: 0 @ 246.46
251.67	c Restart #94 #Var: 10100 LB: 0 @ 251.56
256.81	c Restart #95 #Var: 10100 LB: 0 @ 256.7
262.05	c Restart #96 #Var: 10100 LB: 0 @ 261.94
267.35	c Restart #97 #Var: 10100 LB: 0 @ 267.23
272.85	c Restart #98 #Var: 10100 LB: 0 @ 272.73
278.22	c Restart #99 #Var: 10100 LB: 0 @ 278.1
283.65	c Restart #100 #Var: 10100 LB: 0 @ 283.53
289.19	c Restart #101 #Var: 10100 LB: 0 @ 289.06
294.55	c Restart #102 #Var: 10100 LB: 0 @ 294.43
300.30	c Restart #103 #Var: 10100 LB: 0 @ 300.17
305.98	c Restart #104 #Var: 10100 LB: 0 @ 305.85
311.62	c Restart #105 #Var: 10100 LB: 0 @ 311.49
317.32	c Restart #106 #Var: 10100 LB: 0 @ 317.19
323.05	c Restart #107 #Var: 10100 LB: 0 @ 322.92
329.22	c Restart #108 #Var: 10100 LB: 0 @ 329.09
335.04	c Restart #109 #Var: 10100 LB: 0 @ 334.91
340.80	c Restart #110 #Var: 10100 LB: 0 @ 340.66
346.63	c Restart #111 #Var: 10100 LB: 0 @ 346.49
352.69	c Restart #112 #Var: 10100 LB: 0 @ 352.55
358.81	c Restart #113 #Var: 10100 LB: 0 @ 358.67
364.99	c Restart #114 #Var: 10100 LB: 0 @ 364.85
371.18	c Restart #115 #Var: 10100 LB: 0 @ 371.03
377.43	c Restart #116 #Var: 10100 LB: 0 @ 377.28
383.62	c Restart #117 #Var: 10100 LB: 0 @ 383.47
389.99	c Restart #118 #Var: 10100 LB: 0 @ 389.84
396.54	c Restart #119 #Var: 10100 LB: 0 @ 396.38
402.93	c Restart #120 #Var: 10100 LB: 0 @ 402.78
409.47	c Restart #121 #Var: 10100 LB: 0 @ 409.31
416.11	c Restart #122 #Var: 10100 LB: 0 @ 415.95
422.74	c Restart #123 #Var: 10100 LB: 0 @ 422.58
429.30	c Restart #124 #Var: 10100 LB: 0 @ 429.14
435.88	c Restart #125 #Var: 10100 LB: 0 @ 435.71
442.67	c Restart #126 #Var: 10100 LB: 0 @ 442.5
449.67	c Restart #127 #Var: 10100 LB: 0 @ 449.5
456.84	c Restart #128 #Var: 10100 LB: 0 @ 456.67
463.85	c Restart #129 #Var: 10100 LB: 0 @ 463.68
470.88	c Restart #130 #Var: 10100 LB: 0 @ 470.71
478.16	c Restart #131 #Var: 10100 LB: 0 @ 477.98
485.29	c Restart #132 #Var: 10100 LB: 0 @ 485.11
492.70	c Restart #133 #Var: 10100 LB: 0 @ 492.52
500.22	c Restart #134 #Var: 10100 LB: 0 @ 500.04
507.88	c Restart #135 #Var: 10100 LB: 0 @ 507.69
515.40	c Restart #136 #Var: 10100 LB: 0 @ 515.22
522.81	c Restart #137 #Var: 10100 LB: 0 @ 522.62
530.45	c Restart #138 #Var: 10100 LB: 0 @ 530.26
538.25	c Restart #139 #Var: 10100 LB: 0 @ 538.06
546.37	c Restart #140 #Var: 10100 LB: 0 @ 546.17
554.22	c Restart #141 #Var: 10100 LB: 0 @ 554.02
562.37	c Restart #142 #Var: 10100 LB: 0 @ 562.17
570.42	c Restart #143 #Var: 10100 LB: 0 @ 570.22
578.41	c Restart #144 #Var: 10100 LB: 0 @ 578.21
586.83	c Restart #145 #Var: 10100 LB: 0 @ 586.62
595.07	c Restart #146 #Var: 10100 LB: 0 @ 594.87
603.42	c Restart #147 #Var: 10100 LB: 0 @ 603.21
611.86	c Restart #148 #Var: 10100 LB: 0 @ 611.65
619.97	c Restart #149 #Var: 10100 LB: 0 @ 619.76
628.38	c Restart #150 #Var: 10100 LB: 0 @ 628.16
636.74	c Restart #151 #Var: 10100 LB: 0 @ 636.52
644.88	c Restart #152 #Var: 10100 LB: 0 @ 644.66
653.10	c Restart #153 #Var: 10100 LB: 0 @ 652.88
661.72	c Restart #154 #Var: 10100 LB: 0 @ 661.5
670.30	c Restart #155 #Var: 10100 LB: 0 @ 670.07
678.97	c Restart #156 #Var: 10100 LB: 0 @ 678.75
687.43	c Restart #157 #Var: 10100 LB: 0 @ 687.2
696.19	c Restart #158 #Var: 10100 LB: 0 @ 695.95
704.91	c Restart #159 #Var: 10100 LB: 0 @ 704.67
713.65	c Restart #160 #Var: 10100 LB: 0 @ 713.41
722.18	c Restart #161 #Var: 10100 LB: 0 @ 721.94
731.12	c Restart #162 #Var: 10100 LB: 0 @ 730.88
740.21	c Restart #163 #Var: 10100 LB: 0 @ 739.96
749.11	c Restart #164 #Var: 10100 LB: 0 @ 748.86
758.24	c Restart #165 #Var: 10100 LB: 0 @ 757.98
767.20	c Restart #166 #Var: 10100 LB: 0 @ 766.95
776.26	c Restart #167 #Var: 10100 LB: 0 @ 776
785.26	c Restart #168 #Var: 10100 LB: 0 @ 785
794.38	c Restart #169 #Var: 10100 LB: 0 @ 794.12
803.80	c Restart #170 #Var: 10100 LB: 0 @ 803.53
813.20	c Restart #171 #Var: 10100 LB: 0 @ 812.93
822.66	c Restart #172 #Var: 10100 LB: 0 @ 822.39
832.08	c Restart #173 #Var: 10100 LB: 0 @ 831.8
841.49	c Restart #174 #Var: 10100 LB: 0 @ 841.21
851.27	c Restart #175 #Var: 10100 LB: 0 @ 850.99
860.82	c Restart #176 #Var: 10100 LB: 0 @ 860.54
870.77	c Restart #177 #Var: 10100 LB: 0 @ 870.49
880.65	c Restart #178 #Var: 10100 LB: 0 @ 880.36
890.52	c Restart #179 #Var: 10100 LB: 0 @ 890.23
900.68	c CHANGE Heuristic... 
900.68	c Restart #0 #Var: 10100 LB: 0 @ 900.39
900.76	c Restart #1 #Var: 10100 LB: 0 @ 900.47
900.90	c Restart #2 #Var: 10100 LB: 0 @ 900.61
901.09	c Restart #3 #Var: 10100 LB: 0 @ 900.8
901.34	c Restart #4 #Var: 10100 LB: 0 @ 901.05
901.65	c Restart #5 #Var: 10100 LB: 0 @ 901.36
902.02	c Restart #6 #Var: 10100 LB: 0 @ 901.73
902.44	c Restart #7 #Var: 10100 LB: 0 @ 902.15
902.93	c Restart #8 #Var: 10100 LB: 0 @ 902.64
903.47	c Restart #9 #Var: 10100 LB: 0 @ 903.18
904.08	c Restart #10 #Var: 10100 LB: 0 @ 903.78
904.73	c Restart #11 #Var: 10100 LB: 0 @ 904.44
905.45	c Restart #12 #Var: 10100 LB: 0 @ 905.16
906.23	c Restart #13 #Var: 10100 LB: 0 @ 905.93
907.07	c Restart #14 #Var: 10100 LB: 0 @ 906.77
907.95	c Restart #15 #Var: 10100 LB: 0 @ 907.65
908.89	c Restart #16 #Var: 10100 LB: 0 @ 908.59
909.90	c Restart #17 #Var: 10100 LB: 0 @ 909.6
910.95	c Restart #18 #Var: 10100 LB: 0 @ 910.66
912.07	c Restart #19 #Var: 10100 LB: 0 @ 911.78
913.27	c Restart #20 #Var: 10100 LB: 0 @ 912.98
914.53	c Restart #21 #Var: 10100 LB: 0 @ 914.24
915.84	c Restart #22 #Var: 10100 LB: 0 @ 915.54
917.15	c Restart #23 #Var: 10100 LB: 0 @ 916.86
918.52	c Restart #24 #Var: 10100 LB: 0 @ 918.22
919.95	c Restart #25 #Var: 10100 LB: 0 @ 919.66
921.57	c Restart #26 #Var: 10100 LB: 0 @ 921.28
923.26	c Restart #27 #Var: 10100 LB: 0 @ 922.96
924.90	c Restart #28 #Var: 10100 LB: 0 @ 924.6
926.57	c Restart #29 #Var: 10100 LB: 0 @ 926.28
928.31	c Restart #30 #Var: 10100 LB: 0 @ 928.02
930.10	c Restart #31 #Var: 10100 LB: 0 @ 929.8
931.92	c Restart #32 #Var: 10100 LB: 0 @ 931.62
933.80	c Restart #33 #Var: 10100 LB: 0 @ 933.5
935.73	c Restart #34 #Var: 10100 LB: 0 @ 935.43
937.72	c Restart #35 #Var: 10100 LB: 0 @ 937.42
939.76	c Restart #36 #Var: 10100 LB: 0 @ 939.46
941.83	c Restart #37 #Var: 10100 LB: 0 @ 941.53
943.95	c Restart #38 #Var: 10100 LB: 0 @ 943.65
946.14	c Restart #39 #Var: 10100 LB: 0 @ 945.83
948.42	c Restart #40 #Var: 10100 LB: 0 @ 948.12
950.77	c Restart #41 #Var: 10100 LB: 0 @ 950.47
953.13	c Restart #42 #Var: 10100 LB: 0 @ 952.82
955.58	c Restart #43 #Var: 10100 LB: 0 @ 955.27
958.02	c Restart #44 #Var: 10100 LB: 0 @ 957.72
960.49	c Restart #45 #Var: 10100 LB: 0 @ 960.19
963.03	c Restart #46 #Var: 10100 LB: 0 @ 962.73
965.62	c Restart #47 #Var: 10100 LB: 0 @ 965.31
968.22	c Restart #48 #Var: 10100 LB: 0 @ 967.92
970.94	c Restart #49 #Var: 10100 LB: 0 @ 970.63
973.83	c Restart #50 #Var: 10100 LB: 0 @ 973.52
976.71	c Restart #51 #Var: 10100 LB: 0 @ 976.4
979.62	c Restart #52 #Var: 10100 LB: 0 @ 979.31
982.61	c Restart #53 #Var: 10100 LB: 0 @ 982.29
985.72	c Restart #54 #Var: 10100 LB: 0 @ 985.41
988.81	c Restart #55 #Var: 10100 LB: 0 @ 988.5
992.09	c Restart #56 #Var: 10100 LB: 0 @ 991.77
995.29	c Restart #57 #Var: 10100 LB: 0 @ 994.98
998.58	c Restart #58 #Var: 10100 LB: 0 @ 998.26
1001.82	c Restart #59 #Var: 10100 LB: 0 @ 1001.5
1005.13	c Restart #60 #Var: 10100 LB: 0 @ 1004.8
1008.69	c Restart #61 #Var: 10100 LB: 0 @ 1008.4
1012.10	c Restart #62 #Var: 10100 LB: 0 @ 1011.8
1015.65	c Restart #63 #Var: 10100 LB: 0 @ 1015.3
1019.21	c Restart #64 #Var: 10100 LB: 0 @ 1018.9
1022.77	c Restart #65 #Var: 10100 LB: 0 @ 1022.4
1026.43	c Restart #66 #Var: 10100 LB: 0 @ 1026.1
1030.17	c Restart #67 #Var: 10100 LB: 0 @ 1029.8
1034.00	c Restart #68 #Var: 10100 LB: 0 @ 1033.7
1037.86	c Restart #69 #Var: 10100 LB: 0 @ 1037.5
1041.80	c Restart #70 #Var: 10100 LB: 0 @ 1041.5
1045.81	c Restart #71 #Var: 10100 LB: 0 @ 1045.5
1049.87	c Restart #72 #Var: 10100 LB: 0 @ 1049.5
1054.01	c Restart #73 #Var: 10100 LB: 0 @ 1053.7
1058.12	c Restart #74 #Var: 10100 LB: 0 @ 1057.8
1062.28	c Restart #75 #Var: 10100 LB: 0 @ 1061.9
1066.60	c Restart #76 #Var: 10100 LB: 0 @ 1066.3
1070.90	c Restart #77 #Var: 10100 LB: 0 @ 1070.6
1075.39	c Restart #78 #Var: 10100 LB: 0 @ 1075.1
1079.70	c Restart #79 #Var: 10100 LB: 0 @ 1079.4
1084.21	c Restart #80 #Var: 10100 LB: 0 @ 1083.9
1088.86	c Restart #81 #Var: 10100 LB: 0 @ 1088.5
1093.55	c Restart #82 #Var: 10100 LB: 0 @ 1093.2
1098.15	c Restart #83 #Var: 10100 LB: 0 @ 1097.8
1102.88	c Restart #84 #Var: 10100 LB: 0 @ 1102.5
1107.58	c Restart #85 #Var: 10100 LB: 0 @ 1107.2
1112.20	c Restart #86 #Var: 10100 LB: 0 @ 1111.8
1117.07	c Restart #87 #Var: 10100 LB: 0 @ 1116.7
1121.79	c Restart #88 #Var: 10100 LB: 0 @ 1121.4
1126.57	c Restart #89 #Var: 10100 LB: 0 @ 1126.2
1131.51	c Restart #90 #Var: 10100 LB: 0 @ 1131.2
1136.38	c Restart #91 #Var: 10100 LB: 0 @ 1136
1141.43	c Restart #92 #Var: 10100 LB: 0 @ 1141.1
1146.47	c Restart #93 #Var: 10100 LB: 0 @ 1146.1
1151.45	c Restart #94 #Var: 10100 LB: 0 @ 1151.1
1156.56	c Restart #95 #Var: 10100 LB: 0 @ 1156.2
1161.88	c Restart #96 #Var: 10100 LB: 0 @ 1161.5
1167.23	c Restart #97 #Var: 10100 LB: 0 @ 1166.9
1172.59	c Restart #98 #Var: 10100 LB: 0 @ 1172.2
1177.89	c Restart #99 #Var: 10100 LB: 0 @ 1177.5
1183.32	c Restart #100 #Var: 10100 LB: 0 @ 1183
1188.82	c Restart #101 #Var: 10100 LB: 0 @ 1188.4
1194.25	c Restart #102 #Var: 10100 LB: 0 @ 1193.9
1199.87	c Restart #103 #Var: 10100 LB: 0 @ 1199.5
1205.58	c Restart #104 #Var: 10100 LB: 0 @ 1205.2
1211.33	c Restart #105 #Var: 10100 LB: 0 @ 1211
1217.16	c Restart #106 #Var: 10100 LB: 0 @ 1216.8
1222.96	c Restart #107 #Var: 10100 LB: 0 @ 1222.6
1228.93	c Restart #108 #Var: 10100 LB: 0 @ 1228.6
1234.98	c Restart #109 #Var: 10100 LB: 0 @ 1234.6
1241.10	c Restart #110 #Var: 10100 LB: 0 @ 1240.7
1247.50	c Restart #111 #Var: 10100 LB: 0 @ 1247.1
1253.99	c Restart #112 #Var: 10100 LB: 0 @ 1253.6
1260.57	c Restart #113 #Var: 10100 LB: 0 @ 1260.2
1267.19	c Restart #114 #Var: 10100 LB: 0 @ 1266.8
1273.75	c Restart #115 #Var: 10100 LB: 0 @ 1273.4
1280.22	c Restart #116 #Var: 10100 LB: 0 @ 1279.8
1286.77	c Restart #117 #Var: 10100 LB: 0 @ 1286.4
1293.39	c Restart #118 #Var: 10100 LB: 0 @ 1293
1299.94	c Restart #119 #Var: 10100 LB: 0 @ 1299.5
1306.52	c Restart #120 #Var: 10100 LB: 0 @ 1306.1
1313.63	c Restart #121 #Var: 10100 LB: 0 @ 1313.2
1320.40	c Restart #122 #Var: 10100 LB: 0 @ 1320
1327.24	c Restart #123 #Var: 10100 LB: 0 @ 1326.8
1334.32	c Restart #124 #Var: 10100 LB: 0 @ 1333.9
1341.40	c Restart #125 #Var: 10100 LB: 0 @ 1341
1348.32	c Restart #126 #Var: 10100 LB: 0 @ 1347.9
1355.51	c Restart #127 #Var: 10100 LB: 0 @ 1355.1
1362.70	c Restart #128 #Var: 10100 LB: 0 @ 1362.3
1369.84	c Restart #129 #Var: 10100 LB: 0 @ 1369.4
1377.03	c Restart #130 #Var: 10100 LB: 0 @ 1376.6
1384.33	c Restart #131 #Var: 10100 LB: 0 @ 1383.9
1391.93	c Restart #132 #Var: 10100 LB: 0 @ 1391.5
1399.36	c Restart #133 #Var: 10100 LB: 0 @ 1398.9
1406.83	c Restart #134 #Var: 10100 LB: 0 @ 1406.4
1414.56	c Restart #135 #Var: 10100 LB: 0 @ 1414.1
1422.14	c Restart #136 #Var: 10100 LB: 0 @ 1421.7
1429.68	c Restart #137 #Var: 10100 LB: 0 @ 1429.2
1437.47	c Restart #138 #Var: 10100 LB: 0 @ 1437
1445.16	c Restart #139 #Var: 10100 LB: 0 @ 1444.7
1453.15	c Restart #140 #Var: 10100 LB: 0 @ 1452.7
1461.04	c Restart #141 #Var: 10100 LB: 0 @ 1460.6
1468.98	c Restart #142 #Var: 10100 LB: 0 @ 1468.5
1476.94	c Restart #143 #Var: 10100 LB: 0 @ 1476.5
1484.82	c Restart #144 #Var: 10100 LB: 0 @ 1484.4
1492.91	c Restart #145 #Var: 10100 LB: 0 @ 1492.5
1500.89	c Restart #146 #Var: 10100 LB: 0 @ 1500.4
1509.09	c Restart #147 #Var: 10100 LB: 0 @ 1508.6
1517.31	c Restart #148 #Var: 10100 LB: 0 @ 1516.9
1525.68	c Restart #149 #Var: 10100 LB: 0 @ 1525.2
1534.20	c Restart #150 #Var: 10100 LB: 0 @ 1533.7
1542.35	c Restart #151 #Var: 10100 LB: 0 @ 1541.9
1550.94	c Restart #152 #Var: 10100 LB: 0 @ 1550.5
1559.51	c Restart #153 #Var: 10100 LB: 0 @ 1559
1568.11	c Restart #154 #Var: 10100 LB: 0 @ 1567.6
1576.80	c Restart #155 #Var: 10100 LB: 0 @ 1576.3
1585.49	c Restart #156 #Var: 10100 LB: 0 @ 1585
1594.43	c Restart #157 #Var: 10100 LB: 0 @ 1594
1603.59	c Restart #158 #Var: 10100 LB: 0 @ 1603.1
1612.58	c Restart #159 #Var: 10100 LB: 0 @ 1612.1
1621.53	c Restart #160 #Var: 10100 LB: 0 @ 1621
1630.72	c Restart #161 #Var: 10100 LB: 0 @ 1630.2
1639.73	c Restart #162 #Var: 10100 LB: 0 @ 1639.2
1648.90	c Restart #163 #Var: 10100 LB: 0 @ 1648.4
1657.99	c Restart #164 #Var: 10100 LB: 0 @ 1657.5
1667.30	c Restart #165 #Var: 10100 LB: 0 @ 1666.8
1676.79	c Restart #166 #Var: 10100 LB: 0 @ 1676.3
1686.34	c Restart #167 #Var: 10100 LB: 0 @ 1685.8
1695.79	c Restart #168 #Var: 10100 LB: 0 @ 1695.3
1705.00	c Restart #169 #Var: 10100 LB: 0 @ 1704.5
1714.34	c Restart #170 #Var: 10100 LB: 0 @ 1713.8
1723.73	c Restart #171 #Var: 10100 LB: 0 @ 1723.2
1733.50	c Restart #172 #Var: 10100 LB: 0 @ 1732.9
1742.98	c Restart #173 #Var: 10100 LB: 0 @ 1742.4
1753.06	c Restart #174 #Var: 10100 LB: 0 @ 1752.5
1762.92	c Restart #175 #Var: 10100 LB: 0 @ 1762.4
1772.86	c Restart #176 #Var: 10100 LB: 0 @ 1772.3
1783.22	c Restart #177 #Var: 10100 LB: 0 @ 1782.7
1793.63	c Restart #178 #Var: 10100 LB: 0 @ 1793.1
1800.58	s UNKNOWN
1800.58	c Exit Code: 0
1800.58	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/node14/watcher-46259-1154057570 -o ROOT/results/node14/solver-46259-1154057570 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node14/46259-1154057570/instance-46259-1154057570.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.92 0.98 0.98 2/64 29046
/proc/meminfo: memFree=1171304/2055920 swapFree=4183052/4192956
[pid=29046] ppid=29044 vsize=2900 CPUtime=0
/proc/29046/stat : 29046 (bsolo) D 29044 29046 28997 0 -1 0 43 0 1 0 0 0 0 0 18 0 1 0 152617869 2969600 27 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 6927140 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/29046/statm: 725 27 19 55 0 38 0

[startup+10.0027 s]
/proc/loadavg: 0.93 0.98 0.98 2/64 29046
/proc/meminfo: memFree=1157936/2055920 swapFree=4183052/4192956
[pid=29046] ppid=29044 vsize=15700 CPUtime=9.95
/proc/29046/stat : 29046 (bsolo) R 29044 29046 28997 0 -1 0 3169 0 10 0 991 4 0 0 25 0 1 0 152617869 16076800 3045 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548211 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29046/statm: 3925 3045 296 55 0 2817 0
Current children cumulated CPU time (s) 9.95
Current children cumulated vsize (Kb) 15700

[startup+20.0097 s]
/proc/loadavg: 0.94 0.98 0.98 2/64 29046
/proc/meminfo: memFree=1157936/2055920 swapFree=4183052/4192956
[pid=29046] ppid=29044 vsize=15832 CPUtime=19.95
/proc/29046/stat : 29046 (bsolo) R 29044 29046 28997 0 -1 0 3188 0 10 0 1989 6 0 0 25 0 1 0 152617869 16211968 3064 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548375 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29046/statm: 3958 3064 296 55 0 2850 0
Current children cumulated CPU time (s) 19.95
Current children cumulated vsize (Kb) 15832

[startup+30.0156 s]
/proc/loadavg: 0.95 0.98 0.98 2/64 29046
/proc/meminfo: memFree=1157936/2055920 swapFree=4183052/4192956
[pid=29046] ppid=29044 vsize=15768 CPUtime=29.95
/proc/29046/stat : 29046 (bsolo) R 29044 29046 28997 0 -1 0 3194 0 10 0 2988 7 0 0 25 0 1 0 152617869 16146432 3064 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29046/statm: 3942 3064 296 55 0 2834 0
Current children cumulated CPU time (s) 29.95
Current children cumulated vsize (Kb) 15768

[startup+40.0216 s]
/proc/loadavg: 0.96 0.98 0.98 2/64 29046
/proc/meminfo: memFree=1158000/2055920 swapFree=4183052/4192956
[pid=29046] ppid=29044 vsize=15748 CPUtime=39.96
/proc/29046/stat : 29046 (bsolo) R 29044 29046 28997 0 -1 0 3194 0 10 0 3986 10 0 0 25 0 1 0 152617869 16125952 3059 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29046/statm: 3937 3059 296 55 0 2829 0
Current children cumulated CPU time (s) 39.96
Current children cumulated vsize (Kb) 15748

[startup+50.0275 s]
/proc/loadavg: 0.96 0.98 0.98 2/64 29046
/proc/meminfo: memFree=1158000/2055920 swapFree=4183052/4192956
[pid=29046] ppid=29044 vsize=15748 CPUtime=49.96
/proc/29046/stat : 29046 (bsolo) R 29044 29046 28997 0 -1 0 3194 0 10 0 4984 12 0 0 25 0 1 0 152617869 16125952 3059 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548416 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29046/statm: 3937 3059 296 55 0 2829 0
Current children cumulated CPU time (s) 49.96
Current children cumulated vsize (Kb) 15748

[startup+60.0335 s]
/proc/loadavg: 0.97 0.98 0.98 2/64 29046
/proc/meminfo: memFree=1158000/2055920 swapFree=4183052/4192956
[pid=29046] ppid=29044 vsize=15748 CPUtime=59.96
/proc/29046/stat : 29046 (bsolo) R 29044 29046 28997 0 -1 0 3194 0 10 0 5983 13 0 0 25 0 1 0 152617869 16125952 3059 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29046/statm: 3937 3059 296 55 0 2829 0
Current children cumulated CPU time (s) 59.96
Current children cumulated vsize (Kb) 15748

[startup+70.0395 s]
/proc/loadavg: 0.97 0.98 0.98 2/64 29046
/proc/meminfo: memFree=1158000/2055920 swapFree=4183052/4192956
[pid=29046] ppid=29044 vsize=15748 CPUtime=70.06
/proc/29046/stat : 29046 (bsolo) R 29044 29046 28997 0 -1 0 3194 0 10 0 6991 15 0 0 25 0 1 0 152617869 16125952 3059 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29046/statm: 3937 3059 296 55 0 2829 0
Current children cumulated CPU time (s) 70.06
Current children cumulated vsize (Kb) 15748

[startup+80.1404 s]
/proc/loadavg: 0.98 0.98 0.98 2/64 29046
/proc/meminfo: memFree=1158000/2055920 swapFree=4183052/4192956
[pid=29046] ppid=29044 vsize=15880 CPUtime=80.07
/proc/29046/stat : 29046 (bsolo) R 29044 29046 28997 0 -1 0 3218 0 10 0 7990 17 0 0 25 0 1 0 152617869 16261120 3083 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29046/statm: 3970 3083 296 55 0 2862 0
Current children cumulated CPU time (s) 80.07
Current children cumulated vsize (Kb) 15880

[startup+90.1454 s]
/proc/loadavg: 0.98 0.98 0.98 2/64 29046
/proc/meminfo: memFree=1158000/2055920 swapFree=4183052/4192956
[pid=29046] ppid=29044 vsize=15880 CPUtime=90.07
/proc/29046/stat : 29046 (bsolo) R 29044 29046 28997 0 -1 0 3218 0 10 0 8989 18 0 0 25 0 1 0 152617869 16261120 3083 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29046/statm: 3970 3083 296 55 0 2862 0
Current children cumulated CPU time (s) 90.07
Current children cumulated vsize (Kb) 15880

[startup+100.151 s]
/proc/loadavg: 0.98 0.98 0.98 2/64 29046
/proc/meminfo: memFree=1158000/2055920 swapFree=4183052/4192956
[pid=29046] ppid=29044 vsize=15800 CPUtime=100.07
/proc/29046/stat : 29046 (bsolo) R 29044 29046 28997 0 -1 0 3218 0 10 0 9988 19 0 0 25 0 1 0 152617869 16179200 3072 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29046/statm: 3950 3072 296 55 0 2842 0
Current children cumulated CPU time (s) 100.07
Current children cumulated vsize (Kb) 15800

[startup+110.157 s]
/proc/loadavg: 0.98 0.98 0.98 2/64 29046
/proc/meminfo: memFree=1158000/2055920 swapFree=4183052/4192956
[pid=29046] ppid=29044 vsize=15800 CPUtime=110.07
/proc/29046/stat : 29046 (bsolo) R 29044 29046 28997 0 -1 0 3218 0 10 0 10987 20 0 0 25 0 1 0 152617869 16179200 3072 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29046/statm: 3950 3072 296 55 0 2842 0
Current children cumulated CPU time (s) 110.07
Current children cumulated vsize (Kb) 15800

[startup+120.163 s]
/proc/loadavg: 0.99 0.98 0.98 2/64 29046
/proc/meminfo: memFree=1158000/2055920 swapFree=4183052/4192956
[pid=29046] ppid=29044 vsize=15800 CPUtime=120.07
/proc/29046/stat : 29046 (bsolo) R 29044 29046 28997 0 -1 0 3218 0 10 0 11985 22 0 0 25 0 1 0 152617869 16179200 3072 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29046/statm: 3950 3072 296 55 0 2842 0
Current children cumulated CPU time (s) 120.07
Current children cumulated vsize (Kb) 15800

[startup+130.169 s]
/proc/loadavg: 0.99 0.98 0.98 2/64 29046
/proc/meminfo: memFree=1158000/2055920 swapFree=4183052/4192956
[pid=29046] ppid=29044 vsize=15932 CPUtime=130.08
/proc/29046/stat : 29046 (bsolo) R 29044 29046 28997 0 -1 0 3224 0 10 0 12984 24 0 0 25 0 1 0 152617869 16314368 3078 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548382 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29046/statm: 3983 3078 296 55 0 2875 0
Current children cumulated CPU time (s) 130.08
Current children cumulated vsize (Kb) 15932

[startup+140.175 s]
/proc/loadavg: 0.99 0.98 0.98 2/64 29046
/proc/meminfo: memFree=1157936/2055920 swapFree=4183052/4192956
[pid=29046] ppid=29044 vsize=15920 CPUtime=140.09
/proc/29046/stat : 29046 (bsolo) R 29044 29046 28997 0 -1 0 3224 0 10 0 13983 26 0 0 25 0 1 0 152617869 16302080 3078 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29046/statm: 3980 3078 296 55 0 2872 0
Current children cumulated CPU time (s) 140.09
Current children cumulated vsize (Kb) 15920

[startup+150.181 s]
/proc/loadavg: 0.99 0.98 0.98 2/64 29046
/proc/meminfo: memFree=1157936/2055920 swapFree=4183052/4192956
[pid=29046] ppid=29044 vsize=15832 CPUtime=150.09
/proc/29046/stat : 29046 (bsolo) R 29044 29046 28997 0 -1 0 3224 0 10 0 14982 27 0 0 25 0 1 0 152617869 16211968 3078 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29046/statm: 3958 3078 296 55 0 2850 0
Current children cumulated CPU time (s) 150.09
Current children cumulated vsize (Kb) 15832

[startup+160.187 s]
/proc/loadavg: 0.99 0.98 0.98 2/64 29046
/proc/meminfo: memFree=1157936/2055920 swapFree=4183052/4192956
[pid=29046] ppid=29044 vsize=15964 CPUtime=160.09
/proc/29046/stat : 29046 (bsolo) R 29044 29046 28997 0 -1 0 3235 0 10 0 15980 29 0 0 25 0 1 0 152617869 16347136 3089 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29046/statm: 3991 3089 296 55 0 2883 0
Current children cumulated CPU time (s) 160.09
Current children cumulated vsize (Kb) 15964

[startup+170.193 s]
/proc/loadavg: 0.99 0.98 0.98 2/64 29046
/proc/meminfo: memFree=1157872/2055920 swapFree=4183052/4192956
[pid=29046] ppid=29044 vsize=15952 CPUtime=170.09
/proc/29046/stat : 29046 (bsolo) R 29044 29046 28997 0 -1 0 3235 0 10 0 16978 31 0 0 25 0 1 0 152617869 16334848 3089 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134603337 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29046/statm: 3988 3089 296 55 0 2880 0
Current children cumulated CPU time (s) 170.09
Current children cumulated vsize (Kb) 15952

[startup+180.199 s]
/proc/loadavg: 0.99 0.98 0.98 2/64 29046
/proc/meminfo: memFree=1157936/2055920 swapFree=4183052/4192956
[pid=29046] ppid=29044 vsize=15980 CPUtime=180.1
/proc/29046/stat : 29046 (bsolo) R 29044 29046 28997 0 -1 0 3239 0 10 0 17977 33 0 0 25 0 1 0 152617869 16363520 3088 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134603725 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29046/statm: 3995 3088 296 55 0 2887 0
Current children cumulated CPU time (s) 180.1
Current children cumulated vsize (Kb) 15980

[startup+190.205 s]
/proc/loadavg: 0.99 0.98 0.98 2/64 29046
/proc/meminfo: memFree=1157936/2055920 swapFree=4183052/4192956
[pid=29046] ppid=29044 vsize=15980 CPUtime=190.1
/proc/29046/stat : 29046 (bsolo) R 29044 29046 28997 0 -1 0 3239 0 10 0 18976 34 0 0 25 0 1 0 152617869 16363520 3088 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548211 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29046/statm: 3995 3088 296 55 0 2887 0
Current children cumulated CPU time (s) 190.1
Current children cumulated vsize (Kb) 15980

[startup+200.211 s]
/proc/loadavg: 0.99 0.98 0.98 2/64 29046
/proc/meminfo: memFree=1157936/2055920 swapFree=4183052/4192956
[pid=29046] ppid=29044 vsize=15864 CPUtime=200.1
/proc/29046/stat : 29046 (bsolo) R 29044 29046 28997 0 -1 0 3239 0 10 0 19974 36 0 0 25 0 1 0 152617869 16244736 3088 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29046/statm: 3966 3088 296 55 0 2858 0
Current children cumulated CPU time (s) 200.1
Current children cumulated vsize (Kb) 15864

[startup+210.217 s]
/proc/loadavg: 0.99 0.98 0.98 2/64 29046

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

Current children cumulated CPU time (s) 1760.56
Current children cumulated vsize (Kb) 15932

[startup+1771.13 s]
/proc/loadavg: 0.99 0.98 0.98 2/64 29246
/proc/meminfo: memFree=1157360/2055920 swapFree=4183052/4192956
[pid=29046] ppid=29044 vsize=15932 CPUtime=1770.56
/proc/29046/stat : 29046 (bsolo) R 29044 29046 28997 0 -1 0 3364 0 10 0 176723 333 0 0 25 0 1 0 152617869 16314368 3125 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29046/statm: 3983 3125 296 55 0 2875 0
Current children cumulated CPU time (s) 1770.56
Current children cumulated vsize (Kb) 15932

[startup+1781.14 s]
/proc/loadavg: 0.99 0.98 0.98 2/64 29246
/proc/meminfo: memFree=1157360/2055920 swapFree=4183052/4192956
[pid=29046] ppid=29044 vsize=15932 CPUtime=1780.56
/proc/29046/stat : 29046 (bsolo) R 29044 29046 28997 0 -1 0 3364 0 10 0 177722 334 0 0 25 0 1 0 152617869 16314368 3125 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29046/statm: 3983 3125 296 55 0 2875 0
Current children cumulated CPU time (s) 1780.56
Current children cumulated vsize (Kb) 15932

[startup+1782.15 s]
/proc/loadavg: 0.99 0.98 0.98 2/64 29246
/proc/meminfo: memFree=1157360/2055920 swapFree=4183052/4192956
[pid=29046] ppid=29044 vsize=15932 CPUtime=1781.57
/proc/29046/stat : 29046 (bsolo) R 29044 29046 28997 0 -1 0 3364 0 10 0 177823 334 0 0 25 0 1 0 152617869 16314368 3125 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29046/statm: 3983 3125 296 55 0 2875 0
Current children cumulated CPU time (s) 1781.57
Current children cumulated vsize (Kb) 15932

[startup+1783.15 s]
/proc/loadavg: 0.99 0.98 0.98 2/64 29246
/proc/meminfo: memFree=1157360/2055920 swapFree=4183052/4192956
[pid=29046] ppid=29044 vsize=15932 CPUtime=1782.57
/proc/29046/stat : 29046 (bsolo) R 29044 29046 28997 0 -1 0 3364 0 10 0 177923 334 0 0 25 0 1 0 152617869 16314368 3125 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548181 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29046/statm: 3983 3125 296 55 0 2875 0
Current children cumulated CPU time (s) 1782.57
Current children cumulated vsize (Kb) 15932

[startup+1784.16 s]
/proc/loadavg: 0.99 0.98 0.98 2/64 29246
/proc/meminfo: memFree=1157360/2055920 swapFree=4183052/4192956
[pid=29046] ppid=29044 vsize=15932 CPUtime=1783.58
/proc/29046/stat : 29046 (bsolo) R 29044 29046 28997 0 -1 0 3364 0 10 0 178023 335 0 0 25 0 1 0 152617869 16314368 3125 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29046/statm: 3983 3125 296 55 0 2875 0
Current children cumulated CPU time (s) 1783.58
Current children cumulated vsize (Kb) 15932

[startup+1785.16 s]
/proc/loadavg: 0.99 0.98 0.98 2/64 29246
/proc/meminfo: memFree=1157360/2055920 swapFree=4183052/4192956
[pid=29046] ppid=29044 vsize=15932 CPUtime=1784.59
/proc/29046/stat : 29046 (bsolo) R 29044 29046 28997 0 -1 0 3364 0 10 0 178124 335 0 0 25 0 1 0 152617869 16314368 3125 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134718215 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29046/statm: 3983 3125 296 55 0 2875 0
Current children cumulated CPU time (s) 1784.59
Current children cumulated vsize (Kb) 15932

[startup+1786.17 s]
/proc/loadavg: 0.99 0.98 0.98 2/64 29246
/proc/meminfo: memFree=1157360/2055920 swapFree=4183052/4192956
[pid=29046] ppid=29044 vsize=15932 CPUtime=1785.59
/proc/29046/stat : 29046 (bsolo) R 29044 29046 28997 0 -1 0 3364 0 10 0 178224 335 0 0 25 0 1 0 152617869 16314368 3125 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134603889 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29046/statm: 3983 3125 296 55 0 2875 0
Current children cumulated CPU time (s) 1785.59
Current children cumulated vsize (Kb) 15932

[startup+1787.17 s]
/proc/loadavg: 0.99 0.98 0.98 2/64 29246
/proc/meminfo: memFree=1157360/2055920 swapFree=4183052/4192956
[pid=29046] ppid=29044 vsize=15932 CPUtime=1786.59
/proc/29046/stat : 29046 (bsolo) R 29044 29046 28997 0 -1 0 3364 0 10 0 178324 335 0 0 25 0 1 0 152617869 16314368 3125 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29046/statm: 3983 3125 296 55 0 2875 0
Current children cumulated CPU time (s) 1786.59
Current children cumulated vsize (Kb) 15932

[startup+1788.18 s]
/proc/loadavg: 0.99 0.98 0.98 2/64 29246
/proc/meminfo: memFree=1157360/2055920 swapFree=4183052/4192956
[pid=29046] ppid=29044 vsize=15932 CPUtime=1787.6
/proc/29046/stat : 29046 (bsolo) R 29044 29046 28997 0 -1 0 3364 0 10 0 178425 335 0 0 25 0 1 0 152617869 16314368 3125 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548233 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29046/statm: 3983 3125 296 55 0 2875 0
Current children cumulated CPU time (s) 1787.6
Current children cumulated vsize (Kb) 15932

[startup+1789.18 s]
/proc/loadavg: 0.99 0.98 0.98 2/64 29246
/proc/meminfo: memFree=1157360/2055920 swapFree=4183052/4192956
[pid=29046] ppid=29044 vsize=15932 CPUtime=1788.6
/proc/29046/stat : 29046 (bsolo) R 29044 29046 28997 0 -1 0 3364 0 10 0 178525 335 0 0 25 0 1 0 152617869 16314368 3125 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29046/statm: 3983 3125 296 55 0 2875 0
Current children cumulated CPU time (s) 1788.6
Current children cumulated vsize (Kb) 15932

[startup+1790.19 s]
/proc/loadavg: 0.99 0.98 0.98 2/64 29246
/proc/meminfo: memFree=1157360/2055920 swapFree=4183052/4192956
[pid=29046] ppid=29044 vsize=15932 CPUtime=1789.6
/proc/29046/stat : 29046 (bsolo) R 29044 29046 28997 0 -1 0 3364 0 10 0 178625 335 0 0 25 0 1 0 152617869 16314368 3125 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548392 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29046/statm: 3983 3125 296 55 0 2875 0
Current children cumulated CPU time (s) 1789.6
Current children cumulated vsize (Kb) 15932

[startup+1791.19 s]
/proc/loadavg: 0.99 0.98 0.98 2/64 29246
/proc/meminfo: memFree=1157360/2055920 swapFree=4183052/4192956
[pid=29046] ppid=29044 vsize=15932 CPUtime=1790.61
/proc/29046/stat : 29046 (bsolo) R 29044 29046 28997 0 -1 0 3364 0 10 0 178726 335 0 0 25 0 1 0 152617869 16314368 3125 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29046/statm: 3983 3125 296 55 0 2875 0
Current children cumulated CPU time (s) 1790.61
Current children cumulated vsize (Kb) 15932

[startup+1792.2 s]
/proc/loadavg: 0.99 0.98 0.98 2/64 29246
/proc/meminfo: memFree=1157360/2055920 swapFree=4183052/4192956
[pid=29046] ppid=29044 vsize=16064 CPUtime=1791.62
/proc/29046/stat : 29046 (bsolo) R 29044 29046 28997 0 -1 0 3378 0 10 0 178826 336 0 0 25 0 1 0 152617869 16449536 3139 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134603842 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29046/statm: 4016 3139 296 55 0 2908 0
Current children cumulated CPU time (s) 1791.62
Current children cumulated vsize (Kb) 16064

[startup+1793.2 s]
/proc/loadavg: 0.99 0.98 0.98 2/64 29246
/proc/meminfo: memFree=1157360/2055920 swapFree=4183052/4192956
[pid=29046] ppid=29044 vsize=16064 CPUtime=1792.62
/proc/29046/stat : 29046 (bsolo) R 29044 29046 28997 0 -1 0 3384 0 10 0 178926 336 0 0 25 0 1 0 152617869 16449536 3145 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134540688 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29046/statm: 4016 3145 296 55 0 2908 0
Current children cumulated CPU time (s) 1792.62
Current children cumulated vsize (Kb) 16064

[startup+1794.21 s]
/proc/loadavg: 0.99 0.98 0.98 2/64 29246
/proc/meminfo: memFree=1157296/2055920 swapFree=4183052/4192956
[pid=29046] ppid=29044 vsize=16044 CPUtime=1793.62
/proc/29046/stat : 29046 (bsolo) R 29044 29046 28997 0 -1 0 3411 0 10 0 179026 336 0 0 25 0 1 0 152617869 16429056 3153 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29046/statm: 4011 3153 296 55 0 2903 0
Current children cumulated CPU time (s) 1793.62
Current children cumulated vsize (Kb) 16044

[startup+1795.21 s]
/proc/loadavg: 0.99 0.98 0.98 2/64 29246
/proc/meminfo: memFree=1157296/2055920 swapFree=4183052/4192956
[pid=29046] ppid=29044 vsize=16044 CPUtime=1794.63
/proc/29046/stat : 29046 (bsolo) R 29044 29046 28997 0 -1 0 3411 0 10 0 179127 336 0 0 25 0 1 0 152617869 16429056 3153 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29046/statm: 4011 3153 296 55 0 2903 0
Current children cumulated CPU time (s) 1794.63
Current children cumulated vsize (Kb) 16044

[startup+1796.22 s]
/proc/loadavg: 0.99 0.98 0.98 2/64 29246
/proc/meminfo: memFree=1157296/2055920 swapFree=4183052/4192956
[pid=29046] ppid=29044 vsize=16044 CPUtime=1795.63
/proc/29046/stat : 29046 (bsolo) R 29044 29046 28997 0 -1 0 3411 0 10 0 179227 336 0 0 25 0 1 0 152617869 16429056 3153 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134632952 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29046/statm: 4011 3153 296 55 0 2903 0
Current children cumulated CPU time (s) 1795.63
Current children cumulated vsize (Kb) 16044

[startup+1797.22 s]
/proc/loadavg: 0.99 0.98 0.98 2/64 29246
/proc/meminfo: memFree=1157296/2055920 swapFree=4183052/4192956
[pid=29046] ppid=29044 vsize=16044 CPUtime=1796.64
/proc/29046/stat : 29046 (bsolo) R 29044 29046 28997 0 -1 0 3411 0 10 0 179327 337 0 0 25 0 1 0 152617869 16429056 3153 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29046/statm: 4011 3153 296 55 0 2903 0
Current children cumulated CPU time (s) 1796.64
Current children cumulated vsize (Kb) 16044

[startup+1798.23 s]
/proc/loadavg: 0.99 0.98 0.98 2/64 29246
/proc/meminfo: memFree=1157296/2055920 swapFree=4183052/4192956
[pid=29046] ppid=29044 vsize=16044 CPUtime=1797.65
/proc/29046/stat : 29046 (bsolo) R 29044 29046 28997 0 -1 0 3411 0 10 0 179428 337 0 0 25 0 1 0 152617869 16429056 3153 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134541333 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29046/statm: 4011 3153 296 55 0 2903 0
Current children cumulated CPU time (s) 1797.65
Current children cumulated vsize (Kb) 16044

[startup+1799.23 s]
/proc/loadavg: 0.99 0.98 0.98 2/64 29246
/proc/meminfo: memFree=1157296/2055920 swapFree=4183052/4192956
[pid=29046] ppid=29044 vsize=16044 CPUtime=1798.65
/proc/29046/stat : 29046 (bsolo) R 29044 29046 28997 0 -1 0 3411 0 10 0 179528 337 0 0 25 0 1 0 152617869 16429056 3153 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548379 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29046/statm: 4011 3153 296 55 0 2903 0
Current children cumulated CPU time (s) 1798.65
Current children cumulated vsize (Kb) 16044

[startup+1800.24 s]
/proc/loadavg: 0.99 0.98 0.98 2/64 29246
/proc/meminfo: memFree=1157296/2055920 swapFree=4183052/4192956
[pid=29046] ppid=29044 vsize=16044 CPUtime=1799.65
/proc/29046/stat : 29046 (bsolo) R 29044 29046 28997 0 -1 0 3411 0 10 0 179628 337 0 0 25 0 1 0 152617869 16429056 3153 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29046/statm: 4011 3153 296 55 0 2903 0
Current children cumulated CPU time (s) 1799.65
Current children cumulated vsize (Kb) 16044

Child status: 0
Real time (s): 1800.58
CPU time (s): 1800.01
CPU user time (s): 1796.63
CPU system time (s): 3.37749
CPU usage (%): 99.9679
Max. virtual memory (cumulated for all children) (Kb): 16088
The end

Launcher Data (download as text)

Begin job on node14 on Fri Jul 28 03:32:50 UTC 2006


FILE ID= 46259-1154057570

PBS_JOBID= 882094

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

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  0b4d976a66cd69333fd390f8a9139e21

RANDOM SEED= 483406688

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.235
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.235
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:       1171512 kB
Buffers:         43676 kB
Cached:         757440 kB
SwapCached:       3868 kB
Active:         261172 kB
Inactive:       548820 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1171512 kB
SwapTotal:     4192956 kB
SwapFree:      4183052 kB
Dirty:             212 kB
Writeback:           0 kB
Mapped:          14724 kB
Slab:            60444 kB
Committed_AS:   575544 kB
PageTables:       1480 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node14 on Fri Jul 28 04:02:50 UTC 2006