Trace number 40702

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.01 1800.78

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-adlittle.opb
MD5SUM952cd1c498d347dda37d376c7740481e
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 variables2910
Total number of constraints56
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 constraints56
Minimum length of a constraint30
Maximum length of a constraint810
Number of terms in the objective function 2460
Biggest coefficient in the objective function 88852135936000
Number of bits for the biggest coefficient in the objective function 47
Sum of the numbers in the objective function 3689448844530141
Number of bits of the sum of numbers in the objective function 52
Biggest number in a constraint 359703511040000
Number of bits of the biggest number in a constraint 49
Biggest sum of numbers in a constraint 6054438712178314
Number of bits of the biggest sum of numbers53
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.03	c INFO: OSL Context initialized.
0.03	c BIG Int formula...
0.11	c Initial problem consists of 2910 variables and 70 constraints.
0.12	c	preprocess terminated. Elapsed time: 0.092
0.12	c After prepocess the problem consists of 1331 variables and 67 constraints.
0.12	c Initial Lower Bound: -28620852450
0.56	c Restart #1 #Var: 1331 LB: -28620852450 @ 0.539
1.32	c Restart #2 #Var: 1331 LB: -28620852450 @ 1.293
2.39	c Restart #3 #Var: 1331 LB: -28620852450 @ 2.362
3.73	c Restart #4 #Var: 1331 LB: -28620852450 @ 3.707
5.43	c Restart #5 #Var: 1331 LB: -28620852450 @ 5.401
7.37	c Restart #6 #Var: 1331 LB: -28620852450 @ 7.337
9.60	c Restart #7 #Var: 1331 LB: -28620852450 @ 9.571
12.21	c Restart #8 #Var: 1331 LB: -28620852450 @ 12.176
14.59	c Restart #9 #Var: 1331 LB: -28620852450 @ 14.559
16.84	c Restart #10 #Var: 1331 LB: -28620852450 @ 16.806
18.11	c Restart #11 #Var: 1331 LB: -28620852450 @ 18.081
19.05	c Restart #12 #Var: 1331 LB: -28620852450 @ 19.015
20.48	c Restart #13 #Var: 1331 LB: -28620852450 @ 20.443
21.39	c Restart #14 #Var: 1331 LB: -28620852450 @ 21.352
23.03	c Restart #15 #Var: 1331 LB: -28620852450 @ 22.999
24.39	c Restart #16 #Var: 1331 LB: -28620852450 @ 24.351
25.82	c Restart #17 #Var: 1331 LB: -28620852450 @ 25.789
27.58	c Restart #18 #Var: 1331 LB: -28620852450 @ 27.544
29.26	c Restart #19 #Var: 1331 LB: -28620852450 @ 29.227
31.88	c Restart #20 #Var: 1331 LB: -28620852450 @ 31.843
33.70	c Restart #21 #Var: 1331 LB: -28620852450 @ 33.663
35.47	c Restart #22 #Var: 1331 LB: -28620852450 @ 35.433
37.11	c Restart #23 #Var: 1331 LB: -28620852450 @ 37.074
39.31	c Restart #24 #Var: 1331 LB: -28620852450 @ 39.271
41.58	c Restart #25 #Var: 1331 LB: -28620852450 @ 41.541
43.80	c Restart #26 #Var: 1331 LB: -28620852450 @ 43.756
45.86	c Restart #27 #Var: 1331 LB: -28620852450 @ 45.82
48.65	c Restart #28 #Var: 1331 LB: -28620852450 @ 48.603
51.05	c Restart #29 #Var: 1331 LB: -28620852450 @ 51.006
53.21	c Restart #30 #Var: 1331 LB: -28620852450 @ 53.165
55.46	c Restart #31 #Var: 1331 LB: -28620852450 @ 55.412
60.23	c Restart #32 #Var: 1331 LB: -28620852450 @ 60.181
64.09	c Restart #33 #Var: 1331 LB: -28620852450 @ 64.046
67.41	c Restart #34 #Var: 1331 LB: -28620852450 @ 67.36
70.82	c Restart #35 #Var: 1331 LB: -28620852450 @ 70.765
74.00	c Restart #36 #Var: 1331 LB: -28620852450 @ 73.95
77.97	c Restart #37 #Var: 1331 LB: -28620852450 @ 77.913
81.30	c Restart #38 #Var: 1331 LB: -28620852450 @ 81.249
84.96	c Restart #39 #Var: 1331 LB: -28620852450 @ 84.902
89.16	c Restart #40 #Var: 1331 LB: -28620852450 @ 89.098
93.04	c Restart #41 #Var: 1331 LB: -28620852450 @ 92.976
98.30	c Restart #42 #Var: 1331 LB: -28620852450 @ 98.243
102.70	c Restart #43 #Var: 1331 LB: -28620852450 @ 102.64
107.00	c Restart #44 #Var: 1331 LB: -28620852450 @ 106.94
109.88	c Restart #45 #Var: 1331 LB: -28620852450 @ 109.81
112.29	c Restart #46 #Var: 1331 LB: -28620852450 @ 112.23
115.10	c Restart #47 #Var: 1331 LB: -28620852450 @ 115.03
117.57	c Restart #48 #Var: 1331 LB: -28620852450 @ 117.5
121.05	c Restart #49 #Var: 1331 LB: -28620852450 @ 120.98
123.76	c Restart #50 #Var: 1331 LB: -28620852450 @ 123.69
128.69	c Restart #51 #Var: 1331 LB: -28620852450 @ 128.62
131.74	c Restart #52 #Var: 1331 LB: -28620852450 @ 131.66
135.06	c Restart #53 #Var: 1331 LB: -28620852450 @ 134.99
142.40	c Restart #54 #Var: 1331 LB: -28620852450 @ 142.32
145.29	c Restart #55 #Var: 1331 LB: -28620852450 @ 145.21
148.33	c Restart #56 #Var: 1331 LB: -28620852450 @ 148.25
151.72	c Restart #57 #Var: 1331 LB: -28620852450 @ 151.64
154.85	c Restart #58 #Var: 1331 LB: -28620852450 @ 154.76
158.54	c Restart #59 #Var: 1331 LB: -28620852450 @ 158.46
163.54	c Restart #60 #Var: 1331 LB: -28620852450 @ 163.45
166.85	c Restart #61 #Var: 1331 LB: -28620852450 @ 166.76
170.38	c Restart #62 #Var: 1331 LB: -28620852450 @ 170.29
176.82	c Restart #63 #Var: 1331 LB: -28620852450 @ 176.73
181.44	c Restart #64 #Var: 1331 LB: -28620852450 @ 181.35
185.01	c Restart #65 #Var: 1331 LB: -28620852450 @ 184.92
188.71	c Restart #66 #Var: 1331 LB: -28620852450 @ 188.61
192.41	c Restart #67 #Var: 1331 LB: -28620852450 @ 192.31
196.39	c Restart #68 #Var: 1331 LB: -28620852450 @ 196.29
201.23	c Restart #69 #Var: 1331 LB: -28620852450 @ 201.13
205.32	c Restart #70 #Var: 1331 LB: -28620852450 @ 205.22
212.50	c Restart #71 #Var: 1331 LB: -28620852450 @ 212.39
218.45	c Restart #72 #Var: 1331 LB: -28620852450 @ 218.35
222.86	c Restart #73 #Var: 1331 LB: -28620852450 @ 222.75
226.81	c Restart #74 #Var: 1331 LB: -28620852450 @ 226.71
230.85	c Restart #75 #Var: 1331 LB: -28620852450 @ 230.74
237.45	c Restart #76 #Var: 1331 LB: -28620852450 @ 237.33
241.76	c Restart #77 #Var: 1331 LB: -28620852450 @ 241.65
250.43	c Restart #78 #Var: 1331 LB: -28620852450 @ 250.31
255.42	c Restart #79 #Var: 1331 LB: -28620852450 @ 255.3
259.99	c Restart #80 #Var: 1331 LB: -28620852450 @ 259.87
265.21	c Restart #81 #Var: 1331 LB: -28620852450 @ 265.08
279.25	c Restart #82 #Var: 1331 LB: -28620852450 @ 279.12
284.37	c Restart #83 #Var: 1331 LB: -28620852450 @ 284.24
293.05	c Restart #84 #Var: 1331 LB: -28620852450 @ 292.92
298.02	c Restart #85 #Var: 1331 LB: -28620852450 @ 297.88
305.43	c Restart #86 #Var: 1331 LB: -28620852450 @ 305.29
310.31	c Restart #87 #Var: 1331 LB: -28620852450 @ 310.17
318.00	c Restart #88 #Var: 1331 LB: -28620852450 @ 317.86
323.83	c Restart #89 #Var: 1331 LB: -28620852450 @ 323.68
328.77	c Restart #90 #Var: 1331 LB: -28620852450 @ 328.62
333.93	c Restart #91 #Var: 1331 LB: -28620852450 @ 333.78
344.05	c Restart #92 #Var: 1331 LB: -28620852450 @ 343.89
349.33	c Restart #93 #Var: 1331 LB: -28620852450 @ 349.18
359.79	c Restart #94 #Var: 1331 LB: -28620852450 @ 359.63
365.00	c Restart #95 #Var: 1331 LB: -28620852450 @ 364.84
372.76	c Restart #96 #Var: 1331 LB: -28620852450 @ 372.6
379.29	c Restart #97 #Var: 1331 LB: -28620852450 @ 379.12
384.51	c Restart #98 #Var: 1331 LB: -28620852450 @ 384.34
390.50	c Restart #99 #Var: 1331 LB: -28620852450 @ 390.33
397.51	c Restart #100 #Var: 1331 LB: -28620852450 @ 397.34
403.07	c Restart #101 #Var: 1331 LB: -28620852450 @ 402.89
412.40	c Restart #102 #Var: 1331 LB: -28620852450 @ 412.23
418.32	c Restart #103 #Var: 1331 LB: -28620852450 @ 418.14
427.38	c Restart #104 #Var: 1331 LB: -28620852450 @ 427.19
433.36	c Restart #105 #Var: 1331 LB: -28620852450 @ 433.17
439.21	c Restart #106 #Var: 1331 LB: -28620852450 @ 439.03
446.97	c Restart #107 #Var: 1331 LB: -28620852450 @ 446.78
455.59	c Restart #108 #Var: 1331 LB: -28620852450 @ 455.4
462.04	c Restart #109 #Var: 1331 LB: -28620852450 @ 461.85
470.63	c Restart #110 #Var: 1331 LB: -28620852450 @ 470.44
476.88	c Restart #111 #Var: 1331 LB: -28620852450 @ 476.68
484.06	c Restart #112 #Var: 1331 LB: -28620852450 @ 483.86
491.33	c Restart #113 #Var: 1331 LB: -28620852450 @ 491.12
497.75	c Restart #114 #Var: 1331 LB: -28620852450 @ 497.55
508.27	c Restart #115 #Var: 1331 LB: -28620852450 @ 508.06
514.38	c Restart #116 #Var: 1331 LB: -28620852450 @ 514.17
521.59	c Restart #117 #Var: 1331 LB: -28620852450 @ 521.38
529.16	c Restart #118 #Var: 1331 LB: -28620852450 @ 528.95
535.62	c Restart #119 #Var: 1331 LB: -28620852450 @ 535.4
542.30	c Restart #120 #Var: 1331 LB: -28620852450 @ 542.08
549.65	c Restart #121 #Var: 1331 LB: -28620852450 @ 549.43
556.19	c Restart #122 #Var: 1331 LB: -28620852450 @ 555.96
566.59	c Restart #123 #Var: 1331 LB: -28620852450 @ 566.36
573.78	c Restart #124 #Var: 1331 LB: -28620852450 @ 573.54
581.11	c Restart #125 #Var: 1331 LB: -28620852450 @ 580.87
587.77	c Restart #126 #Var: 1331 LB: -28620852450 @ 587.53
598.28	c Restart #127 #Var: 1331 LB: -28620852450 @ 598.04
606.58	c Restart #128 #Var: 1331 LB: -28620852450 @ 606.34
613.81	c Restart #129 #Var: 1331 LB: -28620852450 @ 613.56
626.39	c Restart #130 #Var: 1331 LB: -28620852450 @ 626.14
637.23	c Restart #131 #Var: 1331 LB: -28620852450 @ 636.97
670.35	c Restart #132 #Var: 1331 LB: -28620852450 @ 670.08
677.83	c Restart #133 #Var: 1331 LB: -28620852450 @ 677.56
691.50	c Restart #134 #Var: 1331 LB: -28620852450 @ 691.22
699.36	c Restart #135 #Var: 1331 LB: -28620852450 @ 699.08
711.10	c Restart #136 #Var: 1331 LB: -28620852450 @ 710.82
719.07	c Restart #137 #Var: 1331 LB: -28620852450 @ 718.79
729.48	c Restart #138 #Var: 1331 LB: -28620852450 @ 729.2
736.84	c Restart #139 #Var: 1331 LB: -28620852450 @ 736.55
748.49	c Restart #140 #Var: 1331 LB: -28620852450 @ 748.19
757.50	c Restart #141 #Var: 1331 LB: -28620852450 @ 757.2
765.35	c Restart #142 #Var: 1331 LB: -28620852450 @ 765.05
775.63	c Restart #143 #Var: 1331 LB: -28620852450 @ 775.33
783.64	c Restart #144 #Var: 1331 LB: -28620852450 @ 783.33
793.72	c Restart #145 #Var: 1331 LB: -28620852450 @ 793.41
801.81	c Restart #146 #Var: 1331 LB: -28620852450 @ 801.49
810.20	c Restart #147 #Var: 1331 LB: -28620852450 @ 809.89
818.94	c Restart #148 #Var: 1331 LB: -28620852450 @ 818.62
828.26	c Restart #149 #Var: 1331 LB: -28620852450 @ 827.93
840.07	c Restart #150 #Var: 1331 LB: -28620852450 @ 839.74
851.11	c Restart #151 #Var: 1331 LB: -28620852450 @ 850.78
861.55	c Restart #152 #Var: 1331 LB: -28620852450 @ 861.22
871.28	c Restart #153 #Var: 1331 LB: -28620852450 @ 870.94
879.98	c Restart #154 #Var: 1331 LB: -28620852450 @ 879.64
894.61	c Restart #155 #Var: 1331 LB: -28620852450 @ 894.26
902.94	c CHANGE Heuristic... 
902.94	c Restart #0 #Var: 1331 LB: -28620852450 @ 902.59
904.34	c Restart #1 #Var: 1331 LB: -28620852450 @ 903.99
904.79	c Restart #2 #Var: 1331 LB: -28620852450 @ 904.44
905.26	c Restart #3 #Var: 1331 LB: -28620852450 @ 904.91
905.74	c Restart #4 #Var: 1331 LB: -28620852450 @ 905.39
906.37	c Restart #5 #Var: 1331 LB: -28620852450 @ 906.02
906.89	c Restart #6 #Var: 1331 LB: -28620852450 @ 906.54
907.96	c Restart #7 #Var: 1331 LB: -28620852450 @ 907.61
908.99	c Restart #8 #Var: 1331 LB: -28620852450 @ 908.64
910.21	c Restart #9 #Var: 1331 LB: -28620852450 @ 909.86
911.18	c Restart #10 #Var: 1331 LB: -28620852450 @ 910.83
912.32	c Restart #11 #Var: 1331 LB: -28620852450 @ 911.97
913.76	c Restart #12 #Var: 1331 LB: -28620852450 @ 913.41
915.27	c Restart #13 #Var: 1331 LB: -28620852450 @ 914.92
916.63	c Restart #14 #Var: 1331 LB: -28620852450 @ 916.28
918.81	c Restart #15 #Var: 1331 LB: -28620852450 @ 918.46
920.02	c Restart #16 #Var: 1331 LB: -28620852450 @ 919.66
922.92	c Restart #17 #Var: 1331 LB: -28620852450 @ 922.56
924.70	c Restart #18 #Var: 1331 LB: -28620852450 @ 924.34
928.25	c Restart #19 #Var: 1331 LB: -28620852450 @ 927.89
930.08	c Restart #20 #Var: 1331 LB: -28620852450 @ 929.72
933.18	c Restart #21 #Var: 1331 LB: -28620852450 @ 932.82
934.72	c Restart #22 #Var: 1331 LB: -28620852450 @ 934.36
937.27	c Restart #23 #Var: 1331 LB: -28620852450 @ 936.91
941.63	c Restart #24 #Var: 1331 LB: -28620852450 @ 941.27
945.23	c Restart #25 #Var: 1331 LB: -28620852450 @ 944.87
953.63	c Restart #26 #Var: 1331 LB: -28620852450 @ 953.26
956.31	c Restart #27 #Var: 1331 LB: -28620852450 @ 955.94
958.22	c Restart #28 #Var: 1331 LB: -28620852450 @ 957.85
960.15	c Restart #29 #Var: 1331 LB: -28620852450 @ 959.78
962.42	c Restart #30 #Var: 1331 LB: -28620852450 @ 962.05
965.21	c Restart #31 #Var: 1331 LB: -28620852450 @ 964.84
967.05	c Restart #32 #Var: 1331 LB: -28620852450 @ 966.68
969.32	c Restart #33 #Var: 1331 LB: -28620852450 @ 968.94
972.33	c Restart #34 #Var: 1331 LB: -28620852450 @ 971.96
974.80	c Restart #35 #Var: 1331 LB: -28620852450 @ 974.42
977.73	c Restart #36 #Var: 1331 LB: -28620852450 @ 977.35
980.11	c Restart #37 #Var: 1331 LB: -28620852450 @ 979.73
982.67	c Restart #38 #Var: 1331 LB: -28620852450 @ 982.29
985.32	c Restart #39 #Var: 1331 LB: -28620852450 @ 984.94
987.87	c Restart #40 #Var: 1331 LB: -28620852450 @ 987.49
992.29	c Restart #41 #Var: 1331 LB: -28620852450 @ 991.91
995.83	c Restart #42 #Var: 1331 LB: -28620852450 @ 995.44
999.71	c Restart #43 #Var: 1331 LB: -28620852450 @ 999.32
1002.45	c Restart #44 #Var: 1331 LB: -28620852450 @ 1002.1
1005.61	c Restart #45 #Var: 1331 LB: -28620852450 @ 1005.2
1009.38	c Restart #46 #Var: 1331 LB: -28620852450 @ 1009
1012.68	c Restart #47 #Var: 1331 LB: -28620852450 @ 1012.3
1016.00	c Restart #48 #Var: 1331 LB: -28620852450 @ 1015.6
1020.60	c Restart #49 #Var: 1331 LB: -28620852450 @ 1020.2
1023.67	c Restart #50 #Var: 1331 LB: -28620852450 @ 1023.3
1027.84	c Restart #51 #Var: 1331 LB: -28620852450 @ 1027.5
1031.14	c Restart #52 #Var: 1331 LB: -28620852450 @ 1030.7
1034.92	c Restart #53 #Var: 1331 LB: -28620852450 @ 1034.5
1039.38	c Restart #54 #Var: 1331 LB: -28620852450 @ 1039
1044.27	c Restart #55 #Var: 1331 LB: -28620852450 @ 1043.9
1048.17	c Restart #56 #Var: 1331 LB: -28620852450 @ 1047.8
1052.70	c Restart #57 #Var: 1331 LB: -28620852450 @ 1052.3
1057.86	c Restart #58 #Var: 1331 LB: -28620852450 @ 1057.5
1064.10	c Restart #59 #Var: 1331 LB: -28620852450 @ 1063.7
1069.01	c Restart #60 #Var: 1331 LB: -28620852450 @ 1068.6
1072.71	c Restart #61 #Var: 1331 LB: -28620852450 @ 1072.3
1078.02	c Restart #62 #Var: 1331 LB: -28620852450 @ 1077.6
1082.96	c Restart #63 #Var: 1331 LB: -28620852450 @ 1082.5
1088.06	c Restart #64 #Var: 1331 LB: -28620852450 @ 1087.6
1092.32	c Restart #65 #Var: 1331 LB: -28620852450 @ 1091.9
1096.40	c Restart #66 #Var: 1331 LB: -28620852450 @ 1096
1103.39	c Restart #67 #Var: 1331 LB: -28620852450 @ 1103
1107.66	c Restart #68 #Var: 1331 LB: -28620852450 @ 1107.2
1113.02	c Restart #69 #Var: 1331 LB: -28620852450 @ 1112.6
1119.00	c Restart #70 #Var: 1331 LB: -28620852450 @ 1118.6
1124.48	c Restart #71 #Var: 1331 LB: -28620852450 @ 1124.1
1130.38	c Restart #72 #Var: 1331 LB: -28620852450 @ 1130
1135.33	c Restart #73 #Var: 1331 LB: -28620852450 @ 1134.9
1139.90	c Restart #74 #Var: 1331 LB: -28620852450 @ 1139.5
1147.66	c Restart #75 #Var: 1331 LB: -28620852450 @ 1147.2
1152.71	c Restart #76 #Var: 1331 LB: -28620852450 @ 1152.3
1157.55	c Restart #77 #Var: 1331 LB: -28620852450 @ 1157.1
1163.01	c Restart #78 #Var: 1331 LB: -28620852450 @ 1162.6
1168.63	c Restart #79 #Var: 1331 LB: -28620852450 @ 1168.2
1173.21	c Restart #80 #Var: 1331 LB: -28620852450 @ 1172.8
1178.00	c Restart #81 #Var: 1331 LB: -28620852450 @ 1177.5
1183.65	c Restart #82 #Var: 1331 LB: -28620852450 @ 1183.2
1192.37	c Restart #83 #Var: 1331 LB: -28620852450 @ 1191.9
1200.90	c Restart #84 #Var: 1331 LB: -28620852450 @ 1200.4
1209.64	c Restart #85 #Var: 1331 LB: -28620852450 @ 1209.2
1218.15	c Restart #86 #Var: 1331 LB: -28620852450 @ 1217.7
1224.37	c Restart #87 #Var: 1331 LB: -28620852450 @ 1223.9
1229.57	c Restart #88 #Var: 1331 LB: -28620852450 @ 1229.1
1237.20	c Restart #89 #Var: 1331 LB: -28620852450 @ 1236.7
1242.71	c Restart #90 #Var: 1331 LB: -28620852450 @ 1242.2
1248.93	c Restart #91 #Var: 1331 LB: -28620852450 @ 1248.5
1254.24	c Restart #92 #Var: 1331 LB: -28620852450 @ 1253.8
1261.88	c Restart #93 #Var: 1331 LB: -28620852450 @ 1261.4
1267.52	c Restart #94 #Var: 1331 LB: -28620852450 @ 1267
1272.98	c Restart #95 #Var: 1331 LB: -28620852450 @ 1272.5
1278.91	c Restart #96 #Var: 1331 LB: -28620852450 @ 1278.4
1284.93	c Restart #97 #Var: 1331 LB: -28620852450 @ 1284.4
1293.01	c Restart #98 #Var: 1331 LB: -28620852450 @ 1292.5
1299.80	c Restart #99 #Var: 1331 LB: -28620852450 @ 1299.3
1308.61	c Restart #100 #Var: 1331 LB: -28620852450 @ 1308.1
1314.67	c Restart #101 #Var: 1331 LB: -28620852450 @ 1314.2
1324.54	c Restart #102 #Var: 1331 LB: -28620852450 @ 1324
1335.83	c Restart #103 #Var: 1331 LB: -28620852450 @ 1335.3
1345.41	c Restart #104 #Var: 1331 LB: -28620852450 @ 1344.9
1353.09	c Restart #105 #Var: 1331 LB: -28620852450 @ 1352.6
1360.02	c Restart #106 #Var: 1331 LB: -28620852450 @ 1359.5
1377.47	c Restart #107 #Var: 1331 LB: -28620852450 @ 1377
1386.67	c Restart #108 #Var: 1331 LB: -28620852450 @ 1386.2
1395.76	c Restart #109 #Var: 1331 LB: -28620852450 @ 1395.2
1480.53	c Restart #110 #Var: 1331 LB: -28620852450 @ 1480
1487.48	c Restart #111 #Var: 1331 LB: -28620852450 @ 1486.9
1494.69	c Restart #112 #Var: 1331 LB: -28620852450 @ 1494.1
1504.73	c Restart #113 #Var: 1331 LB: -28620852450 @ 1504.2
1511.00	c Restart #114 #Var: 1331 LB: -28620852450 @ 1510.4
1518.01	c Restart #115 #Var: 1331 LB: -28620852450 @ 1517.4
1524.63	c Restart #116 #Var: 1331 LB: -28620852450 @ 1524.1
1536.85	c Restart #117 #Var: 1331 LB: -28620852450 @ 1536.3
1547.07	c Restart #118 #Var: 1331 LB: -28620852450 @ 1546.5
1554.56	c Restart #119 #Var: 1331 LB: -28620852450 @ 1554
1566.16	c Restart #120 #Var: 1331 LB: -28620852450 @ 1565.6
1574.86	c Restart #121 #Var: 1331 LB: -28620852450 @ 1574.3
1586.31	c Restart #122 #Var: 1331 LB: -28620852450 @ 1585.7
1597.74	c Restart #123 #Var: 1331 LB: -28620852450 @ 1597.1
1605.39	c Restart #124 #Var: 1331 LB: -28620852450 @ 1604.8
1617.99	c Restart #125 #Var: 1331 LB: -28620852450 @ 1617.4
1627.97	c Restart #126 #Var: 1331 LB: -28620852450 @ 1627.4
1637.90	c Restart #127 #Var: 1331 LB: -28620852450 @ 1637.3
1645.90	c Restart #128 #Var: 1331 LB: -28620852450 @ 1645.3
1654.49	c Restart #129 #Var: 1331 LB: -28620852450 @ 1653.9
1663.19	c Restart #130 #Var: 1331 LB: -28620852450 @ 1662.6
1672.86	c Restart #131 #Var: 1331 LB: -28620852450 @ 1672.2
1680.35	c Restart #132 #Var: 1331 LB: -28620852450 @ 1679.7
1692.40	c Restart #133 #Var: 1331 LB: -28620852450 @ 1691.7
1701.95	c Restart #134 #Var: 1331 LB: -28620852450 @ 1701.2
1711.24	c Restart #135 #Var: 1331 LB: -28620852450 @ 1710.5
1718.80	c Restart #136 #Var: 1331 LB: -28620852450 @ 1718.1
1731.30	c Restart #137 #Var: 1331 LB: -28620852450 @ 1730.6
1740.37	c Restart #138 #Var: 1331 LB: -28620852450 @ 1739.6
1750.94	c Restart #139 #Var: 1331 LB: -28620852450 @ 1750.2
1759.15	c Restart #140 #Var: 1331 LB: -28620852450 @ 1758.4
1767.20	c Restart #141 #Var: 1331 LB: -28620852450 @ 1766.4
1775.79	c Restart #142 #Var: 1331 LB: -28620852450 @ 1775
1784.10	c Restart #143 #Var: 1331 LB: -28620852450 @ 1783.3
1793.23	c Restart #144 #Var: 1331 LB: -28620852450 @ 1792.5
1800.76	s UNKNOWN
1800.76	c Exit Code: 0
1800.76	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/node91/watcher-40702-1149312778 -o ROOT/results/node91/solver-40702-1149312778 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node91/40702-1149312778/instance-40702-1149312778.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.73 0.93 0.94 2/68 8707
/proc/meminfo: memFree=1542488/2055892 swapFree=4085372/4096564
[pid=8707] ppid=8705 vsize=4752 CPUtime=0
/proc/8707/stat : 8707 (bsolo) R 8705 8707 8660 0 -1 0 230 0 0 0 0 0 0 0 19 0 1 0 196916711 4866048 201 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4157848960 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8707/statm: 1188 209 150 55 0 79 0

