Trace number 356868

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.23 1800.8

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-reduced-mps-v2-20-10-neos3.opb
MD5SUMe3cb0aa6fa78151ec6baa005375728ca
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark5
Best CPU time to get the best result obtained on this benchmark1782.79
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 5
Optimality of the best value was proved NO
Number of variables42220
Total number of constraints1481
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)17
Number of constraints which are nor clauses,nor cardinality constraints1464
Minimum length of a constraint10
Maximum length of a constraint4780
Number of terms in the objective function 155
Biggest coefficient in the objective function 52429
Number of bits for the biggest coefficient in the objective function 16
Sum of the numbers in the objective function 524395
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262144
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 528063
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

0.00/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.49/0.50	c ...done
0.49/0.50	c #vars=42220 #constraints=1538 hasObjective=yes
0.49/0.59	c res. mode=mod
0.49/0.59	c VSIDS like heuristics
0.49/0.59	c complete search running
1.59/1.69	c restart after 401 decisions
2.09/2.18	c nbDecision=500 #constraints=1584
2.89/2.97	c restart after 801 decisions
3.20/3.28	c nbDecision=1000 #constraints=1634
3.79/3.87	c nbDecision=1500 #constraints=1652
3.89/3.97	c restart after 1601 decisions
4.99/5.07	c nbDecision=2000 #constraints=1686
6.29/6.35	c nbDecision=2500 #constraints=1727
7.59/7.62	c nbDecision=3000 #constraints=1767
8.09/8.16	c restart after 3201 decisions
8.69/8.74	c nbDecision=3500 #constraints=1790
9.49/9.52	c nbDecision=4000 #constraints=1807
10.29/10.32	c nbDecision=4500 #constraints=1824
10.99/11.08	c nbDecision=5000 #constraints=1840
11.79/11.87	c nbDecision=5500 #constraints=1857
12.59/12.62	c nbDecision=6000 #constraints=1873
13.20/13.27	c restart after 6401 decisions
13.49/13.58	c nbDecision=6500 #constraints=1886
14.29/14.32	c nbDecision=7000 #constraints=1905
14.99/15.06	c nbDecision=7500 #constraints=1923
15.78/15.81	c nbDecision=8000 #constraints=1940
16.49/16.59	c nbDecision=8500 #constraints=1958
17.29/17.35	c nbDecision=9000 #constraints=1976
18.09/18.12	c nbDecision=9500 #constraints=1994
18.79/18.89	c nbDecision=10000 #constraints=2012
19.58/19.65	c nbDecision=10500 #constraints=2030
20.39/20.45	c nbDecision=11000 #constraints=2049
21.19/21.22	c nbDecision=11500 #constraints=2067
21.99/22.00	c nbDecision=12000 #constraints=2084
22.78/22.87	c nbDecision=12500 #constraints=2103
23.38/23.42	c restart after 12801 decisions
24.39/24.46	c nbDecision=13000 #constraints=2153
25.29/25.39	c nbDecision=13500 #constraints=2170
26.28/26.31	c nbDecision=14000 #constraints=2185
27.08/27.12	c nbDecision=14500 #constraints=2200
27.88/27.90	c nbDecision=15000 #constraints=2214
28.78/28.86	c nbDecision=15500 #constraints=2229
29.69/29.71	c nbDecision=16000 #constraints=2244
30.48/30.53	c nbDecision=16500 #constraints=2259
31.38/31.46	c nbDecision=17000 #constraints=2273
32.28/32.37	c nbDecision=17500 #constraints=2288
33.08/33.20	c nbDecision=18000 #constraints=2303
33.99/34.06	c nbDecision=18500 #constraints=2317
34.98/35.02	c nbDecision=19000 #constraints=2333
35.78/35.85	c nbDecision=19500 #constraints=2348
36.58/36.68	c nbDecision=20000 #constraints=2362
37.58/37.68	c nbDecision=20500 #constraints=2377
38.58/38.62	c nbDecision=21000 #constraints=2393
39.28/39.35	c nbDecision=21500 #constraints=2406
40.28/40.38	c nbDecision=22000 #constraints=2421
41.28/41.30	c nbDecision=22500 #constraints=2436
42.08/42.12	c nbDecision=23000 #constraints=2451
42.98/43.01	c nbDecision=23500 #constraints=2466
43.88/43.98	c nbDecision=24000 #constraints=2481
44.78/44.88	c nbDecision=24500 #constraints=2496
45.58/45.66	c nbDecision=25000 #constraints=2510
46.48/46.59	c nbDecision=25500 #constraints=2524
46.68/46.71	c restart after 25601 decisions
48.48/48.53	c nbDecision=26000 #constraints=2572
49.18/49.23	c nbDecision=26500 #constraints=2592
49.87/49.91	c nbDecision=27000 #constraints=2612
50.48/50.58	c nbDecision=27500 #constraints=2631
51.18/51.26	c nbDecision=28000 #constraints=2651
51.87/51.93	c nbDecision=28500 #constraints=2670
52.57/52.61	c nbDecision=29000 #constraints=2690
53.27/53.30	c nbDecision=29500 #constraints=2709
53.87/53.99	c nbDecision=30000 #constraints=2729
54.57/54.67	c nbDecision=30500 #constraints=2748
55.27/55.36	c nbDecision=31000 #constraints=2768
55.97/56.05	c nbDecision=31500 #constraints=2787
56.68/56.75	c nbDecision=32000 #constraints=2807
57.38/57.45	c nbDecision=32500 #constraints=2827
58.08/58.16	c nbDecision=33000 #constraints=2846
58.78/58.87	c nbDecision=33500 #constraints=2866
59.48/59.56	c nbDecision=34000 #constraints=2886
60.18/60.27	c nbDecision=34500 #constraints=2906
60.88/60.97	c nbDecision=35000 #constraints=2926
61.68/61.70	c nbDecision=35500 #constraints=2946
62.27/62.39	c nbDecision=36000 #constraints=2966
63.08/63.12	c nbDecision=36500 #constraints=2985
63.78/63.83	c nbDecision=37000 #constraints=3005
64.47/64.55	c nbDecision=37500 #constraints=3024
65.17/65.29	c nbDecision=38000 #constraints=3045
65.97/66.04	c nbDecision=38500 #constraints=3065
66.67/66.78	c nbDecision=39000 #constraints=3085
67.37/67.49	c nbDecision=39500 #constraints=3104
68.17/68.21	c nbDecision=40000 #constraints=3124
68.87/68.90	c nbDecision=40500 #constraints=3143
69.57/69.63	c nbDecision=41000 #constraints=3163
70.27/70.35	c nbDecision=41500 #constraints=3182
70.97/71.07	c nbDecision=42000 #constraints=3202
71.77/71.80	c nbDecision=42500 #constraints=3221
72.47/72.55	c nbDecision=43000 #constraints=3241
73.27/73.30	c nbDecision=43500 #constraints=3261
73.97/74.05	c nbDecision=44000 #constraints=3281
74.67/74.79	c nbDecision=44500 #constraints=3301
75.47/75.52	c nbDecision=45000 #constraints=3320
76.27/76.32	c nbDecision=45500 #constraints=3340
76.98/77.08	c nbDecision=46000 #constraints=3360
77.77/77.85	c nbDecision=46500 #constraints=3380
78.57/78.62	c nbDecision=47000 #constraints=3400
79.27/79.38	c nbDecision=47500 #constraints=3420
80.07/80.14	c nbDecision=48000 #constraints=3440
80.87/80.90	c nbDecision=48500 #constraints=3460
81.57/81.69	c nbDecision=49000 #constraints=3479
82.37/82.48	c nbDecision=49500 #constraints=3499
83.17/83.25	c nbDecision=50000 #constraints=3519
83.97/84.03	c nbDecision=50500 #constraints=3538
84.77/84.83	c nbDecision=51000 #constraints=3558
85.07/85.12	c restart after 51201 decisions
86.26/86.31	c nbDecision=51500 #constraints=3574
86.96/87.07	c nbDecision=52000 #constraints=3592
87.77/87.82	c nbDecision=52500 #constraints=3610
88.47/88.55	c nbDecision=53000 #constraints=3627
89.17/89.27	c nbDecision=53500 #constraints=3644
89.97/90.00	c nbDecision=54000 #constraints=3661
90.67/90.75	c nbDecision=54500 #constraints=3679
91.36/91.48	c nbDecision=55000 #constraints=3696
92.16/92.23	c nbDecision=55500 #constraints=3714
92.96/93.02	c nbDecision=56000 #constraints=3732
93.66/93.79	c nbDecision=56500 #constraints=3750
94.46/94.50	c nbDecision=57000 #constraints=3766
95.16/95.26	c nbDecision=57500 #constraints=3783
95.96/96.04	c nbDecision=58000 #constraints=3800
96.77/96.82	c nbDecision=58500 #constraints=3818
97.57/97.63	c nbDecision=59000 #constraints=3836
98.46/98.52	c nbDecision=59500 #constraints=3854
99.26/99.35	c nbDecision=60000 #constraints=3872
100.07/100.18	c nbDecision=60500 #constraints=3890
100.96/101.01	c nbDecision=61000 #constraints=3907
101.76/101.86	c nbDecision=61500 #constraints=3925
102.57/102.69	c nbDecision=62000 #constraints=3943
103.47/103.52	c nbDecision=62500 #constraints=3960
104.37/104.42	c nbDecision=63000 #constraints=3979
105.16/105.28	c nbDecision=63500 #constraints=3997
106.06/106.10	c nbDecision=64000 #constraints=4014
106.96/107.03	c nbDecision=64500 #constraints=4033
107.87/107.98	c nbDecision=65000 #constraints=4051
108.66/108.78	c nbDecision=65500 #constraints=4068
109.56/109.62	c nbDecision=66000 #constraints=4085
110.46/110.55	c nbDecision=66500 #constraints=4103
111.36/111.48	c nbDecision=67000 #constraints=4121
112.26/112.38	c nbDecision=67500 #constraints=4138
113.16/113.30	c nbDecision=68000 #constraints=4156
114.16/114.21	c nbDecision=68500 #constraints=4173
115.06/115.13	c nbDecision=69000 #constraints=4190
115.96/116.03	c nbDecision=69500 #constraints=4207
116.86/116.98	c nbDecision=70000 #constraints=4225
117.76/117.84	c nbDecision=70500 #constraints=4242
118.66/118.77	c nbDecision=71000 #constraints=4259
119.56/119.65	c nbDecision=71500 #constraints=4275
120.56/120.66	c nbDecision=72000 #constraints=4293
121.56/121.70	c nbDecision=72500 #constraints=4311
122.55/122.67	c nbDecision=73000 #constraints=4328
123.55/123.68	c nbDecision=73500 #constraints=4346
124.55/124.68	c nbDecision=74000 #constraints=4364
125.55/125.68	c nbDecision=74500 #constraints=4381
126.56/126.62	c nbDecision=75000 #constraints=4399
127.66/127.71	c nbDecision=75500 #constraints=4418
128.66/128.74	c nbDecision=76000 #constraints=4435
129.76/129.81	c nbDecision=76500 #constraints=4452
130.86/130.92	c nbDecision=77000 #constraints=4470
131.96/132.02	c nbDecision=77500 #constraints=4488
132.96/133.06	c nbDecision=78000 #constraints=4505
133.95/134.05	c nbDecision=78500 #constraints=4522
134.95/135.06	c nbDecision=79000 #constraints=4539
136.05/136.15	c nbDecision=79500 #constraints=4556
137.16/137.21	c nbDecision=80000 #constraints=4574
138.16/138.26	c nbDecision=80500 #constraints=4591
139.25/139.32	c nbDecision=81000 #constraints=4609
140.25/140.34	c nbDecision=81500 #constraints=4626
141.25/141.37	c nbDecision=82000 #constraints=4644
142.35/142.47	c nbDecision=82500 #constraints=4662
143.35/143.49	c nbDecision=83000 #constraints=4679
144.45/144.56	c nbDecision=83500 #constraints=4696
145.55/145.62	c nbDecision=84000 #constraints=4714
146.55/146.69	c nbDecision=84500 #constraints=4732
147.65/147.70	c nbDecision=85000 #constraints=4749
148.75/148.84	c nbDecision=85500 #constraints=4767
149.85/149.96	c nbDecision=86000 #constraints=4784
151.05/151.12	c nbDecision=86500 #constraints=4801
152.25/152.30	c nbDecision=87000 #constraints=4819
153.35/153.48	c nbDecision=87500 #constraints=4837
154.45/154.59	c nbDecision=88000 #constraints=4854
155.55/155.68	c nbDecision=88500 #constraints=4871
156.75/156.82	c nbDecision=89000 #constraints=4889
157.74/157.85	c nbDecision=89500 #constraints=4905
158.95/159.05	c nbDecision=90000 #constraints=4923
160.15/160.23	c nbDecision=90500 #constraints=4940
161.35/161.43	c nbDecision=91000 #constraints=4957
162.55/162.64	c nbDecision=91500 #constraints=4975
163.75/163.86	c nbDecision=92000 #constraints=4993
164.85/164.93	c nbDecision=92500 #constraints=5010
165.95/166.02	c nbDecision=93000 #constraints=5027
167.15/167.27	c nbDecision=93500 #constraints=5044
168.45/168.56	c nbDecision=94000 #constraints=5062
169.85/169.90	c nbDecision=94500 #constraints=5080
171.04/171.17	c nbDecision=95000 #constraints=5098
172.34/172.43	c nbDecision=95500 #constraints=5116
173.54/173.62	c nbDecision=96000 #constraints=5133
174.74/174.85	c nbDecision=96500 #constraints=5151
175.95/176.05	c nbDecision=97000 #constraints=5169
177.15/177.23	c nbDecision=97500 #constraints=5187
178.35/178.46	c nbDecision=98000 #constraints=5203
179.84/179.99	c nbDecision=98500 #constraints=5221
181.24/181.39	c nbDecision=99000 #constraints=5238
182.75/182.87	c nbDecision=99500 #constraints=5257
184.14/184.21	c nbDecision=100000 #constraints=5275
185.44/185.56	c nbDecision=100500 #constraints=5293
186.94/187.03	c nbDecision=101000 #constraints=5310
188.54/188.62	c nbDecision=101500 #constraints=5328
190.04/190.18	c nbDecision=102000 #constraints=5346
191.24/191.35	c restart after 102401 decisions
194.74/194.88	c nbDecision=102500 #constraints=5363
197.34/197.46	c nbDecision=103000 #constraints=5392
199.74/199.87	c nbDecision=103500 #constraints=5420
202.53/202.65	c nbDecision=104000 #constraints=5448
205.13/205.24	c nbDecision=104500 #constraints=5478
208.03/208.16	c nbDecision=105000 #constraints=5506
210.63/210.73	c nbDecision=105500 #constraints=5534
213.73/213.88	c nbDecision=106000 #constraints=5563
217.04/217.14	c nbDecision=106500 #constraints=5593
220.23/220.31	c nbDecision=107000 #constraints=5621
223.23/223.38	c nbDecision=107500 #constraints=5650
226.43/226.53	c nbDecision=108000 #constraints=5677
229.53/229.69	c nbDecision=108500 #constraints=5707
232.73/232.86	c nbDecision=109000 #constraints=5734
235.73/235.87	c nbDecision=109500 #constraints=5763
239.22/239.30	c nbDecision=110000 #constraints=5792
242.33/242.42	c nbDecision=110500 #constraints=5821
245.62/245.72	c nbDecision=111000 #constraints=5850
248.82/248.96	c nbDecision=111500 #constraints=5878
252.22/252.33	c nbDecision=112000 #constraints=5906
255.32/255.49	c nbDecision=112500 #constraints=5935
258.52/258.65	c nbDecision=113000 #constraints=5962
261.72/261.85	c nbDecision=113500 #constraints=5990
265.52/265.65	c nbDecision=114000 #constraints=6019
269.21/269.30	c nbDecision=114500 #constraints=6048
273.12/273.23	c nbDecision=115000 #constraints=6075
276.62/276.73	c nbDecision=115500 #constraints=6101
280.31/280.50	c nbDecision=116000 #constraints=6130
284.22/284.33	c nbDecision=116500 #constraints=6157
287.71/287.88	c nbDecision=117000 #constraints=6186
291.91/292.09	c nbDecision=117500 #constraints=6214
295.61/295.72	c nbDecision=118000 #constraints=6241
299.31/299.46	c nbDecision=118500 #constraints=6270
303.30/303.41	c nbDecision=119000 #constraints=6299
306.51/306.63	c nbDecision=119500 #constraints=6326
310.11/310.29	c nbDecision=120000 #constraints=6355
313.60/313.78	c nbDecision=120500 #constraints=6384
317.20/317.36	c nbDecision=121000 #constraints=6412
320.61/320.73	c nbDecision=121500 #constraints=6440
324.10/324.28	c nbDecision=122000 #constraints=6469
327.90/328.02	c nbDecision=122500 #constraints=6498
332.20/332.30	c nbDecision=123000 #constraints=6526
335.70/335.85	c nbDecision=123500 #constraints=6554
340.40/340.51	c nbDecision=124000 #constraints=6583
344.30/344.41	c nbDecision=124500 #constraints=6612
348.70/348.81	c nbDecision=125000 #constraints=6640
352.80/352.96	c nbDecision=125500 #constraints=6668
357.09/357.20	c nbDecision=126000 #constraints=6698
361.29/361.49	c nbDecision=126500 #constraints=6726
365.30/365.41	c nbDecision=127000 #constraints=6755
369.89/370.04	c nbDecision=127500 #constraints=6783
373.79/373.98	c nbDecision=128000 #constraints=6811
378.09/378.25	c nbDecision=128500 #constraints=6839
382.49/382.66	c nbDecision=129000 #constraints=6867
386.78/386.93	c nbDecision=129500 #constraints=6897
391.29/391.42	c nbDecision=130000 #constraints=6925
394.88/395.08	c nbDecision=130500 #constraints=6952
400.18/400.34	c nbDecision=131000 #constraints=6982
404.78/404.90	c nbDecision=131500 #constraints=7010
409.08/409.26	c nbDecision=132000 #constraints=7039
413.78/413.91	c nbDecision=132500 #constraints=7065
418.48/418.65	c nbDecision=133000 #constraints=7093
422.77/422.91	c nbDecision=133500 #constraints=7122
427.98/428.18	c nbDecision=134000 #constraints=7151
432.78/432.96	c nbDecision=134500 #constraints=7179
437.18/437.31	c nbDecision=135000 #constraints=7207
441.37/441.56	c nbDecision=135500 #constraints=7235
445.07/445.28	c nbDecision=136000 #constraints=7264
449.47/449.60	c nbDecision=136500 #constraints=7292
452.98/453.19	c nbDecision=137000 #constraints=7320
457.27/457.47	c nbDecision=137500 #constraints=7348
460.97/461.16	c nbDecision=138000 #constraints=7377
465.56/465.73	c nbDecision=138500 #constraints=7406
469.57/469.79	c nbDecision=139000 #constraints=7436
474.26/474.44	c nbDecision=139500 #constraints=7463
478.56/478.77	c nbDecision=140000 #constraints=7491
483.56/483.78	c nbDecision=140500 #constraints=7520
488.26/488.49	c nbDecision=141000 #constraints=7548
492.85/493.02	c nbDecision=141500 #constraints=7577
497.76/497.96	c nbDecision=142000 #constraints=7605
501.95/502.16	c nbDecision=142500 #constraints=7634
506.96/507.15	c nbDecision=143000 #constraints=7661
511.56/511.71	c nbDecision=143500 #constraints=7688
516.25/516.46	c nbDecision=144000 #constraints=7717
521.05/521.29	c nbDecision=144500 #constraints=7744
525.35/525.57	c nbDecision=145000 #constraints=7772
530.65/530.86	c nbDecision=145500 #constraints=7802
535.34/535.51	c nbDecision=146000 #constraints=7829
540.14/540.39	c nbDecision=146500 #constraints=7858
545.15/545.36	c nbDecision=147000 #constraints=7886
549.85/550.00	c nbDecision=147500 #constraints=7915
555.34/555.59	c nbDecision=148000 #constraints=7943
560.34/560.56	c nbDecision=148500 #constraints=7970
565.04/565.24	c nbDecision=149000 #constraints=7999
570.53/570.72	c nbDecision=149500 #constraints=8026
575.63/575.88	c nbDecision=150000 #constraints=8053
580.44/580.66	c nbDecision=150500 #constraints=8082
586.14/586.40	c nbDecision=151000 #constraints=8110
591.73/591.95	c nbDecision=151500 #constraints=8140
597.04/597.23	c nbDecision=152000 #constraints=8169
602.23/602.46	c nbDecision=152500 #constraints=8196
607.03/607.29	c nbDecision=153000 #constraints=8225
613.02/613.24	c nbDecision=153500 #constraints=8255
618.42/618.62	c nbDecision=154000 #constraints=8285
623.73/623.93	c nbDecision=154500 #constraints=8314
629.03/629.28	c nbDecision=155000 #constraints=8342
633.51/633.74	c nbDecision=155500 #constraints=8370
639.10/639.38	c nbDecision=156000 #constraints=8398
643.89/644.19	c nbDecision=156500 #constraints=8425
649.37/649.62	c nbDecision=157000 #constraints=8455
654.57/654.84	c nbDecision=157500 #constraints=8483
659.55/659.90	c nbDecision=158000 #constraints=8512
665.34/665.67	c nbDecision=158500 #constraints=8539
670.95/671.25	c nbDecision=159000 #constraints=8567
676.25/676.52	c nbDecision=159500 #constraints=8596
682.34/682.64	c nbDecision=160000 #constraints=8625
687.62/687.93	c nbDecision=160500 #constraints=8652
693.11/693.48	c nbDecision=161000 #constraints=8681
699.92/700.23	c nbDecision=161500 #constraints=8710
706.01/706.40	c nbDecision=162000 #constraints=8740
712.01/712.30	c nbDecision=162500 #constraints=8769
717.72/718.01	c nbDecision=163000 #constraints=8796
723.01/723.36	c nbDecision=163500 #constraints=8824
729.01/729.31	c nbDecision=164000 #constraints=8853
734.91/735.29	c nbDecision=164500 #constraints=8881
740.21/740.58	c nbDecision=165000 #constraints=8909
746.10/746.46	c nbDecision=165500 #constraints=8937
752.60/752.95	c nbDecision=166000 #constraints=8965
758.80/759.16	c nbDecision=166500 #constraints=8993
765.21/765.55	c nbDecision=167000 #constraints=9022
772.00/772.36	c nbDecision=167500 #constraints=9049
778.49/778.82	c nbDecision=168000 #constraints=9076
784.60/784.97	c nbDecision=168500 #constraints=9104
791.19/791.52	c nbDecision=169000 #constraints=9132
797.89/798.29	c nbDecision=169500 #constraints=9159
803.48/803.85	c nbDecision=170000 #constraints=9186
808.79/809.15	c nbDecision=170500 #constraints=9215
815.38/815.76	c nbDecision=171000 #constraints=9246
821.29/821.65	c nbDecision=171500 #constraints=9277
827.59/827.91	c nbDecision=172000 #constraints=9305
833.88/834.21	c nbDecision=172500 #constraints=9334
839.78/840.10	c nbDecision=173000 #constraints=9364
844.98/845.33	c nbDecision=173500 #constraints=9394
851.48/851.80	c nbDecision=174000 #constraints=9424
856.27/856.61	c nbDecision=174500 #constraints=9451
861.87/862.21	c nbDecision=175000 #constraints=9481
866.68/867.08	c nbDecision=175500 #constraints=9510
872.57/872.91	c nbDecision=176000 #constraints=9539
877.27/877.61	c nbDecision=176500 #constraints=9567
883.07/883.49	c nbDecision=177000 #constraints=9596
888.47/888.83	c nbDecision=177500 #constraints=9624
894.47/894.87	c nbDecision=178000 #constraints=9653
900.16/900.58	c nbDecision=178500 #constraints=9681
905.26/905.68	c nbDecision=179000 #constraints=9708
911.76/912.19	c nbDecision=179500 #constraints=9737
916.86/917.28	c nbDecision=180000 #constraints=9765
922.95/923.31	c nbDecision=180500 #constraints=9792
928.86/929.23	c nbDecision=181000 #constraints=9821
934.45/934.80	c nbDecision=181500 #constraints=9849
940.55/940.98	c nbDecision=182000 #constraints=9877
945.85/946.24	c nbDecision=182500 #constraints=9904
952.16/952.52	c nbDecision=183000 #constraints=9933
957.75/958.15	c nbDecision=183500 #constraints=9960
963.74/964.15	c nbDecision=184000 #constraints=9990
970.45/970.90	c nbDecision=184500 #constraints=10017
976.54/976.93	c nbDecision=185000 #constraints=10045
983.04/983.46	c nbDecision=185500 #constraints=10074
989.84/990.24	c nbDecision=186000 #constraints=10102
996.04/996.47	c nbDecision=186500 #constraints=10131
1002.84/1003.27	c nbDecision=187000 #constraints=10160
1009.94/1010.38	c nbDecision=187500 #constraints=10190
1015.73/1016.16	c nbDecision=188000 #constraints=10218
1022.64/1023.08	c nbDecision=188500 #constraints=10246
1028.63/1029.03	c nbDecision=189000 #constraints=10273
1035.43/1035.83	c nbDecision=189500 #constraints=10303
1042.22/1042.69	c nbDecision=190000 #constraints=10332
1047.62/1048.00	c nbDecision=190500 #constraints=10359
1054.62/1055.04	c nbDecision=191000 #constraints=10388
1060.52/1060.96	c nbDecision=191500 #constraints=10416
1066.22/1066.61	c nbDecision=192000 #constraints=10444
1072.91/1073.32	c nbDecision=192500 #constraints=10473
1078.42/1078.83	c nbDecision=193000 #constraints=10502
1085.71/1086.10	c nbDecision=193500 #constraints=10530
1092.51/1092.98	c nbDecision=194000 #constraints=10559
1098.81/1099.27	c nbDecision=194500 #constraints=10587
1106.31/1106.78	c nbDecision=195000 #constraints=10616
1112.51/1112.97	c nbDecision=195500 #constraints=10643
1119.60/1120.03	c nbDecision=196000 #constraints=10673
1126.60/1127.02	c nbDecision=196500 #constraints=10701
1133.00/1133.40	c nbDecision=197000 #constraints=10729
1139.90/1140.34	c nbDecision=197500 #constraints=10757
1146.90/1147.39	c nbDecision=198000 #constraints=10785
1152.99/1153.43	c nbDecision=198500 #constraints=10812
1159.99/1160.46	c nbDecision=199000 #constraints=10841
1167.49/1167.92	c nbDecision=199500 #constraints=10871
1173.79/1174.22	c nbDecision=200000 #constraints=10900
1182.39/1182.83	c nbDecision=200500 #constraints=10928
1190.38/1190.83	c nbDecision=201000 #constraints=10956
1197.68/1198.11	c nbDecision=201500 #constraints=10984
1205.48/1205.93	c nbDecision=202000 #constraints=11013
1214.38/1214.83	c nbDecision=202500 #constraints=11042
1221.68/1222.17	c nbDecision=203000 #constraints=11069
1229.28/1229.74	c nbDecision=203500 #constraints=11099
1238.08/1238.57	c nbDecision=204000 #constraints=11127
1245.47/1245.92	c nbDecision=204500 #constraints=11157
1249.87/1250.39	c restart after 204801 decisions
1277.17/1277.69	c nbDecision=205000 #constraints=11182
1296.26/1296.77	c nbDecision=205500 #constraints=11208
1316.05/1316.50	c nbDecision=206000 #constraints=11235
1334.55/1335.07	c nbDecision=206500 #constraints=11262
1353.74/1354.23	c nbDecision=207000 #constraints=11289
1371.54/1372.06	c nbDecision=207500 #constraints=11316
1391.43/1391.93	c nbDecision=208000 #constraints=11344
1409.92/1410.49	c nbDecision=208500 #constraints=11371
1428.72/1429.24	c nbDecision=209000 #constraints=11399
1448.31/1448.81	c nbDecision=209500 #constraints=11427
1468.41/1468.95	c nbDecision=210000 #constraints=11454
1486.41/1486.94	c nbDecision=210500 #constraints=11480
1505.61/1506.17	c nbDecision=211000 #constraints=11508
1525.70/1526.26	c nbDecision=211500 #constraints=11535
1546.99/1547.56	c nbDecision=212000 #constraints=11562
1565.28/1565.89	c nbDecision=212500 #constraints=11590
1583.58/1584.16	c nbDecision=213000 #constraints=11617
1601.67/1602.22	c nbDecision=213500 #constraints=11644
1621.57/1622.14	c nbDecision=214000 #constraints=11671
1641.67/1642.23	c nbDecision=214500 #constraints=11699
1666.46/1667.02	c nbDecision=215000 #constraints=11731
1685.66/1686.29	c nbDecision=215500 #constraints=11760
1704.75/1705.31	c nbDecision=216000 #constraints=11787
1724.64/1725.24	c nbDecision=216500 #constraints=11815
1745.34/1745.94	c nbDecision=217000 #constraints=11842
1766.03/1766.61	c nbDecision=217500 #constraints=11869
1783.83/1784.42	c nbDecision=218000 #constraints=11897
1800.03/1800.60	Received signal 15
1800.03/1800.61	
1800.03/1800.61	s UNKNOWN
1800.03/1800.61	
1800.03/1800.61	c user time= 1798.99 s
1800.03/1800.61	c system time= 1.06484 s
1800.03/1800.61	c wall clock time=1800.62

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/node74/watcher-356868-1176846630 -o ROOT/results/node74/solver-356868-1176846630 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356868-1176846630/instance-356868-1176846630.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.77 0.92 0.95 3/66 14821
/proc/meminfo: memFree=1530120/2055920 swapFree=4183056/4192956
[pid=14821] ppid=14819 vsize=1468 CPUtime=0
/proc/14821/stat : 14821 (oree) R 14819 14821 14764 0 -1 4194304 183 0 0 0 0 0 0 0 18 0 1 0 132577762 1503232 165 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14821/statm: 367 165 131 317 0 46 0

