Trace number 357254

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.35 1800.86

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-mps-v2-20-10-bc1.opb
MD5SUM7349a3a829e674d501313aed23f34764
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables27730
Total number of constraints3375
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)84
Number of constraints which are nor clauses,nor cardinality constraints3291
Minimum length of a constraint3
Maximum length of a constraint5701
Number of terms in the objective function 31
Biggest coefficient in the objective function 1073741824
Number of bits for the biggest coefficient in the objective function 31
Sum of the numbers in the objective function 2147483647
Number of bits of the sum of numbers in the objective function 31
Biggest number in a constraint 1073741824000000000000000000
Number of bits of the biggest number in a constraint 90
Biggest sum of numbers in a constraint 3221975665359866949148487122
Number of bits of the biggest sum of numbers92
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...
20.09/20.18	c ...done
20.09/20.18	c #vars=27730 #constraints=4161 hasObjective=yes
22.28/22.39	c res. mode=mod
22.28/22.39	c VSIDS like heuristics
22.28/22.39	c complete search running
24.09/24.16	c restart after 401 decisions
24.78/24.88	c nbDecision=500 #constraints=4166
25.58/25.60	c restart after 801 decisions
26.29/26.33	c nbDecision=1000 #constraints=4175
27.38/27.47	c nbDecision=1500 #constraints=4185
27.58/27.60	c restart after 1601 decisions
29.18/29.23	c nbDecision=2000 #constraints=4194
31.18/31.24	c nbDecision=2500 #constraints=4203
31.88/31.93	c nbDecision=3000 #constraints=4207
32.07/32.19	c restart after 3201 decisions
33.98/34.05	c nbDecision=3500 #constraints=4212
34.77/34.83	c nbDecision=4000 #constraints=4219
36.67/36.73	c nbDecision=4500 #constraints=4222
37.97/38.00	c nbDecision=5000 #constraints=4249
41.27/41.34	c nbDecision=5500 #constraints=4327
42.07/42.19	c nbDecision=6000 #constraints=4339
42.97/43.04	c restart after 6401 decisions
44.37/44.49	c nbDecision=6500 #constraints=4343
45.87/45.90	c nbDecision=7000 #constraints=4346
47.67/47.78	c nbDecision=7500 #constraints=4357
48.37/48.47	c nbDecision=8000 #constraints=4361
49.07/49.14	c nbDecision=8500 #constraints=4365
50.07/50.18	c nbDecision=9000 #constraints=4370
50.87/50.93	c nbDecision=9500 #constraints=4377
51.47/51.54	c nbDecision=10000 #constraints=4380
52.07/52.13	c nbDecision=10500 #constraints=4382
53.17/53.22	c nbDecision=11000 #constraints=4386
54.07/54.18	c nbDecision=11500 #constraints=4394
54.67/54.70	c nbDecision=12000 #constraints=4395
55.27/55.35	c nbDecision=12500 #constraints=4397
55.66/55.72	c restart after 12801 decisions
57.26/57.38	c nbDecision=13000 #constraints=4403
57.96/58.06	c nbDecision=13500 #constraints=4410
59.76/59.81	c nbDecision=14000 #constraints=4413
60.76/60.80	c nbDecision=14500 #constraints=4425
61.57/61.60	c nbDecision=15000 #constraints=4440
62.46/62.52	c nbDecision=15500 #constraints=4446
63.36/63.44	c nbDecision=16000 #constraints=4450
64.77/64.90	c nbDecision=16500 #constraints=4455
66.16/66.27	c nbDecision=17000 #constraints=4465
66.86/66.91	c nbDecision=17500 #constraints=4472
68.27/68.37	c nbDecision=18000 #constraints=4496
69.07/69.11	c nbDecision=18500 #constraints=4509
70.06/70.12	c nbDecision=19000 #constraints=4541
70.86/70.97	c nbDecision=19500 #constraints=4555
72.46/72.51	c nbDecision=20000 #constraints=4594
73.46/73.55	c nbDecision=20500 #constraints=4606
74.57/74.68	c nbDecision=21000 #constraints=4622
75.66/75.77	c nbDecision=21500 #constraints=4642
77.06/77.19	c nbDecision=22000 #constraints=4668
79.56/79.65	c nbDecision=22500 #constraints=4715
80.66/80.77	c nbDecision=23000 #constraints=4729
81.46/81.57	c nbDecision=23500 #constraints=4736
82.26/82.32	c nbDecision=24000 #constraints=4739
82.86/82.91	c nbDecision=24500 #constraints=4749
83.86/83.90	c nbDecision=25000 #constraints=4760
88.16/88.26	c nbDecision=25500 #constraints=4827
88.46/88.50	c restart after 25601 decisions
91.06/91.19	c nbDecision=26000 #constraints=4835
91.86/92.00	c nbDecision=26500 #constraints=4841
93.36/93.44	c nbDecision=27000 #constraints=4851
96.26/96.35	c nbDecision=27500 #constraints=4875
97.06/97.13	c nbDecision=28000 #constraints=4879
97.76/97.87	c nbDecision=28500 #constraints=4882
98.96/99.06	c nbDecision=29000 #constraints=4887
99.75/99.80	c nbDecision=29500 #constraints=4890
100.45/100.50	c nbDecision=30000 #constraints=4894
101.25/101.34	c nbDecision=30500 #constraints=4897
102.45/102.56	c nbDecision=31000 #constraints=4901
103.05/103.17	c nbDecision=31500 #constraints=4902
103.75/103.84	c nbDecision=32000 #constraints=4904
104.55/104.65	c nbDecision=32500 #constraints=4910
108.86/108.96	c nbDecision=33000 #constraints=4955
109.56/109.69	c nbDecision=33500 #constraints=4957
110.26/110.32	c nbDecision=34000 #constraints=4958
111.06/111.18	c nbDecision=34500 #constraints=4961
111.86/111.90	c nbDecision=35000 #constraints=4963
112.65/112.74	c nbDecision=35500 #constraints=4967
113.26/113.38	c nbDecision=36000 #constraints=4970
113.95/114.03	c nbDecision=36500 #constraints=4975
114.65/114.71	c nbDecision=37000 #constraints=4978
115.25/115.30	c nbDecision=37500 #constraints=4979
115.85/115.90	c nbDecision=38000 #constraints=4980
116.46/116.50	c nbDecision=38500 #constraints=4982
117.05/117.15	c nbDecision=39000 #constraints=4985
118.15/118.28	c nbDecision=39500 #constraints=4998
119.45/119.59	c nbDecision=40000 #constraints=5034
120.65/120.72	c nbDecision=40500 #constraints=5052
122.75/122.82	c nbDecision=41000 #constraints=5081
125.35/125.48	c nbDecision=41500 #constraints=5126
126.65/126.75	c nbDecision=42000 #constraints=5147
128.44/128.59	c nbDecision=42500 #constraints=5172
131.55/131.62	c nbDecision=43000 #constraints=5199
132.45/132.57	c nbDecision=43500 #constraints=5207
134.25/134.30	c nbDecision=44000 #constraints=5233
137.45/137.51	c nbDecision=44500 #constraints=5268
138.95/139.00	c nbDecision=45000 #constraints=5289
140.34/140.43	c nbDecision=45500 #constraints=5306
142.34/142.43	c nbDecision=46000 #constraints=5323
143.84/143.96	c nbDecision=46500 #constraints=5336
145.15/145.26	c nbDecision=47000 #constraints=5351
146.74/146.85	c nbDecision=47500 #constraints=5364
148.35/148.47	c nbDecision=48000 #constraints=5380
149.24/149.37	c nbDecision=48500 #constraints=5390
151.24/151.35	c nbDecision=49000 #constraints=5405
151.84/151.91	c nbDecision=49500 #constraints=5409
152.74/152.86	c nbDecision=50000 #constraints=5419
154.94/155.04	c nbDecision=50500 #constraints=5438
157.04/157.12	c nbDecision=51000 #constraints=5457
157.44/157.51	c restart after 51201 decisions
161.14/161.24	c nbDecision=51500 #constraints=5463
162.84/162.92	c nbDecision=52000 #constraints=5472
163.84/163.97	c nbDecision=52500 #constraints=5477
164.74/164.87	c nbDecision=53000 #constraints=5481
165.64/165.77	c nbDecision=53500 #constraints=5485
166.64/166.72	c nbDecision=54000 #constraints=5496
167.54/167.68	c nbDecision=54500 #constraints=5504
168.24/168.35	c nbDecision=55000 #constraints=5508
169.24/169.40	c nbDecision=55500 #constraints=5513
170.24/170.37	c nbDecision=56000 #constraints=5520
171.14/171.21	c nbDecision=56500 #constraints=5526
171.84/171.98	c nbDecision=57000 #constraints=5531
172.64/172.74	c nbDecision=57500 #constraints=5535
173.34/173.45	c nbDecision=58000 #constraints=5538
180.83/180.92	c nbDecision=58500 #constraints=5615
187.13/187.24	c nbDecision=59000 #constraints=5676
192.83/192.99	c nbDecision=59500 #constraints=5725
210.43/210.53	c nbDecision=60000 #constraints=5809
222.82/222.98	c nbDecision=60500 #constraints=5886
232.72/232.87	c nbDecision=61000 #constraints=5952
244.42/244.52	c nbDecision=61500 #constraints=6037
250.21/250.39	c nbDecision=62000 #constraints=6092
260.81/260.96	c nbDecision=62500 #constraints=6158
265.71/265.81	c nbDecision=63000 #constraints=6203
268.90/269.07	c nbDecision=63500 #constraints=6229
273.21/273.36	c nbDecision=64000 #constraints=6275
279.91/280.03	c nbDecision=64500 #constraints=6333
287.91/288.09	c nbDecision=65000 #constraints=6399
297.80/297.95	c nbDecision=65500 #constraints=6471
305.61/305.80	c nbDecision=66000 #constraints=6532
312.80/312.91	c nbDecision=66500 #constraints=6579
318.80/318.96	c nbDecision=67000 #constraints=6625
327.89/328.04	c nbDecision=67500 #constraints=6683
329.79/329.97	c nbDecision=68000 #constraints=6699
333.10/333.29	c nbDecision=68500 #constraints=6733
336.59/336.70	c nbDecision=69000 #constraints=6770
340.89/341.03	c nbDecision=69500 #constraints=6810
351.18/351.32	c nbDecision=70000 #constraints=6865
361.59/361.72	c nbDecision=70500 #constraints=6926
370.49/370.69	c nbDecision=71000 #constraints=6979
377.57/377.70	c nbDecision=71500 #constraints=7024
388.57/388.71	c nbDecision=72000 #constraints=7080
395.68/395.86	c nbDecision=72500 #constraints=7115
405.47/405.68	c nbDecision=73000 #constraints=7166
412.77/412.91	c nbDecision=73500 #constraints=7211
421.97/422.14	c nbDecision=74000 #constraints=7262
431.07/431.25	c nbDecision=74500 #constraints=7313
439.56/439.72	c nbDecision=75000 #constraints=7367
451.16/451.33	c nbDecision=75500 #constraints=7427
458.36/458.51	c nbDecision=76000 #constraints=7468
467.36/467.56	c nbDecision=76500 #constraints=7527
475.45/475.68	c nbDecision=77000 #constraints=7578
483.65/483.83	c nbDecision=77500 #constraints=7626
495.14/495.36	c nbDecision=78000 #constraints=7688
506.34/506.59	c nbDecision=78500 #constraints=7748
518.95/519.17	c nbDecision=79000 #constraints=7812
528.33/528.52	c nbDecision=79500 #constraints=7859
537.23/537.43	c nbDecision=80000 #constraints=7912
548.03/548.22	c nbDecision=80500 #constraints=7984
559.83/560.03	c nbDecision=81000 #constraints=8051
569.02/569.26	c nbDecision=81500 #constraints=8098
579.22/579.45	c nbDecision=82000 #constraints=8144
590.32/590.57	c nbDecision=82500 #constraints=8201
601.02/601.25	c nbDecision=83000 #constraints=8255
609.12/609.36	c nbDecision=83500 #constraints=8299
618.91/619.15	c nbDecision=84000 #constraints=8353
628.51/628.70	c nbDecision=84500 #constraints=8428
639.11/639.37	c nbDecision=85000 #constraints=8480
653.60/653.86	c nbDecision=85500 #constraints=8547
662.40/662.65	c nbDecision=86000 #constraints=8615
669.70/669.92	c nbDecision=86500 #constraints=8657
677.70/677.95	c nbDecision=87000 #constraints=8700
686.39/686.61	c nbDecision=87500 #constraints=8742
700.79/701.03	c nbDecision=88000 #constraints=8807
710.29/710.50	c nbDecision=88500 #constraints=8859
720.68/720.96	c nbDecision=89000 #constraints=8913
732.98/733.24	c nbDecision=89500 #constraints=8994
742.88/743.19	c nbDecision=90000 #constraints=9056
752.27/752.59	c nbDecision=90500 #constraints=9114
760.27/760.55	c nbDecision=91000 #constraints=9153
770.47/770.77	c nbDecision=91500 #constraints=9205
791.47/791.70	c nbDecision=92000 #constraints=9309
814.16/814.47	c nbDecision=92500 #constraints=9423
834.95/835.25	c nbDecision=93000 #constraints=9542
850.65/850.92	c nbDecision=93500 #constraints=9627
866.65/866.90	c nbDecision=94000 #constraints=9714
878.44/878.74	c nbDecision=94500 #constraints=9778
889.94/890.21	c nbDecision=95000 #constraints=9838
901.83/902.17	c nbDecision=95500 #constraints=9893
914.73/915.01	c nbDecision=96000 #constraints=9952
927.63/927.97	c nbDecision=96500 #constraints=10009
941.62/941.96	c nbDecision=97000 #constraints=10069
950.03/950.38	c nbDecision=97500 #constraints=10107
961.62/961.91	c nbDecision=98000 #constraints=10159
971.92/972.29	c nbDecision=98500 #constraints=10206
1013.81/1014.11	c nbDecision=99000 #constraints=10350
1036.40/1036.73	c nbDecision=99500 #constraints=10438
1049.00/1049.37	c nbDecision=100000 #constraints=10481
1068.79/1069.10	c nbDecision=100500 #constraints=10551
1090.79/1091.11	c nbDecision=101000 #constraints=10622
1106.28/1106.61	c nbDecision=101500 #constraints=10682
1133.68/1134.04	c nbDecision=102000 #constraints=10773
1143.27/1143.60	c restart after 102401 decisions
1157.36/1157.70	c nbDecision=102500 #constraints=10816
1168.27/1168.66	c nbDecision=103000 #constraints=10818
1170.07/1170.47	c nbDecision=103500 #constraints=10826
1173.57/1173.95	c nbDecision=104000 #constraints=10834
1174.67/1175.02	c nbDecision=104500 #constraints=10837
1178.36/1178.73	c nbDecision=105000 #constraints=10849
1182.96/1183.34	c nbDecision=105500 #constraints=10857
1184.66/1185.07	c nbDecision=106000 #constraints=10859
1186.56/1186.92	c nbDecision=106500 #constraints=10863
1189.06/1189.42	c nbDecision=107000 #constraints=10869
1193.86/1194.23	c nbDecision=107500 #constraints=10883
1196.75/1197.11	c nbDecision=108000 #constraints=10901
1212.36/1212.73	c nbDecision=108500 #constraints=10976
1226.65/1227.05	c nbDecision=109000 #constraints=11053
1243.24/1243.62	c nbDecision=109500 #constraints=11138
1269.14/1269.59	c nbDecision=110000 #constraints=11239
1286.03/1286.40	c nbDecision=110500 #constraints=11301
1302.53/1302.91	c nbDecision=111000 #constraints=11363
1314.12/1314.59	c nbDecision=111500 #constraints=11430
1337.82/1338.20	c nbDecision=112000 #constraints=11514
1348.12/1348.58	c nbDecision=112500 #constraints=11555
1353.11/1353.52	c nbDecision=113000 #constraints=11583
1364.31/1364.72	c nbDecision=113500 #constraints=11642
1367.81/1368.30	c nbDecision=114000 #constraints=11645
1370.71/1371.12	c nbDecision=114500 #constraints=11649
1373.11/1373.57	c nbDecision=115000 #constraints=11656
1378.00/1378.44	c nbDecision=115500 #constraints=11667
1381.91/1382.34	c nbDecision=116000 #constraints=11695
1385.41/1385.80	c nbDecision=116500 #constraints=11717
1388.41/1388.83	c nbDecision=117000 #constraints=11737
1396.20/1396.60	c nbDecision=117500 #constraints=11767
1405.30/1405.75	c nbDecision=118000 #constraints=11801
1407.50/1407.98	c nbDecision=118500 #constraints=11810
1410.30/1410.75	c nbDecision=119000 #constraints=11825
1416.50/1416.94	c nbDecision=119500 #constraints=11844
1419.39/1419.86	c nbDecision=120000 #constraints=11854
1424.39/1424.86	c nbDecision=120500 #constraints=11882
1427.89/1428.32	c nbDecision=121000 #constraints=11905
1437.68/1438.11	c nbDecision=121500 #constraints=11936
1440.68/1441.13	c nbDecision=122000 #constraints=11944
1447.59/1448.09	c nbDecision=122500 #constraints=11971
1452.29/1452.71	c nbDecision=123000 #constraints=11987
1454.58/1455.07	c nbDecision=123500 #constraints=12000
1457.18/1457.70	c nbDecision=124000 #constraints=12014
1460.88/1461.37	c nbDecision=124500 #constraints=12026
1467.79/1468.29	c nbDecision=125000 #constraints=12060
1473.08/1473.58	c nbDecision=125500 #constraints=12079
1476.08/1476.50	c nbDecision=126000 #constraints=12088
1485.48/1485.92	c nbDecision=126500 #constraints=12131
1490.08/1490.54	c nbDecision=127000 #constraints=12153
1497.97/1498.45	c nbDecision=127500 #constraints=12191
1501.58/1502.06	c nbDecision=128000 #constraints=12204
1503.97/1504.48	c nbDecision=128500 #constraints=12211
1509.87/1510.31	c nbDecision=129000 #constraints=12234
1514.67/1515.18	c nbDecision=129500 #constraints=12254
1520.06/1520.57	c nbDecision=130000 #constraints=12276
1523.26/1523.75	c nbDecision=130500 #constraints=12291
1528.26/1528.79	c nbDecision=131000 #constraints=12306
1532.37/1532.82	c nbDecision=131500 #constraints=12326
1535.26/1535.75	c nbDecision=132000 #constraints=12341
1538.36/1538.84	c nbDecision=132500 #constraints=12361
1541.95/1542.42	c nbDecision=133000 #constraints=12377
1545.26/1545.76	c nbDecision=133500 #constraints=12389
1547.36/1547.80	c nbDecision=134000 #constraints=12397
1552.16/1552.63	c nbDecision=134500 #constraints=12415
1559.36/1559.90	c nbDecision=135000 #constraints=12456
1563.15/1563.60	c nbDecision=135500 #constraints=12474
1571.35/1571.86	c nbDecision=136000 #constraints=12507
1576.15/1576.60	c nbDecision=136500 #constraints=12529
1582.45/1582.92	c nbDecision=137000 #constraints=12557
1585.15/1585.70	c nbDecision=137500 #constraints=12567
1588.04/1588.56	c nbDecision=138000 #constraints=12584
1596.34/1596.83	c nbDecision=138500 #constraints=12611
1602.74/1603.25	c nbDecision=139000 #constraints=12646
1610.04/1610.58	c nbDecision=139500 #constraints=12688
1613.14/1613.62	c nbDecision=140000 #constraints=12701
1615.94/1616.49	c nbDecision=140500 #constraints=12718
1626.94/1627.43	c nbDecision=141000 #constraints=12788
1642.33/1642.83	c nbDecision=141500 #constraints=12860
1649.72/1650.24	c nbDecision=142000 #constraints=12881
1653.53/1654.09	c nbDecision=142500 #constraints=12900
1656.33/1656.82	c nbDecision=143000 #constraints=12917
1660.92/1661.40	c nbDecision=143500 #constraints=12939
1665.92/1666.44	c nbDecision=144000 #constraints=12970
1669.83/1670.32	c nbDecision=144500 #constraints=12993
1673.82/1674.40	c nbDecision=145000 #constraints=13018
1680.82/1681.38	c nbDecision=145500 #constraints=13056
1687.92/1688.49	c nbDecision=146000 #constraints=13090
1692.12/1692.67	c nbDecision=146500 #constraints=13106
1700.22/1700.73	c nbDecision=147000 #constraints=13140
1705.71/1706.24	c nbDecision=147500 #constraints=13163
1710.41/1710.94	c nbDecision=148000 #constraints=13182
1715.01/1715.52	c nbDecision=148500 #constraints=13204
1718.81/1719.34	c nbDecision=149000 #constraints=13221
1722.20/1722.76	c nbDecision=149500 #constraints=13237
1726.81/1727.38	c nbDecision=150000 #constraints=13261
1734.40/1734.95	c nbDecision=150500 #constraints=13293
1741.50/1742.03	c nbDecision=151000 #constraints=13318
1751.80/1752.34	c nbDecision=151500 #constraints=13356
1759.59/1760.15	c nbDecision=152000 #constraints=13391
1766.99/1767.60	c nbDecision=152500 #constraints=13411
1775.00/1775.53	c nbDecision=153000 #constraints=13445
1780.30/1780.88	c nbDecision=153500 #constraints=13467
1789.29/1789.83	c nbDecision=154000 #constraints=13490
1793.79/1794.36	c nbDecision=154500 #constraints=13512
1800.09/1800.60	Received signal 15
1800.09/1800.61	
1800.09/1800.61	s UNKNOWN
1800.09/1800.61	
1800.09/1800.61	c user time= 1798.46 s
1800.09/1800.61	c system time= 1.64675 s
1800.09/1800.61	c wall clock time=1800.61

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/node18/watcher-357254-1176992465 -o ROOT/results/node18/solver-357254-1176992465 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357254-1176992465/instance-357254-1176992465.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.93 0.98 0.99 3/77 14077
/proc/meminfo: memFree=1670736/2055920 swapFree=4147128/4192956
[pid=14077] ppid=14075 vsize=1468 CPUtime=0
/proc/14077/stat : 14077 (oree) R 14075 14077 12727 0 -1 4194304 178 0 0 0 0 0 0 0 18 0 1 0 147164315 1503232 160 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14077/statm: 367 160 131 317 0 46 0

