Trace number 356939

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.49 1801.19

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-lotfi.opb
MD5SUM76d897d8437070b9cbeb866c2620c3bc
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables9240
Total number of constraints145
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 constraints145
Minimum length of a constraint30
Maximum length of a constraint3990
Number of terms in the objective function 240
Biggest coefficient in the objective function 32769
Number of bits for the biggest coefficient in the objective function 16
Sum of the numbers in the objective function 524520
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 527485
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.09/0.11	c ...done
0.09/0.11	c #vars=9240 #constraints=241 hasObjective=yes
0.09/0.13	c res. mode=mod
0.09/0.13	c VSIDS like heuristics
0.09/0.13	c complete search running
0.19/0.26	c restart after 401 decisions
0.19/0.30	c nbDecision=500 #constraints=242
0.29/0.38	c restart after 801 decisions
0.39/0.45	c nbDecision=1000 #constraints=242
0.49/0.58	c nbDecision=1500 #constraints=246
0.59/0.61	c restart after 1601 decisions
0.69/0.78	c nbDecision=2000 #constraints=262
1.09/1.17	c nbDecision=2500 #constraints=344
1.49/1.50	c nbDecision=3000 #constraints=403
1.69/1.73	c restart after 3201 decisions
1.79/1.86	c nbDecision=3500 #constraints=444
1.99/2.08	c nbDecision=4000 #constraints=477
2.89/2.91	c nbDecision=4500 #constraints=593
3.59/3.67	c nbDecision=5000 #constraints=691
3.99/4.10	c nbDecision=5500 #constraints=744
4.59/4.62	c nbDecision=6000 #constraints=806
4.99/5.01	c restart after 6401 decisions
5.09/5.14	c nbDecision=6500 #constraints=853
5.40/5.48	c nbDecision=7000 #constraints=869
5.89/5.95	c nbDecision=7500 #constraints=919
6.29/6.39	c nbDecision=8000 #constraints=985
6.69/6.71	c nbDecision=8500 #constraints=1023
6.99/7.04	c nbDecision=9000 #constraints=1061
7.59/7.67	c nbDecision=9500 #constraints=1115
8.09/8.17	c nbDecision=10000 #constraints=1164
8.59/8.67	c nbDecision=10500 #constraints=1208
8.99/9.04	c nbDecision=11000 #constraints=1240
9.38/9.42	c nbDecision=11500 #constraints=1270
9.68/9.78	c nbDecision=12000 #constraints=1299
10.09/10.15	c nbDecision=12500 #constraints=1328
10.29/10.35	c restart after 12801 decisions
10.59/10.61	c nbDecision=13000 #constraints=1343
10.79/10.86	c nbDecision=13500 #constraints=1348
11.69/11.75	c nbDecision=14000 #constraints=1436
12.49/12.56	c nbDecision=14500 #constraints=1502
13.38/13.46	c nbDecision=15000 #constraints=1582
14.38/14.46	c nbDecision=15500 #constraints=1663
14.99/15.01	c nbDecision=16000 #constraints=1713
15.39/15.47	c nbDecision=16500 #constraints=1749
15.79/15.88	c nbDecision=17000 #constraints=1780
16.19/16.25	c nbDecision=17500 #constraints=1810
16.59/16.65	c nbDecision=18000 #constraints=1843
17.79/17.89	c nbDecision=18500 #constraints=1906
18.69/18.78	c nbDecision=19000 #constraints=1956
20.19/20.21	c nbDecision=19500 #constraints=2032
21.09/21.19	c nbDecision=20000 #constraints=2082
21.99/22.00	c nbDecision=20500 #constraints=2128
22.78/22.90	c nbDecision=21000 #constraints=2156
23.68/23.72	c nbDecision=21500 #constraints=2195
24.38/24.47	c nbDecision=22000 #constraints=2242
25.69/25.76	c nbDecision=22500 #constraints=2292
26.19/26.30	c nbDecision=23000 #constraints=2319
26.98/27.02	c nbDecision=23500 #constraints=2364
27.68/27.79	c nbDecision=24000 #constraints=2389
28.08/28.19	c nbDecision=24500 #constraints=2399
28.68/28.73	c nbDecision=25000 #constraints=2426
28.98/29.04	c nbDecision=25500 #constraints=2431
28.98/29.09	c restart after 25601 decisions
29.88/29.98	c nbDecision=26000 #constraints=2433
30.78/30.82	c nbDecision=26500 #constraints=2488
31.38/31.44	c nbDecision=27000 #constraints=2515
31.88/31.99	c nbDecision=27500 #constraints=2555
32.38/32.45	c nbDecision=28000 #constraints=2586
32.89/32.99	c nbDecision=28500 #constraints=2615
34.38/34.49	c nbDecision=29000 #constraints=2669
35.08/35.15	c nbDecision=29500 #constraints=2694
36.07/36.17	c nbDecision=30000 #constraints=2741
37.48/37.52	c nbDecision=30500 #constraints=2793
38.38/38.43	c nbDecision=31000 #constraints=2824
40.28/40.37	c nbDecision=31500 #constraints=2893
40.77/40.85	c nbDecision=32000 #constraints=2909
41.28/41.35	c nbDecision=32500 #constraints=2920
42.07/42.13	c nbDecision=33000 #constraints=2962
42.97/43.08	c nbDecision=33500 #constraints=2994
44.68/44.73	c nbDecision=34000 #constraints=3062
45.08/45.16	c nbDecision=34500 #constraints=3075
46.18/46.21	c nbDecision=35000 #constraints=3116
47.07/47.12	c nbDecision=35500 #constraints=3164
47.77/47.88	c nbDecision=36000 #constraints=3206
48.47/48.56	c nbDecision=36500 #constraints=3252
49.38/49.41	c nbDecision=37000 #constraints=3292
51.27/51.37	c nbDecision=37500 #constraints=3358
53.57/53.61	c nbDecision=38000 #constraints=3433
55.27/55.34	c nbDecision=38500 #constraints=3498
57.37/57.44	c nbDecision=39000 #constraints=3567
59.17/59.30	c nbDecision=39500 #constraints=3626
61.27/61.34	c nbDecision=40000 #constraints=3691
62.77/62.80	c nbDecision=40500 #constraints=3749
63.67/63.80	c nbDecision=41000 #constraints=3783
64.67/64.77	c nbDecision=41500 #constraints=3820
65.57/65.62	c nbDecision=42000 #constraints=3849
66.47/66.53	c nbDecision=42500 #constraints=3884
67.57/67.68	c nbDecision=43000 #constraints=3923
68.67/68.70	c nbDecision=43500 #constraints=3960
70.46/70.58	c nbDecision=44000 #constraints=4025
72.16/72.22	c nbDecision=44500 #constraints=4079
73.17/73.24	c nbDecision=45000 #constraints=4112
74.77/74.84	c nbDecision=45500 #constraints=4166
76.06/76.10	c nbDecision=46000 #constraints=4208
77.56/77.66	c nbDecision=46500 #constraints=4254
79.17/79.29	c nbDecision=47000 #constraints=4302
80.46/80.58	c nbDecision=47500 #constraints=4342
81.96/82.00	c nbDecision=48000 #constraints=4391
83.26/83.33	c nbDecision=48500 #constraints=4434
84.36/84.41	c nbDecision=49000 #constraints=4468
86.06/86.14	c nbDecision=49500 #constraints=4517
87.46/87.50	c nbDecision=50000 #constraints=4560
88.56/88.67	c nbDecision=50500 #constraints=4597
90.06/90.17	c nbDecision=51000 #constraints=4635
90.75/90.85	c restart after 51201 decisions
93.55/93.66	c nbDecision=51500 #constraints=4655
94.45/94.56	c nbDecision=52000 #constraints=4684
95.15/95.22	c nbDecision=52500 #constraints=4701
96.75/96.82	c nbDecision=53000 #constraints=4741
98.65/98.74	c nbDecision=53500 #constraints=4797
100.45/100.56	c nbDecision=54000 #constraints=4851
101.86/101.90	c nbDecision=54500 #constraints=4895
102.65/102.78	c nbDecision=55000 #constraints=4929
103.55/103.62	c nbDecision=55500 #constraints=4970
104.55/104.68	c nbDecision=56000 #constraints=4996
105.75/105.80	c nbDecision=56500 #constraints=5029
106.55/106.68	c nbDecision=57000 #constraints=5062
107.45/107.59	c nbDecision=57500 #constraints=5095
108.35/108.47	c nbDecision=58000 #constraints=5131
110.34/110.43	c nbDecision=58500 #constraints=5187
111.15/111.27	c nbDecision=59000 #constraints=5206
112.25/112.40	c nbDecision=59500 #constraints=5241
113.45/113.52	c nbDecision=60000 #constraints=5269
115.84/115.91	c nbDecision=60500 #constraints=5315
116.94/117.04	c nbDecision=61000 #constraints=5349
117.84/117.97	c nbDecision=61500 #constraints=5369
120.05/120.16	c nbDecision=62000 #constraints=5419
124.04/124.15	c nbDecision=62500 #constraints=5494
125.15/125.30	c nbDecision=63000 #constraints=5532
126.35/126.42	c nbDecision=63500 #constraints=5565
127.55/127.68	c nbDecision=64000 #constraints=5608
128.55/128.65	c nbDecision=64500 #constraints=5631
131.94/132.06	c nbDecision=65000 #constraints=5684
133.23/133.31	c nbDecision=65500 #constraints=5720
134.04/134.12	c nbDecision=66000 #constraints=5732
139.64/139.71	c nbDecision=66500 #constraints=5825
141.44/141.58	c nbDecision=67000 #constraints=5863
143.54/143.66	c nbDecision=67500 #constraints=5914
144.84/144.92	c nbDecision=68000 #constraints=5946
147.03/147.19	c nbDecision=68500 #constraints=5998
151.74/151.87	c nbDecision=69000 #constraints=6077
154.13/154.26	c nbDecision=69500 #constraints=6135
156.83/156.97	c nbDecision=70000 #constraints=6191
160.83/160.94	c nbDecision=70500 #constraints=6245
162.43/162.59	c nbDecision=71000 #constraints=6265
164.73/164.87	c nbDecision=71500 #constraints=6300
166.12/166.24	c nbDecision=72000 #constraints=6339
167.13/167.25	c nbDecision=72500 #constraints=6352
167.92/168.09	c nbDecision=73000 #constraints=6362
170.63/170.71	c nbDecision=73500 #constraints=6410
171.73/171.80	c nbDecision=74000 #constraints=6436
172.63/172.71	c nbDecision=74500 #constraints=6459
177.72/177.87	c nbDecision=75000 #constraints=6538
178.72/178.81	c nbDecision=75500 #constraints=6552
179.82/179.94	c nbDecision=76000 #constraints=6580
180.82/180.94	c nbDecision=76500 #constraints=6604
181.92/182.03	c nbDecision=77000 #constraints=6629
182.92/183.02	c nbDecision=77500 #constraints=6651
183.92/184.09	c nbDecision=78000 #constraints=6667
186.11/186.29	c nbDecision=78500 #constraints=6710
188.51/188.60	c nbDecision=79000 #constraints=6738
194.11/194.26	c nbDecision=79500 #constraints=6821
197.01/197.19	c nbDecision=80000 #constraints=6876
198.61/198.74	c nbDecision=80500 #constraints=6911
202.41/202.53	c nbDecision=81000 #constraints=6986
204.81/204.97	c nbDecision=81500 #constraints=7022
206.72/206.82	c nbDecision=82000 #constraints=7051
207.72/207.82	c nbDecision=82500 #constraints=7079
208.81/208.94	c nbDecision=83000 #constraints=7113
210.31/210.44	c nbDecision=83500 #constraints=7144
213.00/213.18	c nbDecision=84000 #constraints=7186
214.60/214.71	c nbDecision=84500 #constraints=7217
216.51/216.69	c nbDecision=85000 #constraints=7249
217.80/217.94	c nbDecision=85500 #constraints=7268
219.51/219.68	c nbDecision=86000 #constraints=7288
223.60/223.71	c nbDecision=86500 #constraints=7345
226.30/226.45	c nbDecision=87000 #constraints=7374
227.50/227.68	c nbDecision=87500 #constraints=7402
229.20/229.34	c nbDecision=88000 #constraints=7445
232.70/232.84	c nbDecision=88500 #constraints=7504
236.70/236.83	c nbDecision=89000 #constraints=7563
240.40/240.57	c nbDecision=89500 #constraints=7633
242.50/242.69	c nbDecision=90000 #constraints=7671
244.19/244.36	c nbDecision=90500 #constraints=7703
246.20/246.34	c nbDecision=91000 #constraints=7745
248.19/248.35	c nbDecision=91500 #constraints=7774
250.59/250.70	c nbDecision=92000 #constraints=7814
253.00/253.18	c nbDecision=92500 #constraints=7862
255.39/255.57	c nbDecision=93000 #constraints=7906
258.39/258.55	c nbDecision=93500 #constraints=7948
261.38/261.57	c nbDecision=94000 #constraints=7998
267.09/267.26	c nbDecision=94500 #constraints=8095
271.88/272.05	c nbDecision=95000 #constraints=8168
273.49/273.60	c nbDecision=95500 #constraints=8201
275.08/275.21	c nbDecision=96000 #constraints=8233
276.78/276.99	c nbDecision=96500 #constraints=8266
281.98/282.15	c nbDecision=97000 #constraints=8335
286.38/286.57	c nbDecision=97500 #constraints=8394
295.27/295.45	c nbDecision=98000 #constraints=8487
299.57/299.75	c nbDecision=98500 #constraints=8545
303.07/303.26	c nbDecision=99000 #constraints=8595
305.47/305.64	c nbDecision=99500 #constraints=8637
307.67/307.81	c nbDecision=100000 #constraints=8676
310.08/310.30	c nbDecision=100500 #constraints=8719
313.87/314.08	c nbDecision=101000 #constraints=8770
318.97/319.11	c nbDecision=101500 #constraints=8846
320.46/320.70	c nbDecision=102000 #constraints=8869
322.46/322.65	c restart after 102401 decisions
326.56/326.71	c nbDecision=102500 #constraints=8891
329.06/329.24	c nbDecision=103000 #constraints=8901
332.46/332.65	c nbDecision=103500 #constraints=9012
335.96/336.13	c nbDecision=104000 #constraints=9091
338.96/339.15	c nbDecision=104500 #constraints=9125
342.66/342.80	c nbDecision=105000 #constraints=9168
345.95/346.11	c nbDecision=105500 #constraints=9207
349.96/350.18	c nbDecision=106000 #constraints=9254
352.96/353.15	c nbDecision=106500 #constraints=9298
355.95/356.18	c nbDecision=107000 #constraints=9343
359.65/359.86	c nbDecision=107500 #constraints=9387
362.55/362.75	c nbDecision=108000 #constraints=9425
367.25/367.50	c nbDecision=108500 #constraints=9483
370.84/371.08	c nbDecision=109000 #constraints=9534
374.95/375.11	c nbDecision=109500 #constraints=9611
378.94/379.10	c nbDecision=110000 #constraints=9670
383.04/383.22	c nbDecision=110500 #constraints=9735
386.24/386.41	c nbDecision=111000 #constraints=9774
389.74/389.92	c nbDecision=111500 #constraints=9815
392.64/392.84	c nbDecision=112000 #constraints=9850
396.54/396.72	c nbDecision=112500 #constraints=9894
399.73/399.91	c nbDecision=113000 #constraints=9932
404.13/404.35	c nbDecision=113500 #constraints=9991
407.44/407.67	c nbDecision=114000 #constraints=10029
410.43/410.60	c nbDecision=114500 #constraints=10066
413.33/413.55	c nbDecision=115000 #constraints=10108
415.93/416.11	c nbDecision=115500 #constraints=10150
419.63/419.80	c nbDecision=116000 #constraints=10207
422.03/422.27	c nbDecision=116500 #constraints=10238
426.23/426.40	c nbDecision=117000 #constraints=10290
430.42/430.64	c nbDecision=117500 #constraints=10369
434.12/434.39	c nbDecision=118000 #constraints=10586
440.83/441.10	c nbDecision=118500 #constraints=10961
442.82/443.06	c nbDecision=119000 #constraints=11022
448.32/448.50	c nbDecision=119500 #constraints=11140
454.12/454.33	c nbDecision=120000 #constraints=11260
456.92/457.12	c nbDecision=120500 #constraints=11305
459.21/459.47	c nbDecision=121000 #constraints=11339
461.71/461.92	c nbDecision=121500 #constraints=11369
464.71/464.98	c nbDecision=122000 #constraints=11408
467.41/467.67	c nbDecision=122500 #constraints=11439
470.01/470.20	c nbDecision=123000 #constraints=11472
472.81/473.01	c nbDecision=123500 #constraints=11508
475.21/475.43	c nbDecision=124000 #constraints=11539
478.21/478.43	c nbDecision=124500 #constraints=11579
481.20/481.40	c nbDecision=125000 #constraints=11617
483.90/484.12	c nbDecision=125500 #constraints=11652
486.31/486.53	c nbDecision=126000 #constraints=11691
488.90/489.11	c nbDecision=126500 #constraints=11727
492.00/492.20	c nbDecision=127000 #constraints=11765
494.09/494.33	c nbDecision=127500 #constraints=11797
496.50/496.74	c nbDecision=128000 #constraints=11832
498.70/498.91	c nbDecision=128500 #constraints=11864
501.40/501.67	c nbDecision=129000 #constraints=11899
504.10/504.32	c nbDecision=129500 #constraints=11937
506.30/506.54	c nbDecision=130000 #constraints=11967
509.49/509.71	c nbDecision=130500 #constraints=12009
512.09/512.32	c nbDecision=131000 #constraints=12047
514.88/515.17	c nbDecision=131500 #constraints=12087
517.59/517.81	c nbDecision=132000 #constraints=12122
519.79/520.01	c nbDecision=132500 #constraints=12154
522.29/522.53	c nbDecision=133000 #constraints=12192
524.69/524.95	c nbDecision=133500 #constraints=12226
527.59/527.88	c nbDecision=134000 #constraints=12258
530.38/530.66	c nbDecision=134500 #constraints=12293
532.98/533.29	c nbDecision=135000 #constraints=12333
536.08/536.33	c nbDecision=135500 #constraints=12372
538.98/539.27	c nbDecision=136000 #constraints=12408
542.18/542.46	c nbDecision=136500 #constraints=12450
545.08/545.30	c nbDecision=137000 #constraints=12485
547.67/547.98	c nbDecision=137500 #constraints=12520
550.17/550.41	c nbDecision=138000 #constraints=12552
553.98/554.20	c nbDecision=138500 #constraints=12595
556.97/557.24	c nbDecision=139000 #constraints=12636
559.87/560.16	c nbDecision=139500 #constraints=12665
564.17/564.43	c nbDecision=140000 #constraints=12707
568.37/568.68	c nbDecision=140500 #constraints=12760
574.07/574.33	c nbDecision=141000 #constraints=12838
578.56/578.81	c nbDecision=141500 #constraints=12894
587.06/587.32	c nbDecision=142000 #constraints=13019
591.66/592.00	c nbDecision=142500 #constraints=13074
595.26/595.53	c nbDecision=143000 #constraints=13115
598.55/598.80	c nbDecision=143500 #constraints=13157
602.26/602.56	c nbDecision=144000 #constraints=13202
606.06/606.39	c nbDecision=144500 #constraints=13242
610.16/610.44	c nbDecision=145000 #constraints=13288
613.45/613.72	c nbDecision=145500 #constraints=13326
616.25/616.59	c nbDecision=146000 #constraints=13358
619.35/619.67	c nbDecision=146500 #constraints=13394
622.05/622.33	c nbDecision=147000 #constraints=13426
625.05/625.31	c nbDecision=147500 #constraints=13460
627.85/628.17	c nbDecision=148000 #constraints=13492
630.64/630.95	c nbDecision=148500 #constraints=13526
633.94/634.21	c nbDecision=149000 #constraints=13561
636.54/636.86	c nbDecision=149500 #constraints=13592
639.44/639.72	c nbDecision=150000 #constraints=13663
647.24/647.52	c nbDecision=150500 #constraints=13745
654.73/655.02	c nbDecision=151000 #constraints=13831
658.63/658.98	c nbDecision=151500 #constraints=13882
662.53/662.85	c nbDecision=152000 #constraints=13927
665.43/665.75	c nbDecision=152500 #constraints=13964
670.03/670.30	c nbDecision=153000 #constraints=14011
673.13/673.41	c nbDecision=153500 #constraints=14049
675.33/675.65	c nbDecision=154000 #constraints=14081
678.13/678.44	c nbDecision=154500 #constraints=14117
680.83/681.13	c nbDecision=155000 #constraints=14152
684.02/684.31	c nbDecision=155500 #constraints=14190
686.52/686.90	c nbDecision=156000 #constraints=14222
691.12/691.40	c nbDecision=156500 #constraints=14279
693.42/693.78	c nbDecision=157000 #constraints=14307
697.91/698.21	c nbDecision=157500 #constraints=14359
701.82/702.13	c nbDecision=158000 #constraints=14396
705.11/705.47	c nbDecision=158500 #constraints=14433
711.22/711.53	c nbDecision=159000 #constraints=14499
714.62/714.93	c nbDecision=159500 #constraints=14539
717.01/717.37	c nbDecision=160000 #constraints=14573
719.71/720.05	c nbDecision=160500 #constraints=14607
723.31/723.61	c nbDecision=161000 #constraints=14649
725.90/726.28	c nbDecision=161500 #constraints=14681
730.31/730.64	c nbDecision=162000 #constraints=14733
732.71/733.01	c nbDecision=162500 #constraints=14766
737.20/737.57	c nbDecision=163000 #constraints=14816
740.70/741.05	c nbDecision=163500 #constraints=14857
743.91/744.20	c nbDecision=164000 #constraints=14894
748.10/748.46	c nbDecision=164500 #constraints=14945
751.90/752.26	c nbDecision=165000 #constraints=14989
755.70/756.02	c nbDecision=165500 #constraints=15030
758.60/758.92	c nbDecision=166000 #constraints=15062
763.49/763.85	c nbDecision=166500 #constraints=15110
767.10/767.45	c nbDecision=167000 #constraints=15146
770.59/770.95	c nbDecision=167500 #constraints=15186
774.39/774.76	c nbDecision=168000 #constraints=15224
777.88/778.23	c nbDecision=168500 #constraints=15255
781.28/781.64	c nbDecision=169000 #constraints=15294
785.09/785.46	c nbDecision=169500 #constraints=15334
788.68/789.02	c nbDecision=170000 #constraints=15368
791.79/792.10	c nbDecision=170500 #constraints=15402
794.79/795.12	c nbDecision=171000 #constraints=15437
797.68/798.05	c nbDecision=171500 #constraints=15470
801.58/801.95	c nbDecision=172000 #constraints=15510
804.78/805.16	c nbDecision=172500 #constraints=15546
808.18/808.53	c nbDecision=173000 #constraints=15582
814.57/814.90	c nbDecision=173500 #constraints=15674
822.07/822.41	c nbDecision=174000 #constraints=15749
831.27/831.63	c nbDecision=174500 #constraints=15835
837.16/837.51	c nbDecision=175000 #constraints=15884
842.36/842.76	c nbDecision=175500 #constraints=15933
848.26/848.67	c nbDecision=176000 #constraints=15987
855.06/855.45	c nbDecision=176500 #constraints=16044
861.06/861.41	c nbDecision=177000 #constraints=16093
867.65/868.07	c nbDecision=177500 #constraints=16140
874.25/874.66	c nbDecision=178000 #constraints=16192
880.35/880.70	c nbDecision=178500 #constraints=16236
887.94/888.30	c nbDecision=179000 #constraints=16295
894.64/895.07	c nbDecision=179500 #constraints=16345
899.04/899.43	c nbDecision=180000 #constraints=16377
904.94/905.34	c nbDecision=180500 #constraints=16417
910.74/911.17	c nbDecision=181000 #constraints=16462
917.64/918.09	c nbDecision=181500 #constraints=16514
923.13/923.54	c nbDecision=182000 #constraints=16554
929.13/929.57	c nbDecision=182500 #constraints=16604
935.53/935.94	c nbDecision=183000 #constraints=16657
941.53/941.93	c nbDecision=183500 #constraints=16703
945.92/946.36	c nbDecision=184000 #constraints=16733
951.62/952.02	c nbDecision=184500 #constraints=16774
958.72/959.18	c nbDecision=185000 #constraints=16830
967.71/968.10	c nbDecision=185500 #constraints=16908
973.61/974.10	c nbDecision=186000 #constraints=16953
978.51/978.95	c nbDecision=186500 #constraints=16985
984.70/985.17	c nbDecision=187000 #constraints=17032
989.31/989.78	c nbDecision=187500 #constraints=17064
995.00/995.42	c nbDecision=188000 #constraints=17105
1000.51/1000.98	c nbDecision=188500 #constraints=17145
1005.40/1005.80	c nbDecision=189000 #constraints=17180
1011.80/1012.23	c nbDecision=189500 #constraints=17226
1017.10/1017.55	c nbDecision=190000 #constraints=17266
1021.79/1022.29	c nbDecision=190500 #constraints=17301
1027.69/1028.13	c nbDecision=191000 #constraints=17340
1032.99/1033.46	c nbDecision=191500 #constraints=17380
1039.19/1039.65	c nbDecision=192000 #constraints=17423
1045.69/1046.18	c nbDecision=192500 #constraints=17473
1052.68/1053.17	c nbDecision=193000 #constraints=17527
1061.08/1061.58	c nbDecision=193500 #constraints=17595
1067.18/1067.67	c nbDecision=194000 #constraints=17640
1072.67/1073.15	c nbDecision=194500 #constraints=17677
1078.37/1078.85	c nbDecision=195000 #constraints=17720
1086.28/1086.72	c nbDecision=195500 #constraints=17768
1099.76/1100.27	c nbDecision=196000 #constraints=17886
1109.96/1110.44	c nbDecision=196500 #constraints=17962
1117.76/1118.30	c nbDecision=197000 #constraints=18034
1124.46/1124.93	c nbDecision=197500 #constraints=18094
1131.65/1132.18	c nbDecision=198000 #constraints=18149
1138.94/1139.43	c nbDecision=198500 #constraints=18197
1146.35/1146.89	c nbDecision=199000 #constraints=18248
1150.74/1151.27	c nbDecision=199500 #constraints=18284
1156.04/1156.53	c nbDecision=200000 #constraints=18323
1163.04/1163.59	c nbDecision=200500 #constraints=18373
1172.23/1172.71	c nbDecision=201000 #constraints=18448
1176.93/1177.46	c nbDecision=201500 #constraints=18483
1185.23/1185.79	c nbDecision=202000 #constraints=18547
1190.43/1190.96	c nbDecision=202500 #constraints=18582
1194.42/1194.96	c nbDecision=203000 #constraints=18614
1202.32/1202.89	c nbDecision=203500 #constraints=18673
1207.52/1208.09	c nbDecision=204000 #constraints=18708
1213.92/1214.45	c nbDecision=204500 #constraints=18758
1218.61/1219.12	c restart after 204801 decisions
1232.71/1233.28	c nbDecision=205000 #constraints=18789
1235.81/1236.34	c nbDecision=205500 #constraints=18824
1243.81/1244.39	c nbDecision=206000 #constraints=18878
1248.81/1249.35	c nbDecision=206500 #constraints=18907
1261.00/1261.52	c nbDecision=207000 #constraints=18994
1271.00/1271.55	c nbDecision=207500 #constraints=19078
1281.09/1281.69	c nbDecision=208000 #constraints=19154
1291.79/1292.33	c nbDecision=208500 #constraints=19237
1296.19/1296.74	c nbDecision=209000 #constraints=19275
1299.89/1300.49	c nbDecision=209500 #constraints=19305
1305.88/1306.44	c nbDecision=210000 #constraints=19346
1311.69/1312.25	c nbDecision=210500 #constraints=19397
1317.08/1317.64	c nbDecision=211000 #constraints=19439
1323.98/1324.57	c nbDecision=211500 #constraints=19491
1330.38/1330.92	c nbDecision=212000 #constraints=19527
1335.37/1335.96	c nbDecision=212500 #constraints=19563
1340.67/1341.21	c nbDecision=213000 #constraints=19596
1344.67/1345.28	c nbDecision=213500 #constraints=19625
1350.57/1351.13	c nbDecision=214000 #constraints=19670
1355.17/1355.71	c nbDecision=214500 #constraints=19703
1360.66/1361.27	c nbDecision=215000 #constraints=19737
1365.86/1366.42	c nbDecision=215500 #constraints=19773
1369.86/1370.43	c nbDecision=216000 #constraints=19804
1374.25/1374.84	c nbDecision=216500 #constraints=19835
1388.76/1389.32	c nbDecision=217000 #constraints=20044
1398.35/1398.94	c nbDecision=217500 #constraints=20105
1404.64/1405.24	c nbDecision=218000 #constraints=20137
1411.44/1412.06	c nbDecision=218500 #constraints=20172
1417.05/1417.66	c nbDecision=219000 #constraints=20201
1421.84/1422.48	c nbDecision=219500 #constraints=20227
1426.54/1427.19	c nbDecision=220000 #constraints=20256
1436.44/1437.10	c nbDecision=220500 #constraints=20341
1444.43/1445.01	c nbDecision=221000 #constraints=20389
1453.13/1453.77	c nbDecision=221500 #constraints=20442
1457.23/1457.81	c nbDecision=222000 #constraints=20465
1465.53/1466.16	c nbDecision=222500 #constraints=20516
1473.72/1474.33	c nbDecision=223000 #constraints=20562
1481.72/1482.33	c nbDecision=223500 #constraints=20604
1491.21/1491.85	c nbDecision=224000 #constraints=20653
1504.71/1505.36	c nbDecision=224500 #constraints=20724
1512.80/1513.47	c nbDecision=225000 #constraints=20785
1517.20/1517.89	c nbDecision=225500 #constraints=20816
1521.51/1522.13	c nbDecision=226000 #constraints=20849
1526.31/1526.96	c nbDecision=226500 #constraints=20882
1532.71/1533.33	c nbDecision=227000 #constraints=20919
1539.60/1540.23	c nbDecision=227500 #constraints=20955
1548.10/1548.74	c nbDecision=228000 #constraints=21013
1554.59/1555.25	c nbDecision=228500 #constraints=21066
1560.49/1561.19	c nbDecision=229000 #constraints=21116
1566.29/1566.93	c nbDecision=229500 #constraints=21152
1571.29/1571.98	c nbDecision=230000 #constraints=21180
1577.89/1578.57	c nbDecision=230500 #constraints=21220
1583.88/1584.56	c nbDecision=231000 #constraints=21261
1589.38/1590.00	c nbDecision=231500 #constraints=21296
1594.07/1594.78	c nbDecision=232000 #constraints=21326
1600.58/1601.29	c nbDecision=232500 #constraints=21393
1607.47/1608.18	c nbDecision=233000 #constraints=21442
1630.37/1631.05	c nbDecision=233500 #constraints=21629
1637.36/1638.01	c nbDecision=234000 #constraints=21665
1641.66/1642.34	c nbDecision=234500 #constraints=21701
1654.75/1655.47	c nbDecision=235000 #constraints=21794
1666.75/1667.43	c nbDecision=235500 #constraints=21873
1675.44/1676.13	c nbDecision=236000 #constraints=21931
1679.15/1679.90	c nbDecision=236500 #constraints=21958
1683.05/1683.71	c nbDecision=237000 #constraints=21984
1688.24/1688.94	c nbDecision=237500 #constraints=22015
1693.04/1693.77	c nbDecision=238000 #constraints=22042
1698.74/1699.48	c nbDecision=238500 #constraints=22076
1702.93/1703.65	c nbDecision=239000 #constraints=22107
1707.33/1708.09	c nbDecision=239500 #constraints=22138
1712.43/1713.17	c nbDecision=240000 #constraints=22169
1718.73/1719.41	c nbDecision=240500 #constraints=22208
1724.53/1725.21	c nbDecision=241000 #constraints=22239
1729.73/1730.49	c nbDecision=241500 #constraints=22269
1735.72/1736.42	c nbDecision=242000 #constraints=22305
1741.62/1742.32	c nbDecision=242500 #constraints=22340
1748.32/1749.01	c nbDecision=243000 #constraints=22376
1755.02/1755.77	c nbDecision=243500 #constraints=22412
1760.12/1760.88	c nbDecision=244000 #constraints=22441
1765.21/1765.92	c nbDecision=244500 #constraints=22472
1770.60/1771.34	c nbDecision=245000 #constraints=22501
1776.60/1777.31	c nbDecision=245500 #constraints=22533
1781.60/1782.32	c nbDecision=246000 #constraints=22562
1785.50/1786.21	c nbDecision=246500 #constraints=22587
1791.60/1792.30	c nbDecision=247000 #constraints=22624
1797.00/1797.72	c nbDecision=247500 #constraints=22654
1800.01/1800.70	Received signal 15
1800.30/1801.00	
1800.30/1801.00	s UNKNOWN
1800.30/1801.00	
1800.30/1801.00	c user time= 1799.16 s
1800.30/1801.00	c system time= 1.15182 s
1800.30/1801.00	c wall clock time=1801.01

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/node59/watcher-356939-1176848906 -o ROOT/results/node59/solver-356939-1176848906 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356939-1176848906/instance-356939-1176848906.opb mod 

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