[startup+0.0713061 s]
/proc/loadavg: 0.77 0.92 0.95 3/66 14821
/proc/meminfo: memFree=1530120/2055920 swapFree=4183056/4192956
[pid=14821] ppid=14819 vsize=3080 CPUtime=0.06
/proc/14821/stat : 14821 (oree) R 14819 14821 14764 0 -1 4194304 495 0 0 0 6 0 0 0 18 0 1 0 132577762 3153920 477 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14821/statm: 770 477 131 317 0 449 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 3080

[startup+0.101309 s]
/proc/loadavg: 0.77 0.92 0.95 3/66 14821
/proc/meminfo: memFree=1530120/2055920 swapFree=4183056/4192956
[pid=14821] ppid=14819 vsize=3960 CPUtime=0.09
/proc/14821/stat : 14821 (oree) R 14819 14821 14764 0 -1 4194304 666 0 0 0 9 0 0 0 18 0 1 0 132577762 4055040 648 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284241 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14821/statm: 990 648 131 317 0 669 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3960

[startup+0.301331 s]
/proc/loadavg: 0.77 0.92 0.95 3/66 14821
/proc/meminfo: memFree=1530120/2055920 swapFree=4183056/4192956
[pid=14821] ppid=14819 vsize=8796 CPUtime=0.29
/proc/14821/stat : 14821 (oree) R 14819 14821 14764 0 -1 4194304 1656 0 0 0 29 0 0 0 19 0 1 0 132577762 9007104 1638 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14821/statm: 2199 1638 131 317 0 1878 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8796

