Trace number 40690

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.09 1800.67

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-boeing1.opb
MD5SUM89b57889d16cd406631a12aac7aefa29
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 variables8869
Total number of constraints561
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 constraints561
Minimum length of a constraint11
Maximum length of a constraint6849
Number of terms in the objective function 6523
Biggest coefficient in the objective function 24535000678400
Number of bits for the biggest coefficient in the objective function 45
Sum of the numbers in the objective function 1761916844753634
Number of bits of the sum of numbers in the objective function 51
Biggest number in a constraint 4102681610158080
Number of bits of the biggest number in a constraint 52
Biggest sum of numbers in a constraint 384599747612655519
Number of bits of the biggest sum of numbers59
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

0.00	c Time Limit set via PBTIMEOUT to 1800
0.01	c INFO: OSL Context initialized.
0.01	c BIG Int formula...
0.74	c Initial problem consists of 8869 variables and 568 constraints.
0.77	c No problem reductions applied in OPT. instance.
0.77	c	preprocess terminated. Elapsed time: 0.762
0.77	c After prepocess the problem consists of 5635 variables and 536 constraints.
0.77	c Initial Lower Bound: -273090624479
0.96	c Restart #1 #Var: 5635 LB: -273090624479 @ 0.946
1.28	c Restart #2 #Var: 5635 LB: -273090624479 @ 1.264
1.71	c Restart #3 #Var: 5635 LB: -273090624479 @ 1.695
2.29	c Restart #4 #Var: 5635 LB: -273090624479 @ 2.28
3.01	c Restart #5 #Var: 5635 LB: -273090624479 @ 3.001
3.84	c Restart #6 #Var: 5635 LB: -273090624479 @ 3.831
4.82	c Restart #7 #Var: 5635 LB: -273090624479 @ 4.81
5.92	c Restart #8 #Var: 5635 LB: -273090624479 @ 5.909
7.32	c Restart #9 #Var: 5635 LB: -273090624479 @ 7.308
8.68	c Restart #10 #Var: 5635 LB: -273090624479 @ 8.665
10.13	c Restart #11 #Var: 5635 LB: -273090624479 @ 10.114
10.39	c Restart #12 #Var: 5635 LB: -273090624479 @ 10.372
11.89	c Restart #13 #Var: 5635 LB: -273090624479 @ 11.87
13.31	c Restart #14 #Var: 5635 LB: -273090624479 @ 13.294
13.98	c Restart #15 #Var: 5635 LB: -273090624479 @ 13.961
15.72	c Restart #16 #Var: 5635 LB: -273090624479 @ 15.706
17.71	c Restart #17 #Var: 5635 LB: -273090624479 @ 17.693
18.13	c Restart #18 #Var: 5635 LB: -273090624479 @ 18.112
20.27	c Restart #19 #Var: 5635 LB: -273090624479 @ 20.248
22.70	c Restart #20 #Var: 5635 LB: -273090624479 @ 22.681
24.12	c Restart #21 #Var: 5635 LB: -273090624479 @ 24.104
26.69	c Restart #22 #Var: 5635 LB: -273090624479 @ 26.669
29.17	c Restart #23 #Var: 5635 LB: -273090624479 @ 29.152
29.71	c Restart #24 #Var: 5635 LB: -273090624479 @ 29.683
32.23	c Restart #25 #Var: 5635 LB: -273090624479 @ 32.21
35.56	c Restart #26 #Var: 5635 LB: -273090624479 @ 35.535
38.97	c Restart #27 #Var: 5635 LB: -273090624479 @ 38.94
42.25	c Restart #28 #Var: 5635 LB: -273090624479 @ 42.227
42.87	c Restart #29 #Var: 5635 LB: -273090624479 @ 42.838
46.63	c Restart #30 #Var: 5635 LB: -273090624479 @ 46.601
50.67	c Restart #31 #Var: 5635 LB: -273090624479 @ 50.642
54.36	c Restart #32 #Var: 5635 LB: -273090624479 @ 54.333
57.36	c Restart #33 #Var: 5635 LB: -273090624479 @ 57.325
60.89	c Restart #34 #Var: 5634 LB: -273090624479 @ 60.856
63.29	c Restart #35 #Var: 5634 LB: -273090624479 @ 63.258
67.42	c Restart #36 #Var: 5634 LB: -273090624479 @ 67.388
71.86	c Restart #37 #Var: 5634 LB: -273090624479 @ 71.823
73.58	c Restart #38 #Var: 5634 LB: -273090624479 @ 73.542
78.11	c Restart #39 #Var: 5634 LB: -273090624479 @ 78.072
82.84	c Restart #40 #Var: 5634 LB: -273090624479 @ 82.805
86.48	c Restart #41 #Var: 5634 LB: -273090624479 @ 86.444
91.30	c Restart #42 #Var: 5634 LB: -273090624479 @ 91.254
92.39	c Restart #43 #Var: 5634 LB: -273090624479 @ 92.346
97.38	c Restart #44 #Var: 5634 LB: -273090624479 @ 97.341
103.14	c Restart #45 #Var: 5634 LB: -273090624479 @ 103.1
105.98	c Restart #46 #Var: 5634 LB: -273090624479 @ 105.93
111.49	c Restart #47 #Var: 5634 LB: -273090624479 @ 111.44
117.47	c Restart #48 #Var: 5634 LB: -273090624479 @ 117.42
123.59	c Restart #49 #Var: 5634 LB: -273090624479 @ 123.54
126.50	c Restart #50 #Var: 5634 LB: -273090624479 @ 126.45
132.78	c Restart #51 #Var: 5634 LB: -273090624479 @ 132.72
139.23	c Restart #52 #Var: 5634 LB: -273090624479 @ 139.18
145.63	c Restart #53 #Var: 5634 LB: -273090624479 @ 145.57
150.15	c Restart #54 #Var: 5634 LB: -273090624479 @ 150.09
156.55	c Restart #55 #Var: 5634 LB: -273090624479 @ 156.49
158.76	c Restart #56 #Var: 5634 LB: -273090624479 @ 158.7
165.15	c Restart #57 #Var: 5634 LB: -273090624479 @ 165.09
172.68	c Restart #58 #Var: 5634 LB: -273090624479 @ 172.62
180.21	c Restart #59 #Var: 5634 LB: -273090624479 @ 180.14
187.26	c Restart #60 #Var: 5634 LB: -273090624479 @ 187.19
194.55	c Restart #61 #Var: 5634 LB: -273090624479 @ 194.48
202.28	c Restart #62 #Var: 5634 LB: -273090624479 @ 202.2
208.81	c Restart #63 #Var: 5634 LB: -273090624479 @ 208.73
216.31	c Restart #64 #Var: 5634 LB: -273090624479 @ 216.23
220.30	c Restart #65 #Var: 5634 LB: -273090624479 @ 220.22
227.90	c Restart #66 #Var: 5634 LB: -273090624479 @ 227.82
234.53	c Restart #67 #Var: 5634 LB: -273090624479 @ 234.45
240.21	c Restart #68 #Var: 5634 LB: -273090624479 @ 240.12
246.68	c Restart #69 #Var: 5634 LB: -273090624479 @ 246.59
252.50	c Restart #70 #Var: 5634 LB: -273090624479 @ 252.41
259.69	c Restart #71 #Var: 5634 LB: -273090624479 @ 259.59
267.98	c Restart #72 #Var: 5634 LB: -273090624479 @ 267.89
276.25	c Restart #73 #Var: 5634 LB: -273090624479 @ 276.15
285.63	c Restart #74 #Var: 5634 LB: -273090624479 @ 285.52
294.76	c Restart #75 #Var: 5634 LB: -273090624479 @ 294.65
304.50	c Restart #76 #Var: 5634 LB: -273090624479 @ 304.39
313.12	c Restart #77 #Var: 5634 LB: -273090624479 @ 313.01
329.51	c Restart #78 #Var: 5634 LB: -273090624479 @ 329.39
338.53	c Restart #79 #Var: 5634 LB: -273090624479 @ 338.42
348.49	c Restart #80 #Var: 5634 LB: -273090624479 @ 348.37
357.93	c Restart #81 #Var: 5634 LB: -273090624479 @ 357.81
367.67	c Restart #82 #Var: 5634 LB: -273090624479 @ 367.54
377.21	c Restart #83 #Var: 5634 LB: -273090624479 @ 377.08
387.13	c Restart #84 #Var: 5634 LB: -273090624479 @ 387
398.00	c Restart #85 #Var: 5634 LB: -273090624479 @ 397.86
406.38	c Restart #86 #Var: 5634 LB: -273090624479 @ 406.24
416.82	c Restart #87 #Var: 5634 LB: -273090624479 @ 416.68
458.95	c Restart #88 #Var: 5634 LB: -273090624479 @ 458.8
469.67	c Restart #89 #Var: 5634 LB: -273090624479 @ 469.51
480.04	c Restart #90 #Var: 5634 LB: -273090624479 @ 479.88
490.92	c Restart #91 #Var: 5634 LB: -273090624479 @ 490.75
528.27	c Restart #92 #Var: 5634 LB: -273090624479 @ 528.09
539.69	c Restart #93 #Var: 5634 LB: -273090624479 @ 539.5
550.51	c Restart #94 #Var: 5634 LB: -273090624479 @ 550.33
561.99	c Restart #95 #Var: 5634 LB: -273090624479 @ 561.8
571.27	c Restart #96 #Var: 5634 LB: -273090624479 @ 571.08
583.96	c Restart #97 #Var: 5634 LB: -273090624479 @ 583.77
595.80	c Restart #98 #Var: 5634 LB: -273090624479 @ 595.6
607.13	c Restart #99 #Var: 5634 LB: -273090624479 @ 606.92
614.24	c Restart #100 #Var: 5634 LB: -273090624479 @ 614.04
626.68	c Restart #101 #Var: 5632 LB: -271311584223 @ 626.47
634.86	c Restart #102 #Var: 5632 LB: -271311584223 @ 634.65
647.27	c Restart #103 #Var: 5632 LB: -271311584223 @ 647.05
661.00	c Restart #104 #Var: 5632 LB: -271311584223 @ 660.78
674.93	c Restart #105 #Var: 5632 LB: -271311584223 @ 674.7
687.35	c Restart #106 #Var: 5632 LB: -271311584223 @ 687.12
701.17	c Restart #107 #Var: 5632 LB: -271311584223 @ 700.94
713.46	c Restart #108 #Var: 5632 LB: -271311584223 @ 713.23
727.03	c Restart #109 #Var: 5632 LB: -271311584223 @ 726.78
741.37	c Restart #110 #Var: 5632 LB: -271311584223 @ 741.13
755.31	c Restart #111 #Var: 5632 LB: -271311584223 @ 755.06
769.45	c Restart #112 #Var: 5632 LB: -271311584223 @ 769.2
785.64	c Restart #113 #Var: 5630 LB: -270714158047 @ 785.38
798.88	c Restart #114 #Var: 5630 LB: -270714158047 @ 798.62
810.00	c Restart #115 #Var: 5630 LB: -270714158047 @ 809.73
812.94	c Restart #116 #Var: 5630 LB: -270714158047 @ 812.68
822.70	c Restart #117 #Var: 5630 LB: -270714158047 @ 822.43
826.48	c Restart #118 #Var: 5630 LB: -270714158047 @ 826.21
837.06	c Restart #119 #Var: 5630 LB: -270714158047 @ 836.79
840.44	c Restart #120 #Var: 5630 LB: -270714158047 @ 840.16
851.28	c Restart #121 #Var: 5630 LB: -270714158047 @ 851
855.52	c Restart #122 #Var: 5630 LB: -270714158047 @ 855.24
866.35	c Restart #123 #Var: 5630 LB: -270714158047 @ 866.07
872.71	c Restart #124 #Var: 5630 LB: -270714158047 @ 872.43
883.43	c Restart #125 #Var: 5630 LB: -270714158047 @ 883.14
893.52	c Restart #126 #Var: 5630 LB: -270714158047 @ 893.23
912.17	c CHANGE Heuristic... 
912.17	c Restart #0 #Var: 5630 LB: -270714158047 @ 911.87
912.38	c Restart #1 #Var: 5622 LB: -269828766687 @ 912.08
912.65	c Restart #2 #Var: 5622 LB: -269828766687 @ 912.35
912.88	c Restart #3 #Var: 5622 LB: -269828766687 @ 912.58
913.22	c Restart #4 #Var: 5622 LB: -269828766687 @ 912.92
913.61	c Restart #5 #Var: 5622 LB: -269828766687 @ 913.32
914.09	c Restart #6 #Var: 5622 LB: -269828766687 @ 913.79
914.62	c Restart #7 #Var: 5622 LB: -269828766687 @ 914.33
915.14	c Restart #8 #Var: 5622 LB: -269828766687 @ 914.84
915.82	c Restart #9 #Var: 5622 LB: -269828766687 @ 915.52
916.58	c Restart #10 #Var: 5622 LB: -269828766687 @ 916.28
917.48	c Restart #11 #Var: 5622 LB: -269828766687 @ 917.18
918.60	c Restart #12 #Var: 5622 LB: -269828766687 @ 918.3
919.60	c Restart #13 #Var: 5622 LB: -269828766687 @ 919.29
920.68	c Restart #14 #Var: 5622 LB: -269828766687 @ 920.38
921.72	c Restart #15 #Var: 5622 LB: -269828766687 @ 921.42
923.04	c Restart #16 #Var: 5622 LB: -269828766687 @ 922.74
924.41	c Restart #17 #Var: 5622 LB: -269828766687 @ 924.1
926.02	c Restart #18 #Var: 5622 LB: -269828766687 @ 925.72
927.63	c Restart #19 #Var: 5622 LB: -269828766687 @ 927.33
929.21	c Restart #20 #Var: 5622 LB: -269828766687 @ 928.91
931.02	c Restart #21 #Var: 5622 LB: -269828766687 @ 930.72
932.63	c Restart #22 #Var: 5622 LB: -269828766687 @ 932.32
934.59	c Restart #23 #Var: 5622 LB: -269828766687 @ 934.28
936.65	c Restart #24 #Var: 5622 LB: -269828766687 @ 936.34
938.77	c Restart #25 #Var: 5622 LB: -269828766687 @ 938.46
941.02	c Restart #26 #Var: 5622 LB: -269828766687 @ 940.72
943.72	c Restart #27 #Var: 5622 LB: -269828766687 @ 943.41
946.26	c Restart #28 #Var: 5622 LB: -269828766687 @ 945.95
948.42	c Restart #29 #Var: 5622 LB: -269828766687 @ 948.11
950.92	c Restart #30 #Var: 5622 LB: -269828766687 @ 950.61
953.86	c Restart #31 #Var: 5622 LB: -269828766687 @ 953.55
956.50	c Restart #32 #Var: 5622 LB: -269828766687 @ 956.19
959.32	c Restart #33 #Var: 5622 LB: -269828766687 @ 959
962.48	c Restart #34 #Var: 5622 LB: -269828766687 @ 962.17
965.49	c Restart #35 #Var: 5622 LB: -269828766687 @ 965.18
968.82	c Restart #36 #Var: 5622 LB: -269828766687 @ 968.5
972.11	c Restart #37 #Var: 5622 LB: -269828766687 @ 971.79
975.22	c Restart #38 #Var: 5622 LB: -269828766687 @ 974.9
978.82	c Restart #39 #Var: 5622 LB: -269828766687 @ 978.5
982.20	c Restart #40 #Var: 5622 LB: -269828766687 @ 981.88
985.66	c Restart #41 #Var: 5622 LB: -269828766687 @ 985.34
989.45	c Restart #42 #Var: 5622 LB: -269828766687 @ 989.13
993.33	c Restart #43 #Var: 5622 LB: -269828766687 @ 993
997.25	c Restart #44 #Var: 5622 LB: -269828766687 @ 996.92
1001.28	c Restart #45 #Var: 5622 LB: -269828766687 @ 1001
1005.46	c Restart #46 #Var: 5622 LB: -269828766687 @ 1005.1
1009.73	c Restart #47 #Var: 5622 LB: -269828766687 @ 1009.4
1014.15	c Restart #48 #Var: 5622 LB: -269828766687 @ 1013.8
1018.58	c Restart #49 #Var: 5622 LB: -269828766687 @ 1018.2
1023.17	c Restart #50 #Var: 5622 LB: -269828766687 @ 1022.8
1027.74	c Restart #51 #Var: 5622 LB: -269828766687 @ 1027.4
1032.36	c Restart #52 #Var: 5622 LB: -269828766687 @ 1032
1037.22	c Restart #53 #Var: 5622 LB: -269828766687 @ 1036.9
1041.85	c Restart #54 #Var: 5622 LB: -269828766687 @ 1041.5
1046.89	c Restart #55 #Var: 5622 LB: -269828766687 @ 1046.5
1052.19	c Restart #56 #Var: 5622 LB: -269828766687 @ 1051.8
1057.16	c Restart #57 #Var: 5622 LB: -269828766687 @ 1056.8
1062.33	c Restart #58 #Var: 5622 LB: -269828766687 @ 1062
1067.77	c Restart #59 #Var: 5622 LB: -269828766687 @ 1067.4
1072.94	c Restart #60 #Var: 5622 LB: -269828766687 @ 1072.6
1080.75	c Restart #61 #Var: 5622 LB: -269828766687 @ 1080.4
1088.10	c Restart #62 #Var: 5622 LB: -269828766687 @ 1087.7
1096.60	c Restart #63 #Var: 5622 LB: -269828766687 @ 1096.2
1104.00	c Restart #64 #Var: 5622 LB: -269828766687 @ 1103.6
1117.85	c Restart #65 #Var: 5622 LB: -269828766687 @ 1117.5
1126.24	c Restart #66 #Var: 5622 LB: -269828766687 @ 1125.9
1135.95	c Restart #67 #Var: 5622 LB: -269828766687 @ 1135.6
1143.84	c Restart #68 #Var: 5622 LB: -269828766687 @ 1143.5
1155.32	c Restart #69 #Var: 5622 LB: -269828766687 @ 1154.9
1163.81	c Restart #70 #Var: 5622 LB: -269828766687 @ 1163.4
1185.92	c Restart #71 #Var: 5622 LB: -269828766687 @ 1185.5
1194.49	c Restart #72 #Var: 5622 LB: -269828766687 @ 1194.1
1203.81	c Restart #73 #Var: 5622 LB: -269828766687 @ 1203.4
1212.50	c Restart #74 #Var: 5622 LB: -269828766687 @ 1212.1
1223.98	c Restart #75 #Var: 5622 LB: -269828766687 @ 1223.6
1233.55	c Restart #76 #Var: 5622 LB: -269828766687 @ 1233.2
1244.01	c Restart #77 #Var: 5622 LB: -269828766687 @ 1243.6
1253.29	c Restart #78 #Var: 5622 LB: -269828766687 @ 1252.9
1262.67	c Restart #79 #Var: 5622 LB: -269828766687 @ 1262.3
1272.88	c Restart #80 #Var: 5622 LB: -269828766687 @ 1272.5
1282.33	c Restart #81 #Var: 5622 LB: -269828766687 @ 1281.9
1292.57	c Restart #82 #Var: 5622 LB: -269828766687 @ 1292.1
1302.43	c Restart #83 #Var: 5622 LB: -269828766687 @ 1302
1313.05	c Restart #84 #Var: 5622 LB: -269828766687 @ 1312.6
1324.42	c Restart #85 #Var: 5622 LB: -269828766687 @ 1324
1335.88	c Restart #86 #Var: 5622 LB: -269828766687 @ 1335.5
1345.96	c Restart #87 #Var: 5622 LB: -269828766687 @ 1345.5
1356.70	c Restart #88 #Var: 5622 LB: -269828766687 @ 1356.3
1368.14	c Restart #89 #Var: 5621 LB: -269231340511 @ 1367.7
1379.03	c Restart #90 #Var: 5621 LB: -269231340511 @ 1378.6
1399.66	c Restart #91 #Var: 5621 LB: -269231340511 @ 1399.2
1410.60	c Restart #92 #Var: 5621 LB: -269231340511 @ 1410.1
1422.20	c Restart #93 #Var: 5621 LB: -269231340511 @ 1421.7
1434.14	c Restart #94 #Var: 5621 LB: -269231340511 @ 1433.7
1446.03	c Restart #95 #Var: 5621 LB: -269231340511 @ 1445.6
1456.49	c Restart #96 #Var: 5621 LB: -269231340511 @ 1456
1465.03	c Restart #97 #Var: 5621 LB: -269231340511 @ 1464.6
1478.59	c Restart #98 #Var: 5621 LB: -269231340511 @ 1478.1
1487.44	c Restart #99 #Var: 5621 LB: -269231340511 @ 1487
1498.84	c Restart #100 #Var: 5621 LB: -269231340511 @ 1498.4
1507.56	c Restart #101 #Var: 5621 LB: -269231340511 @ 1507.1
1517.04	c Restart #102 #Var: 5621 LB: -269231340511 @ 1516.6
1525.41	c Restart #103 #Var: 5621 LB: -269231340511 @ 1524.9
1531.13	c Restart #104 #Var: 5621 LB: -269231340511 @ 1530.6
1540.13	c Restart #105 #Var: 5621 LB: -269231340511 @ 1539.6
1553.57	c Restart #106 #Var: 5621 LB: -269231340511 @ 1553.1
1563.38	c Restart #107 #Var: 5621 LB: -269231340511 @ 1562.9
1591.96	c Restart #108 #Var: 5621 LB: -269231340511 @ 1591.4
1600.75	c Restart #109 #Var: 5621 LB: -269231340511 @ 1600.2
1612.12	c Restart #110 #Var: 5621 LB: -269231340511 @ 1611.6
1622.15	c Restart #111 #Var: 5621 LB: -269231340511 @ 1621.6
1630.53	c Restart #112 #Var: 5621 LB: -269231340511 @ 1630
1641.52	c Restart #113 #Var: 5621 LB: -269231340511 @ 1641
1657.06	c Restart #114 #Var: 5621 LB: -269231340511 @ 1656.5
1667.26	c Restart #115 #Var: 5621 LB: -269231340511 @ 1666.7
1725.18	c Restart #116 #Var: 5621 LB: -269231340511 @ 1724.6
1735.63	c Restart #117 #Var: 5621 LB: -269231340511 @ 1735.1
1749.80	c Restart #118 #Var: 5621 LB: -269231340511 @ 1749.2
1761.19	c Restart #119 #Var: 5621 LB: -269231340511 @ 1760.6
1776.09	c Restart #120 #Var: 5621 LB: -269231340511 @ 1775.5
1787.36	c Restart #121 #Var: 5621 LB: -269231340511 @ 1786.8
1800.58	s UNKNOWN
1800.58	c Exit Code: 0
1800.58	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/node10/watcher-40690-1149312429 -o ROOT/results/node10/solver-40690-1149312429 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node10/40690-1149312429/instance-40690-1149312429.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.97 0.99 0.99 3/64 27097
/proc/meminfo: memFree=1574160/2055920 swapFree=4181412/4192956
[pid=27097] ppid=27095 vsize=4664 CPUtime=0
/proc/27097/stat : 27097 (bsolo) R 27095 27097 27051 0 -1 0 155 0 0 0 0 0 0 0 19 0 1 0 196905286 4775936 135 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 8875284 0 0 4096 0 0 0 0 17 1 0 0
/proc/27097/statm: 1166 136 106 55 0 46 0

