Trace number 357030

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.54 1801.03

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/
MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-roll3000.opb
MD5SUM96d9927730c8b8baae8e5c668115210d
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark273432
Best CPU time to get the best result obtained on this benchmark1800.43
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 273432
Optimality of the best value was proved NO
Number of variables8902
Total number of constraints2864
Number of constraints which are clauses143
Number of constraints which are cardinality constraints (but not clauses)31
Number of constraints which are nor clauses,nor cardinality constraints2690
Minimum length of a constraint2
Maximum length of a constraint2407
Number of terms in the objective function 31
Biggest coefficient in the objective function 262145
Number of bits for the biggest coefficient in the objective function 19
Sum of the numbers in the objective function 524318
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262145
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 526135
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

0.00/0.00	c This is oree version 0.1.2 alpha
0.00/0.00	c (c) roussel@cril.univ-artois.fr
0.00/0.00	c using __gmp_expr<__gmpz_value, __gmpz_value>
0.00/0.00	c parsing...
0.19/0.26	c ...done
0.19/0.26	c #vars=8902 #constraints=3039 hasObjective=yes
0.19/0.29	c res. mode=mod
0.19/0.29	c VSIDS like heuristics
0.19/0.29	c complete search running
0.39/0.50	c restart after 401 decisions
0.49/0.52	c nbDecision=500 #constraints=3075
0.59/0.68	c restart after 801 decisions
0.69/0.79	c nbDecision=1000 #constraints=3124
1.09/1.16	c nbDecision=1500 #constraints=3195
1.19/1.24	c restart after 1601 decisions
1.49/1.51	c nbDecision=2000 #constraints=3271
1.88/1.98	c nbDecision=2500 #constraints=3361
2.38/2.41	c nbDecision=3000 #constraints=3439
2.48/2.60	c restart after 3201 decisions
2.68/2.74	c nbDecision=3500 #constraints=3514
2.99/3.04	c nbDecision=4000 #constraints=3565
3.29/3.34	c nbDecision=4500 #constraints=3621
3.59/3.65	c nbDecision=5000 #constraints=3677
3.89/3.99	c nbDecision=5500 #constraints=3729
4.29/4.37	c nbDecision=6000 #constraints=3781
4.69/4.71	c restart after 6401 decisions
4.69/4.75	c nbDecision=6500 #constraints=3834
5.29/5.32	c nbDecision=7000 #constraints=3928
5.89/5.92	c nbDecision=7500 #constraints=4008
6.49/6.56	c nbDecision=8000 #constraints=4102
6.99/7.04	c nbDecision=8500 #constraints=4181
7.69/7.71	c nbDecision=9000 #constraints=4265
8.09/8.19	c nbDecision=9500 #constraints=4338
8.79/8.84	c nbDecision=10000 #constraints=4422
9.59/9.60	c nbDecision=10500 #constraints=4522
10.19/10.24	c nbDecision=11000 #constraints=4604
10.79/10.83	c nbDecision=11500 #constraints=4680
11.49/11.52	c nbDecision=12000 #constraints=4805
12.38/12.46	c nbDecision=12500 #constraints=4954
13.09/13.16	c restart after 12801 decisions
13.38/13.41	c nbDecision=13000 #constraints=5085
14.38/14.42	c nbDecision=13500 #constraints=5185
15.29/15.30	c nbDecision=14000 #constraints=5270
16.28/16.32	c nbDecision=14500 #constraints=5374
17.08/17.19	c nbDecision=15000 #constraints=5460
18.49/18.57	c nbDecision=15500 #constraints=5582
19.89/19.91	c nbDecision=16000 #constraints=5701
21.58/21.63	c nbDecision=16500 #constraints=5872
23.09/23.12	c nbDecision=17000 #constraints=5989
24.48/24.52	c nbDecision=17500 #constraints=6095
25.38/25.49	c nbDecision=18000 #constraints=6152
26.68/26.71	c nbDecision=18500 #constraints=6226
29.39/29.45	c nbDecision=19000 #constraints=6420
30.69/30.75	c nbDecision=19500 #constraints=6499
32.18/32.29	c nbDecision=20000 #constraints=6591
34.08/34.14	c nbDecision=20500 #constraints=6725
35.68/35.77	c nbDecision=21000 #constraints=6834
36.98/37.08	c nbDecision=21500 #constraints=6916
38.08/38.11	c nbDecision=22000 #constraints=6981
39.78/39.84	c nbDecision=22500 #constraints=7099
40.78/40.82	c nbDecision=23000 #constraints=7145
42.08/42.18	c nbDecision=23500 #constraints=7216
43.38/43.46	c nbDecision=24000 #constraints=7282
45.38/45.46	c nbDecision=24500 #constraints=7398
46.98/47.07	c nbDecision=25000 #constraints=7484
48.48/48.53	c nbDecision=25500 #constraints=7557
48.78/48.81	c restart after 25601 decisions
50.18/50.23	c nbDecision=26000 #constraints=7627
54.08/54.13	c nbDecision=26500 #constraints=7742
56.08/56.19	c nbDecision=27000 #constraints=7797
59.47/59.59	c nbDecision=27500 #constraints=7894
62.27/62.34	c nbDecision=28000 #constraints=7977
65.57/65.64	c nbDecision=28500 #constraints=8077
68.87/68.93	c nbDecision=29000 #constraints=8180
72.17/72.27	c nbDecision=29500 #constraints=8283
74.77/74.83	c nbDecision=30000 #constraints=8351
77.97/78.10	c nbDecision=30500 #constraints=8440
81.38/81.40	c nbDecision=31000 #constraints=8531
84.57/84.66	c nbDecision=31500 #constraints=8618
87.67/87.78	c nbDecision=32000 #constraints=8687
92.76/92.87	c nbDecision=32500 #constraints=8823
97.06/97.10	c nbDecision=33000 #constraints=8935
100.56/100.69	c nbDecision=33500 #constraints=9033
105.76/105.89	c nbDecision=34000 #constraints=9179
111.76/111.86	c nbDecision=34500 #constraints=9323
117.05/117.13	c nbDecision=35000 #constraints=9437
122.06/122.13	c nbDecision=35500 #constraints=9564
126.56/126.64	c nbDecision=36000 #constraints=9690
130.86/130.97	c nbDecision=36500 #constraints=9807
135.45/135.57	c nbDecision=37000 #constraints=9919
139.35/139.49	c nbDecision=37500 #constraints=10015
143.56/143.68	c nbDecision=38000 #constraints=10116
147.05/147.10	c nbDecision=38500 #constraints=10202
152.15/152.27	c nbDecision=39000 #constraints=10318
158.35/158.40	c nbDecision=39500 #constraints=10449
166.84/166.90	c nbDecision=40000 #constraints=10605
171.84/171.99	c nbDecision=40500 #constraints=10708
177.64/177.78	c nbDecision=41000 #constraints=10809
185.44/185.50	c nbDecision=41500 #constraints=10942
197.63/197.76	c nbDecision=42000 #constraints=11161
202.74/202.82	c nbDecision=42500 #constraints=11245
208.24/208.38	c nbDecision=43000 #constraints=11339
214.44/214.52	c nbDecision=43500 #constraints=11451
220.03/220.16	c nbDecision=44000 #constraints=11585
223.93/224.08	c nbDecision=44500 #constraints=11678
228.73/228.81	c nbDecision=45000 #constraints=11775
234.23/234.33	c nbDecision=45500 #constraints=11899
238.02/238.14	c nbDecision=46000 #constraints=11972
245.02/245.16	c nbDecision=46500 #constraints=12112
249.93/250.06	c nbDecision=47000 #constraints=12213
254.33/254.48	c nbDecision=47500 #constraints=12317
259.62/259.80	c nbDecision=48000 #constraints=12446
265.42/265.54	c nbDecision=48500 #constraints=12592
272.22/272.31	c nbDecision=49000 #constraints=12732
276.12/276.23	c nbDecision=49500 #constraints=12818
282.21/282.33	c nbDecision=50000 #constraints=12953
287.31/287.45	c nbDecision=50500 #constraints=13068
294.31/294.46	c nbDecision=51000 #constraints=13214
297.31/297.44	c restart after 51201 decisions
298.71/298.85	c nbDecision=51500 #constraints=13294
301.21/301.33	c nbDecision=52000 #constraints=13362
303.71/303.80	c nbDecision=52500 #constraints=13432
306.11/306.23	c nbDecision=53000 #constraints=13497
308.61/308.70	c nbDecision=53500 #constraints=13555
311.61/311.75	c nbDecision=54000 #constraints=13633
313.81/313.92	c nbDecision=54500 #constraints=13682
316.11/316.29	c nbDecision=55000 #constraints=13741
318.81/318.98	c nbDecision=55500 #constraints=13810
321.61/321.78	c nbDecision=56000 #constraints=13886
324.50/324.66	c nbDecision=56500 #constraints=13962
327.10/327.20	c nbDecision=57000 #constraints=14030
329.20/329.37	c nbDecision=57500 #constraints=14083
331.50/331.60	c nbDecision=58000 #constraints=14136
333.50/333.60	c nbDecision=58500 #constraints=14188
335.80/335.92	c nbDecision=59000 #constraints=14245
338.50/338.61	c nbDecision=59500 #constraints=14319
340.90/341.01	c nbDecision=60000 #constraints=14377
344.69/344.82	c nbDecision=60500 #constraints=14472
347.19/347.39	c nbDecision=61000 #constraints=14534
349.70/349.87	c nbDecision=61500 #constraints=14583
352.70/352.81	c nbDecision=62000 #constraints=14651
355.10/355.27	c nbDecision=62500 #constraints=14701
357.50/357.67	c nbDecision=63000 #constraints=14754
360.20/360.33	c nbDecision=63500 #constraints=14816
363.00/363.13	c nbDecision=64000 #constraints=14878
365.10/365.21	c nbDecision=64500 #constraints=14924
367.59/367.70	c nbDecision=65000 #constraints=14984
370.29/370.45	c nbDecision=65500 #constraints=15053
372.79/372.95	c nbDecision=66000 #constraints=15105
375.49/375.64	c nbDecision=66500 #constraints=15164
377.59/377.78	c nbDecision=67000 #constraints=15204
380.39/380.59	c nbDecision=67500 #constraints=15266
382.48/382.65	c nbDecision=68000 #constraints=15311
385.18/385.34	c nbDecision=68500 #constraints=15371
387.88/388.06	c nbDecision=69000 #constraints=15424
390.58/390.79	c nbDecision=69500 #constraints=15471
392.79/392.94	c nbDecision=70000 #constraints=15520
395.59/395.76	c nbDecision=70500 #constraints=15580
398.48/398.66	c nbDecision=71000 #constraints=15638
400.98/401.11	c nbDecision=71500 #constraints=15685
404.18/404.38	c nbDecision=72000 #constraints=15771
406.89/407.09	c nbDecision=72500 #constraints=15843
409.58/409.75	c nbDecision=73000 #constraints=15901
412.08/412.20	c nbDecision=73500 #constraints=15946
414.58/414.75	c nbDecision=74000 #constraints=16007
417.08/417.28	c nbDecision=74500 #constraints=16066
419.48/419.63	c nbDecision=75000 #constraints=16110
422.37/422.53	c nbDecision=75500 #constraints=16175
424.87/425.06	c nbDecision=76000 #constraints=16233
426.87/427.06	c nbDecision=76500 #constraints=16285
429.27/429.47	c nbDecision=77000 #constraints=16330
431.97/432.12	c nbDecision=77500 #constraints=16372
435.88/436.05	c nbDecision=78000 #constraints=16455
439.58/439.75	c nbDecision=78500 #constraints=16532
443.38/443.50	c nbDecision=79000 #constraints=16614
445.78/445.96	c nbDecision=79500 #constraints=16670
449.78/449.98	c nbDecision=80000 #constraints=16750
453.57/453.71	c nbDecision=80500 #constraints=16837
457.17/457.38	c nbDecision=81000 #constraints=16910
460.77/460.96	c nbDecision=81500 #constraints=16982
463.87/464.05	c nbDecision=82000 #constraints=17050
467.46/467.62	c nbDecision=82500 #constraints=17119
470.57/470.75	c nbDecision=83000 #constraints=17179
474.26/474.40	c nbDecision=83500 #constraints=17250
477.76/477.91	c nbDecision=84000 #constraints=17315
481.86/482.09	c nbDecision=84500 #constraints=17397
486.36/486.57	c nbDecision=85000 #constraints=17485
490.96/491.12	c nbDecision=85500 #constraints=17577
495.56/495.79	c nbDecision=86000 #constraints=17671
500.16/500.39	c nbDecision=86500 #constraints=17766
504.16/504.34	c nbDecision=87000 #constraints=17837
508.16/508.32	c nbDecision=87500 #constraints=17906
512.55/512.71	c nbDecision=88000 #constraints=17992
517.05/517.27	c nbDecision=88500 #constraints=18079
520.65/520.84	c nbDecision=89000 #constraints=18142
524.45/524.68	c nbDecision=89500 #constraints=18211
527.65/527.89	c nbDecision=90000 #constraints=18269
532.45/532.64	c nbDecision=90500 #constraints=18368
536.55/536.77	c nbDecision=91000 #constraints=18452
540.55/540.72	c nbDecision=91500 #constraints=18531
545.55/545.71	c nbDecision=92000 #constraints=18624
549.45/549.67	c nbDecision=92500 #constraints=18698
552.95/553.17	c nbDecision=93000 #constraints=18766
556.24/556.47	c nbDecision=93500 #constraints=18824
559.34/559.57	c nbDecision=94000 #constraints=18880
562.04/562.22	c nbDecision=94500 #constraints=18921
565.25/565.41	c nbDecision=95000 #constraints=18968
569.14/569.35	c nbDecision=95500 #constraints=19041
571.94/572.12	c nbDecision=96000 #constraints=19092
574.64/574.85	c nbDecision=96500 #constraints=19145
577.74/577.90	c nbDecision=97000 #constraints=19196
581.64/581.84	c nbDecision=97500 #constraints=19262
586.14/586.32	c nbDecision=98000 #constraints=19336
589.34/589.52	c nbDecision=98500 #constraints=19411
593.23/593.44	c nbDecision=99000 #constraints=19485
596.63/596.86	c nbDecision=99500 #constraints=19543
600.03/600.28	c nbDecision=100000 #constraints=19589
604.03/604.27	c nbDecision=100500 #constraints=19681
607.83/608.09	c nbDecision=101000 #constraints=19747
611.22/611.45	c nbDecision=101500 #constraints=19804
614.92/615.16	c nbDecision=102000 #constraints=19873
617.12/617.32	c restart after 102401 decisions
618.62/618.81	c nbDecision=102500 #constraints=19916
622.82/623.06	c nbDecision=103000 #constraints=19989
628.12/628.30	c nbDecision=103500 #constraints=20072
631.42/631.67	c nbDecision=104000 #constraints=20135
635.52/635.71	c nbDecision=104500 #constraints=20202
639.22/639.50	c nbDecision=105000 #constraints=20266
643.92/644.10	c nbDecision=105500 #constraints=20353
648.42/648.67	c nbDecision=106000 #constraints=20428
653.71/653.95	c nbDecision=106500 #constraints=20513
659.01/659.23	c nbDecision=107000 #constraints=20604
663.81/664.06	c nbDecision=107500 #constraints=20690
669.21/669.45	c nbDecision=108000 #constraints=20778
674.11/674.30	c nbDecision=108500 #constraints=20855
681.72/681.91	c nbDecision=109000 #constraints=21000
687.71/687.96	c nbDecision=109500 #constraints=21103
693.11/693.38	c nbDecision=110000 #constraints=21175
696.91/697.19	c nbDecision=110500 #constraints=21221
701.00/701.20	c nbDecision=111000 #constraints=21279
705.90/706.13	c nbDecision=111500 #constraints=21362
708.90/709.15	c nbDecision=112000 #constraints=21419
712.80/713.05	c nbDecision=112500 #constraints=21487
716.90/717.10	c nbDecision=113000 #constraints=21551
721.30/721.58	c nbDecision=113500 #constraints=21616
724.29/724.53	c nbDecision=114000 #constraints=21660
729.20/729.49	c nbDecision=114500 #constraints=21733
733.00/733.21	c nbDecision=115000 #constraints=21800
736.70/736.91	c nbDecision=115500 #constraints=21869
739.89/740.18	c nbDecision=116000 #constraints=21936
743.69/743.95	c nbDecision=116500 #constraints=22003
747.79/748.07	c nbDecision=117000 #constraints=22064
752.89/753.12	c nbDecision=117500 #constraints=22140
757.49/757.74	c nbDecision=118000 #constraints=22204
760.59/760.86	c nbDecision=118500 #constraints=22253
763.09/763.38	c nbDecision=119000 #constraints=22301
766.68/766.90	c nbDecision=119500 #constraints=22362
771.18/771.42	c nbDecision=120000 #constraints=22429
775.99/776.20	c nbDecision=120500 #constraints=22501
779.98/780.23	c nbDecision=121000 #constraints=22546
784.18/784.47	c nbDecision=121500 #constraints=22621
788.88/789.13	c nbDecision=122000 #constraints=22686
792.78/793.07	c nbDecision=122500 #constraints=22738
797.08/797.34	c nbDecision=123000 #constraints=22802
801.37/801.62	c nbDecision=123500 #constraints=22875
804.57/804.86	c nbDecision=124000 #constraints=22930
808.37/808.62	c nbDecision=124500 #constraints=22984
812.37/812.67	c nbDecision=125000 #constraints=23044
817.37/817.63	c nbDecision=125500 #constraints=23118
821.17/821.47	c nbDecision=126000 #constraints=23178
825.17/825.43	c nbDecision=126500 #constraints=23252
829.08/829.33	c nbDecision=127000 #constraints=23314
831.97/832.30	c nbDecision=127500 #constraints=23364
835.57/835.83	c nbDecision=128000 #constraints=23416
839.27/839.56	c nbDecision=128500 #constraints=23480
842.86/843.14	c nbDecision=129000 #constraints=23526
846.16/846.43	c nbDecision=129500 #constraints=23569
849.66/849.98	c nbDecision=130000 #constraints=23614
853.16/853.50	c nbDecision=130500 #constraints=23669
857.56/857.83	c nbDecision=131000 #constraints=23738
861.66/861.92	c nbDecision=131500 #constraints=23798
864.96/865.29	c nbDecision=132000 #constraints=23854
868.46/868.77	c nbDecision=132500 #constraints=23911
872.06/872.31	c nbDecision=133000 #constraints=23950
876.75/877.10	c nbDecision=133500 #constraints=24022
881.75/882.06	c nbDecision=134000 #constraints=24093
885.65/885.94	c nbDecision=134500 #constraints=24155
889.45/889.73	c nbDecision=135000 #constraints=24213
893.06/893.39	c nbDecision=135500 #constraints=24267
896.85/897.15	c nbDecision=136000 #constraints=24321
900.35/900.64	c nbDecision=136500 #constraints=24390
903.25/903.50	c nbDecision=137000 #constraints=24446
905.55/905.80	c nbDecision=137500 #constraints=24484
909.25/909.52	c nbDecision=138000 #constraints=24544
912.75/913.08	c nbDecision=138500 #constraints=24594
917.35/917.68	c nbDecision=139000 #constraints=24662
921.94/922.28	c nbDecision=139500 #constraints=24735
925.74/926.05	c nbDecision=140000 #constraints=24799
929.74/930.04	c nbDecision=140500 #constraints=24859
933.24/933.53	c nbDecision=141000 #constraints=24905
936.74/937.08	c nbDecision=141500 #constraints=24958
941.14/941.42	c nbDecision=142000 #constraints=25019
945.53/945.85	c nbDecision=142500 #constraints=25086
949.23/949.52	c nbDecision=143000 #constraints=25144
952.53/952.85	c nbDecision=143500 #constraints=25206
955.53/955.83	c nbDecision=144000 #constraints=25256
959.43/959.73	c nbDecision=144500 #constraints=25321
963.63/963.99	c nbDecision=145000 #constraints=25385
968.23/968.56	c nbDecision=145500 #constraints=25447
972.33/972.66	c nbDecision=146000 #constraints=25500
976.13/976.41	c nbDecision=146500 #constraints=25542
980.63/980.92	c nbDecision=147000 #constraints=25606
983.62/983.98	c nbDecision=147500 #constraints=25649
987.82/988.10	c nbDecision=148000 #constraints=25700
991.93/992.23	c nbDecision=148500 #constraints=25751
995.42/995.77	c nbDecision=149000 #constraints=25805
1000.12/1000.46	c nbDecision=149500 #constraints=25859
1004.42/1004.71	c nbDecision=150000 #constraints=25909
1009.31/1009.62	c nbDecision=150500 #constraints=25969
1013.72/1014.08	c nbDecision=151000 #constraints=26029
1018.02/1018.36	c nbDecision=151500 #constraints=26084
1022.51/1022.88	c nbDecision=152000 #constraints=26148
1026.11/1026.50	c nbDecision=152500 #constraints=26198
1031.01/1031.38	c nbDecision=153000 #constraints=26270
1036.31/1036.63	c nbDecision=153500 #constraints=26336
1040.21/1040.57	c nbDecision=154000 #constraints=26395
1044.11/1044.44	c nbDecision=154500 #constraints=26447
1048.01/1048.36	c nbDecision=155000 #constraints=26504
1051.71/1052.08	c nbDecision=155500 #constraints=26563
1057.10/1057.42	c nbDecision=156000 #constraints=26638
1060.60/1060.96	c nbDecision=156500 #constraints=26684
1064.11/1064.46	c nbDecision=157000 #constraints=26735
1068.61/1068.98	c nbDecision=157500 #constraints=26792
1072.21/1072.57	c nbDecision=158000 #constraints=26850
1076.60/1076.91	c nbDecision=158500 #constraints=26910
1080.80/1081.18	c nbDecision=159000 #constraints=26972
1085.60/1085.96	c nbDecision=159500 #constraints=27034
1090.19/1090.59	c nbDecision=160000 #constraints=27086
1096.30/1096.67	c nbDecision=160500 #constraints=27172
1101.10/1101.41	c nbDecision=161000 #constraints=27228
1106.20/1106.59	c nbDecision=161500 #constraints=27307
1110.09/1110.40	c nbDecision=162000 #constraints=27364
1115.39/1115.74	c nbDecision=162500 #constraints=27435
1119.78/1120.12	c nbDecision=163000 #constraints=27494
1124.58/1124.93	c nbDecision=163500 #constraints=27560
1128.59/1128.93	c nbDecision=164000 #constraints=27614
1133.09/1133.50	c nbDecision=164500 #constraints=27677
1138.28/1138.65	c nbDecision=165000 #constraints=27748
1143.48/1143.80	c nbDecision=165500 #constraints=27814
1148.68/1149.00	c nbDecision=166000 #constraints=27877
1154.37/1154.72	c nbDecision=166500 #constraints=27949
1158.27/1158.65	c nbDecision=167000 #constraints=28012
1161.97/1162.31	c nbDecision=167500 #constraints=28061
1166.97/1167.33	c nbDecision=168000 #constraints=28134
1170.57/1170.98	c nbDecision=168500 #constraints=28181
1175.38/1175.79	c nbDecision=169000 #constraints=28246
1180.38/1180.74	c nbDecision=169500 #constraints=28316
1184.17/1184.58	c nbDecision=170000 #constraints=28374
1187.77/1188.10	c nbDecision=170500 #constraints=28430
1191.67/1192.00	c nbDecision=171000 #constraints=28484
1195.37/1195.78	c nbDecision=171500 #constraints=28529
1200.57/1200.91	c nbDecision=172000 #constraints=28595
1205.27/1205.69	c nbDecision=172500 #constraints=28654
1211.06/1211.47	c nbDecision=173000 #constraints=28728
1217.96/1218.38	c nbDecision=173500 #constraints=28832
1221.46/1221.87	c nbDecision=174000 #constraints=28884
1226.76/1227.14	c nbDecision=174500 #constraints=28952
1232.06/1232.45	c nbDecision=175000 #constraints=29020
1235.56/1235.92	c nbDecision=175500 #constraints=29071
1241.76/1242.14	c nbDecision=176000 #constraints=29136
1247.06/1247.44	c nbDecision=176500 #constraints=29205
1250.86/1251.24	c nbDecision=177000 #constraints=29258
1256.25/1256.69	c nbDecision=177500 #constraints=29324
1261.65/1262.05	c nbDecision=178000 #constraints=29391
1267.05/1267.47	c nbDecision=178500 #constraints=29465
1272.84/1273.22	c nbDecision=179000 #constraints=29540
1277.85/1278.21	c nbDecision=179500 #constraints=29614
1283.94/1284.39	c nbDecision=180000 #constraints=29693
1290.25/1290.65	c nbDecision=180500 #constraints=29772
1296.55/1296.94	c nbDecision=181000 #constraints=29856
1303.05/1303.42	c nbDecision=181500 #constraints=29950
1313.44/1313.89	c nbDecision=182000 #constraints=30091
1319.63/1320.03	c nbDecision=182500 #constraints=30167
1325.93/1326.38	c nbDecision=183000 #constraints=30251
1330.93/1331.37	c nbDecision=183500 #constraints=30319
1336.73/1337.12	c nbDecision=184000 #constraints=30388
1342.53/1342.90	c nbDecision=184500 #constraints=30458
1347.73/1348.18	c nbDecision=185000 #constraints=30528
1351.93/1352.30	c nbDecision=185500 #constraints=30579
1355.42/1355.84	c nbDecision=186000 #constraints=30631
1360.02/1360.45	c nbDecision=186500 #constraints=30688
1363.72/1364.18	c nbDecision=187000 #constraints=30744
1368.12/1368.59	c nbDecision=187500 #constraints=30806
1371.92/1372.35	c nbDecision=188000 #constraints=30857
1378.22/1378.69	c nbDecision=188500 #constraints=30927
1383.72/1384.17	c nbDecision=189000 #constraints=30984
1388.62/1389.01	c nbDecision=189500 #constraints=31046
1392.52/1392.94	c nbDecision=190000 #constraints=31094
1397.41/1397.86	c nbDecision=190500 #constraints=31143
1402.31/1402.78	c nbDecision=191000 #constraints=31203
1408.01/1408.41	c nbDecision=191500 #constraints=31269
1412.61/1413.07	c nbDecision=192000 #constraints=31325
1419.41/1419.82	c nbDecision=192500 #constraints=31401
1424.51/1424.91	c nbDecision=193000 #constraints=31465
1430.31/1430.77	c nbDecision=193500 #constraints=31539
1437.21/1437.64	c nbDecision=194000 #constraints=31619
1444.00/1444.49	c nbDecision=194500 #constraints=31703
1448.70/1449.17	c nbDecision=195000 #constraints=31756
1453.20/1453.65	c nbDecision=195500 #constraints=31806
1458.80/1459.26	c nbDecision=196000 #constraints=31868
1464.10/1464.54	c nbDecision=196500 #constraints=31928
1469.89/1470.35	c nbDecision=197000 #constraints=32008
1474.99/1475.40	c nbDecision=197500 #constraints=32065
1479.19/1479.66	c nbDecision=198000 #constraints=32112
1484.29/1484.74	c nbDecision=198500 #constraints=32167
1488.79/1489.24	c nbDecision=199000 #constraints=32215
1493.39/1493.89	c nbDecision=199500 #constraints=32270
1498.68/1499.10	c nbDecision=200000 #constraints=32337
1505.68/1506.11	c nbDecision=200500 #constraints=32394
1511.68/1512.13	c nbDecision=201000 #constraints=32462
1518.69/1519.10	c nbDecision=201500 #constraints=32534
1524.98/1525.44	c nbDecision=202000 #constraints=32605
1533.08/1533.52	c nbDecision=202500 #constraints=32684
1540.88/1541.32	c nbDecision=203000 #constraints=32758
1547.38/1547.85	c nbDecision=203500 #constraints=32827
1551.37/1551.88	c nbDecision=204000 #constraints=32864
1555.57/1556.01	c nbDecision=204500 #constraints=32910
1557.97/1558.47	c restart after 204801 decisions
1560.38/1560.89	c nbDecision=205000 #constraints=32957
1565.07/1565.56	c nbDecision=205500 #constraints=33012
1568.77/1569.22	c nbDecision=206000 #constraints=33067
1572.67/1573.19	c nbDecision=206500 #constraints=33123
1577.37/1577.87	c nbDecision=207000 #constraints=33173
1581.86/1582.36	c nbDecision=207500 #constraints=33226
1585.56/1586.02	c nbDecision=208000 #constraints=33273
1589.26/1589.78	c nbDecision=208500 #constraints=33313
1593.76/1594.28	c nbDecision=209000 #constraints=33364
1598.26/1598.79	c nbDecision=209500 #constraints=33416
1602.96/1603.40	c nbDecision=210000 #constraints=33475
1607.66/1608.17	c nbDecision=210500 #constraints=33525
1611.75/1612.23	c nbDecision=211000 #constraints=33577
1615.06/1615.54	c nbDecision=211500 #constraints=33624
1620.46/1620.94	c nbDecision=212000 #constraints=33676
1625.56/1626.09	c nbDecision=212500 #constraints=33720
1632.05/1632.50	c nbDecision=213000 #constraints=33790
1637.65/1638.17	c nbDecision=213500 #constraints=33852
1644.65/1645.11	c nbDecision=214000 #constraints=33927
1651.65/1652.13	c nbDecision=214500 #constraints=34005
1657.85/1658.33	c nbDecision=215000 #constraints=34068
1664.44/1664.91	c nbDecision=215500 #constraints=34141
1669.74/1670.26	c nbDecision=216000 #constraints=34199
1674.74/1675.25	c nbDecision=216500 #constraints=34249
1679.83/1680.31	c nbDecision=217000 #constraints=34301
1684.83/1685.31	c nbDecision=217500 #constraints=34356
1691.03/1691.57	c nbDecision=218000 #constraints=34423
1695.63/1696.11	c nbDecision=218500 #constraints=34472
1700.54/1701.01	c nbDecision=219000 #constraints=34521
1706.13/1706.65	c nbDecision=219500 #constraints=34586
1710.63/1711.18	c nbDecision=220000 #constraints=34635
1716.33/1716.81	c nbDecision=220500 #constraints=34694
1722.23/1722.74	c nbDecision=221000 #constraints=34749
1729.12/1729.69	c nbDecision=221500 #constraints=34819
1735.42/1735.94	c nbDecision=222000 #constraints=34885
1741.62/1742.11	c nbDecision=222500 #constraints=34950
1745.92/1746.49	c nbDecision=223000 #constraints=34998
1751.61/1752.13	c nbDecision=223500 #constraints=35061
1755.91/1756.46	c nbDecision=224000 #constraints=35102
1761.62/1762.16	c nbDecision=224500 #constraints=35152
1766.71/1767.26	c nbDecision=225000 #constraints=35198
1774.41/1774.96	c nbDecision=225500 #constraints=35268
1783.11/1783.62	c nbDecision=226000 #constraints=35341
1786.51/1787.07	c nbDecision=226500 #constraints=35381
1791.11/1791.63	c nbDecision=227000 #constraints=35438
1796.91/1797.48	c nbDecision=227500 #constraints=35493
1800.01/1800.50	Received signal 15
1800.41/1800.99	
1800.41/1800.99	s UNKNOWN
1800.41/1800.99	
1800.41/1800.99	c user time= 1800.15 s
1800.41/1800.99	c system time= 0.362944 s
1800.41/1800.99	c wall clock time=1800.99

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/node68/watcher-357030-1176852223 -o ROOT/results/node68/solver-357030-1176852223 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357030-1176852223/instance-357030-1176852223.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 7901
/proc/meminfo: memFree=1767728/2055920 swapFree=4178704/4192956
[pid=7901] ppid=7899 vsize=1468 CPUtime=0
/proc/7901/stat : 7901 (oree) R 7899 7901 7317 0 -1 4194304 179 0 0 0 0 0 0 0 18 0 1 0 161211845 1503232 161 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7901/statm: 367 161 131 317 0 46 0

