Trace number 357333

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.31 1801.13

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-maros-r7.opb
MD5SUM0981750c20a5ad85ded6bb04bf23d130
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark10442014720
Best CPU time to get the best result obtained on this benchmark999.228
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 10442014720
Optimality of the best value was proved NO
Number of variables282240
Total number of constraints3136
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints3136
Minimum length of a constraint150
Maximum length of a constraint720
Number of terms in the objective function 188160
Biggest coefficient in the objective function 536870912
Number of bits for the biggest coefficient in the objective function 30
Sum of the numbers in the objective function 6734508713856
Number of bits of the sum of numbers in the objective function 43
Biggest number in a constraint 536870912000000
Number of bits of the biggest number in a constraint 49
Biggest sum of numbers in a constraint 4602477289606474
Number of bits of the biggest sum of numbers53
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...
10.89/10.99	c ...done
10.89/10.99	c #vars=282240 #constraints=6273 hasObjective=yes
13.19/13.23	c res. mode=mod
13.19/13.23	c VSIDS like heuristics
13.19/13.23	c complete search running
16.09/16.15	c restart after 401 decisions
16.79/16.84	c nbDecision=500 #constraints=6274
18.89/18.96	c restart after 801 decisions
20.28/20.36	c nbDecision=1000 #constraints=6275
23.78/23.80	c nbDecision=1500 #constraints=6275
24.48/24.53	c restart after 1601 decisions
27.28/27.33	c nbDecision=2000 #constraints=6276
30.67/30.75	c nbDecision=2500 #constraints=6276
34.04/34.16	c nbDecision=3000 #constraints=6276
35.43/35.50	c restart after 3201 decisions
37.53/37.66	c nbDecision=3500 #constraints=6276
40.93/41.07	c nbDecision=4000 #constraints=6276
44.32/44.46	c nbDecision=4500 #constraints=6276
47.71/47.81	c nbDecision=5000 #constraints=6276
51.01/51.16	c nbDecision=5500 #constraints=6278
54.30/54.47	c nbDecision=6000 #constraints=6278
57.00/57.13	c restart after 6401 decisions
57.79/57.91	c nbDecision=6500 #constraints=6278
61.19/61.36	c nbDecision=7000 #constraints=6278
64.58/64.78	c nbDecision=7500 #constraints=6278
67.98/68.17	c nbDecision=8000 #constraints=6278
71.38/71.55	c nbDecision=8500 #constraints=6280
74.68/74.83	c nbDecision=9000 #constraints=6280
77.88/78.09	c nbDecision=9500 #constraints=6280
81.17/81.36	c nbDecision=10000 #constraints=6281
84.57/84.75	c nbDecision=10500 #constraints=6283
87.87/88.02	c nbDecision=11000 #constraints=6285
91.07/91.28	c nbDecision=11500 #constraints=6288
95.06/95.22	c nbDecision=12000 #constraints=6376
98.26/98.42	c nbDecision=12500 #constraints=6379
100.16/100.34	c restart after 12801 decisions
101.66/101.88	c nbDecision=13000 #constraints=6379
105.15/105.34	c nbDecision=13500 #constraints=6379
108.55/108.75	c nbDecision=14000 #constraints=6379
111.96/112.12	c nbDecision=14500 #constraints=6379
115.25/115.44	c nbDecision=15000 #constraints=6379
118.55/118.74	c nbDecision=15500 #constraints=6380
121.85/122.01	c nbDecision=16000 #constraints=6380
125.04/125.28	c nbDecision=16500 #constraints=6380
128.34/128.55	c nbDecision=17000 #constraints=6380
131.85/132.07	c nbDecision=17500 #constraints=6405
135.45/135.66	c nbDecision=18000 #constraints=6439
138.64/138.87	c nbDecision=18500 #constraints=6442
141.94/142.18	c nbDecision=19000 #constraints=6453
145.34/145.57	c nbDecision=19500 #constraints=6474
148.74/148.93	c nbDecision=20000 #constraints=6489
151.94/152.14	c nbDecision=20500 #constraints=6492
155.04/155.29	c nbDecision=21000 #constraints=6492
158.33/158.55	c nbDecision=21500 #constraints=6507
161.53/161.77	c nbDecision=22000 #constraints=6516
165.43/165.62	c nbDecision=22500 #constraints=6612
168.53/168.79	c nbDecision=23000 #constraints=6613
171.83/172.00	c nbDecision=23500 #constraints=6624
175.23/175.48	c nbDecision=24000 #constraints=6675
178.63/178.82	c nbDecision=24500 #constraints=6705
181.92/182.14	c nbDecision=25000 #constraints=6735
185.42/185.61	c nbDecision=25500 #constraints=6776
186.12/186.33	c restart after 25601 decisions
189.22/189.40	c nbDecision=26000 #constraints=6786
192.72/192.90	c nbDecision=26500 #constraints=6789
196.12/196.33	c nbDecision=27000 #constraints=6790
199.41/199.64	c nbDecision=27500 #constraints=6790
202.71/202.94	c nbDecision=28000 #constraints=6790
206.01/206.26	c nbDecision=28500 #constraints=6790
209.31/209.54	c nbDecision=29000 #constraints=6790
212.61/212.82	c nbDecision=29500 #constraints=6790
215.81/216.05	c nbDecision=30000 #constraints=6790
219.12/219.31	c nbDecision=30500 #constraints=6793
222.31/222.57	c nbDecision=31000 #constraints=6800
225.61/225.82	c nbDecision=31500 #constraints=6806
229.41/229.64	c nbDecision=32000 #constraints=6858
232.71/232.97	c nbDecision=32500 #constraints=6871
236.01/236.23	c nbDecision=33000 #constraints=6884
239.61/239.85	c nbDecision=33500 #constraints=6944
242.90/243.11	c nbDecision=34000 #constraints=6956
246.30/246.56	c nbDecision=34500 #constraints=6993
250.00/250.22	c nbDecision=35000 #constraints=7054
254.00/254.24	c nbDecision=35500 #constraints=7158
257.50/257.78	c nbDecision=36000 #constraints=7220
260.69/261.00	c nbDecision=36500 #constraints=7234
264.59/264.80	c nbDecision=37000 #constraints=7326
268.39/268.69	c nbDecision=37500 #constraints=7426
271.90/272.16	c nbDecision=38000 #constraints=7476
275.19/275.45	c nbDecision=38500 #constraints=7508
278.69/278.93	c nbDecision=39000 #constraints=7563
282.39/282.69	c nbDecision=39500 #constraints=7649
285.89/286.14	c nbDecision=40000 #constraints=7701
289.49/289.75	c nbDecision=40500 #constraints=7774
292.48/292.78	c nbDecision=41000 #constraints=7774
295.58/295.84	c nbDecision=41500 #constraints=7785
298.88/299.13	c nbDecision=42000 #constraints=7826
301.88/302.17	c nbDecision=42500 #constraints=7834
305.68/305.90	c nbDecision=43000 #constraints=7835
308.98/309.21	c nbDecision=43500 #constraints=7835
312.18/312.50	c nbDecision=44000 #constraints=7835
315.48/315.77	c nbDecision=44500 #constraints=7836
319.08/319.31	c nbDecision=45000 #constraints=7860
322.87/323.15	c nbDecision=45500 #constraints=7907
326.77/327.08	c nbDecision=46000 #constraints=7965
330.56/330.84	c nbDecision=46500 #constraints=8022
334.36/334.62	c nbDecision=47000 #constraints=8087
338.17/338.47	c nbDecision=47500 #constraints=8143
341.57/341.85	c nbDecision=48000 #constraints=8163
344.86/345.15	c nbDecision=48500 #constraints=8177
348.16/348.45	c nbDecision=49000 #constraints=8188
351.36/351.64	c nbDecision=49500 #constraints=8188
354.66/354.95	c nbDecision=50000 #constraints=8203
357.95/358.28	c nbDecision=50500 #constraints=8226
361.15/361.40	c nbDecision=51000 #constraints=8226
362.35/362.65	c restart after 51201 decisions
364.85/365.18	c nbDecision=51500 #constraints=8226
368.35/368.67	c nbDecision=52000 #constraints=8227
371.85/372.10	c nbDecision=52500 #constraints=8227
375.16/375.46	c nbDecision=53000 #constraints=8227
378.46/378.80	c nbDecision=53500 #constraints=8227
381.85/382.11	c nbDecision=54000 #constraints=8227
385.15/385.44	c nbDecision=54500 #constraints=8228
388.45/388.75	c nbDecision=55000 #constraints=8228
391.75/392.07	c nbDecision=55500 #constraints=8229
395.05/395.34	c nbDecision=56000 #constraints=8230
399.44/399.72	c nbDecision=56500 #constraints=8317
402.64/402.98	c nbDecision=57000 #constraints=8317
406.65/406.90	c nbDecision=57500 #constraints=8376
411.94/412.27	c nbDecision=58000 #constraints=8570
415.63/415.93	c nbDecision=58500 #constraints=8613
419.13/419.43	c nbDecision=59000 #constraints=8639
422.44/422.75	c nbDecision=59500 #constraints=8656
426.23/426.56	c nbDecision=60000 #constraints=8730
429.53/429.89	c nbDecision=60500 #constraints=8746
433.22/433.59	c nbDecision=61000 #constraints=8802
436.44/436.80	c nbDecision=61500 #constraints=8803
439.63/439.94	c nbDecision=62000 #constraints=8803
442.93/443.21	c nbDecision=62500 #constraints=8817
446.42/446.74	c nbDecision=63000 #constraints=8858
449.63/449.93	c nbDecision=63500 #constraints=8866
453.12/453.40	c nbDecision=64000 #constraints=8907
456.12/456.49	c nbDecision=64500 #constraints=8907
459.31/459.66	c nbDecision=65000 #constraints=8922
462.42/462.73	c nbDecision=65500 #constraints=8923
465.72/466.01	c nbDecision=66000 #constraints=8943
468.72/469.06	c nbDecision=66500 #constraints=8943
472.31/472.61	c nbDecision=67000 #constraints=9003
475.81/476.18	c nbDecision=67500 #constraints=9066
478.91/479.20	c nbDecision=68000 #constraints=9067
482.41/482.78	c nbDecision=68500 #constraints=9145
485.51/485.80	c nbDecision=69000 #constraints=9146
489.31/489.66	c nbDecision=69500 #constraints=9250
492.70/493.01	c nbDecision=70000 #constraints=9286
495.90/496.21	c nbDecision=70500 #constraints=9311
498.81/499.15	c nbDecision=71000 #constraints=9311
502.10/502.44	c nbDecision=71500 #constraints=9346
505.20/505.56	c nbDecision=72000 #constraints=9361
508.20/508.54	c nbDecision=72500 #constraints=9362
511.30/511.63	c nbDecision=73000 #constraints=9391
514.20/514.57	c nbDecision=73500 #constraints=9391
517.60/517.91	c nbDecision=74000 #constraints=9484
520.60/520.95	c nbDecision=74500 #constraints=9487
524.19/524.58	c nbDecision=75000 #constraints=9558
527.29/527.62	c nbDecision=75500 #constraints=9567
530.19/530.59	c nbDecision=76000 #constraints=9567
533.19/533.57	c nbDecision=76500 #constraints=9576
536.29/536.62	c nbDecision=77000 #constraints=9602
539.49/539.85	c nbDecision=77500 #constraints=9658
542.69/543.09	c nbDecision=78000 #constraints=9710
545.79/546.12	c nbDecision=78500 #constraints=9724
549.18/549.50	c nbDecision=79000 #constraints=9799
552.18/552.54	c nbDecision=79500 #constraints=9807
555.18/555.58	c nbDecision=80000 #constraints=9823
558.28/558.65	c nbDecision=80500 #constraints=9845
561.18/561.59	c nbDecision=81000 #constraints=9846
564.78/565.15	c nbDecision=81500 #constraints=9930
567.78/568.19	c nbDecision=82000 #constraints=9939
570.88/571.22	c nbDecision=82500 #constraints=9948
574.37/574.75	c nbDecision=83000 #constraints=10033
577.87/578.21	c nbDecision=83500 #constraints=10107
580.87/581.28	c nbDecision=84000 #constraints=10122
584.17/584.54	c nbDecision=84500 #constraints=10164
587.27/587.64	c nbDecision=85000 #constraints=10178
590.47/590.85	c nbDecision=85500 #constraints=10207
594.17/594.57	c nbDecision=86000 #constraints=10314
597.46/597.83	c nbDecision=86500 #constraints=10344
600.86/601.21	c nbDecision=87000 #constraints=10397
604.06/604.43	c nbDecision=87500 #constraints=10438
607.46/607.85	c nbDecision=88000 #constraints=10516
610.66/611.04	c nbDecision=88500 #constraints=10559
614.35/614.80	c nbDecision=89000 #constraints=10689
617.76/618.19	c nbDecision=89500 #constraints=10757
620.66/621.06	c nbDecision=90000 #constraints=10761
623.66/624.05	c nbDecision=90500 #constraints=10781
627.55/627.98	c nbDecision=91000 #constraints=10898
631.75/632.13	c nbDecision=91500 #constraints=10973
634.85/635.27	c nbDecision=92000 #constraints=10973
638.84/639.20	c nbDecision=92500 #constraints=11066
642.06/642.43	c nbDecision=93000 #constraints=11080
645.15/645.57	c nbDecision=93500 #constraints=11081
649.05/649.45	c nbDecision=94000 #constraints=11156
652.54/652.99	c nbDecision=94500 #constraints=11204
655.74/656.11	c nbDecision=95000 #constraints=11209
659.33/659.79	c nbDecision=95500 #constraints=11278
663.33/663.72	c nbDecision=96000 #constraints=11384
666.73/667.12	c nbDecision=96500 #constraints=11424
669.83/670.20	c nbDecision=97000 #constraints=11428
673.23/673.64	c nbDecision=97500 #constraints=11478
676.43/676.89	c nbDecision=98000 #constraints=11501
679.73/680.14	c nbDecision=98500 #constraints=11528
682.73/683.15	c nbDecision=99000 #constraints=11529
686.22/686.68	c nbDecision=99500 #constraints=11583
689.33/689.75	c nbDecision=100000 #constraints=11591
693.42/693.81	c nbDecision=100500 #constraints=11704
696.72/697.15	c nbDecision=101000 #constraints=11749
699.91/700.34	c nbDecision=101500 #constraints=11766
703.02/703.42	c nbDecision=102000 #constraints=11777
705.52/705.95	c restart after 102401 decisions
707.12/707.52	c nbDecision=102500 #constraints=11800
710.62/711.06	c nbDecision=103000 #constraints=11801
714.12/714.55	c nbDecision=103500 #constraints=11802
717.52/717.95	c nbDecision=104000 #constraints=11803
720.91/721.30	c nbDecision=104500 #constraints=11803
724.21/724.63	c nbDecision=105000 #constraints=11803
727.61/728.00	c nbDecision=105500 #constraints=11804
730.91/731.35	c nbDecision=106000 #constraints=11806
734.31/734.71	c nbDecision=106500 #constraints=11811
737.71/738.11	c nbDecision=107000 #constraints=11818
741.00/741.48	c nbDecision=107500 #constraints=11827
744.30/744.76	c nbDecision=108000 #constraints=11827
747.60/748.04	c nbDecision=108500 #constraints=11828
751.29/751.79	c nbDecision=109000 #constraints=11869
755.10/755.54	c nbDecision=109500 #constraints=11929
758.40/758.85	c nbDecision=110000 #constraints=11936
762.29/762.71	c nbDecision=110500 #constraints=12004
765.79/766.22	c nbDecision=111000 #constraints=12036
769.29/769.71	c nbDecision=111500 #constraints=12069
772.59/773.03	c nbDecision=112000 #constraints=12080
775.79/776.25	c nbDecision=112500 #constraints=12088
778.99/779.48	c nbDecision=113000 #constraints=12100
782.69/783.12	c nbDecision=113500 #constraints=12158
785.99/786.50	c nbDecision=114000 #constraints=12183
789.18/789.65	c nbDecision=114500 #constraints=12186
792.48/792.92	c nbDecision=115000 #constraints=12203
795.88/796.34	c nbDecision=115500 #constraints=12240
799.19/799.63	c nbDecision=116000 #constraints=12264
802.68/803.17	c nbDecision=116500 #constraints=12312
806.27/806.72	c nbDecision=117000 #constraints=12364
809.27/809.76	c nbDecision=117500 #constraints=12365
812.37/812.82	c nbDecision=118000 #constraints=12366
815.78/816.22	c nbDecision=118500 #constraints=12406
819.57/820.03	c nbDecision=119000 #constraints=12495
822.57/823.05	c nbDecision=119500 #constraints=12501
825.46/826.00	c nbDecision=120000 #constraints=12501
828.56/829.01	c nbDecision=120500 #constraints=12502
831.56/832.03	c nbDecision=121000 #constraints=12511
834.67/835.13	c nbDecision=121500 #constraints=12539
838.37/838.82	c nbDecision=122000 #constraints=12641
841.26/841.78	c nbDecision=122500 #constraints=12649
844.56/845.07	c nbDecision=123000 #constraints=12667
847.67/848.11	c nbDecision=123500 #constraints=12668
850.66/851.13	c nbDecision=124000 #constraints=12668
854.45/854.92	c nbDecision=124500 #constraints=12742
857.46/857.95	c nbDecision=125000 #constraints=12745
860.65/861.18	c nbDecision=125500 #constraints=12805
863.85/864.39	c nbDecision=126000 #constraints=12850
866.85/867.39	c nbDecision=126500 #constraints=12850
869.95/870.42	c nbDecision=127000 #constraints=12864
872.95/873.46	c nbDecision=127500 #constraints=12873
876.55/877.09	c nbDecision=128000 #constraints=12982
879.95/880.46	c nbDecision=128500 #constraints=13050
883.44/883.98	c nbDecision=129000 #constraints=13135
886.74/887.24	c nbDecision=129500 #constraints=13157
890.65/891.11	c nbDecision=130000 #constraints=13229
893.54/894.08	c nbDecision=130500 #constraints=13229
896.54/897.06	c nbDecision=131000 #constraints=13236
900.54/901.04	c nbDecision=131500 #constraints=13401
903.94/904.46	c nbDecision=132000 #constraints=13477
906.94/907.44	c nbDecision=132500 #constraints=13483
909.93/910.45	c nbDecision=133000 #constraints=13484
912.83/913.37	c nbDecision=133500 #constraints=13484
916.13/916.66	c nbDecision=134000 #constraints=13541
919.13/919.61	c nbDecision=134500 #constraints=13554
922.43/922.94	c nbDecision=135000 #constraints=13615
925.32/925.84	c nbDecision=135500 #constraints=13617
929.03/929.53	c nbDecision=136000 #constraints=13707
932.82/933.40	c nbDecision=136500 #constraints=13810
936.43/936.90	c nbDecision=137000 #constraints=13874
939.42/939.91	c nbDecision=137500 #constraints=13890
942.62/943.12	c nbDecision=138000 #constraints=13920
945.52/946.09	c nbDecision=138500 #constraints=13928
948.72/949.23	c nbDecision=139000 #constraints=13954
953.01/953.50	c nbDecision=139500 #constraints=14092
956.51/957.03	c nbDecision=140000 #constraints=14145
959.51/960.08	c nbDecision=140500 #constraints=14158
962.51/963.06	c nbDecision=141000 #constraints=14163
965.50/966.01	c nbDecision=141500 #constraints=14164
968.52/969.03	c nbDecision=142000 #constraints=14182
972.80/973.39	c nbDecision=142500 #constraints=14296
976.00/976.50	c nbDecision=143000 #constraints=14315
979.00/979.51	c nbDecision=143500 #constraints=14321
982.00/982.60	c nbDecision=144000 #constraints=14330
985.70/986.21	c nbDecision=144500 #constraints=14421
989.30/989.86	c nbDecision=145000 #constraints=14507
992.60/993.13	c nbDecision=145500 #constraints=14536
995.69/996.24	c nbDecision=146000 #constraints=14543
998.89/999.42	c nbDecision=146500 #constraints=14567
1002.90/1003.43	c nbDecision=147000 #constraints=14715
1006.10/1006.60	c nbDecision=147500 #constraints=14727
1009.49/1010.01	c nbDecision=148000 #constraints=14772
1013.19/1013.76	c nbDecision=148500 #constraints=14870
1016.49/1017.02	c nbDecision=149000 #constraints=14891
1019.89/1020.48	c nbDecision=149500 #constraints=14943
1023.18/1023.79	c nbDecision=150000 #constraints=14971
1027.28/1027.84	c nbDecision=150500 #constraints=15102
1031.38/1031.92	c nbDecision=151000 #constraints=15241
1034.68/1035.28	c nbDecision=151500 #constraints=15258
1038.17/1038.73	c nbDecision=152000 #constraints=15290
1041.38/1041.94	c nbDecision=152500 #constraints=15293
1044.48/1045.08	c nbDecision=153000 #constraints=15294
1048.48/1049.05	c nbDecision=153500 #constraints=15430
1051.97/1052.55	c nbDecision=154000 #constraints=15495
1055.27/1055.82	c nbDecision=154500 #constraints=15535
1058.47/1059.05	c nbDecision=155000 #constraints=15563
1061.67/1062.24	c nbDecision=155500 #constraints=15602
1064.76/1065.31	c nbDecision=156000 #constraints=15623
1068.27/1068.80	c nbDecision=156500 #constraints=15687
1071.17/1071.79	c nbDecision=157000 #constraints=15699
1074.07/1074.67	c nbDecision=157500 #constraints=15702
1077.26/1077.82	c nbDecision=158000 #constraints=15726
1080.16/1080.80	c nbDecision=158500 #constraints=15735
1084.65/1085.21	c nbDecision=159000 #constraints=15895
1088.15/1088.76	c nbDecision=159500 #constraints=15906
1091.76/1092.36	c nbDecision=160000 #constraints=15993
1095.75/1096.33	c nbDecision=160500 #constraints=16099
1099.35/1099.94	c nbDecision=161000 #constraints=16152
1102.65/1103.27	c nbDecision=161500 #constraints=16163
1106.65/1107.20	c nbDecision=162000 #constraints=16250
1110.35/1110.96	c nbDecision=162500 #constraints=16308
1114.35/1114.97	c nbDecision=163000 #constraints=16394
1117.74/1118.33	c nbDecision=163500 #constraints=16406
1121.64/1122.23	c nbDecision=164000 #constraints=16465
1125.04/1125.69	c nbDecision=164500 #constraints=16492
1128.44/1129.05	c nbDecision=165000 #constraints=16528
1131.44/1132.09	c nbDecision=165500 #constraints=16535
1134.54/1135.17	c nbDecision=166000 #constraints=16539
1137.74/1138.38	c nbDecision=166500 #constraints=16574
1141.14/1141.71	c nbDecision=167000 #constraints=16626
1144.04/1144.69	c nbDecision=167500 #constraints=16637
1147.13/1147.73	c nbDecision=168000 #constraints=16649
1150.83/1151.45	c nbDecision=168500 #constraints=16726
1154.13/1154.72	c nbDecision=169000 #constraints=16765
1157.64/1158.25	c nbDecision=169500 #constraints=16825
1160.93/1161.51	c nbDecision=170000 #constraints=16864
1163.83/1164.42	c nbDecision=170500 #constraints=16866
1166.83/1167.47	c nbDecision=171000 #constraints=16885
1170.52/1171.18	c nbDecision=171500 #constraints=16909
1173.62/1174.21	c nbDecision=172000 #constraints=16912
1177.12/1177.77	c nbDecision=172500 #constraints=16967
1180.31/1180.92	c nbDecision=173000 #constraints=16980
1183.41/1184.02	c nbDecision=173500 #constraints=16990
1186.61/1187.21	c nbDecision=174000 #constraints=17010
1189.81/1190.50	c nbDecision=174500 #constraints=17038
1193.42/1194.02	c nbDecision=175000 #constraints=17106
1197.02/1197.66	c nbDecision=175500 #constraints=17188
1200.91/1201.54	c nbDecision=176000 #constraints=17295
1204.21/1204.87	c nbDecision=176500 #constraints=17338
1207.91/1208.51	c nbDecision=177000 #constraints=17405
1211.41/1212.08	c nbDecision=177500 #constraints=17465
1214.91/1215.54	c nbDecision=178000 #constraints=17512
1219.21/1219.82	c nbDecision=178500 #constraints=17635
1222.61/1223.28	c nbDecision=179000 #constraints=17678
1226.10/1226.72	c nbDecision=179500 #constraints=17730
1229.00/1229.62	c nbDecision=180000 #constraints=17730
1231.90/1232.50	c nbDecision=180500 #constraints=17733
1235.70/1236.31	c nbDecision=181000 #constraints=17753
1239.10/1239.77	c nbDecision=181500 #constraints=17798
1243.10/1243.74	c nbDecision=182000 #constraints=17891
1246.20/1246.83	c nbDecision=182500 #constraints=17891
1249.79/1250.45	c nbDecision=183000 #constraints=17956
1253.69/1254.36	c nbDecision=183500 #constraints=18057
1256.79/1257.44	c nbDecision=184000 #constraints=18067
1259.69/1260.38	c nbDecision=184500 #constraints=18067
1263.19/1263.80	c nbDecision=185000 #constraints=18123
1267.09/1267.71	c nbDecision=185500 #constraints=18218
1270.19/1270.80	c nbDecision=186000 #constraints=18235
1273.88/1274.54	c nbDecision=186500 #constraints=18310
1276.88/1277.55	c nbDecision=187000 #constraints=18323
1280.18/1280.86	c nbDecision=187500 #constraints=18367
1283.78/1284.48	c nbDecision=188000 #constraints=18375
1286.98/1287.63	c nbDecision=188500 #constraints=18391
1290.58/1291.22	c nbDecision=189000 #constraints=18434
1293.98/1294.60	c nbDecision=189500 #constraints=18468
1298.37/1299.06	c nbDecision=190000 #constraints=18634
1301.67/1302.38	c nbDecision=190500 #constraints=18671
1305.08/1305.79	c nbDecision=191000 #constraints=18704
1308.07/1308.76	c nbDecision=191500 #constraints=18704
1311.17/1311.84	c nbDecision=192000 #constraints=18715
1314.07/1314.79	c nbDecision=192500 #constraints=18715
1317.47/1318.12	c nbDecision=193000 #constraints=18753
1320.37/1321.10	c nbDecision=193500 #constraints=18760
1323.96/1324.68	c nbDecision=194000 #constraints=18821
1327.16/1327.81	c nbDecision=194500 #constraints=18844
1330.96/1331.62	c nbDecision=195000 #constraints=18930
1334.76/1335.43	c nbDecision=195500 #constraints=19022
1337.95/1338.61	c nbDecision=196000 #constraints=19061
1340.76/1341.48	c nbDecision=196500 #constraints=19070
1344.56/1345.30	c nbDecision=197000 #constraints=19162
1348.35/1349.06	c nbDecision=197500 #constraints=19163
1352.45/1353.11	c nbDecision=198000 #constraints=19265
1355.85/1356.51	c nbDecision=198500 #constraints=19284
1359.85/1360.50	c nbDecision=199000 #constraints=19400
1363.04/1363.76	c nbDecision=199500 #constraints=19425
1366.14/1366.86	c nbDecision=200000 #constraints=19426
1369.54/1370.24	c nbDecision=200500 #constraints=19459
1373.14/1373.84	c nbDecision=201000 #constraints=19520
1376.64/1377.33	c nbDecision=201500 #constraints=19574
1380.24/1380.97	c nbDecision=202000 #constraints=19645
1383.24/1383.95	c nbDecision=202500 #constraints=19650
1386.83/1387.52	c nbDecision=203000 #constraints=19707
1391.23/1391.91	c nbDecision=203500 #constraints=19830
1394.93/1395.64	c nbDecision=204000 #constraints=19912
1398.03/1398.70	c nbDecision=204500 #constraints=19934
1399.63/1400.39	c restart after 204801 decisions
1402.93/1403.62	c nbDecision=205000 #constraints=19934
1406.43/1407.12	c nbDecision=205500 #constraints=19934
1409.92/1410.60	c nbDecision=206000 #constraints=19934
1413.22/1413.99	c nbDecision=206500 #constraints=19934
1416.62/1417.37	c nbDecision=207000 #constraints=19935
1420.02/1420.70	c nbDecision=207500 #constraints=19935
1423.32/1424.05	c nbDecision=208000 #constraints=19935
1426.72/1427.42	c nbDecision=208500 #constraints=19936
1430.01/1430.75	c nbDecision=209000 #constraints=19936
1434.11/1434.83	c nbDecision=209500 #constraints=19985
1438.12/1438.88	c nbDecision=210000 #constraints=20033
1441.51/1442.28	c nbDecision=210500 #constraints=20042
1445.31/1446.08	c nbDecision=211000 #constraints=20079
1448.91/1449.66	c nbDecision=211500 #constraints=20103
1453.81/1454.54	c nbDecision=212000 #constraints=20228
1458.30/1459.02	c nbDecision=212500 #constraints=20335
1461.61/1462.33	c nbDecision=213000 #constraints=20343
1465.40/1466.14	c nbDecision=213500 #constraints=20392
1468.70/1469.43	c nbDecision=214000 #constraints=20398
1472.00/1472.73	c nbDecision=214500 #constraints=20400
1476.10/1476.83	c nbDecision=215000 #constraints=20474
1479.29/1480.00	c nbDecision=215500 #constraints=20474
1483.00/1483.77	c nbDecision=216000 #constraints=20523
1487.10/1487.80	c nbDecision=216500 #constraints=20593
1491.19/1491.98	c nbDecision=217000 #constraints=20677
1495.19/1495.99	c nbDecision=217500 #constraints=20750
1498.60/1499.31	c nbDecision=218000 #constraints=20763
1502.19/1502.96	c nbDecision=218500 #constraints=20804
1505.69/1506.41	c nbDecision=219000 #constraints=20829
1508.89/1509.69	c nbDecision=219500 #constraints=20843
1511.98/1512.77	c nbDecision=220000 #constraints=20843
1516.09/1516.89	c nbDecision=220500 #constraints=20928
1519.28/1520.04	c nbDecision=221000 #constraints=20939
1522.98/1523.76	c nbDecision=221500 #constraints=20994
1525.99/1526.80	c nbDecision=222000 #constraints=20994
1529.48/1530.26	c nbDecision=222500 #constraints=21001
1533.18/1533.97	c nbDecision=223000 #constraints=21047
1537.87/1538.64	c nbDecision=223500 #constraints=21165
1541.98/1542.76	c nbDecision=224000 #constraints=21241
1545.07/1545.89	c nbDecision=224500 #constraints=21241
1548.87/1549.65	c nbDecision=225000 #constraints=21291
1552.37/1553.11	c nbDecision=225500 #constraints=21316
1556.07/1556.89	c nbDecision=226000 #constraints=21379
1560.46/1561.28	c nbDecision=226500 #constraints=21488
1563.67/1564.45	c nbDecision=227000 #constraints=21495
1567.67/1568.45	c nbDecision=227500 #constraints=21574
1570.77/1571.50	c nbDecision=228000 #constraints=21574
1574.47/1575.26	c nbDecision=228500 #constraints=21634
1577.46/1578.29	c nbDecision=229000 #constraints=21635
1581.26/1582.05	c nbDecision=229500 #constraints=21714
1584.55/1585.30	c nbDecision=230000 #constraints=21714
1587.66/1588.47	c nbDecision=230500 #constraints=21714
1592.56/1593.30	c nbDecision=231000 #constraints=21889
1595.56/1596.35	c nbDecision=231500 #constraints=21889
1599.55/1600.35	c nbDecision=232000 #constraints=21979
1603.05/1603.84	c nbDecision=232500 #constraints=22025
1606.25/1607.08	c nbDecision=233000 #constraints=22044
1611.45/1612.20	c nbDecision=233500 #constraints=22174
1614.95/1615.78	c nbDecision=234000 #constraints=22213
1618.15/1618.94	c nbDecision=234500 #constraints=22221
1621.65/1622.41	c nbDecision=235000 #constraints=22247
1624.95/1625.79	c nbDecision=235500 #constraints=22263
1628.04/1628.89	c nbDecision=236000 #constraints=22263
1631.34/1632.11	c nbDecision=236500 #constraints=22272
1635.23/1636.10	c nbDecision=237000 #constraints=22356
1638.43/1639.27	c nbDecision=237500 #constraints=22376
1642.13/1642.95	c nbDecision=238000 #constraints=22440
1645.13/1645.95	c nbDecision=238500 #constraints=22440
1649.03/1649.82	c nbDecision=239000 #constraints=22512
1652.43/1653.27	c nbDecision=239500 #constraints=22553
1655.73/1656.52	c nbDecision=240000 #constraints=22583
1659.22/1660.03	c nbDecision=240500 #constraints=22636
1662.83/1663.64	c nbDecision=241000 #constraints=22700
1666.13/1666.95	c nbDecision=241500 #constraints=22739
1668.93/1669.78	c nbDecision=242000 #constraints=22740
1673.43/1674.21	c nbDecision=242500 #constraints=22754
1678.01/1678.85	c nbDecision=243000 #constraints=22865
1681.52/1682.33	c nbDecision=243500 #constraints=22890
1685.82/1686.61	c nbDecision=244000 #constraints=22970
1691.11/1691.98	c nbDecision=244500 #constraints=23135
1694.71/1695.50	c nbDecision=245000 #constraints=23167
1697.81/1698.62	c nbDecision=245500 #constraints=23170
1700.81/1701.68	c nbDecision=246000 #constraints=23170
1704.71/1705.52	c nbDecision=246500 #constraints=23228
1708.21/1709.09	c nbDecision=247000 #constraints=23269
1711.31/1712.15	c nbDecision=247500 #constraints=23270
1714.31/1715.17	c nbDecision=248000 #constraints=23271
1717.80/1718.60	c nbDecision=248500 #constraints=23300
1722.10/1722.95	c nbDecision=249000 #constraints=23378
1726.49/1727.33	c nbDecision=249500 #constraints=23491
1730.19/1731.00	c nbDecision=250000 #constraints=23546
1734.30/1735.19	c nbDecision=250500 #constraints=23655
1737.49/1738.38	c nbDecision=251000 #constraints=23665
1741.39/1742.28	c nbDecision=251500 #constraints=23746
1744.69/1745.55	c nbDecision=252000 #constraints=23757
1747.89/1748.75	c nbDecision=252500 #constraints=23774
1751.08/1751.96	c nbDecision=253000 #constraints=23788
1754.48/1755.34	c nbDecision=253500 #constraints=23823
1757.68/1758.54	c nbDecision=254000 #constraints=23846
1760.59/1761.48	c nbDecision=254500 #constraints=23846
1763.79/1764.69	c nbDecision=255000 #constraints=23868
1766.69/1767.57	c nbDecision=255500 #constraints=23868
1769.88/1770.76	c nbDecision=256000 #constraints=23894
1772.78/1773.61	c nbDecision=256500 #constraints=23895
1775.48/1776.39	c nbDecision=257000 #constraints=23896
1778.48/1779.37	c nbDecision=257500 #constraints=23913
1781.48/1782.39	c nbDecision=258000 #constraints=23933
1785.17/1786.01	c nbDecision=258500 #constraints=24004
1788.17/1789.05	c nbDecision=259000 #constraints=24028
1790.97/1791.85	c nbDecision=259500 #constraints=24033
1794.17/1795.04	c nbDecision=260000 #constraints=24072
1796.97/1797.85	c nbDecision=260500 #constraints=24080
1800.07/1800.90	Received signal 15
1800.07/1800.90	
1800.07/1800.90	s UNKNOWN
1800.07/1800.90	
1800.07/1800.90	c user time= 1799 s
1800.07/1800.90	c system time= 1.08883 s
1800.07/1800.90	c wall clock time=1800.91

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/node13/watcher-357333-1176994830 -o ROOT/results/node13/solver-357333-1176994830 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357333-1176994830/instance-357333-1176994830.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.99 0.98 0.99 3/77 11063
/proc/meminfo: memFree=1590968/2055920 swapFree=4159420/4192956
[pid=11063] ppid=11061 vsize=1468 CPUtime=0
/proc/11063/stat : 11063 (oree) R 11061 11063 10675 0 -1 4194304 179 0 0 0 0 0 0 0 18 0 1 0 147401034 1503232 161 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11063/statm: 367 161 126 317 0 46 0

