Trace number 3458413

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. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock 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
Sat4j Resolution 2.3.0SAT (TO)-16 1800.09 1798.65

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_200_25_3.opb
MD5SUM7d5c1eba9f9b9c55d272c1a8f28b465a
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-32
Best CPU time to get the best result obtained on this benchmark1797.16
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -31
Optimality of the best value was proved NO
Number of variables400
Total number of constraints601
Number of constraints which are clauses200
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints401
Minimum length of a constraint2
Maximum length of a constraint400
Number of terms in the objective function 200
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 200
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 400
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)12432
Sum of products size (including duplicates)24864
Number of different products6216
Sum of products size12432

Solver Data 

0.07/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.07/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.07/0.08	c See www.sat4j.org for details.
0.07/0.09	c version 2.3.1.v20110525
0.07/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.07/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.07/0.09	c java.vm.version	19.1-b02
0.07/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.07/0.09	c sun.arch.data.model	64
0.07/0.09	c java.version		1.6.0_24
0.07/0.09	c os.name		Linux
0.07/0.09	c os.version		2.6.18-164.el5
0.07/0.09	c os.arch		amd64
0.07/0.09	c Free memory 		12995394264
0.07/0.09	c Max memory 		13063553024
0.07/0.09	c Total memory 		13063553024
0.07/0.09	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@38540408
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c Expensive reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-3458413-1307161303.opb
0.10/0.11	c reading problem ... 
1.07/0.51	c ... done. Wall clock time 0.396s.
1.07/0.51	c #vars     6616
1.07/0.51	c #constraints  13034
1.07/0.51	c constraints type 
1.07/0.51	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6216
1.07/0.51	c org.sat4j.minisat.constraints.card.MinWatchCard => 402
1.07/0.51	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 200
1.07/0.51	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6216
2.63/1.79	c SATISFIABLE
2.63/1.79	c OPTIMIZING...
2.63/1.79	c Got one! Elapsed wall clock time (in seconds):1.682
2.63/1.79	o -16
4.29/3.34	c cleaning 2738 clauses out of 5485 with flag 3000/5485
7.54/6.60	c cleaning 4324 clauses out of 8747 with flag 9000/11485
10.95/9.93	c cleaning 5672 clauses out of 11423 with flag 16000/18485
16.14/15.13	c cleaning 6795 clauses out of 13751 with flag 24000/26485
21.56/20.50	c cleaning 7835 clauses out of 15956 with flag 33000/35485
27.57/26.51	c cleaning 8968 clauses out of 18121 with flag 43000/45485
34.37/33.37	c cleaning 9963 clauses out of 20153 with flag 54000/56485
41.58/40.62	c cleaning 11054 clauses out of 22190 with flag 66000/68485
49.08/48.04	c cleaning 12015 clauses out of 24136 with flag 79000/81485
58.88/57.88	c cleaning 12922 clauses out of 26121 with flag 93000/95485
69.09/68.05	c cleaning 13583 clauses out of 27199 with flag 107000/109485
78.59/77.53	c cleaning 13766 clauses out of 27616 with flag 121000/123485
86.91/85.86	c cleaning 13778 clauses out of 27850 with flag 135000/137485
95.79/94.78	c cleaning 14028 clauses out of 28072 with flag 149000/151485
105.69/104.60	c cleaning 13956 clauses out of 28044 with flag 163000/165485
115.41/114.35	c cleaning 13997 clauses out of 28088 with flag 177000/179485
124.32/123.25	c cleaning 13940 clauses out of 28091 with flag 191000/193485
133.60/132.50	c cleaning 13938 clauses out of 28151 with flag 205000/207485
145.70/144.63	c cleaning 13986 clauses out of 28213 with flag 219000/221485
157.70/156.61	c cleaning 14002 clauses out of 28227 with flag 233000/235485
167.30/166.22	c cleaning 14003 clauses out of 28225 with flag 247000/249485
175.92/174.87	c cleaning 14029 clauses out of 28222 with flag 261000/263485
184.50/183.49	c cleaning 14071 clauses out of 28193 with flag 275000/277485
195.20/194.18	c cleaning 13970 clauses out of 28122 with flag 289000/291485
204.70/203.62	c cleaning 13986 clauses out of 28152 with flag 303000/305485
215.40/214.33	c cleaning 13930 clauses out of 28166 with flag 317000/319485
225.00/223.98	c cleaning 14022 clauses out of 28236 with flag 331000/333485
237.10/236.01	c cleaning 13995 clauses out of 28214 with flag 345000/347485
246.60/245.54	c cleaning 14074 clauses out of 28219 with flag 359000/361485
256.40/255.33	c cleaning 13972 clauses out of 28145 with flag 373000/375485
264.91/263.88	c cleaning 14064 clauses out of 28173 with flag 387000/389485
274.01/272.94	c cleaning 13958 clauses out of 28109 with flag 401000/403485
282.63/281.57	c cleaning 13978 clauses out of 28151 with flag 415000/417485
294.31/293.21	c cleaning 13981 clauses out of 28173 with flag 429000/431485
303.11/302.06	c cleaning 14027 clauses out of 28192 with flag 443000/445485
312.61/311.51	c cleaning 13989 clauses out of 28165 with flag 457000/459485
321.01/319.99	c cleaning 13995 clauses out of 28176 with flag 471000/473485
330.81/329.78	c cleaning 13974 clauses out of 28181 with flag 485000/487485
341.11/340.09	c cleaning 13975 clauses out of 28207 with flag 499000/501485
350.61/349.56	c cleaning 14030 clauses out of 28232 with flag 513000/515485
360.02/358.99	c cleaning 13953 clauses out of 28202 with flag 527000/529485
369.82/368.77	c cleaning 14013 clauses out of 28249 with flag 541000/543485
378.72/377.62	c cleaning 14045 clauses out of 28236 with flag 555000/557485
387.02/385.91	c cleaning 14045 clauses out of 28191 with flag 569000/571485
395.03/393.95	c cleaning 13961 clauses out of 28146 with flag 583000/585485
402.93/401.88	c cleaning 14047 clauses out of 28185 with flag 597000/599485
411.73/410.68	c cleaning 13934 clauses out of 28138 with flag 611000/613485
420.63/419.50	c cleaning 14093 clauses out of 28204 with flag 625000/627485
430.33/429.26	c cleaning 14003 clauses out of 28111 with flag 639000/641485
440.93/439.88	c cleaning 13928 clauses out of 28108 with flag 653000/655485
452.05/450.94	c cleaning 13997 clauses out of 28180 with flag 667000/669485
462.54/461.44	c cleaning 14030 clauses out of 28183 with flag 681000/683485
471.34/470.21	c cleaning 13968 clauses out of 28153 with flag 695000/697485
480.34/479.28	c cleaning 13970 clauses out of 28185 with flag 709000/711485
489.35/488.27	c cleaning 14068 clauses out of 28215 with flag 723000/725485
499.15/498.08	c cleaning 13996 clauses out of 28147 with flag 737000/739485
508.55/507.42	c cleaning 13931 clauses out of 28151 with flag 751000/753485
517.15/516.07	c cleaning 14052 clauses out of 28220 with flag 765000/767485
525.77/524.65	c cleaning 14001 clauses out of 28168 with flag 779000/781485
535.35/534.28	c cleaning 14012 clauses out of 28167 with flag 793000/795485
545.25/544.17	c cleaning 14035 clauses out of 28155 with flag 807000/809485
553.46/552.33	c cleaning 13939 clauses out of 28120 with flag 821000/823485
561.96/560.89	c cleaning 14027 clauses out of 28181 with flag 835000/837485
570.66/569.50	c cleaning 13997 clauses out of 28154 with flag 849000/851485
578.16/577.04	c cleaning 13999 clauses out of 28157 with flag 863000/865485
585.86/584.72	c cleaning 13995 clauses out of 28158 with flag 877000/879485
595.08/593.98	c cleaning 14014 clauses out of 28163 with flag 891000/893485
605.28/604.11	c cleaning 13914 clauses out of 28149 with flag 905000/907485
614.68/613.50	c cleaning 14000 clauses out of 28235 with flag 919000/921485
625.08/623.98	c cleaning 14016 clauses out of 28235 with flag 933000/935485
634.70/633.57	c cleaning 14054 clauses out of 28219 with flag 947000/949485
644.18/643.08	c cleaning 13931 clauses out of 28165 with flag 961000/963485
653.88/652.79	c cleaning 14009 clauses out of 28234 with flag 975000/977485
662.68/661.57	c cleaning 14048 clauses out of 28225 with flag 989000/991485
671.38/670.29	c cleaning 13973 clauses out of 28177 with flag 1003000/1005485
680.39/679.20	c cleaning 13994 clauses out of 28204 with flag 1017000/1019485
688.99/687.84	c cleaning 14009 clauses out of 28210 with flag 1031000/1033485
696.89/695.79	c cleaning 14022 clauses out of 28201 with flag 1045000/1047485
704.79/703.66	c cleaning 13968 clauses out of 28179 with flag 1059000/1061485
713.09/711.91	c cleaning 14019 clauses out of 28211 with flag 1073000/1075485
721.79/720.64	c cleaning 13994 clauses out of 28192 with flag 1087000/1089485
731.51/730.32	c cleaning 13949 clauses out of 28198 with flag 1101000/1103485
740.80/739.62	c cleaning 14009 clauses out of 28249 with flag 1115000/1117485
750.40/749.28	c cleaning 13989 clauses out of 28240 with flag 1129000/1131485
759.70/758.57	c cleaning 14061 clauses out of 28251 with flag 1143000/1145485
768.60/767.45	c cleaning 14005 clauses out of 28190 with flag 1157000/1159485
776.90/775.73	c cleaning 14018 clauses out of 28185 with flag 1171000/1173485
786.20/785.01	c cleaning 14038 clauses out of 28167 with flag 1185000/1187485
795.90/794.75	c cleaning 13989 clauses out of 28129 with flag 1199000/1201485
805.60/804.40	c cleaning 14000 clauses out of 28140 with flag 1213000/1215485
814.40/813.24	c cleaning 13956 clauses out of 28140 with flag 1227000/1229485
823.40/822.26	c cleaning 14057 clauses out of 28184 with flag 1241000/1243485
831.90/830.79	c cleaning 13934 clauses out of 28127 with flag 1255000/1257485
840.90/839.79	c cleaning 14032 clauses out of 28193 with flag 1269000/1271485
849.51/848.37	c cleaning 14035 clauses out of 28161 with flag 1283000/1285485
857.61/856.40	c cleaning 13994 clauses out of 28126 with flag 1297000/1299485
865.61/864.40	c cleaning 13998 clauses out of 28132 with flag 1311000/1313485
873.53/872.36	c cleaning 13969 clauses out of 28134 with flag 1325000/1327485
882.01/880.88	c cleaning 14013 clauses out of 28165 with flag 1339000/1341485
891.03/889.82	c cleaning 14044 clauses out of 28152 with flag 1353000/1355485
900.93/899.72	c cleaning 13977 clauses out of 28108 with flag 1367000/1369485
910.41/909.24	c cleaning 13954 clauses out of 28131 with flag 1381000/1383485
919.64/918.46	c cleaning 13962 clauses out of 28177 with flag 1395000/1397485
928.82/927.66	c cleaning 14024 clauses out of 28215 with flag 1409000/1411485
936.92/935.78	c cleaning 13999 clauses out of 28191 with flag 1423000/1425485
945.04/943.87	c cleaning 13952 clauses out of 28192 with flag 1437000/1439485
953.12/951.94	c cleaning 14060 clauses out of 28240 with flag 1451000/1453485
961.44/960.30	c cleaning 14001 clauses out of 28180 with flag 1465000/1467485
969.62/968.40	c cleaning 14068 clauses out of 28179 with flag 1479000/1481485
977.12/975.99	c cleaning 13968 clauses out of 28111 with flag 1493000/1495485
984.54/983.40	c cleaning 14021 clauses out of 28143 with flag 1507000/1509485
992.03/990.86	c cleaning 13988 clauses out of 28122 with flag 1521000/1523485
1000.43/999.21	c cleaning 13970 clauses out of 28134 with flag 1535000/1537485
1009.03/1007.81	c cleaning 14039 clauses out of 28164 with flag 1549000/1551485
1016.73/1015.56	c cleaning 13962 clauses out of 28125 with flag 1563000/1565485
1024.43/1023.24	c cleaning 13980 clauses out of 28163 with flag 1577000/1579485
1031.63/1030.48	c cleaning 14051 clauses out of 28183 with flag 1591000/1593485
1038.45/1037.30	c cleaning 14013 clauses out of 28132 with flag 1605000/1607485
1045.54/1044.34	c cleaning 13971 clauses out of 28119 with flag 1619000/1621485
1053.96/1052.76	c cleaning 13974 clauses out of 28149 with flag 1633001/1635486
1062.84/1061.62	c cleaning 14055 clauses out of 28174 with flag 1647000/1649485
1071.46/1070.25	c cleaning 13983 clauses out of 28119 with flag 1661000/1663485
1079.74/1078.50	c cleaning 13967 clauses out of 28136 with flag 1675000/1677485
1087.64/1086.49	c cleaning 13974 clauses out of 28169 with flag 1689000/1691485
1096.14/1094.95	c cleaning 14036 clauses out of 28195 with flag 1703000/1705485
1103.95/1102.77	c cleaning 14005 clauses out of 28159 with flag 1717000/1719485
1111.75/1110.55	c cleaning 14000 clauses out of 28154 with flag 1731000/1733485
1119.65/1118.42	c cleaning 14004 clauses out of 28154 with flag 1745000/1747485
1127.45/1126.25	c cleaning 14024 clauses out of 28150 with flag 1759000/1761485
1135.05/1133.81	c cleaning 13995 clauses out of 28126 with flag 1773000/1775485
1142.56/1141.31	c cleaning 13959 clauses out of 28131 with flag 1787000/1789485
1149.47/1148.25	c cleaning 14049 clauses out of 28172 with flag 1801000/1803485
1156.37/1155.17	c cleaning 14007 clauses out of 28123 with flag 1815000/1817485
1162.67/1161.47	c cleaning 14005 clauses out of 28116 with flag 1829000/1831485
1168.97/1167.70	c cleaning 13988 clauses out of 28111 with flag 1843000/1845485
1175.07/1173.89	c cleaning 14005 clauses out of 28123 with flag 1857000/1859485
1181.07/1179.85	c cleaning 13983 clauses out of 28118 with flag 1871000/1873485
1186.87/1185.60	c cleaning 13989 clauses out of 28135 with flag 1885000/1887485
1194.88/1193.69	c cleaning 14003 clauses out of 28146 with flag 1899000/1901485
1202.98/1201.70	c cleaning 13998 clauses out of 28143 with flag 1913000/1915485
1210.98/1209.80	c cleaning 14024 clauses out of 28145 with flag 1927000/1929485
1218.38/1217.17	c cleaning 13967 clauses out of 28121 with flag 1941000/1943485
1225.38/1224.13	c cleaning 14011 clauses out of 28154 with flag 1955000/1957485
1232.28/1231.03	c cleaning 14013 clauses out of 28143 with flag 1969000/1971485
1239.19/1237.93	c cleaning 13996 clauses out of 28130 with flag 1983000/1985485
1246.40/1245.12	c cleaning 13978 clauses out of 28134 with flag 1997000/1999485
1255.39/1254.18	c cleaning 13952 clauses out of 28156 with flag 2011000/2013485
1264.99/1263.78	c cleaning 13974 clauses out of 28204 with flag 2025000/2027485
1273.29/1272.01	c cleaning 14034 clauses out of 28231 with flag 2039001/2041486
1282.09/1280.87	c cleaning 13991 clauses out of 28196 with flag 2053000/2055485
1290.60/1289.38	c cleaning 13999 clauses out of 28205 with flag 2067000/2069485
1299.22/1297.97	c cleaning 14047 clauses out of 28206 with flag 2081000/2083485
1307.80/1306.58	c cleaning 13959 clauses out of 28159 with flag 2095000/2097485
1316.10/1314.87	c cleaning 14053 clauses out of 28200 with flag 2109000/2111485
1324.62/1323.34	c cleaning 13979 clauses out of 28147 with flag 2123000/2125485
1332.90/1331.68	c cleaning 13989 clauses out of 28168 with flag 2137000/2139485
1341.30/1340.09	c cleaning 14036 clauses out of 28179 with flag 2151000/2153485
1349.70/1348.43	c cleaning 14032 clauses out of 28143 with flag 2165000/2167485
1357.53/1356.23	c cleaning 13981 clauses out of 28111 with flag 2179000/2181485
1366.11/1364.86	c cleaning 13971 clauses out of 28130 with flag 2193000/2195485
1374.61/1373.30	c cleaning 13935 clauses out of 28159 with flag 2207000/2209485
1382.61/1381.35	c cleaning 14082 clauses out of 28224 with flag 2221000/2223485
1390.01/1388.78	c cleaning 13999 clauses out of 28142 with flag 2235000/2237485
1397.02/1395.79	c cleaning 14033 clauses out of 28143 with flag 2249000/2251485
1403.92/1402.67	c cleaning 13965 clauses out of 28110 with flag 2263000/2265485
1410.52/1409.29	c cleaning 14003 clauses out of 28145 with flag 2277000/2279485
1418.14/1416.84	c cleaning 13968 clauses out of 28142 with flag 2291000/2293485
1426.12/1424.88	c cleaning 14074 clauses out of 28174 with flag 2305000/2307485
1434.12/1432.86	c cleaning 13917 clauses out of 28100 with flag 2319000/2321485
1441.62/1440.40	c cleaning 13992 clauses out of 28183 with flag 2333000/2335485
1448.32/1447.09	c cleaning 14062 clauses out of 28191 with flag 2347000/2349485
1454.72/1453.45	c cleaning 14014 clauses out of 28129 with flag 2361000/2363485
1460.94/1459.67	c cleaning 14009 clauses out of 28116 with flag 2375001/2377486
1467.12/1465.82	c cleaning 13990 clauses out of 28106 with flag 2389000/2391485
1475.25/1473.92	c cleaning 13926 clauses out of 28116 with flag 2403000/2405485
1483.33/1482.02	c cleaning 14054 clauses out of 28190 with flag 2417000/2419485
1492.43/1491.18	c cleaning 13980 clauses out of 28136 with flag 2431000/2433485
1502.04/1500.73	c cleaning 13950 clauses out of 28156 with flag 2445000/2447485
1511.74/1510.40	c cleaning 13952 clauses out of 28206 with flag 2459000/2461485
1521.24/1519.91	c cleaning 13990 clauses out of 28254 with flag 2473000/2475485
1530.26/1528.94	c cleaning 14044 clauses out of 28264 with flag 2487000/2489485
1538.64/1537.32	c cleaning 14069 clauses out of 28220 with flag 2501000/2503485
1546.76/1545.46	c cleaning 14019 clauses out of 28151 with flag 2515000/2517485
1554.46/1553.18	c cleaning 13969 clauses out of 28132 with flag 2529000/2531485
1562.17/1560.84	c cleaning 14059 clauses out of 28163 with flag 2543000/2545485
1569.87/1568.54	c cleaning 13949 clauses out of 28104 with flag 2557000/2559485
1577.15/1575.80	c cleaning 14008 clauses out of 28155 with flag 2571000/2573485
1584.45/1583.14	c cleaning 14026 clauses out of 28147 with flag 2585000/2587485
1591.45/1590.18	c cleaning 13974 clauses out of 28121 with flag 2599000/2601485
1598.48/1597.21	c cleaning 13994 clauses out of 28147 with flag 2613000/2615485
1605.46/1604.14	c cleaning 14016 clauses out of 28154 with flag 2627001/2629486
1612.26/1610.94	c cleaning 13958 clauses out of 28137 with flag 2641000/2643485
1619.96/1618.61	c cleaning 14027 clauses out of 28179 with flag 2655000/2657485
1629.29/1627.97	c cleaning 13957 clauses out of 28152 with flag 2669000/2671485
1637.57/1636.26	c cleaning 13979 clauses out of 28195 with flag 2683000/2685485
1645.07/1643.74	c cleaning 14032 clauses out of 28216 with flag 2697000/2699485
1652.98/1651.65	c cleaning 14010 clauses out of 28184 with flag 2711000/2713485
1660.38/1659.07	c cleaning 14031 clauses out of 28174 with flag 2725000/2727485
1667.80/1666.45	c cleaning 14022 clauses out of 28143 with flag 2739000/2741485
1674.99/1673.68	c cleaning 13997 clauses out of 28121 with flag 2753000/2755485
1682.11/1680.72	c cleaning 13987 clauses out of 28124 with flag 2767000/2769485
1688.71/1687.37	c cleaning 14023 clauses out of 28137 with flag 2781000/2783485
1695.49/1694.18	c cleaning 14017 clauses out of 28114 with flag 2795000/2797485
1702.10/1700.78	c cleaning 13978 clauses out of 28097 with flag 2809000/2811485
1708.52/1707.13	c cleaning 13998 clauses out of 28119 with flag 2823000/2825485
1714.70/1713.39	c cleaning 13991 clauses out of 28121 with flag 2837000/2839485
1721.20/1719.84	c cleaning 13936 clauses out of 28130 with flag 2851000/2853485
1728.80/1727.42	c cleaning 13977 clauses out of 28194 with flag 2865000/2867485
1736.20/1734.81	c cleaning 14025 clauses out of 28217 with flag 2879000/2881485
1743.72/1742.38	c cleaning 14027 clauses out of 28192 with flag 2893000/2895485
1751.42/1750.08	c cleaning 14054 clauses out of 28165 with flag 2907000/2909485
1758.81/1757.49	c cleaning 14028 clauses out of 28111 with flag 2921000/2923485
1766.31/1764.90	c cleaning 13947 clauses out of 28083 with flag 2935000/2937485
1773.31/1771.93	c cleaning 14007 clauses out of 28136 with flag 2949000/2951485
1780.21/1778.86	c cleaning 13984 clauses out of 28129 with flag 2963000/2965485
1786.91/1785.60	c cleaning 14050 clauses out of 28145 with flag 2977000/2979485
1793.92/1792.54	c cleaning 14010 clauses out of 28095 with flag 2991000/2993485
1800.04/1798.63	c starts		: 243
1800.04/1798.63	c conflicts		: 3003935
1800.04/1798.63	c decisions		: 3067264
1800.04/1798.63	c propagations		: 103990192
1800.04/1798.63	c inspects		: 3173770187
1800.04/1798.63	c shortcuts		: 0
1800.04/1798.63	c learnt literals	: 0
1800.04/1798.63	c learnt binary clauses	: 0
1800.04/1798.63	c learnt ternary clauses	: 398
1800.04/1798.63	c learnt constraints	: 3003935
1800.04/1798.63	c ignored constraints	: 0
1800.04/1798.63	c root simplifications	: 0
1800.04/1798.63	c removed literals (reason simplification)	: 369292834
1800.04/1798.63	c reason swapping (by a shorter reason)	: 0
1800.04/1798.63	c Calls to reduceDB	: 217
1800.04/1798.63	c number of reductions to clauses (during analyze)	: 0
1800.04/1798.63	c number of learned constraints concerned by reduction	: 0
1800.04/1798.63	c number of learning phase by resolution	: 0
1800.04/1798.63	c number of learning phase by cutting planes	: 0
1800.04/1798.63	c speed (assignments/second)	: 57874.208607148576
1800.04/1798.63	c non guided choices	0
1800.04/1798.64	c learnt constraints type 
1800.04/1798.64	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 24542
1800.04/1798.64	c constraints type 
1800.04/1798.64	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6216
1800.04/1798.64	c org.sat4j.minisat.constraints.card.MinWatchCard => 403
1800.04/1798.64	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 200
1800.04/1798.64	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6216
1800.04/1798.64	s SATISFIABLE
1800.04/1798.64	v x1 -x2 -x3 x4 -x5 -x6 -x7 x8 x9 x10 -x11 -x12 -x13 -x14 -x15 x16 -x17 -x18 x19 x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 x35 -x36 -x37 x38 -x39 -x40 x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 x65 -x66 x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 x139 -x140 -x141 x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 x261 -x262 x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 x284 -x285 -x286 -x287 -x288 x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 x308 x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 x330 x331 -x332 x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 x368 -x369 -x370 -x371 -x372 x373 -x374 -x375 -x376 -x377 -x378 x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 
1800.04/1798.64	c objective function=-16
1800.04/1798.64	c Total wall clock time (in seconds): 1798.527