[startup+0.0939319 s]
/proc/loadavg: 0.91 0.97 0.99 3/64 7901
/proc/meminfo: memFree=1767728/2055920 swapFree=4178704/4192956
[pid=7901] ppid=7899 vsize=3184 CPUtime=0.09
/proc/7901/stat : 7901 (oree) R 7899 7901 7317 0 -1 4194304 621 0 0 0 9 0 0 0 18 0 1 0 161211845 3260416 603 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7901/statm: 796 603 131 317 0 475 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3184

[startup+0.102933 s]
/proc/loadavg: 0.91 0.97 0.99 3/64 7901
/proc/meminfo: memFree=1767728/2055920 swapFree=4178704/4192956
[pid=7901] ppid=7899 vsize=3448 CPUtime=0.09
/proc/7901/stat : 7901 (oree) R 7899 7901 7317 0 -1 4194304 668 0 0 0 9 0 0 0 18 0 1 0 161211845 3530752 650 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7901/statm: 862 650 131 317 0 541 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3448

[startup+0.301951 s]
/proc/loadavg: 0.91 0.97 0.99 3/64 7901
/proc/meminfo: memFree=1767728/2055920 swapFree=4178704/4192956
[pid=7901] ppid=7899 vsize=8644 CPUtime=0.29
/proc/7901/stat : 7901 (oree) R 7899 7901 7317 0 -1 4194304 1945 0 0 0 29 0 0 0 19 0 1 0 161211845 8851456 1927 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7901/statm: 2161 1927 137 317 0 1840 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8644

