Trace number 357277

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
oree 0.1.2 alpha? (MO) 1090.56 1090.85

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-siena1.opb
MD5SUM6b1441ebcfc2678f5078c728b5f20e0c
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 16269067107200000
Optimality of the best value was proved NO
Number of variables70755
Total number of constraints2219
Number of constraints which are clauses310
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1909
Minimum length of a constraint15
Maximum length of a constraint70755
Number of terms in the objective function 70755
Biggest coefficient in the objective function 536870912000000000000
Number of bits for the biggest coefficient in the objective function 69
Sum of the numbers in the objective function 28224865138562971148229
Number of bits of the sum of numbers in the objective function 75
Biggest number in a constraint 536870912000000000000
Number of bits of the biggest number in a constraint 69
Biggest sum of numbers in a constraint 28224967538562971148229
Number of bits of the biggest sum of numbers75
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/0.00	c This is oree version 0.1.2 alpha
0.00/0.00	c (c) roussel@cril.univ-artois.fr
0.00/0.00	c using __gmp_expr<__gmpz_value, __gmpz_value>
0.00/0.00	c parsing...
1.68/1.77	c ...done
1.68/1.77	c #vars=70755 #constraints=4028 hasObjective=yes
2.49/2.59	c res. mode=mod
2.49/2.59	c VSIDS like heuristics
2.49/2.59	c complete search running
2.99/3.07	c restart after 401 decisions
3.09/3.17	c nbDecision=500 #constraints=4028
3.39/3.47	c restart after 801 decisions
3.58/3.68	c nbDecision=1000 #constraints=4028
4.08/4.18	c nbDecision=1500 #constraints=4028
4.18/4.28	c restart after 1601 decisions
4.58/4.68	c nbDecision=2000 #constraints=4028
5.08/5.17	c nbDecision=2500 #constraints=4028
5.58/5.66	c nbDecision=3000 #constraints=4028
5.78/5.87	c restart after 3201 decisions
6.08/6.17	c nbDecision=3500 #constraints=4028
6.59/6.67	c nbDecision=4000 #constraints=4028
7.08/7.17	c nbDecision=4500 #constraints=4028
7.59/7.68	c nbDecision=5000 #constraints=4028
8.08/8.18	c nbDecision=5500 #constraints=4028
8.58/8.68	c nbDecision=6000 #constraints=4028
8.98/9.09	c restart after 6401 decisions
9.08/9.19	c nbDecision=6500 #constraints=4028
9.68/9.70	c nbDecision=7000 #constraints=4028
10.18/10.21	c nbDecision=7500 #constraints=4028
10.68/10.71	c nbDecision=8000 #constraints=4028
11.18/11.22	c nbDecision=8500 #constraints=4028
11.68/11.72	c nbDecision=9000 #constraints=4028
12.18/12.22	c nbDecision=9500 #constraints=4028
12.68/12.72	c nbDecision=10000 #constraints=4028
13.19/13.22	c nbDecision=10500 #constraints=4028
13.68/13.72	c nbDecision=11000 #constraints=4028
14.19/14.21	c nbDecision=11500 #constraints=4028
14.68/14.70	c nbDecision=12000 #constraints=4028
15.08/15.19	c nbDecision=12500 #constraints=4028
15.39/15.48	c restart after 12801 decisions
15.58/15.69	c nbDecision=13000 #constraints=4028
16.08/16.19	c nbDecision=13500 #constraints=4028
16.58/16.69	c nbDecision=14000 #constraints=4028
17.08/17.19	c nbDecision=14500 #constraints=4028
17.59/17.69	c nbDecision=15000 #constraints=4028
18.08/18.19	c nbDecision=15500 #constraints=4028
18.59/18.68	c nbDecision=16000 #constraints=4028
19.08/19.18	c nbDecision=16500 #constraints=4028
19.58/19.67	c nbDecision=17000 #constraints=4028
20.08/20.15	c nbDecision=17500 #constraints=4028
20.58/20.64	c nbDecision=18000 #constraints=4028
21.08/21.13	c nbDecision=18500 #constraints=4028
21.58/21.61	c nbDecision=19000 #constraints=4028
21.98/22.10	c nbDecision=19500 #constraints=4028
22.49/22.58	c nbDecision=20000 #constraints=4028
22.99/23.06	c nbDecision=20500 #constraints=4028
23.49/23.54	c nbDecision=21000 #constraints=4028
23.99/24.01	c nbDecision=21500 #constraints=4028
24.39/24.49	c nbDecision=22000 #constraints=4028
24.89/24.97	c nbDecision=22500 #constraints=4028
25.39/25.45	c nbDecision=23000 #constraints=4028
25.89/25.93	c nbDecision=23500 #constraints=4028
26.29/26.40	c nbDecision=24000 #constraints=4028
26.79/26.87	c nbDecision=24500 #constraints=4028
27.29/27.34	c nbDecision=25000 #constraints=4028
27.79/27.81	c nbDecision=25500 #constraints=4028
27.89/27.90	c restart after 25601 decisions
28.29/28.32	c nbDecision=26000 #constraints=4028
28.79/28.81	c nbDecision=26500 #constraints=4028
29.29/29.31	c nbDecision=27000 #constraints=4028
29.79/29.81	c nbDecision=27500 #constraints=4028
30.29/30.32	c nbDecision=28000 #constraints=4028
30.79/30.82	c nbDecision=28500 #constraints=4028
31.29/31.32	c nbDecision=29000 #constraints=4028
31.79/31.82	c nbDecision=29500 #constraints=4028
32.29/32.32	c nbDecision=30000 #constraints=4028
32.79/32.81	c nbDecision=30500 #constraints=4028
33.29/33.30	c nbDecision=31000 #constraints=4028
33.79/33.80	c nbDecision=31500 #constraints=4028
34.19/34.29	c nbDecision=32000 #constraints=4028
34.68/34.77	c nbDecision=32500 #constraints=4028
35.19/35.25	c nbDecision=33000 #constraints=4028
35.68/35.73	c nbDecision=33500 #constraints=4028
36.19/36.21	c nbDecision=34000 #constraints=4028
36.58/36.69	c nbDecision=34500 #constraints=4028
37.08/37.16	c nbDecision=35000 #constraints=4028
37.58/37.63	c nbDecision=35500 #constraints=4028
38.08/38.11	c nbDecision=36000 #constraints=4028
38.49/38.57	c nbDecision=36500 #constraints=4028
38.98/39.04	c nbDecision=37000 #constraints=4028
39.48/39.51	c nbDecision=37500 #constraints=4028
39.88/39.97	c nbDecision=38000 #constraints=4028
40.38/40.44	c nbDecision=38500 #constraints=4028
40.78/40.90	c nbDecision=39000 #constraints=4028
41.28/41.35	c nbDecision=39500 #constraints=4028
41.78/41.81	c nbDecision=40000 #constraints=4028
42.18/42.27	c nbDecision=40500 #constraints=4028
42.68/42.72	c nbDecision=41000 #constraints=4028
43.08/43.17	c nbDecision=41500 #constraints=4028
43.58/43.62	c nbDecision=42000 #constraints=4028
43.98/44.07	c nbDecision=42500 #constraints=4028
44.48/44.51	c nbDecision=43000 #constraints=4028
44.88/44.96	c nbDecision=43500 #constraints=4028
45.38/45.40	c nbDecision=44000 #constraints=4028
45.78/45.84	c nbDecision=44500 #constraints=4028
46.18/46.28	c nbDecision=45000 #constraints=4028
46.68/46.72	c nbDecision=45500 #constraints=4028
47.08/47.16	c nbDecision=46000 #constraints=4028
47.58/47.60	c nbDecision=46500 #constraints=4028
47.98/48.03	c nbDecision=47000 #constraints=4028
48.38/48.47	c nbDecision=47500 #constraints=4028
48.88/48.90	c nbDecision=48000 #constraints=4028
49.28/49.33	c nbDecision=48500 #constraints=4028
49.68/49.76	c nbDecision=49000 #constraints=4028
50.08/50.19	c nbDecision=49500 #constraints=4028
50.58/50.62	c nbDecision=50000 #constraints=4028
50.98/51.05	c nbDecision=50500 #constraints=4028
51.38/51.47	c nbDecision=51000 #constraints=4028
51.58/51.64	c restart after 51201 decisions
51.88/51.95	c nbDecision=51500 #constraints=4028
52.38/52.45	c nbDecision=52000 #constraints=4028
52.88/52.95	c nbDecision=52500 #constraints=4028
53.38/53.46	c nbDecision=53000 #constraints=4028
53.88/53.96	c nbDecision=53500 #constraints=4028
54.38/54.46	c nbDecision=54000 #constraints=4028
54.88/54.96	c nbDecision=54500 #constraints=4028
55.38/55.45	c nbDecision=55000 #constraints=4028
55.88/55.94	c nbDecision=55500 #constraints=4028
56.38/56.43	c nbDecision=56000 #constraints=4028
56.87/56.92	c nbDecision=56500 #constraints=4028
57.37/57.41	c nbDecision=57000 #constraints=4028
57.77/57.89	c nbDecision=57500 #constraints=4028
58.28/58.38	c nbDecision=58000 #constraints=4028
58.77/58.86	c nbDecision=58500 #constraints=4028
59.28/59.34	c nbDecision=59000 #constraints=4028
59.77/59.82	c nbDecision=59500 #constraints=4028
60.17/60.29	c nbDecision=60000 #constraints=4028
60.67/60.77	c nbDecision=60500 #constraints=4028
61.17/61.24	c nbDecision=61000 #constraints=4028
61.67/61.72	c nbDecision=61500 #constraints=4028
62.07/62.19	c nbDecision=62000 #constraints=4028
62.58/62.66	c nbDecision=62500 #constraints=4028
63.07/63.12	c nbDecision=63000 #constraints=4028
63.47/63.58	c nbDecision=63500 #constraints=4028
63.97/64.04	c nbDecision=64000 #constraints=4028
64.47/64.50	c nbDecision=64500 #constraints=4028
64.88/64.97	c nbDecision=65000 #constraints=4028
65.37/65.43	c nbDecision=65500 #constraints=4028
65.77/65.89	c nbDecision=66000 #constraints=4028
66.27/66.35	c nbDecision=66500 #constraints=4028
66.77/66.80	c nbDecision=67000 #constraints=4028
67.17/67.26	c nbDecision=67500 #constraints=4028
67.67/67.71	c nbDecision=68000 #constraints=4028
68.08/68.16	c nbDecision=68500 #constraints=4028
68.57/68.61	c nbDecision=69000 #constraints=4028
68.97/69.05	c nbDecision=69500 #constraints=4028
69.37/69.50	c nbDecision=70000 #constraints=4028
69.87/69.94	c nbDecision=70500 #constraints=4028
70.28/70.38	c nbDecision=71000 #constraints=4028
70.77/70.81	c nbDecision=71500 #constraints=4028
71.17/71.24	c nbDecision=72000 #constraints=4028
71.57/71.68	c nbDecision=72500 #constraints=4028
72.07/72.11	c nbDecision=73000 #constraints=4028
72.47/72.54	c nbDecision=73500 #constraints=4028
72.87/72.97	c nbDecision=74000 #constraints=4028
73.37/73.40	c nbDecision=74500 #constraints=4028
73.77/73.83	c nbDecision=75000 #constraints=4028
74.17/74.26	c nbDecision=75500 #constraints=4028
74.57/74.69	c nbDecision=76000 #constraints=4028
75.07/75.11	c nbDecision=76500 #constraints=4028
75.47/75.53	c nbDecision=77000 #constraints=4028
75.87/75.95	c nbDecision=77500 #constraints=4028
76.27/76.36	c nbDecision=78000 #constraints=4028
76.67/76.77	c nbDecision=78500 #constraints=4028
77.07/77.18	c nbDecision=79000 #constraints=4028
77.47/77.59	c nbDecision=79500 #constraints=4028
77.98/78.00	c nbDecision=80000 #constraints=4028
78.37/78.40	c nbDecision=80500 #constraints=4028
78.77/78.80	c nbDecision=81000 #constraints=4028
79.07/79.20	c nbDecision=81500 #constraints=4028
79.47/79.59	c nbDecision=82000 #constraints=4028
79.87/79.98	c nbDecision=82500 #constraints=4028
80.27/80.37	c nbDecision=83000 #constraints=4028
80.67/80.75	c nbDecision=83500 #constraints=4028
81.07/81.14	c nbDecision=84000 #constraints=4028
81.47/81.52	c nbDecision=84500 #constraints=4028
81.87/81.90	c nbDecision=85000 #constraints=4028
82.17/82.30	c nbDecision=85500 #constraints=4028
82.57/82.69	c nbDecision=86000 #constraints=4028
82.97/83.08	c nbDecision=86500 #constraints=4028
83.37/83.48	c nbDecision=87000 #constraints=4028
83.77/83.87	c nbDecision=87500 #constraints=4028
84.17/84.26	c nbDecision=88000 #constraints=4028
84.57/84.65	c nbDecision=88500 #constraints=4028
84.97/85.04	c nbDecision=89000 #constraints=4028
85.47/85.51	c nbDecision=89500 #constraints=4040
85.87/85.90	c nbDecision=90000 #constraints=4040
86.17/86.30	c nbDecision=90500 #constraints=4040
86.57/86.69	c nbDecision=91000 #constraints=4040
86.97/87.08	c nbDecision=91500 #constraints=4040
87.37/87.47	c nbDecision=92000 #constraints=4040
87.87/87.92	c nbDecision=92500 #constraints=4050
88.27/88.32	c nbDecision=93000 #constraints=4050
88.67/88.72	c nbDecision=93500 #constraints=4051
89.07/89.11	c nbDecision=94000 #constraints=4051
89.47/89.51	c nbDecision=94500 #constraints=4052
89.87/89.90	c nbDecision=95000 #constraints=4052
90.27/90.35	c nbDecision=95500 #constraints=4063
90.67/90.75	c nbDecision=96000 #constraints=4063
91.17/91.21	c nbDecision=96500 #constraints=4075
91.56/91.66	c nbDecision=97000 #constraints=4086
92.06/92.11	c nbDecision=97500 #constraints=4093
92.46/92.53	c nbDecision=98000 #constraints=4095
92.86/92.94	c nbDecision=98500 #constraints=4098
93.26/93.33	c nbDecision=99000 #constraints=4098
93.76/93.80	c nbDecision=99500 #constraints=4104
94.06/94.19	c nbDecision=100000 #constraints=4104
94.47/94.59	c nbDecision=100500 #constraints=4104
94.86/94.98	c nbDecision=101000 #constraints=4104
95.26/95.37	c nbDecision=101500 #constraints=4104
95.67/95.75	c nbDecision=102000 #constraints=4104
95.96/96.07	c restart after 102401 decisions
96.16/96.27	c nbDecision=102500 #constraints=4104
96.67/96.76	c nbDecision=103000 #constraints=4104
97.16/97.24	c nbDecision=103500 #constraints=4104
97.66/97.74	c nbDecision=104000 #constraints=4104
98.16/98.23	c nbDecision=104500 #constraints=4104
98.66/98.73	c nbDecision=105000 #constraints=4104
99.16/99.22	c nbDecision=105500 #constraints=4104
99.66/99.72	c nbDecision=106000 #constraints=4104
100.16/100.21	c nbDecision=106500 #constraints=4104
100.66/100.70	c nbDecision=107000 #constraints=4104
101.07/101.19	c nbDecision=107500 #constraints=4104
101.56/101.68	c nbDecision=108000 #constraints=4104
102.06/102.16	c nbDecision=108500 #constraints=4104
102.56/102.64	c nbDecision=109000 #constraints=4104
103.06/103.11	c nbDecision=109500 #constraints=4104
103.46/103.59	c nbDecision=110000 #constraints=4104
103.96/104.05	c nbDecision=110500 #constraints=4104
104.46/104.53	c nbDecision=111000 #constraints=4104
104.96/105.01	c nbDecision=111500 #constraints=4104
105.36/105.48	c nbDecision=112000 #constraints=4104
105.86/105.95	c nbDecision=112500 #constraints=4104
106.36/106.42	c nbDecision=113000 #constraints=4104
106.76/106.89	c nbDecision=113500 #constraints=4104
107.26/107.36	c nbDecision=114000 #constraints=4104
107.76/107.83	c nbDecision=114500 #constraints=4104
108.26/108.30	c nbDecision=115000 #constraints=4104
108.66/108.76	c nbDecision=115500 #constraints=4104
109.16/109.22	c nbDecision=116000 #constraints=4104
109.56/109.68	c nbDecision=116500 #constraints=4104
110.06/110.14	c nbDecision=117000 #constraints=4104
110.56/110.60	c nbDecision=117500 #constraints=4104
110.96/111.06	c nbDecision=118000 #constraints=4104
111.46/111.51	c nbDecision=118500 #constraints=4104
111.86/111.96	c nbDecision=119000 #constraints=4104
112.36/112.41	c nbDecision=119500 #constraints=4104
112.76/112.86	c nbDecision=120000 #constraints=4104
113.26/113.31	c nbDecision=120500 #constraints=4104
113.66/113.75	c nbDecision=121000 #constraints=4104
114.06/114.20	c nbDecision=121500 #constraints=4104
114.56/114.64	c nbDecision=122000 #constraints=4104
114.96/115.07	c nbDecision=122500 #constraints=4104
115.46/115.51	c nbDecision=123000 #constraints=4104
115.86/115.94	c nbDecision=123500 #constraints=4104
116.26/116.37	c nbDecision=124000 #constraints=4104
116.66/116.79	c nbDecision=124500 #constraints=4104
117.16/117.22	c nbDecision=125000 #constraints=4104
117.56/117.65	c nbDecision=125500 #constraints=4104
117.96/118.08	c nbDecision=126000 #constraints=4104
118.46/118.50	c nbDecision=126500 #constraints=4104
118.86/118.93	c nbDecision=127000 #constraints=4104
119.26/119.35	c nbDecision=127500 #constraints=4104
119.66/119.77	c nbDecision=128000 #constraints=4104
120.06/120.19	c nbDecision=128500 #constraints=4104
120.56/120.60	c nbDecision=129000 #constraints=4104
120.96/121.01	c nbDecision=129500 #constraints=4104
121.36/121.42	c nbDecision=130000 #constraints=4104
121.76/121.83	c nbDecision=130500 #constraints=4104
122.16/122.24	c nbDecision=131000 #constraints=4104
122.56/122.64	c nbDecision=131500 #constraints=4104
122.96/123.04	c nbDecision=132000 #constraints=4104
123.36/123.43	c nbDecision=132500 #constraints=4104
123.76/123.83	c nbDecision=133000 #constraints=4104
124.16/124.22	c nbDecision=133500 #constraints=4104
124.56/124.60	c nbDecision=134000 #constraints=4104
124.85/124.99	c nbDecision=134500 #constraints=4104
125.26/125.38	c nbDecision=135000 #constraints=4104
125.65/125.77	c nbDecision=135500 #constraints=4104
126.05/126.16	c nbDecision=136000 #constraints=4104
126.46/126.56	c nbDecision=136500 #constraints=4104
126.85/126.96	c nbDecision=137000 #constraints=4104
127.25/127.36	c nbDecision=137500 #constraints=4104
127.65/127.75	c nbDecision=138000 #constraints=4104
128.05/128.15	c nbDecision=138500 #constraints=4104
128.45/128.54	c nbDecision=139000 #constraints=4104
128.85/128.94	c nbDecision=139500 #constraints=4104
129.25/129.33	c nbDecision=140000 #constraints=4104
129.66/129.73	c nbDecision=140500 #constraints=4104
130.05/130.13	c nbDecision=141000 #constraints=4104
130.45/130.52	c nbDecision=141500 #constraints=4104
130.86/130.91	c nbDecision=142000 #constraints=4104
131.25/131.31	c nbDecision=142500 #constraints=4104
131.65/131.70	c nbDecision=143000 #constraints=4104
132.05/132.18	c nbDecision=143500 #constraints=4118
132.45/132.58	c nbDecision=144000 #constraints=4118
132.85/132.97	c nbDecision=144500 #constraints=4118
133.25/133.36	c nbDecision=145000 #constraints=4118
133.65/133.75	c nbDecision=145500 #constraints=4118
134.06/134.15	c nbDecision=146000 #constraints=4118
134.45/134.54	c nbDecision=146500 #constraints=4118
134.85/134.97	c nbDecision=147000 #constraints=4124
135.26/135.36	c nbDecision=147500 #constraints=4124
135.75/135.81	c nbDecision=148000 #constraints=4134
136.15/136.22	c nbDecision=148500 #constraints=4136
136.55/136.64	c nbDecision=149000 #constraints=4141
136.95/137.03	c nbDecision=149500 #constraints=4141
137.36/137.42	c nbDecision=150000 #constraints=4141
137.75/137.81	c nbDecision=150500 #constraints=4141
138.15/138.20	c nbDecision=151000 #constraints=4141
138.55/138.63	c nbDecision=151500 #constraints=4145
138.95/139.04	c nbDecision=152000 #constraints=4147
139.45/139.50	c nbDecision=152500 #constraints=4155
139.75/139.89	c nbDecision=153000 #constraints=4155
140.15/140.28	c nbDecision=153500 #constraints=4155
140.55/140.67	c nbDecision=154000 #constraints=4155
140.95/141.06	c nbDecision=154500 #constraints=4155
141.35/141.45	c nbDecision=155000 #constraints=4155
141.75/141.83	c nbDecision=155500 #constraints=4155
142.15/142.22	c nbDecision=156000 #constraints=4155
142.55/142.61	c nbDecision=156500 #constraints=4155
142.85/143.00	c nbDecision=157000 #constraints=4155
143.35/143.46	c nbDecision=157500 #constraints=4164
143.75/143.84	c nbDecision=158000 #constraints=4164
144.65/144.74	c nbDecision=158500 #constraints=4207
145.15/145.22	c nbDecision=159000 #constraints=4218
145.55/145.61	c nbDecision=159500 #constraints=4218
145.95/146.00	c nbDecision=160000 #constraints=4218
146.45/146.56	c nbDecision=160500 #constraints=4236
146.85/146.95	c nbDecision=161000 #constraints=4236
147.25/147.34	c nbDecision=161500 #constraints=4236
147.84/147.95	c nbDecision=162000 #constraints=4252
148.54/148.68	c nbDecision=162500 #constraints=4270
149.14/149.22	c nbDecision=163000 #constraints=4276
149.94/150.09	c nbDecision=163500 #constraints=4297
150.74/150.89	c nbDecision=164000 #constraints=4312
151.24/151.30	c nbDecision=164500 #constraints=4314
151.94/152.07	c nbDecision=165000 #constraints=4332
152.76/152.88	c nbDecision=165500 #constraints=4349
153.55/153.61	c nbDecision=166000 #constraints=4365
154.45/154.58	c nbDecision=166500 #constraints=4390
155.35/155.48	c nbDecision=167000 #constraints=4405
156.35/156.42	c nbDecision=167500 #constraints=4424
157.15/157.26	c nbDecision=168000 #constraints=4435
157.55/157.65	c nbDecision=168500 #constraints=4435
158.04/158.16	c nbDecision=169000 #constraints=4442
158.44/158.58	c nbDecision=169500 #constraints=4444
159.04/159.18	c nbDecision=170000 #constraints=4456
159.64/159.73	c nbDecision=170500 #constraints=4466
160.34/160.40	c nbDecision=171000 #constraints=4481
161.04/161.12	c nbDecision=171500 #constraints=4497
163.35/163.40	c nbDecision=172000 #constraints=4540
164.45/164.53	c nbDecision=172500 #constraints=4569
165.14/165.26	c nbDecision=173000 #constraints=4579
165.84/166.00	c nbDecision=173500 #constraints=4593
166.74/166.87	c nbDecision=174000 #constraints=4608
167.64/167.76	c nbDecision=174500 #constraints=4620
168.95/169.08	c nbDecision=175000 #constraints=4658
170.14/170.21	c nbDecision=175500 #constraints=4677
171.34/171.43	c nbDecision=176000 #constraints=4704
172.34/172.47	c nbDecision=176500 #constraints=4726
172.75/172.88	c nbDecision=177000 #constraints=4726
173.15/173.28	c nbDecision=177500 #constraints=4726
173.84/173.93	c nbDecision=178000 #constraints=4734
174.44/174.56	c nbDecision=178500 #constraints=4743
175.14/175.23	c nbDecision=179000 #constraints=4756
175.95/176.01	c nbDecision=179500 #constraints=4773
176.64/176.75	c nbDecision=180000 #constraints=4789
177.44/177.56	c nbDecision=180500 #constraints=4808
178.44/178.57	c nbDecision=181000 #constraints=4831
179.54/179.64	c nbDecision=181500 #constraints=4851
179.94/180.04	c nbDecision=182000 #constraints=4851
180.75/180.81	c nbDecision=182500 #constraints=4868
181.45/181.58	c nbDecision=183000 #constraints=4887
182.74/182.86	c nbDecision=183500 #constraints=4913
184.34/184.48	c nbDecision=184000 #constraints=4943
185.44/185.56	c nbDecision=184500 #constraints=4961
186.53/186.64	c nbDecision=185000 #constraints=4981
187.53/187.67	c nbDecision=185500 #constraints=4999
188.54/188.69	c nbDecision=186000 #constraints=5018
189.44/189.55	c nbDecision=186500 #constraints=5030
190.24/190.32	c nbDecision=187000 #constraints=5041
191.04/191.11	c nbDecision=187500 #constraints=5056
192.83/192.93	c nbDecision=188000 #constraints=5093
193.63/193.75	c nbDecision=188500 #constraints=5105
194.63/194.77	c nbDecision=189000 #constraints=5121
195.54/195.65	c nbDecision=189500 #constraints=5135
196.34/196.49	c nbDecision=190000 #constraints=5148
197.63/197.78	c nbDecision=190500 #constraints=5170
198.94/199.09	c nbDecision=191000 #constraints=5195
199.84/199.91	c nbDecision=191500 #constraints=5208
200.74/200.89	c nbDecision=192000 #constraints=5223
201.84/201.92	c nbDecision=192500 #constraints=5240
203.44/203.56	c nbDecision=193000 #constraints=5267
203.93/204.02	c nbDecision=193500 #constraints=5268
205.93/206.06	c nbDecision=194000 #constraints=5309
207.33/207.49	c nbDecision=194500 #constraints=5336
208.93/209.07	c nbDecision=195000 #constraints=5358
209.43/209.50	c nbDecision=195500 #constraints=5358
209.84/209.90	c nbDecision=196000 #constraints=5358
210.24/210.31	c nbDecision=196500 #constraints=5358
210.64/210.71	c nbDecision=197000 #constraints=5358
211.14/211.24	c nbDecision=197500 #constraints=5369
211.54/211.63	c nbDecision=198000 #constraints=5369
212.04/212.18	c nbDecision=198500 #constraints=5381
213.13/213.29	c nbDecision=199000 #constraints=5409
214.03/214.10	c nbDecision=199500 #constraints=5423
214.53/214.69	c nbDecision=200000 #constraints=5429
215.33/215.44	c nbDecision=200500 #constraints=5440
216.23/216.39	c nbDecision=201000 #constraints=5456
217.13/217.25	c nbDecision=201500 #constraints=5469
217.73/217.81	c nbDecision=202000 #constraints=5474
218.62/218.77	c nbDecision=202500 #constraints=5489
219.42/219.53	c nbDecision=203000 #constraints=5501
220.22/220.37	c nbDecision=203500 #constraints=5514
221.13/221.30	c nbDecision=204000 #constraints=5529
221.93/222.10	c nbDecision=204500 #constraints=5541
222.53/222.69	c restart after 204801 decisions
223.23/223.34	c nbDecision=205000 #constraints=5552
223.73/223.85	c nbDecision=205500 #constraints=5552
224.23/224.34	c nbDecision=206000 #constraints=5552
224.73/224.85	c nbDecision=206500 #constraints=5552
225.23/225.35	c nbDecision=207000 #constraints=5552
225.73/225.86	c nbDecision=207500 #constraints=5552
226.33/226.40	c nbDecision=208000 #constraints=5552
226.83/226.91	c nbDecision=208500 #constraints=5552
227.33/227.43	c nbDecision=209000 #constraints=5552
227.83/227.95	c nbDecision=209500 #constraints=5552
228.33/228.45	c nbDecision=210000 #constraints=5552
228.83/228.94	c nbDecision=210500 #constraints=5552
229.33/229.44	c nbDecision=211000 #constraints=5552
229.83/229.93	c nbDecision=211500 #constraints=5552
230.33/230.42	c nbDecision=212000 #constraints=5552
230.83/230.95	c nbDecision=212500 #constraints=5552
231.33/231.43	c nbDecision=213000 #constraints=5552
231.83/231.92	c nbDecision=213500 #constraints=5552
232.33/232.43	c nbDecision=214000 #constraints=5552
232.83/232.93	c nbDecision=214500 #constraints=5552
233.33/233.42	c nbDecision=215000 #constraints=5552
233.73/233.90	c nbDecision=215500 #constraints=5552
234.23/234.39	c nbDecision=216000 #constraints=5552
234.73/234.87	c nbDecision=216500 #constraints=5552
235.23/235.33	c nbDecision=217000 #constraints=5552
235.73/235.81	c nbDecision=217500 #constraints=5552
236.22/236.30	c nbDecision=218000 #constraints=5552
236.72/236.85	c nbDecision=218500 #constraints=5552
237.22/237.31	c nbDecision=219000 #constraints=5552
237.62/237.77	c nbDecision=219500 #constraints=5552
238.12/238.24	c nbDecision=220000 #constraints=5552
238.53/238.70	c nbDecision=220500 #constraints=5552
239.02/239.15	c nbDecision=221000 #constraints=5552
239.52/239.63	c nbDecision=221500 #constraints=5552
239.92/240.08	c nbDecision=222000 #constraints=5552
240.42/240.52	c nbDecision=222500 #constraints=5552
240.83/240.96	c nbDecision=223000 #constraints=5552
241.32/241.41	c nbDecision=223500 #constraints=5552
241.72/241.85	c nbDecision=224000 #constraints=5552
242.12/242.29	c nbDecision=224500 #constraints=5552
242.62/242.72	c nbDecision=225000 #constraints=5552
243.03/243.15	c nbDecision=225500 #constraints=5552
243.42/243.59	c nbDecision=226000 #constraints=5552
243.92/244.01	c nbDecision=226500 #constraints=5552
244.32/244.44	c nbDecision=227000 #constraints=5552
244.82/244.90	c nbDecision=227500 #constraints=5552
245.22/245.34	c nbDecision=228000 #constraints=5552
245.62/245.77	c nbDecision=228500 #constraints=5552
246.12/246.21	c nbDecision=229000 #constraints=5552
246.52/246.64	c nbDecision=229500 #constraints=5552
246.92/247.07	c nbDecision=230000 #constraints=5552
247.32/247.49	c nbDecision=230500 #constraints=5552
247.82/247.93	c nbDecision=231000 #constraints=5552
248.22/248.34	c nbDecision=231500 #constraints=5552
248.62/248.76	c nbDecision=232000 #constraints=5552
249.02/249.19	c nbDecision=232500 #constraints=5552
249.53/249.60	c nbDecision=233000 #constraints=5552
249.92/250.02	c nbDecision=233500 #constraints=5552
250.32/250.45	c nbDecision=234000 #constraints=5552
250.72/250.86	c nbDecision=234500 #constraints=5552
251.12/251.28	c nbDecision=235000 #constraints=5552
251.62/251.70	c nbDecision=235500 #constraints=5552
251.92/252.09	c nbDecision=236000 #constraints=5552
252.32/252.49	c nbDecision=236500 #constraints=5552
252.72/252.88	c nbDecision=237000 #constraints=5552
253.12/253.27	c nbDecision=237500 #constraints=5552
253.52/253.67	c nbDecision=238000 #constraints=5552
253.92/254.06	c nbDecision=238500 #constraints=5552
254.32/254.49	c nbDecision=239000 #constraints=5552
254.82/254.92	c nbDecision=239500 #constraints=5552
255.22/255.36	c nbDecision=240000 #constraints=5552
255.62/255.78	c nbDecision=240500 #constraints=5552
256.12/256.20	c nbDecision=241000 #constraints=5552
256.52/256.62	c nbDecision=241500 #constraints=5552
256.92/257.05	c nbDecision=242000 #constraints=5552
257.32/257.47	c nbDecision=242500 #constraints=5552
257.72/257.89	c nbDecision=243000 #constraints=5552
258.22/258.31	c nbDecision=243500 #constraints=5552
258.82/258.91	c nbDecision=244000 #constraints=5557
259.32/259.41	c nbDecision=244500 #constraints=5560
260.71/260.86	c nbDecision=245000 #constraints=5593
261.92/262.08	c nbDecision=245500 #constraints=5617
262.82/262.98	c nbDecision=246000 #constraints=5629
263.71/263.84	c nbDecision=246500 #constraints=5642
264.41/264.50	c nbDecision=247000 #constraints=5651
265.41/265.54	c nbDecision=247500 #constraints=5671
266.52/266.62	c nbDecision=248000 #constraints=5691
267.71/267.80	c nbDecision=248500 #constraints=5712
268.71/268.81	c nbDecision=249000 #constraints=5730
269.81/269.90	c nbDecision=249500 #constraints=5751
271.02/271.15	c nbDecision=250000 #constraints=5775
271.92/272.03	c nbDecision=250500 #constraints=5788
273.01/273.13	c nbDecision=251000 #constraints=5809
273.82/273.96	c nbDecision=251500 #constraints=5821
275.21/275.31	c nbDecision=252000 #constraints=5843
275.91/276.01	c nbDecision=252500 #constraints=5852
276.61/276.70	c nbDecision=253000 #constraints=5862
277.41/277.51	c nbDecision=253500 #constraints=5874
278.01/278.10	c nbDecision=254000 #constraints=5880
278.71/278.86	c nbDecision=254500 #constraints=5893
279.51/279.62	c nbDecision=255000 #constraints=5902
280.11/280.22	c nbDecision=255500 #constraints=5909
280.81/280.99	c nbDecision=256000 #constraints=5920
281.71/281.84	c nbDecision=256500 #constraints=5933
282.41/282.55	c nbDecision=257000 #constraints=5942
283.41/283.58	c nbDecision=257500 #constraints=5960
284.11/284.21	c nbDecision=258000 #constraints=5967
284.91/285.01	c nbDecision=258500 #constraints=5980
285.50/285.69	c nbDecision=259000 #constraints=5989
286.81/286.97	c nbDecision=259500 #constraints=6014
287.51/287.64	c nbDecision=260000 #constraints=6020
288.41/288.58	c nbDecision=260500 #constraints=6033
289.31/289.43	c nbDecision=261000 #constraints=6046
290.11/290.23	c nbDecision=261500 #constraints=6057
291.11/291.22	c nbDecision=262000 #constraints=6072
291.71/291.84	c nbDecision=262500 #constraints=6080
292.51/292.68	c nbDecision=263000 #constraints=6094
293.81/293.96	c nbDecision=263500 #constraints=6119
294.61/294.74	c nbDecision=264000 #constraints=6131
295.60/295.75	c nbDecision=264500 #constraints=6143
296.50/296.67	c nbDecision=265000 #constraints=6156
297.81/297.99	c nbDecision=265500 #constraints=6181
299.01/299.20	c nbDecision=266000 #constraints=6204
300.31/300.49	c nbDecision=266500 #constraints=6226
302.60/302.73	c nbDecision=267000 #constraints=6261
304.91/305.06	c nbDecision=267500 #constraints=6288
305.51/305.61	c nbDecision=268000 #constraints=6291
306.91/307.05	c nbDecision=268500 #constraints=6317
307.91/308.07	c nbDecision=269000 #constraints=6332
309.20/309.35	c nbDecision=269500 #constraints=6354
309.90/310.09	c nbDecision=270000 #constraints=6363
310.90/311.04	c nbDecision=270500 #constraints=6379
313.10/313.24	c nbDecision=271000 #constraints=6410
314.40/314.54	c nbDecision=271500 #constraints=6435
315.80/315.91	c nbDecision=272000 #constraints=6461
316.90/317.07	c nbDecision=272500 #constraints=6485
318.10/318.22	c nbDecision=273000 #constraints=6508
320.20/320.33	c nbDecision=273500 #constraints=6549
321.30/321.42	c nbDecision=274000 #constraints=6563
322.21/322.38	c nbDecision=274500 #constraints=6576
323.50/323.69	c nbDecision=275000 #constraints=6599
324.70/324.83	c nbDecision=275500 #constraints=6617
325.60/325.79	c nbDecision=276000 #constraints=6629
326.40/326.52	c nbDecision=276500 #constraints=6638
328.00/328.18	c nbDecision=277000 #constraints=6666
331.00/331.15	c nbDecision=277500 #constraints=6713
332.19/332.36	c nbDecision=278000 #constraints=6734
333.90/334.10	c nbDecision=278500 #constraints=6773
334.50/334.69	c nbDecision=279000 #constraints=6778
335.40/335.54	c nbDecision=279500 #constraints=6787
336.70/336.82	c nbDecision=280000 #constraints=6812
338.80/338.90	c nbDecision=280500 #constraints=6837
341.49/341.64	c nbDecision=281000 #constraints=6874
342.89/343.10	c nbDecision=281500 #constraints=6893
344.89/345.01	c nbDecision=282000 #constraints=6920
346.59/346.75	c nbDecision=282500 #constraints=6940
348.40/348.52	c nbDecision=283000 #constraints=6965
349.89/350.06	c nbDecision=283500 #constraints=6988
351.69/351.90	c nbDecision=284000 #constraints=7017
353.79/353.90	c nbDecision=284500 #constraints=7056
356.20/356.36	c nbDecision=285000 #constraints=7093
357.09/357.23	c nbDecision=285500 #constraints=7106
359.09/359.29	c nbDecision=286000 #constraints=7150
361.49/361.64	c nbDecision=286500 #constraints=7195
363.58/363.70	c nbDecision=287000 #constraints=7216
366.58/366.71	c nbDecision=287500 #constraints=7259
369.99/370.16	c nbDecision=288000 #constraints=7308
371.19/371.33	c nbDecision=288500 #constraints=7321
373.28/373.47	c nbDecision=289000 #constraints=7347
375.18/375.35	c nbDecision=289500 #constraints=7366
377.09/377.29	c nbDecision=290000 #constraints=7393
378.98/379.10	c nbDecision=290500 #constraints=7418
381.48/381.64	c nbDecision=291000 #constraints=7464
382.89/383.07	c nbDecision=291500 #constraints=7483
385.88/386.03	c nbDecision=292000 #constraints=7539
387.98/388.12	c nbDecision=292500 #constraints=7572
390.78/390.97	c nbDecision=293000 #constraints=7614
391.78/391.92	c nbDecision=293500 #constraints=7623
392.88/393.06	c nbDecision=294000 #constraints=7636
395.38/395.51	c nbDecision=294500 #constraints=7668
397.48/397.66	c nbDecision=295000 #constraints=7697
399.27/399.47	c nbDecision=295500 #constraints=7718
400.37/400.59	c nbDecision=296000 #constraints=7728
403.08/403.20	c nbDecision=296500 #constraints=7762
405.07/405.26	c nbDecision=297000 #constraints=7785
407.78/408.00	c nbDecision=297500 #constraints=7818
411.57/411.70	c nbDecision=298000 #constraints=7852
412.97/413.19	c nbDecision=298500 #constraints=7868
416.08/416.20	c nbDecision=299000 #constraints=7898
417.67/417.87	c nbDecision=299500 #constraints=7919
420.27/420.45	c nbDecision=300000 #constraints=7959
422.77/422.97	c nbDecision=300500 #constraints=7987
424.86/425.05	c nbDecision=301000 #constraints=8010
427.77/427.99	c nbDecision=301500 #constraints=8044
429.56/429.75	c nbDecision=302000 #constraints=8066
431.97/432.10	c nbDecision=302500 #constraints=8104
432.87/433.01	c nbDecision=303000 #constraints=8110
435.17/435.34	c nbDecision=303500 #constraints=8134
438.26/438.44	c nbDecision=304000 #constraints=8163
440.46/440.65	c nbDecision=304500 #constraints=8180
443.47/443.67	c nbDecision=305000 #constraints=8200
445.67/445.83	c nbDecision=305500 #constraints=8214
448.17/448.38	c nbDecision=306000 #constraints=8239
450.27/450.45	c nbDecision=306500 #constraints=8256
452.07/452.28	c nbDecision=307000 #constraints=8273
455.07/455.22	c nbDecision=307500 #constraints=8306
456.96/457.18	c nbDecision=308000 #constraints=8337
460.76/460.94	c nbDecision=308500 #constraints=8382
465.16/465.37	c nbDecision=309000 #constraints=8427
468.96/469.15	c nbDecision=309500 #constraints=8464
473.15/473.34	c nbDecision=310000 #constraints=8508
477.56/477.77	c nbDecision=310500 #constraints=8539
480.95/481.10	c nbDecision=311000 #constraints=8583
485.25/485.45	c nbDecision=311500 #constraints=8633
487.55/487.73	c nbDecision=312000 #constraints=8659
491.35/491.56	c nbDecision=312500 #constraints=8707
493.26/493.40	c nbDecision=313000 #constraints=8723
499.45/499.67	c nbDecision=313500 #constraints=8800
506.05/506.26	c nbDecision=314000 #constraints=8880
511.14/511.36	c nbDecision=314500 #constraints=8915
515.14/515.30	c nbDecision=315000 #constraints=8976
518.45/518.68	c nbDecision=315500 #constraints=9013
527.45/527.60	c nbDecision=316000 #constraints=9104
534.55/534.77	c nbDecision=316500 #constraints=9186
543.64/543.84	c nbDecision=317000 #constraints=9264
551.74/551.98	c nbDecision=317500 #constraints=9343
560.53/560.70	c nbDecision=318000 #constraints=9413
572.23/572.42	c nbDecision=318500 #constraints=9497
580.53/580.74	c nbDecision=319000 #constraints=9549
590.63/590.84	c nbDecision=319500 #constraints=9634
594.83/595.04	c nbDecision=320000 #constraints=9669
602.53/602.71	c nbDecision=320500 #constraints=9752
609.12/609.35	c nbDecision=321000 #constraints=9819
614.62/614.89	c nbDecision=321500 #constraints=9864
621.33/621.53	c nbDecision=322000 #constraints=9909
628.52/628.76	c nbDecision=322500 #constraints=9993
637.42/637.63	c nbDecision=323000 #constraints=10084
646.92/647.15	c nbDecision=323500 #constraints=10162
658.01/658.23	c nbDecision=324000 #constraints=10244
671.91/672.15	c nbDecision=324500 #constraints=10320
677.20/677.48	c nbDecision=325000 #constraints=10344
686.10/686.37	c nbDecision=325500 #constraints=10416
699.20/699.42	c nbDecision=326000 #constraints=10503
709.10/709.36	c nbDecision=326500 #constraints=10562
714.59/714.80	c nbDecision=327000 #constraints=10605
727.90/728.18	c nbDecision=327500 #constraints=10667
743.19/743.42	c nbDecision=328000 #constraints=10739
754.89/755.17	c nbDecision=328500 #constraints=10810
762.69/762.96	c nbDecision=329000 #constraints=10877
775.28/775.58	c nbDecision=329500 #constraints=10967
789.18/789.46	c nbDecision=330000 #constraints=11049
800.97/801.25	c nbDecision=330500 #constraints=11134
813.98/814.27	c nbDecision=331000 #constraints=11204
830.07/830.36	c nbDecision=331500 #constraints=11290
846.67/846.99	c nbDecision=332000 #constraints=11363
871.26/871.57	c nbDecision=332500 #constraints=11456
876.95/877.21	c nbDecision=333000 #constraints=11503
886.35/886.62	c nbDecision=333500 #constraints=11580
896.96/897.27	c nbDecision=334000 #constraints=11649
906.55/906.82	c nbDecision=334500 #constraints=11702
917.85/918.19	c nbDecision=335000 #constraints=11775
930.64/930.94	c nbDecision=335500 #constraints=11844
936.15/936.42	c nbDecision=336000 #constraints=11865
951.44/951.75	c nbDecision=336500 #constraints=11914
957.34/957.66	c nbDecision=337000 #constraints=11927
960.93/961.28	c nbDecision=337500 #constraints=11952
966.64/966.92	c nbDecision=338000 #constraints=12008
970.03/970.34	c nbDecision=338500 #constraints=12030
974.04/974.37	c nbDecision=339000 #constraints=12063
981.03/981.39	c nbDecision=339500 #constraints=12106
988.33/988.69	c nbDecision=340000 #constraints=12167
997.22/997.59	c nbDecision=340500 #constraints=12249
1009.72/1010.08	c nbDecision=341000 #constraints=12333
1019.62/1019.99	c nbDecision=341500 #constraints=12388
1029.11/1029.40	c nbDecision=342000 #constraints=12473
1038.92/1039.24	c nbDecision=342500 #constraints=12539
1049.41/1049.77	c nbDecision=343000 #constraints=12581
1060.51/1060.89	c nbDecision=343500 #constraints=12654
1072.60/1072.98	c nbDecision=344000 #constraints=12712
1079.41/1079.76	c nbDecision=344500 #constraints=12732
1080.01/1080.33	c nbDecision=345000 #constraints=12732
1081.51/1081.81	c nbDecision=345500 #constraints=12743
1083.60/1083.91	c nbDecision=346000 #constraints=12761
1084.50/1084.82	c nbDecision=346500 #constraints=12767
1086.51/1086.83	c nbDecision=347000 #constraints=12784
1087.50/1087.86	c nbDecision=347500 #constraints=12792
1090.21/1090.50	Received signal 15
1090.21/1090.56	
1090.21/1090.56	s UNKNOWN
1090.21/1090.56	
1090.21/1090.56	c user time= 1088.4 s
1090.21/1090.56	c system time= 1.87372 s
1090.21/1090.56	c wall clock time=1090.56

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node50/watcher-357277-1176993190 -o ROOT/results/node50/solver-357277-1176993190 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357277-1176993190/instance-357277-1176993190.opb mod 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.91 0.95 0.98 3/64 18573
/proc/meminfo: memFree=1758464/2055920 swapFree=4183800/4192956
[pid=18573] ppid=18571 vsize=1468 CPUtime=0
/proc/18573/stat : 18573 (oree) R 18571 18573 18143 0 -1 4194304 178 0 0 0 0 0 0 0 18 0 1 0 54164182 1503232 160 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18573/statm: 367 160 127 317 0 46 0

