Trace number 40623

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/05OPT9663726592 349.38 349.507

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/www.csit.fsu.edu/
~burkardt/datasets/mps/normalized-mps-v2-20-10-testprob.opb
MD5SUM24c749e45d4bbd6a8ec98f3e49fb7aad
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark9663726592
Best CPU time to get the best result obtained on this benchmark0.063989
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 9663726592
Optimality of the best value was proved YES
Number of variables56
Total number of constraints5
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 constraints5
Minimum length of a constraint12
Maximum length of a constraint44
Number of terms in the objective function 56
Biggest coefficient in the objective function 9663676416
Number of bits for the biggest coefficient in the objective function 34
Sum of the numbers in the objective function 19327377394
Number of bits of the sum of numbers in the objective function 35
Biggest number in a constraint 9663676416
Number of bits of the biggest number in a constraint 34
Biggest sum of numbers in a constraint 19327377394
Number of bits of the biggest sum of numbers35
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

0.00	c Time Limit set via PBTIMEOUT to 1800
0.01	c INFO: OSL Context initialized.
0.01	c BIG Int formula...
0.02	c Initial problem consists of 56 variables and 6 constraints.
0.02	c No problem reductions applied in OPT. instance.
0.02	c	preprocess terminated. Elapsed time: 0.011
0.02	c After prepocess the problem consists of 39 variables and 6 constraints.
0.02	c Initial Lower Bound: 9663676416
0.02	c Restart #1 #Var: 39 LB: 9663676416 @ 0.016
0.03	c Restart #2 #Var: 39 LB: 9663676416 @ 0.027
0.05	c Restart #3 #Var: 39 LB: 9663676416 @ 0.043
0.07	c Restart #4 #Var: 39 LB: 9663676416 @ 0.067
0.10	c Restart #5 #Var: 39 LB: 9663676416 @ 0.095
0.14	c Restart #6 #Var: 39 LB: 9663676416 @ 0.133
0.18	c Restart #7 #Var: 39 LB: 9663676416 @ 0.178
0.24	c Restart #8 #Var: 39 LB: 9663676416 @ 0.232
0.30	c Restart #9 #Var: 39 LB: 9663676416 @ 0.3
0.38	c Restart #10 #Var: 39 LB: 9663676416 @ 0.37
0.45	c Restart #11 #Var: 39 LB: 9663676416 @ 0.449
0.56	c Restart #12 #Var: 39 LB: 9663676416 @ 0.552
0.56	c Sol. found (all assignments made)...
0.56	o 9663751169
0.56	c NEW SOLUTION FOUND: 9663751169 @ 0.56
0.56	c Sol. found (all assignments made)...
0.56	c Sol. found (all assignments made)...
0.56	c Sol. found (all assignments made)...
0.57	c Sol. found (all assignments made)...
0.57	c Sol. found (all assignments made)...
0.57	c Sol. found (all assignments made)...
0.57	c Sol. found (all assignments made)...
0.57	c Sol. found (all assignments made)...
0.57	c Sol. found (all assignments made)...
0.57	c Sol. found (all assignments made)...
0.57	c Sol. found (all assignments made)...
0.57	o 9663751168
0.57	c NEW SOLUTION FOUND: 9663751168 @ 0.56
0.57	c Sol. found (all assignments made)...
0.70	c Restart #13 #Var: 36 LB: 9663713280 @ 0.695
0.83	c Restart #14 #Var: 36 LB: 9663713280 @ 0.829
0.98	c Restart #15 #Var: 36 LB: 9663713280 @ 0.975
1.13	c Restart #16 #Var: 36 LB: 9663713280 @ 1.124
1.30	c CHANGE to MIS mode... 	UB: 9663751168	MIS: 9663713283	LPR: -2147483648 (0)	Diff: -4.5
1.30	c Restart #0 #Var: 36 LB: 9663713280 @ 1.297
1.34	c Restart #1 #Var: 36 LB: 9663713283 @ 1.334
1.38	c Restart #2 #Var: 36 LB: 9663713283 @ 1.375
1.44	c Restart #3 #Var: 36 LB: 9663713283 @ 1.433
1.50	c Restart #4 #Var: 36 LB: 9663713283 @ 1.496
1.57	c Restart #5 #Var: 36 LB: 9663713283 @ 1.568
1.65	c Restart #6 #Var: 36 LB: 9663713283 @ 1.644
1.74	c Restart #7 #Var: 36 LB: 9663713283 @ 1.73
1.83	c Restart #8 #Var: 36 LB: 9663713283 @ 1.825
1.93	c Restart #9 #Var: 36 LB: 9663713283 @ 1.928
2.06	c Restart #10 #Var: 36 LB: 9663713283 @ 2.052
2.18	c Restart #11 #Var: 36 LB: 9663713283 @ 2.173
2.33	c Restart #12 #Var: 36 LB: 9663713283 @ 2.325
2.49	c Restart #13 #Var: 36 LB: 9663713283 @ 2.489
2.68	c Restart #14 #Var: 36 LB: 9663713283 @ 2.672
2.88	c Restart #15 #Var: 36 LB: 9663713283 @ 2.875
3.08	c Restart #16 #Var: 36 LB: 9663713283 @ 3.075
3.30	c Restart #17 #Var: 36 LB: 9663713283 @ 3.297
3.52	c Restart #18 #Var: 36 LB: 9663713283 @ 3.517
3.81	c Restart #19 #Var: 36 LB: 9663713283 @ 3.803
4.07	c Restart #20 #Var: 36 LB: 9663713283 @ 4.066
4.34	c Restart #21 #Var: 36 LB: 9663713283 @ 4.332
4.68	c Restart #22 #Var: 36 LB: 9663713283 @ 4.672
5.13	c Restart #23 #Var: 36 LB: 9663713283 @ 5.123
5.54	c Restart #24 #Var: 36 LB: 9663713283 @ 5.528
6.00	c Restart #25 #Var: 36 LB: 9663713283 @ 5.993
6.41	c Restart #26 #Var: 36 LB: 9663713283 @ 6.404
6.85	c Restart #27 #Var: 36 LB: 9663713283 @ 6.837
7.34	c Restart #28 #Var: 36 LB: 9663713283 @ 7.335
7.79	c Restart #29 #Var: 36 LB: 9663713283 @ 7.782
8.27	c Restart #30 #Var: 36 LB: 9663713283 @ 8.259
8.83	c Restart #31 #Var: 36 LB: 9663713283 @ 8.818
9.56	c Restart #32 #Var: 36 LB: 9663713283 @ 9.551
10.16	c Restart #33 #Var: 36 LB: 9663713283 @ 10.147
10.83	c Restart #34 #Var: 36 LB: 9663713283 @ 10.816
11.60	c Restart #35 #Var: 36 LB: 9663713283 @ 11.589
12.42	c Restart #36 #Var: 36 LB: 9663713283 @ 12.406
13.21	c Restart #37 #Var: 36 LB: 9663713283 @ 13.195
13.99	c Restart #38 #Var: 36 LB: 9663713283 @ 13.975
14.92	c Restart #39 #Var: 36 LB: 9663713283 @ 14.9
15.78	c Restart #40 #Var: 36 LB: 9663713283 @ 15.767
16.80	c Restart #41 #Var: 36 LB: 9663713283 @ 16.789
17.89	c Restart #42 #Var: 36 LB: 9663713283 @ 17.873
18.74	c Sol. found (all assignments made)...
18.74	o 9663742750
18.74	c NEW SOLUTION FOUND: 9663742750 @ 18.726
18.74	c Sol. found (all assignments made)...
18.74	o 9663742494
18.74	c NEW SOLUTION FOUND: 9663742494 @ 18.726
18.74	c Sol. found (all assignments made)...
18.74	o 9663742493
18.74	c NEW SOLUTION FOUND: 9663742493 @ 18.726
18.74	c Sol. found (all assignments made)...
18.74	o 9663742301
18.74	c NEW SOLUTION FOUND: 9663742301 @ 18.726
18.74	c Sol. found (all assignments made)...
18.74	c Sol. found (all assignments made)...
18.74	o 9663742300
18.74	c NEW SOLUTION FOUND: 9663742300 @ 18.727
18.74	c Sol. found (all assignments made)...
18.74	c Sol. found (all assignments made)...
18.74	c Sol. found (all assignments made)...
18.74	c Sol. found (all assignments made)...
18.74	c Sol. found (all assignments made)...
18.74	o 9663730297
18.74	c NEW SOLUTION FOUND: 9663730297 @ 18.727
18.74	c Sol. found (all assignments made)...
18.74	o 9663730057
18.74	c NEW SOLUTION FOUND: 9663730057 @ 18.727
18.74	c Sol. found (all assignments made)...
18.74	o 9663730041
18.74	c NEW SOLUTION FOUND: 9663730041 @ 18.727
18.74	c Sol. found (all assignments made)...
18.74	o 9663730017
18.74	c NEW SOLUTION FOUND: 9663730017 @ 18.727
18.74	c Sol. found (all assignments made)...
18.74	o 9663730012
18.74	c NEW SOLUTION FOUND: 9663730012 @ 18.727
18.75	c Sol. found (all assignments made)...
18.75	o 9663726969
18.75	c NEW SOLUTION FOUND: 9663726969 @ 18.732
18.75	c Sol. found (all assignments made)...
18.75	c Sol. found (all assignments made)...
18.75	o 9663726945
18.75	c NEW SOLUTION FOUND: 9663726945 @ 18.732
18.75	c Sol. found (all assignments made)...
18.75	o 9663726940
18.75	c NEW SOLUTION FOUND: 9663726940 @ 18.732
18.86	c Sol. found (all assignments made)...
18.86	o 9663726761
18.86	c NEW SOLUTION FOUND: 9663726761 @ 18.839
18.86	c Sol. found (all assignments made)...
18.86	c Sol. found (all assignments made)...
18.86	o 9663726753
18.86	c NEW SOLUTION FOUND: 9663726753 @ 18.84
18.86	c Sol. found (all assignments made)...
18.86	o 9663726748
18.86	c NEW SOLUTION FOUND: 9663726748 @ 18.84
19.77	c Restart #43 #Var: 36 LB: 9663713283 @ 19.754
20.67	c Restart #44 #Var: 36 LB: 9663713283 @ 20.648
21.70	c Restart #45 #Var: 36 LB: 9663713283 @ 21.678
22.59	c Restart #46 #Var: 36 LB: 9663713283 @ 22.576
23.57	c Restart #47 #Var: 36 LB: 9663713283 @ 23.547
24.66	c Restart #48 #Var: 36 LB: 9663713283 @ 24.636
25.80	c Restart #49 #Var: 36 LB: 9663713283 @ 25.784
27.18	c Restart #50 #Var: 36 LB: 9663713283 @ 27.164
28.66	c Restart #51 #Var: 36 LB: 9663713283 @ 28.636
29.98	c Restart #52 #Var: 36 LB: 9663713283 @ 29.957
31.30	c Restart #53 #Var: 36 LB: 9663713283 @ 31.28
32.63	c Restart #54 #Var: 36 LB: 9663713283 @ 32.605
33.21	c Sol. found (all assignments made)...
33.21	c Sol. found (all assignments made)...
33.21	c Sol. found (all assignments made)...
33.24	c Sol. found (all assignments made)...
33.26	c Sol. found (all assignments made)...
34.00	c Restart #55 #Var: 36 LB: 9663713283 @ 33.975
35.43	c Restart #56 #Var: 36 LB: 9663713283 @ 35.407
37.05	c Sol. found (all assignments made)...
37.05	o 9663726709
37.05	c NEW SOLUTION FOUND: 9663726709 @ 37.028
37.05	c Sol. found (all assignments made)...
37.05	c Sol. found (all assignments made)...
37.05	o 9663726701
37.05	c NEW SOLUTION FOUND: 9663726701 @ 37.029
37.05	c Sol. found (all assignments made)...
37.05	o 9663726700
37.05	c NEW SOLUTION FOUND: 9663726700 @ 37.029
38.58	c Restart #57 #Var: 36 LB: 9663713283 @ 38.553
40.14	c Restart #58 #Var: 36 LB: 9663713283 @ 40.112
41.81	c Restart #59 #Var: 36 LB: 9663713283 @ 41.788
43.99	c Restart #60 #Var: 36 LB: 9663713283 @ 43.963
45.58	c Restart #61 #Var: 36 LB: 9663713283 @ 45.555
46.43	c Sol. found (all assignments made)...
46.43	o 9663726683
46.43	c NEW SOLUTION FOUND: 9663726683 @ 46.407
46.43	c Sol. found (all assignments made)...
46.43	c Sol. found (all assignments made)...
46.43	o 9663726679
46.43	c NEW SOLUTION FOUND: 9663726679 @ 46.407
46.43	c Sol. found (all assignments made)...
46.43	o 9663726676
46.43	c NEW SOLUTION FOUND: 9663726676 @ 46.407
46.43	c Sol. found (all assignments made)...
47.75	c Restart #62 #Var: 36 LB: 9663713283 @ 47.726
49.83	c Restart #63 #Var: 36 LB: 9663713283 @ 49.803
51.28	c Sol. found (all assignments made)...
51.28	o 9663726657
51.28	c NEW SOLUTION FOUND: 9663726657 @ 51.256
51.28	c Sol. found (all assignments made)...
51.28	c Sol. found (all assignments made)...
51.28	o 9663726653
51.28	c NEW SOLUTION FOUND: 9663726653 @ 51.256
51.28	c Sol. found (all assignments made)...
51.28	o 9663726652
51.28	c NEW SOLUTION FOUND: 9663726652 @ 51.256
52.80	c Restart #64 #Var: 36 LB: 9663713283 @ 52.777
55.07	c Restart #65 #Var: 36 LB: 9663713283 @ 55.038
57.09	c Restart #66 #Var: 36 LB: 9663713283 @ 57.058
58.95	c Restart #67 #Var: 36 LB: 9663713283 @ 58.918
61.21	c Restart #68 #Var: 36 LB: 9663713283 @ 61.175
63.05	c Restart #69 #Var: 36 LB: 9663713283 @ 63.02
65.48	c Restart #70 #Var: 36 LB: 9663713283 @ 65.452
67.69	c Restart #71 #Var: 36 LB: 9663713283 @ 67.661
69.99	c Restart #72 #Var: 36 LB: 9663713283 @ 69.961
72.27	c Restart #73 #Var: 36 LB: 9663713283 @ 72.232
74.99	c Restart #74 #Var: 36 LB: 9663713283 @ 74.952
77.82	c Restart #75 #Var: 36 LB: 9663713283 @ 77.788
81.35	c Restart #76 #Var: 36 LB: 9663713283 @ 81.315
84.28	c Restart #77 #Var: 36 LB: 9663713283 @ 84.238
88.30	c Restart #78 #Var: 36 LB: 9663713283 @ 88.258
91.25	c Restart #79 #Var: 36 LB: 9663713283 @ 91.21
94.05	c Restart #80 #Var: 36 LB: 9663713283 @ 94.006
97.09	c Restart #81 #Var: 36 LB: 9663713283 @ 97.048
100.17	c Restart #82 #Var: 36 LB: 9663713283 @ 100.12
103.32	c Restart #83 #Var: 36 LB: 9663713283 @ 103.28
105.11	c Sol. found (all assignments made)...
105.12	c Sol. found (all assignments made)...
105.12	c Sol. found (all assignments made)...
105.12	c Sol. found (all assignments made)...
105.12	c Sol. found (all assignments made)...
105.12	c Sol. found (all assignments made)...
106.71	c Restart #84 #Var: 36 LB: 9663713283 @ 106.67
110.67	c Restart #85 #Var: 36 LB: 9663713283 @ 110.62
112.36	c Sol. found (all assignments made)...
112.39	c Sol. found (all assignments made)...
112.39	c Sol. found (all assignments made)...
112.39	c Sol. found (all assignments made)...
112.39	c Sol. found (all assignments made)...
112.39	c Sol. found (all assignments made)...
114.75	c Restart #86 #Var: 36 LB: 9663713283 @ 114.7
118.83	c Restart #87 #Var: 36 LB: 9663713283 @ 118.78
122.26	c Restart #88 #Var: 36 LB: 9663713283 @ 122.2
126.17	c Restart #89 #Var: 36 LB: 9663713283 @ 126.12
130.03	c Restart #90 #Var: 36 LB: 9663713283 @ 129.98
133.45	c Restart #91 #Var: 36 LB: 9663713283 @ 133.39
137.13	c Restart #92 #Var: 36 LB: 9663713283 @ 137.08
138.62	c Sol. found (all assignments made)...
138.62	c Sol. found (all assignments made)...
138.62	c Sol. found (all assignments made)...
138.62	c Sol. found (all assignments made)...
138.62	c Sol. found (all assignments made)...
138.63	c Sol. found (all assignments made)...
138.63	c Sol. found (all assignments made)...
138.64	c Sol. found (all assignments made)...
138.64	c Sol. found (all assignments made)...
138.64	c Sol. found (all assignments made)...
138.64	c Sol. found (all assignments made)...
138.64	c Sol. found (all assignments made)...
139.58	c Sol. found (all assignments made)...
139.59	c Sol. found (all assignments made)...
139.59	c Sol. found (all assignments made)...
139.59	c Sol. found (all assignments made)...
139.59	c Sol. found (all assignments made)...
139.61	c Sol. found (all assignments made)...
139.68	c Sol. found (all assignments made)...
139.68	c Sol. found (all assignments made)...
139.68	c Sol. found (all assignments made)...
139.68	c Sol. found (all assignments made)...
139.68	c Sol. found (all assignments made)...
139.68	c Sol. found (all assignments made)...
141.13	c Sol. found (all assignments made)...
141.14	c Sol. found (all assignments made)...
141.14	c Sol. found (all assignments made)...
141.14	c Sol. found (all assignments made)...
141.14	c Sol. found (all assignments made)...
141.14	c Sol. found (all assignments made)...
141.17	c Sol. found (all assignments made)...
141.18	c Sol. found (all assignments made)...
141.18	c Sol. found (all assignments made)...
141.18	c Sol. found (all assignments made)...
141.18	c Sol. found (all assignments made)...
141.18	c Sol. found (all assignments made)...
141.85	c Restart #93 #Var: 36 LB: 9663713283 @ 141.8
143.72	c Sol. found (all assignments made)...
143.72	c Sol. found (all assignments made)...
143.72	c Sol. found (all assignments made)...
143.72	c Sol. found (all assignments made)...
143.72	c Sol. found (all assignments made)...
143.73	c Sol. found (all assignments made)...
143.73	c Sol. found (all assignments made)...
143.73	c Sol. found (all assignments made)...
143.73	c Sol. found (all assignments made)...
143.73	c Sol. found (all assignments made)...
143.84	c Sol. found (all assignments made)...
143.84	c Sol. found (all assignments made)...
143.84	c Sol. found (all assignments made)...
143.84	c Sol. found (all assignments made)...
143.84	c Sol. found (all assignments made)...
143.85	c Sol. found (all assignments made)...
143.85	c Sol. found (all assignments made)...
143.85	c Sol. found (all assignments made)...
143.85	c Sol. found (all assignments made)...
143.85	c Sol. found (all assignments made)...
145.95	c Restart #94 #Var: 36 LB: 9663713283 @ 145.9
151.07	c Restart #95 #Var: 36 LB: 9663713283 @ 151.01
155.15	c Restart #96 #Var: 36 LB: 9663713283 @ 155.09
159.32	c Restart #97 #Var: 36 LB: 9663713283 @ 159.26
163.66	c Restart #98 #Var: 36 LB: 9663713283 @ 163.6
168.49	c Sol. found (all assignments made)...
168.75	c Sol. found (all assignments made)...
169.57	c Restart #99 #Var: 36 LB: 9663713283 @ 169.5
170.45	c Sol. found (all assignments made)...
170.45	c Sol. found (all assignments made)...
170.45	c Sol. found (all assignments made)...
170.45	c Sol. found (all assignments made)...
170.45	c Sol. found (all assignments made)...
170.82	c Sol. found (all assignments made)...
170.82	c Sol. found (all assignments made)...
170.82	c Sol. found (all assignments made)...
170.83	c Sol. found (all assignments made)...
170.83	c Sol. found (all assignments made)...
171.87	c Sol. found (all assignments made)...
171.87	c Sol. found (all assignments made)...
171.87	c Sol. found (all assignments made)...
171.87	c Sol. found (all assignments made)...
171.87	c Sol. found (all assignments made)...
172.37	c Sol. found (all assignments made)...
172.37	c Sol. found (all assignments made)...
172.37	c Sol. found (all assignments made)...
172.37	c Sol. found (all assignments made)...
172.37	c Sol. found (all assignments made)...
175.16	c Restart #100 #Var: 36 LB: 9663713283 @ 175.1
175.97	c Sol. found (all assignments made)...
176.33	c Sol. found (all assignments made)...
176.33	c Sol. found (all assignments made)...
176.33	c Sol. found (all assignments made)...
176.33	c Sol. found (all assignments made)...
178.83	c Sol. found (all assignments made)...
178.83	o 9663726644
178.83	c NEW SOLUTION FOUND: 9663726644 @ 178.77
178.83	c Sol. found (all assignments made)...
178.83	c Sol. found (all assignments made)...
178.83	o 9663726641
178.83	c NEW SOLUTION FOUND: 9663726641 @ 178.77
178.83	c Sol. found (all assignments made)...
178.83	o 9663726640
178.83	c NEW SOLUTION FOUND: 9663726640 @ 178.77
182.31	c Restart #101 #Var: 36 LB: 9663713283 @ 182.24
187.49	c Restart #102 #Var: 36 LB: 9663713283 @ 187.41
191.69	c Restart #103 #Var: 36 LB: 9663713283 @ 191.62
197.09	c Restart #104 #Var: 36 LB: 9663713283 @ 197.01
203.14	c Restart #105 #Var: 36 LB: 9663713283 @ 203.06
208.52	c Restart #106 #Var: 36 LB: 9663713283 @ 208.44
214.04	c Restart #107 #Var: 36 LB: 9663713283 @ 213.96
221.55	c Restart #108 #Var: 36 LB: 9663713283 @ 221.46
228.30	c Restart #109 #Var: 36 LB: 9663713283 @ 228.22
234.02	c Restart #110 #Var: 36 LB: 9663713283 @ 233.93
239.75	c Restart #111 #Var: 36 LB: 9663713283 @ 239.66
249.31	c Restart #112 #Var: 36 LB: 9663713283 @ 249.22
257.42	c Sol. found (all assignments made)...
257.42	o 9663726592
257.42	c NEW SOLUTION FOUND: 9663726592 @ 257.33
257.42	c Sol. found (all assignments made)...
268.33	c Restart #113 #Var: 36 LB: 9663713283 @ 268.23
275.87	c Restart #114 #Var: 36 LB: 9663713283 @ 275.77
282.61	c Restart #115 #Var: 36 LB: 9663713283 @ 282.51
289.28	c Restart #116 #Var: 36 LB: 9663713283 @ 289.18
298.31	c Restart #117 #Var: 36 LB: 9663713283 @ 298.21
301.47	c Sol. found (all assignments made)...
301.47	c Sol. found (all assignments made)...
301.47	c Sol. found (all assignments made)...
301.47	c Sol. found (all assignments made)...
301.47	c Sol. found (all assignments made)...
301.47	c Sol. found (all assignments made)...
301.47	c Sol. found (all assignments made)...
301.47	c Sol. found (all assignments made)...
301.50	c Sol. found (all assignments made)...
301.50	c Sol. found (all assignments made)...
301.50	c Sol. found (all assignments made)...
301.50	c Sol. found (all assignments made)...
301.50	c Sol. found (all assignments made)...
301.50	c Sol. found (all assignments made)...
301.50	c Sol. found (all assignments made)...
301.51	c Sol. found (all assignments made)...
301.79	c Sol. found (all assignments made)...
301.79	c Sol. found (all assignments made)...
301.79	c Sol. found (all assignments made)...
301.79	c Sol. found (all assignments made)...
301.79	c Sol. found (all assignments made)...
301.79	c Sol. found (all assignments made)...
301.79	c Sol. found (all assignments made)...
301.79	c Sol. found (all assignments made)...
301.83	c Sol. found (all assignments made)...
301.83	c Sol. found (all assignments made)...
301.83	c Sol. found (all assignments made)...
301.83	c Sol. found (all assignments made)...
301.83	c Sol. found (all assignments made)...
301.83	c Sol. found (all assignments made)...
301.83	c Sol. found (all assignments made)...
301.83	c Sol. found (all assignments made)...
302.45	c Sol. found (all assignments made)...
302.45	c Sol. found (all assignments made)...
302.45	c Sol. found (all assignments made)...
302.45	c Sol. found (all assignments made)...
302.45	c Sol. found (all assignments made)...
302.45	c Sol. found (all assignments made)...
302.46	c Sol. found (all assignments made)...
302.46	c Sol. found (all assignments made)...
302.50	c Sol. found (all assignments made)...
302.50	c Sol. found (all assignments made)...
302.50	c Sol. found (all assignments made)...
302.50	c Sol. found (all assignments made)...
302.50	c Sol. found (all assignments made)...
302.50	c Sol. found (all assignments made)...
302.50	c Sol. found (all assignments made)...
302.50	c Sol. found (all assignments made)...
302.53	c Sol. found (all assignments made)...
302.53	c Sol. found (all assignments made)...
302.53	c Sol. found (all assignments made)...
302.53	c Sol. found (all assignments made)...
302.53	c Sol. found (all assignments made)...
302.53	c Sol. found (all assignments made)...
302.53	c Sol. found (all assignments made)...
302.53	c Sol. found (all assignments made)...
302.55	c Sol. found (all assignments made)...
302.55	c Sol. found (all assignments made)...
302.55	c Sol. found (all assignments made)...
302.55	c Sol. found (all assignments made)...
302.55	c Sol. found (all assignments made)...
302.55	c Sol. found (all assignments made)...
302.55	c Sol. found (all assignments made)...
302.55	c Sol. found (all assignments made)...
304.47	c Sol. found (all assignments made)...
304.47	c Sol. found (all assignments made)...
304.47	c Sol. found (all assignments made)...
304.47	c Sol. found (all assignments made)...
304.47	c Sol. found (all assignments made)...
304.48	c Sol. found (all assignments made)...
304.48	c Sol. found (all assignments made)...
304.48	c Sol. found (all assignments made)...
304.48	c Sol. found (all assignments made)...
304.48	c Sol. found (all assignments made)...
304.57	c Sol. found (all assignments made)...
304.58	c Sol. found (all assignments made)...
306.10	c Restart #118 #Var: 36 LB: 9663713283 @ 305.99
317.38	c Restart #119 #Var: 36 LB: 9663713283 @ 317.26
320.81	c Sol. found (all assignments made)...
320.84	c Sol. found (all assignments made)...
320.84	c Sol. found (all assignments made)...
320.84	c Sol. found (all assignments made)...
320.85	c Sol. found (all assignments made)...
320.85	c Sol. found (all assignments made)...
320.95	c Sol. found (all assignments made)...
320.99	c Sol. found (all assignments made)...
320.99	c Sol. found (all assignments made)...
320.99	c Sol. found (all assignments made)...
321.00	c Sol. found (all assignments made)...
321.00	c Sol. found (all assignments made)...
330.71	c Restart #120 #Var: 35 LB: 9663713571 @ 330.59
335.67	c Sol. found (all assignments made)...
335.67	c Sol. found (all assignments made)...
335.67	c Sol. found (all assignments made)...
335.67	c Sol. found (all assignments made)...
335.67	c Sol. found (all assignments made)...
345.42	c Restart #121 #Var: 32 LB: 9663714219 @ 345.3
349.31	s OPTIMUM FOUND
349.31	c Cost: 9663726592
349.31	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28
349.31	v -x29 -x30 -x31 -x32 -x33 -x34 -x35 x36 -x37 x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54
349.31	v -x55 x56
349.31	c Exit Code: 30
349.31	c Total time: 349.19 s

