Trace number 365706

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? (TO) 1800.39 1800.91

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-atlanta-ip.opb
MD5SUM3d255cade6c21db991c934cb96648acb
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark13401266210196
Best CPU time to get the best result obtained on this benchmark1804.1
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 9201231431786
Optimality of the best value was proved NO
Number of variables77286
Total number of constraints23680
Number of constraints which are clauses2311
Number of constraints which are cardinality constraints (but not clauses)862
Number of constraints which are nor clauses,nor cardinality constraints20507
Minimum length of a constraint1
Maximum length of a constraint2790
Number of terms in the objective function 31296
Biggest coefficient in the objective function 1700000000000
Number of bits for the biggest coefficient in the objective function 41
Sum of the numbers in the objective function 81421012358779
Number of bits of the sum of numbers in the objective function 47
Biggest number in a constraint 1700000000000
Number of bits of the biggest number in a constraint 41
Biggest sum of numbers in a constraint 81421012358779
Number of bits of the biggest sum of numbers47
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.79/1.80	c ...done
1.79/1.80	c #vars=77286 #constraints=30761 hasObjective=yes
10.39/10.43	c res. mode=mod
10.39/10.43	c VSIDS like heuristics
10.39/10.43	c complete search running
10.99/11.05	c restart after 401 decisions
11.09/11.17	c nbDecision=500 #constraints=30784
11.48/11.50	c restart after 801 decisions
11.68/11.73	c nbDecision=1000 #constraints=30784
12.28/12.31	c nbDecision=1500 #constraints=30790
12.38/12.44	c restart after 1601 decisions
12.79/12.89	c nbDecision=2000 #constraints=30793
13.38/13.49	c nbDecision=2500 #constraints=30802
14.08/14.15	c nbDecision=3000 #constraints=30822
14.38/14.46	c restart after 3201 decisions
14.78/14.80	c nbDecision=3500 #constraints=30839
15.29/15.35	c nbDecision=4000 #constraints=30839
16.08/16.11	c nbDecision=4500 #constraints=30881
16.68/16.75	c nbDecision=5000 #constraints=30899
17.28/17.37	c nbDecision=5500 #constraints=30912
18.78/18.81	c nbDecision=6000 #constraints=31060
19.79/19.80	c restart after 6401 decisions
19.88/19.93	c nbDecision=6500 #constraints=31154
20.38/20.48	c nbDecision=7000 #constraints=31154
20.98/21.03	c nbDecision=7500 #constraints=31154
21.48/21.57	c nbDecision=8000 #constraints=31154
22.18/22.22	c nbDecision=8500 #constraints=31176
22.99/23.09	c nbDecision=9000 #constraints=31235
23.78/23.82	c nbDecision=9500 #constraints=31269
24.39/24.42	c nbDecision=10000 #constraints=31281
25.39/25.40	c nbDecision=10500 #constraints=31368
26.09/26.12	c nbDecision=11000 #constraints=31405
26.69/26.76	c nbDecision=11500 #constraints=31426
27.29/27.35	c nbDecision=12000 #constraints=31436
28.19/28.23	c nbDecision=12500 #constraints=31504
28.49/28.56	c restart after 12801 decisions
28.79/28.82	c nbDecision=13000 #constraints=31507
29.29/29.36	c nbDecision=13500 #constraints=31507
29.89/29.90	c nbDecision=14000 #constraints=31507
30.39/30.44	c nbDecision=14500 #constraints=31507
30.89/30.98	c nbDecision=15000 #constraints=31507
31.49/31.52	c nbDecision=15500 #constraints=31507
31.99/32.07	c nbDecision=16000 #constraints=31507
32.59/32.61	c nbDecision=16500 #constraints=31507
33.09/33.15	c nbDecision=17000 #constraints=31507
33.59/33.68	c nbDecision=17500 #constraints=31507
34.59/34.63	c nbDecision=18000 #constraints=31588
35.09/35.17	c nbDecision=18500 #constraints=31588
35.69/35.70	c nbDecision=19000 #constraints=31588
36.19/36.24	c nbDecision=19500 #constraints=31588
36.89/36.98	c nbDecision=20000 #constraints=31629
37.59/37.66	c nbDecision=20500 #constraints=31656
38.29/38.34	c nbDecision=21000 #constraints=31686
38.89/38.91	c nbDecision=21500 #constraints=31692
39.49/39.51	c nbDecision=22000 #constraints=31695
39.99/40.06	c nbDecision=22500 #constraints=31695
40.59/40.60	c nbDecision=23000 #constraints=31695
41.08/41.15	c nbDecision=23500 #constraints=31695
41.58/41.69	c nbDecision=24000 #constraints=31695
42.18/42.22	c nbDecision=24500 #constraints=31695
42.68/42.76	c nbDecision=25000 #constraints=31695
43.18/43.29	c nbDecision=25500 #constraints=31695
43.38/43.40	c restart after 25601 decisions
43.78/43.87	c nbDecision=26000 #constraints=31695
44.38/44.41	c nbDecision=26500 #constraints=31695
44.88/44.95	c nbDecision=27000 #constraints=31695
45.38/45.49	c nbDecision=27500 #constraints=31695
45.98/46.03	c nbDecision=28000 #constraints=31695
46.48/46.57	c nbDecision=28500 #constraints=31695
47.08/47.10	c nbDecision=29000 #constraints=31695
47.58/47.64	c nbDecision=29500 #constraints=31695
48.08/48.17	c nbDecision=30000 #constraints=31695
48.68/48.70	c nbDecision=30500 #constraints=31695
49.18/49.23	c nbDecision=31000 #constraints=31695
49.68/49.76	c nbDecision=31500 #constraints=31695
50.28/50.35	c nbDecision=32000 #constraints=31698
50.78/50.89	c nbDecision=32500 #constraints=31698
51.38/51.44	c nbDecision=33000 #constraints=31698
51.88/51.98	c nbDecision=33500 #constraints=31698
52.48/52.53	c nbDecision=34000 #constraints=31698
52.98/53.07	c nbDecision=34500 #constraints=31698
53.58/53.62	c nbDecision=35000 #constraints=31698
54.08/54.15	c nbDecision=35500 #constraints=31698
54.58/54.69	c nbDecision=36000 #constraints=31698
55.18/55.23	c nbDecision=36500 #constraints=31698
55.68/55.76	c nbDecision=37000 #constraints=31698
56.28/56.30	c nbDecision=37500 #constraints=31698
56.78/56.87	c nbDecision=38000 #constraints=31705
57.68/57.76	c nbDecision=38500 #constraints=31777
58.58/58.65	c nbDecision=39000 #constraints=31848
59.38/59.40	c nbDecision=39500 #constraints=31893
60.08/60.15	c nbDecision=40000 #constraints=31938
60.58/60.68	c nbDecision=40500 #constraints=31938
61.28/61.31	c nbDecision=41000 #constraints=31958
61.78/61.89	c nbDecision=41500 #constraints=31969
62.68/62.76	c nbDecision=42000 #constraints=32041
63.38/63.49	c nbDecision=42500 #constraints=32085
64.08/64.14	c nbDecision=43000 #constraints=32111
64.68/64.74	c nbDecision=43500 #constraints=32130
65.28/65.31	c nbDecision=44000 #constraints=32139
66.78/66.82	c nbDecision=44500 #constraints=32344
67.68/67.77	c nbDecision=45000 #constraints=32427
68.28/68.30	c nbDecision=45500 #constraints=32430
68.78/68.82	c nbDecision=46000 #constraints=32430
69.48/69.59	c nbDecision=46500 #constraints=32481
70.08/70.18	c nbDecision=47000 #constraints=32496
71.17/71.26	c nbDecision=47500 #constraints=32618
71.97/72.02	c nbDecision=48000 #constraints=32671
72.58/72.64	c nbDecision=48500 #constraints=32695
73.17/73.21	c nbDecision=49000 #constraints=32707
73.77/73.82	c nbDecision=49500 #constraints=32726
74.27/74.38	c nbDecision=50000 #constraints=32736
74.87/74.90	c nbDecision=50500 #constraints=32736
75.37/75.42	c nbDecision=51000 #constraints=32736
75.57/75.63	c restart after 51201 decisions
75.97/76.01	c nbDecision=51500 #constraints=32736
76.47/76.56	c nbDecision=52000 #constraints=32736
77.07/77.10	c nbDecision=52500 #constraints=32736
77.57/77.65	c nbDecision=53000 #constraints=32736
78.17/78.20	c nbDecision=53500 #constraints=32736
78.67/78.74	c nbDecision=54000 #constraints=32736
79.17/79.29	c nbDecision=54500 #constraints=32736
79.77/79.82	c nbDecision=55000 #constraints=32736
80.28/80.36	c nbDecision=55500 #constraints=32736
80.87/80.90	c nbDecision=56000 #constraints=32736
81.38/81.43	c nbDecision=56500 #constraints=32736
81.87/81.95	c nbDecision=57000 #constraints=32736
82.37/82.48	c nbDecision=57500 #constraints=32736
82.97/83.01	c nbDecision=58000 #constraints=32736
83.47/83.53	c nbDecision=58500 #constraints=32736
83.97/84.06	c nbDecision=59000 #constraints=32736
84.47/84.58	c nbDecision=59500 #constraints=32736
85.07/85.10	c nbDecision=60000 #constraints=32736
85.57/85.61	c nbDecision=60500 #constraints=32736
86.07/86.14	c nbDecision=61000 #constraints=32736
86.57/86.65	c nbDecision=61500 #constraints=32736
87.07/87.17	c nbDecision=62000 #constraints=32736
87.57/87.68	c nbDecision=62500 #constraints=32736
88.17/88.20	c nbDecision=63000 #constraints=32736
88.67/88.71	c nbDecision=63500 #constraints=32736
89.17/89.22	c nbDecision=64000 #constraints=32736
89.87/89.96	c nbDecision=64500 #constraints=32785
90.97/91.04	c nbDecision=65000 #constraints=32914
91.57/91.64	c nbDecision=65500 #constraints=32934
92.17/92.28	c nbDecision=66000 #constraints=32961
92.87/92.95	c nbDecision=66500 #constraints=32994
93.77/93.85	c nbDecision=67000 #constraints=33082
94.67/94.77	c nbDecision=67500 #constraints=33174
95.37/95.44	c nbDecision=68000 #constraints=33210
95.87/95.95	c nbDecision=68500 #constraints=33211
96.47/96.57	c nbDecision=69000 #constraints=33236
97.27/97.38	c nbDecision=69500 #constraints=33308
98.17/98.27	c nbDecision=70000 #constraints=33396
98.88/98.93	c nbDecision=70500 #constraints=33428
99.47/99.51	c nbDecision=71000 #constraints=33442
99.97/100.08	c nbDecision=71500 #constraints=33454
100.57/100.65	c nbDecision=72000 #constraints=33464
101.17/101.22	c nbDecision=72500 #constraints=33479
101.77/101.80	c nbDecision=73000 #constraints=33499
102.27/102.34	c nbDecision=73500 #constraints=33508
102.77/102.88	c nbDecision=74000 #constraints=33517
103.37/103.44	c nbDecision=74500 #constraints=33530
103.87/103.95	c nbDecision=75000 #constraints=33534
104.47/104.53	c nbDecision=75500 #constraints=33552
104.97/105.08	c nbDecision=76000 #constraints=33564
105.57/105.60	c nbDecision=76500 #constraints=33570
106.07/106.16	c nbDecision=77000 #constraints=33583
106.57/106.69	c nbDecision=77500 #constraints=33590
107.17/107.27	c nbDecision=78000 #constraints=33609
107.77/107.82	c nbDecision=78500 #constraints=33622
108.27/108.39	c nbDecision=79000 #constraints=33638
108.87/108.93	c nbDecision=79500 #constraints=33647
109.47/109.58	c nbDecision=80000 #constraints=33653
110.56/110.65	c nbDecision=80500 #constraints=33684
111.56/111.67	c nbDecision=81000 #constraints=33707
112.56/112.69	c nbDecision=81500 #constraints=33731
113.66/113.76	c nbDecision=82000 #constraints=33766
114.66/114.73	c nbDecision=82500 #constraints=33784
115.56/115.69	c nbDecision=83000 #constraints=33799
116.66/116.76	c nbDecision=83500 #constraints=33838
117.56/117.61	c nbDecision=84000 #constraints=33838
118.56/118.62	c nbDecision=84500 #constraints=33868
119.57/119.63	c nbDecision=85000 #constraints=33898
120.56/120.63	c nbDecision=85500 #constraints=33929
121.36/121.44	c nbDecision=86000 #constraints=33929
122.26/122.39	c nbDecision=86500 #constraints=33954
123.07/123.19	c nbDecision=87000 #constraints=33954
124.06/124.17	c nbDecision=87500 #constraints=33990
124.86/124.94	c nbDecision=88000 #constraints=33990
125.86/125.94	c nbDecision=88500 #constraints=34029
126.86/126.97	c nbDecision=89000 #constraints=34074
127.76/127.88	c nbDecision=89500 #constraints=34099
128.66/128.77	c nbDecision=90000 #constraints=34122
129.46/129.53	c nbDecision=90500 #constraints=34124
130.26/130.33	c nbDecision=91000 #constraints=34135
130.96/131.07	c nbDecision=91500 #constraints=34136
131.66/131.80	c nbDecision=92000 #constraints=34136
132.46/132.51	c nbDecision=92500 #constraints=34136
133.16/133.23	c nbDecision=93000 #constraints=34136
133.86/133.94	c nbDecision=93500 #constraints=34136
134.56/134.63	c nbDecision=94000 #constraints=34136
135.36/135.47	c nbDecision=94500 #constraints=34162
136.06/136.17	c nbDecision=95000 #constraints=34165
136.96/137.09	c nbDecision=95500 #constraints=34188
138.06/138.19	c nbDecision=96000 #constraints=34235
139.16/139.28	c nbDecision=96500 #constraints=34282
140.26/140.36	c nbDecision=97000 #constraints=34324
141.46/141.52	c nbDecision=97500 #constraints=34382
142.76/142.85	c nbDecision=98000 #constraints=34474
143.96/144.06	c nbDecision=98500 #constraints=34522
145.16/145.26	c nbDecision=99000 #constraints=34570
146.35/146.44	c nbDecision=99500 #constraints=34613
147.55/147.60	c nbDecision=100000 #constraints=34651
148.85/148.93	c nbDecision=100500 #constraints=34732
150.15/150.21	c nbDecision=101000 #constraints=34802
151.35/151.49	c nbDecision=101500 #constraints=34882
153.05/153.12	c nbDecision=102000 #constraints=34989
154.05/154.19	c restart after 102401 decisions
154.25/154.39	c nbDecision=102500 #constraints=35050
154.85/154.94	c nbDecision=103000 #constraints=35050
155.35/155.49	c nbDecision=103500 #constraints=35050
155.95/156.04	c nbDecision=104000 #constraints=35050
156.45/156.59	c nbDecision=104500 #constraints=35050
157.05/157.13	c nbDecision=105000 #constraints=35050
157.55/157.67	c nbDecision=105500 #constraints=35050
158.15/158.21	c nbDecision=106000 #constraints=35050
158.65/158.75	c nbDecision=106500 #constraints=35050
159.15/159.28	c nbDecision=107000 #constraints=35050
159.75/159.82	c nbDecision=107500 #constraints=35050
160.25/160.35	c nbDecision=108000 #constraints=35050
160.75/160.88	c nbDecision=108500 #constraints=35050
161.35/161.41	c nbDecision=109000 #constraints=35050
161.85/161.94	c nbDecision=109500 #constraints=35050
162.35/162.47	c nbDecision=110000 #constraints=35050
162.85/162.99	c nbDecision=110500 #constraints=35050
163.45/163.51	c nbDecision=111000 #constraints=35050
163.95/164.03	c nbDecision=111500 #constraints=35050
164.45/164.55	c nbDecision=112000 #constraints=35050
164.95/165.07	c nbDecision=112500 #constraints=35050
165.45/165.59	c nbDecision=113000 #constraints=35050
165.95/166.10	c nbDecision=113500 #constraints=35050
166.55/166.62	c nbDecision=114000 #constraints=35050
167.05/167.14	c nbDecision=114500 #constraints=35050
167.55/167.65	c nbDecision=115000 #constraints=35050
168.05/168.16	c nbDecision=115500 #constraints=35050
168.55/168.68	c nbDecision=116000 #constraints=35050
169.05/169.18	c nbDecision=116500 #constraints=35050
169.55/169.69	c nbDecision=117000 #constraints=35050
170.15/170.20	c nbDecision=117500 #constraints=35050
170.65/170.71	c nbDecision=118000 #constraints=35050
171.14/171.21	c nbDecision=118500 #constraints=35050
171.64/171.72	c nbDecision=119000 #constraints=35050
172.14/172.23	c nbDecision=119500 #constraints=35050
172.65/172.74	c nbDecision=120000 #constraints=35050
173.25/173.35	c nbDecision=120500 #constraints=35050
174.35/174.43	c nbDecision=121000 #constraints=35080
175.35/175.42	c nbDecision=121500 #constraints=35097
176.35/176.45	c nbDecision=122000 #constraints=35120
177.25/177.33	c nbDecision=122500 #constraints=35120
178.15/178.20	c nbDecision=123000 #constraints=35121
179.15/179.27	c nbDecision=123500 #constraints=35158
180.05/180.12	c nbDecision=124000 #constraints=35158
181.05/181.11	c nbDecision=124500 #constraints=35184
182.05/182.12	c nbDecision=125000 #constraints=35212
183.05/183.12	c nbDecision=125500 #constraints=35244
183.85/183.93	c nbDecision=126000 #constraints=35244
184.75/184.82	c nbDecision=126500 #constraints=35259
185.55/185.62	c nbDecision=127000 #constraints=35259
186.55/186.62	c nbDecision=127500 #constraints=35297
187.35/187.40	c nbDecision=128000 #constraints=35297
188.15/188.26	c nbDecision=128500 #constraints=35311
189.15/189.21	c nbDecision=129000 #constraints=35342
189.95/190.00	c nbDecision=129500 #constraints=35347
190.74/190.87	c nbDecision=130000 #constraints=35367
191.64/191.79	c nbDecision=130500 #constraints=35390
192.45/192.60	c nbDecision=131000 #constraints=35400
193.24/193.33	c nbDecision=131500 #constraints=35400
193.94/194.06	c nbDecision=132000 #constraints=35400
194.65/194.78	c nbDecision=132500 #constraints=35400
195.34/195.49	c nbDecision=133000 #constraints=35400
196.04/196.19	c nbDecision=133500 #constraints=35400
196.75/196.89	c nbDecision=134000 #constraints=35400
197.44/197.57	c nbDecision=134500 #constraints=35400
198.14/198.26	c nbDecision=135000 #constraints=35400
199.34/199.49	c nbDecision=135500 #constraints=35441
200.64/200.71	c nbDecision=136000 #constraints=35472
202.24/202.32	c nbDecision=136500 #constraints=35575
203.94/204.00	c nbDecision=137000 #constraints=35664
205.34/205.44	c nbDecision=137500 #constraints=35730
206.94/207.09	c nbDecision=138000 #constraints=35801
208.64/208.73	c nbDecision=138500 #constraints=35880
210.44/210.55	c nbDecision=139000 #constraints=35975
212.04/212.18	c nbDecision=139500 #constraints=36060
213.74/213.87	c nbDecision=140000 #constraints=36139
215.44/215.51	c nbDecision=140500 #constraints=36214
216.94/217.03	c nbDecision=141000 #constraints=36277
218.34/218.42	c nbDecision=141500 #constraints=36322
219.04/219.14	c nbDecision=142000 #constraints=36336
219.54/219.65	c nbDecision=142500 #constraints=36336
220.04/220.16	c nbDecision=143000 #constraints=36336
220.54/220.67	c nbDecision=143500 #constraints=36336
221.54/221.60	c nbDecision=144000 #constraints=36360
222.44/222.53	c nbDecision=144500 #constraints=36366
223.44/223.55	c nbDecision=145000 #constraints=36389
224.44/224.59	c nbDecision=145500 #constraints=36413
225.34/225.46	c nbDecision=146000 #constraints=36414
226.34/226.47	c nbDecision=146500 #constraints=36439
227.24/227.34	c nbDecision=147000 #constraints=36442
228.04/228.18	c nbDecision=147500 #constraints=36442
229.04/229.19	c nbDecision=148000 #constraints=36471
229.93/230.01	c nbDecision=148500 #constraints=36471
230.84/231.00	c nbDecision=149000 #constraints=36499
231.73/231.81	c nbDecision=149500 #constraints=36499
232.63/232.78	c nbDecision=150000 #constraints=36525
233.43/233.59	c nbDecision=150500 #constraints=36526
234.24/234.37	c nbDecision=151000 #constraints=36526
235.03/235.16	c nbDecision=151500 #constraints=36526
236.04/236.18	c nbDecision=152000 #constraints=36564
236.84/236.94	c nbDecision=152500 #constraints=36564
237.74/237.84	c nbDecision=153000 #constraints=36586
238.44/238.59	c nbDecision=153500 #constraints=36586
239.24/239.33	c nbDecision=154000 #constraints=36586
239.94/240.07	c nbDecision=154500 #constraints=36586
240.64/240.79	c nbDecision=155000 #constraints=36586
241.44/241.51	c nbDecision=155500 #constraints=36586
242.14/242.21	c nbDecision=156000 #constraints=36586
242.84/242.90	c nbDecision=156500 #constraints=36586
243.44/243.59	c nbDecision=157000 #constraints=36586
244.14/244.26	c nbDecision=157500 #constraints=36586
245.44/245.50	c nbDecision=158000 #constraints=36621
247.04/247.18	c nbDecision=158500 #constraints=36704
248.83/248.99	c nbDecision=159000 #constraints=36804
250.64/250.76	c nbDecision=159500 #constraints=36897
252.84/252.90	c nbDecision=160000 #constraints=37010
254.73/254.87	c nbDecision=160500 #constraints=37111
257.03/257.14	c nbDecision=161000 #constraints=37222
259.23/259.31	c nbDecision=161500 #constraints=37324
261.33/261.47	c nbDecision=162000 #constraints=37437
263.63/263.70	c nbDecision=162500 #constraints=37544
265.92/266.01	c nbDecision=163000 #constraints=37650
267.72/267.86	c nbDecision=163500 #constraints=37726
269.33/269.42	c nbDecision=164000 #constraints=37781
271.02/271.18	c nbDecision=164500 #constraints=37855
273.12/273.25	c nbDecision=165000 #constraints=37955
276.22/276.32	c nbDecision=165500 #constraints=38111
278.92/279.01	c nbDecision=166000 #constraints=38251
281.73/281.88	c nbDecision=166500 #constraints=38373
284.22/284.35	c nbDecision=167000 #constraints=38645
287.82/287.94	c nbDecision=167500 #constraints=39146
291.72/291.85	c nbDecision=168000 #constraints=39641
295.92/296.03	c nbDecision=168500 #constraints=40139
300.12/300.26	c nbDecision=169000 #constraints=40632
305.02/305.15	c nbDecision=169500 #constraints=41129
310.12/310.25	c nbDecision=170000 #constraints=41628
315.41/315.53	c nbDecision=170500 #constraints=42125
320.52/320.69	c nbDecision=171000 #constraints=42618
326.11/326.22	c nbDecision=171500 #constraints=43119
331.61/331.75	c nbDecision=172000 #constraints=43619
336.31/336.41	c nbDecision=172500 #constraints=44117
341.81/341.91	c nbDecision=173000 #constraints=44616
349.10/349.29	c nbDecision=173500 #constraints=45113
356.51/356.64	c nbDecision=174000 #constraints=45608
364.70/364.85	c nbDecision=174500 #constraints=46110
372.00/372.12	c nbDecision=175000 #constraints=46609
379.90/380.05	c nbDecision=175500 #constraints=47105
386.60/386.70	c nbDecision=176000 #constraints=47604
394.90/395.01	c nbDecision=176500 #constraints=48104
402.29/402.46	c nbDecision=177000 #constraints=48606
408.00/408.14	c nbDecision=177500 #constraints=49106
418.30/418.42	c nbDecision=178000 #constraints=49603
428.89/429.02	c nbDecision=178500 #constraints=50099
437.59/437.76	c nbDecision=179000 #constraints=50595
447.29/447.43	c nbDecision=179500 #constraints=51094
455.08/455.24	c nbDecision=180000 #constraints=51592
466.19/466.34	c nbDecision=180500 #constraints=52088
475.77/475.95	c nbDecision=181000 #constraints=52582
484.18/484.37	c nbDecision=181500 #constraints=53081
494.38/494.57	c nbDecision=182000 #constraints=53576
503.67/503.81	c nbDecision=182500 #constraints=54074
513.67/513.88	c nbDecision=183000 #constraints=54575
522.67/522.82	c nbDecision=183500 #constraints=55071
531.26/531.41	c nbDecision=184000 #constraints=55573
542.17/542.35	c nbDecision=184500 #constraints=56070
555.56/555.75	c nbDecision=185000 #constraints=56570
567.06/567.24	c nbDecision=185500 #constraints=57067
578.06/578.28	c nbDecision=186000 #constraints=57565
587.55/587.74	c nbDecision=186500 #constraints=58067
596.85/597.06	c nbDecision=187000 #constraints=58566
610.74/610.94	c nbDecision=187500 #constraints=59061
624.84/625.08	c nbDecision=188000 #constraints=59556
636.14/636.40	c nbDecision=188500 #constraints=60052
648.13/648.33	c nbDecision=189000 #constraints=60546
659.74/659.97	c nbDecision=189500 #constraints=61046
671.53/671.79	c nbDecision=190000 #constraints=61544
684.13/684.32	c nbDecision=190500 #constraints=62041
702.42/702.62	c nbDecision=191000 #constraints=62538
718.72/718.91	c nbDecision=191500 #constraints=63037
731.92/732.14	c nbDecision=192000 #constraints=63538
746.81/747.00	c nbDecision=192500 #constraints=64029
764.41/764.65	c nbDecision=193000 #constraints=64530
781.01/781.27	c nbDecision=193500 #constraints=65026
793.70/793.90	c nbDecision=194000 #constraints=65522
811.99/812.21	c nbDecision=194500 #constraints=66021
828.30/828.54	c nbDecision=195000 #constraints=66517
846.39/846.68	c nbDecision=195500 #constraints=67017
861.99/862.30	c nbDecision=196000 #constraints=67513
877.38/877.63	c nbDecision=196500 #constraints=68006
893.87/894.15	c nbDecision=197000 #constraints=68500
911.48/911.78	c nbDecision=197500 #constraints=68998
927.47/927.79	c nbDecision=198000 #constraints=69499
945.56/945.90	c nbDecision=198500 #constraints=69996
962.57/962.87	c nbDecision=199000 #constraints=70490
981.36/981.65	c nbDecision=199500 #constraints=70986
997.96/998.20	c nbDecision=200000 #constraints=71483
1015.64/1015.92	c nbDecision=200500 #constraints=71980
1034.04/1034.36	c nbDecision=201000 #constraints=72476
1054.54/1054.87	c nbDecision=201500 #constraints=72976
1075.54/1075.82	c nbDecision=202000 #constraints=73475
1093.13/1093.42	c nbDecision=202500 #constraints=73973
1113.72/1114.07	c nbDecision=203000 #constraints=74469
1134.02/1134.35	c nbDecision=203500 #constraints=74966
1155.82/1156.19	c nbDecision=204000 #constraints=75466
1187.11/1187.41	c nbDecision=204500 #constraints=75966
1203.30/1203.63	c restart after 204801 decisions
1204.90/1205.20	c nbDecision=205000 #constraints=76269
1205.40/1205.74	c nbDecision=205500 #constraints=76269
1205.91/1206.28	c nbDecision=206000 #constraints=76269
1206.51/1206.84	c nbDecision=206500 #constraints=76269
1207.11/1207.40	c nbDecision=207000 #constraints=76269
1207.61/1207.95	c nbDecision=207500 #constraints=76269
1208.11/1208.49	c nbDecision=208000 #constraints=76269
1208.71/1209.02	c nbDecision=208500 #constraints=76269
1209.21/1209.56	c nbDecision=209000 #constraints=76269
1209.71/1210.10	c nbDecision=209500 #constraints=76269
1210.31/1210.63	c nbDecision=210000 #constraints=76269
1210.81/1211.17	c nbDecision=210500 #constraints=76269
1211.40/1211.73	c nbDecision=211000 #constraints=76269
1211.91/1212.27	c nbDecision=211500 #constraints=76269
1212.50/1212.80	c nbDecision=212000 #constraints=76269
1213.01/1213.33	c nbDecision=212500 #constraints=76269
1213.50/1213.85	c nbDecision=213000 #constraints=76269
1214.01/1214.38	c nbDecision=213500 #constraints=76269
1214.50/1214.90	c nbDecision=214000 #constraints=76269
1215.11/1215.42	c nbDecision=214500 #constraints=76269
1215.60/1215.95	c nbDecision=215000 #constraints=76269
1216.10/1216.48	c nbDecision=215500 #constraints=76269
1216.70/1217.01	c nbDecision=216000 #constraints=76269
1217.20/1217.53	c nbDecision=216500 #constraints=76269
1217.70/1218.05	c nbDecision=217000 #constraints=76269
1218.20/1218.57	c nbDecision=217500 #constraints=76269
1218.70/1219.09	c nbDecision=218000 #constraints=76269
1219.30/1219.60	c nbDecision=218500 #constraints=76269
1219.80/1220.12	c nbDecision=219000 #constraints=76269
1220.30/1220.63	c nbDecision=219500 #constraints=76269
1220.80/1221.14	c nbDecision=220000 #constraints=76269
1221.30/1221.67	c nbDecision=220500 #constraints=76269
1221.81/1222.17	c nbDecision=221000 #constraints=76269
1222.30/1222.68	c nbDecision=221500 #constraints=76269
1222.81/1223.18	c nbDecision=222000 #constraints=76269
1223.30/1223.68	c nbDecision=222500 #constraints=76269
1224.01/1224.37	c nbDecision=223000 #constraints=76269
1224.90/1225.26	c nbDecision=223500 #constraints=76269
1226.10/1226.47	c nbDecision=224000 #constraints=76289
1227.20/1227.60	c nbDecision=224500 #constraints=76304
1228.10/1228.48	c nbDecision=225000 #constraints=76305
1229.40/1229.71	c nbDecision=225500 #constraints=76328
1230.40/1230.72	c nbDecision=226000 #constraints=76338
1231.20/1231.56	c nbDecision=226500 #constraints=76338
1232.10/1232.40	c nbDecision=227000 #constraints=76338
1233.30/1233.63	c nbDecision=227500 #constraints=76360
1234.30/1234.62	c nbDecision=228000 #constraints=76370
1235.10/1235.45	c nbDecision=228500 #constraints=76371
1235.90/1236.26	c nbDecision=229000 #constraints=76371
1236.70/1237.09	c nbDecision=229500 #constraints=76373
1237.50/1237.87	c nbDecision=230000 #constraints=76373
1238.80/1239.17	c nbDecision=230500 #constraints=76400
1239.60/1239.98	c nbDecision=231000 #constraints=76402
1240.80/1241.10	c nbDecision=231500 #constraints=76424
1241.90/1242.25	c nbDecision=232000 #constraints=76448
1242.60/1243.00	c nbDecision=232500 #constraints=76448
1243.50/1243.86	c nbDecision=233000 #constraints=76456
1244.19/1244.59	c nbDecision=233500 #constraints=76456
1245.00/1245.31	c nbDecision=234000 #constraints=76456
1245.69/1246.02	c nbDecision=234500 #constraints=76456
1246.39/1246.72	c nbDecision=235000 #constraints=76456
1247.10/1247.41	c nbDecision=235500 #constraints=76456
1247.69/1248.10	c nbDecision=236000 #constraints=76456
1248.89/1249.24	c nbDecision=236500 #constraints=76484
1249.69/1250.09	c nbDecision=237000 #constraints=76490
1272.98/1273.32	c nbDecision=237500 #constraints=76893
1299.18/1299.58	c nbDecision=238000 #constraints=77387
1325.07/1325.42	c nbDecision=238500 #constraints=77884
1349.27/1349.60	c nbDecision=239000 #constraints=78383
1375.82/1376.22	c nbDecision=239500 #constraints=78882
1397.58/1398.07	c nbDecision=240000 #constraints=79378
1419.56/1420.01	c nbDecision=240500 #constraints=79880
1444.96/1445.45	c nbDecision=241000 #constraints=80374
1473.25/1473.73	c nbDecision=241500 #constraints=80875
1498.95/1499.44	c nbDecision=242000 #constraints=81376
1520.54/1521.09	c nbDecision=242500 #constraints=81875
1546.33/1546.81	c nbDecision=243000 #constraints=82375
1573.92/1574.44	c nbDecision=243500 #constraints=82874
1597.83/1598.33	c nbDecision=244000 #constraints=83373
1619.52/1620.06	c nbDecision=244500 #constraints=83872
1644.31/1644.81	c nbDecision=245000 #constraints=84369
1668.80/1669.34	c nbDecision=245500 #constraints=84870
1694.70/1695.28	c nbDecision=246000 #constraints=85366
1720.39/1720.96	c nbDecision=246500 #constraints=85861
1744.19/1744.70	c nbDecision=247000 #constraints=86361
1775.48/1776.08	c nbDecision=247500 #constraints=86860
1800.09/1800.61	Received signal 15
1800.28/1800.82	
1800.28/1800.82	s UNKNOWN
1800.28/1800.82	
1800.28/1800.82	c user time= 1799.57 s
1800.28/1800.82	c system time= 0.740887 s
1800.28/1800.82	c wall clock time=1800.82

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/node41/watcher-365706-1176997105 -o ROOT/results/node41/solver-365706-1176997105 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/365706-1176997105/instance-365706-1176997105.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.92 0.98 0.99 3/77 20301
/proc/meminfo: memFree=1664400/2055920 swapFree=4137516/4192956
[pid=20301] ppid=20299 vsize=1468 CPUtime=0
/proc/20301/stat : 20301 (oree) R 20299 20301 19629 0 -1 4194304 179 0 0 0 0 0 0 0 18 0 1 0 147622423 1503232 161 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134831134 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20301/statm: 367 161 127 317 0 46 0

