Trace number 357061

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.17 1800.76

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-mzzv42z.opb
MD5SUM8886b8ab7bdc8ec03150a7b794b8a992
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-10270
Best CPU time to get the best result obtained on this benchmark1022.91
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -10270
Optimality of the best value was proved YES
Number of variables12596
Total number of constraints10687
Number of constraints which are clauses4
Number of constraints which are cardinality constraints (but not clauses)5680
Number of constraints which are nor clauses,nor cardinality constraints5003
Minimum length of a constraint2
Maximum length of a constraint80
Number of terms in the objective function 714
Biggest coefficient in the objective function 559
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 66891
Number of bits of the sum of numbers in the objective function 17
Biggest number in a constraint 1117
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 66891
Number of bits of the biggest sum of numbers17
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.39/0.43	c ...done
0.39/0.43	c #vars=12596 #constraints=15190 hasObjective=yes
0.39/0.49	c res. mode=mod
0.39/0.49	c VSIDS like heuristics
0.39/0.49	c complete search running
1.09/1.19	c restart after 401 decisions
1.29/1.30	c nbDecision=500 #constraints=15298
1.99/2.03	c restart after 801 decisions
2.39/2.46	c nbDecision=1000 #constraints=15442
3.09/3.19	c nbDecision=1500 #constraints=15518
3.29/3.33	c restart after 1601 decisions
3.89/3.98	c nbDecision=2000 #constraints=15607
4.69/4.73	c nbDecision=2500 #constraints=15686
5.59/5.65	c nbDecision=3000 #constraints=15789
5.89/5.91	c restart after 3201 decisions
6.39/6.48	c nbDecision=3500 #constraints=15869
7.39/7.41	c nbDecision=4000 #constraints=15969
8.09/8.11	c nbDecision=4500 #constraints=16025
9.19/9.29	c nbDecision=5000 #constraints=16158
10.09/10.13	c nbDecision=5500 #constraints=16245
10.89/10.95	c nbDecision=6000 #constraints=16323
11.49/11.58	c restart after 6401 decisions
11.69/11.75	c nbDecision=6500 #constraints=16383
12.69/12.78	c nbDecision=7000 #constraints=16488
13.38/13.45	c nbDecision=7500 #constraints=16558
14.29/14.34	c nbDecision=8000 #constraints=16643
15.08/15.11	c nbDecision=8500 #constraints=16706
15.68/15.72	c nbDecision=9000 #constraints=16754
16.59/16.66	c nbDecision=9500 #constraints=16844
17.19/17.29	c nbDecision=10000 #constraints=16896
17.89/17.96	c nbDecision=10500 #constraints=16951
18.69/18.73	c nbDecision=11000 #constraints=17002
19.99/20.00	c nbDecision=11500 #constraints=17102
20.79/20.85	c nbDecision=12000 #constraints=17170
21.69/21.75	c nbDecision=12500 #constraints=17234
22.39/22.43	c restart after 12801 decisions
23.09/23.16	c nbDecision=13000 #constraints=17344
24.09/24.20	c nbDecision=13500 #constraints=17421
25.09/25.18	c nbDecision=14000 #constraints=17489
26.29/26.33	c nbDecision=14500 #constraints=17569
27.09/27.16	c nbDecision=15000 #constraints=17622
27.99/28.02	c nbDecision=15500 #constraints=17673
29.08/29.11	c nbDecision=16000 #constraints=17767
29.88/29.97	c nbDecision=16500 #constraints=17826
30.88/30.99	c nbDecision=17000 #constraints=17884
31.98/32.03	c nbDecision=17500 #constraints=17947
33.38/33.45	c nbDecision=18000 #constraints=18056
34.28/34.39	c nbDecision=18500 #constraints=18125
35.18/35.28	c nbDecision=19000 #constraints=18172
36.78/36.80	c nbDecision=19500 #constraints=18281
37.78/37.83	c nbDecision=20000 #constraints=18362
39.68/39.79	c nbDecision=20500 #constraints=18468
41.48/41.52	c nbDecision=21000 #constraints=18573
42.68/42.77	c nbDecision=21500 #constraints=18651
44.48/44.53	c nbDecision=22000 #constraints=18748
45.58/45.60	c nbDecision=22500 #constraints=18807
46.78/46.85	c nbDecision=23000 #constraints=18873
47.78/47.84	c nbDecision=23500 #constraints=18926
49.18/49.23	c nbDecision=24000 #constraints=19026
50.38/50.45	c nbDecision=24500 #constraints=19102
51.18/51.25	c nbDecision=25000 #constraints=19154
53.27/53.39	c nbDecision=25500 #constraints=19252
53.67/53.75	c restart after 25601 decisions
54.98/55.07	c nbDecision=26000 #constraints=19335
55.98/56.08	c nbDecision=26500 #constraints=19388
56.77/56.86	c nbDecision=27000 #constraints=19434
57.67/57.71	c nbDecision=27500 #constraints=19481
58.77/58.86	c nbDecision=28000 #constraints=19544
59.67/59.72	c nbDecision=28500 #constraints=19586
60.97/61.00	c nbDecision=29000 #constraints=19649
62.58/62.69	c nbDecision=29500 #constraints=19756
63.68/63.78	c nbDecision=30000 #constraints=19822
64.68/64.71	c nbDecision=30500 #constraints=19866
65.48/65.54	c nbDecision=31000 #constraints=19904
67.48/67.50	c nbDecision=31500 #constraints=19964
68.78/68.85	c nbDecision=32000 #constraints=20051
69.58/69.63	c nbDecision=32500 #constraints=20090
70.88/70.91	c nbDecision=33000 #constraints=20136
72.78/72.80	c nbDecision=33500 #constraints=20228
73.68/73.73	c nbDecision=34000 #constraints=20267
75.38/75.45	c nbDecision=34500 #constraints=20362
76.67/76.79	c nbDecision=35000 #constraints=20419
78.67/78.73	c nbDecision=35500 #constraints=20520
79.87/79.98	c nbDecision=36000 #constraints=20573
81.97/82.02	c nbDecision=36500 #constraints=20669
83.07/83.16	c nbDecision=37000 #constraints=20720
84.17/84.21	c nbDecision=37500 #constraints=20765
85.57/85.67	c nbDecision=38000 #constraints=20825
86.67/86.73	c nbDecision=38500 #constraints=20864
88.67/88.78	c nbDecision=39000 #constraints=20972
90.07/90.16	c nbDecision=39500 #constraints=21038
91.57/91.64	c nbDecision=40000 #constraints=21146
92.86/92.95	c nbDecision=40500 #constraints=21250
94.47/94.50	c nbDecision=41000 #constraints=21364
95.26/95.37	c nbDecision=41500 #constraints=21432
97.46/97.53	c nbDecision=42000 #constraints=21557
98.86/98.95	c nbDecision=42500 #constraints=21646
100.36/100.47	c nbDecision=43000 #constraints=21732
101.76/101.83	c nbDecision=43500 #constraints=21812
102.66/102.78	c nbDecision=44000 #constraints=21866
104.86/105.00	c nbDecision=44500 #constraints=21965
106.17/106.26	c nbDecision=45000 #constraints=22035
109.27/109.36	c nbDecision=45500 #constraints=22160
111.27/111.32	c nbDecision=46000 #constraints=22259
112.67/112.78	c nbDecision=46500 #constraints=22334
115.37/115.42	c nbDecision=47000 #constraints=22450
117.26/117.34	c nbDecision=47500 #constraints=22550
118.77/118.81	c nbDecision=48000 #constraints=22625
120.46/120.60	c nbDecision=48500 #constraints=22740
122.06/122.11	c nbDecision=49000 #constraints=22820
123.06/123.18	c nbDecision=49500 #constraints=22883
123.96/124.06	c nbDecision=50000 #constraints=22939
127.76/127.84	c nbDecision=50500 #constraints=23042
130.06/130.16	c nbDecision=51000 #constraints=23122
132.66/132.76	c restart after 51201 decisions
135.56/135.68	c nbDecision=51500 #constraints=23302
138.75/138.88	c nbDecision=52000 #constraints=23428
141.35/141.42	c nbDecision=52500 #constraints=23546
143.75/143.81	c nbDecision=53000 #constraints=23664
146.16/146.21	c nbDecision=53500 #constraints=23783
148.05/148.14	c nbDecision=54000 #constraints=23906
149.35/149.47	c nbDecision=54500 #constraints=23983
150.75/150.86	c nbDecision=55000 #constraints=24099
153.35/153.40	c nbDecision=55500 #constraints=24202
155.35/155.41	c nbDecision=56000 #constraints=24281
158.55/158.64	c nbDecision=56500 #constraints=24400
161.24/161.38	c nbDecision=57000 #constraints=24518
162.54/162.63	c nbDecision=57500 #constraints=24580
163.64/163.70	c nbDecision=58000 #constraints=24651
167.05/167.10	c nbDecision=58500 #constraints=24760
169.94/170.06	c nbDecision=59000 #constraints=24833
174.04/174.10	c nbDecision=59500 #constraints=24943
177.35/177.46	c nbDecision=60000 #constraints=25064
179.75/179.85	c nbDecision=60500 #constraints=25142
181.25/181.33	c nbDecision=61000 #constraints=25198
184.75/184.81	c nbDecision=61500 #constraints=25309
188.74/188.90	c nbDecision=62000 #constraints=25416
192.24/192.35	c nbDecision=62500 #constraints=25507
195.54/195.65	c nbDecision=63000 #constraints=25582
197.74/197.84	c nbDecision=63500 #constraints=25649
200.24/200.38	c nbDecision=64000 #constraints=25754
202.74/202.82	c nbDecision=64500 #constraints=25829
204.54/204.62	c nbDecision=65000 #constraints=25876
206.44/206.57	c nbDecision=65500 #constraints=25924
209.14/209.27	c nbDecision=66000 #constraints=25994
214.94/215.06	c nbDecision=66500 #constraints=26138
219.23/219.37	c nbDecision=67000 #constraints=26223
222.43/222.58	c nbDecision=67500 #constraints=26311
224.63/224.75	c nbDecision=68000 #constraints=26369
231.43/231.57	c nbDecision=68500 #constraints=26497
234.03/234.14	c nbDecision=69000 #constraints=26566
239.82/239.94	c nbDecision=69500 #constraints=26691
243.83/243.98	c nbDecision=70000 #constraints=26781
246.03/246.13	c nbDecision=70500 #constraints=26836
250.83/250.91	c nbDecision=71000 #constraints=26994
253.83/253.98	c nbDecision=71500 #constraints=27119
256.53/256.69	c nbDecision=72000 #constraints=27224
258.23/258.30	c nbDecision=72500 #constraints=27288
262.43/262.50	c nbDecision=73000 #constraints=27422
265.03/265.13	c nbDecision=73500 #constraints=27527
267.32/267.42	c nbDecision=74000 #constraints=27599
269.62/269.75	c nbDecision=74500 #constraints=27684
274.12/274.22	c nbDecision=75000 #constraints=27777
281.92/282.10	c nbDecision=75500 #constraints=27899
285.21/285.36	c nbDecision=76000 #constraints=27981
289.01/289.16	c nbDecision=76500 #constraints=28091
295.61/295.71	c nbDecision=77000 #constraints=28176
302.31/302.41	c nbDecision=77500 #constraints=28283
309.11/309.27	c nbDecision=78000 #constraints=28414
311.81/311.99	c nbDecision=78500 #constraints=28512
313.80/313.95	c nbDecision=79000 #constraints=28579
326.70/326.88	c nbDecision=79500 #constraints=28696
333.81/333.94	c nbDecision=80000 #constraints=28827
337.31/337.44	c nbDecision=80500 #constraints=28928
343.90/344.03	c nbDecision=81000 #constraints=29079
347.80/347.99	c nbDecision=81500 #constraints=29172
353.30/353.49	c nbDecision=82000 #constraints=29282
357.40/357.57	c nbDecision=82500 #constraints=29390
360.50/360.69	c nbDecision=83000 #constraints=29508
364.00/364.19	c nbDecision=83500 #constraints=29627
371.40/371.55	c nbDecision=84000 #constraints=29719
376.59/376.75	c nbDecision=84500 #constraints=29829
382.39/382.56	c nbDecision=85000 #constraints=29936
391.49/391.64	c nbDecision=85500 #constraints=30025
396.29/396.45	c nbDecision=86000 #constraints=30135
400.79/400.95	c nbDecision=86500 #constraints=30243
403.49/403.64	c nbDecision=87000 #constraints=30314
409.58/409.79	c nbDecision=87500 #constraints=30430
417.08/417.21	c nbDecision=88000 #constraints=30519
424.78/424.99	c nbDecision=88500 #constraints=30628
430.08/430.27	c nbDecision=89000 #constraints=30699
435.57/435.77	c nbDecision=89500 #constraints=30818
441.57/441.74	c nbDecision=90000 #constraints=30904
449.17/449.31	c nbDecision=90500 #constraints=31050
455.97/456.10	c nbDecision=91000 #constraints=31191
463.67/463.84	c nbDecision=91500 #constraints=31283
468.48/468.64	c nbDecision=92000 #constraints=31392
473.57/473.73	c nbDecision=92500 #constraints=31510
478.27/478.48	c nbDecision=93000 #constraints=31628
483.27/483.44	c nbDecision=93500 #constraints=31751
486.57/486.71	c nbDecision=94000 #constraints=31837
489.66/489.86	c nbDecision=94500 #constraints=31908
495.46/495.69	c nbDecision=95000 #constraints=31975
503.36/503.55	c nbDecision=95500 #constraints=32082
506.46/506.66	c nbDecision=96000 #constraints=32149
512.56/512.74	c nbDecision=96500 #constraints=32261
521.85/522.09	c nbDecision=97000 #constraints=32384
528.25/528.45	c nbDecision=97500 #constraints=32462
537.65/537.87	c nbDecision=98000 #constraints=32569
543.05/543.20	c nbDecision=98500 #constraints=32678
546.25/546.48	c nbDecision=99000 #constraints=32751
557.04/557.25	c nbDecision=99500 #constraints=32866
563.04/563.24	c nbDecision=100000 #constraints=32967
567.94/568.13	c nbDecision=100500 #constraints=33058
584.84/585.06	c nbDecision=101000 #constraints=33164
599.94/600.11	c nbDecision=101500 #constraints=33274
604.64/604.89	c nbDecision=102000 #constraints=33361
609.24/609.47	c restart after 102401 decisions
611.14/611.31	c nbDecision=102500 #constraints=33478
616.33/616.54	c nbDecision=103000 #constraints=33621
622.83/623.06	c nbDecision=103500 #constraints=33730
624.83/625.09	c nbDecision=104000 #constraints=33794
628.33/628.56	c nbDecision=104500 #constraints=33882
630.53/630.78	c nbDecision=105000 #constraints=33941
632.13/632.33	c nbDecision=105500 #constraints=33986
636.52/636.80	c nbDecision=106000 #constraints=34098
639.32/639.54	c nbDecision=106500 #constraints=34149
642.43/642.62	c nbDecision=107000 #constraints=34242
648.03/648.21	c nbDecision=107500 #constraints=34308
652.33/652.59	c nbDecision=108000 #constraints=34380
655.52/655.73	c nbDecision=108500 #constraints=34436
658.52/658.78	c nbDecision=109000 #constraints=34474
661.52/661.75	c nbDecision=109500 #constraints=34530
665.12/665.37	c nbDecision=110000 #constraints=34649
669.22/669.48	c nbDecision=110500 #constraints=34768
682.51/682.78	c nbDecision=111000 #constraints=34886
690.41/690.60	c nbDecision=111500 #constraints=34951
700.91/701.16	c nbDecision=112000 #constraints=35064
710.60/710.89	c nbDecision=112500 #constraints=35180
721.60/721.87	c nbDecision=113000 #constraints=35292
730.80/731.01	c nbDecision=113500 #constraints=35398
735.81/736.08	c nbDecision=114000 #constraints=35468
743.31/743.58	c nbDecision=114500 #constraints=35558
748.80/749.02	c nbDecision=115000 #constraints=35629
755.70/755.97	c nbDecision=115500 #constraints=35735
765.79/766.05	c nbDecision=116000 #constraints=35840
771.39/771.69	c nbDecision=116500 #constraints=35904
775.49/775.71	c nbDecision=117000 #constraints=35962
783.49/783.79	c nbDecision=117500 #constraints=36074
788.58/788.80	c nbDecision=118000 #constraints=36178
792.79/793.04	c nbDecision=118500 #constraints=36250
803.58/803.87	c nbDecision=119000 #constraints=36365
813.08/813.38	c nbDecision=119500 #constraints=36477
820.87/821.17	c nbDecision=120000 #constraints=36594
830.37/830.65	c nbDecision=120500 #constraints=36704
836.97/837.28	c nbDecision=121000 #constraints=36781
844.27/844.58	c nbDecision=121500 #constraints=36895
850.57/850.84	c nbDecision=122000 #constraints=37012
856.67/856.95	c nbDecision=122500 #constraints=37135
860.67/860.92	c nbDecision=123000 #constraints=37214
862.87/863.16	c nbDecision=123500 #constraints=37268
873.57/873.81	c nbDecision=124000 #constraints=37392
879.06/879.31	c nbDecision=124500 #constraints=37468
889.36/889.61	c nbDecision=125000 #constraints=37581
898.96/899.23	c nbDecision=125500 #constraints=37701
904.45/904.72	c nbDecision=126000 #constraints=37815
912.75/913.09	c nbDecision=126500 #constraints=37954
919.45/919.79	c nbDecision=127000 #constraints=38083
923.54/923.90	c nbDecision=127500 #constraints=38197
926.34/926.66	c nbDecision=128000 #constraints=38271
934.94/935.21	c nbDecision=128500 #constraints=38420
938.34/938.64	c nbDecision=129000 #constraints=38502
940.85/941.11	c nbDecision=129500 #constraints=38561
949.34/949.65	c nbDecision=130000 #constraints=38688
954.64/954.90	c nbDecision=130500 #constraints=38791
962.44/962.76	c nbDecision=131000 #constraints=38908
965.34/965.67	c nbDecision=131500 #constraints=38973
967.74/968.05	c nbDecision=132000 #constraints=39027
991.63/991.93	c nbDecision=132500 #constraints=39140
1004.73/1005.07	c nbDecision=133000 #constraints=39258
1011.03/1011.31	c nbDecision=133500 #constraints=39325
1025.02/1025.35	c nbDecision=134000 #constraints=39435
1029.32/1029.68	c nbDecision=134500 #constraints=39500
1042.01/1042.33	c nbDecision=135000 #constraints=39621
1059.56/1059.99	c nbDecision=135500 #constraints=39771
1066.04/1066.48	c nbDecision=136000 #constraints=39849
1078.11/1078.58	c nbDecision=136500 #constraints=39988
1085.50/1085.95	c nbDecision=137000 #constraints=40108
1088.20/1088.69	c nbDecision=137500 #constraints=40175
1096.20/1096.63	c nbDecision=138000 #constraints=40282
1103.39/1103.89	c nbDecision=138500 #constraints=40387
1111.09/1111.55	c nbDecision=139000 #constraints=40491
1122.59/1123.08	c nbDecision=139500 #constraints=40631
1129.58/1130.01	c nbDecision=140000 #constraints=40718
1134.69/1135.19	c nbDecision=140500 #constraints=40807
1151.18/1151.63	c nbDecision=141000 #constraints=40966
1161.27/1161.78	c nbDecision=141500 #constraints=41043
1174.87/1175.34	c nbDecision=142000 #constraints=41200
1183.67/1184.19	c nbDecision=142500 #constraints=41306
1190.37/1190.88	c nbDecision=143000 #constraints=41389
1196.96/1197.41	c nbDecision=143500 #constraints=41505
1209.47/1209.95	c nbDecision=144000 #constraints=41644
1223.86/1224.37	c nbDecision=144500 #constraints=41856
1228.26/1228.78	c nbDecision=145000 #constraints=41947
1237.05/1237.58	c nbDecision=145500 #constraints=42081
1244.45/1244.98	c nbDecision=146000 #constraints=42195
1258.54/1259.05	c nbDecision=146500 #constraints=42327
1266.54/1267.09	c nbDecision=147000 #constraints=42411
1277.34/1277.87	c nbDecision=147500 #constraints=42529
1284.83/1285.36	c nbDecision=148000 #constraints=42617
1287.83/1288.36	c nbDecision=148500 #constraints=42700
1298.84/1299.31	c nbDecision=149000 #constraints=42814
1309.44/1309.90	c nbDecision=149500 #constraints=42952
1320.33/1320.86	c nbDecision=150000 #constraints=43083
1330.53/1331.05	c nbDecision=150500 #constraints=43189
1336.23/1336.74	c nbDecision=151000 #constraints=43268
1342.63/1343.12	c nbDecision=151500 #constraints=43380
1349.62/1350.12	c nbDecision=152000 #constraints=43494
1365.32/1365.83	c nbDecision=152500 #constraints=43624
1375.52/1376.04	c nbDecision=153000 #constraints=43707
1398.61/1399.17	c nbDecision=153500 #constraints=43848
1413.80/1414.36	c nbDecision=154000 #constraints=43960
1431.10/1431.68	c nbDecision=154500 #constraints=44066
1439.60/1440.10	c nbDecision=155000 #constraints=44159
1448.49/1449.00	c nbDecision=155500 #constraints=44270
1471.50/1472.05	c nbDecision=156000 #constraints=44423
1481.69/1482.27	c nbDecision=156500 #constraints=44504
1492.99/1493.58	c nbDecision=157000 #constraints=44604
1500.89/1501.47	c nbDecision=157500 #constraints=44713
1505.39/1505.97	c nbDecision=158000 #constraints=44822
1513.98/1514.58	c nbDecision=158500 #constraints=44947
1518.18/1518.75	c nbDecision=159000 #constraints=45010
1528.97/1529.53	c nbDecision=159500 #constraints=45160
1536.17/1536.79	c nbDecision=160000 #constraints=45259
1543.17/1543.73	c nbDecision=160500 #constraints=45345
1548.88/1549.48	c nbDecision=161000 #constraints=45417
1555.88/1556.44	c nbDecision=161500 #constraints=45512
1580.57/1581.10	c nbDecision=162000 #constraints=45636
1592.26/1592.81	c nbDecision=162500 #constraints=45715
1609.06/1609.67	c nbDecision=163000 #constraints=45842
1617.76/1618.31	c nbDecision=163500 #constraints=45919
1630.35/1630.91	c nbDecision=164000 #constraints=46045
1643.44/1644.01	c nbDecision=164500 #constraints=46209
1653.54/1654.19	c nbDecision=165000 #constraints=46351
1659.24/1659.88	c nbDecision=165500 #constraints=46440
1664.34/1664.96	c nbDecision=166000 #constraints=46513
1674.74/1675.33	c nbDecision=166500 #constraints=46608
1690.54/1691.20	c nbDecision=167000 #constraints=46755
1699.63/1700.25	c nbDecision=167500 #constraints=46865
1704.83/1705.43	c nbDecision=168000 #constraints=46933
1718.33/1718.91	c nbDecision=168500 #constraints=47097
1732.32/1732.96	c nbDecision=169000 #constraints=47223
1749.62/1750.21	c nbDecision=169500 #constraints=47329
1758.71/1759.37	c nbDecision=170000 #constraints=47446
1775.91/1776.53	c nbDecision=170500 #constraints=47570
1800.01/1800.60	Received signal 15
1800.11/1800.73	
1800.11/1800.73	s UNKNOWN
1800.11/1800.73	
1800.11/1800.73	c user time= 1799.96 s
1800.11/1800.73	c system time= 0.187971 s
1800.11/1800.73	c wall clock time=1800.74

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/node63/watcher-357061-1176853416 -o ROOT/results/node63/solver-357061-1176853416 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357061-1176853416/instance-357061-1176853416.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.92 0.98 0.96 3/64 22266
/proc/meminfo: memFree=1661124/2055920 swapFree=4168472/4192956
[pid=22266] ppid=22264 vsize=1468 CPUtime=0
/proc/22266/stat : 22266 (oree) R 22264 22266 21923 0 -1 4194304 179 0 0 0 0 0 0 0 18 0 1 0 161331526 1503232 161 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22266/statm: 367 161 131 317 0 46 0