[startup+0 s]
/proc/loadavg: 0.91 0.95 0.94 3/64 30401
/proc/meminfo: memFree=1833656/2055920 swapFree=4184740/4192956
[pid=30401] ppid=30399 vsize=1468 CPUtime=0
/proc/30401/stat : 30401 (oree) R 30399 30401 29246 0 -1 4194304 184 0 0 0 0 0 0 0 18 0 1 0 132800257 1503232 166 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134540728 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30401/statm: 367 167 131 317 0 46 0

[startup+0.0153851 s]
/proc/loadavg: 0.91 0.95 0.94 3/64 30401
/proc/meminfo: memFree=1833656/2055920 swapFree=4184740/4192956
[pid=30401] ppid=30399 vsize=1748 CPUtime=0.01
/proc/30401/stat : 30401 (oree) R 30399 30401 29246 0 -1 4194304 248 0 0 0 1 0 0 0 18 0 1 0 132800257 1789952 230 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30401/statm: 437 230 131 317 0 116 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 1748

[startup+0.101401 s]
/proc/loadavg: 0.91 0.95 0.94 3/64 30401
/proc/meminfo: memFree=1833656/2055920 swapFree=4184740/4192956
[pid=30401] ppid=30399 vsize=3520 CPUtime=0.09
/proc/30401/stat : 30401 (oree) R 30399 30401 29246 0 -1 4194304 679 0 0 0 9 0 0 0 18 0 1 0 132800257 3604480 661 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30401/statm: 880 661 131 317 0 559 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3520