Verifier Data (download as text)

OK	9663726592

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/node34/watcher-40623-1149309162 -o ROOT/results/node34/solver-40623-1149309162 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node34/40623-1149309162/instance-40623-1149309162.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.71 0.91 0.95 2/64 25836
/proc/meminfo: memFree=1454664/2055920 swapFree=4181356/4192956
[pid=25836] ppid=25834 vsize=3364 CPUtime=0
/proc/25836/stat : 25836 (bsolo) R 25834 25836 25790 0 -1 0 56 0 0 0 0 0 0 0 19 0 1 0 196580041 3444736 39 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 7723661 0 0 4096 0 0 0 0 17 1 0 0
/proc/25836/statm: 841 43 32 55 0 40 0

[startup+10.0021 s]
/proc/loadavg: 0.76 0.91 0.95 2/64 25836
/proc/meminfo: memFree=1344536/2055920 swapFree=4181356/4192956
[pid=25836] ppid=25834 vsize=115656 CPUtime=9.98
/proc/25836/stat : 25836 (bsolo) R 25834 25836 25790 0 -1 0 28219 0 0 0 979 19 0 0 25 0 1 0 196580041 118431744 27841 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25836/statm: 28914 27841 298 55 0 27806 0
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 115656

[startup+20.0078 s]
/proc/loadavg: 0.79 0.91 0.95 2/64 25836
/proc/meminfo: memFree=1279320/2055920 swapFree=4181356/4192956
[pid=25836] ppid=25834 vsize=181060 CPUtime=19.98
/proc/25836/stat : 25836 (bsolo) R 25834 25836 25790 0 -1 0 44584 0 0 0 1968 30 0 0 25 0 1 0 196580041 185405440 44101 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25836/statm: 45265 44101 298 55 0 44157 0
Current children cumulated CPU time (s) 19.98
Current children cumulated vsize (Kb) 181060