[startup+0.057516 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 20301
/proc/meminfo: memFree=1664400/2055920 swapFree=4137516/4192956
[pid=20301] ppid=20299 vsize=2400 CPUtime=0.05
/proc/20301/stat : 20301 (oree) R 20299 20301 19629 0 -1 4194304 473 0 0 0 5 0 0 0 18 0 1 0 147622423 2457600 357 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20301/statm: 600 358 127 317 0 279 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 2400

[startup+0.10152 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 20301
/proc/meminfo: memFree=1664400/2055920 swapFree=4137516/4192956
[pid=20301] ppid=20299 vsize=2400 CPUtime=0.09
/proc/20301/stat : 20301 (oree) R 20299 20301 19629 0 -1 4194304 510 0 0 0 9 0 0 0 18 0 1 0 147622423 2457600 394 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712470 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20301/statm: 600 394 128 317 0 279 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2400

[startup+0.301538 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 20301
/proc/meminfo: memFree=1664400/2055920 swapFree=4137516/4192956
[pid=20301] ppid=20299 vsize=5136 CPUtime=0.29
/proc/20301/stat : 20301 (oree) R 20299 20301 19629 0 -1 4194304 1200 0 0 0 29 0 0 0 19 0 1 0 147622423 5259264 1084 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20301/statm: 1284 1084 131 317 0 963 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5136

[startup+0.701572 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 20301
/proc/meminfo: memFree=1664400/2055920 swapFree=4137516/4192956
[pid=20301] ppid=20299 vsize=10700 CPUtime=0.69
/proc/20301/stat : 20301 (oree) R 20299 20301 19629 0 -1 4194304 2589 0 0 0 68 1 0 0 22 0 1 0 147622423 10956800 2473 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20301/statm: 2675 2473 131 317 0 2354 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10700

[startup+1.50164 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 20302
/proc/meminfo: memFree=1650888/2055920 swapFree=4137516/4192956
[pid=20301] ppid=20299 vsize=22212 CPUtime=1.49
/proc/20301/stat : 20301 (oree) R 20299 20301 19629 0 -1 4194304 5445 0 0 0 146 3 0 0 25 0 1 0 147622423 22745088 5329 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20301/statm: 5553 5329 131 317 0 5232 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 22212

[startup+3.10178 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 20302
/proc/meminfo: memFree=1629448/2055920 swapFree=4137516/4192956
[pid=20301] ppid=20299 vsize=36212 CPUtime=3.09
/proc/20301/stat : 20301 (oree) R 20299 20301 19629 0 -1 4194304 8965 0 0 0 304 5 0 0 25 0 1 0 147622423 37081088 8849 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20301/statm: 9053 8849 137 317 0 8732 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 36212

[startup+6.30106 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 20302
/proc/meminfo: memFree=1628360/2055920 swapFree=4137516/4192956
[pid=20301] ppid=20299 vsize=37400 CPUtime=6.29
/proc/20301/stat : 20301 (oree) R 20299 20301 19629 0 -1 4194304 9248 0 0 0 623 6 0 0 25 0 1 0 147622423 38297600 9132 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20301/statm: 9350 9132 137 317 0 9029 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 37400

[startup+12.7016 s]
/proc/loadavg: 0.94 0.98 0.99 2/78 20302
/proc/meminfo: memFree=1623504/2055920 swapFree=4137644/4192956
[pid=20301] ppid=20299 vsize=42860 CPUtime=12.68
/proc/20301/stat : 20301 (oree) R 20299 20301 19629 0 -1 4194304 10609 0 0 0 1262 6 0 0 25 0 1 0 147622423 43888640 10282 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20301/statm: 10715 10282 139 317 0 10394 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 42860

[startup+25.5017 s]
/proc/loadavg: 0.95 0.98 0.99 2/78 20304
/proc/meminfo: memFree=1623568/2055920 swapFree=4137644/4192956
[pid=20301] ppid=20299 vsize=42860 CPUtime=25.49
/proc/20301/stat : 20301 (oree) R 20299 20301 19629 0 -1 4194304 10612 0 0 0 2542 7 0 0 25 0 1 0 147622423 43888640 10285 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606695 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20301/statm: 10715 10285 139 317 0 10394 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 42860

[startup+51.1019 s]
/proc/loadavg: 0.96 0.98 0.99 2/78 20304
/proc/meminfo: memFree=1623632/2055920 swapFree=4137644/4192956
[pid=20301] ppid=20299 vsize=42860 CPUtime=51.08
/proc/20301/stat : 20301 (oree) R 20299 20301 19629 0 -1 4194304 10614 0 0 0 5101 7 0 0 25 0 1 0 147622423 43888640 10287 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20301/statm: 10715 10287 139 317 0 10394 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 42860

[startup+102.305 s]
/proc/loadavg: 0.98 0.98 0.99 2/78 20304
/proc/meminfo: memFree=1623184/2055920 swapFree=4137644/4192956
[pid=20301] ppid=20299 vsize=43504 CPUtime=102.27
/proc/20301/stat : 20301 (oree) R 20299 20301 19629 0 -1 4194304 10815 0 0 0 10219 8 0 0 25 0 1 0 147622423 44548096 10455 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606628 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20301/statm: 10876 10455 139 317 0 10555 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 43504

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 20304
/proc/meminfo: memFree=1618896/2055920 swapFree=4137644/4192956
[pid=20301] ppid=20299 vsize=47652 CPUtime=162.25
/proc/20301/stat : 20301 (oree) R 20299 20301 19629 0 -1 4194304 11867 0 0 0 16216 9 0 0 25 0 1 0 147622423 48795648 11507 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606628 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20301/statm: 11913 11507 139 317 0 11592 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 47652

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 20304
/proc/meminfo: memFree=1614544/2055920 swapFree=4137644/4192956
[pid=20301] ppid=20299 vsize=52084 CPUtime=222.24
/proc/20301/stat : 20301 (oree) R 20299 20301 19629 0 -1 4194304 12962 0 0 0 22213 11 0 0 25 0 1 0 147622423 53334016 12602 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20301/statm: 13021 12602 139 317 0 12700 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 52084

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 20304
/proc/meminfo: memFree=1606608/2055920 swapFree=4137708/4192956
[pid=20301] ppid=20299 vsize=59920 CPUtime=282.23
/proc/20301/stat : 20301 (oree) R 20299 20301 19629 0 -1 4194304 14969 0 0 0 28210 13 0 0 25 0 1 0 147622423 61358080 14609 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20301/statm: 14980 14609 170 317 0 14659 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 59920

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 20304
/proc/meminfo: memFree=1575248/2055920 swapFree=4137708/4192956
[pid=20301] ppid=20299 vsize=91712 CPUtime=342.21
/proc/20301/stat : 20301 (oree) R 20299 20301 19629 0 -1 4194304 22816 0 0 0 34201 20 0 0 25 0 1 0 147622423 93913088 22456 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20301/statm: 22928 22456 170 317 0 22607 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 91712

[startup+402.301 s]
/proc/loadavg: 1.06 1.00 1.00 2/78 20304
/proc/meminfo: memFree=1555728/2055920 swapFree=4137772/4192956
[pid=20301] ppid=20299 vsize=112696 CPUtime=402.19
/proc/20301/stat : 20301 (oree) R 20299 20301 19629 0 -1 4194304 27733 0 0 0 40195 24 0 0 25 0 1 0 147622423 115400704 27373 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562648 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20301/statm: 28174 27373 170 317 0 27853 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 112696

[startup+462.302 s]
/proc/loadavg: 1.02 1.00 1.00 2/78 20304
/proc/meminfo: memFree=1539088/2055920 swapFree=4137772/4192956
[pid=20301] ppid=20299 vsize=129332 CPUtime=462.18
/proc/20301/stat : 20301 (oree) R 20299 20301 19629 0 -1 4194304 31827 0 0 0 46191 27 0 0 25 0 1 0 147622423 132435968 31467 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606628 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20301/statm: 32333 31467 170 317 0 32012 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 129332

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20304
/proc/meminfo: memFree=1524368/2055920 swapFree=4137772/4192956
[pid=20301] ppid=20299 vsize=147700 CPUtime=522.17
/proc/20301/stat : 20301 (oree) R 20299 20301 19629 0 -1 4194304 36326 0 0 0 52185 32 0 0 25 0 1 0 147622423 151244800 35174 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20301/statm: 36925 35174 170 317 0 36604 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 147700

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20304
/proc/meminfo: memFree=1512336/2055920 swapFree=4137772/4192956
[pid=20301] ppid=20299 vsize=158528 CPUtime=582.15
/proc/20301/stat : 20301 (oree) R 20299 20301 19629 0 -1 4194304 39346 0 0 0 58181 34 0 0 25 0 1 0 147622423 162332672 38161 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20301/statm: 39632 38161 170 317 0 39311 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 158528

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20304
/proc/meminfo: memFree=1500112/2055920 swapFree=4137836/4192956
[pid=20301] ppid=20299 vsize=170688 CPUtime=642.14
/proc/20301/stat : 20301 (oree) R 20299 20301 19629 0 -1 4194304 42424 0 0 0 64178 36 0 0 25 0 1 0 147622423 174784512 41173 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563625 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20301/statm: 42672 41173 170 317 0 42351 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 170688


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

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20304
/proc/meminfo: memFree=1455184/2055920 swapFree=4137964/4192956
[pid=20301] ppid=20299 vsize=217108 CPUtime=942.07
/proc/20301/stat : 20301 (oree) R 20299 20301 19629 0 -1 4194304 54815 0 0 0 94161 46 0 0 25 0 1 0 147622423 222318592 52386 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20301/statm: 54277 52386 170 317 0 53956 0
Current children cumulated CPU time (s) 942.07
Current children cumulated vsize (KiB) 217108

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20304
/proc/meminfo: memFree=1446480/2055920 swapFree=4137964/4192956
[pid=20301] ppid=20299 vsize=234732 CPUtime=1002.05
/proc/20301/stat : 20301 (oree) R 20299 20301 19629 0 -1 4194304 59182 0 0 0 100157 48 0 0 25 0 1 0 147622423 240365568 54543 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563776 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20301/statm: 58683 54543 170 317 0 58362 0
Current children cumulated CPU time (s) 1002.05
Current children cumulated vsize (KiB) 234732

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20304
/proc/meminfo: memFree=1439120/2055920 swapFree=4138028/4192956
[pid=20301] ppid=20299 vsize=241188 CPUtime=1062.04
/proc/20301/stat : 20301 (oree) R 20299 20301 19629 0 -1 4194304 61036 0 0 0 106153 51 0 0 25 0 1 0 147622423 246976512 56397 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20301/statm: 60297 56397 170 317 0 59976 0
Current children cumulated CPU time (s) 1062.04
Current children cumulated vsize (KiB) 241188

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20304
/proc/meminfo: memFree=1432080/2055920 swapFree=4138028/4192956
[pid=20301] ppid=20299 vsize=247756 CPUtime=1122.02
/proc/20301/stat : 20301 (oree) R 20299 20301 19629 0 -1 4194304 62880 0 0 0 112150 52 0 0 25 0 1 0 147622423 253702144 58143 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20301/statm: 61939 58143 170 317 0 61618 0
Current children cumulated CPU time (s) 1122.02
Current children cumulated vsize (KiB) 247756

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20304
/proc/meminfo: memFree=1426000/2055920 swapFree=4138028/4192956
[pid=20301] ppid=20299 vsize=253292 CPUtime=1182.01
/proc/20301/stat : 20301 (oree) R 20299 20301 19629 0 -1 4194304 64486 0 0 0 118147 54 0 0 25 0 1 0 147622423 259371008 59684 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20301/statm: 63323 59684 170 317 0 63002 0
Current children cumulated CPU time (s) 1182.01
Current children cumulated vsize (KiB) 253292

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20304
/proc/meminfo: memFree=1423184/2055920 swapFree=4138092/4192956
[pid=20301] ppid=20299 vsize=255928 CPUtime=1242
/proc/20301/stat : 20301 (oree) R 20299 20301 19629 0 -1 4194304 65143 0 0 0 124145 55 0 0 25 0 1 0 147622423 262070272 60341 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606679 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20301/statm: 63982 60341 170 317 0 63661 0
Current children cumulated CPU time (s) 1242
Current children cumulated vsize (KiB) 255928

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20304
/proc/meminfo: memFree=1417616/2055920 swapFree=4138092/4192956
[pid=20301] ppid=20299 vsize=261188 CPUtime=1301.99
/proc/20301/stat : 20301 (oree) R 20299 20301 19629 0 -1 4194304 66510 0 0 0 130143 56 0 0 25 0 1 0 147622423 267456512 61708 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20301/statm: 65297 61708 170 317 0 64976 0
Current children cumulated CPU time (s) 1301.99
Current children cumulated vsize (KiB) 261188

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/84 20376
/proc/meminfo: memFree=1410128/2055920 swapFree=4138156/4192956
[pid=20301] ppid=20299 vsize=266788 CPUtime=1361.94
/proc/20301/stat : 20301 (oree) R 20299 20301 19629 0 -1 4194304 68078 0 0 0 136135 59 0 0 25 0 1 0 147622423 273190912 63276 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564083 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20301/statm: 66697 63276 170 317 0 66376 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 266788

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20502
/proc/meminfo: memFree=1403792/2055920 swapFree=4138156/4192956
[pid=20301] ppid=20299 vsize=276572 CPUtime=1421.86
/proc/20301/stat : 20301 (oree) R 20299 20301 19629 0 -1 4194304 70513 0 0 0 142125 61 0 0 25 0 1 0 147622423 283209728 65118 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20301/statm: 69143 65118 170 317 0 68822 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 276572

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20502
/proc/meminfo: memFree=1398096/2055920 swapFree=4138220/4192956
[pid=20301] ppid=20299 vsize=282016 CPUtime=1481.85
/proc/20301/stat : 20301 (oree) R 20299 20301 19629 0 -1 4194304 71960 0 0 0 148122 63 0 0 25 0 1 0 147622423 288784384 66565 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20301/statm: 70504 66565 170 317 0 70183 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 282016

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20502
/proc/meminfo: memFree=1391376/2055920 swapFree=4138220/4192956
[pid=20301] ppid=20299 vsize=287676 CPUtime=1541.83
/proc/20301/stat : 20301 (oree) R 20299 20301 19629 0 -1 4194304 73634 0 0 0 154118 65 0 0 25 0 1 0 147622423 294580224 68239 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20301/statm: 71919 68239 170 317 0 71598 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 287676

[startup+1602.3 s]
/proc/loadavg: 1.04 1.01 1.00 2/78 20502
/proc/meminfo: memFree=1385488/2055920 swapFree=4138220/4192956
[pid=20301] ppid=20299 vsize=292948 CPUtime=1601.82
/proc/20301/stat : 20301 (oree) R 20299 20301 19629 0 -1 4194304 75121 0 0 0 160115 67 0 0 25 0 1 0 147622423 299978752 69726 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710946 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20301/statm: 73237 69726 170 317 0 72916 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 292948

[startup+1662.3 s]
/proc/loadavg: 1.05 1.02 1.00 2/78 20502
/proc/meminfo: memFree=1378576/2055920 swapFree=4138284/4192956
[pid=20301] ppid=20299 vsize=299536 CPUtime=1661.81
/proc/20301/stat : 20301 (oree) R 20299 20301 19629 0 -1 4194304 76830 0 0 0 166112 69 0 0 25 0 1 0 147622423 306724864 71435 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563383 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20301/statm: 74884 71435 170 317 0 74563 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 299536

[startup+1722.3 s]
/proc/loadavg: 1.02 1.02 1.00 2/78 20502
/proc/meminfo: memFree=1372304/2055920 swapFree=4138284/4192956
[pid=20301] ppid=20299 vsize=305868 CPUtime=1721.79
/proc/20301/stat : 20301 (oree) R 20299 20301 19629 0 -1 4194304 78613 0 0 0 172108 71 0 0 25 0 1 0 147622423 313208832 73022 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20301/statm: 76467 73022 170 317 0 76146 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 305868

[startup+1782.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 20502
/proc/meminfo: memFree=1366352/2055920 swapFree=4138348/4192956
[pid=20301] ppid=20299 vsize=311344 CPUtime=1781.78
/proc/20301/stat : 20301 (oree) R 20299 20301 19629 0 -1 4194304 80077 0 0 0 178105 73 0 0 25 0 1 0 147622423 318816256 74486 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20301/statm: 77836 74486 170 317 0 77515 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 311344



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.01 1.00 3/78 20502
/proc/meminfo: memFree=1364752/2055920 swapFree=4138348/4192956
[pid=20301] ppid=20299 vsize=312776 CPUtime=1800.09
/proc/20301/stat : 20301 (oree) R 20299 20301 19629 0 -1 4194304 80498 0 0 0 179935 74 0 0 25 0 1 0 147622423 320282624 74874 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20301/statm: 78194 74874 170 317 0 77873 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 312776

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

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

[startup+1800.8 s]
/proc/loadavg: 1.00 1.01 1.00 3/78 20502
/proc/meminfo: memFree=1364752/2055920 swapFree=4138348/4192956
[pid=20301] ppid=20299 vsize=312776 CPUtime=1800.28
/proc/20301/stat : 20301 (oree) R 20299 20301 19629 0 -1 4194304 80498 0 0 0 179954 74 0 0 25 0 1 0 147622423 320282624 74874 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20301/statm: 78194 74874 170 317 0 77873 0
Current children cumulated CPU time (s) 1800.28
Current children cumulated vsize (KiB) 312776

[startup+1800.9 s]
/proc/loadavg: 1.00 1.01 1.00 3/78 20502
/proc/meminfo: memFree=1364752/2055920 swapFree=4138348/4192956
[pid=20301] ppid=20299 vsize=0 CPUtime=1800.37
/proc/20301/stat : 20301 (oree) R 20299 20301 19629 0 -1 4194308 80514 0 0 0 179960 77 0 0 25 0 1 0 147622423 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20301/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.37
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1800.91
CPU time (s): 1800.39
CPU user time (s): 1799.6
CPU system time (s): 0.78788
CPU usage (%): 99.9712
Max. virtual memory (cumulated for all children) (KiB): 312776

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.6
system time used= 0.78788
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 80514
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= 1248

runsolver used 1.91971 second user time and 4.65729 second system time

The end

Launcher Data (download as text)

Begin job on node41 on Thu Apr 19 15:38:25 UTC 2007

IDJOB= 365706
IDBENCH= 2530
IDSOLVER= 172
FILE ID= node41/365706-1176997105

PBS_JOBID= 4630436

Free space on /tmp= 66340 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-atlanta-ip.opb
COMMAND LINE= oree /tmp/evaluation/365706-1176997105/instance-365706-1176997105.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node41/watcher-365706-1176997105 -o ROOT/results/node41/solver-365706-1176997105 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/365706-1176997105/instance-365706-1176997105.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  3d255cade6c21db991c934cb96648acb

RANDOM SEED= 237053985

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node41.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:       1664872 kB
Buffers:         37376 kB
Cached:         269360 kB
SwapCached:       2732 kB
Active:         109684 kB
Inactive:       220632 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1664872 kB
SwapTotal:     4192956 kB
SwapFree:      4137516 kB
Dirty:            8448 kB
Writeback:           0 kB
Mapped:          31272 kB
Slab:            46028 kB
Committed_AS:  2561512 kB
PageTables:       2008 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= 66340 MiB

End job on node41 on Thu Apr 19 16:08:28 UTC 2007