Trace number 373105

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.23 1800.93

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_1.opb
MD5SUMa7af672db5daf9bd21f1768f531add6b
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark25
Best CPU time to get the best result obtained on this benchmark1800.12
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 25
Optimality of the best value was proved NO
Number of variables21320
Total number of constraints79746
Number of constraints which are clauses79734
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints11
Minimum length of a constraint1
Maximum length of a constraint1407
Number of terms in the objective function 1407
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1407
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 35
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 1442
Number of bits of the biggest sum of numbers11
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.59/0.66	c ...done
0.59/0.66	c #vars=21320 #constraints=79747 hasObjective=yes
1.19/1.20	c res. mode=mod
1.19/1.20	c VSIDS like heuristics
1.19/1.20	c complete search running
6.68/6.74	c restart after 401 decisions
9.79/9.85	c nbDecision=500 #constraints=79845
12.78/12.82	c restart after 801 decisions
16.88/16.99	c nbDecision=1000 #constraints=79924
20.78/20.80	c nbDecision=1500 #constraints=79968
20.98/21.03	c restart after 1601 decisions
26.58/26.60	c nbDecision=2000 #constraints=80031
29.28/29.38	c nbDecision=2500 #constraints=80064
30.48/30.52	c nbDecision=3000 #constraints=80074
30.88/30.98	c restart after 3201 decisions
31.59/31.66	c nbDecision=3500 #constraints=80083
32.68/32.73	c nbDecision=4000 #constraints=80092
34.28/34.36	c nbDecision=4500 #constraints=80108
36.08/36.13	c nbDecision=5000 #constraints=80126
37.58/37.65	c nbDecision=5500 #constraints=80141
40.58/40.68	c nbDecision=6000 #constraints=80175
41.88/41.98	c restart after 6401 decisions
44.98/45.01	c nbDecision=6500 #constraints=80224
48.78/48.88	c nbDecision=7000 #constraints=80266
50.78/50.84	c nbDecision=7500 #constraints=80286
52.08/52.15	c nbDecision=8000 #constraints=80298
53.78/53.86	c nbDecision=8500 #constraints=80315
55.57/55.63	c nbDecision=9000 #constraints=80333
57.97/58.02	c nbDecision=9500 #constraints=80359
60.67/60.70	c nbDecision=10000 #constraints=80389
61.67/61.79	c nbDecision=10500 #constraints=80399
62.87/62.96	c nbDecision=11000 #constraints=80410
64.17/64.29	c nbDecision=11500 #constraints=80423
65.77/65.83	c nbDecision=12000 #constraints=80452
79.96/80.06	c nbDecision=12500 #constraints=80475
81.27/81.40	c restart after 12801 decisions
85.56/85.67	c nbDecision=13000 #constraints=80536
89.16/89.20	c nbDecision=13500 #constraints=80583
90.06/90.11	c nbDecision=14000 #constraints=80590
91.26/91.33	c nbDecision=14500 #constraints=80601
92.76/92.88	c nbDecision=15000 #constraints=80616
95.36/95.47	c nbDecision=15500 #constraints=80644
98.86/98.92	c nbDecision=16000 #constraints=80683
100.15/100.26	c nbDecision=16500 #constraints=80696
118.65/118.75	c nbDecision=17000 #constraints=80759
122.55/122.62	c nbDecision=17500 #constraints=80804
124.45/124.54	c nbDecision=18000 #constraints=80830
125.45/125.53	c nbDecision=18500 #constraints=80838
126.94/127.09	c nbDecision=19000 #constraints=80853
129.14/129.21	c nbDecision=19500 #constraints=80875
131.85/131.97	c nbDecision=20000 #constraints=80905
133.85/133.97	c nbDecision=20500 #constraints=80931
134.75/134.84	c nbDecision=21000 #constraints=80952
153.74/153.82	c nbDecision=21500 #constraints=81026
156.54/156.65	c nbDecision=22000 #constraints=81065
157.44/157.55	c nbDecision=22500 #constraints=81072
158.54/158.61	c nbDecision=23000 #constraints=81081
160.24/160.32	c nbDecision=23500 #constraints=81098
163.04/163.15	c nbDecision=24000 #constraints=81129
166.23/166.37	c nbDecision=24500 #constraints=81165
168.14/168.30	c nbDecision=25000 #constraints=81185
187.93/188.02	c nbDecision=25500 #constraints=81261
188.93/189.00	c restart after 25601 decisions
189.43/189.56	c nbDecision=26000 #constraints=81277
190.03/190.17	c nbDecision=26500 #constraints=81288
190.73/190.84	c nbDecision=27000 #constraints=81301
191.52/191.63	c nbDecision=27500 #constraints=81321
210.71/210.88	c nbDecision=28000 #constraints=81401
213.42/213.57	c nbDecision=28500 #constraints=81432
214.62/214.72	c nbDecision=29000 #constraints=81442
216.12/216.20	c nbDecision=29500 #constraints=81456
218.12/218.23	c nbDecision=30000 #constraints=81477
219.82/219.94	c nbDecision=30500 #constraints=81494
222.82/222.99	c nbDecision=31000 #constraints=81528
224.32/224.49	c nbDecision=31500 #constraints=81543
225.52/225.68	c nbDecision=32000 #constraints=81554
226.62/226.70	c nbDecision=32500 #constraints=81563
227.92/228.04	c nbDecision=33000 #constraints=81576
229.52/229.70	c nbDecision=33500 #constraints=81593
252.11/252.20	c nbDecision=34000 #constraints=81696
253.31/253.44	c nbDecision=34500 #constraints=81706
254.71/254.85	c nbDecision=35000 #constraints=81718
256.60/256.78	c nbDecision=35500 #constraints=81736
258.20/258.35	c nbDecision=36000 #constraints=81750
260.30/260.45	c nbDecision=36500 #constraints=81770
264.00/264.12	c nbDecision=37000 #constraints=81808
264.50/264.65	c nbDecision=37500 #constraints=81816
265.10/265.25	c nbDecision=38000 #constraints=81826
265.80/265.93	c nbDecision=38500 #constraints=81839
266.50/266.62	c nbDecision=39000 #constraints=81853
281.50/281.67	c nbDecision=39500 #constraints=81897
287.49/287.67	c nbDecision=40000 #constraints=81959
289.29/289.44	c nbDecision=40500 #constraints=81979
290.59/290.70	c nbDecision=41000 #constraints=81990
292.40/292.54	c nbDecision=41500 #constraints=82008
294.20/294.38	c nbDecision=42000 #constraints=82026
296.49/296.68	c nbDecision=42500 #constraints=82050
299.29/299.49	c nbDecision=43000 #constraints=82082
299.89/300.07	c nbDecision=43500 #constraints=82091
300.49/300.67	c nbDecision=44000 #constraints=82101
301.19/301.32	c nbDecision=44500 #constraints=82113
301.89/302.01	c nbDecision=45000 #constraints=82127
320.08/320.21	c nbDecision=45500 #constraints=82199
323.88/324.04	c nbDecision=46000 #constraints=82244
324.98/325.14	c nbDecision=46500 #constraints=82253
326.28/326.41	c nbDecision=47000 #constraints=82264
327.98/328.18	c nbDecision=47500 #constraints=82281
329.68/329.87	c nbDecision=48000 #constraints=82297
331.38/331.54	c nbDecision=48500 #constraints=82313
334.88/335.02	c nbDecision=49000 #constraints=82351
335.78/335.91	c nbDecision=49500 #constraints=82362
336.38/336.54	c nbDecision=50000 #constraints=82373
336.98/337.16	c nbDecision=50500 #constraints=82384
337.68/337.86	c nbDecision=51000 #constraints=82398
337.98/338.20	c restart after 51201 decisions
344.08/344.22	c nbDecision=51500 #constraints=82459
347.38/347.57	c nbDecision=52000 #constraints=82495
348.67/348.85	c nbDecision=52500 #constraints=82506
350.17/350.38	c nbDecision=53000 #constraints=82520
351.97/352.16	c nbDecision=53500 #constraints=82537
353.97/354.10	c nbDecision=54000 #constraints=82556
356.47/356.68	c nbDecision=54500 #constraints=82583
358.87/359.06	c nbDecision=55000 #constraints=82608
360.07/360.26	c nbDecision=55500 #constraints=82619
361.16/361.38	c nbDecision=56000 #constraints=82629
362.46/362.67	c nbDecision=56500 #constraints=82641
364.07/364.26	c nbDecision=57000 #constraints=82657
395.66/395.86	c nbDecision=57500 #constraints=82735
399.46/399.65	c nbDecision=58000 #constraints=82773
401.26/401.45	c nbDecision=58500 #constraints=82790
402.56/402.73	c nbDecision=59000 #constraints=82801
404.36/404.59	c nbDecision=59500 #constraints=82819
406.16/406.38	c nbDecision=60000 #constraints=82836
408.36/408.50	c nbDecision=60500 #constraints=82857
411.55/411.76	c nbDecision=61000 #constraints=82893
412.15/412.35	c nbDecision=61500 #constraints=82902
412.75/412.94	c nbDecision=62000 #constraints=82911
413.46/413.62	c nbDecision=62500 #constraints=82923
414.15/414.36	c nbDecision=63000 #constraints=82938
433.15/433.34	c nbDecision=63500 #constraints=83012
436.64/436.86	c nbDecision=64000 #constraints=83047
437.84/438.07	c nbDecision=64500 #constraints=83057
439.44/439.70	c nbDecision=65000 #constraints=83072
441.24/441.40	c nbDecision=65500 #constraints=83088
443.04/443.27	c nbDecision=66000 #constraints=83106
445.64/445.82	c nbDecision=66500 #constraints=83132
448.24/448.42	c nbDecision=67000 #constraints=83159
449.24/449.49	c nbDecision=67500 #constraints=83168
450.64/450.80	c nbDecision=68000 #constraints=83180
451.94/452.11	c nbDecision=68500 #constraints=83192
453.64/453.88	c nbDecision=69000 #constraints=83215
473.83/474.06	c nbDecision=69500 #constraints=83292
476.43/476.65	c nbDecision=70000 #constraints=83317
477.63/477.85	c nbDecision=70500 #constraints=83327
479.23/479.49	c nbDecision=71000 #constraints=83342
481.33/481.55	c nbDecision=71500 #constraints=83362
482.93/483.17	c nbDecision=72000 #constraints=83377
486.63/486.84	c nbDecision=72500 #constraints=83416
487.93/488.17	c nbDecision=73000 #constraints=83428
489.23/489.40	c nbDecision=73500 #constraints=83439
490.53/490.72	c nbDecision=74000 #constraints=83451
491.53/491.79	c nbDecision=74500 #constraints=83464
509.92/510.16	c nbDecision=75000 #constraints=83530
514.42/514.64	c nbDecision=75500 #constraints=83568
516.52/516.75	c nbDecision=76000 #constraints=83587
518.02/518.21	c nbDecision=76500 #constraints=83598
519.72/519.96	c nbDecision=77000 #constraints=83612
521.92/522.11	c nbDecision=77500 #constraints=83630
523.52/523.75	c nbDecision=78000 #constraints=83643
526.81/527.01	c nbDecision=78500 #constraints=83672
529.41/529.62	c nbDecision=79000 #constraints=83698
530.01/530.25	c nbDecision=79500 #constraints=83707
530.71/530.94	c nbDecision=80000 #constraints=83718
531.41/531.69	c nbDecision=80500 #constraints=83731
532.41/532.60	c nbDecision=81000 #constraints=83750
552.60/552.89	c nbDecision=81500 #constraints=83825
555.31/555.53	c nbDecision=82000 #constraints=83854
556.50/556.75	c nbDecision=82500 #constraints=83864
558.20/558.41	c nbDecision=83000 #constraints=83879
560.30/560.51	c nbDecision=83500 #constraints=83899
562.00/562.24	c nbDecision=84000 #constraints=83915
565.20/565.43	c nbDecision=84500 #constraints=83948
567.00/567.21	c nbDecision=85000 #constraints=83965
568.20/568.46	c nbDecision=85500 #constraints=83976
569.50/569.70	c nbDecision=86000 #constraints=83987
570.90/571.11	c nbDecision=86500 #constraints=84000
590.19/590.48	c nbDecision=87000 #constraints=84068
595.09/595.35	c nbDecision=87500 #constraints=84115
596.39/596.67	c nbDecision=88000 #constraints=84126
597.99/598.26	c nbDecision=88500 #constraints=84140
599.39/599.66	c nbDecision=89000 #constraints=84152
601.19/601.42	c nbDecision=89500 #constraints=84168
603.19/603.43	c nbDecision=90000 #constraints=84187
606.69/606.91	c nbDecision=90500 #constraints=84223
607.39/607.68	c nbDecision=91000 #constraints=84232
608.09/608.36	c nbDecision=91500 #constraints=84243
608.79/609.00	c nbDecision=92000 #constraints=84253
609.59/609.83	c nbDecision=92500 #constraints=84269
623.98/624.27	c nbDecision=93000 #constraints=84304
633.48/633.78	c nbDecision=93500 #constraints=84378
634.88/635.19	c nbDecision=94000 #constraints=84388
636.58/636.81	c nbDecision=94500 #constraints=84400
638.88/639.16	c nbDecision=95000 #constraints=84419
640.57/640.87	c nbDecision=95500 #constraints=84432
642.77/643.01	c nbDecision=96000 #constraints=84449
646.97/647.25	c nbDecision=96500 #constraints=84486
648.07/648.32	c nbDecision=97000 #constraints=84498
648.77/649.01	c nbDecision=97500 #constraints=84509
649.47/649.70	c nbDecision=98000 #constraints=84520
650.17/650.48	c nbDecision=98500 #constraints=84534
666.86/667.11	c nbDecision=99000 #constraints=84586
672.66/672.93	c nbDecision=99500 #constraints=84641
674.26/674.57	c nbDecision=100000 #constraints=84655
675.76/676.09	c nbDecision=100500 #constraints=84668
677.56/677.88	c nbDecision=101000 #constraints=84684
679.46/679.75	c nbDecision=101500 #constraints=84701
681.66/681.96	c nbDecision=102000 #constraints=84722
684.86/685.13	c restart after 102401 decisions
689.55/689.81	c nbDecision=102500 #constraints=84785
695.45/695.71	c nbDecision=103000 #constraints=84844
696.66/696.97	c nbDecision=103500 #constraints=84854
698.06/698.39	c nbDecision=104000 #constraints=84866
700.06/700.36	c nbDecision=104500 #constraints=84884
702.16/702.40	c nbDecision=105000 #constraints=84903
704.96/705.24	c nbDecision=105500 #constraints=84931
707.56/707.86	c nbDecision=106000 #constraints=84957
708.86/709.14	c nbDecision=106500 #constraints=84968
710.05/710.32	c nbDecision=107000 #constraints=84978
711.55/711.84	c nbDecision=107500 #constraints=84992
713.35/713.63	c nbDecision=108000 #constraints=85018
736.24/736.51	c nbDecision=108500 #constraints=85110
737.44/737.77	c nbDecision=109000 #constraints=85120
738.85/739.13	c nbDecision=109500 #constraints=85131
740.54/740.84	c nbDecision=110000 #constraints=85146
742.34/742.63	c nbDecision=110500 #constraints=85162
744.54/744.87	c nbDecision=111000 #constraints=85183
748.34/748.65	c nbDecision=111500 #constraints=85221
748.94/749.24	c nbDecision=112000 #constraints=85229
749.54/749.83	c nbDecision=112500 #constraints=85237
750.24/750.52	c nbDecision=113000 #constraints=85248
750.94/751.29	c nbDecision=113500 #constraints=85261
751.94/752.21	c nbDecision=114000 #constraints=85280
772.73/773.08	c nbDecision=114500 #constraints=85356
775.73/776.06	c nbDecision=115000 #constraints=85387
777.03/777.33	c nbDecision=115500 #constraints=85397
778.73/779.04	c nbDecision=116000 #constraints=85412
780.92/781.22	c nbDecision=116500 #constraints=85432
783.02/783.38	c nbDecision=117000 #constraints=85452
786.92/787.22	c nbDecision=117500 #constraints=85491
787.92/788.23	c nbDecision=118000 #constraints=85499
789.12/789.43	c nbDecision=118500 #constraints=85509
790.42/790.79	c nbDecision=119000 #constraints=85521
791.92/792.24	c nbDecision=119500 #constraints=85534
811.91/812.20	c nbDecision=120000 #constraints=85601
816.82/817.11	c nbDecision=120500 #constraints=85651
818.02/818.38	c nbDecision=121000 #constraints=85661
819.72/820.02	c nbDecision=121500 #constraints=85675
821.62/821.93	c nbDecision=122000 #constraints=85692
823.62/823.91	c nbDecision=122500 #constraints=85710
826.62/826.91	c nbDecision=123000 #constraints=85739
829.02/829.40	c nbDecision=123500 #constraints=85763
830.31/830.60	c nbDecision=124000 #constraints=85773
831.41/831.80	c nbDecision=124500 #constraints=85783
832.91/833.25	c nbDecision=125000 #constraints=85796
834.01/834.31	c nbDecision=125500 #constraints=85820
856.90/857.22	c nbDecision=126000 #constraints=85917
858.20/858.51	c nbDecision=126500 #constraints=85927
859.81/860.16	c nbDecision=127000 #constraints=85941
861.40/861.72	c nbDecision=127500 #constraints=85954
863.20/863.55	c nbDecision=128000 #constraints=85970
865.50/865.84	c nbDecision=128500 #constraints=85991
869.30/869.60	c nbDecision=129000 #constraints=86029
869.89/870.20	c nbDecision=129500 #constraints=86037
870.49/870.87	c nbDecision=130000 #constraints=86047
871.19/871.58	c nbDecision=130500 #constraints=86058
872.00/872.39	c nbDecision=131000 #constraints=86072
885.80/886.15	c nbDecision=131500 #constraints=86103
902.49/902.83	c nbDecision=132000 #constraints=86216
913.49/913.86	c nbDecision=132500 #constraints=86303
925.58/925.95	c nbDecision=133000 #constraints=86402
939.27/939.66	c nbDecision=133500 #constraints=86510
949.37/949.74	c nbDecision=134000 #constraints=86595
960.46/960.82	c nbDecision=134500 #constraints=86688
972.76/973.19	c nbDecision=135000 #constraints=86783
983.16/983.50	c nbDecision=135500 #constraints=86869
994.65/995.01	c nbDecision=136000 #constraints=86958
1008.06/1008.45	c nbDecision=136500 #constraints=87077
1019.26/1019.67	c nbDecision=137000 #constraints=87177
1031.95/1032.36	c nbDecision=137500 #constraints=87292
1044.54/1044.91	c nbDecision=138000 #constraints=87400
1056.64/1057.08	c nbDecision=138500 #constraints=87509
1066.73/1067.10	c nbDecision=139000 #constraints=87598
1076.73/1077.11	c nbDecision=139500 #constraints=87688
1090.62/1091.06	c nbDecision=140000 #constraints=87813
1101.02/1101.49	c nbDecision=140500 #constraints=87911
1112.61/1113.07	c nbDecision=141000 #constraints=88020
1128.82/1129.24	c nbDecision=141500 #constraints=88173
1154.31/1154.74	c nbDecision=142000 #constraints=88416
1174.10/1174.51	c nbDecision=142500 #constraints=88606
1191.69/1192.15	c nbDecision=143000 #constraints=88776
1205.29/1205.78	c nbDecision=143500 #constraints=88936
1215.69/1216.19	c nbDecision=144000 #constraints=89071
1223.08/1223.50	c nbDecision=144500 #constraints=89153
1224.18/1224.66	c nbDecision=145000 #constraints=89162
1230.38/1230.88	c nbDecision=145500 #constraints=89207
1237.88/1238.32	c nbDecision=146000 #constraints=89290
1239.07/1239.56	c nbDecision=146500 #constraints=89300
1244.27/1244.70	c nbDecision=147000 #constraints=89345
1245.47/1245.95	c nbDecision=147500 #constraints=89355
1247.27/1247.74	c nbDecision=148000 #constraints=89376
1248.67/1249.18	c nbDecision=148500 #constraints=89388
1250.77/1251.25	c nbDecision=149000 #constraints=89405
1252.67/1253.12	c nbDecision=149500 #constraints=89422
1255.07/1255.51	c nbDecision=150000 #constraints=89445
1258.47/1258.95	c nbDecision=150500 #constraints=89481
1259.37/1259.89	c nbDecision=151000 #constraints=89491
1260.07/1260.55	c nbDecision=151500 #constraints=89502
1260.77/1261.29	c nbDecision=152000 #constraints=89516
1261.76/1262.21	c nbDecision=152500 #constraints=89538
1274.76/1275.23	c nbDecision=153000 #constraints=89569
1276.96/1277.48	c nbDecision=153500 #constraints=89587
1279.06/1279.52	c nbDecision=154000 #constraints=89604
1281.16/1281.66	c nbDecision=154500 #constraints=89624
1284.36/1284.83	c nbDecision=155000 #constraints=89656
1286.46/1286.98	c nbDecision=155500 #constraints=89677
1287.76/1288.23	c nbDecision=156000 #constraints=89688
1288.76/1289.24	c nbDecision=156500 #constraints=89700
1289.56/1290.02	c nbDecision=157000 #constraints=89715
1300.76/1301.28	c nbDecision=157500 #constraints=89752
1303.55/1304.01	c nbDecision=158000 #constraints=89777
1305.85/1306.37	c nbDecision=158500 #constraints=89799
1309.95/1310.47	c nbDecision=159000 #constraints=89840
1311.35/1311.87	c nbDecision=159500 #constraints=89852
1312.65/1313.16	c nbDecision=160000 #constraints=89863
1313.55/1314.09	c nbDecision=160500 #constraints=89875
1314.55/1315.02	c nbDecision=161000 #constraints=89891
1324.95/1325.42	c nbDecision=161500 #constraints=89940
1326.64/1327.20	c nbDecision=162000 #constraints=89955
1330.24/1330.77	c nbDecision=162500 #constraints=89990
1332.34/1332.87	c nbDecision=163000 #constraints=90010
1333.64/1334.13	c nbDecision=163500 #constraints=90021
1334.84/1335.30	c nbDecision=164000 #constraints=90031
1336.33/1336.86	c nbDecision=164500 #constraints=90046
1350.70/1351.24	c nbDecision=165000 #constraints=90083
1352.09/1352.61	c nbDecision=165500 #constraints=90094
1353.49/1354.01	c nbDecision=166000 #constraints=90105
1355.29/1355.87	c nbDecision=166500 #constraints=90121
1357.28/1357.81	c nbDecision=167000 #constraints=90138
1359.48/1360.09	c nbDecision=167500 #constraints=90159
1362.86/1363.49	c nbDecision=168000 #constraints=90194
1363.56/1364.12	c nbDecision=168500 #constraints=90203
1364.16/1364.72	c nbDecision=169000 #constraints=90211
1364.96/1365.58	c nbDecision=169500 #constraints=90226
1365.76/1366.32	c nbDecision=170000 #constraints=90238
1379.94/1380.55	c nbDecision=170500 #constraints=90272
1381.63/1382.29	c nbDecision=171000 #constraints=90282
1383.53/1384.17	c nbDecision=171500 #constraints=90293
1386.03/1386.62	c nbDecision=172000 #constraints=90308
1388.83/1389.49	c nbDecision=172500 #constraints=90326
1392.02/1392.65	c nbDecision=173000 #constraints=90346
1397.22/1397.82	c nbDecision=173500 #constraints=90382
1397.82/1398.44	c nbDecision=174000 #constraints=90390
1398.42/1399.02	c nbDecision=174500 #constraints=90397
1399.22/1399.88	c nbDecision=175000 #constraints=90411
1400.02/1400.69	c nbDecision=175500 #constraints=90424
1401.11/1401.76	c nbDecision=176000 #constraints=90446
1415.21/1415.83	c nbDecision=176500 #constraints=90465
1416.71/1417.35	c nbDecision=177000 #constraints=90477
1418.61/1419.23	c nbDecision=177500 #constraints=90493
1420.71/1421.31	c nbDecision=178000 #constraints=90511
1423.51/1424.12	c nbDecision=178500 #constraints=90537
1426.61/1427.21	c nbDecision=179000 #constraints=90567
1427.51/1428.15	c nbDecision=179500 #constraints=90574
1428.71/1429.35	c nbDecision=180000 #constraints=90584
1430.21/1430.82	c nbDecision=180500 #constraints=90597
1431.41/1432.01	c nbDecision=181000 #constraints=90607
1433.61/1434.20	c nbDecision=181500 #constraints=90629
1448.40/1449.08	c nbDecision=182000 #constraints=90653
1450.00/1450.60	c nbDecision=182500 #constraints=90663
1451.80/1452.46	c nbDecision=183000 #constraints=90676
1454.10/1454.77	c nbDecision=183500 #constraints=90693
1456.10/1456.73	c nbDecision=184000 #constraints=90707
1459.50/1460.17	c nbDecision=184500 #constraints=90734
1462.50/1463.18	c nbDecision=185000 #constraints=90760
1463.20/1463.85	c nbDecision=185500 #constraints=90769
1463.80/1464.47	c nbDecision=186000 #constraints=90777
1464.80/1465.43	c nbDecision=186500 #constraints=90793
1465.60/1466.28	c nbDecision=187000 #constraints=90807
1479.69/1480.36	c nbDecision=187500 #constraints=90837
1481.19/1481.82	c nbDecision=188000 #constraints=90848
1482.69/1483.37	c nbDecision=188500 #constraints=90860
1484.29/1484.91	c nbDecision=189000 #constraints=90872
1486.19/1486.86	c nbDecision=189500 #constraints=90888
1487.79/1488.49	c nbDecision=190000 #constraints=90901
1491.19/1491.87	c nbDecision=190500 #constraints=90932
1493.29/1493.94	c nbDecision=191000 #constraints=90953
1493.99/1494.61	c nbDecision=191500 #constraints=90962
1494.59/1495.29	c nbDecision=192000 #constraints=90971
1495.39/1496.04	c nbDecision=192500 #constraints=90982
1496.09/1496.75	c nbDecision=193000 #constraints=90992
1497.29/1497.95	c nbDecision=193500 #constraints=91017
1511.28/1511.91	c nbDecision=194000 #constraints=91039
1512.78/1513.41	c nbDecision=194500 #constraints=91050
1514.78/1515.40	c nbDecision=195000 #constraints=91066
1516.38/1517.05	c nbDecision=195500 #constraints=91079
1518.08/1518.71	c nbDecision=196000 #constraints=91092
1520.68/1521.35	c nbDecision=196500 #constraints=91115
1523.98/1524.62	c nbDecision=197000 #constraints=91147
1524.57/1525.21	c nbDecision=197500 #constraints=91154
1525.17/1525.85	c nbDecision=198000 #constraints=91162
1525.97/1526.66	c nbDecision=198500 #constraints=91174
1526.87/1527.52	c nbDecision=199000 #constraints=91187
1527.68/1528.40	c nbDecision=199500 #constraints=91202
1541.37/1542.06	c nbDecision=200000 #constraints=91230
1542.77/1543.42	c nbDecision=200500 #constraints=91240
1544.57/1545.30	c nbDecision=201000 #constraints=91255
1546.87/1547.57	c nbDecision=201500 #constraints=91274
1549.27/1549.94	c nbDecision=202000 #constraints=91294
1553.37/1554.09	c nbDecision=202500 #constraints=91333
1554.07/1554.74	c nbDecision=203000 #constraints=91341
1554.67/1555.34	c nbDecision=203500 #constraints=91348
1555.47/1556.20	c nbDecision=204000 #constraints=91361
1556.37/1557.00	c nbDecision=204500 #constraints=91373
1556.87/1557.50	c restart after 204801 decisions
1558.87/1559.60	c nbDecision=205000 #constraints=91386
1562.47/1563.16	c nbDecision=205500 #constraints=91405
1569.36/1570.04	c nbDecision=206000 #constraints=91444
1570.96/1571.66	c nbDecision=206500 #constraints=91452
1572.96/1573.61	c nbDecision=207000 #constraints=91462
1575.16/1575.87	c nbDecision=207500 #constraints=91474
1577.56/1578.26	c nbDecision=208000 #constraints=91487
1602.35/1603.00	c nbDecision=208500 #constraints=91549
1607.74/1608.46	c nbDecision=209000 #constraints=91589
1610.24/1610.99	c nbDecision=209500 #constraints=91609
1612.04/1612.78	c nbDecision=210000 #constraints=91623
1614.34/1615.08	c nbDecision=210500 #constraints=91642
1616.94/1617.65	c nbDecision=211000 #constraints=91664
1620.24/1620.96	c nbDecision=211500 #constraints=91694
1622.34/1623.09	c nbDecision=212000 #constraints=91713
1623.64/1624.33	c nbDecision=212500 #constraints=91723
1624.94/1625.66	c nbDecision=213000 #constraints=91734
1626.25/1626.98	c nbDecision=213500 #constraints=91745
1628.35/1629.06	c nbDecision=214000 #constraints=91765
1653.93/1654.61	c nbDecision=214500 #constraints=91844
1657.13/1657.88	c nbDecision=215000 #constraints=91870
1658.63/1659.35	c nbDecision=215500 #constraints=91881
1660.83/1661.53	c nbDecision=216000 #constraints=91899
1663.43/1664.10	c nbDecision=216500 #constraints=91921
1666.43/1667.16	c nbDecision=217000 #constraints=91948
1669.33/1670.10	c nbDecision=217500 #constraints=91975
1670.52/1671.25	c nbDecision=218000 #constraints=91984
1671.82/1672.58	c nbDecision=218500 #constraints=91995
1673.22/1673.90	c nbDecision=219000 #constraints=92006
1674.92/1675.65	c nbDecision=219500 #constraints=92022
1699.92/1700.60	c nbDecision=220000 #constraints=92097
1704.51/1705.27	c nbDecision=220500 #constraints=92135
1706.02/1706.76	c nbDecision=221000 #constraints=92146
1707.92/1708.65	c nbDecision=221500 #constraints=92161
1710.52/1711.26	c nbDecision=222000 #constraints=92183
1713.22/1713.95	c nbDecision=222500 #constraints=92206
1716.91/1717.63	c nbDecision=223000 #constraints=92240
1717.91/1718.68	c nbDecision=223500 #constraints=92248
1719.21/1719.91	c nbDecision=224000 #constraints=92258
1720.61/1721.32	c nbDecision=224500 #constraints=92270
1722.11/1722.81	c nbDecision=225000 #constraints=92283
1743.80/1744.52	c nbDecision=225500 #constraints=92344
1749.90/1750.62	c nbDecision=226000 #constraints=92387
1752.70/1753.45	c nbDecision=226500 #constraints=92414
1754.50/1755.25	c nbDecision=227000 #constraints=92428
1756.80/1757.55	c nbDecision=227500 #constraints=92447
1759.31/1760.04	c nbDecision=228000 #constraints=92468
1763.10/1763.85	c nbDecision=228500 #constraints=92503
1764.80/1765.59	c nbDecision=229000 #constraints=92518
1766.10/1766.84	c nbDecision=229500 #constraints=92528
1767.50/1768.27	c nbDecision=230000 #constraints=92540
1768.80/1769.59	c nbDecision=230500 #constraints=92551
1770.70/1771.50	c nbDecision=231000 #constraints=92569
1797.59/1798.36	c nbDecision=231500 #constraints=92660
1799.89/1800.65	c nbDecision=232000 #constraints=92678
1800.09/1800.80	Received signal 15
1800.09/1800.88	
1800.09/1800.88	s UNKNOWN
1800.09/1800.88	
1800.09/1800.88	c user time= 1799.94 s
1800.09/1800.88	c system time= 0.243962 s
1800.09/1800.88	c wall clock time=1800.89

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

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