[startup+0.0256799 s]
/proc/loadavg: 0.99 0.98 0.99 3/77 11063
/proc/meminfo: memFree=1590968/2055920 swapFree=4159420/4192956
[pid=11063] ppid=11061 vsize=1880 CPUtime=0.02
/proc/11063/stat : 11063 (oree) R 11061 11063 10675 0 -1 4194304 297 0 0 0 2 0 0 0 18 0 1 0 147401034 1925120 246 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715025 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11063/statm: 470 247 126 317 0 149 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 1880

[startup+0.101695 s]
/proc/loadavg: 0.99 0.98 0.99 3/77 11063
/proc/meminfo: memFree=1590968/2055920 swapFree=4159420/4192956
[pid=11063] ppid=11061 vsize=3440 CPUtime=0.09
/proc/11063/stat : 11063 (oree) R 11061 11063 10675 0 -1 4194304 810 0 0 0 9 0 0 0 18 0 1 0 147401034 3522560 565 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11063/statm: 860 565 126 317 0 539 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3440

[startup+0.301738 s]
/proc/loadavg: 0.99 0.98 0.99 3/77 11063
/proc/meminfo: memFree=1590968/2055920 swapFree=4159420/4192956
[pid=11063] ppid=11061 vsize=9884 CPUtime=0.29
/proc/11063/stat : 11063 (oree) R 11061 11063 10675 0 -1 4194304 1830 0 0 0 29 0 0 0 19 0 1 0 147401034 10121216 1328 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11063/statm: 2471 1330 126 317 0 2150 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9884