Verifier Data 

OK	-16

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3458413-1307161303/watcher-3458413-1307161303 -o /tmp/evaluation-result-3458413-1307161303/solver-3458413-1307161303 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458413-1307161303.opb 

running on 4 cores: 1,3,5,7

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.84 2.00 1.99 2/575 30449
/proc/meminfo: memFree=23565180/32951124 swapFree=58940260/67111528
[pid=30449] ppid=30447 vsize=13526316 CPUtime=0.01 cores=1,3,5,7
/proc/30449/stat : 30449 (java) S 30447 30449 26823 0 -1 4202496 9230 0 1 0 0 1 0 0 18 0 2 0 827728046 13850947584 8931 33554432000 1073741824 1073778376 140737435719200 18446744073709551615 212699477989 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/30449/statm: 3381579 8945 917 9 0 3372735 0
[pid=30449/tid=30450] ppid=30447 vsize=13526316 CPUtime=0.01 cores=1,3,5,7
/proc/30449/task/30450/stat : 30450 (java) R 30447 30449 26823 0 -1 4202560 9198 0 1 0 0 1 0 0 19 0 2 0 827728047 13850947584 10014 33554432000 1073741824 1073778376 140737435719200 18446744073709551615 212687369275 0 4 0 16784584 0 0 0 -1 3 0 0 0