[startup+0.701377 s]
/proc/loadavg: 0.77 0.92 0.95 3/66 14821
/proc/meminfo: memFree=1530120/2055920 swapFree=4183056/4192956
[pid=14821] ppid=14819 vsize=19688 CPUtime=0.69
/proc/14821/stat : 14821 (oree) R 14819 14821 14764 0 -1 4194304 4173 0 0 0 68 1 0 0 22 0 1 0 132577762 20160512 4155 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14821/statm: 4922 4155 138 317 0 4601 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 19688

[startup+1.50147 s]
/proc/loadavg: 0.79 0.92 0.95 2/67 14822
/proc/meminfo: memFree=1513216/2055920 swapFree=4183056/4192956
[pid=14821] ppid=14819 vsize=21932 CPUtime=1.49
/proc/14821/stat : 14821 (oree) R 14819 14821 14764 0 -1 4194304 4649 0 0 0 148 1 0 0 25 0 1 0 132577762 22458368 4631 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563647 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14821/statm: 5483 4631 139 317 0 5162 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 21932

[startup+3.10265 s]
/proc/loadavg: 0.79 0.92 0.95 2/67 14822
/proc/meminfo: memFree=1508544/2055920 swapFree=4183056/4192956
[pid=14821] ppid=14819 vsize=32508 CPUtime=3.09
/proc/14821/stat : 14821 (oree) R 14819 14821 14764 0 -1 4194304 6909 0 0 0 307 2 0 0 25 0 1 0 132577762 33288192 6886 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272675 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14821/statm: 8127 6886 139 317 0 7806 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 32508