[startup+30.0145 s]
/proc/loadavg: 0.82 0.91 0.95 2/64 25836
/proc/meminfo: memFree=1212760/2055920 swapFree=4181356/4192956
[pid=25836] ppid=25834 vsize=248680 CPUtime=29.99
/proc/25836/stat : 25836 (bsolo) R 25834 25836 25790 0 -1 0 61983 0 0 0 2957 42 0 0 25 0 1 0 196580041 254648320 60710 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533599 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25836/statm: 62170 60710 298 55 0 61062 0
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 248680

[startup+40.0212 s]
/proc/loadavg: 0.85 0.92 0.95 2/64 25836
/proc/meminfo: memFree=1154968/2055920 swapFree=4181356/4192956
[pid=25836] ppid=25834 vsize=306096 CPUtime=39.99
/proc/25836/stat : 25836 (bsolo) R 25834 25836 25790 0 -1 0 76491 0 0 0 3948 51 0 0 25 0 1 0 196580041 313442304 75132 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534988 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25836/statm: 76524 75132 298 55 0 75416 0
Current children cumulated CPU time (s) 39.99
Current children cumulated vsize (Kb) 306096

[startup+50.0279 s]
/proc/loadavg: 0.87 0.92 0.95 2/64 25836
/proc/meminfo: memFree=1103192/2055920 swapFree=4181356/4192956
[pid=25836] ppid=25834 vsize=358756 CPUtime=49.99
/proc/25836/stat : 25836 (bsolo) R 25834 25836 25790 0 -1 0 89845 0 0 0 4940 59 0 0 25 0 1 0 196580041 367366144 88020 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25836/statm: 89689 88020 298 55 0 88581 0
Current children cumulated CPU time (s) 49.99
Current children cumulated vsize (Kb) 358756

