Trace number 40125

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
bsolo 2006/05SAT0 1800 1800.56

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-opt1217.opb
MD5SUM0d06ca66c5954e6533e2fcc6f3f13fb8
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-16384
Best CPU time to get the best result obtained on this benchmark1800.61
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -16384
Optimality of the best value was proved NO
Number of variables787
Total number of constraints65
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)48
Number of constraints which are nor clauses,nor cardinality constraints17
Minimum length of a constraint16
Maximum length of a constraint67
Number of terms in the objective function 19
Biggest coefficient in the objective function 262144
Number of bits for the biggest coefficient in the objective function 19
Sum of the numbers in the objective function 524287
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 393216
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 917503
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

0.00	c Time Limit set via PBTIMEOUT to 1800
0.01	c INFO: OSL Context initialized.
0.02	c Initial problem consists of 787 variables and 113 constraints.
0.03	c No problem reductions applied in OPT. instance.
0.03	c	preprocess terminated. Elapsed time: 0.014
0.03	c After prepocess the problem consists of 785 variables and 112 constraints.
0.03	c Initial Lower Bound: -131071
0.03	c Sol. found (all assignments made)...
0.03	o 0
0.03	c NEW SOLUTION FOUND: 0 @ 0.015
0.05	c Restart #1 #Var: 785 LB: -131071 @ 0.041
0.12	c Restart #2 #Var: 785 LB: -131071 @ 0.106
0.20	c Restart #3 #Var: 785 LB: -131071 @ 0.191
0.32	c Restart #4 #Var: 785 LB: -131071 @ 0.314
0.48	c CHANGE to MIS mode... 	UB: 0	MIS: -131071	LPR: -20501 (0.022)	Diff: 6.3934
0.48	c Restart #0 #Var: 785 LB: -131071 @ 0.473
0.51	c Restart #1 #Var: 785 LB: -131071 @ 0.496
0.55	c Restart #2 #Var: 785 LB: -131071 @ 0.54
0.62	c Restart #3 #Var: 785 LB: -131071 @ 0.61
0.71	c Restart #4 #Var: 785 LB: -131071 @ 0.701
0.84	c Restart #5 #Var: 785 LB: -131071 @ 0.83
1.05	c Restart #6 #Var: 785 LB: -131071 @ 1.04
1.31	c Restart #7 #Var: 785 LB: -131071 @ 1.295
1.61	c Restart #8 #Var: 785 LB: -131071 @ 1.595
1.96	c Restart #9 #Var: 785 LB: -131071 @ 1.945
2.34	c Restart #10 #Var: 785 LB: -131071 @ 2.329
2.79	c Restart #11 #Var: 785 LB: -131071 @ 2.775
3.26	c Restart #12 #Var: 785 LB: -131071 @ 3.252
3.80	c Restart #13 #Var: 785 LB: -131071 @ 3.788
4.36	c Restart #14 #Var: 785 LB: -131071 @ 4.349
4.98	c Restart #15 #Var: 785 LB: -131071 @ 4.973
5.62	c Restart #16 #Var: 785 LB: -131071 @ 5.61
6.32	c Restart #17 #Var: 785 LB: -131071 @ 6.312
7.04	c Restart #18 #Var: 785 LB: -131071 @ 7.028
7.83	c Restart #19 #Var: 785 LB: -131071 @ 7.821
8.64	c Restart #20 #Var: 785 LB: -131071 @ 8.626
9.52	c Restart #21 #Var: 785 LB: -131071 @ 9.502
10.44	c Restart #22 #Var: 785 LB: -131071 @ 10.426
11.46	c Restart #23 #Var: 785 LB: -131071 @ 11.445
12.45	c Restart #24 #Var: 785 LB: -131071 @ 12.428
13.52	c Restart #25 #Var: 785 LB: -131071 @ 13.507
14.84	c Restart #26 #Var: 785 LB: -131071 @ 14.818
16.24	c Restart #27 #Var: 785 LB: -131071 @ 16.226
17.57	c Restart #28 #Var: 785 LB: -131071 @ 17.554
18.88	c Restart #29 #Var: 785 LB: -131071 @ 18.861
20.23	c Restart #30 #Var: 785 LB: -131071 @ 20.21
21.55	c Restart #31 #Var: 785 LB: -131071 @ 21.53
22.97	c Restart #32 #Var: 785 LB: -131071 @ 22.945
24.39	c Restart #33 #Var: 785 LB: -131071 @ 24.374
25.80	c Restart #34 #Var: 785 LB: -131071 @ 25.774
27.33	c Restart #35 #Var: 785 LB: -131071 @ 27.311
28.88	c Restart #36 #Var: 785 LB: -131071 @ 28.854
30.45	c Restart #37 #Var: 785 LB: -131071 @ 30.432
32.02	c Restart #38 #Var: 785 LB: -131071 @ 31.994
33.65	c Restart #39 #Var: 785 LB: -131071 @ 33.626
35.29	c Restart #40 #Var: 785 LB: -131071 @ 35.262
37.00	c Restart #41 #Var: 785 LB: -131071 @ 36.98
38.79	c Restart #42 #Var: 785 LB: -131071 @ 38.765
40.61	c Restart #43 #Var: 785 LB: -131071 @ 40.588
42.49	c Restart #44 #Var: 785 LB: -131071 @ 42.467
44.40	c Restart #45 #Var: 785 LB: -131071 @ 44.379
46.31	c Restart #46 #Var: 785 LB: -131071 @ 46.28
48.29	c Restart #47 #Var: 785 LB: -131071 @ 48.265
50.26	c Restart #48 #Var: 785 LB: -131071 @ 50.233
52.34	c Restart #49 #Var: 785 LB: -131071 @ 52.312
54.52	c Restart #50 #Var: 785 LB: -131071 @ 54.488
56.66	c Restart #51 #Var: 785 LB: -131071 @ 56.625
58.84	c Restart #52 #Var: 785 LB: -131071 @ 58.812
61.07	c Restart #53 #Var: 785 LB: -131071 @ 61.036
63.33	c Restart #54 #Var: 785 LB: -131071 @ 63.294
65.65	c Restart #55 #Var: 785 LB: -131071 @ 65.619
67.94	c Restart #56 #Var: 785 LB: -131071 @ 67.911
70.30	c Restart #57 #Var: 785 LB: -131071 @ 70.27
72.87	c Restart #58 #Var: 785 LB: -131071 @ 72.833
75.33	c Restart #59 #Var: 785 LB: -131071 @ 75.296
77.80	c Restart #60 #Var: 785 LB: -131071 @ 77.761
80.47	c Restart #61 #Var: 785 LB: -131071 @ 80.43
83.11	c Restart #62 #Var: 785 LB: -131071 @ 83.075
85.75	c Restart #63 #Var: 785 LB: -131071 @ 85.708
88.41	c Restart #64 #Var: 785 LB: -131071 @ 88.374
91.25	c Restart #65 #Var: 785 LB: -131071 @ 91.215
94.07	c Restart #66 #Var: 785 LB: -131071 @ 94.03
96.97	c Restart #67 #Var: 785 LB: -131071 @ 96.924
100.05	c Restart #68 #Var: 785 LB: -131071 @ 100.01
103.01	c Restart #69 #Var: 785 LB: -131071 @ 102.96
105.94	c Restart #70 #Var: 785 LB: -131071 @ 105.9
109.05	c Restart #71 #Var: 785 LB: -131071 @ 109
112.03	c Restart #72 #Var: 785 LB: -131071 @ 111.98
115.19	c Restart #73 #Var: 785 LB: -131071 @ 115.14
118.38	c Restart #74 #Var: 785 LB: -131071 @ 118.33
121.66	c Restart #75 #Var: 785 LB: -131071 @ 121.61
124.95	c Restart #76 #Var: 785 LB: -131071 @ 124.9
128.43	c Restart #77 #Var: 785 LB: -131071 @ 128.38
132.03	c Restart #78 #Var: 785 LB: -131071 @ 131.98
135.48	c Restart #79 #Var: 785 LB: -131071 @ 135.43
139.11	c Restart #80 #Var: 785 LB: -131071 @ 139.06
142.85	c Restart #81 #Var: 785 LB: -131071 @ 142.79
146.71	c Restart #82 #Var: 785 LB: -131071 @ 146.66
150.40	c Restart #83 #Var: 785 LB: -131071 @ 150.34
154.18	c Restart #84 #Var: 785 LB: -131071 @ 154.12
157.96	c Restart #85 #Var: 785 LB: -131071 @ 157.91
161.86	c Restart #86 #Var: 785 LB: -131071 @ 161.8
165.77	c Restart #87 #Var: 785 LB: -131071 @ 165.71
169.65	c Restart #88 #Var: 785 LB: -131071 @ 169.59
173.57	c Restart #89 #Var: 785 LB: -131071 @ 173.51
177.74	c Restart #90 #Var: 785 LB: -131071 @ 177.68
181.91	c Restart #91 #Var: 785 LB: -131071 @ 181.85
185.98	c Restart #92 #Var: 785 LB: -131071 @ 185.91
190.37	c Restart #93 #Var: 785 LB: -131071 @ 190.3
194.58	c Restart #94 #Var: 785 LB: -131071 @ 194.52
199.04	c Restart #95 #Var: 785 LB: -131071 @ 198.97
203.24	c Restart #96 #Var: 785 LB: -131071 @ 203.17
207.35	c Restart #97 #Var: 785 LB: -131071 @ 207.27
211.69	c Restart #98 #Var: 785 LB: -131071 @ 211.61
216.08	c Restart #99 #Var: 785 LB: -131071 @ 215.99
220.49	c Restart #100 #Var: 785 LB: -131071 @ 220.39
224.81	c Restart #101 #Var: 785 LB: -131071 @ 224.7
229.12	c Restart #102 #Var: 785 LB: -131071 @ 229.01
233.69	c Restart #103 #Var: 785 LB: -131071 @ 233.58
238.24	c Restart #104 #Var: 785 LB: -131071 @ 238.13
242.96	c Restart #105 #Var: 785 LB: -131071 @ 242.84
247.82	c Restart #106 #Var: 785 LB: -131071 @ 247.71
252.45	c Restart #107 #Var: 785 LB: -131071 @ 252.33
257.23	c Restart #108 #Var: 785 LB: -131071 @ 257.11
262.13	c Restart #109 #Var: 785 LB: -131071 @ 262.01
266.92	c Restart #110 #Var: 785 LB: -131071 @ 266.8
271.88	c Restart #111 #Var: 785 LB: -131071 @ 271.76
276.98	c Restart #112 #Var: 785 LB: -131071 @ 276.86
282.12	c Restart #113 #Var: 785 LB: -131071 @ 281.99
287.19	c Restart #114 #Var: 785 LB: -131071 @ 287.06
292.51	c Restart #115 #Var: 785 LB: -131071 @ 292.38
297.61	c Restart #116 #Var: 785 LB: -131071 @ 297.48
303.10	c Restart #117 #Var: 785 LB: -131071 @ 302.97
308.47	c Restart #118 #Var: 785 LB: -131071 @ 308.34
313.76	c Restart #119 #Var: 785 LB: -131071 @ 313.63
319.10	c Restart #120 #Var: 785 LB: -131071 @ 318.96
324.44	c Restart #121 #Var: 785 LB: -131071 @ 324.31
329.91	c Restart #122 #Var: 785 LB: -131071 @ 329.77
335.42	c Restart #123 #Var: 785 LB: -131071 @ 335.28
341.33	c Restart #124 #Var: 785 LB: -131071 @ 341.19
346.96	c Restart #125 #Var: 785 LB: -131071 @ 346.82
352.82	c Restart #126 #Var: 785 LB: -131071 @ 352.67
358.50	c Restart #127 #Var: 785 LB: -131071 @ 358.36
364.38	c Restart #128 #Var: 785 LB: -131071 @ 364.24
370.24	c Restart #129 #Var: 785 LB: -131071 @ 370.1
376.12	c Restart #130 #Var: 785 LB: -131071 @ 375.97
382.17	c Restart #131 #Var: 785 LB: -131071 @ 382.02
388.53	c Restart #132 #Var: 785 LB: -131071 @ 388.37
394.56	c Restart #133 #Var: 785 LB: -131071 @ 394.41
400.72	c Restart #134 #Var: 785 LB: -131071 @ 400.56
406.74	c Restart #135 #Var: 785 LB: -131071 @ 406.58
412.91	c Restart #136 #Var: 785 LB: -131071 @ 412.75
419.25	c Restart #137 #Var: 785 LB: -131071 @ 419.08
425.42	c Restart #138 #Var: 785 LB: -131071 @ 425.25
431.80	c Restart #139 #Var: 785 LB: -131071 @ 431.63
438.29	c Restart #140 #Var: 785 LB: -131071 @ 438.12
444.88	c Restart #141 #Var: 785 LB: -131071 @ 444.7
451.58	c Restart #142 #Var: 785 LB: -131071 @ 451.41
457.93	c Restart #143 #Var: 785 LB: -131071 @ 457.76
464.57	c Restart #144 #Var: 785 LB: -131071 @ 464.39
471.07	c Restart #145 #Var: 785 LB: -131071 @ 470.9
477.96	c Restart #146 #Var: 785 LB: -131071 @ 477.77
484.60	c Restart #147 #Var: 785 LB: -131071 @ 484.42
491.19	c Restart #148 #Var: 785 LB: -131071 @ 491
498.10	c Restart #149 #Var: 785 LB: -131071 @ 497.91
504.71	c Restart #150 #Var: 785 LB: -131071 @ 504.52
511.86	c Restart #151 #Var: 785 LB: -131071 @ 511.67
518.66	c Restart #152 #Var: 785 LB: -131071 @ 518.47
525.58	c Restart #153 #Var: 785 LB: -131071 @ 525.38
532.44	c Restart #154 #Var: 785 LB: -131071 @ 532.25
539.41	c Restart #155 #Var: 785 LB: -131071 @ 539.22
546.32	c Restart #156 #Var: 785 LB: -131071 @ 546.12
553.56	c Restart #157 #Var: 785 LB: -131071 @ 553.36
560.99	c Restart #158 #Var: 785 LB: -131071 @ 560.78
567.97	c Restart #159 #Var: 785 LB: -131071 @ 567.77
575.01	c Restart #160 #Var: 785 LB: -131071 @ 574.8
582.32	c Restart #161 #Var: 785 LB: -131071 @ 582.12
589.60	c Restart #162 #Var: 785 LB: -131071 @ 589.39
597.05	c Restart #163 #Var: 785 LB: -131071 @ 596.83
604.32	c Restart #164 #Var: 785 LB: -131071 @ 604.11
611.67	c Restart #165 #Var: 785 LB: -131071 @ 611.46
619.36	c Restart #166 #Var: 785 LB: -131071 @ 619.14
626.86	c Restart #167 #Var: 785 LB: -131071 @ 626.63
634.32	c Restart #168 #Var: 785 LB: -131071 @ 634.09
641.96	c Restart #169 #Var: 785 LB: -131071 @ 641.73
649.71	c Restart #170 #Var: 785 LB: -131071 @ 649.48
657.36	c Restart #171 #Var: 785 LB: -131071 @ 657.13
665.27	c Restart #172 #Var: 785 LB: -131071 @ 665.04
673.22	c Restart #173 #Var: 785 LB: -131071 @ 672.99
680.87	c Restart #174 #Var: 785 LB: -131071 @ 680.63
688.62	c Restart #175 #Var: 785 LB: -131071 @ 688.38
696.66	c Restart #176 #Var: 785 LB: -131071 @ 696.41
704.68	c Restart #177 #Var: 785 LB: -131071 @ 704.44
712.62	c Restart #178 #Var: 785 LB: -131071 @ 712.37
720.84	c Restart #179 #Var: 785 LB: -131071 @ 720.59
729.10	c Restart #180 #Var: 785 LB: -131071 @ 728.85
737.51	c Restart #181 #Var: 785 LB: -131071 @ 737.26
746.09	c Restart #182 #Var: 785 LB: -131071 @ 745.83
754.64	c Restart #183 #Var: 785 LB: -131071 @ 754.38
763.10	c Restart #184 #Var: 785 LB: -131071 @ 762.84
771.37	c Restart #185 #Var: 785 LB: -131071 @ 771.11
779.86	c Restart #186 #Var: 785 LB: -131071 @ 779.59
788.50	c Restart #187 #Var: 785 LB: -131071 @ 788.23
796.91	c Restart #188 #Var: 785 LB: -131071 @ 796.64
805.44	c Restart #189 #Var: 785 LB: -131071 @ 805.17
814.34	c Restart #190 #Var: 785 LB: -131071 @ 814.07
823.38	c Restart #191 #Var: 785 LB: -131071 @ 823.1
832.17	c Restart #192 #Var: 785 LB: -131071 @ 831.89
841.29	c Restart #193 #Var: 785 LB: -131071 @ 841.01
850.35	c Restart #194 #Var: 785 LB: -131071 @ 850.06
859.20	c Restart #195 #Var: 785 LB: -131071 @ 858.91
868.45	c Restart #196 #Var: 785 LB: -131071 @ 868.16
877.29	c Restart #197 #Var: 785 LB: -131071 @ 876.99
886.49	c Restart #198 #Var: 785 LB: -131071 @ 886.2
895.50	c Restart #199 #Var: 785 LB: -131071 @ 895.2
905.07	c Restart #200 #Var: 785 LB: -131071 @ 904.77
914.29	c Restart #201 #Var: 785 LB: -131071 @ 913.99
923.48	c Restart #202 #Var: 785 LB: -131071 @ 923.17
932.94	c Restart #203 #Var: 785 LB: -131071 @ 932.63
942.15	c Restart #204 #Var: 785 LB: -131071 @ 941.84
951.58	c Restart #205 #Var: 785 LB: -131071 @ 951.26
960.83	c Restart #206 #Var: 785 LB: -131071 @ 960.51
970.72	c Restart #207 #Var: 785 LB: -131071 @ 970.4
980.41	c Restart #208 #Var: 785 LB: -131071 @ 980.09
990.11	c Restart #209 #Var: 785 LB: -131071 @ 989.78
999.93	c Restart #210 #Var: 785 LB: -131071 @ 999.61
1009.62	c Restart #211 #Var: 785 LB: -131071 @ 1009.3
1019.44	c Restart #212 #Var: 785 LB: -131071 @ 1019.1
1029.02	c Restart #213 #Var: 785 LB: -131071 @ 1028.7
1038.78	c Restart #214 #Var: 785 LB: -131071 @ 1038.4
1048.77	c Restart #215 #Var: 785 LB: -131071 @ 1048.4
1058.78	c Restart #216 #Var: 785 LB: -131071 @ 1058.4
1069.06	c Restart #217 #Var: 785 LB: -131071 @ 1068.7
1079.01	c Restart #218 #Var: 785 LB: -131071 @ 1078.7
1089.35	c Restart #219 #Var: 785 LB: -131071 @ 1089
1099.44	c Restart #220 #Var: 785 LB: -131071 @ 1099.1
1109.55	c Restart #221 #Var: 785 LB: -131071 @ 1109.2
1119.92	c Restart #222 #Var: 785 LB: -131071 @ 1119.6
1129.81	c Restart #223 #Var: 785 LB: -131071 @ 1129.5
1140.14	c Restart #224 #Var: 785 LB: -131071 @ 1139.8
1150.54	c Restart #225 #Var: 785 LB: -131071 @ 1150.2
1160.79	c Restart #226 #Var: 785 LB: -131071 @ 1160.4
1171.10	c Restart #227 #Var: 785 LB: -131071 @ 1170.7
1181.63	c Restart #228 #Var: 785 LB: -131071 @ 1181.3
1192.29	c Restart #229 #Var: 785 LB: -131071 @ 1191.9
1202.59	c Restart #230 #Var: 785 LB: -131071 @ 1202.2
1213.22	c Restart #231 #Var: 785 LB: -131071 @ 1212.8
1223.29	c Restart #232 #Var: 785 LB: -131071 @ 1222.9
1234.18	c Restart #233 #Var: 785 LB: -131071 @ 1233.8
1244.98	c Restart #234 #Var: 785 LB: -131071 @ 1244.6
1255.88	c Restart #235 #Var: 785 LB: -131071 @ 1255.5
1266.73	c Restart #236 #Var: 785 LB: -131071 @ 1266.3
1277.60	c Restart #237 #Var: 785 LB: -131071 @ 1277.2
1288.81	c Restart #238 #Var: 785 LB: -131071 @ 1288.4
1299.78	c Restart #239 #Var: 785 LB: -131071 @ 1299.4
1310.59	c Restart #240 #Var: 785 LB: -131071 @ 1310.2
1321.65	c Restart #241 #Var: 785 LB: -131071 @ 1321.2
1333.00	c Restart #242 #Var: 785 LB: -131071 @ 1332.6
1344.37	c Restart #243 #Var: 785 LB: -131071 @ 1343.9
1355.98	c Restart #244 #Var: 785 LB: -131071 @ 1355.5
1367.39	c Restart #245 #Var: 785 LB: -131071 @ 1367
1378.33	c Restart #246 #Var: 785 LB: -131071 @ 1377.9
1389.80	c Restart #247 #Var: 785 LB: -131071 @ 1389.4
1401.32	c Restart #248 #Var: 785 LB: -131071 @ 1400.9
1412.50	c Restart #249 #Var: 785 LB: -131071 @ 1412.1
1424.11	c Restart #250 #Var: 785 LB: -131071 @ 1423.7
1435.41	c Restart #251 #Var: 785 LB: -131071 @ 1435
1447.57	c Restart #252 #Var: 785 LB: -131071 @ 1447.1
1459.27	c Restart #253 #Var: 785 LB: -131071 @ 1458.8
1470.64	c Restart #254 #Var: 785 LB: -131071 @ 1470.2
1482.28	c Restart #255 #Var: 785 LB: -131071 @ 1481.8
1494.21	c Restart #256 #Var: 785 LB: -131071 @ 1493.7
1505.99	c Restart #257 #Var: 785 LB: -131071 @ 1505.5
1517.51	c Restart #258 #Var: 785 LB: -131071 @ 1517
1529.85	c Restart #259 #Var: 785 LB: -131071 @ 1529.4
1541.72	c Restart #260 #Var: 785 LB: -131071 @ 1541.2
1553.83	c Restart #261 #Var: 785 LB: -131071 @ 1553.3
1566.18	c Restart #262 #Var: 785 LB: -131071 @ 1565.7
1577.81	c Restart #263 #Var: 785 LB: -131071 @ 1577.3
1589.92	c Restart #264 #Var: 785 LB: -131071 @ 1589.4
1601.94	c Restart #265 #Var: 785 LB: -131071 @ 1601.4
1614.42	c Restart #266 #Var: 785 LB: -131071 @ 1613.9
1626.91	c Restart #267 #Var: 785 LB: -131071 @ 1626.4
1639.21	c Restart #268 #Var: 785 LB: -131071 @ 1638.7
1651.92	c Restart #269 #Var: 785 LB: -131071 @ 1651.4
1664.43	c Restart #270 #Var: 785 LB: -131071 @ 1663.9
1677.13	c Restart #271 #Var: 785 LB: -131071 @ 1676.6
1689.38	c Restart #272 #Var: 785 LB: -131071 @ 1688.9
1702.20	c Restart #273 #Var: 785 LB: -131071 @ 1701.7
1714.56	c Restart #274 #Var: 785 LB: -131071 @ 1714
1727.62	c Restart #275 #Var: 785 LB: -131071 @ 1727.1
1740.41	c Restart #276 #Var: 785 LB: -131071 @ 1739.9
1753.64	c Restart #277 #Var: 785 LB: -131071 @ 1753.1
1766.31	c Restart #278 #Var: 785 LB: -131071 @ 1765.8
1778.92	c Restart #279 #Var: 785 LB: -131071 @ 1778.4
1791.50	c Restart #280 #Var: 785 LB: -131071 @ 1791
1800.55	s SATISFIABLE
1800.55	c Cost: 0
1800.55	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x130 -x241 -x352 -x463 -x574 -x685 -x766
1800.55	v -x777 -x20 -x31 -x42 -x53 -x64 -x75 -x86 x97 x108 x119 -x131 -x142 -x153 x164 -x175 -x186 -x197 -x208 -x219 -x230 -x242 -x253
1800.55	v -x264 -x275 -x286 -x297 -x308 -x319 -x330 -x341 -x353 -x364 -x375 -x386 -x397 -x408 -x419 -x430 -x441 x384 x385 x387 -x388
1800.55	v -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x409 -x410 -x411
1800.55	v -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x431 -x432 -x433 -x434
1800.55	v -x435 -x436 -x437 -x438 -x439 -x440 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x453 -x454 -x455 -x456 x457
1800.55	v -x458 -x459 -x460 -x461 -x462 -x465 -x466 -x467 -x468 x469 x470 -x471 -x472 -x473 -x474 -x476 -x477 -x478 -x479 -x480 -x481
1800.55	v -x482 -x483 -x484 -x485 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x498 -x499 -x500 -x501 -x502 -x503 -x504
1800.55	v -x505 -x506 -x507 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527
1800.55	v -x528 -x529 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550
1800.55	v -x551 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573
1800.55	v -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x598
1800.55	v -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x620 -x621
1800.55	v -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x631 -x632 x633 -x634 -x635 -x636 x637 -x638 -x639 -x640 -x642 -x643 -x644
1800.55	v -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x664 -x665 -x666 -x667
1800.55	v -x668 -x669 -x670 -x671 -x672 -x673 -x675 x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x687 -x688 -x689 -x690 -x691
1800.55	v x692 x693 -x694 -x695 -x696 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x709 -x710 -x711 -x712 -x713 -x714
1800.55	v -x715 -x716 -x717 -x718 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x731 -x732 -x733 -x734 -x735 -x736 -x737
1800.55	v -x738 -x739 -x740 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x452 -x785 -x69 -x122 -x176 -x224 -x278 -x331
1800.55	v -x753 -x464 -x786 -x70 -x123 -x177 -x225 -x279 -x332 -x475 -x787 -x71 -x124 -x178 -x226 -x280 -x333 -x486 -x497 -x508 -x519
1800.55	v -x530 -x541 -x552 -x563 -x575 -x586 -x597 -x608 -x619 -x630 -x641 -x652 -x663 -x674 -x686 -x697 -x708 -x719 -x730 -x741 -x752
1800.55	v -x763 -x764 -x765 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x21
1800.55	v -x72 -x125 x179 -x227 -x281 -x334 -x22 -x73 -x126 x180 -x228 -x282 -x335 -x23 -x74 -x127 x181 -x229 -x283 -x336 -x24 x76 -x128
1800.55	v -x182 -x231 -x284 -x337 -x25 -x77 -x129 x183 -x232 -x285 -x338 -x26 -x78 -x132 x184 -x233 -x287 -x339 -x27 -x79 -x133 -x234
1800.55	v -x288 x340 -x754 -x28 -x80 -x134 -x235 -x289 x342 -x755 -x29 -x81 -x135 -x236 -x290 x343 -x756 -x30 -x82 -x136 -x237 -x291
1800.55	v x344 -x757 -x32 -x33 -x34 -x35 -x36 -x37 x38 -x39 x40 x41 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 x51 x52 x54 -x55 -x56 x57 x58
1800.55	v -x59 -x60 -x61 -x62 x63 x65 -x66 -x67 -x68 -x83 -x137 x185 -x238 -x292 -x345 -x84 -x138 x187 -x239 -x293 -x346 -x85 -x139 -x188
1800.55	v -x240 -x294 -x347 -x87 -x140 x189 -x243 -x295 -x348 -x758 -x88 -x141 -x190 -x244 -x296 -x349 -x89 -x143 -x191 -x245 -x298
1800.55	v -x350 -x90 -x144 -x192 -x246 -x299 -x351 -x91 -x145 -x193 -x247 -x300 -x354 -x92 -x146 -x194 -x248 -x301 -x355 -x93 -x147
1800.55	v -x195 -x249 -x302 -x356 -x759 -x760 -x94 -x95 -x96 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x109 -x110 -x111
1800.55	v -x112 -x113 -x114 -x115 -x116 -x117 x118 -x120 -x121 -x148 -x196 -x250 -x303 -x357 -x149 x198 -x251 -x304 -x358 x150 -x199
1800.55	v -x252 -x305 -x359 x151 -x200 -x254 -x306 -x360 -x152 -x201 -x255 -x307 -x361 -x761 -x154 -x202 -x256 -x309 x362 x155 -x203
1800.55	v -x257 -x310 -x363 -x156 -x204 -x258 -x311 -x365 -x157 -x205 -x259 -x312 -x366 -x158 -x206 -x260 -x313 -x367 -x159 -x160 -x161
1800.55	v x162 -x163 -x165 -x166 x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x207 -x261 -x314 -x368 -x209 -x262 -x315 -x369 -x210
1800.55	v -x263 -x316 -x370 -x211 -x265 -x317 -x371 -x212 -x266 -x318 -x372 -x213 -x267 -x320 -x373 -x214 -x268 -x321 -x374 -x215 -x269
1800.55	v -x322 -x376 -x762 -x216 -x270 -x323 -x377 -x217 -x271 -x324 -x378 -x218 -x220 -x221 -x222 -x223 -x272 -x325 -x379 -x273 -x326
1800.55	v -x380 -x274 -x327 -x381 -x276 x328 -x382 -x277 x329 -x383
1800.55	c Exit Code: 10
1800.55	c Total time: 1800 s

