Trace number 356847

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.2 1800.7

General information on the benchmark

Namenormalized-PB06/OPT-MEDINT/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-mps-v2-20-10-neos9.opb
MD5SUM9b565ffd2f62b11d1859d685ea38235b
Bench CategoryOPT-MEDINT (optimisation, medium 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 variables874498
Total number of constraints110909
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)87
Number of constraints which are nor clauses,nor cardinality constraints110822
Minimum length of a constraint11
Maximum length of a constraint14080
Number of terms in the objective function 198658
Biggest coefficient in the objective function 1024
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 38727219
Number of bits of the sum of numbers in the objective function 26
Biggest number in a constraint 30720
Number of bits of the biggest number in a constraint 15
Biggest sum of numbers in a constraint 38727219
Number of bits of the biggest sum of numbers26
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...
12.49/12.59	c ...done
12.49/12.59	c #vars=874498 #constraints=118638 hasObjective=yes
16.69/16.72	c res. mode=mod
16.69/16.72	c VSIDS like heuristics
16.69/16.72	c complete search running
21.59/21.66	c restart after 401 decisions
22.79/22.89	c nbDecision=500 #constraints=118638
26.49/26.56	c restart after 801 decisions
28.99/29.01	c nbDecision=1000 #constraints=118638
35.07/35.16	c nbDecision=1500 #constraints=118638
36.38/36.41	c restart after 1601 decisions
41.27/41.32	c nbDecision=2000 #constraints=118638
47.36/47.41	c nbDecision=2500 #constraints=118638
53.46/53.53	c nbDecision=3000 #constraints=118638
55.96/56.02	c restart after 3201 decisions
59.66/59.71	c nbDecision=3500 #constraints=118638
65.65/65.79	c nbDecision=4000 #constraints=118638
71.85/71.90	c nbDecision=4500 #constraints=118638
77.95/78.04	c nbDecision=5000 #constraints=118638
84.05/84.12	c nbDecision=5500 #constraints=118638
90.15/90.21	c nbDecision=6000 #constraints=118638
95.04/95.13	c restart after 6401 decisions
96.24/96.38	c nbDecision=6500 #constraints=118638
102.36/102.49	c nbDecision=7000 #constraints=118638
108.45/108.57	c nbDecision=7500 #constraints=118638
114.55/114.70	c nbDecision=8000 #constraints=118638
120.75/120.81	c nbDecision=8500 #constraints=118638
126.74/126.89	c nbDecision=9000 #constraints=118638
132.94/133.00	c nbDecision=9500 #constraints=118638
139.04/139.13	c nbDecision=10000 #constraints=118638
145.14/145.21	c nbDecision=10500 #constraints=118638
151.23/151.30	c nbDecision=11000 #constraints=118638
157.34/157.43	c nbDecision=11500 #constraints=118638
163.43/163.52	c nbDecision=12000 #constraints=118638
169.43/169.59	c nbDecision=12500 #constraints=118638
173.13/173.29	c restart after 12801 decisions
175.63/175.77	c nbDecision=13000 #constraints=118638
181.72/181.88	c nbDecision=13500 #constraints=118638
187.82/187.96	c nbDecision=14000 #constraints=118638
193.92/194.08	c nbDecision=14500 #constraints=118638
200.12/200.20	c nbDecision=15000 #constraints=118638
206.12/206.28	c nbDecision=15500 #constraints=118638
212.23/212.38	c nbDecision=16000 #constraints=118638
218.42/218.52	c nbDecision=16500 #constraints=118638
224.42/224.60	c nbDecision=17000 #constraints=118638
230.52/230.68	c nbDecision=17500 #constraints=118638
236.72/236.81	c nbDecision=18000 #constraints=118638
242.82/242.90	c nbDecision=18500 #constraints=118638
248.81/248.97	c nbDecision=19000 #constraints=118638
255.01/255.10	c nbDecision=19500 #constraints=118638
261.11/261.21	c nbDecision=20000 #constraints=118638
267.11/267.27	c nbDecision=20500 #constraints=118638
273.21/273.38	c nbDecision=21000 #constraints=118638
279.41/279.51	c nbDecision=21500 #constraints=118638
285.40/285.57	c nbDecision=22000 #constraints=118638
291.50/291.66	c nbDecision=22500 #constraints=118638
297.60/297.78	c nbDecision=23000 #constraints=118638
303.69/303.86	c nbDecision=23500 #constraints=118638
309.79/309.93	c nbDecision=24000 #constraints=118638
315.89/316.05	c nbDecision=24500 #constraints=118638
321.99/322.15	c nbDecision=25000 #constraints=118638
328.09/328.21	c nbDecision=25500 #constraints=118638
329.29/329.45	c restart after 25601 decisions
334.19/334.39	c nbDecision=26000 #constraints=118638
340.38/340.52	c nbDecision=26500 #constraints=118638
346.39/346.59	c nbDecision=27000 #constraints=118638
352.58/352.71	c nbDecision=27500 #constraints=118638
358.68/358.84	c nbDecision=28000 #constraints=118638
364.77/364.92	c nbDecision=28500 #constraints=118638
370.87/371.02	c nbDecision=29000 #constraints=118638
376.97/377.15	c nbDecision=29500 #constraints=118638
383.08/383.24	c nbDecision=30000 #constraints=118638
389.18/389.32	c nbDecision=30500 #constraints=118638
395.27/395.45	c nbDecision=31000 #constraints=118638
401.38/401.55	c nbDecision=31500 #constraints=118638
407.47/407.62	c nbDecision=32000 #constraints=118638
413.57/413.74	c nbDecision=32500 #constraints=118638
419.67/419.86	c nbDecision=33000 #constraints=118638
425.76/425.93	c nbDecision=33500 #constraints=118638
431.86/432.03	c nbDecision=34000 #constraints=118638
437.96/438.15	c nbDecision=34500 #constraints=118638
444.06/444.23	c nbDecision=35000 #constraints=118638
450.16/450.30	c nbDecision=35500 #constraints=118638
456.26/456.43	c nbDecision=36000 #constraints=118638
462.35/462.52	c nbDecision=36500 #constraints=118638
468.35/468.59	c nbDecision=37000 #constraints=118638
474.55/474.70	c nbDecision=37500 #constraints=118638
480.65/480.81	c nbDecision=38000 #constraints=118638
486.64/486.87	c nbDecision=38500 #constraints=118638
492.75/492.97	c nbDecision=39000 #constraints=118638
498.84/499.09	c nbDecision=39500 #constraints=118638
504.94/505.15	c nbDecision=40000 #constraints=118638
511.04/511.23	c nbDecision=40500 #constraints=118638
517.13/517.35	c nbDecision=41000 #constraints=118638
523.24/523.43	c nbDecision=41500 #constraints=118638
529.24/529.49	c nbDecision=42000 #constraints=118638
535.44/535.60	c nbDecision=42500 #constraints=118638
541.44/541.70	c nbDecision=43000 #constraints=118638
547.53/547.75	c nbDecision=43500 #constraints=118638
553.63/553.85	c nbDecision=44000 #constraints=118638
559.73/559.95	c nbDecision=44500 #constraints=118638
565.83/566.00	c nbDecision=45000 #constraints=118638
571.83/572.08	c nbDecision=45500 #constraints=118638
577.92/578.19	c nbDecision=46000 #constraints=118638
584.03/584.25	c nbDecision=46500 #constraints=118638
590.12/590.30	c nbDecision=47000 #constraints=118638
596.22/596.41	c nbDecision=47500 #constraints=118638
602.22/602.48	c nbDecision=48000 #constraints=118638
608.31/608.53	c nbDecision=48500 #constraints=118638
614.41/614.62	c nbDecision=49000 #constraints=118638
620.51/620.72	c nbDecision=49500 #constraints=118638
626.51/626.76	c nbDecision=50000 #constraints=118638
632.61/632.84	c nbDecision=50500 #constraints=118638
638.71/638.94	c nbDecision=51000 #constraints=118638
641.11/641.39	c restart after 51201 decisions
644.80/645.08	c nbDecision=51500 #constraints=118638
650.90/651.17	c nbDecision=52000 #constraints=118638
657.10/657.31	c nbDecision=52500 #constraints=118638
663.20/663.41	c nbDecision=53000 #constraints=118638
669.20/669.48	c nbDecision=53500 #constraints=118638
675.39/675.62	c nbDecision=54000 #constraints=118638
681.49/681.73	c nbDecision=54500 #constraints=118638
687.59/687.80	c nbDecision=55000 #constraints=118638
693.70/693.92	c nbDecision=55500 #constraints=118638
699.80/700.04	c nbDecision=56000 #constraints=118638
705.89/706.12	c nbDecision=56500 #constraints=118638
711.99/712.22	c nbDecision=57000 #constraints=118638
718.09/718.35	c nbDecision=57500 #constraints=118638
724.19/724.43	c nbDecision=58000 #constraints=118638
730.29/730.51	c nbDecision=58500 #constraints=118638
736.38/736.63	c nbDecision=59000 #constraints=118638
742.48/742.73	c nbDecision=59500 #constraints=118638
748.58/748.80	c nbDecision=60000 #constraints=118638
754.68/754.92	c nbDecision=60500 #constraints=118638
760.78/761.03	c nbDecision=61000 #constraints=118638
766.87/767.10	c nbDecision=61500 #constraints=118638
772.97/773.20	c nbDecision=62000 #constraints=118638
779.07/779.32	c nbDecision=62500 #constraints=118638
785.07/785.38	c nbDecision=63000 #constraints=118638
791.17/791.47	c nbDecision=63500 #constraints=118638
797.27/797.60	c nbDecision=64000 #constraints=118638
803.36/803.68	c nbDecision=64500 #constraints=118638
809.46/809.74	c nbDecision=65000 #constraints=118638
815.56/815.86	c nbDecision=65500 #constraints=118638
821.66/821.96	c nbDecision=66000 #constraints=118638
827.75/828.01	c nbDecision=66500 #constraints=118638
833.85/834.11	c nbDecision=67000 #constraints=118638
839.95/840.22	c nbDecision=67500 #constraints=118638
845.96/846.28	c nbDecision=68000 #constraints=118638
852.06/852.36	c nbDecision=68500 #constraints=118638
858.15/858.48	c nbDecision=69000 #constraints=118638
864.25/864.54	c nbDecision=69500 #constraints=118638
870.35/870.61	c nbDecision=70000 #constraints=118638
876.45/876.72	c nbDecision=70500 #constraints=118638
882.44/882.80	c nbDecision=71000 #constraints=118638
888.55/888.85	c nbDecision=71500 #constraints=118638
894.64/894.95	c nbDecision=72000 #constraints=118638
900.75/901.04	c nbDecision=72500 #constraints=118638
906.74/907.09	c nbDecision=73000 #constraints=118638
912.84/913.17	c nbDecision=73500 #constraints=118638
918.93/919.28	c nbDecision=74000 #constraints=118638
925.03/925.32	c nbDecision=74500 #constraints=118638
931.03/931.39	c nbDecision=75000 #constraints=118638
937.13/937.49	c nbDecision=75500 #constraints=118638
943.22/943.56	c nbDecision=76000 #constraints=118638
949.32/949.60	c nbDecision=76500 #constraints=118638
955.42/955.70	c nbDecision=77000 #constraints=118638
961.42/961.78	c nbDecision=77500 #constraints=118638
967.53/967.82	c nbDecision=78000 #constraints=118638
973.63/973.90	c nbDecision=78500 #constraints=118638
979.62/979.99	c nbDecision=79000 #constraints=118638
985.72/986.03	c nbDecision=79500 #constraints=118638
991.72/992.09	c nbDecision=80000 #constraints=118638
997.82/998.19	c nbDecision=80500 #constraints=118638
1003.92/1004.25	c nbDecision=81000 #constraints=118638
1009.91/1010.29	c nbDecision=81500 #constraints=118638
1016.01/1016.39	c nbDecision=82000 #constraints=118638
1022.11/1022.45	c nbDecision=82500 #constraints=118638
1028.11/1028.48	c nbDecision=83000 #constraints=118638
1034.20/1034.57	c nbDecision=83500 #constraints=118638
1040.31/1040.65	c nbDecision=84000 #constraints=118638
1046.30/1046.68	c nbDecision=84500 #constraints=118638
1052.40/1052.75	c nbDecision=85000 #constraints=118638
1058.50/1058.83	c nbDecision=85500 #constraints=118638
1064.50/1064.87	c nbDecision=86000 #constraints=118638
1070.59/1070.91	c nbDecision=86500 #constraints=118638
1076.59/1077.00	c nbDecision=87000 #constraints=118638
1082.69/1083.05	c nbDecision=87500 #constraints=118638
1088.69/1089.08	c nbDecision=88000 #constraints=118638
1094.78/1095.16	c nbDecision=88500 #constraints=118638
1100.89/1101.23	c nbDecision=89000 #constraints=118638
1106.89/1107.25	c nbDecision=89500 #constraints=118638
1112.99/1113.32	c nbDecision=90000 #constraints=118638
1119.08/1119.40	c nbDecision=90500 #constraints=118638
1125.09/1125.43	c nbDecision=91000 #constraints=118638
1131.08/1131.47	c nbDecision=91500 #constraints=118638
1137.18/1137.55	c nbDecision=92000 #constraints=118638
1143.18/1143.59	c nbDecision=92500 #constraints=118638
1149.28/1149.61	c nbDecision=93000 #constraints=118638
1155.27/1155.69	c nbDecision=93500 #constraints=118638
1161.37/1161.75	c nbDecision=94000 #constraints=118638
1167.37/1167.77	c nbDecision=94500 #constraints=118638
1173.47/1173.82	c nbDecision=95000 #constraints=118638
1179.46/1179.89	c nbDecision=95500 #constraints=118638
1185.57/1185.91	c nbDecision=96000 #constraints=118638
1191.56/1191.95	c nbDecision=96500 #constraints=118638
1197.66/1198.02	c nbDecision=97000 #constraints=118638
1203.66/1204.05	c nbDecision=97500 #constraints=118638
1209.66/1210.07	c nbDecision=98000 #constraints=118638
1215.75/1216.14	c nbDecision=98500 #constraints=118638
1221.75/1222.18	c nbDecision=99000 #constraints=118638
1227.85/1228.20	c nbDecision=99500 #constraints=118638
1233.86/1234.25	c nbDecision=100000 #constraints=118638
1239.95/1240.32	c nbDecision=100500 #constraints=118638
1245.95/1246.32	c nbDecision=101000 #constraints=118638
1251.95/1252.36	c nbDecision=101500 #constraints=118638
1258.05/1258.43	c nbDecision=102000 #constraints=118638
1262.84/1263.27	c restart after 102401 decisions
1264.14/1264.56	c nbDecision=102500 #constraints=118638
1270.24/1270.65	c nbDecision=103000 #constraints=118638
1276.34/1276.78	c nbDecision=103500 #constraints=118638
1282.44/1282.88	c nbDecision=104000 #constraints=118638
1288.53/1288.96	c nbDecision=104500 #constraints=118638
1294.63/1295.09	c nbDecision=105000 #constraints=118638
1300.83/1301.20	c nbDecision=105500 #constraints=118638
1306.83/1307.28	c nbDecision=106000 #constraints=118638
1312.93/1313.38	c nbDecision=106500 #constraints=118638
1319.12/1319.51	c nbDecision=107000 #constraints=118638
1325.13/1325.58	c nbDecision=107500 #constraints=118638
1331.22/1331.67	c nbDecision=108000 #constraints=118638
1337.42/1337.80	c nbDecision=108500 #constraints=118638
1343.41/1343.89	c nbDecision=109000 #constraints=118638
1349.51/1349.96	c nbDecision=109500 #constraints=118638
1355.61/1356.09	c nbDecision=110000 #constraints=118638
1361.71/1362.19	c nbDecision=110500 #constraints=118638
1367.82/1368.25	c nbDecision=111000 #constraints=118638
1373.92/1374.36	c nbDecision=111500 #constraints=118638
1380.01/1380.48	c nbDecision=112000 #constraints=118638
1386.11/1386.55	c nbDecision=112500 #constraints=118638
1392.21/1392.65	c nbDecision=113000 #constraints=118638
1398.31/1398.77	c nbDecision=113500 #constraints=118638
1404.41/1404.85	c nbDecision=114000 #constraints=118638
1410.50/1410.92	c nbDecision=114500 #constraints=118638
1416.60/1417.04	c nbDecision=115000 #constraints=118638
1422.70/1423.13	c nbDecision=115500 #constraints=118638
1428.69/1429.19	c nbDecision=116000 #constraints=118638
1434.89/1435.30	c nbDecision=116500 #constraints=118638
1440.99/1441.40	c nbDecision=117000 #constraints=118638
1446.99/1447.46	c nbDecision=117500 #constraints=118638
1453.09/1453.56	c nbDecision=118000 #constraints=118638
1459.19/1459.68	c nbDecision=118500 #constraints=118638
1465.28/1465.74	c nbDecision=119000 #constraints=118638
1471.39/1471.81	c nbDecision=119500 #constraints=118638
1477.48/1477.93	c nbDecision=120000 #constraints=118638
1483.48/1484.00	c nbDecision=120500 #constraints=118638
1489.58/1490.05	c nbDecision=121000 #constraints=118638
1495.68/1496.16	c nbDecision=121500 #constraints=118638
1501.77/1502.25	c nbDecision=122000 #constraints=118638
1507.88/1508.30	c nbDecision=122500 #constraints=118638
1513.98/1514.40	c nbDecision=123000 #constraints=118638
1520.08/1520.50	c nbDecision=123500 #constraints=118638
1526.08/1526.55	c nbDecision=124000 #constraints=118638
1532.17/1532.63	c nbDecision=124500 #constraints=118638
1538.27/1538.73	c nbDecision=125000 #constraints=118638
1544.27/1544.79	c nbDecision=125500 #constraints=118638
1550.37/1550.84	c nbDecision=126000 #constraints=118638
1556.46/1556.95	c nbDecision=126500 #constraints=118638
1562.56/1563.02	c nbDecision=127000 #constraints=118638
1568.56/1569.06	c nbDecision=127500 #constraints=118638
1574.66/1575.15	c nbDecision=128000 #constraints=118638
1580.76/1581.24	c nbDecision=128500 #constraints=118638
1586.75/1587.28	c nbDecision=129000 #constraints=118638
1592.85/1593.36	c nbDecision=129500 #constraints=118638
1598.95/1599.46	c nbDecision=130000 #constraints=118638
1605.05/1605.50	c nbDecision=130500 #constraints=118638
1611.05/1611.55	c nbDecision=131000 #constraints=118638
1617.14/1617.65	c nbDecision=131500 #constraints=118638
1623.25/1623.71	c nbDecision=132000 #constraints=118638
1629.24/1629.75	c nbDecision=132500 #constraints=118638
1635.34/1635.84	c nbDecision=133000 #constraints=118638
1641.44/1641.91	c nbDecision=133500 #constraints=118638
1647.44/1647.95	c nbDecision=134000 #constraints=118638
1653.54/1654.03	c nbDecision=134500 #constraints=118638
1659.64/1660.11	c nbDecision=135000 #constraints=118638
1665.64/1666.15	c nbDecision=135500 #constraints=118638
1671.74/1672.20	c nbDecision=136000 #constraints=118638
1677.73/1678.29	c nbDecision=136500 #constraints=118638
1683.83/1684.34	c nbDecision=137000 #constraints=118638
1689.83/1690.37	c nbDecision=137500 #constraints=118638
1695.93/1696.46	c nbDecision=138000 #constraints=118638
1702.03/1702.52	c nbDecision=138500 #constraints=118638
1708.03/1708.55	c nbDecision=139000 #constraints=118638
1714.12/1714.62	c nbDecision=139500 #constraints=118638
1720.12/1720.69	c nbDecision=140000 #constraints=118638
1726.22/1726.72	c nbDecision=140500 #constraints=118638
1732.21/1732.78	c nbDecision=141000 #constraints=118638
1738.31/1738.86	c nbDecision=141500 #constraints=118638
1744.31/1744.89	c nbDecision=142000 #constraints=118638
1750.41/1750.93	c nbDecision=142500 #constraints=118638
1756.51/1757.01	c nbDecision=143000 #constraints=118638
1762.50/1763.06	c nbDecision=143500 #constraints=118638
1768.50/1769.08	c nbDecision=144000 #constraints=118638
1774.60/1775.16	c nbDecision=144500 #constraints=118638
1780.70/1781.22	c nbDecision=145000 #constraints=118638
1786.70/1787.24	c nbDecision=145500 #constraints=118638
1792.70/1793.29	c nbDecision=146000 #constraints=118638
1798.80/1799.36	c nbDecision=146500 #constraints=118638
1800.01/1800.50	Received signal 15
1800.01/1800.51	
1800.01/1800.51	s UNKNOWN
1800.01/1800.51	
1800.01/1800.51	c user time= 1799.47 s
1800.01/1800.51	c system time= 0.550916 s
1800.01/1800.51	c wall clock time=1800.51

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/node19/watcher-356847-1176845194 -o ROOT/results/node19/solver-356847-1176845194 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356847-1176845194/instance-356847-1176845194.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 10556
/proc/meminfo: memFree=1454920/2055920 swapFree=4159444/4192956
[pid=10556] ppid=10554 vsize=1468 CPUtime=0
/proc/10556/stat : 10556 (oree) R 10554 10556 9600 0 -1 4194304 179 0 0 0 0 0 0 0 18 0 1 0 132436991 1503232 161 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134827878 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10556/statm: 367 161 126 317 0 46 0

