Trace number 357271

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.27 1800.99

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-mps-v2-20-10-neos11.opb
MD5SUMec9bba2d2c31efcadc0a4a76a4815e08
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark9216
Best CPU time to get the best result obtained on this benchmark523.45
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 9216
Optimality of the best value was proved YES
Number of variables8600
Total number of constraints2806
Number of constraints which are clauses600
Number of constraints which are cardinality constraints (but not clauses)120
Number of constraints which are nor clauses,nor cardinality constraints2086
Minimum length of a constraint2
Maximum length of a constraint450
Number of terms in the objective function 5400
Biggest coefficient in the objective function 536870912
Number of bits for the biggest coefficient in the objective function 30
Sum of the numbers in the objective function 193273528140
Number of bits of the sum of numbers in the objective function 38
Biggest number in a constraint 536870912
Number of bits of the biggest number in a constraint 30
Biggest sum of numbers in a constraint 193273528140
Number of bits of the biggest sum of numbers38
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.09/0.19	c ...done
0.09/0.19	c #vars=8600 #constraints=3043 hasObjective=yes
0.19/0.24	c res. mode=mod
0.19/0.24	c VSIDS like heuristics
0.19/0.24	c complete search running
0.29/0.38	c restart after 401 decisions
0.39/0.42	c nbDecision=500 #constraints=3250
0.49/0.56	c restart after 801 decisions
0.59/0.67	c nbDecision=1000 #constraints=3477
0.79/0.89	c nbDecision=1500 #constraints=3672
0.89/0.91	c restart after 1601 decisions
1.10/1.14	c nbDecision=2000 #constraints=3827
1.39/1.40	c nbDecision=2500 #constraints=3961
1.59/1.63	c nbDecision=3000 #constraints=4058
1.69/1.79	c restart after 3201 decisions
1.89/1.93	c nbDecision=3500 #constraints=4150
1.99/2.08	c nbDecision=4000 #constraints=4203
2.49/2.56	c nbDecision=4500 #constraints=4383
2.99/3.01	c nbDecision=5000 #constraints=4602
3.19/3.29	c nbDecision=5500 #constraints=4654
3.59/3.67	c nbDecision=6000 #constraints=4740
4.29/4.36	c restart after 6401 decisions
4.39/4.44	c nbDecision=6500 #constraints=4920
4.78/4.84	c nbDecision=7000 #constraints=5046
5.18/5.24	c nbDecision=7500 #constraints=5160
5.68/5.76	c nbDecision=8000 #constraints=5250
6.09/6.15	c nbDecision=8500 #constraints=5307
6.39/6.47	c nbDecision=9000 #constraints=5380
6.69/6.76	c nbDecision=9500 #constraints=5427
6.99/7.07	c nbDecision=10000 #constraints=5473
7.39/7.48	c nbDecision=10500 #constraints=5544
7.59/7.68	c nbDecision=11000 #constraints=5573
8.39/8.47	c nbDecision=11500 #constraints=5683
8.99/9.08	c nbDecision=12000 #constraints=5748
9.39/9.46	c nbDecision=12500 #constraints=5781
9.79/9.90	c restart after 12801 decisions
10.18/10.23	c nbDecision=13000 #constraints=5864
11.28/11.33	c nbDecision=13500 #constraints=5981
12.28/12.38	c nbDecision=14000 #constraints=6091
13.09/13.12	c nbDecision=14500 #constraints=6184
14.19/14.29	c nbDecision=15000 #constraints=6290
14.98/15.03	c nbDecision=15500 #constraints=6373
15.68/15.80	c nbDecision=16000 #constraints=6449
16.49/16.54	c nbDecision=16500 #constraints=6524
17.89/17.92	c nbDecision=17000 #constraints=6697
18.79/18.82	c nbDecision=17500 #constraints=6764
20.59/20.66	c nbDecision=18000 #constraints=6865
21.48/21.50	c nbDecision=18500 #constraints=6955
22.08/22.13	c nbDecision=19000 #constraints=7015
22.88/22.98	c nbDecision=19500 #constraints=7063
24.09/24.16	c nbDecision=20000 #constraints=7197
25.08/25.12	c nbDecision=20500 #constraints=7286
26.08/26.10	c nbDecision=21000 #constraints=7374
27.07/27.15	c nbDecision=21500 #constraints=7490
28.38/28.45	c nbDecision=22000 #constraints=7563
29.08/29.15	c nbDecision=22500 #constraints=7609
30.58/30.66	c nbDecision=23000 #constraints=7751
31.78/31.87	c nbDecision=23500 #constraints=7847
33.08/33.18	c nbDecision=24000 #constraints=7923
34.08/34.12	c nbDecision=24500 #constraints=7989
34.47/34.54	c nbDecision=25000 #constraints=8054
35.97/36.07	c nbDecision=25500 #constraints=8137
36.18/36.22	c restart after 25601 decisions
37.07/37.13	c nbDecision=26000 #constraints=8204
37.97/38.06	c nbDecision=26500 #constraints=8277
38.97/39.04	c nbDecision=27000 #constraints=8368
40.57/40.63	c nbDecision=27500 #constraints=8511
42.27/42.30	c nbDecision=28000 #constraints=8620
44.88/44.93	c nbDecision=28500 #constraints=8721
45.67/45.75	c nbDecision=29000 #constraints=8773
46.47/46.58	c nbDecision=29500 #constraints=8857
47.28/47.33	c nbDecision=30000 #constraints=8905
49.17/49.24	c nbDecision=30500 #constraints=9014
51.87/51.90	c nbDecision=31000 #constraints=9125
52.97/53.04	c nbDecision=31500 #constraints=9219
53.97/54.08	c nbDecision=32000 #constraints=9261
55.07/55.16	c nbDecision=32500 #constraints=9311
56.26/56.39	c nbDecision=33000 #constraints=9354
57.17/57.26	c nbDecision=33500 #constraints=9394
58.77/58.84	c nbDecision=34000 #constraints=9481
60.17/60.21	c nbDecision=34500 #constraints=9538
61.87/61.97	c nbDecision=35000 #constraints=9621
64.87/64.94	c nbDecision=35500 #constraints=9761
68.36/68.47	c nbDecision=36000 #constraints=9913
69.86/69.97	c nbDecision=36500 #constraints=9991
71.76/71.81	c nbDecision=37000 #constraints=10048
72.86/72.92	c nbDecision=37500 #constraints=10098
74.86/74.92	c nbDecision=38000 #constraints=10189
78.76/78.82	c nbDecision=38500 #constraints=10319
79.45/79.52	c nbDecision=39000 #constraints=10353
80.95/81.04	c nbDecision=39500 #constraints=10408
82.65/82.80	c nbDecision=40000 #constraints=10468
85.66/85.78	c nbDecision=40500 #constraints=10623
86.96/87.00	c nbDecision=41000 #constraints=10673
89.36/89.42	c nbDecision=41500 #constraints=10783
90.85/90.99	c nbDecision=42000 #constraints=10867
91.95/92.07	c nbDecision=42500 #constraints=10908
94.85/95.00	c nbDecision=43000 #constraints=11009
97.65/97.70	c nbDecision=43500 #constraints=11096
100.15/100.24	c nbDecision=44000 #constraints=11201
102.15/102.20	c nbDecision=44500 #constraints=11268
103.75/103.85	c nbDecision=45000 #constraints=11415
105.94/106.00	c nbDecision=45500 #constraints=11504
108.15/108.24	c nbDecision=46000 #constraints=11562
110.05/110.18	c nbDecision=46500 #constraints=11628
114.44/114.50	c nbDecision=47000 #constraints=11747
115.35/115.41	c nbDecision=47500 #constraints=11783
115.94/116.05	c nbDecision=48000 #constraints=11815
119.04/119.18	c nbDecision=48500 #constraints=11931
119.85/119.95	c nbDecision=49000 #constraints=11969
121.04/121.11	c nbDecision=49500 #constraints=12014
123.14/123.27	c nbDecision=50000 #constraints=12088
126.04/126.13	c nbDecision=50500 #constraints=12252
127.54/127.63	c nbDecision=51000 #constraints=12300
128.24/128.33	c restart after 51201 decisions
129.34/129.46	c nbDecision=51500 #constraints=12356
130.75/130.80	c nbDecision=52000 #constraints=12627
131.64/131.71	c nbDecision=52500 #constraints=12789
132.14/132.29	c nbDecision=53000 #constraints=12831
133.74/133.84	c nbDecision=53500 #constraints=12977
135.24/135.33	c nbDecision=54000 #constraints=13059
138.63/138.75	c nbDecision=54500 #constraints=13255
141.54/141.64	c nbDecision=55000 #constraints=13536
143.84/143.90	c nbDecision=55500 #constraints=13628
144.64/144.75	c nbDecision=56000 #constraints=13687
152.53/152.60	c nbDecision=56500 #constraints=13856
153.83/153.99	c nbDecision=57000 #constraints=13961
154.23/154.30	c nbDecision=57500 #constraints=13989
155.63/155.73	c nbDecision=58000 #constraints=14058
156.53/156.62	c nbDecision=58500 #constraints=14113
157.33/157.44	c nbDecision=59000 #constraints=14146
160.43/160.60	c nbDecision=59500 #constraints=14207
162.12/162.22	c nbDecision=60000 #constraints=14264
164.22/164.38	c nbDecision=60500 #constraints=14363
164.93/165.09	c nbDecision=61000 #constraints=14398
165.72/165.87	c nbDecision=61500 #constraints=14432
167.12/167.26	c nbDecision=62000 #constraints=14469
167.62/167.75	c nbDecision=62500 #constraints=14501
168.52/168.63	c nbDecision=63000 #constraints=14551
169.12/169.24	c nbDecision=63500 #constraints=14576
175.32/175.48	c nbDecision=64000 #constraints=14733
183.22/183.39	c nbDecision=64500 #constraints=14859
185.52/185.62	c nbDecision=65000 #constraints=14906
189.62/189.73	c nbDecision=65500 #constraints=14988
192.72/192.82	c nbDecision=66000 #constraints=15051
193.82/193.93	c nbDecision=66500 #constraints=15096
196.51/196.65	c nbDecision=67000 #constraints=15161
198.81/198.92	c nbDecision=67500 #constraints=15213
201.81/201.98	c nbDecision=68000 #constraints=15274
204.61/204.73	c nbDecision=68500 #constraints=15330
208.40/208.50	c nbDecision=69000 #constraints=15411
210.50/210.62	c nbDecision=69500 #constraints=15454
214.31/214.47	c nbDecision=70000 #constraints=15526
218.40/218.55	c nbDecision=70500 #constraints=15595
221.20/221.31	c nbDecision=71000 #constraints=15669
222.00/222.10	c nbDecision=71500 #constraints=15727
224.70/224.80	c nbDecision=72000 #constraints=15916
228.30/228.42	c nbDecision=72500 #constraints=16086
229.81/229.90	c nbDecision=73000 #constraints=16153
230.70/230.85	c nbDecision=73500 #constraints=16199
231.60/231.74	c nbDecision=74000 #constraints=16322
234.10/234.29	c nbDecision=74500 #constraints=16372
236.19/236.37	c nbDecision=75000 #constraints=16414
239.70/239.89	c nbDecision=75500 #constraints=16563
242.20/242.38	c nbDecision=76000 #constraints=16691
244.20/244.35	c nbDecision=76500 #constraints=16873
247.59/247.73	c nbDecision=77000 #constraints=16988
249.39/249.56	c nbDecision=77500 #constraints=17107
253.29/253.45	c nbDecision=78000 #constraints=17190
255.99/256.20	c nbDecision=78500 #constraints=17251
261.59/261.78	c nbDecision=79000 #constraints=17337
272.99/273.16	c nbDecision=79500 #constraints=17488
283.18/283.39	c nbDecision=80000 #constraints=17680
284.78/284.97	c nbDecision=80500 #constraints=17746
287.17/287.35	c nbDecision=81000 #constraints=17799
290.77/290.91	c nbDecision=81500 #constraints=17863
297.37/297.51	c nbDecision=82000 #constraints=17937
302.77/302.90	c nbDecision=82500 #constraints=18042
307.78/307.98	c nbDecision=83000 #constraints=18141
312.47/312.65	c nbDecision=83500 #constraints=18279
316.36/316.54	c nbDecision=84000 #constraints=18394
320.26/320.49	c nbDecision=84500 #constraints=18450
326.66/326.88	c nbDecision=85000 #constraints=18579
331.66/331.84	c nbDecision=85500 #constraints=18647
340.55/340.72	c nbDecision=86000 #constraints=18782
345.26/345.49	c nbDecision=86500 #constraints=18877
350.06/350.29	c nbDecision=87000 #constraints=18946
357.55/357.70	c nbDecision=87500 #constraints=19041
362.15/362.38	c nbDecision=88000 #constraints=19112
370.04/370.22	c nbDecision=88500 #constraints=19221
379.14/379.38	c nbDecision=89000 #constraints=19347
386.74/386.94	c nbDecision=89500 #constraints=19455
392.24/392.45	c nbDecision=90000 #constraints=19543
397.63/397.84	c nbDecision=90500 #constraints=19626
403.23/403.46	c nbDecision=91000 #constraints=19697
410.13/410.33	c nbDecision=91500 #constraints=19826
415.32/415.51	c nbDecision=92000 #constraints=19945
421.03/421.26	c nbDecision=92500 #constraints=20048
431.32/431.51	c nbDecision=93000 #constraints=20172
435.92/436.14	c nbDecision=93500 #constraints=20271
440.92/441.19	c nbDecision=94000 #constraints=20361
447.21/447.42	c nbDecision=94500 #constraints=20449
455.81/456.04	c nbDecision=95000 #constraints=20584
462.71/463.00	c nbDecision=95500 #constraints=20703
466.61/466.81	c nbDecision=96000 #constraints=20762
473.91/474.19	c nbDecision=96500 #constraints=20882
479.20/479.41	c nbDecision=97000 #constraints=20955
485.90/486.11	c nbDecision=97500 #constraints=21057
490.40/490.67	c nbDecision=98000 #constraints=21159
497.50/497.77	c nbDecision=98500 #constraints=21254
502.59/502.81	c nbDecision=99000 #constraints=21348
508.09/508.32	c nbDecision=99500 #constraints=21445
516.99/517.30	c nbDecision=100000 #constraints=21608
522.38/522.62	c nbDecision=100500 #constraints=21678
529.38/529.60	c nbDecision=101000 #constraints=21761
536.38/536.68	c nbDecision=101500 #constraints=21869
542.17/542.42	c nbDecision=102000 #constraints=21930
550.68/550.90	c restart after 102401 decisions
554.08/554.39	c nbDecision=102500 #constraints=22105
560.77/561.05	c nbDecision=103000 #constraints=22273
567.77/568.05	c nbDecision=103500 #constraints=22399
583.96/584.25	c nbDecision=104000 #constraints=22624
595.76/596.00	c nbDecision=104500 #constraints=22756
603.75/604.05	c nbDecision=105000 #constraints=22875
617.85/618.12	c nbDecision=105500 #constraints=23049
635.04/635.34	c nbDecision=106000 #constraints=23273
641.64/641.91	c nbDecision=106500 #constraints=23364
650.13/650.42	c nbDecision=107000 #constraints=23498
662.63/662.99	c nbDecision=107500 #constraints=23655
680.63/680.99	c nbDecision=108000 #constraints=23831
700.42/700.76	c nbDecision=108500 #constraints=23984
719.91/720.20	c nbDecision=109000 #constraints=24175
732.50/732.89	c nbDecision=109500 #constraints=24317
746.40/746.77	c nbDecision=110000 #constraints=24494
756.79/757.15	c nbDecision=110500 #constraints=24612
773.49/773.88	c nbDecision=111000 #constraints=24834
785.48/785.85	c nbDecision=111500 #constraints=24951
788.58/788.90	c nbDecision=112000 #constraints=25012
792.68/793.03	c nbDecision=112500 #constraints=25053
799.07/799.43	c nbDecision=113000 #constraints=25204
805.77/806.16	c nbDecision=113500 #constraints=25309
810.77/811.16	c nbDecision=114000 #constraints=25392
817.27/817.66	c nbDecision=114500 #constraints=25513
826.16/826.57	c nbDecision=115000 #constraints=25690
835.17/835.56	c nbDecision=115500 #constraints=25899
846.06/846.43	c nbDecision=116000 #constraints=26198
858.25/858.69	c nbDecision=116500 #constraints=26344
861.55/862.00	c nbDecision=117000 #constraints=26386
862.05/862.48	c nbDecision=117500 #constraints=26412
862.95/863.33	c nbDecision=118000 #constraints=26438
866.15/866.53	c nbDecision=118500 #constraints=26482
875.94/876.32	c nbDecision=119000 #constraints=26611
877.45/877.82	c nbDecision=119500 #constraints=26642
894.24/894.65	c nbDecision=120000 #constraints=26856
904.03/904.41	c nbDecision=120500 #constraints=26962
906.13/906.51	c nbDecision=121000 #constraints=27006
908.63/909.07	c nbDecision=121500 #constraints=27064
915.43/915.85	c nbDecision=122000 #constraints=27279
917.12/917.56	c nbDecision=122500 #constraints=27358
922.92/923.32	c nbDecision=123000 #constraints=27527
928.72/929.12	c nbDecision=123500 #constraints=27680
935.72/936.15	c nbDecision=124000 #constraints=27800
960.11/960.53	c nbDecision=124500 #constraints=28001
963.80/964.27	c nbDecision=125000 #constraints=28040
969.30/969.71	c nbDecision=125500 #constraints=28194
978.80/979.21	c nbDecision=126000 #constraints=28314
982.10/982.50	c nbDecision=126500 #constraints=28449
990.30/990.78	c nbDecision=127000 #constraints=28529
995.49/995.93	c nbDecision=127500 #constraints=28661
998.79/999.28	c nbDecision=128000 #constraints=28732
1005.39/1005.82	c nbDecision=128500 #constraints=28819
1008.39/1008.80	c nbDecision=129000 #constraints=28974
1015.89/1016.31	c nbDecision=129500 #constraints=29111
1019.58/1020.02	c nbDecision=130000 #constraints=29249
1025.49/1025.95	c nbDecision=130500 #constraints=29359
1038.98/1039.44	c nbDecision=131000 #constraints=29518
1054.27/1054.70	c nbDecision=131500 #constraints=29687
1066.66/1067.10	c nbDecision=132000 #constraints=29823
1071.46/1071.92	c nbDecision=132500 #constraints=29891
1073.26/1073.79	c nbDecision=133000 #constraints=29911
1076.36/1076.84	c nbDecision=133500 #constraints=29957
1077.36/1077.83	c nbDecision=134000 #constraints=29983
1082.36/1082.86	c nbDecision=134500 #constraints=30079
1085.17/1085.66	c nbDecision=135000 #constraints=30102
1087.56/1088.07	c nbDecision=135500 #constraints=30120
1090.46/1090.99	c nbDecision=136000 #constraints=30149
1092.96/1093.41	c nbDecision=136500 #constraints=30177
1095.36/1095.82	c nbDecision=137000 #constraints=30213
1114.24/1114.79	c nbDecision=137500 #constraints=30378
1124.94/1125.43	c nbDecision=138000 #constraints=30485
1142.83/1143.39	c nbDecision=138500 #constraints=30653
1145.64/1146.15	c nbDecision=139000 #constraints=30683
1152.23/1152.77	c nbDecision=139500 #constraints=30738
1194.91/1195.40	c nbDecision=140000 #constraints=31103
1210.81/1211.39	c nbDecision=140500 #constraints=31231
1218.40/1218.98	c nbDecision=141000 #constraints=31337
1228.11/1228.63	c nbDecision=141500 #constraints=31435
1242.60/1243.17	c nbDecision=142000 #constraints=31588
1249.39/1249.93	c nbDecision=142500 #constraints=31642
1252.19/1252.74	c nbDecision=143000 #constraints=31676
1259.19/1259.75	c nbDecision=143500 #constraints=31741
1265.38/1265.98	c nbDecision=144000 #constraints=31823
1270.68/1271.26	c nbDecision=144500 #constraints=31919
1282.78/1283.34	c nbDecision=145000 #constraints=32057
1290.98/1291.59	c nbDecision=145500 #constraints=32146
1302.97/1303.51	c nbDecision=146000 #constraints=32261
1320.56/1321.15	c nbDecision=146500 #constraints=32446
1328.07/1328.60	c nbDecision=147000 #constraints=32543
1342.76/1343.37	c nbDecision=147500 #constraints=32685
1345.46/1346.04	c nbDecision=148000 #constraints=32724
1354.95/1355.53	c nbDecision=148500 #constraints=32821
1363.75/1364.31	c nbDecision=149000 #constraints=32895
1378.94/1379.59	c nbDecision=149500 #constraints=33017
1397.23/1397.84	c nbDecision=150000 #constraints=33159
1419.32/1419.91	c nbDecision=150500 #constraints=33319
1444.62/1445.24	c nbDecision=151000 #constraints=33476
1469.90/1470.60	c nbDecision=151500 #constraints=33681
1474.30/1474.94	c nbDecision=152000 #constraints=33755
1480.01/1480.69	c nbDecision=152500 #constraints=33844
1483.21/1483.85	c nbDecision=153000 #constraints=33961
1489.10/1489.72	c nbDecision=153500 #constraints=34014
1494.20/1494.86	c nbDecision=154000 #constraints=34082
1499.99/1500.64	c nbDecision=154500 #constraints=34211
1515.79/1516.49	c nbDecision=155000 #constraints=34351
1523.18/1523.89	c nbDecision=155500 #constraints=34446
1532.79/1533.41	c nbDecision=156000 #constraints=34524
1536.98/1537.66	c nbDecision=156500 #constraints=34560
1543.28/1543.93	c nbDecision=157000 #constraints=34623
1548.58/1549.28	c nbDecision=157500 #constraints=34705
1557.77/1558.41	c nbDecision=158000 #constraints=34831
1573.16/1573.86	c nbDecision=158500 #constraints=34991
1595.05/1595.78	c nbDecision=159000 #constraints=35176
1609.05/1609.77	c nbDecision=159500 #constraints=35286
1640.64/1641.30	c nbDecision=160000 #constraints=35553
1643.94/1644.62	c nbDecision=160500 #constraints=35596
1680.03/1680.71	c nbDecision=161000 #constraints=35832
1719.31/1720.06	c nbDecision=161500 #constraints=36041
1749.10/1749.88	c nbDecision=162000 #constraints=36220
1780.79/1781.54	c nbDecision=162500 #constraints=36416
1800.08/1800.80	Received signal 15
1800.18/1800.94	
1800.18/1800.94	s UNKNOWN
1800.18/1800.94	
1800.18/1800.94	c user time= 1799.75 s
1800.18/1800.94	c system time= 0.486925 s
1800.18/1800.94	c wall clock time=1800.95

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node13/watcher-357271-1176993025 -o ROOT/results/node13/solver-357271-1176993025 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357271-1176993025/instance-357271-1176993025.opb mod 

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


