Trace number 40705

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
bsolo 2006/05? 1800.06 1800.58

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-agg.opb
MD5SUM4f19aa044e880280faec0077a2509ba8
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4890
Total number of constraints363
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints363
Minimum length of a constraint30
Maximum length of a constraint540
Number of terms in the objective function 3930
Biggest coefficient in the objective function 5373004087296
Number of bits for the biggest coefficient in the objective function 43
Sum of the numbers in the objective function 556141355997381
Number of bits of the sum of numbers in the objective function 49
Biggest number in a constraint 22763326668800000
Number of bits of the biggest number in a constraint 55
Biggest sum of numbers in a constraint 46271983665442689
Number of bits of the biggest sum of numbers56
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.02	c INFO: OSL Context initialized.
0.03	c BIG Int formula...
0.27	c Initial problem consists of 4890 variables and 393 constraints.
0.29	c No problem reductions applied in OPT. instance.
0.29	c	preprocess terminated. Elapsed time: 0.28
0.29	c After prepocess the problem consists of 3069 variables and 177 constraints.
0.29	c Initial Lower Bound: -23824695210604
0.49	c Restart #1 #Var: 3069 LB: -23824695210604 @ 0.48
0.78	c Restart #2 #Var: 3069 LB: -23824695210604 @ 0.774
1.22	c Restart #3 #Var: 3069 LB: -23824695210604 @ 1.213
1.81	c Restart #4 #Var: 3069 LB: -23824695210604 @ 1.801
2.56	c Restart #5 #Var: 3069 LB: -23824695210604 @ 2.545
3.38	c Restart #6 #Var: 3069 LB: -23824695210604 @ 3.362
4.86	c Restart #7 #Var: 3069 LB: -23824695210604 @ 4.847
5.60	c Restart #8 #Var: 3069 LB: -23824695210604 @ 5.582
6.37	c Restart #9 #Var: 3069 LB: -23824695210604 @ 6.355
7.23	c Restart #10 #Var: 3069 LB: -23824695210604 @ 7.21
7.86	c Restart #11 #Var: 3069 LB: -23824695210604 @ 7.84
8.79	c Restart #12 #Var: 3069 LB: -23824695210604 @ 8.772
9.89	c Restart #13 #Var: 3069 LB: -23824695210604 @ 9.877
10.99	c Restart #14 #Var: 3069 LB: -23824695210604 @ 10.967
12.12	c Restart #15 #Var: 3069 LB: -23824695210604 @ 12.1
13.44	c Restart #16 #Var: 3069 LB: -23824695210604 @ 13.419
13.90	c Restart #17 #Var: 3069 LB: -23824695210604 @ 13.877
15.28	c Restart #18 #Var: 3069 LB: -23824695210604 @ 15.256
15.95	c Restart #19 #Var: 3069 LB: -23824695210604 @ 15.93
17.41	c Restart #20 #Var: 3069 LB: -23824695210604 @ 17.394
19.22	c Restart #21 #Var: 3069 LB: -23824695210604 @ 19.196
20.82	c Restart #22 #Var: 3069 LB: -23824695210604 @ 20.8
22.72	c Restart #23 #Var: 3069 LB: -23824695210604 @ 22.694
24.39	c Restart #24 #Var: 3069 LB: -23824695210604 @ 24.369
26.42	c Restart #25 #Var: 3069 LB: -23824695210604 @ 26.396
28.31	c Restart #26 #Var: 3069 LB: -23824695210604 @ 28.286
30.52	c Restart #27 #Var: 3069 LB: -23824695210604 @ 30.492
32.54	c Restart #28 #Var: 3069 LB: -23824695210604 @ 32.518
35.09	c Restart #29 #Var: 3069 LB: -23824695210604 @ 35.068
37.64	c Restart #30 #Var: 3069 LB: -23824695210604 @ 37.614
39.89	c Restart #31 #Var: 3069 LB: -23824695210604 @ 39.859
42.15	c Restart #32 #Var: 3069 LB: -23824695210604 @ 42.127
43.99	c Restart #33 #Var: 3069 LB: -23824695210604 @ 43.958
46.45	c Restart #34 #Var: 3069 LB: -23824695210604 @ 46.419
49.26	c Restart #35 #Var: 3069 LB: -23824695210604 @ 49.232
52.13	c Restart #36 #Var: 3069 LB: -23824695210604 @ 52.103
55.13	c Restart #37 #Var: 3069 LB: -23824695210604 @ 55.097
57.96	c Restart #38 #Var: 3069 LB: -23824695210604 @ 57.93
61.21	c Restart #39 #Var: 3069 LB: -23824695210604 @ 61.182
64.10	c Restart #40 #Var: 3069 LB: -23824695210604 @ 64.07
67.51	c Restart #41 #Var: 3069 LB: -23824695210604 @ 67.48
71.01	c Restart #42 #Var: 3069 LB: -23824695210604 @ 70.976
74.59	c Restart #43 #Var: 3069 LB: -23824695210604 @ 74.551
78.13	c Restart #44 #Var: 3069 LB: -23824695210604 @ 78.091
81.43	c Restart #45 #Var: 3069 LB: -23824695210604 @ 81.396
84.79	c Restart #46 #Var: 3069 LB: -23824695210604 @ 84.756
88.25	c Restart #47 #Var: 3069 LB: -23824695210604 @ 88.213
91.59	c Restart #48 #Var: 3069 LB: -23824695210604 @ 91.548
95.21	c Restart #49 #Var: 3069 LB: -23824695210604 @ 95.173
98.98	c Restart #50 #Var: 3069 LB: -23824695210604 @ 98.94
101.07	c Restart #51 #Var: 3069 LB: -23824695210604 @ 101.03
103.57	c Restart #52 #Var: 3069 LB: -23824695210604 @ 103.53
107.22	c Restart #53 #Var: 3069 LB: -23824695210604 @ 107.17
111.33	c Restart #54 #Var: 3069 LB: -23824695210604 @ 111.28
115.42	c Restart #55 #Var: 3069 LB: -23824695210604 @ 115.37
120.19	c Restart #56 #Var: 3069 LB: -23824695210604 @ 120.15
124.86	c Restart #57 #Var: 3069 LB: -23824695210604 @ 124.82
129.18	c Restart #58 #Var: 3069 LB: -23824695210604 @ 129.13
134.00	c Restart #59 #Var: 3069 LB: -23824695210604 @ 133.95
138.87	c Restart #60 #Var: 3069 LB: -23824695210604 @ 138.82
143.86	c Restart #61 #Var: 3069 LB: -23824695210604 @ 143.81
148.66	c Restart #62 #Var: 3069 LB: -23824695210604 @ 148.61
153.84	c Restart #63 #Var: 3069 LB: -23824695210604 @ 153.79
159.14	c Restart #64 #Var: 3069 LB: -23824695210604 @ 159.09
161.33	c Restart #65 #Var: 3069 LB: -23824695210604 @ 161.27
164.18	c Restart #66 #Var: 3069 LB: -23824695210604 @ 164.13
167.31	c Restart #67 #Var: 3069 LB: -23824695210604 @ 167.25
169.67	c Restart #68 #Var: 3069 LB: -23824695210604 @ 169.61
171.94	c Restart #69 #Var: 3069 LB: -23824695210604 @ 171.88
176.05	c Restart #70 #Var: 3069 LB: -23824695210604 @ 175.99
180.89	c Restart #71 #Var: 3069 LB: -23824695210604 @ 180.82
187.87	c Restart #72 #Var: 3069 LB: -23824695210604 @ 187.81
192.73	c Restart #73 #Var: 3069 LB: -23824695210604 @ 192.66
199.25	c Restart #74 #Var: 3069 LB: -23824695210604 @ 199.18
202.55	c Restart #75 #Var: 3069 LB: -23824695210604 @ 202.49
204.35	c Restart #76 #Var: 3069 LB: -23824695210604 @ 204.28
206.87	c Restart #77 #Var: 3069 LB: -23824695210604 @ 206.8
208.32	c Restart #78 #Var: 3069 LB: -23824695210604 @ 208.25
210.46	c Restart #79 #Var: 3069 LB: -23824695210604 @ 210.39
214.83	c Restart #80 #Var: 3069 LB: -23824695210604 @ 214.76
218.26	c Restart #81 #Var: 3069 LB: -23824695210604 @ 218.19
222.62	c Restart #82 #Var: 3069 LB: -23824695210604 @ 222.55
225.35	c Restart #83 #Var: 3069 LB: -23824695210604 @ 225.28
229.48	c Restart #84 #Var: 3069 LB: -23824695210604 @ 229.41
231.68	c Restart #85 #Var: 3069 LB: -23824695210604 @ 231.6
234.18	c Restart #86 #Var: 3069 LB: -23824695210604 @ 234.1
236.79	c Restart #87 #Var: 3069 LB: -23824695210604 @ 236.72
238.58	c Restart #88 #Var: 3069 LB: -23824695210604 @ 238.5
242.92	c Restart #89 #Var: 3069 LB: -23824695210604 @ 242.84
246.94	c Restart #90 #Var: 3069 LB: -23824695210604 @ 246.87
254.24	c Restart #91 #Var: 3069 LB: -23824695210604 @ 254.16
256.51	c Restart #92 #Var: 3069 LB: -23824695210604 @ 256.43
258.62	c Restart #93 #Var: 3069 LB: -23824695210604 @ 258.54
264.83	c Restart #94 #Var: 3069 LB: -23824695210604 @ 264.75
271.14	c Restart #95 #Var: 3069 LB: -23824695210604 @ 271.06
273.16	c Restart #96 #Var: 3069 LB: -23824695210604 @ 273.07
275.83	c Restart #97 #Var: 3069 LB: -23824695210604 @ 275.75
280.43	c Restart #98 #Var: 3069 LB: -23824695210604 @ 280.35
283.97	c Restart #99 #Var: 3069 LB: -23824695210604 @ 283.89
288.24	c Restart #100 #Var: 3069 LB: -23824695210604 @ 288.16
293.14	c Restart #101 #Var: 3069 LB: -23824695210604 @ 293.05
297.22	c Restart #102 #Var: 3069 LB: -23824695210604 @ 297.13
303.87	c Restart #103 #Var: 3069 LB: -23824695210604 @ 303.78
306.77	c Restart #104 #Var: 3069 LB: -23824695210604 @ 306.67
310.96	c Restart #105 #Var: 3069 LB: -23824695210604 @ 310.87
324.35	c Restart #106 #Var: 3069 LB: -23824695210604 @ 324.25
328.14	c Restart #107 #Var: 3069 LB: -23824695210604 @ 328.05
331.12	c Restart #108 #Var: 3069 LB: -23824695210604 @ 331.02
340.87	c Restart #109 #Var: 3069 LB: -23824695210604 @ 340.77
346.60	c Restart #110 #Var: 3069 LB: -23824695210604 @ 346.5
350.62	c Restart #111 #Var: 3069 LB: -23824695210604 @ 350.52
361.30	c Restart #112 #Var: 3069 LB: -23824695210604 @ 361.2
370.19	c Restart #113 #Var: 3069 LB: -23824695210604 @ 370.08
381.37	c Restart #114 #Var: 3069 LB: -23824695210604 @ 381.26
391.81	c Restart #115 #Var: 3069 LB: -23824695210604 @ 391.7
403.61	c Restart #116 #Var: 3069 LB: -23824695210604 @ 403.5
415.33	c Restart #117 #Var: 3069 LB: -23824695210604 @ 415.21
426.96	c Restart #118 #Var: 3069 LB: -23824695210604 @ 426.84
438.76	c Restart #119 #Var: 3069 LB: -23824695210604 @ 438.63
450.04	c Restart #120 #Var: 3069 LB: -23824695210604 @ 449.91
461.90	c Restart #121 #Var: 3069 LB: -23824695210604 @ 461.77
470.35	c Restart #122 #Var: 3069 LB: -23824695210604 @ 470.22
473.15	c Restart #123 #Var: 3069 LB: -23824695210604 @ 473.02
475.19	c Restart #124 #Var: 3069 LB: -23824695210604 @ 475.06
478.84	c Restart #125 #Var: 3069 LB: -23824695210604 @ 478.71
481.95	c Restart #126 #Var: 3069 LB: -23824695210604 @ 481.82
485.76	c Restart #127 #Var: 3069 LB: -23824695210604 @ 485.63
488.79	c Restart #128 #Var: 3069 LB: -23824695210604 @ 488.66
494.08	c Restart #129 #Var: 3069 LB: -23824695210604 @ 493.94
499.49	c Restart #130 #Var: 3069 LB: -23824695210604 @ 499.35
505.28	c Restart #131 #Var: 3069 LB: -23824695210604 @ 505.14
510.51	c Restart #132 #Var: 3069 LB: -23824695210604 @ 510.37
515.90	c Restart #133 #Var: 3069 LB: -23824695210604 @ 515.76
520.97	c Restart #134 #Var: 3069 LB: -23824695210604 @ 520.83
526.34	c Restart #135 #Var: 3069 LB: -23824695210604 @ 526.2
531.47	c Restart #136 #Var: 3069 LB: -23824695210604 @ 531.33
537.01	c Restart #137 #Var: 3069 LB: -23824695210604 @ 536.86
542.21	c Restart #138 #Var: 3069 LB: -23824695210604 @ 542.06
547.76	c Restart #139 #Var: 3069 LB: -23824695210604 @ 547.61
553.05	c Restart #140 #Var: 3069 LB: -23824695210604 @ 552.9
558.73	c Restart #141 #Var: 3069 LB: -23824695210604 @ 558.58
564.07	c Restart #142 #Var: 3069 LB: -23824695210604 @ 563.92
569.78	c Restart #143 #Var: 3069 LB: -23824695210604 @ 569.62
575.21	c Restart #144 #Var: 3069 LB: -23824695210604 @ 575.06
581.04	c Restart #145 #Var: 3069 LB: -23824695210604 @ 580.89
586.54	c Restart #146 #Var: 3069 LB: -23824695210604 @ 586.38
592.42	c Restart #147 #Var: 3069 LB: -23824695210604 @ 592.26
598.12	c Restart #148 #Var: 3069 LB: -23824695210604 @ 597.96
604.07	c Restart #149 #Var: 3069 LB: -23824695210604 @ 603.91
609.78	c Restart #150 #Var: 3069 LB: -23824695210604 @ 609.62
615.88	c Restart #151 #Var: 3069 LB: -23824695210604 @ 615.71
621.72	c Restart #152 #Var: 3069 LB: -23824695210604 @ 621.55
627.83	c Restart #153 #Var: 3069 LB: -23824695210604 @ 627.66
633.75	c Restart #154 #Var: 3069 LB: -23824695210604 @ 633.59
640.01	c Restart #155 #Var: 3069 LB: -23824695210604 @ 639.83
645.97	c Restart #156 #Var: 3069 LB: -23824695210604 @ 645.8
652.24	c Restart #157 #Var: 3069 LB: -23824695210604 @ 652.07
658.33	c Restart #158 #Var: 3069 LB: -23824695210604 @ 658.16
664.70	c Restart #159 #Var: 3069 LB: -23824695210604 @ 664.53
670.80	c Restart #160 #Var: 3069 LB: -23824695210604 @ 670.62
677.28	c Restart #161 #Var: 3069 LB: -23824695210604 @ 677.1
683.49	c Restart #162 #Var: 3069 LB: -23824695210604 @ 683.31
690.02	c Restart #163 #Var: 3069 LB: -23824695210604 @ 689.83
696.32	c Restart #164 #Var: 3069 LB: -23824695210604 @ 696.14
702.89	c Restart #165 #Var: 3069 LB: -23824695210604 @ 702.71
709.19	c Restart #166 #Var: 3069 LB: -23824695210604 @ 709
715.89	c Restart #167 #Var: 3069 LB: -23824695210604 @ 715.7
722.39	c Restart #168 #Var: 3069 LB: -23824695210604 @ 722.2
729.12	c Restart #169 #Var: 3069 LB: -23824695210604 @ 728.92
735.68	c Restart #170 #Var: 3069 LB: -23824695210604 @ 735.49
742.54	c Restart #171 #Var: 3069 LB: -23824695210604 @ 742.34
749.07	c Restart #172 #Var: 3069 LB: -23824695210604 @ 748.87
756.05	c Restart #173 #Var: 3069 LB: -23824695210604 @ 755.86
762.74	c Restart #174 #Var: 3069 LB: -23824695210604 @ 762.54
769.70	c Restart #175 #Var: 3069 LB: -23824695210604 @ 769.5
776.46	c Restart #176 #Var: 3069 LB: -23824695210604 @ 776.26
783.53	c Restart #177 #Var: 3069 LB: -23824695210604 @ 783.33
790.38	c Restart #178 #Var: 3069 LB: -23824695210604 @ 790.17
797.60	c Restart #179 #Var: 3069 LB: -23824695210604 @ 797.39
804.48	c Restart #180 #Var: 3069 LB: -23824695210604 @ 804.27
811.71	c Restart #181 #Var: 3069 LB: -23824695210604 @ 811.49
818.76	c Restart #182 #Var: 3069 LB: -23824695210604 @ 818.54
826.05	c Restart #183 #Var: 3069 LB: -23824695210604 @ 825.83
833.05	c Restart #184 #Var: 3069 LB: -23824695210604 @ 832.83
840.51	c Restart #185 #Var: 3069 LB: -23824695210604 @ 840.29
847.61	c Restart #186 #Var: 3069 LB: -23824695210604 @ 847.39
855.13	c Restart #187 #Var: 3069 LB: -23824695210604 @ 854.91
862.41	c Restart #188 #Var: 3069 LB: -23824695210604 @ 862.18
869.92	c Restart #189 #Var: 3069 LB: -23824695210604 @ 869.69
877.24	c Restart #190 #Var: 3069 LB: -23824695210604 @ 877.01
884.88	c Restart #191 #Var: 3069 LB: -23824695210604 @ 884.65
892.20	c Restart #192 #Var: 3069 LB: -23824695210604 @ 891.97
900.00	c Restart #193 #Var: 3069 LB: -23824695210604 @ 899.76
907.46	c CHANGE Heuristic... 
907.46	c Restart #0 #Var: 3069 LB: -23824695210604 @ 907.23
907.50	c Restart #1 #Var: 3068 LB: -23824695210604 @ 907.26
907.60	c Restart #2 #Var: 3066 LB: -23634642907756 @ 907.37
907.80	c Restart #3 #Var: 3066 LB: -23634642907756 @ 907.57
908.14	c Restart #4 #Var: 3066 LB: -23634642907756 @ 907.91
908.25	c Restart #5 #Var: 3066 LB: -23634642907756 @ 908.01
908.62	c Restart #6 #Var: 3066 LB: -23634642907756 @ 908.38
908.88	c Restart #7 #Var: 3066 LB: -23634642907756 @ 908.65
909.13	c Restart #8 #Var: 3066 LB: -23634642907756 @ 908.89
909.54	c Restart #9 #Var: 3066 LB: -23634642907756 @ 909.31
909.94	c Restart #10 #Var: 3066 LB: -23634642907756 @ 909.7
910.37	c Restart #11 #Var: 3066 LB: -23634642907756 @ 910.13
910.83	c Restart #12 #Var: 3066 LB: -23634642907756 @ 910.6
911.28	c Restart #13 #Var: 3066 LB: -23634642907756 @ 911.04
911.79	c Restart #14 #Var: 3066 LB: -23634642907756 @ 911.55
912.32	c Restart #15 #Var: 3066 LB: -23634642907756 @ 912.08
912.89	c Restart #16 #Var: 3066 LB: -23634642907756 @ 912.66
913.48	c Restart #17 #Var: 3066 LB: -23634642907756 @ 913.24
914.16	c Restart #18 #Var: 3066 LB: -23634642907756 @ 913.92
914.83	c Restart #19 #Var: 3066 LB: -23634642907756 @ 914.6
915.56	c Restart #20 #Var: 3066 LB: -23634642907756 @ 915.33
916.31	c Restart #21 #Var: 3066 LB: -23634642907756 @ 916.08
917.12	c Restart #22 #Var: 3066 LB: -23634642907756 @ 916.89
917.90	c Restart #23 #Var: 3066 LB: -23634642907756 @ 917.66
918.82	c Restart #24 #Var: 3066 LB: -23634642907756 @ 918.58
919.71	c Restart #25 #Var: 3066 LB: -23634642907756 @ 919.48
920.61	c Restart #26 #Var: 3066 LB: -23634642907756 @ 920.38
921.67	c Restart #27 #Var: 3066 LB: -23634642907756 @ 921.43
922.94	c Restart #28 #Var: 3066 LB: -23634642907756 @ 922.7
924.26	c Restart #29 #Var: 3066 LB: -23634642907756 @ 924.02
925.34	c Restart #30 #Var: 3066 LB: -23634642907756 @ 925.1
926.45	c Restart #31 #Var: 3066 LB: -23634642907756 @ 926.21
927.63	c Restart #32 #Var: 3066 LB: -23634642907756 @ 927.39
928.89	c Restart #33 #Var: 3066 LB: -23634642907756 @ 928.65
930.13	c Restart #34 #Var: 3066 LB: -23634642907756 @ 929.89
931.43	c Restart #35 #Var: 3066 LB: -23634642907756 @ 931.19
932.75	c Restart #36 #Var: 3066 LB: -23634642907756 @ 932.51
934.09	c Restart #37 #Var: 3066 LB: -23634642907756 @ 933.85
935.45	c Restart #38 #Var: 3066 LB: -23634642907756 @ 935.2
936.89	c Restart #39 #Var: 3066 LB: -23634642907756 @ 936.64
938.34	c Restart #40 #Var: 3066 LB: -23634642907756 @ 938.1
939.67	c Restart #41 #Var: 3066 LB: -23634642907756 @ 939.42
941.04	c Restart #42 #Var: 3066 LB: -23634642907756 @ 940.79
942.57	c Restart #43 #Var: 3066 LB: -23634642907756 @ 942.33
944.16	c Restart #44 #Var: 3066 LB: -23634642907756 @ 943.91
945.79	c Restart #45 #Var: 3066 LB: -23634642907756 @ 945.55
947.43	c Restart #46 #Var: 3066 LB: -23634642907756 @ 947.19
949.14	c Restart #47 #Var: 3066 LB: -23634642907756 @ 948.89
950.87	c Restart #48 #Var: 3066 LB: -23634642907756 @ 950.62
952.64	c Restart #49 #Var: 3066 LB: -23634642907756 @ 952.39
954.41	c Restart #50 #Var: 3066 LB: -23634642907756 @ 954.16
956.03	c Restart #51 #Var: 3066 LB: -23634642907756 @ 955.78
957.83	c Restart #52 #Var: 3066 LB: -23634642907756 @ 957.58
959.76	c Restart #53 #Var: 3066 LB: -23634642907756 @ 959.51
961.62	c Restart #54 #Var: 3066 LB: -23634642907756 @ 961.38
963.64	c Restart #55 #Var: 3066 LB: -23634642907756 @ 963.39
965.61	c Restart #56 #Var: 3066 LB: -23634642907756 @ 965.37
967.72	c Restart #57 #Var: 3066 LB: -23634642907756 @ 967.47
969.77	c Restart #58 #Var: 3066 LB: -23634642907756 @ 969.51
971.84	c Restart #59 #Var: 3066 LB: -23634642907756 @ 971.59
974.02	c Restart #60 #Var: 3066 LB: -23634642907756 @ 973.76
976.24	c Restart #61 #Var: 3066 LB: -23634642907756 @ 975.99
978.37	c Restart #62 #Var: 3066 LB: -23634642907756 @ 978.12
980.56	c Restart #63 #Var: 3066 LB: -23634642907756 @ 980.31
982.82	c Restart #64 #Var: 3066 LB: -23634642907756 @ 982.56
985.15	c Restart #65 #Var: 3066 LB: -23634642907756 @ 984.9
987.26	c Restart #66 #Var: 3066 LB: -23634642907756 @ 987
989.62	c Restart #67 #Var: 3066 LB: -23634642907756 @ 989.36
991.82	c Restart #68 #Var: 3066 LB: -23634642907756 @ 991.56
994.20	c Restart #69 #Var: 3066 LB: -23634642907756 @ 993.94
996.79	c Restart #70 #Var: 3066 LB: -23634642907756 @ 996.53
999.28	c Restart #71 #Var: 3066 LB: -23634642907756 @ 999.02
1001.56	c Restart #72 #Var: 3066 LB: -23634642907756 @ 1001.3
1004.12	c Restart #73 #Var: 3066 LB: -23634642907756 @ 1003.9
1006.64	c Restart #74 #Var: 3066 LB: -23634642907756 @ 1006.4
1009.24	c Restart #75 #Var: 3066 LB: -23634642907756 @ 1009
1011.97	c Restart #76 #Var: 3066 LB: -23634642907756 @ 1011.7
1014.68	c Restart #77 #Var: 3066 LB: -23634642907756 @ 1014.4
1017.43	c Restart #78 #Var: 3066 LB: -23634642907756 @ 1017.2
1020.11	c Restart #79 #Var: 3066 LB: -23634642907756 @ 1019.9
1023.01	c Restart #80 #Var: 3066 LB: -23634642907756 @ 1022.8
1025.47	c Restart #81 #Var: 3066 LB: -23634642907756 @ 1025.2
1028.02	c Restart #82 #Var: 3066 LB: -23634642907756 @ 1027.8
1030.38	c Restart #83 #Var: 3066 LB: -23634642907756 @ 1030.1
1033.04	c Restart #84 #Var: 3066 LB: -23634642907756 @ 1032.8
1036.05	c Restart #85 #Var: 3066 LB: -23634642907756 @ 1035.8
1039.17	c Restart #86 #Var: 3066 LB: -23634642907756 @ 1038.9
1042.27	c Restart #87 #Var: 3066 LB: -23634642907756 @ 1042
1045.51	c Restart #88 #Var: 3066 LB: -23634642907756 @ 1045.2
1048.71	c Restart #89 #Var: 3066 LB: -23634642907756 @ 1048.4
1051.82	c Restart #90 #Var: 3066 LB: -23634642907756 @ 1051.5
1055.09	c Restart #91 #Var: 3066 LB: -23634642907756 @ 1054.8
1058.55	c Restart #92 #Var: 3066 LB: -23634642907756 @ 1058.3
1061.90	c Restart #93 #Var: 3066 LB: -23634642907756 @ 1061.6
1065.25	c Restart #94 #Var: 3066 LB: -23634642907756 @ 1065
1068.60	c Restart #95 #Var: 3066 LB: -23634642907756 @ 1068.3
1072.08	c Restart #96 #Var: 3066 LB: -23634642907756 @ 1071.8
1075.56	c Restart #97 #Var: 3066 LB: -23634642907756 @ 1075.3
1079.25	c Restart #98 #Var: 3066 LB: -23634642907756 @ 1079
1082.76	c Restart #99 #Var: 3066 LB: -23634642907756 @ 1082.5
1086.51	c Restart #100 #Var: 3066 LB: -23634642907756 @ 1086.2
1090.19	c Restart #101 #Var: 3066 LB: -23634642907756 @ 1089.9
1093.94	c Restart #102 #Var: 3066 LB: -23634642907756 @ 1093.7
1097.75	c Restart #103 #Var: 3066 LB: -23634642907756 @ 1097.5
1101.61	c Restart #104 #Var: 3066 LB: -23634642907756 @ 1101.3
1104.95	c Restart #105 #Var: 3066 LB: -23634642907756 @ 1104.7
1108.81	c Restart #106 #Var: 3066 LB: -23634642907756 @ 1108.5
1112.73	c Restart #107 #Var: 3066 LB: -23634642907756 @ 1112.4
1116.70	c Restart #108 #Var: 3066 LB: -23634642907756 @ 1116.4
1120.62	c Restart #109 #Var: 3066 LB: -23634642907756 @ 1120.3
1124.64	c Restart #110 #Var: 3066 LB: -23634642907756 @ 1124.4
1128.55	c Restart #111 #Var: 3066 LB: -23634642907756 @ 1128.3
1132.59	c Restart #112 #Var: 3066 LB: -23634642907756 @ 1132.3
1136.43	c Restart #113 #Var: 3066 LB: -23634642907756 @ 1136.1
1140.64	c Restart #114 #Var: 3066 LB: -23634642907756 @ 1140.4
1144.46	c Restart #115 #Var: 3066 LB: -23634642907756 @ 1144.2
1148.72	c Restart #116 #Var: 3066 LB: -23634642907756 @ 1148.4
1152.94	c Restart #117 #Var: 3066 LB: -23634642907756 @ 1152.6
1157.33	c Restart #118 #Var: 3066 LB: -23634642907756 @ 1157
1161.62	c Restart #119 #Var: 3066 LB: -23634642907756 @ 1161.3
1165.90	c Restart #120 #Var: 3066 LB: -23634642907756 @ 1165.6
1170.33	c Restart #121 #Var: 3066 LB: -23634642907756 @ 1170
1174.72	c Restart #122 #Var: 3066 LB: -23634642907756 @ 1174.4
1179.18	c Restart #123 #Var: 3066 LB: -23634642907756 @ 1178.9
1183.62	c Restart #124 #Var: 3066 LB: -23634642907756 @ 1183.3
1188.21	c Restart #125 #Var: 3066 LB: -23634642907756 @ 1187.9
1192.81	c Restart #126 #Var: 3066 LB: -23634642907756 @ 1192.5
1197.51	c Restart #127 #Var: 3066 LB: -23634642907756 @ 1197.2
1202.17	c Restart #128 #Var: 3066 LB: -23634642907756 @ 1201.9
1206.74	c Restart #129 #Var: 3066 LB: -23634642907756 @ 1206.4
1211.41	c Restart #130 #Var: 3066 LB: -23634642907756 @ 1211.1
1216.22	c Restart #131 #Var: 3066 LB: -23634642907756 @ 1215.9
1221.09	c Restart #132 #Var: 3066 LB: -23634642907756 @ 1220.8
1225.86	c Restart #133 #Var: 3066 LB: -23634642907756 @ 1225.5
1230.72	c Restart #134 #Var: 3066 LB: -23634642907756 @ 1230.4
1235.64	c Restart #135 #Var: 3066 LB: -23634642907756 @ 1235.3
1240.45	c Restart #136 #Var: 3066 LB: -23634642907756 @ 1240.1
1245.33	c Restart #137 #Var: 3066 LB: -23634642907756 @ 1245
1250.22	c Restart #138 #Var: 3066 LB: -23634642907756 @ 1249.9
1265.15	c Restart #139 #Var: 3066 LB: -23634642907756 @ 1264.8
1277.60	c Restart #140 #Var: 3066 LB: -23634642907756 @ 1277.3
1280.70	c Restart #141 #Var: 3066 LB: -23634642907756 @ 1280.4
1290.84	c Restart #142 #Var: 3066 LB: -23634642907756 @ 1290.5
1296.64	c Restart #143 #Var: 3066 LB: -23634642907756 @ 1296.3
1309.12	c Restart #144 #Var: 3066 LB: -23634642907756 @ 1308.8
1318.31	c Restart #145 #Var: 3066 LB: -23634642907756 @ 1318
1323.95	c Restart #146 #Var: 3066 LB: -23634642907756 @ 1323.6
1329.43	c Restart #147 #Var: 3066 LB: -23634642907756 @ 1329.1
1336.73	c Restart #148 #Var: 3066 LB: -23634642907756 @ 1336.4
1344.17	c Restart #149 #Var: 3066 LB: -23634642907756 @ 1343.8
1348.45	c Restart #150 #Var: 3066 LB: -23634642907756 @ 1348.1
1353.95	c Restart #151 #Var: 3066 LB: -23634642907756 @ 1353.6
1359.62	c Restart #152 #Var: 3066 LB: -23634642907756 @ 1359.3
1376.77	c Restart #153 #Var: 3066 LB: -23634642907756 @ 1376.4
1383.30	c Restart #154 #Var: 3066 LB: -23634642907756 @ 1383
1391.75	c Restart #155 #Var: 3066 LB: -23634642907756 @ 1391.4
1397.88	c Restart #156 #Var: 3066 LB: -23634642907756 @ 1397.5
1405.84	c Restart #157 #Var: 3066 LB: -23634642907756 @ 1405.5
1417.07	c Restart #158 #Var: 3066 LB: -23634642907756 @ 1416.7
1435.45	c Restart #159 #Var: 3066 LB: -23634642907756 @ 1435.1
1443.20	c Restart #160 #Var: 3066 LB: -23634642907756 @ 1442.8
1452.74	c Restart #161 #Var: 3066 LB: -23634642907756 @ 1452.4
1463.84	c Restart #162 #Var: 3065 LB: -23505525453420 @ 1463.5
1470.26	c Restart #163 #Var: 3063 LB: -23254269866604 @ 1469.9
1502.28	c Restart #164 #Var: 3063 LB: -23254269866604 @ 1501.9
1512.22	c Restart #165 #Var: 3063 LB: -23254269866604 @ 1511.8
1517.71	c Restart #166 #Var: 3063 LB: -23254269866604 @ 1517.3
1527.16	c Restart #167 #Var: 3063 LB: -23254269866604 @ 1526.8
1538.10	c Restart #168 #Var: 3063 LB: -23254269866604 @ 1537.7
1554.27	c Restart #169 #Var: 3063 LB: -23254269866604 @ 1553.9
1559.28	c Restart #170 #Var: 3063 LB: -23254269866604 @ 1558.9
1641.78	c Restart #171 #Var: 3063 LB: -23254269866604 @ 1641.4
1655.24	c Restart #172 #Var: 3063 LB: -23254269866604 @ 1654.8
1667.36	c Restart #173 #Var: 3063 LB: -23254269866604 @ 1666.9
1675.17	c Restart #174 #Var: 3063 LB: -23254269866604 @ 1674.7
1717.11	c Restart #175 #Var: 3063 LB: -23254269866604 @ 1716.6
1725.47	c Restart #176 #Var: 3063 LB: -23254269866604 @ 1725
1746.23	c Restart #177 #Var: 3063 LB: -23254269866604 @ 1745.7
1757.06	c Restart #178 #Var: 3063 LB: -23254269866604 @ 1756.6
1768.73	c Restart #179 #Var: 3063 LB: -23254269866604 @ 1768.2
1774.14	c Restart #180 #Var: 3063 LB: -23254269866604 @ 1773.6
1785.57	c Restart #181 #Var: 3063 LB: -23254269866604 @ 1785.1
1797.70	c Restart #182 #Var: 3063 LB: -23254269866604 @ 1797.2
1800.51	s UNKNOWN
1800.51	c Exit Code: 0
1800.51	c Total time: 1800 s

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

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

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

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.84 0.95 0.95 2/64 10142
/proc/meminfo: memFree=1815896/2055920 swapFree=4181340/4192956
[pid=10142] ppid=10140 vsize=436 CPUtime=0
/proc/10142/stat : 10142 (bsolo) D 10140 10142 10096 0 -1 0 38 0 0 0 0 0 0 0 19 0 1 0 196950068 446464 23 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 7918372 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/10142/statm: 109 23 18 55 0 18 0