[startup+60.0346 s]
/proc/loadavg: 0.89 0.92 0.95 2/64 25836
/proc/meminfo: memFree=1046808/2055920 swapFree=4181356/4192956
[pid=25836] ppid=25834 vsize=416792 CPUtime=59.99
/proc/25836/stat : 25836 (bsolo) R 25834 25836 25790 0 -1 0 105395 0 0 0 5931 68 0 0 25 0 1 0 196580041 426795008 102120 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25836/statm: 104198 102120 298 55 0 103090 0
Current children cumulated CPU time (s) 59.99
Current children cumulated vsize (Kb) 416792

[startup+70.0413 s]
/proc/loadavg: 0.91 0.92 0.95 2/64 25836
/proc/meminfo: memFree=998360/2055920 swapFree=4181356/4192956
[pid=25836] ppid=25834 vsize=464628 CPUtime=70
/proc/25836/stat : 25836 (bsolo) R 25834 25836 25790 0 -1 0 117484 0 0 0 6924 76 0 0 25 0 1 0 196580041 475779072 114205 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533838 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25836/statm: 116157 114205 298 55 0 115049 0
Current children cumulated CPU time (s) 70
Current children cumulated vsize (Kb) 464628

[startup+80.0479 s]
/proc/loadavg: 0.92 0.92 0.95 2/64 25836
/proc/meminfo: memFree=956120/2055920 swapFree=4181356/4192956
[pid=25836] ppid=25834 vsize=508072 CPUtime=80
/proc/25836/stat : 25836 (bsolo) R 25834 25836 25790 0 -1 0 128510 0 0 0 7917 83 0 0 25 0 1 0 196580041 520265728 124743 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25836/statm: 127018 124743 298 55 0 125910 0
Current children cumulated CPU time (s) 80
Current children cumulated vsize (Kb) 508072