[startup+0.030077 s]
/proc/loadavg: 0.91 0.95 0.98 3/64 18573
/proc/meminfo: memFree=1758464/2055920 swapFree=4183800/4192956
[pid=18573] ppid=18571 vsize=1880 CPUtime=0.02
/proc/18573/stat : 18573 (oree) R 18571 18573 18143 0 -1 4194304 294 0 0 0 2 0 0 0 18 0 1 0 54164182 1925120 243 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18573/statm: 470 243 127 317 0 149 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 1880

[startup+0.101082 s]
/proc/loadavg: 0.91 0.95 0.98 3/64 18573
/proc/meminfo: memFree=1758464/2055920 swapFree=4183800/4192956
[pid=18573] ppid=18571 vsize=3956 CPUtime=0.09
/proc/18573/stat : 18573 (oree) R 18571 18573 18143 0 -1 4194304 772 0 0 0 9 0 0 0 18 0 1 0 54164182 4050944 656 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18573/statm: 989 656 127 317 0 668 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3956

[startup+0.301099 s]
/proc/loadavg: 0.91 0.95 0.98 3/64 18573
/proc/meminfo: memFree=1758464/2055920 swapFree=4183800/4192956
[pid=18573] ppid=18571 vsize=5520 CPUtime=0.29
/proc/18573/stat : 18573 (oree) R 18571 18573 18143 0 -1 4194304 1434 0 0 0 28 1 0 0 19 0 1 0 54164182 5652480 932 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18573/statm: 1380 932 128 317 0 1059 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5520