[startup+6.30202 s]
/proc/loadavg: 0.79 0.92 0.95 2/67 14822
/proc/meminfo: memFree=1495424/2055920 swapFree=4183056/4192956
[pid=14821] ppid=14819 vsize=46400 CPUtime=6.29
/proc/14821/stat : 14821 (oree) R 14819 14821 14764 0 -1 4194304 9911 0 0 0 627 2 0 0 25 0 1 0 132577762 47513600 9888 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134540728 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14821/statm: 11600 9888 139 317 0 11279 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 46400

[startup+12.7018 s]
/proc/loadavg: 0.82 0.93 0.95 2/67 14822
/proc/meminfo: memFree=1477184/2055920 swapFree=4183056/4192956
[pid=14821] ppid=14819 vsize=64200 CPUtime=12.69
/proc/14821/stat : 14821 (oree) R 14819 14821 14764 0 -1 4194304 13603 0 0 0 1266 3 0 0 25 0 1 0 132577762 65740800 13580 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14821/statm: 16050 13580 139 317 0 15729 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 64200

[startup+25.5012 s]
/proc/loadavg: 0.85 0.93 0.95 2/67 14822
/proc/meminfo: memFree=1443136/2055920 swapFree=4183056/4192956
[pid=14821] ppid=14819 vsize=103700 CPUtime=25.49
/proc/14821/stat : 14821 (oree) R 14819 14821 14764 0 -1 4194304 21929 0 0 0 2542 7 0 0 25 0 1 0 132577762 106188800 21898 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606682 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14821/statm: 25925 21898 139 317 0 25604 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 103700