[startup+0.301439 s]
/proc/loadavg: 0.91 0.95 0.94 3/64 30401
/proc/meminfo: memFree=1833656/2055920 swapFree=4184740/4192956
[pid=30401] ppid=30399 vsize=5216 CPUtime=0.29
/proc/30401/stat : 30401 (oree) R 30399 30401 29246 0 -1 4194304 1125 0 0 0 29 0 0 0 19 0 1 0 132800257 5341184 1107 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134752702 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30401/statm: 1304 1107 139 317 0 983 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5216

[startup+0.702515 s]
/proc/loadavg: 0.91 0.95 0.94 3/64 30401
/proc/meminfo: memFree=1833656/2055920 swapFree=4184740/4192956
[pid=30401] ppid=30399 vsize=5352 CPUtime=0.69
/proc/30401/stat : 30401 (oree) R 30399 30401 29246 0 -1 4194304 1140 0 0 0 69 0 0 0 22 0 1 0 132800257 5480448 1122 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606880 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30401/statm: 1338 1122 139 317 0 1017 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5352

[startup+1.50167 s]
/proc/loadavg: 0.91 0.95 0.94 2/65 30402
/proc/meminfo: memFree=1827824/2055920 swapFree=4184740/4192956
[pid=30401] ppid=30399 vsize=11256 CPUtime=1.49
/proc/30401/stat : 30401 (oree) R 30399 30401 29246 0 -1 4194304 2586 0 0 0 148 1 0 0 25 0 1 0 132800257 11526144 2568 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30401/statm: 2814 2568 170 317 0 2493 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 11256