[startup+0.701136 s]
/proc/loadavg: 0.91 0.95 0.98 3/64 18573
/proc/meminfo: memFree=1758464/2055920 swapFree=4183800/4192956
[pid=18573] ppid=18571 vsize=12780 CPUtime=0.68
/proc/18573/stat : 18573 (oree) R 18571 18573 18143 0 -1 4194304 3256 0 0 0 67 1 0 0 22 0 1 0 54164182 13086720 2754 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18573/statm: 3195 2754 131 317 0 2874 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 12780

[startup+1.50121 s]
/proc/loadavg: 0.91 0.95 0.98 2/65 18574
/proc/meminfo: memFree=1743032/2055920 swapFree=4183800/4192956
[pid=18573] ppid=18571 vsize=27148 CPUtime=1.49
/proc/18573/stat : 18573 (oree) R 18571 18573 18143 0 -1 4194304 6790 0 0 0 146 3 0 0 25 0 1 0 54164182 27799552 6156 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18573/statm: 6787 6156 131 317 0 6466 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 27148

[startup+3.10135 s]
/proc/loadavg: 0.91 0.95 0.98 2/65 18574
/proc/meminfo: memFree=1725816/2055920 swapFree=4183800/4192956
[pid=18573] ppid=18571 vsize=42980 CPUtime=3.09
/proc/18573/stat : 18573 (oree) R 18571 18573 18143 0 -1 4194304 11042 0 0 0 304 5 0 0 25 0 1 0 54164182 44011520 9957 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18573/statm: 10745 9957 138 317 0 10424 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 42980