[startup+90.0536 s]
/proc/loadavg: 0.93 0.93 0.95 2/64 25836
/proc/meminfo: memFree=923096/2055920 swapFree=4181356/4192956
[pid=25836] ppid=25834 vsize=540740 CPUtime=90
/proc/25836/stat : 25836 (bsolo) R 25834 25836 25790 0 -1 0 136747 0 0 0 8910 90 0 0 25 0 1 0 196580041 553717760 132978 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25836/statm: 135185 132978 298 55 0 134077 0
Current children cumulated CPU time (s) 90
Current children cumulated vsize (Kb) 540740

[startup+100.059 s]
/proc/loadavg: 0.94 0.93 0.95 2/64 25836
/proc/meminfo: memFree=879640/2055920 swapFree=4181356/4192956
[pid=25836] ppid=25834 vsize=585600 CPUtime=100
/proc/25836/stat : 25836 (bsolo) R 25834 25836 25790 0 -1 0 148308 0 0 0 9902 98 0 0 25 0 1 0 196580041 599654400 143811 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524309 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25836/statm: 146400 143811 298 55 0 145292 0
Current children cumulated CPU time (s) 100
Current children cumulated vsize (Kb) 585600

[startup+110.066 s]
/proc/loadavg: 0.95 0.93 0.95 2/64 25838
/proc/meminfo: memFree=841496/2055920 swapFree=4181356/4192956
[pid=25836] ppid=25834 vsize=623204 CPUtime=110.01
/proc/25836/stat : 25836 (bsolo) R 25834 25836 25790 0 -1 0 158007 0 0 0 10896 105 0 0 25 0 1 0 196580041 638160896 153348 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 8156795 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25836/statm: 155801 153348 298 55 0 154693 0
Current children cumulated CPU time (s) 110.01
Current children cumulated vsize (Kb) 623204