Verifier Data (download as text)

OK	0

Watcher Data (download as text)

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGKILL): 1843200 Kb
Enforcing VSIZE limit: 1887436800 bytes
runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node33/watcher-40125-1149371858 -o ROOT/results/node33/solver-40125-1149371858 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node33/40125-1149371858/instance-40125-1149371858.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 1.00 0.99 0.98 2/64 24942
/proc/meminfo: memFree=1750072/2055920 swapFree=4181356/4192956
[pid=24942] ppid=24940 vsize=4932 CPUtime=0
/proc/24942/stat : 24942 (bsolo) D 24940 24942 24896 0 -1 0 366 0 0 0 0 0 0 0 18 0 1 0 202849579 5050368 330 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 2147483391 4096 16384 18446744072099781622 0 0 17 1 0 0
/proc/24942/statm: 1233 330 226 55 0 125 0

[startup+10.0021 s]
/proc/loadavg: 1.00 0.99 0.98 2/64 24942
/proc/meminfo: memFree=1745784/2055920 swapFree=4181356/4192956
[pid=24942] ppid=24940 vsize=8852 CPUtime=9.97
/proc/24942/stat : 24942 (bsolo) R 24940 24942 24896 0 -1 0 1600 0 0 0 989 8 0 0 25 0 1 0 202849579 9064448 1499 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24942/statm: 2213 1499 423 55 0 1105 0
Current children cumulated CPU time (s) 9.97
Current children cumulated vsize (Kb) 8852