[startup+0.0690719 s]
/proc/loadavg: 0.92 0.98 0.96 3/64 22266
/proc/meminfo: memFree=1661124/2055920 swapFree=4168472/4192956
[pid=22266] ppid=22264 vsize=3052 CPUtime=0.06
/proc/22266/stat : 22266 (oree) R 22264 22266 21923 0 -1 4194304 561 0 0 0 6 0 0 0 18 0 1 0 161331526 3125248 543 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22266/statm: 763 543 131 317 0 442 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 3052

[startup+0.102074 s]
/proc/loadavg: 0.92 0.98 0.96 3/64 22266
/proc/meminfo: memFree=1661124/2055920 swapFree=4168472/4192956
[pid=22266] ppid=22264 vsize=3844 CPUtime=0.09
/proc/22266/stat : 22266 (oree) R 22264 22266 21923 0 -1 4194304 781 0 0 0 9 0 0 0 18 0 1 0 161331526 3936256 763 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22266/statm: 961 763 131 317 0 640 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3844

[startup+0.301094 s]
/proc/loadavg: 0.92 0.98 0.96 3/64 22266
/proc/meminfo: memFree=1661124/2055920 swapFree=4168472/4192956
[pid=22266] ppid=22264 vsize=7672 CPUtime=0.29
/proc/22266/stat : 22266 (oree) R 22264 22266 21923 0 -1 4194304 1720 0 0 0 29 0 0 0 19 0 1 0 161331526 7856128 1702 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22266/statm: 1918 1702 131 317 0 1597 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7672