[startup+0 s]
/proc/loadavg: 0.91 0.97 0.99 3/64 16411
/proc/meminfo: memFree=1689960/2055920 swapFree=4180708/4192956
[pid=16411] ppid=16409 vsize=1468 CPUtime=0
/proc/16411/stat : 16411 (oree) R 16409 16411 15627 0 -1 4194304 182 0 0 0 0 0 0 0 18 0 1 0 192622020 1503232 164 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134718304 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16411/statm: 367 164 130 317 0 46 0

[startup+0.0910469 s]
/proc/loadavg: 0.91 0.97 0.99 3/64 16411
/proc/meminfo: memFree=1689960/2055920 swapFree=4180708/4192956
[pid=16411] ppid=16409 vsize=3316 CPUtime=0.08
/proc/16411/stat : 16411 (oree) R 16409 16411 15627 0 -1 4194304 638 0 0 0 8 0 0 0 18 0 1 0 192622020 3395584 620 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16411/statm: 829 620 130 317 0 508 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 3316

[startup+0.101048 s]
/proc/loadavg: 0.91 0.97 0.99 3/64 16411
/proc/meminfo: memFree=1689960/2055920 swapFree=4180708/4192956
[pid=16411] ppid=16409 vsize=3580 CPUtime=0.09
/proc/16411/stat : 16411 (oree) R 16409 16411 15627 0 -1 4194304 690 0 0 0 9 0 0 0 18 0 1 0 192622020 3665920 672 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16411/statm: 895 672 130 317 0 574 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3580