[startup+10.0024 s]
/proc/loadavg: 0.77 0.94 0.94 2/68 8707
/proc/meminfo: memFree=1537960/2055892 swapFree=4085372/4096564
[pid=8707] ppid=8705 vsize=9196 CPUtime=9.97
/proc/8707/stat : 8707 (bsolo) R 8705 8707 8660 0 -1 0 1525 0 0 0 992 5 0 0 25 0 1 0 196916711 9416704 1441 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8707/statm: 2299 1441 294 55 0 1190 0
Current children cumulated CPU time (s) 9.97
Current children cumulated vsize (Kb) 9196

[startup+20.0083 s]
/proc/loadavg: 0.81 0.94 0.94 2/68 8707
/proc/meminfo: memFree=1537200/2055892 swapFree=4085372/4096564
[pid=8707] ppid=8705 vsize=10068 CPUtime=19.97
/proc/8707/stat : 8707 (bsolo) R 8705 8707 8660 0 -1 0 1746 0 0 0 1989 8 0 0 25 0 1 0 196916711 10309632 1662 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134644475 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8707/statm: 2517 1662 294 55 0 1408 0
Current children cumulated CPU time (s) 19.97
Current children cumulated vsize (Kb) 10068

[startup+30.0143 s]
/proc/loadavg: 0.84 0.94 0.94 2/68 8707
/proc/meminfo: memFree=1532272/2055892 swapFree=4085372/4096564
[pid=8707] ppid=8705 vsize=15048 CPUtime=29.97
/proc/8707/stat : 8707 (bsolo) R 8705 8707 8660 0 -1 0 2990 0 0 0 2987 10 0 0 25 0 1 0 196916711 15409152 2906 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8707/statm: 3762 2906 294 55 0 2653 0
Current children cumulated CPU time (s) 29.97
Current children cumulated vsize (Kb) 15048

