Trace number 3458433

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.12 1798.65

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_200_25_5.opb
MD5SUMb1b77cfc7c7e45b216596a736ff4b926
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-33
Best CPU time to get the best result obtained on this benchmark1797.15
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -29
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)12452
Sum of products size (including duplicates)24904
Number of different products6226
Sum of products size12452

Solver Data 

0.05/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.05/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.05/0.09	c See www.sat4j.org for details.
0.05/0.09	c version 2.3.1.v20110525
0.05/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.05/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.05/0.09	c java.vm.version	19.1-b02
0.05/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.05/0.09	c sun.arch.data.model	64
0.05/0.09	c java.version		1.6.0_24
0.05/0.09	c os.name		Linux
0.05/0.09	c os.version		2.6.18-164.el5
0.05/0.09	c os.arch		amd64
0.05/0.09	c Free memory 		12995394264
0.05/0.09	c Max memory 		13063553024
0.05/0.09	c Total memory 		13063553024
0.05/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-3458433-1307162092.opb
0.10/0.11	c reading problem ... 
1.04/0.51	c ... done. Wall clock time 0.399s.
1.04/0.51	c #vars     6626
1.04/0.51	c #constraints  13054
1.04/0.51	c constraints type 
1.04/0.51	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6226
1.04/0.51	c org.sat4j.minisat.constraints.card.MinWatchCard => 402
1.04/0.51	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 200
1.04/0.51	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6226
3.13/2.24	c SATISFIABLE
3.13/2.24	c OPTIMIZING...
3.13/2.24	c Got one! Elapsed wall clock time (in seconds):2.121
3.13/2.24	o -16
4.27/3.39	c cleaning 2541 clauses out of 5117 with flag 2000/5117
7.99/7.09	c cleaning 4287 clauses out of 8577 with flag 8001/11118
12.79/11.86	c cleaning 5586 clauses out of 11289 with flag 15000/18117
17.19/16.29	c cleaning 6852 clauses out of 13703 with flag 23000/26117
23.89/22.96	c cleaning 7893 clauses out of 15851 with flag 32000/35117
30.10/29.13	c cleaning 8937 clauses out of 17958 with flag 42000/45117
36.50/35.57	c cleaning 9963 clauses out of 20021 with flag 53000/56117
44.10/43.17	c cleaning 10875 clauses out of 22058 with flag 65000/68117
54.10/53.14	c cleaning 11985 clauses out of 24183 with flag 78000/81117
64.62/63.70	c cleaning 13025 clauses out of 26198 with flag 92000/95117
75.92/74.94	c cleaning 13436 clauses out of 27173 with flag 106000/109117
86.62/85.65	c cleaning 13763 clauses out of 27737 with flag 120000/123117
98.12/97.11	c cleaning 13844 clauses out of 27974 with flag 134000/137117
110.12/109.12	c cleaning 13971 clauses out of 28130 with flag 148000/151117
122.52/121.54	c cleaning 13920 clauses out of 28159 with flag 162000/165117
134.32/133.31	c cleaning 13986 clauses out of 28239 with flag 176000/179117
147.72/146.73	c cleaning 13983 clauses out of 28253 with flag 190000/193117
158.82/157.87	c cleaning 14080 clauses out of 28270 with flag 204000/207117
173.03/172.03	c cleaning 13937 clauses out of 28190 with flag 218000/221117
184.53/183.54	c cleaning 14063 clauses out of 28253 with flag 232000/235117
195.74/194.73	c cleaning 13963 clauses out of 28190 with flag 246000/249117
206.13/205.11	c cleaning 14074 clauses out of 28227 with flag 260000/263117
218.43/217.48	c cleaning 13997 clauses out of 28153 with flag 274000/277117
230.63/229.68	c cleaning 13996 clauses out of 28156 with flag 288000/291117
242.63/241.60	c cleaning 14022 clauses out of 28160 with flag 302000/305117
253.73/252.75	c cleaning 13889 clauses out of 28138 with flag 316000/319117
264.43/263.48	c cleaning 14109 clauses out of 28249 with flag 330000/333117
274.23/273.22	c cleaning 13909 clauses out of 28140 with flag 344000/347117
285.44/284.44	c cleaning 13992 clauses out of 28231 with flag 358000/361117
296.05/295.09	c cleaning 14017 clauses out of 28239 with flag 372000/375117
305.55/304.52	c cleaning 13956 clauses out of 28222 with flag 386000/389117
314.95/314.00	c cleaning 14072 clauses out of 28266 with flag 400000/403117
323.55/322.54	c cleaning 14005 clauses out of 28194 with flag 414000/417117
331.15/330.13	c cleaning 14010 clauses out of 28189 with flag 428000/431117
339.05/338.05	c cleaning 14058 clauses out of 28179 with flag 442000/445117
347.05/346.00	c cleaning 13993 clauses out of 28121 with flag 456000/459117
354.76/353.71	c cleaning 13990 clauses out of 28128 with flag 470000/473117
362.06/361.00	c cleaning 14034 clauses out of 28138 with flag 484000/487117
373.06/372.08	c cleaning 13973 clauses out of 28104 with flag 498000/501117
381.36/380.38	c cleaning 14017 clauses out of 28131 with flag 512000/515117
389.76/388.70	c cleaning 13961 clauses out of 28114 with flag 526000/529117
398.76/397.74	c cleaning 13987 clauses out of 28153 with flag 540000/543117
407.26/406.23	c cleaning 13958 clauses out of 28166 with flag 554000/557117
414.86/413.84	c cleaning 14052 clauses out of 28208 with flag 568000/571117
421.97/420.90	c cleaning 14022 clauses out of 28156 with flag 582000/585117
429.47/428.46	c cleaning 13974 clauses out of 28134 with flag 596000/599117
438.37/437.30	c cleaning 13971 clauses out of 28160 with flag 610000/613117
446.27/445.22	c cleaning 13988 clauses out of 28189 with flag 624000/627117
453.57/452.56	c cleaning 14055 clauses out of 28201 with flag 638000/641117
461.37/460.30	c cleaning 13929 clauses out of 28146 with flag 652000/655117
468.88/467.83	c cleaning 14020 clauses out of 28217 with flag 666000/669117
476.68/475.60	c cleaning 14095 clauses out of 28197 with flag 680000/683117
485.09/484.04	c cleaning 13946 clauses out of 28102 with flag 694000/697117
493.18/492.17	c cleaning 14004 clauses out of 28156 with flag 708000/711117
500.58/499.57	c cleaning 13996 clauses out of 28152 with flag 722000/725117
508.59/507.55	c cleaning 14009 clauses out of 28156 with flag 736000/739117
516.09/515.08	c cleaning 13995 clauses out of 28147 with flag 750000/753117
523.20/522.12	c cleaning 14030 clauses out of 28152 with flag 764000/767117
529.11/528.06	c cleaning 14005 clauses out of 28122 with flag 778000/781117
536.20/535.12	c cleaning 14050 clauses out of 28118 with flag 792001/795118
543.42/542.38	c cleaning 13991 clauses out of 28067 with flag 806000/809117
550.02/548.95	c cleaning 14026 clauses out of 28076 with flag 820000/823117
556.40/555.37	c cleaning 13956 clauses out of 28050 with flag 834000/837117
561.50/560.48	c cleaning 14025 clauses out of 28094 with flag 848000/851117
568.00/566.91	c cleaning 13973 clauses out of 28069 with flag 862000/865117
575.21/574.19	c cleaning 13909 clauses out of 28096 with flag 876000/879117
583.61/582.54	c cleaning 14019 clauses out of 28187 with flag 890000/893117
591.42/590.38	c cleaning 14013 clauses out of 28168 with flag 904000/907117
599.13/598.01	c cleaning 14003 clauses out of 28155 with flag 918000/921117
607.24/606.16	c cleaning 14065 clauses out of 28152 with flag 932000/935117
615.23/614.11	c cleaning 13969 clauses out of 28087 with flag 946000/949117
622.73/621.63	c cleaning 13992 clauses out of 28118 with flag 960000/963117
629.73/628.60	c cleaning 14023 clauses out of 28126 with flag 974000/977117
636.13/635.07	c cleaning 13992 clauses out of 28103 with flag 988000/991117
642.34/641.27	c cleaning 13979 clauses out of 28111 with flag 1002000/1005117
647.53/646.47	c cleaning 14036 clauses out of 28132 with flag 1016000/1019117
654.64/653.51	c cleaning 13964 clauses out of 28096 with flag 1030000/1033117
661.44/660.37	c cleaning 14025 clauses out of 28132 with flag 1044000/1047117
668.75/667.61	c cleaning 13955 clauses out of 28107 with flag 1058000/1061117
675.14/674.06	c cleaning 14052 clauses out of 28152 with flag 1072000/1075117
682.54/681.45	c cleaning 14009 clauses out of 28100 with flag 1086000/1089117
689.76/688.65	c cleaning 13966 clauses out of 28091 with flag 1100000/1103117
696.15/695.07	c cleaning 14033 clauses out of 28125 with flag 1114000/1117117
702.55/701.41	c cleaning 13973 clauses out of 28092 with flag 1128000/1131117
708.37/707.27	c cleaning 14015 clauses out of 28119 with flag 1142000/1145117
713.76/712.63	c cleaning 13989 clauses out of 28104 with flag 1156000/1159117
719.47/718.38	c cleaning 13992 clauses out of 28115 with flag 1170000/1173117
727.96/726.88	c cleaning 13982 clauses out of 28123 with flag 1184000/1187117
736.36/735.24	c cleaning 13967 clauses out of 28141 with flag 1198000/1201117
743.76/742.65	c cleaning 14033 clauses out of 28174 with flag 1212000/1215117
750.76/749.66	c cleaning 14007 clauses out of 28141 with flag 1226000/1229117
757.47/756.31	c cleaning 13979 clauses out of 28134 with flag 1240000/1243117
763.77/762.63	c cleaning 14015 clauses out of 28155 with flag 1254000/1257117
769.87/768.75	c cleaning 14023 clauses out of 28140 with flag 1268000/1271117
775.48/774.34	c cleaning 13978 clauses out of 28117 with flag 1282000/1285117
781.48/780.31	c cleaning 14019 clauses out of 28139 with flag 1296000/1299117
788.58/787.48	c cleaning 13993 clauses out of 28120 with flag 1310000/1313117
795.40/794.27	c cleaning 14046 clauses out of 28127 with flag 1324000/1327117
803.88/802.73	c cleaning 13952 clauses out of 28081 with flag 1338000/1341117
812.38/811.28	c cleaning 14012 clauses out of 28129 with flag 1352000/1355117
820.29/819.10	c cleaning 14032 clauses out of 28117 with flag 1366000/1369117
828.69/827.52	c cleaning 13977 clauses out of 28085 with flag 1380000/1383117
836.49/835.39	c cleaning 13995 clauses out of 28108 with flag 1394000/1397117
844.49/843.37	c cleaning 13963 clauses out of 28113 with flag 1408000/1411117
850.79/849.65	c cleaning 14028 clauses out of 28150 with flag 1422000/1425117
857.20/856.07	c cleaning 14035 clauses out of 28122 with flag 1436000/1439117
862.60/861.45	c cleaning 13971 clauses out of 28087 with flag 1450000/1453117
867.90/866.81	c cleaning 14032 clauses out of 28116 with flag 1464000/1467117
876.71/875.54	c cleaning 13945 clauses out of 28084 with flag 1478000/1481117
884.80/883.64	c cleaning 13997 clauses out of 28139 with flag 1492000/1495117
892.80/891.69	c cleaning 14024 clauses out of 28142 with flag 1506000/1509117
899.93/898.73	c cleaning 14016 clauses out of 28118 with flag 1520000/1523117
909.21/908.06	c cleaning 13963 clauses out of 28102 with flag 1534000/1537117
917.82/916.69	c cleaning 14017 clauses out of 28139 with flag 1548000/1551117
925.32/924.14	c cleaning 13991 clauses out of 28122 with flag 1562000/1565117
932.12/930.94	c cleaning 14006 clauses out of 28131 with flag 1576000/1579117
938.44/937.25	c cleaning 14020 clauses out of 28125 with flag 1590000/1593117
944.43/943.25	c cleaning 13977 clauses out of 28105 with flag 1604000/1607117
951.93/950.75	c cleaning 13965 clauses out of 28128 with flag 1618000/1621117
960.63/959.48	c cleaning 14009 clauses out of 28163 with flag 1632000/1635117
969.53/968.33	c cleaning 14033 clauses out of 28154 with flag 1646000/1649117
976.74/975.57	c cleaning 14031 clauses out of 28121 with flag 1660000/1663117
983.74/982.53	c cleaning 13965 clauses out of 28090 with flag 1674000/1677117
990.15/989.00	c cleaning 14020 clauses out of 28125 with flag 1688000/1691117
996.04/994.90	c cleaning 13991 clauses out of 28105 with flag 1702000/1705117
1002.85/1001.66	c cleaning 13950 clauses out of 28114 with flag 1716000/1719117
1010.85/1009.66	c cleaning 14000 clauses out of 28164 with flag 1730000/1733117
1018.15/1016.96	c cleaning 14028 clauses out of 28164 with flag 1744000/1747117
1024.85/1023.65	c cleaning 14005 clauses out of 28136 with flag 1758000/1761117
1032.75/1031.53	c cleaning 13981 clauses out of 28131 with flag 1772000/1775117
1041.77/1040.53	c cleaning 13983 clauses out of 28150 with flag 1786000/1789117
1050.76/1049.50	c cleaning 14071 clauses out of 28167 with flag 1800000/1803117
1059.16/1057.95	c cleaning 13986 clauses out of 28096 with flag 1814000/1817117
1067.66/1066.44	c cleaning 13958 clauses out of 28110 with flag 1828000/1831117
1075.56/1074.39	c cleaning 14049 clauses out of 28152 with flag 1842000/1845117
1083.36/1082.16	c cleaning 13970 clauses out of 28103 with flag 1856000/1859117
1090.57/1089.31	c cleaning 14035 clauses out of 28133 with flag 1870000/1873117
1097.37/1096.19	c cleaning 13967 clauses out of 28098 with flag 1884000/1887117
1104.18/1102.93	c cleaning 13992 clauses out of 28131 with flag 1898000/1901117
1110.98/1109.71	c cleaning 13999 clauses out of 28139 with flag 1912000/1915117
1117.38/1116.12	c cleaning 14046 clauses out of 28140 with flag 1926000/1929117
1127.70/1126.48	c cleaning 14002 clauses out of 28094 with flag 1940000/1943117
1137.78/1136.55	c cleaning 14021 clauses out of 28093 with flag 1954001/1957118
1147.08/1145.82	c cleaning 13914 clauses out of 28071 with flag 1968000/1971117
1156.39/1155.19	c cleaning 14021 clauses out of 28157 with flag 1982000/1985117
1165.89/1164.63	c cleaning 14013 clauses out of 28136 with flag 1996000/1999117
1176.49/1175.28	c cleaning 13885 clauses out of 28123 with flag 2010000/2013117
1188.21/1186.99	c cleaning 14002 clauses out of 28238 with flag 2024000/2027117
1200.39/1199.17	c cleaning 14097 clauses out of 28236 with flag 2038000/2041117
1211.80/1210.59	c cleaning 13930 clauses out of 28139 with flag 2052000/2055117
1222.70/1221.49	c cleaning 13982 clauses out of 28209 with flag 2066000/2069117
1233.00/1231.79	c cleaning 14002 clauses out of 28227 with flag 2080000/2083117
1242.20/1240.95	c cleaning 14015 clauses out of 28225 with flag 2094000/2097117
1251.31/1250.08	c cleaning 14043 clauses out of 28210 with flag 2108000/2111117
1260.11/1258.81	c cleaning 14082 clauses out of 28167 with flag 2122000/2125117
1271.32/1270.02	c cleaning 13949 clauses out of 28085 with flag 2136000/2139117
1282.42/1281.14	c cleaning 13969 clauses out of 28136 with flag 2150000/2153117
1292.93/1291.63	c cleaning 14006 clauses out of 28167 with flag 2164000/2167117
1302.23/1300.96	c cleaning 14002 clauses out of 28161 with flag 2178000/2181117
1312.23/1310.92	c cleaning 13997 clauses out of 28159 with flag 2192000/2195117
1321.63/1320.35	c cleaning 13988 clauses out of 28162 with flag 2206000/2209117
1331.43/1330.10	c cleaning 14029 clauses out of 28174 with flag 2220000/2223117
1340.74/1339.40	c cleaning 14048 clauses out of 28145 with flag 2234000/2237117
1350.24/1348.98	c cleaning 13939 clauses out of 28097 with flag 2248000/2251117
1359.34/1358.02	c cleaning 14043 clauses out of 28158 with flag 2262000/2265117
1368.24/1366.90	c cleaning 13976 clauses out of 28115 with flag 2276000/2279117
1376.94/1375.63	c cleaning 14009 clauses out of 28139 with flag 2290000/2293117
1385.95/1384.60	c cleaning 13963 clauses out of 28130 with flag 2304000/2307117
1395.06/1393.73	c cleaning 14030 clauses out of 28167 with flag 2318000/2321117
1403.87/1402.54	c cleaning 13996 clauses out of 28137 with flag 2332000/2335117
1412.75/1411.48	c cleaning 14000 clauses out of 28141 with flag 2346000/2349117
1421.36/1420.10	c cleaning 13984 clauses out of 28141 with flag 2360000/2363117
1430.07/1428.70	c cleaning 13980 clauses out of 28157 with flag 2374000/2377117
1438.47/1437.16	c cleaning 14012 clauses out of 28177 with flag 2388000/2391117
1446.87/1445.58	c cleaning 14025 clauses out of 28165 with flag 2402000/2405117
1455.08/1453.77	c cleaning 13983 clauses out of 28140 with flag 2416000/2419117
1463.58/1462.25	c cleaning 14029 clauses out of 28157 with flag 2430000/2433117
1473.68/1472.33	c cleaning 13971 clauses out of 28128 with flag 2444000/2447117
1484.28/1482.92	c cleaning 13962 clauses out of 28157 with flag 2458000/2461117
1494.10/1492.79	c cleaning 14024 clauses out of 28195 with flag 2472000/2475117
1504.49/1503.10	c cleaning 13970 clauses out of 28171 with flag 2486000/2489117
1514.09/1512.75	c cleaning 13981 clauses out of 28201 with flag 2500000/2503117
1523.59/1522.27	c cleaning 14010 clauses out of 28220 with flag 2514000/2517117
1533.29/1531.90	c cleaning 13998 clauses out of 28210 with flag 2528000/2531117
1542.51/1541.15	c cleaning 14014 clauses out of 28212 with flag 2542000/2545117
1551.50/1550.18	c cleaning 14018 clauses out of 28198 with flag 2556000/2559117
1560.20/1558.82	c cleaning 14021 clauses out of 28180 with flag 2570000/2573117
1568.81/1567.51	c cleaning 13976 clauses out of 28159 with flag 2584000/2587117
1577.40/1576.04	c cleaning 14027 clauses out of 28183 with flag 2598000/2601117
1585.90/1584.52	c cleaning 13973 clauses out of 28156 with flag 2612000/2615117
1594.51/1593.16	c cleaning 14027 clauses out of 28183 with flag 2626000/2629117
1603.03/1601.64	c cleaning 14014 clauses out of 28156 with flag 2640000/2643117
1611.72/1610.37	c cleaning 13976 clauses out of 28142 with flag 2654000/2657117
1621.31/1619.94	c cleaning 13941 clauses out of 28166 with flag 2668000/2671117
1631.63/1630.26	c cleaning 13977 clauses out of 28225 with flag 2682000/2685117
1641.22/1639.83	c cleaning 13976 clauses out of 28248 with flag 2696000/2699117
1650.52/1649.10	c cleaning 14003 clauses out of 28272 with flag 2710000/2713117
1660.72/1659.31	c cleaning 14045 clauses out of 28269 with flag 2724000/2727117
1671.13/1669.73	c cleaning 13989 clauses out of 28224 with flag 2738000/2741117
1681.14/1679.73	c cleaning 14074 clauses out of 28235 with flag 2752000/2755117
1690.82/1689.47	c cleaning 13972 clauses out of 28161 with flag 2766000/2769117
1700.23/1698.87	c cleaning 14015 clauses out of 28189 with flag 2780000/2783117
1709.23/1707.82	c cleaning 13992 clauses out of 28174 with flag 2794000/2797117
1718.33/1716.94	c cleaning 14010 clauses out of 28182 with flag 2808000/2811117
1727.35/1725.95	c cleaning 13998 clauses out of 28172 with flag 2822000/2825117
1736.24/1734.88	c cleaning 13999 clauses out of 28174 with flag 2836000/2839117
1745.34/1743.97	c cleaning 14000 clauses out of 28175 with flag 2850000/2853117
1754.14/1752.77	c cleaning 13989 clauses out of 28175 with flag 2864000/2867117
1762.94/1761.58	c cleaning 14005 clauses out of 28186 with flag 2878000/2881117
1771.84/1770.49	c cleaning 13986 clauses out of 28181 with flag 2892000/2895117
1780.55/1779.18	c cleaning 14001 clauses out of 28195 with flag 2906000/2909117
1789.35/1787.97	c cleaning 13997 clauses out of 28194 with flag 2920000/2923117
1797.96/1796.59	c cleaning 14027 clauses out of 28197 with flag 2934000/2937117
1800.07/1798.62	c starts		: 232
1800.07/1798.62	c conflicts		: 2940523
1800.07/1798.62	c decisions		: 3007277
1800.07/1798.62	c propagations		: 100755938
1800.07/1798.62	c inspects		: 3099287165
1800.07/1798.62	c shortcuts		: 0
1800.07/1798.62	c learnt literals	: 0
1800.07/1798.62	c learnt binary clauses	: 0
1800.07/1798.62	c learnt ternary clauses	: 501
1800.07/1798.62	c learnt constraints	: 2940523
1800.07/1798.62	c ignored constraints	: 0
1800.07/1798.62	c root simplifications	: 0
1800.07/1798.62	c removed literals (reason simplification)	: 373990993
1800.07/1798.62	c reason swapping (by a shorter reason)	: 0
1800.07/1798.62	c Calls to reduceDB	: 213
1800.07/1798.62	c number of reductions to clauses (during analyze)	: 0
1800.07/1798.62	c number of learned constraints concerned by reduction	: 0
1800.07/1798.62	c number of learning phase by resolution	: 0
1800.07/1798.62	c number of learning phase by cutting planes	: 0
1800.07/1798.62	c speed (assignments/second)	: 56088.31144395314
1800.07/1798.62	c non guided choices	0
1800.07/1798.63	c learnt constraints type 
1800.07/1798.63	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 17589
1800.07/1798.63	c constraints type 
1800.07/1798.63	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6226
1800.07/1798.63	c org.sat4j.minisat.constraints.card.MinWatchCard => 403
1800.07/1798.63	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 200
1800.07/1798.63	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6226
1800.07/1798.63	s SATISFIABLE
1800.07/1798.63	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.07/1798.63	c objective function=-16
1800.07/1798.63	c Total wall clock time (in seconds): 1798.514

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-3458433-1307162092/watcher-3458433-1307162092 -o /tmp/evaluation-result-3458433-1307162092/solver-3458433-1307162092 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458433-1307162092.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.82 1.96 1.98 3/414 6774
/proc/meminfo: memFree=26067196/32950928 swapFree=52006644/67111528
[pid=6774] ppid=6772 vsize=33700 CPUtime=0 cores=1,3,5,7
/proc/6774/stat : 6774 (java) S 6772 6774 2869 0 -1 4202496 1292 0 0 0 0 0 0 0 18 0 2 0 283818641 34508800 1002 33554432000 1073741824 1073778376 140736973654624 18446744073709551615 218892367845 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/6774/statm: 8424 1001 769 9 0 386 0
[pid=6774/tid=6776] ppid=6772 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/6774/task/6776/stat : 6776 (java) R 6772 6774 2869 0 -1 4202560 3353 0 1 0 0 0 0 0 17 0 2 0 283818642 13850947584 4169 33554432000 1073741824 1073778376 140736973654624 18446744073709551615 218880259131 0 4 0 16784584 0 0 0 -1 3 0 0 0