[startup+10.0018 s]
/proc/loadavg: 0.87 0.95 0.95 2/64 10144
/proc/meminfo: memFree=1806184/2055920 swapFree=4181340/4192956
[pid=10142] ppid=10140 vsize=14224 CPUtime=9.98
/proc/10142/stat : 10142 (bsolo) R 10140 10142 10096 0 -1 0 2783 0 0 0 990 8 0 0 25 0 1 0 196950068 14565376 2698 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10142/statm: 3556 2698 298 55 0 2448 0
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 14224

[startup+20.0087 s]
/proc/loadavg: 0.89 0.95 0.95 2/64 10144
/proc/meminfo: memFree=1806312/2055920 swapFree=4181340/4192956
[pid=10142] ppid=10140 vsize=14224 CPUtime=19.98
/proc/10142/stat : 10142 (bsolo) R 10140 10142 10096 0 -1 0 2783 0 0 0 1988 10 0 0 25 0 1 0 196950068 14565376 2698 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10142/statm: 3556 2698 298 55 0 2448 0
Current children cumulated CPU time (s) 19.98
Current children cumulated vsize (Kb) 14224

[startup+30.0156 s]
/proc/loadavg: 0.90 0.95 0.95 2/64 10144
/proc/meminfo: memFree=1806312/2055920 swapFree=4181340/4192956
[pid=10142] ppid=10140 vsize=14224 CPUtime=29.98
/proc/10142/stat : 10142 (bsolo) R 10140 10142 10096 0 -1 0 2783 0 0 0 2987 11 0 0 25 0 1 0 196950068 14565376 2698 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10142/statm: 3556 2698 298 55 0 2448 0
Current children cumulated CPU time (s) 29.98
Current children cumulated vsize (Kb) 14224