[startup+0.104245 s]
/proc/loadavg: 0.93 0.98 0.99 3/77 10556
/proc/meminfo: memFree=1454920/2055920 swapFree=4159444/4192956
[pid=10556] ppid=10554 vsize=3440 CPUtime=0.1
/proc/10556/stat : 10556 (oree) R 10554 10556 9600 0 -1 4194304 857 0 0 0 10 0 0 0 18 0 1 0 132436991 3522560 612 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10556/statm: 860 612 126 317 0 539 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 3440

[startup+0.201254 s]
/proc/loadavg: 0.93 0.98 0.99 3/77 10556
/proc/meminfo: memFree=1454920/2055920 swapFree=4159444/4192956
[pid=10556] ppid=10554 vsize=5520 CPUtime=0.19
/proc/10556/stat : 10556 (oree) R 10554 10556 9600 0 -1 4194304 1571 0 0 0 19 0 0 0 18 0 1 0 132436991 5652480 1069 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10556/statm: 1380 1069 126 317 0 1059 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 5520

[startup+0.301264 s]
/proc/loadavg: 0.93 0.98 0.99 3/77 10556
/proc/meminfo: memFree=1454920/2055920 swapFree=4159444/4192956
[pid=10556] ppid=10554 vsize=9548 CPUtime=0.29
/proc/10556/stat : 10556 (oree) R 10554 10556 9600 0 -1 4194304 2781 0 0 0 28 1 0 0 19 0 1 0 132436991 9777152 1766 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10556/statm: 2387 1766 126 317 0 2066 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9548