[startup+0.0588709 s]
/proc/loadavg: 1.82 1.96 1.98 3/414 6774
/proc/meminfo: memFree=26067196/32950928 swapFree=52006644/67111528
[pid=6774] ppid=6772 vsize=13616040 CPUtime=0.05 cores=1,3,5,7
/proc/6774/stat : 6774 (java) S 6772 6774 2869 0 -1 4202496 13960 0 1 0 3 2 0 0 18 0 13 0 283818641 13942824960 13657 33554432000 1073741824 1073778376 140736973654624 18446744073709551615 218892367845 0 0 0 16800971 18446744073709551615 0 0 17 3 0 0 0
/proc/6774/statm: 3404010 13657 1685 9 0 3394758 0
[pid=6774/tid=6776] ppid=6772 vsize=13616040 CPUtime=0.04 cores=1,3,5,7
/proc/6774/task/6776/stat : 6776 (java) R 6772 6774 2869 0 -1 4202560 12812 0 1 0 3 1 0 0 17 0 13 0 283818642 13942824960 13657 33554432000 1073741824 1073778376 140736973654624 18446744073709551615 46912505099250 0 4 0 16800971 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 13616040

[startup+0.100791 s]
/proc/loadavg: 1.82 1.96 1.98 3/414 6774
/proc/meminfo: memFree=26067196/32950928 swapFree=52006644/67111528
[pid=6774] ppid=6772 vsize=13622260 CPUtime=0.1 cores=1,3,5,7
/proc/6774/stat : 6774 (java) S 6772 6774 2869 0 -1 4202496 15417 0 1 0 8 2 0 0 18 0 18 0 283818641 13949194240 15114 33554432000 1073741824 1073778376 140736973654624 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/6774/statm: 3405565 15114 2092 9 0 3396299 0
[pid=6774/tid=6776] ppid=6772 vsize=13622260 CPUtime=0.08 cores=1,3,5,7
/proc/6774/task/6776/stat : 6776 (java) R 6772 6774 2869 0 -1 4202560 13540 0 1 0 7 1 0 0 22 0 18 0 283818642 13949194240 15114 33554432000 1073741824 1073778376 140736973654624 18446744073709551615 46912496215087 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13622260

