Trace number 39808

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
bsolo 2006/05? 1800.01 1800.46

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-reduced-mps-v2-20-10-ran4x64.opb
MD5SUM094943d5c572e297ea40a22e131cb082
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.183971
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables7936
Total number of constraints324
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 constraints324
Minimum length of a constraint31
Maximum length of a constraint1920
Number of terms in the objective function 7936
Biggest coefficient in the objective function 1873
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 530542
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262144
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 530542
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.01	c INFO: OSL Context initialized.
0.22	c Initial problem consists of 7936 variables and 392 constraints.
0.24	c No problem reductions applied in OPT. instance.
0.24	c	preprocess terminated. Elapsed time: 0.224
0.24	c After prepocess the problem consists of 3776 variables and 392 constraints.
0.24	c Initial Lower Bound: 0
0.37	c Restart #1 #Var: 3776 LB: 0 @ 0.356
0.63	c Restart #2 #Var: 3776 LB: 0 @ 0.623
1.00	c Restart #3 #Var: 3776 LB: 0 @ 0.992
1.28	c Restart #4 #Var: 3776 LB: 0 @ 1.272
2.06	c Restart #5 #Var: 3776 LB: 0 @ 2.043
3.08	c Restart #6 #Var: 3776 LB: 0 @ 3.067
5.75	c Restart #7 #Var: 3776 LB: 0 @ 5.735
7.44	c Restart #8 #Var: 3776 LB: 0 @ 7.429
9.08	c Restart #9 #Var: 3776 LB: 0 @ 9.07
9.77	c Restart #10 #Var: 3776 LB: 0 @ 9.752
10.42	c Restart #11 #Var: 3776 LB: 0 @ 10.401
11.28	c Restart #12 #Var: 3776 LB: 0 @ 11.265
12.07	c Restart #13 #Var: 3776 LB: 0 @ 12.048
13.06	c Restart #14 #Var: 3776 LB: 0 @ 13.045
13.96	c Restart #15 #Var: 3776 LB: 0 @ 13.945
15.13	c Restart #16 #Var: 3776 LB: 0 @ 15.105
16.12	c Restart #17 #Var: 3776 LB: 0 @ 16.1
17.44	c Restart #18 #Var: 3776 LB: 0 @ 17.418
18.57	c Restart #19 #Var: 3776 LB: 0 @ 18.551
20.06	c Restart #20 #Var: 3776 LB: 0 @ 20.034
21.33	c Restart #21 #Var: 3776 LB: 0 @ 21.306
22.95	c Restart #22 #Var: 3776 LB: 0 @ 22.931
24.35	c Restart #23 #Var: 3776 LB: 0 @ 24.327
26.10	c Restart #24 #Var: 3776 LB: 0 @ 26.08
27.53	c Restart #25 #Var: 3776 LB: 0 @ 27.511
29.48	c Restart #26 #Var: 3776 LB: 0 @ 29.457
31.09	c Restart #27 #Var: 3776 LB: 0 @ 31.065
34.33	c Restart #28 #Var: 3776 LB: 0 @ 34.302
36.33	c Restart #29 #Var: 3776 LB: 0 @ 36.301
38.68	c Restart #30 #Var: 3776 LB: 0 @ 38.657
40.44	c Restart #31 #Var: 3776 LB: 0 @ 40.417
43.00	c Restart #32 #Var: 3776 LB: 0 @ 42.971
44.87	c Restart #33 #Var: 3776 LB: 0 @ 44.843
47.56	c Restart #34 #Var: 3776 LB: 0 @ 47.537
49.60	c Restart #35 #Var: 3776 LB: 0 @ 49.575
52.23	c Restart #36 #Var: 3776 LB: 0 @ 52.198
54.49	c Restart #37 #Var: 3776 LB: 0 @ 54.465
57.50	c Restart #38 #Var: 3776 LB: 0 @ 57.467
59.68	c Restart #39 #Var: 3776 LB: 0 @ 59.65
62.73	c Restart #40 #Var: 3776 LB: 0 @ 62.701
65.12	c Restart #41 #Var: 3776 LB: 0 @ 65.093
68.30	c Restart #42 #Var: 3776 LB: 0 @ 68.27
70.94	c Restart #43 #Var: 3776 LB: 0 @ 70.907
74.23	c Restart #44 #Var: 3776 LB: 0 @ 74.191
77.21	c Restart #45 #Var: 3776 LB: 0 @ 77.179
80.59	c Restart #46 #Var: 3776 LB: 0 @ 80.551
83.48	c Restart #47 #Var: 3776 LB: 0 @ 83.444
87.23	c Restart #48 #Var: 3776 LB: 0 @ 87.196
89.75	c Restart #49 #Var: 3776 LB: 0 @ 89.715
93.27	c Restart #50 #Var: 3776 LB: 0 @ 93.227
97.02	c Restart #51 #Var: 3776 LB: 0 @ 96.976
100.21	c Restart #52 #Var: 3776 LB: 0 @ 100.17
104.31	c Restart #53 #Var: 3776 LB: 0 @ 104.27
108.58	c Restart #54 #Var: 3776 LB: 0 @ 108.53
111.88	c Restart #55 #Var: 3776 LB: 0 @ 111.84
115.44	c Restart #56 #Var: 3776 LB: 0 @ 115.39
118.48	c Restart #57 #Var: 3776 LB: 0 @ 118.44
121.33	c Restart #58 #Var: 3776 LB: 0 @ 121.28
125.34	c Restart #59 #Var: 3776 LB: 0 @ 125.29
128.68	c Restart #60 #Var: 3776 LB: 0 @ 128.64
131.64	c Restart #61 #Var: 3776 LB: 0 @ 131.6
136.00	c Restart #62 #Var: 3776 LB: 0 @ 135.95
138.92	c Restart #63 #Var: 3776 LB: 0 @ 138.87
142.68	c Restart #64 #Var: 3776 LB: 0 @ 142.63
146.80	c Restart #65 #Var: 3776 LB: 0 @ 146.75
150.96	c Restart #66 #Var: 3776 LB: 0 @ 150.91
155.30	c Restart #67 #Var: 3776 LB: 0 @ 155.24
159.44	c Restart #68 #Var: 3776 LB: 0 @ 159.38
164.68	c Restart #69 #Var: 3776 LB: 0 @ 164.63
168.45	c Restart #70 #Var: 3776 LB: 0 @ 168.39
172.90	c Restart #71 #Var: 3776 LB: 0 @ 172.84
177.23	c Restart #72 #Var: 3776 LB: 0 @ 177.17
180.95	c Restart #73 #Var: 3776 LB: 0 @ 180.89
186.09	c Restart #74 #Var: 3776 LB: 0 @ 186.03
190.88	c Restart #75 #Var: 3776 LB: 0 @ 190.82
194.85	c Restart #76 #Var: 3776 LB: 0 @ 194.79
199.22	c Restart #77 #Var: 3776 LB: 0 @ 199.16
204.55	c Restart #78 #Var: 3776 LB: 0 @ 204.48
208.19	c Restart #79 #Var: 3776 LB: 0 @ 208.12
214.00	c Restart #80 #Var: 3776 LB: 0 @ 213.94
218.68	c Restart #81 #Var: 3776 LB: 0 @ 218.61
223.69	c Restart #82 #Var: 3776 LB: 0 @ 223.62
227.01	c Restart #83 #Var: 3776 LB: 0 @ 226.94
233.09	c Restart #84 #Var: 3776 LB: 0 @ 233.02
240.20	c Restart #85 #Var: 3776 LB: 0 @ 240.13
246.96	c Restart #86 #Var: 3776 LB: 0 @ 246.89
251.57	c Restart #87 #Var: 3776 LB: 0 @ 251.49
258.35	c Restart #88 #Var: 3776 LB: 0 @ 258.27
263.34	c Restart #89 #Var: 3776 LB: 0 @ 263.26
270.18	c Restart #90 #Var: 3776 LB: 0 @ 270.1
276.02	c Restart #91 #Var: 3776 LB: 0 @ 275.94
282.91	c Restart #92 #Var: 3776 LB: 0 @ 282.83
289.20	c Restart #93 #Var: 3776 LB: 0 @ 289.12
296.26	c Restart #94 #Var: 3776 LB: 0 @ 296.17
303.26	c Restart #95 #Var: 3776 LB: 0 @ 303.17
310.50	c Restart #96 #Var: 3776 LB: 0 @ 310.41
317.60	c Restart #97 #Var: 3776 LB: 0 @ 317.51
321.56	c Restart #98 #Var: 3776 LB: 0 @ 321.47
329.14	c Restart #99 #Var: 3776 LB: 0 @ 329.04
336.63	c Restart #100 #Var: 3776 LB: 0 @ 336.54
342.14	c Restart #101 #Var: 3776 LB: 0 @ 342.04
349.75	c Restart #102 #Var: 3776 LB: 0 @ 349.65
355.70	c Restart #103 #Var: 3776 LB: 0 @ 355.6
364.57	c Restart #104 #Var: 3776 LB: 0 @ 364.46
371.84	c Restart #105 #Var: 3776 LB: 0 @ 371.74
380.01	c Restart #106 #Var: 3776 LB: 0 @ 379.9
387.44	c Restart #107 #Var: 3776 LB: 0 @ 387.33
394.96	c Restart #108 #Var: 3776 LB: 0 @ 394.85
401.91	c Restart #109 #Var: 3776 LB: 0 @ 401.8
409.21	c Restart #110 #Var: 3776 LB: 0 @ 409.1
413.97	c Restart #111 #Var: 3776 LB: 0 @ 413.86
420.75	c Restart #112 #Var: 3776 LB: 0 @ 420.63
427.20	c Restart #113 #Var: 3776 LB: 0 @ 427.09
432.88	c Restart #114 #Var: 3776 LB: 0 @ 432.76
440.82	c Restart #115 #Var: 3776 LB: 0 @ 440.7
446.75	c Restart #116 #Var: 3776 LB: 0 @ 446.62
456.73	c Restart #117 #Var: 3776 LB: 0 @ 456.61
463.31	c Restart #118 #Var: 3776 LB: 0 @ 463.19
470.06	c Restart #119 #Var: 3776 LB: 0 @ 469.93
475.20	c Restart #120 #Var: 3776 LB: 0 @ 475.07
482.47	c Restart #121 #Var: 3776 LB: 0 @ 482.34
487.84	c Restart #122 #Var: 3776 LB: 0 @ 487.7
495.13	c Restart #123 #Var: 3776 LB: 0 @ 495
499.83	c Restart #124 #Var: 3776 LB: 0 @ 499.69
508.95	c Restart #125 #Var: 3776 LB: 0 @ 508.81
516.30	c Restart #126 #Var: 3776 LB: 0 @ 516.16
526.74	c Restart #127 #Var: 3776 LB: 0 @ 526.6
536.41	c Restart #128 #Var: 3776 LB: 0 @ 536.26
546.53	c Restart #129 #Var: 3776 LB: 0 @ 546.39
554.44	c Restart #130 #Var: 3776 LB: 0 @ 554.29
563.90	c Restart #131 #Var: 3776 LB: 0 @ 563.75
570.20	c Restart #132 #Var: 3776 LB: 0 @ 570.05
580.12	c Restart #133 #Var: 3776 LB: 0 @ 579.96
587.81	c Restart #134 #Var: 3776 LB: 0 @ 587.65
596.24	c Restart #135 #Var: 3776 LB: 0 @ 596.08
604.18	c Restart #136 #Var: 3776 LB: 0 @ 604.01
611.19	c Restart #137 #Var: 3776 LB: 0 @ 611.03
621.29	c Restart #138 #Var: 3776 LB: 0 @ 621.13
633.05	c Restart #139 #Var: 3776 LB: 0 @ 632.88
642.14	c Restart #140 #Var: 3776 LB: 0 @ 641.97
652.91	c Restart #141 #Var: 3776 LB: 0 @ 652.74
662.77	c Restart #142 #Var: 3776 LB: 0 @ 662.59
672.22	c Restart #143 #Var: 3776 LB: 0 @ 672.05
681.61	c Restart #144 #Var: 3776 LB: 0 @ 681.43
691.01	c Restart #145 #Var: 3776 LB: 0 @ 690.83
702.23	c Restart #146 #Var: 3776 LB: 0 @ 702.05
713.60	c Restart #147 #Var: 3776 LB: 0 @ 713.41
723.10	c Restart #148 #Var: 3776 LB: 0 @ 722.91
729.98	c Restart #149 #Var: 3776 LB: 0 @ 729.79
740.66	c Restart #150 #Var: 3776 LB: 0 @ 740.47
749.18	c Restart #151 #Var: 3776 LB: 0 @ 748.99
760.99	c Restart #152 #Var: 3776 LB: 0 @ 760.79
773.55	c Restart #153 #Var: 3776 LB: 0 @ 773.35
783.25	c Restart #154 #Var: 3776 LB: 0 @ 783.04
789.64	c Restart #155 #Var: 3776 LB: 0 @ 789.44
800.87	c Restart #156 #Var: 3776 LB: 0 @ 800.66
815.17	c Restart #157 #Var: 3776 LB: 0 @ 814.96
826.34	c Restart #158 #Var: 3776 LB: 0 @ 826.13
835.54	c Restart #159 #Var: 3776 LB: 0 @ 835.32
844.66	c Restart #160 #Var: 3776 LB: 0 @ 844.45
853.83	c Restart #161 #Var: 3776 LB: 0 @ 853.61
863.75	c Restart #162 #Var: 3776 LB: 0 @ 863.53
873.64	c Restart #163 #Var: 3776 LB: 0 @ 873.42
881.41	c Restart #164 #Var: 3776 LB: 0 @ 881.19
893.72	c Restart #165 #Var: 3776 LB: 0 @ 893.49
908.15	c CHANGE Heuristic... 
908.15	c Restart #0 #Var: 3776 LB: 0 @ 907.92
908.22	c Restart #1 #Var: 3776 LB: 0 @ 907.99
908.36	c Restart #2 #Var: 3776 LB: 0 @ 908.13
908.57	c Restart #3 #Var: 3776 LB: 0 @ 908.34
908.90	c Restart #4 #Var: 3776 LB: 0 @ 908.67
909.40	c Restart #5 #Var: 3776 LB: 0 @ 909.16
909.65	c Restart #6 #Var: 3776 LB: 0 @ 909.42
910.03	c Restart #7 #Var: 3776 LB: 0 @ 909.8
910.51	c Restart #8 #Var: 3776 LB: 0 @ 910.27
911.06	c Restart #9 #Var: 3776 LB: 0 @ 910.83
911.64	c Restart #10 #Var: 3776 LB: 0 @ 911.4
912.23	c Restart #11 #Var: 3776 LB: 0 @ 912
912.87	c Restart #12 #Var: 3776 LB: 0 @ 912.64
913.90	c Restart #13 #Var: 3776 LB: 0 @ 913.66
914.74	c Restart #14 #Var: 3776 LB: 0 @ 914.51
915.69	c Restart #15 #Var: 3776 LB: 0 @ 915.46
916.93	c Restart #16 #Var: 3776 LB: 0 @ 916.7
917.91	c Restart #17 #Var: 3776 LB: 0 @ 917.68
919.62	c Restart #18 #Var: 3776 LB: 0 @ 919.39
921.09	c Restart #19 #Var: 3776 LB: 0 @ 920.85
922.65	c Restart #20 #Var: 3776 LB: 0 @ 922.42
924.27	c Restart #21 #Var: 3776 LB: 0 @ 924.03
925.62	c Restart #22 #Var: 3776 LB: 0 @ 925.39
926.83	c Restart #23 #Var: 3776 LB: 0 @ 926.59
928.32	c Restart #24 #Var: 3776 LB: 0 @ 928.08
929.80	c Restart #25 #Var: 3776 LB: 0 @ 929.56
931.50	c Restart #26 #Var: 3776 LB: 0 @ 931.26
933.27	c Restart #27 #Var: 3776 LB: 0 @ 933.03
935.02	c Restart #28 #Var: 3776 LB: 0 @ 934.78
937.25	c Restart #29 #Var: 3776 LB: 0 @ 937.01
938.98	c Restart #30 #Var: 3776 LB: 0 @ 938.74
941.31	c Restart #31 #Var: 3776 LB: 0 @ 941.07
943.10	c Restart #32 #Var: 3776 LB: 0 @ 942.86
945.73	c Restart #33 #Var: 3776 LB: 0 @ 945.49
948.53	c Restart #34 #Var: 3776 LB: 0 @ 948.29
951.29	c Restart #35 #Var: 3776 LB: 0 @ 951.04
953.21	c Restart #36 #Var: 3776 LB: 0 @ 952.97
955.93	c Restart #37 #Var: 3776 LB: 0 @ 955.68
959.70	c Restart #38 #Var: 3776 LB: 0 @ 959.46
962.62	c Restart #39 #Var: 3776 LB: 0 @ 962.38
965.10	c Restart #40 #Var: 3776 LB: 0 @ 964.85
969.33	c Restart #41 #Var: 3776 LB: 0 @ 969.09
971.84	c Restart #42 #Var: 3776 LB: 0 @ 971.59
974.85	c Restart #43 #Var: 3776 LB: 0 @ 974.6
978.12	c Restart #44 #Var: 3776 LB: 0 @ 977.87
981.47	c Restart #45 #Var: 3776 LB: 0 @ 981.22
983.86	c Restart #46 #Var: 3776 LB: 0 @ 983.61
987.45	c Restart #47 #Var: 3776 LB: 0 @ 987.2
991.49	c Restart #48 #Var: 3776 LB: 0 @ 991.24
994.83	c Restart #49 #Var: 3776 LB: 0 @ 994.58
997.22	c Restart #50 #Var: 3776 LB: 0 @ 996.97
999.63	c Restart #51 #Var: 3776 LB: 0 @ 999.37
1002.17	c Restart #52 #Var: 3776 LB: 0 @ 1001.9
1005.94	c Restart #53 #Var: 3776 LB: 0 @ 1005.7
1009.21	c Restart #54 #Var: 3776 LB: 0 @ 1009
1013.03	c Restart #55 #Var: 3776 LB: 0 @ 1012.8
1017.23	c Restart #56 #Var: 3776 LB: 0 @ 1017
1020.84	c Restart #57 #Var: 3776 LB: 0 @ 1020.6
1025.46	c Restart #58 #Var: 3776 LB: 0 @ 1025.2
1028.49	c Restart #59 #Var: 3776 LB: 0 @ 1028.2
1031.03	c Restart #60 #Var: 3776 LB: 0 @ 1030.8
1034.33	c Restart #61 #Var: 3776 LB: 0 @ 1034.1
1038.75	c Restart #62 #Var: 3776 LB: 0 @ 1038.5
1044.11	c Restart #63 #Var: 3776 LB: 0 @ 1043.8
1048.96	c Restart #64 #Var: 3776 LB: 0 @ 1048.7
1052.00	c Restart #65 #Var: 3776 LB: 0 @ 1051.7
1057.09	c Restart #66 #Var: 3776 LB: 0 @ 1056.8
1059.90	c Restart #67 #Var: 3776 LB: 0 @ 1059.6
1064.51	c Restart #68 #Var: 3776 LB: 0 @ 1064.2
1068.50	c Restart #69 #Var: 3776 LB: 0 @ 1068.2
1071.44	c Restart #70 #Var: 3776 LB: 0 @ 1071.2
1076.31	c Restart #71 #Var: 3776 LB: 0 @ 1076
1081.93	c Restart #72 #Var: 3776 LB: 0 @ 1081.7
1087.21	c Restart #73 #Var: 3776 LB: 0 @ 1086.9
1092.50	c Restart #74 #Var: 3776 LB: 0 @ 1092.2
1098.07	c Restart #75 #Var: 3776 LB: 0 @ 1097.8
1102.39	c Restart #76 #Var: 3776 LB: 0 @ 1102.1
1107.02	c Restart #77 #Var: 3776 LB: 0 @ 1106.7
1112.55	c Restart #78 #Var: 3776 LB: 0 @ 1112.3
1115.51	c Restart #79 #Var: 3776 LB: 0 @ 1115.2
1119.41	c Restart #80 #Var: 3776 LB: 0 @ 1119.1
1126.16	c Restart #81 #Var: 3776 LB: 0 @ 1125.9
1131.66	c Restart #82 #Var: 3776 LB: 0 @ 1131.4
1139.09	c Restart #83 #Var: 3776 LB: 0 @ 1138.8
1147.60	c Restart #84 #Var: 3776 LB: 0 @ 1147.3
1154.16	c Restart #85 #Var: 3776 LB: 0 @ 1153.9
1157.79	c Restart #86 #Var: 3776 LB: 0 @ 1157.5
1163.05	c Restart #87 #Var: 3776 LB: 0 @ 1162.8
1167.98	c Restart #88 #Var: 3776 LB: 0 @ 1167.7
1173.28	c Restart #89 #Var: 3776 LB: 0 @ 1173
1177.91	c Restart #90 #Var: 3776 LB: 0 @ 1177.6
1183.68	c Restart #91 #Var: 3776 LB: 0 @ 1183.4
1189.04	c Restart #92 #Var: 3776 LB: 0 @ 1188.7
1197.12	c Restart #93 #Var: 3776 LB: 0 @ 1196.8
1204.04	c Restart #94 #Var: 3776 LB: 0 @ 1203.7
1210.88	c Restart #95 #Var: 3776 LB: 0 @ 1210.6
1218.54	c Restart #96 #Var: 3776 LB: 0 @ 1218.2
1225.17	c Restart #97 #Var: 3776 LB: 0 @ 1224.9
1231.59	c Restart #98 #Var: 3776 LB: 0 @ 1231.3
1238.28	c Restart #99 #Var: 3776 LB: 0 @ 1238
1242.79	c Restart #100 #Var: 3776 LB: 0 @ 1242.5
1250.46	c Restart #101 #Var: 3776 LB: 0 @ 1250.1
1257.89	c Restart #102 #Var: 3776 LB: 0 @ 1257.6
1264.49	c Restart #103 #Var: 3776 LB: 0 @ 1264.2
1270.65	c Restart #104 #Var: 3776 LB: 0 @ 1270.3
1276.81	c Restart #105 #Var: 3776 LB: 0 @ 1276.5
1283.58	c Restart #106 #Var: 3776 LB: 0 @ 1283.3
1290.13	c Restart #107 #Var: 3776 LB: 0 @ 1289.8
1294.03	c Restart #108 #Var: 3776 LB: 0 @ 1293.7
1303.16	c Restart #109 #Var: 3776 LB: 0 @ 1302.8
1311.24	c Restart #110 #Var: 3776 LB: 0 @ 1310.9
1318.98	c Restart #111 #Var: 3776 LB: 0 @ 1318.7
1327.81	c Restart #112 #Var: 3776 LB: 0 @ 1327.5
1337.21	c Restart #113 #Var: 3776 LB: 0 @ 1336.9
1345.50	c Restart #114 #Var: 3776 LB: 0 @ 1345.2
1353.42	c Restart #115 #Var: 3776 LB: 0 @ 1353.1
1361.83	c Restart #116 #Var: 3776 LB: 0 @ 1361.5
1368.34	c Restart #117 #Var: 3776 LB: 0 @ 1368
1376.43	c Restart #118 #Var: 3776 LB: 0 @ 1376.1
1384.90	c Restart #119 #Var: 3776 LB: 0 @ 1384.6
1394.06	c Restart #120 #Var: 3776 LB: 0 @ 1393.7
1402.93	c Restart #121 #Var: 3776 LB: 0 @ 1402.6
1410.55	c Restart #122 #Var: 3776 LB: 0 @ 1410.2
1419.87	c Restart #123 #Var: 3776 LB: 0 @ 1419.5
1427.93	c Restart #124 #Var: 3776 LB: 0 @ 1427.6
1438.03	c Restart #125 #Var: 3776 LB: 0 @ 1437.7
1449.13	c Restart #126 #Var: 3776 LB: 0 @ 1448.8
1458.87	c Restart #127 #Var: 3776 LB: 0 @ 1458.5
1467.36	c Restart #128 #Var: 3776 LB: 0 @ 1467
1476.39	c Restart #129 #Var: 3776 LB: 0 @ 1476
1482.02	c Restart #130 #Var: 3776 LB: 0 @ 1481.6
1491.92	c Restart #131 #Var: 3776 LB: 0 @ 1491.5
1497.07	c Restart #132 #Var: 3776 LB: 0 @ 1496.7
1505.02	c Restart #133 #Var: 3776 LB: 0 @ 1504.6
1512.81	c Restart #134 #Var: 3776 LB: 0 @ 1512.4
1524.53	c Restart #135 #Var: 3776 LB: 0 @ 1524.2
1533.01	c Restart #136 #Var: 3776 LB: 0 @ 1532.6
1545.17	c Restart #137 #Var: 3776 LB: 0 @ 1544.8
1554.20	c Restart #138 #Var: 3776 LB: 0 @ 1553.8
1565.01	c Restart #139 #Var: 3776 LB: 0 @ 1564.6
1575.16	c Restart #140 #Var: 3776 LB: 0 @ 1574.8
1584.31	c Restart #141 #Var: 3776 LB: 0 @ 1583.9
1593.81	c Restart #142 #Var: 3776 LB: 0 @ 1593.4
1602.93	c Restart #143 #Var: 3776 LB: 0 @ 1602.5
1612.24	c Restart #144 #Var: 3776 LB: 0 @ 1611.8
1620.41	c Restart #145 #Var: 3776 LB: 0 @ 1620
1629.46	c Restart #146 #Var: 3776 LB: 0 @ 1629.1
1638.43	c Restart #147 #Var: 3776 LB: 0 @ 1638
1645.39	c Restart #148 #Var: 3776 LB: 0 @ 1645
1656.91	c Restart #149 #Var: 3776 LB: 0 @ 1656.5
1668.38	c Restart #150 #Var: 3776 LB: 0 @ 1668
1679.84	c Restart #151 #Var: 3776 LB: 0 @ 1679.4
1691.82	c Restart #152 #Var: 3776 LB: 0 @ 1691.4
1699.66	c Restart #153 #Var: 3776 LB: 0 @ 1699.2
1709.41	c Restart #154 #Var: 3776 LB: 0 @ 1709
1718.14	c Restart #155 #Var: 3776 LB: 0 @ 1717.7
1729.07	c Restart #156 #Var: 3776 LB: 0 @ 1728.6
1735.18	c Restart #157 #Var: 3776 LB: 0 @ 1734.7
1747.61	c Restart #158 #Var: 3776 LB: 0 @ 1747.2
1765.28	c Restart #159 #Var: 3776 LB: 0 @ 1764.8
1778.37	c Restart #160 #Var: 3776 LB: 0 @ 1777.9
1790.54	c Restart #161 #Var: 3776 LB: 0 @ 1790.1
1800.45	s UNKNOWN
1800.45	c Exit Code: 0
1800.45	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/node43/watcher-39808-1149251432 -o ROOT/results/node43/solver-39808-1149251432 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node43/39808-1149251432/instance-39808-1149251432.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.91 0.95 0.96 2/64 31745
/proc/meminfo: memFree=1549432/2055920 swapFree=4180880/4192956
[pid=31745] ppid=31743 vsize=4748 CPUtime=0
/proc/31745/stat : 31745 (bsolo) R 31743 31745 31699 0 -1 0 215 0 0 0 0 0 0 0 18 0 1 0 190809992 4861952 185 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134713704 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31745/statm: 1187 195 145 55 0 79 0