[startup+0.701309 s]
/proc/loadavg: 0.93 0.98 0.99 3/77 10556
/proc/meminfo: memFree=1454920/2055920 swapFree=4159444/4192956
[pid=10556] ppid=10554 vsize=9548 CPUtime=0.69
/proc/10556/stat : 10556 (oree) R 10554 10556 9600 0 -1 4194304 2958 0 0 0 68 1 0 0 23 0 1 0 132436991 9777152 1943 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712511 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10556/statm: 2387 1943 127 317 0 2066 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 9548

[startup+1.50139 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 10557
/proc/meminfo: memFree=1441920/2055920 swapFree=4159444/4192956
[pid=10556] ppid=10554 vsize=19852 CPUtime=1.49
/proc/10556/stat : 10556 (oree) R 10554 10556 9600 0 -1 4194304 5525 0 0 0 146 3 0 0 25 0 1 0 132436991 20328448 4510 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10556/statm: 4963 4510 131 317 0 4642 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 19852

[startup+3.10257 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 10557
/proc/meminfo: memFree=1426944/2055920 swapFree=4159444/4192956
[pid=10556] ppid=10554 vsize=44796 CPUtime=3.09
/proc/10556/stat : 10556 (oree) R 10554 10556 9600 0 -1 4194304 11774 0 0 0 303 6 0 0 25 0 1 0 132436991 45871104 10726 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135274638 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10556/statm: 11199 10726 131 317 0 10878 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 44796

[startup+6.30192 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 10557
/proc/meminfo: memFree=1367168/2055920 swapFree=4159444/4192956
[pid=10556] ppid=10554 vsize=109240 CPUtime=6.29
/proc/10556/stat : 10556 (oree) R 10554 10556 9600 0 -1 4194304 30216 0 0 0 616 13 0 0 25 0 1 0 132436991 111861760 25935 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10556/statm: 27310 25935 131 317 0 26989 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 109240

[startup+12.7016 s]
/proc/loadavg: 0.94 0.98 0.99 2/78 10557
/proc/meminfo: memFree=1236104/2055920 swapFree=4159444/4192956
[pid=10556] ppid=10554 vsize=285528 CPUtime=12.69
/proc/10556/stat : 10556 (oree) R 10554 10556 9600 0 -1 4194304 70259 0 0 0 1236 33 0 0 25 0 1 0 132436991 292380672 65979 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134542573 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10556/statm: 71382 65982 136 317 0 71061 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 285528

[startup+25.502 s]
/proc/loadavg: 0.95 0.98 0.99 2/78 10557
/proc/meminfo: memFree=1103752/2055920 swapFree=4159444/4192956
[pid=10556] ppid=10554 vsize=356952 CPUtime=25.49
/proc/10556/stat : 10556 (oree) R 10554 10556 9600 0 -1 4194304 92179 0 0 0 2507 42 0 0 25 0 1 0 132436991 365518848 87898 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134606691 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10556/statm: 89238 87898 138 317 0 88917 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 356952

[startup+51.1018 s]
/proc/loadavg: 0.97 0.98 0.99 2/78 10557
/proc/meminfo: memFree=1103880/2055920 swapFree=4159444/4192956
[pid=10556] ppid=10554 vsize=356952 CPUtime=51.06
/proc/10556/stat : 10556 (oree) R 10554 10556 9600 0 -1 4194304 92180 0 0 0 5064 42 0 0 25 0 1 0 132436991 365518848 87899 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134606698 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10556/statm: 89238 87899 138 317 0 88917 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 356952

[startup+102.301 s]
/proc/loadavg: 0.98 0.98 0.99 2/78 10557
/proc/meminfo: memFree=1103880/2055920 swapFree=4159444/4192956
[pid=10556] ppid=10554 vsize=356952 CPUtime=102.26
/proc/10556/stat : 10556 (oree) R 10554 10556 9600 0 -1 4194304 92182 0 0 0 10183 43 0 0 25 0 1 0 132436991 365518848 87901 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134606679 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10556/statm: 89238 87901 138 317 0 88917 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 356952

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 10557
/proc/meminfo: memFree=1103944/2055920 swapFree=4159444/4192956
[pid=10556] ppid=10554 vsize=356952 CPUtime=162.23
/proc/10556/stat : 10556 (oree) R 10554 10556 9600 0 -1 4194304 92184 0 0 0 16180 43 0 0 25 0 1 0 132436991 365518848 87903 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10556/statm: 89238 87903 138 317 0 88917 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 356952

[startup+222.305 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 10557
/proc/meminfo: memFree=1103944/2055920 swapFree=4159444/4192956
[pid=10556] ppid=10554 vsize=356952 CPUtime=222.22
/proc/10556/stat : 10556 (oree) R 10554 10556 9600 0 -1 4194304 92185 0 0 0 22178 44 0 0 25 0 1 0 132436991 365518848 87904 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10556/statm: 89238 87904 138 317 0 88917 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 356952

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 10557
/proc/meminfo: memFree=1103880/2055920 swapFree=4159444/4192956
[pid=10556] ppid=10554 vsize=356952 CPUtime=282.2
/proc/10556/stat : 10556 (oree) R 10554 10556 9600 0 -1 4194304 92188 0 0 0 28176 44 0 0 25 0 1 0 132436991 365518848 87907 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10556/statm: 89238 87907 138 317 0 88917 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 356952

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 10557
/proc/meminfo: memFree=1103880/2055920 swapFree=4159444/4192956
[pid=10556] ppid=10554 vsize=356952 CPUtime=342.18
/proc/10556/stat : 10556 (oree) R 10554 10556 9600 0 -1 4194304 92191 0 0 0 34174 44 0 0 25 0 1 0 132436991 365518848 87910 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134606695 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10556/statm: 89238 87910 138 317 0 88917 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 356952

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 10557
/proc/meminfo: memFree=1103880/2055920 swapFree=4159444/4192956
[pid=10556] ppid=10554 vsize=356952 CPUtime=402.17
/proc/10556/stat : 10556 (oree) R 10554 10556 9600 0 -1 4194304 92191 0 0 0 40172 45 0 0 25 0 1 0 132436991 365518848 87910 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10556/statm: 89238 87910 138 317 0 88917 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 356952

[startup+462.301 s]
/proc/loadavg: 1.03 1.00 1.00 2/78 10557
/proc/meminfo: memFree=1103880/2055920 swapFree=4159444/4192956
[pid=10556] ppid=10554 vsize=356952 CPUtime=462.15
/proc/10556/stat : 10556 (oree) R 10554 10556 9600 0 -1 4194304 92191 0 0 0 46170 45 0 0 25 0 1 0 132436991 365518848 87910 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134606721 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10556/statm: 89238 87910 138 317 0 88917 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 356952

[startup+522.302 s]
/proc/loadavg: 1.01 1.00 1.00 2/78 10557
/proc/meminfo: memFree=1103880/2055920 swapFree=4159444/4192956
[pid=10556] ppid=10554 vsize=356952 CPUtime=522.14
/proc/10556/stat : 10556 (oree) R 10554 10556 9600 0 -1 4194304 92194 0 0 0 52168 46 0 0 25 0 1 0 132436991 365518848 87913 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134606682 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10556/statm: 89238 87913 138 317 0 88917 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 356952

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10557
/proc/meminfo: memFree=1103816/2055920 swapFree=4159444/4192956
[pid=10556] ppid=10554 vsize=356952 CPUtime=582.12
/proc/10556/stat : 10556 (oree) R 10554 10556 9600 0 -1 4194304 92200 0 0 0 58166 46 0 0 25 0 1 0 132436991 365518848 87919 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10556/statm: 89238 87919 138 317 0 88917 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 356952

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10557
/proc/meminfo: memFree=1103816/2055920 swapFree=4159444/4192956
[pid=10556] ppid=10554 vsize=356952 CPUtime=642.1
/proc/10556/stat : 10556 (oree) R 10554 10556 9600 0 -1 4194304 92205 0 0 0 64164 46 0 0 25 0 1 0 132436991 365518848 87924 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10556/statm: 89238 87924 138 317 0 88917 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 356952


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

[startup+882.307 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10559
/proc/meminfo: memFree=1103816/2055920 swapFree=4159444/4192956
[pid=10556] ppid=10554 vsize=356952 CPUtime=882.05
/proc/10556/stat : 10556 (oree) R 10554 10556 9600 0 -1 4194304 92205 0 0 0 88157 48 0 0 25 0 1 0 132436991 365518848 87924 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10556/statm: 89238 87924 138 317 0 88917 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 356952

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10559
/proc/meminfo: memFree=1103816/2055920 swapFree=4159444/4192956
[pid=10556] ppid=10554 vsize=356952 CPUtime=942.02
/proc/10556/stat : 10556 (oree) R 10554 10556 9600 0 -1 4194304 92205 0 0 0 94154 48 0 0 25 0 1 0 132436991 365518848 87924 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134606698 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10556/statm: 89238 87924 138 317 0 88917 0
Current children cumulated CPU time (s) 942.02
Current children cumulated vsize (KiB) 356952

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10559
/proc/meminfo: memFree=1103816/2055920 swapFree=4159444/4192956
[pid=10556] ppid=10554 vsize=356952 CPUtime=1002.02
/proc/10556/stat : 10556 (oree) R 10554 10556 9600 0 -1 4194304 92209 0 0 0 100153 49 0 0 25 0 1 0 132436991 365518848 87928 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134606695 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10556/statm: 89238 87928 138 317 0 88917 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 356952

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10559
/proc/meminfo: memFree=1103752/2055920 swapFree=4159444/4192956
[pid=10556] ppid=10554 vsize=357080 CPUtime=1061.99
/proc/10556/stat : 10556 (oree) R 10554 10556 9600 0 -1 4194304 92214 0 0 0 106150 49 0 0 25 0 1 0 132436991 365649920 87933 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134606847 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10556/statm: 89270 87933 138 317 0 88949 0
Current children cumulated CPU time (s) 1061.99
Current children cumulated vsize (KiB) 357080

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10559
/proc/meminfo: memFree=1103816/2055920 swapFree=4159444/4192956
[pid=10556] ppid=10554 vsize=357080 CPUtime=1121.98
/proc/10556/stat : 10556 (oree) R 10554 10556 9600 0 -1 4194304 92219 0 0 0 112148 50 0 0 25 0 1 0 132436991 365649920 87938 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134606847 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10556/statm: 89270 87938 138 317 0 88949 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 357080

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10559
/proc/meminfo: memFree=1103752/2055920 swapFree=4159444/4192956
[pid=10556] ppid=10554 vsize=357080 CPUtime=1181.96
/proc/10556/stat : 10556 (oree) R 10554 10556 9600 0 -1 4194304 92225 0 0 0 118146 50 0 0 25 0 1 0 132436991 365649920 87944 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10556/statm: 89270 87944 138 317 0 88949 0
Current children cumulated CPU time (s) 1181.96
Current children cumulated vsize (KiB) 357080

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10559
/proc/meminfo: memFree=1103752/2055920 swapFree=4159444/4192956
[pid=10556] ppid=10554 vsize=357080 CPUtime=1241.95
/proc/10556/stat : 10556 (oree) R 10554 10556 9600 0 -1 4194304 92230 0 0 0 124144 51 0 0 25 0 1 0 132436991 365649920 87949 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134606721 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10556/statm: 89270 87949 138 317 0 88949 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 357080

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10559
/proc/meminfo: memFree=1103752/2055920 swapFree=4159444/4192956
[pid=10556] ppid=10554 vsize=357064 CPUtime=1301.93
/proc/10556/stat : 10556 (oree) R 10554 10556 9600 0 -1 4194304 92232 0 0 0 130142 51 0 0 25 0 1 0 132436991 365633536 87951 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10556/statm: 89266 87951 138 317 0 88945 0
Current children cumulated CPU time (s) 1301.93
Current children cumulated vsize (KiB) 357064

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10559
/proc/meminfo: memFree=1103688/2055920 swapFree=4159444/4192956
[pid=10556] ppid=10554 vsize=357064 CPUtime=1361.91
/proc/10556/stat : 10556 (oree) R 10554 10556 9600 0 -1 4194304 92232 0 0 0 136140 51 0 0 25 0 1 0 132436991 365633536 87951 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134606847 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10556/statm: 89266 87951 138 317 0 88945 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 357064

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10559
/proc/meminfo: memFree=1103752/2055920 swapFree=4159444/4192956
[pid=10556] ppid=10554 vsize=357064 CPUtime=1421.9
/proc/10556/stat : 10556 (oree) R 10554 10556 9600 0 -1 4194304 92232 0 0 0 142138 52 0 0 25 0 1 0 132436991 365633536 87951 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134606695 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10556/statm: 89266 87951 138 317 0 88945 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 357064

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10559
/proc/meminfo: memFree=1103752/2055920 swapFree=4159444/4192956
[pid=10556] ppid=10554 vsize=357064 CPUtime=1481.88
/proc/10556/stat : 10556 (oree) R 10554 10556 9600 0 -1 4194304 92232 0 0 0 148136 52 0 0 25 0 1 0 132436991 365633536 87951 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134606732 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10556/statm: 89266 87951 138 317 0 88945 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 357064

[startup+1542.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10559
/proc/meminfo: memFree=1103752/2055920 swapFree=4159444/4192956
[pid=10556] ppid=10554 vsize=357064 CPUtime=1541.87
/proc/10556/stat : 10556 (oree) R 10554 10556 9600 0 -1 4194304 92232 0 0 0 154134 53 0 0 25 0 1 0 132436991 365633536 87951 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134606673 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10556/statm: 89266 87951 138 317 0 88945 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 357064

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10559
/proc/meminfo: memFree=1103752/2055920 swapFree=4159444/4192956
[pid=10556] ppid=10554 vsize=357064 CPUtime=1601.85
/proc/10556/stat : 10556 (oree) R 10554 10556 9600 0 -1 4194304 92232 0 0 0 160132 53 0 0 25 0 1 0 132436991 365633536 87951 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134606698 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10556/statm: 89266 87951 138 317 0 88945 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 357064

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10559
/proc/meminfo: memFree=1103752/2055920 swapFree=4159444/4192956
[pid=10556] ppid=10554 vsize=357064 CPUtime=1661.84
/proc/10556/stat : 10556 (oree) R 10554 10556 9600 0 -1 4194304 92232 0 0 0 166130 54 0 0 25 0 1 0 132436991 365633536 87951 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10556/statm: 89266 87951 138 317 0 88945 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 357064

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10559
/proc/meminfo: memFree=1103752/2055920 swapFree=4159444/4192956
[pid=10556] ppid=10554 vsize=357064 CPUtime=1721.82
/proc/10556/stat : 10556 (oree) R 10554 10556 9600 0 -1 4194304 92232 0 0 0 172128 54 0 0 25 0 1 0 132436991 365633536 87951 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134606695 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10556/statm: 89266 87951 138 317 0 88945 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 357064

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10559
/proc/meminfo: memFree=1103752/2055920 swapFree=4159444/4192956
[pid=10556] ppid=10554 vsize=357064 CPUtime=1781.8
/proc/10556/stat : 10556 (oree) R 10554 10556 9600 0 -1 4194304 92232 0 0 0 178126 54 0 0 25 0 1 0 132436991 365633536 87951 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134606673 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10556/statm: 89266 87951 138 317 0 88945 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 357064



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10559
/proc/meminfo: memFree=1103752/2055920 swapFree=4159444/4192956
[pid=10556] ppid=10554 vsize=357064 CPUtime=1800.01
/proc/10556/stat : 10556 (oree) R 10554 10556 9600 0 -1 4194304 92232 0 0 0 179946 55 0 0 25 0 1 0 132436991 365633536 87951 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134606732 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10556/statm: 89266 87951 138 317 0 88945 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 357064

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

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

[startup+1800.61 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10559
/proc/meminfo: memFree=1103752/2055920 swapFree=4159444/4192956
[pid=10556] ppid=10554 vsize=336608 CPUtime=1800.1
/proc/10556/stat : 10556 (oree) R 10554 10556 9600 0 -1 4194304 92248 0 0 0 179955 55 0 0 25 0 1 0 132436991 344686592 82859 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135284166 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10556/statm: 84152 82859 154 317 0 83831 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 336608

Child status: 0
Real time (s): 1800.7
CPU time (s): 1800.2
CPU user time (s): 1799.6
CPU system time (s): 0.605907
CPU usage (%): 99.9725
Max. virtual memory (cumulated for all children) (KiB): 357084

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

runsolver used 1.91871 second user time and 4.65729 second system time

The end

Launcher Data (download as text)

Begin job on node19 on Tue Apr 17 21:26:36 UTC 2007

IDJOB= 356847
IDBENCH= 1505
IDSOLVER= 172
FILE ID= node19/356847-1176845194

PBS_JOBID= 4590131

Free space on /tmp= 66445 MiB

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

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  9b565ffd2f62b11d1859d685ea38235b

RANDOM SEED= 251757668

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node19.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.213
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.213
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:       1455328 kB
Buffers:         38352 kB
Cached:         479132 kB
SwapCached:       2580 kB
Active:         252940 kB
Inactive:       294688 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1455328 kB
SwapTotal:     4192956 kB
SwapFree:      4159444 kB
Dirty:           45684 kB
Writeback:           0 kB
Mapped:          37848 kB
Slab:            38440 kB
Committed_AS:  2958848 kB
PageTables:       1800 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= 66445 MiB

End job on node19 on Tue Apr 17 21:56:39 UTC 2007