[startup+0.0752459 s]
/proc/loadavg: 1.84 2.00 1.99 2/575 30449
/proc/meminfo: memFree=23565180/32951124 swapFree=58940260/67111528
[pid=30449] ppid=30447 vsize=13620624 CPUtime=0.07 cores=1,3,5,7
/proc/30449/stat : 30449 (java) S 30447 30449 26823 0 -1 4202496 14371 0 1 0 5 2 0 0 18 0 18 0 827728046 13947518976 14067 33554432000 1073741824 1073778376 140737435719200 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/30449/statm: 3405156 14068 1754 9 0 3395890 0
[pid=30449/tid=30450] ppid=30447 vsize=13620624 CPUtime=0.05 cores=1,3,5,7
/proc/30449/task/30450/stat : 30450 (java) R 30447 30449 26823 0 -1 4202560 13196 0 1 0 4 1 0 0 18 0 18 0 827728047 13947518976 14069 33554432000 1073741824 1073778376 140737435719200 18446744073709551615 212687336133 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 13620624

[startup+0.100192 s]
/proc/loadavg: 1.84 2.00 1.99 2/575 30449
/proc/meminfo: memFree=23565180/32951124 swapFree=58940260/67111528
[pid=30449] ppid=30447 vsize=13622088 CPUtime=0.1 cores=1,3,5,7
/proc/30449/stat : 30449 (java) S 30447 30449 26823 0 -1 4202496 15522 0 1 0 8 2 0 0 18 0 18 0 827728046 13949018112 15191 33554432000 1073741824 1073778376 140737435719200 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/30449/statm: 3405522 15191 2092 9 0 3396256 0
[pid=30449/tid=30450] ppid=30447 vsize=13622088 CPUtime=0.09 cores=1,3,5,7
/proc/30449/task/30450/stat : 30450 (java) R 30447 30449 26823 0 -1 4202560 13593 0 1 0 7 2 0 0 19 0 18 0 827728047 13949018112 15191 33554432000 1073741824 1073778376 140737435719200 18446744073709551615 47994740467831 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13622088

[startup+0.300158 s]
/proc/loadavg: 1.84 2.00 1.99 2/575 30449
/proc/meminfo: memFree=23565180/32951124 swapFree=58940260/67111528
[pid=30449] ppid=30447 vsize=13626744 CPUtime=0.47 cores=1,3,5,7
/proc/30449/stat : 30449 (java) S 30447 30449 26823 0 -1 4202496 18748 0 1 0 45 2 0 0 18 0 18 0 827728046 13953785856 18152 33554432000 1073741824 1073778376 140737435719200 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/30449/statm: 3406686 18153 2211 9 0 3397420 0
[pid=30449/tid=30450] ppid=30447 vsize=13626744 CPUtime=0.28 cores=1,3,5,7
/proc/30449/task/30450/stat : 30450 (java) R 30447 30449 26823 0 -1 4202560 15373 0 1 0 26 2 0 0 19 0 18 0 827728047 13953785856 18153 33554432000 1073741824 1073778376 140737435719200 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 13626744

[startup+0.701086 s]
/proc/loadavg: 1.84 2.00 1.99 2/575 30449
/proc/meminfo: memFree=23565180/32951124 swapFree=58940260/67111528
[pid=30449] ppid=30447 vsize=13636020 CPUtime=1.54 cores=1,3,5,7
/proc/30449/stat : 30449 (java) S 30447 30449 26823 0 -1 4202496 33116 0 1 0 149 5 0 0 18 0 19 0 827728046 13963284480 29443 33554432000 1073741824 1073778376 140737435719200 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/30449/statm: 3409005 29443 2239 9 0 3399739 0
[pid=30449/tid=30450] ppid=30447 vsize=13636020 CPUtime=0.68 cores=1,3,5,7
/proc/30449/task/30450/stat : 30450 (java) R 30447 30449 26823 0 -1 4202560 23040 0 1 0 65 3 0 0 19 0 19 0 827728047 13963284480 29443 33554432000 1073741824 1073778376 140737435719200 18446744073709551615 46912505887749 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.54
Current children cumulated vsize (KiB) 13636020

