Trace number 356875

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.15 1800.88

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-reduced-mps-v2-20-10-qap10.opb
MD5SUMcba28129e4f6f6eef01b4dc927adb1b9
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark29
Best CPU time to get the best result obtained on this benchmark1782.78
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 29
Optimality of the best value was proved NO
Number of variables83000
Total number of constraints1820
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 constraints1820
Minimum length of a constraint200
Maximum length of a constraint200
Number of terms in the objective function 52200
Biggest coefficient in the objective function 570
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 564062
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 26215
Number of bits of the biggest number in a constraint 15
Biggest sum of numbers in a constraint 564062
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...
1.29/1.38	c ...done
1.29/1.38	c #vars=83000 #constraints=3641 hasObjective=yes
2.39/2.47	c res. mode=mod
2.39/2.47	c VSIDS like heuristics
2.39/2.47	c complete search running
4.29/4.37	c restart after 401 decisions
4.59/4.65	c nbDecision=500 #constraints=4079
5.50/5.51	c restart after 801 decisions
5.99/6.08	c nbDecision=1000 #constraints=4508
7.39/7.49	c nbDecision=1500 #constraints=4906
7.69/7.79	c restart after 1601 decisions
8.89/8.99	c nbDecision=2000 #constraints=5308
10.39/10.48	c nbDecision=2500 #constraints=5664
11.99/12.06	c nbDecision=3000 #constraints=6055
12.69/12.72	c restart after 3201 decisions
13.59/13.68	c nbDecision=3500 #constraints=6442
15.19/15.29	c nbDecision=4000 #constraints=6801
16.98/17.03	c nbDecision=4500 #constraints=7207
18.69/18.78	c nbDecision=5000 #constraints=7583
20.18/20.29	c nbDecision=5500 #constraints=7947
21.68/21.70	c nbDecision=6000 #constraints=8269
22.68/22.77	c restart after 6401 decisions
23.08/23.16	c nbDecision=6500 #constraints=8601
25.19/25.20	c nbDecision=7000 #constraints=8999
27.08/27.11	c nbDecision=7500 #constraints=9326
29.08/29.15	c nbDecision=8000 #constraints=9646
30.58/30.69	c nbDecision=8500 #constraints=10031
32.37/32.45	c nbDecision=9000 #constraints=10369
33.87/33.94	c nbDecision=9500 #constraints=10779
35.27/35.30	c nbDecision=10000 #constraints=11092
36.47/36.60	c nbDecision=10500 #constraints=11348
37.87/37.95	c nbDecision=11000 #constraints=11617
39.17/39.27	c nbDecision=11500 #constraints=11831
40.47/40.58	c nbDecision=12000 #constraints=12034
41.77/41.88	c nbDecision=12500 #constraints=12202
42.57/42.63	c restart after 12801 decisions
43.17/43.25	c nbDecision=13000 #constraints=12401
44.47/44.59	c nbDecision=13500 #constraints=12558
45.87/45.92	c nbDecision=14000 #constraints=12730
47.37/47.44	c nbDecision=14500 #constraints=12974
49.16/49.28	c nbDecision=15000 #constraints=13323
50.66/50.73	c nbDecision=15500 #constraints=13454
52.06/52.15	c nbDecision=16000 #constraints=13576
53.47/53.58	c nbDecision=16500 #constraints=13678
54.97/55.07	c nbDecision=17000 #constraints=13866
56.46/56.56	c nbDecision=17500 #constraints=13985
58.06/58.15	c nbDecision=18000 #constraints=14183
59.46/59.58	c nbDecision=18500 #constraints=14344
60.86/60.91	c nbDecision=19000 #constraints=14449
62.26/62.36	c nbDecision=19500 #constraints=14583
63.66/63.77	c nbDecision=20000 #constraints=14696
65.06/65.19	c nbDecision=20500 #constraints=14823
66.56/66.61	c nbDecision=21000 #constraints=14892
67.86/67.95	c nbDecision=21500 #constraints=15006
69.26/69.37	c nbDecision=22000 #constraints=15089
70.85/70.97	c nbDecision=22500 #constraints=15273
72.47/72.57	c nbDecision=23000 #constraints=15366
73.96/74.00	c nbDecision=23500 #constraints=15442
75.46/75.55	c nbDecision=24000 #constraints=15537
76.86/76.94	c nbDecision=24500 #constraints=15590
78.36/78.49	c nbDecision=25000 #constraints=15692
79.96/80.02	c nbDecision=25500 #constraints=15806
80.26/80.36	c restart after 25601 decisions
82.46/82.51	c nbDecision=26000 #constraints=16112
85.05/85.17	c nbDecision=26500 #constraints=16378
87.15/87.23	c nbDecision=27000 #constraints=16597
88.65/88.77	c nbDecision=27500 #constraints=16703
90.25/90.31	c nbDecision=28000 #constraints=16817
91.65/91.71	c nbDecision=28500 #constraints=16990
93.05/93.14	c nbDecision=29000 #constraints=17163
94.45/94.50	c nbDecision=29500 #constraints=17307
95.55/95.69	c nbDecision=30000 #constraints=17439
96.95/97.02	c nbDecision=30500 #constraints=17577
98.96/99.00	c nbDecision=31000 #constraints=17730
100.75/100.84	c nbDecision=31500 #constraints=17873
102.75/102.81	c nbDecision=32000 #constraints=17986
104.65/104.70	c nbDecision=32500 #constraints=18087
106.35/106.40	c nbDecision=33000 #constraints=18161
108.15/108.27	c nbDecision=33500 #constraints=18291
110.05/110.12	c nbDecision=34000 #constraints=18368
111.95/112.08	c nbDecision=34500 #constraints=18457
113.84/113.99	c nbDecision=35000 #constraints=18563
115.74/115.83	c nbDecision=35500 #constraints=18640
117.34/117.48	c nbDecision=36000 #constraints=18749
119.04/119.11	c nbDecision=36500 #constraints=18854
120.94/121.07	c nbDecision=37000 #constraints=18963
123.24/123.31	c nbDecision=37500 #constraints=19147
125.74/125.88	c nbDecision=38000 #constraints=19549
128.64/128.75	c nbDecision=38500 #constraints=19954
131.23/131.31	c nbDecision=39000 #constraints=20330
133.64/133.71	c nbDecision=39500 #constraints=20675
136.04/136.10	c nbDecision=40000 #constraints=21021
138.34/138.47	c nbDecision=40500 #constraints=21376
140.53/140.69	c nbDecision=41000 #constraints=21695
142.94/143.09	c nbDecision=41500 #constraints=22003
145.43/145.54	c nbDecision=42000 #constraints=22321
147.73/147.83	c nbDecision=42500 #constraints=22690
150.23/150.34	c nbDecision=43000 #constraints=22990
152.63/152.78	c nbDecision=43500 #constraints=23264
155.04/155.12	c nbDecision=44000 #constraints=23499
157.13/157.22	c nbDecision=44500 #constraints=23747
159.03/159.11	c nbDecision=45000 #constraints=24109
160.82/160.93	c nbDecision=45500 #constraints=24399
163.52/163.63	c nbDecision=46000 #constraints=24623
165.73/165.83	c nbDecision=46500 #constraints=24904
167.53/167.65	c nbDecision=47000 #constraints=25176
169.33/169.50	c nbDecision=47500 #constraints=25507
172.23/172.32	c nbDecision=48000 #constraints=25849
174.73/174.82	c nbDecision=48500 #constraints=26174
176.82/176.97	c nbDecision=49000 #constraints=26474
178.82/178.98	c nbDecision=49500 #constraints=26813
180.92/181.09	c nbDecision=50000 #constraints=27161
183.72/183.89	c nbDecision=50500 #constraints=27448
186.92/187.07	c nbDecision=51000 #constraints=27730
188.21/188.38	c restart after 51201 decisions
190.31/190.43	c nbDecision=51500 #constraints=27963
193.52/193.66	c nbDecision=52000 #constraints=28093
196.81/196.93	c nbDecision=52500 #constraints=28168
199.61/199.76	c nbDecision=53000 #constraints=28231
203.01/203.12	c nbDecision=53500 #constraints=28351
206.41/206.56	c nbDecision=54000 #constraints=28451
209.61/209.79	c nbDecision=54500 #constraints=28523
212.81/212.98	c nbDecision=55000 #constraints=28617
215.81/215.96	c nbDecision=55500 #constraints=28752
218.91/219.09	c nbDecision=56000 #constraints=28882
222.21/222.38	c nbDecision=56500 #constraints=28975
225.51/225.61	c nbDecision=57000 #constraints=29024
228.21/228.37	c nbDecision=57500 #constraints=29128
231.91/232.05	c nbDecision=58000 #constraints=29243
235.10/235.23	c nbDecision=58500 #constraints=29327
238.51/238.64	c nbDecision=59000 #constraints=29417
241.90/242.04	c nbDecision=59500 #constraints=29486
245.00/245.14	c nbDecision=60000 #constraints=29561
246.90/247.05	c nbDecision=60500 #constraints=29827
249.70/249.82	c nbDecision=61000 #constraints=29995
251.59/251.77	c nbDecision=61500 #constraints=30185
254.49/254.61	c nbDecision=62000 #constraints=30314
257.29/257.42	c nbDecision=62500 #constraints=30471
259.99/260.12	c nbDecision=63000 #constraints=30581
262.69/262.84	c nbDecision=63500 #constraints=30725
265.29/265.45	c nbDecision=64000 #constraints=30919
268.69/268.88	c nbDecision=64500 #constraints=31009
271.50/271.66	c nbDecision=65000 #constraints=31164
274.09/274.23	c nbDecision=65500 #constraints=31313
275.69/275.89	c nbDecision=66000 #constraints=31530
277.59/277.80	c nbDecision=66500 #constraints=31776
279.49/279.67	c nbDecision=67000 #constraints=32027
281.78/281.98	c nbDecision=67500 #constraints=32218
283.88/284.08	c nbDecision=68000 #constraints=32439
286.88/287.07	c nbDecision=68500 #constraints=32542
288.88/289.01	c nbDecision=69000 #constraints=32865
290.98/291.14	c nbDecision=69500 #constraints=33096
293.08/293.24	c nbDecision=70000 #constraints=33266
295.38/295.57	c nbDecision=70500 #constraints=33444
298.68/298.85	c nbDecision=71000 #constraints=33556
302.17/302.40	c nbDecision=71500 #constraints=33620
304.77/304.97	c nbDecision=72000 #constraints=33799
308.27/308.41	c nbDecision=72500 #constraints=33896
311.77/311.93	c nbDecision=73000 #constraints=33979
314.97/315.18	c nbDecision=73500 #constraints=34106
318.07/318.23	c nbDecision=74000 #constraints=34173
319.88/320.03	c nbDecision=74500 #constraints=34419
321.77/321.90	c nbDecision=75000 #constraints=34707
324.47/324.63	c nbDecision=75500 #constraints=34849
328.27/328.49	c nbDecision=76000 #constraints=35021
332.27/332.48	c nbDecision=76500 #constraints=35335
336.07/336.21	c nbDecision=77000 #constraints=35549
339.97/340.10	c nbDecision=77500 #constraints=35793
343.56/343.76	c nbDecision=78000 #constraints=35912
346.65/346.83	c nbDecision=78500 #constraints=36059
348.94/349.11	c nbDecision=79000 #constraints=36284
351.03/351.27	c nbDecision=79500 #constraints=36442
353.74/353.91	c nbDecision=80000 #constraints=36664
357.24/357.50	c nbDecision=80500 #constraints=36784
361.52/361.79	c nbDecision=81000 #constraints=37032
365.52/365.75	c nbDecision=81500 #constraints=37222
368.62/368.89	c nbDecision=82000 #constraints=37316
372.09/372.30	c nbDecision=82500 #constraints=37445
376.48/376.72	c nbDecision=83000 #constraints=37728
380.58/380.85	c nbDecision=83500 #constraints=37888
384.98/385.20	c nbDecision=84000 #constraints=38142
388.97/389.29	c nbDecision=84500 #constraints=38279
392.37/392.60	c nbDecision=85000 #constraints=38429
395.97/396.22	c nbDecision=85500 #constraints=38552
398.86/399.19	c nbDecision=86000 #constraints=38686
403.17/403.48	c nbDecision=86500 #constraints=38779
406.57/406.82	c nbDecision=87000 #constraints=38857
409.36/409.65	c nbDecision=87500 #constraints=39054
413.66/413.96	c nbDecision=88000 #constraints=39250
417.86/418.17	c nbDecision=88500 #constraints=39459
422.06/422.39	c nbDecision=89000 #constraints=39607
425.06/425.37	c nbDecision=89500 #constraints=39839
428.55/428.89	c nbDecision=90000 #constraints=39969
431.65/431.98	c nbDecision=90500 #constraints=40109
434.26/434.57	c nbDecision=91000 #constraints=40293
436.95/437.23	c nbDecision=91500 #constraints=40495
438.75/439.02	c nbDecision=92000 #constraints=40698
440.45/440.77	c nbDecision=92500 #constraints=41003
442.74/443.05	c nbDecision=93000 #constraints=41241
444.54/444.87	c nbDecision=93500 #constraints=41431
446.64/446.98	c nbDecision=94000 #constraints=41639
448.64/448.91	c nbDecision=94500 #constraints=41846
452.54/452.82	c nbDecision=95000 #constraints=41976
456.44/456.74	c nbDecision=95500 #constraints=42032
460.04/460.36	c nbDecision=96000 #constraints=42096
463.95/464.27	c nbDecision=96500 #constraints=42147
466.74/467.07	c nbDecision=97000 #constraints=42277
471.44/471.76	c nbDecision=97500 #constraints=42381
476.44/476.78	c nbDecision=98000 #constraints=42456
480.04/480.32	c nbDecision=98500 #constraints=42545
482.14/482.46	c nbDecision=99000 #constraints=42782
484.44/484.74	c nbDecision=99500 #constraints=42982
487.04/487.34	c nbDecision=100000 #constraints=43168
489.53/489.81	c nbDecision=100500 #constraints=43310
491.63/491.97	c nbDecision=101000 #constraints=43552
493.73/494.06	c nbDecision=101500 #constraints=43816
496.63/496.98	c nbDecision=102000 #constraints=44044
498.43/498.76	c restart after 102401 decisions
499.63/499.93	c nbDecision=102500 #constraints=44332
505.02/505.37	c nbDecision=103000 #constraints=44602
510.13/510.44	c nbDecision=103500 #constraints=44762
515.93/516.24	c nbDecision=104000 #constraints=45072
521.03/521.40	c nbDecision=104500 #constraints=45433
526.32/526.63	c nbDecision=105000 #constraints=45794
531.02/531.36	c nbDecision=105500 #constraints=46139
535.92/536.23	c nbDecision=106000 #constraints=46479
541.41/541.72	c nbDecision=106500 #constraints=46825
546.61/546.91	c nbDecision=107000 #constraints=47069
552.01/552.34	c nbDecision=107500 #constraints=47372
557.11/557.41	c nbDecision=108000 #constraints=47609
562.41/562.72	c nbDecision=108500 #constraints=47918
567.61/567.92	c nbDecision=109000 #constraints=48237
571.71/572.06	c nbDecision=109500 #constraints=48540
575.20/575.58	c nbDecision=110000 #constraints=48859
580.90/581.21	c nbDecision=110500 #constraints=49035
584.80/585.17	c nbDecision=111000 #constraints=49184
588.89/589.22	c nbDecision=111500 #constraints=49318
592.50/592.84	c nbDecision=112000 #constraints=49482
597.09/597.43	c nbDecision=112500 #constraints=49612
599.60/599.98	c nbDecision=113000 #constraints=49930
601.99/602.31	c nbDecision=113500 #constraints=50256
604.19/604.55	c nbDecision=114000 #constraints=50571
606.59/606.94	c nbDecision=114500 #constraints=50859
610.09/610.44	c nbDecision=115000 #constraints=51009
612.69/613.06	c nbDecision=115500 #constraints=51225
615.79/616.16	c nbDecision=116000 #constraints=51533
618.49/618.89	c nbDecision=116500 #constraints=51933
621.19/621.56	c nbDecision=117000 #constraints=52264
624.28/624.60	c nbDecision=117500 #constraints=52602
627.38/627.75	c nbDecision=118000 #constraints=52777
630.98/631.33	c nbDecision=118500 #constraints=52991
633.98/634.38	c nbDecision=119000 #constraints=53337
636.98/637.37	c nbDecision=119500 #constraints=53685
640.38/640.77	c nbDecision=120000 #constraints=53828
643.77/644.16	c nbDecision=120500 #constraints=53961
646.87/647.20	c nbDecision=121000 #constraints=54204
649.17/649.54	c nbDecision=121500 #constraints=54383
653.67/654.02	c nbDecision=122000 #constraints=54513
658.07/658.43	c nbDecision=122500 #constraints=54598
661.18/661.60	c nbDecision=123000 #constraints=54838
664.27/664.69	c nbDecision=123500 #constraints=55032
667.97/668.31	c nbDecision=124000 #constraints=55210
671.37/671.74	c nbDecision=124500 #constraints=55418
674.57/674.94	c nbDecision=125000 #constraints=55715
677.46/677.89	c nbDecision=125500 #constraints=55993
680.66/681.04	c nbDecision=126000 #constraints=56252
684.66/685.02	c nbDecision=126500 #constraints=56460
688.06/688.41	c nbDecision=127000 #constraints=56751
691.56/691.95	c nbDecision=127500 #constraints=56945
694.66/695.05	c nbDecision=128000 #constraints=57161
698.07/698.44	c nbDecision=128500 #constraints=57362
701.37/701.72	c nbDecision=129000 #constraints=57583
704.66/705.07	c nbDecision=129500 #constraints=57796
708.06/708.46	c nbDecision=130000 #constraints=58014
711.36/711.79	c nbDecision=130500 #constraints=58294
714.55/714.99	c nbDecision=131000 #constraints=58543
717.85/718.25	c nbDecision=131500 #constraints=58750
721.75/722.17	c nbDecision=132000 #constraints=58882
727.34/727.78	c nbDecision=132500 #constraints=58965
732.25/732.66	c nbDecision=133000 #constraints=59051
736.84/737.26	c nbDecision=133500 #constraints=59171
740.64/741.08	c nbDecision=134000 #constraints=59272
744.64/745.09	c nbDecision=134500 #constraints=59392
748.75/749.11	c nbDecision=135000 #constraints=59486
752.34/752.79	c nbDecision=135500 #constraints=59659
756.44/756.86	c nbDecision=136000 #constraints=59852
762.14/762.52	c nbDecision=136500 #constraints=59957
766.83/767.26	c nbDecision=137000 #constraints=60172
771.13/771.60	c nbDecision=137500 #constraints=60294
776.33/776.76	c nbDecision=138000 #constraints=60382
781.93/782.34	c nbDecision=138500 #constraints=60453
787.42/787.83	c nbDecision=139000 #constraints=60517
792.52/792.93	c nbDecision=139500 #constraints=60606
796.73/797.16	c nbDecision=140000 #constraints=60781
800.93/801.31	c nbDecision=140500 #constraints=61026
805.02/805.47	c nbDecision=141000 #constraints=61360
807.62/808.05	c nbDecision=141500 #constraints=61634
811.52/811.98	c nbDecision=142000 #constraints=61839
815.32/815.71	c nbDecision=142500 #constraints=62114
819.21/819.69	c nbDecision=143000 #constraints=62416
825.71/826.13	c nbDecision=143500 #constraints=62523
831.91/832.39	c nbDecision=144000 #constraints=62673
837.31/837.71	c nbDecision=144500 #constraints=62787
841.71/842.17	c nbDecision=145000 #constraints=62943
844.91/845.36	c nbDecision=145500 #constraints=63205
848.71/849.14	c nbDecision=146000 #constraints=63512
852.91/853.39	c nbDecision=146500 #constraints=63695
856.80/857.26	c nbDecision=147000 #constraints=63938
860.40/860.86	c nbDecision=147500 #constraints=64125
864.90/865.35	c nbDecision=148000 #constraints=64375
870.50/870.92	c nbDecision=148500 #constraints=64447
875.20/875.64	c nbDecision=149000 #constraints=64759
879.50/879.93	c nbDecision=149500 #constraints=65055
883.69/884.13	c nbDecision=150000 #constraints=65316
888.29/888.80	c nbDecision=150500 #constraints=65445
893.19/893.67	c nbDecision=151000 #constraints=65638
897.89/898.36	c nbDecision=151500 #constraints=65886
903.49/903.94	c nbDecision=152000 #constraints=66007
909.29/909.71	c nbDecision=152500 #constraints=66068
914.39/914.85	c nbDecision=153000 #constraints=66238
919.19/919.61	c nbDecision=153500 #constraints=66410
924.38/924.82	c nbDecision=154000 #constraints=66633
928.98/929.43	c nbDecision=154500 #constraints=66799
933.57/934.09	c nbDecision=155000 #constraints=66953
938.27/938.75	c nbDecision=155500 #constraints=67267
942.48/942.93	c nbDecision=156000 #constraints=67559
946.68/947.11	c nbDecision=156500 #constraints=67773
950.77/951.27	c nbDecision=157000 #constraints=67935
956.37/956.81	c nbDecision=157500 #constraints=68117
961.77/962.29	c nbDecision=158000 #constraints=68227
967.76/968.27	c nbDecision=158500 #constraints=68421
972.56/973.07	c nbDecision=159000 #constraints=68673
977.36/977.81	c nbDecision=159500 #constraints=68853
983.26/983.77	c nbDecision=160000 #constraints=69009
988.55/989.07	c nbDecision=160500 #constraints=69349
994.26/994.70	c nbDecision=161000 #constraints=69712
999.66/1000.17	c nbDecision=161500 #constraints=69941
1005.05/1005.56	c nbDecision=162000 #constraints=70144
1010.55/1011.03	c nbDecision=162500 #constraints=70411
1016.55/1017.01	c nbDecision=163000 #constraints=70494
1021.15/1021.67	c nbDecision=163500 #constraints=70644
1026.44/1026.90	c nbDecision=164000 #constraints=70858
1030.64/1031.18	c nbDecision=164500 #constraints=71148
1035.54/1036.05	c nbDecision=165000 #constraints=71450
1040.84/1041.38	c nbDecision=165500 #constraints=71795
1044.73/1045.27	c nbDecision=166000 #constraints=72104
1049.14/1049.67	c nbDecision=166500 #constraints=72377
1053.24/1053.77	c nbDecision=167000 #constraints=72653
1057.43/1057.92	c nbDecision=167500 #constraints=72907
1059.94/1060.46	c nbDecision=168000 #constraints=73182
1063.83/1064.32	c nbDecision=168500 #constraints=73345
1067.23/1067.71	c nbDecision=169000 #constraints=73519
1072.53/1073.04	c nbDecision=169500 #constraints=73636
1076.52/1077.03	c nbDecision=170000 #constraints=73861
1081.22/1081.73	c nbDecision=170500 #constraints=74110
1085.42/1085.97	c nbDecision=171000 #constraints=74308
1090.02/1090.52	c nbDecision=171500 #constraints=74543
1095.12/1095.69	c nbDecision=172000 #constraints=74747
1099.32/1099.80	c nbDecision=172500 #constraints=74927
1104.12/1104.67	c nbDecision=173000 #constraints=75158
1107.82/1108.34	c nbDecision=173500 #constraints=75382
1112.02/1112.52	c nbDecision=174000 #constraints=75530
1116.82/1117.35	c nbDecision=174500 #constraints=75783
1121.81/1122.31	c nbDecision=175000 #constraints=75908
1127.51/1128.03	c nbDecision=175500 #constraints=76072
1131.51/1132.04	c nbDecision=176000 #constraints=76287
1133.91/1134.49	c nbDecision=176500 #constraints=76561
1136.30/1136.88	c nbDecision=177000 #constraints=76856
1140.21/1140.80	c nbDecision=177500 #constraints=77090
1142.80/1143.35	c nbDecision=178000 #constraints=77296
1146.50/1147.07	c nbDecision=178500 #constraints=77452
1151.10/1151.61	c nbDecision=179000 #constraints=77556
1154.59/1155.17	c nbDecision=179500 #constraints=77729
1157.81/1158.35	c nbDecision=180000 #constraints=77924
1161.50/1162.02	c nbDecision=180500 #constraints=78142
1164.00/1164.57	c nbDecision=181000 #constraints=78385
1166.70/1167.27	c nbDecision=181500 #constraints=78565
1168.29/1168.83	c nbDecision=182000 #constraints=78668
1169.80/1170.31	c nbDecision=182500 #constraints=78760
1172.00/1172.54	c nbDecision=183000 #constraints=78858
1174.39/1174.94	c nbDecision=183500 #constraints=78990
1176.79/1177.32	c nbDecision=184000 #constraints=79114
1182.79/1183.31	c nbDecision=184500 #constraints=79192
1186.68/1187.26	c nbDecision=185000 #constraints=79316
1189.59/1190.15	c nbDecision=185500 #constraints=79417
1193.58/1194.14	c nbDecision=186000 #constraints=79551
1201.08/1201.61	c nbDecision=186500 #constraints=79661
1207.58/1208.18	c nbDecision=187000 #constraints=79772
1213.47/1214.04	c nbDecision=187500 #constraints=79928
1219.27/1219.88	c nbDecision=188000 #constraints=80111
1224.58/1225.17	c nbDecision=188500 #constraints=80392
1229.57/1230.14	c nbDecision=189000 #constraints=80554
1231.77/1232.32	c nbDecision=189500 #constraints=80791
1233.68/1234.27	c nbDecision=190000 #constraints=81021
1235.78/1236.35	c nbDecision=190500 #constraints=81249
1237.67/1238.20	c nbDecision=191000 #constraints=81420
1239.47/1240.06	c nbDecision=191500 #constraints=81553
1242.17/1242.78	c nbDecision=192000 #constraints=81735
1247.26/1247.90	c nbDecision=192500 #constraints=82003
1250.46/1251.08	c nbDecision=193000 #constraints=82228
1253.26/1253.89	c nbDecision=193500 #constraints=82552
1255.46/1256.08	c nbDecision=194000 #constraints=82833
1257.56/1258.13	c nbDecision=194500 #constraints=83056
1262.06/1262.67	c nbDecision=195000 #constraints=83148
1267.66/1268.29	c nbDecision=195500 #constraints=83231
1275.06/1275.68	c nbDecision=196000 #constraints=83335
1281.75/1282.34	c nbDecision=196500 #constraints=83424
1288.75/1289.30	c nbDecision=197000 #constraints=83504
1296.35/1296.91	c nbDecision=197500 #constraints=83584
1303.44/1304.00	c nbDecision=198000 #constraints=83708
1310.74/1311.30	c nbDecision=198500 #constraints=83788
1318.84/1319.47	c nbDecision=199000 #constraints=83896
1322.14/1322.74	c nbDecision=199500 #constraints=83953
1328.53/1329.11	c nbDecision=200000 #constraints=84023
1335.83/1336.48	c nbDecision=200500 #constraints=84107
1342.73/1343.31	c nbDecision=201000 #constraints=84180
1349.52/1350.19	c nbDecision=201500 #constraints=84254
1356.12/1356.70	c nbDecision=202000 #constraints=84299
1359.42/1360.04	c nbDecision=202500 #constraints=84509
1364.02/1364.61	c nbDecision=203000 #constraints=84594
1366.12/1366.74	c nbDecision=203500 #constraints=84715
1372.33/1372.90	c nbDecision=204000 #constraints=84807
1378.42/1379.06	c nbDecision=204500 #constraints=84883
1381.92/1382.60	c restart after 204801 decisions
1385.52/1386.19	c nbDecision=205000 #constraints=85060
1393.52/1394.17	c nbDecision=205500 #constraints=85161
1401.51/1402.15	c nbDecision=206000 #constraints=85232
1409.61/1410.29	c nbDecision=206500 #constraints=85406
1417.21/1417.89	c nbDecision=207000 #constraints=85532
1424.70/1425.38	c nbDecision=207500 #constraints=85651
1432.50/1433.11	c nbDecision=208000 #constraints=85723
1439.59/1440.27	c nbDecision=208500 #constraints=85840
1447.49/1448.18	c nbDecision=209000 #constraints=85911
1454.79/1455.48	c nbDecision=209500 #constraints=85971
1462.88/1463.56	c nbDecision=210000 #constraints=86058
1470.38/1471.00	c nbDecision=210500 #constraints=86126
1477.88/1478.58	c nbDecision=211000 #constraints=86210
1484.98/1485.63	c nbDecision=211500 #constraints=86282
1492.27/1492.95	c nbDecision=212000 #constraints=86332
1500.47/1501.16	c nbDecision=212500 #constraints=86494
1507.68/1508.30	c nbDecision=213000 #constraints=86618
1514.87/1515.58	c nbDecision=213500 #constraints=86911
1521.37/1522.09	c nbDecision=214000 #constraints=87153
1528.06/1528.79	c nbDecision=214500 #constraints=87358
1534.96/1535.65	c nbDecision=215000 #constraints=87666
1539.95/1540.61	c nbDecision=215500 #constraints=87819
1546.45/1547.14	c nbDecision=216000 #constraints=88112
1552.15/1552.81	c nbDecision=216500 #constraints=88346
1556.85/1557.58	c nbDecision=217000 #constraints=88517
1561.75/1562.43	c nbDecision=217500 #constraints=88691
1567.95/1568.62	c nbDecision=218000 #constraints=88963
1573.75/1574.45	c nbDecision=218500 #constraints=89185
1580.64/1581.31	c nbDecision=219000 #constraints=89446
1586.44/1587.13	c nbDecision=219500 #constraints=89647
1592.84/1593.51	c nbDecision=220000 #constraints=89937
1599.74/1600.49	c nbDecision=220500 #constraints=90197
1605.63/1606.36	c nbDecision=221000 #constraints=90478
1611.53/1612.20	c nbDecision=221500 #constraints=90703
1618.23/1618.94	c nbDecision=222000 #constraints=90983
1623.82/1624.55	c nbDecision=222500 #constraints=91187
1630.82/1631.58	c nbDecision=223000 #constraints=91455
1638.02/1638.72	c nbDecision=223500 #constraints=91702
1643.83/1644.51	c nbDecision=224000 #constraints=91918
1649.12/1649.82	c nbDecision=224500 #constraints=92038
1655.62/1656.38	c nbDecision=225000 #constraints=92235
1661.92/1662.63	c nbDecision=225500 #constraints=92447
1668.71/1669.46	c nbDecision=226000 #constraints=92727
1674.52/1675.28	c nbDecision=226500 #constraints=92894
1681.61/1682.38	c nbDecision=227000 #constraints=93215
1689.20/1689.93	c nbDecision=227500 #constraints=93533
1696.80/1697.51	c nbDecision=228000 #constraints=93835
1703.90/1704.62	c nbDecision=228500 #constraints=94094
1709.70/1710.46	c nbDecision=229000 #constraints=94298
1716.79/1717.54	c nbDecision=229500 #constraints=94525
1724.79/1725.52	c nbDecision=230000 #constraints=94798
1732.29/1733.03	c nbDecision=230500 #constraints=95074
1738.99/1739.77	c nbDecision=231000 #constraints=95328
1747.28/1748.04	c nbDecision=231500 #constraints=95611
1755.08/1755.84	c nbDecision=232000 #constraints=95955
1762.48/1763.21	c nbDecision=232500 #constraints=96140
1770.47/1771.25	c nbDecision=233000 #constraints=96216
1778.57/1779.30	c nbDecision=233500 #constraints=96262
1786.77/1787.51	c nbDecision=234000 #constraints=96321
1794.56/1795.32	c nbDecision=234500 #constraints=96376
1800.06/1800.80	Received signal 15
1800.06/1800.80	
1800.06/1800.80	s UNKNOWN
1800.06/1800.80	
1800.06/1800.80	c user time= 1799.63 s
1800.06/1800.80	c system time= 0.449931 s
1800.06/1800.80	c wall clock time=1800.81

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/node66/watcher-356875-1176846916 -o ROOT/results/node66/solver-356875-1176846916 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356875-1176846916/instance-356875-1176846916.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.93 3/64 10328
/proc/meminfo: memFree=1862200/2055920 swapFree=4176828/4192956
[pid=10328] ppid=10326 vsize=1620 CPUtime=0
/proc/10328/stat : 10328 (oree) R 10326 10328 10142 0 -1 4194304 192 0 0 0 0 0 0 0 18 0 1 0 160681207 1658880 174 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10328/statm: 405 174 126 317 0 84 0