[startup+0.0646921 s]
/proc/loadavg: 0.93 0.98 0.99 3/77 14077
/proc/meminfo: memFree=1670736/2055920 swapFree=4147128/4192956
[pid=14077] ppid=14075 vsize=2260 CPUtime=0.06
/proc/14077/stat : 14077 (oree) R 14075 14077 12727 0 -1 4194304 385 0 0 0 6 0 0 0 18 0 1 0 147164315 2314240 367 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14077/statm: 565 367 131 317 0 244 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2260

[startup+0.101695 s]
/proc/loadavg: 0.93 0.98 0.99 3/77 14077
/proc/meminfo: memFree=1670736/2055920 swapFree=4147128/4192956
[pid=14077] ppid=14075 vsize=2992 CPUtime=0.1
/proc/14077/stat : 14077 (oree) R 14075 14077 12727 0 -1 4194304 534 0 0 0 10 0 0 0 18 0 1 0 147164315 3063808 516 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135279024 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14077/statm: 748 516 131 317 0 427 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2992

[startup+0.301713 s]
/proc/loadavg: 0.93 0.98 0.99 3/77 14077
/proc/meminfo: memFree=1670736/2055920 swapFree=4147128/4192956
[pid=14077] ppid=14075 vsize=5644 CPUtime=0.29
/proc/14077/stat : 14077 (oree) R 14075 14077 12727 0 -1 4194304 1133 0 0 0 29 0 0 0 19 0 1 0 147164315 5779456 1115 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14077/statm: 1411 1115 131 317 0 1090 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5644