[startup+1.50097 s]
/proc/loadavg: 1.84 2.00 1.99 4/612 30486
/proc/meminfo: memFree=23381996/32951124 swapFree=58940260/67111528
[pid=30449] ppid=30447 vsize=13636020 CPUtime=2.43 cores=1,3,5,7
/proc/30449/stat : 30449 (java) S 30447 30449 26823 0 -1 4202496 33330 0 1 0 238 5 0 0 18 0 19 0 827728046 13963284480 29656 33554432000 1073741824 1073778376 140737435719200 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/30449/statm: 3409005 29656 2244 9 0 3399739 0
[pid=30449/tid=30450] ppid=30447 vsize=13636020 CPUtime=1.48 cores=1,3,5,7
/proc/30449/task/30450/stat : 30450 (java) R 30447 30449 26823 0 -1 4202560 23229 0 1 0 145 3 0 0 18 0 19 0 827728047 13963284480 29656 33554432000 1073741824 1073778376 140737435719200 18446744073709551615 46912505846995 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=30449/tid=30461] ppid=30447 vsize=13636020 CPUtime=0 cores=1,3,5,7
/proc/30449/task/30461/stat : 30461 (java) S 30447 30449 26823 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 827728049 13963284480 29656 33554432000 1073741824 1073778376 140737435719200 18446744073709551615 212699491225 0 4 0 16800975 18446604467764639040 0 0 -1 3 0 0 0
[pid=30449/tid=30462] ppid=30447 vsize=13636020 CPUtime=0 cores=1,3,5,7
/proc/30449/task/30462/stat : 30462 (java) S 30447 30449 26823 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 827728049 13963284480 29656 33554432000 1073741824 1073778376 140737435719200 18446744073709551615 212699491225 0 4 0 16800975 18446604467764639040 0 0 -1 7 0 0 0
[pid=30449/tid=30463] ppid=30447 vsize=13636020 CPUtime=0 cores=1,3,5,7
/proc/30449/task/30463/stat : 30463 (java) S 30447 30449 26823 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 827728049 13963284480 29656 33554432000 1073741824 1073778376 140737435719200 18446744073709551615 212699491225 0 4 0 16800975 18446604467764639040 0 0 -1 7 0 0 0
[pid=30449/tid=30464] ppid=30447 vsize=13636020 CPUtime=0 cores=1,3,5,7
/proc/30449/task/30464/stat : 30464 (java) S 30447 30449 26823 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 827728049 13963284480 29656 33554432000 1073741824 1073778376 140737435719200 18446744073709551615 212699491225 0 4 0 16800975 18446604467764639040 0 0 -1 7 0 0 0
[pid=30449/tid=30465] ppid=30447 vsize=13636020 CPUtime=0 cores=1,3,5,7
/proc/30449/task/30465/stat : 30465 (java) S 30447 30449 26823 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 827728049 13963284480 29656 33554432000 1073741824 1073778376 140737435719200 18446744073709551615 212699491225 0 4 0 16800975 18446604467764639040 0 0 -1 7 0 0 0
[pid=30449/tid=30466] ppid=30447 vsize=13636020 CPUtime=0 cores=1,3,5,7
/proc/30449/task/30466/stat : 30466 (java) S 30447 30449 26823 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 827728049 13963284480 29656 33554432000 1073741824 1073778376 140737435719200 18446744073709551615 212699491225 0 4 0 16800975 18446604467764639040 0 0 -1 7 0 0 0
[pid=30449/tid=30467] ppid=30447 vsize=13636020 CPUtime=0 cores=1,3,5,7
/proc/30449/task/30467/stat : 30467 (java) S 30447 30449 26823 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 827728049 13963284480 29656 33554432000 1073741824 1073778376 140737435719200 18446744073709551615 212699491225 0 4 0 16800975 18446604467764639040 0 0 -1 7 0 0 0
[pid=30449/tid=30468] ppid=30447 vsize=13636020 CPUtime=0 cores=1,3,5,7
/proc/30449/task/30468/stat : 30468 (java) S 30447 30449 26823 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 827728049 13963284480 29656 33554432000 1073741824 1073778376 140737435719200 18446744073709551615 212699491225 0 4 0 16800975 18446604467764639040 0 0 -1 7 0 0 0
[pid=30449/tid=30472] ppid=30447 vsize=13636020 CPUtime=0 cores=1,3,5,7
/proc/30449/task/30472/stat : 30472 (java) S 30447 30449 26823 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 827728050 13963284480 29656 33554432000 1073741824 1073778376 140737435719200 18446744073709551615 212699491840 0 0 0 16800975 18446604467764639040 0 0 -1 7 0 0 0
[pid=30449/tid=30473] ppid=30447 vsize=13636020 CPUtime=0 cores=1,3,5,7
/proc/30449/task/30473/stat : 30473 (java) S 30447 30449 26823 0 -1 4202560 16 0 0 0 0 0 0 0 24 0 19 0 827728050 13963284480 29656 33554432000 1073741824 1073778376 140737435719200 18446744073709551615 212699491225 0 4 0 16800975 18446604467764639040 0 0 -1 3 0 0 0
[pid=30449/tid=30474] ppid=30447 vsize=13636020 CPUtime=0 cores=1,3,5,7
/proc/30449/task/30474/stat : 30474 (java) S 30447 30449 26823 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 827728050 13963284480 29656 33554432000 1073741824 1073778376 140737435719200 18446744073709551615 212699491225 0 4 0 16800975 18446604467764639040 0 0 -1 7 0 0 0
[pid=30449/tid=30480] ppid=30447 vsize=13636020 CPUtime=0 cores=1,3,5,7
/proc/30449/task/30480/stat : 30480 (java) S 30447 30449 26823 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 827728053 13963284480 29656 33554432000 1073741824 1073778376 140737435719200 18446744073709551615 212699498929 0 4 0 16800975 18446604467764639040 0 0 -1 3 0 0 0
[pid=30449/tid=30481] ppid=30447 vsize=13636020 CPUtime=0.46 cores=1,3,5,7
/proc/30449/task/30481/stat : 30481 (java) S 30447 30449 26823 0 -1 4202560 4535 0 0 0 46 0 0 0 15 0 19 0 827728053 13963284480 29656 33554432000 1073741824 1073778376 140737435719200 18446744073709551615 212699491225 0 4 0 16800975 18446604467764639040 0 0 -1 5 0 0 0
[pid=30449/tid=30482] ppid=30447 vsize=13636020 CPUtime=0.46 cores=1,3,5,7
/proc/30449/task/30482/stat : 30482 (java) S 30447 30449 26823 0 -1 4202560 4403 0 0 0 46 0 0 0 15 0 19 0 827728053 13963284480 29656 33554432000 1073741824 1073778376 140737435719200 18446744073709551615 212699491225 0 4 0 16800975 18446604467764639040 0 0 -1 7 0 0 0
[pid=30449/tid=30483] ppid=30447 vsize=13636020 CPUtime=0 cores=1,3,5,7
/proc/30449/task/30483/stat : 30483 (java) S 30447 30449 26823 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 19 0 827728053 13963284480 29656 33554432000 1073741824 1073778376 140737435719200 18446744073709551615 212699491225 0 4 0 16800975 18446604467764639040 0 0 -1 7 0 0 0
[pid=30449/tid=30484] ppid=30447 vsize=13636020 CPUtime=0 cores=1,3,5,7
/proc/30449/task/30484/stat : 30484 (java) S 30447 30449 26823 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827728053 13963284480 29656 33554432000 1073741824 1073778376 140737435719200 18446744073709551615 212699491840 0 4 0 16800975 18446604467764639040 0 0 -1 7 0 0 0
[pid=30449/tid=30486] ppid=30447 vsize=13636020 CPUtime=0 cores=1,3,5,7
/proc/30449/task/30486/stat : 30486 (java) S 30447 30449 26823 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827728099 13963284480 29656 33554432000 1073741824 1073778376 140737435719200 18446744073709551615 212699491840 0 4 0 16800975 18446604467764639040 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.43
Current children cumulated vsize (KiB) 13636020

[startup+3.10068 s]
/proc/loadavg: 1.84 2.00 1.99 6/612 30486
/proc/meminfo: memFree=23359180/32951124 swapFree=58940260/67111528
[pid=30449] ppid=30447 vsize=13636020 CPUtime=4.07 cores=1,3,5,7
/proc/30449/stat : 30449 (java) S 30447 30449 26823 0 -1 4202496 33673 0 1 0 402 5 0 0 18 0 19 0 827728046 13963284480 29998 33554432000 1073741824 1073778376 140737435719200 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/30449/statm: 3409005 29998 2244 9 0 3399739 0
[pid=30449/tid=30450] ppid=30447 vsize=13636020 CPUtime=3.08 cores=1,3,5,7
/proc/30449/task/30450/stat : 30450 (java) R 30447 30449 26823 0 -1 4202560 23569 0 1 0 305 3 0 0 21 0 19 0 827728047 13963284480 29998 33554432000 1073741824 1073778376 140737435719200 18446744073709551615 46912505865788 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=30449/tid=30461] ppid=30447 vsize=13636020 CPUtime=0 cores=1,3,5,7
/proc/30449/task/30461/stat : 30461 (java) S 30447 30449 26823 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 827728049 13963284480 29998 33554432000 1073741824 1073778376 140737435719200 18446744073709551615 212699491225 0 4 0 16800975 18446604467764639040 0 0 -1 3 0 0 0
[pid=30449/tid=30462] ppid=30447 vsize=13636020 CPUtime=0 cores=1,3,5,7
/proc/30449/task/30462/stat : 30462 (java) S 30447 30449 26823 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 827728049 13963284480 29998 33554432000 1073741824 1073778376 140737435719200 18446744073709551615 212699491225 0 4 0 16800975 18446604467764639040 0 0 -1 7 0 0 0
[pid=30449/tid=30463] ppid=30447 vsize=13636020 CPUtime=0 cores=1,3,5,7
/proc/30449/task/30463/stat : 30463 (java) S 30447 30449 26823 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 827728049 13963284480 29998 33554432000 1073741824 1073778376 140737435719200 18446744073709551615 212699491225 0 4 0 16800975 18446604467764639040 0 0 -1 7 0 0 0
[pid=30449/tid=30464] ppid=30447 vsize=13636020 CPUtime=0 cores=1,3,5,7
/proc/30449/task/30464/stat : 30464 (java) S 30447 30449 26823 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 827728049 13963284480 29998 33554432000 1073741824 1073778376 140737435719200 18446744073709551615 212699491225 0 4 0 16800975 18446604467764639040 0 0 -1 7 0 0 0
[pid=30449/tid=30465] ppid=30447 vsize=13636020 CPUtime=0 cores=1,3,5,7
/proc/30449/task/30465/stat : 30465 (java) S 30447 30449 26823 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 827728049 13963284480 29998 33554432000 1073741824 1073778376 140737435719200 18446744073709551615 212699491225 0 4 0 16800975 18446604467764639040 0 0 -1 7 0 0 0
[pid=30449/tid=30466] ppid=30447 vsize=13636020 CPUtime=0 cores=1,3,5,7
/proc/30449/task/30466/stat : 30466 (java) S 30447 30449 26823 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 827728049 13963284480 29998 33554432000 1073741824 1073778376 140737435719200 18446744073709551615 212699491225 0 4 0 16800975 18446604467764639040 0 0 -1 7 0 0 0
[pid=30449/tid=30467] ppid=30447 vsize=13636020 CPUtime=0 cores=1,3,5,7
/proc/30449/task/30467/stat : 30467 (java) S 30447 30449 26823 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 827728049 13963284480 29998 33554432000 1073741824 1073778376 140737435719200 18446744073709551615 212699491225 0 4 0 16800975 18446604467764639040 0 0 -1 7 0 0 0
[pid=30449/tid=30468] ppid=30447 vsize=13636020 CPUtime=0 cores=1,3,5,7
/proc/30449/task/30468/stat : 30468 (java) S 30447 30449 26823 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 827728049 13963284480 29998 33554432000 1073741824 1073778376 140737435719200 18446744073709551615 212699491225 0 4 0 16800975 18446604467764639040 0 0 -1 7 0 0 0
[pid=30449/tid=30472] ppid=30447 vsize=13636020 CPUtime=0 cores=1,3,5,7
/proc/30449/task/30472/stat : 30472 (java) S 30447 30449 26823 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 827728050 13963284480 29998 33554432000 1073741824 1073778376 140737435719200 18446744073709551615 212699491840 0 0 0 16800975 18446604467764639040 0 0 -1 7 0 0 0
[pid=30449/tid=30473] ppid=30447 vsize=13636020 CPUtime=0 cores=1,3,5,7
/proc/30449/task/30473/stat : 30473 (java) S 30447 30449 26823 0 -1 4202560 16 0 0 0 0 0 0 0 24 0 19 0 827728050 13963284480 29998 33554432000 1073741824 1073778376 140737435719200 18446744073709551615 212699491225 0 4 0 16800975 18446604467764639040 0 0 -1 3 0 0 0
[pid=30449/tid=30474] ppid=30447 vsize=13636020 CPUtime=0 cores=1,3,5,7
/proc/30449/task/30474/stat : 30474 (java) S 30447 30449 26823 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 827728050 13963284480 29998 33554432000 1073741824 1073778376 140737435719200 18446744073709551615 212699491225 0 4 0 16800975 18446604467764639040 0 0 -1 7 0 0 0
[pid=30449/tid=30480] ppid=30447 vsize=13636020 CPUtime=0 cores=1,3,5,7
/proc/30449/task/30480/stat : 30480 (java) S 30447 30449 26823 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 827728053 13963284480 29998 33554432000 1073741824 1073778376 140737435719200 18446744073709551615 212699498929 0 4 0 16800975 18446604467764639040 0 0 -1 3 0 0 0
[pid=30449/tid=30481] ppid=30447 vsize=13636020 CPUtime=0.48 cores=1,3,5,7
/proc/30449/task/30481/stat : 30481 (java) S 30447 30449 26823 0 -1 4202560 4537 0 0 0 48 0 0 0 15 0 19 0 827728053 13963284480 29998 33554432000 1073741824 1073778376 140737435719200 18446744073709551615 212699491225 0 4 0 16800975 18446604467764639040 0 0 -1 5 0 0 0
[pid=30449/tid=30482] ppid=30447 vsize=13636020 CPUtime=0.48 cores=1,3,5,7
/proc/30449/task/30482/stat : 30482 (java) S 30447 30449 26823 0 -1 4202560 4404 0 0 0 48 0 0 0 15 0 19 0 827728053 13963284480 29998 33554432000 1073741824 1073778376 140737435719200 18446744073709551615 212699491225 0 4 0 16800975 18446604467764639040 0 0 -1 7 0 0 0
[pid=30449/tid=30483] ppid=30447 vsize=13636020 CPUtime=0 cores=1,3,5,7
/proc/30449/task/30483/stat : 30483 (java) S 30447 30449 26823 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 19 0 827728053 13963284480 29998 33554432000 1073741824 1073778376 140737435719200 18446744073709551615 212699491225 0 4 0 16800975 18446604467764639040 0 0 -1 7 0 0 0
[pid=30449/tid=30484] ppid=30447 vsize=13636020 CPUtime=0 cores=1,3,5,7
/proc/30449/task/30484/stat : 30484 (java) S 30447 30449 26823 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827728053 13963284480 29998 33554432000 1073741824 1073778376 140737435719200 18446744073709551615 212699491840 0 4 0 16800975 18446604467764639040 0 0 -1 5 0 0 0
[pid=30449/tid=30486] ppid=30447 vsize=13636020 CPUtime=0 cores=1,3,5,7
/proc/30449/task/30486/stat : 30486 (java) S 30447 30449 26823 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827728099 13963284480 29998 33554432000 1073741824 1073778376 140737435719200 18446744073709551615 212699491840 0 4 0 16800975 18446604467764639040 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.07
Current children cumulated vsize (KiB) 13636020