[startup+51.1012 s]
/proc/loadavg: 0.90 0.93 0.95 2/67 14822
/proc/meminfo: memFree=1392384/2055920 swapFree=4183056/4192956
[pid=14821] ppid=14819 vsize=162560 CPUtime=51.07
/proc/14821/stat : 14821 (oree) R 14819 14821 14764 0 -1 4194304 34544 0 0 0 5096 11 0 0 25 0 1 0 132577762 166461440 34487 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14821/statm: 40640 34487 139 317 0 40319 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 162560

[startup+102.305 s]
/proc/loadavg: 0.96 0.94 0.95 2/67 14822
/proc/meminfo: memFree=1327872/2055920 swapFree=4183056/4192956
[pid=14821] ppid=14819 vsize=235180 CPUtime=102.27
/proc/14821/stat : 14821 (oree) R 14819 14821 14764 0 -1 4194304 50601 0 0 0 10209 18 0 0 25 0 1 0 132577762 240824320 50522 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711091 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14821/statm: 58795 50522 139 317 0 58474 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 235180

[startup+162.301 s]
/proc/loadavg: 0.98 0.95 0.95 2/67 14822
/proc/meminfo: memFree=1216128/2055920 swapFree=4183056/4192956
[pid=14821] ppid=14819 vsize=369408 CPUtime=162.25
/proc/14821/stat : 14821 (oree) R 14819 14821 14764 0 -1 4194304 78821 0 0 0 16197 28 0 0 25 0 1 0 132577762 378273792 78602 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278973 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14821/statm: 92352 78602 139 317 0 92031 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 369408