[startup+40.0215 s]
/proc/loadavg: 0.92 0.95 0.95 2/64 10144
/proc/meminfo: memFree=1806376/2055920 swapFree=4181340/4192956
[pid=10142] ppid=10140 vsize=14224 CPUtime=39.98
/proc/10142/stat : 10142 (bsolo) R 10140 10142 10096 0 -1 0 2783 0 0 0 3987 11 0 0 25 0 1 0 196950068 14565376 2698 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10142/statm: 3556 2698 298 55 0 2448 0
Current children cumulated CPU time (s) 39.98
Current children cumulated vsize (Kb) 14224

[startup+50.0274 s]
/proc/loadavg: 0.93 0.96 0.95 2/64 10144
/proc/meminfo: memFree=1806376/2055920 swapFree=4181340/4192956
[pid=10142] ppid=10140 vsize=14224 CPUtime=49.99
/proc/10142/stat : 10142 (bsolo) R 10140 10142 10096 0 -1 0 2783 0 0 0 4987 12 0 0 25 0 1 0 196950068 14565376 2698 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 8347745 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10142/statm: 3556 2698 298 55 0 2448 0
Current children cumulated CPU time (s) 49.99
Current children cumulated vsize (Kb) 14224

[startup+60.0333 s]
/proc/loadavg: 0.94 0.96 0.95 2/64 10144
/proc/meminfo: memFree=1806376/2055920 swapFree=4181340/4192956
[pid=10142] ppid=10140 vsize=14224 CPUtime=59.99
/proc/10142/stat : 10142 (bsolo) R 10140 10142 10096 0 -1 0 2783 0 0 0 5986 13 0 0 25 0 1 0 196950068 14565376 2698 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 8359586 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10142/statm: 3556 2698 298 55 0 2448 0
Current children cumulated CPU time (s) 59.99
Current children cumulated vsize (Kb) 14224

