Trace number 357318

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.42 1800.98

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-recipe.opb
MD5SUM19c812fe81842f9b63508fc356bab039
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-127156975
Best CPU time to get the best result obtained on this benchmark1800.7
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -130330680
Optimality of the best value was proved NO
Number of variables3671
Total number of constraints159
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 constraints159
Minimum length of a constraint10
Maximum length of a constraint420
Number of terms in the objective function 1055
Biggest coefficient in the objective function 65536000
Number of bits for the biggest coefficient in the objective function 26
Sum of the numbers in the objective function 584330055
Number of bits of the sum of numbers in the objective function 30
Biggest number in a constraint 5681631310381056
Number of bits of the biggest number in a constraint 53
Biggest sum of numbers in a constraint 98271137637301167
Number of bits of the biggest sum of numbers57
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.00/0.07	c ...done
0.00/0.07	c #vars=3671 #constraints=224 hasObjective=yes
0.00/0.08	c res. mode=mod
0.00/0.08	c VSIDS like heuristics
0.00/0.08	c complete search running
0.09/0.13	c restart after 401 decisions
0.09/0.14	c nbDecision=500 #constraints=224
0.09/0.17	c restart after 801 decisions
0.09/0.19	c nbDecision=1000 #constraints=224
0.19/0.23	c nbDecision=1500 #constraints=224
0.19/0.24	c restart after 1601 decisions
0.19/0.28	c nbDecision=2000 #constraints=224
0.29/0.32	c nbDecision=2500 #constraints=224
0.39/0.44	c nbDecision=3000 #constraints=284
0.49/0.51	c restart after 3201 decisions
0.49/0.55	c nbDecision=3500 #constraints=326
0.49/0.59	c nbDecision=4000 #constraints=326
0.59/0.65	c nbDecision=4500 #constraints=344
0.69/0.70	c nbDecision=5000 #constraints=357
0.89/0.92	c nbDecision=5500 #constraints=445
1.10/1.12	c nbDecision=6000 #constraints=524
1.29/1.30	c restart after 6401 decisions
1.29/1.33	c nbDecision=6500 #constraints=608
1.29/1.37	c nbDecision=7000 #constraints=608
1.39/1.45	c nbDecision=7500 #constraints=621
1.59/1.61	c nbDecision=8000 #constraints=687
1.69/1.77	c nbDecision=8500 #constraints=748
2.19/2.28	c nbDecision=9000 #constraints=928
2.48/2.56	c nbDecision=9500 #constraints=1025
2.69/2.74	c nbDecision=10000 #constraints=1076
2.99/3.02	c nbDecision=10500 #constraints=1160
3.20/3.25	c nbDecision=11000 #constraints=1219
3.49/3.51	c nbDecision=11500 #constraints=1287
3.69/3.71	c nbDecision=12000 #constraints=1337
3.89/3.95	c nbDecision=12500 #constraints=1399
3.99/4.08	c restart after 12801 decisions
4.09/4.15	c nbDecision=13000 #constraints=1418
4.09/4.19	c nbDecision=13500 #constraints=1418
4.29/4.32	c nbDecision=14000 #constraints=1435
4.58/4.62	c nbDecision=14500 #constraints=1508
4.78/4.87	c nbDecision=15000 #constraints=1574
5.19/5.21	c nbDecision=15500 #constraints=1654
5.69/5.76	c nbDecision=16000 #constraints=1794
6.09/6.18	c nbDecision=16500 #constraints=1892
6.39/6.47	c nbDecision=17000 #constraints=1946
6.79/6.89	c nbDecision=17500 #constraints=2022
7.28/7.36	c nbDecision=18000 #constraints=2102
7.69/7.76	c nbDecision=18500 #constraints=2160
7.98/8.04	c nbDecision=19000 #constraints=2196
8.49/8.58	c nbDecision=19500 #constraints=2288
8.99/9.00	c nbDecision=20000 #constraints=2346
9.49/9.51	c nbDecision=20500 #constraints=2427
9.99/10.00	c nbDecision=21000 #constraints=2497
10.49/10.52	c nbDecision=21500 #constraints=2568
10.99/11.01	c nbDecision=22000 #constraints=2619
11.38/11.47	c nbDecision=22500 #constraints=2670
11.68/11.77	c nbDecision=23000 #constraints=2695
12.09/12.16	c nbDecision=23500 #constraints=2727
12.58/12.61	c nbDecision=24000 #constraints=2776
13.19/13.24	c nbDecision=24500 #constraints=2854
13.79/13.89	c nbDecision=25000 #constraints=2925
14.68/14.76	c nbDecision=25500 #constraints=3005
14.88/14.99	c restart after 25601 decisions
15.18/15.22	c nbDecision=26000 #constraints=3033
15.29/15.40	c nbDecision=26500 #constraints=3033
16.29/16.30	c nbDecision=27000 #constraints=3210
16.89/16.98	c nbDecision=27500 #constraints=3278
17.39/17.46	c nbDecision=28000 #constraints=3335
17.99/18.06	c nbDecision=28500 #constraints=3399
18.49/18.56	c nbDecision=29000 #constraints=3443
18.98/19.08	c nbDecision=29500 #constraints=3504
19.59/19.64	c nbDecision=30000 #constraints=3566
20.28/20.36	c nbDecision=30500 #constraints=3626
20.98/21.03	c nbDecision=31000 #constraints=3696
21.59/21.62	c nbDecision=31500 #constraints=3740
22.39/22.43	c nbDecision=32000 #constraints=3831
22.89/22.96	c nbDecision=32500 #constraints=3871
23.99/24.00	c nbDecision=33000 #constraints=3927
24.78/24.82	c nbDecision=33500 #constraints=4021
25.48/25.54	c nbDecision=34000 #constraints=4093
26.69/26.77	c nbDecision=34500 #constraints=4224
27.69/27.74	c nbDecision=35000 #constraints=4326
28.38/28.43	c nbDecision=35500 #constraints=4377
29.28/29.36	c nbDecision=36000 #constraints=4467
30.38/30.45	c nbDecision=36500 #constraints=4560
31.49/31.57	c nbDecision=37000 #constraints=4653
32.49/32.53	c nbDecision=37500 #constraints=4728
33.68/33.75	c nbDecision=38000 #constraints=4858
34.68/34.79	c nbDecision=38500 #constraints=4963
35.88/35.95	c nbDecision=39000 #constraints=5052
36.78/36.85	c nbDecision=39500 #constraints=5123
37.68/37.72	c nbDecision=40000 #constraints=5176
38.58/38.68	c nbDecision=40500 #constraints=5235
39.88/39.93	c nbDecision=41000 #constraints=5325
40.88/41.00	c nbDecision=41500 #constraints=5389
41.78/41.88	c nbDecision=42000 #constraints=5432
42.78/42.82	c nbDecision=42500 #constraints=5494
43.48/43.55	c nbDecision=43000 #constraints=5535
44.28/44.32	c nbDecision=43500 #constraints=5571
45.08/45.14	c nbDecision=44000 #constraints=5619
45.87/45.94	c nbDecision=44500 #constraints=5661
46.77/46.83	c nbDecision=45000 #constraints=5701
47.88/47.97	c nbDecision=45500 #constraints=5780
48.78/48.88	c nbDecision=46000 #constraints=5836
49.68/49.77	c nbDecision=46500 #constraints=5896
50.58/50.60	c nbDecision=47000 #constraints=5948
51.68/51.79	c nbDecision=47500 #constraints=6002
52.68/52.72	c nbDecision=48000 #constraints=6046
53.68/53.74	c nbDecision=48500 #constraints=6098
54.58/54.64	c nbDecision=49000 #constraints=6129
55.38/55.40	c nbDecision=49500 #constraints=6159
56.08/56.17	c nbDecision=50000 #constraints=6196
56.77/56.87	c nbDecision=50500 #constraints=6222
57.67/57.79	c nbDecision=51000 #constraints=6278
58.28/58.39	c restart after 51201 decisions
58.87/58.92	c nbDecision=51500 #constraints=6318
59.17/59.21	c nbDecision=52000 #constraints=6318
59.97/60.09	c nbDecision=52500 #constraints=6363
61.38/61.47	c nbDecision=53000 #constraints=6460
62.48/62.53	c nbDecision=53500 #constraints=6509
63.87/63.91	c nbDecision=54000 #constraints=6574
65.17/65.27	c nbDecision=54500 #constraints=6681
66.38/66.46	c nbDecision=55000 #constraints=6760
67.18/67.27	c nbDecision=55500 #constraints=6788
68.57/68.60	c nbDecision=56000 #constraints=6879
69.77/69.80	c nbDecision=56500 #constraints=6942
70.77/70.89	c nbDecision=57000 #constraints=6985
72.28/72.31	c nbDecision=57500 #constraints=7057
73.38/73.42	c nbDecision=58000 #constraints=7124
74.87/74.93	c nbDecision=58500 #constraints=7195
75.67/75.75	c nbDecision=59000 #constraints=7218
76.98/77.06	c nbDecision=59500 #constraints=7278
77.77/77.81	c nbDecision=60000 #constraints=7294
79.17/79.22	c nbDecision=60500 #constraints=7337
80.67/80.70	c nbDecision=61000 #constraints=7392
82.37/82.43	c nbDecision=61500 #constraints=7448
84.07/84.17	c nbDecision=62000 #constraints=7550
85.67/85.72	c nbDecision=62500 #constraints=7635
87.26/87.37	c nbDecision=63000 #constraints=7727
88.98/89.01	c nbDecision=63500 #constraints=7818
90.87/90.91	c nbDecision=64000 #constraints=7957
92.76/92.80	c nbDecision=64500 #constraints=8068
94.47/94.58	c nbDecision=65000 #constraints=8174
96.57/96.65	c nbDecision=65500 #constraints=8291
99.16/99.26	c nbDecision=66000 #constraints=8476
101.17/101.25	c nbDecision=66500 #constraints=8575
103.36/103.49	c nbDecision=67000 #constraints=8700
105.27/105.37	c nbDecision=67500 #constraints=8784
107.16/107.24	c nbDecision=68000 #constraints=8847
108.66/108.73	c nbDecision=68500 #constraints=8895
110.46/110.55	c nbDecision=69000 #constraints=8947
112.66/112.78	c nbDecision=69500 #constraints=9027
114.46/114.57	c nbDecision=70000 #constraints=9091
115.96/116.09	c nbDecision=70500 #constraints=9127
117.67/117.70	c nbDecision=71000 #constraints=9177
119.96/120.05	c nbDecision=71500 #constraints=9250
121.96/122.09	c nbDecision=72000 #constraints=9309
123.76/123.87	c nbDecision=72500 #constraints=9378
125.85/125.90	c nbDecision=73000 #constraints=9441
127.76/127.80	c nbDecision=73500 #constraints=9498
129.46/129.58	c nbDecision=74000 #constraints=9553
131.46/131.51	c nbDecision=74500 #constraints=9609
133.65/133.77	c nbDecision=75000 #constraints=9673
135.86/135.92	c nbDecision=75500 #constraints=9748
137.46/137.50	c nbDecision=76000 #constraints=9780
139.36/139.42	c nbDecision=76500 #constraints=9842
141.45/141.53	c nbDecision=77000 #constraints=9929
143.75/143.80	c nbDecision=77500 #constraints=10036
145.75/145.81	c nbDecision=78000 #constraints=10113
147.26/147.37	c nbDecision=78500 #constraints=10175
149.65/149.74	c nbDecision=79000 #constraints=10257
152.15/152.21	c nbDecision=79500 #constraints=10346
154.85/154.95	c nbDecision=80000 #constraints=10422
156.85/156.96	c nbDecision=80500 #constraints=10479
159.15/159.23	c nbDecision=81000 #constraints=10538
160.85/160.94	c nbDecision=81500 #constraints=10569
163.35/163.49	c nbDecision=82000 #constraints=10655
165.45/165.53	c nbDecision=82500 #constraints=10713
167.65/167.71	c nbDecision=83000 #constraints=10805
169.85/169.99	c nbDecision=83500 #constraints=10895
172.65/172.74	c nbDecision=84000 #constraints=10974
174.25/174.32	c nbDecision=84500 #constraints=11014
176.84/176.95	c nbDecision=85000 #constraints=11072
178.65/178.74	c nbDecision=85500 #constraints=11132
180.55/180.68	c nbDecision=86000 #constraints=11195
182.55/182.67	c nbDecision=86500 #constraints=11263
184.85/184.98	c nbDecision=87000 #constraints=11352
187.15/187.22	c nbDecision=87500 #constraints=11410
189.15/189.26	c nbDecision=88000 #constraints=11463
191.84/191.91	c nbDecision=88500 #constraints=11547
193.74/193.85	c nbDecision=89000 #constraints=11600
195.74/195.86	c nbDecision=89500 #constraints=11655
197.74/197.88	c nbDecision=90000 #constraints=11715
200.24/200.31	c nbDecision=90500 #constraints=11785
202.74/202.85	c nbDecision=91000 #constraints=11849
205.44/205.53	c nbDecision=91500 #constraints=11932
207.54/207.62	c nbDecision=92000 #constraints=11989
209.44/209.53	c nbDecision=92500 #constraints=12034
211.54/211.66	c nbDecision=93000 #constraints=12072
214.84/214.91	c nbDecision=93500 #constraints=12150
217.43/217.57	c nbDecision=94000 #constraints=12210
222.14/222.21	c nbDecision=94500 #constraints=12307
224.93/225.07	c nbDecision=95000 #constraints=12383
227.43/227.59	c nbDecision=95500 #constraints=12440
231.03/231.15	c nbDecision=96000 #constraints=12524
232.63/232.72	c nbDecision=96500 #constraints=12553
235.74/235.80	c nbDecision=97000 #constraints=12629
239.13/239.23	c nbDecision=97500 #constraints=12709
242.23/242.31	c nbDecision=98000 #constraints=12777
244.43/244.54	c nbDecision=98500 #constraints=12838
247.73/247.89	c nbDecision=99000 #constraints=12919
252.52/252.69	c nbDecision=99500 #constraints=13019
256.62/256.72	c nbDecision=100000 #constraints=13162
261.03/261.16	c nbDecision=100500 #constraints=13280
264.13/264.26	c nbDecision=101000 #constraints=13354
266.83/266.90	c nbDecision=101500 #constraints=13417
270.22/270.34	c nbDecision=102000 #constraints=13507
272.12/272.28	c restart after 102401 decisions
273.42/273.57	c nbDecision=102500 #constraints=13537
273.52/273.61	c nbDecision=103000 #constraints=13537
275.42/275.54	c nbDecision=103500 #constraints=13566
277.82/277.99	c nbDecision=104000 #constraints=13630
280.62/280.77	c nbDecision=104500 #constraints=13722
283.52/283.63	c nbDecision=105000 #constraints=13796
286.42/286.60	c nbDecision=105500 #constraints=13889
289.42/289.56	c nbDecision=106000 #constraints=13963
292.72/292.86	c nbDecision=106500 #constraints=14040
295.82/295.94	c nbDecision=107000 #constraints=14111
298.81/298.97	c nbDecision=107500 #constraints=14171
301.22/301.39	c nbDecision=108000 #constraints=14222
304.21/304.38	c nbDecision=108500 #constraints=14314
306.91/307.04	c nbDecision=109000 #constraints=14368
310.91/311.01	c nbDecision=109500 #constraints=14448
314.31/314.50	c nbDecision=110000 #constraints=14510
316.41/316.59	c nbDecision=110500 #constraints=14539
319.01/319.17	c nbDecision=111000 #constraints=14582
321.01/321.14	c nbDecision=111500 #constraints=14608
323.71/323.83	c nbDecision=112000 #constraints=14655
326.81/326.90	c nbDecision=112500 #constraints=14720
329.81/329.95	c nbDecision=113000 #constraints=14782
332.81/332.95	c nbDecision=113500 #constraints=14838
335.61/335.77	c nbDecision=114000 #constraints=14886
338.01/338.18	c nbDecision=114500 #constraints=14916
340.31/340.42	c nbDecision=115000 #constraints=14942
342.30/342.42	c nbDecision=115500 #constraints=14971
345.31/345.47	c nbDecision=116000 #constraints=15048
348.10/348.22	c nbDecision=116500 #constraints=15095
354.61/354.73	c nbDecision=117000 #constraints=15261
357.80/357.96	c nbDecision=117500 #constraints=15343
361.50/361.66	c nbDecision=118000 #constraints=15430
365.70/365.85	c nbDecision=118500 #constraints=15548
369.60/369.73	c nbDecision=119000 #constraints=15661
372.50/372.66	c nbDecision=119500 #constraints=15731
376.59/376.74	c nbDecision=120000 #constraints=15851
379.79/379.95	c nbDecision=120500 #constraints=15916
383.70/383.84	c nbDecision=121000 #constraints=16035
388.59/388.78	c nbDecision=121500 #constraints=16196
392.39/392.52	c nbDecision=122000 #constraints=16294
396.89/397.00	c nbDecision=122500 #constraints=16408
400.79/400.92	c nbDecision=123000 #constraints=16520
403.49/403.68	c nbDecision=123500 #constraints=16580
406.89/407.03	c nbDecision=124000 #constraints=16671
412.09/412.25	c nbDecision=124500 #constraints=16774
416.18/416.39	c nbDecision=125000 #constraints=16844
418.89/419.04	c nbDecision=125500 #constraints=16881
423.48/423.60	c nbDecision=126000 #constraints=16963
428.88/429.01	c nbDecision=126500 #constraints=17050
432.88/433.08	c nbDecision=127000 #constraints=17161
436.58/436.78	c nbDecision=127500 #constraints=17236
440.18/440.30	c nbDecision=128000 #constraints=17296
444.78/444.96	c nbDecision=128500 #constraints=17382
448.38/448.55	c nbDecision=129000 #constraints=17431
451.58/451.70	c nbDecision=129500 #constraints=17496
455.67/455.81	c nbDecision=130000 #constraints=17596
460.07/460.22	c nbDecision=130500 #constraints=17659
463.57/463.71	c nbDecision=131000 #constraints=17724
467.17/467.39	c nbDecision=131500 #constraints=17783
470.98/471.13	c nbDecision=132000 #constraints=17847
474.57/474.75	c nbDecision=132500 #constraints=17901
478.47/478.64	c nbDecision=133000 #constraints=17963
481.57/481.75	c nbDecision=133500 #constraints=18026
485.07/485.20	c nbDecision=134000 #constraints=18071
489.47/489.63	c nbDecision=134500 #constraints=18137
492.06/492.21	c nbDecision=135000 #constraints=18160
496.06/496.28	c nbDecision=135500 #constraints=18233
500.97/501.19	c nbDecision=136000 #constraints=18291
505.06/505.24	c nbDecision=136500 #constraints=18392
508.66/508.81	c nbDecision=137000 #constraints=18453
512.36/512.52	c nbDecision=137500 #constraints=18511
515.77/515.99	c nbDecision=138000 #constraints=18563
519.96/520.18	c nbDecision=138500 #constraints=18668
523.56/523.76	c nbDecision=139000 #constraints=18739
528.06/528.29	c nbDecision=139500 #constraints=18817
531.66/531.81	c nbDecision=140000 #constraints=18868
536.05/536.26	c nbDecision=140500 #constraints=18967
539.55/539.78	c nbDecision=141000 #constraints=19026
543.75/543.91	c nbDecision=141500 #constraints=19068
548.26/548.41	c nbDecision=142000 #constraints=19149
553.16/553.37	c nbDecision=142500 #constraints=19239
558.85/559.05	c nbDecision=143000 #constraints=19332
562.95/563.19	c nbDecision=143500 #constraints=19399
568.04/568.21	c nbDecision=144000 #constraints=19480
572.04/572.25	c nbDecision=144500 #constraints=19544
576.04/576.23	c nbDecision=145000 #constraints=19619
580.01/580.21	c nbDecision=145500 #constraints=19683
586.51/586.70	c nbDecision=146000 #constraints=19766
590.80/591.09	c nbDecision=146500 #constraints=19823
595.67/595.92	c nbDecision=147000 #constraints=19926
600.37/600.66	c nbDecision=147500 #constraints=19995
604.55/604.81	c nbDecision=148000 #constraints=20046
609.54/609.82	c nbDecision=148500 #constraints=20117
616.14/616.40	c nbDecision=149000 #constraints=20241
620.94/621.29	c nbDecision=149500 #constraints=20314
626.74/627.06	c nbDecision=150000 #constraints=20406
632.72/633.00	c nbDecision=150500 #constraints=20499
637.01/637.31	c nbDecision=151000 #constraints=20571
642.13/642.45	c nbDecision=151500 #constraints=20643
646.22/646.55	c nbDecision=152000 #constraints=20707
651.32/651.64	c nbDecision=152500 #constraints=20762
656.32/656.65	c nbDecision=153000 #constraints=20832
661.01/661.36	c nbDecision=153500 #constraints=20891
664.71/665.06	c nbDecision=154000 #constraints=20931
667.91/668.22	c nbDecision=154500 #constraints=20954
673.70/674.07	c nbDecision=155000 #constraints=21052
680.21/680.54	c nbDecision=155500 #constraints=21126
684.51/684.88	c nbDecision=156000 #constraints=21219
688.51/688.85	c nbDecision=156500 #constraints=21292
693.60/694.00	c nbDecision=157000 #constraints=21370
698.40/698.75	c nbDecision=157500 #constraints=21441
703.50/703.83	c nbDecision=158000 #constraints=21506
707.30/707.62	c nbDecision=158500 #constraints=21560
711.70/712.10	c nbDecision=159000 #constraints=21647
716.30/716.69	c nbDecision=159500 #constraints=21723
720.00/720.35	c nbDecision=160000 #constraints=21752
725.29/725.66	c nbDecision=160500 #constraints=21839
729.59/729.98	c nbDecision=161000 #constraints=21902
734.10/734.43	c nbDecision=161500 #constraints=21960
739.60/739.95	c nbDecision=162000 #constraints=22048
743.79/744.14	c nbDecision=162500 #constraints=22111
748.80/749.12	c nbDecision=163000 #constraints=22180
753.69/754.01	c nbDecision=163500 #constraints=22253
758.29/758.68	c nbDecision=164000 #constraints=22306
762.68/763.09	c nbDecision=164500 #constraints=22359
767.49/767.89	c nbDecision=165000 #constraints=22433
772.09/772.45	c nbDecision=165500 #constraints=22477
776.59/776.94	c nbDecision=166000 #constraints=22529
780.09/780.42	c nbDecision=166500 #constraints=22563
784.88/785.23	c nbDecision=167000 #constraints=22633
789.78/790.17	c nbDecision=167500 #constraints=22691
794.58/794.94	c nbDecision=168000 #constraints=22764
799.48/799.82	c nbDecision=168500 #constraints=22839
805.07/805.45	c nbDecision=169000 #constraints=22936
809.98/810.32	c nbDecision=169500 #constraints=23008
815.68/816.04	c nbDecision=170000 #constraints=23094
821.28/821.67	c nbDecision=170500 #constraints=23178
825.37/825.70	c nbDecision=171000 #constraints=23220
830.77/831.13	c nbDecision=171500 #constraints=23303
835.67/836.06	c nbDecision=172000 #constraints=23359
841.27/841.66	c nbDecision=172500 #constraints=23429
849.47/849.87	c nbDecision=173000 #constraints=23586
856.57/856.99	c nbDecision=173500 #constraints=23708
862.17/862.56	c nbDecision=174000 #constraints=23771
871.26/871.68	c nbDecision=174500 #constraints=23863
877.15/877.58	c nbDecision=175000 #constraints=23964
882.75/883.13	c nbDecision=175500 #constraints=24048
888.76/889.10	c nbDecision=176000 #constraints=24162
893.86/894.26	c nbDecision=176500 #constraints=24248
899.15/899.52	c nbDecision=177000 #constraints=24335
905.65/906.03	c nbDecision=177500 #constraints=24441
911.85/912.27	c nbDecision=178000 #constraints=24549
919.15/919.57	c nbDecision=178500 #constraints=24629
926.35/926.70	c nbDecision=179000 #constraints=24728
932.05/932.44	c nbDecision=179500 #constraints=24804
938.95/939.37	c nbDecision=180000 #constraints=24909
944.54/944.99	c nbDecision=180500 #constraints=24978
951.84/952.27	c nbDecision=181000 #constraints=25070
958.74/959.15	c nbDecision=181500 #constraints=25153
964.64/965.01	c nbDecision=182000 #constraints=25226
970.03/970.49	c nbDecision=182500 #constraints=25291
975.23/975.68	c nbDecision=183000 #constraints=25357
980.43/980.80	c nbDecision=183500 #constraints=25414
987.03/987.42	c nbDecision=184000 #constraints=25520
993.13/993.54	c nbDecision=184500 #constraints=25589
1000.83/1001.20	c nbDecision=185000 #constraints=25712
1006.63/1007.00	c nbDecision=185500 #constraints=25799
1011.82/1012.25	c nbDecision=186000 #constraints=25867
1016.03/1016.45	c nbDecision=186500 #constraints=25899
1022.02/1022.46	c nbDecision=187000 #constraints=25964
1027.02/1027.41	c nbDecision=187500 #constraints=26004
1031.92/1032.32	c nbDecision=188000 #constraints=26055
1039.72/1040.16	c nbDecision=188500 #constraints=26169
1045.72/1046.14	c nbDecision=189000 #constraints=26235
1050.92/1051.37	c nbDecision=189500 #constraints=26292
1057.41/1057.84	c nbDecision=190000 #constraints=26358
1061.81/1062.25	c nbDecision=190500 #constraints=26396
1067.72/1068.18	c nbDecision=191000 #constraints=26450
1075.31/1075.70	c nbDecision=191500 #constraints=26530
1081.21/1081.60	c nbDecision=192000 #constraints=26600
1089.90/1090.35	c nbDecision=192500 #constraints=26738
1096.10/1096.53	c nbDecision=193000 #constraints=26816
1102.71/1103.18	c nbDecision=193500 #constraints=26899
1108.20/1108.67	c nbDecision=194000 #constraints=26975
1114.90/1115.36	c nbDecision=194500 #constraints=27044
1122.29/1122.79	c nbDecision=195000 #constraints=27126
1128.90/1129.39	c nbDecision=195500 #constraints=27212
1134.50/1134.92	c nbDecision=196000 #constraints=27273
1142.29/1142.75	c nbDecision=196500 #constraints=27368
1148.99/1149.47	c nbDecision=197000 #constraints=27430
1155.19/1155.64	c nbDecision=197500 #constraints=27497
1159.89/1160.32	c nbDecision=198000 #constraints=27544
1165.98/1166.46	c nbDecision=198500 #constraints=27607
1170.88/1171.39	c nbDecision=199000 #constraints=27643
1179.09/1179.51	c nbDecision=199500 #constraints=27713
1183.98/1184.44	c nbDecision=200000 #constraints=27770
1190.68/1191.17	c nbDecision=200500 #constraints=27838
1198.28/1198.74	c nbDecision=201000 #constraints=27933
1207.08/1207.59	c nbDecision=201500 #constraints=28027
1215.37/1215.81	c nbDecision=202000 #constraints=28117
1219.87/1220.37	c nbDecision=202500 #constraints=28141
1224.87/1225.35	c nbDecision=203000 #constraints=28171
1231.67/1232.17	c nbDecision=203500 #constraints=28237
1236.57/1237.02	c nbDecision=204000 #constraints=28270
1241.97/1242.48	c nbDecision=204500 #constraints=28307
1245.37/1245.85	c restart after 204801 decisions
1248.87/1249.30	c nbDecision=205000 #constraints=28335
1248.87/1249.34	c nbDecision=205500 #constraints=28335
1253.67/1254.15	c nbDecision=206000 #constraints=28372
1259.76/1260.23	c nbDecision=206500 #constraints=28468
1265.16/1265.60	c nbDecision=207000 #constraints=28528
1269.96/1270.49	c nbDecision=207500 #constraints=28567
1275.56/1276.07	c nbDecision=208000 #constraints=28623
1281.06/1281.57	c nbDecision=208500 #constraints=28671
1285.95/1286.47	c nbDecision=209000 #constraints=28707
1293.66/1294.12	c nbDecision=209500 #constraints=28795
1298.95/1299.41	c nbDecision=210000 #constraints=28884
1304.35/1304.88	c nbDecision=210500 #constraints=28936
1310.85/1311.40	c nbDecision=211000 #constraints=29025
1316.65/1317.12	c nbDecision=211500 #constraints=29085
1323.64/1324.12	c nbDecision=212000 #constraints=29153
1331.94/1332.41	c nbDecision=212500 #constraints=29247
1337.84/1338.30	c nbDecision=213000 #constraints=29293
1342.45/1342.91	c nbDecision=213500 #constraints=29322
1348.05/1348.51	c nbDecision=214000 #constraints=29387
1353.34/1353.88	c nbDecision=214500 #constraints=29420
1357.94/1358.44	c nbDecision=215000 #constraints=29463
1365.44/1365.98	c nbDecision=215500 #constraints=29591
1375.53/1376.07	c nbDecision=216000 #constraints=29792
1382.13/1382.61	c nbDecision=216500 #constraints=29860
1387.73/1388.24	c nbDecision=217000 #constraints=29915
1393.43/1393.96	c nbDecision=217500 #constraints=29957
1400.83/1401.36	c nbDecision=218000 #constraints=30061
1408.93/1409.45	c nbDecision=218500 #constraints=30173
1414.92/1415.41	c nbDecision=219000 #constraints=30238
1421.83/1422.38	c nbDecision=219500 #constraints=30339
1430.42/1430.98	c nbDecision=220000 #constraints=30469
1439.02/1439.52	c nbDecision=220500 #constraints=30543
1446.72/1447.24	c nbDecision=221000 #constraints=30621
1453.22/1453.79	c nbDecision=221500 #constraints=30690
1459.72/1460.29	c nbDecision=222000 #constraints=30774
1467.81/1468.34	c nbDecision=222500 #constraints=30927
1475.91/1476.41	c nbDecision=223000 #constraints=31031
1481.61/1482.16	c nbDecision=223500 #constraints=31095
1487.40/1487.99	c nbDecision=224000 #constraints=31180
1495.00/1495.52	c nbDecision=224500 #constraints=31290
1501.81/1502.38	c nbDecision=225000 #constraints=31367
1507.30/1507.84	c nbDecision=225500 #constraints=31404
1514.50/1515.05	c nbDecision=226000 #constraints=31506
1520.80/1521.35	c nbDecision=226500 #constraints=31556
1528.60/1529.10	c nbDecision=227000 #constraints=31678
1535.80/1536.38	c nbDecision=227500 #constraints=31752
1541.39/1541.98	c nbDecision=228000 #constraints=31789
1550.89/1551.46	c nbDecision=228500 #constraints=31909
1559.09/1559.67	c nbDecision=229000 #constraints=32006
1567.08/1567.65	c nbDecision=229500 #constraints=32081
1575.38/1575.97	c nbDecision=230000 #constraints=32181
1582.38/1582.97	c nbDecision=230500 #constraints=32271
1588.27/1588.89	c nbDecision=231000 #constraints=32315
1595.18/1595.76	c nbDecision=231500 #constraints=32389
1599.98/1600.51	c nbDecision=232000 #constraints=32414
1606.07/1606.61	c nbDecision=232500 #constraints=32445
1611.17/1611.80	c nbDecision=233000 #constraints=32468
1617.57/1618.17	c nbDecision=233500 #constraints=32522
1627.17/1627.74	c nbDecision=234000 #constraints=32625
1633.36/1633.94	c nbDecision=234500 #constraints=32665
1640.36/1640.93	c nbDecision=235000 #constraints=32718
1648.06/1648.69	c nbDecision=235500 #constraints=32800
1655.77/1656.38	c nbDecision=236000 #constraints=32886
1662.46/1663.02	c nbDecision=236500 #constraints=32965
1668.56/1669.13	c nbDecision=237000 #constraints=33012
1673.76/1674.36	c nbDecision=237500 #constraints=33047
1679.86/1680.43	c nbDecision=238000 #constraints=33085
1686.26/1686.84	c nbDecision=238500 #constraints=33135
1692.45/1693.06	c nbDecision=239000 #constraints=33185
1699.85/1700.44	c nbDecision=239500 #constraints=33234
1707.25/1707.89	c nbDecision=240000 #constraints=33288
1713.75/1714.38	c nbDecision=240500 #constraints=33334
1721.04/1721.62	c nbDecision=241000 #constraints=33380
1729.54/1730.10	c nbDecision=241500 #constraints=33454
1737.14/1737.74	c nbDecision=242000 #constraints=33515
1744.64/1745.26	c nbDecision=242500 #constraints=33573
1753.13/1753.72	c nbDecision=243000 #constraints=33651
1759.44/1760.08	c nbDecision=243500 #constraints=33699
1768.04/1768.66	c nbDecision=244000 #constraints=33779
1777.04/1777.62	c nbDecision=244500 #constraints=33883
1784.43/1785.02	c nbDecision=245000 #constraints=33942
1790.23/1790.86	c nbDecision=245500 #constraints=33976
1797.53/1798.17	c nbDecision=246000 #constraints=34066
1800.04/1800.60	Received signal 15
1800.23/1800.89	
1800.23/1800.89	s UNKNOWN
1800.23/1800.89	
1800.23/1800.89	c user time= 1799.61 s
1800.23/1800.89	c system time= 0.723889 s
1800.23/1800.89	c wall clock time=1800.89

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

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

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

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


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 18616
/proc/meminfo: memFree=1764360/2055920 swapFree=4183800/4192956
[pid=18616] ppid=18614 vsize=1468 CPUtime=0
/proc/18616/stat : 18616 (oree) R 18614 18616 18143 0 -1 4194304 182 0 0 0 0 0 0 0 18 0 1 0 54273599 1503232 164 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135271329 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18616/statm: 367 164 131 317 0 46 0