[startup+222.302 s]
/proc/loadavg: 0.99 0.95 0.95 2/67 14822
/proc/meminfo: memFree=1129600/2055920 swapFree=4183056/4192956
[pid=14821] ppid=14819 vsize=481776 CPUtime=222.23
/proc/14821/stat : 14821 (oree) R 14819 14821 14764 0 -1 4194304 100315 0 0 0 22186 37 0 0 25 0 1 0 132577762 493338624 99990 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14821/statm: 120444 99990 139 317 0 120123 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 481776

[startup+282.302 s]
/proc/loadavg: 0.99 0.96 0.95 2/67 14822
/proc/meminfo: memFree=1079872/2055920 swapFree=4183056/4192956
[pid=14821] ppid=14819 vsize=538220 CPUtime=282.22
/proc/14821/stat : 14821 (oree) R 14819 14821 14764 0 -1 4194304 112944 0 0 0 28179 43 0 0 25 0 1 0 132577762 551137280 112566 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14821/statm: 134555 112566 139 317 0 134234 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 538220

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.95 2/67 14822
/proc/meminfo: memFree=1033920/2055920 swapFree=4183056/4192956
[pid=14821] ppid=14819 vsize=588592 CPUtime=342.19
/proc/14821/stat : 14821 (oree) R 14819 14821 14764 0 -1 4194304 124259 0 0 0 34172 47 0 0 25 0 1 0 132577762 602718208 123836 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710858 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14821/statm: 147148 123836 139 317 0 146827 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 588592

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.95 2/67 14822
/proc/meminfo: memFree=994496/2055920 swapFree=4183056/4192956
[pid=14821] ppid=14819 vsize=633132 CPUtime=402.19
/proc/14821/stat : 14821 (oree) R 14819 14821 14764 0 -1 4194304 134275 0 0 0 40167 52 0 0 25 0 1 0 132577762 648327168 133799 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14821/statm: 158283 133799 139 317 0 157962 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 633132

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.95 2/67 14822
/proc/meminfo: memFree=959040/2055920 swapFree=4183056/4192956
[pid=14821] ppid=14819 vsize=676276 CPUtime=462.17
/proc/14821/stat : 14821 (oree) R 14819 14821 14764 0 -1 4194304 143005 0 0 0 46163 54 0 0 25 0 1 0 132577762 692506624 142510 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564062 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14821/statm: 169069 142510 139 317 0 168748 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 676276

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.95 2/67 14822
/proc/meminfo: memFree=880576/2055920 swapFree=4183056/4192956
[pid=14821] ppid=14819 vsize=793004 CPUtime=522.15
/proc/14821/stat : 14821 (oree) R 14819 14821 14764 0 -1 4194304 162714 0 0 0 52153 62 0 0 25 0 1 0 132577762 812036096 162182 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563650 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14821/statm: 198251 162182 139 317 0 197930 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 793004

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.95 2/67 14822
/proc/meminfo: memFree=846272/2055920 swapFree=4183056/4192956
[pid=14821] ppid=14819 vsize=830456 CPUtime=582.14
/proc/14821/stat : 14821 (oree) R 14819 14821 14764 0 -1 4194304 171179 0 0 0 58148 66 0 0 25 0 1 0 132577762 850386944 170628 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563647 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14821/statm: 207614 170628 139 317 0 207293 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 830456

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.95 2/73 14896
/proc/meminfo: memFree=812432/2055920 swapFree=4183056/4192956
[pid=14821] ppid=14819 vsize=866852 CPUtime=642.1
/proc/14821/stat : 14821 (oree) R 14819 14821 14764 0 -1 4194304 179302 0 0 0 64141 69 0 0 25 0 1 0 132577762 887656448 178722 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14821/statm: 216713 178722 139 317 0 216392 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 866852


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