[startup+0.300736 s]
/proc/loadavg: 1.82 1.96 1.98 3/414 6774
/proc/meminfo: memFree=26067196/32950928 swapFree=52006644/67111528
[pid=6774] ppid=6772 vsize=13627380 CPUtime=0.45 cores=1,3,5,7
/proc/6774/stat : 6774 (java) S 6772 6774 2869 0 -1 4202496 18591 0 1 0 43 2 0 0 18 0 18 0 283818641 13954437120 18154 33554432000 1073741824 1073778376 140736973654624 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/6774/statm: 3406845 18154 2212 9 0 3397579 0
[pid=6774/tid=6776] ppid=6772 vsize=13627380 CPUtime=0.27 cores=1,3,5,7
/proc/6774/task/6776/stat : 6776 (java) R 6772 6774 2869 0 -1 4202560 15296 0 1 0 26 1 0 0 22 0 18 0 283818642 13954437120 18154 33554432000 1073741824 1073778376 140736973654624 18446744073709551615 46983940166547 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 13627380

[startup+0.700667 s]
/proc/loadavg: 1.82 1.96 1.98 3/414 6774
/proc/meminfo: memFree=26067196/32950928 swapFree=52006644/67111528
[pid=6774] ppid=6772 vsize=13636600 CPUtime=1.53 cores=1,3,5,7
/proc/6774/stat : 6774 (java) S 6772 6774 2869 0 -1 4202496 32622 0 1 0 150 3 0 0 18 0 19 0 283818641 13963878400 29626 33554432000 1073741824 1073778376 140736973654624 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/6774/statm: 3409150 29626 2240 9 0 3399884 0
[pid=6774/tid=6776] ppid=6772 vsize=13636600 CPUtime=0.68 cores=1,3,5,7
/proc/6774/task/6776/stat : 6776 (java) R 6772 6774 2869 0 -1 4202560 23037 0 1 0 66 2 0 0 24 0 19 0 283818642 13963878400 29626 33554432000 1073741824 1073778376 140736973654624 18446744073709551615 46912505217341 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.53
Current children cumulated vsize (KiB) 13636600