[startup+0.702987 s]
/proc/loadavg: 0.91 0.97 0.99 3/64 7901
/proc/meminfo: memFree=1767728/2055920 swapFree=4178704/4192956
[pid=7901] ppid=7899 vsize=8812 CPUtime=0.69
/proc/7901/stat : 7901 (oree) R 7899 7901 7317 0 -1 4194304 2016 0 0 0 69 0 0 0 23 0 1 0 161211845 9023488 1998 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711195 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7901/statm: 2203 1998 170 317 0 1882 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8812

[startup+1.50106 s]
/proc/loadavg: 0.91 0.97 0.99 2/65 7902
/proc/meminfo: memFree=1760232/2055920 swapFree=4178704/4192956
[pid=7901] ppid=7899 vsize=9208 CPUtime=1.49
/proc/7901/stat : 7901 (oree) R 7899 7901 7317 0 -1 4194304 2099 0 0 0 149 0 0 0 25 0 1 0 161211845 9428992 2081 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710964 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7901/statm: 2302 2081 170 317 0 1981 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9208

[startup+3.1012 s]
/proc/loadavg: 0.91 0.97 0.99 2/65 7902
/proc/meminfo: memFree=1759528/2055920 swapFree=4178704/4192956
[pid=7901] ppid=7899 vsize=9992 CPUtime=3.09
/proc/7901/stat : 7901 (oree) R 7899 7901 7317 0 -1 4194304 2317 0 0 0 308 1 0 0 25 0 1 0 161211845 10231808 2299 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712538 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7901/statm: 2498 2299 170 317 0 2177 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 9992