[startup+882.301 s]
/proc/loadavg: 0.99 0.97 0.95 2/67 15020
/proc/meminfo: memFree=696448/2055920 swapFree=4183056/4192956
[pid=14821] ppid=14819 vsize=997872 CPUtime=881.97
/proc/14821/stat : 14821 (oree) R 14819 14821 14764 0 -1 4194304 208594 0 0 0 88117 80 0 0 25 0 1 0 132577762 1021820928 207914 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14821/statm: 249468 207914 139 317 0 249147 0
Current children cumulated CPU time (s) 881.97
Current children cumulated vsize (KiB) 997872

[startup+942.301 s]
/proc/loadavg: 0.99 0.97 0.95 2/67 15020
/proc/meminfo: memFree=667328/2055920 swapFree=4183056/4192956
[pid=14821] ppid=14819 vsize=1030912 CPUtime=941.96
/proc/14821/stat : 14821 (oree) R 14819 14821 14764 0 -1 4194304 216102 0 0 0 94112 84 0 0 25 0 1 0 132577762 1055653888 215382 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135279022 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14821/statm: 257728 215382 139 317 0 257407 0
Current children cumulated CPU time (s) 941.96
Current children cumulated vsize (KiB) 1030912

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.95 2/67 15020
/proc/meminfo: memFree=639424/2055920 swapFree=4183056/4192956
[pid=14821] ppid=14819 vsize=1060908 CPUtime=1001.94
/proc/14821/stat : 14821 (oree) R 14819 14821 14764 0 -1 4194304 222911 0 0 0 100107 87 0 0 25 0 1 0 132577762 1086369792 222169 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14821/statm: 265227 222169 139 317 0 264906 0
Current children cumulated CPU time (s) 1001.94
Current children cumulated vsize (KiB) 1060908

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.95 2/67 15020
/proc/meminfo: memFree=613504/2055920 swapFree=4183056/4192956
[pid=14821] ppid=14819 vsize=1090572 CPUtime=1061.92
/proc/14821/stat : 14821 (oree) R 14819 14821 14764 0 -1 4194304 229494 0 0 0 106103 89 0 0 25 0 1 0 132577762 1116745728 228723 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14821/statm: 272643 228723 139 317 0 272322 0
Current children cumulated CPU time (s) 1061.92
Current children cumulated vsize (KiB) 1090572

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.95 2/67 15020
/proc/meminfo: memFree=587392/2055920 swapFree=4183056/4192956
[pid=14821] ppid=14819 vsize=1119544 CPUtime=1121.9
/proc/14821/stat : 14821 (oree) R 14819 14821 14764 0 -1 4194304 236026 0 0 0 112098 92 0 0 25 0 1 0 132577762 1146413056 235162 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14821/statm: 279886 235162 139 317 0 279565 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 1119544

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.95 2/67 15020
/proc/meminfo: memFree=563072/2055920 swapFree=4183056/4192956
[pid=14821] ppid=14819 vsize=1146928 CPUtime=1181.89
/proc/14821/stat : 14821 (oree) R 14819 14821 14764 0 -1 4194304 242132 0 0 0 118094 95 0 0 25 0 1 0 132577762 1174454272 241243 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563656 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14821/statm: 286732 241243 139 317 0 286411 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 1146928

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.95 2/67 15020
/proc/meminfo: memFree=541952/2055920 swapFree=4183056/4192956
[pid=14821] ppid=14819 vsize=1171516 CPUtime=1241.87
/proc/14821/stat : 14821 (oree) R 14819 14821 14764 0 -1 4194304 247489 0 0 0 124090 97 0 0 25 0 1 0 132577762 1199632384 246573 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563665 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14821/statm: 292879 246573 139 317 0 292558 0
Current children cumulated CPU time (s) 1241.87
Current children cumulated vsize (KiB) 1171516

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.95 2/67 15020
/proc/meminfo: memFree=533696/2055920 swapFree=4183056/4192956
[pid=14821] ppid=14819 vsize=1180904 CPUtime=1301.86
/proc/14821/stat : 14821 (oree) R 14819 14821 14764 0 -1 4194304 249427 0 0 0 130088 98 0 0 25 0 1 0 132577762 1209245696 248511 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14821/statm: 295226 248511 139 317 0 294905 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 1180904

[startup+1362.3 s]
/proc/loadavg: 1.03 0.99 0.96 2/67 15020
/proc/meminfo: memFree=523712/2055920 swapFree=4183056/4192956
[pid=14821] ppid=14819 vsize=1192588 CPUtime=1361.84
/proc/14821/stat : 14821 (oree) R 14819 14821 14764 0 -1 4194304 251915 0 0 0 136085 99 0 0 25 0 1 0 132577762 1221210112 250999 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14821/statm: 298147 250999 139 317 0 297826 0
Current children cumulated CPU time (s) 1361.84
Current children cumulated vsize (KiB) 1192588