[startup+0.074991 s]
/proc/loadavg: 0.91 0.95 0.93 3/64 10328
/proc/meminfo: memFree=1862200/2055920 swapFree=4176828/4192956
[pid=10328] ppid=10326 vsize=3440 CPUtime=0.07
/proc/10328/stat : 10328 (oree) R 10326 10328 10142 0 -1 4194304 819 0 0 0 7 0 0 0 18 0 1 0 160681207 3522560 574 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10328/statm: 860 574 126 317 0 539 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 3440

[startup+0.101995 s]
/proc/loadavg: 0.91 0.95 0.93 3/64 10328
/proc/meminfo: memFree=1862200/2055920 swapFree=4176828/4192956
[pid=10328] ppid=10326 vsize=3440 CPUtime=0.09
/proc/10328/stat : 10328 (oree) R 10326 10328 10142 0 -1 4194304 847 0 0 0 9 0 0 0 18 0 1 0 160681207 3522560 602 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10328/statm: 860 602 127 317 0 539 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3440

[startup+0.301036 s]
/proc/loadavg: 0.91 0.95 0.93 3/64 10328
/proc/meminfo: memFree=1862200/2055920 swapFree=4176828/4192956
[pid=10328] ppid=10326 vsize=7136 CPUtime=0.29
/proc/10328/stat : 10328 (oree) R 10326 10328 10142 0 -1 4194304 1781 0 0 0 29 0 0 0 19 0 1 0 160681207 7307264 1536 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10328/statm: 1784 1536 131 317 0 1463 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7136

