Trace number 356905

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.1 1800.83

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-reduced-mps-v2-20-10-blp-ar98.opb
MD5SUM24f5fdc248e1411d713d304748099da5
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables20024
Total number of constraints1258
Number of constraints which are clauses1
Number of constraints which are cardinality constraints (but not clauses)912
Number of constraints which are nor clauses,nor cardinality constraints345
Minimum length of a constraint2
Maximum length of a constraint15837
Number of terms in the objective function 31
Biggest coefficient in the objective function 262145
Number of bits for the biggest coefficient in the objective function 19
Sum of the numbers in the objective function 524318
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262145
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 532272
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

0.00/0.00	c This is oree version 0.1.2 alpha
0.00/0.00	c (c) roussel@cril.univ-artois.fr
0.00/0.00	c using __gmp_expr<__gmpz_value, __gmpz_value>
0.00/0.00	c parsing...
0.79/0.82	c ...done
0.79/0.82	c #vars=20024 #constraints=1474 hasObjective=yes
0.89/0.92	c res. mode=mod
0.89/0.92	c VSIDS like heuristics
0.89/0.92	c complete search running
2.59/2.61	c restart after 401 decisions
2.99/3.03	c nbDecision=500 #constraints=1574
4.19/4.24	c restart after 801 decisions
4.99/5.05	c nbDecision=1000 #constraints=1676
7.09/7.18	c nbDecision=1500 #constraints=1787
7.49/7.55	c restart after 1601 decisions
9.09/9.17	c nbDecision=2000 #constraints=1879
16.19/16.27	c nbDecision=2500 #constraints=2007
26.18/26.26	c nbDecision=3000 #constraints=2153
29.18/29.27	c restart after 3201 decisions
34.27/34.35	c nbDecision=3500 #constraints=2257
39.77/39.83	c nbDecision=4000 #constraints=2363
46.47/46.50	c nbDecision=4500 #constraints=2483
54.97/55.07	c nbDecision=5000 #constraints=2622
57.87/57.99	c nbDecision=5500 #constraints=2716
62.16/62.26	c nbDecision=6000 #constraints=2824
70.47/70.56	c restart after 6401 decisions
70.97/71.02	c nbDecision=6500 #constraints=2971
73.17/73.25	c nbDecision=7000 #constraints=3074
75.36/75.49	c nbDecision=7500 #constraints=3174
82.26/82.34	c nbDecision=8000 #constraints=3301
92.36/92.48	c nbDecision=8500 #constraints=3459
98.65/98.75	c nbDecision=9000 #constraints=3547
102.16/102.30	c nbDecision=9500 #constraints=3627
106.15/106.28	c nbDecision=10000 #constraints=3706
108.25/108.38	c nbDecision=10500 #constraints=3800
117.44/117.60	c nbDecision=11000 #constraints=3940
125.54/125.66	c nbDecision=11500 #constraints=4051
129.74/129.84	c nbDecision=12000 #constraints=4122
135.74/135.80	c nbDecision=12500 #constraints=4218
139.13/139.23	c restart after 12801 decisions
142.13/142.21	c nbDecision=13000 #constraints=4354
146.83/146.94	c nbDecision=13500 #constraints=4426
149.63/149.80	c nbDecision=14000 #constraints=4508
157.02/157.17	c nbDecision=14500 #constraints=4597
165.43/165.59	c nbDecision=15000 #constraints=4711
168.93/169.02	c nbDecision=15500 #constraints=4791
177.22/177.39	c nbDecision=16000 #constraints=4921
184.22/184.34	c nbDecision=16500 #constraints=5018
186.42/186.55	c nbDecision=17000 #constraints=5111
195.62/195.74	c nbDecision=17500 #constraints=5251
204.81/204.92	c nbDecision=18000 #constraints=5388
210.41/210.57	c nbDecision=18500 #constraints=5490
214.81/214.95	c nbDecision=19000 #constraints=5596
224.30/224.41	c nbDecision=19500 #constraints=5741
232.20/232.33	c nbDecision=20000 #constraints=5845
236.70/236.87	c nbDecision=20500 #constraints=5949
243.19/243.36	c nbDecision=21000 #constraints=6036
246.39/246.52	c nbDecision=21500 #constraints=6125
256.49/256.62	c nbDecision=22000 #constraints=6279
262.98/263.10	c nbDecision=22500 #constraints=6396
266.68/266.81	c nbDecision=23000 #constraints=6472
271.79/271.96	c nbDecision=23500 #constraints=6542
275.99/276.19	c nbDecision=24000 #constraints=6624
280.08/280.27	c nbDecision=24500 #constraints=6703
283.48/283.64	c nbDecision=25000 #constraints=6776
285.89/286.02	c nbDecision=25500 #constraints=6856
286.28/286.41	c restart after 25601 decisions
290.38/290.53	c nbDecision=26000 #constraints=6951
294.58/294.73	c nbDecision=26500 #constraints=7023
299.47/299.69	c nbDecision=27000 #constraints=7122
304.77/304.95	c nbDecision=27500 #constraints=7188
311.77/311.95	c nbDecision=28000 #constraints=7308
317.27/317.42	c nbDecision=28500 #constraints=7392
322.56/322.72	c nbDecision=29000 #constraints=7483
326.66/326.87	c nbDecision=29500 #constraints=7616
328.36/328.55	c nbDecision=30000 #constraints=7840
330.76/330.99	c nbDecision=30500 #constraints=7913
333.16/333.33	c nbDecision=31000 #constraints=7987
335.16/335.38	c nbDecision=31500 #constraints=8052
337.26/337.41	c nbDecision=32000 #constraints=8117
339.25/339.49	c nbDecision=32500 #constraints=8191
341.25/341.45	c nbDecision=33000 #constraints=8462
343.55/343.76	c nbDecision=33500 #constraints=8522
345.55/345.76	c nbDecision=34000 #constraints=8592
346.15/346.35	c nbDecision=34500 #constraints=8815
347.16/347.31	c nbDecision=35000 #constraints=9032
348.46/348.65	c nbDecision=35500 #constraints=9327
349.06/349.21	c nbDecision=36000 #constraints=9579
349.66/349.87	c nbDecision=36500 #constraints=9802
350.36/350.50	c nbDecision=37000 #constraints=10023
351.46/351.68	c nbDecision=37500 #constraints=10209
353.85/354.01	c nbDecision=38000 #constraints=10267
355.16/355.31	c nbDecision=38500 #constraints=10427
355.75/356.00	c nbDecision=39000 #constraints=10659
356.45/356.67	c nbDecision=39500 #constraints=10912
358.36/358.52	c nbDecision=40000 #constraints=11231
360.45/360.63	c nbDecision=40500 #constraints=11471
361.45/361.68	c nbDecision=41000 #constraints=11683
363.25/363.45	c nbDecision=41500 #constraints=11971
365.35/365.59	c nbDecision=42000 #constraints=12148
367.74/367.95	c nbDecision=42500 #constraints=12205
369.84/370.06	c nbDecision=43000 #constraints=12386
372.44/372.60	c nbDecision=43500 #constraints=12451
374.64/374.88	c nbDecision=44000 #constraints=12590
376.74/376.99	c nbDecision=44500 #constraints=12915
378.04/378.21	c nbDecision=45000 #constraints=13116
380.24/380.40	c nbDecision=45500 #constraints=13420
382.74/382.97	c nbDecision=46000 #constraints=13723
384.33/384.50	c nbDecision=46500 #constraints=14021
385.24/385.41	c nbDecision=47000 #constraints=14256
387.74/387.94	c nbDecision=47500 #constraints=14568
389.44/389.61	c nbDecision=48000 #constraints=14879
390.54/390.74	c nbDecision=48500 #constraints=15087
392.74/392.92	c nbDecision=49000 #constraints=15477
395.63/395.87	c nbDecision=49500 #constraints=15766
397.83/398.02	c nbDecision=50000 #constraints=16096
400.93/401.14	c nbDecision=50500 #constraints=16220
403.53/403.71	c nbDecision=51000 #constraints=16284
403.83/404.05	c restart after 51201 decisions
405.83/406.04	c nbDecision=51500 #constraints=16414
412.02/412.23	c nbDecision=52000 #constraints=16496
416.12/416.36	c nbDecision=52500 #constraints=16566
419.82/420.07	c nbDecision=53000 #constraints=16645
422.22/422.41	c nbDecision=53500 #constraints=16711
425.22/425.46	c nbDecision=54000 #constraints=16768
428.42/428.70	c nbDecision=54500 #constraints=16862
433.72/433.91	c nbDecision=55000 #constraints=16926
437.31/437.54	c nbDecision=55500 #constraints=16999
439.51/439.78	c nbDecision=56000 #constraints=17061
443.31/443.56	c nbDecision=56500 #constraints=17125
445.52/445.75	c nbDecision=57000 #constraints=17249
446.62/446.83	c nbDecision=57500 #constraints=17504
448.22/448.42	c nbDecision=58000 #constraints=17717
453.11/453.34	c nbDecision=58500 #constraints=17783
456.81/457.03	c nbDecision=59000 #constraints=17855
459.41/459.69	c nbDecision=59500 #constraints=17913
462.61/462.85	c nbDecision=60000 #constraints=17974
465.41/465.63	c nbDecision=60500 #constraints=18055
466.50/466.77	c nbDecision=61000 #constraints=18287
468.31/468.58	c nbDecision=61500 #constraints=18425
470.00/470.28	c nbDecision=62000 #constraints=18575
471.10/471.36	c nbDecision=62500 #constraints=18811
472.80/473.02	c nbDecision=63000 #constraints=18969
474.10/474.31	c nbDecision=63500 #constraints=19200
478.70/478.90	c nbDecision=64000 #constraints=19313
482.19/482.47	c nbDecision=64500 #constraints=19393
485.29/485.55	c nbDecision=65000 #constraints=19456
488.49/488.75	c nbDecision=65500 #constraints=19518
491.30/491.57	c nbDecision=66000 #constraints=19586
493.60/493.84	c nbDecision=66500 #constraints=19734
495.30/495.51	c nbDecision=67000 #constraints=19905
496.90/497.14	c nbDecision=67500 #constraints=20054
498.19/498.46	c nbDecision=68000 #constraints=20310
499.49/499.77	c nbDecision=68500 #constraints=20534
501.40/501.69	c nbDecision=69000 #constraints=20671
502.79/503.02	c nbDecision=69500 #constraints=20900
507.69/507.93	c nbDecision=70000 #constraints=20964
509.69/509.93	c nbDecision=70500 #constraints=21087
511.39/511.69	c nbDecision=71000 #constraints=21253
512.68/512.94	c nbDecision=71500 #constraints=21485
513.98/514.25	c nbDecision=72000 #constraints=21718
515.08/515.36	c nbDecision=72500 #constraints=21945
517.38/517.63	c nbDecision=73000 #constraints=22024
519.08/519.30	c nbDecision=73500 #constraints=22213
522.38/522.60	c nbDecision=74000 #constraints=22372
526.78/527.09	c nbDecision=74500 #constraints=22440
530.17/530.46	c nbDecision=75000 #constraints=22505
533.97/534.27	c nbDecision=75500 #constraints=22572
535.77/536.04	c nbDecision=76000 #constraints=22778
537.17/537.43	c nbDecision=76500 #constraints=23001
538.68/538.90	c nbDecision=77000 #constraints=23228
540.07/540.37	c nbDecision=77500 #constraints=23414
541.77/542.03	c nbDecision=78000 #constraints=23646
543.47/543.74	c nbDecision=78500 #constraints=23799
546.27/546.58	c nbDecision=79000 #constraints=23926
550.06/550.37	c nbDecision=79500 #constraints=23989
553.16/553.42	c nbDecision=80000 #constraints=24136
554.46/554.76	c nbDecision=80500 #constraints=24334
556.16/556.41	c nbDecision=81000 #constraints=24541
558.16/558.41	c nbDecision=81500 #constraints=24666
560.06/560.33	c nbDecision=82000 #constraints=24783
561.96/562.27	c nbDecision=82500 #constraints=24904
563.66/563.92	c nbDecision=83000 #constraints=25148
565.27/565.55	c nbDecision=83500 #constraints=25374
567.06/567.31	c nbDecision=84000 #constraints=25525
569.36/569.69	c nbDecision=84500 #constraints=25603
571.16/571.41	c nbDecision=85000 #constraints=25735
573.96/574.27	c nbDecision=85500 #constraints=25889
576.46/576.71	c nbDecision=86000 #constraints=26011
578.06/578.40	c nbDecision=86500 #constraints=26219
579.76/580.09	c nbDecision=87000 #constraints=26445
581.25/581.58	c nbDecision=87500 #constraints=26671
583.15/583.43	c nbDecision=88000 #constraints=26883
585.05/585.36	c nbDecision=88500 #constraints=27098
586.95/587.20	c nbDecision=89000 #constraints=27270
588.55/588.86	c nbDecision=89500 #constraints=27503
590.75/591.01	c nbDecision=90000 #constraints=27708
592.35/592.69	c nbDecision=90500 #constraints=27963
594.65/594.90	c nbDecision=91000 #constraints=28152
601.45/601.70	c nbDecision=91500 #constraints=28250
605.85/606.12	c nbDecision=92000 #constraints=28316
609.15/609.49	c nbDecision=92500 #constraints=28387
612.35/612.62	c nbDecision=93000 #constraints=28448
615.44/615.71	c nbDecision=93500 #constraints=28599
617.85/618.15	c nbDecision=94000 #constraints=28812
620.34/620.64	c nbDecision=94500 #constraints=29061
622.74/623.08	c nbDecision=95000 #constraints=29263
624.64/624.96	c nbDecision=95500 #constraints=29481
627.24/627.51	c nbDecision=96000 #constraints=29626
628.64/628.96	c nbDecision=96500 #constraints=29867
630.43/630.70	c nbDecision=97000 #constraints=30084
631.93/632.27	c nbDecision=97500 #constraints=30317
634.44/634.74	c nbDecision=98000 #constraints=30467
637.13/637.49	c nbDecision=98500 #constraints=30564
638.63/638.95	c nbDecision=99000 #constraints=30724
640.83/641.16	c nbDecision=99500 #constraints=30937
642.73/643.09	c nbDecision=100000 #constraints=31162
644.23/644.59	c nbDecision=100500 #constraints=31323
647.53/647.83	c nbDecision=101000 #constraints=31500
650.42/650.75	c nbDecision=101500 #constraints=31662
652.42/652.75	c nbDecision=102000 #constraints=31859
653.92/654.23	c restart after 102401 decisions
654.62/654.92	c nbDecision=102500 #constraints=32047
658.92/659.24	c nbDecision=103000 #constraints=32124
664.13/664.41	c nbDecision=103500 #constraints=32199
671.32/671.60	c nbDecision=104000 #constraints=32307
674.42/674.76	c nbDecision=104500 #constraints=32406
681.52/681.82	c nbDecision=105000 #constraints=32529
690.81/691.10	c nbDecision=105500 #constraints=32649
697.31/697.64	c nbDecision=106000 #constraints=32733
703.10/703.44	c nbDecision=106500 #constraints=32845
712.90/713.23	c nbDecision=107000 #constraints=32973
722.80/723.13	c nbDecision=107500 #constraints=33103
729.39/729.70	c nbDecision=108000 #constraints=33167
734.19/734.51	c nbDecision=108500 #constraints=33231
738.99/739.35	c nbDecision=109000 #constraints=33288
744.69/745.01	c nbDecision=109500 #constraints=33343
747.69/748.02	c nbDecision=110000 #constraints=33411
753.28/753.65	c nbDecision=110500 #constraints=33461
759.58/759.99	c nbDecision=111000 #constraints=33518
764.08/764.46	c nbDecision=111500 #constraints=33580
768.08/768.43	c nbDecision=112000 #constraints=33639
771.98/772.31	c nbDecision=112500 #constraints=33780
775.19/775.58	c nbDecision=113000 #constraints=33885
778.08/778.46	c nbDecision=113500 #constraints=33984
780.38/780.77	c nbDecision=114000 #constraints=34168
782.28/782.68	c nbDecision=114500 #constraints=34397
784.78/785.13	c nbDecision=115000 #constraints=34528
787.18/787.55	c nbDecision=115500 #constraints=34740
792.87/793.26	c nbDecision=116000 #constraints=34802
796.87/797.23	c nbDecision=116500 #constraints=34884
799.57/799.96	c nbDecision=117000 #constraints=34947
803.67/804.08	c nbDecision=117500 #constraints=34998
806.57/806.90	c nbDecision=118000 #constraints=35088
809.06/809.48	c nbDecision=118500 #constraints=35223
811.36/811.75	c nbDecision=119000 #constraints=35444
816.26/816.62	c nbDecision=119500 #constraints=35499
820.26/820.66	c nbDecision=120000 #constraints=35559
823.35/823.73	c nbDecision=120500 #constraints=35733
826.05/826.49	c nbDecision=121000 #constraints=35949
828.35/828.72	c nbDecision=121500 #constraints=36154
830.35/830.72	c nbDecision=122000 #constraints=36421
833.05/833.44	c nbDecision=122500 #constraints=36514
836.35/836.74	c nbDecision=123000 #constraints=36693
838.65/839.09	c nbDecision=123500 #constraints=36913
841.05/841.40	c nbDecision=124000 #constraints=37160
843.84/844.22	c nbDecision=124500 #constraints=37294
846.95/847.37	c nbDecision=125000 #constraints=37435
849.75/850.15	c nbDecision=125500 #constraints=37549
851.95/852.32	c nbDecision=126000 #constraints=37725
854.15/854.51	c nbDecision=126500 #constraints=37953
856.55/856.94	c nbDecision=127000 #constraints=38123
859.05/859.46	c nbDecision=127500 #constraints=38362
861.25/861.65	c nbDecision=128000 #constraints=38608
863.74/864.12	c nbDecision=128500 #constraints=38774
865.84/866.25	c nbDecision=129000 #constraints=39000
868.94/869.31	c nbDecision=129500 #constraints=39118
871.94/872.31	c nbDecision=130000 #constraints=39295
874.14/874.57	c nbDecision=130500 #constraints=39384
876.24/876.64	c nbDecision=131000 #constraints=39501
879.84/880.21	c nbDecision=131500 #constraints=39629
884.63/885.06	c nbDecision=132000 #constraints=39761
887.73/888.13	c nbDecision=132500 #constraints=39838
890.54/890.97	c nbDecision=133000 #constraints=39957
894.63/895.00	c nbDecision=133500 #constraints=40040
898.03/898.42	c nbDecision=134000 #constraints=40128
900.23/900.64	c nbDecision=134500 #constraints=40305
901.83/902.28	c nbDecision=135000 #constraints=40469
904.32/904.77	c nbDecision=135500 #constraints=40616
906.72/907.12	c nbDecision=136000 #constraints=40698
909.12/909.59	c nbDecision=136500 #constraints=40783
910.92/911.31	c nbDecision=137000 #constraints=40867
912.52/912.92	c nbDecision=137500 #constraints=40951
916.82/917.24	c nbDecision=138000 #constraints=41080
921.32/921.75	c nbDecision=138500 #constraints=41157
923.72/924.13	c nbDecision=139000 #constraints=41281
928.12/928.59	c nbDecision=139500 #constraints=41405
931.72/932.14	c nbDecision=140000 #constraints=41556
934.02/934.41	c nbDecision=140500 #constraints=41631
934.92/935.38	c nbDecision=141000 #constraints=41704
936.22/936.64	c nbDecision=141500 #constraints=41747
938.22/938.66	c nbDecision=142000 #constraints=41857
940.72/941.11	c nbDecision=142500 #constraints=42101
943.42/943.83	c nbDecision=143000 #constraints=42310
947.11/947.57	c nbDecision=143500 #constraints=42522
949.11/949.56	c nbDecision=144000 #constraints=42576
950.71/951.11	c nbDecision=144500 #constraints=42640
953.01/953.45	c nbDecision=145000 #constraints=42681
959.01/959.49	c nbDecision=145500 #constraints=42739
962.60/963.02	c nbDecision=146000 #constraints=42887
965.00/965.46	c nbDecision=146500 #constraints=42959
967.80/968.21	c nbDecision=147000 #constraints=43084
971.20/971.69	c nbDecision=147500 #constraints=43164
974.40/974.89	c nbDecision=148000 #constraints=43308
976.50/976.93	c nbDecision=148500 #constraints=43363
978.40/978.87	c nbDecision=149000 #constraints=43431
982.09/982.52	c nbDecision=149500 #constraints=43524
984.89/985.30	c nbDecision=150000 #constraints=43618
988.29/988.70	c nbDecision=150500 #constraints=43767
991.69/992.13	c nbDecision=151000 #constraints=43818
994.59/995.03	c nbDecision=151500 #constraints=43900
998.59/999.05	c nbDecision=152000 #constraints=44073
1000.98/1001.49	c nbDecision=152500 #constraints=44292
1004.28/1004.78	c nbDecision=153000 #constraints=44339
1007.48/1007.94	c nbDecision=153500 #constraints=44461
1010.08/1010.54	c nbDecision=154000 #constraints=44705
1013.18/1013.68	c nbDecision=154500 #constraints=44780
1016.68/1017.17	c nbDecision=155000 #constraints=44862
1020.28/1020.75	c nbDecision=155500 #constraints=44922
1022.07/1022.58	c nbDecision=156000 #constraints=44974
1025.48/1025.97	c nbDecision=156500 #constraints=45080
1029.18/1029.70	c nbDecision=157000 #constraints=45265
1031.78/1032.29	c nbDecision=157500 #constraints=45334
1033.18/1033.67	c nbDecision=158000 #constraints=45397
1034.27/1034.76	c nbDecision=158500 #constraints=45440
1035.07/1035.51	c nbDecision=159000 #constraints=45485
1038.17/1038.61	c nbDecision=159500 #constraints=45582
1041.47/1041.92	c nbDecision=160000 #constraints=45678
1043.27/1043.76	c nbDecision=160500 #constraints=45747
1045.07/1045.52	c nbDecision=161000 #constraints=45824
1046.77/1047.21	c nbDecision=161500 #constraints=45881
1049.87/1050.34	c nbDecision=162000 #constraints=45928
1052.77/1053.28	c nbDecision=162500 #constraints=46033
1055.76/1056.24	c nbDecision=163000 #constraints=46274
1058.26/1058.70	c nbDecision=163500 #constraints=46461
1061.26/1061.75	c nbDecision=164000 #constraints=46554
1063.06/1063.55	c nbDecision=164500 #constraints=46781
1066.56/1067.01	c nbDecision=165000 #constraints=46843
1070.46/1070.98	c nbDecision=165500 #constraints=46983
1075.95/1076.46	c nbDecision=166000 #constraints=47132
1080.25/1080.75	c nbDecision=166500 #constraints=47245
1083.45/1083.99	c nbDecision=167000 #constraints=47324
1086.65/1087.17	c nbDecision=167500 #constraints=47432
1090.15/1090.60	c nbDecision=168000 #constraints=47594
1091.85/1092.38	c nbDecision=168500 #constraints=47666
1094.35/1094.88	c nbDecision=169000 #constraints=47771
1097.54/1098.02	c nbDecision=169500 #constraints=47960
1099.14/1099.67	c nbDecision=170000 #constraints=48112
1101.84/1102.32	c nbDecision=170500 #constraints=48284
1103.45/1103.98	c nbDecision=171000 #constraints=48459
1107.65/1108.11	c nbDecision=171500 #constraints=48561
1113.64/1114.12	c nbDecision=172000 #constraints=48627
1119.24/1119.71	c nbDecision=172500 #constraints=48677
1122.84/1123.31	c nbDecision=173000 #constraints=48743
1127.14/1127.65	c nbDecision=173500 #constraints=48801
1130.94/1131.45	c nbDecision=174000 #constraints=48868
1137.03/1137.53	c nbDecision=174500 #constraints=48922
1141.33/1141.87	c nbDecision=175000 #constraints=49000
1145.43/1145.96	c nbDecision=175500 #constraints=49065
1149.43/1149.90	c nbDecision=176000 #constraints=49121
1153.43/1153.94	c nbDecision=176500 #constraints=49181
1158.93/1159.42	c nbDecision=177000 #constraints=49284
1165.02/1165.59	c nbDecision=177500 #constraints=49334
1169.52/1170.07	c nbDecision=178000 #constraints=49391
1175.42/1175.95	c nbDecision=178500 #constraints=49448
1179.11/1179.64	c nbDecision=179000 #constraints=49522
1185.01/1185.50	c nbDecision=179500 #constraints=49621
1190.02/1190.52	c nbDecision=180000 #constraints=49677
1193.71/1194.20	c nbDecision=180500 #constraints=49733
1196.81/1197.33	c nbDecision=181000 #constraints=49831
1200.81/1201.30	c nbDecision=181500 #constraints=49952
1204.81/1205.31	c nbDecision=182000 #constraints=50112
1209.20/1209.73	c nbDecision=182500 #constraints=50257
1212.81/1213.34	c nbDecision=183000 #constraints=50348
1217.50/1218.05	c nbDecision=183500 #constraints=50425
1222.10/1222.60	c nbDecision=184000 #constraints=50511
1227.39/1227.92	c nbDecision=184500 #constraints=50572
1231.89/1232.48	c nbDecision=185000 #constraints=50636
1235.89/1236.48	c nbDecision=185500 #constraints=50715
1239.69/1240.27	c nbDecision=186000 #constraints=50786
1243.39/1243.92	c nbDecision=186500 #constraints=50847
1250.78/1251.40	c nbDecision=187000 #constraints=50939
1257.18/1257.74	c nbDecision=187500 #constraints=50989
1260.68/1261.22	c nbDecision=188000 #constraints=51122
1265.17/1265.77	c nbDecision=188500 #constraints=51188
1271.47/1272.00	c nbDecision=189000 #constraints=51255
1275.17/1275.78	c nbDecision=189500 #constraints=51319
1279.97/1280.54	c nbDecision=190000 #constraints=51376
1282.87/1283.41	c nbDecision=190500 #constraints=51498
1285.56/1286.15	c nbDecision=191000 #constraints=51695
1289.36/1289.97	c nbDecision=191500 #constraints=51907
1293.77/1294.34	c nbDecision=192000 #constraints=51971
1296.77/1297.39	c nbDecision=192500 #constraints=52182
1298.87/1299.40	c nbDecision=193000 #constraints=52350
1301.67/1302.30	c nbDecision=193500 #constraints=52421
1305.66/1306.20	c nbDecision=194000 #constraints=52556
1309.06/1309.68	c nbDecision=194500 #constraints=52717
1312.66/1313.26	c nbDecision=195000 #constraints=52779
1317.36/1317.99	c nbDecision=195500 #constraints=52879
1321.36/1321.93	c nbDecision=196000 #constraints=53051
1324.76/1325.34	c nbDecision=196500 #constraints=53240
1328.45/1329.09	c nbDecision=197000 #constraints=53338
1332.85/1333.48	c nbDecision=197500 #constraints=53448
1335.45/1336.08	c nbDecision=198000 #constraints=53568
1339.65/1340.27	c nbDecision=198500 #constraints=53711
1343.75/1344.34	c nbDecision=199000 #constraints=53767
1347.74/1348.31	c nbDecision=199500 #constraints=53904
1350.14/1350.78	c nbDecision=200000 #constraints=54143
1353.24/1353.86	c nbDecision=200500 #constraints=54254
1357.74/1358.30	c nbDecision=201000 #constraints=54319
1361.03/1361.66	c nbDecision=201500 #constraints=54388
1365.43/1366.00	c nbDecision=202000 #constraints=54411
1370.14/1370.74	c nbDecision=202500 #constraints=54447
1371.84/1372.46	c nbDecision=203000 #constraints=54497
1374.34/1374.97	c nbDecision=203500 #constraints=54530
1378.44/1379.03	c nbDecision=204000 #constraints=54592
1381.93/1382.60	c nbDecision=204500 #constraints=54664
1384.73/1385.37	c restart after 204801 decisions
1386.33/1386.96	c nbDecision=205000 #constraints=54796
1393.73/1394.34	c nbDecision=205500 #constraints=54911
1403.92/1404.54	c nbDecision=206000 #constraints=55032
1410.92/1411.55	c nbDecision=206500 #constraints=55126
1417.52/1418.16	c nbDecision=207000 #constraints=55192
1423.11/1423.76	c nbDecision=207500 #constraints=55264
1427.81/1428.47	c nbDecision=208000 #constraints=55350
1433.61/1434.23	c nbDecision=208500 #constraints=55455
1444.30/1444.94	c nbDecision=209000 #constraints=55587
1452.40/1453.05	c nbDecision=209500 #constraints=55682
1458.90/1459.56	c nbDecision=210000 #constraints=55795
1470.29/1470.97	c nbDecision=210500 #constraints=55943
1478.40/1479.07	c nbDecision=211000 #constraints=56039
1483.69/1484.35	c nbDecision=211500 #constraints=56114
1490.69/1491.39	c nbDecision=212000 #constraints=56170
1495.59/1496.21	c nbDecision=212500 #constraints=56252
1499.69/1500.31	c nbDecision=213000 #constraints=56321
1503.38/1504.10	c nbDecision=213500 #constraints=56379
1506.98/1507.69	c nbDecision=214000 #constraints=56450
1513.48/1514.15	c nbDecision=214500 #constraints=56504
1520.08/1520.74	c nbDecision=215000 #constraints=56556
1526.47/1527.18	c nbDecision=215500 #constraints=56603
1532.87/1533.58	c nbDecision=216000 #constraints=56671
1537.97/1538.61	c nbDecision=216500 #constraints=56723
1542.36/1543.03	c nbDecision=217000 #constraints=56807
1548.17/1548.83	c nbDecision=217500 #constraints=56915
1555.26/1555.96	c nbDecision=218000 #constraints=56969
1561.55/1562.21	c nbDecision=218500 #constraints=57017
1565.67/1566.32	c nbDecision=219000 #constraints=57091
1570.16/1570.83	c nbDecision=219500 #constraints=57159
1576.86/1577.56	c nbDecision=220000 #constraints=57221
1581.95/1582.65	c nbDecision=220500 #constraints=57278
1586.15/1586.88	c nbDecision=221000 #constraints=57340
1590.75/1591.46	c nbDecision=221500 #constraints=57423
1594.45/1595.14	c nbDecision=222000 #constraints=57527
1598.75/1599.44	c nbDecision=222500 #constraints=57570
1602.54/1603.28	c nbDecision=223000 #constraints=57658
1607.45/1608.15	c nbDecision=223500 #constraints=57781
1612.34/1613.06	c nbDecision=224000 #constraints=57901
1617.14/1617.85	c nbDecision=224500 #constraints=58023
1620.64/1621.31	c nbDecision=225000 #constraints=58124
1624.04/1624.75	c nbDecision=225500 #constraints=58186
1628.73/1629.41	c nbDecision=226000 #constraints=58246
1632.33/1633.04	c nbDecision=226500 #constraints=58316
1636.43/1637.17	c nbDecision=227000 #constraints=58539
1640.43/1641.14	c nbDecision=227500 #constraints=58769
1645.23/1645.94	c nbDecision=228000 #constraints=58874
1648.93/1649.69	c nbDecision=228500 #constraints=58947
1652.72/1653.49	c nbDecision=229000 #constraints=59140
1656.32/1657.01	c nbDecision=229500 #constraints=59277
1661.82/1662.54	c nbDecision=230000 #constraints=59372
1664.72/1665.40	c nbDecision=230500 #constraints=59423
1668.82/1669.50	c nbDecision=231000 #constraints=59482
1673.31/1674.03	c nbDecision=231500 #constraints=59554
1677.41/1678.12	c nbDecision=232000 #constraints=59625
1681.91/1682.61	c nbDecision=232500 #constraints=59762
1685.81/1686.51	c nbDecision=233000 #constraints=59808
1689.71/1690.48	c nbDecision=233500 #constraints=59851
1693.70/1694.43	c nbDecision=234000 #constraints=59913
1698.10/1698.89	c nbDecision=234500 #constraints=60107
1702.10/1702.85	c nbDecision=235000 #constraints=60180
1705.10/1705.88	c nbDecision=235500 #constraints=60237
1711.19/1711.99	c nbDecision=236000 #constraints=60322
1718.60/1719.38	c nbDecision=236500 #constraints=60380
1723.09/1723.80	c nbDecision=237000 #constraints=60453
1727.69/1728.49	c nbDecision=237500 #constraints=60510
1731.49/1732.20	c nbDecision=238000 #constraints=60620
1735.99/1736.78	c nbDecision=238500 #constraints=60791
1740.19/1740.97	c nbDecision=239000 #constraints=60899
1745.79/1746.54	c nbDecision=239500 #constraints=61036
1750.39/1751.20	c nbDecision=240000 #constraints=61081
1752.28/1753.06	c nbDecision=240500 #constraints=61123
1755.89/1756.62	c nbDecision=241000 #constraints=61161
1759.48/1760.28	c nbDecision=241500 #constraints=61359
1764.58/1765.38	c nbDecision=242000 #constraints=61448
1768.88/1769.66	c nbDecision=242500 #constraints=61534
1775.47/1776.23	c nbDecision=243000 #constraints=61660
1781.27/1782.09	c nbDecision=243500 #constraints=61739
1784.57/1785.31	c nbDecision=244000 #constraints=61836
1787.67/1788.43	c nbDecision=244500 #constraints=61969
1789.86/1790.70	c nbDecision=245000 #constraints=62043
1793.66/1794.49	c nbDecision=245500 #constraints=62170
1797.76/1798.51	c nbDecision=246000 #constraints=62229
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.82 s
1800.06/1800.80	c system time= 0.25896 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/node33/watcher-356905-1176847622 -o ROOT/results/node33/solver-356905-1176847622 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356905-1176847622/instance-356905-1176847622.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.80 0.94 0.96 2/77 20838
/proc/meminfo: memFree=1664944/2055920 swapFree=4174600/4192956
[pid=20838] ppid=20836 vsize=1468 CPUtime=0
/proc/20838/stat : 20838 (oree) R 20836 20838 20781 0 -1 4194304 178 0 0 0 0 0 0 0 18 0 1 0 132677671 1503232 160 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20838/statm: 367 160 131 317 0 46 0