[startup+6.30149 s]
/proc/loadavg: 0.92 0.97 0.99 2/65 7902
/proc/meminfo: memFree=1757608/2055920 swapFree=4178704/4192956
[pid=7901] ppid=7899 vsize=11580 CPUtime=6.29
/proc/7901/stat : 7901 (oree) R 7899 7901 7317 0 -1 4194304 2709 0 0 0 628 1 0 0 25 0 1 0 161211845 11857920 2691 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7901/statm: 2895 2691 170 317 0 2574 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 11580

[startup+12.7011 s]
/proc/loadavg: 0.93 0.97 0.99 2/65 7902
/proc/meminfo: memFree=1754792/2055920 swapFree=4178704/4192956
[pid=7901] ppid=7899 vsize=14496 CPUtime=12.68
/proc/7901/stat : 7901 (oree) R 7899 7901 7317 0 -1 4194304 3443 0 0 0 1267 1 0 0 25 0 1 0 161211845 14843904 3425 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7901/statm: 3624 3425 170 317 0 3303 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 14496

[startup+25.5012 s]
/proc/loadavg: 0.94 0.97 0.99 2/65 7902
/proc/meminfo: memFree=1749864/2055920 swapFree=4178704/4192956
[pid=7901] ppid=7899 vsize=19444 CPUtime=25.48
/proc/7901/stat : 7901 (oree) R 7899 7901 7317 0 -1 4194304 4630 0 0 0 2546 2 0 0 25 0 1 0 161211845 19910656 4571 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385343 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7901/statm: 4861 4571 170 317 0 4540 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 19444

