Trace number 46254

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

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-55-50.opb
MD5SUM277dd35641d3866b31d8fb041eb7f9fb
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.020995
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables2750
Total number of constraints105
Number of constraints which are clauses55
Number of constraints which are cardinality constraints (but not clauses)50
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint50
Maximum length of a constraint55
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 56
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.04	c Time Limit set via PBTIMEOUT to 1800
0.06	c INFO: OSL Context initialized.
0.09	c Initial problem consists of 2750 variables and 105 constraints.
0.09	c Using non-optimization problem switches.
0.09	c No problem reductions applied in OPT. instance.
0.09	c	preprocess terminated. Elapsed time: 0.047
0.09	c After prepocess the problem consists of 2750 variables and 105 constraints.
0.16	c Restart #1 #Var: 2750 LB: 0 @ 0.116
0.21	c Restart #2 #Var: 2750 LB: 0 @ 0.164
0.29	c Restart #3 #Var: 2750 LB: 0 @ 0.244
0.40	c Restart #4 #Var: 2750 LB: 0 @ 0.357
0.55	c Restart #5 #Var: 2750 LB: 0 @ 0.503
0.72	c Restart #6 #Var: 2750 LB: 0 @ 0.677
0.93	c Restart #7 #Var: 2750 LB: 0 @ 0.88
1.17	c Restart #8 #Var: 2750 LB: 0 @ 1.119
1.43	c Restart #9 #Var: 2750 LB: 0 @ 1.387
1.73	c Restart #10 #Var: 2750 LB: 0 @ 1.685
2.06	c Restart #11 #Var: 2750 LB: 0 @ 2.018
2.41	c Restart #12 #Var: 2750 LB: 0 @ 2.367
2.80	c Restart #13 #Var: 2750 LB: 0 @ 2.756
3.21	c Restart #14 #Var: 2750 LB: 0 @ 3.163
3.65	c Restart #15 #Var: 2750 LB: 0 @ 3.604
4.17	c Restart #16 #Var: 2750 LB: 0 @ 4.126
4.73	c Restart #17 #Var: 2750 LB: 0 @ 4.678
5.33	c Restart #18 #Var: 2750 LB: 0 @ 5.278
5.96	c Restart #19 #Var: 2750 LB: 0 @ 5.914
6.59	c Restart #20 #Var: 2750 LB: 0 @ 6.544
7.27	c Restart #21 #Var: 2750 LB: 0 @ 7.219
8.00	c Restart #22 #Var: 2750 LB: 0 @ 7.946
8.74	c Restart #23 #Var: 2750 LB: 0 @ 8.692
9.52	c Restart #24 #Var: 2750 LB: 0 @ 9.469
10.36	c Restart #25 #Var: 2750 LB: 0 @ 10.308
11.59	c Restart #26 #Var: 2750 LB: 0 @ 11.543
13.23	c Restart #27 #Var: 2750 LB: 0 @ 13.179
14.59	c Restart #28 #Var: 2750 LB: 0 @ 14.54
15.73	c Restart #29 #Var: 2750 LB: 0 @ 15.677
16.91	c Restart #30 #Var: 2750 LB: 0 @ 16.855
18.11	c Restart #31 #Var: 2750 LB: 0 @ 18.052
19.37	c Restart #32 #Var: 2750 LB: 0 @ 19.313
20.73	c Restart #33 #Var: 2750 LB: 0 @ 20.678
22.06	c Restart #34 #Var: 2750 LB: 0 @ 22.01
23.36	c Restart #35 #Var: 2750 LB: 0 @ 23.308
24.70	c Restart #36 #Var: 2750 LB: 0 @ 24.649
26.13	c Restart #37 #Var: 2750 LB: 0 @ 26.078
27.66	c Restart #38 #Var: 2750 LB: 0 @ 27.608
29.04	c Restart #39 #Var: 2750 LB: 0 @ 28.986
30.55	c Restart #40 #Var: 2750 LB: 0 @ 30.493
31.97	c Restart #41 #Var: 2750 LB: 0 @ 31.916
33.59	c Restart #42 #Var: 2750 LB: 0 @ 33.537
35.13	c Restart #43 #Var: 2750 LB: 0 @ 35.067
36.70	c Restart #44 #Var: 2750 LB: 0 @ 36.645
38.34	c Restart #45 #Var: 2750 LB: 0 @ 38.278
40.05	c Restart #46 #Var: 2750 LB: 0 @ 39.99
41.81	c Restart #47 #Var: 2750 LB: 0 @ 41.751
43.54	c Restart #48 #Var: 2750 LB: 0 @ 43.477
45.45	c Restart #49 #Var: 2750 LB: 0 @ 45.393
47.32	c Restart #50 #Var: 2750 LB: 0 @ 47.256
49.13	c Restart #51 #Var: 2750 LB: 0 @ 49.066
51.15	c Restart #52 #Var: 2750 LB: 0 @ 51.09
53.20	c Restart #53 #Var: 2750 LB: 0 @ 53.137
55.38	c Restart #54 #Var: 2750 LB: 0 @ 55.318
57.58	c Restart #55 #Var: 2750 LB: 0 @ 57.511
59.86	c Restart #56 #Var: 2750 LB: 0 @ 59.796
62.13	c Restart #57 #Var: 2750 LB: 0 @ 62.069
64.43	c Restart #58 #Var: 2750 LB: 0 @ 64.364
66.69	c Restart #59 #Var: 2750 LB: 0 @ 66.622
69.00	c Restart #60 #Var: 2750 LB: 0 @ 68.935
71.52	c Restart #61 #Var: 2750 LB: 0 @ 71.451
74.00	c Restart #62 #Var: 2750 LB: 0 @ 73.935
76.48	c Restart #63 #Var: 2750 LB: 0 @ 76.409
79.08	c Restart #64 #Var: 2750 LB: 0 @ 79.013
81.75	c Restart #65 #Var: 2750 LB: 0 @ 81.683
84.53	c Restart #66 #Var: 2750 LB: 0 @ 84.46
87.02	c Restart #67 #Var: 2750 LB: 0 @ 86.949
89.60	c Restart #68 #Var: 2750 LB: 0 @ 89.531
92.21	c Restart #69 #Var: 2750 LB: 0 @ 92.134
94.94	c Restart #70 #Var: 2750 LB: 0 @ 94.864
97.81	c Restart #71 #Var: 2750 LB: 0 @ 97.738
100.96	c Restart #72 #Var: 2750 LB: 0 @ 100.88
103.97	c Restart #73 #Var: 2750 LB: 0 @ 103.89
106.95	c Restart #74 #Var: 2750 LB: 0 @ 106.87
110.04	c Restart #75 #Var: 2750 LB: 0 @ 109.96
113.19	c Restart #76 #Var: 2750 LB: 0 @ 113.11
116.33	c Restart #77 #Var: 2750 LB: 0 @ 116.25
119.44	c Restart #78 #Var: 2750 LB: 0 @ 119.35
122.52	c Restart #79 #Var: 2750 LB: 0 @ 122.43
125.76	c Restart #80 #Var: 2750 LB: 0 @ 125.67
128.98	c Restart #81 #Var: 2750 LB: 0 @ 128.89
132.25	c Restart #82 #Var: 2750 LB: 0 @ 132.16
135.52	c Restart #83 #Var: 2750 LB: 0 @ 135.43
138.92	c Restart #84 #Var: 2750 LB: 0 @ 138.83
142.46	c Restart #85 #Var: 2750 LB: 0 @ 142.37
145.88	c Restart #86 #Var: 2750 LB: 0 @ 145.79
149.44	c Restart #87 #Var: 2750 LB: 0 @ 149.35
153.25	c Restart #88 #Var: 2750 LB: 0 @ 153.15
157.02	c Restart #89 #Var: 2750 LB: 0 @ 156.92
160.77	c Restart #90 #Var: 2750 LB: 0 @ 160.67
164.59	c Restart #91 #Var: 2750 LB: 0 @ 164.5
168.42	c Restart #92 #Var: 2750 LB: 0 @ 168.32
172.45	c Restart #93 #Var: 2750 LB: 0 @ 172.35
176.40	c Restart #94 #Var: 2750 LB: 0 @ 176.31
180.40	c Restart #95 #Var: 2750 LB: 0 @ 180.3
184.20	c Restart #96 #Var: 2750 LB: 0 @ 184.1
188.01	c Restart #97 #Var: 2750 LB: 0 @ 187.91
192.13	c Restart #98 #Var: 2750 LB: 0 @ 192.03
196.50	c Restart #99 #Var: 2750 LB: 0 @ 196.39
200.64	c Restart #100 #Var: 2750 LB: 0 @ 200.53
204.97	c Restart #101 #Var: 2750 LB: 0 @ 204.86
209.17	c Restart #102 #Var: 2750 LB: 0 @ 209.06
213.39	c Restart #103 #Var: 2750 LB: 0 @ 213.28
217.75	c Restart #104 #Var: 2750 LB: 0 @ 217.64
222.31	c Restart #105 #Var: 2750 LB: 0 @ 222.2
226.72	c Restart #106 #Var: 2750 LB: 0 @ 226.61
231.19	c Restart #107 #Var: 2750 LB: 0 @ 231.08
235.74	c Restart #108 #Var: 2750 LB: 0 @ 235.62
240.34	c Restart #109 #Var: 2750 LB: 0 @ 240.22
245.15	c Restart #110 #Var: 2750 LB: 0 @ 245.03
249.90	c Restart #111 #Var: 2750 LB: 0 @ 249.78
254.80	c Restart #112 #Var: 2750 LB: 0 @ 254.68
259.76	c Restart #113 #Var: 2750 LB: 0 @ 259.64
264.58	c Restart #114 #Var: 2750 LB: 0 @ 264.46
269.44	c Restart #115 #Var: 2750 LB: 0 @ 269.32
274.44	c Restart #116 #Var: 2750 LB: 0 @ 274.32
279.38	c Restart #117 #Var: 2750 LB: 0 @ 279.26
284.45	c Restart #118 #Var: 2750 LB: 0 @ 284.32
289.98	c Restart #119 #Var: 2750 LB: 0 @ 289.85
296.06	c Restart #120 #Var: 2750 LB: 0 @ 295.93
301.53	c Restart #121 #Var: 2750 LB: 0 @ 301.4
306.94	c Restart #122 #Var: 2750 LB: 0 @ 306.81
312.37	c Restart #123 #Var: 2750 LB: 0 @ 312.23
318.05	c Restart #124 #Var: 2750 LB: 0 @ 317.91
323.58	c Restart #125 #Var: 2750 LB: 0 @ 323.44
329.18	c Restart #126 #Var: 2750 LB: 0 @ 329.04
334.62	c Restart #127 #Var: 2750 LB: 0 @ 334.48
340.33	c Restart #128 #Var: 2750 LB: 0 @ 340.19
345.94	c Restart #129 #Var: 2750 LB: 0 @ 345.8
351.53	c Restart #130 #Var: 2750 LB: 0 @ 351.38
357.40	c Restart #131 #Var: 2750 LB: 0 @ 357.25
362.93	c Restart #132 #Var: 2750 LB: 0 @ 362.78
368.47	c Restart #133 #Var: 2750 LB: 0 @ 368.32
374.15	c Restart #134 #Var: 2750 LB: 0 @ 374
379.90	c Restart #135 #Var: 2750 LB: 0 @ 379.75
385.56	c Restart #136 #Var: 2750 LB: 0 @ 385.4
391.37	c Restart #137 #Var: 2750 LB: 0 @ 391.21
397.30	c Restart #138 #Var: 2750 LB: 0 @ 397.14
403.31	c Restart #139 #Var: 2750 LB: 0 @ 403.15
409.70	c Restart #140 #Var: 2750 LB: 0 @ 409.53
416.12	c Restart #141 #Var: 2750 LB: 0 @ 415.95
422.64	c Restart #142 #Var: 2750 LB: 0 @ 422.47
429.00	c Restart #143 #Var: 2750 LB: 0 @ 428.83
435.74	c Restart #144 #Var: 2750 LB: 0 @ 435.57
442.42	c Restart #145 #Var: 2750 LB: 0 @ 442.25
449.09	c Restart #146 #Var: 2750 LB: 0 @ 448.92
455.80	c Restart #147 #Var: 2750 LB: 0 @ 455.63
462.82	c Restart #148 #Var: 2750 LB: 0 @ 462.64
469.71	c Restart #149 #Var: 2750 LB: 0 @ 469.54
476.60	c Restart #150 #Var: 2750 LB: 0 @ 476.42
483.52	c Restart #151 #Var: 2750 LB: 0 @ 483.33
490.67	c Restart #152 #Var: 2750 LB: 0 @ 490.49
497.71	c Restart #153 #Var: 2750 LB: 0 @ 497.53
505.15	c Restart #154 #Var: 2750 LB: 0 @ 504.96
512.20	c Restart #155 #Var: 2750 LB: 0 @ 512.01
519.73	c Restart #156 #Var: 2750 LB: 0 @ 519.54
527.17	c Restart #157 #Var: 2750 LB: 0 @ 526.98
534.38	c Restart #158 #Var: 2750 LB: 0 @ 534.18
540.80	c Restart #159 #Var: 2750 LB: 0 @ 540.6
547.60	c Restart #160 #Var: 2750 LB: 0 @ 547.4
555.14	c Restart #161 #Var: 2750 LB: 0 @ 554.94
562.52	c Restart #162 #Var: 2750 LB: 0 @ 562.31
570.19	c Restart #163 #Var: 2750 LB: 0 @ 569.99
577.56	c Restart #164 #Var: 2750 LB: 0 @ 577.36
585.02	c Restart #165 #Var: 2750 LB: 0 @ 584.81
592.55	c Restart #166 #Var: 2750 LB: 0 @ 592.34
600.28	c Restart #167 #Var: 2750 LB: 0 @ 600.06
608.07	c Restart #168 #Var: 2750 LB: 0 @ 607.85
616.05	c Restart #169 #Var: 2750 LB: 0 @ 615.83
624.06	c Restart #170 #Var: 2750 LB: 0 @ 623.84
632.53	c Restart #171 #Var: 2750 LB: 0 @ 632.31
641.14	c Restart #172 #Var: 2750 LB: 0 @ 640.91
649.70	c Restart #173 #Var: 2750 LB: 0 @ 649.48
658.03	c Restart #174 #Var: 2750 LB: 0 @ 657.8
666.95	c Restart #175 #Var: 2750 LB: 0 @ 666.72
675.87	c Restart #176 #Var: 2750 LB: 0 @ 675.64
685.24	c Restart #177 #Var: 2750 LB: 0 @ 685
694.38	c Restart #178 #Var: 2750 LB: 0 @ 694.14
703.61	c Restart #179 #Var: 2750 LB: 0 @ 703.37
713.79	c Restart #180 #Var: 2750 LB: 0 @ 713.54
723.27	c Restart #181 #Var: 2750 LB: 0 @ 723.02
732.22	c Restart #182 #Var: 2750 LB: 0 @ 731.96
741.33	c Restart #183 #Var: 2750 LB: 0 @ 741.07
750.50	c Restart #184 #Var: 2750 LB: 0 @ 750.24
760.33	c Restart #185 #Var: 2750 LB: 0 @ 760.07
770.10	c Restart #186 #Var: 2750 LB: 0 @ 769.83
779.24	c Restart #187 #Var: 2750 LB: 0 @ 778.97
789.40	c Restart #188 #Var: 2750 LB: 0 @ 789.13
799.62	c Restart #189 #Var: 2750 LB: 0 @ 799.35
809.63	c Restart #190 #Var: 2750 LB: 0 @ 809.35
820.09	c Restart #191 #Var: 2750 LB: 0 @ 819.81
829.76	c Restart #192 #Var: 2750 LB: 0 @ 829.48
840.58	c Restart #193 #Var: 2750 LB: 0 @ 840.29
853.37	c Restart #194 #Var: 2750 LB: 0 @ 853.08
864.83	c Restart #195 #Var: 2750 LB: 0 @ 864.54
875.49	c Restart #196 #Var: 2750 LB: 0 @ 875.2
886.87	c Restart #197 #Var: 2750 LB: 0 @ 886.57
898.72	c Restart #198 #Var: 2750 LB: 0 @ 898.42
909.17	c CHANGE Heuristic... 
909.17	c Restart #0 #Var: 2750 LB: 0 @ 908.87
909.21	c Restart #1 #Var: 2750 LB: 0 @ 908.91
909.31	c Restart #2 #Var: 2750 LB: 0 @ 909
909.45	c Restart #3 #Var: 2750 LB: 0 @ 909.15
909.66	c Restart #4 #Var: 2750 LB: 0 @ 909.36
909.85	c Restart #5 #Var: 2750 LB: 0 @ 909.55
910.11	c Restart #6 #Var: 2750 LB: 0 @ 909.81
910.38	c Restart #7 #Var: 2750 LB: 0 @ 910.08
910.73	c Restart #8 #Var: 2750 LB: 0 @ 910.43
911.12	c Restart #9 #Var: 2750 LB: 0 @ 910.82
911.54	c Restart #10 #Var: 2750 LB: 0 @ 911.24
912.01	c Restart #11 #Var: 2750 LB: 0 @ 911.71
912.55	c Restart #12 #Var: 2750 LB: 0 @ 912.25
913.12	c Restart #13 #Var: 2750 LB: 0 @ 912.82
913.74	c Restart #14 #Var: 2750 LB: 0 @ 913.44
914.36	c Restart #15 #Var: 2750 LB: 0 @ 914.06
915.06	c Restart #16 #Var: 2750 LB: 0 @ 914.76
915.81	c Restart #17 #Var: 2750 LB: 0 @ 915.51
916.57	c Restart #18 #Var: 2750 LB: 0 @ 916.26
917.39	c Restart #19 #Var: 2750 LB: 0 @ 917.09
918.31	c Restart #20 #Var: 2750 LB: 0 @ 918
919.25	c Restart #21 #Var: 2750 LB: 0 @ 918.94
920.15	c Restart #22 #Var: 2750 LB: 0 @ 919.85
921.17	c Restart #23 #Var: 2750 LB: 0 @ 920.87
922.23	c Restart #24 #Var: 2750 LB: 0 @ 921.92
923.24	c Restart #25 #Var: 2750 LB: 0 @ 922.93
924.38	c Restart #26 #Var: 2750 LB: 0 @ 924.08
925.52	c Restart #27 #Var: 2750 LB: 0 @ 925.21
926.75	c Restart #28 #Var: 2750 LB: 0 @ 926.45
928.01	c Restart #29 #Var: 2750 LB: 0 @ 927.71
929.37	c Restart #30 #Var: 2750 LB: 0 @ 929.06
930.64	c Restart #31 #Var: 2750 LB: 0 @ 930.33
931.97	c Restart #32 #Var: 2750 LB: 0 @ 931.66
933.43	c Restart #33 #Var: 2750 LB: 0 @ 933.12
935.06	c Restart #34 #Var: 2750 LB: 0 @ 934.75
936.62	c Restart #35 #Var: 2750 LB: 0 @ 936.31
938.32	c Restart #36 #Var: 2750 LB: 0 @ 938.01
940.09	c Restart #37 #Var: 2750 LB: 0 @ 939.78
941.88	c Restart #38 #Var: 2750 LB: 0 @ 941.57
943.73	c Restart #39 #Var: 2750 LB: 0 @ 943.42
945.64	c Restart #40 #Var: 2750 LB: 0 @ 945.33
947.59	c Restart #41 #Var: 2750 LB: 0 @ 947.28
949.48	c Restart #42 #Var: 2750 LB: 0 @ 949.17
951.56	c Restart #43 #Var: 2750 LB: 0 @ 951.24
953.54	c Restart #44 #Var: 2750 LB: 0 @ 953.22
955.66	c Restart #45 #Var: 2750 LB: 0 @ 955.35
957.69	c Restart #46 #Var: 2750 LB: 0 @ 957.38
960.07	c Restart #47 #Var: 2750 LB: 0 @ 959.75
962.38	c Restart #48 #Var: 2750 LB: 0 @ 962.06
964.80	c Restart #49 #Var: 2750 LB: 0 @ 964.49
967.11	c Restart #50 #Var: 2750 LB: 0 @ 966.8
969.51	c Restart #51 #Var: 2750 LB: 0 @ 969.19
971.69	c Restart #52 #Var: 2750 LB: 0 @ 971.37
974.10	c Restart #53 #Var: 2750 LB: 0 @ 973.78
976.73	c Restart #54 #Var: 2750 LB: 0 @ 976.41
979.18	c Restart #55 #Var: 2750 LB: 0 @ 978.86
981.93	c Restart #56 #Var: 2750 LB: 0 @ 981.61
984.57	c Restart #57 #Var: 2750 LB: 0 @ 984.24
987.38	c Restart #58 #Var: 2750 LB: 0 @ 987.05
990.27	c Restart #59 #Var: 2750 LB: 0 @ 989.94
993.07	c Restart #60 #Var: 2750 LB: 0 @ 992.74
995.86	c Restart #61 #Var: 2750 LB: 0 @ 995.53
998.82	c Restart #62 #Var: 2750 LB: 0 @ 998.49
1001.92	c Restart #63 #Var: 2750 LB: 0 @ 1001.6
1004.95	c Restart #64 #Var: 2750 LB: 0 @ 1004.6
1008.04	c Restart #65 #Var: 2750 LB: 0 @ 1007.7
1011.02	c Restart #66 #Var: 2750 LB: 0 @ 1010.7
1014.22	c Restart #67 #Var: 2750 LB: 0 @ 1013.9
1017.49	c Restart #68 #Var: 2750 LB: 0 @ 1017.2
1020.84	c Restart #69 #Var: 2750 LB: 0 @ 1020.5
1024.42	c Restart #70 #Var: 2750 LB: 0 @ 1024.1
1027.73	c Restart #71 #Var: 2750 LB: 0 @ 1027.4
1031.11	c Restart #72 #Var: 2750 LB: 0 @ 1030.8
1034.42	c Restart #73 #Var: 2750 LB: 0 @ 1034.1
1038.03	c Restart #74 #Var: 2750 LB: 0 @ 1037.7
1041.66	c Restart #75 #Var: 2750 LB: 0 @ 1041.3
1045.47	c Restart #76 #Var: 2750 LB: 0 @ 1045.1
1049.23	c Restart #77 #Var: 2750 LB: 0 @ 1048.9
1052.96	c Restart #78 #Var: 2750 LB: 0 @ 1052.6
1056.83	c Restart #79 #Var: 2750 LB: 0 @ 1056.5
1060.75	c Restart #80 #Var: 2750 LB: 0 @ 1060.4
1064.75	c Restart #81 #Var: 2750 LB: 0 @ 1064.4
1068.67	c Restart #82 #Var: 2750 LB: 0 @ 1068.3
1072.81	c Restart #83 #Var: 2750 LB: 0 @ 1072.5
1076.93	c Restart #84 #Var: 2750 LB: 0 @ 1076.6
1081.01	c Restart #85 #Var: 2750 LB: 0 @ 1080.7
1085.28	c Restart #86 #Var: 2750 LB: 0 @ 1084.9
1089.52	c Restart #87 #Var: 2750 LB: 0 @ 1089.2
1093.72	c Restart #88 #Var: 2750 LB: 0 @ 1093.4
1097.99	c Restart #89 #Var: 2750 LB: 0 @ 1097.6
1102.41	c Restart #90 #Var: 2750 LB: 0 @ 1102.1
1106.80	c Restart #91 #Var: 2750 LB: 0 @ 1106.4
1111.57	c Restart #92 #Var: 2750 LB: 0 @ 1111.2
1116.58	c Restart #93 #Var: 2750 LB: 0 @ 1116.2
1121.49	c Restart #94 #Var: 2750 LB: 0 @ 1121.1
1126.62	c Restart #95 #Var: 2750 LB: 0 @ 1126.3
1131.81	c Restart #96 #Var: 2750 LB: 0 @ 1131.4
1137.11	c Restart #97 #Var: 2750 LB: 0 @ 1136.7
1142.65	c Restart #98 #Var: 2750 LB: 0 @ 1142.3
1147.99	c Restart #99 #Var: 2750 LB: 0 @ 1147.6
1153.35	c Restart #100 #Var: 2750 LB: 0 @ 1153
1158.92	c Restart #101 #Var: 2750 LB: 0 @ 1158.5
1164.49	c Restart #102 #Var: 2750 LB: 0 @ 1164.1
1170.26	c Restart #103 #Var: 2750 LB: 0 @ 1169.9
1176.02	c Restart #104 #Var: 2750 LB: 0 @ 1175.6
1181.81	c Restart #105 #Var: 2750 LB: 0 @ 1181.4
1187.64	c Restart #106 #Var: 2750 LB: 0 @ 1187.3
1193.50	c Restart #107 #Var: 2750 LB: 0 @ 1193.1
1199.32	c Restart #108 #Var: 2750 LB: 0 @ 1198.9
1205.31	c Restart #109 #Var: 2750 LB: 0 @ 1204.9
1211.34	c Restart #110 #Var: 2750 LB: 0 @ 1211
1217.38	c Restart #111 #Var: 2750 LB: 0 @ 1217
1223.53	c Restart #112 #Var: 2750 LB: 0 @ 1223.1
1229.97	c Restart #113 #Var: 2750 LB: 0 @ 1229.6
1236.37	c Restart #114 #Var: 2750 LB: 0 @ 1236
1242.86	c Restart #115 #Var: 2750 LB: 0 @ 1242.5
1249.46	c Restart #116 #Var: 2750 LB: 0 @ 1249.1
1255.91	c Restart #117 #Var: 2750 LB: 0 @ 1255.5
1262.78	c Restart #118 #Var: 2750 LB: 0 @ 1262.4
1269.20	c Restart #119 #Var: 2750 LB: 0 @ 1268.8
1275.79	c Restart #120 #Var: 2750 LB: 0 @ 1275.4
1282.91	c Restart #121 #Var: 2750 LB: 0 @ 1282.5
1289.83	c Restart #122 #Var: 2750 LB: 0 @ 1289.4
1296.84	c Restart #123 #Var: 2750 LB: 0 @ 1296.4
1303.71	c Restart #124 #Var: 2750 LB: 0 @ 1303.3
1310.81	c Restart #125 #Var: 2750 LB: 0 @ 1310.4
1318.04	c Restart #126 #Var: 2750 LB: 0 @ 1317.6
1325.24	c Restart #127 #Var: 2750 LB: 0 @ 1324.8
1332.99	c Restart #128 #Var: 2750 LB: 0 @ 1332.6
1340.70	c Restart #129 #Var: 2750 LB: 0 @ 1340.3
1348.82	c Restart #130 #Var: 2750 LB: 0 @ 1348.4
1356.90	c Restart #131 #Var: 2750 LB: 0 @ 1356.5
1365.00	c Restart #132 #Var: 2750 LB: 0 @ 1364.6
1372.84	c Restart #133 #Var: 2750 LB: 0 @ 1372.4
1381.00	c Restart #134 #Var: 2750 LB: 0 @ 1380.6
1389.31	c Restart #135 #Var: 2750 LB: 0 @ 1388.9
1397.52	c Restart #136 #Var: 2750 LB: 0 @ 1397.1
1406.00	c Restart #137 #Var: 2750 LB: 0 @ 1405.6
1414.61	c Restart #138 #Var: 2750 LB: 0 @ 1414.2
1423.05	c Restart #139 #Var: 2750 LB: 0 @ 1422.6
1431.68	c Restart #140 #Var: 2750 LB: 0 @ 1431.2
1440.54	c Restart #141 #Var: 2750 LB: 0 @ 1440.1
1449.05	c Restart #142 #Var: 2750 LB: 0 @ 1448.6
1458.02	c Restart #143 #Var: 2750 LB: 0 @ 1457.6
1467.02	c Restart #144 #Var: 2750 LB: 0 @ 1466.6
1475.98	c Restart #145 #Var: 2750 LB: 0 @ 1475.5
1485.39	c Restart #146 #Var: 2750 LB: 0 @ 1484.9
1494.85	c Restart #147 #Var: 2750 LB: 0 @ 1494.4
1504.38	c Restart #148 #Var: 2750 LB: 0 @ 1503.9
1513.86	c Restart #149 #Var: 2750 LB: 0 @ 1513.4
1523.64	c Restart #150 #Var: 2750 LB: 0 @ 1523.2
1532.99	c Restart #151 #Var: 2750 LB: 0 @ 1532.5
1543.11	c Restart #152 #Var: 2750 LB: 0 @ 1542.6
1553.17	c Restart #153 #Var: 2750 LB: 0 @ 1552.7
1563.14	c Restart #154 #Var: 2750 LB: 0 @ 1562.7
1573.07	c Restart #155 #Var: 2750 LB: 0 @ 1572.6
1583.31	c Restart #156 #Var: 2750 LB: 0 @ 1582.8
1593.43	c Restart #157 #Var: 2750 LB: 0 @ 1592.9
1603.76	c Restart #158 #Var: 2750 LB: 0 @ 1603.3
1614.34	c Restart #159 #Var: 2750 LB: 0 @ 1613.8
1624.93	c Restart #160 #Var: 2750 LB: 0 @ 1624.4
1635.74	c Restart #161 #Var: 2750 LB: 0 @ 1635.2
1646.57	c Restart #162 #Var: 2750 LB: 0 @ 1646.1
1657.51	c Restart #163 #Var: 2750 LB: 0 @ 1657
1668.48	c Restart #164 #Var: 2750 LB: 0 @ 1668
1679.09	c Restart #165 #Var: 2750 LB: 0 @ 1678.6
1690.20	c Restart #166 #Var: 2750 LB: 0 @ 1689.7
1701.23	c Restart #167 #Var: 2750 LB: 0 @ 1700.7
1711.80	c Restart #168 #Var: 2750 LB: 0 @ 1711.3
1722.72	c Restart #169 #Var: 2750 LB: 0 @ 1722.2
1734.06	c Restart #170 #Var: 2750 LB: 0 @ 1733.5
1745.41	c Restart #171 #Var: 2750 LB: 0 @ 1744.9
1756.88	c Restart #172 #Var: 2750 LB: 0 @ 1756.3
1768.45	c Restart #173 #Var: 2750 LB: 0 @ 1767.9
1780.20	c Restart #174 #Var: 2750 LB: 0 @ 1779.7
1791.87	c Restart #175 #Var: 2750 LB: 0 @ 1791.3
1800.55	s UNKNOWN
1800.55	c Exit Code: 0
1800.55	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/node36/watcher-46254-1154055732 -o ROOT/results/node36/solver-46254-1154055732 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node36/46254-1154055732/instance-46254-1154055732.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 1.00 1.00 1.00 2/64 20981
/proc/meminfo: memFree=1556880/2055920 swapFree=4183160/4192956
[pid=20981] ppid=20979 vsize=2948 CPUtime=0
/proc/20981/stat : 20981 (bsolo) D 20979 20981 20932 0 -1 0 50 0 1 0 0 0 0 0 18 0 1 0 152444553 3018752 34 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 1528612 0 0 4096 0 18446744071563608240 0 0 17 1 0 0
/proc/20981/statm: 737 34 26 55 0 38 0