[startup+0.0988579 s]
/proc/loadavg: 0.80 0.94 0.96 2/77 20838
/proc/meminfo: memFree=1664944/2055920 swapFree=4174600/4192956
[pid=20838] ppid=20836 vsize=3532 CPUtime=0.09
/proc/20838/stat : 20838 (oree) R 20836 20838 20781 0 -1 4194304 633 0 0 0 9 0 0 0 18 0 1 0 132677671 3616768 615 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20838/statm: 883 615 131 317 0 562 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3532

[startup+0.101857 s]
/proc/loadavg: 0.80 0.94 0.96 2/77 20838
/proc/meminfo: memFree=1664944/2055920 swapFree=4174600/4192956
[pid=20838] ppid=20836 vsize=3532 CPUtime=0.09
/proc/20838/stat : 20838 (oree) R 20836 20838 20781 0 -1 4194304 658 0 0 0 9 0 0 0 18 0 1 0 132677671 3616768 640 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20838/statm: 883 640 131 317 0 562 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3532

[startup+0.301898 s]
/proc/loadavg: 0.80 0.94 0.96 2/77 20838
/proc/meminfo: memFree=1664944/2055920 swapFree=4174600/4192956
[pid=20838] ppid=20836 vsize=7360 CPUtime=0.29
/proc/20838/stat : 20838 (oree) R 20836 20838 20781 0 -1 4194304 1528 0 0 0 29 0 0 0 20 0 1 0 132677671 7536640 1510 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20838/statm: 1840 1510 131 317 0 1519 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7360