[startup+10.0028 s]
/proc/loadavg: 0.98 0.99 0.99 2/64 27097
/proc/meminfo: memFree=1560160/2055920 swapFree=4181412/4192956
[pid=27097] ppid=27095 vsize=19064 CPUtime=9.98
/proc/27097/stat : 27097 (bsolo) R 27095 27097 27051 0 -1 0 3917 0 0 0 962 36 0 0 25 0 1 0 196905286 19521536 3830 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27097/statm: 4766 3830 298 55 0 3658 0
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 19064

[startup+20.0101 s]
/proc/loadavg: 0.98 0.99 0.99 2/64 27097
/proc/meminfo: memFree=1556704/2055920 swapFree=4181412/4192956
[pid=27097] ppid=27095 vsize=22336 CPUtime=19.98
/proc/27097/stat : 27097 (bsolo) R 27095 27097 27051 0 -1 0 4789 0 0 0 1960 38 0 0 25 0 1 0 196905286 22872064 4666 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27097/statm: 5584 4666 298 55 0 4476 0
Current children cumulated CPU time (s) 19.98
Current children cumulated vsize (Kb) 22336

[startup+30.0165 s]
/proc/loadavg: 0.98 0.99 0.99 2/64 27097
/proc/meminfo: memFree=1547424/2055920 swapFree=4181412/4192956
[pid=27097] ppid=27095 vsize=31672 CPUtime=29.99
/proc/27097/stat : 27097 (bsolo) R 27095 27097 27051 0 -1 0 7319 0 0 0 2958 41 0 0 25 0 1 0 196905286 32432128 6996 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548379 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27097/statm: 7918 6996 298 55 0 6810 0
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 31672