[startup+1.50152 s]
/proc/loadavg: 1.82 1.96 1.98 4/452 6812
/proc/meminfo: memFree=25862924/32950928 swapFree=52006644/67111528
[pid=6774] ppid=6772 vsize=13636600 CPUtime=2.41 cores=1,3,5,7
/proc/6774/stat : 6774 (java) S 6772 6774 2869 0 -1 4202496 32829 0 1 0 238 3 0 0 18 0 19 0 283818641 13963878400 29832 33554432000 1073741824 1073778376 140736973654624 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/6774/statm: 3409150 29832 2243 9 0 3399884 0
[pid=6774/tid=6776] ppid=6772 vsize=13636600 CPUtime=1.47 cores=1,3,5,7
/proc/6774/task/6776/stat : 6776 (java) R 6772 6774 2869 0 -1 4202560 23226 0 1 0 145 2 0 0 25 0 19 0 283818642 13963878400 29832 33554432000 1073741824 1073778376 140736973654624 18446744073709551615 46912505832368 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=6774/tid=6787] ppid=6772 vsize=13636600 CPUtime=0 cores=1,3,5,7
/proc/6774/task/6787/stat : 6787 (java) S 6772 6774 2869 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 283818644 13963878400 29832 33554432000 1073741824 1073778376 140736973654624 18446744073709551615 218892381081 0 4 0 16800975 18446604454518560768 0 0 -1 7 0 0 0
[pid=6774/tid=6788] ppid=6772 vsize=13636600 CPUtime=0 cores=1,3,5,7
/proc/6774/task/6788/stat : 6788 (java) S 6772 6774 2869 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283818644 13963878400 29832 33554432000 1073741824 1073778376 140736973654624 18446744073709551615 218892381081 0 4 0 16800975 18446604454518560768 0 0 -1 7 0 0 0
[pid=6774/tid=6789] ppid=6772 vsize=13636600 CPUtime=0 cores=1,3,5,7
/proc/6774/task/6789/stat : 6789 (java) S 6772 6774 2869 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283818644 13963878400 29832 33554432000 1073741824 1073778376 140736973654624 18446744073709551615 218892381081 0 4 0 16800975 18446604454518560768 0 0 -1 3 0 0 0
[pid=6774/tid=6790] ppid=6772 vsize=13636600 CPUtime=0 cores=1,3,5,7
/proc/6774/task/6790/stat : 6790 (java) S 6772 6774 2869 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 283818644 13963878400 29832 33554432000 1073741824 1073778376 140736973654624 18446744073709551615 218892381081 0 4 0 16800975 18446604454518560768 0 0 -1 3 0 0 0
[pid=6774/tid=6791] ppid=6772 vsize=13636600 CPUtime=0 cores=1,3,5,7
/proc/6774/task/6791/stat : 6791 (java) S 6772 6774 2869 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283818644 13963878400 29832 33554432000 1073741824 1073778376 140736973654624 18446744073709551615 218892381081 0 4 0 16800975 18446604454518560768 0 0 -1 3 0 0 0
[pid=6774/tid=6792] ppid=6772 vsize=13636600 CPUtime=0 cores=1,3,5,7
/proc/6774/task/6792/stat : 6792 (java) S 6772 6774 2869 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 283818644 13963878400 29832 33554432000 1073741824 1073778376 140736973654624 18446744073709551615 218892381081 0 4 0 16800975 18446604454518560768 0 0 -1 7 0 0 0
[pid=6774/tid=6793] ppid=6772 vsize=13636600 CPUtime=0 cores=1,3,5,7
/proc/6774/task/6793/stat : 6793 (java) S 6772 6774 2869 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 283818644 13963878400 29832 33554432000 1073741824 1073778376 140736973654624 18446744073709551615 218892381081 0 4 0 16800975 18446604454518560768 0 0 -1 7 0 0 0
[pid=6774/tid=6794] ppid=6772 vsize=13636600 CPUtime=0 cores=1,3,5,7
/proc/6774/task/6794/stat : 6794 (java) S 6772 6774 2869 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 283818644 13963878400 29832 33554432000 1073741824 1073778376 140736973654624 18446744073709551615 218892381081 0 4 0 16800975 18446604454518560768 0 0 -1 7 0 0 0
[pid=6774/tid=6796] ppid=6772 vsize=13636600 CPUtime=0 cores=1,3,5,7
/proc/6774/task/6796/stat : 6796 (java) S 6772 6774 2869 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 283818645 13963878400 29832 33554432000 1073741824 1073778376 140736973654624 18446744073709551615 218892381696 0 0 0 16800975 18446604454518560768 0 0 -1 7 0 0 0
[pid=6774/tid=6799] ppid=6772 vsize=13636600 CPUtime=0 cores=1,3,5,7
/proc/6774/task/6799/stat : 6799 (java) S 6772 6774 2869 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 19 0 283818645 13963878400 29832 33554432000 1073741824 1073778376 140736973654624 18446744073709551615 218892381081 0 4 0 16800975 18446604454518560768 0 0 -1 3 0 0 0
[pid=6774/tid=6800] ppid=6772 vsize=13636600 CPUtime=0 cores=1,3,5,7
/proc/6774/task/6800/stat : 6800 (java) S 6772 6774 2869 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 283818645 13963878400 29832 33554432000 1073741824 1073778376 140736973654624 18446744073709551615 218892381081 0 4 0 16800975 18446604454518560768 0 0 -1 7 0 0 0
[pid=6774/tid=6803] ppid=6772 vsize=13636600 CPUtime=0 cores=1,3,5,7
/proc/6774/task/6803/stat : 6803 (java) S 6772 6774 2869 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 283818647 13963878400 29832 33554432000 1073741824 1073778376 140736973654624 18446744073709551615 218892388785 0 4 0 16800975 18446604454518560768 0 0 -1 3 0 0 0
[pid=6774/tid=6804] ppid=6772 vsize=13636600 CPUtime=0.45 cores=1,3,5,7
/proc/6774/task/6804/stat : 6804 (java) S 6772 6774 2869 0 -1 4202560 3901 0 0 0 45 0 0 0 15 0 19 0 283818647 13963878400 29832 33554432000 1073741824 1073778376 140736973654624 18446744073709551615 218892381081 0 4 0 16800975 18446604454518560768 0 0 -1 5 0 0 0
[pid=6774/tid=6807] ppid=6772 vsize=13636600 CPUtime=0.47 cores=1,3,5,7
/proc/6774/task/6807/stat : 6807 (java) S 6772 6774 2869 0 -1 4202560 4541 0 0 0 47 0 0 0 15 0 19 0 283818647 13963878400 29832 33554432000 1073741824 1073778376 140736973654624 18446744073709551615 218892381081 0 4 0 16800975 18446604454518560768 0 0 -1 3 0 0 0
[pid=6774/tid=6808] ppid=6772 vsize=13636600 CPUtime=0 cores=1,3,5,7
/proc/6774/task/6808/stat : 6808 (java) S 6772 6774 2869 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 283818647 13963878400 29832 33554432000 1073741824 1073778376 140736973654624 18446744073709551615 218892381081 0 4 0 16800975 18446604454518560768 0 0 -1 3 0 0 0
[pid=6774/tid=6810] ppid=6772 vsize=13636600 CPUtime=0 cores=1,3,5,7
/proc/6774/task/6810/stat : 6810 (java) S 6772 6774 2869 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 283818647 13963878400 29832 33554432000 1073741824 1073778376 140736973654624 18446744073709551615 218892381696 0 4 0 16800975 18446604454518560768 0 0 -1 5 0 0 0
[pid=6774/tid=6812] ppid=6772 vsize=13636600 CPUtime=0 cores=1,3,5,7
/proc/6774/task/6812/stat : 6812 (java) S 6772 6774 2869 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 283818694 13963878400 29832 33554432000 1073741824 1073778376 140736973654624 18446744073709551615 218892381696 0 4 0 16800975 18446604454518560768 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.41
Current children cumulated vsize (KiB) 13636600

[startup+3.10124 s]
/proc/loadavg: 1.82 1.96 1.98 4/452 6812
/proc/meminfo: memFree=25852384/32950928 swapFree=52006644/67111528
[pid=6774] ppid=6772 vsize=13636600 CPUtime=4.06 cores=1,3,5,7
/proc/6774/stat : 6774 (java) S 6772 6774 2869 0 -1 4202496 33168 0 1 0 402 4 0 0 18 0 19 0 283818641 13963878400 30169 33554432000 1073741824 1073778376 140736973654624 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/6774/statm: 3409150 30169 2244 9 0 3399884 0
[pid=6774/tid=6776] ppid=6772 vsize=13636600 CPUtime=3.07 cores=1,3,5,7
/proc/6774/task/6776/stat : 6776 (java) R 6772 6774 2869 0 -1 4202560 23559 0 1 0 305 2 0 0 25 0 19 0 283818642 13963878400 30169 33554432000 1073741824 1073778376 140736973654624 18446744073709551615 46912505637956 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=6774/tid=6787] ppid=6772 vsize=13636600 CPUtime=0 cores=1,3,5,7
/proc/6774/task/6787/stat : 6787 (java) S 6772 6774 2869 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 283818644 13963878400 30169 33554432000 1073741824 1073778376 140736973654624 18446744073709551615 218892381081 0 4 0 16800975 18446604454518560768 0 0 -1 7 0 0 0
[pid=6774/tid=6788] ppid=6772 vsize=13636600 CPUtime=0 cores=1,3,5,7
/proc/6774/task/6788/stat : 6788 (java) S 6772 6774 2869 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283818644 13963878400 30169 33554432000 1073741824 1073778376 140736973654624 18446744073709551615 218892381081 0 4 0 16800975 18446604454518560768 0 0 -1 7 0 0 0
[pid=6774/tid=6789] ppid=6772 vsize=13636600 CPUtime=0 cores=1,3,5,7
/proc/6774/task/6789/stat : 6789 (java) S 6772 6774 2869 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283818644 13963878400 30169 33554432000 1073741824 1073778376 140736973654624 18446744073709551615 218892381081 0 4 0 16800975 18446604454518560768 0 0 -1 3 0 0 0
[pid=6774/tid=6790] ppid=6772 vsize=13636600 CPUtime=0 cores=1,3,5,7
/proc/6774/task/6790/stat : 6790 (java) S 6772 6774 2869 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 283818644 13963878400 30169 33554432000 1073741824 1073778376 140736973654624 18446744073709551615 218892381081 0 4 0 16800975 18446604454518560768 0 0 -1 3 0 0 0
[pid=6774/tid=6791] ppid=6772 vsize=13636600 CPUtime=0 cores=1,3,5,7
/proc/6774/task/6791/stat : 6791 (java) S 6772 6774 2869 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283818644 13963878400 30169 33554432000 1073741824 1073778376 140736973654624 18446744073709551615 218892381081 0 4 0 16800975 18446604454518560768 0 0 -1 3 0 0 0
[pid=6774/tid=6792] ppid=6772 vsize=13636600 CPUtime=0 cores=1,3,5,7
/proc/6774/task/6792/stat : 6792 (java) S 6772 6774 2869 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 283818644 13963878400 30169 33554432000 1073741824 1073778376 140736973654624 18446744073709551615 218892381081 0 4 0 16800975 18446604454518560768 0 0 -1 7 0 0 0
[pid=6774/tid=6793] ppid=6772 vsize=13636600 CPUtime=0 cores=1,3,5,7
/proc/6774/task/6793/stat : 6793 (java) S 6772 6774 2869 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 283818644 13963878400 30169 33554432000 1073741824 1073778376 140736973654624 18446744073709551615 218892381081 0 4 0 16800975 18446604454518560768 0 0 -1 7 0 0 0
[pid=6774/tid=6794] ppid=6772 vsize=13636600 CPUtime=0 cores=1,3,5,7
/proc/6774/task/6794/stat : 6794 (java) S 6772 6774 2869 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 283818644 13963878400 30169 33554432000 1073741824 1073778376 140736973654624 18446744073709551615 218892381081 0 4 0 16800975 18446604454518560768 0 0 -1 7 0 0 0
[pid=6774/tid=6796] ppid=6772 vsize=13636600 CPUtime=0 cores=1,3,5,7
/proc/6774/task/6796/stat : 6796 (java) S 6772 6774 2869 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 283818645 13963878400 30169 33554432000 1073741824 1073778376 140736973654624 18446744073709551615 218892381696 0 0 0 16800975 18446604454518560768 0 0 -1 7 0 0 0
[pid=6774/tid=6799] ppid=6772 vsize=13636600 CPUtime=0 cores=1,3,5,7
/proc/6774/task/6799/stat : 6799 (java) S 6772 6774 2869 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 19 0 283818645 13963878400 30169 33554432000 1073741824 1073778376 140736973654624 18446744073709551615 218892381081 0 4 0 16800975 18446604454518560768 0 0 -1 3 0 0 0
[pid=6774/tid=6800] ppid=6772 vsize=13636600 CPUtime=0 cores=1,3,5,7
/proc/6774/task/6800/stat : 6800 (java) S 6772 6774 2869 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 283818645 13963878400 30169 33554432000 1073741824 1073778376 140736973654624 18446744073709551615 218892381081 0 4 0 16800975 18446604454518560768 0 0 -1 7 0 0 0
[pid=6774/tid=6803] ppid=6772 vsize=13636600 CPUtime=0 cores=1,3,5,7
/proc/6774/task/6803/stat : 6803 (java) S 6772 6774 2869 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 283818647 13963878400 30169 33554432000 1073741824 1073778376 140736973654624 18446744073709551615 218892388785 0 4 0 16800975 18446604454518560768 0 0 -1 3 0 0 0
[pid=6774/tid=6804] ppid=6772 vsize=13636600 CPUtime=0.46 cores=1,3,5,7
/proc/6774/task/6804/stat : 6804 (java) S 6772 6774 2869 0 -1 4202560 3902 0 0 0 46 0 0 0 15 0 19 0 283818647 13963878400 30169 33554432000 1073741824 1073778376 140736973654624 18446744073709551615 218892381081 0 4 0 16800975 18446604454518560768 0 0 -1 5 0 0 0
[pid=6774/tid=6807] ppid=6772 vsize=13636600 CPUtime=0.5 cores=1,3,5,7
/proc/6774/task/6807/stat : 6807 (java) S 6772 6774 2869 0 -1 4202560 4546 0 0 0 50 0 0 0 15 0 19 0 283818647 13963878400 30169 33554432000 1073741824 1073778376 140736973654624 18446744073709551615 218892381081 0 4 0 16800975 18446604454518560768 0 0 -1 3 0 0 0
[pid=6774/tid=6808] ppid=6772 vsize=13636600 CPUtime=0 cores=1,3,5,7
/proc/6774/task/6808/stat : 6808 (java) S 6772 6774 2869 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 283818647 13963878400 30169 33554432000 1073741824 1073778376 140736973654624 18446744073709551615 218892381081 0 4 0 16800975 18446604454518560768 0 0 -1 3 0 0 0
[pid=6774/tid=6810] ppid=6772 vsize=13636600 CPUtime=0 cores=1,3,5,7
/proc/6774/task/6810/stat : 6810 (java) S 6772 6774 2869 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 283818647 13963878400 30169 33554432000 1073741824 1073778376 140736973654624 18446744073709551615 218892381696 0 4 0 16800975 18446604454518560768 0 0 -1 5 0 0 0
[pid=6774/tid=6812] ppid=6772 vsize=13636600 CPUtime=0 cores=1,3,5,7
/proc/6774/task/6812/stat : 6812 (java) S 6772 6774 2869 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 283818694 13963878400 30169 33554432000 1073741824 1073778376 140736973654624 18446744073709551615 218892381696 0 4 0 16800975 18446604454518560768 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.06
Current children cumulated vsize (KiB) 13636600