[startup+51.1015 s]
/proc/loadavg: 0.96 0.97 0.99 2/65 7902
/proc/meminfo: memFree=1744104/2055920 swapFree=4178704/4192956
[pid=7901] ppid=7899 vsize=25320 CPUtime=51.08
/proc/7901/stat : 7901 (oree) R 7899 7901 7317 0 -1 4194304 6056 0 0 0 5104 4 0 0 25 0 1 0 161211845 25927680 5997 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7901/statm: 6330 5997 170 317 0 6009 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 25320

[startup+102.305 s]
/proc/loadavg: 0.98 0.97 0.99 2/65 7902
/proc/meminfo: memFree=1739368/2055920 swapFree=4178704/4192956
[pid=7901] ppid=7899 vsize=30648 CPUtime=102.26
/proc/7901/stat : 7901 (oree) R 7899 7901 7317 0 -1 4194304 7224 0 0 0 10221 5 0 0 25 0 1 0 161211845 31383552 7165 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7901/statm: 7662 7165 170 317 0 7341 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 30648

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 7902
/proc/meminfo: memFree=1733480/2055920 swapFree=4178704/4192956
[pid=7901] ppid=7899 vsize=36304 CPUtime=162.25
/proc/7901/stat : 7901 (oree) R 7899 7901 7317 0 -1 4194304 8684 0 0 0 16218 7 0 0 25 0 1 0 161211845 37175296 8625 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7901/statm: 9076 8625 170 317 0 8755 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 36304

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 7902
/proc/meminfo: memFree=1728872/2055920 swapFree=4178704/4192956
[pid=7901] ppid=7899 vsize=40964 CPUtime=222.23
/proc/7901/stat : 7901 (oree) R 7899 7901 7317 0 -1 4194304 9882 0 0 0 22215 8 0 0 25 0 1 0 161211845 41947136 9744 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7901/statm: 10241 9744 170 317 0 9920 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 40964

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 7902
/proc/meminfo: memFree=1723816/2055920 swapFree=4178704/4192956
[pid=7901] ppid=7899 vsize=46680 CPUtime=282.21
/proc/7901/stat : 7901 (oree) R 7899 7901 7317 0 -1 4194304 11157 0 0 0 28212 9 0 0 25 0 1 0 161211845 47800320 11019 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7901/statm: 11670 11019 170 317 0 11349 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 46680

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 7902
/proc/meminfo: memFree=1717736/2055920 swapFree=4178704/4192956
[pid=7901] ppid=7899 vsize=53672 CPUtime=342.19
/proc/7901/stat : 7901 (oree) R 7899 7901 7317 0 -1 4194304 12660 0 0 0 34209 10 0 0 25 0 1 0 161211845 54960128 12522 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7901/statm: 13418 12522 170 317 0 13097 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 53672

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 7902
/proc/meminfo: memFree=1712808/2055920 swapFree=4178704/4192956
[pid=7901] ppid=7899 vsize=58260 CPUtime=402.18
/proc/7901/stat : 7901 (oree) R 7899 7901 7317 0 -1 4194304 13902 0 0 0 40206 12 0 0 25 0 1 0 161211845 59658240 13764 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710975 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7901/statm: 14565 13764 170 317 0 14244 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 58260

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 7902
/proc/meminfo: memFree=1707816/2055920 swapFree=4178704/4192956
[pid=7901] ppid=7899 vsize=63548 CPUtime=462.17
/proc/7901/stat : 7901 (oree) R 7899 7901 7317 0 -1 4194304 15138 0 0 0 46204 13 0 0 25 0 1 0 161211845 65073152 15000 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7901/statm: 15887 15000 170 317 0 15566 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 63548

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 7902
/proc/meminfo: memFree=1702824/2055920 swapFree=4178704/4192956
[pid=7901] ppid=7899 vsize=69020 CPUtime=522.15
/proc/7901/stat : 7901 (oree) R 7899 7901 7317 0 -1 4194304 16384 0 0 0 52201 14 0 0 25 0 1 0 161211845 70676480 16246 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7901/statm: 17255 16246 170 317 0 16934 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 69020

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 7902
/proc/meminfo: memFree=1698408/2055920 swapFree=4178704/4192956
[pid=7901] ppid=7899 vsize=73004 CPUtime=582.14
/proc/7901/stat : 7901 (oree) R 7899 7901 7317 0 -1 4194304 17475 0 0 0 58199 15 0 0 25 0 1 0 161211845 74756096 17337 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7901/statm: 18251 17337 170 317 0 17930 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 73004

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 7902
/proc/meminfo: memFree=1694440/2055920 swapFree=4178704/4192956
[pid=7901] ppid=7899 vsize=77104 CPUtime=642.13
/proc/7901/stat : 7901 (oree) R 7899 7901 7317 0 -1 4194304 18585 0 0 0 64197 16 0 0 25 0 1 0 161211845 78954496 18315 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7901/statm: 19276 18315 170 317 0 18955 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 77104


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