[startup+20.0083 s]
/proc/loadavg: 1.00 0.99 0.98 2/64 24942
/proc/meminfo: memFree=1745664/2055920 swapFree=4181356/4192956
[pid=24942] ppid=24940 vsize=8912 CPUtime=19.98
/proc/24942/stat : 24942 (bsolo) R 24940 24942 24896 0 -1 0 1625 0 0 0 1981 17 0 0 25 0 1 0 202849579 9125888 1524 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548230 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24942/statm: 2228 1524 423 55 0 1120 0
Current children cumulated CPU time (s) 19.98
Current children cumulated vsize (Kb) 8912

[startup+30.0146 s]
/proc/loadavg: 1.00 0.99 0.98 2/64 24942
/proc/meminfo: memFree=1745664/2055920 swapFree=4181356/4192956
[pid=24942] ppid=24940 vsize=8912 CPUtime=29.98
/proc/24942/stat : 24942 (bsolo) R 24940 24942 24896 0 -1 0 1625 0 0 0 2974 24 0 0 25 0 1 0 202849579 9125888 1524 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24942/statm: 2228 1524 423 55 0 1120 0
Current children cumulated CPU time (s) 29.98
Current children cumulated vsize (Kb) 8912

[startup+40.0209 s]
/proc/loadavg: 1.00 0.99 0.98 2/64 24942
/proc/meminfo: memFree=1745664/2055920 swapFree=4181356/4192956
[pid=24942] ppid=24940 vsize=8896 CPUtime=39.98
/proc/24942/stat : 24942 (bsolo) R 24940 24942 24896 0 -1 0 1625 0 0 0 3966 32 0 0 25 0 1 0 202849579 9109504 1524 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134558033 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24942/statm: 2224 1524 423 55 0 1116 0
Current children cumulated CPU time (s) 39.98
Current children cumulated vsize (Kb) 8896