[startup+0.301084 s]
/proc/loadavg: 0.91 0.97 0.99 3/64 16411
/proc/meminfo: memFree=1689960/2055920 swapFree=4180708/4192956
[pid=16411] ppid=16409 vsize=7800 CPUtime=0.29
/proc/16411/stat : 16411 (oree) R 16409 16411 15627 0 -1 4194304 1774 0 0 0 28 1 0 0 19 0 1 0 192622020 7987200 1723 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16411/statm: 1950 1724 130 317 0 1629 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7800

[startup+0.701158 s]
/proc/loadavg: 0.91 0.97 0.99 3/64 16411
/proc/meminfo: memFree=1689960/2055920 swapFree=4180708/4192956
[pid=16411] ppid=16409 vsize=22312 CPUtime=0.69
/proc/16411/stat : 16411 (oree) R 16409 16411 15627 0 -1 4194304 5425 0 0 0 67 2 0 0 22 0 1 0 192622020 22847488 5309 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16411/statm: 5578 5309 137 317 0 5257 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 22312

[startup+1.50131 s]
/proc/loadavg: 0.91 0.97 0.99 2/65 16412
/proc/meminfo: memFree=1668448/2055920 swapFree=4180708/4192956
[pid=16411] ppid=16409 vsize=28584 CPUtime=1.49
/proc/16411/stat : 16411 (oree) R 16409 16411 15627 0 -1 4194304 7025 0 0 0 146 3 0 0 25 0 1 0 192622020 29270016 6363 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134714119 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16411/statm: 7146 6363 139 317 0 6825 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 28584