[startup+70.0392 s]
/proc/loadavg: 0.95 0.96 0.95 2/64 10144
/proc/meminfo: memFree=1806376/2055920 swapFree=4181340/4192956
[pid=10142] ppid=10140 vsize=14224 CPUtime=70
/proc/10142/stat : 10142 (bsolo) R 10140 10142 10096 0 -1 0 2783 0 0 0 6985 15 0 0 25 0 1 0 196950068 14565376 2698 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10142/statm: 3556 2698 298 55 0 2448 0
Current children cumulated CPU time (s) 70
Current children cumulated vsize (Kb) 14224

[startup+80.0451 s]
/proc/loadavg: 0.96 0.96 0.95 2/64 10144
/proc/meminfo: memFree=1806376/2055920 swapFree=4181340/4192956
[pid=10142] ppid=10140 vsize=14224 CPUtime=80
/proc/10142/stat : 10142 (bsolo) R 10140 10142 10096 0 -1 0 2783 0 0 0 7984 16 0 0 25 0 1 0 196950068 14565376 2698 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10142/statm: 3556 2698 298 55 0 2448 0
Current children cumulated CPU time (s) 80
Current children cumulated vsize (Kb) 14224

[startup+90.051 s]
/proc/loadavg: 0.96 0.96 0.95 2/64 10144
/proc/meminfo: memFree=1806376/2055920 swapFree=4181340/4192956
[pid=10142] ppid=10140 vsize=14224 CPUtime=90
/proc/10142/stat : 10142 (bsolo) R 10140 10142 10096 0 -1 0 2783 0 0 0 8984 16 0 0 25 0 1 0 196950068 14565376 2698 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10142/statm: 3556 2698 298 55 0 2448 0
Current children cumulated CPU time (s) 90
Current children cumulated vsize (Kb) 14224