[startup+50.0282 s]
/proc/loadavg: 1.00 0.99 0.98 2/64 24942
/proc/meminfo: memFree=1745664/2055920 swapFree=4181356/4192956
[pid=24942] ppid=24940 vsize=8896 CPUtime=49.99
/proc/24942/stat : 24942 (bsolo) R 24940 24942 24896 0 -1 0 1630 0 0 0 4960 39 0 0 25 0 1 0 202849579 9109504 1529 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24942/statm: 2224 1529 423 55 0 1116 0
Current children cumulated CPU time (s) 49.99
Current children cumulated vsize (Kb) 8896

[startup+60.0335 s]
/proc/loadavg: 1.00 0.99 0.98 2/64 24942
/proc/meminfo: memFree=1745600/2055920 swapFree=4181356/4192956
[pid=24942] ppid=24940 vsize=9028 CPUtime=59.99
/proc/24942/stat : 24942 (bsolo) R 24940 24942 24896 0 -1 0 1641 0 0 0 5951 48 0 0 25 0 1 0 202849579 9244672 1540 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24942/statm: 2257 1540 423 55 0 1149 0
Current children cumulated CPU time (s) 59.99
Current children cumulated vsize (Kb) 9028

[startup+70.0397 s]
/proc/loadavg: 1.00 0.99 0.98 2/64 24942
/proc/meminfo: memFree=1745600/2055920 swapFree=4181356/4192956
[pid=24942] ppid=24940 vsize=9008 CPUtime=70
/proc/24942/stat : 24942 (bsolo) R 24940 24942 24896 0 -1 0 1642 0 0 0 6944 56 0 0 25 0 1 0 202849579 9224192 1541 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24942/statm: 2252 1541 423 55 0 1144 0
Current children cumulated CPU time (s) 70
Current children cumulated vsize (Kb) 9008