[startup+0.701114 s]
/proc/loadavg: 0.91 0.95 0.93 3/64 10328
/proc/meminfo: memFree=1862200/2055920 swapFree=4176828/4192956
[pid=10328] ppid=10326 vsize=16640 CPUtime=0.69
/proc/10328/stat : 10328 (oree) R 10326 10328 10142 0 -1 4194304 4134 0 0 0 67 2 0 0 22 0 1 0 160681207 17039360 3889 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10328/statm: 4160 3889 131 317 0 3839 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16640

[startup+1.50127 s]
/proc/loadavg: 0.91 0.95 0.93 2/65 10329
/proc/meminfo: memFree=1840048/2055920 swapFree=4176828/4192956
[pid=10328] ppid=10326 vsize=40652 CPUtime=1.49
/proc/10328/stat : 10328 (oree) R 10326 10328 10142 0 -1 4194304 10167 0 0 0 144 5 0 0 25 0 1 0 160681207 41627648 9922 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10328/statm: 10163 9922 137 317 0 9842 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 40652

[startup+3.10259 s]
/proc/loadavg: 0.91 0.95 0.93 2/65 10329
/proc/meminfo: memFree=1820144/2055920 swapFree=4176828/4192956
[pid=10328] ppid=10326 vsize=47384 CPUtime=3.09
/proc/10328/stat : 10328 (oree) R 10326 10328 10142 0 -1 4194304 11832 0 0 0 303 6 0 0 25 0 1 0 160681207 48521216 11587 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10328/statm: 11846 11587 137 317 0 11525 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 47384