[startup+0.702137 s]
/proc/loadavg: 0.92 0.98 0.96 3/64 22266
/proc/meminfo: memFree=1661124/2055920 swapFree=4168472/4192956
[pid=22266] ppid=22264 vsize=14692 CPUtime=0.69
/proc/22266/stat : 22266 (oree) R 22264 22266 21923 0 -1 4194304 3496 0 0 0 68 1 0 0 23 0 1 0 161331526 15044608 3374 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22266/statm: 3673 3374 139 317 0 3352 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14692

[startup+1.50122 s]
/proc/loadavg: 0.92 0.98 0.96 2/65 22267
/proc/meminfo: memFree=1647932/2055920 swapFree=4168472/4192956
[pid=22266] ppid=22264 vsize=14692 CPUtime=1.49
/proc/22266/stat : 22266 (oree) R 22264 22266 21923 0 -1 4194304 3496 0 0 0 148 1 0 0 25 0 1 0 161331526 15044608 3374 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712556 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22266/statm: 3673 3374 139 317 0 3352 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14692

[startup+3.10139 s]
/proc/loadavg: 0.92 0.98 0.96 2/65 22267
/proc/meminfo: memFree=1647804/2055920 swapFree=4168472/4192956
[pid=22266] ppid=22264 vsize=14692 CPUtime=3.09
/proc/22266/stat : 22266 (oree) R 22264 22266 21923 0 -1 4194304 3498 0 0 0 308 1 0 0 25 0 1 0 161331526 15044608 3376 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22266/statm: 3673 3376 139 317 0 3352 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14692