[startup+80.046 s]
/proc/loadavg: 1.00 0.99 0.98 2/64 24942
/proc/meminfo: memFree=1745600/2055920 swapFree=4181356/4192956
[pid=24942] ppid=24940 vsize=8964 CPUtime=80
/proc/24942/stat : 24942 (bsolo) R 24940 24942 24896 0 -1 0 1643 0 0 0 7937 63 0 0 25 0 1 0 202849579 9179136 1542 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24942/statm: 2241 1542 423 55 0 1133 0
Current children cumulated CPU time (s) 80
Current children cumulated vsize (Kb) 8964

[startup+90.0524 s]
/proc/loadavg: 1.00 0.99 0.98 2/64 24942
/proc/meminfo: memFree=1745600/2055920 swapFree=4181356/4192956
[pid=24942] ppid=24940 vsize=8964 CPUtime=90.01
/proc/24942/stat : 24942 (bsolo) R 24940 24942 24896 0 -1 0 1654 0 0 0 8930 71 0 0 25 0 1 0 202849579 9179136 1553 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24942/statm: 2241 1553 423 55 0 1133 0
Current children cumulated CPU time (s) 90.01
Current children cumulated vsize (Kb) 8964

[startup+100.059 s]
/proc/loadavg: 1.00 0.99 0.98 2/64 24942
/proc/meminfo: memFree=1745536/2055920 swapFree=4181356/4192956
[pid=24942] ppid=24940 vsize=9096 CPUtime=100.01
/proc/24942/stat : 24942 (bsolo) R 24940 24942 24896 0 -1 0 1663 0 0 0 9922 79 0 0 25 0 1 0 202849579 9314304 1562 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24942/statm: 2274 1562 423 55 0 1166 0
Current children cumulated CPU time (s) 100.01
Current children cumulated vsize (Kb) 9096