[startup+6.3011 s]
/proc/loadavg: 1.85 2.00 1.99 5/612 30487
/proc/meminfo: memFree=23348896/32951124 swapFree=58940260/67111528
[pid=30449] ppid=30447 vsize=13631644 CPUtime=7.33 cores=1,3,5,7
/proc/30449/stat : 30449 (java) S 30447 30449 26823 0 -1 4202496 36835 0 1 0 728 5 0 0 18 0 19 0 827728046 13958803456 32155 33554432000 1073741824 1073778376 140737435719200 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/30449/statm: 3407911 32155 2270 9 0 3398645 0
[pid=30449/tid=30450] ppid=30447 vsize=13631644 CPUtime=6.24 cores=1,3,5,7
/proc/30449/task/30450/stat : 30450 (java) R 30447 30449 26823 0 -1 4202560 23597 0 1 0 621 3 0 0 25 0 19 0 827728047 13958803456 32155 33554432000 1073741824 1073778376 140737435719200 18446744073709551615 46912505886743 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=30449/tid=30461] ppid=30447 vsize=13631644 CPUtime=0 cores=1,3,5,7
/proc/30449/task/30461/stat : 30461 (java) S 30447 30449 26823 0 -1 4202560 722 0 0 0 0 0 0 0 18 0 19 0 827728049 13958803456 32155 33554432000 1073741824 1073778376 140737435719200 18446744073709551615 212699491225 0 4 0 16800975 18446604467764639040 0 0 -1 3 0 0 0
[pid=30449/tid=30462] ppid=30447 vsize=13631644 CPUtime=0 cores=1,3,5,7
/proc/30449/task/30462/stat : 30462 (java) S 30447 30449 26823 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 827728049 13958803456 32155 33554432000 1073741824 1073778376 140737435719200 18446744073709551615 212699491225 0 4 0 16800975 18446604467764639040 0 0 -1 3 0 0 0
[pid=30449/tid=30463] ppid=30447 vsize=13631644 CPUtime=0 cores=1,3,5,7
/proc/30449/task/30463/stat : 30463 (java) S 30447 30449 26823 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 827728049 13958803456 32155 33554432000 1073741824 1073778376 140737435719200 18446744073709551615 212699491225 0 4 0 16800975 18446604467764639040 0 0 -1 3 0 0 0
[pid=30449/tid=30464] ppid=30447 vsize=13631644 CPUtime=0 cores=1,3,5,7
/proc/30449/task/30464/stat : 30464 (java) S 30447 30449 26823 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 827728049 13958803456 32155 33554432000 1073741824 1073778376 140737435719200 18446744073709551615 212699491225 0 4 0 16800975 18446604467764639040 0 0 -1 3 0 0 0
[pid=30449/tid=30465] ppid=30447 vsize=13631644 CPUtime=0 cores=1,3,5,7
/proc/30449/task/30465/stat : 30465 (java) S 30447 30449 26823 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 827728049 13958803456 32155 33554432000 1073741824 1073778376 140737435719200 18446744073709551615 212699491225 0 4 0 16800975 18446604467764639040 0 0 -1 3 0 0 0
[pid=30449/tid=30466] ppid=30447 vsize=13631644 CPUtime=0 cores=1,3,5,7
/proc/30449/task/30466/stat : 30466 (java) S 30447 30449 26823 0 -1 4202560 152 0 0 0 0 0 0 0 18 0 19 0 827728049 13958803456 32155 33554432000 1073741824 1073778376 140737435719200 18446744073709551615 212699491225 0 4 0 16800975 18446604467764639040 0 0 -1 5 0 0 0
[pid=30449/tid=30467] ppid=30447 vsize=13631644 CPUtime=0 cores=1,3,5,7
/proc/30449/task/30467/stat : 30467 (java) S 30447 30449 26823 0 -1 4202560 689 0 0 0 0 0 0 0 18 0 19 0 827728049 13958803456 32155 33554432000 1073741824 1073778376 140737435719200 18446744073709551615 212699491225 0 4 0 16800975 18446604467764639040 0 0 -1 3 0 0 0
[pid=30449/tid=30468] ppid=30447 vsize=13631644 CPUtime=0 cores=1,3,5,7
/proc/30449/task/30468/stat : 30468 (java) S 30447 30449 26823 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 827728049 13958803456 32155 33554432000 1073741824 1073778376 140737435719200 18446744073709551615 212699491225 0 4 0 16800975 18446604467764639040 0 0 -1 3 0 0 0
[pid=30449/tid=30472] ppid=30447 vsize=13631644 CPUtime=0.03 cores=1,3,5,7
/proc/30449/task/30472/stat : 30472 (java) S 30447 30449 26823 0 -1 4202560 1562 0 0 0 3 0 0 0 15 0 19 0 827728050 13958803456 32155 33554432000 1073741824 1073778376 140737435719200 18446744073709551615 212699491840 0 0 0 16800975 18446604467764639040 0 0 -1 7 0 0 0
[pid=30449/tid=30473] ppid=30447 vsize=13631644 CPUtime=0 cores=1,3,5,7
/proc/30449/task/30473/stat : 30473 (java) S 30447 30449 26823 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827728050 13958803456 32155 33554432000 1073741824 1073778376 140737435719200 18446744073709551615 212699491225 0 4 0 16800975 18446604467764639040 0 0 -1 3 0 0 0
[pid=30449/tid=30474] ppid=30447 vsize=13631644 CPUtime=0 cores=1,3,5,7
/proc/30449/task/30474/stat : 30474 (java) S 30447 30449 26823 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 827728050 13958803456 32155 33554432000 1073741824 1073778376 140737435719200 18446744073709551615 212699491225 0 4 0 16800975 18446604467764639040 0 0 -1 7 0 0 0
[pid=30449/tid=30480] ppid=30447 vsize=13631644 CPUtime=0 cores=1,3,5,7
/proc/30449/task/30480/stat : 30480 (java) S 30447 30449 26823 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 827728053 13958803456 32155 33554432000 1073741824 1073778376 140737435719200 18446744073709551615 212699498929 0 4 0 16800975 18446604467764639040 0 0 -1 3 0 0 0
[pid=30449/tid=30481] ppid=30447 vsize=13631644 CPUtime=0.51 cores=1,3,5,7
/proc/30449/task/30481/stat : 30481 (java) S 30447 30449 26823 0 -1 4202560 4546 0 0 0 51 0 0 0 15 0 19 0 827728053 13958803456 32155 33554432000 1073741824 1073778376 140737435719200 18446744073709551615 212699491225 0 4 0 16800975 18446604467764639040 0 0 -1 5 0 0 0
[pid=30449/tid=30482] ppid=30447 vsize=13631644 CPUtime=0.49 cores=1,3,5,7
/proc/30449/task/30482/stat : 30482 (java) S 30447 30449 26823 0 -1 4202560 4408 0 0 0 49 0 0 0 16 0 19 0 827728053 13958803456 32155 33554432000 1073741824 1073778376 140737435719200 18446744073709551615 212699491225 0 4 0 16800975 18446604467764639040 0 0 -1 7 0 0 0

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