[startup+120.072 s]
/proc/loadavg: 0.96 0.93 0.95 2/64 25838
/proc/meminfo: memFree=810648/2055920 swapFree=4181356/4192956
[pid=25836] ppid=25834 vsize=654696 CPUtime=120.01
/proc/25836/stat : 25836 (bsolo) R 25834 25836 25790 0 -1 0 166179 0 0 0 11890 111 0 0 25 0 1 0 196580041 670408704 161036 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25836/statm: 163674 161036 298 55 0 162566 0
Current children cumulated CPU time (s) 120.01
Current children cumulated vsize (Kb) 654696

[startup+130.077 s]
/proc/loadavg: 0.96 0.93 0.95 2/64 25838
/proc/meminfo: memFree=772888/2055920 swapFree=4181356/4192956
[pid=25836] ppid=25834 vsize=692296 CPUtime=130.02
/proc/25836/stat : 25836 (bsolo) R 25834 25836 25790 0 -1 0 175753 0 0 0 12883 119 0 0 25 0 1 0 196580041 708911104 170448 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25836/statm: 173074 170448 298 55 0 171966 0
Current children cumulated CPU time (s) 130.02
Current children cumulated vsize (Kb) 692296

[startup+140.084 s]
/proc/loadavg: 0.97 0.94 0.95 2/64 25838
/proc/meminfo: memFree=735960/2055920 swapFree=4181356/4192956
[pid=25836] ppid=25834 vsize=728068 CPUtime=140.02
/proc/25836/stat : 25836 (bsolo) R 25834 25836 25790 0 -1 0 184972 0 0 0 13877 125 0 0 25 0 1 0 196580041 745541632 179667 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25836/statm: 182017 179667 298 55 0 180909 0
Current children cumulated CPU time (s) 140.02
Current children cumulated vsize (Kb) 728068

[startup+150.091 s]
/proc/loadavg: 0.97 0.94 0.95 2/64 25838
/proc/meminfo: memFree=703128/2055920 swapFree=4181356/4192956
[pid=25836] ppid=25834 vsize=761488 CPUtime=150.02
/proc/25836/stat : 25836 (bsolo) R 25834 25836 25790 0 -1 0 193496 0 0 0 14871 131 0 0 25 0 1 0 196580041 779763712 187860 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524328 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25836/statm: 190372 187860 298 55 0 189264 0
Current children cumulated CPU time (s) 150.02
Current children cumulated vsize (Kb) 761488