[startup+0.701981 s]
/proc/loadavg: 0.80 0.94 0.96 2/77 20838
/proc/meminfo: memFree=1664944/2055920 swapFree=4174600/4192956
[pid=20838] ppid=20836 vsize=15364 CPUtime=0.69
/proc/20838/stat : 20838 (oree) R 20836 20838 20781 0 -1 4194304 3425 0 0 0 68 1 0 0 24 0 1 0 132677671 15732736 3341 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20838/statm: 3841 3341 131 317 0 3520 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15364

[startup+1.50114 s]
/proc/loadavg: 0.80 0.94 0.96 2/78 20839
/proc/meminfo: memFree=1643496/2055920 swapFree=4174600/4192956
[pid=20838] ppid=20836 vsize=24156 CPUtime=1.49
/proc/20838/stat : 20838 (oree) R 20836 20838 20781 0 -1 4194304 5568 0 0 0 147 2 0 0 25 0 1 0 132677671 24735744 5484 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20838/statm: 6039 5484 139 317 0 5718 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 24156

[startup+3.10147 s]
/proc/loadavg: 0.80 0.94 0.96 2/78 20839
/proc/meminfo: memFree=1643368/2055920 swapFree=4174600/4192956
[pid=20838] ppid=20836 vsize=24156 CPUtime=3.09
/proc/20838/stat : 20838 (oree) R 20836 20838 20781 0 -1 4194304 5568 0 0 0 307 2 0 0 25 0 1 0 132677671 24735744 5484 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20838/statm: 6039 5484 139 317 0 5718 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 24156