[startup+100.057 s]
/proc/loadavg: 0.97 0.96 0.95 2/64 10144
/proc/meminfo: memFree=1806376/2055920 swapFree=4181340/4192956
[pid=10142] ppid=10140 vsize=14224 CPUtime=100.01
/proc/10142/stat : 10142 (bsolo) R 10140 10142 10096 0 -1 0 2783 0 0 0 9984 17 0 0 25 0 1 0 196950068 14565376 2698 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557737 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10142/statm: 3556 2698 298 55 0 2448 0
Current children cumulated CPU time (s) 100.01
Current children cumulated vsize (Kb) 14224

[startup+110.063 s]
/proc/loadavg: 0.97 0.96 0.95 2/64 10144
/proc/meminfo: memFree=1806120/2055920 swapFree=4181340/4192956
[pid=10142] ppid=10140 vsize=14476 CPUtime=110.01
/proc/10142/stat : 10142 (bsolo) R 10140 10142 10096 0 -1 0 2847 0 0 0 10982 19 0 0 25 0 1 0 196950068 14823424 2762 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10142/statm: 3619 2762 298 55 0 2511 0
Current children cumulated CPU time (s) 110.01
Current children cumulated vsize (Kb) 14476

[startup+120.069 s]
/proc/loadavg: 0.98 0.96 0.95 2/64 10144
/proc/meminfo: memFree=1806120/2055920 swapFree=4181340/4192956
[pid=10142] ppid=10140 vsize=14476 CPUtime=120.01
/proc/10142/stat : 10142 (bsolo) R 10140 10142 10096 0 -1 0 2847 0 0 0 11981 20 0 0 25 0 1 0 196950068 14823424 2762 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548375 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10142/statm: 3619 2762 298 55 0 2511 0
Current children cumulated CPU time (s) 120.01
Current children cumulated vsize (Kb) 14476