[startup+110.066 s]
/proc/loadavg: 1.00 0.99 0.98 2/64 24942
/proc/meminfo: memFree=1745472/2055920 swapFree=4181356/4192956
[pid=24942] ppid=24940 vsize=9060 CPUtime=110.01
/proc/24942/stat : 24942 (bsolo) R 24940 24942 24896 0 -1 0 1675 0 0 0 10914 87 0 0 25 0 1 0 202849579 9277440 1574 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24942/statm: 2265 1574 423 55 0 1157 0
Current children cumulated CPU time (s) 110.01
Current children cumulated vsize (Kb) 9060

[startup+120.071 s]
/proc/loadavg: 1.00 0.99 0.98 2/64 24942
/proc/meminfo: memFree=1745408/2055920 swapFree=4181356/4192956
[pid=24942] ppid=24940 vsize=9188 CPUtime=120.01
/proc/24942/stat : 24942 (bsolo) R 24940 24942 24896 0 -1 0 1699 0 0 0 11907 94 0 0 25 0 1 0 202849579 9408512 1598 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24942/statm: 2297 1598 423 55 0 1189 0
Current children cumulated CPU time (s) 120.01
Current children cumulated vsize (Kb) 9188

[startup+130.077 s]
/proc/loadavg: 1.00 0.99 0.98 2/64 24942
/proc/meminfo: memFree=1745216/2055920 swapFree=4181356/4192956
[pid=24942] ppid=24940 vsize=9320 CPUtime=130.02
/proc/24942/stat : 24942 (bsolo) R 24940 24942 24896 0 -1 0 1741 0 0 0 12899 103 0 0 25 0 1 0 202849579 9543680 1640 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24942/statm: 2330 1640 423 55 0 1222 0
Current children cumulated CPU time (s) 130.02
Current children cumulated vsize (Kb) 9320

[startup+140.084 s]
/proc/loadavg: 1.00 0.99 0.98 2/64 24942
/proc/meminfo: memFree=1745024/2055920 swapFree=4181356/4192956
[pid=24942] ppid=24940 vsize=9452 CPUtime=140.02
/proc/24942/stat : 24942 (bsolo) R 24940 24942 24896 0 -1 0 1777 0 0 0 13892 110 0 0 25 0 1 0 202849579 9678848 1676 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24942/statm: 2363 1676 423 55 0 1255 0
Current children cumulated CPU time (s) 140.02
Current children cumulated vsize (Kb) 9452

[startup+150.09 s]
/proc/loadavg: 1.00 0.99 0.98 2/64 24942
/proc/meminfo: memFree=1745024/2055920 swapFree=4181356/4192956
[pid=24942] ppid=24940 vsize=9540 CPUtime=150.03
/proc/24942/stat : 24942 (bsolo) R 24940 24942 24896 0 -1 0 1786 0 0 0 14884 119 0 0 25 0 1 0 202849579 9768960 1685 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24942/statm: 2385 1685 423 55 0 1277 0
Current children cumulated CPU time (s) 150.03
Current children cumulated vsize (Kb) 9540

[startup+160.096 s]
/proc/loadavg: 1.00 0.99 0.98 2/64 24942
/proc/meminfo: memFree=1744960/2055920 swapFree=4181356/4192956
[pid=24942] ppid=24940 vsize=9540 CPUtime=160.02
/proc/24942/stat : 24942 (bsolo) R 24940 24942 24896 0 -1 0 1793 0 0 0 15875 127 0 0 25 0 1 0 202849579 9768960 1692 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24942/statm: 2385 1692 423 55 0 1277 0
Current children cumulated CPU time (s) 160.02
Current children cumulated vsize (Kb) 9540

[startup+170.103 s]
/proc/loadavg: 1.00 0.99 0.98 2/64 24942
/proc/meminfo: memFree=1744960/2055920 swapFree=4181356/4192956
[pid=24942] ppid=24940 vsize=9528 CPUtime=170.03
/proc/24942/stat : 24942 (bsolo) R 24940 24942 24896 0 -1 0 1797 0 0 0 16868 135 0 0 25 0 1 0 202849579 9756672 1696 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24942/statm: 2382 1696 423 55 0 1274 0
Current children cumulated CPU time (s) 170.03
Current children cumulated vsize (Kb) 9528

[startup+180.109 s]
/proc/loadavg: 1.00 0.99 0.98 2/64 24942
/proc/meminfo: memFree=1744896/2055920 swapFree=4181356/4192956
[pid=24942] ppid=24940 vsize=9660 CPUtime=180.04
/proc/24942/stat : 24942 (bsolo) R 24940 24942 24896 0 -1 0 1802 0 0 0 17860 144 0 0 25 0 1 0 202849579 9891840 1701 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548375 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24942/statm: 2415 1701 423 55 0 1307 0
Current children cumulated CPU time (s) 180.04
Current children cumulated vsize (Kb) 9660

[startup+190.115 s]
/proc/loadavg: 1.00 0.99 0.98 2/64 24942
/proc/meminfo: memFree=1744832/2055920 swapFree=4181356/4192956
[pid=24942] ppid=24940 vsize=9648 CPUtime=190.04
/proc/24942/stat : 24942 (bsolo) R 24940 24942 24896 0 -1 0 1825 0 0 0 18852 152 0 0 25 0 1 0 202849579 9879552 1724 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24942/statm: 2412 1724 423 55 0 1304 0
Current children cumulated CPU time (s) 190.04
Current children cumulated vsize (Kb) 9648

[startup+200.121 s]
/proc/loadavg: 1.00 0.99 0.98 2/64 24942
/proc/meminfo: memFree=1744832/2055920 swapFree=4181356/4192956
[pid=24942] ppid=24940 vsize=9772 CPUtime=200.04
/proc/24942/stat : 24942 (bsolo) R 24940 24942 24896 0 -1 0 1838 0 0 0 19847 157 0 0 25 0 1 0 202849579 10006528 1737 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24942/statm: 2443 1737 423 55 0 1335 0
Current children cumulated CPU time (s) 200.04
Current children cumulated vsize (Kb) 9772

[startup+210.128 s]
/proc/loadavg: 1.00 0.99 0.98 2/70 25005
/proc/meminfo: memFree=1743632/2055920 swapFree=4181356/4192956

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