[startup+10.0029 s]
/proc/loadavg: 0.93 0.95 0.96 2/64 31745
/proc/meminfo: memFree=1539000/2055920 swapFree=4180880/4192956
[pid=31745] ppid=31743 vsize=15224 CPUtime=9.97
/proc/31745/stat : 31745 (bsolo) R 31743 31745 31699 0 -1 0 2990 0 0 0 994 3 0 0 25 0 1 0 190809992 15589376 2905 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540644 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31745/statm: 3806 2905 297 55 0 2698 0
Current children cumulated CPU time (s) 9.97
Current children cumulated vsize (Kb) 15224

[startup+20.0097 s]
/proc/loadavg: 0.94 0.96 0.96 2/64 31745
/proc/meminfo: memFree=1538880/2055920 swapFree=4180880/4192956
[pid=31745] ppid=31743 vsize=15336 CPUtime=19.98
/proc/31745/stat : 31745 (bsolo) R 31743 31745 31699 0 -1 0 3026 0 0 0 1992 6 0 0 25 0 1 0 190809992 15704064 2934 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537653 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31745/statm: 3834 2934 297 55 0 2726 0
Current children cumulated CPU time (s) 19.98
Current children cumulated vsize (Kb) 15336

[startup+30.0156 s]
/proc/loadavg: 0.95 0.96 0.96 2/64 31745
/proc/meminfo: memFree=1538880/2055920 swapFree=4180880/4192956
[pid=31745] ppid=31743 vsize=15444 CPUtime=29.98
/proc/31745/stat : 31745 (bsolo) R 31743 31745 31699 0 -1 0 3031 0 0 0 2990 8 0 0 25 0 1 0 190809992 15814656 2939 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31745/statm: 3861 2939 297 55 0 2753 0
Current children cumulated CPU time (s) 29.98
Current children cumulated vsize (Kb) 15444