[startup+160.096 s]
/proc/loadavg: 0.98 0.94 0.95 2/64 25838
/proc/meminfo: memFree=664408/2055920 swapFree=4181356/4192956
[pid=25836] ppid=25834 vsize=802936 CPUtime=160.03
/proc/25836/stat : 25836 (bsolo) R 25834 25836 25790 0 -1 0 205806 0 0 0 15864 139 0 0 25 0 1 0 196580041 822206464 197520 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25836/statm: 200734 197520 298 55 0 199626 0
Current children cumulated CPU time (s) 160.03
Current children cumulated vsize (Kb) 802936

[startup+170.102 s]
/proc/loadavg: 0.98 0.94 0.95 2/64 25838
/proc/meminfo: memFree=634776/2055920 swapFree=4181356/4192956
[pid=25836] ppid=25834 vsize=832244 CPUtime=170.03
/proc/25836/stat : 25836 (bsolo) R 25834 25836 25790 0 -1 0 213187 0 0 0 16859 144 0 0 25 0 1 0 196580041 852217856 204901 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25836/statm: 208061 204901 298 55 0 206953 0
Current children cumulated CPU time (s) 170.03
Current children cumulated vsize (Kb) 832244

[startup+180.108 s]
/proc/loadavg: 0.98 0.94 0.95 2/64 25838
/proc/meminfo: memFree=601560/2055920 swapFree=4181356/4192956
[pid=25836] ppid=25834 vsize=865148 CPUtime=180.03
/proc/25836/stat : 25836 (bsolo) R 25834 25836 25790 0 -1 0 221497 0 0 0 17853 150 0 0 25 0 1 0 196580041 885911552 213208 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25836/statm: 216287 213208 298 55 0 215179 0
Current children cumulated CPU time (s) 180.03
Current children cumulated vsize (Kb) 865148

[startup+190.114 s]
/proc/loadavg: 0.98 0.94 0.95 2/64 25838
/proc/meminfo: memFree=569304/2055920 swapFree=4181356/4192956
[pid=25836] ppid=25834 vsize=899392 CPUtime=190.04
/proc/25836/stat : 25836 (bsolo) R 25834 25836 25790 0 -1 0 230192 0 0 0 18848 156 0 0 25 0 1 0 196580041 920977408 221259 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25836/statm: 224848 221259 298 55 0 223740 0
Current children cumulated CPU time (s) 190.04
Current children cumulated vsize (Kb) 899392

[startup+200.119 s]
/proc/loadavg: 0.99 0.94 0.95 2/64 25838
/proc/meminfo: memFree=539672/2055920 swapFree=4181356/4192956
[pid=25836] ppid=25834 vsize=928696 CPUtime=200.03
/proc/25836/stat : 25836 (bsolo) R 25834 25836 25790 0 -1 0 237585 0 0 0 19843 160 0 0 25 0 1 0 196580041 950984704 228652 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25836/statm: 232174 228652 298 55 0 231066 0
Current children cumulated CPU time (s) 200.03
Current children cumulated vsize (Kb) 928696

[startup+210.125 s]
/proc/loadavg: 0.99 0.95 0.95 2/64 25838
/proc/meminfo: memFree=510744/2055920 swapFree=4181356/4192956
[pid=25836] ppid=25834 vsize=957340 CPUtime=210.03
/proc/25836/stat : 25836 (bsolo) R 25834 25836 25790 0 -1 0 244799 0 0 0 20838 165 0 0 25 0 1 0 196580041 980316160 235866 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533902 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25836/statm: 239335 235866 298 55 0 238227 0
Current children cumulated CPU time (s) 210.03
Current children cumulated vsize (Kb) 957340

[startup+220.131 s]
/proc/loadavg: 0.99 0.95 0.95 2/64 25838
/proc/meminfo: memFree=485592/2055920 swapFree=4181356/4192956
[pid=25836] ppid=25834 vsize=982424 CPUtime=220.04
/proc/25836/stat : 25836 (bsolo) R 25834 25836 25790 0 -1 0 251072 0 0 0 21834 170 0 0 25 0 1 0 196580041 1006002176 242139 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25836/statm: 245606 242139 298 55 0 244498 0
Current children cumulated CPU time (s) 220.04
Current children cumulated vsize (Kb) 982424

[startup+230.136 s]
/proc/loadavg: 0.99 0.95 0.95 2/64 25838
/proc/meminfo: memFree=462104/2055920 swapFree=4181356/4192956
[pid=25836] ppid=25834 vsize=1005060 CPUtime=230.05
/proc/25836/stat : 25836 (bsolo) R 25834 25836 25790 0 -1 0 256935 0 0 0 22830 175 0 0 25 0 1 0 196580041 1029181440 247996 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25836/statm: 251265 247996 298 55 0 250157 0
Current children cumulated CPU time (s) 230.05
Current children cumulated vsize (Kb) 1005060

[startup+240.142 s]
/proc/loadavg: 0.99 0.95 0.95 2/64 25838
/proc/meminfo: memFree=431896/2055920 swapFree=4181356/4192956
[pid=25836] ppid=25834 vsize=1034632 CPUtime=240.04
/proc/25836/stat : 25836 (bsolo) R 25834 25836 25790 0 -1 0 264476 0 0 0 23824 180 0 0 25 0 1 0 196580041 1059463168 255537 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548598 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25836/statm: 258658 255537 298 55 0 257550 0
Current children cumulated CPU time (s) 240.04
Current children cumulated vsize (Kb) 1034632

[startup+250.148 s]
/proc/loadavg: 0.99 0.95 0.95 2/64 25838
/proc/meminfo: memFree=414936/2055920 swapFree=4181356/4192956
[pid=25836] ppid=25834 vsize=1051528 CPUtime=250.05
/proc/25836/stat : 25836 (bsolo) R 25834 25836 25790 0 -1 0 268693 0 0 0 24822 183 0 0 25 0 1 0 196580041 1076764672 259754 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25836/statm: 262882 259754 298 55 0 261774 0
Current children cumulated CPU time (s) 250.05
Current children cumulated vsize (Kb) 1051528

[startup+260.153 s]
/proc/loadavg: 0.99 0.95 0.95 2/64 25838
/proc/meminfo: memFree=398104/2055920 swapFree=4181356/4192956
[pid=25836] ppid=25834 vsize=1068292 CPUtime=260.05
/proc/25836/stat : 25836 (bsolo) R 25834 25836 25790 0 -1 0 272900 0 0 0 25819 186 0 0 25 0 1 0 196580041 1093931008 263961 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25836/statm: 267073 263961 298 55 0 265965 0
Current children cumulated CPU time (s) 260.05
Current children cumulated vsize (Kb) 1068292