[startup+0 s]
/proc/loadavg: 0.99 0.98 0.99 3/77 11018
/proc/meminfo: memFree=1676344/2055920 swapFree=4159420/4192956
[pid=11018] ppid=11016 vsize=1468 CPUtime=0
/proc/11018/stat : 11018 (oree) R 11016 11018 10675 0 -1 4194304 179 0 0 0 0 0 0 0 18 0 1 0 147220384 1503232 161 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284215 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11018/statm: 367 161 126 317 0 46 0

[startup+0.0287039 s]
/proc/loadavg: 0.99 0.98 0.99 3/77 11018
/proc/meminfo: memFree=1676344/2055920 swapFree=4159420/4192956
[pid=11018] ppid=11016 vsize=1884 CPUtime=0.02
/proc/11018/stat : 11018 (oree) R 11016 11018 10675 0 -1 4194304 276 0 0 0 2 0 0 0 18 0 1 0 147220384 1929216 258 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11018/statm: 471 259 131 317 0 150 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 1884

[startup+0.10172 s]
/proc/loadavg: 0.99 0.98 0.99 3/77 11018
/proc/meminfo: memFree=1676344/2055920 swapFree=4159420/4192956
[pid=11018] ppid=11016 vsize=3204 CPUtime=0.09
/proc/11018/stat : 11018 (oree) R 11016 11018 10675 0 -1 4194304 600 0 0 0 9 0 0 0 18 0 1 0 147220384 3280896 582 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11018/statm: 801 582 131 317 0 480 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3204