[startup+130.075 s]
/proc/loadavg: 0.98 0.96 0.95 2/64 10144
/proc/meminfo: memFree=1806120/2055920 swapFree=4181340/4192956
[pid=10142] ppid=10140 vsize=14476 CPUtime=130.02
/proc/10142/stat : 10142 (bsolo) R 10140 10142 10096 0 -1 0 2847 0 0 0 12981 21 0 0 25 0 1 0 196950068 14823424 2762 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10142/statm: 3619 2762 298 55 0 2511 0
Current children cumulated CPU time (s) 130.02
Current children cumulated vsize (Kb) 14476

[startup+140.08 s]
/proc/loadavg: 0.98 0.96 0.95 2/64 10144
/proc/meminfo: memFree=1806120/2055920 swapFree=4181340/4192956
[pid=10142] ppid=10140 vsize=14476 CPUtime=140.02
/proc/10142/stat : 10142 (bsolo) R 10140 10142 10096 0 -1 0 2847 0 0 0 13980 22 0 0 25 0 1 0 196950068 14823424 2762 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10142/statm: 3619 2762 298 55 0 2511 0
Current children cumulated CPU time (s) 140.02
Current children cumulated vsize (Kb) 14476

[startup+150.087 s]
/proc/loadavg: 0.98 0.97 0.95 2/64 10144
/proc/meminfo: memFree=1806120/2055920 swapFree=4181340/4192956
[pid=10142] ppid=10140 vsize=14476 CPUtime=150.03
/proc/10142/stat : 10142 (bsolo) R 10140 10142 10096 0 -1 0 2847 0 0 0 14980 23 0 0 25 0 1 0 196950068 14823424 2762 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603842 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10142/statm: 3619 2762 298 55 0 2511 0
Current children cumulated CPU time (s) 150.03
Current children cumulated vsize (Kb) 14476