[startup+40.0203 s]
/proc/loadavg: 0.86 0.94 0.94 2/68 8707
/proc/meminfo: memFree=1529072/2055892 swapFree=4085372/4096564
[pid=8707] ppid=8705 vsize=18212 CPUtime=39.97
/proc/8707/stat : 8707 (bsolo) R 8705 8707 8660 0 -1 0 3788 0 0 0 3985 12 0 0 25 0 1 0 196916711 18649088 3704 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603682 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8707/statm: 4553 3704 294 55 0 3444 0
Current children cumulated CPU time (s) 39.97
Current children cumulated vsize (Kb) 18212

[startup+50.0272 s]
/proc/loadavg: 0.88 0.94 0.94 2/68 8707
/proc/meminfo: memFree=1528304/2055892 swapFree=4085372/4096564
[pid=8707] ppid=8705 vsize=18960 CPUtime=49.98
/proc/8707/stat : 8707 (bsolo) R 8705 8707 8660 0 -1 0 3981 0 0 0 4984 14 0 0 25 0 1 0 196916711 19415040 3897 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8707/statm: 4740 3897 294 55 0 3631 0
Current children cumulated CPU time (s) 49.98
Current children cumulated vsize (Kb) 18960

[startup+60.0332 s]
/proc/loadavg: 0.90 0.94 0.94 2/68 8707
/proc/meminfo: memFree=1527280/2055892 swapFree=4085372/4096564
[pid=8707] ppid=8705 vsize=20020 CPUtime=59.98
/proc/8707/stat : 8707 (bsolo) R 8705 8707 8660 0 -1 0 4235 0 0 0 5983 15 0 0 25 0 1 0 196916711 20500480 4151 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8707/statm: 5005 4151 294 55 0 3896 0
Current children cumulated CPU time (s) 59.98
Current children cumulated vsize (Kb) 20020