[pid=30449/tid=30466] ppid=30447 vsize=13631644 CPUtime=0.06 cores=1,3,5,7
/proc/30449/task/30466/stat : 30466 (java) S 30447 30449 26823 0 -1 4202560 360 0 0 0 6 0 0 0 16 0 19 0 827728049 13958803456 37484 33554432000 1073741824 1073778376 140737435719200 18446744073709551615 212699491225 0 4 0 16800975 18446604467764639040 0 0 -1 7 0 0 0
[pid=30449/tid=30467] ppid=30447 vsize=13631644 CPUtime=0.09 cores=1,3,5,7
/proc/30449/task/30467/stat : 30467 (java) S 30447 30449 26823 0 -1 4202560 1004 0 0 0 9 0 0 0 15 0 19 0 827728049 13958803456 37484 33554432000 1073741824 1073778376 140737435719200 18446744073709551615 212699491225 0 4 0 16800975 18446604467764639040 0 0 -1 5 0 0 0
[pid=30449/tid=30468] ppid=30447 vsize=13631644 CPUtime=0.08 cores=1,3,5,7
/proc/30449/task/30468/stat : 30468 (java) S 30447 30449 26823 0 -1 4202560 698 0 0 0 8 0 0 0 15 0 19 0 827728049 13958803456 37484 33554432000 1073741824 1073778376 140737435719200 18446744073709551615 212699491225 0 4 0 16800975 18446604467764639040 0 0 -1 7 0 0 0
[pid=30449/tid=30472] ppid=30447 vsize=13631644 CPUtime=6.65 cores=1,3,5,7
/proc/30449/task/30472/stat : 30472 (java) S 30447 30449 26823 0 -1 4202560 4258 0 0 0 663 2 0 0 15 0 19 0 827728050 13958803456 37484 33554432000 1073741824 1073778376 140737435719200 18446744073709551615 212699491840 0 0 0 16800975 18446604467764639040 0 0 -1 3 0 0 0
[pid=30449/tid=30473] ppid=30447 vsize=13631644 CPUtime=0 cores=1,3,5,7
/proc/30449/task/30473/stat : 30473 (java) S 30447 30449 26823 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827728050 13958803456 37484 33554432000 1073741824 1073778376 140737435719200 18446744073709551615 212699491225 0 4 0 16800975 18446604467764639040 0 0 -1 3 0 0 0
[pid=30449/tid=30474] ppid=30447 vsize=13631644 CPUtime=0 cores=1,3,5,7
/proc/30449/task/30474/stat : 30474 (java) S 30447 30449 26823 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 827728050 13958803456 37484 33554432000 1073741824 1073778376 140737435719200 18446744073709551615 212699491225 0 4 0 16800975 18446604467764639040 0 0 -1 7 0 0 0
[pid=30449/tid=30480] ppid=30447 vsize=13631644 CPUtime=0 cores=1,3,5,7
/proc/30449/task/30480/stat : 30480 (java) S 30447 30449 26823 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 827728053 13958803456 37484 33554432000 1073741824 1073778376 140737435719200 18446744073709551615 212699498929 0 4 0 16800975 18446604467764639040 0 0 -1 3 0 0 0
[pid=30449/tid=30481] ppid=30447 vsize=13631644 CPUtime=0.55 cores=1,3,5,7
/proc/30449/task/30481/stat : 30481 (java) S 30447 30449 26823 0 -1 4202560 4555 0 0 0 55 0 0 0 15 0 19 0 827728053 13958803456 37484 33554432000 1073741824 1073778376 140737435719200 18446744073709551615 212699491225 0 4 0 16800975 18446604467764639040 0 0 -1 5 0 0 0
[pid=30449/tid=30482] ppid=30447 vsize=13631644 CPUtime=0.51 cores=1,3,5,7
/proc/30449/task/30482/stat : 30482 (java) S 30447 30449 26823 0 -1 4202560 4420 0 0 0 51 0 0 0 15 0 19 0 827728053 13958803456 37484 33554432000 1073741824 1073778376 140737435719200 18446744073709551615 212699491225 0 4 0 16800975 18446604467764639040 0 0 -1 7 0 0 0
[pid=30449/tid=30483] ppid=30447 vsize=13631644 CPUtime=0 cores=1,3,5,7
/proc/30449/task/30483/stat : 30483 (java) S 30447 30449 26823 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 19 0 827728053 13958803456 37484 33554432000 1073741824 1073778376 140737435719200 18446744073709551615 212699491225 0 4 0 16800975 18446604467764639040 0 0 -1 7 0 0 0
[pid=30449/tid=30484] ppid=30447 vsize=13631644 CPUtime=0 cores=1,3,5,7
/proc/30449/task/30484/stat : 30484 (java) S 30447 30449 26823 0 -1 4202560 96 0 0 0 0 0 0 0 15 0 19 0 827728053 13958803456 37484 33554432000 1073741824 1073778376 140737435719200 18446744073709551615 212699491840 0 4 0 16800975 18446604467764639040 0 0 -1 5 0 0 0
[pid=30449/tid=30486] ppid=30447 vsize=13631644 CPUtime=0 cores=1,3,5,7
/proc/30449/task/30486/stat : 30486 (java) S 30447 30449 26823 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827728099 13958803456 37484 33554432000 1073741824 1073778376 140737435719200 18446744073709551615 212699491840 0 4 0 16800975 18446604467764639040 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1663.68
Current children cumulated vsize (KiB) 13631644

[startup+1722.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/612 30587
/proc/meminfo: memFree=23331960/32951124 swapFree=58940260/67111528
[pid=30449] ppid=30447 vsize=13631644 CPUtime=1723.7 cores=1,3,5,7
/proc/30449/stat : 30449 (java) S 30447 30449 26823 0 -1 4202496 42580 0 1 0 172361 9 0 0 18 0 19 0 827728046 13958803456 37490 33554432000 1073741824 1073778376 140737435719200 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/30449/statm: 3407911 37490 2271 9 0 3398645 0
[pid=30449/tid=30450] ppid=30447 vsize=13631644 CPUtime=1715 cores=1,3,5,7
/proc/30449/task/30450/stat : 30450 (java) R 30447 30449 26823 0 -1 4202560 23804 0 1 0 171497 3 0 0 21 0 19 0 827728047 13958803456 37490 33554432000 1073741824 1073778376 140737435719200 18446744073709551615 46912505972743 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=30449/tid=30461] ppid=30447 vsize=13631644 CPUtime=0.07 cores=1,3,5,7
/proc/30449/task/30461/stat : 30461 (java) S 30447 30449 26823 0 -1 4202560 1035 0 0 0 7 0 0 0 15 0 19 0 827728049 13958803456 37490 33554432000 1073741824 1073778376 140737435719200 18446744073709551615 212699491225 0 4 0 16800975 18446604467764639040 0 0 -1 5 0 0 0
[pid=30449/tid=30462] ppid=30447 vsize=13631644 CPUtime=0.07 cores=1,3,5,7
/proc/30449/task/30462/stat : 30462 (java) S 30447 30449 26823 0 -1 4202560 493 0 0 0 7 0 0 0 15 0 19 0 827728049 13958803456 37490 33554432000 1073741824 1073778376 140737435719200 18446744073709551615 212699491225 0 4 0 16800975 18446604467764639040 0 0 -1 5 0 0 0
[pid=30449/tid=30463] ppid=30447 vsize=13631644 CPUtime=0.08 cores=1,3,5,7
/proc/30449/task/30463/stat : 30463 (java) S 30447 30449 26823 0 -1 4202560 29 0 0 0 8 0 0 0 15 0 19 0 827728049 13958803456 37490 33554432000 1073741824 1073778376 140737435719200 18446744073709551615 212699491225 0 4 0 16800975 18446604467764639040 0 0 -1 5 0 0 0
[pid=30449/tid=30464] ppid=30447 vsize=13631644 CPUtime=0.06 cores=1,3,5,7
/proc/30449/task/30464/stat : 30464 (java) S 30447 30449 26823 0 -1 4202560 479 0 0 0 6 0 0 0 15 0 19 0 827728049 13958803456 37490 33554432000 1073741824 1073778376 140737435719200 18446744073709551615 212699491225 0 4 0 16800975 18446604467764639040 0 0 -1 7 0 0 0
[pid=30449/tid=30465] ppid=30447 vsize=13631644 CPUtime=0.06 cores=1,3,5,7
/proc/30449/task/30465/stat : 30465 (java) S 30447 30449 26823 0 -1 4202560 186 0 0 0 6 0 0 0 15 0 19 0 827728049 13958803456 37490 33554432000 1073741824 1073778376 140737435719200 18446744073709551615 212699491225 0 4 0 16800975 18446604467764639040 0 0 -1 7 0 0 0
[pid=30449/tid=30466] ppid=30447 vsize=13631644 CPUtime=0.07 cores=1,3,5,7
/proc/30449/task/30466/stat : 30466 (java) S 30447 30449 26823 0 -1 4202560 360 0 0 0 7 0 0 0 16 0 19 0 827728049 13958803456 37490 33554432000 1073741824 1073778376 140737435719200 18446744073709551615 212699491225 0 4 0 16800975 18446604467764639040 0 0 -1 7 0 0 0
[pid=30449/tid=30467] ppid=30447 vsize=13631644 CPUtime=0.09 cores=1,3,5,7
/proc/30449/task/30467/stat : 30467 (java) S 30447 30449 26823 0 -1 4202560 1006 0 0 0 9 0 0 0 15 0 19 0 827728049 13958803456 37490 33554432000 1073741824 1073778376 140737435719200 18446744073709551615 212699491225 0 4 0 16800975 18446604467764639040 0 0 -1 7 0 0 0
[pid=30449/tid=30468] ppid=30447 vsize=13631644 CPUtime=0.08 cores=1,3,5,7
/proc/30449/task/30468/stat : 30468 (java) S 30447 30449 26823 0 -1 4202560 698 0 0 0 8 0 0 0 15 0 19 0 827728049 13958803456 37490 33554432000 1073741824 1073778376 140737435719200 18446744073709551615 212699491225 0 4 0 16800975 18446604467764639040 0 0 -1 7 0 0 0
[pid=30449/tid=30472] ppid=30447 vsize=13631644 CPUtime=6.96 cores=1,3,5,7
/proc/30449/task/30472/stat : 30472 (java) S 30447 30449 26823 0 -1 4202560 4262 0 0 0 694 2 0 0 15 0 19 0 827728050 13958803456 37490 33554432000 1073741824 1073778376 140737435719200 18446744073709551615 212699491840 0 0 0 16800975 18446604467764639040 0 0 -1 3 0 0 0
[pid=30449/tid=30473] ppid=30447 vsize=13631644 CPUtime=0 cores=1,3,5,7
/proc/30449/task/30473/stat : 30473 (java) S 30447 30449 26823 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827728050 13958803456 37490 33554432000 1073741824 1073778376 140737435719200 18446744073709551615 212699491225 0 4 0 16800975 18446604467764639040 0 0 -1 3 0 0 0
[pid=30449/tid=30474] ppid=30447 vsize=13631644 CPUtime=0 cores=1,3,5,7
/proc/30449/task/30474/stat : 30474 (java) S 30447 30449 26823 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 827728050 13958803456 37490 33554432000 1073741824 1073778376 140737435719200 18446744073709551615 212699491225 0 4 0 16800975 18446604467764639040 0 0 -1 7 0 0 0
[pid=30449/tid=30480] ppid=30447 vsize=13631644 CPUtime=0 cores=1,3,5,7
/proc/30449/task/30480/stat : 30480 (java) S 30447 30449 26823 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 827728053 13958803456 37490 33554432000 1073741824 1073778376 140737435719200 18446744073709551615 212699498929 0 4 0 16800975 18446604467764639040 0 0 -1 3 0 0 0
[pid=30449/tid=30481] ppid=30447 vsize=13631644 CPUtime=0.55 cores=1,3,5,7
/proc/30449/task/30481/stat : 30481 (java) S 30447 30449 26823 0 -1 4202560 4555 0 0 0 55 0 0 0 15 0 19 0 827728053 13958803456 37490 33554432000 1073741824 1073778376 140737435719200 18446744073709551615 212699491225 0 4 0 16800975 18446604467764639040 0 0 -1 5 0 0 0
[pid=30449/tid=30482] ppid=30447 vsize=13631644 CPUtime=0.51 cores=1,3,5,7
/proc/30449/task/30482/stat : 30482 (java) S 30447 30449 26823 0 -1 4202560 4420 0 0 0 51 0 0 0 15 0 19 0 827728053 13958803456 37490 33554432000 1073741824 1073778376 140737435719200 18446744073709551615 212699491225 0 4 0 16800975 18446604467764639040 0 0 -1 7 0 0 0
[pid=30449/tid=30483] ppid=30447 vsize=13631644 CPUtime=0 cores=1,3,5,7
/proc/30449/task/30483/stat : 30483 (java) S 30447 30449 26823 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 19 0 827728053 13958803456 37490 33554432000 1073741824 1073778376 140737435719200 18446744073709551615 212699491225 0 4 0 16800975 18446604467764639040 0 0 -1 7 0 0 0
[pid=30449/tid=30484] ppid=30447 vsize=13631644 CPUtime=0 cores=1,3,5,7
/proc/30449/task/30484/stat : 30484 (java) S 30447 30449 26823 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 827728053 13958803456 37490 33554432000 1073741824 1073778376 140737435719200 18446744073709551615 212699491840 0 4 0 16800975 18446604467764639040 0 0 -1 7 0 0 0
[pid=30449/tid=30486] ppid=30447 vsize=13631644 CPUtime=0 cores=1,3,5,7
/proc/30449/task/30486/stat : 30486 (java) S 30447 30449 26823 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827728099 13958803456 37490 33554432000 1073741824 1073778376 140737435719200 18446744073709551615 212699491840 0 4 0 16800975 18446604467764639040 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1723.7
Current children cumulated vsize (KiB) 13631644