/proc/24942/statm: 2596 1911 423 55 0 1488 0
Current children cumulated CPU time (s) 1760.54
Current children cumulated vsize (Kb) 10384

[startup+1771.1 s]
/proc/loadavg: 1.00 0.99 0.98 2/64 25137
/proc/meminfo: memFree=1743752/2055920 swapFree=4181356/4192956
[pid=24942] ppid=24940 vsize=10384 CPUtime=1770.54
/proc/24942/stat : 24942 (bsolo) R 24940 24942 24896 0 -1 0 2061 0 0 0 175782 1272 0 0 25 0 1 0 202849579 10633216 1911 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24942/statm: 2596 1911 423 55 0 1488 0
Current children cumulated CPU time (s) 1770.54
Current children cumulated vsize (Kb) 10384

[startup+1781.1 s]
/proc/loadavg: 1.00 0.99 0.98 2/64 25137
/proc/meminfo: memFree=1743752/2055920 swapFree=4181356/4192956
[pid=24942] ppid=24940 vsize=10384 CPUtime=1780.55
/proc/24942/stat : 24942 (bsolo) R 24940 24942 24896 0 -1 0 2061 0 0 0 176775 1280 0 0 25 0 1 0 202849579 10633216 1911 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542256 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24942/statm: 2596 1911 423 55 0 1488 0
Current children cumulated CPU time (s) 1780.55
Current children cumulated vsize (Kb) 10384

[startup+1782.11 s]
/proc/loadavg: 1.00 0.99 0.98 2/64 25137
/proc/meminfo: memFree=1743752/2055920 swapFree=4181356/4192956
[pid=24942] ppid=24940 vsize=10384 CPUtime=1781.55
/proc/24942/stat : 24942 (bsolo) R 24940 24942 24896 0 -1 0 2061 0 0 0 176875 1280 0 0 25 0 1 0 202849579 10633216 1911 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24942/statm: 2596 1911 423 55 0 1488 0
Current children cumulated CPU time (s) 1781.55
Current children cumulated vsize (Kb) 10384

[startup+1783.11 s]
/proc/loadavg: 1.00 0.99 0.98 2/64 25137
/proc/meminfo: memFree=1743752/2055920 swapFree=4181356/4192956
[pid=24942] ppid=24940 vsize=10384 CPUtime=1782.56
/proc/24942/stat : 24942 (bsolo) R 24940 24942 24896 0 -1 0 2061 0 0 0 176975 1281 0 0 25 0 1 0 202849579 10633216 1911 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24942/statm: 2596 1911 423 55 0 1488 0
Current children cumulated CPU time (s) 1782.56
Current children cumulated vsize (Kb) 10384

[startup+1784.12 s]
/proc/loadavg: 1.00 0.99 0.98 2/64 25137
/proc/meminfo: memFree=1743752/2055920 swapFree=4181356/4192956
[pid=24942] ppid=24940 vsize=10384 CPUtime=1783.57
/proc/24942/stat : 24942 (bsolo) R 24940 24942 24896 0 -1 0 2061 0 0 0 177075 1282 0 0 25 0 1 0 202849579 10633216 1911 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24942/statm: 2596 1911 423 55 0 1488 0
Current children cumulated CPU time (s) 1783.57
Current children cumulated vsize (Kb) 10384

[startup+1785.12 s]
/proc/loadavg: 1.00 0.99 0.98 2/64 25137
/proc/meminfo: memFree=1743752/2055920 swapFree=4181356/4192956
[pid=24942] ppid=24940 vsize=10384 CPUtime=1784.56
/proc/24942/stat : 24942 (bsolo) R 24940 24942 24896 0 -1 0 2061 0 0 0 177174 1282 0 0 25 0 1 0 202849579 10633216 1911 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24942/statm: 2596 1911 423 55 0 1488 0
Current children cumulated CPU time (s) 1784.56
Current children cumulated vsize (Kb) 10384

[startup+1786.13 s]
/proc/loadavg: 1.00 0.99 0.98 2/64 25137
/proc/meminfo: memFree=1743752/2055920 swapFree=4181356/4192956
[pid=24942] ppid=24940 vsize=10384 CPUtime=1785.57
/proc/24942/stat : 24942 (bsolo) R 24940 24942 24896 0 -1 0 2061 0 0 0 177274 1283 0 0 25 0 1 0 202849579 10633216 1911 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24942/statm: 2596 1911 423 55 0 1488 0
Current children cumulated CPU time (s) 1785.57
Current children cumulated vsize (Kb) 10384

[startup+1787.13 s]
/proc/loadavg: 1.00 0.99 0.98 2/64 25137
/proc/meminfo: memFree=1743752/2055920 swapFree=4181356/4192956
[pid=24942] ppid=24940 vsize=10384 CPUtime=1786.58
/proc/24942/stat : 24942 (bsolo) R 24940 24942 24896 0 -1 0 2061 0 0 0 177375 1283 0 0 25 0 1 0 202849579 10633216 1911 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24942/statm: 2596 1911 423 55 0 1488 0
Current children cumulated CPU time (s) 1786.58
Current children cumulated vsize (Kb) 10384

[startup+1788.14 s]
/proc/loadavg: 1.00 0.99 0.98 2/64 25137
/proc/meminfo: memFree=1743752/2055920 swapFree=4181356/4192956
[pid=24942] ppid=24940 vsize=10384 CPUtime=1787.58
/proc/24942/stat : 24942 (bsolo) R 24940 24942 24896 0 -1 0 2061 0 0 0 177474 1284 0 0 25 0 1 0 202849579 10633216 1911 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24942/statm: 2596 1911 423 55 0 1488 0
Current children cumulated CPU time (s) 1787.58
Current children cumulated vsize (Kb) 10384

[startup+1789.14 s]
/proc/loadavg: 1.00 0.99 0.98 2/64 25137
/proc/meminfo: memFree=1743752/2055920 swapFree=4181356/4192956
[pid=24942] ppid=24940 vsize=10384 CPUtime=1788.59
/proc/24942/stat : 24942 (bsolo) R 24940 24942 24896 0 -1 0 2061 0 0 0 177574 1285 0 0 25 0 1 0 202849579 10633216 1911 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24942/statm: 2596 1911 423 55 0 1488 0
Current children cumulated CPU time (s) 1788.59
Current children cumulated vsize (Kb) 10384

[startup+1790.15 s]
/proc/loadavg: 1.00 0.99 0.98 2/64 25137
/proc/meminfo: memFree=1743752/2055920 swapFree=4181356/4192956
[pid=24942] ppid=24940 vsize=10384 CPUtime=1789.6
/proc/24942/stat : 24942 (bsolo) R 24940 24942 24896 0 -1 0 2061 0 0 0 177674 1286 0 0 25 0 1 0 202849579 10633216 1911 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24942/statm: 2596 1911 423 55 0 1488 0
Current children cumulated CPU time (s) 1789.6
Current children cumulated vsize (Kb) 10384