[startup+70.0392 s]
/proc/loadavg: 0.91 0.94 0.94 2/68 8707
/proc/meminfo: memFree=1527280/2055892 swapFree=4085372/4096564
[pid=8707] ppid=8705 vsize=20020 CPUtime=69.98
/proc/8707/stat : 8707 (bsolo) R 8705 8707 8660 0 -1 0 4235 0 0 0 6981 17 0 0 25 0 1 0 196916711 20500480 4151 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8707/statm: 5005 4151 294 55 0 3896 0
Current children cumulated CPU time (s) 69.98
Current children cumulated vsize (Kb) 20020

[startup+80.0452 s]
/proc/loadavg: 0.93 0.95 0.94 2/68 8707
/proc/meminfo: memFree=1524720/2055892 swapFree=4085372/4096564
[pid=8707] ppid=8705 vsize=22528 CPUtime=79.98
/proc/8707/stat : 8707 (bsolo) R 8705 8707 8660 0 -1 0 4877 0 0 0 7979 19 0 0 25 0 1 0 196916711 23068672 4793 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8707/statm: 5632 4793 294 55 0 4523 0
Current children cumulated CPU time (s) 79.98
Current children cumulated vsize (Kb) 22528

[startup+90.0511 s]
/proc/loadavg: 0.94 0.95 0.94 2/68 8707
/proc/meminfo: memFree=1519792/2055892 swapFree=4085372/4096564
[pid=8707] ppid=8705 vsize=27716 CPUtime=89.98
/proc/8707/stat : 8707 (bsolo) R 8705 8707 8660 0 -1 0 6096 0 0 0 8977 21 0 0 25 0 1 0 196916711 28381184 6012 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134644478 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8707/statm: 6929 6012 294 55 0 5820 0
Current children cumulated CPU time (s) 89.98
Current children cumulated vsize (Kb) 27716