[startup+6.30068 s]
/proc/loadavg: 1.83 1.96 1.98 4/452 6812
/proc/meminfo: memFree=25836256/32950928 swapFree=52006644/67111528
[pid=6774] ppid=6772 vsize=13636600 CPUtime=7.28 cores=1,3,5,7
/proc/6774/stat : 6774 (java) S 6772 6774 2869 0 -1 4202496 36326 0 1 0 724 4 0 0 18 0 19 0 283818641 13963878400 33306 33554432000 1073741824 1073778376 140736973654624 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/6774/statm: 3409150 33306 2270 9 0 3399884 0
[pid=6774/tid=6776] ppid=6772 vsize=13636600 CPUtime=6.21 cores=1,3,5,7
/proc/6774/task/6776/stat : 6776 (java) R 6772 6774 2869 0 -1 4202560 23593 0 1 0 619 2 0 0 25 0 19 0 283818642 13963878400 33306 33554432000 1073741824 1073778376 140736973654624 18446744073709551615 46912505882543 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=6774/tid=6787] ppid=6772 vsize=13636600 CPUtime=0 cores=1,3,5,7
/proc/6774/task/6787/stat : 6787 (java) S 6772 6774 2869 0 -1 4202560 556 0 0 0 0 0 0 0 18 0 19 0 283818644 13963878400 33306 33554432000 1073741824 1073778376 140736973654624 18446744073709551615 218892381081 0 4 0 16800975 18446604454518560768 0 0 -1 5 0 0 0
[pid=6774/tid=6788] ppid=6772 vsize=13636600 CPUtime=0 cores=1,3,5,7
/proc/6774/task/6788/stat : 6788 (java) S 6772 6774 2869 0 -1 4202560 391 0 0 0 0 0 0 0 18 0 19 0 283818644 13963878400 33306 33554432000 1073741824 1073778376 140736973654624 18446744073709551615 218892381081 0 4 0 16800975 18446604454518560768 0 0 -1 5 0 0 0
[pid=6774/tid=6789] ppid=6772 vsize=13636600 CPUtime=0 cores=1,3,5,7
/proc/6774/task/6789/stat : 6789 (java) S 6772 6774 2869 0 -1 4202560 368 0 0 0 0 0 0 0 18 0 19 0 283818644 13963878400 33306 33554432000 1073741824 1073778376 140736973654624 18446744073709551615 218892381081 0 4 0 16800975 18446604454518560768 0 0 -1 3 0 0 0
[pid=6774/tid=6790] ppid=6772 vsize=13636600 CPUtime=0 cores=1,3,5,7
/proc/6774/task/6790/stat : 6790 (java) S 6772 6774 2869 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 283818644 13963878400 33306 33554432000 1073741824 1073778376 140736973654624 18446744073709551615 218892381081 0 4 0 16800975 18446604454518560768 0 0 -1 3 0 0 0
[pid=6774/tid=6791] ppid=6772 vsize=13636600 CPUtime=0 cores=1,3,5,7
/proc/6774/task/6791/stat : 6791 (java) S 6772 6774 2869 0 -1 4202560 242 0 0 0 0 0 0 0 18 0 19 0 283818644 13963878400 33306 33554432000 1073741824 1073778376 140736973654624 18446744073709551615 218892381081 0 4 0 16800975 18446604454518560768 0 0 -1 3 0 0 0
[pid=6774/tid=6792] ppid=6772 vsize=13636600 CPUtime=0 cores=1,3,5,7
/proc/6774/task/6792/stat : 6792 (java) S 6772 6774 2869 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 283818644 13963878400 33306 33554432000 1073741824 1073778376 140736973654624 18446744073709551615 218892381081 0 4 0 16800975 18446604454518560768 0 0 -1 3 0 0 0
[pid=6774/tid=6793] ppid=6772 vsize=13636600 CPUtime=0 cores=1,3,5,7
/proc/6774/task/6793/stat : 6793 (java) S 6772 6774 2869 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 283818644 13963878400 33306 33554432000 1073741824 1073778376 140736973654624 18446744073709551615 218892381081 0 4 0 16800975 18446604454518560768 0 0 -1 5 0 0 0
[pid=6774/tid=6794] ppid=6772 vsize=13636600 CPUtime=0 cores=1,3,5,7
/proc/6774/task/6794/stat : 6794 (java) S 6772 6774 2869 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 283818644 13963878400 33306 33554432000 1073741824 1073778376 140736973654624 18446744073709551615 218892381081 0 4 0 16800975 18446604454518560768 0 0 -1 5 0 0 0
[pid=6774/tid=6796] ppid=6772 vsize=13636600 CPUtime=0.03 cores=1,3,5,7
/proc/6774/task/6796/stat : 6796 (java) S 6772 6774 2869 0 -1 4202560 1556 0 0 0 3 0 0 0 15 0 19 0 283818645 13963878400 33306 33554432000 1073741824 1073778376 140736973654624 18446744073709551615 218892381696 0 0 0 16800975 18446604454518560768 0 0 -1 5 0 0 0
[pid=6774/tid=6799] ppid=6772 vsize=13636600 CPUtime=0 cores=1,3,5,7
/proc/6774/task/6799/stat : 6799 (java) S 6772 6774 2869 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 283818645 13963878400 33306 33554432000 1073741824 1073778376 140736973654624 18446744073709551615 218892381081 0 4 0 16800975 18446604454518560768 0 0 -1 3 0 0 0
[pid=6774/tid=6800] ppid=6772 vsize=13636600 CPUtime=0 cores=1,3,5,7
/proc/6774/task/6800/stat : 6800 (java) S 6772 6774 2869 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 283818645 13963878400 33307 33554432000 1073741824 1073778376 140736973654624 18446744073709551615 218892381081 0 4 0 16800975 18446604454518560768 0 0 -1 7 0 0 0
[pid=6774/tid=6803] ppid=6772 vsize=13636600 CPUtime=0 cores=1,3,5,7
/proc/6774/task/6803/stat : 6803 (java) S 6772 6774 2869 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 283818647 13963878400 33307 33554432000 1073741824 1073778376 140736973654624 18446744073709551615 218892388785 0 4 0 16800975 18446604454518560768 0 0 -1 3 0 0 0
[pid=6774/tid=6804] ppid=6772 vsize=13636600 CPUtime=0.48 cores=1,3,5,7
/proc/6774/task/6804/stat : 6804 (java) R 6772 6774 2869 0 -1 4202560 3912 0 0 0 48 0 0 0 15 0 19 0 283818647 13963878400 33307 33554432000 1073741824 1073778376 140736973654624 18446744073709551615 46983939352307 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=6774/tid=6807] ppid=6772 vsize=13636600 CPUtime=0.51 cores=1,3,5,7
/proc/6774/task/6807/stat : 6807 (java) R 6772 6774 2869 0 -1 4202560 4553 0 0 0 51 0 0 0 15 0 19 0 283818647 13963878400 33307 33554432000 1073741824 1073778376 140736973654624 18446744073709551615 46983942795504 0 4 0 16800975 0 0 0 -1 3 0 0 0

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