[startup+6.30162 s]
/proc/loadavg: 0.92 0.95 0.98 2/65 18574
/proc/meminfo: memFree=1718648/2055920 swapFree=4183800/4192956
[pid=18573] ppid=18571 vsize=42980 CPUtime=6.28
/proc/18573/stat : 18573 (oree) R 18571 18573 18143 0 -1 4194304 11042 0 0 0 623 5 0 0 25 0 1 0 54164182 44011520 9957 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18573/statm: 10745 9957 138 317 0 10424 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 42980

[startup+12.7012 s]
/proc/loadavg: 0.93 0.95 0.98 2/65 18574
/proc/meminfo: memFree=1718720/2055920 swapFree=4183800/4192956
[pid=18573] ppid=18571 vsize=42980 CPUtime=12.68
/proc/18573/stat : 18573 (oree) R 18571 18573 18143 0 -1 4194304 11043 0 0 0 1263 5 0 0 25 0 1 0 54164182 44011520 9958 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606688 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18573/statm: 10745 9958 138 317 0 10424 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 42980

[startup+25.5013 s]
/proc/loadavg: 0.94 0.96 0.98 2/65 18574
/proc/meminfo: memFree=1718784/2055920 swapFree=4183800/4192956
[pid=18573] ppid=18571 vsize=42980 CPUtime=25.49
/proc/18573/stat : 18573 (oree) R 18571 18573 18143 0 -1 4194304 11049 0 0 0 2543 6 0 0 25 0 1 0 54164182 44011520 9964 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606695 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18573/statm: 10745 9964 138 317 0 10424 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 42980