[startup+100.057 s]
/proc/loadavg: 0.95 0.95 0.94 2/68 8707
/proc/meminfo: memFree=1516208/2055892 swapFree=4085372/4096564
[pid=8707] ppid=8705 vsize=31200 CPUtime=99.99
/proc/8707/stat : 8707 (bsolo) R 8705 8707 8660 0 -1 0 6992 0 0 0 9976 23 0 0 25 0 1 0 196916711 31948800 6908 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541672 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8707/statm: 7800 6908 294 55 0 6691 0
Current children cumulated CPU time (s) 99.99
Current children cumulated vsize (Kb) 31200

[startup+110.063 s]
/proc/loadavg: 0.95 0.95 0.94 2/68 8707
/proc/meminfo: memFree=1510512/2055892 swapFree=4085372/4096564
[pid=8707] ppid=8705 vsize=36856 CPUtime=109.99
/proc/8707/stat : 8707 (bsolo) R 8705 8707 8660 0 -1 0 8439 0 0 0 10974 25 0 0 25 0 1 0 196916711 37740544 8320 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8707/statm: 9214 8320 294 55 0 8105 0
Current children cumulated CPU time (s) 109.99
Current children cumulated vsize (Kb) 36856

[startup+120.069 s]
/proc/loadavg: 0.96 0.95 0.94 2/68 8707
/proc/meminfo: memFree=1510512/2055892 swapFree=4085372/4096564
[pid=8707] ppid=8705 vsize=36856 CPUtime=119.99
/proc/8707/stat : 8707 (bsolo) R 8705 8707 8660 0 -1 0 8439 0 0 0 11973 26 0 0 25 0 1 0 196916711 37740544 8320 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134644452 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8707/statm: 9214 8320 294 55 0 8105 0
Current children cumulated CPU time (s) 119.99
Current children cumulated vsize (Kb) 36856