[startup+3.1016 s]
/proc/loadavg: 0.91 0.97 0.99 2/65 16412
/proc/meminfo: memFree=1664672/2055920 swapFree=4180708/4192956
[pid=16411] ppid=16409 vsize=28584 CPUtime=3.09
/proc/16411/stat : 16411 (oree) R 16409 16411 15627 0 -1 4194304 7025 0 0 0 306 3 0 0 25 0 1 0 192622020 29270016 6363 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134593512 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16411/statm: 7146 6363 139 317 0 6825 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 28584

[startup+6.30218 s]
/proc/loadavg: 0.92 0.97 0.99 2/65 16412
/proc/meminfo: memFree=1664544/2055920 swapFree=4180708/4192956
[pid=16411] ppid=16409 vsize=28584 CPUtime=6.28
/proc/16411/stat : 16411 (oree) R 16409 16411 15627 0 -1 4194304 7025 0 0 0 625 3 0 0 25 0 1 0 192622020 29270016 6363 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134715645 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16411/statm: 7146 6363 139 317 0 6825 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 28584

[startup+12.7014 s]
/proc/loadavg: 0.93 0.97 0.99 2/65 16412
/proc/meminfo: memFree=1664480/2055920 swapFree=4180708/4192956
[pid=16411] ppid=16409 vsize=28584 CPUtime=12.68
/proc/16411/stat : 16411 (oree) R 16409 16411 15627 0 -1 4194304 7026 0 0 0 1265 3 0 0 25 0 1 0 192622020 29270016 6364 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134714061 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16411/statm: 7146 6364 139 317 0 6825 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 28584