[startup+3.10197 s]
/proc/loadavg: 0.91 0.95 0.94 2/65 30402
/proc/meminfo: memFree=1821616/2055920 swapFree=4184740/4192956
[pid=30401] ppid=30399 vsize=19740 CPUtime=3.1
/proc/30401/stat : 30401 (oree) R 30399 30401 29246 0 -1 4194304 4618 0 0 0 308 2 0 0 25 0 1 0 132800257 20213760 4600 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713835 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30401/statm: 4935 4600 170 317 0 4614 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 19740

[startup+6.30158 s]
/proc/loadavg: 0.92 0.95 0.94 2/65 30402
/proc/meminfo: memFree=1805488/2055920 swapFree=4184740/4192956
[pid=30401] ppid=30399 vsize=34908 CPUtime=6.29
/proc/30401/stat : 30401 (oree) R 30399 30401 29246 0 -1 4194304 8339 0 0 0 626 3 0 0 25 0 1 0 132800257 35745792 8321 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30401/statm: 8727 8321 170 317 0 8406 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 34908

[startup+12.7018 s]
/proc/loadavg: 0.93 0.95 0.94 2/65 30402
/proc/meminfo: memFree=1782584/2055920 swapFree=4184740/4192956
[pid=30401] ppid=30399 vsize=57204 CPUtime=12.69
/proc/30401/stat : 30401 (oree) R 30399 30401 29246 0 -1 4194304 13454 0 0 0 1264 5 0 0 25 0 1 0 132800257 58576896 13436 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284505 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30401/statm: 14301 13436 170 317 0 13980 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 57204