[startup+6.30113 s]
/proc/loadavg: 0.89 0.96 0.97 2/78 20839
/proc/meminfo: memFree=1643240/2055920 swapFree=4174600/4192956
[pid=20838] ppid=20836 vsize=24156 CPUtime=6.29
/proc/20838/stat : 20838 (oree) R 20836 20838 20781 0 -1 4194304 5570 0 0 0 626 3 0 0 25 0 1 0 132677671 24735744 5486 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20838/statm: 6039 5486 139 317 0 5718 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 24156

[startup+12.7014 s]
/proc/loadavg: 0.90 0.96 0.97 2/78 20839
/proc/meminfo: memFree=1643112/2055920 swapFree=4174600/4192956
[pid=20838] ppid=20836 vsize=24284 CPUtime=12.69
/proc/20838/stat : 20838 (oree) R 20836 20838 20781 0 -1 4194304 5581 0 0 0 1266 3 0 0 25 0 1 0 132677671 24866816 5497 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564027 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20838/statm: 6071 5497 139 317 0 5750 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 24284

[startup+25.5011 s]
/proc/loadavg: 0.92 0.96 0.97 2/78 20839
/proc/meminfo: memFree=1643112/2055920 swapFree=4174600/4192956
[pid=20838] ppid=20836 vsize=24284 CPUtime=25.48
/proc/20838/stat : 20838 (oree) R 20836 20838 20781 0 -1 4194304 5598 0 0 0 2545 3 0 0 25 0 1 0 132677671 24866816 5514 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563625 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20838/statm: 6071 5514 139 317 0 5750 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 24284