[startup+0.301762 s]
/proc/loadavg: 0.99 0.98 0.99 3/77 11018
/proc/meminfo: memFree=1676344/2055920 swapFree=4159420/4192956
[pid=11018] ppid=11016 vsize=6276 CPUtime=0.29
/proc/11018/stat : 11018 (oree) R 11016 11018 10675 0 -1 4194304 1365 0 0 0 29 0 0 0 19 0 1 0 147220384 6426624 1347 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11018/statm: 1569 1347 139 317 0 1248 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6276

[startup+0.701847 s]
/proc/loadavg: 0.99 0.98 0.99 3/77 11018
/proc/meminfo: memFree=1676344/2055920 swapFree=4159420/4192956
[pid=11018] ppid=11016 vsize=6936 CPUtime=0.69
/proc/11018/stat : 11018 (oree) R 11016 11018 10675 0 -1 4194304 1566 0 0 0 69 0 0 0 22 0 1 0 147220384 7102464 1548 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278973 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11018/statm: 1734 1548 170 317 0 1413 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6936

[startup+1.50202 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 11019
/proc/meminfo: memFree=1669936/2055920 swapFree=4159420/4192956
[pid=11018] ppid=11016 vsize=8916 CPUtime=1.49
/proc/11018/stat : 11018 (oree) R 11016 11018 10675 0 -1 4194304 2064 0 0 0 148 1 0 0 25 0 1 0 147220384 9129984 2046 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11018/statm: 2229 2046 170 317 0 1908 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8916

[startup+3.10136 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 11019
/proc/meminfo: memFree=1667696/2055920 swapFree=4159420/4192956
[pid=11018] ppid=11016 vsize=11428 CPUtime=3.09
/proc/11018/stat : 11018 (oree) R 11016 11018 10675 0 -1 4194304 2682 0 0 0 308 1 0 0 25 0 1 0 147220384 11702272 2664 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11018/statm: 2857 2664 170 317 0 2536 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 11428

[startup+6.30104 s]
/proc/loadavg: 0.99 0.98 0.99 3/78 11019
/proc/meminfo: memFree=1663280/2055920 swapFree=4159420/4192956
[pid=11018] ppid=11016 vsize=14744 CPUtime=6.29
/proc/11018/stat : 11018 (oree) R 11016 11018 10675 0 -1 4194304 3506 0 0 0 627 2 0 0 25 0 1 0 147220384 15097856 3488 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606634 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11018/statm: 3686 3488 170 317 0 3365 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14744

[startup+12.7014 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 11019
/proc/meminfo: memFree=1659440/2055920 swapFree=4159420/4192956
[pid=11018] ppid=11016 vsize=18676 CPUtime=12.69
/proc/11018/stat : 11018 (oree) R 11016 11018 10675 0 -1 4194304 4456 0 0 0 1266 3 0 0 25 0 1 0 147220384 19124224 4397 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11018/statm: 4669 4397 170 317 0 4348 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 18676

[startup+25.5011 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 11019
/proc/meminfo: memFree=1653552/2055920 swapFree=4159420/4192956
[pid=11018] ppid=11016 vsize=24328 CPUtime=25.48
/proc/11018/stat : 11018 (oree) R 11016 11018 10675 0 -1 4194304 5858 0 0 0 2544 4 0 0 25 0 1 0 147220384 24911872 5799 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11018/statm: 6082 5799 170 317 0 5761 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 24328

[startup+51.1016 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 11019
/proc/meminfo: memFree=1644720/2055920 swapFree=4159420/4192956
[pid=11018] ppid=11016 vsize=33332 CPUtime=51.07
/proc/11018/stat : 11018 (oree) R 11016 11018 10675 0 -1 4194304 8052 0 0 0 5101 6 0 0 25 0 1 0 147220384 34131968 7993 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11018/statm: 8333 7993 170 317 0 8012 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 33332

[startup+102.306 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 11019
/proc/meminfo: memFree=1633904/2055920 swapFree=4159420/4192956
[pid=11018] ppid=11016 vsize=44952 CPUtime=102.25
/proc/11018/stat : 11018 (oree) R 11016 11018 10675 0 -1 4194304 10820 0 0 0 10217 8 0 0 25 0 1 0 147220384 46030848 10761 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11018/statm: 11238 10761 170 317 0 10917 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 44952

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 11019
/proc/meminfo: memFree=1621296/2055920 swapFree=4159420/4192956
[pid=11018] ppid=11016 vsize=57236 CPUtime=162.22
/proc/11018/stat : 11018 (oree) R 11016 11018 10675 0 -1 4194304 13939 0 0 0 16211 11 0 0 25 0 1 0 147220384 58609664 13801 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11018/statm: 14309 13801 170 317 0 13988 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 57236

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 11019
/proc/meminfo: memFree=1612848/2055920 swapFree=4159420/4192956
[pid=11018] ppid=11016 vsize=66976 CPUtime=222.2
/proc/11018/stat : 11018 (oree) R 11016 11018 10675 0 -1 4194304 16029 0 0 0 22207 13 0 0 25 0 1 0 147220384 68583424 15891 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563622 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11018/statm: 16744 15891 170 317 0 16423 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 66976

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 11019
/proc/meminfo: memFree=1604336/2055920 swapFree=4159420/4192956
[pid=11018] ppid=11016 vsize=75064 CPUtime=282.18
/proc/11018/stat : 11018 (oree) R 11016 11018 10675 0 -1 4194304 18183 0 0 0 28202 16 0 0 25 0 1 0 147220384 76865536 18045 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710943 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11018/statm: 18766 18045 170 317 0 18445 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 75064

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 11019
/proc/meminfo: memFree=1597744/2055920 swapFree=4159420/4192956
[pid=11018] ppid=11016 vsize=82320 CPUtime=342.15
/proc/11018/stat : 11018 (oree) R 11016 11018 10675 0 -1 4194304 19818 0 0 0 34198 17 0 0 25 0 1 0 147220384 84295680 19680 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11018/statm: 20580 19680 170 317 0 20259 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 82320

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 11019
/proc/meminfo: memFree=1591792/2055920 swapFree=4159420/4192956
[pid=11018] ppid=11016 vsize=88944 CPUtime=402.13
/proc/11018/stat : 11018 (oree) R 11016 11018 10675 0 -1 4194304 21311 0 0 0 40194 19 0 0 25 0 1 0 147220384 91078656 21173 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11018/statm: 22236 21173 170 317 0 21915 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 88944

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 11019
/proc/meminfo: memFree=1585712/2055920 swapFree=4159420/4192956
[pid=11018] ppid=11016 vsize=94480 CPUtime=462.11
/proc/11018/stat : 11018 (oree) R 11016 11018 10675 0 -1 4194304 22807 0 0 0 46190 21 0 0 25 0 1 0 147220384 96747520 22669 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11018/statm: 23620 22669 170 317 0 23299 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 94480

[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 11020
/proc/meminfo: memFree=1580272/2055920 swapFree=4159420/4192956
[pid=11018] ppid=11016 vsize=99456 CPUtime=522.09
/proc/11018/stat : 11018 (oree) R 11016 11018 10675 0 -1 4194304 24177 0 0 0 52187 22 0 0 25 0 1 0 147220384 101842944 24039 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11018/statm: 24864 24039 170 317 0 24543 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 99456

[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 11021
/proc/meminfo: memFree=1574384/2055920 swapFree=4159420/4192956
[pid=11018] ppid=11016 vsize=105648 CPUtime=582.06
/proc/11018/stat : 11018 (oree) R 11016 11018 10675 0 -1 4194304 25626 0 0 0 58183 23 0 0 25 0 1 0 147220384 108183552 25488 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11018/statm: 26412 25488 170 317 0 26091 0
Current children cumulated CPU time (s) 582.06
Current children cumulated vsize (KiB) 105648

[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 11021
/proc/meminfo: memFree=1569456/2055920 swapFree=4159420/4192956
[pid=11018] ppid=11016 vsize=110864 CPUtime=642.04
/proc/11018/stat : 11018 (oree) R 11016 11018 10675 0 -1 4194304 27004 0 0 0 64179 25 0 0 25 0 1 0 147220384 113524736 26709 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11018/statm: 27716 26709 170 317 0 27395 0
Current children cumulated CPU time (s) 642.04
Current children cumulated vsize (KiB) 110864


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

[startup+882.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 11021
/proc/meminfo: memFree=1548784/2055920 swapFree=4159420/4192956
[pid=11018] ppid=11016 vsize=132680 CPUtime=881.94
/proc/11018/stat : 11018 (oree) R 11016 11018 10675 0 -1 4194304 32495 0 0 0 88164 30 0 0 25 0 1 0 147220384 135864320 31870 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11018/statm: 33170 31870 170 317 0 32849 0
Current children cumulated CPU time (s) 881.94
Current children cumulated vsize (KiB) 132680

[startup+942.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 11021
/proc/meminfo: memFree=1543344/2055920 swapFree=4159420/4192956
[pid=11018] ppid=11016 vsize=137772 CPUtime=941.92
/proc/11018/stat : 11018 (oree) R 11016 11018 10675 0 -1 4194304 33855 0 0 0 94160 32 0 0 25 0 1 0 147220384 141078528 33230 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11018/statm: 34443 33230 170 317 0 34122 0
Current children cumulated CPU time (s) 941.92
Current children cumulated vsize (KiB) 137772

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 11021
/proc/meminfo: memFree=1538288/2055920 swapFree=4159420/4192956
[pid=11018] ppid=11016 vsize=143056 CPUtime=1001.89
/proc/11018/stat : 11018 (oree) R 11016 11018 10675 0 -1 4194304 35110 0 0 0 100156 33 0 0 25 0 1 0 147220384 146489344 34485 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11018/statm: 35764 34485 170 317 0 35443 0
Current children cumulated CPU time (s) 1001.89
Current children cumulated vsize (KiB) 143056

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 11021
/proc/meminfo: memFree=1532592/2055920 swapFree=4159420/4192956
[pid=11018] ppid=11016 vsize=148956 CPUtime=1061.87
/proc/11018/stat : 11018 (oree) R 11016 11018 10675 0 -1 4194304 36603 0 0 0 106153 34 0 0 25 0 1 0 147220384 152530944 35945 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715703 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11018/statm: 37239 35945 170 317 0 36918 0
Current children cumulated CPU time (s) 1061.87
Current children cumulated vsize (KiB) 148956

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 11021
/proc/meminfo: memFree=1528496/2055920 swapFree=4159420/4192956
[pid=11018] ppid=11016 vsize=152600 CPUtime=1121.84
/proc/11018/stat : 11018 (oree) R 11016 11018 10675 0 -1 4194304 37594 0 0 0 112149 35 0 0 25 0 1 0 147220384 156262400 36936 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11018/statm: 38150 36936 170 317 0 37829 0
Current children cumulated CPU time (s) 1121.84
Current children cumulated vsize (KiB) 152600

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 11021
/proc/meminfo: memFree=1523440/2055920 swapFree=4159420/4192956
[pid=11018] ppid=11016 vsize=159332 CPUtime=1181.82
/proc/11018/stat : 11018 (oree) R 11016 11018 10675 0 -1 4194304 39183 0 0 0 118145 37 0 0 25 0 1 0 147220384 163155968 38228 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712496 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11018/statm: 39833 38228 170 317 0 39512 0
Current children cumulated CPU time (s) 1181.82
Current children cumulated vsize (KiB) 159332

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 11021
/proc/meminfo: memFree=1518512/2055920 swapFree=4159420/4192956
[pid=11018] ppid=11016 vsize=166548 CPUtime=1241.8
/proc/11018/stat : 11018 (oree) R 11016 11018 10675 0 -1 4194304 40728 0 0 0 124142 38 0 0 25 0 1 0 147220384 170545152 39443 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11018/statm: 41637 39443 170 317 0 41316 0
Current children cumulated CPU time (s) 1241.8
Current children cumulated vsize (KiB) 166548

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 11021
/proc/meminfo: memFree=1514160/2055920 swapFree=4159420/4192956
[pid=11018] ppid=11016 vsize=170408 CPUtime=1301.78
/proc/11018/stat : 11018 (oree) R 11016 11018 10675 0 -1 4194304 41794 0 0 0 130139 39 0 0 25 0 1 0 147220384 174497792 40509 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11018/statm: 42602 40509 170 317 0 42281 0
Current children cumulated CPU time (s) 1301.78
Current children cumulated vsize (KiB) 170408

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 11021
/proc/meminfo: memFree=1509936/2055920 swapFree=4159420/4192956
[pid=11018] ppid=11016 vsize=174640 CPUtime=1361.75
/proc/11018/stat : 11018 (oree) R 11016 11018 10675 0 -1 4194304 42903 0 0 0 136134 41 0 0 25 0 1 0 147220384 178831360 41585 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11018/statm: 43660 41585 170 317 0 43339 0
Current children cumulated CPU time (s) 1361.75
Current children cumulated vsize (KiB) 174640

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.99 3/78 11021
/proc/meminfo: memFree=1506352/2055920 swapFree=4159420/4192956
[pid=11018] ppid=11016 vsize=177932 CPUtime=1421.72
/proc/11018/stat : 11018 (oree) R 11016 11018 10675 0 -1 4194304 43786 0 0 0 142131 41 0 0 25 0 1 0 147220384 182202368 42468 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11018/statm: 44483 42468 170 317 0 44162 0
Current children cumulated CPU time (s) 1421.72
Current children cumulated vsize (KiB) 177932

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 11021
/proc/meminfo: memFree=1502192/2055920 swapFree=4159420/4192956
[pid=11018] ppid=11016 vsize=183656 CPUtime=1481.71
/proc/11018/stat : 11018 (oree) R 11016 11018 10675 0 -1 4194304 45192 0 0 0 148128 43 0 0 25 0 1 0 147220384 188063744 43544 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11018/statm: 45914 43544 170 317 0 45593 0
Current children cumulated CPU time (s) 1481.71
Current children cumulated vsize (KiB) 183656

[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 11021
/proc/meminfo: memFree=1497840/2055920 swapFree=4159420/4192956
[pid=11018] ppid=11016 vsize=187596 CPUtime=1541.68
/proc/11018/stat : 11018 (oree) R 11016 11018 10675 0 -1 4194304 46238 0 0 0 154124 44 0 0 25 0 1 0 147220384 192098304 44590 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11018/statm: 46899 44590 170 317 0 46578 0
Current children cumulated CPU time (s) 1541.68
Current children cumulated vsize (KiB) 187596

[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 11021
/proc/meminfo: memFree=1493424/2055920 swapFree=4159420/4192956
[pid=11018] ppid=11016 vsize=191708 CPUtime=1601.66
/proc/11018/stat : 11018 (oree) R 11016 11018 10675 0 -1 4194304 47360 0 0 0 160121 45 0 0 25 0 1 0 147220384 196308992 45712 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11018/statm: 47927 45712 170 317 0 47606 0
Current children cumulated CPU time (s) 1601.66
Current children cumulated vsize (KiB) 191708

[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 11021
/proc/meminfo: memFree=1489776/2055920 swapFree=4159420/4192956
[pid=11018] ppid=11016 vsize=194980 CPUtime=1661.64
/proc/11018/stat : 11018 (oree) R 11016 11018 10675 0 -1 4194304 48269 0 0 0 166118 46 0 0 25 0 1 0 147220384 199659520 46621 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11018/statm: 48745 46621 170 317 0 48424 0
Current children cumulated CPU time (s) 1661.64
Current children cumulated vsize (KiB) 194980

[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 11021
/proc/meminfo: memFree=1485552/2055920 swapFree=4159420/4192956
[pid=11018] ppid=11016 vsize=204288 CPUtime=1721.61
/proc/11018/stat : 11018 (oree) R 11016 11018 10675 0 -1 4194304 50325 0 0 0 172114 47 0 0 25 0 1 0 147220384 209190912 47687 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11018/statm: 51072 47687 170 317 0 50751 0
Current children cumulated CPU time (s) 1721.61
Current children cumulated vsize (KiB) 204288

[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 11021
/proc/meminfo: memFree=1482160/2055920 swapFree=4159420/4192956
[pid=11018] ppid=11016 vsize=207540 CPUtime=1781.59
/proc/11018/stat : 11018 (oree) R 11016 11018 10675 0 -1 4194304 51157 0 0 0 178111 48 0 0 25 0 1 0 147220384 212520960 48519 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11018/statm: 51885 48519 170 317 0 51564 0
Current children cumulated CPU time (s) 1781.59
Current children cumulated vsize (KiB) 207540



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.8 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 11021
/proc/meminfo: memFree=1481136/2055920 swapFree=4159420/4192956
[pid=11018] ppid=11016 vsize=208324 CPUtime=1800.08
/proc/11018/stat : 11018 (oree) R 11016 11018 10675 0 -1 4194304 51409 0 0 0 179960 48 0 0 25 0 1 0 147220384 213323776 48771 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11018/statm: 52081 48771 170 317 0 51760 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 208324

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

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

[startup+1800.91 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 11021
/proc/meminfo: memFree=1481136/2055920 swapFree=4159420/4192956
[pid=11018] ppid=11016 vsize=208324 CPUtime=1800.18
/proc/11018/stat : 11018 (oree) R 11016 11018 10675 0 -1 4194304 51410 0 0 0 179970 48 0 0 25 0 1 0 147220384 213323776 48772 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11018/statm: 52081 48772 170 317 0 51760 0
Current children cumulated CPU time (s) 1800.18
Current children cumulated vsize (KiB) 208324

Child status: 0
Real time (s): 1800.99
CPU time (s): 1800.27
CPU user time (s): 1799.75
CPU system time (s): 0.52192
CPU usage (%): 99.9603
Max. virtual memory (cumulated for all children) (KiB): 208324

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

runsolver used 2.06469 second user time and 4.50731 second system time

The end

Launcher Data (download as text)

Begin job on node13 on Thu Apr 19 14:30:26 UTC 2007

IDJOB= 357271
IDBENCH= 2335
IDSOLVER= 172
FILE ID= node13/357271-1176993025

PBS_JOBID= 4630468

Free space on /tmp= 66319 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos11.opb
COMMAND LINE= oree /tmp/evaluation/357271-1176993025/instance-357271-1176993025.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node13/watcher-357271-1176993025 -o ROOT/results/node13/solver-357271-1176993025 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/357271-1176993025/instance-357271-1176993025.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  ec9bba2d2c31efcadc0a4a76a4815e08

RANDOM SEED= 881653633

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node13.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.259
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.259
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1676752 kB
Buffers:         36864 kB
Cached:         277548 kB
SwapCached:      12736 kB
Active:          74340 kB
Inactive:       263228 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1676752 kB
SwapTotal:     4192956 kB
SwapFree:      4159420 kB
Dirty:            2172 kB
Writeback:           0 kB
Mapped:          30120 kB
Slab:            27000 kB
Committed_AS:  6648312 kB
PageTables:       1872 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66319 MiB

End job on node13 on Thu Apr 19 15:00:29 UTC 2007