[startup+6.30173 s]
/proc/loadavg: 0.93 0.98 0.96 3/65 22267
/proc/meminfo: memFree=1647676/2055920 swapFree=4168472/4192956
[pid=22266] ppid=22264 vsize=14824 CPUtime=6.29
/proc/22266/stat : 22266 (oree) R 22264 22266 21923 0 -1 4194304 3519 0 0 0 628 1 0 0 25 0 1 0 161331526 15179776 3397 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22266/statm: 3706 3397 139 317 0 3385 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14824

[startup+12.7014 s]
/proc/loadavg: 0.93 0.98 0.96 2/65 22267
/proc/meminfo: memFree=1647228/2055920 swapFree=4168472/4192956
[pid=22266] ppid=22264 vsize=15348 CPUtime=12.69
/proc/22266/stat : 22266 (oree) R 22264 22266 21923 0 -1 4194304 3666 0 0 0 1268 1 0 0 25 0 1 0 161331526 15716352 3544 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22266/statm: 3837 3544 139 317 0 3516 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 15348

[startup+25.5018 s]
/proc/loadavg: 0.95 0.98 0.96 2/65 22267
/proc/meminfo: memFree=1646332/2055920 swapFree=4168472/4192956
[pid=22266] ppid=22264 vsize=16392 CPUtime=25.49
/proc/22266/stat : 22266 (oree) R 22264 22266 21923 0 -1 4194304 3911 0 0 0 2547 2 0 0 25 0 1 0 161331526 16785408 3789 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22266/statm: 4098 3789 139 317 0 3777 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 16392