[startup+51.1013 s]
/proc/loadavg: 0.95 0.96 0.97 2/78 20839
/proc/meminfo: memFree=1643048/2055920 swapFree=4174600/4192956
[pid=20838] ppid=20836 vsize=24412 CPUtime=51.07
/proc/20838/stat : 20838 (oree) R 20836 20838 20781 0 -1 4194304 5639 0 0 0 5104 3 0 0 25 0 1 0 132677671 24997888 5555 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20838/statm: 6103 5555 139 317 0 5782 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 24412

[startup+102.306 s]
/proc/loadavg: 0.98 0.97 0.97 2/78 20839
/proc/meminfo: memFree=1642728/2055920 swapFree=4174604/4192956
[pid=20838] ppid=20836 vsize=24948 CPUtime=102.26
/proc/20838/stat : 20838 (oree) R 20836 20838 20781 0 -1 4194304 5740 0 0 0 10222 4 0 0 25 0 1 0 132677671 25546752 5656 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134752702 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20838/statm: 6237 5656 139 317 0 5916 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 24948

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 20839
/proc/meminfo: memFree=1642408/2055920 swapFree=4174604/4192956
[pid=20838] ppid=20836 vsize=25348 CPUtime=162.22
/proc/20838/stat : 20838 (oree) R 20836 20838 20781 0 -1 4194304 5840 0 0 0 16218 4 0 0 25 0 1 0 132677671 25956352 5756 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20838/statm: 6337 5756 139 317 0 6016 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 25348

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 20839
/proc/meminfo: memFree=1641768/2055920 swapFree=4174604/4192956
[pid=20838] ppid=20836 vsize=25884 CPUtime=222.2
/proc/20838/stat : 20838 (oree) R 20836 20838 20781 0 -1 4194304 5985 0 0 0 22215 5 0 0 25 0 1 0 132677671 26505216 5864 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563935 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20838/statm: 6471 5864 139 317 0 6150 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 25884

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 20839
/proc/meminfo: memFree=1641640/2055920 swapFree=4174604/4192956
[pid=20838] ppid=20836 vsize=26140 CPUtime=282.18
/proc/20838/stat : 20838 (oree) R 20836 20838 20781 0 -1 4194304 6079 0 0 0 28212 6 0 0 25 0 1 0 132677671 26767360 5958 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563647 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20838/statm: 6535 5958 139 317 0 6214 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 26140

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 20839
/proc/meminfo: memFree=1640872/2055920 swapFree=4174604/4192956
[pid=20838] ppid=20836 vsize=26828 CPUtime=342.15
/proc/20838/stat : 20838 (oree) R 20836 20838 20781 0 -1 4194304 6253 0 0 0 34209 6 0 0 25 0 1 0 132677671 27471872 6132 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606847 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20838/statm: 6707 6132 139 317 0 6386 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 26828

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 20839
/proc/meminfo: memFree=1637672/2055920 swapFree=4174604/4192956
[pid=20838] ppid=20836 vsize=30256 CPUtime=402.13
/proc/20838/stat : 20838 (oree) R 20836 20838 20781 0 -1 4194304 7146 0 0 0 40205 8 0 0 25 0 1 0 132677671 30982144 6953 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20838/statm: 7564 6953 139 317 0 7243 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 30256

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 20839
/proc/meminfo: memFree=1636968/2055920 swapFree=4174604/4192956
[pid=20838] ppid=20836 vsize=30912 CPUtime=462.11
/proc/20838/stat : 20838 (oree) R 20836 20838 20781 0 -1 4194304 7316 0 0 0 46202 9 0 0 25 0 1 0 132677671 31653888 7123 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20838/statm: 7728 7123 139 317 0 7407 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 30912

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 20839
/proc/meminfo: memFree=1635112/2055920 swapFree=4174604/4192956
[pid=20838] ppid=20836 vsize=33048 CPUtime=522.08
/proc/20838/stat : 20838 (oree) R 20836 20838 20781 0 -1 4194304 7901 0 0 0 52198 10 0 0 25 0 1 0 132677671 33841152 7566 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20838/statm: 8262 7566 139 317 0 7941 0
Current children cumulated CPU time (s) 522.08
Current children cumulated vsize (KiB) 33048

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 20839
/proc/meminfo: memFree=1633640/2055920 swapFree=4174604/4192956
[pid=20838] ppid=20836 vsize=34628 CPUtime=582.05
/proc/20838/stat : 20838 (oree) R 20836 20838 20781 0 -1 4194304 8310 0 0 0 58194 11 0 0 25 0 1 0 132677671 35459072 7975 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716163 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20838/statm: 8657 7975 139 317 0 8336 0
Current children cumulated CPU time (s) 582.05
Current children cumulated vsize (KiB) 34628

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 20839
/proc/meminfo: memFree=1631976/2055920 swapFree=4174604/4192956
[pid=20838] ppid=20836 vsize=36112 CPUtime=642.03
/proc/20838/stat : 20838 (oree) R 20836 20838 20781 0 -1 4194304 8725 0 0 0 64191 12 0 0 25 0 1 0 132677671 36978688 8390 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20838/statm: 9028 8390 139 317 0 8707 0
Current children cumulated CPU time (s) 642.03
Current children cumulated vsize (KiB) 36112


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