[pid=6774/tid=6792] ppid=6772 vsize=13636600 CPUtime=0.07 cores=1,3,5,7
/proc/6774/task/6792/stat : 6792 (java) S 6772 6774 2869 0 -1 4202560 410 0 0 0 7 0 0 0 15 0 19 0 283818644 13963878400 39390 33554432000 1073741824 1073778376 140736973654624 18446744073709551615 218892381081 0 4 0 16800975 18446604454518560768 0 0 -1 1 0 0 0
[pid=6774/tid=6793] ppid=6772 vsize=13636600 CPUtime=0.09 cores=1,3,5,7
/proc/6774/task/6793/stat : 6793 (java) S 6772 6774 2869 0 -1 4202560 373 0 0 0 9 0 0 0 15 0 19 0 283818644 13963878400 39390 33554432000 1073741824 1073778376 140736973654624 18446744073709551615 218892381081 0 4 0 16800975 18446604454518560768 0 0 -1 7 0 0 0
[pid=6774/tid=6794] ppid=6772 vsize=13636600 CPUtime=0.08 cores=1,3,5,7
/proc/6774/task/6794/stat : 6794 (java) S 6772 6774 2869 0 -1 4202560 894 0 0 0 8 0 0 0 15 0 19 0 283818644 13963878400 39390 33554432000 1073741824 1073778376 140736973654624 18446744073709551615 218892381081 0 4 0 16800975 18446604454518560768 0 0 -1 3 0 0 0
[pid=6774/tid=6796] ppid=6772 vsize=13636600 CPUtime=6.38 cores=1,3,5,7
/proc/6774/task/6796/stat : 6796 (java) S 6772 6774 2869 0 -1 4202560 4336 0 0 0 634 4 0 0 15 0 19 0 283818645 13963878400 39390 33554432000 1073741824 1073778376 140736973654624 18446744073709551615 218892381696 0 0 0 16800975 18446604454518560768 0 0 -1 5 0 0 0
[pid=6774/tid=6799] ppid=6772 vsize=13636600 CPUtime=0 cores=1,3,5,7
/proc/6774/task/6799/stat : 6799 (java) S 6772 6774 2869 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 283818645 13963878400 39390 33554432000 1073741824 1073778376 140736973654624 18446744073709551615 218892381081 0 4 0 16800975 18446604454518560768 0 0 -1 3 0 0 0
[pid=6774/tid=6800] ppid=6772 vsize=13636600 CPUtime=0 cores=1,3,5,7
/proc/6774/task/6800/stat : 6800 (java) S 6772 6774 2869 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 283818645 13963878400 39390 33554432000 1073741824 1073778376 140736973654624 18446744073709551615 218892381081 0 4 0 16800975 18446604454518560768 0 0 -1 7 0 0 0
[pid=6774/tid=6803] ppid=6772 vsize=13636600 CPUtime=0 cores=1,3,5,7
/proc/6774/task/6803/stat : 6803 (java) S 6772 6774 2869 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 283818647 13963878400 39390 33554432000 1073741824 1073778376 140736973654624 18446744073709551615 218892388785 0 4 0 16800975 18446604454518560768 0 0 -1 3 0 0 0
[pid=6774/tid=6804] ppid=6772 vsize=13636600 CPUtime=0.49 cores=1,3,5,7
/proc/6774/task/6804/stat : 6804 (java) S 6772 6774 2869 0 -1 4202560 3915 0 0 0 49 0 0 0 15 0 19 0 283818647 13963878400 39390 33554432000 1073741824 1073778376 140736973654624 18446744073709551615 218892381081 0 4 0 16800975 18446604454518560768 0 0 -1 5 0 0 0
[pid=6774/tid=6807] ppid=6772 vsize=13636600 CPUtime=0.57 cores=1,3,5,7
/proc/6774/task/6807/stat : 6807 (java) S 6772 6774 2869 0 -1 4202560 4571 0 0 0 57 0 0 0 15 0 19 0 283818647 13963878400 39390 33554432000 1073741824 1073778376 140736973654624 18446744073709551615 218892381081 0 4 0 16800975 18446604454518560768 0 0 -1 3 0 0 0
[pid=6774/tid=6808] ppid=6772 vsize=13636600 CPUtime=0 cores=1,3,5,7
/proc/6774/task/6808/stat : 6808 (java) S 6772 6774 2869 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 283818647 13963878400 39390 33554432000 1073741824 1073778376 140736973654624 18446744073709551615 218892381081 0 4 0 16800975 18446604454518560768 0 0 -1 3 0 0 0
[pid=6774/tid=6810] ppid=6772 vsize=13636600 CPUtime=0 cores=1,3,5,7
/proc/6774/task/6810/stat : 6810 (java) S 6772 6774 2869 0 -1 4202560 96 0 0 0 0 0 0 0 15 0 19 0 283818647 13963878400 39390 33554432000 1073741824 1073778376 140736973654624 18446744073709551615 218892381696 0 4 0 16800975 18446604454518560768 0 0 -1 1 0 0 0
[pid=6774/tid=6812] ppid=6772 vsize=13636600 CPUtime=0 cores=1,3,5,7
/proc/6774/task/6812/stat : 6812 (java) S 6772 6774 2869 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 283818694 13963878400 39390 33554432000 1073741824 1073778376 140736973654624 18446744073709551615 218892381696 0 4 0 16800975 18446604454518560768 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1663.72
Current children cumulated vsize (KiB) 13636600

[startup+1722.3 s]
/proc/loadavg: 2.08 2.03 2.01 4/452 6867
/proc/meminfo: memFree=25795588/32950928 swapFree=52006644/67111528
[pid=6774] ppid=6772 vsize=13636600 CPUtime=1723.73 cores=1,3,5,7
/proc/6774/stat : 6774 (java) S 6772 6774 2869 0 -1 4202496 42855 0 1 0 172361 12 0 0 18 0 19 0 283818641 13963878400 39430 33554432000 1073741824 1073778376 140736973654624 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/6774/statm: 3409150 39430 2271 9 0 3399884 0
[pid=6774/tid=6776] ppid=6772 vsize=13636600 CPUtime=1715.34 cores=1,3,5,7
/proc/6774/task/6776/stat : 6776 (java) R 6772 6774 2869 0 -1 4202560 23793 0 1 0 171531 3 0 0 25 0 19 0 283818642 13963878400 39430 33554432000 1073741824 1073778376 140736973654624 18446744073709551615 46912505864192 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=6774/tid=6787] ppid=6772 vsize=13636600 CPUtime=0.08 cores=1,3,5,7
/proc/6774/task/6787/stat : 6787 (java) S 6772 6774 2869 0 -1 4202560 1115 0 0 0 8 0 0 0 16 0 19 0 283818644 13963878400 39430 33554432000 1073741824 1073778376 140736973654624 18446744073709551615 218892381081 0 4 0 16800975 18446604454518560768 0 0 -1 3 0 0 0
[pid=6774/tid=6788] ppid=6772 vsize=13636600 CPUtime=0.09 cores=1,3,5,7
/proc/6774/task/6788/stat : 6788 (java) S 6772 6774 2869 0 -1 4202560 636 0 0 0 9 0 0 0 16 0 19 0 283818644 13963878400 39430 33554432000 1073741824 1073778376 140736973654624 18446744073709551615 218892381081 0 4 0 16800975 18446604454518560768 0 0 -1 7 0 0 0
[pid=6774/tid=6789] ppid=6772 vsize=13636600 CPUtime=0.07 cores=1,3,5,7
/proc/6774/task/6789/stat : 6789 (java) S 6772 6774 2869 0 -1 4202560 768 0 0 0 7 0 0 0 15 0 19 0 283818644 13963878400 39430 33554432000 1073741824 1073778376 140736973654624 18446744073709551615 218892381081 0 4 0 16800975 18446604454518560768 0 0 -1 7 0 0 0
[pid=6774/tid=6790] ppid=6772 vsize=13636600 CPUtime=0.08 cores=1,3,5,7
/proc/6774/task/6790/stat : 6790 (java) S 6772 6774 2869 0 -1 4202560 262 0 0 0 8 0 0 0 16 0 19 0 283818644 13963878400 39430 33554432000 1073741824 1073778376 140736973654624 18446744073709551615 218892381081 0 4 0 16800975 18446604454518560768 0 0 -1 7 0 0 0
[pid=6774/tid=6791] ppid=6772 vsize=13636600 CPUtime=0.08 cores=1,3,5,7
/proc/6774/task/6791/stat : 6791 (java) S 6772 6774 2869 0 -1 4202560 499 0 0 0 8 0 0 0 15 0 19 0 283818644 13963878400 39430 33554432000 1073741824 1073778376 140736973654624 18446744073709551615 218892381081 0 4 0 16800975 18446604454518560768 0 0 -1 1 0 0 0
[pid=6774/tid=6792] ppid=6772 vsize=13636600 CPUtime=0.07 cores=1,3,5,7
/proc/6774/task/6792/stat : 6792 (java) S 6772 6774 2869 0 -1 4202560 410 0 0 0 7 0 0 0 15 0 19 0 283818644 13963878400 39430 33554432000 1073741824 1073778376 140736973654624 18446744073709551615 218892381081 0 4 0 16800975 18446604454518560768 0 0 -1 1 0 0 0
[pid=6774/tid=6793] ppid=6772 vsize=13636600 CPUtime=0.09 cores=1,3,5,7
/proc/6774/task/6793/stat : 6793 (java) S 6772 6774 2869 0 -1 4202560 373 0 0 0 9 0 0 0 15 0 19 0 283818644 13963878400 39430 33554432000 1073741824 1073778376 140736973654624 18446744073709551615 218892381081 0 4 0 16800975 18446604454518560768 0 0 -1 7 0 0 0
[pid=6774/tid=6794] ppid=6772 vsize=13636600 CPUtime=0.08 cores=1,3,5,7
/proc/6774/task/6794/stat : 6794 (java) S 6772 6774 2869 0 -1 4202560 894 0 0 0 8 0 0 0 15 0 19 0 283818644 13963878400 39430 33554432000 1073741824 1073778376 140736973654624 18446744073709551615 218892381081 0 4 0 16800975 18446604454518560768 0 0 -1 3 0 0 0
[pid=6774/tid=6796] ppid=6772 vsize=13636600 CPUtime=6.57 cores=1,3,5,7
/proc/6774/task/6796/stat : 6796 (java) S 6772 6774 2869 0 -1 4202560 4369 0 0 0 653 4 0 0 15 0 19 0 283818645 13963878400 39430 33554432000 1073741824 1073778376 140736973654624 18446744073709551615 218892381696 0 0 0 16800975 18446604454518560768 0 0 -1 5 0 0 0
[pid=6774/tid=6799] ppid=6772 vsize=13636600 CPUtime=0 cores=1,3,5,7
/proc/6774/task/6799/stat : 6799 (java) S 6772 6774 2869 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 283818645 13963878400 39430 33554432000 1073741824 1073778376 140736973654624 18446744073709551615 218892381081 0 4 0 16800975 18446604454518560768 0 0 -1 3 0 0 0
[pid=6774/tid=6800] ppid=6772 vsize=13636600 CPUtime=0 cores=1,3,5,7
/proc/6774/task/6800/stat : 6800 (java) S 6772 6774 2869 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 283818645 13963878400 39430 33554432000 1073741824 1073778376 140736973654624 18446744073709551615 218892381081 0 4 0 16800975 18446604454518560768 0 0 -1 7 0 0 0
[pid=6774/tid=6803] ppid=6772 vsize=13636600 CPUtime=0 cores=1,3,5,7
/proc/6774/task/6803/stat : 6803 (java) S 6772 6774 2869 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 283818647 13963878400 39430 33554432000 1073741824 1073778376 140736973654624 18446744073709551615 218892388785 0 4 0 16800975 18446604454518560768 0 0 -1 3 0 0 0
[pid=6774/tid=6804] ppid=6772 vsize=13636600 CPUtime=0.49 cores=1,3,5,7
/proc/6774/task/6804/stat : 6804 (java) S 6772 6774 2869 0 -1 4202560 3915 0 0 0 49 0 0 0 15 0 19 0 283818647 13963878400 39430 33554432000 1073741824 1073778376 140736973654624 18446744073709551615 218892381081 0 4 0 16800975 18446604454518560768 0 0 -1 5 0 0 0
[pid=6774/tid=6807] ppid=6772 vsize=13636600 CPUtime=0.57 cores=1,3,5,7
/proc/6774/task/6807/stat : 6807 (java) S 6772 6774 2869 0 -1 4202560 4571 0 0 0 57 0 0 0 15 0 19 0 283818647 13963878400 39430 33554432000 1073741824 1073778376 140736973654624 18446744073709551615 218892381081 0 4 0 16800975 18446604454518560768 0 0 -1 3 0 0 0
[pid=6774/tid=6808] ppid=6772 vsize=13636600 CPUtime=0 cores=1,3,5,7
/proc/6774/task/6808/stat : 6808 (java) S 6772 6774 2869 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 283818647 13963878400 39430 33554432000 1073741824 1073778376 140736973654624 18446744073709551615 218892381081 0 4 0 16800975 18446604454518560768 0 0 -1 3 0 0 0
[pid=6774/tid=6810] ppid=6772 vsize=13636600 CPUtime=0 cores=1,3,5,7
/proc/6774/task/6810/stat : 6810 (java) S 6772 6774 2869 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 283818647 13963878400 39430 33554432000 1073741824 1073778376 140736973654624 18446744073709551615 218892381696 0 4 0 16800975 18446604454518560768 0 0 -1 1 0 0 0
[pid=6774/tid=6812] ppid=6772 vsize=13636600 CPUtime=0 cores=1,3,5,7
/proc/6774/task/6812/stat : 6812 (java) S 6772 6774 2869 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 283818694 13963878400 39430 33554432000 1073741824 1073778376 140736973654624 18446744073709551615 218892381696 0 4 0 16800975 18446604454518560768 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1723.73
Current children cumulated vsize (KiB) 13636600