[startup+51.1016 s]
/proc/loadavg: 0.96 0.96 0.98 2/65 18574
/proc/meminfo: memFree=1718976/2055920 swapFree=4183800/4192956
[pid=18573] ppid=18571 vsize=43108 CPUtime=51.08
/proc/18573/stat : 18573 (oree) R 18571 18573 18143 0 -1 4194304 11064 0 0 0 5102 6 0 0 25 0 1 0 54164182 44142592 9979 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606682 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18573/statm: 10777 9979 138 317 0 10456 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 43108

[startup+102.305 s]
/proc/loadavg: 0.98 0.96 0.98 2/65 18574
/proc/meminfo: memFree=1718400/2055920 swapFree=4183800/4192956
[pid=18573] ppid=18571 vsize=43792 CPUtime=102.26
/proc/18573/stat : 18573 (oree) R 18571 18573 18143 0 -1 4194304 11213 0 0 0 10220 6 0 0 25 0 1 0 54164182 44843008 10128 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606628 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18573/statm: 10948 10128 139 317 0 10627 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 43792

[startup+162.301 s]
/proc/loadavg: 1.04 0.98 0.98 2/65 18574
/proc/meminfo: memFree=1700416/2055920 swapFree=4183800/4192956
[pid=18573] ppid=18571 vsize=64796 CPUtime=162.25
/proc/18573/stat : 18573 (oree) R 18571 18573 18143 0 -1 4194304 16015 0 0 0 16217 8 0 0 25 0 1 0 54164182 66351104 14930 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18573/statm: 16199 14930 139 317 0 15878 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 64796