[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/612 30590
/proc/meminfo: memFree=23331036/32951124 swapFree=58940260/67111528
[pid=30449] ppid=30447 vsize=13631644 CPUtime=1783.71 cores=1,3,5,7
/proc/30449/stat : 30449 (java) S 30447 30449 26823 0 -1 4202496 42609 0 1 0 178362 9 0 0 18 0 19 0 827728046 13958803456 37507 33554432000 1073741824 1073778376 140737435719200 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/30449/statm: 3407911 37507 2271 9 0 3398645 0
[pid=30449/tid=30450] ppid=30447 vsize=13631644 CPUtime=1774.72 cores=1,3,5,7
/proc/30449/task/30450/stat : 30450 (java) R 30447 30449 26823 0 -1 4202560 23812 0 1 0 177469 3 0 0 25 0 19 0 827728047 13958803456 37507 33554432000 1073741824 1073778376 140737435719200 18446744073709551615 46912505925509 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=30449/tid=30461] ppid=30447 vsize=13631644 CPUtime=0.08 cores=1,3,5,7
/proc/30449/task/30461/stat : 30461 (java) S 30447 30449 26823 0 -1 4202560 1039 0 0 0 8 0 0 0 16 0 19 0 827728049 13958803456 37507 33554432000 1073741824 1073778376 140737435719200 18446744073709551615 212699491225 0 4 0 16800975 18446604467764639040 0 0 -1 7 0 0 0
[pid=30449/tid=30462] ppid=30447 vsize=13631644 CPUtime=0.07 cores=1,3,5,7
/proc/30449/task/30462/stat : 30462 (java) S 30447 30449 26823 0 -1 4202560 493 0 0 0 7 0 0 0 15 0 19 0 827728049 13958803456 37507 33554432000 1073741824 1073778376 140737435719200 18446744073709551615 212699491225 0 4 0 16800975 18446604467764639040 0 0 -1 5 0 0 0
[pid=30449/tid=30463] ppid=30447 vsize=13631644 CPUtime=0.08 cores=1,3,5,7
/proc/30449/task/30463/stat : 30463 (java) S 30447 30449 26823 0 -1 4202560 29 0 0 0 8 0 0 0 15 0 19 0 827728049 13958803456 37507 33554432000 1073741824 1073778376 140737435719200 18446744073709551615 212699491225 0 4 0 16800975 18446604467764639040 0 0 -1 5 0 0 0
[pid=30449/tid=30464] ppid=30447 vsize=13631644 CPUtime=0.06 cores=1,3,5,7
/proc/30449/task/30464/stat : 30464 (java) S 30447 30449 26823 0 -1 4202560 479 0 0 0 6 0 0 0 15 0 19 0 827728049 13958803456 37507 33554432000 1073741824 1073778376 140737435719200 18446744073709551615 212699491225 0 4 0 16800975 18446604467764639040 0 0 -1 5 0 0 0
[pid=30449/tid=30465] ppid=30447 vsize=13631644 CPUtime=0.07 cores=1,3,5,7
/proc/30449/task/30465/stat : 30465 (java) S 30447 30449 26823 0 -1 4202560 186 0 0 0 7 0 0 0 16 0 19 0 827728049 13958803456 37507 33554432000 1073741824 1073778376 140737435719200 18446744073709551615 212699491225 0 4 0 16800975 18446604467764639040 0 0 -1 7 0 0 0
[pid=30449/tid=30466] ppid=30447 vsize=13631644 CPUtime=0.07 cores=1,3,5,7
/proc/30449/task/30466/stat : 30466 (java) S 30447 30449 26823 0 -1 4202560 360 0 0 0 7 0 0 0 16 0 19 0 827728049 13958803456 37507 33554432000 1073741824 1073778376 140737435719200 18446744073709551615 212699491225 0 4 0 16800975 18446604467764639040 0 0 -1 7 0 0 0
[pid=30449/tid=30467] ppid=30447 vsize=13631644 CPUtime=0.09 cores=1,3,5,7
/proc/30449/task/30467/stat : 30467 (java) S 30447 30449 26823 0 -1 4202560 1006 0 0 0 9 0 0 0 15 0 19 0 827728049 13958803456 37507 33554432000 1073741824 1073778376 140737435719200 18446744073709551615 212699491225 0 4 0 16800975 18446604467764639040 0 0 -1 7 0 0 0
[pid=30449/tid=30468] ppid=30447 vsize=13631644 CPUtime=0.08 cores=1,3,5,7
/proc/30449/task/30468/stat : 30468 (java) S 30447 30449 26823 0 -1 4202560 698 0 0 0 8 0 0 0 16 0 19 0 827728049 13958803456 37507 33554432000 1073741824 1073778376 140737435719200 18446744073709551615 212699491225 0 4 0 16800975 18446604467764639040 0 0 -1 7 0 0 0
[pid=30449/tid=30472] ppid=30447 vsize=13631644 CPUtime=7.23 cores=1,3,5,7
/proc/30449/task/30472/stat : 30472 (java) S 30447 30449 26823 0 -1 4202560 4277 0 0 0 721 2 0 0 15 0 19 0 827728050 13958803456 37507 33554432000 1073741824 1073778376 140737435719200 18446744073709551615 212699491840 0 0 0 16800975 18446604467764639040 0 0 -1 3 0 0 0
[pid=30449/tid=30473] ppid=30447 vsize=13631644 CPUtime=0 cores=1,3,5,7
/proc/30449/task/30473/stat : 30473 (java) S 30447 30449 26823 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827728050 13958803456 37507 33554432000 1073741824 1073778376 140737435719200 18446744073709551615 212699491225 0 4 0 16800975 18446604467764639040 0 0 -1 3 0 0 0
[pid=30449/tid=30474] ppid=30447 vsize=13631644 CPUtime=0 cores=1,3,5,7
/proc/30449/task/30474/stat : 30474 (java) S 30447 30449 26823 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 827728050 13958803456 37507 33554432000 1073741824 1073778376 140737435719200 18446744073709551615 212699491225 0 4 0 16800975 18446604467764639040 0 0 -1 7 0 0 0
[pid=30449/tid=30480] ppid=30447 vsize=13631644 CPUtime=0 cores=1,3,5,7
/proc/30449/task/30480/stat : 30480 (java) S 30447 30449 26823 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 827728053 13958803456 37507 33554432000 1073741824 1073778376 140737435719200 18446744073709551615 212699498929 0 4 0 16800975 18446604467764639040 0 0 -1 3 0 0 0
[pid=30449/tid=30481] ppid=30447 vsize=13631644 CPUtime=0.55 cores=1,3,5,7
/proc/30449/task/30481/stat : 30481 (java) S 30447 30449 26823 0 -1 4202560 4555 0 0 0 55 0 0 0 15 0 19 0 827728053 13958803456 37507 33554432000 1073741824 1073778376 140737435719200 18446744073709551615 212699491225 0 4 0 16800975 18446604467764639040 0 0 -1 5 0 0 0
[pid=30449/tid=30482] ppid=30447 vsize=13631644 CPUtime=0.51 cores=1,3,5,7
/proc/30449/task/30482/stat : 30482 (java) S 30447 30449 26823 0 -1 4202560 4420 0 0 0 51 0 0 0 15 0 19 0 827728053 13958803456 37507 33554432000 1073741824 1073778376 140737435719200 18446744073709551615 212699491225 0 4 0 16800975 18446604467764639040 0 0 -1 7 0 0 0
[pid=30449/tid=30483] ppid=30447 vsize=13631644 CPUtime=0 cores=1,3,5,7
/proc/30449/task/30483/stat : 30483 (java) S 30447 30449 26823 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 19 0 827728053 13958803456 37507 33554432000 1073741824 1073778376 140737435719200 18446744073709551615 212699491225 0 4 0 16800975 18446604467764639040 0 0 -1 7 0 0 0
[pid=30449/tid=30484] ppid=30447 vsize=13631644 CPUtime=0 cores=1,3,5,7
/proc/30449/task/30484/stat : 30484 (java) S 30447 30449 26823 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 827728053 13958803456 37507 33554432000 1073741824 1073778376 140737435719200 18446744073709551615 212699491840 0 4 0 16800975 18446604467764639040 0 0 -1 1 0 0 0
[pid=30449/tid=30486] ppid=30447 vsize=13631644 CPUtime=0 cores=1,3,5,7
/proc/30449/task/30486/stat : 30486 (java) S 30447 30449 26823 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827728099 13958803456 37507 33554432000 1073741824 1073778376 140737435719200 18446744073709551615 212699491840 0 4 0 16800975 18446604467764639040 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1783.71
Current children cumulated vsize (KiB) 13631644



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1798.6 s]
/proc/loadavg: 2.00 2.03 2.00 3/612 30590
/proc/meminfo: memFree=23331036/32951124 swapFree=58940260/67111528
[pid=30449] ppid=30447 vsize=13631644 CPUtime=1800.04 cores=1,3,5,7
/proc/30449/stat : 30449 (java) S 30447 30449 26823 0 -1 4202496 42615 0 1 0 179995 9 0 0 18 0 19 0 827728046 13958803456 37507 33554432000 1073741824 1073778376 140737435719200 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/30449/statm: 3407911 37507 2271 9 0 3398645 0
[pid=30449/tid=30450] ppid=30447 vsize=13631644 CPUtime=1790.96 cores=1,3,5,7
/proc/30449/task/30450/stat : 30450 (java) R 30447 30449 26823 0 -1 4202560 23814 0 1 0 179093 3 0 0 25 0 19 0 827728047 13958803456 37507 33554432000 1073741824 1073778376 140737435719200 18446744073709551615 46912505865788 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=30449/tid=30461] ppid=30447 vsize=13631644 CPUtime=0.08 cores=1,3,5,7
/proc/30449/task/30461/stat : 30461 (java) S 30447 30449 26823 0 -1 4202560 1039 0 0 0 8 0 0 0 15 0 19 0 827728049 13958803456 37507 33554432000 1073741824 1073778376 140737435719200 18446744073709551615 212699491225 0 4 0 16800975 18446604467764639040 0 0 -1 5 0 0 0
[pid=30449/tid=30462] ppid=30447 vsize=13631644 CPUtime=0.07 cores=1,3,5,7
/proc/30449/task/30462/stat : 30462 (java) S 30447 30449 26823 0 -1 4202560 493 0 0 0 7 0 0 0 15 0 19 0 827728049 13958803456 37507 33554432000 1073741824 1073778376 140737435719200 18446744073709551615 212699491225 0 4 0 16800975 18446604467764639040 0 0 -1 5 0 0 0
[pid=30449/tid=30463] ppid=30447 vsize=13631644 CPUtime=0.08 cores=1,3,5,7
/proc/30449/task/30463/stat : 30463 (java) S 30447 30449 26823 0 -1 4202560 29 0 0 0 8 0 0 0 15 0 19 0 827728049 13958803456 37507 33554432000 1073741824 1073778376 140737435719200 18446744073709551615 212699491225 0 4 0 16800975 18446604467764639040 0 0 -1 5 0 0 0
[pid=30449/tid=30464] ppid=30447 vsize=13631644 CPUtime=0.06 cores=1,3,5,7
/proc/30449/task/30464/stat : 30464 (java) S 30447 30449 26823 0 -1 4202560 479 0 0 0 6 0 0 0 15 0 19 0 827728049 13958803456 37507 33554432000 1073741824 1073778376 140737435719200 18446744073709551615 212699491225 0 4 0 16800975 18446604467764639040 0 0 -1 5 0 0 0
[pid=30449/tid=30465] ppid=30447 vsize=13631644 CPUtime=0.07 cores=1,3,5,7
/proc/30449/task/30465/stat : 30465 (java) S 30447 30449 26823 0 -1 4202560 186 0 0 0 7 0 0 0 15 0 19 0 827728049 13958803456 37507 33554432000 1073741824 1073778376 140737435719200 18446744073709551615 212699491225 0 4 0 16800975 18446604467764639040 0 0 -1 7 0 0 0
[pid=30449/tid=30466] ppid=30447 vsize=13631644 CPUtime=0.07 cores=1,3,5,7
/proc/30449/task/30466/stat : 30466 (java) S 30447 30449 26823 0 -1 4202560 360 0 0 0 7 0 0 0 15 0 19 0 827728049 13958803456 37507 33554432000 1073741824 1073778376 140737435719200 18446744073709551615 212699491225 0 4 0 16800975 18446604467764639040 0 0 -1 7 0 0 0
[pid=30449/tid=30467] ppid=30447 vsize=13631644 CPUtime=0.1 cores=1,3,5,7
/proc/30449/task/30467/stat : 30467 (java) S 30447 30449 26823 0 -1 4202560 1006 0 0 0 10 0 0 0 16 0 19 0 827728049 13958803456 37507 33554432000 1073741824 1073778376 140737435719200 18446744073709551615 212699491225 0 4 0 16800975 18446604467764639040 0 0 -1 7 0 0 0
[pid=30449/tid=30468] ppid=30447 vsize=13631644 CPUtime=0.08 cores=1,3,5,7
/proc/30449/task/30468/stat : 30468 (java) S 30447 30449 26823 0 -1 4202560 698 0 0 0 8 0 0 0 15 0 19 0 827728049 13958803456 37507 33554432000 1073741824 1073778376 140737435719200 18446744073709551615 212699491225 0 4 0 16800975 18446604467764639040 0 0 -1 7 0 0 0
[pid=30449/tid=30472] ppid=30447 vsize=13631644 CPUtime=7.3 cores=1,3,5,7
/proc/30449/task/30472/stat : 30472 (java) S 30447 30449 26823 0 -1 4202560 4279 0 0 0 728 2 0 0 15 0 19 0 827728050 13958803456 37507 33554432000 1073741824 1073778376 140737435719200 18446744073709551615 212699491840 0 0 0 16800975 18446604467764639040 0 0 -1 3 0 0 0
[pid=30449/tid=30473] ppid=30447 vsize=13631644 CPUtime=0 cores=1,3,5,7
/proc/30449/task/30473/stat : 30473 (java) S 30447 30449 26823 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827728050 13958803456 37507 33554432000 1073741824 1073778376 140737435719200 18446744073709551615 212699491225 0 4 0 16800975 18446604467764639040 0 0 -1 3 0 0 0
[pid=30449/tid=30474] ppid=30447 vsize=13631644 CPUtime=0 cores=1,3,5,7
/proc/30449/task/30474/stat : 30474 (java) S 30447 30449 26823 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 827728050 13958803456 37507 33554432000 1073741824 1073778376 140737435719200 18446744073709551615 212699491225 0 4 0 16800975 18446604467764639040 0 0 -1 7 0 0 0
[pid=30449/tid=30480] ppid=30447 vsize=13631644 CPUtime=0 cores=1,3,5,7
/proc/30449/task/30480/stat : 30480 (java) S 30447 30449 26823 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 827728053 13958803456 37507 33554432000 1073741824 1073778376 140737435719200 18446744073709551615 212699498929 0 4 0 16800975 18446604467764639040 0 0 -1 3 0 0 0
[pid=30449/tid=30481] ppid=30447 vsize=13631644 CPUtime=0.55 cores=1,3,5,7
/proc/30449/task/30481/stat : 30481 (java) S 30447 30449 26823 0 -1 4202560 4555 0 0 0 55 0 0 0 15 0 19 0 827728053 13958803456 37507 33554432000 1073741824 1073778376 140737435719200 18446744073709551615 212699491225 0 4 0 16800975 18446604467764639040 0 0 -1 5 0 0 0
[pid=30449/tid=30482] ppid=30447 vsize=13631644 CPUtime=0.51 cores=1,3,5,7
/proc/30449/task/30482/stat : 30482 (java) S 30447 30449 26823 0 -1 4202560 4420 0 0 0 51 0 0 0 15 0 19 0 827728053 13958803456 37507 33554432000 1073741824 1073778376 140737435719200 18446744073709551615 212699491225 0 4 0 16800975 18446604467764639040 0 0 -1 7 0 0 0
[pid=30449/tid=30483] ppid=30447 vsize=13631644 CPUtime=0 cores=1,3,5,7
/proc/30449/task/30483/stat : 30483 (java) S 30447 30449 26823 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 19 0 827728053 13958803456 37507 33554432000 1073741824 1073778376 140737435719200 18446744073709551615 212699491225 0 4 0 16800975 18446604467764639040 0 0 -1 7 0 0 0
[pid=30449/tid=30484] ppid=30447 vsize=13631644 CPUtime=0 cores=1,3,5,7
/proc/30449/task/30484/stat : 30484 (java) S 30447 30449 26823 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 827728053 13958803456 37507 33554432000 1073741824 1073778376 140737435719200 18446744073709551615 212699491840 0 4 0 16800975 18446604467764639040 0 0 -1 1 0 0 0
[pid=30449/tid=30486] ppid=30447 vsize=13631644 CPUtime=0 cores=1,3,5,7
/proc/30449/task/30486/stat : 30486 (java) S 30447 30449 26823 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827728099 13958803456 37507 33554432000 1073741824 1073778376 140737435719200 18446744073709551615 212699491840 0 4 0 16800975 18446604467764639040 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 13631644

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

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