[startup+40.0229 s]
/proc/loadavg: 0.98 0.99 0.99 2/64 27097
/proc/meminfo: memFree=1546848/2055920 swapFree=4181412/4192956
[pid=27097] ppid=27095 vsize=32096 CPUtime=39.99
/proc/27097/stat : 27097 (bsolo) R 27095 27097 27051 0 -1 0 7742 0 0 0 3957 42 0 0 25 0 1 0 196905286 32866304 7105 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548372 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27097/statm: 8024 7105 298 55 0 6916 0
Current children cumulated CPU time (s) 39.99
Current children cumulated vsize (Kb) 32096

[startup+50.0292 s]
/proc/loadavg: 1.06 1.00 1.00 2/64 27097
/proc/meminfo: memFree=1541088/2055920 swapFree=4181412/4192956
[pid=27097] ppid=27095 vsize=38016 CPUtime=49.99
/proc/27097/stat : 27097 (bsolo) R 27095 27097 27051 0 -1 0 9358 0 0 0 4956 43 0 0 25 0 1 0 196905286 38928384 8581 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27097/statm: 9504 8581 298 55 0 8396 0
Current children cumulated CPU time (s) 49.99
Current children cumulated vsize (Kb) 38016

[startup+60.0356 s]
/proc/loadavg: 1.05 1.00 1.00 2/64 27097
/proc/meminfo: memFree=1540448/2055920 swapFree=4181412/4192956
[pid=27097] ppid=27095 vsize=38576 CPUtime=59.99
/proc/27097/stat : 27097 (bsolo) R 27095 27097 27051 0 -1 0 9819 0 0 0 5955 44 0 0 25 0 1 0 196905286 39501824 8732 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557737 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27097/statm: 9644 8732 298 55 0 8536 0
Current children cumulated CPU time (s) 59.99
Current children cumulated vsize (Kb) 38576