[startup+130.075 s]
/proc/loadavg: 0.97 0.95 0.94 2/68 8707
/proc/meminfo: memFree=1510512/2055892 swapFree=4085372/4096564
[pid=8707] ppid=8705 vsize=36856 CPUtime=129.99
/proc/8707/stat : 8707 (bsolo) R 8705 8707 8660 0 -1 0 8439 0 0 0 12972 27 0 0 25 0 1 0 196916711 37740544 8320 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134535099 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8707/statm: 9214 8320 294 55 0 8105 0
Current children cumulated CPU time (s) 129.99
Current children cumulated vsize (Kb) 36856

[startup+140.081 s]
/proc/loadavg: 0.97 0.95 0.94 2/68 8707
/proc/meminfo: memFree=1510512/2055892 swapFree=4085372/4096564
[pid=8707] ppid=8705 vsize=36856 CPUtime=140
/proc/8707/stat : 8707 (bsolo) R 8705 8707 8660 0 -1 0 8439 0 0 0 13971 29 0 0 25 0 1 0 196916711 37740544 8320 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541539 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8707/statm: 9214 8320 294 55 0 8105 0
Current children cumulated CPU time (s) 140
Current children cumulated vsize (Kb) 36856

[startup+150.087 s]
/proc/loadavg: 0.98 0.95 0.94 2/68 8707
/proc/meminfo: memFree=1510512/2055892 swapFree=4085372/4096564
[pid=8707] ppid=8705 vsize=36856 CPUtime=150
/proc/8707/stat : 8707 (bsolo) R 8705 8707 8660 0 -1 0 8439 0 0 0 14970 30 0 0 25 0 1 0 196916711 37740544 8320 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8707/statm: 9214 8320 294 55 0 8105 0
Current children cumulated CPU time (s) 150
Current children cumulated vsize (Kb) 36856

[startup+160.093 s]
/proc/loadavg: 0.98 0.95 0.94 2/68 8707
/proc/meminfo: memFree=1510512/2055892 swapFree=4085372/4096564
[pid=8707] ppid=8705 vsize=36856 CPUtime=159.99
/proc/8707/stat : 8707 (bsolo) R 8705 8707 8660 0 -1 0 8439 0 0 0 15968 31 0 0 25 0 1 0 196916711 37740544 8320 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649043 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8707/statm: 9214 8320 294 55 0 8105 0
Current children cumulated CPU time (s) 159.99
Current children cumulated vsize (Kb) 36856

[startup+170.099 s]
/proc/loadavg: 0.98 0.95 0.94 2/68 8707
/proc/meminfo: memFree=1510512/2055892 swapFree=4085372/4096564
[pid=8707] ppid=8705 vsize=36856 CPUtime=170
/proc/8707/stat : 8707 (bsolo) R 8705 8707 8660 0 -1 0 8439 0 0 0 16967 33 0 0 25 0 1 0 196916711 37740544 8320 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8707/statm: 9214 8320 294 55 0 8105 0
Current children cumulated CPU time (s) 170
Current children cumulated vsize (Kb) 36856

[startup+180.105 s]
/proc/loadavg: 0.98 0.96 0.94 2/68 8707
/proc/meminfo: memFree=1510512/2055892 swapFree=4085372/4096564
[pid=8707] ppid=8705 vsize=36856 CPUtime=180
/proc/8707/stat : 8707 (bsolo) R 8705 8707 8660 0 -1 0 8439 0 0 0 17965 35 0 0 25 0 1 0 196916711 37740544 8320 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8707/statm: 9214 8320 294 55 0 8105 0
Current children cumulated CPU time (s) 180
Current children cumulated vsize (Kb) 36856

[startup+190.111 s]
/proc/loadavg: 0.99 0.96 0.94 2/68 8707
/proc/meminfo: memFree=1510512/2055892 swapFree=4085372/4096564
[pid=8707] ppid=8705 vsize=36856 CPUtime=190
/proc/8707/stat : 8707 (bsolo) R 8705 8707 8660 0 -1 0 8439 0 0 0 18964 36 0 0 25 0 1 0 196916711 37740544 8320 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8707/statm: 9214 8320 294 55 0 8105 0
Current children cumulated CPU time (s) 190
Current children cumulated vsize (Kb) 36856

[startup+200.117 s]
/proc/loadavg: 0.99 0.96 0.94 2/68 8707
/proc/meminfo: memFree=1510512/2055892 swapFree=4085372/4096564
[pid=8707] ppid=8705 vsize=36856 CPUtime=200
/proc/8707/stat : 8707 (bsolo) R 8705 8707 8660 0 -1 0 8439 0 0 0 19962 38 0 0 25 0 1 0 196916711 37740544 8320 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134644490 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8707/statm: 9214 8320 294 55 0 8105 0
Current children cumulated CPU time (s) 200
Current children cumulated vsize (Kb) 36856

[startup+210.123 s]
/proc/loadavg: 0.99 0.96 0.94 2/68 8707
/proc/meminfo: memFree=1510512/2055892 swapFree=4085372/4096564

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

/proc/8707/statm: 15225 14176 294 55 0 14116 0
Current children cumulated CPU time (s) 1760.3
Current children cumulated vsize (Kb) 60900

[startup+1771.07 s]
/proc/loadavg: 0.99 0.97 0.94 2/68 8909
/proc/meminfo: memFree=1486512/2055892 swapFree=4085372/4096564
[pid=8707] ppid=8705 vsize=60900 CPUtime=1770.31
/proc/8707/stat : 8707 (bsolo) R 8705 8707 8660 0 -1 0 14362 0 0 0 176743 288 0 0 25 0 1 0 196916711 62361600 14176 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8707/statm: 15225 14176 294 55 0 14116 0
Current children cumulated CPU time (s) 1770.31
Current children cumulated vsize (Kb) 60900