[startup+0.701753 s]
/proc/loadavg: 0.93 0.98 0.99 3/77 14077
/proc/meminfo: memFree=1670736/2055920 swapFree=4147128/4192956
[pid=14077] ppid=14075 vsize=11592 CPUtime=0.69
/proc/14077/stat : 14077 (oree) R 14075 14077 12727 0 -1 4194304 2307 0 0 0 69 0 0 0 23 0 1 0 147164315 11870208 2289 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711120 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14077/statm: 2898 2289 131 317 0 2577 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 11592

[startup+1.50183 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 14078
/proc/meminfo: memFree=1659400/2055920 swapFree=4147128/4192956
[pid=14077] ppid=14075 vsize=22900 CPUtime=1.49
/proc/14077/stat : 14077 (oree) R 14075 14077 12727 0 -1 4194304 4643 0 0 0 148 1 0 0 25 0 1 0 147164315 23449600 4625 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14077/statm: 5725 4625 131 317 0 5404 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 22900

[startup+3.10198 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 14078
/proc/meminfo: memFree=1648712/2055920 swapFree=4147128/4192956
[pid=14077] ppid=14075 vsize=45208 CPUtime=3.09
/proc/14077/stat : 14077 (oree) R 14075 14077 12727 0 -1 4194304 9263 0 0 0 306 3 0 0 25 0 1 0 147164315 46292992 9245 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14077/statm: 11302 9245 131 317 0 10981 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 45208

[startup+6.30129 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 14078
/proc/meminfo: memFree=1610952/2055920 swapFree=4147128/4192956
[pid=14077] ppid=14075 vsize=89264 CPUtime=6.29
/proc/14077/stat : 14077 (oree) R 14075 14077 12727 0 -1 4194304 18388 0 0 0 621 8 0 0 25 0 1 0 147164315 91406336 18370 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14077/statm: 22316 18370 131 317 0 21995 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 89264

[startup+12.7019 s]
/proc/loadavg: 0.94 0.98 0.99 2/78 14078
/proc/meminfo: memFree=1536072/2055920 swapFree=4147128/4192956
[pid=14077] ppid=14075 vsize=177328 CPUtime=12.69
/proc/14077/stat : 14077 (oree) R 14075 14077 12727 0 -1 4194304 36556 0 0 0 1251 18 0 0 25 0 1 0 147164315 181583872 36538 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14077/statm: 44332 36538 131 317 0 44011 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 177328

[startup+25.5011 s]
/proc/loadavg: 0.95 0.98 0.99 2/78 14078
/proc/meminfo: memFree=1355720/2055920 swapFree=4147128/4192956
[pid=14077] ppid=14075 vsize=367928 CPUtime=25.48
/proc/14077/stat : 14077 (oree) R 14075 14077 12727 0 -1 4194304 79585 0 0 0 2510 38 0 0 25 0 1 0 147164315 376758272 79567 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606685 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14077/statm: 91982 79567 139 317 0 91661 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 367928

[startup+51.1016 s]
/proc/loadavg: 0.97 0.98 0.99 2/78 14078
/proc/meminfo: memFree=1350984/2055920 swapFree=4147128/4192956
[pid=14077] ppid=14075 vsize=374064 CPUtime=51.07
/proc/14077/stat : 14077 (oree) R 14075 14077 12727 0 -1 4194304 80854 0 0 0 5068 39 0 0 25 0 1 0 147164315 383041536 80836 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384531 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14077/statm: 93516 80836 170 317 0 93195 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 374064

[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.99 2/78 14078
/proc/meminfo: memFree=1326920/2055920 swapFree=4147128/4192956
[pid=14077] ppid=14075 vsize=400836 CPUtime=102.26
/proc/14077/stat : 14077 (oree) R 14075 14077 12727 0 -1 4194304 86818 0 0 0 10184 42 0 0 25 0 1 0 147164315 410456064 86800 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606880 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14077/statm: 100209 86800 170 317 0 99888 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 400836

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 14078
/proc/meminfo: memFree=1272776/2055920 swapFree=4147128/4192956
[pid=14077] ppid=14075 vsize=462260 CPUtime=162.24
/proc/14077/stat : 14077 (oree) R 14075 14077 12727 0 -1 4194304 100336 0 0 0 16176 48 0 0 25 0 1 0 147164315 473354240 100300 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14077/statm: 115565 100300 170 317 0 115244 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 462260

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 14078
/proc/meminfo: memFree=1225672/2055920 swapFree=4147128/4192956
[pid=14077] ppid=14075 vsize=513904 CPUtime=222.22
/proc/14077/stat : 14077 (oree) R 14075 14077 12727 0 -1 4194304 112146 0 0 0 22169 53 0 0 25 0 1 0 147164315 526237696 112065 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278973 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14077/statm: 128476 112065 170 317 0 128155 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 513904

[startup+282.302 s]
/proc/loadavg: 1.06 1.00 1.00 2/78 14078
/proc/meminfo: memFree=1166152/2055920 swapFree=4147128/4192956
[pid=14077] ppid=14075 vsize=583304 CPUtime=282.21
/proc/14077/stat : 14077 (oree) R 14075 14077 12727 0 -1 4194304 127500 0 0 0 28161 60 0 0 25 0 1 0 147164315 597303296 127262 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134714781 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14077/statm: 145826 127262 170 317 0 145505 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 583304

[startup+342.302 s]
/proc/loadavg: 1.08 1.02 1.00 2/78 14078
/proc/meminfo: memFree=1097160/2055920 swapFree=4147128/4192956
[pid=14077] ppid=14075 vsize=662432 CPUtime=342.19
/proc/14077/stat : 14077 (oree) R 14075 14077 12727 0 -1 4194304 144673 0 0 0 34151 68 0 0 25 0 1 0 147164315 678330368 144263 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14077/statm: 165608 144263 170 317 0 165287 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 662432

[startup+402.301 s]
/proc/loadavg: 1.09 1.03 1.00 2/78 14078
/proc/meminfo: memFree=1053512/2055920 swapFree=4147128/4192956
[pid=14077] ppid=14075 vsize=709320 CPUtime=402.17
/proc/14077/stat : 14077 (oree) R 14075 14077 12727 0 -1 4194304 155797 0 0 0 40143 74 0 0 25 0 1 0 147164315 726343680 155266 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710753 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14077/statm: 177330 155266 170 317 0 177009 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 709320

[startup+462.301 s]
/proc/loadavg: 1.08 1.03 1.00 2/78 14078
/proc/meminfo: memFree=1005960/2055920 swapFree=4147128/4192956
[pid=14077] ppid=14075 vsize=758016 CPUtime=462.16
/proc/14077/stat : 14077 (oree) R 14075 14077 12727 0 -1 4194304 167542 0 0 0 46137 79 0 0 25 0 1 0 147164315 776208384 166905 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563634 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14077/statm: 189504 166905 170 317 0 189183 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 758016

[startup+522.302 s]
/proc/loadavg: 1.03 1.03 1.00 2/78 14078
/proc/meminfo: memFree=967432/2055920 swapFree=4147128/4192956
[pid=14077] ppid=14075 vsize=798520 CPUtime=522.14
/proc/14077/stat : 14077 (oree) R 14075 14077 12727 0 -1 4194304 177366 0 0 0 52131 83 0 0 25 0 1 0 147164315 817684480 176594 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14077/statm: 199630 176594 170 317 0 199309 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 798520

[startup+582.302 s]
/proc/loadavg: 1.01 1.02 1.00 2/78 14078
/proc/meminfo: memFree=925128/2055920 swapFree=4147128/4192956
[pid=14077] ppid=14075 vsize=844932 CPUtime=582.12
/proc/14077/stat : 14077 (oree) R 14075 14077 12727 0 -1 4194304 187944 0 0 0 58125 87 0 0 25 0 1 0 147164315 865210368 187110 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606695 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14077/statm: 211233 187110 170 317 0 210912 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 844932

[startup+642.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 14078
/proc/meminfo: memFree=876808/2055920 swapFree=4147128/4192956
[pid=14077] ppid=14075 vsize=906348 CPUtime=642.11
/proc/14077/stat : 14077 (oree) R 14075 14077 12727 0 -1 4194304 200064 0 0 0 64119 92 0 0 25 0 1 0 147164315 928100352 199106 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712511 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14077/statm: 226587 199106 170 317 0 226266 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 906348


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

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14078
/proc/meminfo: memFree=661896/2055920 swapFree=4147128/4192956
[pid=14077] ppid=14075 vsize=1153012 CPUtime=882.04
/proc/14077/stat : 14077 (oree) R 14075 14077 12727 0 -1 4194304 253749 0 0 0 88088 116 0 0 25 0 1 0 147164315 1180684288 252729 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284171 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14077/statm: 288253 252729 170 317 0 287932 0
Current children cumulated CPU time (s) 882.04
Current children cumulated vsize (KiB) 1153012

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14078
/proc/meminfo: memFree=620936/2055920 swapFree=4147128/4192956
[pid=14077] ppid=14075 vsize=1195040 CPUtime=942.02
/proc/14077/stat : 14077 (oree) R 14075 14077 12727 0 -1 4194304 264124 0 0 0 94081 121 0 0 25 0 1 0 147164315 1223720960 263102 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14077/statm: 298760 263102 170 317 0 298439 0
Current children cumulated CPU time (s) 942.02
Current children cumulated vsize (KiB) 1195040

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14078
/proc/meminfo: memFree=584136/2055920 swapFree=4147128/4192956
[pid=14077] ppid=14075 vsize=1231064 CPUtime=1002.01
/proc/14077/stat : 14077 (oree) R 14075 14077 12727 0 -1 4194304 273196 0 0 0 100077 124 0 0 25 0 1 0 147164315 1260609536 272173 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718926 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14077/statm: 307766 272173 170 317 0 307445 0
Current children cumulated CPU time (s) 1002.01
Current children cumulated vsize (KiB) 1231064

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14080
/proc/meminfo: memFree=549896/2055920 swapFree=4147128/4192956
[pid=14077] ppid=14075 vsize=1265596 CPUtime=1062
/proc/14077/stat : 14077 (oree) R 14075 14077 12727 0 -1 4194304 281840 0 0 0 106072 128 0 0 25 0 1 0 147164315 1295970304 280791 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278989 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14077/statm: 316399 280791 170 317 0 316078 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 1265596

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14080
/proc/meminfo: memFree=516232/2055920 swapFree=4147128/4192956
[pid=14077] ppid=14075 vsize=1298356 CPUtime=1121.98
/proc/14077/stat : 14077 (oree) R 14075 14077 12727 0 -1 4194304 290187 0 0 0 112066 132 0 0 25 0 1 0 147164315 1329516544 289125 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278991 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14077/statm: 324589 289125 170 317 0 324268 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 1298356

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 3/78 14080
/proc/meminfo: memFree=503176/2055920 swapFree=4147128/4192956
[pid=14077] ppid=14075 vsize=1310832 CPUtime=1181.96
/proc/14077/stat : 14077 (oree) R 14075 14077 12727 0 -1 4194304 293381 0 0 0 118062 134 0 0 25 0 1 0 147164315 1342291968 292300 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14077/statm: 327708 292300 170 317 0 327387 0
Current children cumulated CPU time (s) 1181.96
Current children cumulated vsize (KiB) 1310832

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14080
/proc/meminfo: memFree=477064/2055920 swapFree=4147128/4192956
[pid=14077] ppid=14075 vsize=1338676 CPUtime=1241.95
/proc/14077/stat : 14077 (oree) R 14075 14077 12727 0 -1 4194304 300001 0 0 0 124058 137 0 0 25 0 1 0 147164315 1370804224 298918 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14077/statm: 334669 298918 170 317 0 334348 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 1338676

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14080
/proc/meminfo: memFree=451464/2055920 swapFree=4147128/4192956
[pid=14077] ppid=14075 vsize=1365040 CPUtime=1301.93
/proc/14077/stat : 14077 (oree) R 14075 14077 12727 0 -1 4194304 306254 0 0 0 130053 140 0 0 25 0 1 0 147164315 1397800960 305171 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718416 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14077/statm: 341260 305171 170 317 0 340939 0
Current children cumulated CPU time (s) 1301.93
Current children cumulated vsize (KiB) 1365040

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14080
/proc/meminfo: memFree=424776/2055920 swapFree=4147128/4192956
[pid=14077] ppid=14075 vsize=1393044 CPUtime=1361.91
/proc/14077/stat : 14077 (oree) R 14075 14077 12727 0 -1 4194304 312930 0 0 0 136048 143 0 0 25 0 1 0 147164315 1426477056 311847 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14077/statm: 348261 311847 170 317 0 347940 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 1393044

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14080
/proc/meminfo: memFree=412104/2055920 swapFree=4147128/4192956
[pid=14077] ppid=14075 vsize=1406328 CPUtime=1421.9
/proc/14077/stat : 14077 (oree) R 14075 14077 12727 0 -1 4194304 316069 0 0 0 142045 145 0 0 25 0 1 0 147164315 1440079872 314986 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715615 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14077/statm: 351582 314986 170 317 0 351261 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 1406328

[startup+1482.3 s]
/proc/loadavg: 1.05 1.01 1.00 2/78 14080
/proc/meminfo: memFree=395400/2055920 swapFree=4147128/4192956
[pid=14077] ppid=14075 vsize=1427516 CPUtime=1481.88
/proc/14077/stat : 14077 (oree) R 14075 14077 12727 0 -1 4194304 320225 0 0 0 148040 148 0 0 25 0 1 0 147164315 1461776384 319142 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718407 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14077/statm: 356879 319142 170 317 0 356558 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 1427516

[startup+1542.3 s]
/proc/loadavg: 1.02 1.01 1.00 2/78 14080
/proc/meminfo: memFree=377352/2055920 swapFree=4147128/4192956
[pid=14077] ppid=14075 vsize=1450848 CPUtime=1541.85
/proc/14077/stat : 14077 (oree) R 14075 14077 12727 0 -1 4194304 324768 0 0 0 154035 150 0 0 25 0 1 0 147164315 1485668352 323685 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718413 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14077/statm: 362712 323685 170 317 0 362391 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 1450848

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14080
/proc/meminfo: memFree=351816/2055920 swapFree=4147128/4192956
[pid=14077] ppid=14075 vsize=1494012 CPUtime=1601.84
/proc/14077/stat : 14077 (oree) R 14075 14077 12727 0 -1 4194304 331357 0 0 0 160031 153 0 0 25 0 1 0 147164315 1529868288 330274 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14077/statm: 373503 330274 170 317 0 373182 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 1494012

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14080
/proc/meminfo: memFree=312200/2055920 swapFree=4147128/4192956
[pid=14077] ppid=14075 vsize=1540880 CPUtime=1661.82
/proc/14077/stat : 14077 (oree) R 14075 14077 12727 0 -1 4194304 341106 0 0 0 166025 157 0 0 25 0 1 0 147164315 1577861120 339986 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14077/statm: 385220 339986 170 317 0 384899 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 1540880

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14080
/proc/meminfo: memFree=279112/2055920 swapFree=4147128/4192956
[pid=14077] ppid=14075 vsize=1580552 CPUtime=1721.8
/proc/14077/stat : 14077 (oree) R 14075 14077 12727 0 -1 4194304 349421 0 0 0 172019 161 0 0 25 0 1 0 147164315 1618485248 348236 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14077/statm: 395138 348236 170 317 0 394817 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 1580552

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14080
/proc/meminfo: memFree=259912/2055920 swapFree=4147128/4192956
[pid=14077] ppid=14075 vsize=1604056 CPUtime=1781.79
/proc/14077/stat : 14077 (oree) R 14075 14077 12727 0 -1 4194304 354192 0 0 0 178015 164 0 0 25 0 1 0 147164315 1642553344 352996 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14077/statm: 401014 352996 170 317 0 400693 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 1604056



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14080
/proc/meminfo: memFree=253832/2055920 swapFree=4147128/4192956
[pid=14077] ppid=14075 vsize=1611080 CPUtime=1800.09
/proc/14077/stat : 14077 (oree) R 14075 14077 12727 0 -1 4194304 355667 0 0 0 179845 164 0 0 25 0 1 0 147164315 1649745920 354471 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385209 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14077/statm: 402770 354471 170 317 0 402449 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1611080

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

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

[startup+1800.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14080
/proc/meminfo: memFree=253832/2055920 swapFree=4147128/4192956
[pid=14077] ppid=14075 vsize=0 CPUtime=1800.29
/proc/14077/stat : 14077 (oree) R 14075 14077 12727 0 -1 4194308 355683 0 0 0 179848 181 0 0 25 0 1 0 147164315 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14077/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.29
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1800.86
CPU time (s): 1800.35
CPU user time (s): 1798.48
CPU system time (s): 1.87371
CPU usage (%): 99.9719
Max. virtual memory (cumulated for all children) (KiB): 1611080

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

runsolver used 2.12068 second user time and 4.43633 second system time

The end

Launcher Data (download as text)

Begin job on node18 on Thu Apr 19 14:21:09 UTC 2007

IDJOB= 357254
IDBENCH= 2316
IDSOLVER= 172
FILE ID= node18/357254-1176992465

PBS_JOBID= 4630407

Free space on /tmp= 66411 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-bc1.opb
COMMAND LINE= oree /tmp/evaluation/357254-1176992465/instance-357254-1176992465.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node18/watcher-357254-1176992465 -o ROOT/results/node18/solver-357254-1176992465 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/357254-1176992465/instance-357254-1176992465.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  7349a3a829e674d501313aed23f34764

RANDOM SEED= 134781108

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node18.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.234
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.234
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:       1670760 kB
Buffers:         35328 kB
Cached:         260044 kB
SwapCached:      14164 kB
Active:         142900 kB
Inactive:       175800 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1670760 kB
SwapTotal:     4192956 kB
SwapFree:      4147128 kB
Dirty:           76252 kB
Writeback:           0 kB
Mapped:          30400 kB
Slab:            51940 kB
Committed_AS:  4398924 kB
PageTables:       1776 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= 66411 MiB

End job on node18 on Thu Apr 19 14:51:12 UTC 2007