[startup+25.5012 s]
/proc/loadavg: 0.94 0.96 0.94 2/65 30402
/proc/meminfo: memFree=1752184/2055920 swapFree=4184740/4192956
[pid=30401] ppid=30399 vsize=85932 CPUtime=25.48
/proc/30401/stat : 30401 (oree) R 30399 30401 29246 0 -1 4194304 20534 0 0 0 2541 7 0 0 25 0 1 0 132800257 87994368 20516 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564040 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30401/statm: 21483 20516 170 317 0 21162 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 85932

[startup+51.1011 s]
/proc/loadavg: 0.96 0.96 0.94 2/65 30402
/proc/meminfo: memFree=1705272/2055920 swapFree=4184740/4192956
[pid=30401] ppid=30399 vsize=137572 CPUtime=51.07
/proc/30401/stat : 30401 (oree) R 30399 30401 29246 0 -1 4194304 32591 0 0 0 5096 11 0 0 25 0 1 0 132800257 140873728 32573 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284135 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30401/statm: 34393 32573 170 317 0 34072 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 137572

[startup+102.306 s]
/proc/loadavg: 0.98 0.96 0.94 2/65 30402
/proc/meminfo: memFree=1633464/2055920 swapFree=4184740/4192956
[pid=30401] ppid=30399 vsize=210904 CPUtime=102.26
/proc/30401/stat : 30401 (oree) R 30399 30401 29246 0 -1 4194304 50054 0 0 0 10206 20 0 0 25 0 1 0 132800257 215965696 50036 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30401/statm: 52726 50036 170 317 0 52405 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 210904

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.94 2/65 30402
/proc/meminfo: memFree=1571448/2055920 swapFree=4184740/4192956
[pid=30401] ppid=30399 vsize=284860 CPUtime=162.23
/proc/30401/stat : 30401 (oree) R 30399 30401 29246 0 -1 4194304 65601 0 0 0 16195 28 0 0 25 0 1 0 132800257 291696640 65583 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30401/statm: 71215 65583 170 317 0 70894 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 284860

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.94 2/65 30402
/proc/meminfo: memFree=1526520/2055920 swapFree=4184740/4192956
[pid=30401] ppid=30399 vsize=333412 CPUtime=222.21
/proc/30401/stat : 30401 (oree) R 30399 30401 29246 0 -1 4194304 76720 0 0 0 22187 34 0 0 25 0 1 0 132800257 341413888 76702 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711137 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30401/statm: 83353 76702 170 317 0 83032 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 333412

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.94 2/65 30402
/proc/meminfo: memFree=1480184/2055920 swapFree=4184740/4192956
[pid=30401] ppid=30399 vsize=385936 CPUtime=282.17
/proc/30401/stat : 30401 (oree) R 30399 30401 29246 0 -1 4194304 88382 0 0 0 28179 38 0 0 25 0 1 0 132800257 395198464 88364 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135271379 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30401/statm: 96484 88364 170 317 0 96163 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 385936

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.94 2/65 30402
/proc/meminfo: memFree=1444024/2055920 swapFree=4184740/4192956
[pid=30401] ppid=30399 vsize=431984 CPUtime=342.16
/proc/30401/stat : 30401 (oree) R 30399 30401 29246 0 -1 4194304 97898 0 0 0 34173 43 0 0 25 0 1 0 132800257 442351616 97822 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30401/statm: 107996 97822 170 317 0 107675 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 431984

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.94 2/65 30402
/proc/meminfo: memFree=1402744/2055920 swapFree=4184740/4192956
[pid=30401] ppid=30399 vsize=480252 CPUtime=402.13
/proc/30401/stat : 30401 (oree) R 30399 30401 29246 0 -1 4194304 107689 0 0 0 40167 46 0 0 25 0 1 0 132800257 491778048 107613 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30401/statm: 120063 107613 170 317 0 119742 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 480252

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.94 2/65 30402
/proc/meminfo: memFree=1341752/2055920 swapFree=4184740/4192956
[pid=30401] ppid=30399 vsize=551312 CPUtime=462.11
/proc/30401/stat : 30401 (oree) R 30399 30401 29246 0 -1 4194304 122883 0 0 0 46158 53 0 0 25 0 1 0 132800257 564543488 122807 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563634 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30401/statm: 137828 122807 170 317 0 137507 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 551312

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.94 2/65 30402
/proc/meminfo: memFree=1297720/2055920 swapFree=4184740/4192956
[pid=30401] ppid=30399 vsize=599780 CPUtime=522.08
/proc/30401/stat : 30401 (oree) R 30399 30401 29246 0 -1 4194304 134117 0 0 0 52150 58 0 0 25 0 1 0 132800257 614174720 134041 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30401/statm: 149945 134041 170 317 0 149624 0
Current children cumulated CPU time (s) 522.08
Current children cumulated vsize (KiB) 599780

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.94 2/65 30402
/proc/meminfo: memFree=1257720/2055920 swapFree=4184740/4192956
[pid=30401] ppid=30399 vsize=640792 CPUtime=582.06
/proc/30401/stat : 30401 (oree) R 30399 30401 29246 0 -1 4194304 143908 0 0 0 58144 62 0 0 25 0 1 0 132800257 656171008 143832 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30401/statm: 160198 143832 170 317 0 159877 0
Current children cumulated CPU time (s) 582.06
Current children cumulated vsize (KiB) 640792

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.94 2/65 30402
/proc/meminfo: memFree=1215672/2055920 swapFree=4184740/4192956
[pid=30401] ppid=30399 vsize=687620 CPUtime=642.05
/proc/30401/stat : 30401 (oree) R 30399 30401 29246 0 -1 4194304 154258 0 0 0 64139 66 0 0 25 0 1 0 132800257 704122880 154182 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30401/statm: 171905 154182 170 317 0 171584 0
Current children cumulated CPU time (s) 642.05
Current children cumulated vsize (KiB) 687620


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