[startup+25.5017 s]
/proc/loadavg: 0.94 0.97 0.99 2/65 16412
/proc/meminfo: memFree=1664544/2055920 swapFree=4180708/4192956
[pid=16411] ppid=16409 vsize=28584 CPUtime=25.48
/proc/16411/stat : 16411 (oree) R 16409 16411 15627 0 -1 4194304 7028 0 0 0 2545 3 0 0 25 0 1 0 192622020 29270016 6366 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134563150 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16411/statm: 7146 6366 139 317 0 6825 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 28584

[startup+51.1014 s]
/proc/loadavg: 0.96 0.97 0.99 2/65 16412
/proc/meminfo: memFree=1664032/2055920 swapFree=4180708/4192956
[pid=16411] ppid=16409 vsize=29368 CPUtime=51.08
/proc/16411/stat : 16411 (oree) R 16409 16411 15627 0 -1 4194304 7201 0 0 0 5104 4 0 0 25 0 1 0 192622020 30072832 6539 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134563893 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16411/statm: 7342 6539 139 317 0 7021 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 29368

[startup+102.306 s]
/proc/loadavg: 0.98 0.97 0.99 2/65 16412
/proc/meminfo: memFree=1661152/2055920 swapFree=4180708/4192956
[pid=16411] ppid=16409 vsize=32296 CPUtime=102.26
/proc/16411/stat : 16411 (oree) R 16409 16411 15627 0 -1 4194304 7932 0 0 0 10222 4 0 0 25 0 1 0 192622020 33071104 7250 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135270621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16411/statm: 8074 7250 139 317 0 7753 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 32296

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 16414
/proc/meminfo: memFree=1658016/2055920 swapFree=4180708/4192956
[pid=16411] ppid=16409 vsize=35376 CPUtime=162.24
/proc/16411/stat : 16411 (oree) R 16409 16411 15627 0 -1 4194304 8741 0 0 0 16219 5 0 0 25 0 1 0 192622020 36225024 8019 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134604205 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16411/statm: 8844 8019 139 317 0 8523 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 35376

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 16414
/proc/meminfo: memFree=1654624/2055920 swapFree=4180708/4192956
[pid=16411] ppid=16409 vsize=38752 CPUtime=222.22
/proc/16411/stat : 16411 (oree) R 16409 16411 15627 0 -1 4194304 9605 0 0 0 22216 6 0 0 25 0 1 0 192622020 39682048 8842 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16411/statm: 9688 8842 139 317 0 9367 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 38752

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 16414
/proc/meminfo: memFree=1651168/2055920 swapFree=4180708/4192956
[pid=16411] ppid=16409 vsize=42448 CPUtime=282.2
/proc/16411/stat : 16411 (oree) R 16409 16411 15627 0 -1 4194304 10469 0 0 0 28214 6 0 0 25 0 1 0 192622020 43466752 9686 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135272945 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16411/statm: 10612 9686 139 317 0 10291 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 42448

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 16414
/proc/meminfo: memFree=1646880/2055920 swapFree=4180708/4192956
[pid=16411] ppid=16409 vsize=46872 CPUtime=342.17
/proc/16411/stat : 16411 (oree) R 16409 16411 15627 0 -1 4194304 11585 0 0 0 34210 7 0 0 25 0 1 0 192622020 47996928 10782 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134713748 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16411/statm: 11718 10782 139 317 0 11397 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 46872