[startup+1781.08 s]
/proc/loadavg: 0.99 0.97 0.94 2/68 8909
/proc/meminfo: memFree=1486512/2055892 swapFree=4085372/4096564
[pid=8707] ppid=8705 vsize=60900 CPUtime=1780.31
/proc/8707/stat : 8707 (bsolo) R 8705 8707 8660 0 -1 0 14362 0 0 0 177742 289 0 0 25 0 1 0 196916711 62361600 14176 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8707/statm: 15225 14176 294 55 0 14116 0
Current children cumulated CPU time (s) 1780.31
Current children cumulated vsize (Kb) 60900

[startup+1782.08 s]
/proc/loadavg: 0.99 0.97 0.94 2/68 8909
/proc/meminfo: memFree=1486512/2055892 swapFree=4085372/4096564
[pid=8707] ppid=8705 vsize=60900 CPUtime=1781.31
/proc/8707/stat : 8707 (bsolo) R 8705 8707 8660 0 -1 0 14362 0 0 0 177842 289 0 0 25 0 1 0 196916711 62361600 14176 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8707/statm: 15225 14176 294 55 0 14116 0
Current children cumulated CPU time (s) 1781.31
Current children cumulated vsize (Kb) 60900

[startup+1783.09 s]
/proc/loadavg: 0.99 0.97 0.94 2/68 8909
/proc/meminfo: memFree=1486512/2055892 swapFree=4085372/4096564
[pid=8707] ppid=8705 vsize=60900 CPUtime=1782.33
/proc/8707/stat : 8707 (bsolo) R 8705 8707 8660 0 -1 0 14362 0 0 0 177943 290 0 0 25 0 1 0 196916711 62361600 14176 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8707/statm: 15225 14176 294 55 0 14116 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (Kb) 60900

[startup+1784.09 s]
/proc/loadavg: 0.99 0.97 0.94 2/68 8909
/proc/meminfo: memFree=1486512/2055892 swapFree=4085372/4096564
[pid=8707] ppid=8705 vsize=60900 CPUtime=1783.33
/proc/8707/stat : 8707 (bsolo) R 8705 8707 8660 0 -1 0 14362 0 0 0 178043 290 0 0 25 0 1 0 196916711 62361600 14176 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540691 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8707/statm: 15225 14176 294 55 0 14116 0
Current children cumulated CPU time (s) 1783.33
Current children cumulated vsize (Kb) 60900

[startup+1785.1 s]
/proc/loadavg: 0.99 0.97 0.94 2/68 8909
/proc/meminfo: memFree=1486512/2055892 swapFree=4085372/4096564
[pid=8707] ppid=8705 vsize=60900 CPUtime=1784.33
/proc/8707/stat : 8707 (bsolo) R 8705 8707 8660 0 -1 0 14362 0 0 0 178143 290 0 0 25 0 1 0 196916711 62361600 14176 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8707/statm: 15225 14176 294 55 0 14116 0
Current children cumulated CPU time (s) 1784.33
Current children cumulated vsize (Kb) 60900

[startup+1786.1 s]
/proc/loadavg: 0.99 0.97 0.94 2/68 8909
/proc/meminfo: memFree=1486512/2055892 swapFree=4085372/4096564
[pid=8707] ppid=8705 vsize=60900 CPUtime=1785.34
/proc/8707/stat : 8707 (bsolo) R 8705 8707 8660 0 -1 0 14362 0 0 0 178244 290 0 0 25 0 1 0 196916711 62361600 14176 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8707/statm: 15225 14176 294 55 0 14116 0
Current children cumulated CPU time (s) 1785.34
Current children cumulated vsize (Kb) 60900

[startup+1787.11 s]
/proc/loadavg: 0.99 0.97 0.94 2/68 8909
/proc/meminfo: memFree=1486512/2055892 swapFree=4085372/4096564
[pid=8707] ppid=8705 vsize=60900 CPUtime=1786.34
/proc/8707/stat : 8707 (bsolo) R 8705 8707 8660 0 -1 0 14362 0 0 0 178344 290 0 0 25 0 1 0 196916711 62361600 14176 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8707/statm: 15225 14176 294 55 0 14116 0
Current children cumulated CPU time (s) 1786.34
Current children cumulated vsize (Kb) 60900

[startup+1788.11 s]
/proc/loadavg: 0.99 0.97 0.94 2/68 8909
/proc/meminfo: memFree=1486512/2055892 swapFree=4085372/4096564
[pid=8707] ppid=8705 vsize=60900 CPUtime=1787.34
/proc/8707/stat : 8707 (bsolo) R 8705 8707 8660 0 -1 0 14362 0 0 0 178444 290 0 0 25 0 1 0 196916711 62361600 14176 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134644461 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8707/statm: 15225 14176 294 55 0 14116 0
Current children cumulated CPU time (s) 1787.34
Current children cumulated vsize (Kb) 60900

[startup+1789.12 s]
/proc/loadavg: 0.99 0.97 0.94 2/68 8909
/proc/meminfo: memFree=1486512/2055892 swapFree=4085372/4096564
[pid=8707] ppid=8705 vsize=60900 CPUtime=1788.35
/proc/8707/stat : 8707 (bsolo) R 8705 8707 8660 0 -1 0 14362 0 0 0 178544 291 0 0 25 0 1 0 196916711 62361600 14176 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8707/statm: 15225 14176 294 55 0 14116 0
Current children cumulated CPU time (s) 1788.35
Current children cumulated vsize (Kb) 60900

[startup+1790.12 s]
/proc/loadavg: 0.99 0.97 0.94 2/68 8909
/proc/meminfo: memFree=1486512/2055892 swapFree=4085372/4096564
[pid=8707] ppid=8705 vsize=60900 CPUtime=1789.36
/proc/8707/stat : 8707 (bsolo) R 8705 8707 8660 0 -1 0 14362 0 0 0 178645 291 0 0 25 0 1 0 196916711 62361600 14176 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8707/statm: 15225 14176 294 55 0 14116 0
Current children cumulated CPU time (s) 1789.36
Current children cumulated vsize (Kb) 60900

[startup+1791.13 s]
/proc/loadavg: 0.99 0.97 0.94 2/68 8909
/proc/meminfo: memFree=1486512/2055892 swapFree=4085372/4096564
[pid=8707] ppid=8705 vsize=60900 CPUtime=1790.36
/proc/8707/stat : 8707 (bsolo) R 8705 8707 8660 0 -1 0 14362 0 0 0 178745 291 0 0 25 0 1 0 196916711 62361600 14176 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8707/statm: 15225 14176 294 55 0 14116 0
Current children cumulated CPU time (s) 1790.36
Current children cumulated vsize (Kb) 60900