[startup+6.30123 s]
/proc/loadavg: 0.92 0.95 0.93 2/65 10329
/proc/meminfo: memFree=1814896/2055920 swapFree=4176828/4192956
[pid=10328] ppid=10326 vsize=49028 CPUtime=6.29
/proc/10328/stat : 10328 (oree) R 10326 10328 10142 0 -1 4194304 12215 0 0 0 622 7 0 0 25 0 1 0 160681207 50204672 11970 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10328/statm: 12257 11970 139 317 0 11936 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 49028

[startup+12.7015 s]
/proc/loadavg: 0.93 0.95 0.93 2/65 10329
/proc/meminfo: memFree=1811952/2055920 swapFree=4176828/4192956
[pid=10328] ppid=10326 vsize=51824 CPUtime=12.69
/proc/10328/stat : 10328 (oree) R 10326 10328 10142 0 -1 4194304 12932 0 0 0 1262 7 0 0 25 0 1 0 160681207 53067776 12687 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10328/statm: 12956 12687 139 317 0 12635 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 51824

[startup+25.5011 s]
/proc/loadavg: 0.94 0.96 0.93 2/65 10329
/proc/meminfo: memFree=1807216/2055920 swapFree=4176828/4192956
[pid=10328] ppid=10326 vsize=56612 CPUtime=25.48
/proc/10328/stat : 10328 (oree) R 10326 10328 10142 0 -1 4194304 14094 0 0 0 2540 8 0 0 25 0 1 0 160681207 57970688 13799 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10328/statm: 14153 13799 139 317 0 13832 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 56612