[startup+222.302 s]
/proc/loadavg: 1.06 1.00 0.99 2/65 18574
/proc/meminfo: memFree=1618432/2055920 swapFree=4183800/4192956
[pid=18573] ppid=18571 vsize=151296 CPUtime=222.23
/proc/18573/stat : 18573 (oree) R 18571 18573 18143 0 -1 4194304 36151 0 0 0 22207 16 0 0 25 0 1 0 54164182 154927104 35062 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606628 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18573/statm: 37824 35062 139 317 0 37503 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 151296

[startup+282.302 s]
/proc/loadavg: 1.02 1.00 0.99 2/65 18574
/proc/meminfo: memFree=1584320/2055920 swapFree=4183800/4192956
[pid=18573] ppid=18571 vsize=189572 CPUtime=282.21
/proc/18573/stat : 18573 (oree) R 18571 18573 18143 0 -1 4194304 44961 0 0 0 28201 20 0 0 25 0 1 0 54164182 194121728 43852 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18573/statm: 47393 43852 139 317 0 47072 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 189572

[startup+342.301 s]
/proc/loadavg: 1.05 1.01 0.99 2/65 18574
/proc/meminfo: memFree=1480192/2055920 swapFree=4183800/4192956
[pid=18573] ppid=18571 vsize=307936 CPUtime=342.19
/proc/18573/stat : 18573 (oree) R 18571 18573 18143 0 -1 4194304 71324 0 0 0 34191 28 0 0 25 0 1 0 54164182 315326464 69662 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716198 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18573/statm: 76984 69662 139 317 0 76663 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 307936

