Trace number 356872

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.3 1800.9

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-reduced-mps-v2-20-10-neos9.opb
MD5SUM3f95880b258ecfc346507235783375e9
Bench CategoryOPT-SMALLINT (optimisation, small 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 14
Number of bits for the biggest coefficient in the objective function 4
Sum of the numbers in the objective function 636932
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 6076
Number of bits of the biggest number in a constraint 13
Biggest sum of numbers in a constraint 636932
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

0.00/0.00	c This is oree version 0.1.2 alpha
0.00/0.00	c (c) roussel@cril.univ-artois.fr
0.00/0.00	c using __gmp_expr<__gmpz_value, __gmpz_value>
0.00/0.00	c parsing...
12.28/12.34	c ...done
12.28/12.34	c #vars=874498 #constraints=118638 hasObjective=yes
16.39/16.41	c res. mode=mod
16.39/16.41	c VSIDS like heuristics
16.39/16.41	c complete search running
21.29/21.33	c restart after 401 decisions
22.49/22.57	c nbDecision=500 #constraints=118638
26.19/26.28	c restart after 801 decisions
28.69/28.74	c nbDecision=1000 #constraints=118638
34.78/34.83	c nbDecision=1500 #constraints=118638
35.98/36.07	c restart after 1601 decisions
40.88/40.96	c nbDecision=2000 #constraints=118638
46.98/47.09	c nbDecision=2500 #constraints=118638
53.08/53.19	c nbDecision=3000 #constraints=118638
55.58/55.64	c restart after 3201 decisions
59.28/59.31	c nbDecision=3500 #constraints=118638
65.38/65.43	c nbDecision=4000 #constraints=118638
71.48/71.55	c nbDecision=4500 #constraints=118638
77.57/77.62	c nbDecision=5000 #constraints=118638
83.67/83.73	c nbDecision=5500 #constraints=118638
89.77/89.86	c nbDecision=6000 #constraints=118638
94.67/94.74	c restart after 6401 decisions
95.87/95.98	c nbDecision=6500 #constraints=118638
101.96/102.07	c nbDecision=7000 #constraints=118638
108.16/108.20	c nbDecision=7500 #constraints=118638
114.16/114.29	c nbDecision=8000 #constraints=118638
120.26/120.37	c nbDecision=8500 #constraints=118638
126.46/126.50	c nbDecision=9000 #constraints=118638
132.55/132.61	c nbDecision=9500 #constraints=118638
138.56/138.67	c nbDecision=10000 #constraints=118638
144.65/144.79	c nbDecision=10500 #constraints=118638
150.85/150.91	c nbDecision=11000 #constraints=118638
156.85/156.98	c nbDecision=11500 #constraints=118638
162.95/163.08	c nbDecision=12000 #constraints=118638
169.14/169.20	c nbDecision=12500 #constraints=118638
172.74/172.87	c restart after 12801 decisions
175.24/175.33	c nbDecision=13000 #constraints=118638
181.35/181.41	c nbDecision=13500 #constraints=118638
187.44/187.55	c nbDecision=14000 #constraints=118638
193.54/193.65	c nbDecision=14500 #constraints=118638
199.64/199.72	c nbDecision=15000 #constraints=118638
205.73/205.84	c nbDecision=15500 #constraints=118638
211.83/211.96	c nbDecision=16000 #constraints=118638
217.93/218.02	c nbDecision=16500 #constraints=118638
224.03/224.13	c nbDecision=17000 #constraints=118638
230.13/230.26	c nbDecision=17500 #constraints=118638
236.23/236.33	c nbDecision=18000 #constraints=118638
242.32/242.42	c nbDecision=18500 #constraints=118638
248.43/248.54	c nbDecision=19000 #constraints=118638
254.52/254.63	c nbDecision=19500 #constraints=118638
260.52/260.70	c nbDecision=20000 #constraints=118638
266.72/266.82	c nbDecision=20500 #constraints=118638
272.82/272.92	c nbDecision=21000 #constraints=118638
278.81/278.98	c nbDecision=21500 #constraints=118638
284.91/285.09	c nbDecision=22000 #constraints=118638
291.11/291.20	c nbDecision=22500 #constraints=118638
297.11/297.26	c nbDecision=23000 #constraints=118638
303.21/303.36	c nbDecision=23500 #constraints=118638
309.31/309.47	c nbDecision=24000 #constraints=118638
315.41/315.54	c nbDecision=24500 #constraints=118638
321.50/321.62	c nbDecision=25000 #constraints=118638
327.61/327.73	c nbDecision=25500 #constraints=118638
328.81/328.98	c restart after 25601 decisions
333.70/333.88	c nbDecision=26000 #constraints=118638
339.80/339.95	c nbDecision=26500 #constraints=118638
345.90/346.07	c nbDecision=27000 #constraints=118638
351.99/352.18	c nbDecision=27500 #constraints=118638
358.09/358.25	c nbDecision=28000 #constraints=118638
364.19/364.35	c nbDecision=28500 #constraints=118638
370.29/370.47	c nbDecision=29000 #constraints=118638
376.39/376.54	c nbDecision=29500 #constraints=118638
382.49/382.63	c nbDecision=30000 #constraints=118638
388.59/388.75	c nbDecision=30500 #constraints=118638
394.69/394.84	c nbDecision=31000 #constraints=118638
400.78/400.91	c nbDecision=31500 #constraints=118638
406.88/407.04	c nbDecision=32000 #constraints=118638
412.98/413.13	c nbDecision=32500 #constraints=118638
419.08/419.20	c nbDecision=33000 #constraints=118638
425.17/425.32	c nbDecision=33500 #constraints=118638
431.27/431.42	c nbDecision=34000 #constraints=118638
437.27/437.49	c nbDecision=34500 #constraints=118638
443.37/443.58	c nbDecision=35000 #constraints=118638
449.57/449.70	c nbDecision=35500 #constraints=118638
455.66/455.81	c nbDecision=36000 #constraints=118638
461.65/461.90	c nbDecision=36500 #constraints=118638
467.83/468.03	c nbDecision=37000 #constraints=118638
473.92/474.12	c nbDecision=37500 #constraints=118638
479.99/480.20	c nbDecision=38000 #constraints=118638
486.08/486.32	c nbDecision=38500 #constraints=118638
492.18/492.42	c nbDecision=39000 #constraints=118638
498.17/498.48	c nbDecision=39500 #constraints=118638
504.27/504.58	c nbDecision=40000 #constraints=118638
510.45/510.70	c nbDecision=40500 #constraints=118638
516.44/516.76	c nbDecision=41000 #constraints=118638
522.55/522.84	c nbDecision=41500 #constraints=118638
528.65/528.95	c nbDecision=42000 #constraints=118638
534.75/535.01	c nbDecision=42500 #constraints=118638
540.75/541.08	c nbDecision=43000 #constraints=118638
546.84/547.19	c nbDecision=43500 #constraints=118638
552.95/553.27	c nbDecision=44000 #constraints=118638
559.04/559.32	c nbDecision=44500 #constraints=118638
565.14/565.42	c nbDecision=45000 #constraints=118638
571.24/571.51	c nbDecision=45500 #constraints=118638
577.24/577.56	c nbDecision=46000 #constraints=118638
583.34/583.63	c nbDecision=46500 #constraints=118638
589.43/589.74	c nbDecision=47000 #constraints=118638
595.43/595.78	c nbDecision=47500 #constraints=118638
601.53/601.85	c nbDecision=48000 #constraints=118638
607.63/607.95	c nbDecision=48500 #constraints=118638
613.73/614.02	c nbDecision=49000 #constraints=118638
619.72/620.06	c nbDecision=49500 #constraints=118638
625.82/626.16	c nbDecision=50000 #constraints=118638
631.92/632.24	c nbDecision=50500 #constraints=118638
637.92/638.28	c nbDecision=51000 #constraints=118638
640.42/640.72	c restart after 51201 decisions
644.12/644.45	c nbDecision=51500 #constraints=118638
650.21/650.58	c nbDecision=52000 #constraints=118638
656.31/656.65	c nbDecision=52500 #constraints=118638
662.41/662.75	c nbDecision=53000 #constraints=118638
668.51/668.88	c nbDecision=53500 #constraints=118638
674.60/674.96	c nbDecision=54000 #constraints=118638
680.70/681.04	c nbDecision=54500 #constraints=118638
686.80/687.16	c nbDecision=55000 #constraints=118638
692.90/693.26	c nbDecision=55500 #constraints=118638
699.00/699.32	c nbDecision=56000 #constraints=118638
705.10/705.44	c nbDecision=56500 #constraints=118638
711.19/711.54	c nbDecision=57000 #constraints=118638
717.29/717.61	c nbDecision=57500 #constraints=118638
723.39/723.71	c nbDecision=58000 #constraints=118638
729.49/729.83	c nbDecision=58500 #constraints=118638
735.49/735.89	c nbDecision=59000 #constraints=118638
741.58/741.97	c nbDecision=59500 #constraints=118638
747.69/748.09	c nbDecision=60000 #constraints=118638
753.78/754.18	c nbDecision=60500 #constraints=118638
759.88/760.23	c nbDecision=61000 #constraints=118638
765.98/766.35	c nbDecision=61500 #constraints=118638
772.08/772.44	c nbDecision=62000 #constraints=118638
778.17/778.50	c nbDecision=62500 #constraints=118638
784.27/784.60	c nbDecision=63000 #constraints=118638
790.37/790.71	c nbDecision=63500 #constraints=118638
796.37/796.77	c nbDecision=64000 #constraints=118638
802.47/802.85	c nbDecision=64500 #constraints=118638
808.56/808.97	c nbDecision=65000 #constraints=118638
814.67/815.03	c nbDecision=65500 #constraints=118638
820.66/821.09	c nbDecision=66000 #constraints=118638
826.86/827.21	c nbDecision=66500 #constraints=118638
832.86/833.29	c nbDecision=67000 #constraints=118638
838.96/839.34	c nbDecision=67500 #constraints=118638
845.05/845.45	c nbDecision=68000 #constraints=118638
851.15/851.54	c nbDecision=68500 #constraints=118638
857.15/857.60	c nbDecision=69000 #constraints=118638
863.25/863.68	c nbDecision=69500 #constraints=118638
869.35/869.79	c nbDecision=70000 #constraints=118638
875.44/875.84	c nbDecision=70500 #constraints=118638
881.54/881.90	c nbDecision=71000 #constraints=118638
887.64/888.01	c nbDecision=71500 #constraints=118638
893.64/894.07	c nbDecision=72000 #constraints=118638
899.74/900.12	c nbDecision=72500 #constraints=118638
905.84/906.22	c nbDecision=73000 #constraints=118638
911.93/912.30	c nbDecision=73500 #constraints=118638
917.93/918.34	c nbDecision=74000 #constraints=118638
924.03/924.42	c nbDecision=74500 #constraints=118638
930.13/930.52	c nbDecision=75000 #constraints=118638
936.13/936.56	c nbDecision=75500 #constraints=118638
942.23/942.63	c nbDecision=76000 #constraints=118638
948.33/948.73	c nbDecision=76500 #constraints=118638
954.33/954.78	c nbDecision=77000 #constraints=118638
960.42/960.82	c nbDecision=77500 #constraints=118638
966.53/966.92	c nbDecision=78000 #constraints=118638
972.53/972.99	c nbDecision=78500 #constraints=118638
978.63/979.03	c nbDecision=79000 #constraints=118638
984.72/985.11	c nbDecision=79500 #constraints=118638
990.73/991.20	c nbDecision=80000 #constraints=118638
996.82/997.23	c nbDecision=80500 #constraints=118638
1002.82/1003.29	c nbDecision=81000 #constraints=118638
1008.92/1009.39	c nbDecision=81500 #constraints=118638
1015.01/1015.43	c nbDecision=82000 #constraints=118638
1021.01/1021.47	c nbDecision=82500 #constraints=118638
1027.11/1027.56	c nbDecision=83000 #constraints=118638
1033.21/1033.62	c nbDecision=83500 #constraints=118638
1039.21/1039.64	c nbDecision=84000 #constraints=118638
1045.31/1045.73	c nbDecision=84500 #constraints=118638
1051.40/1051.80	c nbDecision=85000 #constraints=118638
1057.40/1057.82	c nbDecision=85500 #constraints=118638
1063.40/1063.89	c nbDecision=86000 #constraints=118638
1069.50/1069.97	c nbDecision=86500 #constraints=118638
1075.60/1076.00	c nbDecision=87000 #constraints=118638
1081.59/1082.04	c nbDecision=87500 #constraints=118638
1087.69/1088.12	c nbDecision=88000 #constraints=118638
1093.69/1094.16	c nbDecision=88500 #constraints=118638
1099.69/1100.19	c nbDecision=89000 #constraints=118638
1105.79/1106.26	c nbDecision=89500 #constraints=118638
1111.89/1112.32	c nbDecision=90000 #constraints=118638
1117.88/1118.34	c nbDecision=90500 #constraints=118638
1123.98/1124.40	c nbDecision=91000 #constraints=118638
1129.98/1130.48	c nbDecision=91500 #constraints=118638
1136.08/1136.50	c nbDecision=92000 #constraints=118638
1142.08/1142.54	c nbDecision=92500 #constraints=118638
1148.17/1148.62	c nbDecision=93000 #constraints=118638
1154.17/1154.65	c nbDecision=93500 #constraints=118638
1160.17/1160.67	c nbDecision=94000 #constraints=118638
1166.27/1166.74	c nbDecision=94500 #constraints=118638
1172.26/1172.79	c nbDecision=95000 #constraints=118638
1178.36/1178.81	c nbDecision=95500 #constraints=118638
1184.36/1184.86	c nbDecision=96000 #constraints=118638
1190.46/1190.93	c nbDecision=96500 #constraints=118638
1196.46/1196.94	c nbDecision=97000 #constraints=118638
1202.46/1202.98	c nbDecision=97500 #constraints=118638
1208.55/1209.05	c nbDecision=98000 #constraints=118638
1214.55/1215.07	c nbDecision=98500 #constraints=118638
1220.55/1221.09	c nbDecision=99000 #constraints=118638
1226.65/1227.15	c nbDecision=99500 #constraints=118638
1232.75/1233.20	c nbDecision=100000 #constraints=118638
1238.74/1239.21	c nbDecision=100500 #constraints=118638
1244.75/1245.26	c nbDecision=101000 #constraints=118638
1250.84/1251.32	c nbDecision=101500 #constraints=118638
1256.84/1257.32	c nbDecision=102000 #constraints=118638
1261.64/1262.17	c restart after 102401 decisions
1262.94/1263.47	c nbDecision=102500 #constraints=118638
1269.14/1269.60	c nbDecision=103000 #constraints=118638
1275.13/1275.69	c nbDecision=103500 #constraints=118638
1281.23/1281.77	c nbDecision=104000 #constraints=118638
1287.43/1287.90	c nbDecision=104500 #constraints=118638
1293.53/1294.00	c nbDecision=105000 #constraints=118638
1299.53/1300.07	c nbDecision=105500 #constraints=118638
1305.72/1306.20	c nbDecision=106000 #constraints=118638
1311.83/1312.31	c nbDecision=106500 #constraints=118638
1317.82/1318.38	c nbDecision=107000 #constraints=118638
1323.92/1324.49	c nbDecision=107500 #constraints=118638
1330.12/1330.61	c nbDecision=108000 #constraints=118638
1336.12/1336.68	c nbDecision=108500 #constraints=118638
1342.21/1342.77	c nbDecision=109000 #constraints=118638
1348.31/1348.90	c nbDecision=109500 #constraints=118638
1354.41/1354.97	c nbDecision=110000 #constraints=118638
1360.51/1361.04	c nbDecision=110500 #constraints=118638
1366.61/1367.17	c nbDecision=111000 #constraints=118638
1372.70/1373.26	c nbDecision=111500 #constraints=118638
1378.82/1379.32	c nbDecision=112000 #constraints=118638
1384.91/1385.43	c nbDecision=112500 #constraints=118638
1391.01/1391.54	c nbDecision=113000 #constraints=118638
1397.11/1397.60	c nbDecision=113500 #constraints=118638
1403.11/1403.69	c nbDecision=114000 #constraints=118638
1409.30/1409.81	c nbDecision=114500 #constraints=118638
1415.30/1415.87	c nbDecision=115000 #constraints=118638
1421.40/1421.94	c nbDecision=115500 #constraints=118638
1427.50/1428.06	c nbDecision=116000 #constraints=118638
1433.60/1434.14	c nbDecision=116500 #constraints=118638
1439.60/1440.19	c nbDecision=117000 #constraints=118638
1445.79/1446.30	c nbDecision=117500 #constraints=118638
1451.89/1452.40	c nbDecision=118000 #constraints=118638
1457.89/1458.45	c nbDecision=118500 #constraints=118638
1463.99/1464.54	c nbDecision=119000 #constraints=118638
1470.09/1470.65	c nbDecision=119500 #constraints=118638
1476.09/1476.69	c nbDecision=120000 #constraints=118638
1482.19/1482.76	c nbDecision=120500 #constraints=118638
1488.28/1488.86	c nbDecision=121000 #constraints=118638
1494.38/1494.92	c nbDecision=121500 #constraints=118638
1500.38/1500.97	c nbDecision=122000 #constraints=118638
1506.48/1507.07	c nbDecision=122500 #constraints=118638
1512.57/1513.15	c nbDecision=123000 #constraints=118638
1518.58/1519.19	c nbDecision=123500 #constraints=118638
1524.67/1525.27	c nbDecision=124000 #constraints=118638
1530.77/1531.36	c nbDecision=124500 #constraints=118638
1536.87/1537.40	c nbDecision=125000 #constraints=118638
1542.87/1543.47	c nbDecision=125500 #constraints=118638
1548.96/1549.56	c nbDecision=126000 #constraints=118638
1555.06/1555.61	c nbDecision=126500 #constraints=118638
1561.06/1561.66	c nbDecision=127000 #constraints=118638
1567.16/1567.76	c nbDecision=127500 #constraints=118638
1573.25/1573.83	c nbDecision=128000 #constraints=118638
1579.25/1579.87	c nbDecision=128500 #constraints=118638
1585.35/1585.96	c nbDecision=129000 #constraints=118638
1591.45/1592.04	c nbDecision=129500 #constraints=118638
1597.45/1598.08	c nbDecision=130000 #constraints=118638
1603.54/1604.15	c nbDecision=130500 #constraints=118638
1609.64/1610.24	c nbDecision=131000 #constraints=118638
1615.64/1616.28	c nbDecision=131500 #constraints=118638
1621.74/1622.33	c nbDecision=132000 #constraints=118638
1627.84/1628.43	c nbDecision=132500 #constraints=118638
1633.84/1634.48	c nbDecision=133000 #constraints=118638
1639.93/1640.51	c nbDecision=133500 #constraints=118638
1645.93/1646.60	c nbDecision=134000 #constraints=118638
1652.03/1652.67	c nbDecision=134500 #constraints=118638
1658.03/1658.70	c nbDecision=135000 #constraints=118638
1664.13/1664.77	c nbDecision=135500 #constraints=118638
1670.23/1670.85	c nbDecision=136000 #constraints=118638
1676.22/1676.88	c nbDecision=136500 #constraints=118638
1682.33/1682.93	c nbDecision=137000 #constraints=118638
1688.42/1689.02	c nbDecision=137500 #constraints=118638
1694.42/1695.06	c nbDecision=138000 #constraints=118638
1700.42/1701.09	c nbDecision=138500 #constraints=118638
1706.52/1707.17	c nbDecision=139000 #constraints=118638
1712.61/1713.22	c nbDecision=139500 #constraints=118638
1718.61/1719.25	c nbDecision=140000 #constraints=118638
1724.71/1725.32	c nbDecision=140500 #constraints=118638
1730.71/1731.39	c nbDecision=141000 #constraints=118638
1736.81/1737.41	c nbDecision=141500 #constraints=118638
1742.81/1743.46	c nbDecision=142000 #constraints=118638
1748.90/1749.54	c nbDecision=142500 #constraints=118638
1754.90/1755.57	c nbDecision=143000 #constraints=118638
1761.00/1761.60	c nbDecision=143500 #constraints=118638
1767.00/1767.67	c nbDecision=144000 #constraints=118638
1773.10/1773.72	c nbDecision=144500 #constraints=118638
1779.10/1779.73	c nbDecision=145000 #constraints=118638
1785.19/1785.80	c nbDecision=145500 #constraints=118638
1791.19/1791.86	c nbDecision=146000 #constraints=118638
1797.19/1797.88	c nbDecision=146500 #constraints=118638
1800.10/1800.70	Received signal 15
1800.10/1800.71	
1800.10/1800.71	s UNKNOWN
1800.10/1800.71	
1800.10/1800.71	c user time= 1799.59 s
1800.10/1800.71	c system time= 0.529919 s
1800.10/1800.71	c wall clock time=1800.71

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node68/watcher-356872-1176846807 -o ROOT/results/node68/solver-356872-1176846807 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356872-1176846807/instance-356872-1176846807.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.80 0.95 0.98 3/64 7374
/proc/meminfo: memFree=1725808/2055920 swapFree=4178700/4192956
[pid=7374] ppid=7372 vsize=1468 CPUtime=0
/proc/7374/stat : 7374 (oree) R 7372 7374 7317 0 -1 4194304 179 0 0 0 0 0 0 0 18 0 1 0 160670480 1503232 161 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135096813 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7374/statm: 367 161 126 317 0 46 0

[startup+0.045253 s]
/proc/loadavg: 0.80 0.95 0.98 3/64 7374
/proc/meminfo: memFree=1725808/2055920 swapFree=4178700/4192956
[pid=7374] ppid=7372 vsize=2400 CPUtime=0.04
/proc/7374/stat : 7374 (oree) R 7372 7374 7317 0 -1 4194304 491 0 0 0 4 0 0 0 18 0 1 0 160670480 2457600 375 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134569781 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7374/statm: 600 375 126 317 0 279 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 2400

[startup+0.101257 s]
/proc/loadavg: 0.80 0.95 0.98 3/64 7374
/proc/meminfo: memFree=1725808/2055920 swapFree=4178700/4192956
[pid=7374] ppid=7372 vsize=3440 CPUtime=0.09
/proc/7374/stat : 7374 (oree) R 7372 7374 7317 0 -1 4194304 887 0 0 0 9 0 0 0 18 0 1 0 160670480 3522560 642 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134831136 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7374/statm: 860 642 126 317 0 539 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3440

[startup+0.301275 s]
/proc/loadavg: 0.80 0.95 0.98 3/64 7374
/proc/meminfo: memFree=1725808/2055920 swapFree=4178700/4192956
[pid=7374] ppid=7372 vsize=9548 CPUtime=0.29
/proc/7374/stat : 7374 (oree) R 7372 7374 7317 0 -1 4194304 2892 0 0 0 29 0 0 0 19 0 1 0 160670480 9777152 1877 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134830972 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7374/statm: 2387 1877 126 317 0 2066 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9548

[startup+0.70131 s]
/proc/loadavg: 0.80 0.95 0.98 3/64 7374
/proc/meminfo: memFree=1725808/2055920 swapFree=4178700/4192956
[pid=7374] ppid=7372 vsize=9548 CPUtime=0.69
/proc/7374/stat : 7374 (oree) R 7372 7374 7317 0 -1 4194304 2962 0 0 0 69 0 0 0 22 0 1 0 160670480 9777152 1947 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135289804 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7374/statm: 2387 1947 131 317 0 2066 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 9548

[startup+1.50138 s]
/proc/loadavg: 0.80 0.95 0.98 2/65 7375
/proc/meminfo: memFree=1713896/2055920 swapFree=4178700/4192956
[pid=7374] ppid=7372 vsize=22096 CPUtime=1.49
/proc/7374/stat : 7374 (oree) R 7372 7374 7317 0 -1 4194304 6087 0 0 0 146 3 0 0 25 0 1 0 160670480 22626304 5072 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7374/statm: 5524 5072 131 317 0 5203 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 22096

[startup+3.10153 s]
/proc/loadavg: 0.80 0.95 0.98 2/65 7375
/proc/meminfo: memFree=1696552/2055920 swapFree=4178700/4192956
[pid=7374] ppid=7372 vsize=47164 CPUtime=3.09
/proc/7374/stat : 7374 (oree) R 7372 7374 7317 0 -1 4194304 12397 0 0 0 301 8 0 0 25 0 1 0 160670480 48295936 11284 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7374/statm: 11791 11284 131 317 0 11470 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 47164

[startup+6.30182 s]
/proc/loadavg: 0.89 0.97 0.99 2/65 7375
/proc/meminfo: memFree=1635880/2055920 swapFree=4178700/4192956
[pid=7374] ppid=7372 vsize=113200 CPUtime=6.29
/proc/7374/stat : 7374 (oree) R 7372 7374 7317 0 -1 4194304 31231 0 0 0 610 19 0 0 25 0 1 0 160670480 115916800 26950 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7374/statm: 28300 26951 131 317 0 27979 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 113200

[startup+12.7014 s]
/proc/loadavg: 0.90 0.97 0.99 2/65 7375
/proc/meminfo: memFree=1504680/2055920 swapFree=4178700/4192956
[pid=7374] ppid=7372 vsize=322768 CPUtime=12.69
/proc/7374/stat : 7374 (oree) R 7372 7374 7317 0 -1 4194304 83661 0 0 0 1227 42 0 0 25 0 1 0 160670480 330514432 79380 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602685 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7374/statm: 80692 79380 137 317 0 80371 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 322768

[startup+25.5015 s]
/proc/loadavg: 0.92 0.97 0.99 2/65 7375
/proc/meminfo: memFree=1374888/2055920 swapFree=4178700/4192956
[pid=7374] ppid=7372 vsize=356952 CPUtime=25.49
/proc/7374/stat : 7374 (oree) R 7372 7374 7317 0 -1 4194304 92179 0 0 0 2503 46 0 0 25 0 1 0 160670480 365518848 87898 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7374/statm: 89238 87898 138 317 0 88917 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 356952

[startup+51.1019 s]
/proc/loadavg: 0.95 0.97 0.99 2/65 7375
/proc/meminfo: memFree=1375016/2055920 swapFree=4178700/4192956
[pid=7374] ppid=7372 vsize=356952 CPUtime=51.08
/proc/7374/stat : 7374 (oree) R 7372 7374 7317 0 -1 4194304 92180 0 0 0 5062 46 0 0 25 0 1 0 160670480 365518848 87899 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7374/statm: 89238 87899 138 317 0 88917 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 356952

[startup+102.304 s]
/proc/loadavg: 0.98 0.97 0.99 2/65 7375
/proc/meminfo: memFree=1375016/2055920 swapFree=4178700/4192956
[pid=7374] ppid=7372 vsize=356952 CPUtime=102.27
/proc/7374/stat : 7374 (oree) R 7372 7374 7317 0 -1 4194304 92182 0 0 0 10181 46 0 0 25 0 1 0 160670480 365518848 87901 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606688 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7374/statm: 89238 87901 138 317 0 88917 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 356952

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 7375
/proc/meminfo: memFree=1374952/2055920 swapFree=4178700/4192956
[pid=7374] ppid=7372 vsize=356952 CPUtime=162.25
/proc/7374/stat : 7374 (oree) R 7372 7374 7317 0 -1 4194304 92184 0 0 0 16179 46 0 0 25 0 1 0 160670480 365518848 87903 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7374/statm: 89238 87903 138 317 0 88917 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 356952

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 7375
/proc/meminfo: memFree=1374952/2055920 swapFree=4178700/4192956
[pid=7374] ppid=7372 vsize=356952 CPUtime=222.23
/proc/7374/stat : 7374 (oree) R 7372 7374 7317 0 -1 4194304 92185 0 0 0 22177 46 0 0 25 0 1 0 160670480 365518848 87904 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606732 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7374/statm: 89238 87904 138 317 0 88917 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 356952

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 7375
/proc/meminfo: memFree=1374952/2055920 swapFree=4178700/4192956
[pid=7374] ppid=7372 vsize=356952 CPUtime=282.21
/proc/7374/stat : 7374 (oree) R 7372 7374 7317 0 -1 4194304 92188 0 0 0 28175 46 0 0 25 0 1 0 160670480 365518848 87907 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7374/statm: 89238 87907 138 317 0 88917 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 356952

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 7375
/proc/meminfo: memFree=1374888/2055920 swapFree=4178700/4192956
[pid=7374] ppid=7372 vsize=356952 CPUtime=342.2
/proc/7374/stat : 7374 (oree) R 7372 7374 7317 0 -1 4194304 92191 0 0 0 34174 46 0 0 25 0 1 0 160670480 365518848 87910 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606845 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7374/statm: 89238 87910 138 317 0 88917 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 356952

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 7375
/proc/meminfo: memFree=1374888/2055920 swapFree=4178700/4192956
[pid=7374] ppid=7372 vsize=356952 CPUtime=402.18
/proc/7374/stat : 7374 (oree) R 7372 7374 7317 0 -1 4194304 92191 0 0 0 40172 46 0 0 25 0 1 0 160670480 365518848 87910 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7374/statm: 89238 87910 138 317 0 88917 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 356952

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/71 7449
/proc/meminfo: memFree=1373624/2055920 swapFree=4178704/4192956
[pid=7374] ppid=7372 vsize=356952 CPUtime=462.15
/proc/7374/stat : 7374 (oree) R 7372 7374 7317 0 -1 4194304 92191 0 0 0 46166 49 0 0 25 0 1 0 160670480 365518848 87910 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606698 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7374/statm: 89238 87910 138 317 0 88917 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 356952

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 7573
/proc/meminfo: memFree=1374440/2055920 swapFree=4178704/4192956
[pid=7374] ppid=7372 vsize=356952 CPUtime=522.05
/proc/7374/stat : 7374 (oree) R 7372 7374 7317 0 -1 4194304 92195 0 0 0 52155 50 0 0 25 0 1 0 160670480 365518848 87914 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606695 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7374/statm: 89238 87914 138 317 0 88917 0
Current children cumulated CPU time (s) 522.05
Current children cumulated vsize (KiB) 356952

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 7573
/proc/meminfo: memFree=1374440/2055920 swapFree=4178704/4192956
[pid=7374] ppid=7372 vsize=356952 CPUtime=582.04
/proc/7374/stat : 7374 (oree) R 7372 7374 7317 0 -1 4194304 92200 0 0 0 58154 50 0 0 25 0 1 0 160670480 365518848 87919 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606843 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7374/statm: 89238 87919 138 317 0 88917 0
Current children cumulated CPU time (s) 582.04
Current children cumulated vsize (KiB) 356952

[startup+642.301 s]
/proc/loadavg: 1.07 0.99 0.99 2/65 7573
/proc/meminfo: memFree=1374440/2055920 swapFree=4178704/4192956
[pid=7374] ppid=7372 vsize=356952 CPUtime=642.02
/proc/7374/stat : 7374 (oree) R 7372 7374 7317 0 -1 4194304 92205 0 0 0 64152 50 0 0 25 0 1 0 160670480 365518848 87924 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7374/statm: 89238 87924 138 317 0 88917 0
Current children cumulated CPU time (s) 642.02
Current children cumulated vsize (KiB) 356952


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

[startup+882.302 s]
/proc/loadavg: 1.02 1.02 1.00 2/65 7573
/proc/meminfo: memFree=1374568/2055920 swapFree=4178704/4192956
[pid=7374] ppid=7372 vsize=356952 CPUtime=881.94
/proc/7374/stat : 7374 (oree) R 7372 7374 7317 0 -1 4194304 92205 0 0 0 88144 50 0 0 25 0 1 0 160670480 365518848 87924 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606847 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7374/statm: 89238 87924 138 317 0 88917 0
Current children cumulated CPU time (s) 881.94
Current children cumulated vsize (KiB) 356952

[startup+942.301 s]
/proc/loadavg: 1.01 1.01 1.00 2/65 7573
/proc/meminfo: memFree=1374568/2055920 swapFree=4178704/4192956
[pid=7374] ppid=7372 vsize=356952 CPUtime=941.93
/proc/7374/stat : 7374 (oree) R 7372 7374 7317 0 -1 4194304 92205 0 0 0 94143 50 0 0 25 0 1 0 160670480 365518848 87924 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7374/statm: 89238 87924 138 317 0 88917 0
Current children cumulated CPU time (s) 941.93
Current children cumulated vsize (KiB) 356952

[startup+1002.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 7573
/proc/meminfo: memFree=1374632/2055920 swapFree=4178704/4192956
[pid=7374] ppid=7372 vsize=356952 CPUtime=1001.92
/proc/7374/stat : 7374 (oree) R 7372 7374 7317 0 -1 4194304 92209 0 0 0 100141 51 0 0 25 0 1 0 160670480 365518848 87928 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606682 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7374/statm: 89238 87928 138 317 0 88917 0
Current children cumulated CPU time (s) 1001.92
Current children cumulated vsize (KiB) 356952

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7573
/proc/meminfo: memFree=1374696/2055920 swapFree=4178704/4192956
[pid=7374] ppid=7372 vsize=357080 CPUtime=1061.9
/proc/7374/stat : 7374 (oree) R 7372 7374 7317 0 -1 4194304 92214 0 0 0 106139 51 0 0 25 0 1 0 160670480 365649920 87933 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7374/statm: 89270 87933 138 317 0 88949 0
Current children cumulated CPU time (s) 1061.9
Current children cumulated vsize (KiB) 357080

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7573
/proc/meminfo: memFree=1374632/2055920 swapFree=4178704/4192956
[pid=7374] ppid=7372 vsize=357080 CPUtime=1121.88
/proc/7374/stat : 7374 (oree) R 7372 7374 7317 0 -1 4194304 92219 0 0 0 112137 51 0 0 25 0 1 0 160670480 365649920 87938 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606695 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7374/statm: 89270 87938 138 317 0 88949 0
Current children cumulated CPU time (s) 1121.88
Current children cumulated vsize (KiB) 357080

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7573
/proc/meminfo: memFree=1374568/2055920 swapFree=4178704/4192956
[pid=7374] ppid=7372 vsize=357080 CPUtime=1181.86
/proc/7374/stat : 7374 (oree) R 7372 7374 7317 0 -1 4194304 92225 0 0 0 118135 51 0 0 25 0 1 0 160670480 365649920 87944 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7374/statm: 89270 87944 138 317 0 88949 0
Current children cumulated CPU time (s) 1181.86
Current children cumulated vsize (KiB) 357080

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7573
/proc/meminfo: memFree=1374568/2055920 swapFree=4178704/4192956
[pid=7374] ppid=7372 vsize=357080 CPUtime=1241.84
/proc/7374/stat : 7374 (oree) R 7372 7374 7317 0 -1 4194304 92230 0 0 0 124133 51 0 0 25 0 1 0 160670480 365649920 87949 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606847 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7374/statm: 89270 87949 138 317 0 88949 0
Current children cumulated CPU time (s) 1241.84
Current children cumulated vsize (KiB) 357080

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7573
/proc/meminfo: memFree=1374568/2055920 swapFree=4178704/4192956
[pid=7374] ppid=7372 vsize=357064 CPUtime=1301.83
/proc/7374/stat : 7374 (oree) R 7372 7374 7317 0 -1 4194304 92232 0 0 0 130132 51 0 0 25 0 1 0 160670480 365633536 87951 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606679 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7374/statm: 89266 87951 138 317 0 88945 0
Current children cumulated CPU time (s) 1301.83
Current children cumulated vsize (KiB) 357064

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7573
/proc/meminfo: memFree=1374504/2055920 swapFree=4178704/4192956
[pid=7374] ppid=7372 vsize=357064 CPUtime=1361.81
/proc/7374/stat : 7374 (oree) R 7372 7374 7317 0 -1 4194304 92232 0 0 0 136130 51 0 0 25 0 1 0 160670480 365633536 87951 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7374/statm: 89266 87951 138 317 0 88945 0
Current children cumulated CPU time (s) 1361.81
Current children cumulated vsize (KiB) 357064

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7573
/proc/meminfo: memFree=1374568/2055920 swapFree=4178704/4192956
[pid=7374] ppid=7372 vsize=357064 CPUtime=1421.8
/proc/7374/stat : 7374 (oree) R 7372 7374 7317 0 -1 4194304 92232 0 0 0 142128 52 0 0 25 0 1 0 160670480 365633536 87951 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7374/statm: 89266 87951 138 317 0 88945 0
Current children cumulated CPU time (s) 1421.8
Current children cumulated vsize (KiB) 357064

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7573
/proc/meminfo: memFree=1374504/2055920 swapFree=4178704/4192956
[pid=7374] ppid=7372 vsize=357064 CPUtime=1481.78
/proc/7374/stat : 7374 (oree) R 7372 7374 7317 0 -1 4194304 92232 0 0 0 148126 52 0 0 25 0 1 0 160670480 365633536 87951 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7374/statm: 89266 87951 138 317 0 88945 0
Current children cumulated CPU time (s) 1481.78
Current children cumulated vsize (KiB) 357064

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7573
/proc/meminfo: memFree=1374504/2055920 swapFree=4178704/4192956
[pid=7374] ppid=7372 vsize=357064 CPUtime=1541.77
/proc/7374/stat : 7374 (oree) R 7372 7374 7317 0 -1 4194304 92232 0 0 0 154125 52 0 0 25 0 1 0 160670480 365633536 87951 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606845 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7374/statm: 89266 87951 138 317 0 88945 0
Current children cumulated CPU time (s) 1541.77
Current children cumulated vsize (KiB) 357064

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7573
/proc/meminfo: memFree=1374440/2055920 swapFree=4178704/4192956
[pid=7374] ppid=7372 vsize=357064 CPUtime=1601.75
/proc/7374/stat : 7374 (oree) R 7372 7374 7317 0 -1 4194304 92232 0 0 0 160123 52 0 0 25 0 1 0 160670480 365633536 87951 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7374/statm: 89266 87951 138 317 0 88945 0
Current children cumulated CPU time (s) 1601.75
Current children cumulated vsize (KiB) 357064

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7573
/proc/meminfo: memFree=1374504/2055920 swapFree=4178704/4192956
[pid=7374] ppid=7372 vsize=357064 CPUtime=1661.73
/proc/7374/stat : 7374 (oree) R 7372 7374 7317 0 -1 4194304 92232 0 0 0 166121 52 0 0 25 0 1 0 160670480 365633536 87951 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7374/statm: 89266 87951 138 317 0 88945 0
Current children cumulated CPU time (s) 1661.73
Current children cumulated vsize (KiB) 357064

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7573
/proc/meminfo: memFree=1374504/2055920 swapFree=4178704/4192956
[pid=7374] ppid=7372 vsize=357064 CPUtime=1721.71
/proc/7374/stat : 7374 (oree) R 7372 7374 7317 0 -1 4194304 92232 0 0 0 172119 52 0 0 25 0 1 0 160670480 365633536 87951 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7374/statm: 89266 87951 138 317 0 88945 0
Current children cumulated CPU time (s) 1721.71
Current children cumulated vsize (KiB) 357064

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7573
/proc/meminfo: memFree=1374440/2055920 swapFree=4178704/4192956
[pid=7374] ppid=7372 vsize=357064 CPUtime=1781.69
/proc/7374/stat : 7374 (oree) R 7372 7374 7317 0 -1 4194304 92232 0 0 0 178117 52 0 0 25 0 1 0 160670480 365633536 87951 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606679 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7374/statm: 89266 87951 138 317 0 88945 0
Current children cumulated CPU time (s) 1781.69
Current children cumulated vsize (KiB) 357064



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7573
/proc/meminfo: memFree=1374440/2055920 swapFree=4178704/4192956
[pid=7374] ppid=7372 vsize=357064 CPUtime=1800.1
/proc/7374/stat : 7374 (oree) R 7372 7374 7317 0 -1 4194304 92232 0 0 0 179958 52 0 0 25 0 1 0 160670480 365633536 87951 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606682 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7374/statm: 89266 87951 138 317 0 88945 0
Current children cumulated CPU time (s) 1800.1
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.81 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7573
/proc/meminfo: memFree=1374440/2055920 swapFree=4178704/4192956
[pid=7374] ppid=7372 vsize=336608 CPUtime=1800.2
/proc/7374/stat : 7374 (oree) R 7372 7374 7317 0 -1 4194304 92248 0 0 0 179967 53 0 0 25 0 1 0 160670480 344686592 82859 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135138609 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7374/statm: 84152 82859 154 317 0 83831 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 336608

Child status: 0
Real time (s): 1800.9
CPU time (s): 1800.3
CPU user time (s): 1799.71
CPU system time (s): 0.58591
CPU usage (%): 99.9667
Max. virtual memory (cumulated for all children) (KiB): 357084

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.71
system time used= 0.58591
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= 4252

runsolver used 1.24981 second user time and 3.76043 second system time

The end

Launcher Data (download as text)

Begin job on node68 on Tue Apr 17 21:53:29 UTC 2007

IDJOB= 356872
IDBENCH= 1577
IDSOLVER= 172
FILE ID= node68/356872-1176846807

PBS_JOBID= 4590195

Free space on /tmp= 66287 MiB

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

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  3f95880b258ecfc346507235783375e9

RANDOM SEED= 642510441

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

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

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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1726344 kB
Buffers:         19956 kB
Cached:         260880 kB
SwapCached:       8504 kB
Active:         142440 kB
Inactive:       153212 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1726344 kB
SwapTotal:     4192956 kB
SwapFree:      4178700 kB
Dirty:           45236 kB
Writeback:           0 kB
Mapped:          15092 kB
Slab:            20028 kB
Committed_AS:  2654668 kB
PageTables:       1380 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66287 MiB

End job on node68 on Tue Apr 17 22:23:32 UTC 2007