Trace number 366152

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.11 1800.6

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/
submitted-PB06/manquiho/golomb-rulers/normalized-OGR_8.opb
MD5SUM6d3802f2f17c83a21ccf6c0752b41678
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark34
Best CPU time to get the best result obtained on this benchmark13.048
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 34
Optimality of the best value was proved YES
Number of variables392
Total number of constraints679
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints679
Minimum length of a constraint14
Maximum length of a constraint29
Number of terms in the objective function 7
Biggest coefficient in the objective function 64
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 127
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 128
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 635
Number of bits of the biggest sum of numbers10
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...
0.01/0.04	c ...done
0.01/0.04	c #vars=392 #constraints=680 hasObjective=yes
0.01/0.04	c res. mode=mod
0.01/0.04	c VSIDS like heuristics
0.01/0.04	c complete search running
0.01/0.05	c restart after 401 decisions
0.01/0.05	c nbDecision=500 #constraints=684
0.01/0.06	c restart after 801 decisions
0.01/0.07	c nbDecision=1000 #constraints=690
0.01/0.08	c nbDecision=1500 #constraints=706
0.01/0.08	c restart after 1601 decisions
0.01/0.10	c nbDecision=2000 #constraints=714
0.09/0.12	c nbDecision=2500 #constraints=736
0.09/0.14	c nbDecision=3000 #constraints=765
0.09/0.15	c restart after 3201 decisions
0.09/0.15	c nbDecision=3500 #constraints=779
0.09/0.18	c nbDecision=4000 #constraints=809
0.19/0.21	c nbDecision=4500 #constraints=837
0.19/0.24	c nbDecision=5000 #constraints=870
0.19/0.27	c nbDecision=5500 #constraints=902
0.29/0.30	c nbDecision=6000 #constraints=938
0.29/0.33	c restart after 6401 decisions
0.29/0.33	c nbDecision=6500 #constraints=962
0.29/0.36	c nbDecision=7000 #constraints=981
0.29/0.39	c nbDecision=7500 #constraints=1018
0.39/0.43	c nbDecision=8000 #constraints=1058
0.39/0.46	c nbDecision=8500 #constraints=1080
0.39/0.49	c nbDecision=9000 #constraints=1116
0.49/0.54	c nbDecision=9500 #constraints=1166
0.49/0.58	c nbDecision=10000 #constraints=1202
0.59/0.62	c nbDecision=10500 #constraints=1236
0.59/0.64	c nbDecision=11000 #constraints=1261
0.59/0.69	c nbDecision=11500 #constraints=1297
0.69/0.73	c nbDecision=12000 #constraints=1340
0.69/0.78	c nbDecision=12500 #constraints=1386
0.79/0.80	c restart after 12801 decisions
0.79/0.81	c nbDecision=13000 #constraints=1403
0.79/0.87	c nbDecision=13500 #constraints=1441
0.89/0.91	c nbDecision=14000 #constraints=1472
0.89/0.97	c nbDecision=14500 #constraints=1517
1.00/1.02	c nbDecision=15000 #constraints=1555
1.00/1.08	c nbDecision=15500 #constraints=1596
1.10/1.13	c nbDecision=16000 #constraints=1633
1.10/1.19	c nbDecision=16500 #constraints=1663
1.29/1.30	c nbDecision=17000 #constraints=1710
1.29/1.37	c nbDecision=17500 #constraints=1739
1.49/1.51	c nbDecision=18000 #constraints=1790
1.69/1.70	c nbDecision=18500 #constraints=1859
1.89/1.98	c nbDecision=19000 #constraints=1955
2.20/2.24	c nbDecision=19500 #constraints=2034
2.49/2.52	c nbDecision=20000 #constraints=2116
2.69/2.74	c nbDecision=20500 #constraints=2180
2.99/3.02	c nbDecision=21000 #constraints=2250
3.39/3.42	c nbDecision=21500 #constraints=2354
3.69/3.75	c nbDecision=22000 #constraints=2430
3.99/4.08	c nbDecision=22500 #constraints=2504
4.29/4.38	c nbDecision=23000 #constraints=2567
4.69/4.74	c nbDecision=23500 #constraints=2642
5.09/5.14	c nbDecision=24000 #constraints=2718
5.59/5.63	c nbDecision=24500 #constraints=2793
5.99/6.07	c nbDecision=25000 #constraints=2868
6.39/6.46	c nbDecision=25500 #constraints=2934
6.49/6.57	c restart after 25601 decisions
6.59/6.69	c nbDecision=26000 #constraints=2963
6.79/6.88	c nbDecision=26500 #constraints=3000
7.09/7.12	c nbDecision=27000 #constraints=3045
7.29/7.37	c nbDecision=27500 #constraints=3091
7.60/7.69	c nbDecision=28000 #constraints=3148
7.89/7.99	c nbDecision=28500 #constraints=3191
8.19/8.27	c nbDecision=29000 #constraints=3233
8.39/8.48	c nbDecision=29500 #constraints=3264
8.69/8.72	c nbDecision=30000 #constraints=3297
8.99/9.04	c nbDecision=30500 #constraints=3338
9.29/9.38	c nbDecision=31000 #constraints=3386
9.59/9.60	c nbDecision=31500 #constraints=3420
9.79/9.83	c nbDecision=32000 #constraints=3446
10.09/10.18	c nbDecision=32500 #constraints=3489
10.39/10.48	c nbDecision=33000 #constraints=3527
10.69/10.74	c nbDecision=33500 #constraints=3560
10.99/11.07	c nbDecision=34000 #constraints=3604
11.29/11.35	c nbDecision=34500 #constraints=3639
11.59/11.64	c nbDecision=35000 #constraints=3675
11.89/11.91	c nbDecision=35500 #constraints=3713
12.19/12.29	c nbDecision=36000 #constraints=3762
12.59/12.64	c nbDecision=36500 #constraints=3803
12.89/12.95	c nbDecision=37000 #constraints=3843
13.28/13.33	c nbDecision=37500 #constraints=3890
13.68/13.74	c nbDecision=38000 #constraints=3939
14.08/14.13	c nbDecision=38500 #constraints=3987
14.48/14.53	c nbDecision=39000 #constraints=4033
14.68/14.78	c nbDecision=39500 #constraints=4069
15.08/15.14	c nbDecision=40000 #constraints=4117
15.58/15.60	c nbDecision=40500 #constraints=4172
15.98/16.06	c nbDecision=41000 #constraints=4221
16.39/16.43	c nbDecision=41500 #constraints=4259
16.79/16.82	c nbDecision=42000 #constraints=4302
17.19/17.21	c nbDecision=42500 #constraints=4343
17.79/17.82	c nbDecision=43000 #constraints=4403
18.19/18.26	c nbDecision=43500 #constraints=4450
18.89/18.91	c nbDecision=44000 #constraints=4523
19.59/19.68	c nbDecision=44500 #constraints=4609
20.69/20.70	c nbDecision=45000 #constraints=4714
21.29/21.40	c nbDecision=45500 #constraints=4789
21.99/22.04	c nbDecision=46000 #constraints=4844
22.59/22.68	c nbDecision=46500 #constraints=4900
23.48/23.53	c nbDecision=47000 #constraints=4975
24.58/24.61	c nbDecision=47500 #constraints=5066
25.29/25.31	c nbDecision=48000 #constraints=5124
25.78/25.80	c nbDecision=48500 #constraints=5160
26.29/26.34	c nbDecision=49000 #constraints=5205
26.88/26.93	c nbDecision=49500 #constraints=5257
27.39/27.48	c nbDecision=50000 #constraints=5305
28.08/28.12	c nbDecision=50500 #constraints=5359
28.68/28.76	c nbDecision=51000 #constraints=5410
28.88/28.93	c restart after 51201 decisions
29.08/29.14	c nbDecision=51500 #constraints=5430
29.48/29.60	c nbDecision=52000 #constraints=5469
30.08/30.15	c nbDecision=52500 #constraints=5513
30.58/30.70	c nbDecision=53000 #constraints=5559
31.28/31.35	c nbDecision=53500 #constraints=5610
31.98/32.04	c nbDecision=54000 #constraints=5665
32.78/32.81	c nbDecision=54500 #constraints=5714
33.28/33.38	c nbDecision=55000 #constraints=5752
33.98/34.06	c nbDecision=55500 #constraints=5804
34.68/34.76	c nbDecision=56000 #constraints=5858
35.57/35.66	c nbDecision=56500 #constraints=5943
36.28/36.38	c nbDecision=57000 #constraints=6011
37.07/37.14	c nbDecision=57500 #constraints=6078
37.87/37.99	c nbDecision=58000 #constraints=6152
38.77/38.87	c nbDecision=58500 #constraints=6225
39.58/39.65	c nbDecision=59000 #constraints=6293
40.37/40.49	c nbDecision=59500 #constraints=6364
41.57/41.62	c nbDecision=60000 #constraints=6451
42.37/42.48	c nbDecision=60500 #constraints=6515
43.27/43.33	c nbDecision=61000 #constraints=6574
43.67/43.75	c nbDecision=61500 #constraints=6606
44.97/45.02	c nbDecision=62000 #constraints=6708
45.87/45.95	c nbDecision=62500 #constraints=6769
46.77/46.80	c nbDecision=63000 #constraints=6824
47.67/47.78	c nbDecision=63500 #constraints=6887
48.68/48.77	c nbDecision=64000 #constraints=6934
49.18/49.25	c nbDecision=64500 #constraints=6963
49.98/50.05	c nbDecision=65000 #constraints=7017
50.88/50.91	c nbDecision=65500 #constraints=7072
51.97/52.03	c nbDecision=66000 #constraints=7145
52.97/53.09	c nbDecision=66500 #constraints=7215
53.78/53.88	c nbDecision=67000 #constraints=7271
54.57/54.65	c nbDecision=67500 #constraints=7316
55.57/55.69	c nbDecision=68000 #constraints=7390
56.57/56.68	c nbDecision=68500 #constraints=7447
58.37/58.43	c nbDecision=69000 #constraints=7541
59.57/59.62	c nbDecision=69500 #constraints=7623
60.77/60.81	c nbDecision=70000 #constraints=7690
62.27/62.30	c nbDecision=70500 #constraints=7764
63.17/63.29	c nbDecision=71000 #constraints=7816
63.97/64.00	c nbDecision=71500 #constraints=7851
64.77/64.87	c nbDecision=72000 #constraints=7899
65.97/66.09	c nbDecision=72500 #constraints=7959
67.07/67.10	c nbDecision=73000 #constraints=8010
68.07/68.13	c nbDecision=73500 #constraints=8064
68.67/68.80	c nbDecision=74000 #constraints=8096
69.57/69.67	c nbDecision=74500 #constraints=8133
70.67/70.71	c nbDecision=75000 #constraints=8180
71.56/71.61	c nbDecision=75500 #constraints=8225
72.76/72.85	c nbDecision=76000 #constraints=8292
73.96/74.09	c nbDecision=76500 #constraints=8350
75.26/75.36	c nbDecision=77000 #constraints=8418
76.97/77.02	c nbDecision=77500 #constraints=8504
77.97/78.01	c nbDecision=78000 #constraints=8557
79.06/79.19	c nbDecision=78500 #constraints=8627
80.57/80.66	c nbDecision=79000 #constraints=8704
82.07/82.15	c nbDecision=79500 #constraints=8773
82.97/83.07	c nbDecision=80000 #constraints=8813
84.77/84.81	c nbDecision=80500 #constraints=8894
85.96/86.01	c nbDecision=81000 #constraints=8954
86.96/87.03	c nbDecision=81500 #constraints=9008
88.56/88.63	c nbDecision=82000 #constraints=9085
89.86/89.98	c nbDecision=82500 #constraints=9156
91.66/91.74	c nbDecision=83000 #constraints=9238
93.26/93.33	c nbDecision=83500 #constraints=9309
94.06/94.15	c nbDecision=84000 #constraints=9355
95.76/95.82	c nbDecision=84500 #constraints=9434
97.16/97.24	c nbDecision=85000 #constraints=9504
98.46/98.58	c nbDecision=85500 #constraints=9557
100.36/100.44	c nbDecision=86000 #constraints=9629
103.06/103.13	c nbDecision=86500 #constraints=9706
104.06/104.17	c nbDecision=87000 #constraints=9745
104.96/105.07	c nbDecision=87500 #constraints=9788
106.16/106.25	c nbDecision=88000 #constraints=9840
107.36/107.46	c nbDecision=88500 #constraints=9898
108.46/108.58	c nbDecision=89000 #constraints=9951
110.06/110.14	c nbDecision=89500 #constraints=10008
111.26/111.34	c nbDecision=90000 #constraints=10047
112.55/112.63	c nbDecision=90500 #constraints=10109
113.85/113.93	c nbDecision=91000 #constraints=10168
115.05/115.14	c nbDecision=91500 #constraints=10223
116.05/116.13	c nbDecision=92000 #constraints=10262
117.66/117.70	c nbDecision=92500 #constraints=10331
118.85/118.96	c nbDecision=93000 #constraints=10378
120.45/120.51	c nbDecision=93500 #constraints=10441
122.15/122.25	c nbDecision=94000 #constraints=10518
123.55/123.65	c nbDecision=94500 #constraints=10577
124.95/125.00	c nbDecision=95000 #constraints=10642
126.26/126.39	c nbDecision=95500 #constraints=10698
127.86/127.96	c nbDecision=96000 #constraints=10762
129.56/129.63	c nbDecision=96500 #constraints=10835
130.96/131.04	c nbDecision=97000 #constraints=10892
132.56/132.65	c nbDecision=97500 #constraints=10965
133.86/133.91	c nbDecision=98000 #constraints=11015
135.06/135.18	c nbDecision=98500 #constraints=11062
136.66/136.79	c nbDecision=99000 #constraints=11121
138.15/138.24	c nbDecision=99500 #constraints=11173
139.56/139.63	c nbDecision=100000 #constraints=11225
141.35/141.47	c nbDecision=100500 #constraints=11289
143.05/143.14	c nbDecision=101000 #constraints=11351
144.75/144.85	c nbDecision=101500 #constraints=11427
146.25/146.30	c nbDecision=102000 #constraints=11483
147.55/147.64	c restart after 102401 decisions
147.85/147.94	c nbDecision=102500 #constraints=11524
149.05/149.17	c nbDecision=103000 #constraints=11563
150.44/150.53	c nbDecision=103500 #constraints=11610
151.75/151.82	c nbDecision=104000 #constraints=11659
153.04/153.13	c nbDecision=104500 #constraints=11705
154.74/154.86	c nbDecision=105000 #constraints=11768
156.74/156.85	c nbDecision=105500 #constraints=11832
158.14/158.21	c nbDecision=106000 #constraints=11875
159.24/159.32	c nbDecision=106500 #constraints=11911
161.04/161.14	c nbDecision=107000 #constraints=11969
162.74/162.85	c nbDecision=107500 #constraints=12023
164.44/164.56	c nbDecision=108000 #constraints=12078
166.04/166.10	c nbDecision=108500 #constraints=12128
167.24/167.34	c nbDecision=109000 #constraints=12174
168.84/168.96	c nbDecision=109500 #constraints=12230
170.34/170.41	c nbDecision=110000 #constraints=12286
171.54/171.69	c nbDecision=110500 #constraints=12327
173.25/173.32	c nbDecision=111000 #constraints=12388
174.75/174.85	c nbDecision=111500 #constraints=12447
176.25/176.39	c nbDecision=112000 #constraints=12506
177.94/178.09	c nbDecision=112500 #constraints=12571
179.64/179.79	c nbDecision=113000 #constraints=12630
181.45/181.51	c nbDecision=113500 #constraints=12692
183.44/183.51	c nbDecision=114000 #constraints=12762
184.94/185.03	c nbDecision=114500 #constraints=12811
186.74/186.85	c nbDecision=115000 #constraints=12872
188.64/188.77	c nbDecision=115500 #constraints=12932
190.34/190.46	c nbDecision=116000 #constraints=12976
192.64/192.75	c nbDecision=116500 #constraints=13038
194.04/194.17	c nbDecision=117000 #constraints=13089
195.64/195.73	c nbDecision=117500 #constraints=13145
197.73/197.84	c nbDecision=118000 #constraints=13205
199.83/199.99	c nbDecision=118500 #constraints=13269
201.53/201.66	c nbDecision=119000 #constraints=13323
203.44/203.59	c nbDecision=119500 #constraints=13384
205.33/205.49	c nbDecision=120000 #constraints=13441
207.93/208.00	c nbDecision=120500 #constraints=13510
210.33/210.42	c nbDecision=121000 #constraints=13584
211.84/211.97	c nbDecision=121500 #constraints=13628
213.74/213.86	c nbDecision=122000 #constraints=13679
215.34/215.50	c nbDecision=122500 #constraints=13726
217.14/217.24	c nbDecision=123000 #constraints=13772
219.43/219.58	c nbDecision=123500 #constraints=13842
221.93/222.03	c nbDecision=124000 #constraints=13906
223.33/223.48	c nbDecision=124500 #constraints=13948
225.13/225.22	c nbDecision=125000 #constraints=14009
227.03/227.17	c nbDecision=125500 #constraints=14080
229.03/229.12	c nbDecision=126000 #constraints=14155
230.73/230.80	c nbDecision=126500 #constraints=14217
232.63/232.76	c nbDecision=127000 #constraints=14275
234.42/234.55	c nbDecision=127500 #constraints=14337
236.52/236.65	c nbDecision=128000 #constraints=14401
238.22/238.34	c nbDecision=128500 #constraints=14453
240.02/240.17	c nbDecision=129000 #constraints=14516
241.92/242.04	c nbDecision=129500 #constraints=14580
243.83/243.93	c nbDecision=130000 #constraints=14645
245.73/245.86	c nbDecision=130500 #constraints=14713
247.93/248.01	c nbDecision=131000 #constraints=14780
250.02/250.12	c nbDecision=131500 #constraints=14855
252.12/252.20	c nbDecision=132000 #constraints=14927
254.22/254.38	c nbDecision=132500 #constraints=15000
256.32/256.48	c nbDecision=133000 #constraints=15074
258.22/258.39	c nbDecision=133500 #constraints=15141
259.92/260.01	c nbDecision=134000 #constraints=15200
261.92/262.07	c nbDecision=134500 #constraints=15264
264.52/264.64	c nbDecision=135000 #constraints=15348
267.72/267.83	c nbDecision=135500 #constraints=15418
270.02/270.18	c nbDecision=136000 #constraints=15483
272.92/273.00	c nbDecision=136500 #constraints=15546
275.22/275.31	c nbDecision=137000 #constraints=15604
277.21/277.31	c nbDecision=137500 #constraints=15656
279.51/279.69	c nbDecision=138000 #constraints=15721
282.31/282.46	c nbDecision=138500 #constraints=15797
284.31/284.44	c nbDecision=139000 #constraints=15856
286.51/286.62	c nbDecision=139500 #constraints=15917
288.41/288.52	c nbDecision=140000 #constraints=15962
291.21/291.35	c nbDecision=140500 #constraints=16020
293.01/293.14	c nbDecision=141000 #constraints=16067
295.12/295.26	c nbDecision=141500 #constraints=16131
297.31/297.49	c nbDecision=142000 #constraints=16196
299.41/299.55	c nbDecision=142500 #constraints=16249
302.51/302.65	c nbDecision=143000 #constraints=16313
305.21/305.34	c nbDecision=143500 #constraints=16370
307.21/307.37	c nbDecision=144000 #constraints=16423
309.21/309.31	c nbDecision=144500 #constraints=16471
310.91/311.06	c nbDecision=145000 #constraints=16530
312.81/312.98	c nbDecision=145500 #constraints=16585
315.11/315.26	c nbDecision=146000 #constraints=16638
317.50/317.68	c nbDecision=146500 #constraints=16698
319.70/319.80	c nbDecision=147000 #constraints=16766
322.80/322.90	c nbDecision=147500 #constraints=16833
325.90/326.04	c nbDecision=148000 #constraints=16905
328.30/328.41	c nbDecision=148500 #constraints=16959
331.90/332.07	c nbDecision=149000 #constraints=17039
336.80/336.92	c nbDecision=149500 #constraints=17150
339.30/339.42	c nbDecision=150000 #constraints=17212
341.40/341.54	c nbDecision=150500 #constraints=17267
343.49/343.61	c nbDecision=151000 #constraints=17327
345.60/345.74	c nbDecision=151500 #constraints=17381
347.41/347.58	c nbDecision=152000 #constraints=17428
349.00/349.15	c nbDecision=152500 #constraints=17467
350.60/350.74	c nbDecision=153000 #constraints=17512
353.20/353.31	c nbDecision=153500 #constraints=17577
355.90/356.00	c nbDecision=154000 #constraints=17631
358.00/358.12	c nbDecision=154500 #constraints=17688
359.90/360.05	c nbDecision=155000 #constraints=17737
362.69/362.82	c nbDecision=155500 #constraints=17811
365.89/366.06	c nbDecision=156000 #constraints=17898
368.89/369.05	c nbDecision=156500 #constraints=17980
372.09/372.26	c nbDecision=157000 #constraints=18055
375.39/375.51	c nbDecision=157500 #constraints=18130
377.99/378.17	c nbDecision=158000 #constraints=18193
380.39/380.59	c nbDecision=158500 #constraints=18264
383.80/383.97	c nbDecision=159000 #constraints=18351
388.49/388.64	c nbDecision=159500 #constraints=18474
392.19/392.35	c nbDecision=160000 #constraints=18567
395.99/396.19	c nbDecision=160500 #constraints=18669
400.39/400.57	c nbDecision=161000 #constraints=18778
404.59/404.80	c nbDecision=161500 #constraints=18884
408.78/408.99	c nbDecision=162000 #constraints=18993
413.68/413.80	c nbDecision=162500 #constraints=19105
416.98/417.20	c nbDecision=163000 #constraints=19182
419.88/420.07	c nbDecision=163500 #constraints=19257
422.98/423.12	c nbDecision=164000 #constraints=19314
426.88/427.06	c nbDecision=164500 #constraints=19407
430.88/431.07	c nbDecision=165000 #constraints=19511
434.28/434.42	c nbDecision=165500 #constraints=19597
437.68/437.83	c nbDecision=166000 #constraints=19667
440.37/440.54	c nbDecision=166500 #constraints=19737
443.27/443.40	c nbDecision=167000 #constraints=19793
445.17/445.39	c nbDecision=167500 #constraints=19850
447.17/447.31	c nbDecision=168000 #constraints=19896
448.87/449.05	c nbDecision=168500 #constraints=19948
450.97/451.11	c nbDecision=169000 #constraints=19999
453.27/453.45	c nbDecision=169500 #constraints=20062
455.27/455.44	c nbDecision=170000 #constraints=20120
457.27/457.49	c nbDecision=170500 #constraints=20168
459.46/459.69	c nbDecision=171000 #constraints=20215
462.36/462.54	c nbDecision=171500 #constraints=20268
464.36/464.53	c nbDecision=172000 #constraints=20313
466.66/466.84	c nbDecision=172500 #constraints=20371
468.66/468.84	c nbDecision=173000 #constraints=20425
471.06/471.28	c nbDecision=173500 #constraints=20489
474.06/474.21	c nbDecision=174000 #constraints=20544
477.37/477.51	c nbDecision=174500 #constraints=20608
480.67/480.85	c nbDecision=175000 #constraints=20667
485.16/485.37	c nbDecision=175500 #constraints=20747
488.66/488.81	c nbDecision=176000 #constraints=20818
494.16/494.30	c nbDecision=176500 #constraints=20900
500.27/500.42	c nbDecision=177000 #constraints=20990
508.26/508.42	c nbDecision=177500 #constraints=21103
512.96/513.12	c nbDecision=178000 #constraints=21166
516.35/516.60	c nbDecision=178500 #constraints=21230
518.96/519.15	c nbDecision=179000 #constraints=21285
521.35/521.59	c nbDecision=179500 #constraints=21331
524.15/524.32	c nbDecision=180000 #constraints=21382
526.45/526.65	c nbDecision=180500 #constraints=21430
529.55/529.77	c nbDecision=181000 #constraints=21498
532.95/533.11	c nbDecision=181500 #constraints=21573
535.55/535.74	c nbDecision=182000 #constraints=21631
538.54/538.72	c nbDecision=182500 #constraints=21692
541.74/541.96	c nbDecision=183000 #constraints=21763
544.74/544.92	c nbDecision=183500 #constraints=21826
547.94/548.19	c nbDecision=184000 #constraints=21898
553.25/553.50	c nbDecision=184500 #constraints=21980
555.85/556.08	c nbDecision=185000 #constraints=22032
558.55/558.71	c nbDecision=185500 #constraints=22084
562.05/562.26	c nbDecision=186000 #constraints=22141
564.24/564.41	c nbDecision=186500 #constraints=22186
566.54/566.73	c nbDecision=187000 #constraints=22225
569.44/569.67	c nbDecision=187500 #constraints=22287
571.94/572.17	c nbDecision=188000 #constraints=22334
574.94/575.11	c nbDecision=188500 #constraints=22397
578.34/578.59	c nbDecision=189000 #constraints=22455
580.84/581.04	c nbDecision=189500 #constraints=22499
585.73/585.95	c nbDecision=190000 #constraints=22554
588.24/588.46	c nbDecision=190500 #constraints=22582
590.83/591.07	c nbDecision=191000 #constraints=22627
594.93/595.15	c nbDecision=191500 #constraints=22685
597.93/598.14	c nbDecision=192000 #constraints=22737
600.73/600.91	c nbDecision=192500 #constraints=22783
603.23/603.41	c nbDecision=193000 #constraints=22828
605.83/606.07	c nbDecision=193500 #constraints=22875
610.82/611.00	c nbDecision=194000 #constraints=22936
613.32/613.55	c nbDecision=194500 #constraints=22979
615.83/616.04	c nbDecision=195000 #constraints=23021
618.12/618.32	c nbDecision=195500 #constraints=23057
620.92/621.19	c nbDecision=196000 #constraints=23100
623.22/623.46	c nbDecision=196500 #constraints=23136
625.82/626.02	c nbDecision=197000 #constraints=23176
628.22/628.48	c nbDecision=197500 #constraints=23213
632.23/632.43	c nbDecision=198000 #constraints=23271
636.63/636.81	c nbDecision=198500 #constraints=23342
638.83/639.04	c nbDecision=199000 #constraints=23390
641.52/641.78	c nbDecision=199500 #constraints=23445
644.12/644.31	c nbDecision=200000 #constraints=23496
646.72/646.96	c nbDecision=200500 #constraints=23550
649.52/649.74	c nbDecision=201000 #constraints=23606
652.22/652.46	c nbDecision=201500 #constraints=23664
655.22/655.42	c nbDecision=202000 #constraints=23723
657.52/657.71	c nbDecision=202500 #constraints=23766
660.22/660.41	c nbDecision=203000 #constraints=23816
662.52/662.76	c nbDecision=203500 #constraints=23860
665.01/665.29	c nbDecision=204000 #constraints=23908
667.52/667.79	c nbDecision=204500 #constraints=23958
669.11/669.39	c restart after 204801 decisions
669.91/670.15	c nbDecision=205000 #constraints=23996
676.51/676.76	c nbDecision=205500 #constraints=24072
679.91/680.11	c nbDecision=206000 #constraints=24129
682.70/682.97	c nbDecision=206500 #constraints=24172
685.80/686.04	c nbDecision=207000 #constraints=24220
689.51/689.78	c nbDecision=207500 #constraints=24270
695.20/695.49	c nbDecision=208000 #constraints=24330
699.10/699.31	c nbDecision=208500 #constraints=24394
701.90/702.19	c nbDecision=209000 #constraints=24455
704.60/704.87	c nbDecision=209500 #constraints=24506
707.90/708.13	c nbDecision=210000 #constraints=24567
711.00/711.25	c nbDecision=210500 #constraints=24619
715.91/716.15	c nbDecision=211000 #constraints=24679
718.90/719.12	c nbDecision=211500 #constraints=24730
722.70/722.92	c nbDecision=212000 #constraints=24788
726.00/726.26	c nbDecision=212500 #constraints=24847
733.30/733.51	c nbDecision=213000 #constraints=24939
740.50/740.79	c nbDecision=213500 #constraints=25017
743.00/743.22	c nbDecision=214000 #constraints=25069
745.69/745.91	c nbDecision=214500 #constraints=25120
748.09/748.35	c nbDecision=215000 #constraints=25168
750.89/751.13	c nbDecision=215500 #constraints=25215
753.30/753.58	c nbDecision=216000 #constraints=25265
756.19/756.47	c nbDecision=216500 #constraints=25312
759.39/759.63	c nbDecision=217000 #constraints=25370
762.69/762.90	c nbDecision=217500 #constraints=25432
766.39/766.63	c nbDecision=218000 #constraints=25499
769.88/770.17	c nbDecision=218500 #constraints=25561
773.38/773.67	c nbDecision=219000 #constraints=25629
776.08/776.35	c nbDecision=219500 #constraints=25679
783.19/783.41	c nbDecision=220000 #constraints=25753
789.29/789.57	c nbDecision=220500 #constraints=25824
793.58/793.80	c nbDecision=221000 #constraints=25885
798.18/798.42	c nbDecision=221500 #constraints=25957
801.68/801.93	c nbDecision=222000 #constraints=26015
805.18/805.46	c nbDecision=222500 #constraints=26085
810.48/810.72	c nbDecision=223000 #constraints=26167
816.27/816.58	c nbDecision=223500 #constraints=26253
820.67/820.96	c nbDecision=224000 #constraints=26338
824.57/824.81	c nbDecision=224500 #constraints=26401
828.67/828.96	c nbDecision=225000 #constraints=26472
832.87/833.11	c nbDecision=225500 #constraints=26535
836.66/836.94	c nbDecision=226000 #constraints=26600
840.17/840.45	c nbDecision=226500 #constraints=26654
846.06/846.34	c nbDecision=227000 #constraints=26731
850.37/850.66	c nbDecision=227500 #constraints=26794
853.87/854.14	c nbDecision=228000 #constraints=26849
856.47/856.72	c nbDecision=228500 #constraints=26892
859.47/859.78	c nbDecision=229000 #constraints=26947
862.67/862.96	c nbDecision=229500 #constraints=27010
865.76/866.04	c nbDecision=230000 #constraints=27065
868.67/868.96	c nbDecision=230500 #constraints=27112
871.76/872.02	c nbDecision=231000 #constraints=27169
875.26/875.56	c nbDecision=231500 #constraints=27230
878.66/878.95	c nbDecision=232000 #constraints=27289
882.06/882.36	c nbDecision=232500 #constraints=27351
885.36/885.65	c nbDecision=233000 #constraints=27405
888.76/889.04	c nbDecision=233500 #constraints=27458
892.06/892.38	c nbDecision=234000 #constraints=27510
895.95/896.28	c nbDecision=234500 #constraints=27566
898.65/899.00	c nbDecision=235000 #constraints=27623
902.05/902.38	c nbDecision=235500 #constraints=27686
905.55/905.82	c nbDecision=236000 #constraints=27745
908.95/909.24	c nbDecision=236500 #constraints=27800
911.55/911.87	c nbDecision=237000 #constraints=27850
914.34/914.69	c nbDecision=237500 #constraints=27894
917.24/917.50	c nbDecision=238000 #constraints=27947
920.24/920.58	c nbDecision=238500 #constraints=28007
923.24/923.51	c nbDecision=239000 #constraints=28063
925.74/926.03	c nbDecision=239500 #constraints=28117
929.14/929.45	c nbDecision=240000 #constraints=28173
933.44/933.71	c nbDecision=240500 #constraints=28240
937.44/937.76	c nbDecision=241000 #constraints=28312
941.54/941.87	c nbDecision=241500 #constraints=28395
945.13/945.46	c nbDecision=242000 #constraints=28454
948.44/948.70	c nbDecision=242500 #constraints=28511
952.54/952.86	c nbDecision=243000 #constraints=28576
955.74/956.07	c nbDecision=243500 #constraints=28636
959.14/959.47	c nbDecision=244000 #constraints=28685
964.03/964.36	c nbDecision=244500 #constraints=28747
968.03/968.31	c nbDecision=245000 #constraints=28813
971.83/972.19	c nbDecision=245500 #constraints=28879
975.03/975.35	c nbDecision=246000 #constraints=28925
978.23/978.50	c nbDecision=246500 #constraints=28978
981.83/982.19	c nbDecision=247000 #constraints=29036
985.33/985.60	c nbDecision=247500 #constraints=29093
990.02/990.32	c nbDecision=248000 #constraints=29168
994.03/994.37	c nbDecision=248500 #constraints=29231
998.82/999.14	c nbDecision=249000 #constraints=29295
1003.22/1003.57	c nbDecision=249500 #constraints=29352
1006.02/1006.33	c nbDecision=250000 #constraints=29402
1009.42/1009.73	c nbDecision=250500 #constraints=29457
1012.62/1012.96	c nbDecision=251000 #constraints=29517
1016.02/1016.35	c nbDecision=251500 #constraints=29580
1019.72/1020.08	c nbDecision=252000 #constraints=29650
1022.72/1023.06	c nbDecision=252500 #constraints=29705
1026.71/1027.09	c nbDecision=253000 #constraints=29770
1030.61/1030.94	c nbDecision=253500 #constraints=29831
1034.21/1034.51	c nbDecision=254000 #constraints=29892
1038.21/1038.51	c nbDecision=254500 #constraints=29965
1042.21/1042.52	c nbDecision=255000 #constraints=30028
1045.91/1046.30	c nbDecision=255500 #constraints=30094
1050.01/1050.33	c nbDecision=256000 #constraints=30156
1054.90/1055.26	c nbDecision=256500 #constraints=30234
1058.80/1059.16	c nbDecision=257000 #constraints=30294
1062.40/1062.71	c nbDecision=257500 #constraints=30348
1068.41/1068.76	c nbDecision=258000 #constraints=30436
1072.11/1072.42	c nbDecision=258500 #constraints=30493
1075.10/1075.40	c nbDecision=259000 #constraints=30547
1079.60/1079.93	c nbDecision=259500 #constraints=30616
1083.11/1083.45	c nbDecision=260000 #constraints=30678
1086.80/1087.12	c nbDecision=260500 #constraints=30744
1090.30/1090.61	c nbDecision=261000 #constraints=30802
1095.10/1095.44	c nbDecision=261500 #constraints=30870
1099.30/1099.67	c nbDecision=262000 #constraints=30929
1103.20/1103.56	c nbDecision=262500 #constraints=30992
1107.19/1107.58	c nbDecision=263000 #constraints=31062
1112.49/1112.86	c nbDecision=263500 #constraints=31141
1116.09/1116.49	c nbDecision=264000 #constraints=31196
1120.59/1120.99	c nbDecision=264500 #constraints=31272
1125.29/1125.60	c nbDecision=265000 #constraints=31347
1129.19/1129.52	c nbDecision=265500 #constraints=31405
1133.38/1133.70	c nbDecision=266000 #constraints=31469
1137.98/1138.31	c nbDecision=266500 #constraints=31534
1142.28/1142.62	c nbDecision=267000 #constraints=31605
1147.38/1147.75	c nbDecision=267500 #constraints=31681
1151.09/1151.44	c nbDecision=268000 #constraints=31743
1154.29/1154.69	c nbDecision=268500 #constraints=31803
1157.99/1158.31	c nbDecision=269000 #constraints=31872
1163.58/1163.92	c nbDecision=269500 #constraints=31955
1169.28/1169.69	c nbDecision=270000 #constraints=32038
1174.68/1175.05	c nbDecision=270500 #constraints=32113
1181.57/1181.96	c nbDecision=271000 #constraints=32215
1186.27/1186.68	c nbDecision=271500 #constraints=32284
1190.57/1190.97	c nbDecision=272000 #constraints=32356
1194.77/1195.13	c nbDecision=272500 #constraints=32429
1203.26/1203.63	c nbDecision=273000 #constraints=32547
1210.56/1210.99	c nbDecision=273500 #constraints=32658
1216.97/1217.33	c nbDecision=274000 #constraints=32710
1220.17/1220.52	c nbDecision=274500 #constraints=32762
1223.76/1224.12	c nbDecision=275000 #constraints=32810
1226.87/1227.22	c nbDecision=275500 #constraints=32870
1230.26/1230.65	c nbDecision=276000 #constraints=32929
1233.56/1233.90	c nbDecision=276500 #constraints=32984
1237.06/1237.50	c nbDecision=277000 #constraints=33047
1240.55/1240.91	c nbDecision=277500 #constraints=33094
1243.55/1244.00	c nbDecision=278000 #constraints=33147
1246.96/1247.36	c nbDecision=278500 #constraints=33205
1250.36/1250.76	c nbDecision=279000 #constraints=33260
1253.75/1254.10	c nbDecision=279500 #constraints=33306
1256.75/1257.20	c nbDecision=280000 #constraints=33352
1260.15/1260.52	c nbDecision=280500 #constraints=33402
1263.85/1264.26	c nbDecision=281000 #constraints=33460
1267.85/1268.25	c nbDecision=281500 #constraints=33521
1272.05/1272.40	c nbDecision=282000 #constraints=33576
1275.65/1276.04	c nbDecision=282500 #constraints=33628
1279.25/1279.66	c nbDecision=283000 #constraints=33675
1284.25/1284.60	c nbDecision=283500 #constraints=33751
1288.44/1288.85	c nbDecision=284000 #constraints=33820
1294.04/1294.44	c nbDecision=284500 #constraints=33896
1298.24/1298.63	c nbDecision=285000 #constraints=33973
1302.84/1303.27	c nbDecision=285500 #constraints=34048
1307.54/1307.97	c nbDecision=286000 #constraints=34118
1311.23/1311.67	c nbDecision=286500 #constraints=34187
1315.63/1316.07	c nbDecision=287000 #constraints=34262
1320.13/1320.54	c nbDecision=287500 #constraints=34333
1324.73/1325.12	c nbDecision=288000 #constraints=34424
1329.43/1329.84	c nbDecision=288500 #constraints=34512
1333.32/1333.73	c nbDecision=289000 #constraints=34575
1337.62/1338.02	c nbDecision=289500 #constraints=34649
1341.92/1342.38	c nbDecision=290000 #constraints=34718
1345.62/1346.00	c nbDecision=290500 #constraints=34766
1349.12/1349.53	c nbDecision=291000 #constraints=34818
1353.02/1353.49	c nbDecision=291500 #constraints=34880
1355.93/1356.34	c nbDecision=292000 #constraints=34939
1359.42/1359.81	c nbDecision=292500 #constraints=34994
1363.02/1363.47	c nbDecision=293000 #constraints=35056
1367.12/1367.55	c nbDecision=293500 #constraints=35124
1371.22/1371.63	c nbDecision=294000 #constraints=35189
1374.82/1375.21	c nbDecision=294500 #constraints=35251
1378.22/1378.61	c nbDecision=295000 #constraints=35308
1383.12/1383.54	c nbDecision=295500 #constraints=35379
1387.01/1387.49	c nbDecision=296000 #constraints=35451
1391.31/1391.74	c nbDecision=296500 #constraints=35524
1395.81/1396.25	c nbDecision=297000 #constraints=35600
1400.21/1400.69	c nbDecision=297500 #constraints=35672
1404.91/1405.33	c nbDecision=298000 #constraints=35744
1408.81/1409.22	c nbDecision=298500 #constraints=35807
1413.01/1413.43	c nbDecision=299000 #constraints=35885
1417.61/1418.01	c nbDecision=299500 #constraints=35960
1422.71/1423.11	c nbDecision=300000 #constraints=36037
1426.61/1427.00	c nbDecision=300500 #constraints=36105
1431.51/1431.95	c nbDecision=301000 #constraints=36190
1436.11/1436.54	c nbDecision=301500 #constraints=36276
1441.50/1441.93	c nbDecision=302000 #constraints=36377
1446.70/1447.17	c nbDecision=302500 #constraints=36470
1451.40/1451.90	c nbDecision=303000 #constraints=36547
1457.50/1457.97	c nbDecision=303500 #constraints=36613
1460.60/1461.01	c nbDecision=304000 #constraints=36657
1464.60/1465.03	c nbDecision=304500 #constraints=36711
1468.50/1468.92	c nbDecision=305000 #constraints=36766
1476.19/1476.63	c nbDecision=305500 #constraints=36828
1481.49/1481.97	c nbDecision=306000 #constraints=36879
1485.49/1485.99	c nbDecision=306500 #constraints=36937
1489.09/1489.51	c nbDecision=307000 #constraints=36988
1491.99/1492.46	c nbDecision=307500 #constraints=37028
1494.89/1495.30	c nbDecision=308000 #constraints=37071
1497.88/1498.31	c nbDecision=308500 #constraints=37119
1501.68/1502.11	c nbDecision=309000 #constraints=37172
1506.98/1507.40	c nbDecision=309500 #constraints=37243
1510.68/1511.16	c nbDecision=310000 #constraints=37301
1514.79/1515.22	c nbDecision=310500 #constraints=37359
1518.59/1519.07	c nbDecision=311000 #constraints=37421
1522.99/1523.49	c nbDecision=311500 #constraints=37488
1527.28/1527.70	c nbDecision=312000 #constraints=37557
1531.48/1531.90	c nbDecision=312500 #constraints=37626
1535.88/1536.37	c nbDecision=313000 #constraints=37689
1541.28/1541.74	c nbDecision=313500 #constraints=37763
1546.27/1546.79	c nbDecision=314000 #constraints=37841
1550.58/1551.05	c nbDecision=314500 #constraints=37897
1554.77/1555.25	c nbDecision=315000 #constraints=37956
1559.47/1559.94	c nbDecision=315500 #constraints=38017
1563.17/1563.66	c nbDecision=316000 #constraints=38078
1567.97/1568.43	c nbDecision=316500 #constraints=38144
1572.07/1572.59	c nbDecision=317000 #constraints=38191
1576.46/1576.96	c nbDecision=317500 #constraints=38248
1580.46/1580.96	c nbDecision=318000 #constraints=38312
1584.96/1585.42	c nbDecision=318500 #constraints=38380
1589.06/1589.52	c nbDecision=319000 #constraints=38430
1593.06/1593.50	c nbDecision=319500 #constraints=38483
1599.06/1599.55	c nbDecision=320000 #constraints=38559
1603.56/1604.10	c nbDecision=320500 #constraints=38626
1609.56/1610.09	c nbDecision=321000 #constraints=38728
1614.56/1615.03	c nbDecision=321500 #constraints=38801
1619.86/1620.33	c nbDecision=322000 #constraints=38881
1625.36/1625.85	c nbDecision=322500 #constraints=38966
1631.35/1631.90	c nbDecision=323000 #constraints=39042
1635.55/1636.07	c nbDecision=323500 #constraints=39094
1639.25/1639.71	c nbDecision=324000 #constraints=39140
1644.85/1645.32	c nbDecision=324500 #constraints=39209
1649.25/1649.75	c nbDecision=325000 #constraints=39269
1654.15/1654.60	c nbDecision=325500 #constraints=39322
1659.64/1660.14	c nbDecision=326000 #constraints=39380
1664.14/1664.61	c nbDecision=326500 #constraints=39440
1667.74/1668.27	c nbDecision=327000 #constraints=39491
1671.54/1672.03	c nbDecision=327500 #constraints=39546
1676.04/1676.58	c nbDecision=328000 #constraints=39601
1680.74/1681.29	c nbDecision=328500 #constraints=39666
1685.33/1685.85	c nbDecision=329000 #constraints=39735
1689.63/1690.18	c nbDecision=329500 #constraints=39790
1693.73/1694.29	c nbDecision=330000 #constraints=39845
1697.73/1698.30	c nbDecision=330500 #constraints=39907
1701.83/1702.37	c nbDecision=331000 #constraints=39967
1706.23/1706.79	c nbDecision=331500 #constraints=40032
1710.53/1711.05	c nbDecision=332000 #constraints=40087
1714.73/1715.24	c nbDecision=332500 #constraints=40142
1719.32/1719.87	c nbDecision=333000 #constraints=40206
1724.72/1725.24	c nbDecision=333500 #constraints=40271
1729.62/1730.16	c nbDecision=334000 #constraints=40329
1733.73/1734.28	c nbDecision=334500 #constraints=40375
1737.62/1738.11	c nbDecision=335000 #constraints=40423
1742.62/1743.14	c nbDecision=335500 #constraints=40474
1747.12/1747.63	c nbDecision=336000 #constraints=40531
1752.02/1752.50	c nbDecision=336500 #constraints=40591
1756.42/1756.99	c nbDecision=337000 #constraints=40642
1761.62/1762.16	c nbDecision=337500 #constraints=40714
1767.01/1767.58	c nbDecision=338000 #constraints=40777
1771.91/1772.44	c nbDecision=338500 #constraints=40847
1776.51/1777.01	c nbDecision=339000 #constraints=40899
1781.11/1781.69	c nbDecision=339500 #constraints=40961
1785.91/1786.47	c nbDecision=340000 #constraints=41025
1790.81/1791.36	c nbDecision=340500 #constraints=41090
1795.40/1795.94	c nbDecision=341000 #constraints=41143
1799.50/1800.00	c nbDecision=341500 #constraints=41198
1800.01/1800.50	Received signal 15
1800.01/1800.57	
1800.01/1800.57	s UNKNOWN
1800.01/1800.57	
1800.01/1800.57	c user time= 1799.81 s
1800.01/1800.57	c system time= 0.279957 s
1800.01/1800.57	c wall clock time=1800.57

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/node70/watcher-366152-1176999058 -o ROOT/results/node70/solver-366152-1176999058 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/366152-1176999058/instance-366152-1176999058.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: 1.00 1.00 0.97 3/64 28896
/proc/meminfo: memFree=1463280/2055920 swapFree=4183760/4192956
[pid=28896] ppid=28894 vsize=1468 CPUtime=0
/proc/28896/stat : 28896 (oree) R 28894 28896 28596 0 -1 4194304 180 0 0 0 0 0 0 0 18 0 1 0 139443189 1503232 162 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28896/statm: 367 162 131 317 0 46 0

