Trace number 39888

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.26 1800.77

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-gfrd-pnc.opb
MD5SUM79ac545a8fcf117e4e23dd9b4f8255c5
Bench CategoryOPT-SMALLINT (optimisation, small 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 variables27888
Total number of constraints874
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 constraints874
Minimum length of a constraint11
Maximum length of a constraint246
Number of terms in the objective function 27836
Biggest coefficient in the objective function 8308
Number of bits for the biggest coefficient in the objective function 14
Sum of the numbers in the objective function 546265
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262145
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 546265
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

0.00	c Time Limit set via PBTIMEOUT to 1800
0.02	c INFO: OSL Context initialized.
1.11	c Initial problem consists of 27888 variables and 1406 constraints.
1.18	c No problem reductions applied in OPT. instance.
1.18	c	preprocess terminated. Elapsed time: 1.162
1.18	c After prepocess the problem consists of 25934 variables and 1370 constraints.
1.18	c Initial Lower Bound: 0
2.00	c Restart #1 #Var: 25934 LB: 0 @ 1.987
3.51	c Restart #2 #Var: 25934 LB: 0 @ 3.494
6.09	c Restart #3 #Var: 25934 LB: 0 @ 6.075
8.96	c Restart #4 #Var: 25934 LB: 0 @ 8.941
11.79	c Restart #5 #Var: 25934 LB: 0 @ 11.763
15.57	c Restart #6 #Var: 25934 LB: 0 @ 15.548
21.25	c Restart #7 #Var: 25934 LB: 0 @ 21.228
25.45	c Restart #8 #Var: 25934 LB: 0 @ 25.422
27.88	c Restart #9 #Var: 25923 LB: 0 @ 27.855
28.33	c Restart #10 #Var: 25920 LB: 0 @ 28.305
28.62	c Restart #11 #Var: 25912 LB: 0 @ 28.59
29.39	c Restart #12 #Var: 25912 LB: 0 @ 29.367
29.78	c Restart #13 #Var: 25909 LB: 0 @ 29.755
29.96	c Restart #14 #Var: 25909 LB: 0 @ 29.929
30.19	c Restart #15 #Var: 25907 LB: 0 @ 30.167
30.98	c Restart #16 #Var: 25907 LB: 0 @ 30.954
31.22	c Restart #17 #Var: 25878 LB: 0 @ 31.195
31.59	c Restart #18 #Var: 25878 LB: 0 @ 31.56
31.84	c Restart #19 #Var: 25849 LB: 0 @ 31.813
32.24	c Restart #20 #Var: 25849 LB: 0 @ 32.216
32.46	c Restart #21 #Var: 25849 LB: 0 @ 32.429
32.75	c Restart #22 #Var: 25849 LB: 0 @ 32.724
33.07	c Restart #23 #Var: 25849 LB: 0 @ 33.04
33.87	c Restart #24 #Var: 25847 LB: 0 @ 33.842
34.75	c Restart #25 #Var: 25810 LB: 0 @ 34.725
35.65	c Restart #26 #Var: 25802 LB: 0 @ 35.622
37.22	c Restart #27 #Var: 25802 LB: 0 @ 37.192
37.95	c Restart #28 #Var: 25785 LB: 0 @ 37.918
38.82	c Restart #29 #Var: 25776 LB: 0 @ 38.792
39.45	c Restart #30 #Var: 25776 LB: 0 @ 39.422
40.12	c Restart #31 #Var: 25768 LB: 0 @ 40.091
41.24	c Restart #32 #Var: 25767 LB: 0 @ 41.212
42.15	c Restart #33 #Var: 25764 LB: 0 @ 42.116
43.27	c Restart #34 #Var: 25761 LB: 0 @ 43.241
45.23	c Restart #35 #Var: 25760 LB: 0 @ 45.203
46.46	c Restart #36 #Var: 25760 LB: 0 @ 46.426
48.53	c Restart #37 #Var: 25753 LB: 0 @ 48.501
49.87	c Restart #38 #Var: 25752 LB: 0 @ 49.842
51.81	c Restart #39 #Var: 25752 LB: 0 @ 51.78
55.39	c Restart #40 #Var: 25752 LB: 0 @ 55.357
70.58	c Restart #41 #Var: 25752 LB: 0 @ 70.541
72.97	c Restart #42 #Var: 25745 LB: 0 @ 72.934
77.54	c Restart #43 #Var: 25740 LB: 0 @ 77.505
82.07	c Restart #44 #Var: 25728 LB: 0 @ 82.034
83.66	c Restart #45 #Var: 25728 LB: 0 @ 83.615
84.38	c Restart #46 #Var: 25728 LB: 0 @ 84.339
89.93	c Restart #47 #Var: 25727 LB: 0 @ 89.886
95.53	c Restart #48 #Var: 25727 LB: 0 @ 95.481
99.69	c Restart #49 #Var: 25718 LB: 0 @ 99.643
101.80	c Restart #50 #Var: 25692 LB: 0 @ 101.75
108.05	c Restart #51 #Var: 25662 LB: 0 @ 108
109.33	c Restart #52 #Var: 25660 LB: 0 @ 109.28
110.91	c Restart #53 #Var: 25657 LB: 0 @ 110.86
111.61	c Restart #54 #Var: 25656 LB: 0 @ 111.56
112.91	c Restart #55 #Var: 25656 LB: 0 @ 112.86
119.86	c Restart #56 #Var: 25656 LB: 0 @ 119.81
123.99	c Restart #57 #Var: 25639 LB: 0 @ 123.94
125.95	c Restart #58 #Var: 25637 LB: 0 @ 125.9
128.23	c Restart #59 #Var: 25617 LB: 0 @ 128.18
128.99	c Restart #60 #Var: 25617 LB: 0 @ 128.94
130.77	c Restart #61 #Var: 25616 LB: 0 @ 130.71
134.20	c Restart #62 #Var: 25614 LB: 0 @ 134.14
135.03	c Restart #63 #Var: 25614 LB: 0 @ 134.98
136.40	c Restart #64 #Var: 25614 LB: 0 @ 136.34
138.41	c Restart #65 #Var: 25614 LB: 0 @ 138.36
143.70	c Restart #66 #Var: 25610 LB: 0 @ 143.65
145.37	c Restart #67 #Var: 25610 LB: 0 @ 145.31
148.79	c Restart #68 #Var: 25610 LB: 0 @ 148.73
151.04	c Restart #69 #Var: 25600 LB: 0 @ 150.98
154.98	c Restart #70 #Var: 25592 LB: 0 @ 154.92
163.44	c Restart #71 #Var: 25591 LB: 0 @ 163.38
166.26	c Restart #72 #Var: 25589 LB: 0 @ 166.2
171.55	c Restart #73 #Var: 25589 LB: 0 @ 171.49
176.87	c Restart #74 #Var: 25588 LB: 0 @ 176.8
179.63	c Restart #75 #Var: 25588 LB: 0 @ 179.57
181.66	c Restart #76 #Var: 25588 LB: 0 @ 181.59
185.61	c Restart #77 #Var: 25587 LB: 0 @ 185.54
188.20	c Restart #78 #Var: 25587 LB: 0 @ 188.13
190.57	c Restart #79 #Var: 25586 LB: 0 @ 190.5
194.24	c Restart #80 #Var: 25580 LB: 0 @ 194.17
205.94	c Restart #81 #Var: 25579 LB: 0 @ 205.87
214.01	c Restart #82 #Var: 25579 LB: 0 @ 213.93
219.94	c Restart #83 #Var: 25573 LB: 0 @ 219.86
233.54	c Restart #84 #Var: 25567 LB: 0 @ 233.46
238.96	c Restart #85 #Var: 25567 LB: 0 @ 238.87
246.97	c Restart #86 #Var: 25546 LB: 0 @ 246.88
254.18	c Restart #87 #Var: 25536 LB: 0 @ 254.09
259.90	c Restart #88 #Var: 25527 LB: 0 @ 259.81
261.53	c Restart #89 #Var: 25527 LB: 0 @ 261.44
273.51	c Restart #90 #Var: 25519 LB: 0 @ 273.42
280.79	c Restart #91 #Var: 25518 LB: 0 @ 280.7
288.68	c Restart #92 #Var: 25506 LB: 0 @ 288.58
301.47	c Restart #93 #Var: 25504 LB: 0 @ 301.37
308.36	c Restart #94 #Var: 25504 LB: 0 @ 308.25
310.57	c Restart #95 #Var: 25504 LB: 0 @ 310.47
319.57	c Restart #96 #Var: 25493 LB: 0 @ 319.46
356.78	c Restart #97 #Var: 25493 LB: 0 @ 356.67
364.93	c Restart #98 #Var: 25493 LB: 0 @ 364.82
406.05	c Restart #99 #Var: 25493 LB: 0 @ 405.92
408.55	c Restart #100 #Var: 25493 LB: 0 @ 408.42
424.94	c Restart #101 #Var: 25493 LB: 0 @ 424.81
471.68	c Restart #102 #Var: 25493 LB: 0 @ 471.54
478.18	c Restart #103 #Var: 25491 LB: 0 @ 478.04
487.76	c Restart #104 #Var: 25488 LB: 0 @ 487.61
511.63	c Restart #105 #Var: 25487 LB: 0 @ 511.48
515.29	c Restart #106 #Var: 25486 LB: 0 @ 515.13
517.27	c Restart #107 #Var: 25486 LB: 0 @ 517.11
550.87	c Restart #108 #Var: 25486 LB: 0 @ 550.7
557.39	c Restart #109 #Var: 25486 LB: 0 @ 557.22
561.68	c Restart #110 #Var: 25486 LB: 0 @ 561.51
566.99	c Restart #111 #Var: 25486 LB: 0 @ 566.82
574.75	c Restart #112 #Var: 25482 LB: 0 @ 574.58
581.29	c Restart #113 #Var: 25474 LB: 0 @ 581.12
594.30	c Restart #114 #Var: 25473 LB: 0 @ 594.12
598.02	c Restart #115 #Var: 25473 LB: 0 @ 597.84
613.22	c Restart #116 #Var: 25473 LB: 0 @ 613.04
632.74	c Restart #117 #Var: 25473 LB: 0 @ 632.55
650.19	c Restart #118 #Var: 25473 LB: 0 @ 650
667.41	c Restart #119 #Var: 25471 LB: 0 @ 667.21
707.77	c Restart #120 #Var: 25464 LB: 0 @ 707.56
722.11	c Restart #121 #Var: 25455 LB: 0 @ 721.9
735.11	c Restart #122 #Var: 25452 LB: 0 @ 734.9
787.57	c Restart #123 #Var: 25452 LB: 0 @ 787.34
792.51	c Restart #124 #Var: 25451 LB: 0 @ 792.28
805.32	c Restart #125 #Var: 25451 LB: 0 @ 805.09
824.19	c Restart #126 #Var: 25451 LB: 0 @ 823.96
830.05	c Restart #127 #Var: 25451 LB: 0 @ 829.81
838.12	c Restart #128 #Var: 25451 LB: 0 @ 837.88
856.72	c Restart #129 #Var: 25450 LB: 0 @ 856.47
989.17	c CHANGE Heuristic... 
989.17	c Restart #0 #Var: 25450 LB: 0 @ 988.87
992.02	c Restart #1 #Var: 25450 LB: 0 @ 991.72
994.85	c Restart #2 #Var: 25450 LB: 0 @ 994.55
995.56	c Restart #3 #Var: 25449 LB: 0 @ 995.26
997.88	c Restart #4 #Var: 25446 LB: 0 @ 997.58
1003.45	c Restart #5 #Var: 25446 LB: 0 @ 1003.1
1005.02	c Restart #6 #Var: 25446 LB: 0 @ 1004.7
1011.90	c Restart #7 #Var: 25441 LB: 0 @ 1011.6
1021.48	c Restart #8 #Var: 25441 LB: 0 @ 1021.2
1022.01	c Restart #9 #Var: 25441 LB: 0 @ 1021.7
1023.04	c Restart #10 #Var: 25441 LB: 0 @ 1022.7
1031.10	c Restart #11 #Var: 25441 LB: 0 @ 1030.8
1034.49	c Restart #12 #Var: 25441 LB: 0 @ 1034.2
1036.25	c Restart #13 #Var: 25441 LB: 0 @ 1035.9
1043.14	c Restart #14 #Var: 25437 LB: 0 @ 1042.8
1045.11	c Restart #15 #Var: 25437 LB: 0 @ 1044.8
1047.91	c Restart #16 #Var: 25437 LB: 0 @ 1047.6
1049.49	c Restart #17 #Var: 25437 LB: 0 @ 1049.2
1050.72	c Restart #18 #Var: 25437 LB: 0 @ 1050.4
1053.03	c Restart #19 #Var: 25437 LB: 0 @ 1052.7
1053.40	c Restart #20 #Var: 25437 LB: 0 @ 1053.1
1053.79	c Restart #21 #Var: 25437 LB: 0 @ 1053.5
1054.59	c Restart #22 #Var: 25437 LB: 0 @ 1054.3
1054.97	c Restart #23 #Var: 25437 LB: 0 @ 1054.7
1055.36	c Restart #24 #Var: 25437 LB: 0 @ 1055
1055.73	c Restart #25 #Var: 25437 LB: 0 @ 1055.4
1056.16	c Restart #26 #Var: 25437 LB: 0 @ 1055.8
1056.56	c Restart #27 #Var: 25437 LB: 0 @ 1056.2
1057.02	c Restart #28 #Var: 25437 LB: 0 @ 1056.7
1057.46	c Restart #29 #Var: 25437 LB: 0 @ 1057.1
1057.95	c Restart #30 #Var: 25437 LB: 0 @ 1057.6
1058.42	c Restart #31 #Var: 25437 LB: 0 @ 1058.1
1058.97	c Restart #32 #Var: 25437 LB: 0 @ 1058.7
1059.50	c Restart #33 #Var: 25437 LB: 0 @ 1059.2
1060.23	c Restart #34 #Var: 25437 LB: 0 @ 1059.9
1061.01	c Restart #35 #Var: 25437 LB: 0 @ 1060.7
1061.59	c Restart #36 #Var: 25437 LB: 0 @ 1061.3
1062.14	c Restart #37 #Var: 25437 LB: 0 @ 1061.8
1062.75	c Restart #38 #Var: 25437 LB: 0 @ 1062.4
1063.32	c Restart #39 #Var: 25437 LB: 0 @ 1063
1067.03	c Restart #40 #Var: 25437 LB: 0 @ 1066.7
1068.24	c Restart #41 #Var: 25437 LB: 0 @ 1067.9
1072.68	c Restart #42 #Var: 25433 LB: 0 @ 1072.4
1074.94	c Restart #43 #Var: 25432 LB: 0 @ 1074.6
1080.46	c Restart #44 #Var: 25430 LB: 0 @ 1080.1
1081.38	c Restart #45 #Var: 25430 LB: 0 @ 1081.1
1082.16	c Restart #46 #Var: 25430 LB: 0 @ 1081.8
1082.89	c Restart #47 #Var: 25430 LB: 0 @ 1082.6
1083.70	c Restart #48 #Var: 25430 LB: 0 @ 1083.4
1084.47	c Restart #49 #Var: 25430 LB: 0 @ 1084.1
1085.31	c Restart #50 #Var: 25430 LB: 0 @ 1085
1086.23	c Restart #51 #Var: 25430 LB: 0 @ 1085.9
1087.41	c Restart #52 #Var: 25430 LB: 0 @ 1087.1
1088.30	c Restart #53 #Var: 25430 LB: 0 @ 1088
1089.17	c Restart #54 #Var: 25430 LB: 0 @ 1088.8
1090.00	c Restart #55 #Var: 25430 LB: 0 @ 1089.7
1090.91	c Restart #56 #Var: 25430 LB: 0 @ 1090.6
1091.78	c Restart #57 #Var: 25430 LB: 0 @ 1091.5
1092.71	c Restart #58 #Var: 25430 LB: 0 @ 1092.4
1093.61	c Restart #59 #Var: 25430 LB: 0 @ 1093.3
1094.58	c Restart #60 #Var: 25430 LB: 0 @ 1094.3
1095.51	c Restart #61 #Var: 25430 LB: 0 @ 1095.2
1096.50	c Restart #62 #Var: 25430 LB: 0 @ 1096.2
1097.47	c Restart #63 #Var: 25430 LB: 0 @ 1097.1
1098.51	c Restart #64 #Var: 25430 LB: 0 @ 1098.2
1099.51	c Restart #65 #Var: 25430 LB: 0 @ 1099.2
1100.59	c Restart #66 #Var: 25430 LB: 0 @ 1100.3
1101.62	c Restart #67 #Var: 25430 LB: 0 @ 1101.3
1102.73	c Restart #68 #Var: 25430 LB: 0 @ 1102.4
1103.80	c Restart #69 #Var: 25430 LB: 0 @ 1103.5
1104.92	c Restart #70 #Var: 25430 LB: 0 @ 1104.6
1105.98	c Restart #71 #Var: 25430 LB: 0 @ 1105.6
1107.11	c Restart #72 #Var: 25430 LB: 0 @ 1106.8
1108.19	c Restart #73 #Var: 25430 LB: 0 @ 1107.9
1109.35	c Restart #74 #Var: 25430 LB: 0 @ 1109
1110.46	c Restart #75 #Var: 25430 LB: 0 @ 1110.1
1111.64	c Restart #76 #Var: 25430 LB: 0 @ 1111.3
1112.78	c Restart #77 #Var: 25430 LB: 0 @ 1112.5
1113.97	c Restart #78 #Var: 25430 LB: 0 @ 1113.6
1115.15	c Restart #79 #Var: 25430 LB: 0 @ 1114.8
1116.37	c Restart #80 #Var: 25430 LB: 0 @ 1116
1117.58	c Restart #81 #Var: 25430 LB: 0 @ 1117.2
1118.84	c Restart #82 #Var: 25430 LB: 0 @ 1118.5
1120.09	c Restart #83 #Var: 25430 LB: 0 @ 1119.8
1121.38	c Restart #84 #Var: 25430 LB: 0 @ 1121.1
1122.67	c Restart #85 #Var: 25430 LB: 0 @ 1122.3
1124.00	c Restart #86 #Var: 25430 LB: 0 @ 1123.7
1125.32	c Restart #87 #Var: 25430 LB: 0 @ 1125
1126.67	c Restart #88 #Var: 25430 LB: 0 @ 1126.3
1128.02	c Restart #89 #Var: 25430 LB: 0 @ 1127.7
1129.40	c Restart #90 #Var: 25430 LB: 0 @ 1129.1
1130.77	c Restart #91 #Var: 25430 LB: 0 @ 1130.4
1132.19	c Restart #92 #Var: 25430 LB: 0 @ 1131.9
1133.60	c Restart #93 #Var: 25430 LB: 0 @ 1133.3
1135.03	c Restart #94 #Var: 25430 LB: 0 @ 1134.7
1136.49	c Restart #95 #Var: 25430 LB: 0 @ 1136.2
1137.96	c Restart #96 #Var: 25430 LB: 0 @ 1137.6
1139.45	c Restart #97 #Var: 25430 LB: 0 @ 1139.1
1140.98	c Restart #98 #Var: 25430 LB: 0 @ 1140.6
1142.50	c Restart #99 #Var: 25430 LB: 0 @ 1142.2
1144.05	c Restart #100 #Var: 25430 LB: 0 @ 1143.7
1145.61	c Restart #101 #Var: 25430 LB: 0 @ 1145.3
1147.21	c Restart #102 #Var: 25430 LB: 0 @ 1146.9
1148.78	c Restart #103 #Var: 25430 LB: 0 @ 1148.4
1150.42	c Restart #104 #Var: 25430 LB: 0 @ 1150.1
1152.04	c Restart #105 #Var: 25430 LB: 0 @ 1151.7
1153.73	c Restart #106 #Var: 25430 LB: 0 @ 1153.4
1155.37	c Restart #107 #Var: 25430 LB: 0 @ 1155
1157.10	c Restart #108 #Var: 25430 LB: 0 @ 1156.8
1158.82	c Restart #109 #Var: 25430 LB: 0 @ 1158.5
1160.63	c Restart #110 #Var: 25430 LB: 0 @ 1160.3
1162.41	c Restart #111 #Var: 25430 LB: 0 @ 1162.1
1164.24	c Restart #112 #Var: 25430 LB: 0 @ 1163.9
1166.06	c Restart #113 #Var: 25430 LB: 0 @ 1165.7
1167.93	c Restart #114 #Var: 25430 LB: 0 @ 1167.6
1169.77	c Restart #115 #Var: 25430 LB: 0 @ 1169.4
1171.63	c Restart #116 #Var: 25430 LB: 0 @ 1171.3
1173.51	c Restart #117 #Var: 25430 LB: 0 @ 1173.2
1175.42	c Restart #118 #Var: 25430 LB: 0 @ 1175.1
1177.30	c Restart #119 #Var: 25430 LB: 0 @ 1177
1179.28	c Restart #120 #Var: 25430 LB: 0 @ 1178.9
1181.20	c Restart #121 #Var: 25430 LB: 0 @ 1180.9
1183.22	c Restart #122 #Var: 25430 LB: 0 @ 1182.9
1185.25	c Restart #123 #Var: 25430 LB: 0 @ 1184.9
1187.29	c Restart #124 #Var: 25430 LB: 0 @ 1186.9
1189.38	c Restart #125 #Var: 25430 LB: 0 @ 1189
1191.44	c Restart #126 #Var: 25430 LB: 0 @ 1191.1
1193.47	c Restart #127 #Var: 25430 LB: 0 @ 1193.1
1195.57	c Restart #128 #Var: 25430 LB: 0 @ 1195.2
1197.67	c Restart #129 #Var: 25430 LB: 0 @ 1197.3
1199.83	c Restart #130 #Var: 25430 LB: 0 @ 1199.5
1202.01	c Restart #131 #Var: 25430 LB: 0 @ 1201.7
1204.19	c Restart #132 #Var: 25430 LB: 0 @ 1203.8
1206.43	c Restart #133 #Var: 25430 LB: 0 @ 1206.1
1208.65	c Restart #134 #Var: 25430 LB: 0 @ 1208.3
1210.90	c Restart #135 #Var: 25430 LB: 0 @ 1210.5
1213.15	c Restart #136 #Var: 25430 LB: 0 @ 1212.8
1215.41	c Restart #137 #Var: 25430 LB: 0 @ 1215.1
1217.56	c Restart #138 #Var: 25430 LB: 0 @ 1217.2
1219.80	c Restart #139 #Var: 25430 LB: 0 @ 1219.4
1221.99	c Restart #140 #Var: 25430 LB: 0 @ 1221.6
1224.17	c Restart #141 #Var: 25430 LB: 0 @ 1223.8
1226.36	c Restart #142 #Var: 25430 LB: 0 @ 1226
1228.59	c Restart #143 #Var: 25430 LB: 0 @ 1228.2
1230.78	c Restart #144 #Var: 25430 LB: 0 @ 1230.4
1233.04	c Restart #145 #Var: 25430 LB: 0 @ 1232.7
1235.26	c Restart #146 #Var: 25430 LB: 0 @ 1234.9
1237.55	c Restart #147 #Var: 25430 LB: 0 @ 1237.2
1239.82	c Restart #148 #Var: 25430 LB: 0 @ 1239.5
1242.13	c Restart #149 #Var: 25430 LB: 0 @ 1241.8
1244.44	c Restart #150 #Var: 25430 LB: 0 @ 1244.1
1246.88	c Restart #151 #Var: 25430 LB: 0 @ 1246.5
1249.21	c Restart #152 #Var: 25430 LB: 0 @ 1248.8
1251.67	c Restart #153 #Var: 25430 LB: 0 @ 1251.3
1254.03	c Restart #154 #Var: 25430 LB: 0 @ 1253.7
1256.50	c Restart #155 #Var: 25430 LB: 0 @ 1256.1
1258.91	c Restart #156 #Var: 25430 LB: 0 @ 1258.5
1261.41	c Restart #157 #Var: 25430 LB: 0 @ 1261
1263.90	c Restart #158 #Var: 25430 LB: 0 @ 1263.5
1266.41	c Restart #159 #Var: 25430 LB: 0 @ 1266
1268.94	c Restart #160 #Var: 25430 LB: 0 @ 1268.6
1271.45	c Restart #161 #Var: 25430 LB: 0 @ 1271.1
1274.03	c Restart #162 #Var: 25430 LB: 0 @ 1273.7
1276.54	c Restart #163 #Var: 25430 LB: 0 @ 1276.2
1279.20	c Restart #164 #Var: 25430 LB: 0 @ 1278.8
1281.75	c Restart #165 #Var: 25430 LB: 0 @ 1281.4
1284.45	c Restart #166 #Var: 25430 LB: 0 @ 1284.1
1287.04	c Restart #167 #Var: 25430 LB: 0 @ 1286.7
1289.78	c Restart #168 #Var: 25430 LB: 0 @ 1289.4
1292.38	c Restart #169 #Var: 25430 LB: 0 @ 1292
1295.15	c Restart #170 #Var: 25430 LB: 0 @ 1294.8
1297.80	c Restart #171 #Var: 25430 LB: 0 @ 1297.4
1300.62	c Restart #172 #Var: 25430 LB: 0 @ 1300.2
1303.32	c Restart #173 #Var: 25430 LB: 0 @ 1302.9
1306.19	c Restart #174 #Var: 25430 LB: 0 @ 1305.8
1308.94	c Restart #175 #Var: 25430 LB: 0 @ 1308.6
1311.83	c Restart #176 #Var: 25430 LB: 0 @ 1311.4
1314.62	c Restart #177 #Var: 25430 LB: 0 @ 1314.2
1317.58	c Restart #178 #Var: 25430 LB: 0 @ 1317.2
1320.41	c Restart #179 #Var: 25430 LB: 0 @ 1320
1323.45	c Restart #180 #Var: 25430 LB: 0 @ 1323.1
1326.31	c Restart #181 #Var: 25430 LB: 0 @ 1325.9
1329.39	c Restart #182 #Var: 25430 LB: 0 @ 1329
1332.23	c Restart #183 #Var: 25430 LB: 0 @ 1331.8
1335.31	c Restart #184 #Var: 25430 LB: 0 @ 1334.9
1338.19	c Restart #185 #Var: 25430 LB: 0 @ 1337.8
1341.32	c Restart #186 #Var: 25430 LB: 0 @ 1340.9
1344.27	c Restart #187 #Var: 25430 LB: 0 @ 1343.9
1347.44	c Restart #188 #Var: 25430 LB: 0 @ 1347.1
1350.43	c Restart #189 #Var: 25430 LB: 0 @ 1350
1353.64	c Restart #190 #Var: 25430 LB: 0 @ 1353.2
1356.65	c Restart #191 #Var: 25430 LB: 0 @ 1356.3
1359.93	c Restart #192 #Var: 25430 LB: 0 @ 1359.5
1363.03	c Restart #193 #Var: 25430 LB: 0 @ 1362.6
1366.37	c Restart #194 #Var: 25430 LB: 0 @ 1366
1369.48	c Restart #195 #Var: 25430 LB: 0 @ 1369.1
1372.81	c Restart #196 #Var: 25430 LB: 0 @ 1372.4
1375.93	c Restart #197 #Var: 25430 LB: 0 @ 1375.5
1379.30	c Restart #198 #Var: 25430 LB: 0 @ 1378.9
1382.48	c Restart #199 #Var: 25430 LB: 0 @ 1382.1
1385.93	c Restart #200 #Var: 25430 LB: 0 @ 1385.5
1389.14	c Restart #201 #Var: 25430 LB: 0 @ 1388.7
1392.62	c Restart #202 #Var: 25430 LB: 0 @ 1392.2
1395.86	c Restart #203 #Var: 25430 LB: 0 @ 1395.5
1399.39	c Restart #204 #Var: 25430 LB: 0 @ 1399
1402.70	c Restart #205 #Var: 25430 LB: 0 @ 1402.3
1406.29	c Restart #206 #Var: 25430 LB: 0 @ 1405.9
1409.61	c Restart #207 #Var: 25430 LB: 0 @ 1409.2
1413.23	c Restart #208 #Var: 25430 LB: 0 @ 1412.8
1416.59	c Restart #209 #Var: 25430 LB: 0 @ 1416.2
1420.30	c Restart #210 #Var: 25430 LB: 0 @ 1419.9
1423.77	c Restart #211 #Var: 25430 LB: 0 @ 1423.4
1427.56	c Restart #212 #Var: 25430 LB: 0 @ 1427.1
1431.04	c Restart #213 #Var: 25430 LB: 0 @ 1430.6
1434.65	c Restart #214 #Var: 25430 LB: 0 @ 1434.2
1438.05	c Restart #215 #Var: 25430 LB: 0 @ 1437.6
1441.75	c Restart #216 #Var: 25430 LB: 0 @ 1441.3
1445.24	c Restart #217 #Var: 25430 LB: 0 @ 1444.8
1448.99	c Restart #218 #Var: 25430 LB: 0 @ 1448.6
1452.57	c Restart #219 #Var: 25430 LB: 0 @ 1452.2
1456.33	c Restart #220 #Var: 25430 LB: 0 @ 1455.9
1459.99	c Restart #221 #Var: 25430 LB: 0 @ 1459.6
1463.87	c Restart #222 #Var: 25430 LB: 0 @ 1463.4
1467.57	c Restart #223 #Var: 25430 LB: 0 @ 1467.1
1471.43	c Restart #224 #Var: 25430 LB: 0 @ 1471
1475.15	c Restart #225 #Var: 25430 LB: 0 @ 1474.7
1479.04	c Restart #226 #Var: 25430 LB: 0 @ 1478.6
1482.87	c Restart #227 #Var: 25430 LB: 0 @ 1482.4
1486.82	c Restart #228 #Var: 25430 LB: 0 @ 1486.4
1490.70	c Restart #229 #Var: 25430 LB: 0 @ 1490.3
1494.65	c Restart #230 #Var: 25430 LB: 0 @ 1494.2
1498.54	c Restart #231 #Var: 25430 LB: 0 @ 1498.1
1502.54	c Restart #232 #Var: 25430 LB: 0 @ 1502.1
1506.56	c Restart #233 #Var: 25430 LB: 0 @ 1506.1
1510.53	c Restart #234 #Var: 25430 LB: 0 @ 1510.1
1514.58	c Restart #235 #Var: 25430 LB: 0 @ 1514.1
1518.59	c Restart #236 #Var: 25430 LB: 0 @ 1518.2
1522.72	c Restart #237 #Var: 25430 LB: 0 @ 1522.3
1526.81	c Restart #238 #Var: 25430 LB: 0 @ 1526.4
1530.89	c Restart #239 #Var: 25430 LB: 0 @ 1530.5
1534.92	c Restart #240 #Var: 25430 LB: 0 @ 1534.5
1539.06	c Restart #241 #Var: 25430 LB: 0 @ 1538.6
1543.24	c Restart #242 #Var: 25430 LB: 0 @ 1542.8
1547.44	c Restart #243 #Var: 25430 LB: 0 @ 1547
1551.61	c Restart #244 #Var: 25430 LB: 0 @ 1551.2
1555.80	c Restart #245 #Var: 25430 LB: 0 @ 1555.3
1559.99	c Restart #246 #Var: 25430 LB: 0 @ 1559.5
1564.32	c Restart #247 #Var: 25430 LB: 0 @ 1563.9
1568.61	c Restart #248 #Var: 25430 LB: 0 @ 1568.2
1572.90	c Restart #249 #Var: 25430 LB: 0 @ 1572.5
1577.20	c Restart #250 #Var: 25430 LB: 0 @ 1576.7
1581.61	c Restart #251 #Var: 25430 LB: 0 @ 1581.2
1589.39	c Restart #252 #Var: 25429 LB: 0 @ 1588.9
1593.41	c Restart #253 #Var: 25429 LB: 0 @ 1592.9
1597.66	c Restart #254 #Var: 25429 LB: 0 @ 1597.2
1601.65	c Restart #255 #Var: 25429 LB: 0 @ 1601.2
1605.59	c Restart #256 #Var: 25429 LB: 0 @ 1605.1
1609.60	c Restart #257 #Var: 25429 LB: 0 @ 1609.1
1613.53	c Restart #258 #Var: 25429 LB: 0 @ 1613.1
1617.59	c Restart #259 #Var: 25429 LB: 0 @ 1617.1
1621.61	c Restart #260 #Var: 25429 LB: 0 @ 1621.1
1625.78	c Restart #261 #Var: 25429 LB: 0 @ 1625.3
1629.80	c Restart #262 #Var: 25429 LB: 0 @ 1629.3
1633.90	c Restart #263 #Var: 25429 LB: 0 @ 1633.4
1637.79	c Restart #264 #Var: 25429 LB: 0 @ 1637.3
1641.92	c Restart #265 #Var: 25429 LB: 0 @ 1641.5
1645.90	c Restart #266 #Var: 25429 LB: 0 @ 1645.4
1650.04	c Restart #267 #Var: 25429 LB: 0 @ 1649.6
1654.02	c Restart #268 #Var: 25429 LB: 0 @ 1653.5
1658.15	c Restart #269 #Var: 25429 LB: 0 @ 1657.7
1662.18	c Restart #270 #Var: 25429 LB: 0 @ 1661.7
1666.38	c Restart #271 #Var: 25429 LB: 0 @ 1665.9
1670.37	c Restart #272 #Var: 25429 LB: 0 @ 1669.9
1674.49	c Restart #273 #Var: 25429 LB: 0 @ 1674
1678.47	c Restart #274 #Var: 25429 LB: 0 @ 1678
1682.73	c Restart #275 #Var: 25429 LB: 0 @ 1682.2
1686.89	c Restart #276 #Var: 25429 LB: 0 @ 1686.4
1691.16	c Restart #277 #Var: 25429 LB: 0 @ 1690.7
1695.37	c Restart #278 #Var: 25429 LB: 0 @ 1694.9
1699.63	c Restart #279 #Var: 25429 LB: 0 @ 1699.1
1703.90	c Restart #280 #Var: 25429 LB: 0 @ 1703.4
1708.19	c Restart #281 #Var: 25429 LB: 0 @ 1707.7
1712.44	c Restart #282 #Var: 25429 LB: 0 @ 1711.9
1716.69	c Restart #283 #Var: 25429 LB: 0 @ 1716.2
1720.97	c Restart #284 #Var: 25429 LB: 0 @ 1720.5
1725.32	c Restart #285 #Var: 25429 LB: 0 @ 1724.8
1729.79	c Restart #286 #Var: 25429 LB: 0 @ 1729.3
1734.19	c Restart #287 #Var: 25429 LB: 0 @ 1733.7
1738.60	c Restart #288 #Var: 25429 LB: 0 @ 1738.1
1743.09	c Restart #289 #Var: 25429 LB: 0 @ 1742.6
1747.60	c Restart #290 #Var: 25429 LB: 0 @ 1747.1
1752.08	c Restart #291 #Var: 25429 LB: 0 @ 1751.6
1756.58	c Restart #292 #Var: 25429 LB: 0 @ 1756.1
1761.12	c Restart #293 #Var: 25429 LB: 0 @ 1760.6
1787.74	c Restart #294 #Var: 25425 LB: 0 @ 1787.2
1793.01	c Restart #295 #Var: 25422 LB: 0 @ 1792.5
1800.51	s UNKNOWN
1800.51	c Exit Code: 0
1800.51	c Total time: 1800 s

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

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

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

Current StackSize limit: 67108864 bytes

/proc/loadavg: 1.00 1.00 0.96 2/64 13747
/proc/meminfo: memFree=1544616/2055920 swapFree=4180864/4192956
[pid=13747] ppid=13745 vsize=3224 CPUtime=0
/proc/13747/stat : 13747 (bsolo) R 13745 13747 13701 0 -1 0 56 0 0 0 0 0 0 0 19 0 1 0 193316308 3301376 39 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 8663844 0 0 4096 0 0 0 0 17 1 0 0
/proc/13747/statm: 841 42 31 55 0 40 0

[startup+10.0031 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 13747
/proc/meminfo: memFree=1509416/2055920 swapFree=4180864/4192956
[pid=13747] ppid=13745 vsize=40420 CPUtime=9.97
/proc/13747/stat : 13747 (bsolo) R 13745 13747 13701 0 -1 0 41171 0 0 0 947 50 0 0 25 0 1 0 193316308 41390080 9098 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13747/statm: 10105 9098 297 55 0 8997 0
Current children cumulated CPU time (s) 9.97
Current children cumulated vsize (Kb) 40420

[startup+20.0092 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 13747
/proc/meminfo: memFree=1506728/2055920 swapFree=4180864/4192956
[pid=13747] ppid=13745 vsize=43192 CPUtime=19.98
/proc/13747/stat : 13747 (bsolo) R 13745 13747 13701 0 -1 0 41848 0 0 0 1902 96 0 0 25 0 1 0 193316308 44228608 9775 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13747/statm: 10798 9775 297 55 0 9690 0
Current children cumulated CPU time (s) 19.98
Current children cumulated vsize (Kb) 43192

[startup+30.0154 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 13747
/proc/meminfo: memFree=1491944/2055920 swapFree=4180864/4192956
[pid=13747] ppid=13745 vsize=57952 CPUtime=29.98
/proc/13747/stat : 13747 (bsolo) R 13745 13747 13701 0 -1 0 45524 0 0 0 2854 144 0 0 25 0 1 0 193316308 59342848 13451 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13747/statm: 14488 13451 297 55 0 13380 0
Current children cumulated CPU time (s) 29.98
Current children cumulated vsize (Kb) 57952

[startup+40.0215 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 13747
/proc/meminfo: memFree=1427496/2055920 swapFree=4180864/4192956
[pid=13747] ppid=13745 vsize=122228 CPUtime=39.98
/proc/13747/stat : 13747 (bsolo) R 13745 13747 13701 0 -1 0 61620 0 0 0 3836 162 0 0 25 0 1 0 193316308 125161472 29547 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13747/statm: 30557 29547 297 55 0 29449 0
Current children cumulated CPU time (s) 39.98
Current children cumulated vsize (Kb) 122228

[startup+50.0277 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 13747
/proc/meminfo: memFree=1379752/2055920 swapFree=4180864/4192956
[pid=13747] ppid=13745 vsize=169896 CPUtime=49.99
/proc/13747/stat : 13747 (bsolo) R 13745 13747 13701 0 -1 0 73530 0 0 0 4827 172 0 0 25 0 1 0 193316308 173973504 41457 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542120 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13747/statm: 42474 41457 297 55 0 41366 0
Current children cumulated CPU time (s) 49.99
Current children cumulated vsize (Kb) 169896

[startup+60.0338 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 13747
/proc/meminfo: memFree=1362408/2055920 swapFree=4180864/4192956
[pid=13747] ppid=13745 vsize=187192 CPUtime=59.99
/proc/13747/stat : 13747 (bsolo) R 13745 13747 13701 0 -1 0 77847 0 0 0 5823 176 0 0 25 0 1 0 193316308 191684608 45773 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548598 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13747/statm: 46798 45773 297 55 0 45690 0
Current children cumulated CPU time (s) 59.99
Current children cumulated vsize (Kb) 187192

[startup+70.041 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 13747
/proc/meminfo: memFree=1358440/2055920 swapFree=4180864/4192956
[pid=13747] ppid=13745 vsize=191152 CPUtime=69.99
/proc/13747/stat : 13747 (bsolo) R 13745 13747 13701 0 -1 0 78834 0 0 0 6822 177 0 0 25 0 1 0 193316308 195739648 46760 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13747/statm: 47788 46760 297 55 0 46680 0
Current children cumulated CPU time (s) 69.99
Current children cumulated vsize (Kb) 191152

[startup+80.0471 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 13747
/proc/meminfo: memFree=1334312/2055920 swapFree=4180864/4192956
[pid=13747] ppid=13745 vsize=215348 CPUtime=80
/proc/13747/stat : 13747 (bsolo) R 13745 13747 13701 0 -1 0 84856 0 0 0 7818 182 0 0 25 0 1 0 193316308 220516352 52782 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13747/statm: 53837 52782 297 55 0 52729 0
Current children cumulated CPU time (s) 80
Current children cumulated vsize (Kb) 215348

[startup+90.0533 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 13747
/proc/meminfo: memFree=1297192/2055920 swapFree=4180864/4192956
[pid=13747] ppid=13745 vsize=252448 CPUtime=90
/proc/13747/stat : 13747 (bsolo) R 13745 13747 13701 0 -1 0 94119 0 0 0 8811 189 0 0 25 0 1 0 193316308 258506752 62045 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 9098875 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13747/statm: 63112 62045 297 55 0 62004 0
Current children cumulated CPU time (s) 90
Current children cumulated vsize (Kb) 252448

[startup+100.059 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 13747
/proc/meminfo: memFree=1283816/2055920 swapFree=4180864/4192956
[pid=13747] ppid=13745 vsize=265812 CPUtime=100
/proc/13747/stat : 13747 (bsolo) R 13745 13747 13701 0 -1 0 97457 0 0 0 9807 193 0 0 25 0 1 0 193316308 272191488 65383 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13747/statm: 66453 65383 297 55 0 65345 0
Current children cumulated CPU time (s) 100
Current children cumulated vsize (Kb) 265812

[startup+110.066 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 13747
/proc/meminfo: memFree=1263976/2055920 swapFree=4180864/4192956
[pid=13747] ppid=13745 vsize=285644 CPUtime=110.01
/proc/13747/stat : 13747 (bsolo) R 13745 13747 13701 0 -1 0 102411 0 0 0 10801 200 0 0 25 0 1 0 193316308 292499456 70336 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13747/statm: 71411 70336 297 55 0 70303 0
Current children cumulated CPU time (s) 110.01
Current children cumulated vsize (Kb) 285644

[startup+120.072 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 13747
/proc/meminfo: memFree=1227368/2055920 swapFree=4180864/4192956
[pid=13747] ppid=13745 vsize=322396 CPUtime=120.01
/proc/13747/stat : 13747 (bsolo) R 13745 13747 13701 0 -1 0 111551 0 0 0 11794 207 0 0 25 0 1 0 193316308 330133504 79476 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13747/statm: 80599 79476 297 55 0 79491 0
Current children cumulated CPU time (s) 120.01
Current children cumulated vsize (Kb) 322396

[startup+130.078 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 13747
/proc/meminfo: memFree=1188264/2055920 swapFree=4180864/4192956
[pid=13747] ppid=13745 vsize=361508 CPUtime=130.02
/proc/13747/stat : 13747 (bsolo) R 13745 13747 13701 0 -1 0 121313 0 0 0 12786 216 0 0 25 0 1 0 193316308 370184192 89232 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134604175 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13747/statm: 90377 89232 297 55 0 89269 0
Current children cumulated CPU time (s) 130.02
Current children cumulated vsize (Kb) 361508

[startup+140.09 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 13747
/proc/meminfo: memFree=1143144/2055920 swapFree=4180864/4192956
[pid=13747] ppid=13745 vsize=406684 CPUtime=140.03
/proc/13747/stat : 13747 (bsolo) R 13745 13747 13701 0 -1 0 132567 0 0 0 13778 225 0 0 25 0 1 0 193316308 416444416 100485 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537565 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13747/statm: 101671 100485 297 55 0 100563 0
Current children cumulated CPU time (s) 140.03
Current children cumulated vsize (Kb) 406684

[startup+150.096 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 13747
/proc/meminfo: memFree=1108648/2055920 swapFree=4180864/4192956
[pid=13747] ppid=13745 vsize=441176 CPUtime=150.02
/proc/13747/stat : 13747 (bsolo) R 13745 13747 13701 0 -1 0 141181 0 0 0 14772 230 0 0 25 0 1 0 193316308 451764224 109097 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13747/statm: 110294 109098 297 55 0 109186 0
Current children cumulated CPU time (s) 150.02
Current children cumulated vsize (Kb) 441176

[startup+160.102 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 13747
/proc/meminfo: memFree=1088104/2055920 swapFree=4180864/4192956
[pid=13747] ppid=13745 vsize=461664 CPUtime=160.03
/proc/13747/stat : 13747 (bsolo) R 13745 13747 13701 0 -1 0 146294 0 0 0 15768 235 0 0 25 0 1 0 193316308 472743936 114210 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534939 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13747/statm: 115416 114210 297 55 0 114308 0
Current children cumulated CPU time (s) 160.03
Current children cumulated vsize (Kb) 461664

[startup+170.108 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 13747
/proc/meminfo: memFree=1066600/2055920 swapFree=4180864/4192956
[pid=13747] ppid=13745 vsize=483364 CPUtime=170.03
/proc/13747/stat : 13747 (bsolo) R 13745 13747 13701 0 -1 0 151661 0 0 0 16762 241 0 0 25 0 1 0 193316308 494964736 119577 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534127 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13747/statm: 120841 119577 297 55 0 119733 0
Current children cumulated CPU time (s) 170.03
Current children cumulated vsize (Kb) 483364

[startup+180.116 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 13747
/proc/meminfo: memFree=1036968/2055920 swapFree=4180864/4192956
[pid=13747] ppid=13745 vsize=513120 CPUtime=180.04
/proc/13747/stat : 13747 (bsolo) R 13745 13747 13701 0 -1 0 159075 0 0 0 17757 247 0 0 25 0 1 0 193316308 525434880 126988 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13747/statm: 128280 126988 297 55 0 127172 0
Current children cumulated CPU time (s) 180.04
Current children cumulated vsize (Kb) 513120

[startup+190.122 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 13747
/proc/meminfo: memFree=988328/2055920 swapFree=4180864/4192956
[pid=13747] ppid=13745 vsize=561868 CPUtime=190.05
/proc/13747/stat : 13747 (bsolo) R 13745 13747 13701 0 -1 0 171214 0 0 0 18748 257 0 0 25 0 1 0 193316308 575352832 139117 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13747/statm: 140467 139117 297 55 0 139359 0
Current children cumulated CPU time (s) 190.05
Current children cumulated vsize (Kb) 561868

[startup+200.128 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 13747
/proc/meminfo: memFree=970408/2055920 swapFree=4180864/4192956
[pid=13747] ppid=13745 vsize=580092 CPUtime=200.05
/proc/13747/stat : 13747 (bsolo) R 13745 13747 13701 0 -1 0 175695 0 0 0 19745 260 0 0 25 0 1 0 193316308 594014208 143590 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13747/statm: 145023 143590 297 55 0 143915 0
Current children cumulated CPU time (s) 200.05
Current children cumulated vsize (Kb) 580092

[startup+210.134 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 13747
/proc/meminfo: memFree=950056/2055920 swapFree=4180864/4192956

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

/proc/13747/statm: 401062 398376 297 55 0 399954 0
Current children cumulated CPU time (s) 1760.6
Current children cumulated vsize (Kb) 1604248

[startup+1771.12 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 13749
/proc/meminfo: memFree=15208/2055920 swapFree=4180864/4192956
[pid=13747] ppid=13745 vsize=1611656 CPUtime=1770.61
/proc/13747/stat : 13747 (bsolo) R 13745 13747 13701 0 -1 0 432721 0 0 0 176237 824 0 0 25 0 1 0 193316308 1650335744 400221 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534790 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13747/statm: 402914 400221 297 55 0 401806 0
Current children cumulated CPU time (s) 1770.61
Current children cumulated vsize (Kb) 1611656

[startup+1781.14 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 13749
/proc/meminfo: memFree=15656/2055920 swapFree=4180864/4192956
[pid=13747] ppid=13745 vsize=1620384 CPUtime=1780.62
/proc/13747/stat : 13747 (bsolo) R 13745 13747 13701 0 -1 0 434909 0 0 0 177234 828 0 0 25 0 1 0 193316308 1659273216 402409 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528714 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13747/statm: 405096 402409 297 55 0 403988 0
Current children cumulated CPU time (s) 1780.62
Current children cumulated vsize (Kb) 1620384

[startup+1782.14 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 13749
/proc/meminfo: memFree=15144/2055920 swapFree=4180864/4192956
[pid=13747] ppid=13745 vsize=1622496 CPUtime=1781.62
/proc/13747/stat : 13747 (bsolo) R 13745 13747 13701 0 -1 0 435418 0 0 0 177334 828 0 0 25 0 1 0 193316308 1661435904 402918 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13747/statm: 405624 402918 297 55 0 404516 0
Current children cumulated CPU time (s) 1781.62
Current children cumulated vsize (Kb) 1622496

[startup+1783.15 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 13749
/proc/meminfo: memFree=14952/2055920 swapFree=4180864/4192956
[pid=13747] ppid=13745 vsize=1624232 CPUtime=1782.63
/proc/13747/stat : 13747 (bsolo) R 13745 13747 13701 0 -1 0 435859 0 0 0 177434 829 0 0 25 0 1 0 193316308 1663213568 403359 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13747/statm: 406058 403359 297 55 0 404950 0
Current children cumulated CPU time (s) 1782.63
Current children cumulated vsize (Kb) 1624232

[startup+1784.15 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 13749
/proc/meminfo: memFree=14952/2055920 swapFree=4180864/4192956
[pid=13747] ppid=13745 vsize=1625816 CPUtime=1783.63
/proc/13747/stat : 13747 (bsolo) R 13745 13747 13701 0 -1 0 436233 0 0 0 177534 829 0 0 25 0 1 0 193316308 1664835584 403733 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13747/statm: 406454 403733 297 55 0 405346 0
Current children cumulated CPU time (s) 1783.63
Current children cumulated vsize (Kb) 1625816

[startup+1785.16 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 13749
/proc/meminfo: memFree=16168/2055920 swapFree=4180864/4192956
[pid=13747] ppid=13745 vsize=1627664 CPUtime=1784.64
/proc/13747/stat : 13747 (bsolo) R 13745 13747 13701 0 -1 0 436705 0 0 0 177634 830 0 0 25 0 1 0 193316308 1666727936 404204 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529376 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13747/statm: 406916 404204 297 55 0 405808 0
Current children cumulated CPU time (s) 1784.64
Current children cumulated vsize (Kb) 1627664

[startup+1786.16 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 13749
/proc/meminfo: memFree=15592/2055920 swapFree=4180864/4192956
[pid=13747] ppid=13745 vsize=1629776 CPUtime=1785.64
/proc/13747/stat : 13747 (bsolo) R 13745 13747 13701 0 -1 0 437228 0 0 0 177733 831 0 0 25 0 1 0 193316308 1668890624 404727 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13747/statm: 407444 404727 297 55 0 406336 0
Current children cumulated CPU time (s) 1785.64
Current children cumulated vsize (Kb) 1629776

[startup+1787.17 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 13749
/proc/meminfo: memFree=15144/2055920 swapFree=4180864/4192956
[pid=13747] ppid=13745 vsize=1631756 CPUtime=1786.64
/proc/13747/stat : 13747 (bsolo) R 13745 13747 13701 0 -1 0 437715 0 0 0 177833 831 0 0 25 0 1 0 193316308 1670918144 405214 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 9098875 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13747/statm: 407939 405214 297 55 0 406831 0
Current children cumulated CPU time (s) 1786.64
Current children cumulated vsize (Kb) 1631756

[startup+1788.17 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 13749
/proc/meminfo: memFree=15528/2055920 swapFree=4180864/4192956
[pid=13747] ppid=13745 vsize=1632944 CPUtime=1787.65
/proc/13747/stat : 13747 (bsolo) R 13745 13747 13701 0 -1 0 438004 0 0 0 177933 832 0 0 25 0 1 0 193316308 1672134656 405502 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528659 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13747/statm: 408236 405502 297 55 0 407128 0
Current children cumulated CPU time (s) 1787.65
Current children cumulated vsize (Kb) 1632944

[startup+1789.18 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 13749
/proc/meminfo: memFree=15144/2055920 swapFree=4180864/4192956
[pid=13747] ppid=13745 vsize=1633208 CPUtime=1788.65
/proc/13747/stat : 13747 (bsolo) R 13745 13747 13701 0 -1 0 438098 0 0 0 178033 832 0 0 25 0 1 0 193316308 1672404992 405596 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13747/statm: 408302 405596 297 55 0 407194 0
Current children cumulated CPU time (s) 1788.65
Current children cumulated vsize (Kb) 1633208

[startup+1790.18 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 13749
/proc/meminfo: memFree=16232/2055920 swapFree=4180864/4192956
[pid=13747] ppid=13745 vsize=1633736 CPUtime=1789.67
/proc/13747/stat : 13747 (bsolo) R 13745 13747 13701 0 -1 0 438217 0 0 0 178134 833 0 0 25 0 1 0 193316308 1672945664 405715 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13747/statm: 408434 405715 297 55 0 407326 0
Current children cumulated CPU time (s) 1789.67
Current children cumulated vsize (Kb) 1633736

[startup+1791.19 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 13749
/proc/meminfo: memFree=15720/2055920 swapFree=4180864/4192956
[pid=13747] ppid=13745 vsize=1634264 CPUtime=1790.66
/proc/13747/stat : 13747 (bsolo) R 13745 13747 13701 0 -1 0 438337 0 0 0 178233 833 0 0 25 0 1 0 193316308 1673486336 405835 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13747/statm: 408566 405835 297 55 0 407458 0
Current children cumulated CPU time (s) 1790.66
Current children cumulated vsize (Kb) 1634264

[startup+1792.19 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 13749
/proc/meminfo: memFree=15272/2055920 swapFree=4180864/4192956
[pid=13747] ppid=13745 vsize=1634660 CPUtime=1791.67
/proc/13747/stat : 13747 (bsolo) R 13745 13747 13701 0 -1 0 438457 0 0 0 178333 834 0 0 25 0 1 0 193316308 1673891840 405955 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13747/statm: 408665 405955 297 55 0 407557 0
Current children cumulated CPU time (s) 1791.67
Current children cumulated vsize (Kb) 1634660

[startup+1793.2 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 13749
/proc/meminfo: memFree=14888/2055920 swapFree=4180864/4192956
[pid=13747] ppid=13745 vsize=1635056 CPUtime=1792.67
/proc/13747/stat : 13747 (bsolo) R 13745 13747 13701 0 -1 0 438551 0 0 0 178433 834 0 0 25 0 1 0 193316308 1674297344 406049 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134632785 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13747/statm: 408764 406049 297 55 0 407656 0
Current children cumulated CPU time (s) 1792.67
Current children cumulated vsize (Kb) 1635056

[startup+1794.2 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 13749
/proc/meminfo: memFree=15976/2055920 swapFree=4180864/4192956
[pid=13747] ppid=13745 vsize=1635584 CPUtime=1793.68
/proc/13747/stat : 13747 (bsolo) R 13745 13747 13701 0 -1 0 438662 0 0 0 178533 835 0 0 25 0 1 0 193316308 1674838016 406160 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13747/statm: 408896 406160 297 55 0 407788 0
Current children cumulated CPU time (s) 1793.68
Current children cumulated vsize (Kb) 1635584

[startup+1795.21 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 13749
/proc/meminfo: memFree=15656/2055920 swapFree=4180864/4192956
[pid=13747] ppid=13745 vsize=1635848 CPUtime=1794.69
/proc/13747/stat : 13747 (bsolo) R 13745 13747 13701 0 -1 0 438748 0 0 0 178634 835 0 0 25 0 1 0 193316308 1675108352 406246 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134632785 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13747/statm: 408962 406246 297 55 0 407854 0
Current children cumulated CPU time (s) 1794.69
Current children cumulated vsize (Kb) 1635848

[startup+1796.21 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 13749
/proc/meminfo: memFree=16232/2055920 swapFree=4180864/4192956
[pid=13747] ppid=13745 vsize=1636772 CPUtime=1795.69
/proc/13747/stat : 13747 (bsolo) R 13745 13747 13701 0 -1 0 438982 0 0 0 178733 836 0 0 25 0 1 0 193316308 1676054528 406480 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13747/statm: 409193 406480 297 55 0 408085 0
Current children cumulated CPU time (s) 1795.69
Current children cumulated vsize (Kb) 1636772

[startup+1797.22 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 13749
/proc/meminfo: memFree=15976/2055920 swapFree=4180864/4192956
[pid=13747] ppid=13745 vsize=1637036 CPUtime=1796.7
/proc/13747/stat : 13747 (bsolo) R 13745 13747 13701 0 -1 0 439045 0 0 0 178834 836 0 0 25 0 1 0 193316308 1676324864 406543 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13747/statm: 409259 406543 297 55 0 408151 0
Current children cumulated CPU time (s) 1796.7
Current children cumulated vsize (Kb) 1637036

[startup+1798.22 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 13749
/proc/meminfo: memFree=15464/2055920 swapFree=4180864/4192956
[pid=13747] ppid=13745 vsize=1637564 CPUtime=1797.72
/proc/13747/stat : 13747 (bsolo) R 13745 13747 13701 0 -1 0 439181 0 0 0 178936 836 0 0 25 0 1 0 193316308 1676865536 406679 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13747/statm: 409391 406679 297 55 0 408283 0
Current children cumulated CPU time (s) 1797.72
Current children cumulated vsize (Kb) 1637564

[startup+1799.25 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 13749
/proc/meminfo: memFree=15144/2055920 swapFree=4180864/4192956
[pid=13747] ppid=13745 vsize=1640996 CPUtime=1798.73
/proc/13747/stat : 13747 (bsolo) R 13745 13747 13701 0 -1 0 440028 0 0 0 179036 837 0 0 25 0 1 0 193316308 1680379904 407526 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13747/statm: 410249 407526 297 55 0 409141 0
Current children cumulated CPU time (s) 1798.73
Current children cumulated vsize (Kb) 1640996

[startup+1800.26 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 13749
/proc/meminfo: memFree=15720/2055920 swapFree=4180864/4192956
[pid=13747] ppid=13745 vsize=1644956 CPUtime=1799.74
/proc/13747/stat : 13747 (bsolo) R 13745 13747 13701 0 -1 0 441032 0 0 0 179136 838 0 0 25 0 1 0 193316308 1684434944 408530 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13747/statm: 411239 408530 297 55 0 410131 0
Current children cumulated CPU time (s) 1799.74
Current children cumulated vsize (Kb) 1644956

Child status: 0
Real time (s): 1800.77
CPU time (s): 1800.26
CPU user time (s): 1791.62
CPU system time (s): 8.63769
CPU usage (%): 99.9713
Max. virtual memory (cumulated for all children) (Kb): 1644956

Launcher Data (download as text)

Begin job on node9 on Fri Jun  2 19:29:00 UTC 2006


FILE ID= 39888-1149276540

PBS_JOBID= 299159

BENCH NAME= ROOT/tmp/node9/39888-1149276540/instance-39888-1149276540.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node9/39888-1149276540/instance-39888-1149276540.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node9/watcher-39888-1149276540 -o ROOT/results/node9/solver-39888-1149276540 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node9/39888-1149276540/instance-39888-1149276540.opb

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  79ac545a8fcf117e4e23dd9b4f8255c5

RANDOM SEED= 113755335


/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.234
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.234
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:       1544824 kB
Buffers:         17376 kB
Cached:         430808 kB
SwapCached:       3744 kB
Active:          52780 kB
Inactive:       404020 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1544824 kB
SwapTotal:     4192956 kB
SwapFree:      4180864 kB
Dirty:             204 kB
Writeback:           0 kB
Mapped:          14720 kB
Slab:            40368 kB
Committed_AS:   264476 kB
PageTables:       1424 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node9 on Fri Jun  2 19:59:01 UTC 2006