Trace number 357387

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.26 1800.9

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-roll3000.opb
MD5SUM553e03f28bab227c11d33a47edd1fb32
Bench CategoryOPT-BIGINT (optimisation, big 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 variables8902
Total number of constraints2864
Number of constraints which are clauses143
Number of constraints which are cardinality constraints (but not clauses)31
Number of constraints which are nor clauses,nor cardinality constraints2690
Minimum length of a constraint2
Maximum length of a constraint2407
Number of terms in the objective function 31
Biggest coefficient in the objective function 1073741824
Number of bits for the biggest coefficient in the objective function 31
Sum of the numbers in the objective function 2147483647
Number of bits of the sum of numbers in the objective function 31
Biggest number in a constraint 1024000000000
Number of bits of the biggest number in a constraint 40
Biggest sum of numbers in a constraint 2123511627775
Number of bits of the biggest sum of numbers41
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.19/0.26	c ...done
0.19/0.26	c #vars=8902 #constraints=3039 hasObjective=yes
0.19/0.29	c res. mode=mod
0.19/0.29	c VSIDS like heuristics
0.19/0.29	c complete search running
0.49/0.52	c restart after 401 decisions
0.49/0.54	c nbDecision=500 #constraints=3081
0.69/0.71	c restart after 801 decisions
0.79/0.82	c nbDecision=1000 #constraints=3146
1.09/1.17	c nbDecision=1500 #constraints=3226
1.19/1.23	c restart after 1601 decisions
1.39/1.49	c nbDecision=2000 #constraints=3278
1.89/1.93	c nbDecision=2500 #constraints=3355
2.19/2.26	c nbDecision=3000 #constraints=3409
2.29/2.37	c restart after 3201 decisions
2.39/2.49	c nbDecision=3500 #constraints=3447
2.88/2.91	c nbDecision=4000 #constraints=3545
3.29/3.32	c nbDecision=4500 #constraints=3632
3.69/3.75	c nbDecision=5000 #constraints=3717
4.29/4.31	c nbDecision=5500 #constraints=3820
4.79/4.85	c nbDecision=6000 #constraints=3920
5.09/5.19	c restart after 6401 decisions
5.19/5.24	c nbDecision=6500 #constraints=3979
5.59/5.65	c nbDecision=7000 #constraints=4054
5.89/5.99	c nbDecision=7500 #constraints=4116
6.28/6.37	c nbDecision=8000 #constraints=4185
6.78/6.84	c nbDecision=8500 #constraints=4274
7.18/7.27	c nbDecision=9000 #constraints=4349
7.59/7.68	c nbDecision=9500 #constraints=4410
8.19/8.25	c nbDecision=10000 #constraints=4498
8.59/8.66	c nbDecision=10500 #constraints=4552
9.09/9.11	c nbDecision=11000 #constraints=4612
9.49/9.58	c nbDecision=11500 #constraints=4671
9.99/10.06	c nbDecision=12000 #constraints=4728
10.49/10.51	c nbDecision=12500 #constraints=4778
10.69/10.76	c restart after 12801 decisions
10.89/10.94	c nbDecision=13000 #constraints=4822
11.49/11.56	c nbDecision=13500 #constraints=4875
12.18/12.25	c nbDecision=14000 #constraints=4932
12.98/13.05	c nbDecision=14500 #constraints=5002
13.88/13.94	c nbDecision=15000 #constraints=5090
14.78/14.85	c nbDecision=15500 #constraints=5189
15.39/15.41	c nbDecision=16000 #constraints=5274
16.28/16.40	c nbDecision=16500 #constraints=5376
17.18/17.27	c nbDecision=17000 #constraints=5470
19.19/19.22	c nbDecision=17500 #constraints=5718
20.68/20.70	c nbDecision=18000 #constraints=5918
21.89/21.91	c nbDecision=18500 #constraints=6030
23.68/23.71	c nbDecision=19000 #constraints=6218
25.88/25.94	c nbDecision=19500 #constraints=6445
28.08/28.18	c nbDecision=20000 #constraints=6643
30.08/30.13	c nbDecision=20500 #constraints=6814
32.28/32.33	c nbDecision=21000 #constraints=7028
35.08/35.17	c nbDecision=21500 #constraints=7218
38.38/38.47	c nbDecision=22000 #constraints=7462
41.97/42.07	c nbDecision=22500 #constraints=7714
45.88/45.97	c nbDecision=23000 #constraints=8006
50.27/50.31	c nbDecision=23500 #constraints=8333
54.37/54.40	c nbDecision=24000 #constraints=8599
58.97/59.07	c nbDecision=24500 #constraints=8894
62.57/62.60	c nbDecision=25000 #constraints=9109
67.56/67.61	c nbDecision=25500 #constraints=9499
68.66/68.72	c restart after 25601 decisions
70.87/70.91	c nbDecision=26000 #constraints=9651
73.77/73.80	c nbDecision=26500 #constraints=9718
76.17/76.26	c nbDecision=27000 #constraints=9797
78.67/78.78	c nbDecision=27500 #constraints=9867
81.86/81.91	c nbDecision=28000 #constraints=9963
84.57/84.67	c nbDecision=28500 #constraints=10042
87.86/87.95	c nbDecision=29000 #constraints=10139
91.06/91.12	c nbDecision=29500 #constraints=10231
93.56/93.66	c nbDecision=30000 #constraints=10292
96.76/96.84	c nbDecision=30500 #constraints=10371
99.25/99.39	c nbDecision=31000 #constraints=10441
101.86/101.96	c nbDecision=31500 #constraints=10510
104.16/104.22	c nbDecision=32000 #constraints=10561
107.25/107.34	c nbDecision=32500 #constraints=10638
109.75/109.81	c nbDecision=33000 #constraints=10697
112.85/112.95	c nbDecision=33500 #constraints=10778
115.75/115.82	c nbDecision=34000 #constraints=10851
118.04/118.14	c nbDecision=34500 #constraints=10902
120.85/120.96	c nbDecision=35000 #constraints=10967
123.65/123.72	c nbDecision=35500 #constraints=11026
126.05/126.11	c nbDecision=36000 #constraints=11081
128.85/128.97	c nbDecision=36500 #constraints=11143
131.25/131.32	c nbDecision=37000 #constraints=11190
134.15/134.28	c nbDecision=37500 #constraints=11249
136.84/136.93	c nbDecision=38000 #constraints=11307
139.34/139.49	c nbDecision=38500 #constraints=11369
142.64/142.79	c nbDecision=39000 #constraints=11449
144.94/145.04	c nbDecision=39500 #constraints=11500
147.04/147.12	c nbDecision=40000 #constraints=11544
149.34/149.46	c nbDecision=40500 #constraints=11597
151.24/151.36	c nbDecision=41000 #constraints=11630
154.03/154.18	c nbDecision=41500 #constraints=11676
156.83/156.93	c nbDecision=42000 #constraints=11743
160.24/160.36	c nbDecision=42500 #constraints=11812
163.04/163.14	c nbDecision=43000 #constraints=11868
165.84/165.97	c nbDecision=43500 #constraints=11923
168.14/168.25	c nbDecision=44000 #constraints=11974
170.83/170.93	c nbDecision=44500 #constraints=12032
173.83/173.94	c nbDecision=45000 #constraints=12094
176.53/176.66	c nbDecision=45500 #constraints=12151
179.73/179.80	c nbDecision=46000 #constraints=12215
182.73/182.82	c nbDecision=46500 #constraints=12282
185.73/185.86	c nbDecision=47000 #constraints=12346
188.52/188.61	c nbDecision=47500 #constraints=12403
191.62/191.70	c nbDecision=48000 #constraints=12470
194.12/194.26	c nbDecision=48500 #constraints=12526
196.62/196.73	c nbDecision=49000 #constraints=12582
199.12/199.22	c nbDecision=49500 #constraints=12633
202.22/202.32	c nbDecision=50000 #constraints=12698
204.81/204.97	c nbDecision=50500 #constraints=12748
207.92/208.01	c nbDecision=51000 #constraints=12809
209.52/209.66	c restart after 51201 decisions
211.12/211.26	c nbDecision=51500 #constraints=12861
213.52/213.61	c nbDecision=52000 #constraints=12904
216.52/216.62	c nbDecision=52500 #constraints=12962
219.42/219.52	c nbDecision=53000 #constraints=13014
222.02/222.14	c nbDecision=53500 #constraints=13062
224.31/224.45	c nbDecision=54000 #constraints=13105
227.11/227.28	c nbDecision=54500 #constraints=13158
229.71/229.88	c nbDecision=55000 #constraints=13201
232.30/232.46	c nbDecision=55500 #constraints=13243
235.21/235.35	c nbDecision=56000 #constraints=13294
237.61/237.73	c nbDecision=56500 #constraints=13333
240.11/240.29	c nbDecision=57000 #constraints=13379
242.71/242.81	c nbDecision=57500 #constraints=13424
245.11/245.22	c nbDecision=58000 #constraints=13465
247.71/247.81	c nbDecision=58500 #constraints=13506
250.61/250.76	c nbDecision=59000 #constraints=13561
253.91/254.04	c nbDecision=59500 #constraints=13622
257.10/257.29	c nbDecision=60000 #constraints=13678
260.80/260.96	c nbDecision=60500 #constraints=13759
264.30/264.44	c nbDecision=61000 #constraints=13826
267.50/267.68	c nbDecision=61500 #constraints=13890
270.69/270.80	c nbDecision=62000 #constraints=13943
273.70/273.89	c nbDecision=62500 #constraints=14006
277.10/277.22	c nbDecision=63000 #constraints=14066
280.20/280.34	c nbDecision=63500 #constraints=14130
284.19/284.35	c nbDecision=64000 #constraints=14207
288.19/288.31	c nbDecision=64500 #constraints=14293
291.59/291.70	c nbDecision=65000 #constraints=14354
294.69/294.84	c nbDecision=65500 #constraints=14414
298.49/298.62	c nbDecision=66000 #constraints=14487
302.18/302.31	c nbDecision=66500 #constraints=14556
305.88/306.06	c nbDecision=67000 #constraints=14630
309.88/310.05	c nbDecision=67500 #constraints=14717
313.69/313.80	c nbDecision=68000 #constraints=14792
316.78/316.99	c nbDecision=68500 #constraints=14849
320.48/320.65	c nbDecision=69000 #constraints=14916
324.58/324.74	c nbDecision=69500 #constraints=14996
329.27/329.41	c nbDecision=70000 #constraints=15083
334.57/334.76	c nbDecision=70500 #constraints=15185
338.97/339.11	c nbDecision=71000 #constraints=15256
342.47/342.69	c nbDecision=71500 #constraints=15323
346.56/346.75	c nbDecision=72000 #constraints=15394
350.46/350.61	c nbDecision=72500 #constraints=15462
354.86/355.03	c nbDecision=73000 #constraints=15539
358.46/358.62	c nbDecision=73500 #constraints=15600
362.66/362.84	c nbDecision=74000 #constraints=15680
366.26/366.49	c nbDecision=74500 #constraints=15749
370.16/370.32	c nbDecision=75000 #constraints=15815
373.76/373.93	c nbDecision=75500 #constraints=15868
377.25/377.49	c nbDecision=76000 #constraints=15930
380.75/380.98	c nbDecision=76500 #constraints=15987
384.15/384.36	c nbDecision=77000 #constraints=16038
388.25/388.41	c nbDecision=77500 #constraints=16113
391.46/391.66	c nbDecision=78000 #constraints=16163
394.76/394.93	c nbDecision=78500 #constraints=16222
398.25/398.40	c nbDecision=79000 #constraints=16273
401.85/402.06	c nbDecision=79500 #constraints=16339
405.55/405.70	c nbDecision=80000 #constraints=16399
409.34/409.55	c nbDecision=80500 #constraints=16474
413.45/413.67	c nbDecision=81000 #constraints=16557
417.24/417.42	c nbDecision=81500 #constraints=16625
421.74/421.99	c nbDecision=82000 #constraints=16702
425.23/425.48	c nbDecision=82500 #constraints=16763
428.34/428.56	c nbDecision=83000 #constraints=16812
433.34/433.59	c nbDecision=83500 #constraints=16907
437.94/438.13	c nbDecision=84000 #constraints=16988
441.94/442.14	c nbDecision=84500 #constraints=17064
446.13/446.35	c nbDecision=85000 #constraints=17139
450.03/450.22	c nbDecision=85500 #constraints=17194
453.23/453.42	c nbDecision=86000 #constraints=17239
456.93/457.13	c nbDecision=86500 #constraints=17305
460.23/460.46	c nbDecision=87000 #constraints=17363
463.82/464.03	c nbDecision=87500 #constraints=17423
468.33/468.57	c nbDecision=88000 #constraints=17507
472.43/472.66	c nbDecision=88500 #constraints=17580
475.82/476.07	c nbDecision=89000 #constraints=17633
479.52/479.75	c nbDecision=89500 #constraints=17697
484.42/484.64	c nbDecision=90000 #constraints=17777
489.02/489.21	c nbDecision=90500 #constraints=17855
491.92/492.17	c nbDecision=91000 #constraints=17912
495.72/495.96	c nbDecision=91500 #constraints=17974
500.11/500.39	c nbDecision=92000 #constraints=18042
503.71/503.90	c nbDecision=92500 #constraints=18107
507.21/507.42	c nbDecision=93000 #constraints=18163
511.81/512.07	c nbDecision=93500 #constraints=18238
517.01/517.27	c nbDecision=94000 #constraints=18322
521.80/522.01	c nbDecision=94500 #constraints=18399
526.11/526.36	c nbDecision=95000 #constraints=18466
530.81/531.05	c nbDecision=95500 #constraints=18540
534.80/535.03	c nbDecision=96000 #constraints=18600
538.20/538.49	c nbDecision=96500 #constraints=18657
541.00/541.29	c nbDecision=97000 #constraints=18707
543.60/543.89	c nbDecision=97500 #constraints=18750
546.89/547.16	c nbDecision=98000 #constraints=18790
550.39/550.69	c nbDecision=98500 #constraints=18839
553.29/553.54	c nbDecision=99000 #constraints=18869
556.89/557.13	c nbDecision=99500 #constraints=18918
561.09/561.30	c nbDecision=100000 #constraints=18977
564.59/564.89	c nbDecision=100500 #constraints=19035
567.59/567.85	c nbDecision=101000 #constraints=19070
571.28/571.59	c nbDecision=101500 #constraints=19122
575.28/575.57	c nbDecision=102000 #constraints=19188
578.69/578.94	c restart after 102401 decisions
579.59/579.85	c nbDecision=102500 #constraints=19242
583.49/583.74	c nbDecision=103000 #constraints=19312
586.58/586.85	c nbDecision=103500 #constraints=19368
589.88/590.16	c nbDecision=104000 #constraints=19424
594.28/594.55	c nbDecision=104500 #constraints=19495
597.88/598.18	c nbDecision=105000 #constraints=19548
601.88/602.16	c nbDecision=105500 #constraints=19607
605.67/605.97	c nbDecision=106000 #constraints=19657
609.97/610.22	c nbDecision=106500 #constraints=19723
613.97/614.21	c nbDecision=107000 #constraints=19781
617.77/618.04	c nbDecision=107500 #constraints=19839
621.07/621.33	c nbDecision=108000 #constraints=19886
624.77/625.00	c nbDecision=108500 #constraints=19939
628.77/629.09	c nbDecision=109000 #constraints=20004
632.87/633.12	c nbDecision=109500 #constraints=20063
637.17/637.49	c nbDecision=110000 #constraints=20122
640.97/641.29	c nbDecision=110500 #constraints=20182
644.27/644.60	c nbDecision=111000 #constraints=20231
648.46/648.73	c nbDecision=111500 #constraints=20292
651.96/652.26	c nbDecision=112000 #constraints=20336
655.06/655.38	c nbDecision=112500 #constraints=20369
658.96/659.21	c nbDecision=113000 #constraints=20416
662.05/662.36	c nbDecision=113500 #constraints=20450
665.35/665.66	c nbDecision=114000 #constraints=20488
668.75/669.05	c nbDecision=114500 #constraints=20525
672.25/672.54	c nbDecision=115000 #constraints=20566
676.05/676.37	c nbDecision=115500 #constraints=20615
679.95/680.21	c nbDecision=116000 #constraints=20664
683.96/684.21	c nbDecision=116500 #constraints=20727
688.65/688.95	c nbDecision=117000 #constraints=20799
691.65/691.97	c nbDecision=117500 #constraints=20842
696.55/696.80	c nbDecision=118000 #constraints=20919
701.84/702.17	c nbDecision=118500 #constraints=20998
706.74/707.07	c nbDecision=119000 #constraints=21072
711.64/711.98	c nbDecision=119500 #constraints=21142
715.85/716.13	c nbDecision=120000 #constraints=21199
721.14/721.42	c nbDecision=120500 #constraints=21278
725.24/725.53	c nbDecision=121000 #constraints=21333
729.14/729.46	c nbDecision=121500 #constraints=21391
733.04/733.39	c nbDecision=122000 #constraints=21439
736.74/737.09	c nbDecision=122500 #constraints=21483
741.14/741.41	c nbDecision=123000 #constraints=21547
745.23/745.50	c nbDecision=123500 #constraints=21610
748.63/749.00	c nbDecision=124000 #constraints=21661
752.93/753.28	c nbDecision=124500 #constraints=21712
757.02/757.33	c nbDecision=125000 #constraints=21762
760.22/760.57	c nbDecision=125500 #constraints=21799
764.02/764.38	c nbDecision=126000 #constraints=21850
768.02/768.36	c nbDecision=126500 #constraints=21898
771.51/771.82	c nbDecision=127000 #constraints=21937
774.71/775.05	c nbDecision=127500 #constraints=21971
778.71/779.05	c nbDecision=128000 #constraints=22015
783.02/783.31	c nbDecision=128500 #constraints=22077
787.02/787.34	c nbDecision=129000 #constraints=22125
791.31/791.67	c nbDecision=129500 #constraints=22176
795.61/795.91	c nbDecision=130000 #constraints=22236
799.42/799.79	c nbDecision=130500 #constraints=22290
803.61/803.92	c nbDecision=131000 #constraints=22348
807.41/807.79	c nbDecision=131500 #constraints=22394
811.60/811.90	c nbDecision=132000 #constraints=22447
816.91/817.30	c nbDecision=132500 #constraints=22525
821.00/821.38	c nbDecision=133000 #constraints=22576
827.30/827.63	c nbDecision=133500 #constraints=22641
832.09/832.42	c nbDecision=134000 #constraints=22715
837.30/837.60	c nbDecision=134500 #constraints=22791
841.60/841.99	c nbDecision=135000 #constraints=22858
846.29/846.64	c nbDecision=135500 #constraints=22934
850.89/851.22	c nbDecision=136000 #constraints=23010
855.79/856.15	c nbDecision=136500 #constraints=23091
860.49/860.80	c nbDecision=137000 #constraints=23152
866.49/866.84	c nbDecision=137500 #constraints=23242
871.19/871.56	c nbDecision=138000 #constraints=23297
876.39/876.73	c nbDecision=138500 #constraints=23365
881.28/881.61	c nbDecision=139000 #constraints=23439
885.98/886.37	c nbDecision=139500 #constraints=23505
891.38/891.76	c nbDecision=140000 #constraints=23595
896.18/896.54	c nbDecision=140500 #constraints=23657
902.37/902.73	c nbDecision=141000 #constraints=23756
907.47/907.88	c nbDecision=141500 #constraints=23831
912.47/912.85	c nbDecision=142000 #constraints=23905
918.08/918.43	c nbDecision=142500 #constraints=23981
923.27/923.60	c nbDecision=143000 #constraints=24053
928.57/928.97	c nbDecision=143500 #constraints=24123
934.86/935.26	c nbDecision=144000 #constraints=24236
940.46/940.80	c nbDecision=144500 #constraints=24316
945.76/946.10	c nbDecision=145000 #constraints=24382
951.25/951.60	c nbDecision=145500 #constraints=24455
955.85/956.21	c nbDecision=146000 #constraints=24529
961.25/961.68	c nbDecision=146500 #constraints=24627
968.15/968.56	c nbDecision=147000 #constraints=24720
973.74/974.20	c nbDecision=147500 #constraints=24791
980.75/981.13	c nbDecision=148000 #constraints=24896
985.95/986.39	c nbDecision=148500 #constraints=24998
990.15/990.51	c nbDecision=149000 #constraints=25073
995.84/996.28	c nbDecision=149500 #constraints=25174
1000.74/1001.16	c nbDecision=150000 #constraints=25256
1006.34/1006.78	c nbDecision=150500 #constraints=25328
1011.13/1011.59	c nbDecision=151000 #constraints=25409
1017.73/1018.15	c nbDecision=151500 #constraints=25493
1022.63/1023.08	c nbDecision=152000 #constraints=25572
1027.93/1028.32	c nbDecision=152500 #constraints=25664
1033.93/1034.35	c nbDecision=153000 #constraints=25766
1038.03/1038.48	c nbDecision=153500 #constraints=25829
1043.82/1044.22	c nbDecision=154000 #constraints=25917
1049.52/1049.98	c nbDecision=154500 #constraints=26004
1055.72/1056.17	c nbDecision=155000 #constraints=26097
1059.22/1059.69	c nbDecision=155500 #constraints=26160
1063.91/1064.36	c nbDecision=156000 #constraints=26244
1068.31/1068.72	c nbDecision=156500 #constraints=26323
1073.41/1073.89	c nbDecision=157000 #constraints=26425
1081.60/1082.04	c nbDecision=157500 #constraints=26547
1087.40/1087.88	c nbDecision=158000 #constraints=26627
1094.50/1094.95	c nbDecision=158500 #constraints=26732
1099.30/1099.78	c nbDecision=159000 #constraints=26801
1105.10/1105.53	c nbDecision=159500 #constraints=26884
1109.60/1110.08	c nbDecision=160000 #constraints=26936
1115.89/1116.31	c nbDecision=160500 #constraints=27039
1122.59/1123.04	c nbDecision=161000 #constraints=27121
1127.38/1127.84	c nbDecision=161500 #constraints=27172
1133.28/1133.71	c nbDecision=162000 #constraints=27249
1139.68/1140.11	c nbDecision=162500 #constraints=27334
1145.99/1146.42	c nbDecision=163000 #constraints=27421
1152.88/1153.30	c nbDecision=163500 #constraints=27507
1158.78/1159.21	c nbDecision=164000 #constraints=27583
1164.28/1164.74	c nbDecision=164500 #constraints=27662
1168.67/1169.19	c nbDecision=165000 #constraints=27726
1173.28/1173.76	c nbDecision=165500 #constraints=27781
1179.47/1179.95	c nbDecision=166000 #constraints=27845
1185.17/1185.62	c nbDecision=166500 #constraints=27908
1190.96/1191.48	c nbDecision=167000 #constraints=27979
1197.47/1197.97	c nbDecision=167500 #constraints=28070
1204.16/1204.67	c nbDecision=168000 #constraints=28159
1210.06/1210.57	c nbDecision=168500 #constraints=28226
1216.06/1216.56	c nbDecision=169000 #constraints=28297
1221.56/1222.01	c nbDecision=169500 #constraints=28371
1226.05/1226.55	c nbDecision=170000 #constraints=28424
1231.15/1231.67	c nbDecision=170500 #constraints=28483
1237.65/1238.17	c nbDecision=171000 #constraints=28562
1244.15/1244.66	c nbDecision=171500 #constraints=28641
1249.85/1250.34	c nbDecision=172000 #constraints=28715
1256.75/1257.26	c nbDecision=172500 #constraints=28787
1261.84/1262.36	c nbDecision=173000 #constraints=28853
1266.24/1266.77	c nbDecision=173500 #constraints=28909
1271.64/1272.18	c nbDecision=174000 #constraints=28995
1277.44/1277.99	c nbDecision=174500 #constraints=29072
1282.93/1283.47	c nbDecision=175000 #constraints=29160
1288.33/1288.88	c nbDecision=175500 #constraints=29247
1293.53/1294.09	c nbDecision=176000 #constraints=29330
1302.42/1302.92	c nbDecision=176500 #constraints=29446
1309.03/1309.56	c nbDecision=177000 #constraints=29514
1315.43/1315.90	c nbDecision=177500 #constraints=29590
1321.42/1321.94	c nbDecision=178000 #constraints=29664
1327.52/1328.06	c nbDecision=178500 #constraints=29728
1333.32/1333.81	c nbDecision=179000 #constraints=29797
1339.81/1340.39	c nbDecision=179500 #constraints=29873
1346.61/1347.13	c nbDecision=180000 #constraints=29943
1352.81/1353.31	c nbDecision=180500 #constraints=30014
1359.02/1359.53	c nbDecision=181000 #constraints=30069
1365.61/1366.14	c nbDecision=181500 #constraints=30150
1372.21/1372.72	c nbDecision=182000 #constraints=30234
1379.00/1379.52	c nbDecision=182500 #constraints=30327
1387.30/1387.86	c nbDecision=183000 #constraints=30427
1394.69/1395.26	c nbDecision=183500 #constraints=30518
1401.39/1401.93	c nbDecision=184000 #constraints=30589
1408.50/1409.02	c nbDecision=184500 #constraints=30684
1416.39/1416.94	c nbDecision=185000 #constraints=30767
1423.08/1423.64	c nbDecision=185500 #constraints=30837
1430.68/1431.21	c nbDecision=186000 #constraints=30918
1435.08/1435.68	c nbDecision=186500 #constraints=30968
1439.78/1440.39	c nbDecision=187000 #constraints=31017
1447.48/1448.01	c nbDecision=187500 #constraints=31090
1454.78/1455.38	c nbDecision=188000 #constraints=31168
1461.07/1461.65	c nbDecision=188500 #constraints=31244
1468.27/1468.86	c nbDecision=189000 #constraints=31336
1475.87/1476.48	c nbDecision=189500 #constraints=31416
1483.06/1483.62	c nbDecision=190000 #constraints=31489
1490.16/1490.72	c nbDecision=190500 #constraints=31572
1497.66/1498.21	c nbDecision=191000 #constraints=31672
1504.16/1504.71	c nbDecision=191500 #constraints=31755
1511.26/1511.86	c nbDecision=192000 #constraints=31831
1518.95/1519.57	c nbDecision=192500 #constraints=31911
1523.75/1524.38	c nbDecision=193000 #constraints=31965
1528.94/1529.50	c nbDecision=193500 #constraints=32017
1534.95/1535.53	c nbDecision=194000 #constraints=32077
1540.64/1541.20	c nbDecision=194500 #constraints=32137
1549.44/1550.06	c nbDecision=195000 #constraints=32246
1555.54/1556.18	c nbDecision=195500 #constraints=32304
1561.14/1561.77	c nbDecision=196000 #constraints=32375
1568.83/1569.48	c nbDecision=196500 #constraints=32453
1577.83/1578.45	c nbDecision=197000 #constraints=32545
1586.13/1586.71	c nbDecision=197500 #constraints=32645
1592.92/1593.56	c nbDecision=198000 #constraints=32715
1600.03/1600.64	c nbDecision=198500 #constraints=32796
1605.43/1606.07	c nbDecision=199000 #constraints=32862
1613.42/1614.09	c nbDecision=199500 #constraints=32983
1620.12/1620.74	c nbDecision=200000 #constraints=33070
1626.91/1627.50	c nbDecision=200500 #constraints=33149
1634.11/1634.70	c nbDecision=201000 #constraints=33218
1641.61/1642.27	c nbDecision=201500 #constraints=33286
1649.20/1649.88	c nbDecision=202000 #constraints=33369
1658.00/1658.70	c nbDecision=202500 #constraints=33451
1666.40/1667.08	c nbDecision=203000 #constraints=33537
1673.40/1674.05	c nbDecision=203500 #constraints=33592
1682.79/1683.45	c nbDecision=204000 #constraints=33692
1690.39/1691.01	c nbDecision=204500 #constraints=33758
1694.29/1694.90	c restart after 204801 decisions
1696.99/1697.64	c nbDecision=205000 #constraints=33806
1706.79/1707.49	c nbDecision=205500 #constraints=33906
1713.38/1714.07	c nbDecision=206000 #constraints=33970
1719.48/1720.12	c nbDecision=206500 #constraints=34034
1726.87/1727.51	c nbDecision=207000 #constraints=34122
1733.07/1733.70	c nbDecision=207500 #constraints=34199
1740.47/1741.18	c nbDecision=208000 #constraints=34270
1750.17/1750.87	c nbDecision=208500 #constraints=34359
1756.47/1757.14	c nbDecision=209000 #constraints=34403
1762.87/1763.51	c nbDecision=209500 #constraints=34460
1768.76/1769.40	c nbDecision=210000 #constraints=34511
1776.86/1777.59	c nbDecision=210500 #constraints=34596
1786.76/1787.44	c nbDecision=211000 #constraints=34695
1795.95/1796.62	c nbDecision=211500 #constraints=34791
1800.06/1800.70	Received signal 15
1800.15/1800.87	
1800.15/1800.87	s UNKNOWN
1800.15/1800.87	
1800.15/1800.87	c user time= 1799.78 s
1800.15/1800.87	c system time= 0.447931 s
1800.15/1800.87	c wall clock time=1800.87

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

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 15284
/proc/meminfo: memFree=1662432/2055920 swapFree=4140688/4192956
[pid=15284] ppid=15282 vsize=1468 CPUtime=0
/proc/15284/stat : 15284 (oree) R 15282 15284 14612 0 -1 4194304 179 0 0 0 0 0 0 0 18 0 1 0 175683565 1503232 161 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15284/statm: 367 161 131 317 0 46 0

[startup+0.0900819 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 15284
/proc/meminfo: memFree=1662432/2055920 swapFree=4140688/4192956
[pid=15284] ppid=15282 vsize=3184 CPUtime=0.08
/proc/15284/stat : 15284 (oree) R 15282 15284 14612 0 -1 4194304 596 0 0 0 8 0 0 0 18 0 1 0 175683565 3260416 578 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15284/statm: 796 579 131 317 0 475 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 3184

[startup+0.102083 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 15284
/proc/meminfo: memFree=1662432/2055920 swapFree=4140688/4192956
[pid=15284] ppid=15282 vsize=3448 CPUtime=0.09
/proc/15284/stat : 15284 (oree) R 15282 15284 14612 0 -1 4194304 660 0 0 0 9 0 0 0 18 0 1 0 175683565 3530752 642 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15284/statm: 862 642 131 317 0 541 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3448

[startup+0.302115 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 15284
/proc/meminfo: memFree=1662432/2055920 swapFree=4140688/4192956
[pid=15284] ppid=15282 vsize=8644 CPUtime=0.29
/proc/15284/stat : 15284 (oree) R 15282 15284 14612 0 -1 4194304 1945 0 0 0 29 0 0 0 20 0 1 0 175683565 8851456 1927 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15284/statm: 2161 1927 137 317 0 1840 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8644

[startup+0.701179 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 15284
/proc/meminfo: memFree=1662432/2055920 swapFree=4140688/4192956
[pid=15284] ppid=15282 vsize=8812 CPUtime=0.69
/proc/15284/stat : 15284 (oree) R 15282 15284 14612 0 -1 4194304 2016 0 0 0 69 0 0 0 23 0 1 0 175683565 9023488 1998 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385247 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15284/statm: 2203 1998 170 317 0 1882 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8812

[startup+1.50131 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 15285
/proc/meminfo: memFree=1654872/2055920 swapFree=4140688/4192956
[pid=15284] ppid=15282 vsize=9204 CPUtime=1.49
/proc/15284/stat : 15284 (oree) R 15282 15284 14612 0 -1 4194304 2112 0 0 0 149 0 0 0 25 0 1 0 175683565 9424896 2094 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284171 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15284/statm: 2301 2094 170 317 0 1980 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9204

[startup+3.10157 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 15285
/proc/meminfo: memFree=1654168/2055920 swapFree=4140688/4192956
[pid=15284] ppid=15282 vsize=10120 CPUtime=3.08
/proc/15284/stat : 15284 (oree) R 15282 15284 14612 0 -1 4194304 2340 0 0 0 308 0 0 0 25 0 1 0 175683565 10362880 2322 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15284/statm: 2530 2322 170 317 0 2209 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 10120

[startup+6.30109 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 15285
/proc/meminfo: memFree=1652248/2055920 swapFree=4140688/4192956
[pid=15284] ppid=15282 vsize=11696 CPUtime=6.28
/proc/15284/stat : 15284 (oree) R 15282 15284 14612 0 -1 4194304 2746 0 0 0 627 1 0 0 25 0 1 0 175683565 11976704 2728 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606880 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15284/statm: 2924 2728 170 317 0 2603 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 11696

[startup+12.7011 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 15285
/proc/meminfo: memFree=1649304/2055920 swapFree=4140688/4192956
[pid=15284] ppid=15282 vsize=14344 CPUtime=12.68
/proc/15284/stat : 15284 (oree) R 15282 15284 14612 0 -1 4194304 3398 0 0 0 1266 2 0 0 25 0 1 0 175683565 14688256 3380 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384551 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15284/statm: 3586 3380 170 317 0 3265 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 14344

[startup+25.5012 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 15285
/proc/meminfo: memFree=1643800/2055920 swapFree=4140688/4192956
[pid=15284] ppid=15282 vsize=20156 CPUtime=25.48
/proc/15284/stat : 15284 (oree) R 15282 15284 14612 0 -1 4194304 4804 0 0 0 2545 3 0 0 25 0 1 0 175683565 20639744 4745 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15284/statm: 5039 4745 170 317 0 4718 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 20156

[startup+51.1024 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 15285
/proc/meminfo: memFree=1635480/2055920 swapFree=4140688/4192956
[pid=15284] ppid=15282 vsize=29024 CPUtime=51.07
/proc/15284/stat : 15284 (oree) R 15282 15284 14612 0 -1 4194304 6908 0 0 0 5102 5 0 0 25 0 1 0 175683565 29720576 6849 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15284/statm: 7256 6849 170 317 0 6935 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 29024

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 15285
/proc/meminfo: memFree=1626584/2055920 swapFree=4140688/4192956
[pid=15284] ppid=15282 vsize=37876 CPUtime=102.26
/proc/15284/stat : 15284 (oree) R 15282 15284 14612 0 -1 4194304 9101 0 0 0 10218 8 0 0 25 0 1 0 175683565 38785024 9042 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15284/statm: 9469 9042 170 317 0 9148 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 37876

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 15285
/proc/meminfo: memFree=1621400/2055920 swapFree=4140688/4192956
[pid=15284] ppid=15282 vsize=43592 CPUtime=162.24
/proc/15284/stat : 15284 (oree) R 15282 15284 14612 0 -1 4194304 10479 0 0 0 16214 10 0 0 25 0 1 0 175683565 44638208 10341 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15284/statm: 10898 10341 170 317 0 10577 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 43592

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 15287
/proc/meminfo: memFree=1616536/2055920 swapFree=4140688/4192956
[pid=15284] ppid=15282 vsize=49300 CPUtime=222.21
/proc/15284/stat : 15284 (oree) R 15282 15284 14612 0 -1 4194304 11668 0 0 0 22210 11 0 0 25 0 1 0 175683565 50483200 11530 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15284/statm: 12325 11530 170 317 0 12004 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 49300

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 15287
/proc/meminfo: memFree=1611992/2055920 swapFree=4140688/4192956
[pid=15284] ppid=15282 vsize=53904 CPUtime=282.19
/proc/15284/stat : 15284 (oree) R 15282 15284 14612 0 -1 4194304 12795 0 0 0 28206 13 0 0 25 0 1 0 175683565 55197696 12657 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135271329 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15284/statm: 13476 12657 170 317 0 13155 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 53904

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 15287
/proc/meminfo: memFree=1607448/2055920 swapFree=4140688/4192956
[pid=15284] ppid=15282 vsize=58380 CPUtime=342.17
/proc/15284/stat : 15284 (oree) R 15282 15284 14612 0 -1 4194304 13920 0 0 0 34203 14 0 0 25 0 1 0 175683565 59781120 13782 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15284/statm: 14595 13782 170 317 0 14274 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 58380

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 15287
/proc/meminfo: memFree=1603416/2055920 swapFree=4140688/4192956
[pid=15284] ppid=15282 vsize=62616 CPUtime=402.15
/proc/15284/stat : 15284 (oree) R 15282 15284 14612 0 -1 4194304 14935 0 0 0 40199 16 0 0 25 0 1 0 175683565 64118784 14797 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15284/statm: 15654 14797 170 317 0 15333 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 62616

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 15287
/proc/meminfo: memFree=1599320/2055920 swapFree=4140688/4192956
[pid=15284] ppid=15282 vsize=67004 CPUtime=462.12
/proc/15284/stat : 15284 (oree) R 15282 15284 14612 0 -1 4194304 15986 0 0 0 46195 17 0 0 25 0 1 0 175683565 68612096 15848 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15284/statm: 16751 15848 170 317 0 16430 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 67004

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 15287
/proc/meminfo: memFree=1595736/2055920 swapFree=4140688/4192956
[pid=15284] ppid=15282 vsize=70464 CPUtime=522.1
/proc/15284/stat : 15284 (oree) R 15282 15284 14612 0 -1 4194304 16898 0 0 0 52192 18 0 0 25 0 1 0 175683565 72155136 16760 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15284/statm: 17616 16760 170 317 0 17295 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 70464

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 15287
/proc/meminfo: memFree=1592472/2055920 swapFree=4140688/4192956
[pid=15284] ppid=15282 vsize=73928 CPUtime=582.09
/proc/15284/stat : 15284 (oree) R 15282 15284 14612 0 -1 4194304 17697 0 0 0 58189 20 0 0 25 0 1 0 175683565 75702272 17559 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15284/statm: 18482 17559 170 317 0 18161 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 73928

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 15287
/proc/meminfo: memFree=1589144/2055920 swapFree=4140688/4192956
[pid=15284] ppid=15282 vsize=77716 CPUtime=642.07
/proc/15284/stat : 15284 (oree) R 15282 15284 14612 0 -1 4194304 18754 0 0 0 64186 21 0 0 25 0 1 0 175683565 79581184 18385 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384551 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15284/statm: 19429 18385 170 317 0 19108 0
Current children cumulated CPU time (s) 642.07
Current children cumulated vsize (KiB) 77716


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

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 15287
/proc/meminfo: memFree=1573464/2055920 swapFree=4140688/4192956
[pid=15284] ppid=15282 vsize=94084 CPUtime=941.96
/proc/15284/stat : 15284 (oree) R 15282 15284 14612 0 -1 4194304 23113 0 0 0 94169 27 0 0 25 0 1 0 175683565 96342016 22257 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15284/statm: 23521 22257 170 317 0 23200 0
Current children cumulated CPU time (s) 941.96
Current children cumulated vsize (KiB) 94084

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 15287
/proc/meminfo: memFree=1569880/2055920 swapFree=4140688/4192956
[pid=15284] ppid=15282 vsize=99420 CPUtime=1001.94
/proc/15284/stat : 15284 (oree) R 15282 15284 14612 0 -1 4194304 24472 0 0 0 100166 28 0 0 25 0 1 0 175683565 101806080 23187 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718451 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15284/statm: 24855 23187 170 317 0 24534 0
Current children cumulated CPU time (s) 1001.94
Current children cumulated vsize (KiB) 99420

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 15287
/proc/meminfo: memFree=1566104/2055920 swapFree=4140688/4192956
[pid=15284] ppid=15282 vsize=104280 CPUtime=1061.91
/proc/15284/stat : 15284 (oree) R 15282 15284 14612 0 -1 4194304 25669 0 0 0 106161 30 0 0 25 0 1 0 175683565 106782720 24153 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15284/statm: 26070 24153 170 317 0 25749 0
Current children cumulated CPU time (s) 1061.91
Current children cumulated vsize (KiB) 104280

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 15287
/proc/meminfo: memFree=1562328/2055920 swapFree=4140688/4192956
[pid=15284] ppid=15282 vsize=107948 CPUtime=1121.89
/proc/15284/stat : 15284 (oree) R 15282 15284 14612 0 -1 4194304 26697 0 0 0 112158 31 0 0 25 0 1 0 175683565 110538752 25082 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15284/statm: 26987 25082 170 317 0 26666 0
Current children cumulated CPU time (s) 1121.89
Current children cumulated vsize (KiB) 107948

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 15287
/proc/meminfo: memFree=1559384/2055920 swapFree=4140688/4192956
[pid=15284] ppid=15282 vsize=110964 CPUtime=1181.87
/proc/15284/stat : 15284 (oree) R 15282 15284 14612 0 -1 4194304 27500 0 0 0 118155 32 0 0 25 0 1 0 175683565 113627136 25819 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15284/statm: 27741 25819 170 317 0 27420 0
Current children cumulated CPU time (s) 1181.87
Current children cumulated vsize (KiB) 110964

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 15287
/proc/meminfo: memFree=1556440/2055920 swapFree=4140688/4192956
[pid=15284] ppid=15282 vsize=113452 CPUtime=1241.85
/proc/15284/stat : 15284 (oree) R 15282 15284 14612 0 -1 4194304 28221 0 0 0 124151 34 0 0 25 0 1 0 175683565 116174848 26540 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15284/statm: 28363 26540 170 317 0 28042 0
Current children cumulated CPU time (s) 1241.85
Current children cumulated vsize (KiB) 113452

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 15287
/proc/meminfo: memFree=1553240/2055920 swapFree=4140688/4192956
[pid=15284] ppid=15282 vsize=117544 CPUtime=1301.83
/proc/15284/stat : 15284 (oree) R 15282 15284 14612 0 -1 4194304 29292 0 0 0 130149 34 0 0 25 0 1 0 175683565 120365056 27314 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15284/statm: 29386 27314 170 317 0 29065 0
Current children cumulated CPU time (s) 1301.83
Current children cumulated vsize (KiB) 117544

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 15287
/proc/meminfo: memFree=1550808/2055920 swapFree=4140688/4192956
[pid=15284] ppid=15282 vsize=119820 CPUtime=1361.81
/proc/15284/stat : 15284 (oree) R 15282 15284 14612 0 -1 4194304 29909 0 0 0 136145 36 0 0 25 0 1 0 175683565 122695680 27931 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712567 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15284/statm: 29955 27931 170 317 0 29634 0
Current children cumulated CPU time (s) 1361.81
Current children cumulated vsize (KiB) 119820

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 15287
/proc/meminfo: memFree=1548184/2055920 swapFree=4140688/4192956
[pid=15284] ppid=15282 vsize=122100 CPUtime=1421.79
/proc/15284/stat : 15284 (oree) R 15282 15284 14612 0 -1 4194304 30554 0 0 0 142142 37 0 0 25 0 1 0 175683565 125030400 28576 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15284/statm: 30525 28576 170 317 0 30204 0
Current children cumulated CPU time (s) 1421.79
Current children cumulated vsize (KiB) 122100

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 15287
/proc/meminfo: memFree=1545880/2055920 swapFree=4140688/4192956
[pid=15284] ppid=15282 vsize=124184 CPUtime=1481.76
/proc/15284/stat : 15284 (oree) R 15282 15284 14612 0 -1 4194304 31131 0 0 0 148138 38 0 0 25 0 1 0 175683565 127164416 29120 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15284/statm: 31046 29120 170 317 0 30725 0
Current children cumulated CPU time (s) 1481.76
Current children cumulated vsize (KiB) 124184

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 15287
/proc/meminfo: memFree=1543128/2055920 swapFree=4140688/4192956
[pid=15284] ppid=15282 vsize=126804 CPUtime=1541.74
/proc/15284/stat : 15284 (oree) R 15282 15284 14612 0 -1 4194304 31896 0 0 0 154135 39 0 0 25 0 1 0 175683565 129847296 29819 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15284/statm: 31701 29819 170 317 0 31380 0
Current children cumulated CPU time (s) 1541.74
Current children cumulated vsize (KiB) 126804

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 15287
/proc/meminfo: memFree=1540568/2055920 swapFree=4140688/4192956
[pid=15284] ppid=15282 vsize=129144 CPUtime=1601.73
/proc/15284/stat : 15284 (oree) R 15282 15284 14612 0 -1 4194304 32562 0 0 0 160132 41 0 0 25 0 1 0 175683565 132243456 30452 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718451 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15284/statm: 32286 30452 170 317 0 31965 0
Current children cumulated CPU time (s) 1601.73
Current children cumulated vsize (KiB) 129144

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 15287
/proc/meminfo: memFree=1537816/2055920 swapFree=4140688/4192956
[pid=15284] ppid=15282 vsize=131628 CPUtime=1661.7
/proc/15284/stat : 15284 (oree) R 15282 15284 14612 0 -1 4194304 33276 0 0 0 166129 41 0 0 25 0 1 0 175683565 134787072 31133 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15284/statm: 32907 31133 170 317 0 32586 0
Current children cumulated CPU time (s) 1661.7
Current children cumulated vsize (KiB) 131628

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 15287
/proc/meminfo: memFree=1535448/2055920 swapFree=4140688/4192956
[pid=15284] ppid=15282 vsize=133984 CPUtime=1721.68
/proc/15284/stat : 15284 (oree) R 15282 15284 14612 0 -1 4194304 33882 0 0 0 172125 43 0 0 25 0 1 0 175683565 137199616 31739 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15284/statm: 33496 31739 170 317 0 33175 0
Current children cumulated CPU time (s) 1721.68
Current children cumulated vsize (KiB) 133984

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 15287
/proc/meminfo: memFree=1533016/2055920 swapFree=4140688/4192956
[pid=15284] ppid=15282 vsize=136072 CPUtime=1781.66
/proc/15284/stat : 15284 (oree) R 15282 15284 14612 0 -1 4194304 34486 0 0 0 178122 44 0 0 25 0 1 0 175683565 139337728 32343 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15284/statm: 34018 32343 170 317 0 33697 0
Current children cumulated CPU time (s) 1781.66
Current children cumulated vsize (KiB) 136072



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 15287
/proc/meminfo: memFree=1532184/2055920 swapFree=4140688/4192956
[pid=15284] ppid=15282 vsize=136852 CPUtime=1800.06
/proc/15284/stat : 15284 (oree) R 15282 15284 14612 0 -1 4194304 34692 0 0 0 179962 44 0 0 25 0 1 0 175683565 140136448 32549 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15284/statm: 34213 32549 170 317 0 33892 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 136852

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

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

[startup+1800.81 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 15287
/proc/meminfo: memFree=1532184/2055920 swapFree=4140688/4192956
[pid=15284] ppid=15282 vsize=136852 CPUtime=1800.15
/proc/15284/stat : 15284 (oree) R 15282 15284 14612 0 -1 4194304 34693 0 0 0 179971 44 0 0 25 0 1 0 175683565 140136448 32550 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15284/statm: 34213 32550 170 317 0 33892 0
Current children cumulated CPU time (s) 1800.15
Current children cumulated vsize (KiB) 136852

[startup+1800.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 15287
/proc/meminfo: memFree=1532184/2055920 swapFree=4140688/4192956
[pid=15284] ppid=15282 vsize=0 CPUtime=1800.26
/proc/15284/stat : 15284 (oree) D 15282 15284 14612 0 -1 4194308 34710 0 0 0 179979 47 0 0 24 0 1 0 175683565 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 18446744072100051646 0 0 17 0 0 0
/proc/15284/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.26
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1800.9
CPU time (s): 1800.26
CPU user time (s): 1799.79
CPU system time (s): 0.471928
CPU usage (%): 99.9645
Max. virtual memory (cumulated for all children) (KiB): 136852

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

runsolver used 2.14567 second user time and 4.40333 second system time

The end

Launcher Data (download as text)

Begin job on node3 on Thu Apr 19 15:27:38 UTC 2007

IDJOB= 357387
IDBENCH= 2508
IDSOLVER= 172
FILE ID= node3/357387-1176996458

PBS_JOBID= 4630443

Free space on /tmp= 66357 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-roll3000.opb
COMMAND LINE= oree /tmp/evaluation/357387-1176996458/instance-357387-1176996458.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node3/watcher-357387-1176996458 -o ROOT/results/node3/solver-357387-1176996458 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/357387-1176996458/instance-357387-1176996458.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  553e03f28bab227c11d33a47edd1fb32

RANDOM SEED= 978082125

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node3.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.270
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.270
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:       1662776 kB
Buffers:         36928 kB
Cached:         288916 kB
SwapCached:      15176 kB
Active:          49484 kB
Inactive:       300608 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1662776 kB
SwapTotal:     4192956 kB
SwapFree:      4140688 kB
Dirty:            2244 kB
Writeback:           0 kB
Mapped:          31252 kB
Slab:            28556 kB
Committed_AS:  5299876 kB
PageTables:       1784 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= 66357 MiB

End job on node3 on Thu Apr 19 15:57:41 UTC 2007