[startup+0.018639 s]
/proc/loadavg: 1.00 1.00 0.97 3/64 28896
/proc/meminfo: memFree=1463280/2055920 swapFree=4183760/4192956
[pid=28896] ppid=28894 vsize=1732 CPUtime=0.01
/proc/28896/stat : 28896 (oree) R 28894 28896 28596 0 -1 4194304 240 0 0 0 1 0 0 0 18 0 1 0 139443189 1773568 222 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28896/statm: 433 222 131 317 0 112 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 1732

[startup+0.101648 s]
/proc/loadavg: 1.00 1.00 0.97 3/64 28896
/proc/meminfo: memFree=1463280/2055920 swapFree=4183760/4192956
[pid=28896] ppid=28894 vsize=2536 CPUtime=0.09
/proc/28896/stat : 28896 (oree) R 28894 28896 28596 0 -1 4194304 440 0 0 0 9 0 0 0 18 0 1 0 139443189 2596864 422 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562864 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28896/statm: 634 422 139 317 0 313 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2536

[startup+0.301667 s]
/proc/loadavg: 1.00 1.00 0.97 3/64 28896
/proc/meminfo: memFree=1463280/2055920 swapFree=4183760/4192956
[pid=28896] ppid=28894 vsize=2796 CPUtime=0.29
/proc/28896/stat : 28896 (oree) R 28894 28896 28596 0 -1 4194304 560 0 0 0 29 0 0 0 19 0 1 0 139443189 2863104 542 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712503 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28896/statm: 699 542 170 317 0 378 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 2796