[startup+1422.31 s]
/proc/loadavg: 1.01 0.99 0.96 2/67 15020
/proc/meminfo: memFree=515584/2055920 swapFree=4183056/4192956
[pid=14821] ppid=14819 vsize=1202388 CPUtime=1421.82
/proc/14821/stat : 14821 (oree) R 14819 14821 14764 0 -1 4194304 253923 0 0 0 142083 99 0 0 25 0 1 0 132577762 1231245312 253007 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563625 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14821/statm: 300597 253007 139 317 0 300276 0
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 1202388

[startup+1482.3 s]
/proc/loadavg: 1.00 0.99 0.96 2/67 15020
/proc/meminfo: memFree=503232/2055920 swapFree=4183056/4192956
[pid=14821] ppid=14819 vsize=1216540 CPUtime=1481.81
/proc/14821/stat : 14821 (oree) R 14819 14821 14764 0 -1 4194304 257063 0 0 0 148080 101 0 0 25 0 1 0 132577762 1245736960 256128 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14821/statm: 304135 256128 139 317 0 303814 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 1216540

[startup+1542.3 s]
/proc/loadavg: 1.00 0.99 0.96 2/67 15020
/proc/meminfo: memFree=495552/2055920 swapFree=4183056/4192956
[pid=14821] ppid=14819 vsize=1225892 CPUtime=1541.79
/proc/14821/stat : 14821 (oree) R 14819 14821 14764 0 -1 4194304 258939 0 0 0 154077 102 0 0 25 0 1 0 132577762 1255313408 258004 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14821/statm: 306473 258004 139 317 0 306152 0
Current children cumulated CPU time (s) 1541.79
Current children cumulated vsize (KiB) 1225892

[startup+1602.3 s]
/proc/loadavg: 1.00 0.99 0.96 2/67 15020
/proc/meminfo: memFree=487808/2055920 swapFree=4183056/4192956
[pid=14821] ppid=14819 vsize=1235652 CPUtime=1601.77
/proc/14821/stat : 14821 (oree) R 14819 14821 14764 0 -1 4194304 260917 0 0 0 160075 102 0 0 25 0 1 0 132577762 1265307648 259982 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14821/statm: 308913 259982 139 317 0 308592 0
Current children cumulated CPU time (s) 1601.77
Current children cumulated vsize (KiB) 1235652

[startup+1662.3 s]
/proc/loadavg: 1.00 0.99 0.96 2/67 15020
/proc/meminfo: memFree=470848/2055920 swapFree=4183056/4192956
[pid=14821] ppid=14819 vsize=1254376 CPUtime=1661.76
/proc/14821/stat : 14821 (oree) R 14819 14821 14764 0 -1 4194304 265169 0 0 0 166071 105 0 0 25 0 1 0 132577762 1284481024 264215 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272627 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14821/statm: 313594 264215 139 317 0 313273 0
Current children cumulated CPU time (s) 1661.76
Current children cumulated vsize (KiB) 1254376

[startup+1722.3 s]
/proc/loadavg: 1.00 0.99 0.96 2/67 15020
/proc/meminfo: memFree=463488/2055920 swapFree=4183056/4192956
[pid=14821] ppid=14819 vsize=1263488 CPUtime=1721.74
/proc/14821/stat : 14821 (oree) R 14819 14821 14764 0 -1 4194304 267016 0 0 0 172069 105 0 0 25 0 1 0 132577762 1293811712 266062 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563639 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14821/statm: 315872 266062 139 317 0 315551 0
Current children cumulated CPU time (s) 1721.74
Current children cumulated vsize (KiB) 1263488

[startup+1782.3 s]
/proc/loadavg: 1.00 0.99 0.96 2/67 15020
/proc/meminfo: memFree=455872/2055920 swapFree=4183056/4192956
[pid=14821] ppid=14819 vsize=1272792 CPUtime=1781.72
/proc/14821/stat : 14821 (oree) R 14819 14821 14764 0 -1 4194304 268896 0 0 0 178067 105 0 0 25 0 1 0 132577762 1303339008 267942 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14821/statm: 318198 267942 139 317 0 317877 0
Current children cumulated CPU time (s) 1781.72
Current children cumulated vsize (KiB) 1272792



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 0.99 0.96 2/67 15020
/proc/meminfo: memFree=453504/2055920 swapFree=4183056/4192956
[pid=14821] ppid=14819 vsize=1275704 CPUtime=1800.03
/proc/14821/stat : 14821 (oree) R 14819 14821 14764 0 -1 4194304 269459 0 0 0 179897 106 0 0 25 0 1 0 132577762 1306320896 268505 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14821/statm: 318926 268505 139 317 0 318605 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1275704

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

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

[startup+1800.71 s]
/proc/loadavg: 1.00 0.99 0.96 2/67 15020
/proc/meminfo: memFree=453504/2055920 swapFree=4183056/4192956
[pid=14821] ppid=14819 vsize=0 CPUtime=1800.13
/proc/14821/stat : 14821 (oree) R 14819 14821 14764 0 -1 4194308 269475 0 0 0 179899 114 0 0 25 0 1 0 132577762 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14821/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1800.8
CPU time (s): 1800.23
CPU user time (s): 1799
CPU system time (s): 1.23281
CPU usage (%): 99.9684
Max. virtual memory (cumulated for all children) (KiB): 1275704

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

runsolver used 2.30865 second user time and 3.98939 second system time

The end

Launcher Data (download as text)

Begin job on node74 on Tue Apr 17 21:50:30 UTC 2007

IDJOB= 356868
IDBENCH= 1572
IDSOLVER= 172
FILE ID= node74/356868-1176846630

PBS_JOBID= 4590193

Free space on /tmp= 103225 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-reduced-mps-v2-20-10-neos3.opb
COMMAND LINE= oree /tmp/evaluation/356868-1176846630/instance-356868-1176846630.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node74/watcher-356868-1176846630 -o ROOT/results/node74/solver-356868-1176846630 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/356868-1176846630/instance-356868-1176846630.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  e3cb0aa6fa78151ec6baa005375728ca

RANDOM SEED= 424017650

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node74.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.213
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.213
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:       1530528 kB
Buffers:         36172 kB
Cached:         437768 kB
SwapCached:       3760 kB
Active:         356560 kB
Inactive:       127688 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1530528 kB
SwapTotal:     4192956 kB
SwapFree:      4183056 kB
Dirty:            3208 kB
Writeback:           0 kB
Mapped:          15540 kB
Slab:            26936 kB
Committed_AS:  1954276 kB
PageTables:       1480 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 103225 MiB

End job on node74 on Tue Apr 17 22:20:33 UTC 2007