[startup+40.0214 s]
/proc/loadavg: 0.95 0.96 0.96 2/64 31745
/proc/meminfo: memFree=1538624/2055920 swapFree=4180880/4192956
[pid=31745] ppid=31743 vsize=15708 CPUtime=39.99
/proc/31745/stat : 31745 (bsolo) R 31743 31745 31699 0 -1 0 3090 0 0 0 3987 12 0 0 25 0 1 0 190809992 16084992 2998 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603842 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31745/statm: 3927 2998 297 55 0 2819 0
Current children cumulated CPU time (s) 39.99
Current children cumulated vsize (Kb) 15708

[startup+50.0273 s]
/proc/loadavg: 0.96 0.96 0.96 2/64 31745
/proc/meminfo: memFree=1538624/2055920 swapFree=4180880/4192956
[pid=31745] ppid=31743 vsize=15524 CPUtime=49.99
/proc/31745/stat : 31745 (bsolo) R 31743 31745 31699 0 -1 0 3090 0 0 0 4983 16 0 0 25 0 1 0 190809992 15896576 2981 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31745/statm: 3881 2981 297 55 0 2773 0
Current children cumulated CPU time (s) 49.99
Current children cumulated vsize (Kb) 15524

[startup+60.0332 s]
/proc/loadavg: 0.97 0.96 0.96 2/64 31745
/proc/meminfo: memFree=1538624/2055920 swapFree=4180880/4192956
[pid=31745] ppid=31743 vsize=15532 CPUtime=59.99
/proc/31745/stat : 31745 (bsolo) R 31743 31745 31699 0 -1 0 3106 0 0 0 5980 19 0 0 25 0 1 0 190809992 15904768 2983 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31745/statm: 3883 2983 297 55 0 2775 0
Current children cumulated CPU time (s) 59.99
Current children cumulated vsize (Kb) 15532