[startup+402.301 s]
/proc/loadavg: 1.06 1.02 1.00 2/65 18574
/proc/meminfo: memFree=1376832/2055920 swapFree=4183800/4192956
[pid=18573] ppid=18571 vsize=427480 CPUtime=402.18
/proc/18573/stat : 18573 (oree) R 18571 18573 18143 0 -1 4194304 98373 0 0 0 40179 39 0 0 25 0 1 0 54164182 437739520 95482 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18573/statm: 106870 95482 139 317 0 106549 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 427480

[startup+462.302 s]
/proc/loadavg: 1.02 1.02 1.00 2/65 18574
/proc/meminfo: memFree=1308352/2055920 swapFree=4183800/4192956
[pid=18573] ppid=18571 vsize=509136 CPUtime=462.16
/proc/18573/stat : 18573 (oree) R 18571 18573 18143 0 -1 4194304 115882 0 0 0 46170 46 0 0 25 0 1 0 54164182 521355264 112811 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602694 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18573/statm: 127284 112811 139 317 0 126963 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 509136

[startup+522.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 18574
/proc/meminfo: memFree=1181120/2055920 swapFree=4183800/4192956
[pid=18573] ppid=18571 vsize=662440 CPUtime=522.14
/proc/18573/stat : 18573 (oree) R 18571 18573 18143 0 -1 4194304 155076 0 0 0 52154 60 0 0 25 0 1 0 54164182 678338560 144847 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272553 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18573/statm: 165610 144847 139 317 0 165289 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 662440

[startup+582.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 18574
/proc/meminfo: memFree=1039488/2055920 swapFree=4183800/4192956
[pid=18573] ppid=18571 vsize=821816 CPUtime=582.13
/proc/18573/stat : 18573 (oree) R 18571 18573 18143 0 -1 4194304 203916 0 0 0 58137 76 0 0 25 0 1 0 54164182 841539584 179558 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606634 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18573/statm: 205454 179558 139 317 0 205133 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 821816

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 18574
/proc/meminfo: memFree=901568/2055920 swapFree=4183800/4192956
[pid=18573] ppid=18571 vsize=981748 CPUtime=642.12
/proc/18573/stat : 18573 (oree) R 18571 18573 18143 0 -1 4194304 250463 0 0 0 64120 92 0 0 25 0 1 0 54164182 1005309952 213801 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18573/statm: 245437 213801 139 317 0 245116 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 981748

[startup+702.302 s]
/proc/loadavg: 1.05 1.01 1.00 2/65 18574
/proc/meminfo: memFree=783808/2055920 swapFree=4183800/4192956
[pid=18573] ppid=18571 vsize=1113136 CPUtime=702.1
/proc/18573/stat : 18573 (oree) R 18571 18573 18143 0 -1 4194304 293672 0 0 0 70102 108 0 0 25 0 1 0 54164182 1139851264 243251 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18573/statm: 278284 243251 139 317 0 277963 0
Current children cumulated CPU time (s) 702.1
Current children cumulated vsize (KiB) 1113136

[startup+762.306 s]
/proc/loadavg: 1.02 1.01 1.00 2/65 18574
/proc/meminfo: memFree=680832/2055920 swapFree=4183800/4192956
[pid=18573] ppid=18571 vsize=1233112 CPUtime=762.09
/proc/18573/stat : 18573 (oree) R 18571 18573 18143 0 -1 4194304 332732 0 0 0 76087 122 0 0 25 0 1 0 54164182 1262706688 268880 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18573/statm: 308278 268880 139 317 0 307957 0
Current children cumulated CPU time (s) 762.09
Current children cumulated vsize (KiB) 1233112

[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 18574
/proc/meminfo: memFree=569984/2055920 swapFree=4183800/4192956
[pid=18573] ppid=18571 vsize=1360200 CPUtime=822.07
/proc/18573/stat : 18573 (oree) R 18571 18573 18143 0 -1 4194304 373563 0 0 0 82070 137 0 0 25 0 1 0 54164182 1392844800 296746 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18573/statm: 340050 296746 139 317 0 339729 0
Current children cumulated CPU time (s) 822.07
Current children cumulated vsize (KiB) 1360200

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 18574
/proc/meminfo: memFree=479360/2055920 swapFree=4183800/4192956
[pid=18573] ppid=18571 vsize=1461204 CPUtime=882.06
/proc/18573/stat : 18573 (oree) R 18571 18573 18143 0 -1 4194304 407038 0 0 0 88057 149 0 0 25 0 1 0 54164182 1496272896 319063 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713816 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18573/statm: 365301 319063 139 317 0 364980 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 1461204

[startup+942.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 18574
/proc/meminfo: memFree=387328/2055920 swapFree=4183800/4192956
[pid=18573] ppid=18571 vsize=1568688 CPUtime=942.04
/proc/18573/stat : 18573 (oree) R 18571 18573 18143 0 -1 4194304 438747 0 0 0 94045 159 0 0 25 0 1 0 54164182 1606336512 342182 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18573/statm: 392172 342182 139 317 0 391851 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 1568688

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 18574
/proc/meminfo: memFree=310912/2055920 swapFree=4183800/4192956
[pid=18573] ppid=18571 vsize=1655244 CPUtime=1002.02
/proc/18573/stat : 18573 (oree) R 18571 18573 18143 0 -1 4194304 466016 0 0 0 100032 170 0 0 25 0 1 0 54164182 1694969856 361319 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18573/statm: 413811 361319 139 317 0 413490 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 1655244

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 18574
/proc/meminfo: memFree=199424/2055920 swapFree=4183800/4192956
[pid=18573] ppid=18571 vsize=1807792 CPUtime=1062.01
/proc/18573/stat : 18573 (oree) R 18571 18573 18143 0 -1 4194304 502697 0 0 0 106018 183 0 0 25 0 1 0 54164182 1851179008 389305 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713833 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18573/statm: 451948 389305 139 317 0 451627 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 1807792



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1090.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 18574
/proc/meminfo: memFree=169344/2055920 swapFree=4183800/4192956
[pid=18573] ppid=18571 vsize=1844600 CPUtime=1090.21
/proc/18573/stat : 18573 (oree) R 18571 18573 18143 0 -1 4194304 512371 0 0 0 108834 187 0 0 25 0 1 0 54164182 1888870400 396444 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134714746 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18573/statm: 461150 396444 139 317 0 460829 0
Current children cumulated CPU time (s) 1090.21
Current children cumulated vsize (KiB) 1844600

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

[startup+1090.61 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 18574
/proc/meminfo: memFree=169344/2055920 swapFree=4183800/4192956
[pid=18573] ppid=18571 vsize=0 CPUtime=1090.31
/proc/18573/stat : 18573 (oree) R 18571 18573 18143 0 -1 4194308 512390 0 0 0 108842 189 0 0 25 0 1 0 54164182 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18573/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1090.31
Current children cumulated vsize (KiB) 0

[startup+1090.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 18574
/proc/meminfo: memFree=169344/2055920 swapFree=4183800/4192956
[pid=18573] ppid=18571 vsize=0 CPUtime=1090.5
/proc/18573/stat : 18573 (oree) R 18571 18573 18143 0 -1 4194308 512390 0 0 0 108842 208 0 0 25 0 1 0 54164182 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18573/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1090.5
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1090.85
CPU time (s): 1090.56
CPU user time (s): 1088.43
CPU system time (s): 2.13468
CPU usage (%): 99.9735
Max. virtual memory (cumulated for all children) (KiB): 1844600

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1088.43
system time used= 2.13468
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 512390
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8
involuntary context switches= 2548

runsolver used 0.745886 second user time and 2.27765 second system time

The end

Launcher Data (download as text)

Begin job on node50 on Thu Apr 19 14:33:10 UTC 2007

IDJOB= 357277
IDBENCH= 2341
IDSOLVER= 172
FILE ID= node50/357277-1176993190

PBS_JOBID= 4630427

Free space on /tmp= 66500 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-siena1.opb
COMMAND LINE= oree /tmp/evaluation/357277-1176993190/instance-357277-1176993190.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node50/watcher-357277-1176993190 -o ROOT/results/node50/solver-357277-1176993190 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/357277-1176993190/instance-357277-1176993190.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  6b1441ebcfc2678f5078c728b5f20e0c

RANDOM SEED= 987147993

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node50.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/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.232
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.232
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:       1758936 kB
Buffers:         13500 kB
Cached:         218984 kB
SwapCached:       2932 kB
Active:         101056 kB
Inactive:       140868 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1758936 kB
SwapTotal:     4192956 kB
SwapFree:      4183800 kB
Dirty:            7900 kB
Writeback:           0 kB
Mapped:          15400 kB
Slab:            41084 kB
Committed_AS:  1067424 kB
PageTables:       1460 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66500 MiB

End job on node50 on Thu Apr 19 14:51:23 UTC 2007