[startup+70.042 s]
/proc/loadavg: 1.04 1.00 1.00 2/64 27097
/proc/meminfo: memFree=1540448/2055920 swapFree=4181412/4192956
[pid=27097] ppid=27095 vsize=38364 CPUtime=70
/proc/27097/stat : 27097 (bsolo) R 27095 27097 27051 0 -1 0 10040 0 0 0 6955 45 0 0 25 0 1 0 196905286 39284736 8687 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548375 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27097/statm: 9591 8687 298 55 0 8483 0
Current children cumulated CPU time (s) 70
Current children cumulated vsize (Kb) 38364

[startup+80.0483 s]
/proc/loadavg: 1.03 1.00 1.00 2/64 27097
/proc/meminfo: memFree=1540512/2055920 swapFree=4181412/4192956
[pid=27097] ppid=27095 vsize=38560 CPUtime=80
/proc/27097/stat : 27097 (bsolo) R 27095 27097 27051 0 -1 0 10084 0 0 0 7954 46 0 0 25 0 1 0 196905286 39485440 8716 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27097/statm: 9640 8716 298 55 0 8532 0
Current children cumulated CPU time (s) 80
Current children cumulated vsize (Kb) 38560

[startup+90.0547 s]
/proc/loadavg: 1.03 1.00 1.00 2/64 27097
/proc/meminfo: memFree=1540448/2055920 swapFree=4181412/4192956
[pid=27097] ppid=27095 vsize=38600 CPUtime=90.01
/proc/27097/stat : 27097 (bsolo) R 27095 27097 27051 0 -1 0 10113 0 0 0 8954 47 0 0 25 0 1 0 196905286 39526400 8738 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134525068 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27097/statm: 9650 8738 298 55 0 8542 0
Current children cumulated CPU time (s) 90.01
Current children cumulated vsize (Kb) 38600