[startup+942.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 7902
/proc/meminfo: memFree=1676264/2055920 swapFree=4178704/4192956
[pid=7901] ppid=7899 vsize=97992 CPUtime=942.04
/proc/7901/stat : 7901 (oree) R 7899 7901 7317 0 -1 4194304 24153 0 0 0 94183 21 0 0 25 0 1 0 161211845 100343808 22868 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7901/statm: 24498 22868 170 317 0 24177 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 97992

[startup+1002.3 s]
/proc/loadavg: 1.04 0.99 0.99 2/65 7904
/proc/meminfo: memFree=1673384/2055920 swapFree=4178704/4192956
[pid=7901] ppid=7899 vsize=101004 CPUtime=1002.02
/proc/7901/stat : 7901 (oree) R 7899 7901 7317 0 -1 4194304 24932 0 0 0 100180 22 0 0 25 0 1 0 161211845 103428096 23581 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7901/statm: 25251 23581 170 317 0 24930 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 101004

[startup+1062.3 s]
/proc/loadavg: 1.09 1.02 1.00 2/65 7904
/proc/meminfo: memFree=1670440/2055920 swapFree=4178704/4192956
[pid=7901] ppid=7899 vsize=103624 CPUtime=1062
/proc/7901/stat : 7901 (oree) R 7899 7901 7317 0 -1 4194304 25726 0 0 0 106177 23 0 0 25 0 1 0 161211845 106110976 24309 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7901/statm: 25906 24309 170 317 0 25585 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 103624

[startup+1122.3 s]
/proc/loadavg: 1.07 1.03 1.00 2/65 7904
/proc/meminfo: memFree=1667496/2055920 swapFree=4178704/4192956
[pid=7901] ppid=7899 vsize=106364 CPUtime=1121.98
/proc/7901/stat : 7901 (oree) R 7899 7901 7317 0 -1 4194304 26512 0 0 0 112173 25 0 0 25 0 1 0 161211845 108916736 25029 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7901/statm: 26591 25029 170 317 0 26270 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 106364

[startup+1182.3 s]
/proc/loadavg: 1.02 1.02 1.00 2/65 7904
/proc/meminfo: memFree=1664168/2055920 swapFree=4178704/4192956
[pid=7901] ppid=7899 vsize=110788 CPUtime=1181.97
/proc/7901/stat : 7901 (oree) R 7899 7901 7317 0 -1 4194304 27610 0 0 0 118170 27 0 0 25 0 1 0 161211845 113446912 25863 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7901/statm: 27697 25863 170 317 0 27376 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 110788

[startup+1242.3 s]
/proc/loadavg: 1.01 1.01 1.00 2/65 7904
/proc/meminfo: memFree=1660968/2055920 swapFree=4178704/4192956
[pid=7901] ppid=7899 vsize=113916 CPUtime=1241.96
/proc/7901/stat : 7901 (oree) R 7899 7901 7317 0 -1 4194304 28499 0 0 0 124168 28 0 0 25 0 1 0 161211845 116649984 26653 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602641 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7901/statm: 28479 26653 170 317 0 28158 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 113916

[startup+1302.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 7904
/proc/meminfo: memFree=1657832/2055920 swapFree=4178704/4192956
[pid=7901] ppid=7899 vsize=117688 CPUtime=1301.95
/proc/7901/stat : 7901 (oree) R 7899 7901 7317 0 -1 4194304 29467 0 0 0 130166 29 0 0 25 0 1 0 161211845 120512512 27423 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7901/statm: 29422 27423 170 317 0 29101 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 117688

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7904
/proc/meminfo: memFree=1654888/2055920 swapFree=4178704/4192956
[pid=7901] ppid=7899 vsize=120716 CPUtime=1361.92
/proc/7901/stat : 7901 (oree) R 7899 7901 7317 0 -1 4194304 30283 0 0 0 136162 30 0 0 25 0 1 0 161211845 123613184 28173 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7901/statm: 30179 28173 170 317 0 29858 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 120716

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7904
/proc/meminfo: memFree=1652072/2055920 swapFree=4178704/4192956
[pid=7901] ppid=7899 vsize=123208 CPUtime=1421.91
/proc/7901/stat : 7901 (oree) R 7899 7901 7317 0 -1 4194304 30965 0 0 0 142159 32 0 0 25 0 1 0 161211845 126164992 28855 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7901/statm: 30802 28855 170 317 0 30481 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 123208

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7904
/proc/meminfo: memFree=1649128/2055920 swapFree=4178704/4192956
[pid=7901] ppid=7899 vsize=125828 CPUtime=1481.89
/proc/7901/stat : 7901 (oree) R 7899 7901 7317 0 -1 4194304 31697 0 0 0 148157 32 0 0 25 0 1 0 161211845 128847872 29587 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7901/statm: 31457 29587 170 317 0 31136 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 125828

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7904
/proc/meminfo: memFree=1646696/2055920 swapFree=4178704/4192956
[pid=7901] ppid=7899 vsize=128052 CPUtime=1541.88
/proc/7901/stat : 7901 (oree) R 7899 7901 7317 0 -1 4194304 32335 0 0 0 154155 33 0 0 25 0 1 0 161211845 131125248 30192 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7901/statm: 32013 30192 170 317 0 31692 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 128052

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7904
/proc/meminfo: memFree=1644200/2055920 swapFree=4178704/4192956
[pid=7901] ppid=7899 vsize=130400 CPUtime=1601.86
/proc/7901/stat : 7901 (oree) R 7899 7901 7317 0 -1 4194304 33009 0 0 0 160153 33 0 0 25 0 1 0 161211845 133529600 30833 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7901/statm: 32600 30833 170 317 0 32279 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 130400

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7904
/proc/meminfo: memFree=1641832/2055920 swapFree=4178704/4192956
[pid=7901] ppid=7899 vsize=132636 CPUtime=1661.84
/proc/7901/stat : 7901 (oree) R 7899 7901 7317 0 -1 4194304 33612 0 0 0 166150 34 0 0 25 0 1 0 161211845 135819264 31403 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7901/statm: 33159 31403 170 317 0 32838 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 132636

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7904
/proc/meminfo: memFree=1639784/2055920 swapFree=4178704/4192956
[pid=7901] ppid=7899 vsize=134332 CPUtime=1721.83
/proc/7901/stat : 7901 (oree) R 7899 7901 7317 0 -1 4194304 34132 0 0 0 172148 35 0 0 25 0 1 0 161211845 137555968 31923 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7901/statm: 33583 31923 170 317 0 33262 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 134332

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7904
/proc/meminfo: memFree=1637736/2055920 swapFree=4178704/4192956
[pid=7901] ppid=7899 vsize=136036 CPUtime=1781.82
/proc/7901/stat : 7901 (oree) R 7899 7901 7317 0 -1 4194304 34627 0 0 0 178146 36 0 0 25 0 1 0 161211845 139300864 32418 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7901/statm: 34009 32418 170 317 0 33688 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 136036



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7904
/proc/meminfo: memFree=1637032/2055920 swapFree=4178704/4192956
[pid=7901] ppid=7899 vsize=136720 CPUtime=1800.01
/proc/7901/stat : 7901 (oree) R 7899 7901 7317 0 -1 4194304 34810 0 0 0 179965 36 0 0 25 0 1 0 161211845 140001280 32601 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7901/statm: 34180 32601 170 317 0 33859 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 136720

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

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

[startup+1800.61 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 7905
/proc/meminfo: memFree=1637024/2055920 swapFree=4178704/4192956
[pid=7901] ppid=7899 vsize=136720 CPUtime=1800.12
/proc/7901/stat : 7901 (oree) R 7899 7901 7317 0 -1 4194304 34810 0 0 0 179976 36 0 0 25 0 1 0 161211845 140001280 32601 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7901/statm: 34180 32601 170 317 0 33859 0
Current children cumulated CPU time (s) 1800.12
Current children cumulated vsize (KiB) 136720

[startup+1801 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 7905
/proc/meminfo: memFree=1637024/2055920 swapFree=4178704/4192956
[pid=7901] ppid=7899 vsize=132476 CPUtime=1800.51
/proc/7901/stat : 7901 (oree) R 7899 7901 7317 0 -1 4194304 34827 0 0 0 180015 36 0 0 25 0 1 0 161211845 135655424 31778 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135339169 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7901/statm: 33054 31740 186 317 0 32733 0
Current children cumulated CPU time (s) 1800.51
Current children cumulated vsize (KiB) 132476

Child status: 0
Real time (s): 1801.03
CPU time (s): 1800.54
CPU user time (s): 1800.16
CPU system time (s): 0.382941
CPU usage (%): 99.973
Max. virtual memory (cumulated for all children) (KiB): 136720

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

runsolver used 1.17382 second user time and 3.76643 second system time

The end

Launcher Data (download as text)

Begin job on node68 on Tue Apr 17 23:23:43 UTC 2007

IDJOB= 357030
IDBENCH= 1795
IDSOLVER= 172
FILE ID= node68/357030-1176852223

PBS_JOBID= 4590195

Free space on /tmp= 66328 MiB

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

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  96d9927730c8b8baae8e5c668115210d

RANDOM SEED= 381094670

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node68.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.216
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.216
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:       1768136 kB
Buffers:         21188 kB
Cached:         219600 kB
SwapCached:       8500 kB
Active:         100592 kB
Inactive:       155268 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1768136 kB
SwapTotal:     4192956 kB
SwapFree:      4178704 kB
Dirty:            2188 kB
Writeback:           0 kB
Mapped:          15340 kB
Slab:            18048 kB
Committed_AS:  2655008 kB
PageTables:       1380 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= 66328 MiB

End job on node68 on Tue Apr 17 23:53:46 UTC 2007