[startup+160.093 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 10144
/proc/meminfo: memFree=1806120/2055920 swapFree=4181340/4192956
[pid=10142] ppid=10140 vsize=14476 CPUtime=160.02
/proc/10142/stat : 10142 (bsolo) R 10140 10142 10096 0 -1 0 2847 0 0 0 15979 23 0 0 25 0 1 0 196950068 14823424 2762 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10142/statm: 3619 2762 298 55 0 2511 0
Current children cumulated CPU time (s) 160.02
Current children cumulated vsize (Kb) 14476

[startup+170.099 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 10144
/proc/meminfo: memFree=1804136/2055920 swapFree=4181340/4192956
[pid=10142] ppid=10140 vsize=16416 CPUtime=170.03
/proc/10142/stat : 10142 (bsolo) R 10140 10142 10096 0 -1 0 3335 0 0 0 16976 27 0 0 25 0 1 0 196950068 16809984 3250 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10142/statm: 4104 3250 298 55 0 2996 0
Current children cumulated CPU time (s) 170.03
Current children cumulated vsize (Kb) 16416

[startup+180.105 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 10144
/proc/meminfo: memFree=1802664/2055920 swapFree=4181340/4192956
[pid=10142] ppid=10140 vsize=17968 CPUtime=180.03
/proc/10142/stat : 10142 (bsolo) R 10140 10142 10096 0 -1 0 3706 0 0 0 17974 29 0 0 25 0 1 0 196950068 18399232 3621 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134595889 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10142/statm: 4492 3621 298 55 0 3384 0
Current children cumulated CPU time (s) 180.03
Current children cumulated vsize (Kb) 17968

[startup+190.111 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 10144
/proc/meminfo: memFree=1802600/2055920 swapFree=4181340/4192956
[pid=10142] ppid=10140 vsize=17968 CPUtime=190.04
/proc/10142/stat : 10142 (bsolo) R 10140 10142 10096 0 -1 0 3720 0 0 0 18973 31 0 0 25 0 1 0 196950068 18399232 3635 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548392 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10142/statm: 4492 3635 298 55 0 3384 0
Current children cumulated CPU time (s) 190.04
Current children cumulated vsize (Kb) 17968

[startup+200.117 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 10144
/proc/meminfo: memFree=1802600/2055920 swapFree=4181340/4192956
[pid=10142] ppid=10140 vsize=17964 CPUtime=200.04
/proc/10142/stat : 10142 (bsolo) R 10140 10142 10096 0 -1 0 3720 0 0 0 19973 31 0 0 25 0 1 0 196950068 18395136 3635 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10142/statm: 4491 3635 298 55 0 3383 0
Current children cumulated CPU time (s) 200.04
Current children cumulated vsize (Kb) 17964

[startup+210.123 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 10144
/proc/meminfo: memFree=1798504/2055920 swapFree=4181340/4192956

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

/proc/10142/statm: 79756 78857 298 55 0 78648 0
Current children cumulated CPU time (s) 1760.52
Current children cumulated vsize (Kb) 319024

[startup+1771.04 s]
/proc/loadavg: 1.00 0.99 0.96 2/64 10339
/proc/meminfo: memFree=1500264/2055920 swapFree=4181340/4192956
[pid=10142] ppid=10140 vsize=319352 CPUtime=1770.52
/proc/10142/stat : 10142 (bsolo) R 10140 10142 10096 0 -1 0 79172 0 0 0 176693 359 0 0 25 0 1 0 196950068 327016448 78919 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550908 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10142/statm: 79838 78919 298 55 0 78730 0
Current children cumulated CPU time (s) 1770.52
Current children cumulated vsize (Kb) 319352

[startup+1781.04 s]
/proc/loadavg: 1.00 0.99 0.96 2/64 10339
/proc/meminfo: memFree=1485032/2055920 swapFree=4181340/4192956
[pid=10142] ppid=10140 vsize=334604 CPUtime=1780.53
/proc/10142/stat : 10142 (bsolo) R 10140 10142 10096 0 -1 0 82981 0 0 0 177688 365 0 0 25 0 1 0 196950068 342634496 82728 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10142/statm: 83651 82728 298 55 0 82543 0
Current children cumulated CPU time (s) 1780.53
Current children cumulated vsize (Kb) 334604

[startup+1782.05 s]
/proc/loadavg: 1.00 0.99 0.96 2/64 10339
/proc/meminfo: memFree=1483432/2055920 swapFree=4181340/4192956
[pid=10142] ppid=10140 vsize=336188 CPUtime=1781.53
/proc/10142/stat : 10142 (bsolo) R 10140 10142 10096 0 -1 0 83382 0 0 0 177788 365 0 0 25 0 1 0 196950068 344256512 83129 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10142/statm: 84047 83129 298 55 0 82939 0
Current children cumulated CPU time (s) 1781.53
Current children cumulated vsize (Kb) 336188

[startup+1783.05 s]
/proc/loadavg: 1.00 0.99 0.96 2/64 10339
/proc/meminfo: memFree=1480104/2055920 swapFree=4181340/4192956
[pid=10142] ppid=10140 vsize=339468 CPUtime=1782.54
/proc/10142/stat : 10142 (bsolo) R 10140 10142 10096 0 -1 0 84215 0 0 0 177888 366 0 0 25 0 1 0 196950068 347615232 83962 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10142/statm: 84867 83962 298 55 0 83759 0
Current children cumulated CPU time (s) 1782.54
Current children cumulated vsize (Kb) 339468

[startup+1784.06 s]
/proc/loadavg: 1.00 0.99 0.96 2/64 10339
/proc/meminfo: memFree=1479272/2055920 swapFree=4181340/4192956
[pid=10142] ppid=10140 vsize=340260 CPUtime=1783.54
/proc/10142/stat : 10142 (bsolo) R 10140 10142 10096 0 -1 0 84414 0 0 0 177988 366 0 0 25 0 1 0 196950068 348426240 84161 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10142/statm: 85065 84161 298 55 0 83957 0
Current children cumulated CPU time (s) 1783.54
Current children cumulated vsize (Kb) 340260

[startup+1785.06 s]
/proc/loadavg: 1.00 0.99 0.96 2/64 10339
/proc/meminfo: memFree=1476136/2055920 swapFree=4181340/4192956
[pid=10142] ppid=10140 vsize=343424 CPUtime=1784.54
/proc/10142/stat : 10142 (bsolo) R 10140 10142 10096 0 -1 0 85196 0 0 0 178088 366 0 0 25 0 1 0 196950068 351666176 84943 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10142/statm: 85856 84943 298 55 0 84748 0
Current children cumulated CPU time (s) 1784.54
Current children cumulated vsize (Kb) 343424

[startup+1786.07 s]
/proc/loadavg: 1.00 0.99 0.96 2/64 10339
/proc/meminfo: memFree=1475112/2055920 swapFree=4181340/4192956
[pid=10142] ppid=10140 vsize=344424 CPUtime=1785.55
/proc/10142/stat : 10142 (bsolo) R 10140 10142 10096 0 -1 0 85446 0 0 0 178188 367 0 0 25 0 1 0 196950068 352690176 85193 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10142/statm: 86106 85193 298 55 0 84998 0
Current children cumulated CPU time (s) 1785.55
Current children cumulated vsize (Kb) 344424

[startup+1787.07 s]
/proc/loadavg: 1.00 0.99 0.96 2/64 10339
/proc/meminfo: memFree=1475112/2055920 swapFree=4181340/4192956
[pid=10142] ppid=10140 vsize=344424 CPUtime=1786.56
/proc/10142/stat : 10142 (bsolo) R 10140 10142 10096 0 -1 0 85457 0 0 0 178289 367 0 0 25 0 1 0 196950068 352690176 85204 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 8351585 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10142/statm: 86106 85204 298 55 0 84998 0
Current children cumulated CPU time (s) 1786.56
Current children cumulated vsize (Kb) 344424

[startup+1788.08 s]
/proc/loadavg: 1.00 0.99 0.96 2/64 10339
/proc/meminfo: memFree=1475112/2055920 swapFree=4181340/4192956
[pid=10142] ppid=10140 vsize=344424 CPUtime=1787.56
/proc/10142/stat : 10142 (bsolo) R 10140 10142 10096 0 -1 0 85459 0 0 0 178389 367 0 0 25 0 1 0 196950068 352690176 85206 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10142/statm: 86106 85206 298 55 0 84998 0
Current children cumulated CPU time (s) 1787.56
Current children cumulated vsize (Kb) 344424

[startup+1789.08 s]
/proc/loadavg: 1.00 0.99 0.96 2/64 10339
/proc/meminfo: memFree=1475112/2055920 swapFree=4181340/4192956
[pid=10142] ppid=10140 vsize=344424 CPUtime=1788.56
/proc/10142/stat : 10142 (bsolo) R 10140 10142 10096 0 -1 0 85460 0 0 0 178489 367 0 0 25 0 1 0 196950068 352690176 85207 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557737 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10142/statm: 86106 85207 298 55 0 84998 0
Current children cumulated CPU time (s) 1788.56
Current children cumulated vsize (Kb) 344424

[startup+1790.09 s]
/proc/loadavg: 1.00 0.99 0.96 2/64 10339
/proc/meminfo: memFree=1475048/2055920 swapFree=4181340/4192956
[pid=10142] ppid=10140 vsize=344536 CPUtime=1789.57
/proc/10142/stat : 10142 (bsolo) R 10140 10142 10096 0 -1 0 85467 0 0 0 178590 367 0 0 25 0 1 0 196950068 352804864 85214 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10142/statm: 86134 85214 298 55 0 85026 0
Current children cumulated CPU time (s) 1789.57
Current children cumulated vsize (Kb) 344536

[startup+1791.09 s]
/proc/loadavg: 1.00 0.99 0.96 2/64 10339
/proc/meminfo: memFree=1475048/2055920 swapFree=4181340/4192956
[pid=10142] ppid=10140 vsize=344536 CPUtime=1790.57
/proc/10142/stat : 10142 (bsolo) R 10140 10142 10096 0 -1 0 85469 0 0 0 178690 367 0 0 25 0 1 0 196950068 352804864 85216 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10142/statm: 86134 85216 298 55 0 85026 0
Current children cumulated CPU time (s) 1790.57
Current children cumulated vsize (Kb) 344536

[startup+1792.1 s]
/proc/loadavg: 1.00 0.99 0.96 2/64 10339
/proc/meminfo: memFree=1475048/2055920 swapFree=4181340/4192956
[pid=10142] ppid=10140 vsize=344528 CPUtime=1791.58
/proc/10142/stat : 10142 (bsolo) R 10140 10142 10096 0 -1 0 85471 0 0 0 178790 368 0 0 25 0 1 0 196950068 352796672 85218 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10142/statm: 86132 85218 298 55 0 85024 0
Current children cumulated CPU time (s) 1791.58
Current children cumulated vsize (Kb) 344528

[startup+1793.1 s]
/proc/loadavg: 1.00 0.99 0.96 2/64 10339
/proc/meminfo: memFree=1475048/2055920 swapFree=4181340/4192956
[pid=10142] ppid=10140 vsize=344528 CPUtime=1792.59
/proc/10142/stat : 10142 (bsolo) R 10140 10142 10096 0 -1 0 85471 0 0 0 178891 368 0 0 25 0 1 0 196950068 352796672 85218 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528656 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10142/statm: 86132 85218 298 55 0 85024 0
Current children cumulated CPU time (s) 1792.59
Current children cumulated vsize (Kb) 344528

[startup+1794.11 s]
/proc/loadavg: 1.00 0.99 0.96 2/64 10339
/proc/meminfo: memFree=1475048/2055920 swapFree=4181340/4192956
[pid=10142] ppid=10140 vsize=344528 CPUtime=1793.59
/proc/10142/stat : 10142 (bsolo) R 10140 10142 10096 0 -1 0 85471 0 0 0 178991 368 0 0 25 0 1 0 196950068 352796672 85218 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10142/statm: 86132 85218 298 55 0 85024 0
Current children cumulated CPU time (s) 1793.59
Current children cumulated vsize (Kb) 344528

[startup+1795.11 s]
/proc/loadavg: 1.00 0.99 0.96 2/64 10339
/proc/meminfo: memFree=1475048/2055920 swapFree=4181340/4192956
[pid=10142] ppid=10140 vsize=344528 CPUtime=1794.59
/proc/10142/stat : 10142 (bsolo) R 10140 10142 10096 0 -1 0 85472 0 0 0 179091 368 0 0 25 0 1 0 196950068 352796672 85219 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557776 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10142/statm: 86132 85219 298 55 0 85024 0
Current children cumulated CPU time (s) 1794.59
Current children cumulated vsize (Kb) 344528

[startup+1796.12 s]
/proc/loadavg: 1.00 0.99 0.96 2/64 10339
/proc/meminfo: memFree=1475048/2055920 swapFree=4181340/4192956
[pid=10142] ppid=10140 vsize=344528 CPUtime=1795.6
/proc/10142/stat : 10142 (bsolo) R 10140 10142 10096 0 -1 0 85476 0 0 0 179192 368 0 0 25 0 1 0 196950068 352796672 85223 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548230 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10142/statm: 86132 85223 298 55 0 85024 0
Current children cumulated CPU time (s) 1795.6
Current children cumulated vsize (Kb) 344528

[startup+1797.12 s]
/proc/loadavg: 1.00 0.99 0.96 2/64 10339
/proc/meminfo: memFree=1475048/2055920 swapFree=4181340/4192956
[pid=10142] ppid=10140 vsize=344528 CPUtime=1796.6
/proc/10142/stat : 10142 (bsolo) R 10140 10142 10096 0 -1 0 85476 0 0 0 179292 368 0 0 25 0 1 0 196950068 352796672 85223 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134606487 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10142/statm: 86132 85223 298 55 0 85024 0
Current children cumulated CPU time (s) 1796.6
Current children cumulated vsize (Kb) 344528

[startup+1798.13 s]
/proc/loadavg: 1.00 0.99 0.96 2/64 10339
/proc/meminfo: memFree=1475048/2055920 swapFree=4181340/4192956
[pid=10142] ppid=10140 vsize=344528 CPUtime=1797.61
/proc/10142/stat : 10142 (bsolo) R 10140 10142 10096 0 -1 0 85476 0 0 0 179392 369 0 0 25 0 1 0 196950068 352796672 85223 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10142/statm: 86132 85223 298 55 0 85024 0
Current children cumulated CPU time (s) 1797.61
Current children cumulated vsize (Kb) 344528

[startup+1799.13 s]
/proc/loadavg: 1.00 0.99 0.96 2/64 10339
/proc/meminfo: memFree=1474792/2055920 swapFree=4181340/4192956
[pid=10142] ppid=10140 vsize=344768 CPUtime=1798.61
/proc/10142/stat : 10142 (bsolo) R 10140 10142 10096 0 -1 0 85530 0 0 0 179492 369 0 0 25 0 1 0 196950068 353042432 85277 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10142/statm: 86192 85277 298 55 0 85084 0
Current children cumulated CPU time (s) 1798.61
Current children cumulated vsize (Kb) 344768

[startup+1800.14 s]
/proc/loadavg: 1.00 0.99 0.96 2/64 10339
/proc/meminfo: memFree=1474664/2055920 swapFree=4181340/4192956
[pid=10142] ppid=10140 vsize=344888 CPUtime=1799.61
/proc/10142/stat : 10142 (bsolo) R 10140 10142 10096 0 -1 0 85567 0 0 0 179592 369 0 0 25 0 1 0 196950068 353165312 85314 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134595821 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10142/statm: 86222 85314 298 55 0 85114 0
Current children cumulated CPU time (s) 1799.61
Current children cumulated vsize (Kb) 344888

Child status: 0
Real time (s): 1800.58
CPU time (s): 1800.06
CPU user time (s): 1796.31
CPU system time (s): 3.75243
CPU usage (%): 99.9713
Max. virtual memory (cumulated for all children) (Kb): 344888

Launcher Data (download as text)

Begin job on node50 on Sat Jun  3 05:33:49 UTC 2006


FILE ID= 40705-1149312829

PBS_JOBID= 308135

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-agg.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node50/40705-1149312829/instance-40705-1149312829.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node50/watcher-40705-1149312829 -o ROOT/results/node50/solver-40705-1149312829 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node50/40705-1149312829/instance-40705-1149312829.opb

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  4f19aa044e880280faec0077a2509ba8

RANDOM SEED= 511783447


/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.238
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.238
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:       1816168 kB
Buffers:         17796 kB
Cached:         156392 kB
SwapCached:       3224 kB
Active:          29424 kB
Inactive:       153528 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1816168 kB
SwapTotal:     4192956 kB
SwapFree:      4181340 kB
Dirty:             176 kB
Writeback:           0 kB
Mapped:          14940 kB
Slab:            42824 kB
Committed_AS:   277688 kB
PageTables:       1480 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node50 on Sat Jun  3 06:03:50 UTC 2006