[startup+100.061 s]
/proc/loadavg: 1.02 1.00 1.00 2/64 27097
/proc/meminfo: memFree=1525472/2055920 swapFree=4181412/4192956
[pid=27097] ppid=27095 vsize=53508 CPUtime=100
/proc/27097/stat : 27097 (bsolo) R 27095 27097 27051 0 -1 0 13923 0 0 0 9950 50 0 0 25 0 1 0 196905286 54792192 12470 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548233 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27097/statm: 13377 12470 298 55 0 12269 0
Current children cumulated CPU time (s) 100
Current children cumulated vsize (Kb) 53508

[startup+110.067 s]
/proc/loadavg: 1.02 1.00 1.00 2/64 27097
/proc/meminfo: memFree=1511776/2055920 swapFree=4181412/4192956
[pid=27097] ppid=27095 vsize=67224 CPUtime=110.01
/proc/27097/stat : 27097 (bsolo) R 27095 27097 27051 0 -1 0 17365 0 0 0 10948 53 0 0 25 0 1 0 196905286 68837376 15886 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27097/statm: 16806 15886 298 55 0 15698 0
Current children cumulated CPU time (s) 110.01
Current children cumulated vsize (Kb) 67224

[startup+120.074 s]
/proc/loadavg: 1.02 1.00 1.00 2/64 27097
/proc/meminfo: memFree=1511840/2055920 swapFree=4181412/4192956
[pid=27097] ppid=27095 vsize=67160 CPUtime=120.01
/proc/27097/stat : 27097 (bsolo) R 27095 27097 27051 0 -1 0 17616 0 0 0 11947 54 0 0 25 0 1 0 196905286 68771840 15863 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27097/statm: 16790 15863 298 55 0 15682 0
Current children cumulated CPU time (s) 120.01
Current children cumulated vsize (Kb) 67160