[startup+942.302 s]
/proc/loadavg: 0.99 0.97 0.94 2/65 30404
/proc/meminfo: memFree=1055480/2055920 swapFree=4184740/4192956
[pid=30401] ppid=30399 vsize=863780 CPUtime=941.93
/proc/30401/stat : 30401 (oree) R 30399 30401 29246 0 -1 4194304 194318 0 0 0 94109 84 0 0 25 0 1 0 132800257 884510720 194127 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30401/statm: 215945 194127 170 317 0 215624 0
Current children cumulated CPU time (s) 941.93
Current children cumulated vsize (KiB) 863780

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.94 2/65 30404
/proc/meminfo: memFree=1038520/2055920 swapFree=4184740/4192956
[pid=30401] ppid=30399 vsize=878928 CPUtime=1001.9
/proc/30401/stat : 30401 (oree) R 30399 30401 29246 0 -1 4194304 198582 0 0 0 100103 87 0 0 25 0 1 0 132800257 900022272 198391 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30401/statm: 219732 198391 170 317 0 219411 0
Current children cumulated CPU time (s) 1001.9
Current children cumulated vsize (KiB) 878928

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.94 2/65 30404
/proc/meminfo: memFree=1021752/2055920 swapFree=4184740/4192956
[pid=30401] ppid=30399 vsize=893884 CPUtime=1061.88
/proc/30401/stat : 30401 (oree) R 30399 30401 29246 0 -1 4194304 202805 0 0 0 106099 89 0 0 25 0 1 0 132800257 915337216 202614 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30401/statm: 223471 202614 170 317 0 223150 0
Current children cumulated CPU time (s) 1061.88
Current children cumulated vsize (KiB) 893884

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.94 2/65 30404
/proc/meminfo: memFree=1001528/2055920 swapFree=4184740/4192956
[pid=30401] ppid=30399 vsize=921832 CPUtime=1121.86
/proc/30401/stat : 30401 (oree) R 30399 30401 29246 0 -1 4194304 209019 0 0 0 112094 92 0 0 25 0 1 0 132800257 943955968 208267 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30401/statm: 230458 208267 170 317 0 230137 0
Current children cumulated CPU time (s) 1121.86
Current children cumulated vsize (KiB) 921832

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.94 2/65 30404
/proc/meminfo: memFree=972472/2055920 swapFree=4184740/4192956
[pid=30401] ppid=30399 vsize=971140 CPUtime=1181.83
/proc/30401/stat : 30401 (oree) R 30399 30401 29246 0 -1 4194304 218860 0 0 0 118088 95 0 0 25 0 1 0 132800257 994447360 214940 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30401/statm: 242785 214940 170 317 0 242464 0
Current children cumulated CPU time (s) 1181.83
Current children cumulated vsize (KiB) 971140

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.94 2/65 30404
/proc/meminfo: memFree=959608/2055920 swapFree=4184740/4192956
[pid=30401] ppid=30399 vsize=982888 CPUtime=1241.8
/proc/30401/stat : 30401 (oree) R 30399 30401 29246 0 -1 4194304 221984 0 0 0 124084 96 0 0 25 0 1 0 132800257 1006477312 218031 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30401/statm: 245722 218031 170 317 0 245401 0
Current children cumulated CPU time (s) 1241.8
Current children cumulated vsize (KiB) 982888

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.94 2/65 30404
/proc/meminfo: memFree=936184/2055920 swapFree=4184740/4192956
[pid=30401] ppid=30399 vsize=1011688 CPUtime=1301.79
/proc/30401/stat : 30401 (oree) R 30399 30401 29246 0 -1 4194304 227953 0 0 0 130080 99 0 0 25 0 1 0 132800257 1035968512 223868 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604365 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30401/statm: 252922 223868 170 317 0 252601 0
Current children cumulated CPU time (s) 1301.79
Current children cumulated vsize (KiB) 1011688

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.94 2/65 30404
/proc/meminfo: memFree=915256/2055920 swapFree=4184740/4192956
[pid=30401] ppid=30399 vsize=1040464 CPUtime=1361.77
/proc/30401/stat : 30401 (oree) R 30399 30401 29246 0 -1 4194304 234261 0 0 0 136076 101 0 0 25 0 1 0 132800257 1065435136 229120 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30401/statm: 260116 229120 170 317 0 259795 0
Current children cumulated CPU time (s) 1361.77
Current children cumulated vsize (KiB) 1040464

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.94 2/65 30404
/proc/meminfo: memFree=898360/2055920 swapFree=4184740/4192956
[pid=30401] ppid=30399 vsize=1057860 CPUtime=1421.75
/proc/30401/stat : 30401 (oree) R 30399 30401 29246 0 -1 4194304 238518 0 0 0 142072 103 0 0 25 0 1 0 132800257 1083248640 233278 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564080 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30401/statm: 264465 233278 170 317 0 264144 0
Current children cumulated CPU time (s) 1421.75
Current children cumulated vsize (KiB) 1057860

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.94 2/65 30404
/proc/meminfo: memFree=880632/2055920 swapFree=4184740/4192956
[pid=30401] ppid=30399 vsize=1079500 CPUtime=1481.72
/proc/30401/stat : 30401 (oree) R 30399 30401 29246 0 -1 4194304 243369 0 0 0 148067 105 0 0 25 0 1 0 132800257 1105408000 237733 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30401/statm: 269875 237733 170 317 0 269554 0
Current children cumulated CPU time (s) 1481.72
Current children cumulated vsize (KiB) 1079500

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.94 2/65 30404
/proc/meminfo: memFree=864056/2055920 swapFree=4184740/4192956
[pid=30401] ppid=30399 vsize=1098296 CPUtime=1541.7
/proc/30401/stat : 30401 (oree) R 30399 30401 29246 0 -1 4194304 247497 0 0 0 154063 107 0 0 25 0 1 0 132800257 1124655104 241861 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30401/statm: 274574 241861 170 317 0 274253 0
Current children cumulated CPU time (s) 1541.7
Current children cumulated vsize (KiB) 1098296

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.94 2/65 30404
/proc/meminfo: memFree=844280/2055920 swapFree=4184740/4192956
[pid=30401] ppid=30399 vsize=1121276 CPUtime=1601.67
/proc/30401/stat : 30401 (oree) R 30399 30401 29246 0 -1 4194304 252599 0 0 0 160058 109 0 0 25 0 1 0 132800257 1148186624 246864 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563625 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30401/statm: 280319 246864 170 317 0 279998 0
Current children cumulated CPU time (s) 1601.67
Current children cumulated vsize (KiB) 1121276

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.94 2/65 30404
/proc/meminfo: memFree=821112/2055920 swapFree=4184740/4192956
[pid=30401] ppid=30399 vsize=1145980 CPUtime=1661.65
/proc/30401/stat : 30401 (oree) R 30399 30401 29246 0 -1 4194304 258313 0 0 0 166054 111 0 0 25 0 1 0 132800257 1173483520 252545 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30401/statm: 286495 252545 170 317 0 286174 0
Current children cumulated CPU time (s) 1661.65
Current children cumulated vsize (KiB) 1145980

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.94 2/65 30404
/proc/meminfo: memFree=804664/2055920 swapFree=4184740/4192956
[pid=30401] ppid=30399 vsize=1162660 CPUtime=1721.63
/proc/30401/stat : 30401 (oree) R 30399 30401 29246 0 -1 4194304 262496 0 0 0 172050 113 0 0 25 0 1 0 132800257 1190563840 256695 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30401/statm: 290665 256695 170 317 0 290344 0
Current children cumulated CPU time (s) 1721.63
Current children cumulated vsize (KiB) 1162660

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.94 2/65 30404
/proc/meminfo: memFree=790712/2055920 swapFree=4184740/4192956
[pid=30401] ppid=30399 vsize=1174812 CPUtime=1781.6
/proc/30401/stat : 30401 (oree) R 30399 30401 29246 0 -1 4194304 265982 0 0 0 178046 114 0 0 25 0 1 0 132800257 1203007488 260148 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30401/statm: 293703 260148 170 317 0 293382 0
Current children cumulated CPU time (s) 1781.6
Current children cumulated vsize (KiB) 1174812



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 0.99 0.97 0.94 2/65 30404
/proc/meminfo: memFree=786232/2055920 swapFree=4184740/4192956
[pid=30401] ppid=30399 vsize=1178848 CPUtime=1800.01
/proc/30401/stat : 30401 (oree) R 30399 30401 29246 0 -1 4194304 267098 0 0 0 179886 115 0 0 25 0 1 0 132800257 1207140352 261231 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30401/statm: 294712 261231 170 317 0 294391 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1178848

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

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