[startup+51.1012 s]
/proc/loadavg: 0.96 0.96 0.93 2/65 10329
/proc/meminfo: memFree=1800816/2055920 swapFree=4176828/4192956
[pid=10328] ppid=10326 vsize=63080 CPUtime=51.06
/proc/10328/stat : 10328 (oree) R 10326 10328 10142 0 -1 4194304 15734 0 0 0 5097 9 0 0 25 0 1 0 160681207 64593920 15439 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606688 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10328/statm: 15770 15439 139 317 0 15449 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 63080

[startup+102.305 s]
/proc/loadavg: 0.98 0.96 0.93 2/65 10329
/proc/meminfo: memFree=1793904/2055920 swapFree=4176828/4192956
[pid=10328] ppid=10326 vsize=70068 CPUtime=102.26
/proc/10328/stat : 10328 (oree) R 10326 10328 10142 0 -1 4194304 17531 0 0 0 10214 12 0 0 25 0 1 0 160681207 71749632 17137 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10328/statm: 17517 17137 139 317 0 17196 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 70068

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 10329
/proc/meminfo: memFree=1784112/2055920 swapFree=4176828/4192956
[pid=10328] ppid=10326 vsize=80068 CPUtime=162.22
/proc/10328/stat : 10328 (oree) R 10326 10328 10142 0 -1 4194304 19976 0 0 0 16208 14 0 0 25 0 1 0 160681207 81989632 19582 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606679 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10328/statm: 20017 19582 139 317 0 19696 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 80068

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 10329
/proc/meminfo: memFree=1776368/2055920 swapFree=4176828/4192956
[pid=10328] ppid=10326 vsize=88040 CPUtime=222.21
/proc/10328/stat : 10328 (oree) R 10326 10328 10142 0 -1 4194304 22047 0 0 0 22205 16 0 0 25 0 1 0 160681207 90152960 21455 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716050 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10328/statm: 22010 21455 139 317 0 21689 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 88040

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 10329
/proc/meminfo: memFree=1771824/2055920 swapFree=4176828/4192956
[pid=10328] ppid=10326 vsize=93068 CPUtime=282.18
/proc/10328/stat : 10328 (oree) R 10326 10328 10142 0 -1 4194304 23222 0 0 0 28201 17 0 0 25 0 1 0 160681207 95301632 22630 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10328/statm: 23267 22630 139 317 0 22946 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 93068

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 10329
/proc/meminfo: memFree=1765808/2055920 swapFree=4176832/4192956
[pid=10328] ppid=10326 vsize=100596 CPUtime=342.16
/proc/10328/stat : 10328 (oree) R 10326 10328 10142 0 -1 4194304 24999 0 0 0 34198 18 0 0 25 0 1 0 160681207 103010304 24110 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10328/statm: 25149 24110 139 317 0 24828 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 100596

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 10527
/proc/meminfo: memFree=1761264/2055920 swapFree=4176832/4192956
[pid=10328] ppid=10326 vsize=104696 CPUtime=402.07
/proc/10328/stat : 10328 (oree) R 10326 10328 10142 0 -1 4194304 26082 0 0 0 40185 22 0 0 25 0 1 0 160681207 107208704 25193 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10328/statm: 26174 25193 139 317 0 25853 0
Current children cumulated CPU time (s) 402.07
Current children cumulated vsize (KiB) 104696

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 10527
/proc/meminfo: memFree=1756272/2055920 swapFree=4176832/4192956
[pid=10328] ppid=10326 vsize=109432 CPUtime=462.05
/proc/10328/stat : 10328 (oree) R 10326 10328 10142 0 -1 4194304 27333 0 0 0 46182 23 0 0 25 0 1 0 160681207 112058368 26444 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10328/statm: 27358 26444 139 317 0 27037 0
Current children cumulated CPU time (s) 462.05
Current children cumulated vsize (KiB) 109432

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 10527
/proc/meminfo: memFree=1751024/2055920 swapFree=4176832/4192956
[pid=10328] ppid=10326 vsize=114564 CPUtime=522.02
/proc/10328/stat : 10328 (oree) R 10326 10328 10142 0 -1 4194304 28654 0 0 0 52178 24 0 0 25 0 1 0 160681207 117313536 27765 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10328/statm: 28641 27765 139 317 0 28320 0
Current children cumulated CPU time (s) 522.02
Current children cumulated vsize (KiB) 114564

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 10527
/proc/meminfo: memFree=1745904/2055920 swapFree=4176832/4192956
[pid=10328] ppid=10326 vsize=119032 CPUtime=582
/proc/10328/stat : 10328 (oree) R 10326 10328 10142 0 -1 4194304 29905 0 0 0 58175 25 0 0 25 0 1 0 160681207 121888768 29016 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10328/statm: 29758 29016 139 317 0 29437 0
Current children cumulated CPU time (s) 582
Current children cumulated vsize (KiB) 119032

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 10527
/proc/meminfo: memFree=1737840/2055920 swapFree=4176832/4192956
[pid=10328] ppid=10326 vsize=127144 CPUtime=641.98
/proc/10328/stat : 10328 (oree) R 10326 10328 10142 0 -1 4194304 31918 0 0 0 64172 26 0 0 25 0 1 0 160681207 130195456 31029 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10328/statm: 31786 31029 139 317 0 31465 0
Current children cumulated CPU time (s) 641.98
Current children cumulated vsize (KiB) 127144


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