[startup+130.08 s]
/proc/loadavg: 1.01 1.00 1.00 2/64 27097
/proc/meminfo: memFree=1501856/2055920 swapFree=4181412/4192956
[pid=27097] ppid=27095 vsize=77072 CPUtime=130.02
/proc/27097/stat : 27097 (bsolo) R 27095 27097 27051 0 -1 0 20111 0 0 0 12945 57 0 0 25 0 1 0 196905286 78921728 18351 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27097/statm: 19268 18351 298 55 0 18160 0
Current children cumulated CPU time (s) 130.02
Current children cumulated vsize (Kb) 77072

[startup+140.087 s]
/proc/loadavg: 1.01 1.00 1.00 2/64 27097
/proc/meminfo: memFree=1501728/2055920 swapFree=4181412/4192956
[pid=27097] ppid=27095 vsize=77104 CPUtime=140.02
/proc/27097/stat : 27097 (bsolo) R 27095 27097 27051 0 -1 0 20288 0 0 0 13944 58 0 0 25 0 1 0 196905286 78954496 18363 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603842 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27097/statm: 19276 18363 298 55 0 18168 0
Current children cumulated CPU time (s) 140.02
Current children cumulated vsize (Kb) 77104

[startup+150.093 s]
/proc/loadavg: 1.01 1.00 1.00 2/64 27097
/proc/meminfo: memFree=1495264/2055920 swapFree=4181412/4192956
[pid=27097] ppid=27095 vsize=83716 CPUtime=150.02
/proc/27097/stat : 27097 (bsolo) R 27095 27097 27051 0 -1 0 21950 0 0 0 14941 61 0 0 25 0 1 0 196905286 85725184 19992 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 9336670 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27097/statm: 20929 19992 298 55 0 19821 0
Current children cumulated CPU time (s) 150.02
Current children cumulated vsize (Kb) 83716

[startup+160.099 s]
/proc/loadavg: 1.01 1.00 1.00 2/64 27097
/proc/meminfo: memFree=1491040/2055920 swapFree=4181412/4192956
[pid=27097] ppid=27095 vsize=87988 CPUtime=160.03
/proc/27097/stat : 27097 (bsolo) R 27095 27097 27051 0 -1 0 23062 0 0 0 15940 63 0 0 25 0 1 0 196905286 90099712 21053 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27097/statm: 21997 21053 298 55 0 20889 0
Current children cumulated CPU time (s) 160.03
Current children cumulated vsize (Kb) 87988