[startup+402.303 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 16414
/proc/meminfo: memFree=1644384/2055920 swapFree=4180708/4192956
[pid=16411] ppid=16409 vsize=49460 CPUtime=402.16
/proc/16411/stat : 16411 (oree) R 16409 16411 15627 0 -1 4194304 12267 0 0 0 40208 8 0 0 25 0 1 0 192622020 50647040 11423 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16411/statm: 12365 11423 139 317 0 12044 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 49460

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 16414
/proc/meminfo: memFree=1640544/2055920 swapFree=4180708/4192956
[pid=16411] ppid=16409 vsize=53324 CPUtime=462.13
/proc/16411/stat : 16411 (oree) R 16409 16411 15627 0 -1 4194304 13229 0 0 0 46205 8 0 0 25 0 1 0 192622020 54603776 12365 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135271349 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16411/statm: 13331 12365 139 317 0 13010 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 53324

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 16414
/proc/meminfo: memFree=1638176/2055920 swapFree=4180708/4192956
[pid=16411] ppid=16409 vsize=55800 CPUtime=522.12
/proc/16411/stat : 16411 (oree) R 16409 16411 15627 0 -1 4194304 13867 0 0 0 52203 9 0 0 25 0 1 0 192622020 57139200 12963 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135284202 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16411/statm: 13950 12963 139 317 0 13629 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 55800

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 16414
/proc/meminfo: memFree=1633504/2055920 swapFree=4180708/4192956
[pid=16411] ppid=16409 vsize=61152 CPUtime=582.09
/proc/16411/stat : 16411 (oree) R 16409 16411 15627 0 -1 4194304 15046 0 0 0 58200 9 0 0 25 0 1 0 192622020 62619648 14122 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134530455 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16411/statm: 15288 14122 139 317 0 14967 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 61152

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 16414
/proc/meminfo: memFree=1630752/2055920 swapFree=4180708/4192956
[pid=16411] ppid=16409 vsize=63784 CPUtime=642.08
/proc/16411/stat : 16411 (oree) R 16409 16411 15627 0 -1 4194304 15777 0 0 0 64198 10 0 0 25 0 1 0 192622020 65314816 14813 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16411/statm: 15946 14813 139 317 0 15625 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 63784


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

[startup+882.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 16414
/proc/meminfo: memFree=1617824/2055920 swapFree=4180708/4192956
[pid=16411] ppid=16409 vsize=76848 CPUtime=882
/proc/16411/stat : 16411 (oree) R 16409 16411 15627 0 -1 4194304 19091 0 0 0 88187 13 0 0 25 0 1 0 192622020 78692352 18027 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135270595 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16411/statm: 19212 18027 139 317 0 18891 0
Current children cumulated CPU time (s) 882
Current children cumulated vsize (KiB) 76848

[startup+942.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 16414
/proc/meminfo: memFree=1615776/2055920 swapFree=4180708/4192956
[pid=16411] ppid=16409 vsize=78896 CPUtime=941.97
/proc/16411/stat : 16411 (oree) R 16409 16411 15627 0 -1 4194304 19646 0 0 0 94184 13 0 0 25 0 1 0 192622020 80789504 18562 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16411/statm: 19724 18562 139 317 0 19403 0
Current children cumulated CPU time (s) 941.97
Current children cumulated vsize (KiB) 78896

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 16414
/proc/meminfo: memFree=1613024/2055920 swapFree=4180708/4192956
[pid=16411] ppid=16409 vsize=81504 CPUtime=1001.95
/proc/16411/stat : 16411 (oree) R 16409 16411 15627 0 -1 4194304 20321 0 0 0 100182 13 0 0 25 0 1 0 192622020 83460096 19237 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16411/statm: 20376 19237 139 317 0 20055 0
Current children cumulated CPU time (s) 1001.95
Current children cumulated vsize (KiB) 81504

[startup+1062.3 s]
/proc/loadavg: 1.03 0.99 0.99 2/65 16414
/proc/meminfo: memFree=1610144/2055920 swapFree=4180708/4192956
[pid=16411] ppid=16409 vsize=84360 CPUtime=1061.93
/proc/16411/stat : 16411 (oree) R 16409 16411 15627 0 -1 4194304 21041 0 0 0 106179 14 0 0 25 0 1 0 192622020 86384640 19957 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134593645 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16411/statm: 21090 19957 139 317 0 20769 0
Current children cumulated CPU time (s) 1061.93
Current children cumulated vsize (KiB) 84360

[startup+1122.3 s]
/proc/loadavg: 1.01 0.99 0.99 2/65 16414
/proc/meminfo: memFree=1606624/2055920 swapFree=4180708/4192956
[pid=16411] ppid=16409 vsize=88956 CPUtime=1121.92
/proc/16411/stat : 16411 (oree) R 16409 16411 15627 0 -1 4194304 21912 0 0 0 112177 15 0 0 25 0 1 0 192622020 91090944 20828 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712495 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16411/statm: 22239 20828 139 317 0 21918 0
Current children cumulated CPU time (s) 1121.92
Current children cumulated vsize (KiB) 88956

[startup+1182.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 16414
/proc/meminfo: memFree=1603488/2055920 swapFree=4180708/4192956
[pid=16411] ppid=16409 vsize=92184 CPUtime=1181.89
/proc/16411/stat : 16411 (oree) R 16409 16411 15627 0 -1 4194304 22708 0 0 0 118174 15 0 0 25 0 1 0 192622020 94396416 21624 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16411/statm: 23046 21624 139 317 0 22725 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 92184

[startup+1242.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 16414
/proc/meminfo: memFree=1600288/2055920 swapFree=4180708/4192956
[pid=16411] ppid=16409 vsize=95120 CPUtime=1241.87
/proc/16411/stat : 16411 (oree) R 16409 16411 15627 0 -1 4194304 23494 0 0 0 124171 16 0 0 25 0 1 0 192622020 97402880 22410 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134710946 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16411/statm: 23780 22410 139 317 0 23459 0
Current children cumulated CPU time (s) 1241.87
Current children cumulated vsize (KiB) 95120

[startup+1302.3 s]
/proc/loadavg: 1.06 1.00 1.00 2/65 16414
/proc/meminfo: memFree=1594848/2055920 swapFree=4180708/4192956
[pid=16411] ppid=16409 vsize=101192 CPUtime=1301.86
/proc/16411/stat : 16411 (oree) R 16409 16411 15627 0 -1 4194304 24873 0 0 0 130169 17 0 0 25 0 1 0 192622020 103620608 23749 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135278987 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16411/statm: 25298 23749 139 317 0 24977 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 101192

[startup+1362.3 s]
/proc/loadavg: 1.02 1.00 1.00 2/71 16552
/proc/meminfo: memFree=1590128/2055920 swapFree=4180708/4192956
[pid=16411] ppid=16409 vsize=105068 CPUtime=1361.77
/proc/16411/stat : 16411 (oree) R 16409 16411 15627 0 -1 4194304 25812 0 0 0 136159 18 0 0 25 0 1 0 192622020 107589632 24649 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134714454 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16411/statm: 26267 24649 139 317 0 25946 0
Current children cumulated CPU time (s) 1361.77
Current children cumulated vsize (KiB) 105068

[startup+1422.31 s]
/proc/loadavg: 1.04 1.01 1.00 2/65 16612
/proc/meminfo: memFree=1587616/2055920 swapFree=4180708/4192956
[pid=16411] ppid=16409 vsize=108588 CPUtime=1421.71
/proc/16411/stat : 16411 (oree) R 16409 16411 15627 0 -1 4194304 26775 0 0 0 142153 18 0 0 25 0 1 0 192622020 111194112 25572 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135272594 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16411/statm: 27147 25572 139 317 0 26826 0
Current children cumulated CPU time (s) 1421.71
Current children cumulated vsize (KiB) 108588

[startup+1482.3 s]
/proc/loadavg: 1.01 1.01 1.00 2/65 16612
/proc/meminfo: memFree=1584544/2055920 swapFree=4180708/4192956
[pid=16411] ppid=16409 vsize=111548 CPUtime=1481.69
/proc/16411/stat : 16411 (oree) R 16409 16411 15627 0 -1 4194304 27548 0 0 0 148150 19 0 0 25 0 1 0 192622020 114225152 26305 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16411/statm: 27887 26305 139 317 0 27566 0
Current children cumulated CPU time (s) 1481.69
Current children cumulated vsize (KiB) 111548

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16612
/proc/meminfo: memFree=1580704/2055920 swapFree=4180708/4192956
[pid=16411] ppid=16409 vsize=115536 CPUtime=1541.67
/proc/16411/stat : 16411 (oree) R 16409 16411 15627 0 -1 4194304 28556 0 0 0 154146 21 0 0 25 0 1 0 192622020 118308864 27273 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135277199 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16411/statm: 28884 27273 139 317 0 28563 0
Current children cumulated CPU time (s) 1541.67
Current children cumulated vsize (KiB) 115536

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16612
/proc/meminfo: memFree=1578336/2055920 swapFree=4180708/4192956
[pid=16411] ppid=16409 vsize=118300 CPUtime=1601.65
/proc/16411/stat : 16411 (oree) R 16409 16411 15627 0 -1 4194304 29180 0 0 0 160144 21 0 0 25 0 1 0 192622020 121139200 27877 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134711091 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16411/statm: 29575 27877 139 317 0 29254 0
Current children cumulated CPU time (s) 1601.65
Current children cumulated vsize (KiB) 118300

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16612
/proc/meminfo: memFree=1576224/2055920 swapFree=4180708/4192956
[pid=16411] ppid=16409 vsize=120284 CPUtime=1661.63
/proc/16411/stat : 16411 (oree) R 16409 16411 15627 0 -1 4194304 29735 0 0 0 166141 22 0 0 25 0 1 0 192622020 123170816 28412 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135278973 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16411/statm: 30071 28412 139 317 0 29750 0
Current children cumulated CPU time (s) 1661.63
Current children cumulated vsize (KiB) 120284

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16612
/proc/meminfo: memFree=1573920/2055920 swapFree=4180708/4192956
[pid=16411] ppid=16409 vsize=122524 CPUtime=1721.61
/proc/16411/stat : 16411 (oree) R 16409 16411 15627 0 -1 4194304 30336 0 0 0 172138 23 0 0 25 0 1 0 192622020 125464576 28993 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134593537 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16411/statm: 30631 28993 139 317 0 30310 0
Current children cumulated CPU time (s) 1721.61
Current children cumulated vsize (KiB) 122524

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16612
/proc/meminfo: memFree=1571296/2055920 swapFree=4180708/4192956
[pid=16411] ppid=16409 vsize=125112 CPUtime=1781.59
/proc/16411/stat : 16411 (oree) R 16409 16411 15627 0 -1 4194304 30991 0 0 0 178135 24 0 0 25 0 1 0 192622020 128114688 29628 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135270568 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16411/statm: 31278 29628 139 317 0 30957 0
Current children cumulated CPU time (s) 1781.59
Current children cumulated vsize (KiB) 125112



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16612
/proc/meminfo: memFree=1571104/2055920 swapFree=4180708/4192956
[pid=16411] ppid=16409 vsize=125240 CPUtime=1800.09
/proc/16411/stat : 16411 (oree) R 16409 16411 15627 0 -1 4194304 31058 0 0 0 179985 24 0 0 25 0 1 0 192622020 128245760 29675 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16411/statm: 31310 29675 139 317 0 30989 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 125240

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

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

[startup+1800.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16612
/proc/meminfo: memFree=1571104/2055920 swapFree=4180708/4192956
[pid=16411] ppid=16409 vsize=120576 CPUtime=1800.19
/proc/16411/stat : 16411 (oree) R 16409 16411 15627 0 -1 4194304 31074 0 0 0 179995 24 0 0 25 0 1 0 192622020 123469824 28964 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135339169 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16411/statm: 30078 28938 155 317 0 29757 0
Current children cumulated CPU time (s) 1800.19
Current children cumulated vsize (KiB) 120576

Child status: 0
Real time (s): 1800.93
CPU time (s): 1800.23
CPU user time (s): 1799.96
CPU system time (s): 0.26296
CPU usage (%): 99.9607
Max. virtual memory (cumulated for all children) (KiB): 125240

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

runsolver used 1.20882 second user time and 3.77743 second system time

The end

Launcher Data (download as text)

Begin job on node67 on Sat Apr 21 14:38:45 UTC 2007

IDJOB= 373105
IDBENCH= 25019
IDSOLVER= 172
FILE ID= node67/373105-1177166325

PBS_JOBID= 4648925

Free space on /tmp= 66453 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_1.opb
COMMAND LINE= oree /tmp/evaluation/373105-1177166325/instance-373105-1177166325.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node67/watcher-373105-1177166325 -o ROOT/results/node67/solver-373105-1177166325 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/373105-1177166325/instance-373105-1177166325.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  a7af672db5daf9bd21f1768f531add6b

RANDOM SEED= 201629298

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node67.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.263
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.263
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:       1690368 kB
Buffers:         52412 kB
Cached:         259580 kB
SwapCached:       5976 kB
Active:         158092 kB
Inactive:       165972 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1690368 kB
SwapTotal:     4192956 kB
SwapFree:      4180708 kB
Dirty:            3656 kB
Writeback:           0 kB
Mapped:          15596 kB
Slab:            27408 kB
Committed_AS:  1119560 kB
PageTables:       1452 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= 66453 MiB

End job on node67 on Sat Apr 21 15:08:48 UTC 2007