[startup+70.039 s]
/proc/loadavg: 0.97 0.96 0.96 2/64 31745
/proc/meminfo: memFree=1538560/2055920 swapFree=4180880/4192956
[pid=31745] ppid=31743 vsize=15664 CPUtime=70
/proc/31745/stat : 31745 (bsolo) R 31743 31745 31699 0 -1 0 3129 0 0 0 6979 21 0 0 25 0 1 0 190809992 16039936 3006 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31745/statm: 3916 3006 297 55 0 2808 0
Current children cumulated CPU time (s) 70
Current children cumulated vsize (Kb) 15664

[startup+80.0459 s]
/proc/loadavg: 0.98 0.96 0.96 2/64 31745
/proc/meminfo: memFree=1538560/2055920 swapFree=4180880/4192956
[pid=31745] ppid=31743 vsize=15552 CPUtime=80
/proc/31745/stat : 31745 (bsolo) R 31743 31745 31699 0 -1 0 3129 0 0 0 7975 25 0 0 25 0 1 0 190809992 15925248 2988 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134696494 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31745/statm: 3888 2988 297 55 0 2780 0
Current children cumulated CPU time (s) 80
Current children cumulated vsize (Kb) 15552

[startup+90.0508 s]
/proc/loadavg: 0.98 0.96 0.96 2/64 31745
/proc/meminfo: memFree=1538560/2055920 swapFree=4180880/4192956
[pid=31745] ppid=31743 vsize=15624 CPUtime=90.01
/proc/31745/stat : 31745 (bsolo) R 31743 31745 31699 0 -1 0 3130 0 0 0 8972 29 0 0 25 0 1 0 190809992 15998976 2989 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31745/statm: 3906 2989 297 55 0 2798 0
Current children cumulated CPU time (s) 90.01
Current children cumulated vsize (Kb) 15624