[startup+170.105 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 27097
/proc/meminfo: memFree=1490912/2055920 swapFree=4181412/4192956
[pid=27097] ppid=27095 vsize=87988 CPUtime=170.03
/proc/27097/stat : 27097 (bsolo) R 27095 27097 27051 0 -1 0 23118 0 0 0 16939 64 0 0 25 0 1 0 196905286 90099712 21065 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524867 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27097/statm: 21997 21065 298 55 0 20889 0
Current children cumulated CPU time (s) 170.03
Current children cumulated vsize (Kb) 87988

[startup+180.111 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 27097
/proc/meminfo: memFree=1490528/2055920 swapFree=4181412/4192956
[pid=27097] ppid=27095 vsize=88444 CPUtime=180.03
/proc/27097/stat : 27097 (bsolo) R 27095 27097 27051 0 -1 0 23229 0 0 0 17938 65 0 0 25 0 1 0 196905286 90566656 21176 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27097/statm: 22111 21176 298 55 0 21003 0
Current children cumulated CPU time (s) 180.03
Current children cumulated vsize (Kb) 88444

[startup+190.117 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 27097
/proc/meminfo: memFree=1490400/2055920 swapFree=4181412/4192956
[pid=27097] ppid=27095 vsize=88600 CPUtime=190.04
/proc/27097/stat : 27097 (bsolo) R 27095 27097 27051 0 -1 0 23419 0 0 0 18938 66 0 0 25 0 1 0 196905286 90726400 21209 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548375 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27097/statm: 22150 21209 298 55 0 21042 0
Current children cumulated CPU time (s) 190.04
Current children cumulated vsize (Kb) 88600

[startup+200.124 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 27097
/proc/meminfo: memFree=1490272/2055920 swapFree=4181412/4192956
[pid=27097] ppid=27095 vsize=88708 CPUtime=200.04
/proc/27097/stat : 27097 (bsolo) R 27095 27097 27051 0 -1 0 23561 0 0 0 19938 66 0 0 25 0 1 0 196905286 90836992 21232 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27097/statm: 22177 21232 298 55 0 21069 0
Current children cumulated CPU time (s) 200.04
Current children cumulated vsize (Kb) 88708

[startup+210.13 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 27097
/proc/meminfo: memFree=1489952/2055920 swapFree=4181412/4192956

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

/proc/27097/statm: 129911 128643 298 55 0 128803 0
Current children cumulated CPU time (s) 1760.53
Current children cumulated vsize (Kb) 519644

[startup+1771.12 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 27099
/proc/meminfo: memFree=1040416/2055920 swapFree=4181412/4192956
[pid=27097] ppid=27095 vsize=538652 CPUtime=1770.54
/proc/27097/stat : 27097 (bsolo) R 27095 27097 27051 0 -1 0 139754 0 0 0 176779 275 0 0 25 0 1 0 196905286 551579648 133394 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557744 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27097/statm: 134663 133394 298 55 0 133555 0
Current children cumulated CPU time (s) 1770.54
Current children cumulated vsize (Kb) 538652

[startup+1781.12 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 27099
/proc/meminfo: memFree=1030176/2055920 swapFree=4181412/4192956
[pid=27097] ppid=27095 vsize=548944 CPUtime=1780.54
/proc/27097/stat : 27097 (bsolo) R 27095 27097 27051 0 -1 0 142304 0 0 0 177776 278 0 0 25 0 1 0 196905286 562118656 135944 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27097/statm: 137236 135944 298 55 0 136128 0
Current children cumulated CPU time (s) 1780.54
Current children cumulated vsize (Kb) 548944

[startup+1782.13 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 27099
/proc/meminfo: memFree=1030176/2055920 swapFree=4181412/4192956
[pid=27097] ppid=27095 vsize=548944 CPUtime=1781.55
/proc/27097/stat : 27097 (bsolo) R 27095 27097 27051 0 -1 0 142308 0 0 0 177876 279 0 0 25 0 1 0 196905286 562118656 135948 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134547755 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27097/statm: 137236 135948 298 55 0 136128 0
Current children cumulated CPU time (s) 1781.55
Current children cumulated vsize (Kb) 548944

[startup+1783.13 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 27099
/proc/meminfo: memFree=1030176/2055920 swapFree=4181412/4192956
[pid=27097] ppid=27095 vsize=548944 CPUtime=1782.55
/proc/27097/stat : 27097 (bsolo) R 27095 27097 27051 0 -1 0 142308 0 0 0 177976 279 0 0 25 0 1 0 196905286 562118656 135948 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134547488 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27097/statm: 137236 135948 298 55 0 136128 0
Current children cumulated CPU time (s) 1782.55
Current children cumulated vsize (Kb) 548944

[startup+1784.14 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 27099
/proc/meminfo: memFree=1030176/2055920 swapFree=4181412/4192956
[pid=27097] ppid=27095 vsize=548944 CPUtime=1783.56
/proc/27097/stat : 27097 (bsolo) R 27095 27097 27051 0 -1 0 142308 0 0 0 178077 279 0 0 25 0 1 0 196905286 562118656 135948 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27097/statm: 137236 135948 298 55 0 136128 0
Current children cumulated CPU time (s) 1783.56
Current children cumulated vsize (Kb) 548944

[startup+1785.14 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 27099
/proc/meminfo: memFree=1030176/2055920 swapFree=4181412/4192956
[pid=27097] ppid=27095 vsize=548944 CPUtime=1784.56
/proc/27097/stat : 27097 (bsolo) R 27095 27097 27051 0 -1 0 142308 0 0 0 178177 279 0 0 25 0 1 0 196905286 562118656 135948 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27097/statm: 137236 135948 298 55 0 136128 0
Current children cumulated CPU time (s) 1784.56
Current children cumulated vsize (Kb) 548944

[startup+1786.15 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 27099
/proc/meminfo: memFree=1030176/2055920 swapFree=4181412/4192956
[pid=27097] ppid=27095 vsize=548944 CPUtime=1785.56
/proc/27097/stat : 27097 (bsolo) R 27095 27097 27051 0 -1 0 142308 0 0 0 178277 279 0 0 25 0 1 0 196905286 562118656 135948 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27097/statm: 137236 135948 298 55 0 136128 0
Current children cumulated CPU time (s) 1785.56
Current children cumulated vsize (Kb) 548944

[startup+1787.15 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 27099
/proc/meminfo: memFree=1029472/2055920 swapFree=4181412/4192956
[pid=27097] ppid=27095 vsize=549600 CPUtime=1786.57
/proc/27097/stat : 27097 (bsolo) R 27095 27097 27051 0 -1 0 142489 0 0 0 178378 279 0 0 25 0 1 0 196905286 562790400 136129 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27097/statm: 137400 136129 298 55 0 136292 0
Current children cumulated CPU time (s) 1786.57
Current children cumulated vsize (Kb) 549600

[startup+1788.16 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 27099
/proc/meminfo: memFree=1028128/2055920 swapFree=4181412/4192956
[pid=27097] ppid=27095 vsize=550916 CPUtime=1787.58
/proc/27097/stat : 27097 (bsolo) R 27095 27097 27051 0 -1 0 142817 0 0 0 178478 280 0 0 25 0 1 0 196905286 564137984 136457 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27097/statm: 137729 136457 298 55 0 136621 0
Current children cumulated CPU time (s) 1787.58
Current children cumulated vsize (Kb) 550916

[startup+1789.16 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 27099
/proc/meminfo: memFree=1028064/2055920 swapFree=4181412/4192956
[pid=27097] ppid=27095 vsize=551048 CPUtime=1788.58
/proc/27097/stat : 27097 (bsolo) R 27095 27097 27051 0 -1 0 142835 0 0 0 178578 280 0 0 25 0 1 0 196905286 564273152 136475 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528714 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27097/statm: 137762 136475 298 55 0 136654 0
Current children cumulated CPU time (s) 1788.58
Current children cumulated vsize (Kb) 551048

[startup+1790.17 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 27099
/proc/meminfo: memFree=1028064/2055920 swapFree=4181412/4192956
[pid=27097] ppid=27095 vsize=551048 CPUtime=1789.58
/proc/27097/stat : 27097 (bsolo) R 27095 27097 27051 0 -1 0 142843 0 0 0 178678 280 0 0 25 0 1 0 196905286 564273152 136483 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27097/statm: 137762 136483 298 55 0 136654 0
Current children cumulated CPU time (s) 1789.58
Current children cumulated vsize (Kb) 551048

[startup+1791.17 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 27099
/proc/meminfo: memFree=1028000/2055920 swapFree=4181412/4192956
[pid=27097] ppid=27095 vsize=551048 CPUtime=1790.59
/proc/27097/stat : 27097 (bsolo) R 27095 27097 27051 0 -1 0 142846 0 0 0 178779 280 0 0 25 0 1 0 196905286 564273152 136486 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529176 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27097/statm: 137762 136486 298 55 0 136654 0
Current children cumulated CPU time (s) 1790.59
Current children cumulated vsize (Kb) 551048

[startup+1792.18 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 27099
/proc/meminfo: memFree=1028000/2055920 swapFree=4181412/4192956
[pid=27097] ppid=27095 vsize=551180 CPUtime=1791.59
/proc/27097/stat : 27097 (bsolo) R 27095 27097 27051 0 -1 0 142855 0 0 0 178879 280 0 0 25 0 1 0 196905286 564408320 136495 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529337 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27097/statm: 137795 136495 298 55 0 136687 0
Current children cumulated CPU time (s) 1791.59
Current children cumulated vsize (Kb) 551180

[startup+1793.18 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 27099
/proc/meminfo: memFree=1027808/2055920 swapFree=4181412/4192956
[pid=27097] ppid=27095 vsize=551312 CPUtime=1792.6
/proc/27097/stat : 27097 (bsolo) R 27095 27097 27051 0 -1 0 142903 0 0 0 178980 280 0 0 25 0 1 0 196905286 564543488 136543 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27097/statm: 137828 136543 298 55 0 136720 0
Current children cumulated CPU time (s) 1792.6
Current children cumulated vsize (Kb) 551312

[startup+1794.19 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 27099
/proc/meminfo: memFree=1027616/2055920 swapFree=4181412/4192956
[pid=27097] ppid=27095 vsize=551444 CPUtime=1793.6
/proc/27097/stat : 27097 (bsolo) R 27095 27097 27051 0 -1 0 142952 0 0 0 179080 280 0 0 25 0 1 0 196905286 564678656 136592 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27097/statm: 137861 136592 298 55 0 136753 0
Current children cumulated CPU time (s) 1793.6
Current children cumulated vsize (Kb) 551444

[startup+1795.19 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 27099
/proc/meminfo: memFree=1027552/2055920 swapFree=4181412/4192956
[pid=27097] ppid=27095 vsize=551576 CPUtime=1794.61
/proc/27097/stat : 27097 (bsolo) R 27095 27097 27051 0 -1 0 142955 0 0 0 179180 281 0 0 25 0 1 0 196905286 564813824 136595 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534926 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27097/statm: 137894 136595 298 55 0 136786 0
Current children cumulated CPU time (s) 1794.61
Current children cumulated vsize (Kb) 551576

[startup+1796.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 27099
/proc/meminfo: memFree=1027552/2055920 swapFree=4181412/4192956
[pid=27097] ppid=27095 vsize=551576 CPUtime=1795.61
/proc/27097/stat : 27097 (bsolo) R 27095 27097 27051 0 -1 0 142957 0 0 0 179280 281 0 0 25 0 1 0 196905286 564813824 136597 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27097/statm: 137894 136597 298 55 0 136786 0
Current children cumulated CPU time (s) 1795.61
Current children cumulated vsize (Kb) 551576

[startup+1797.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 27099
/proc/meminfo: memFree=1027552/2055920 swapFree=4181412/4192956
[pid=27097] ppid=27095 vsize=551576 CPUtime=1796.62
/proc/27097/stat : 27097 (bsolo) R 27095 27097 27051 0 -1 0 142957 0 0 0 179381 281 0 0 25 0 1 0 196905286 564813824 136597 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27097/statm: 137894 136597 298 55 0 136786 0
Current children cumulated CPU time (s) 1796.62
Current children cumulated vsize (Kb) 551576

[startup+1798.21 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 27099
/proc/meminfo: memFree=1027552/2055920 swapFree=4181412/4192956
[pid=27097] ppid=27095 vsize=551576 CPUtime=1797.62
/proc/27097/stat : 27097 (bsolo) R 27095 27097 27051 0 -1 0 142965 0 0 0 179481 281 0 0 25 0 1 0 196905286 564813824 136605 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27097/statm: 137894 136605 298 55 0 136786 0
Current children cumulated CPU time (s) 1797.62
Current children cumulated vsize (Kb) 551576

[startup+1799.21 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 27099
/proc/meminfo: memFree=1027488/2055920 swapFree=4181412/4192956
[pid=27097] ppid=27095 vsize=551576 CPUtime=1798.63
/proc/27097/stat : 27097 (bsolo) R 27095 27097 27051 0 -1 0 142968 0 0 0 179582 281 0 0 25 0 1 0 196905286 564813824 136608 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27097/statm: 137894 136608 298 55 0 136786 0
Current children cumulated CPU time (s) 1798.63
Current children cumulated vsize (Kb) 551576

[startup+1800.22 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 27099
/proc/meminfo: memFree=1027488/2055920 swapFree=4181412/4192956
[pid=27097] ppid=27095 vsize=551576 CPUtime=1799.63
/proc/27097/stat : 27097 (bsolo) R 27095 27097 27051 0 -1 0 142972 0 0 0 179682 281 0 0 25 0 1 0 196905286 564813824 136612 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607302 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27097/statm: 137894 136612 298 55 0 136786 0
Current children cumulated CPU time (s) 1799.63
Current children cumulated vsize (Kb) 551576

Child status: 0
Real time (s): 1800.67
CPU time (s): 1800.09
CPU user time (s): 1797.19
CPU system time (s): 2.89856
CPU usage (%): 99.9677
Max. virtual memory (cumulated for all children) (Kb): 551576

Launcher Data (download as text)

Begin job on node10 on Sat Jun  3 05:27:09 UTC 2006


FILE ID= 40690-1149312429

PBS_JOBID= 308073

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

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  89b57889d16cd406631a12aac7aefa29

RANDOM SEED= 783258328


/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.236
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.236
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:       1574440 kB
Buffers:         23312 kB
Cached:         384544 kB
SwapCached:       3340 kB
Active:          24464 kB
Inactive:       392204 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1574440 kB
SwapTotal:     4192956 kB
SwapFree:      4181412 kB
Dirty:             152 kB
Writeback:           0 kB
Mapped:          14932 kB
Slab:            50884 kB
Committed_AS:   326984 kB
PageTables:       1412 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node10 on Sat Jun  3 05:57:10 UTC 2006