[startup+0.00712094 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 18616
/proc/meminfo: memFree=1764360/2055920 swapFree=4183800/4192956
[pid=18616] ppid=18614 vsize=1468 CPUtime=0
/proc/18616/stat : 18616 (oree) R 18614 18616 18143 0 -1 4194304 187 0 0 0 0 0 0 0 18 0 1 0 54273599 1503232 169 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18616/statm: 367 169 131 317 0 46 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 1468

[startup+0.101128 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 18616
/proc/meminfo: memFree=1764360/2055920 swapFree=4183800/4192956
[pid=18616] ppid=18614 vsize=3068 CPUtime=0.09
/proc/18616/stat : 18616 (oree) R 18614 18616 18143 0 -1 4194304 589 0 0 0 9 0 0 0 18 0 1 0 54273599 3141632 571 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385189 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18616/statm: 767 571 138 317 0 446 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3068

[startup+0.301146 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 18616
/proc/meminfo: memFree=1764360/2055920 swapFree=4183800/4192956
[pid=18616] ppid=18614 vsize=3068 CPUtime=0.29
/proc/18616/stat : 18616 (oree) R 18614 18616 18143 0 -1 4194304 589 0 0 0 29 0 0 0 19 0 1 0 54273599 3141632 571 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135194613 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18616/statm: 767 571 138 317 0 446 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3068

[startup+0.701181 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 18616
/proc/meminfo: memFree=1764360/2055920 swapFree=4183800/4192956
[pid=18616] ppid=18614 vsize=4484 CPUtime=0.69
/proc/18616/stat : 18616 (oree) R 18614 18616 18143 0 -1 4194304 976 0 0 0 69 0 0 0 22 0 1 0 54273599 4591616 958 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606843 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18616/statm: 1121 958 170 317 0 800 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4484

[startup+1.50125 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 18617
/proc/meminfo: memFree=1759488/2055920 swapFree=4183800/4192956
[pid=18616] ppid=18614 vsize=8672 CPUtime=1.49
/proc/18616/stat : 18616 (oree) R 18614 18616 18143 0 -1 4194304 2028 0 0 0 149 0 0 0 25 0 1 0 54273599 8880128 2010 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18616/statm: 2168 2010 170 317 0 1847 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8672

[startup+3.10139 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 18617
/proc/meminfo: memFree=1753344/2055920 swapFree=4183800/4192956
[pid=18616] ppid=18614 vsize=16536 CPUtime=3.09
/proc/18616/stat : 18616 (oree) R 18614 18616 18143 0 -1 4194304 3974 0 0 0 308 1 0 0 25 0 1 0 54273599 16932864 3956 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716193 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18616/statm: 4134 3956 170 317 0 3813 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16536

[startup+6.30167 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 18617
/proc/meminfo: memFree=1741632/2055920 swapFree=4183800/4192956
[pid=18616] ppid=18614 vsize=26884 CPUtime=6.29
/proc/18616/stat : 18616 (oree) R 18614 18616 18143 0 -1 4194304 6580 0 0 0 627 2 0 0 25 0 1 0 54273599 27529216 6562 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18616/statm: 6721 6562 170 317 0 6400 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 26884

[startup+12.7012 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 18617
/proc/meminfo: memFree=1726144/2055920 swapFree=4183800/4192956
[pid=18616] ppid=18614 vsize=41116 CPUtime=12.69
/proc/18616/stat : 18616 (oree) R 18614 18616 18143 0 -1 4194304 9950 0 0 0 1265 4 0 0 25 0 1 0 54273599 42102784 9932 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18616/statm: 10279 9932 170 317 0 9958 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 41116

[startup+25.5014 s]
/proc/loadavg: 0.95 0.98 0.99 2/65 18617
/proc/meminfo: memFree=1708992/2055920 swapFree=4183800/4192956
[pid=18616] ppid=18614 vsize=57460 CPUtime=25.48
/proc/18616/stat : 18616 (oree) R 18614 18616 18143 0 -1 4194304 14030 0 0 0 2542 6 0 0 25 0 1 0 54273599 58839040 14012 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18616/statm: 14365 14012 170 317 0 14044 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 57460

[startup+51.1016 s]
/proc/loadavg: 0.96 0.98 0.99 2/65 18617
/proc/meminfo: memFree=1684352/2055920 swapFree=4183800/4192956
[pid=18616] ppid=18614 vsize=83704 CPUtime=51.08
/proc/18616/stat : 18616 (oree) R 18614 18616 18143 0 -1 4194304 20211 0 0 0 5098 10 0 0 25 0 1 0 54273599 85712896 20193 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18616/statm: 20926 20193 170 317 0 20605 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 83704

[startup+102.305 s]
/proc/loadavg: 0.98 0.98 0.99 2/65 18617
/proc/meminfo: memFree=1649920/2055920 swapFree=4183800/4192956
[pid=18616] ppid=18614 vsize=117412 CPUtime=102.26
/proc/18616/stat : 18616 (oree) R 18614 18616 18143 0 -1 4194304 28765 0 0 0 10211 15 0 0 25 0 1 0 54273599 120229888 28689 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563665 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18616/statm: 29353 28689 170 317 0 29032 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 117412

[startup+162.301 s]
/proc/loadavg: 1.04 1.00 1.00 2/65 18617
/proc/meminfo: memFree=1616960/2055920 swapFree=4183800/4192956
[pid=18616] ppid=18614 vsize=155484 CPUtime=162.25
/proc/18616/stat : 18616 (oree) R 18614 18616 18143 0 -1 4194304 37043 0 0 0 16204 21 0 0 25 0 1 0 54273599 159215616 36967 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18616/statm: 38871 36967 170 317 0 38550 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 155484

[startup+222.302 s]
/proc/loadavg: 1.01 1.00 1.00 2/65 18617
/proc/meminfo: memFree=1591552/2055920 swapFree=4183800/4192956
[pid=18616] ppid=18614 vsize=180172 CPUtime=222.24
/proc/18616/stat : 18616 (oree) R 18614 18616 18143 0 -1 4194304 43308 0 0 0 22200 24 0 0 25 0 1 0 54273599 184496128 43232 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18616/statm: 45043 43232 170 317 0 44722 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 180172

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 18617
/proc/meminfo: memFree=1569600/2055920 swapFree=4183800/4192956
[pid=18616] ppid=18614 vsize=203004 CPUtime=282.22
/proc/18616/stat : 18616 (oree) R 18614 18616 18143 0 -1 4194304 48850 0 0 0 28196 26 0 0 25 0 1 0 54273599 207876096 48774 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135459514 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18616/statm: 50751 48774 170 317 0 50430 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 203004

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 18617
/proc/meminfo: memFree=1551488/2055920 swapFree=4183800/4192956
[pid=18616] ppid=18614 vsize=220032 CPUtime=342.2
/proc/18616/stat : 18616 (oree) R 18614 18616 18143 0 -1 4194304 53270 0 0 0 34192 28 0 0 25 0 1 0 54273599 225312768 53194 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18616/statm: 55008 53194 170 317 0 54687 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 220032

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 18617
/proc/meminfo: memFree=1527936/2055920 swapFree=4183800/4192956
[pid=18616] ppid=18614 vsize=243608 CPUtime=402.19
/proc/18616/stat : 18616 (oree) R 18614 18616 18143 0 -1 4194304 59183 0 0 0 40187 32 0 0 25 0 1 0 54273599 249454592 59107 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18616/statm: 60902 59107 170 317 0 60581 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 243608

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 18617
/proc/meminfo: memFree=1507968/2055920 swapFree=4183800/4192956
[pid=18616] ppid=18614 vsize=270200 CPUtime=462.17
/proc/18616/stat : 18616 (oree) R 18614 18616 18143 0 -1 4194304 65602 0 0 0 46182 35 0 0 25 0 1 0 54273599 276684800 64059 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18616/statm: 67550 64059 170 317 0 67229 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 270200

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 18617
/proc/meminfo: memFree=1491968/2055920 swapFree=4183800/4192956
[pid=18616] ppid=18614 vsize=292012 CPUtime=522.16
/proc/18616/stat : 18616 (oree) R 18614 18616 18143 0 -1 4194304 70660 0 0 0 52178 38 0 0 25 0 1 0 54273599 299020288 68061 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18616/statm: 73003 68061 170 317 0 72682 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 292012

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/71 18683
/proc/meminfo: memFree=1475888/2055920 swapFree=4183800/4192956
[pid=18616] ppid=18614 vsize=305668 CPUtime=582.11
/proc/18616/stat : 18616 (oree) R 18614 18616 18143 0 -1 4194304 74374 0 0 0 58170 41 0 0 25 0 1 0 54273599 313004032 71742 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18616/statm: 76417 71742 170 317 0 76096 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 305668

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 18815
/proc/meminfo: memFree=1462016/2055920 swapFree=4183800/4192956
[pid=18616] ppid=18614 vsize=321912 CPUtime=642.03
/proc/18616/stat : 18616 (oree) R 18614 18616 18143 0 -1 4194304 78317 0 0 0 64159 44 0 0 25 0 1 0 54273599 329637888 75454 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18616/statm: 80478 75454 170 317 0 80157 0
Current children cumulated CPU time (s) 642.03
Current children cumulated vsize (KiB) 321912


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

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 18815
/proc/meminfo: memFree=1393536/2055920 swapFree=4183800/4192956
[pid=18616] ppid=18614 vsize=388520 CPUtime=941.94
/proc/18616/stat : 18616 (oree) R 18614 18616 18143 0 -1 4194304 95889 0 0 0 94142 52 0 0 25 0 1 0 54273599 397844480 92531 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18616/statm: 97130 92531 170 317 0 96809 0
Current children cumulated CPU time (s) 941.94
Current children cumulated vsize (KiB) 388520

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 18817
/proc/meminfo: memFree=1378688/2055920 swapFree=4183800/4192956
[pid=18616] ppid=18614 vsize=405992 CPUtime=1001.93
/proc/18616/stat : 18616 (oree) R 18614 18616 18143 0 -1 4194304 100374 0 0 0 100138 55 0 0 25 0 1 0 54273599 415735808 96224 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18616/statm: 101498 96224 170 317 0 101177 0
Current children cumulated CPU time (s) 1001.93
Current children cumulated vsize (KiB) 405992

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 18817
/proc/meminfo: memFree=1367360/2055920 swapFree=4183800/4192956
[pid=18616] ppid=18614 vsize=418984 CPUtime=1061.91
/proc/18616/stat : 18616 (oree) R 18614 18616 18143 0 -1 4194304 103728 0 0 0 106135 56 0 0 25 0 1 0 54273599 429039616 99083 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18616/statm: 104746 99083 170 317 0 104425 0
Current children cumulated CPU time (s) 1061.91
Current children cumulated vsize (KiB) 418984

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 18817
/proc/meminfo: memFree=1355968/2055920 swapFree=4183800/4192956
[pid=18616] ppid=18614 vsize=429176 CPUtime=1121.89
/proc/18616/stat : 18616 (oree) R 18614 18616 18143 0 -1 4194304 106565 0 0 0 112131 58 0 0 25 0 1 0 54273599 439476224 101920 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18616/statm: 107294 101920 170 317 0 106973 0
Current children cumulated CPU time (s) 1121.89
Current children cumulated vsize (KiB) 429176

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 18817
/proc/meminfo: memFree=1346112/2055920 swapFree=4183800/4192956
[pid=18616] ppid=18614 vsize=437808 CPUtime=1181.89
/proc/18616/stat : 18616 (oree) R 18614 18616 18143 0 -1 4194304 109051 0 0 0 118129 60 0 0 25 0 1 0 54273599 448315392 104373 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18616/statm: 109452 104373 170 317 0 109131 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 437808

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 18817
/proc/meminfo: memFree=1336960/2055920 swapFree=4183800/4192956
[pid=18616] ppid=18614 vsize=446324 CPUtime=1241.87
/proc/18616/stat : 18616 (oree) R 18614 18616 18143 0 -1 4194304 111385 0 0 0 124125 62 0 0 25 0 1 0 54273599 457035776 106641 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718650 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18616/statm: 111581 106641 170 317 0 111260 0
Current children cumulated CPU time (s) 1241.87
Current children cumulated vsize (KiB) 446324

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 18817
/proc/meminfo: memFree=1329472/2055920 swapFree=4183800/4192956
[pid=18616] ppid=18614 vsize=453316 CPUtime=1301.86
/proc/18616/stat : 18616 (oree) R 18614 18616 18143 0 -1 4194304 113258 0 0 0 130123 63 0 0 25 0 1 0 54273599 464195584 108481 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18616/statm: 113329 108481 170 317 0 113008 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 453316

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 18817
/proc/meminfo: memFree=1321984/2055920 swapFree=4183800/4192956
[pid=18616] ppid=18614 vsize=460400 CPUtime=1361.84
/proc/18616/stat : 18616 (oree) R 18614 18616 18143 0 -1 4194304 115206 0 0 0 136120 64 0 0 25 0 1 0 54273599 471449600 110396 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18616/statm: 115100 110396 170 317 0 114779 0
Current children cumulated CPU time (s) 1361.84
Current children cumulated vsize (KiB) 460400

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 18817
/proc/meminfo: memFree=1311040/2055920 swapFree=4183800/4192956
[pid=18616] ppid=18614 vsize=471112 CPUtime=1421.83
/proc/18616/stat : 18616 (oree) R 18614 18616 18143 0 -1 4194304 117953 0 0 0 142118 65 0 0 25 0 1 0 54273599 482418688 113110 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564062 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18616/statm: 117778 113110 170 317 0 117457 0
Current children cumulated CPU time (s) 1421.83
Current children cumulated vsize (KiB) 471112

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 18817
/proc/meminfo: memFree=1301120/2055920 swapFree=4183800/4192956
[pid=18616] ppid=18614 vsize=480484 CPUtime=1481.81
/proc/18616/stat : 18616 (oree) R 18614 18616 18143 0 -1 4194304 120441 0 0 0 148115 66 0 0 25 0 1 0 54273599 492015616 115565 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18616/statm: 120121 115565 170 317 0 119800 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 480484

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 18817
/proc/meminfo: memFree=1292288/2055920 swapFree=4183800/4192956
[pid=18616] ppid=18614 vsize=488728 CPUtime=1541.79
/proc/18616/stat : 18616 (oree) R 18614 18616 18143 0 -1 4194304 122647 0 0 0 154111 68 0 0 25 0 1 0 54273599 500457472 117771 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18616/statm: 122182 117771 170 317 0 121861 0
Current children cumulated CPU time (s) 1541.79
Current children cumulated vsize (KiB) 488728

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 18817
/proc/meminfo: memFree=1284736/2055920 swapFree=4183800/4192956
[pid=18616] ppid=18614 vsize=495832 CPUtime=1601.78
/proc/18616/stat : 18616 (oree) R 18614 18616 18143 0 -1 4194304 124508 0 0 0 160109 69 0 0 25 0 1 0 54273599 507731968 119632 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715703 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18616/statm: 123958 119632 170 317 0 123637 0
Current children cumulated CPU time (s) 1601.78
Current children cumulated vsize (KiB) 495832

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 18817
/proc/meminfo: memFree=1278336/2055920 swapFree=4183800/4192956
[pid=18616] ppid=18614 vsize=501852 CPUtime=1661.76
/proc/18616/stat : 18616 (oree) R 18614 18616 18143 0 -1 4194304 126115 0 0 0 166106 70 0 0 25 0 1 0 54273599 513896448 121239 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18616/statm: 125463 121239 170 317 0 125142 0
Current children cumulated CPU time (s) 1661.76
Current children cumulated vsize (KiB) 501852

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 18817
/proc/meminfo: memFree=1272960/2055920 swapFree=4183800/4192956
[pid=18616] ppid=18614 vsize=507824 CPUtime=1721.74
/proc/18616/stat : 18616 (oree) R 18614 18616 18143 0 -1 4194304 127682 0 0 0 172104 70 0 0 25 0 1 0 54273599 520011776 122579 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18616/statm: 126956 122579 170 317 0 126635 0
Current children cumulated CPU time (s) 1721.74
Current children cumulated vsize (KiB) 507824

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 18817
/proc/meminfo: memFree=1265920/2055920 swapFree=4183800/4192956
[pid=18616] ppid=18614 vsize=514352 CPUtime=1781.73
/proc/18616/stat : 18616 (oree) R 18614 18616 18143 0 -1 4194304 129430 0 0 0 178102 71 0 0 25 0 1 0 54273599 526696448 124327 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564046 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18616/statm: 128588 124327 170 317 0 128267 0
Current children cumulated CPU time (s) 1781.73
Current children cumulated vsize (KiB) 514352



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 18817
/proc/meminfo: memFree=1263232/2055920 swapFree=4183800/4192956
[pid=18616] ppid=18614 vsize=524516 CPUtime=1800.04
/proc/18616/stat : 18616 (oree) R 18614 18616 18143 0 -1 4194304 131841 0 0 0 179932 72 0 0 25 0 1 0 54273599 537104384 124983 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18616/statm: 131129 124983 170 317 0 130808 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 524516

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

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

[startup+1800.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 18817
/proc/meminfo: memFree=1263232/2055920 swapFree=4183800/4192956
[pid=18616] ppid=18614 vsize=524516 CPUtime=1800.23
/proc/18616/stat : 18616 (oree) R 18614 18616 18143 0 -1 4194304 131842 0 0 0 179951 72 0 0 25 0 1 0 54273599 537104384 124984 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18616/statm: 131129 124984 170 317 0 130808 0
Current children cumulated CPU time (s) 1800.23
Current children cumulated vsize (KiB) 524516

[startup+1800.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 18817
/proc/meminfo: memFree=1263232/2055920 swapFree=4183800/4192956
[pid=18616] ppid=18614 vsize=504388 CPUtime=1800.32
/proc/18616/stat : 18616 (oree) R 18614 18616 18143 0 -1 4194304 131859 0 0 0 179960 72 0 0 25 0 1 0 54273599 516493312 121230 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135339169 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18616/statm: 126032 121146 186 317 0 125711 0
Current children cumulated CPU time (s) 1800.32
Current children cumulated vsize (KiB) 504388

Child status: 0
Real time (s): 1800.98
CPU time (s): 1800.42
CPU user time (s): 1799.61
CPU system time (s): 0.805877
CPU usage (%): 99.9686
Max. virtual memory (cumulated for all children) (KiB): 524516

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

runsolver used 1.40878 second user time and 3.60945 second system time

The end

Launcher Data (download as text)

Begin job on node50 on Thu Apr 19 14:51:24 UTC 2007

IDJOB= 357318
IDBENCH= 2395
IDSOLVER= 172
FILE ID= node50/357318-1176994284

PBS_JOBID= 4630427

Free space on /tmp= 66507 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-recipe.opb
COMMAND LINE= oree /tmp/evaluation/357318-1176994284/instance-357318-1176994284.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node50/watcher-357318-1176994284 -o ROOT/results/node50/solver-357318-1176994284 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/357318-1176994284/instance-357318-1176994284.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  19c812fe81842f9b63508fc356bab039

RANDOM SEED= 881097273

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.232
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.232
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1764896 kB
Buffers:         13836 kB
Cached:         212868 kB
SwapCached:       2932 kB
Active:          94804 kB
Inactive:       141480 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1764896 kB
SwapTotal:     4192956 kB
SwapFree:      4183800 kB
Dirty:            1564 kB
Writeback:           0 kB
Mapped:          15480 kB
Slab:            40792 kB
Committed_AS:  1067584 kB
PageTables:       1460 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66507 MiB

End job on node50 on Thu Apr 19 15:21:27 UTC 2007