[startup+1801 s]
/proc/loadavg: 0.99 0.97 0.94 2/65 30404
/proc/meminfo: memFree=786232/2055920 swapFree=4184740/4192956
[pid=30401] ppid=30399 vsize=1178984 CPUtime=1800.3
/proc/30401/stat : 30401 (oree) R 30399 30401 29246 0 -1 4194304 267122 0 0 0 179915 115 0 0 25 0 1 0 132800257 1207279616 261255 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30401/statm: 294746 261255 170 317 0 294425 0
Current children cumulated CPU time (s) 1800.3
Current children cumulated vsize (KiB) 1178984

[startup+1801.1 s]
/proc/loadavg: 0.99 0.97 0.94 2/65 30404
/proc/meminfo: memFree=786232/2055920 swapFree=4184740/4192956
[pid=30401] ppid=30399 vsize=0 CPUtime=1800.39
/proc/30401/stat : 30401 (oree) R 30399 30401 29246 0 -1 4194308 267138 0 0 0 179916 123 0 0 25 0 1 0 132800257 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30401/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.39
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1801.19
CPU time (s): 1800.49
CPU user time (s): 1799.17
CPU system time (s): 1.3238
CPU usage (%): 99.9614
Max. virtual memory (cumulated for all children) (KiB): 1178984

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

runsolver used 1.19182 second user time and 3.76643 second system time

The end

Launcher Data (download as text)

Begin job on node59 on Tue Apr 17 22:28:26 UTC 2007

IDJOB= 356939
IDBENCH= 1663
IDSOLVER= 172
FILE ID= node59/356939-1176848906

PBS_JOBID= 4590171

Free space on /tmp= 66342 MiB

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

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  76d897d8437070b9cbeb866c2620c3bc

RANDOM SEED= 85849764

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node59.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.268
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.268
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:       1834128 kB
Buffers:         15244 kB
Cached:         147200 kB
SwapCached:       2252 kB
Active:          34976 kB
Inactive:       137192 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1834128 kB
SwapTotal:     4192956 kB
SwapFree:      4184740 kB
Dirty:            1600 kB
Writeback:           0 kB
Mapped:          16688 kB
Slab:            35648 kB
Committed_AS:  1578708 kB
PageTables:       1472 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= 66342 MiB

End job on node59 on Tue Apr 17 22:58:29 UTC 2007