[startup+1791.15 s]
/proc/loadavg: 1.00 0.99 0.98 2/64 25137
/proc/meminfo: memFree=1743752/2055920 swapFree=4181356/4192956
[pid=24942] ppid=24940 vsize=10384 CPUtime=1790.59
/proc/24942/stat : 24942 (bsolo) R 24940 24942 24896 0 -1 0 2061 0 0 0 177773 1286 0 0 25 0 1 0 202849579 10633216 1911 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524361 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24942/statm: 2596 1911 423 55 0 1488 0
Current children cumulated CPU time (s) 1790.59
Current children cumulated vsize (Kb) 10384

[startup+1792.16 s]
/proc/loadavg: 1.00 0.99 0.98 2/64 25137
/proc/meminfo: memFree=1743752/2055920 swapFree=4181356/4192956
[pid=24942] ppid=24940 vsize=10384 CPUtime=1791.6
/proc/24942/stat : 24942 (bsolo) R 24940 24942 24896 0 -1 0 2061 0 0 0 177873 1287 0 0 25 0 1 0 202849579 10633216 1911 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24942/statm: 2596 1911 423 55 0 1488 0
Current children cumulated CPU time (s) 1791.6
Current children cumulated vsize (Kb) 10384

[startup+1793.16 s]
/proc/loadavg: 1.00 0.99 0.98 2/64 25137
/proc/meminfo: memFree=1743752/2055920 swapFree=4181356/4192956
[pid=24942] ppid=24940 vsize=10384 CPUtime=1792.61
/proc/24942/stat : 24942 (bsolo) R 24940 24942 24896 0 -1 0 2061 0 0 0 177973 1288 0 0 25 0 1 0 202849579 10633216 1911 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24942/statm: 2596 1911 423 55 0 1488 0
Current children cumulated CPU time (s) 1792.61
Current children cumulated vsize (Kb) 10384

[startup+1794.17 s]
/proc/loadavg: 1.00 0.99 0.98 2/64 25137
/proc/meminfo: memFree=1743752/2055920 swapFree=4181356/4192956
[pid=24942] ppid=24940 vsize=10384 CPUtime=1793.62
/proc/24942/stat : 24942 (bsolo) R 24940 24942 24896 0 -1 0 2061 0 0 0 178073 1289 0 0 25 0 1 0 202849579 10633216 1911 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24942/statm: 2596 1911 423 55 0 1488 0
Current children cumulated CPU time (s) 1793.62
Current children cumulated vsize (Kb) 10384

[startup+1795.17 s]
/proc/loadavg: 1.00 0.99 0.98 2/64 25137
/proc/meminfo: memFree=1743752/2055920 swapFree=4181356/4192956
[pid=24942] ppid=24940 vsize=10384 CPUtime=1794.62
/proc/24942/stat : 24942 (bsolo) R 24940 24942 24896 0 -1 0 2061 0 0 0 178173 1289 0 0 25 0 1 0 202849579 10633216 1911 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24942/statm: 2596 1911 423 55 0 1488 0
Current children cumulated CPU time (s) 1794.62
Current children cumulated vsize (Kb) 10384

[startup+1796.18 s]
/proc/loadavg: 1.00 0.99 0.98 2/64 25137
/proc/meminfo: memFree=1743752/2055920 swapFree=4181356/4192956
[pid=24942] ppid=24940 vsize=10384 CPUtime=1795.62
/proc/24942/stat : 24942 (bsolo) R 24940 24942 24896 0 -1 0 2061 0 0 0 178272 1290 0 0 25 0 1 0 202849579 10633216 1911 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134604279 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24942/statm: 2596 1911 423 55 0 1488 0
Current children cumulated CPU time (s) 1795.62
Current children cumulated vsize (Kb) 10384

[startup+1797.18 s]
/proc/loadavg: 1.00 0.99 0.98 2/64 25137
/proc/meminfo: memFree=1743752/2055920 swapFree=4181356/4192956
[pid=24942] ppid=24940 vsize=10384 CPUtime=1796.63
/proc/24942/stat : 24942 (bsolo) R 24940 24942 24896 0 -1 0 2061 0 0 0 178372 1291 0 0 25 0 1 0 202849579 10633216 1911 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24942/statm: 2596 1911 423 55 0 1488 0
Current children cumulated CPU time (s) 1796.63
Current children cumulated vsize (Kb) 10384

[startup+1798.19 s]
/proc/loadavg: 1.00 0.99 0.98 2/64 25137
/proc/meminfo: memFree=1743752/2055920 swapFree=4181356/4192956
[pid=24942] ppid=24940 vsize=10384 CPUtime=1797.63
/proc/24942/stat : 24942 (bsolo) R 24940 24942 24896 0 -1 0 2061 0 0 0 178471 1292 0 0 25 0 1 0 202849579 10633216 1911 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542166 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24942/statm: 2596 1911 423 55 0 1488 0
Current children cumulated CPU time (s) 1797.63
Current children cumulated vsize (Kb) 10384

[startup+1799.19 s]
/proc/loadavg: 1.00 0.99 0.98 2/64 25137
/proc/meminfo: memFree=1743752/2055920 swapFree=4181356/4192956
[pid=24942] ppid=24940 vsize=10384 CPUtime=1798.63
/proc/24942/stat : 24942 (bsolo) R 24940 24942 24896 0 -1 0 2061 0 0 0 178571 1292 0 0 25 0 1 0 202849579 10633216 1911 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 11374693 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24942/statm: 2596 1911 423 55 0 1488 0
Current children cumulated CPU time (s) 1798.63
Current children cumulated vsize (Kb) 10384

[startup+1800.2 s]
/proc/loadavg: 1.00 0.99 0.98 2/64 25137
/proc/meminfo: memFree=1743752/2055920 swapFree=4181356/4192956
[pid=24942] ppid=24940 vsize=10384 CPUtime=1799.64
/proc/24942/stat : 24942 (bsolo) R 24940 24942 24896 0 -1 0 2061 0 0 0 178671 1293 0 0 25 0 1 0 202849579 10633216 1911 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24942/statm: 2596 1911 423 55 0 1488 0
Current children cumulated CPU time (s) 1799.64
Current children cumulated vsize (Kb) 10384

Child status: 10
Real time (s): 1800.56
CPU time (s): 1800
CPU user time (s): 1787.06
CPU system time (s): 12.94
CPU usage (%): 99.9691
Max. virtual memory (cumulated for all children) (Kb): 10516

Launcher Data (download as text)

Begin job on node33 on Sat Jun  3 21:57:38 UTC 2006


FILE ID= 40125-1149371858

PBS_JOBID= 312235

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-opt1217.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node33/40125-1149371858/instance-40125-1149371858.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node33/watcher-40125-1149371858 -o ROOT/results/node33/solver-40125-1149371858 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node33/40125-1149371858/instance-40125-1149371858.opb

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  0d06ca66c5954e6533e2fcc6f3f13fb8

RANDOM SEED= 371762299


/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.213
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.213
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:       1750280 kB
Buffers:         23716 kB
Cached:         217116 kB
SwapCached:       3288 kB
Active:          67660 kB
Inactive:       181896 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1750280 kB
SwapTotal:     4192956 kB
SwapFree:      4181356 kB
Dirty:             160 kB
Writeback:           0 kB
Mapped:          14912 kB
Slab:            42080 kB
Committed_AS:   368252 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 node33 on Sat Jun  3 22:27:38 UTC 2006