[startup+822.301 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 10527
/proc/meminfo: memFree=1724528/2055920 swapFree=4176832/4192956
[pid=10328] ppid=10326 vsize=141480 CPUtime=821.91
/proc/10328/stat : 10328 (oree) R 10326 10328 10142 0 -1 4194304 35653 0 0 0 82161 30 0 0 25 0 1 0 160681207 144875520 34370 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563998 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10328/statm: 35370 34370 139 317 0 35049 0
Current children cumulated CPU time (s) 821.91
Current children cumulated vsize (KiB) 141480

[startup+882.301 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 10527
/proc/meminfo: memFree=1720304/2055920 swapFree=4176832/4192956
[pid=10328] ppid=10326 vsize=145296 CPUtime=881.89
/proc/10328/stat : 10328 (oree) R 10326 10328 10142 0 -1 4194304 36692 0 0 0 88158 31 0 0 25 0 1 0 160681207 148783104 35409 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10328/statm: 36324 35409 139 317 0 36003 0
Current children cumulated CPU time (s) 881.89
Current children cumulated vsize (KiB) 145296

[startup+942.301 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 10527
/proc/meminfo: memFree=1716720/2055920 swapFree=4176832/4192956
[pid=10328] ppid=10326 vsize=148864 CPUtime=941.87
/proc/10328/stat : 10328 (oree) R 10326 10328 10142 0 -1 4194304 37664 0 0 0 94154 33 0 0 25 0 1 0 160681207 152436736 36316 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10328/statm: 37216 36316 139 317 0 36895 0
Current children cumulated CPU time (s) 941.87
Current children cumulated vsize (KiB) 148864

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 10527
/proc/meminfo: memFree=1712368/2055920 swapFree=4176832/4192956
[pid=10328] ppid=10326 vsize=154352 CPUtime=1001.86
/proc/10328/stat : 10328 (oree) R 10326 10328 10142 0 -1 4194304 38993 0 0 0 100152 34 0 0 25 0 1 0 160681207 158056448 37381 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10328/statm: 38588 37381 139 317 0 38267 0
Current children cumulated CPU time (s) 1001.86
Current children cumulated vsize (KiB) 154352

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 10527
/proc/meminfo: memFree=1707056/2055920 swapFree=4176832/4192956
[pid=10328] ppid=10326 vsize=162820 CPUtime=1061.83
/proc/10328/stat : 10328 (oree) R 10326 10328 10142 0 -1 4194304 41098 0 0 0 106148 35 0 0 25 0 1 0 160681207 166727680 38706 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10328/statm: 40705 38706 139 317 0 40384 0
Current children cumulated CPU time (s) 1061.83
Current children cumulated vsize (KiB) 162820

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 10527
/proc/meminfo: memFree=1702256/2055920 swapFree=4176832/4192956
[pid=10328] ppid=10326 vsize=168012 CPUtime=1121.81
/proc/10328/stat : 10328 (oree) R 10326 10328 10142 0 -1 4194304 42280 0 0 0 112145 36 0 0 25 0 1 0 160681207 172044288 39888 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562665 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10328/statm: 42003 39888 139 317 0 41682 0
Current children cumulated CPU time (s) 1121.81
Current children cumulated vsize (KiB) 168012

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 10527
/proc/meminfo: memFree=1697200/2055920 swapFree=4176832/4192956
[pid=10328] ppid=10326 vsize=172640 CPUtime=1181.79
/proc/10328/stat : 10328 (oree) R 10326 10328 10142 0 -1 4194304 43528 0 0 0 118142 37 0 0 25 0 1 0 160681207 176783360 41136 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10328/statm: 43160 41136 139 317 0 42839 0
Current children cumulated CPU time (s) 1181.79
Current children cumulated vsize (KiB) 172640

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 10527
/proc/meminfo: memFree=1693424/2055920 swapFree=4176832/4192956
[pid=10328] ppid=10326 vsize=176348 CPUtime=1241.77
/proc/10328/stat : 10328 (oree) R 10326 10328 10142 0 -1 4194304 44494 0 0 0 124139 38 0 0 25 0 1 0 160681207 180580352 42102 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10328/statm: 44087 42102 139 317 0 43766 0
Current children cumulated CPU time (s) 1241.77
Current children cumulated vsize (KiB) 176348

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 10527
/proc/meminfo: memFree=1689712/2055920 swapFree=4176832/4192956
[pid=10328] ppid=10326 vsize=180480 CPUtime=1301.75
/proc/10328/stat : 10328 (oree) R 10326 10328 10142 0 -1 4194304 45414 0 0 0 130136 39 0 0 25 0 1 0 160681207 184811520 43022 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711134 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10328/statm: 45120 43022 139 317 0 44799 0
Current children cumulated CPU time (s) 1301.75
Current children cumulated vsize (KiB) 180480

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 10527
/proc/meminfo: memFree=1688432/2055920 swapFree=4176832/4192956
[pid=10328] ppid=10326 vsize=181668 CPUtime=1361.72
/proc/10328/stat : 10328 (oree) R 10326 10328 10142 0 -1 4194304 45721 0 0 0 136133 39 0 0 25 0 1 0 160681207 186028032 43329 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10328/statm: 45417 43329 139 317 0 45096 0
Current children cumulated CPU time (s) 1361.72
Current children cumulated vsize (KiB) 181668

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 10527
/proc/meminfo: memFree=1686960/2055920 swapFree=4176832/4192956
[pid=10328] ppid=10326 vsize=182976 CPUtime=1421.71
/proc/10328/stat : 10328 (oree) R 10326 10328 10142 0 -1 4194304 46089 0 0 0 142131 40 0 0 25 0 1 0 160681207 187367424 43697 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10328/statm: 45744 43697 139 317 0 45423 0
Current children cumulated CPU time (s) 1421.71
Current children cumulated vsize (KiB) 182976

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 10527
/proc/meminfo: memFree=1685296/2055920 swapFree=4176832/4192956
[pid=10328] ppid=10326 vsize=184948 CPUtime=1481.68
/proc/10328/stat : 10328 (oree) R 10326 10328 10142 0 -1 4194304 46476 0 0 0 148128 40 0 0 25 0 1 0 160681207 189386752 44084 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10328/statm: 46237 44084 139 317 0 45916 0
Current children cumulated CPU time (s) 1481.68
Current children cumulated vsize (KiB) 184948

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 10527
/proc/meminfo: memFree=1682864/2055920 swapFree=4176832/4192956
[pid=10328] ppid=10326 vsize=187188 CPUtime=1541.66
/proc/10328/stat : 10328 (oree) R 10326 10328 10142 0 -1 4194304 47089 0 0 0 154125 41 0 0 25 0 1 0 160681207 191680512 44697 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10328/statm: 46797 44697 139 317 0 46476 0
Current children cumulated CPU time (s) 1541.66
Current children cumulated vsize (KiB) 187188

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 10527
/proc/meminfo: memFree=1679152/2055920 swapFree=4176832/4192956
[pid=10328] ppid=10326 vsize=190680 CPUtime=1601.64
/proc/10328/stat : 10328 (oree) R 10326 10328 10142 0 -1 4194304 48038 0 0 0 160122 42 0 0 25 0 1 0 160681207 195256320 45646 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718334 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10328/statm: 47670 45646 139 317 0 47349 0
Current children cumulated CPU time (s) 1601.64
Current children cumulated vsize (KiB) 190680

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 10527
/proc/meminfo: memFree=1675760/2055920 swapFree=4176832/4192956
[pid=10328] ppid=10326 vsize=193920 CPUtime=1661.62
/proc/10328/stat : 10328 (oree) R 10326 10328 10142 0 -1 4194304 48901 0 0 0 166119 43 0 0 25 0 1 0 160681207 198574080 46476 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10328/statm: 48480 46476 139 317 0 48159 0
Current children cumulated CPU time (s) 1661.62
Current children cumulated vsize (KiB) 193920

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 10527
/proc/meminfo: memFree=1672112/2055920 swapFree=4176832/4192956
[pid=10328] ppid=10326 vsize=197128 CPUtime=1721.59
/proc/10328/stat : 10328 (oree) R 10326 10328 10142 0 -1 4194304 49818 0 0 0 172116 43 0 0 25 0 1 0 160681207 201859072 47393 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606688 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10328/statm: 49282 47393 139 317 0 48961 0
Current children cumulated CPU time (s) 1721.59
Current children cumulated vsize (KiB) 197128

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 10527
/proc/meminfo: memFree=1669488/2055920 swapFree=4176832/4192956
[pid=10328] ppid=10326 vsize=199528 CPUtime=1781.57
/proc/10328/stat : 10328 (oree) R 10326 10328 10142 0 -1 4194304 50453 0 0 0 178113 44 0 0 25 0 1 0 160681207 204316672 48028 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10328/statm: 49882 48028 139 317 0 49561 0
Current children cumulated CPU time (s) 1781.57
Current children cumulated vsize (KiB) 199528



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.8 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 10527
/proc/meminfo: memFree=1669232/2055920 swapFree=4176832/4192956
[pid=10328] ppid=10326 vsize=199660 CPUtime=1800.06
/proc/10328/stat : 10328 (oree) R 10326 10328 10142 0 -1 4194304 50511 0 0 0 179962 44 0 0 25 0 1 0 160681207 204451840 48086 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10328/statm: 49915 48086 139 317 0 49594 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 199660

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

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

Child status: 0
Real time (s): 1800.88
CPU time (s): 1800.15
CPU user time (s): 1799.67
CPU system time (s): 0.480926
CPU usage (%): 99.9596
Max. virtual memory (cumulated for all children) (KiB): 199660

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

runsolver used 1.2808 second user time and 3.73243 second system time

The end

Launcher Data (download as text)

Begin job on node66 on Tue Apr 17 21:55:16 UTC 2007

IDJOB= 356875
IDBENCH= 1581
IDSOLVER= 172
FILE ID= node66/356875-1176846916

PBS_JOBID= 4590183

Free space on /tmp= 66440 MiB

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

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  cba28129e4f6f6eef01b4dc927adb1b9

RANDOM SEED= 275602082

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node66.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.281
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.281
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:       1862672 kB
Buffers:         13672 kB
Cached:         122152 kB
SwapCached:       9832 kB
Active:          26908 kB
Inactive:       124756 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1862672 kB
SwapTotal:     4192956 kB
SwapFree:      4176828 kB
Dirty:            5784 kB
Writeback:           0 kB
Mapped:          15668 kB
Slab:            27696 kB
Committed_AS:   753108 kB
PageTables:       1376 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= 66440 MiB

End job on node66 on Tue Apr 17 22:25:19 UTC 2007