[startup+100.057 s]
/proc/loadavg: 0.98 0.96 0.96 2/64 31745
/proc/meminfo: memFree=1538560/2055920 swapFree=4180880/4192956
[pid=31745] ppid=31743 vsize=15648 CPUtime=100.01
/proc/31745/stat : 31745 (bsolo) R 31743 31745 31699 0 -1 0 3135 0 0 0 9970 31 0 0 25 0 1 0 190809992 16023552 2994 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31745/statm: 3912 2994 297 55 0 2804 0
Current children cumulated CPU time (s) 100.01
Current children cumulated vsize (Kb) 15648

[startup+110.062 s]
/proc/loadavg: 0.98 0.96 0.96 2/64 31745
/proc/meminfo: memFree=1538560/2055920 swapFree=4180880/4192956
[pid=31745] ppid=31743 vsize=15648 CPUtime=110.01
/proc/31745/stat : 31745 (bsolo) R 31743 31745 31699 0 -1 0 3135 0 0 0 10966 35 0 0 25 0 1 0 190809992 16023552 2994 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31745/statm: 3912 2994 297 55 0 2804 0
Current children cumulated CPU time (s) 110.01
Current children cumulated vsize (Kb) 15648

[startup+120.068 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 31745
/proc/meminfo: memFree=1538496/2055920 swapFree=4180880/4192956
[pid=31745] ppid=31743 vsize=15780 CPUtime=120.02
/proc/31745/stat : 31745 (bsolo) R 31743 31745 31699 0 -1 0 3166 0 0 0 11964 38 0 0 25 0 1 0 190809992 16158720 3025 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31745/statm: 3945 3025 297 55 0 2837 0
Current children cumulated CPU time (s) 120.02
Current children cumulated vsize (Kb) 15780

[startup+130.074 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 31745
/proc/meminfo: memFree=1538368/2055920 swapFree=4180880/4192956
[pid=31745] ppid=31743 vsize=15912 CPUtime=130.01
/proc/31745/stat : 31745 (bsolo) R 31743 31745 31699 0 -1 0 3196 0 0 0 12959 42 0 0 25 0 1 0 190809992 16293888 3055 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31745/statm: 3978 3055 297 55 0 2870 0
Current children cumulated CPU time (s) 130.01
Current children cumulated vsize (Kb) 15912

[startup+140.08 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 31745
/proc/meminfo: memFree=1538368/2055920 swapFree=4180880/4192956
[pid=31745] ppid=31743 vsize=15912 CPUtime=140.02
/proc/31745/stat : 31745 (bsolo) R 31743 31745 31699 0 -1 0 3196 0 0 0 13955 47 0 0 25 0 1 0 190809992 16293888 3055 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31745/statm: 3978 3055 297 55 0 2870 0
Current children cumulated CPU time (s) 140.02
Current children cumulated vsize (Kb) 15912

[startup+150.086 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 31745
/proc/meminfo: memFree=1538368/2055920 swapFree=4180880/4192956
[pid=31745] ppid=31743 vsize=15912 CPUtime=150.02
/proc/31745/stat : 31745 (bsolo) R 31743 31745 31699 0 -1 0 3196 0 0 0 14950 52 0 0 25 0 1 0 190809992 16293888 3055 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31745/statm: 3978 3055 297 55 0 2870 0
Current children cumulated CPU time (s) 150.02
Current children cumulated vsize (Kb) 15912

[startup+160.092 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 31745
/proc/meminfo: memFree=1538368/2055920 swapFree=4180880/4192956
[pid=31745] ppid=31743 vsize=15912 CPUtime=160.03
/proc/31745/stat : 31745 (bsolo) R 31743 31745 31699 0 -1 0 3196 0 0 0 15947 56 0 0 25 0 1 0 190809992 16293888 3055 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603842 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31745/statm: 3978 3055 297 55 0 2870 0
Current children cumulated CPU time (s) 160.03
Current children cumulated vsize (Kb) 15912

[startup+170.098 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 31745
/proc/meminfo: memFree=1538048/2055920 swapFree=4180880/4192956
[pid=31745] ppid=31743 vsize=16076 CPUtime=170.03
/proc/31745/stat : 31745 (bsolo) R 31743 31745 31699 0 -1 0 3272 0 0 0 16942 61 0 0 25 0 1 0 190809992 16461824 3119 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31745/statm: 4019 3119 297 55 0 2911 0
Current children cumulated CPU time (s) 170.03
Current children cumulated vsize (Kb) 16076

[startup+180.104 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 31745
/proc/meminfo: memFree=1538048/2055920 swapFree=4180880/4192956
[pid=31745] ppid=31743 vsize=16076 CPUtime=180.03
/proc/31745/stat : 31745 (bsolo) R 31743 31745 31699 0 -1 0 3272 0 0 0 17939 64 0 0 25 0 1 0 190809992 16461824 3119 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31745/statm: 4019 3119 297 55 0 2911 0
Current children cumulated CPU time (s) 180.03
Current children cumulated vsize (Kb) 16076

[startup+190.109 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 31745
/proc/meminfo: memFree=1538048/2055920 swapFree=4180880/4192956
[pid=31745] ppid=31743 vsize=16076 CPUtime=190.04
/proc/31745/stat : 31745 (bsolo) R 31743 31745 31699 0 -1 0 3272 0 0 0 18936 68 0 0 25 0 1 0 190809992 16461824 3119 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31745/statm: 4019 3119 297 55 0 2911 0
Current children cumulated CPU time (s) 190.04
Current children cumulated vsize (Kb) 16076

[startup+200.115 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 31747
/proc/meminfo: memFree=1538048/2055920 swapFree=4180880/4192956
[pid=31745] ppid=31743 vsize=16076 CPUtime=200.05
/proc/31745/stat : 31745 (bsolo) R 31743 31745 31699 0 -1 0 3272 0 0 0 19932 73 0 0 25 0 1 0 190809992 16461824 3119 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603842 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31745/statm: 4019 3119 297 55 0 2911 0
Current children cumulated CPU time (s) 200.05
Current children cumulated vsize (Kb) 16076

[startup+210.121 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 31747
/proc/meminfo: memFree=1538048/2055920 swapFree=4180880/4192956

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

/proc/31745/statm: 8046 7129 297 55 0 6938 0
Current children cumulated CPU time (s) 1760.57
Current children cumulated vsize (Kb) 32184

[startup+1771.03 s]
/proc/loadavg: 1.00 0.99 0.96 2/64 31747
/proc/meminfo: memFree=1521536/2055920 swapFree=4180880/4192956
[pid=31745] ppid=31743 vsize=32008 CPUtime=1770.58
/proc/31745/stat : 31745 (bsolo) R 31743 31745 31699 0 -1 0 8133 0 0 0 176394 664 0 0 25 0 1 0 190809992 32776192 7102 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31745/statm: 8002 7102 297 55 0 6894 0
Current children cumulated CPU time (s) 1770.58
Current children cumulated vsize (Kb) 32008

[startup+1781.03 s]
/proc/loadavg: 1.00 0.99 0.96 2/64 31747
/proc/meminfo: memFree=1521536/2055920 swapFree=4180880/4192956
[pid=31745] ppid=31743 vsize=31920 CPUtime=1780.58
/proc/31745/stat : 31745 (bsolo) R 31743 31745 31699 0 -1 0 8133 0 0 0 177391 667 0 0 25 0 1 0 190809992 32686080 7080 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31745/statm: 7980 7080 297 55 0 6872 0
Current children cumulated CPU time (s) 1780.58
Current children cumulated vsize (Kb) 31920

[startup+1782.04 s]
/proc/loadavg: 1.00 0.99 0.96 2/64 31747
/proc/meminfo: memFree=1521536/2055920 swapFree=4180880/4192956
[pid=31745] ppid=31743 vsize=31920 CPUtime=1781.59
/proc/31745/stat : 31745 (bsolo) R 31743 31745 31699 0 -1 0 8133 0 0 0 177491 668 0 0 25 0 1 0 190809992 32686080 7080 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528659 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31745/statm: 7980 7080 297 55 0 6872 0
Current children cumulated CPU time (s) 1781.59
Current children cumulated vsize (Kb) 31920

[startup+1783.04 s]
/proc/loadavg: 1.00 0.99 0.96 2/64 31747
/proc/meminfo: memFree=1521536/2055920 swapFree=4180880/4192956
[pid=31745] ppid=31743 vsize=32176 CPUtime=1782.59
/proc/31745/stat : 31745 (bsolo) R 31743 31745 31699 0 -1 0 8167 0 0 0 177591 668 0 0 25 0 1 0 190809992 32948224 7114 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603854 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31745/statm: 8044 7114 297 55 0 6936 0
Current children cumulated CPU time (s) 1782.59
Current children cumulated vsize (Kb) 32176

[startup+1784.05 s]
/proc/loadavg: 1.00 0.99 0.96 2/64 31747
/proc/meminfo: memFree=1521536/2055920 swapFree=4180880/4192956
[pid=31745] ppid=31743 vsize=32084 CPUtime=1783.59
/proc/31745/stat : 31745 (bsolo) R 31743 31745 31699 0 -1 0 8170 0 0 0 177691 668 0 0 25 0 1 0 190809992 32854016 7117 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31745/statm: 8021 7117 297 55 0 6913 0
Current children cumulated CPU time (s) 1783.59
Current children cumulated vsize (Kb) 32084

[startup+1785.05 s]
/proc/loadavg: 1.00 0.99 0.96 2/64 31747
/proc/meminfo: memFree=1521472/2055920 swapFree=4180880/4192956
[pid=31745] ppid=31743 vsize=32224 CPUtime=1784.6
/proc/31745/stat : 31745 (bsolo) R 31743 31745 31699 0 -1 0 8202 0 0 0 177791 669 0 0 25 0 1 0 190809992 32997376 7137 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31745/statm: 8056 7137 297 55 0 6948 0
Current children cumulated CPU time (s) 1784.6
Current children cumulated vsize (Kb) 32224

[startup+1786.06 s]
/proc/loadavg: 1.00 0.99 0.96 2/64 31747
/proc/meminfo: memFree=1521216/2055920 swapFree=4180880/4192956
[pid=31745] ppid=31743 vsize=32460 CPUtime=1785.6
/proc/31745/stat : 31745 (bsolo) R 31743 31745 31699 0 -1 0 8280 0 0 0 177891 669 0 0 25 0 1 0 190809992 33239040 7195 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603842 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31745/statm: 8115 7195 297 55 0 7007 0
Current children cumulated CPU time (s) 1785.6
Current children cumulated vsize (Kb) 32460

[startup+1787.06 s]
/proc/loadavg: 1.00 0.99 0.96 2/64 31747
/proc/meminfo: memFree=1521152/2055920 swapFree=4180880/4192956
[pid=31745] ppid=31743 vsize=32592 CPUtime=1786.61
/proc/31745/stat : 31745 (bsolo) R 31743 31745 31699 0 -1 0 8307 0 0 0 177991 670 0 0 25 0 1 0 190809992 33374208 7222 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534870 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31745/statm: 8148 7222 297 55 0 7040 0
Current children cumulated CPU time (s) 1786.61
Current children cumulated vsize (Kb) 32592

[startup+1788.07 s]
/proc/loadavg: 1.00 0.99 0.96 2/64 31747
/proc/meminfo: memFree=1520896/2055920 swapFree=4180880/4192956
[pid=31745] ppid=31743 vsize=32788 CPUtime=1787.62
/proc/31745/stat : 31745 (bsolo) R 31743 31745 31699 0 -1 0 8364 0 0 0 178091 671 0 0 25 0 1 0 190809992 33574912 7279 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31745/statm: 8197 7279 297 55 0 7089 0
Current children cumulated CPU time (s) 1787.62
Current children cumulated vsize (Kb) 32788

[startup+1789.07 s]
/proc/loadavg: 1.00 0.99 0.96 2/64 31747
/proc/meminfo: memFree=1520512/2055920 swapFree=4180880/4192956
[pid=31745] ppid=31743 vsize=33168 CPUtime=1788.62
/proc/31745/stat : 31745 (bsolo) R 31743 31745 31699 0 -1 0 8459 0 0 0 178191 671 0 0 25 0 1 0 190809992 33964032 7374 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541539 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31745/statm: 8292 7374 297 55 0 7184 0
Current children cumulated CPU time (s) 1788.62
Current children cumulated vsize (Kb) 33168

[startup+1790.08 s]
/proc/loadavg: 1.00 0.99 0.96 2/64 31747
/proc/meminfo: memFree=1520512/2055920 swapFree=4180880/4192956
[pid=31745] ppid=31743 vsize=33168 CPUtime=1789.62
/proc/31745/stat : 31745 (bsolo) R 31743 31745 31699 0 -1 0 8459 0 0 0 178291 671 0 0 25 0 1 0 190809992 33964032 7374 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31745/statm: 8292 7374 297 55 0 7184 0
Current children cumulated CPU time (s) 1789.62
Current children cumulated vsize (Kb) 33168

[startup+1791.08 s]
/proc/loadavg: 1.00 0.99 0.96 2/64 31747
/proc/meminfo: memFree=1520512/2055920 swapFree=4180880/4192956
[pid=31745] ppid=31743 vsize=33168 CPUtime=1790.63
/proc/31745/stat : 31745 (bsolo) R 31743 31745 31699 0 -1 0 8459 0 0 0 178391 672 0 0 25 0 1 0 190809992 33964032 7374 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31745/statm: 8292 7374 297 55 0 7184 0
Current children cumulated CPU time (s) 1790.63
Current children cumulated vsize (Kb) 33168

[startup+1792.09 s]
/proc/loadavg: 1.00 0.99 0.96 2/64 31747
/proc/meminfo: memFree=1520512/2055920 swapFree=4180880/4192956
[pid=31745] ppid=31743 vsize=33168 CPUtime=1791.63
/proc/31745/stat : 31745 (bsolo) R 31743 31745 31699 0 -1 0 8459 0 0 0 178491 672 0 0 25 0 1 0 190809992 33964032 7374 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31745/statm: 8292 7374 297 55 0 7184 0
Current children cumulated CPU time (s) 1791.63
Current children cumulated vsize (Kb) 33168

[startup+1793.09 s]
/proc/loadavg: 1.00 0.99 0.96 2/64 31747
/proc/meminfo: memFree=1520512/2055920 swapFree=4180880/4192956
[pid=31745] ppid=31743 vsize=33168 CPUtime=1792.64
/proc/31745/stat : 31745 (bsolo) R 31743 31745 31699 0 -1 0 8459 0 0 0 178591 673 0 0 25 0 1 0 190809992 33964032 7374 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31745/statm: 8292 7374 297 55 0 7184 0
Current children cumulated CPU time (s) 1792.64
Current children cumulated vsize (Kb) 33168

[startup+1794.1 s]
/proc/loadavg: 1.00 0.99 0.96 2/64 31747
/proc/meminfo: memFree=1520512/2055920 swapFree=4180880/4192956
[pid=31745] ppid=31743 vsize=33168 CPUtime=1793.65
/proc/31745/stat : 31745 (bsolo) R 31743 31745 31699 0 -1 0 8459 0 0 0 178691 674 0 0 25 0 1 0 190809992 33964032 7374 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603842 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31745/statm: 8292 7374 297 55 0 7184 0
Current children cumulated CPU time (s) 1793.65
Current children cumulated vsize (Kb) 33168

[startup+1795.1 s]
/proc/loadavg: 1.00 0.99 0.96 2/64 31747
/proc/meminfo: memFree=1520512/2055920 swapFree=4180880/4192956
[pid=31745] ppid=31743 vsize=33168 CPUtime=1794.65
/proc/31745/stat : 31745 (bsolo) R 31743 31745 31699 0 -1 0 8459 0 0 0 178791 674 0 0 25 0 1 0 190809992 33964032 7374 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718274 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31745/statm: 8292 7374 297 55 0 7184 0
Current children cumulated CPU time (s) 1794.65
Current children cumulated vsize (Kb) 33168

[startup+1796.11 s]
/proc/loadavg: 1.00 0.99 0.96 2/64 31747
/proc/meminfo: memFree=1520512/2055920 swapFree=4180880/4192956
[pid=31745] ppid=31743 vsize=33168 CPUtime=1795.65
/proc/31745/stat : 31745 (bsolo) R 31743 31745 31699 0 -1 0 8459 0 0 0 178891 674 0 0 25 0 1 0 190809992 33964032 7374 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31745/statm: 8292 7374 297 55 0 7184 0
Current children cumulated CPU time (s) 1795.65
Current children cumulated vsize (Kb) 33168

[startup+1797.11 s]
/proc/loadavg: 1.00 0.99 0.96 2/64 31747
/proc/meminfo: memFree=1520512/2055920 swapFree=4180880/4192956
[pid=31745] ppid=31743 vsize=33168 CPUtime=1796.66
/proc/31745/stat : 31745 (bsolo) R 31743 31745 31699 0 -1 0 8459 0 0 0 178991 675 0 0 25 0 1 0 190809992 33964032 7374 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31745/statm: 8292 7374 297 55 0 7184 0
Current children cumulated CPU time (s) 1796.66
Current children cumulated vsize (Kb) 33168

[startup+1798.12 s]
/proc/loadavg: 1.00 0.99 0.96 2/64 31747
/proc/meminfo: memFree=1520512/2055920 swapFree=4180880/4192956
[pid=31745] ppid=31743 vsize=33168 CPUtime=1797.66
/proc/31745/stat : 31745 (bsolo) R 31743 31745 31699 0 -1 0 8459 0 0 0 179091 675 0 0 25 0 1 0 190809992 33964032 7374 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534060 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31745/statm: 8292 7374 297 55 0 7184 0
Current children cumulated CPU time (s) 1797.66
Current children cumulated vsize (Kb) 33168

[startup+1799.12 s]
/proc/loadavg: 1.00 0.99 0.96 2/64 31747
/proc/meminfo: memFree=1520512/2055920 swapFree=4180880/4192956
[pid=31745] ppid=31743 vsize=33168 CPUtime=1798.66
/proc/31745/stat : 31745 (bsolo) R 31743 31745 31699 0 -1 0 8459 0 0 0 179191 675 0 0 25 0 1 0 190809992 33964032 7374 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31745/statm: 8292 7374 297 55 0 7184 0
Current children cumulated CPU time (s) 1798.66
Current children cumulated vsize (Kb) 33168

[startup+1800.13 s]
/proc/loadavg: 1.00 0.99 0.96 2/64 31747
/proc/meminfo: memFree=1520512/2055920 swapFree=4180880/4192956
[pid=31745] ppid=31743 vsize=33168 CPUtime=1799.67
/proc/31745/stat : 31745 (bsolo) R 31743 31745 31699 0 -1 0 8459 0 0 0 179291 676 0 0 25 0 1 0 190809992 33964032 7374 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31745/statm: 8292 7374 297 55 0 7184 0
Current children cumulated CPU time (s) 1799.67
Current children cumulated vsize (Kb) 33168

Child status: 0
Real time (s): 1800.46
CPU time (s): 1800.01
CPU user time (s): 1793.24
CPU system time (s): 6.76897
CPU usage (%): 99.975
Max. virtual memory (cumulated for all children) (Kb): 33168

Launcher Data (download as text)

Begin job on node43 on Fri Jun  2 12:30:32 UTC 2006


FILE ID= 39808-1149251432

PBS_JOBID= 298111

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

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  094943d5c572e297ea40a22e131cb082

RANDOM SEED= 306183056


/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.216
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.216
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:       1549640 kB
Buffers:         12188 kB
Cached:         423920 kB
SwapCached:       3716 kB
Active:          46888 kB
Inactive:       397892 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1549640 kB
SwapTotal:     4192956 kB
SwapFree:      4180880 kB
Dirty:             172 kB
Writeback:           0 kB
Mapped:          14828 kB
Slab:            47616 kB
Committed_AS:   253032 kB
PageTables:       1408 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node43 on Fri Jun  2 13:00:33 UTC 2006