[startup+1792.13 s]
/proc/loadavg: 0.99 0.97 0.94 2/68 8909
/proc/meminfo: memFree=1486512/2055892 swapFree=4085372/4096564
[pid=8707] ppid=8705 vsize=60900 CPUtime=1791.37
/proc/8707/stat : 8707 (bsolo) R 8705 8707 8660 0 -1 0 14362 0 0 0 178846 291 0 0 25 0 1 0 196916711 62361600 14176 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8707/statm: 15225 14176 294 55 0 14116 0
Current children cumulated CPU time (s) 1791.37
Current children cumulated vsize (Kb) 60900

[startup+1793.14 s]
/proc/loadavg: 0.99 0.97 0.94 2/68 8909
/proc/meminfo: memFree=1486512/2055892 swapFree=4085372/4096564
[pid=8707] ppid=8705 vsize=60900 CPUtime=1792.37
/proc/8707/stat : 8707 (bsolo) R 8705 8707 8660 0 -1 0 14362 0 0 0 178946 291 0 0 25 0 1 0 196916711 62361600 14176 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8707/statm: 15225 14176 294 55 0 14116 0
Current children cumulated CPU time (s) 1792.37
Current children cumulated vsize (Kb) 60900

[startup+1794.14 s]
/proc/loadavg: 0.99 0.97 0.94 2/68 8909
/proc/meminfo: memFree=1486512/2055892 swapFree=4085372/4096564
[pid=8707] ppid=8705 vsize=60900 CPUtime=1793.37
/proc/8707/stat : 8707 (bsolo) R 8705 8707 8660 0 -1 0 14362 0 0 0 179046 291 0 0 25 0 1 0 196916711 62361600 14176 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134644452 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8707/statm: 15225 14176 294 55 0 14116 0
Current children cumulated CPU time (s) 1793.37
Current children cumulated vsize (Kb) 60900

[startup+1795.15 s]
/proc/loadavg: 0.99 0.97 0.94 2/68 8909
/proc/meminfo: memFree=1486512/2055892 swapFree=4085372/4096564
[pid=8707] ppid=8705 vsize=60900 CPUtime=1794.37
/proc/8707/stat : 8707 (bsolo) R 8705 8707 8660 0 -1 0 14362 0 0 0 179146 291 0 0 25 0 1 0 196916711 62361600 14176 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134555667 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8707/statm: 15225 14176 294 55 0 14116 0
Current children cumulated CPU time (s) 1794.37
Current children cumulated vsize (Kb) 60900

[startup+1796.15 s]
/proc/loadavg: 0.99 0.97 0.94 2/68 8909
/proc/meminfo: memFree=1486512/2055892 swapFree=4085372/4096564
[pid=8707] ppid=8705 vsize=60900 CPUtime=1795.38
/proc/8707/stat : 8707 (bsolo) R 8705 8707 8660 0 -1 0 14362 0 0 0 179246 292 0 0 25 0 1 0 196916711 62361600 14176 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8707/statm: 15225 14176 294 55 0 14116 0
Current children cumulated CPU time (s) 1795.38
Current children cumulated vsize (Kb) 60900

[startup+1797.16 s]
/proc/loadavg: 0.99 0.97 0.94 2/68 8909
/proc/meminfo: memFree=1486512/2055892 swapFree=4085372/4096564
[pid=8707] ppid=8705 vsize=60900 CPUtime=1796.39
/proc/8707/stat : 8707 (bsolo) R 8705 8707 8660 0 -1 0 14362 0 0 0 179347 292 0 0 25 0 1 0 196916711 62361600 14176 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8707/statm: 15225 14176 294 55 0 14116 0
Current children cumulated CPU time (s) 1796.39
Current children cumulated vsize (Kb) 60900

[startup+1798.16 s]
/proc/loadavg: 0.99 0.97 0.94 2/68 8909
/proc/meminfo: memFree=1486512/2055892 swapFree=4085372/4096564
[pid=8707] ppid=8705 vsize=60900 CPUtime=1797.39
/proc/8707/stat : 8707 (bsolo) R 8705 8707 8660 0 -1 0 14362 0 0 0 179447 292 0 0 25 0 1 0 196916711 62361600 14176 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8707/statm: 15225 14176 294 55 0 14116 0
Current children cumulated CPU time (s) 1797.39
Current children cumulated vsize (Kb) 60900

[startup+1799.17 s]
/proc/loadavg: 0.99 0.97 0.94 2/68 8909
/proc/meminfo: memFree=1486512/2055892 swapFree=4085372/4096564
[pid=8707] ppid=8705 vsize=60900 CPUtime=1798.39
/proc/8707/stat : 8707 (bsolo) R 8705 8707 8660 0 -1 0 14362 0 0 0 179547 292 0 0 25 0 1 0 196916711 62361600 14176 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8707/statm: 15225 14176 294 55 0 14116 0
Current children cumulated CPU time (s) 1798.39
Current children cumulated vsize (Kb) 60900

[startup+1800.17 s]
/proc/loadavg: 0.99 0.97 0.94 2/68 8909
/proc/meminfo: memFree=1486512/2055892 swapFree=4085372/4096564
[pid=8707] ppid=8705 vsize=60900 CPUtime=1799.4
/proc/8707/stat : 8707 (bsolo) R 8705 8707 8660 0 -1 0 14362 0 0 0 179647 293 0 0 25 0 1 0 196916711 62361600 14176 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8707/statm: 15225 14176 294 55 0 14116 0
Current children cumulated CPU time (s) 1799.4
Current children cumulated vsize (Kb) 60900

Child status: 0
Real time (s): 1800.78
CPU time (s): 1800.01
CPU user time (s): 1797.07
CPU system time (s): 2.94055
CPU usage (%): 99.9574
Max. virtual memory (cumulated for all children) (Kb): 60900

Launcher Data (download as text)

Begin job on node91 on Sat Jun  3 05:32:58 UTC 2006


FILE ID= 40702-1149312778

PBS_JOBID= 308122

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-adlittle.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node91/40702-1149312778/instance-40702-1149312778.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node91/watcher-40702-1149312778 -o ROOT/results/node91/solver-40702-1149312778 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node91/40702-1149312778/instance-40702-1149312778.opb

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  952cd1c498d347dda37d376c7740481e

RANDOM SEED= 614001672


/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.279
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	: 6006.18
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.279
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	: 5999.45
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055892 kB
MemFree:       1542696 kB
Buffers:         32976 kB
Cached:         408712 kB
SwapCached:       2352 kB
Active:          71876 kB
Inactive:       378392 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055892 kB
LowFree:       1542696 kB
SwapTotal:     4096564 kB
SwapFree:      4085372 kB
Dirty:             280 kB
Writeback:           0 kB
Mapped:          16588 kB
Slab:            49444 kB
Committed_AS:   399116 kB
PageTables:       1284 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264388 kB
VmallocChunk: 536606243 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node91 on Sat Jun  3 06:02:59 UTC 2006