[startup+0.701708 s]
/proc/loadavg: 1.00 1.00 0.97 3/64 28896
/proc/meminfo: memFree=1463280/2055920 swapFree=4183760/4192956
[pid=28896] ppid=28894 vsize=3604 CPUtime=0.69
/proc/28896/stat : 28896 (oree) R 28894 28896 28596 0 -1 4194304 733 0 0 0 69 0 0 0 22 0 1 0 139443189 3690496 715 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28896/statm: 901 715 170 317 0 580 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3604

[startup+1.50179 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 28897
/proc/meminfo: memFree=1460712/2055920 swapFree=4183760/4192956
[pid=28896] ppid=28894 vsize=4540 CPUtime=1.49
/proc/28896/stat : 28896 (oree) R 28894 28896 28596 0 -1 4194304 966 0 0 0 149 0 0 0 25 0 1 0 139443189 4648960 948 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28896/statm: 1135 948 170 317 0 814 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 4540

[startup+3.10195 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 28897
/proc/meminfo: memFree=1459560/2055920 swapFree=4183760/4192956
[pid=28896] ppid=28894 vsize=5628 CPUtime=3.09
/proc/28896/stat : 28896 (oree) R 28894 28896 28596 0 -1 4194304 1243 0 0 0 309 0 0 0 25 0 1 0 139443189 5763072 1225 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28896/statm: 1407 1225 170 317 0 1086 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 5628

[startup+6.30127 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 28897
/proc/meminfo: memFree=1457640/2055920 swapFree=4183760/4192956
[pid=28896] ppid=28894 vsize=7260 CPUtime=6.29
/proc/28896/stat : 28896 (oree) R 28894 28896 28596 0 -1 4194304 1616 0 0 0 629 0 0 0 25 0 1 0 139443189 7434240 1598 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28896/statm: 1815 1598 170 317 0 1494 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 7260

[startup+12.7019 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 28897
/proc/meminfo: memFree=1455528/2055920 swapFree=4183760/4192956
[pid=28896] ppid=28894 vsize=9268 CPUtime=12.69
/proc/28896/stat : 28896 (oree) R 28894 28896 28596 0 -1 4194304 2116 0 0 0 1268 1 0 0 25 0 1 0 139443189 9490432 2098 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28896/statm: 2317 2098 170 317 0 1996 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 9268

[startup+25.5012 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 28897
/proc/meminfo: memFree=1452072/2055920 swapFree=4183760/4192956
[pid=28896] ppid=28894 vsize=12676 CPUtime=25.48
/proc/28896/stat : 28896 (oree) R 28894 28896 28596 0 -1 4194304 2938 0 0 0 2546 2 0 0 25 0 1 0 139443189 12980224 2920 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28896/statm: 3169 2920 170 317 0 2848 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 12676

[startup+51.1017 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 28897
/proc/meminfo: memFree=1447464/2055920 swapFree=4183760/4192956
[pid=28896] ppid=28894 vsize=17504 CPUtime=51.08
/proc/28896/stat : 28896 (oree) R 28894 28896 28596 0 -1 4194304 4086 0 0 0 5105 3 0 0 25 0 1 0 139443189 17924096 4068 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710973 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28896/statm: 4376 4068 170 317 0 4055 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 17504

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 28897
/proc/meminfo: memFree=1440744/2055920 swapFree=4183760/4192956
[pid=28896] ppid=28894 vsize=24832 CPUtime=102.26
/proc/28896/stat : 28896 (oree) R 28894 28896 28596 0 -1 4194304 5793 0 0 0 10222 4 0 0 25 0 1 0 139443189 25427968 5717 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28896/statm: 6208 5717 170 317 0 5887 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 24832

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 28897
/proc/meminfo: memFree=1435112/2055920 swapFree=4183760/4192956
[pid=28896] ppid=28894 vsize=30744 CPUtime=162.24
/proc/28896/stat : 28896 (oree) R 28894 28896 28596 0 -1 4194304 7217 0 0 0 16219 5 0 0 25 0 1 0 139443189 31481856 7141 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28896/statm: 7686 7141 170 317 0 7365 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 30744

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 28897
/proc/meminfo: memFree=1430440/2055920 swapFree=4183760/4192956
[pid=28896] ppid=28894 vsize=35504 CPUtime=222.23
/proc/28896/stat : 28896 (oree) R 28894 28896 28596 0 -1 4194304 8360 0 0 0 22216 7 0 0 25 0 1 0 139443189 36356096 8284 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716050 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28896/statm: 8876 8284 170 317 0 8555 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 35504

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 28897
/proc/meminfo: memFree=1425832/2055920 swapFree=4183760/4192956
[pid=28896] ppid=28894 vsize=39720 CPUtime=282.21
/proc/28896/stat : 28896 (oree) R 28894 28896 28596 0 -1 4194304 9504 0 0 0 28213 8 0 0 25 0 1 0 139443189 40673280 9428 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712496 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28896/statm: 9930 9428 170 317 0 9609 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 39720

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 28897
/proc/meminfo: memFree=1422120/2055920 swapFree=4183760/4192956
[pid=28896] ppid=28894 vsize=45248 CPUtime=342.19
/proc/28896/stat : 28896 (oree) R 28894 28896 28596 0 -1 4194304 10859 0 0 0 34210 9 0 0 25 0 1 0 139443189 46333952 10372 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28896/statm: 11312 10372 170 317 0 10991 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 45248

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 28897
/proc/meminfo: memFree=1418280/2055920 swapFree=4183760/4192956
[pid=28896] ppid=28894 vsize=49584 CPUtime=402.18
/proc/28896/stat : 28896 (oree) R 28894 28896 28596 0 -1 4194304 12023 0 0 0 40207 11 0 0 25 0 1 0 139443189 50774016 11305 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28896/statm: 12396 11305 170 317 0 12075 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 49584

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 28897
/proc/meminfo: memFree=1414632/2055920 swapFree=4183760/4192956
[pid=28896] ppid=28894 vsize=53468 CPUtime=462.16
/proc/28896/stat : 28896 (oree) R 28894 28896 28596 0 -1 4194304 13005 0 0 0 46205 11 0 0 25 0 1 0 139443189 54751232 12188 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28896/statm: 13367 12188 170 317 0 13046 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 53468

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 28897
/proc/meminfo: memFree=1412008/2055920 swapFree=4183760/4192956
[pid=28896] ppid=28894 vsize=56252 CPUtime=522.15
/proc/28896/stat : 28896 (oree) R 28894 28896 28596 0 -1 4194304 13776 0 0 0 52203 12 0 0 25 0 1 0 139443189 57602048 12860 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28896/statm: 14063 12860 170 317 0 13742 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 56252

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 28897
/proc/meminfo: memFree=1409128/2055920 swapFree=4183760/4192956
[pid=28896] ppid=28894 vsize=58728 CPUtime=582.14
/proc/28896/stat : 28896 (oree) R 28894 28896 28596 0 -1 4194304 14525 0 0 0 58201 13 0 0 25 0 1 0 139443189 60137472 13543 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28896/statm: 14682 13543 170 317 0 14361 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 58728

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 28897
/proc/meminfo: memFree=1407016/2055920 swapFree=4183760/4192956
[pid=28896] ppid=28894 vsize=61356 CPUtime=642.13
/proc/28896/stat : 28896 (oree) R 28894 28896 28596 0 -1 4194304 15241 0 0 0 64199 14 0 0 25 0 1 0 139443189 62828544 14094 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28896/statm: 15339 14094 170 317 0 15018 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 61356


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

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 28897
/proc/meminfo: memFree=1397480/2055920 swapFree=4183760/4192956
[pid=28896] ppid=28894 vsize=70116 CPUtime=882.06
/proc/28896/stat : 28896 (oree) R 28894 28896 28596 0 -1 4194304 17687 0 0 0 88189 17 0 0 25 0 1 0 139443189 71798784 16474 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28896/statm: 17529 16474 170 317 0 17208 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 70116

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 28897
/proc/meminfo: memFree=1394920/2055920 swapFree=4183760/4192956
[pid=28896] ppid=28894 vsize=72320 CPUtime=942.04
/proc/28896/stat : 28896 (oree) R 28894 28896 28596 0 -1 4194304 18337 0 0 0 94187 17 0 0 25 0 1 0 139443189 74055680 17124 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28896/statm: 18080 17124 170 317 0 17759 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 72320

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 28897
/proc/meminfo: memFree=1392552/2055920 swapFree=4183760/4192956
[pid=28896] ppid=28894 vsize=74676 CPUtime=1002.02
/proc/28896/stat : 28896 (oree) R 28894 28896 28596 0 -1 4194304 18980 0 0 0 100184 18 0 0 25 0 1 0 139443189 76468224 17701 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28896/statm: 18669 17701 170 317 0 18348 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 74676

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 28897
/proc/meminfo: memFree=1389928/2055920 swapFree=4183760/4192956
[pid=28896] ppid=28894 vsize=77052 CPUtime=1062
/proc/28896/stat : 28896 (oree) R 28894 28896 28596 0 -1 4194304 19655 0 0 0 106182 18 0 0 25 0 1 0 139443189 78901248 18343 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28896/statm: 19263 18343 170 317 0 18942 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 77052

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 28897
/proc/meminfo: memFree=1387560/2055920 swapFree=4183760/4192956
[pid=28896] ppid=28894 vsize=79148 CPUtime=1121.99
/proc/28896/stat : 28896 (oree) R 28894 28896 28596 0 -1 4194304 20265 0 0 0 112180 19 0 0 25 0 1 0 139443189 81047552 18953 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28896/statm: 19787 18953 170 317 0 19466 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 79148

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 28897
/proc/meminfo: memFree=1385256/2055920 swapFree=4183760/4192956
[pid=28896] ppid=28894 vsize=81496 CPUtime=1181.97
/proc/28896/stat : 28896 (oree) R 28894 28896 28596 0 -1 4194304 20876 0 0 0 118177 20 0 0 25 0 1 0 139443189 83451904 19531 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716176 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28896/statm: 20374 19531 170 317 0 20053 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 81496

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 28897
/proc/meminfo: memFree=1381864/2055920 swapFree=4183760/4192956
[pid=28896] ppid=28894 vsize=85288 CPUtime=1241.95
/proc/28896/stat : 28896 (oree) R 28894 28896 28596 0 -1 4194304 21910 0 0 0 124174 21 0 0 25 0 1 0 139443189 87334912 20305 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28896/statm: 21322 20305 170 317 0 21001 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 85288

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 28897
/proc/meminfo: memFree=1380712/2055920 swapFree=4183760/4192956
[pid=28896] ppid=28894 vsize=89408 CPUtime=1301.94
/proc/28896/stat : 28896 (oree) R 28894 28896 28596 0 -1 4194304 23025 0 0 0 130172 22 0 0 25 0 1 0 139443189 91553792 20640 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28896/statm: 22352 20640 170 317 0 22031 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 89408

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 28897
/proc/meminfo: memFree=1378344/2055920 swapFree=4183760/4192956
[pid=28896] ppid=28894 vsize=92960 CPUtime=1361.92
/proc/28896/stat : 28896 (oree) R 28894 28896 28596 0 -1 4194304 23950 0 0 0 136169 23 0 0 25 0 1 0 139443189 95191040 21240 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563634 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28896/statm: 23240 21240 170 317 0 22919 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 92960

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 28897
/proc/meminfo: memFree=1375848/2055920 swapFree=4183760/4192956
[pid=28896] ppid=28894 vsize=96336 CPUtime=1421.91
/proc/28896/stat : 28896 (oree) R 28894 28896 28596 0 -1 4194304 24883 0 0 0 142167 24 0 0 25 0 1 0 139443189 98648064 21848 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28896/statm: 24084 21848 170 317 0 23763 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 96336

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 28897
/proc/meminfo: memFree=1373800/2055920 swapFree=4183760/4192956
[pid=28896] ppid=28894 vsize=98648 CPUtime=1481.89
/proc/28896/stat : 28896 (oree) R 28894 28896 28596 0 -1 4194304 25532 0 0 0 148165 24 0 0 25 0 1 0 139443189 101015552 22367 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28896/statm: 24662 22367 170 317 0 24341 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 98648

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 28897
/proc/meminfo: memFree=1371688/2055920 swapFree=4183760/4192956
[pid=28896] ppid=28894 vsize=100488 CPUtime=1541.88
/proc/28896/stat : 28896 (oree) R 28894 28896 28596 0 -1 4194304 26060 0 0 0 154163 25 0 0 25 0 1 0 139443189 102899712 22895 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28896/statm: 25122 22895 170 317 0 24801 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 100488

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 28897
/proc/meminfo: memFree=1369704/2055920 swapFree=4183760/4192956
[pid=28896] ppid=28894 vsize=102344 CPUtime=1601.86
/proc/28896/stat : 28896 (oree) R 28894 28896 28596 0 -1 4194304 26593 0 0 0 160160 26 0 0 25 0 1 0 139443189 104800256 23395 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28896/statm: 25586 23395 170 317 0 25265 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 102344

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 28897
/proc/meminfo: memFree=1367784/2055920 swapFree=4183760/4192956
[pid=28896] ppid=28894 vsize=104556 CPUtime=1661.84
/proc/28896/stat : 28896 (oree) R 28894 28896 28596 0 -1 4194304 27195 0 0 0 166158 26 0 0 25 0 1 0 139443189 107065344 23867 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28896/statm: 26139 23867 170 317 0 25818 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 104556

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 28897
/proc/meminfo: memFree=1365864/2055920 swapFree=4183760/4192956
[pid=28896] ppid=28894 vsize=106520 CPUtime=1721.82
/proc/28896/stat : 28896 (oree) R 28894 28896 28596 0 -1 4194304 27685 0 0 0 172156 26 0 0 25 0 1 0 139443189 109076480 24357 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28896/statm: 26630 24357 170 317 0 26309 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 106520

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 28897
/proc/meminfo: memFree=1364136/2055920 swapFree=4183760/4192956
[pid=28896] ppid=28894 vsize=108216 CPUtime=1781.81
/proc/28896/stat : 28896 (oree) R 28894 28896 28596 0 -1 4194304 28179 0 0 0 178154 27 0 0 25 0 1 0 139443189 110813184 24786 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604450 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28896/statm: 27054 24786 170 317 0 26733 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 108216



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 28897
/proc/meminfo: memFree=1363560/2055920 swapFree=4183760/4192956
[pid=28896] ppid=28894 vsize=108736 CPUtime=1800.01
/proc/28896/stat : 28896 (oree) R 28894 28896 28596 0 -1 4194304 28319 0 0 0 179974 27 0 0 25 0 1 0 139443189 111345664 24926 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28896/statm: 27184 24926 170 317 0 26863 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 108736

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

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

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 28897
/proc/meminfo: memFree=1363560/2055920 swapFree=4183760/4192956
[pid=28896] ppid=28894 vsize=108736 CPUtime=1800.01
/proc/28896/stat : 28896 (oree) R 28894 28896 28596 0 -1 4194304 28319 0 0 0 179974 27 0 0 25 0 1 0 139443189 111345664 24926 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28896/statm: 27184 24926 170 317 0 26863 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 108736

Child status: 0
Real time (s): 1800.6
CPU time (s): 1800.11
CPU user time (s): 1799.81
CPU system time (s): 0.297954
CPU usage (%): 99.9731
Max. virtual memory (cumulated for all children) (KiB): 108736

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

runsolver used 1.3358 second user time and 3.63445 second system time

The end

Launcher Data (download as text)

Begin job on node70 on Thu Apr 19 16:10:59 UTC 2007

IDJOB= 366152
IDBENCH= 2642
IDSOLVER= 172
FILE ID= node70/366152-1176999058

PBS_JOBID= 4630483

Free space on /tmp= 66476 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_8.opb
COMMAND LINE= oree /tmp/evaluation/366152-1176999058/instance-366152-1176999058.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node70/watcher-366152-1176999058 -o ROOT/results/node70/solver-366152-1176999058 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/366152-1176999058/instance-366152-1176999058.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  6d3802f2f17c83a21ccf6c0752b41678

RANDOM SEED= 905899525

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node70.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.218
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.218
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:       1463752 kB
Buffers:         29152 kB
Cached:         492716 kB
SwapCached:       3092 kB
Active:          24404 kB
Inactive:       507048 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1463752 kB
SwapTotal:     4192956 kB
SwapFree:      4183760 kB
Dirty:            1516 kB
Writeback:           0 kB
Mapped:          15504 kB
Slab:            46808 kB
Committed_AS:  2490764 kB
PageTables:       1396 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= 66476 MiB

End job on node70 on Thu Apr 19 16:41:01 UTC 2007