[startup+1782.3 s]
/proc/loadavg: 2.03 2.02 2.00 4/452 6868
/proc/meminfo: memFree=25795168/32950928 swapFree=52006644/67111528
[pid=6774] ppid=6772 vsize=13636600 CPUtime=1783.75 cores=1,3,5,7
/proc/6774/stat : 6774 (java) S 6772 6774 2869 0 -1 4202496 42873 0 1 0 178362 13 0 0 18 0 19 0 283818641 13963878400 39435 33554432000 1073741824 1073778376 140736973654624 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/6774/statm: 3409150 39435 2271 9 0 3399884 0
[pid=6774/tid=6776] ppid=6772 vsize=13636600 CPUtime=1775.1 cores=1,3,5,7
/proc/6774/task/6776/stat : 6776 (java) R 6772 6774 2869 0 -1 4202560 23800 0 1 0 177507 3 0 0 25 0 19 0 283818642 13963878400 39435 33554432000 1073741824 1073778376 140736973654624 18446744073709551615 46912505864896 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=6774/tid=6787] ppid=6772 vsize=13636600 CPUtime=0.08 cores=1,3,5,7
/proc/6774/task/6787/stat : 6787 (java) S 6772 6774 2869 0 -1 4202560 1115 0 0 0 8 0 0 0 15 0 19 0 283818644 13963878400 39435 33554432000 1073741824 1073778376 140736973654624 18446744073709551615 218892381081 0 4 0 16800975 18446604454518560768 0 0 -1 3 0 0 0
[pid=6774/tid=6788] ppid=6772 vsize=13636600 CPUtime=0.09 cores=1,3,5,7
/proc/6774/task/6788/stat : 6788 (java) S 6772 6774 2869 0 -1 4202560 636 0 0 0 9 0 0 0 15 0 19 0 283818644 13963878400 39435 33554432000 1073741824 1073778376 140736973654624 18446744073709551615 218892381081 0 4 0 16800975 18446604454518560768 0 0 -1 7 0 0 0
[pid=6774/tid=6789] ppid=6772 vsize=13636600 CPUtime=0.08 cores=1,3,5,7
/proc/6774/task/6789/stat : 6789 (java) S 6772 6774 2869 0 -1 4202560 768 0 0 0 8 0 0 0 15 0 19 0 283818644 13963878400 39435 33554432000 1073741824 1073778376 140736973654624 18446744073709551615 218892381081 0 4 0 16800975 18446604454518560768 0 0 -1 7 0 0 0
[pid=6774/tid=6790] ppid=6772 vsize=13636600 CPUtime=0.08 cores=1,3,5,7
/proc/6774/task/6790/stat : 6790 (java) S 6772 6774 2869 0 -1 4202560 262 0 0 0 8 0 0 0 16 0 19 0 283818644 13963878400 39435 33554432000 1073741824 1073778376 140736973654624 18446744073709551615 218892381081 0 4 0 16800975 18446604454518560768 0 0 -1 7 0 0 0
[pid=6774/tid=6791] ppid=6772 vsize=13636600 CPUtime=0.09 cores=1,3,5,7
/proc/6774/task/6791/stat : 6791 (java) S 6772 6774 2869 0 -1 4202560 502 0 0 0 9 0 0 0 15 0 19 0 283818644 13963878400 39435 33554432000 1073741824 1073778376 140736973654624 18446744073709551615 218892381081 0 4 0 16800975 18446604454518560768 0 0 -1 1 0 0 0
[pid=6774/tid=6792] ppid=6772 vsize=13636600 CPUtime=0.07 cores=1,3,5,7
/proc/6774/task/6792/stat : 6792 (java) S 6772 6774 2869 0 -1 4202560 412 0 0 0 7 0 0 0 15 0 19 0 283818644 13963878400 39435 33554432000 1073741824 1073778376 140736973654624 18446744073709551615 218892381081 0 4 0 16800975 18446604454518560768 0 0 -1 1 0 0 0
[pid=6774/tid=6793] ppid=6772 vsize=13636600 CPUtime=0.1 cores=1,3,5,7
/proc/6774/task/6793/stat : 6793 (java) S 6772 6774 2869 0 -1 4202560 373 0 0 0 10 0 0 0 15 0 19 0 283818644 13963878400 39435 33554432000 1073741824 1073778376 140736973654624 18446744073709551615 218892381081 0 4 0 16800975 18446604454518560768 0 0 -1 7 0 0 0
[pid=6774/tid=6794] ppid=6772 vsize=13636600 CPUtime=0.09 cores=1,3,5,7
/proc/6774/task/6794/stat : 6794 (java) S 6772 6774 2869 0 -1 4202560 894 0 0 0 9 0 0 0 15 0 19 0 283818644 13963878400 39435 33554432000 1073741824 1073778376 140736973654624 18446744073709551615 218892381081 0 4 0 16800975 18446604454518560768 0 0 -1 7 0 0 0
[pid=6774/tid=6796] ppid=6772 vsize=13636600 CPUtime=6.8 cores=1,3,5,7
/proc/6774/task/6796/stat : 6796 (java) S 6772 6774 2869 0 -1 4202560 4373 0 0 0 676 4 0 0 15 0 19 0 283818645 13963878400 39435 33554432000 1073741824 1073778376 140736973654624 18446744073709551615 218892381696 0 0 0 16800975 18446604454518560768 0 0 -1 5 0 0 0
[pid=6774/tid=6799] ppid=6772 vsize=13636600 CPUtime=0 cores=1,3,5,7
/proc/6774/task/6799/stat : 6799 (java) S 6772 6774 2869 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 283818645 13963878400 39435 33554432000 1073741824 1073778376 140736973654624 18446744073709551615 218892381081 0 4 0 16800975 18446604454518560768 0 0 -1 3 0 0 0
[pid=6774/tid=6800] ppid=6772 vsize=13636600 CPUtime=0 cores=1,3,5,7
/proc/6774/task/6800/stat : 6800 (java) S 6772 6774 2869 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 283818645 13963878400 39435 33554432000 1073741824 1073778376 140736973654624 18446744073709551615 218892381081 0 4 0 16800975 18446604454518560768 0 0 -1 7 0 0 0
[pid=6774/tid=6803] ppid=6772 vsize=13636600 CPUtime=0 cores=1,3,5,7
/proc/6774/task/6803/stat : 6803 (java) S 6772 6774 2869 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 283818647 13963878400 39435 33554432000 1073741824 1073778376 140736973654624 18446744073709551615 218892388785 0 4 0 16800975 18446604454518560768 0 0 -1 3 0 0 0
[pid=6774/tid=6804] ppid=6772 vsize=13636600 CPUtime=0.49 cores=1,3,5,7
/proc/6774/task/6804/stat : 6804 (java) S 6772 6774 2869 0 -1 4202560 3915 0 0 0 49 0 0 0 15 0 19 0 283818647 13963878400 39435 33554432000 1073741824 1073778376 140736973654624 18446744073709551615 218892381081 0 4 0 16800975 18446604454518560768 0 0 -1 5 0 0 0
[pid=6774/tid=6807] ppid=6772 vsize=13636600 CPUtime=0.57 cores=1,3,5,7
/proc/6774/task/6807/stat : 6807 (java) S 6772 6774 2869 0 -1 4202560 4571 0 0 0 57 0 0 0 15 0 19 0 283818647 13963878400 39435 33554432000 1073741824 1073778376 140736973654624 18446744073709551615 218892381081 0 4 0 16800975 18446604454518560768 0 0 -1 3 0 0 0
[pid=6774/tid=6808] ppid=6772 vsize=13636600 CPUtime=0 cores=1,3,5,7
/proc/6774/task/6808/stat : 6808 (java) S 6772 6774 2869 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 283818647 13963878400 39435 33554432000 1073741824 1073778376 140736973654624 18446744073709551615 218892381081 0 4 0 16800975 18446604454518560768 0 0 -1 3 0 0 0
[pid=6774/tid=6810] ppid=6772 vsize=13636600 CPUtime=0 cores=1,3,5,7
/proc/6774/task/6810/stat : 6810 (java) S 6772 6774 2869 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 283818647 13963878400 39435 33554432000 1073741824 1073778376 140736973654624 18446744073709551615 218892381696 0 4 0 16800975 18446604454518560768 0 0 -1 1 0 0 0
[pid=6774/tid=6812] ppid=6772 vsize=13636600 CPUtime=0 cores=1,3,5,7
/proc/6774/task/6812/stat : 6812 (java) S 6772 6774 2869 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 283818694 13963878400 39435 33554432000 1073741824 1073778376 140736973654624 18446744073709551615 218892381696 0 4 0 16800975 18446604454518560768 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1783.75
Current children cumulated vsize (KiB) 13636600



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1798.6 s]
/proc/loadavg: 1.94 2.00 1.99 3/431 6878
/proc/meminfo: memFree=25911364/32950928 swapFree=52006644/67111528
[pid=6774] ppid=6772 vsize=13636600 CPUtime=1800.07 cores=1,3,5,7
/proc/6774/stat : 6774 (java) S 6772 6774 2869 0 -1 4202496 42879 0 1 0 179994 13 0 0 18 0 19 0 283818641 13963878400 39435 33554432000 1073741824 1073778376 140736973654624 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/6774/statm: 3409150 39435 2271 9 0 3399884 0
[pid=6774/tid=6776] ppid=6772 vsize=13636600 CPUtime=1791.34 cores=1,3,5,7
/proc/6774/task/6776/stat : 6776 (java) R 6772 6774 2869 0 -1 4202560 23802 0 1 0 179131 3 0 0 25 0 19 0 283818642 13963878400 39435 33554432000 1073741824 1073778376 140736973654624 18446744073709551615 46912505882472 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=6774/tid=6787] ppid=6772 vsize=13636600 CPUtime=0.09 cores=1,3,5,7
/proc/6774/task/6787/stat : 6787 (java) S 6772 6774 2869 0 -1 4202560 1115 0 0 0 9 0 0 0 16 0 19 0 283818644 13963878400 39435 33554432000 1073741824 1073778376 140736973654624 18446744073709551615 218892381081 0 4 0 16800975 18446604454518560768 0 0 -1 3 0 0 0
[pid=6774/tid=6788] ppid=6772 vsize=13636600 CPUtime=0.09 cores=1,3,5,7
/proc/6774/task/6788/stat : 6788 (java) S 6772 6774 2869 0 -1 4202560 636 0 0 0 9 0 0 0 15 0 19 0 283818644 13963878400 39435 33554432000 1073741824 1073778376 140736973654624 18446744073709551615 218892381081 0 4 0 16800975 18446604454518560768 0 0 -1 1 0 0 0
[pid=6774/tid=6789] ppid=6772 vsize=13636600 CPUtime=0.08 cores=1,3,5,7
/proc/6774/task/6789/stat : 6789 (java) S 6772 6774 2869 0 -1 4202560 768 0 0 0 8 0 0 0 15 0 19 0 283818644 13963878400 39435 33554432000 1073741824 1073778376 140736973654624 18446744073709551615 218892381081 0 4 0 16800975 18446604454518560768 0 0 -1 7 0 0 0
[pid=6774/tid=6790] ppid=6772 vsize=13636600 CPUtime=0.09 cores=1,3,5,7
/proc/6774/task/6790/stat : 6790 (java) S 6772 6774 2869 0 -1 4202560 262 0 0 0 9 0 0 0 15 0 19 0 283818644 13963878400 39435 33554432000 1073741824 1073778376 140736973654624 18446744073709551615 218892381081 0 4 0 16800975 18446604454518560768 0 0 -1 7 0 0 0
[pid=6774/tid=6791] ppid=6772 vsize=13636600 CPUtime=0.09 cores=1,3,5,7
/proc/6774/task/6791/stat : 6791 (java) S 6772 6774 2869 0 -1 4202560 502 0 0 0 9 0 0 0 15 0 19 0 283818644 13963878400 39435 33554432000 1073741824 1073778376 140736973654624 18446744073709551615 218892381081 0 4 0 16800975 18446604454518560768 0 0 -1 1 0 0 0
[pid=6774/tid=6792] ppid=6772 vsize=13636600 CPUtime=0.07 cores=1,3,5,7
/proc/6774/task/6792/stat : 6792 (java) S 6772 6774 2869 0 -1 4202560 412 0 0 0 7 0 0 0 15 0 19 0 283818644 13963878400 39435 33554432000 1073741824 1073778376 140736973654624 18446744073709551615 218892381081 0 4 0 16800975 18446604454518560768 0 0 -1 1 0 0 0
[pid=6774/tid=6793] ppid=6772 vsize=13636600 CPUtime=0.1 cores=1,3,5,7
/proc/6774/task/6793/stat : 6793 (java) S 6772 6774 2869 0 -1 4202560 373 0 0 0 10 0 0 0 15 0 19 0 283818644 13963878400 39435 33554432000 1073741824 1073778376 140736973654624 18446744073709551615 218892381081 0 4 0 16800975 18446604454518560768 0 0 -1 7 0 0 0
[pid=6774/tid=6794] ppid=6772 vsize=13636600 CPUtime=0.09 cores=1,3,5,7
/proc/6774/task/6794/stat : 6794 (java) S 6772 6774 2869 0 -1 4202560 894 0 0 0 9 0 0 0 15 0 19 0 283818644 13963878400 39435 33554432000 1073741824 1073778376 140736973654624 18446744073709551615 218892381081 0 4 0 16800975 18446604454518560768 0 0 -1 7 0 0 0
[pid=6774/tid=6796] ppid=6772 vsize=13636600 CPUtime=6.87 cores=1,3,5,7
/proc/6774/task/6796/stat : 6796 (java) S 6772 6774 2869 0 -1 4202560 4375 0 0 0 683 4 0 0 15 0 19 0 283818645 13963878400 39435 33554432000 1073741824 1073778376 140736973654624 18446744073709551615 218892381696 0 0 0 16800975 18446604454518560768 0 0 -1 5 0 0 0
[pid=6774/tid=6799] ppid=6772 vsize=13636600 CPUtime=0 cores=1,3,5,7
/proc/6774/task/6799/stat : 6799 (java) S 6772 6774 2869 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 283818645 13963878400 39435 33554432000 1073741824 1073778376 140736973654624 18446744073709551615 218892381081 0 4 0 16800975 18446604454518560768 0 0 -1 3 0 0 0
[pid=6774/tid=6800] ppid=6772 vsize=13636600 CPUtime=0 cores=1,3,5,7
/proc/6774/task/6800/stat : 6800 (java) S 6772 6774 2869 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 283818645 13963878400 39435 33554432000 1073741824 1073778376 140736973654624 18446744073709551615 218892381081 0 4 0 16800975 18446604454518560768 0 0 -1 7 0 0 0
[pid=6774/tid=6803] ppid=6772 vsize=13636600 CPUtime=0 cores=1,3,5,7
/proc/6774/task/6803/stat : 6803 (java) S 6772 6774 2869 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 283818647 13963878400 39435 33554432000 1073741824 1073778376 140736973654624 18446744073709551615 218892388785 0 4 0 16800975 18446604454518560768 0 0 -1 3 0 0 0
[pid=6774/tid=6804] ppid=6772 vsize=13636600 CPUtime=0.49 cores=1,3,5,7
/proc/6774/task/6804/stat : 6804 (java) S 6772 6774 2869 0 -1 4202560 3915 0 0 0 49 0 0 0 15 0 19 0 283818647 13963878400 39435 33554432000 1073741824 1073778376 140736973654624 18446744073709551615 218892381081 0 4 0 16800975 18446604454518560768 0 0 -1 5 0 0 0
[pid=6774/tid=6807] ppid=6772 vsize=13636600 CPUtime=0.57 cores=1,3,5,7
/proc/6774/task/6807/stat : 6807 (java) S 6772 6774 2869 0 -1 4202560 4571 0 0 0 57 0 0 0 15 0 19 0 283818647 13963878400 39435 33554432000 1073741824 1073778376 140736973654624 18446744073709551615 218892381081 0 4 0 16800975 18446604454518560768 0 0 -1 3 0 0 0
[pid=6774/tid=6808] ppid=6772 vsize=13636600 CPUtime=0 cores=1,3,5,7
/proc/6774/task/6808/stat : 6808 (java) S 6772 6774 2869 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 283818647 13963878400 39435 33554432000 1073741824 1073778376 140736973654624 18446744073709551615 218892381081 0 4 0 16800975 18446604454518560768 0 0 -1 3 0 0 0
[pid=6774/tid=6810] ppid=6772 vsize=13636600 CPUtime=0 cores=1,3,5,7
/proc/6774/task/6810/stat : 6810 (java) S 6772 6774 2869 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 283818647 13963878400 39435 33554432000 1073741824 1073778376 140736973654624 18446744073709551615 218892381696 0 4 0 16800975 18446604454518560768 0 0 -1 1 0 0 0
[pid=6774/tid=6812] ppid=6772 vsize=13636600 CPUtime=0 cores=1,3,5,7
/proc/6774/task/6812/stat : 6812 (java) S 6772 6774 2869 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 283818694 13963878400 39435 33554432000 1073741824 1073778376 140736973654624 18446744073709551615 218892381696 0 4 0 16800975 18446604454518560768 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 13636600

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.12
CPU user time (s): 1799.98
CPU system time (s): 0.137979
CPU usage (%): 100.082
Max. virtual memory (cumulated for all children) (KiB): 13636600

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.98
system time used= 0.137979
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42922
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= 43156
involuntary context switches= 8767

runsolver used 7.15291 second user time and 17.3414 second system time

The end

Launcher Data 

Begin job on node112 at 2011-06-04 06:34:52
IDJOB=3458433
IDBENCH=48253
IDSOLVER=1952
FILE ID=node112/3458433-1307162092
RUNJOBID= node112-1307162092-6756
PBS_JOBID= 13508804
Free space on /tmp= 73912 MiB

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

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

MD5SUM BENCH= b1b77cfc7c7e45b216596a736ff4b926
RANDOM SEED=1015975773

node112.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.847
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.69
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.847
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	: 5180.45
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.847
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.76
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.847
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.82
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.847
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	: 5332.61
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.847
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.83
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.847
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.74
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.847
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      26067344 kB
Buffers:        333476 kB
Cached:        5589732 kB
SwapCached:      31280 kB
Active:         915388 kB
Inactive:      5688016 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      26067344 kB
SwapTotal:    67111528 kB
SwapFree:     52006644 kB
Dirty:             952 kB
Writeback:           0 kB
AnonPages:      657368 kB
Mapped:          12592 kB
Slab:           154920 kB
PageTables:      58936 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 98637272 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= 73912 MiB
End job on node112 at 2011-06-04 07:04:53