[startup+10.0015 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 20981
/proc/meminfo: memFree=1550112/2055920 swapFree=4183160/4192956
[pid=20981] ppid=20979 vsize=8884 CPUtime=9.94
/proc/20981/stat : 20981 (bsolo) R 20979 20981 20932 0 -1 0 1452 0 10 0 990 4 0 0 25 0 1 0 152444553 9097216 1376 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134718567 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20981/statm: 2221 1376 296 55 0 1113 0
Current children cumulated CPU time (s) 9.94
Current children cumulated vsize (Kb) 8884

[startup+20.0075 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 20981
/proc/meminfo: memFree=1549984/2055920 swapFree=4183160/4192956
[pid=20981] ppid=20979 vsize=9148 CPUtime=19.94
/proc/20981/stat : 20981 (bsolo) R 20979 20981 20932 0 -1 0 1529 0 10 0 1988 6 0 0 25 0 1 0 152444553 9367552 1453 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548222 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20981/statm: 2287 1453 296 55 0 1179 0
Current children cumulated CPU time (s) 19.94
Current children cumulated vsize (Kb) 9148

[startup+30.0135 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 20981
/proc/meminfo: memFree=1549856/2055920 swapFree=4183160/4192956
[pid=20981] ppid=20979 vsize=9280 CPUtime=29.95
/proc/20981/stat : 20981 (bsolo) R 20979 20981 20932 0 -1 0 1554 0 10 0 2987 8 0 0 25 0 1 0 152444553 9502720 1478 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20981/statm: 2320 1478 296 55 0 1212 0
Current children cumulated CPU time (s) 29.95
Current children cumulated vsize (Kb) 9280

[startup+40.0196 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 20981
/proc/meminfo: memFree=1549856/2055920 swapFree=4183160/4192956
[pid=20981] ppid=20979 vsize=9280 CPUtime=39.95
/proc/20981/stat : 20981 (bsolo) R 20979 20981 20932 0 -1 0 1568 0 10 0 3985 10 0 0 25 0 1 0 152444553 9502720 1492 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20981/statm: 2320 1492 296 55 0 1212 0
Current children cumulated CPU time (s) 39.95
Current children cumulated vsize (Kb) 9280

[startup+50.0256 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 20981
/proc/meminfo: memFree=1549856/2055920 swapFree=4183160/4192956
[pid=20981] ppid=20979 vsize=9412 CPUtime=49.95
/proc/20981/stat : 20981 (bsolo) R 20979 20981 20932 0 -1 0 1582 0 10 0 4982 13 0 0 25 0 1 0 152444553 9637888 1506 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20981/statm: 2353 1506 296 55 0 1245 0
Current children cumulated CPU time (s) 49.95
Current children cumulated vsize (Kb) 9412

[startup+60.0316 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 20981
/proc/meminfo: memFree=1549792/2055920 swapFree=4183160/4192956
[pid=20981] ppid=20979 vsize=9392 CPUtime=59.95
/proc/20981/stat : 20981 (bsolo) R 20979 20981 20932 0 -1 0 1582 0 10 0 5980 15 0 0 25 0 1 0 152444553 9617408 1506 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20981/statm: 2348 1506 296 55 0 1240 0
Current children cumulated CPU time (s) 59.95
Current children cumulated vsize (Kb) 9392

[startup+70.0376 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 20981
/proc/meminfo: memFree=1549856/2055920 swapFree=4183160/4192956
[pid=20981] ppid=20979 vsize=9384 CPUtime=69.96
/proc/20981/stat : 20981 (bsolo) R 20979 20981 20932 0 -1 0 1582 0 10 0 6979 17 0 0 25 0 1 0 152444553 9609216 1506 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20981/statm: 2346 1506 296 55 0 1238 0
Current children cumulated CPU time (s) 69.96
Current children cumulated vsize (Kb) 9384

[startup+80.0436 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 20981
/proc/meminfo: memFree=1549792/2055920 swapFree=4183160/4192956
[pid=20981] ppid=20979 vsize=9516 CPUtime=79.96
/proc/20981/stat : 20981 (bsolo) R 20979 20981 20932 0 -1 0 1605 0 10 0 7978 18 0 0 25 0 1 0 152444553 9744384 1529 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20981/statm: 2379 1529 296 55 0 1271 0
Current children cumulated CPU time (s) 79.96
Current children cumulated vsize (Kb) 9516

[startup+90.0496 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 20981
/proc/meminfo: memFree=1549792/2055920 swapFree=4183160/4192956
[pid=20981] ppid=20979 vsize=9516 CPUtime=89.96
/proc/20981/stat : 20981 (bsolo) R 20979 20981 20932 0 -1 0 1606 0 10 0 8976 20 0 0 25 0 1 0 152444553 9744384 1530 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20981/statm: 2379 1530 296 55 0 1271 0
Current children cumulated CPU time (s) 89.96
Current children cumulated vsize (Kb) 9516

[startup+100.056 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 20981
/proc/meminfo: memFree=1549728/2055920 swapFree=4183160/4192956
[pid=20981] ppid=20979 vsize=9516 CPUtime=99.97
/proc/20981/stat : 20981 (bsolo) R 20979 20981 20932 0 -1 0 1614 0 10 0 9974 23 0 0 25 0 1 0 152444553 9744384 1538 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20981/statm: 2379 1538 296 55 0 1271 0
Current children cumulated CPU time (s) 99.97
Current children cumulated vsize (Kb) 9516

[startup+110.062 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 20981
/proc/meminfo: memFree=1549600/2055920 swapFree=4183160/4192956
[pid=20981] ppid=20979 vsize=9644 CPUtime=109.98
/proc/20981/stat : 20981 (bsolo) R 20979 20981 20932 0 -1 0 1641 0 10 0 10973 25 0 0 25 0 1 0 152444553 9875456 1565 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134718215 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20981/statm: 2411 1565 296 55 0 1303 0
Current children cumulated CPU time (s) 109.98
Current children cumulated vsize (Kb) 9644

[startup+120.069 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 20981
/proc/meminfo: memFree=1549472/2055920 swapFree=4183160/4192956
[pid=20981] ppid=20979 vsize=9644 CPUtime=119.97
/proc/20981/stat : 20981 (bsolo) R 20979 20981 20932 0 -1 0 1663 0 10 0 11970 27 0 0 25 0 1 0 152444553 9875456 1587 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20981/statm: 2411 1587 296 55 0 1303 0
Current children cumulated CPU time (s) 119.97
Current children cumulated vsize (Kb) 9644

[startup+130.075 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 20981
/proc/meminfo: memFree=1549472/2055920 swapFree=4183160/4192956
[pid=20981] ppid=20979 vsize=9776 CPUtime=129.98
/proc/20981/stat : 20981 (bsolo) R 20979 20981 20932 0 -1 0 1667 0 10 0 12968 30 0 0 25 0 1 0 152444553 10010624 1591 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20981/statm: 2444 1591 296 55 0 1336 0
Current children cumulated CPU time (s) 129.98
Current children cumulated vsize (Kb) 9776

[startup+140.081 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 20981
/proc/meminfo: memFree=1549408/2055920 swapFree=4183160/4192956
[pid=20981] ppid=20979 vsize=9760 CPUtime=139.98
/proc/20981/stat : 20981 (bsolo) R 20979 20981 20932 0 -1 0 1680 0 10 0 13966 32 0 0 25 0 1 0 152444553 9994240 1604 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20981/statm: 2440 1604 296 55 0 1332 0
Current children cumulated CPU time (s) 139.98
Current children cumulated vsize (Kb) 9760

[startup+150.087 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 20981
/proc/meminfo: memFree=1549408/2055920 swapFree=4183160/4192956
[pid=20981] ppid=20979 vsize=9760 CPUtime=149.99
/proc/20981/stat : 20981 (bsolo) R 20979 20981 20932 0 -1 0 1686 0 10 0 14964 35 0 0 25 0 1 0 152444553 9994240 1610 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20981/statm: 2440 1610 296 55 0 1332 0
Current children cumulated CPU time (s) 149.99
Current children cumulated vsize (Kb) 9760

[startup+160.093 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 20981
/proc/meminfo: memFree=1549344/2055920 swapFree=4183160/4192956
[pid=20981] ppid=20979 vsize=9888 CPUtime=159.99
/proc/20981/stat : 20981 (bsolo) R 20979 20981 20932 0 -1 0 1704 0 10 0 15961 38 0 0 25 0 1 0 152444553 10125312 1628 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20981/statm: 2472 1628 296 55 0 1364 0
Current children cumulated CPU time (s) 159.99
Current children cumulated vsize (Kb) 9888

[startup+170.099 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 20981
/proc/meminfo: memFree=1549344/2055920 swapFree=4183160/4192956
[pid=20981] ppid=20979 vsize=9888 CPUtime=170
/proc/20981/stat : 20981 (bsolo) R 20979 20981 20932 0 -1 0 1704 0 10 0 16960 40 0 0 25 0 1 0 152444553 10125312 1628 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20981/statm: 2472 1628 296 55 0 1364 0
Current children cumulated CPU time (s) 170
Current children cumulated vsize (Kb) 9888

[startup+180.105 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 20981
/proc/meminfo: memFree=1549344/2055920 swapFree=4183160/4192956
[pid=20981] ppid=20979 vsize=9888 CPUtime=180
/proc/20981/stat : 20981 (bsolo) R 20979 20981 20932 0 -1 0 1704 0 10 0 17959 41 0 0 25 0 1 0 152444553 10125312 1628 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20981/statm: 2472 1628 296 55 0 1364 0
Current children cumulated CPU time (s) 180
Current children cumulated vsize (Kb) 9888

[startup+190.111 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 20981
/proc/meminfo: memFree=1549280/2055920 swapFree=4183160/4192956
[pid=20981] ppid=20979 vsize=9888 CPUtime=190
/proc/20981/stat : 20981 (bsolo) R 20979 20981 20932 0 -1 0 1722 0 10 0 18957 43 0 0 25 0 1 0 152444553 10125312 1646 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20981/statm: 2472 1646 296 55 0 1364 0
Current children cumulated CPU time (s) 190
Current children cumulated vsize (Kb) 9888

[startup+200.117 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 20981
/proc/meminfo: memFree=1549152/2055920 swapFree=4183160/4192956
[pid=20981] ppid=20979 vsize=9992 CPUtime=200.01
/proc/20981/stat : 20981 (bsolo) R 20979 20981 20932 0 -1 0 1749 0 10 0 19956 45 0 0 25 0 1 0 152444553 10231808 1673 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20981/statm: 2498 1673 296 55 0 1390 0
Current children cumulated CPU time (s) 200.01
Current children cumulated vsize (Kb) 9992

[startup+210.123 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 20981

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

Current children cumulated CPU time (s) 1760.64
Current children cumulated vsize (Kb) 16416

[startup+1771.19 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 20981
/proc/meminfo: memFree=1542496/2055920 swapFree=4183160/4192956
[pid=20981] ppid=20979 vsize=16416 CPUtime=1770.64
/proc/20981/stat : 20981 (bsolo) R 20979 20981 20932 0 -1 0 3370 0 10 0 176733 331 0 0 25 0 1 0 152444553 16809984 3270 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20981/statm: 4104 3270 296 55 0 2996 0
Current children cumulated CPU time (s) 1770.64
Current children cumulated vsize (Kb) 16416

[startup+1781.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 20981
/proc/meminfo: memFree=1542496/2055920 swapFree=4183160/4192956
[pid=20981] ppid=20979 vsize=16416 CPUtime=1780.65
/proc/20981/stat : 20981 (bsolo) R 20979 20981 20932 0 -1 0 3375 0 10 0 177732 333 0 0 25 0 1 0 152444553 16809984 3275 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548592 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20981/statm: 4104 3275 296 55 0 2996 0
Current children cumulated CPU time (s) 1780.65
Current children cumulated vsize (Kb) 16416

[startup+1782.21 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 20981
/proc/meminfo: memFree=1542496/2055920 swapFree=4183160/4192956
[pid=20981] ppid=20979 vsize=16416 CPUtime=1781.66
/proc/20981/stat : 20981 (bsolo) R 20979 20981 20932 0 -1 0 3375 0 10 0 177833 333 0 0 25 0 1 0 152444553 16809984 3275 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134557740 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20981/statm: 4104 3275 296 55 0 2996 0
Current children cumulated CPU time (s) 1781.66
Current children cumulated vsize (Kb) 16416

[startup+1783.21 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 20981
/proc/meminfo: memFree=1542496/2055920 swapFree=4183160/4192956
[pid=20981] ppid=20979 vsize=16416 CPUtime=1782.66
/proc/20981/stat : 20981 (bsolo) R 20979 20981 20932 0 -1 0 3375 0 10 0 177933 333 0 0 25 0 1 0 152444553 16809984 3275 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548386 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20981/statm: 4104 3275 296 55 0 2996 0
Current children cumulated CPU time (s) 1782.66
Current children cumulated vsize (Kb) 16416

[startup+1784.22 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 20981
/proc/meminfo: memFree=1542496/2055920 swapFree=4183160/4192956
[pid=20981] ppid=20979 vsize=16416 CPUtime=1783.66
/proc/20981/stat : 20981 (bsolo) R 20979 20981 20932 0 -1 0 3375 0 10 0 178033 333 0 0 25 0 1 0 152444553 16809984 3275 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20981/statm: 4104 3275 296 55 0 2996 0
Current children cumulated CPU time (s) 1783.66
Current children cumulated vsize (Kb) 16416

[startup+1785.22 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 20981
/proc/meminfo: memFree=1542496/2055920 swapFree=4183160/4192956
[pid=20981] ppid=20979 vsize=16416 CPUtime=1784.67
/proc/20981/stat : 20981 (bsolo) R 20979 20981 20932 0 -1 0 3375 0 10 0 178133 334 0 0 25 0 1 0 152444553 16809984 3275 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20981/statm: 4104 3275 296 55 0 2996 0
Current children cumulated CPU time (s) 1784.67
Current children cumulated vsize (Kb) 16416

[startup+1786.23 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 20981
/proc/meminfo: memFree=1542496/2055920 swapFree=4183160/4192956
[pid=20981] ppid=20979 vsize=16416 CPUtime=1785.68
/proc/20981/stat : 20981 (bsolo) R 20979 20981 20932 0 -1 0 3375 0 10 0 178234 334 0 0 25 0 1 0 152444553 16809984 3275 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548372 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20981/statm: 4104 3275 296 55 0 2996 0
Current children cumulated CPU time (s) 1785.68
Current children cumulated vsize (Kb) 16416

[startup+1787.23 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 20981
/proc/meminfo: memFree=1542496/2055920 swapFree=4183160/4192956
[pid=20981] ppid=20979 vsize=16416 CPUtime=1786.68
/proc/20981/stat : 20981 (bsolo) R 20979 20981 20932 0 -1 0 3375 0 10 0 178334 334 0 0 25 0 1 0 152444553 16809984 3275 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20981/statm: 4104 3275 296 55 0 2996 0
Current children cumulated CPU time (s) 1786.68
Current children cumulated vsize (Kb) 16416

[startup+1788.24 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 20981
/proc/meminfo: memFree=1542496/2055920 swapFree=4183160/4192956
[pid=20981] ppid=20979 vsize=16416 CPUtime=1787.68
/proc/20981/stat : 20981 (bsolo) R 20979 20981 20932 0 -1 0 3375 0 10 0 178434 334 0 0 25 0 1 0 152444553 16809984 3275 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20981/statm: 4104 3275 296 55 0 2996 0
Current children cumulated CPU time (s) 1787.68
Current children cumulated vsize (Kb) 16416

[startup+1789.24 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 20981
/proc/meminfo: memFree=1542496/2055920 swapFree=4183160/4192956
[pid=20981] ppid=20979 vsize=16416 CPUtime=1788.69
/proc/20981/stat : 20981 (bsolo) R 20979 20981 20932 0 -1 0 3375 0 10 0 178535 334 0 0 25 0 1 0 152444553 16809984 3275 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548389 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20981/statm: 4104 3275 296 55 0 2996 0
Current children cumulated CPU time (s) 1788.69
Current children cumulated vsize (Kb) 16416

[startup+1790.25 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 20981
/proc/meminfo: memFree=1542496/2055920 swapFree=4183160/4192956
[pid=20981] ppid=20979 vsize=16416 CPUtime=1789.69
/proc/20981/stat : 20981 (bsolo) R 20979 20981 20932 0 -1 0 3375 0 10 0 178635 334 0 0 25 0 1 0 152444553 16809984 3275 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134599015 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20981/statm: 4104 3275 296 55 0 2996 0
Current children cumulated CPU time (s) 1789.69
Current children cumulated vsize (Kb) 16416

[startup+1791.25 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 20981
/proc/meminfo: memFree=1542496/2055920 swapFree=4183160/4192956
[pid=20981] ppid=20979 vsize=16416 CPUtime=1790.69
/proc/20981/stat : 20981 (bsolo) R 20979 20981 20932 0 -1 0 3375 0 10 0 178735 334 0 0 25 0 1 0 152444553 16809984 3275 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134595816 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20981/statm: 4104 3275 296 55 0 2996 0
Current children cumulated CPU time (s) 1790.69
Current children cumulated vsize (Kb) 16416

[startup+1792.26 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 20981
/proc/meminfo: memFree=1542496/2055920 swapFree=4183160/4192956
[pid=20981] ppid=20979 vsize=16416 CPUtime=1791.7
/proc/20981/stat : 20981 (bsolo) R 20979 20981 20932 0 -1 0 3375 0 10 0 178836 334 0 0 25 0 1 0 152444553 16809984 3275 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134524861 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20981/statm: 4104 3275 296 55 0 2996 0
Current children cumulated CPU time (s) 1791.7
Current children cumulated vsize (Kb) 16416

[startup+1793.26 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 20981
/proc/meminfo: memFree=1542496/2055920 swapFree=4183160/4192956
[pid=20981] ppid=20979 vsize=16416 CPUtime=1792.7
/proc/20981/stat : 20981 (bsolo) R 20979 20981 20932 0 -1 0 3375 0 10 0 178936 334 0 0 25 0 1 0 152444553 16809984 3275 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20981/statm: 4104 3275 296 55 0 2996 0
Current children cumulated CPU time (s) 1792.7
Current children cumulated vsize (Kb) 16416

[startup+1794.27 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 20981
/proc/meminfo: memFree=1542496/2055920 swapFree=4183160/4192956
[pid=20981] ppid=20979 vsize=16416 CPUtime=1793.71
/proc/20981/stat : 20981 (bsolo) R 20979 20981 20932 0 -1 0 3375 0 10 0 179036 335 0 0 25 0 1 0 152444553 16809984 3275 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134557737 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20981/statm: 4104 3275 296 55 0 2996 0
Current children cumulated CPU time (s) 1793.71
Current children cumulated vsize (Kb) 16416

[startup+1795.27 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 20981
/proc/meminfo: memFree=1542496/2055920 swapFree=4183160/4192956
[pid=20981] ppid=20979 vsize=16416 CPUtime=1794.72
/proc/20981/stat : 20981 (bsolo) R 20979 20981 20932 0 -1 0 3375 0 10 0 179137 335 0 0 25 0 1 0 152444553 16809984 3275 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20981/statm: 4104 3275 296 55 0 2996 0
Current children cumulated CPU time (s) 1794.72
Current children cumulated vsize (Kb) 16416

[startup+1796.28 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 20981
/proc/meminfo: memFree=1542496/2055920 swapFree=4183160/4192956
[pid=20981] ppid=20979 vsize=16416 CPUtime=1795.72
/proc/20981/stat : 20981 (bsolo) R 20979 20981 20932 0 -1 0 3375 0 10 0 179237 335 0 0 25 0 1 0 152444553 16809984 3275 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134542206 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20981/statm: 4104 3275 296 55 0 2996 0
Current children cumulated CPU time (s) 1795.72
Current children cumulated vsize (Kb) 16416

[startup+1797.28 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 20981
/proc/meminfo: memFree=1542496/2055920 swapFree=4183160/4192956
[pid=20981] ppid=20979 vsize=16416 CPUtime=1796.72
/proc/20981/stat : 20981 (bsolo) R 20979 20981 20932 0 -1 0 3375 0 10 0 179337 335 0 0 25 0 1 0 152444553 16809984 3275 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20981/statm: 4104 3275 296 55 0 2996 0
Current children cumulated CPU time (s) 1796.72
Current children cumulated vsize (Kb) 16416

[startup+1798.28 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 20981
/proc/meminfo: memFree=1542496/2055920 swapFree=4183160/4192956
[pid=20981] ppid=20979 vsize=16416 CPUtime=1797.72
/proc/20981/stat : 20981 (bsolo) R 20979 20981 20932 0 -1 0 3375 0 10 0 179437 335 0 0 25 0 1 0 152444553 16809984 3275 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134524425 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20981/statm: 4104 3275 296 55 0 2996 0
Current children cumulated CPU time (s) 1797.72
Current children cumulated vsize (Kb) 16416

[startup+1799.29 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 20981
/proc/meminfo: memFree=1542496/2055920 swapFree=4183160/4192956
[pid=20981] ppid=20979 vsize=16416 CPUtime=1798.73
/proc/20981/stat : 20981 (bsolo) R 20979 20981 20932 0 -1 0 3375 0 10 0 179538 335 0 0 25 0 1 0 152444553 16809984 3275 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548392 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20981/statm: 4104 3275 296 55 0 2996 0
Current children cumulated CPU time (s) 1798.73
Current children cumulated vsize (Kb) 16416

[startup+1800.29 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 20981
/proc/meminfo: memFree=1542496/2055920 swapFree=4183160/4192956
[pid=20981] ppid=20979 vsize=16416 CPUtime=1799.73
/proc/20981/stat : 20981 (bsolo) R 20979 20981 20932 0 -1 0 3375 0 10 0 179638 335 0 0 25 0 1 0 152444553 16809984 3275 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548609 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20981/statm: 4104 3275 296 55 0 2996 0
Current children cumulated CPU time (s) 1799.73
Current children cumulated vsize (Kb) 16416

Child status: 0
Real time (s): 1800.56
CPU time (s): 1800.01
CPU user time (s): 1796.64
CPU system time (s): 3.36249
CPU usage (%): 99.9693
Max. virtual memory (cumulated for all children) (Kb): 16432
The end

Launcher Data (download as text)

Begin job on node36 on Fri Jul 28 03:02:12 UTC 2006


FILE ID= 46254-1154055732

PBS_JOBID= 882029

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

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  277dd35641d3866b31d8fb041eb7f9fb

RANDOM SEED= 681373057

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.218
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.218
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:       1557152 kB
Buffers:         17764 kB
Cached:         402304 kB
SwapCached:       3640 kB
Active:          32936 kB
Inactive:       395760 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1557152 kB
SwapTotal:     4192956 kB
SwapFree:      4183160 kB
Dirty:             188 kB
Writeback:           0 kB
Mapped:          14728 kB
Slab:            56156 kB
Committed_AS:   501524 kB
PageTables:       1424 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node36 on Fri Jul 28 03:32:12 UTC 2006