Child status: 143
Real time (s): 1798.65
CPU time (s): 1800.09
CPU user time (s): 1799.99
CPU system time (s): 0.102984
CPU usage (%): 100.08
Max. virtual memory (cumulated for all children) (KiB): 13636020

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.99
system time used= 0.102984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42657
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 43219
involuntary context switches= 8655

runsolver used 10.3134 second user time and 24.1123 second system time

The end

Launcher Data 

Begin job on node139 at 2011-06-04 06:21:43
IDJOB=3458413
IDBENCH=48233
IDSOLVER=1952
FILE ID=node139/3458413-1307161303
RUNJOBID= node139-1307161303-30430
PBS_JOBID= 13508777
Free space on /tmp= 73472 MiB

SOLVER NAME= Sat4j Resolution 2.3.0
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_200_25_3.opb
COMMAND LINE= java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3458413-1307161303/watcher-3458413-1307161303 -o /tmp/evaluation-result-3458413-1307161303/solver-3458413-1307161303 -C 1800 -W 1900 -M 15500  java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458413-1307161303.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 7d5c1eba9f9b9c55d272c1a8f28b465a
RANDOM SEED=1532003672

node139.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.852
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.70
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.852
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.852
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.852
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.852
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5321.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.852
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.852
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.852
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      23565716 kB
Buffers:        270836 kB
Cached:         605884 kB
SwapCached:       3628 kB
Active:        8568164 kB
Inactive:       514712 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      23565716 kB
SwapTotal:    67111528 kB
SwapFree:     58940260 kB
Dirty:             804 kB
Writeback:           0 kB
AnonPages:     8204040 kB
Mapped:          34920 kB
Slab:           152876 kB
PageTables:      78460 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 170881784 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73472 MiB
End job on node139 at 2011-06-04 06:51:44