[startup+822.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 20839
/proc/meminfo: memFree=1630312/2055920 swapFree=4174604/4192956
[pid=20838] ppid=20836 vsize=38080 CPUtime=821.96
/proc/20838/stat : 20838 (oree) R 20836 20838 20781 0 -1 4194304 9207 0 0 0 82182 14 0 0 25 0 1 0 132677671 38993920 8839 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20838/statm: 9520 8839 139 317 0 9199 0
Current children cumulated CPU time (s) 821.96
Current children cumulated vsize (KiB) 38080

[startup+882.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 20839
/proc/meminfo: memFree=1628776/2055920 swapFree=4174604/4192956
[pid=20838] ppid=20836 vsize=39388 CPUtime=881.94
/proc/20838/stat : 20838 (oree) R 20836 20838 20781 0 -1 4194304 9589 0 0 0 88179 15 0 0 25 0 1 0 132677671 40333312 9221 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564083 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20838/statm: 9847 9221 139 317 0 9526 0
Current children cumulated CPU time (s) 881.94
Current children cumulated vsize (KiB) 39388

[startup+942.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 20839
/proc/meminfo: memFree=1626600/2055920 swapFree=4174604/4192956
[pid=20838] ppid=20836 vsize=42516 CPUtime=941.91
/proc/20838/stat : 20838 (oree) R 20836 20838 20781 0 -1 4194304 10371 0 0 0 94175 16 0 0 25 0 1 0 132677671 43536384 9720 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20838/statm: 10629 9720 139 317 0 10308 0
Current children cumulated CPU time (s) 941.91
Current children cumulated vsize (KiB) 42516

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 20839
/proc/meminfo: memFree=1626728/2055920 swapFree=4174604/4192956
[pid=20838] ppid=20836 vsize=42516 CPUtime=1001.88
/proc/20838/stat : 20838 (oree) R 20836 20838 20781 0 -1 4194304 10393 0 0 0 100172 16 0 0 25 0 1 0 132677671 43536384 9742 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712587 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20838/statm: 10629 9742 139 317 0 10308 0
Current children cumulated CPU time (s) 1001.88
Current children cumulated vsize (KiB) 42516

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 20839
/proc/meminfo: memFree=1625960/2055920 swapFree=4174604/4192956
[pid=20838] ppid=20836 vsize=43292 CPUtime=1061.86
/proc/20838/stat : 20838 (oree) R 20836 20838 20781 0 -1 4194304 10601 0 0 0 106169 17 0 0 25 0 1 0 132677671 44331008 9950 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20838/statm: 10823 9950 139 317 0 10502 0
Current children cumulated CPU time (s) 1061.86
Current children cumulated vsize (KiB) 43292

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 20839
/proc/meminfo: memFree=1625064/2055920 swapFree=4174604/4192956
[pid=20838] ppid=20836 vsize=44108 CPUtime=1121.84
/proc/20838/stat : 20838 (oree) R 20836 20838 20781 0 -1 4194304 10823 0 0 0 112166 18 0 0 25 0 1 0 132677671 45166592 10172 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712496 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20838/statm: 11027 10172 139 317 0 10706 0
Current children cumulated CPU time (s) 1121.84
Current children cumulated vsize (KiB) 44108

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 20839
/proc/meminfo: memFree=1624680/2055920 swapFree=4174604/4192956
[pid=20838] ppid=20836 vsize=44364 CPUtime=1181.81
/proc/20838/stat : 20838 (oree) R 20836 20838 20781 0 -1 4194304 10913 0 0 0 118163 18 0 0 25 0 1 0 132677671 45428736 10262 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20838/statm: 11091 10262 139 317 0 10770 0
Current children cumulated CPU time (s) 1181.81
Current children cumulated vsize (KiB) 44364

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 20839
/proc/meminfo: memFree=1624232/2055920 swapFree=4174604/4192956
[pid=20838] ppid=20836 vsize=44872 CPUtime=1241.79
/proc/20838/stat : 20838 (oree) R 20836 20838 20781 0 -1 4194304 11038 0 0 0 124160 19 0 0 25 0 1 0 132677671 45948928 10387 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716050 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20838/statm: 11218 10387 139 317 0 10897 0
Current children cumulated CPU time (s) 1241.79
Current children cumulated vsize (KiB) 44872

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 20839
/proc/meminfo: memFree=1623592/2055920 swapFree=4174604/4192956
[pid=20838] ppid=20836 vsize=45572 CPUtime=1301.77
/proc/20838/stat : 20838 (oree) R 20836 20838 20781 0 -1 4194304 11203 0 0 0 130157 20 0 0 25 0 1 0 132677671 46665728 10552 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20838/statm: 11393 10552 139 317 0 11072 0
Current children cumulated CPU time (s) 1301.77
Current children cumulated vsize (KiB) 45572

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 20839
/proc/meminfo: memFree=1622760/2055920 swapFree=4174604/4192956
[pid=20838] ppid=20836 vsize=46216 CPUtime=1361.73
/proc/20838/stat : 20838 (oree) R 20836 20838 20781 0 -1 4194304 11405 0 0 0 136153 20 0 0 25 0 1 0 132677671 47325184 10754 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20838/statm: 11554 10754 139 317 0 11233 0
Current children cumulated CPU time (s) 1361.73
Current children cumulated vsize (KiB) 46216

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 20839
/proc/meminfo: memFree=1622376/2055920 swapFree=4174604/4192956
[pid=20838] ppid=20836 vsize=46604 CPUtime=1421.72
/proc/20838/stat : 20838 (oree) R 20836 20838 20781 0 -1 4194304 11489 0 0 0 142151 21 0 0 25 0 1 0 132677671 47722496 10838 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563634 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20838/statm: 11651 10838 139 317 0 11330 0
Current children cumulated CPU time (s) 1421.72
Current children cumulated vsize (KiB) 46604

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 20839
/proc/meminfo: memFree=1622056/2055920 swapFree=4174604/4192956
[pid=20838] ppid=20836 vsize=46860 CPUtime=1481.7
/proc/20838/stat : 20838 (oree) R 20836 20838 20781 0 -1 4194304 11566 0 0 0 148148 22 0 0 25 0 1 0 132677671 47984640 10915 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20838/statm: 11715 10915 139 317 0 11394 0
Current children cumulated CPU time (s) 1481.7
Current children cumulated vsize (KiB) 46860

[startup+1542.3 s]
/proc/loadavg: 1.05 0.99 0.97 2/78 20839
/proc/meminfo: memFree=1621992/2055920 swapFree=4174604/4192956
[pid=20838] ppid=20836 vsize=47116 CPUtime=1541.66
/proc/20838/stat : 20838 (oree) R 20836 20838 20781 0 -1 4194304 11631 0 0 0 154144 22 0 0 25 0 1 0 132677671 48246784 10980 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715833 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20838/statm: 11779 10980 139 317 0 11458 0
Current children cumulated CPU time (s) 1541.66
Current children cumulated vsize (KiB) 47116

[startup+1602.3 s]
/proc/loadavg: 1.02 0.99 0.97 2/78 20839
/proc/meminfo: memFree=1621672/2055920 swapFree=4174604/4192956
[pid=20838] ppid=20836 vsize=47376 CPUtime=1601.64
/proc/20838/stat : 20838 (oree) R 20836 20838 20781 0 -1 4194304 11712 0 0 0 160141 23 0 0 25 0 1 0 132677671 48513024 11061 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20838/statm: 11844 11061 139 317 0 11523 0
Current children cumulated CPU time (s) 1601.64
Current children cumulated vsize (KiB) 47376

[startup+1662.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 20839
/proc/meminfo: memFree=1620968/2055920 swapFree=4174604/4192956
[pid=20838] ppid=20836 vsize=48028 CPUtime=1661.62
/proc/20838/stat : 20838 (oree) R 20836 20838 20781 0 -1 4194304 11887 0 0 0 166138 24 0 0 25 0 1 0 132677671 49180672 11236 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20838/statm: 12007 11236 139 317 0 11686 0
Current children cumulated CPU time (s) 1661.62
Current children cumulated vsize (KiB) 48028

[startup+1722.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 20839
/proc/meminfo: memFree=1620648/2055920 swapFree=4174604/4192956
[pid=20838] ppid=20836 vsize=48420 CPUtime=1721.59
/proc/20838/stat : 20838 (oree) R 20836 20838 20781 0 -1 4194304 11992 0 0 0 172135 24 0 0 25 0 1 0 132677671 49582080 11341 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20838/statm: 12105 11341 139 317 0 11784 0
Current children cumulated CPU time (s) 1721.59
Current children cumulated vsize (KiB) 48420

[startup+1782.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 20839
/proc/meminfo: memFree=1620072/2055920 swapFree=4174604/4192956
[pid=20838] ppid=20836 vsize=48944 CPUtime=1781.57
/proc/20838/stat : 20838 (oree) R 20836 20838 20781 0 -1 4194304 12124 0 0 0 178132 25 0 0 25 0 1 0 132677671 50118656 11473 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20838/statm: 12236 11473 139 317 0 11915 0
Current children cumulated CPU time (s) 1781.57
Current children cumulated vsize (KiB) 48944



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.8 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 20839
/proc/meminfo: memFree=1619880/2055920 swapFree=4174604/4192956
[pid=20838] ppid=20836 vsize=49072 CPUtime=1800.06
/proc/20838/stat : 20838 (oree) R 20836 20838 20781 0 -1 4194304 12177 0 0 0 179981 25 0 0 25 0 1 0 132677671 50249728 11526 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20838/statm: 12268 11526 139 317 0 11947 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 49072

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.83
CPU time (s): 1800.1
CPU user time (s): 1799.84
CPU system time (s): 0.266959
CPU usage (%): 99.9595
Max. virtual memory (cumulated for all children) (KiB): 49072

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

runsolver used 2.13368 second user time and 4.28535 second system time

The end

Launcher Data (download as text)

Begin job on node33 on Tue Apr 17 22:07:02 UTC 2007

IDJOB= 356905
IDBENCH= 1618
IDSOLVER= 172
FILE ID= node33/356905-1176847622

PBS_JOBID= 4590216

Free space on /tmp= 66544 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/unibo/normalized-reduced-mps-v2-20-10-blp-ar98.opb
COMMAND LINE= oree /tmp/evaluation/356905-1176847622/instance-356905-1176847622.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node33/watcher-356905-1176847622 -o ROOT/results/node33/solver-356905-1176847622 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/356905-1176847622/instance-356905-1176847622.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  24f5fdc248e1411d713d304748099da5

RANDOM SEED= 122964986

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node33.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.272
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.272
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:       1665352 kB
Buffers:         37216 kB
Cached:         206116 kB
SwapCached:       2488 kB
Active:         113256 kB
Inactive:       223280 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1665352 kB
SwapTotal:     4192956 kB
SwapFree:      4174600 kB
Dirty:            3668 kB
Writeback:           0 kB
Mapped:         108052 kB
Slab:            39396 kB
Committed_AS:  1642572 kB
PageTables:       1992 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= 66544 MiB

End job on node33 on Tue Apr 17 22:37:05 UTC 2007