[startup+51.1015 s]
/proc/loadavg: 0.96 0.98 0.96 2/65 22267
/proc/meminfo: memFree=1644668/2055920 swapFree=4168472/4192956
[pid=22266] ppid=22264 vsize=18000 CPUtime=51.08
/proc/22266/stat : 22266 (oree) R 22264 22266 21923 0 -1 4194304 4317 0 0 0 5106 2 0 0 25 0 1 0 161331526 18432000 4195 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384531 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22266/statm: 4500 4195 139 317 0 4179 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 18000

[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.96 2/65 22267
/proc/meminfo: memFree=1641532/2055920 swapFree=4168472/4192956
[pid=22266] ppid=22264 vsize=21148 CPUtime=102.26
/proc/22266/stat : 22266 (oree) R 22264 22266 21923 0 -1 4194304 5096 0 0 0 10223 3 0 0 25 0 1 0 161331526 21655552 4974 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22266/statm: 5287 4974 139 317 0 4966 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 21148

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.96 2/65 22267
/proc/meminfo: memFree=1638268/2055920 swapFree=4168472/4192956
[pid=22266] ppid=22264 vsize=24404 CPUtime=162.24
/proc/22266/stat : 22266 (oree) R 22264 22266 21923 0 -1 4194304 5914 0 0 0 16220 4 0 0 25 0 1 0 161331526 24989696 5792 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606695 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22266/statm: 6101 5792 139 317 0 5780 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 24404

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.96 2/65 22267
/proc/meminfo: memFree=1636092/2055920 swapFree=4168472/4192956
[pid=22266] ppid=22264 vsize=26532 CPUtime=222.23
/proc/22266/stat : 22266 (oree) R 22264 22266 21923 0 -1 4194304 6454 0 0 0 22218 5 0 0 25 0 1 0 161331526 27168768 6332 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22266/statm: 6633 6332 139 317 0 6312 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 26532

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.96 2/65 22267
/proc/meminfo: memFree=1634172/2055920 swapFree=4168472/4192956
[pid=22266] ppid=22264 vsize=28392 CPUtime=282.22
/proc/22266/stat : 22266 (oree) R 22264 22266 21923 0 -1 4194304 6937 0 0 0 28216 6 0 0 25 0 1 0 161331526 29073408 6815 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22266/statm: 7098 6815 139 317 0 6777 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 28392

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.96 2/65 22267
/proc/meminfo: memFree=1632956/2055920 swapFree=4168472/4192956
[pid=22266] ppid=22264 vsize=29844 CPUtime=342.2
/proc/22266/stat : 22266 (oree) R 22264 22266 21923 0 -1 4194304 7235 0 0 0 34213 7 0 0 25 0 1 0 161331526 30560256 7113 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22266/statm: 7461 7113 139 317 0 7140 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 29844

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.96 2/65 22267
/proc/meminfo: memFree=1631548/2055920 swapFree=4168472/4192956
[pid=22266] ppid=22264 vsize=31412 CPUtime=402.19
/proc/22266/stat : 22266 (oree) R 22264 22266 21923 0 -1 4194304 7577 0 0 0 40212 7 0 0 25 0 1 0 161331526 32165888 7455 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22266/statm: 7853 7455 139 317 0 7532 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 31412

[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.96 2/65 22267
/proc/meminfo: memFree=1630332/2055920 swapFree=4168472/4192956
[pid=22266] ppid=22264 vsize=33292 CPUtime=462.17
/proc/22266/stat : 22266 (oree) R 22264 22266 21923 0 -1 4194304 8061 0 0 0 46210 7 0 0 25 0 1 0 161331526 34091008 7731 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22266/statm: 8323 7731 139 317 0 8002 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 33292

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.96 2/65 22267
/proc/meminfo: memFree=1629052/2055920 swapFree=4168472/4192956
[pid=22266] ppid=22264 vsize=34796 CPUtime=522.15
/proc/22266/stat : 22266 (oree) R 22264 22266 21923 0 -1 4194304 8421 0 0 0 52207 8 0 0 25 0 1 0 161331526 35631104 8091 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22266/statm: 8699 8091 139 317 0 8378 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 34796

[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.96 2/65 22267
/proc/meminfo: memFree=1628220/2055920 swapFree=4168472/4192956
[pid=22266] ppid=22264 vsize=35700 CPUtime=582.14
/proc/22266/stat : 22266 (oree) R 22264 22266 21923 0 -1 4194304 8656 0 0 0 58205 9 0 0 25 0 1 0 161331526 36556800 8293 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22266/statm: 8925 8293 139 317 0 8604 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 35700

[startup+642.303 s]
/proc/loadavg: 0.99 0.98 0.96 2/65 22267
/proc/meminfo: memFree=1626876/2055920 swapFree=4168472/4192956
[pid=22266] ppid=22264 vsize=37004 CPUtime=642.13
/proc/22266/stat : 22266 (oree) R 22264 22266 21923 0 -1 4194304 8986 0 0 0 64203 10 0 0 25 0 1 0 161331526 37892096 8623 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718306 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22266/statm: 9251 8623 139 317 0 8930 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 37004


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

[startup+882.301 s]
/proc/loadavg: 0.99 0.98 0.96 2/65 22267
/proc/meminfo: memFree=1622844/2055920 swapFree=4168472/4192956
[pid=22266] ppid=22264 vsize=40892 CPUtime=882.06
/proc/22266/stat : 22266 (oree) R 22264 22266 21923 0 -1 4194304 9965 0 0 0 88194 12 0 0 25 0 1 0 161331526 41873408 9602 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716145 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22266/statm: 10223 9602 139 317 0 9902 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 40892

[startup+942.302 s]
/proc/loadavg: 0.99 0.98 0.96 2/65 22267
/proc/meminfo: memFree=1621372/2055920 swapFree=4168472/4192956
[pid=22266] ppid=22264 vsize=42264 CPUtime=942.05
/proc/22266/stat : 22266 (oree) R 22264 22266 21923 0 -1 4194304 10338 0 0 0 94192 13 0 0 25 0 1 0 161331526 43278336 9975 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22266/statm: 10566 9975 139 317 0 10245 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 42264

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.96 2/65 22267
/proc/meminfo: memFree=1620476/2055920 swapFree=4168472/4192956
[pid=22266] ppid=22264 vsize=43116 CPUtime=1002.03
/proc/22266/stat : 22266 (oree) R 22264 22266 21923 0 -1 4194304 10547 0 0 0 100190 13 0 0 25 0 1 0 161331526 44150784 10184 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22266/statm: 10779 10184 139 317 0 10458 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 43116

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.96 2/71 22375
/proc/meminfo: memFree=1618556/2055920 swapFree=4168472/4192956
[pid=22266] ppid=22264 vsize=43780 CPUtime=1061.95
/proc/22266/stat : 22266 (oree) R 22264 22266 21923 0 -1 4194304 10703 0 0 0 106182 13 0 0 25 0 1 0 161331526 44830720 10340 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22266/statm: 10945 10340 139 317 0 10624 0
Current children cumulated CPU time (s) 1061.95
Current children cumulated vsize (KiB) 43780

[startup+1122.3 s]
/proc/loadavg: 1.04 1.00 0.96 2/65 22465
/proc/meminfo: memFree=1618556/2055920 swapFree=4168472/4192956
[pid=22266] ppid=22264 vsize=44816 CPUtime=1121.88
/proc/22266/stat : 22266 (oree) R 22264 22266 21923 0 -1 4194304 10985 0 0 0 112174 14 0 0 25 0 1 0 161331526 45891584 10622 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22266/statm: 11204 10622 139 317 0 10883 0
Current children cumulated CPU time (s) 1121.88
Current children cumulated vsize (KiB) 44816

[startup+1182.3 s]
/proc/loadavg: 1.01 1.00 0.96 2/65 22465
/proc/meminfo: memFree=1617660/2055920 swapFree=4168472/4192956
[pid=22266] ppid=22264 vsize=45620 CPUtime=1181.87
/proc/22266/stat : 22266 (oree) R 22264 22266 21923 0 -1 4194304 11201 0 0 0 118173 14 0 0 25 0 1 0 161331526 46714880 10838 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22266/statm: 11405 10838 139 317 0 11084 0
Current children cumulated CPU time (s) 1181.87
Current children cumulated vsize (KiB) 45620

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 22465
/proc/meminfo: memFree=1616444/2055920 swapFree=4168472/4192956
[pid=22266] ppid=22264 vsize=46956 CPUtime=1241.85
/proc/22266/stat : 22266 (oree) R 22264 22266 21923 0 -1 4194304 11527 0 0 0 124171 14 0 0 25 0 1 0 161331526 48082944 11131 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712551 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22266/statm: 11739 11131 139 317 0 11418 0
Current children cumulated CPU time (s) 1241.85
Current children cumulated vsize (KiB) 46956

[startup+1302.3 s]
/proc/loadavg: 1.03 1.01 0.97 2/65 22465
/proc/meminfo: memFree=1615676/2055920 swapFree=4168472/4192956
[pid=22266] ppid=22264 vsize=48388 CPUtime=1301.84
/proc/22266/stat : 22266 (oree) R 22264 22266 21923 0 -1 4194304 11901 0 0 0 130169 15 0 0 25 0 1 0 161331526 49549312 11340 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22266/statm: 12097 11340 139 317 0 11776 0
Current children cumulated CPU time (s) 1301.84
Current children cumulated vsize (KiB) 48388

[startup+1362.3 s]
/proc/loadavg: 1.01 1.01 0.97 2/65 22465
/proc/meminfo: memFree=1614780/2055920 swapFree=4168472/4192956
[pid=22266] ppid=22264 vsize=49324 CPUtime=1361.82
/proc/22266/stat : 22266 (oree) R 22264 22266 21923 0 -1 4194304 12128 0 0 0 136167 15 0 0 25 0 1 0 161331526 50507776 11567 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22266/statm: 12331 11567 139 317 0 12010 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 49324

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 22465
/proc/meminfo: memFree=1614204/2055920 swapFree=4168472/4192956
[pid=22266] ppid=22264 vsize=49844 CPUtime=1421.8
/proc/22266/stat : 22266 (oree) R 22264 22266 21923 0 -1 4194304 12275 0 0 0 142165 15 0 0 25 0 1 0 161331526 51040256 11681 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22266/statm: 12461 11681 139 317 0 12140 0
Current children cumulated CPU time (s) 1421.8
Current children cumulated vsize (KiB) 49844

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 22465
/proc/meminfo: memFree=1613564/2055920 swapFree=4168472/4192956
[pid=22266] ppid=22264 vsize=50644 CPUtime=1481.79
/proc/22266/stat : 22266 (oree) R 22264 22266 21923 0 -1 4194304 12514 0 0 0 148163 16 0 0 25 0 1 0 161331526 51859456 11854 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22266/statm: 12661 11854 139 317 0 12340 0
Current children cumulated CPU time (s) 1481.79
Current children cumulated vsize (KiB) 50644

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 22465
/proc/meminfo: memFree=1612604/2055920 swapFree=4168472/4192956
[pid=22266] ppid=22264 vsize=51644 CPUtime=1541.77
/proc/22266/stat : 22266 (oree) R 22264 22266 21923 0 -1 4194304 12780 0 0 0 154161 16 0 0 25 0 1 0 161331526 52883456 12120 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385185 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22266/statm: 12911 12120 139 317 0 12590 0
Current children cumulated CPU time (s) 1541.77
Current children cumulated vsize (KiB) 51644

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 22465
/proc/meminfo: memFree=1612220/2055920 swapFree=4168472/4192956
[pid=22266] ppid=22264 vsize=52028 CPUtime=1601.76
/proc/22266/stat : 22266 (oree) R 22264 22266 21923 0 -1 4194304 12881 0 0 0 160159 17 0 0 25 0 1 0 161331526 53276672 12221 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22266/statm: 13007 12221 139 317 0 12686 0
Current children cumulated CPU time (s) 1601.76
Current children cumulated vsize (KiB) 52028

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 22465
/proc/meminfo: memFree=1611068/2055920 swapFree=4168472/4192956
[pid=22266] ppid=22264 vsize=53204 CPUtime=1661.74
/proc/22266/stat : 22266 (oree) R 22264 22266 21923 0 -1 4194304 13183 0 0 0 166157 17 0 0 25 0 1 0 161331526 54480896 12490 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564046 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22266/statm: 13301 12490 139 317 0 12980 0
Current children cumulated CPU time (s) 1661.74
Current children cumulated vsize (KiB) 53204

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 22465
/proc/meminfo: memFree=1610364/2055920 swapFree=4168472/4192956
[pid=22266] ppid=22264 vsize=53988 CPUtime=1721.73
/proc/22266/stat : 22266 (oree) R 22264 22266 21923 0 -1 4194304 13414 0 0 0 172155 18 0 0 25 0 1 0 161331526 55283712 12688 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22266/statm: 13497 12688 139 317 0 13176 0
Current children cumulated CPU time (s) 1721.73
Current children cumulated vsize (KiB) 53988

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 22465
/proc/meminfo: memFree=1609724/2055920 swapFree=4168472/4192956
[pid=22266] ppid=22264 vsize=54636 CPUtime=1781.71
/proc/22266/stat : 22266 (oree) R 22264 22266 21923 0 -1 4194304 13576 0 0 0 178153 18 0 0 25 0 1 0 161331526 55947264 12850 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22266/statm: 13659 12850 139 317 0 13338 0
Current children cumulated CPU time (s) 1781.71
Current children cumulated vsize (KiB) 54636



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 22465
/proc/meminfo: memFree=1609596/2055920 swapFree=4168472/4192956
[pid=22266] ppid=22264 vsize=54764 CPUtime=1800.01
/proc/22266/stat : 22266 (oree) R 22264 22266 21923 0 -1 4194304 13597 0 0 0 179983 18 0 0 25 0 1 0 161331526 56078336 12871 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22266/statm: 13691 12871 139 317 0 13370 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 54764

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

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

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 22465
/proc/meminfo: memFree=1609596/2055920 swapFree=4168472/4192956
[pid=22266] ppid=22264 vsize=54764 CPUtime=1800.11
/proc/22266/stat : 22266 (oree) R 22264 22266 21923 0 -1 4194304 13597 0 0 0 179993 18 0 0 25 0 1 0 161331526 56078336 12871 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22266/statm: 13691 12871 139 317 0 13370 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 54764

Child status: 0
Real time (s): 1800.76
CPU time (s): 1800.17
CPU user time (s): 1799.97
CPU system time (s): 0.19597
CPU usage (%): 99.9673
Max. virtual memory (cumulated for all children) (KiB): 54764

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

runsolver used 1.35179 second user time and 3.67944 second system time

The end

Launcher Data (download as text)

Begin job on node63 on Tue Apr 17 23:43:36 UTC 2007

IDJOB= 357061
IDBENCH= 1878
IDSOLVER= 172
FILE ID= node63/357061-1176853416

PBS_JOBID= 4590235

Free space on /tmp= 66505 MiB

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

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  8886b8ab7bdc8ec03150a7b794b8a992

RANDOM SEED= 758050638

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node63.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.232
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.232
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:       1661532 kB
Buffers:         28348 kB
Cached:         303072 kB
SwapCached:      18916 kB
Active:         236632 kB
Inactive:       119356 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1661532 kB
SwapTotal:     4192956 kB
SwapFree:      4168472 kB
Dirty:            2772 kB
Writeback:           0 kB
Mapped:          15428 kB
Slab:            24352 kB
Committed_AS:  1948076 kB
PageTables:       1460 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= 66505 MiB

End job on node63 on Wed Apr 18 00:13:39 UTC 2007