[startup+0.701823 s]
/proc/loadavg: 0.99 0.98 0.99 3/77 11063
/proc/meminfo: memFree=1590968/2055920 swapFree=4159420/4192956
[pid=11063] ppid=11061 vsize=10100 CPUtime=0.69
/proc/11063/stat : 11063 (oree) R 11061 11063 10675 0 -1 4194304 3056 0 0 0 68 1 0 0 22 0 1 0 147401034 10342400 2041 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11063/statm: 2525 2041 131 317 0 2204 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10100

[startup+1.50199 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 11064
/proc/meminfo: memFree=1577904/2055920 swapFree=4159420/4192956
[pid=11063] ppid=11061 vsize=24916 CPUtime=1.49
/proc/11063/stat : 11063 (oree) R 11061 11063 10675 0 -1 4194304 6632 0 0 0 146 3 0 0 25 0 1 0 147401034 25513984 5617 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11063/statm: 6229 5617 131 317 0 5908 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 24916

[startup+3.10134 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 11064
/proc/meminfo: memFree=1556656/2055920 swapFree=4159420/4192956
[pid=11063] ppid=11061 vsize=54140 CPUtime=3.09
/proc/11063/stat : 11063 (oree) R 11061 11063 10675 0 -1 4194304 13753 0 0 0 302 7 0 0 25 0 1 0 147401034 55439360 12738 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284223 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11063/statm: 13535 12738 131 317 0 13214 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 54140

[startup+6.30202 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 11064
/proc/meminfo: memFree=1499760/2055920 swapFree=4159420/4192956
[pid=11063] ppid=11061 vsize=112444 CPUtime=6.29
/proc/11063/stat : 11063 (oree) R 11061 11063 10675 0 -1 4194304 27991 0 0 0 614 15 0 0 25 0 1 0 147401034 115142656 26976 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134540728 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11063/statm: 28111 26976 131 317 0 27790 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 112444

[startup+12.7014 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 11064
/proc/meminfo: memFree=1375664/2055920 swapFree=4159420/4192956
[pid=11063] ppid=11061 vsize=248244 CPUtime=12.69
/proc/11063/stat : 11063 (oree) R 11061 11063 10675 0 -1 4194304 61411 0 0 0 1238 31 0 0 25 0 1 0 147401034 254201856 60396 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11063/statm: 62061 60397 137 317 0 61740 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 248244

[startup+25.5011 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 11064
/proc/meminfo: memFree=1329008/2055920 swapFree=4159420/4192956
[pid=11063] ppid=11061 vsize=269272 CPUtime=25.48
/proc/11063/stat : 11063 (oree) R 11061 11063 10675 0 -1 4194304 66686 0 0 0 2515 33 0 0 25 0 1 0 147401034 275734528 65628 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11063/statm: 67318 65628 139 317 0 66997 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 269272

[startup+51.1016 s]
/proc/loadavg: 0.99 0.98 0.99 2/84 11186
/proc/meminfo: memFree=1327872/2055920 swapFree=4159420/4192956
[pid=11063] ppid=11061 vsize=269272 CPUtime=51.01
/proc/11063/stat : 11063 (oree) R 11061 11063 10675 0 -1 4194304 66686 0 0 0 5068 33 0 0 25 0 1 0 147401034 275734528 65628 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606848 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11063/statm: 67318 65628 139 317 0 66997 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 269272

[startup+102.305 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 11262
/proc/meminfo: memFree=1326704/2055920 swapFree=4159420/4192956
[pid=11063] ppid=11061 vsize=271808 CPUtime=102.16
/proc/11063/stat : 11063 (oree) R 11061 11063 10675 0 -1 4194304 67295 0 0 0 10182 34 0 0 25 0 1 0 147401034 278331392 66237 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11063/statm: 67952 66237 170 317 0 67631 0
Current children cumulated CPU time (s) 102.16
Current children cumulated vsize (KiB) 271808

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 11262
/proc/meminfo: memFree=1322928/2055920 swapFree=4159420/4192956
[pid=11063] ppid=11061 vsize=275732 CPUtime=162.13
/proc/11063/stat : 11063 (oree) R 11061 11063 10675 0 -1 4194304 68233 0 0 0 16178 35 0 0 25 0 1 0 147401034 282349568 67175 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606880 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11063/statm: 68933 67175 170 317 0 68612 0
Current children cumulated CPU time (s) 162.13
Current children cumulated vsize (KiB) 275732

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 11262
/proc/meminfo: memFree=1312304/2055920 swapFree=4159420/4192956
[pid=11063] ppid=11061 vsize=286488 CPUtime=222.11
/proc/11063/stat : 11063 (oree) R 11061 11063 10675 0 -1 4194304 70891 0 0 0 22174 37 0 0 25 0 1 0 147401034 293363712 69833 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11063/statm: 71622 69833 170 317 0 71301 0
Current children cumulated CPU time (s) 222.11
Current children cumulated vsize (KiB) 286488

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 11262
/proc/meminfo: memFree=1281008/2055920 swapFree=4159420/4192956
[pid=11063] ppid=11061 vsize=318388 CPUtime=282.08
/proc/11063/stat : 11063 (oree) R 11061 11063 10675 0 -1 4194304 78716 0 0 0 28168 40 0 0 25 0 1 0 147401034 326029312 77658 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11063/statm: 79597 77658 170 317 0 79276 0
Current children cumulated CPU time (s) 282.08
Current children cumulated vsize (KiB) 318388

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 11262
/proc/meminfo: memFree=1261296/2055920 swapFree=4159420/4192956
[pid=11063] ppid=11061 vsize=338400 CPUtime=342.07
/proc/11063/stat : 11063 (oree) R 11061 11063 10675 0 -1 4194304 83611 0 0 0 34164 43 0 0 25 0 1 0 147401034 346521600 82553 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135194616 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11063/statm: 84600 82553 170 317 0 84279 0
Current children cumulated CPU time (s) 342.07
Current children cumulated vsize (KiB) 338400

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 11262
/proc/meminfo: memFree=1255536/2055920 swapFree=4159420/4192956
[pid=11063] ppid=11061 vsize=344248 CPUtime=402.04
/proc/11063/stat : 11063 (oree) R 11061 11063 10675 0 -1 4194304 85036 0 0 0 40160 44 0 0 25 0 1 0 147401034 352509952 83978 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11063/statm: 86062 83978 170 317 0 85741 0
Current children cumulated CPU time (s) 402.04
Current children cumulated vsize (KiB) 344248

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 11262
/proc/meminfo: memFree=1232880/2055920 swapFree=4159420/4192956
[pid=11063] ppid=11061 vsize=367520 CPUtime=462.02
/proc/11063/stat : 11063 (oree) R 11061 11063 10675 0 -1 4194304 90724 0 0 0 46154 48 0 0 25 0 1 0 147401034 376340480 89666 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606695 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11063/statm: 91880 89666 170 317 0 91559 0
Current children cumulated CPU time (s) 462.02
Current children cumulated vsize (KiB) 367520

[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.99 3/78 11262
/proc/meminfo: memFree=1214960/2055920 swapFree=4159420/4192956
[pid=11063] ppid=11061 vsize=387572 CPUtime=521.99
/proc/11063/stat : 11063 (oree) R 11061 11063 10675 0 -1 4194304 95674 0 0 0 52149 50 0 0 25 0 1 0 147401034 396873728 94616 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606698 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11063/statm: 96893 94616 170 317 0 96572 0
Current children cumulated CPU time (s) 521.99
Current children cumulated vsize (KiB) 387572

[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 11262
/proc/meminfo: memFree=1199856/2055920 swapFree=4159420/4192956
[pid=11063] ppid=11061 vsize=401068 CPUtime=581.97
/proc/11063/stat : 11063 (oree) R 11061 11063 10675 0 -1 4194304 99032 0 0 0 58144 53 0 0 25 0 1 0 147401034 410693632 97974 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11063/statm: 100267 97974 170 317 0 99946 0
Current children cumulated CPU time (s) 581.97
Current children cumulated vsize (KiB) 401068

[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 11262
/proc/meminfo: memFree=1174128/2055920 swapFree=4159420/4192956
[pid=11063] ppid=11061 vsize=427080 CPUtime=641.95
/proc/11063/stat : 11063 (oree) R 11061 11063 10675 0 -1 4194304 105406 0 0 0 64138 57 0 0 25 0 1 0 147401034 437329920 104348 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11063/statm: 106770 104348 170 317 0 106449 0
Current children cumulated CPU time (s) 641.95
Current children cumulated vsize (KiB) 427080


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

[startup+942.302 s]
/proc/loadavg: 0.99 0.98 0.99 3/78 11262
/proc/meminfo: memFree=1088432/2055920 swapFree=4159420/4192956
[pid=11063] ppid=11061 vsize=514460 CPUtime=941.82
/proc/11063/stat : 11063 (oree) R 11061 11063 10675 0 -1 4194304 126871 0 0 0 94113 69 0 0 25 0 1 0 147401034 526807040 125727 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135194616 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11063/statm: 128615 125727 170 317 0 128294 0
Current children cumulated CPU time (s) 941.82
Current children cumulated vsize (KiB) 514460

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 11262
/proc/meminfo: memFree=1069936/2055920 swapFree=4159420/4192956
[pid=11063] ppid=11061 vsize=533256 CPUtime=1001.8
/proc/11063/stat : 11063 (oree) R 11061 11063 10675 0 -1 4194304 131484 0 0 0 100107 73 0 0 25 0 1 0 147401034 546054144 130340 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606880 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11063/statm: 133314 130340 170 317 0 132993 0
Current children cumulated CPU time (s) 1001.8
Current children cumulated vsize (KiB) 533256

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 11262
/proc/meminfo: memFree=1056176/2055920 swapFree=4159420/4192956
[pid=11063] ppid=11061 vsize=547124 CPUtime=1061.77
/proc/11063/stat : 11063 (oree) R 11061 11063 10675 0 -1 4194304 134910 0 0 0 106103 74 0 0 25 0 1 0 147401034 560254976 133766 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606848 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11063/statm: 136781 133766 170 317 0 136460 0
Current children cumulated CPU time (s) 1061.77
Current children cumulated vsize (KiB) 547124

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 11262
/proc/meminfo: memFree=1038320/2055920 swapFree=4159420/4192956
[pid=11063] ppid=11061 vsize=565152 CPUtime=1121.74
/proc/11063/stat : 11063 (oree) R 11061 11063 10675 0 -1 4194304 139367 0 0 0 112097 77 0 0 25 0 1 0 147401034 578715648 138223 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11063/statm: 141288 138223 170 317 0 140967 0
Current children cumulated CPU time (s) 1121.74
Current children cumulated vsize (KiB) 565152

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 11262
/proc/meminfo: memFree=1024944/2055920 swapFree=4159420/4192956
[pid=11063] ppid=11061 vsize=578940 CPUtime=1181.71
/proc/11063/stat : 11063 (oree) R 11061 11063 10675 0 -1 4194304 142712 0 0 0 118092 79 0 0 25 0 1 0 147401034 592834560 141568 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606682 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11063/statm: 144735 141568 170 317 0 144414 0
Current children cumulated CPU time (s) 1181.71
Current children cumulated vsize (KiB) 578940

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 11262
/proc/meminfo: memFree=1000816/2055920 swapFree=4159420/4192956
[pid=11063] ppid=11061 vsize=603896 CPUtime=1241.69
/proc/11063/stat : 11063 (oree) R 11061 11063 10675 0 -1 4194304 148738 0 0 0 124087 82 0 0 25 0 1 0 147401034 618389504 147594 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606688 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11063/statm: 150974 147594 170 317 0 150653 0
Current children cumulated CPU time (s) 1241.69
Current children cumulated vsize (KiB) 603896

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 11262
/proc/meminfo: memFree=983152/2055920 swapFree=4159420/4192956
[pid=11063] ppid=11061 vsize=621616 CPUtime=1301.67
/proc/11063/stat : 11063 (oree) R 11061 11063 10675 0 -1 4194304 153130 0 0 0 130082 85 0 0 25 0 1 0 147401034 636534784 151986 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11063/statm: 155404 151986 170 317 0 155083 0
Current children cumulated CPU time (s) 1301.67
Current children cumulated vsize (KiB) 621616

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 11262
/proc/meminfo: memFree=963440/2055920 swapFree=4159420/4192956
[pid=11063] ppid=11061 vsize=641860 CPUtime=1361.64
/proc/11063/stat : 11063 (oree) R 11061 11063 10675 0 -1 4194304 158062 0 0 0 136075 89 0 0 25 0 1 0 147401034 657264640 156918 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11063/statm: 160465 156918 170 317 0 160144 0
Current children cumulated CPU time (s) 1361.64
Current children cumulated vsize (KiB) 641860

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 11262
/proc/meminfo: memFree=947696/2055920 swapFree=4159420/4192956
[pid=11063] ppid=11061 vsize=658000 CPUtime=1421.62
/proc/11063/stat : 11063 (oree) R 11061 11063 10675 0 -1 4194304 161985 0 0 0 142071 91 0 0 25 0 1 0 147401034 673792000 160841 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606708 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11063/statm: 164500 160841 170 317 0 164179 0
Current children cumulated CPU time (s) 1421.62
Current children cumulated vsize (KiB) 658000

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 11262
/proc/meminfo: memFree=925744/2055920 swapFree=4159420/4192956
[pid=11063] ppid=11061 vsize=680428 CPUtime=1481.6
/proc/11063/stat : 11063 (oree) R 11061 11063 10675 0 -1 4194304 167452 0 0 0 148066 94 0 0 25 0 1 0 147401034 696758272 166308 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606695 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11063/statm: 170107 166308 170 317 0 169786 0
Current children cumulated CPU time (s) 1481.6
Current children cumulated vsize (KiB) 680428

[startup+1542.3 s]
/proc/loadavg: 1.05 1.00 1.00 2/78 11262
/proc/meminfo: memFree=898288/2055920 swapFree=4159420/4192956
[pid=11063] ppid=11061 vsize=708228 CPUtime=1541.58
/proc/11063/stat : 11063 (oree) R 11061 11063 10675 0 -1 4194304 174310 0 0 0 154061 97 0 0 25 0 1 0 147401034 725225472 173166 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135194616 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11063/statm: 177057 173166 170 317 0 176736 0
Current children cumulated CPU time (s) 1541.58
Current children cumulated vsize (KiB) 708228

[startup+1602.3 s]
/proc/loadavg: 1.11 1.03 1.01 2/78 11262
/proc/meminfo: memFree=876528/2055920 swapFree=4159420/4192956
[pid=11063] ppid=11061 vsize=730736 CPUtime=1601.55
/proc/11063/stat : 11063 (oree) R 11061 11063 10675 0 -1 4194304 179810 0 0 0 160055 100 0 0 25 0 1 0 147401034 748273664 178666 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11063/statm: 182684 178666 170 317 0 182363 0
Current children cumulated CPU time (s) 1601.55
Current children cumulated vsize (KiB) 730736

[startup+1662.3 s]
/proc/loadavg: 1.08 1.04 1.01 2/78 11262
/proc/meminfo: memFree=860016/2055920 swapFree=4159420/4192956
[pid=11063] ppid=11061 vsize=747760 CPUtime=1661.52
/proc/11063/stat : 11063 (oree) R 11061 11063 10675 0 -1 4194304 183943 0 0 0 166050 102 0 0 25 0 1 0 147401034 765706240 182799 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11063/statm: 186940 182799 170 317 0 186619 0
Current children cumulated CPU time (s) 1661.52
Current children cumulated vsize (KiB) 747760

[startup+1722.3 s]
/proc/loadavg: 1.07 1.04 1.01 2/78 11262
/proc/meminfo: memFree=835376/2055920 swapFree=4159420/4192956
[pid=11063] ppid=11061 vsize=772996 CPUtime=1721.5
/proc/11063/stat : 11063 (oree) R 11061 11063 10675 0 -1 4194304 190121 0 0 0 172045 105 0 0 25 0 1 0 147401034 791547904 188977 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385271 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11063/statm: 193249 188977 170 317 0 192928 0
Current children cumulated CPU time (s) 1721.5
Current children cumulated vsize (KiB) 772996

[startup+1782.3 s]
/proc/loadavg: 1.02 1.03 1.00 2/78 11262
/proc/meminfo: memFree=824112/2055920 swapFree=4159420/4192956
[pid=11063] ppid=11061 vsize=784112 CPUtime=1781.48
/proc/11063/stat : 11063 (oree) R 11061 11063 10675 0 -1 4194304 192835 0 0 0 178041 107 0 0 25 0 1 0 147401034 802930688 191691 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11063/statm: 196028 191691 170 317 0 195707 0
Current children cumulated CPU time (s) 1781.48
Current children cumulated vsize (KiB) 784112



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.9 s]
/proc/loadavg: 1.02 1.03 1.00 2/78 11262
/proc/meminfo: memFree=815600/2055920 swapFree=4159420/4192956
[pid=11063] ppid=11061 vsize=792780 CPUtime=1800.07
/proc/11063/stat : 11063 (oree) R 11061 11063 10675 0 -1 4194304 194936 0 0 0 179899 108 0 0 25 0 1 0 147401034 811806720 193792 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384524 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11063/statm: 198195 193792 170 317 0 197874 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 792780

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

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

[startup+1801.01 s]
/proc/loadavg: 1.02 1.03 1.00 2/78 11262
/proc/meminfo: memFree=815600/2055920 swapFree=4159420/4192956
[pid=11063] ppid=11061 vsize=786576 CPUtime=1800.17
/proc/11063/stat : 11063 (oree) R 11061 11063 10675 0 -1 4194304 194952 0 0 0 179909 108 0 0 25 0 1 0 147401034 805453824 192262 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135266576 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11063/statm: 196644 192262 186 317 0 196323 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 786576

[startup+1801.1 s]
/proc/loadavg: 1.02 1.03 1.00 2/78 11262
/proc/meminfo: memFree=815600/2055920 swapFree=4159420/4192956
[pid=11063] ppid=11061 vsize=0 CPUtime=1800.27
/proc/11063/stat : 11063 (oree) R 11061 11063 10675 0 -1 4194308 194952 0 0 0 179909 118 0 0 25 0 1 0 147401034 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11063/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.27
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1801.13
CPU time (s): 1800.31
CPU user time (s): 1799.1
CPU system time (s): 1.21181
CPU usage (%): 99.9542
Max. virtual memory (cumulated for all children) (KiB): 792780

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

runsolver used 1.9737 second user time and 4.6193 second system time

The end

Launcher Data (download as text)

Begin job on node13 on Thu Apr 19 15:00:32 UTC 2007

IDJOB= 357333
IDBENCH= 2422
IDSOLVER= 172
FILE ID= node13/357333-1176994830

PBS_JOBID= 4630468

Free space on /tmp= 66278 MiB

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

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  0981750c20a5ad85ded6bb04bf23d130

RANDOM SEED= 345164351

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node13.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.259
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.259
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:       1591440 kB
Buffers:         36968 kB
Cached:         361424 kB
SwapCached:      12736 kB
Active:         117156 kB
Inactive:       304408 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1591440 kB
SwapTotal:     4192956 kB
SwapFree:      4159420 kB
Dirty:           43648 kB
Writeback:           0 kB
Mapped:          30120 kB
Slab:            28360 kB
Committed_AS:  6648328 kB
PageTables:       1872 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= 66278 MiB

End job on node13 on Thu Apr 19 15:30:35 UTC 2007