[startup+270.159 s]
/proc/loadavg: 0.99 0.95 0.95 2/64 25838
/proc/meminfo: memFree=385368/2055920 swapFree=4181356/4192956
[pid=25836] ppid=25834 vsize=1082204 CPUtime=270.05
/proc/25836/stat : 25836 (bsolo) R 25834 25836 25790 0 -1 0 276711 0 0 0 26817 188 0 0 25 0 1 0 196580041 1108176896 267130 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548598 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25836/statm: 270551 267130 298 55 0 269443 0
Current children cumulated CPU time (s) 270.05
Current children cumulated vsize (Kb) 1082204

[startup+280.165 s]
/proc/loadavg: 0.99 0.95 0.95 2/64 25838
/proc/meminfo: memFree=356312/2055920 swapFree=4181356/4192956
[pid=25836] ppid=25834 vsize=1111996 CPUtime=280.05
/proc/25836/stat : 25836 (bsolo) R 25834 25836 25790 0 -1 0 284293 0 0 0 27811 194 0 0 25 0 1 0 196580041 1138683904 274390 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25836/statm: 277999 274390 298 55 0 276891 0
Current children cumulated CPU time (s) 280.05
Current children cumulated vsize (Kb) 1111996

[startup+290.171 s]
/proc/loadavg: 0.99 0.95 0.95 2/64 25838
/proc/meminfo: memFree=332504/2055920 swapFree=4181356/4192956
[pid=25836] ppid=25834 vsize=1138408 CPUtime=290.05
/proc/25836/stat : 25836 (bsolo) R 25834 25836 25790 0 -1 0 291190 0 0 0 28806 199 0 0 25 0 1 0 196580041 1165729792 280323 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534127 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25836/statm: 284602 280323 298 55 0 283494 0
Current children cumulated CPU time (s) 290.05
Current children cumulated vsize (Kb) 1138408

[startup+300.176 s]
/proc/loadavg: 0.99 0.95 0.95 2/64 25838
/proc/meminfo: memFree=313112/2055920 swapFree=4181356/4192956
[pid=25836] ppid=25834 vsize=1157292 CPUtime=300.06
/proc/25836/stat : 25836 (bsolo) R 25834 25836 25790 0 -1 0 296020 0 0 0 29804 202 0 0 25 0 1 0 196580041 1185067008 285153 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534063 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25836/statm: 289323 285153 298 55 0 288215 0
Current children cumulated CPU time (s) 300.06
Current children cumulated vsize (Kb) 1157292

[startup+310.182 s]
/proc/loadavg: 0.99 0.96 0.95 2/64 25838
/proc/meminfo: memFree=287128/2055920 swapFree=4181356/4192956
[pid=25836] ppid=25834 vsize=1182640 CPUtime=310.06
/proc/25836/stat : 25836 (bsolo) R 25834 25836 25790 0 -1 0 302514 0 0 0 30799 207 0 0 25 0 1 0 196580041 1211023360 291647 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534116 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25836/statm: 295660 291647 298 55 0 294552 0
Current children cumulated CPU time (s) 310.06
Current children cumulated vsize (Kb) 1182640

[startup+320.188 s]
/proc/loadavg: 0.99 0.96 0.95 2/64 25838
/proc/meminfo: memFree=276312/2055920 swapFree=4181356/4192956
[pid=25836] ppid=25834 vsize=1193556 CPUtime=320.06
/proc/25836/stat : 25836 (bsolo) R 25834 25836 25790 0 -1 0 305525 0 0 0 31798 208 0 0 25 0 1 0 196580041 1222201344 294336 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25836/statm: 298389 294336 298 55 0 297281 0
Current children cumulated CPU time (s) 320.06
Current children cumulated vsize (Kb) 1193556

[startup+330.193 s]
/proc/loadavg: 0.99 0.96 0.95 2/64 25838
/proc/meminfo: memFree=259096/2055920 swapFree=4181356/4192956
[pid=25836] ppid=25834 vsize=1210720 CPUtime=330.07
/proc/25836/stat : 25836 (bsolo) R 25834 25836 25790 0 -1 0 309820 0 0 0 32796 211 0 0 25 0 1 0 196580041 1239777280 298631 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25836/statm: 302680 298631 298 55 0 301572 0
Current children cumulated CPU time (s) 330.07
Current children cumulated vsize (Kb) 1210720

[startup+340.199 s]
/proc/loadavg: 0.99 0.96 0.95 2/64 25838
/proc/meminfo: memFree=247704/2055920 swapFree=4181356/4192956
[pid=25836] ppid=25834 vsize=1222072 CPUtime=340.07
/proc/25836/stat : 25836 (bsolo) R 25834 25836 25790 0 -1 0 312670 0 0 0 33794 213 0 0 25 0 1 0 196580041 1251401728 301481 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548598 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25836/statm: 305518 301481 298 55 0 304410 0
Current children cumulated CPU time (s) 340.07
Current children cumulated vsize (Kb) 1222072

Child status: 30
Real time (s): 349.507
CPU time (s): 349.38
CPU user time (s): 347.018
CPU system time (s): 2.36164
CPU usage (%): 99.9637
Max. virtual memory (cumulated for all children) (Kb): 1222072

Launcher Data (download as text)

Begin job on node34 on Sat Jun  3 04:32:42 UTC 2006


FILE ID= 40623-1149309162

PBS_JOBID= 307804

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/www.csit.fsu.edu/~burkardt/datasets/mps/normalized-mps-v2-20-10-testprob.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node34/40623-1149309162/instance-40623-1149309162.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node34/watcher-40623-1149309162 -o ROOT/results/node34/solver-40623-1149309162 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node34/40623-1149309162/instance-40623-1149309162.opb

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  24c749e45d4bbd6a8ec98f3e49fb7aad

RANDOM SEED= 483076147


/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.277
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.277
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:       1455000 kB
Buffers:         24984 kB
Cached:         503388 kB
SwapCached:       3524 kB
Active:          33892 kB
Inactive:       503360 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1455000 kB
SwapTotal:     4192956 kB
SwapFree:      4181356 kB
Dirty:             316 kB
Writeback:           0 kB
Mapped:          14900 kB
Slab:            49664 kB
Committed_AS:   328592 kB
PageTables:       1416 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node34 on Sat Jun  3 04:38:32 UTC 2006