Trace number 3458462

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)-18 1800.11 1798.26

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_200_25_4.opb
MD5SUMf7dd1b6b0a4946caf4c26a82905ed8fe
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.15
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -34
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)12520
Sum of products size (including duplicates)25040
Number of different products6260
Sum of products size12520

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.04/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.04/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.04/0.09	c See www.sat4j.org for details.
0.04/0.09	c version 2.3.1.v20110525
0.04/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.04/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.04/0.09	c java.vm.version	19.1-b02
0.04/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.04/0.09	c sun.arch.data.model	64
0.04/0.09	c java.version		1.6.0_24
0.04/0.09	c os.name		Linux
0.04/0.09	c os.version		2.6.18-164.el5
0.04/0.09	c os.arch		amd64
0.04/0.09	c Free memory 		12995394264
0.04/0.09	c Max memory 		13063553024
0.04/0.09	c Total memory 		13063553024
0.04/0.09	c Number of processors 	8
0.04/0.12	c Pseudo Boolean Optimization
0.04/0.12	c --- Begin Solver configuration ---
0.04/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@13d4c61c
0.04/0.12	c Learn all clauses as in MiniSAT
0.04/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.04/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.04/0.12	c Expensive reason simplification
0.04/0.12	c Armin Biere (Picosat) restarts strategy
0.04/0.12	c Glucose learned constraints deletion strategy
0.04/0.12	c timeout=2147483s
0.04/0.12	c DB Simplification allowed=false
0.04/0.12	c --- End Solver configuration ---
0.04/0.12	c solving HOME/instance-3458462-1307163124.opb
0.04/0.12	c reading problem ... 
0.56/0.53	c ... done. Wall clock time 0.419s.
0.56/0.53	c #vars     6660
0.56/0.53	c #constraints  13122
0.56/0.53	c constraints type 
0.56/0.53	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6260
0.56/0.53	c org.sat4j.minisat.constraints.card.MinWatchCard => 402
0.56/0.53	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 200
0.56/0.53	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6260
2.71/1.71	c SATISFIABLE
2.71/1.71	c OPTIMIZING...
2.71/1.71	c Got one! Elapsed wall clock time (in seconds):1.602
2.71/1.71	o -15
3.26/2.30	c Got one! Elapsed wall clock time (in seconds):2.186
3.26/2.30	o -17
3.97/2.96	c Got one! Elapsed wall clock time (in seconds):2.851
3.97/2.96	o -18
4.59/3.51	c cleaning 2878 clauses out of 5762 with flag 1000/5762
7.64/6.53	c cleaning 4423 clauses out of 8884 with flag 7000/11762
11.25/10.10	c cleaning 5637 clauses out of 11461 with flag 14000/18762
15.06/13.93	c cleaning 6904 clauses out of 13824 with flag 22000/26762
20.28/19.12	c cleaning 7914 clauses out of 15920 with flag 31000/35762
25.18/24.03	c cleaning 8962 clauses out of 18006 with flag 41000/45762
30.69/29.58	c cleaning 10021 clauses out of 20044 with flag 52000/56762
36.50/35.37	c cleaning 10897 clauses out of 22023 with flag 64000/68762
45.49/44.31	c cleaning 12009 clauses out of 24126 with flag 77000/81762
53.20/52.08	c cleaning 12913 clauses out of 26117 with flag 91000/95762
61.90/60.79	c cleaning 13480 clauses out of 27204 with flag 105000/109762
70.40/69.22	c cleaning 13812 clauses out of 27724 with flag 119000/123762
80.41/79.31	c cleaning 13809 clauses out of 27912 with flag 133000/137762
88.91/87.70	c cleaning 13964 clauses out of 28103 with flag 147000/151762
98.81/97.68	c cleaning 13931 clauses out of 28139 with flag 161000/165762
108.91/107.80	c cleaning 13990 clauses out of 28208 with flag 175000/179762
118.12/116.96	c cleaning 14033 clauses out of 28218 with flag 189000/193762
129.02/127.80	c cleaning 13951 clauses out of 28185 with flag 203000/207762
138.83/137.67	c cleaning 14029 clauses out of 28234 with flag 217000/221762
148.22/147.06	c cleaning 13977 clauses out of 28205 with flag 231000/235762
159.42/158.24	c cleaning 14014 clauses out of 28228 with flag 245000/249762
170.52/169.41	c cleaning 14026 clauses out of 28214 with flag 259000/263762
180.92/179.72	c cleaning 13998 clauses out of 28188 with flag 273000/277762
190.12/188.99	c cleaning 13964 clauses out of 28190 with flag 287000/291762
200.33/199.17	c cleaning 13991 clauses out of 28226 with flag 301000/305762
211.23/210.04	c cleaning 14017 clauses out of 28235 with flag 315000/319762
222.13/220.94	c cleaning 14040 clauses out of 28218 with flag 329000/333762
233.84/232.62	c cleaning 13931 clauses out of 28178 with flag 343000/347762
242.74/241.54	c cleaning 14108 clauses out of 28247 with flag 357000/361762
249.85/248.65	c cleaning 13966 clauses out of 28139 with flag 371000/375762
256.45/255.31	c cleaning 14062 clauses out of 28173 with flag 385000/389762
264.15/262.95	c cleaning 13917 clauses out of 28111 with flag 399000/403762
271.45/270.21	c cleaning 13992 clauses out of 28194 with flag 413000/417762
280.85/279.65	c cleaning 13999 clauses out of 28202 with flag 427000/431762
287.85/286.67	c cleaning 13979 clauses out of 28203 with flag 441000/445762
294.35/293.19	c cleaning 14029 clauses out of 28224 with flag 455000/459762
299.76/298.54	c cleaning 14058 clauses out of 28195 with flag 469000/473762
306.66/305.43	c cleaning 13983 clauses out of 28137 with flag 483000/487762
312.96/311.73	c cleaning 14030 clauses out of 28154 with flag 497000/501762
319.06/317.89	c cleaning 14021 clauses out of 28124 with flag 511000/515762
325.36/324.11	c cleaning 14035 clauses out of 28103 with flag 525000/529762
331.56/330.33	c cleaning 13971 clauses out of 28068 with flag 539000/543762
336.56/335.36	c cleaning 14013 clauses out of 28097 with flag 553000/557762
341.96/340.75	c cleaning 14023 clauses out of 28084 with flag 567000/571762
349.87/348.65	c cleaning 13968 clauses out of 28061 with flag 581000/585762
356.77/355.57	c cleaning 13976 clauses out of 28093 with flag 595000/599762
363.37/362.19	c cleaning 13991 clauses out of 28117 with flag 609000/613762
369.48/368.29	c cleaning 13917 clauses out of 28126 with flag 623000/627762
376.98/375.76	c cleaning 14046 clauses out of 28209 with flag 637000/641762
385.19/383.91	c cleaning 14023 clauses out of 28163 with flag 651000/655762
394.10/392.83	c cleaning 13973 clauses out of 28140 with flag 665000/669762
402.79/401.60	c cleaning 14015 clauses out of 28167 with flag 679000/683762
411.18/409.93	c cleaning 14035 clauses out of 28152 with flag 693000/697762
419.40/418.14	c cleaning 13980 clauses out of 28117 with flag 707000/711762
426.09/424.83	c cleaning 14008 clauses out of 28137 with flag 721000/725762
433.29/432.08	c cleaning 13956 clauses out of 28129 with flag 735000/739762
438.99/437.75	c cleaning 14063 clauses out of 28174 with flag 749001/753763
443.99/442.80	c cleaning 14007 clauses out of 28110 with flag 763000/767762
448.69/447.47	c cleaning 14001 clauses out of 28103 with flag 777000/781762
456.59/455.32	c cleaning 13910 clauses out of 28102 with flag 791000/795762
465.50/464.23	c cleaning 14020 clauses out of 28192 with flag 805000/809762
472.40/471.11	c cleaning 14015 clauses out of 28172 with flag 819000/823762
478.30/477.06	c cleaning 14024 clauses out of 28157 with flag 833000/837762
484.00/482.72	c cleaning 14016 clauses out of 28133 with flag 847000/851762
489.81/488.53	c cleaning 13989 clauses out of 28117 with flag 861000/865762
497.43/496.14	c cleaning 13933 clauses out of 28128 with flag 875000/879762
503.63/502.39	c cleaning 14042 clauses out of 28195 with flag 889000/893762
511.03/509.71	c cleaning 14036 clauses out of 28153 with flag 903000/907762
519.13/517.83	c cleaning 13890 clauses out of 28117 with flag 917000/921762
528.63/527.35	c cleaning 13997 clauses out of 28227 with flag 931000/935762
535.44/534.10	c cleaning 14013 clauses out of 28230 with flag 945000/949762
541.64/540.36	c cleaning 14033 clauses out of 28217 with flag 959000/963762
549.44/548.13	c cleaning 13992 clauses out of 28184 with flag 973000/977762
556.55/555.25	c cleaning 14025 clauses out of 28193 with flag 987001/991763
563.45/562.11	c cleaning 13947 clauses out of 28167 with flag 1001000/1005762
570.05/568.78	c cleaning 13994 clauses out of 28220 with flag 1015000/1019762
576.55/575.25	c cleaning 14000 clauses out of 28226 with flag 1029000/1033762
582.26/580.92	c cleaning 14079 clauses out of 28226 with flag 1043000/1047762
587.35/586.07	c cleaning 14039 clauses out of 28147 with flag 1057000/1061762
592.85/591.53	c cleaning 13939 clauses out of 28108 with flag 1071000/1075762
600.56/599.27	c cleaning 14058 clauses out of 28169 with flag 1085000/1089762
608.16/606.83	c cleaning 14015 clauses out of 28111 with flag 1099000/1103762
615.36/614.06	c cleaning 13976 clauses out of 28096 with flag 1113000/1117762
622.07/620.76	c cleaning 14017 clauses out of 28120 with flag 1127000/1131762
628.57/627.21	c cleaning 13989 clauses out of 28103 with flag 1141000/1145762
634.98/633.62	c cleaning 14033 clauses out of 28114 with flag 1155000/1159762
640.99/639.60	c cleaning 13943 clauses out of 28081 with flag 1169000/1173762
646.79/645.49	c cleaning 14034 clauses out of 28138 with flag 1183000/1187762
652.39/651.04	c cleaning 13998 clauses out of 28104 with flag 1197000/1201762
660.00/658.61	c cleaning 14038 clauses out of 28106 with flag 1211000/1215762
666.60/665.20	c cleaning 13942 clauses out of 28068 with flag 1225000/1229762
673.20/671.82	c cleaning 14029 clauses out of 28126 with flag 1239000/1243762
680.01/678.60	c cleaning 13996 clauses out of 28097 with flag 1253000/1257762
686.31/684.96	c cleaning 14019 clauses out of 28101 with flag 1267000/1271762
692.32/690.95	c cleaning 13998 clauses out of 28082 with flag 1281000/1285762
697.91/696.50	c cleaning 13991 clauses out of 28084 with flag 1295000/1299762
704.11/702.78	c cleaning 13977 clauses out of 28093 with flag 1309000/1313762
710.31/708.95	c cleaning 14025 clauses out of 28116 with flag 1323000/1327762
717.91/716.56	c cleaning 13922 clauses out of 28091 with flag 1337000/1341762
725.91/724.53	c cleaning 14040 clauses out of 28169 with flag 1351000/1355762
732.81/731.47	c cleaning 14030 clauses out of 28129 with flag 1365000/1369762
740.42/739.00	c cleaning 13936 clauses out of 28099 with flag 1379000/1383762
747.52/746.16	c cleaning 14021 clauses out of 28163 with flag 1393000/1397762
754.52/753.11	c cleaning 14023 clauses out of 28142 with flag 1407000/1411762
761.32/759.91	c cleaning 13965 clauses out of 28119 with flag 1421000/1425762
767.43/766.09	c cleaning 14030 clauses out of 28154 with flag 1435000/1439762
773.33/771.93	c cleaning 13975 clauses out of 28124 with flag 1449000/1453762
779.03/777.61	c cleaning 14033 clauses out of 28149 with flag 1463000/1467762
784.13/782.80	c cleaning 13996 clauses out of 28116 with flag 1477000/1481762
790.63/789.21	c cleaning 13923 clauses out of 28120 with flag 1491000/1495762
797.04/795.69	c cleaning 14078 clauses out of 28197 with flag 1505000/1509762
803.45/802.08	c cleaning 13981 clauses out of 28119 with flag 1519000/1523762
810.34/808.94	c cleaning 13941 clauses out of 28138 with flag 1533000/1537762
816.04/814.61	c cleaning 14067 clauses out of 28197 with flag 1547000/1551762
821.54/820.10	c cleaning 14048 clauses out of 28130 with flag 1561000/1565762
826.45/825.03	c cleaning 13978 clauses out of 28082 with flag 1575000/1579762
831.44/830.03	c cleaning 13899 clauses out of 28104 with flag 1589000/1593762
837.35/835.96	c cleaning 14037 clauses out of 28205 with flag 1603000/1607762
842.66/841.25	c cleaning 14012 clauses out of 28168 with flag 1617000/1621762
847.47/846.05	c cleaning 14052 clauses out of 28156 with flag 1631000/1635762
853.16/851.75	c cleaning 14032 clauses out of 28104 with flag 1645000/1649762
859.06/857.60	c cleaning 13955 clauses out of 28072 with flag 1659000/1663762
864.16/862.76	c cleaning 14006 clauses out of 28117 with flag 1673000/1677762
868.66/867.26	c cleaning 14035 clauses out of 28111 with flag 1687000/1691762
874.87/873.48	c cleaning 13947 clauses out of 28076 with flag 1701000/1705762
880.38/878.96	c cleaning 13999 clauses out of 28129 with flag 1715000/1719762
884.97/883.57	c cleaning 13986 clauses out of 28130 with flag 1729000/1733762
889.57/888.14	c cleaning 13968 clauses out of 28144 with flag 1743000/1747762
894.79/893.37	c cleaning 14004 clauses out of 28176 with flag 1757000/1761762
900.88/899.40	c cleaning 14042 clauses out of 28172 with flag 1771000/1775762
907.38/905.97	c cleaning 14007 clauses out of 28130 with flag 1785000/1789762
913.68/912.24	c cleaning 14012 clauses out of 28123 with flag 1799000/1803762
919.49/918.09	c cleaning 14001 clauses out of 28111 with flag 1813000/1817762
924.69/923.27	c cleaning 13980 clauses out of 28110 with flag 1827000/1831762
929.59/928.19	c cleaning 13998 clauses out of 28130 with flag 1841000/1845762
935.29/933.85	c cleaning 14033 clauses out of 28132 with flag 1855000/1859762
940.79/939.38	c cleaning 13975 clauses out of 28099 with flag 1869000/1873762
946.29/944.85	c cleaning 14016 clauses out of 28124 with flag 1883000/1887762
950.99/949.58	c cleaning 14012 clauses out of 28108 with flag 1897000/1901762
955.99/954.57	c cleaning 14015 clauses out of 28096 with flag 1911000/1915762
961.40/959.94	c cleaning 13969 clauses out of 28081 with flag 1925000/1929762
966.80/965.30	c cleaning 14010 clauses out of 28112 with flag 1939000/1943762
971.50/970.06	c cleaning 14000 clauses out of 28102 with flag 1953000/1957762
976.40/974.91	c cleaning 13975 clauses out of 28102 with flag 1967000/1971762
981.41/979.99	c cleaning 14018 clauses out of 28127 with flag 1981000/1985762
987.91/986.49	c cleaning 13925 clauses out of 28109 with flag 1995000/1999762
995.92/994.47	c cleaning 13970 clauses out of 28184 with flag 2009000/2013762
1002.82/1001.35	c cleaning 14002 clauses out of 28214 with flag 2023000/2027762
1009.92/1008.45	c cleaning 14013 clauses out of 28212 with flag 2037000/2041762
1016.83/1015.32	c cleaning 13952 clauses out of 28199 with flag 2051000/2055762
1024.73/1023.22	c cleaning 14073 clauses out of 28247 with flag 2065000/2069762
1031.14/1029.64	c cleaning 14016 clauses out of 28174 with flag 2079000/2083762
1037.85/1036.40	c cleaning 13988 clauses out of 28158 with flag 2093000/2097762
1044.74/1043.29	c cleaning 14053 clauses out of 28170 with flag 2107000/2111762
1051.75/1050.23	c cleaning 13990 clauses out of 28117 with flag 2121000/2125762
1060.05/1058.53	c cleaning 13899 clauses out of 28127 with flag 2135000/2139762
1068.05/1066.55	c cleaning 13960 clauses out of 28228 with flag 2149000/2153762
1076.16/1074.64	c cleaning 14050 clauses out of 28268 with flag 2163000/2167762
1083.66/1082.12	c cleaning 14004 clauses out of 28218 with flag 2177000/2181762
1091.77/1090.24	c cleaning 14001 clauses out of 28214 with flag 2191000/2195762
1099.86/1098.40	c cleaning 14057 clauses out of 28213 with flag 2205000/2209762
1107.87/1106.37	c cleaning 14012 clauses out of 28156 with flag 2219000/2223762
1115.27/1113.77	c cleaning 13948 clauses out of 28144 with flag 2233000/2237762
1122.18/1120.64	c cleaning 13984 clauses out of 28196 with flag 2247000/2251762
1129.28/1127.75	c cleaning 14083 clauses out of 28212 with flag 2261000/2265762
1136.18/1134.60	c cleaning 13979 clauses out of 28129 with flag 2275000/2279762
1143.69/1142.16	c cleaning 13961 clauses out of 28150 with flag 2289000/2293762
1151.20/1149.62	c cleaning 14023 clauses out of 28189 with flag 2303000/2307762
1158.90/1157.37	c cleaning 13956 clauses out of 28166 with flag 2317000/2321762
1166.60/1165.02	c cleaning 13935 clauses out of 28210 with flag 2331000/2335762
1174.39/1172.85	c cleaning 14102 clauses out of 28275 with flag 2345000/2349762
1182.10/1180.58	c cleaning 13964 clauses out of 28173 with flag 2359000/2363762
1190.30/1188.79	c cleaning 13966 clauses out of 28209 with flag 2373000/2377762
1198.10/1196.50	c cleaning 14032 clauses out of 28243 with flag 2387000/2391762
1205.70/1204.12	c cleaning 13971 clauses out of 28211 with flag 2401000/2405762
1213.71/1212.17	c cleaning 14086 clauses out of 28240 with flag 2415000/2419762
1221.11/1219.56	c cleaning 14010 clauses out of 28154 with flag 2429000/2433762
1227.91/1226.39	c cleaning 13919 clauses out of 28144 with flag 2443000/2447762
1234.72/1233.16	c cleaning 14028 clauses out of 28225 with flag 2457000/2461762
1241.82/1240.30	c cleaning 14057 clauses out of 28197 with flag 2471000/2475762
1248.92/1247.33	c cleaning 14008 clauses out of 28140 with flag 2485000/2489762
1256.22/1254.64	c cleaning 13967 clauses out of 28132 with flag 2499000/2503762
1262.92/1261.38	c cleaning 14018 clauses out of 28165 with flag 2513000/2517762
1269.63/1268.03	c cleaning 14030 clauses out of 28147 with flag 2527000/2531762
1276.23/1274.65	c cleaning 13983 clauses out of 28117 with flag 2541000/2545762
1282.83/1281.29	c cleaning 13988 clauses out of 28134 with flag 2555000/2559762
1289.44/1287.88	c cleaning 14015 clauses out of 28146 with flag 2569000/2573762
1296.03/1294.47	c cleaning 13984 clauses out of 28131 with flag 2583000/2587762
1302.64/1301.01	c cleaning 13995 clauses out of 28147 with flag 2597000/2601762
1309.04/1307.43	c cleaning 13991 clauses out of 28152 with flag 2611000/2615762
1315.94/1314.34	c cleaning 13989 clauses out of 28161 with flag 2625000/2629762
1322.64/1321.09	c cleaning 13940 clauses out of 28172 with flag 2639000/2643762
1329.35/1327.79	c cleaning 14093 clauses out of 28232 with flag 2653000/2657762
1335.65/1334.08	c cleaning 14014 clauses out of 28139 with flag 2667000/2671762
1342.16/1340.52	c cleaning 14012 clauses out of 28125 with flag 2681000/2685762
1348.17/1346.55	c cleaning 14001 clauses out of 28113 with flag 2695000/2699762
1354.16/1352.56	c cleaning 13978 clauses out of 28112 with flag 2709000/2713762
1360.06/1358.49	c cleaning 14010 clauses out of 28135 with flag 2723001/2727763
1366.07/1364.41	c cleaning 13986 clauses out of 28124 with flag 2737000/2741762
1372.47/1370.82	c cleaning 13974 clauses out of 28138 with flag 2751000/2755762
1378.88/1377.25	c cleaning 14033 clauses out of 28164 with flag 2765000/2769762
1385.07/1383.40	c cleaning 13968 clauses out of 28131 with flag 2779000/2783762
1391.37/1389.78	c cleaning 13967 clauses out of 28163 with flag 2793000/2797762
1397.48/1395.83	c cleaning 13973 clauses out of 28196 with flag 2807000/2811762
1403.78/1402.10	c cleaning 14044 clauses out of 28223 with flag 2821000/2825762
1409.48/1407.83	c cleaning 14063 clauses out of 28179 with flag 2835000/2839762
1415.30/1413.61	c cleaning 13997 clauses out of 28116 with flag 2849000/2853762
1420.89/1419.21	c cleaning 13986 clauses out of 28119 with flag 2863000/2867762
1426.49/1424.88	c cleaning 13965 clauses out of 28133 with flag 2877000/2881762
1432.29/1430.64	c cleaning 13993 clauses out of 28168 with flag 2891000/2895762
1438.19/1436.52	c cleaning 14064 clauses out of 28175 with flag 2905000/2909762
1443.90/1442.26	c cleaning 14007 clauses out of 28111 with flag 2919000/2923762
1449.69/1448.06	c cleaning 13983 clauses out of 28104 with flag 2933000/2937762
1455.29/1453.64	c cleaning 14004 clauses out of 28121 with flag 2947000/2951762
1460.80/1459.17	c cleaning 13990 clauses out of 28117 with flag 2961000/2965762
1466.40/1464.70	c cleaning 14003 clauses out of 28127 with flag 2975000/2979762
1471.41/1469.79	c cleaning 13958 clauses out of 28124 with flag 2989000/2993762
1478.20/1476.59	c cleaning 13973 clauses out of 28166 with flag 3003000/3007762
1484.80/1483.10	c cleaning 14065 clauses out of 28193 with flag 3017000/3021762
1491.41/1489.76	c cleaning 13963 clauses out of 28128 with flag 3031000/3035762
1497.61/1495.95	c cleaning 14012 clauses out of 28165 with flag 3045000/3049762
1503.72/1502.07	c cleaning 13995 clauses out of 28153 with flag 3059000/3063762
1509.93/1508.23	c cleaning 13954 clauses out of 28158 with flag 3073000/3077762
1515.92/1514.26	c cleaning 13999 clauses out of 28204 with flag 3087000/3091762
1522.12/1520.46	c cleaning 14011 clauses out of 28205 with flag 3101000/3105762
1528.22/1526.59	c cleaning 14051 clauses out of 28194 with flag 3115000/3119762
1534.53/1532.80	c cleaning 13946 clauses out of 28143 with flag 3129000/3133762
1541.43/1539.78	c cleaning 14068 clauses out of 28197 with flag 3143000/3147762
1547.73/1546.04	c cleaning 13987 clauses out of 28129 with flag 3157000/3161762
1553.84/1552.20	c cleaning 13973 clauses out of 28142 with flag 3171000/3175762
1559.63/1557.95	c cleaning 14027 clauses out of 28169 with flag 3185000/3189762
1565.54/1563.84	c cleaning 13998 clauses out of 28142 with flag 3199000/3203762
1571.24/1569.51	c cleaning 13965 clauses out of 28144 with flag 3213000/3217762
1577.13/1575.44	c cleaning 14077 clauses out of 28180 with flag 3227001/3231763
1582.84/1581.20	c cleaning 14023 clauses out of 28102 with flag 3241000/3245762
1588.34/1586.63	c cleaning 13998 clauses out of 28079 with flag 3255000/3259762
1593.55/1591.84	c cleaning 13983 clauses out of 28081 with flag 3269000/3273762
1599.34/1597.61	c cleaning 13985 clauses out of 28098 with flag 3283000/3287762
1605.24/1603.59	c cleaning 13976 clauses out of 28113 with flag 3297000/3301762
1611.44/1609.78	c cleaning 13987 clauses out of 28137 with flag 3311000/3315762
1616.95/1615.20	c cleaning 14030 clauses out of 28150 with flag 3325000/3329762
1622.45/1620.71	c cleaning 13989 clauses out of 28120 with flag 3339000/3343762
1627.67/1625.96	c cleaning 14031 clauses out of 28131 with flag 3353000/3357762
1632.75/1631.05	c cleaning 13987 clauses out of 28100 with flag 3367000/3371762
1637.36/1635.69	c cleaning 13973 clauses out of 28113 with flag 3381000/3385762
1641.86/1640.17	c cleaning 14029 clauses out of 28140 with flag 3395000/3399762
1646.37/1644.66	c cleaning 13999 clauses out of 28111 with flag 3409000/3413762
1650.96/1649.23	c cleaning 14007 clauses out of 28112 with flag 3423000/3427762
1656.86/1655.19	c cleaning 14018 clauses out of 28105 with flag 3437000/3441762
1662.77/1661.04	c cleaning 13981 clauses out of 28087 with flag 3451000/3455762
1668.27/1666.53	c cleaning 14012 clauses out of 28106 with flag 3465000/3469762
1673.07/1671.30	c cleaning 13991 clauses out of 28094 with flag 3479000/3483762
1678.47/1676.73	c cleaning 13994 clauses out of 28103 with flag 3493000/3497762
1683.79/1682.07	c cleaning 14026 clauses out of 28109 with flag 3507000/3511762
1688.68/1686.93	c cleaning 13998 clauses out of 28084 with flag 3521001/3525763
1693.18/1691.50	c cleaning 13979 clauses out of 28085 with flag 3535000/3539762
1697.98/1696.24	c cleaning 14013 clauses out of 28106 with flag 3549000/3553762
1702.39/1700.61	c cleaning 14001 clauses out of 28093 with flag 3563000/3567762
1706.90/1705.17	c cleaning 14018 clauses out of 28092 with flag 3577000/3581762
1710.98/1709.29	c cleaning 13990 clauses out of 28074 with flag 3591000/3595762
1714.99/1713.28	c cleaning 13997 clauses out of 28084 with flag 3605000/3609762
1719.09/1717.37	c cleaning 13983 clauses out of 28087 with flag 3619000/3623762
1723.19/1721.44	c cleaning 14000 clauses out of 28104 with flag 3633000/3637762
1727.39/1725.64	c cleaning 14034 clauses out of 28104 with flag 3647000/3651762
1731.99/1730.22	c cleaning 13962 clauses out of 28070 with flag 3661000/3665762
1736.90/1735.10	c cleaning 14031 clauses out of 28108 with flag 3675000/3679762
1741.20/1739.45	c cleaning 13942 clauses out of 28077 with flag 3689000/3693762
1745.00/1743.21	c cleaning 14052 clauses out of 28135 with flag 3703000/3707762
1749.10/1747.33	c cleaning 13982 clauses out of 28083 with flag 3717000/3721762
1753.01/1751.29	c cleaning 14013 clauses out of 28101 with flag 3731000/3735762
1757.01/1755.29	c cleaning 14040 clauses out of 28089 with flag 3745001/3749763
1761.01/1759.24	c cleaning 13995 clauses out of 28049 with flag 3759001/3763763
1765.51/1763.70	c cleaning 13972 clauses out of 28053 with flag 3773000/3777762
1769.52/1767.80	c cleaning 13995 clauses out of 28081 with flag 3787000/3791762
1773.41/1771.66	c cleaning 14002 clauses out of 28086 with flag 3801000/3805762
1777.11/1775.39	c cleaning 14001 clauses out of 28084 with flag 3815000/3819762
1780.82/1779.06	c cleaning 14017 clauses out of 28083 with flag 3829000/3833762
1784.82/1783.02	c cleaning 13992 clauses out of 28066 with flag 3843000/3847762
1788.52/1786.76	c cleaning 13982 clauses out of 28074 with flag 3857000/3861762
1792.13/1790.38	c cleaning 13997 clauses out of 28092 with flag 3871000/3875762
1795.53/1793.75	c cleaning 13987 clauses out of 28095 with flag 3885000/3889762
1799.03/1797.28	c cleaning 14010 clauses out of 28108 with flag 3899000/3903762
1800.04/1798.22	c starts		: 255
1800.04/1798.22	c conflicts		: 3907954
1800.04/1798.22	c decisions		: 3990377
1800.04/1798.22	c propagations		: 119154232
1800.04/1798.22	c inspects		: 3644635758
1800.04/1798.22	c shortcuts		: 0
1800.04/1798.22	c learnt literals	: 0
1800.04/1798.22	c learnt binary clauses	: 0
1800.04/1798.22	c learnt ternary clauses	: 876
1800.04/1798.22	c learnt constraints	: 3907953
1800.04/1798.22	c ignored constraints	: 0
1800.04/1798.22	c root simplifications	: 0
1800.04/1798.22	c removed literals (reason simplification)	: 449368692
1800.04/1798.22	c reason swapping (by a shorter reason)	: 0
1800.04/1798.22	c Calls to reduceDB	: 282
1800.04/1798.22	c number of reductions to clauses (during analyze)	: 0
1800.04/1798.22	c number of learned constraints concerned by reduction	: 0
1800.04/1798.22	c number of learning phase by resolution	: 0
1800.04/1798.22	c number of learning phase by cutting planes	: 0
1800.04/1798.22	c speed (assignments/second)	: 66371.72191598301
1800.04/1798.22	c non guided choices	0
1800.04/1798.23	c learnt constraints type 
1800.04/1798.23	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 18310
1800.04/1798.23	c constraints type 
1800.04/1798.23	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6260
1800.04/1798.23	c org.sat4j.minisat.constraints.card.MinWatchCard => 403
1800.04/1798.23	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 200
1800.04/1798.23	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6260
1800.04/1798.23	s SATISFIABLE
1800.04/1798.23	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.23	c objective function=-18
1800.04/1798.23	c Total wall clock time (in seconds): 1798.119

Verifier Data 

OK	-18

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-3458462-1307163124/watcher-3458462-1307163124 -o /tmp/evaluation-result-3458462-1307163124/solver-3458462-1307163124 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458462-1307163124.opb 

running on 4 cores: 0,2,4,6

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: 0.92 1.00 1.24 3/385 6225
/proc/meminfo: memFree=23734652/32951124 swapFree=49244120/67111528
[pid=6225] ppid=6221 vsize=30540 CPUtime=0 cores=0,2,4,6
/proc/6225/stat : 6225 (java) S 6221 6225 6095 0 -1 4202496 1240 0 0 0 0 0 0 0 25 0 2 0 827915125 31272960 960 33554432000 1073741824 1073778376 140735123687120 18446744073709551615 218382759909 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/6225/statm: 7635 960 732 9 0 386 0
[pid=6225/tid=6227] ppid=6221 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/6225/task/6227/stat : 6227 (java) R 6221 6225 6095 0 -1 4202560 4649 0 1 0 0 0 0 0 25 0 2 0 827915125 13850947584 5465 33554432000 1073741824 1073778376 140735123687120 18446744073709551615 218370651195 0 4 0 16784584 0 0 0 -1 2 0 0 0

[startup+0.05426 s]
/proc/loadavg: 0.92 1.00 1.24 3/385 6225
/proc/meminfo: memFree=23734652/32951124 swapFree=49244120/67111528
[pid=6225] ppid=6221 vsize=13549616 CPUtime=0.04 cores=0,2,4,6
/proc/6225/stat : 6225 (java) S 6221 6225 6095 0 -1 4202496 13938 0 1 0 3 1 0 0 25 0 13 0 827915125 13874806784 13635 33554432000 1073741824 1073778376 140735123687120 18446744073709551615 218382759909 0 0 0 16800971 18446744073709551615 0 0 17 0 0 0 0
/proc/6225/statm: 3387404 13653 1685 9 0 3378152 0
[pid=6225/tid=6227] ppid=6221 vsize=13549616 CPUtime=0.04 cores=0,2,4,6
/proc/6225/task/6227/stat : 6227 (java) S 6221 6225 6095 0 -1 4202560 12809 0 1 0 3 1 0 0 18 0 13 0 827915125 13874806784 13653 33554432000 1073741824 1073778376 140735123687120 18446744073709551615 218370955264 0 2147483391 0 16800971 18446744071699199166 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13549616

[startup+0.123613 s]
/proc/loadavg: 0.92 1.00 1.24 3/385 6225
/proc/meminfo: memFree=23734652/32951124 swapFree=49244120/67111528
[pid=6225] ppid=6221 vsize=13622152 CPUtime=0.13 cores=0,2,4,6
/proc/6225/stat : 6225 (java) S 6221 6225 6095 0 -1 4202496 15773 0 1 0 11 2 0 0 25 0 18 0 827915125 13949083648 15440 33554432000 1073741824 1073778376 140735123687120 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/6225/statm: 3405538 15441 2133 9 0 3396272 0
[pid=6225/tid=6227] ppid=6221 vsize=13622152 CPUtime=0.1 cores=0,2,4,6
/proc/6225/task/6227/stat : 6227 (java) R 6221 6225 6095 0 -1 4202560 13857 0 1 0 9 1 0 0 22 0 18 0 827915125 13949083648 15441 33554432000 1073741824 1073778376 140735123687120 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 13622152

[startup+0.35284 s]
/proc/loadavg: 0.92 1.00 1.24 3/385 6225
/proc/meminfo: memFree=23734652/32951124 swapFree=49244120/67111528
[pid=6225] ppid=6221 vsize=13625884 CPUtime=0.56 cores=0,2,4,6
/proc/6225/stat : 6225 (java) S 6221 6225 6095 0 -1 4202496 19559 0 1 0 54 2 0 0 25 0 18 0 827915125 13952905216 18872 33554432000 1073741824 1073778376 140735123687120 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/6225/statm: 3407463 21412 2224 9 0 3398197 0
[pid=6225/tid=6227] ppid=6221 vsize=13631808 CPUtime=0.46 cores=0,2,4,6
/proc/6225/task/6227/stat : 6227 (java) R 6221 6225 6095 0 -1 4202560 20271 0 1 0 44 2 0 0 18 0 18 0 827915125 13958971392 26656 33554432000 1073741824 1073778376 140735123687120 18446744073709551615 46912505216225 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 13625884

[startup+0.70053 s]
/proc/loadavg: 0.92 1.00 1.24 3/385 6225
/proc/meminfo: memFree=23734652/32951124 swapFree=49244120/67111528
[pid=6225] ppid=6221 vsize=13633116 CPUtime=1.57 cores=0,2,4,6
/proc/6225/stat : 6225 (java) S 6221 6225 6095 0 -1 4202496 32094 0 1 0 154 3 0 0 25 0 19 0 827915125 13960310784 29816 33554432000 1073741824 1073778376 140735123687120 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/6225/statm: 3408279 29816 2240 9 0 3399013 0
[pid=6225/tid=6227] ppid=6221 vsize=13633116 CPUtime=0.65 cores=0,2,4,6
/proc/6225/task/6227/stat : 6227 (java) R 6221 6225 6095 0 -1 4202560 23098 0 1 0 63 2 0 0 19 0 19 0 827915125 13960310784 29816 33554432000 1073741824 1073778376 140735123687120 18446744073709551615 46912505850336 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.57
Current children cumulated vsize (KiB) 13633116

[startup+1.50139 s]
/proc/loadavg: 0.92 1.00 1.24 3/423 6263
/proc/meminfo: memFree=23525736/32951124 swapFree=49244120/67111528
[pid=6225] ppid=6221 vsize=13633116 CPUtime=2.51 cores=0,2,4,6
/proc/6225/stat : 6225 (java) S 6221 6225 6095 0 -1 4202496 32312 0 1 0 247 4 0 0 25 0 19 0 827915125 13960310784 30033 33554432000 1073741824 1073778376 140735123687120 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/6225/statm: 3408279 30033 2244 9 0 3399013 0
[pid=6225/tid=6227] ppid=6221 vsize=13633116 CPUtime=1.45 cores=0,2,4,6
/proc/6225/task/6227/stat : 6227 (java) R 6221 6225 6095 0 -1 4202560 23288 0 1 0 143 2 0 0 18 0 19 0 827915125 13960310784 30033 33554432000 1073741824 1073778376 140735123687120 18446744073709551615 46912505978531 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=6225/tid=6237] ppid=6221 vsize=13633116 CPUtime=0 cores=0,2,4,6
/proc/6225/task/6237/stat : 6237 (java) S 6221 6225 6095 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827915127 13960310784 30033 33554432000 1073741824 1073778376 140735123687120 18446744073709551615 218382773145 0 4 0 16800975 18446604440857335808 0 0 -1 2 0 0 0
[pid=6225/tid=6239] ppid=6221 vsize=13633116 CPUtime=0 cores=0,2,4,6
/proc/6225/task/6239/stat : 6239 (java) S 6221 6225 6095 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827915127 13960310784 30033 33554432000 1073741824 1073778376 140735123687120 18446744073709551615 218382773145 0 4 0 16800975 18446604440857335808 0 0 -1 2 0 0 0
[pid=6225/tid=6240] ppid=6221 vsize=13633116 CPUtime=0 cores=0,2,4,6
/proc/6225/task/6240/stat : 6240 (java) S 6221 6225 6095 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827915127 13960310784 30033 33554432000 1073741824 1073778376 140735123687120 18446744073709551615 218382773145 0 4 0 16800975 18446604440857335808 0 0 -1 2 0 0 0
[pid=6225/tid=6241] ppid=6221 vsize=13633116 CPUtime=0 cores=0,2,4,6
/proc/6225/task/6241/stat : 6241 (java) S 6221 6225 6095 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827915127 13960310784 30033 33554432000 1073741824 1073778376 140735123687120 18446744073709551615 218382773145 0 4 0 16800975 18446604440857335808 0 0 -1 2 0 0 0
[pid=6225/tid=6242] ppid=6221 vsize=13633116 CPUtime=0 cores=0,2,4,6
/proc/6225/task/6242/stat : 6242 (java) S 6221 6225 6095 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827915127 13960310784 30033 33554432000 1073741824 1073778376 140735123687120 18446744073709551615 218382773145 0 4 0 16800975 18446604440857335808 0 0 -1 2 0 0 0
[pid=6225/tid=6243] ppid=6221 vsize=13633116 CPUtime=0 cores=0,2,4,6
/proc/6225/task/6243/stat : 6243 (java) S 6221 6225 6095 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827915127 13960310784 30033 33554432000 1073741824 1073778376 140735123687120 18446744073709551615 218382773145 0 4 0 16800975 18446604440857335808 0 0 -1 2 0 0 0
[pid=6225/tid=6244] ppid=6221 vsize=13633116 CPUtime=0 cores=0,2,4,6
/proc/6225/task/6244/stat : 6244 (java) S 6221 6225 6095 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827915127 13960310784 30033 33554432000 1073741824 1073778376 140735123687120 18446744073709551615 218382773145 0 4 0 16800975 18446604440857335808 0 0 -1 2 0 0 0
[pid=6225/tid=6245] ppid=6221 vsize=13633116 CPUtime=0 cores=0,2,4,6
/proc/6225/task/6245/stat : 6245 (java) S 6221 6225 6095 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827915127 13960310784 30033 33554432000 1073741824 1073778376 140735123687120 18446744073709551615 218382773145 0 4 0 16800975 18446604440857335808 0 0 -1 2 0 0 0
[pid=6225/tid=6247] ppid=6221 vsize=13633116 CPUtime=0 cores=0,2,4,6
/proc/6225/task/6247/stat : 6247 (java) S 6221 6225 6095 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 827915128 13960310784 30033 33554432000 1073741824 1073778376 140735123687120 18446744073709551615 218382773760 0 0 0 16800975 18446604440857335808 0 0 -1 6 0 0 0
[pid=6225/tid=6250] ppid=6221 vsize=13633116 CPUtime=0 cores=0,2,4,6
/proc/6225/task/6250/stat : 6250 (java) S 6221 6225 6095 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 827915129 13960310784 30033 33554432000 1073741824 1073778376 140735123687120 18446744073709551615 218382773145 0 4 0 16800975 18446604440857335808 0 0 -1 6 0 0 0
[pid=6225/tid=6251] ppid=6221 vsize=13633116 CPUtime=0 cores=0,2,4,6
/proc/6225/task/6251/stat : 6251 (java) S 6221 6225 6095 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 827915129 13960310784 30033 33554432000 1073741824 1073778376 140735123687120 18446744073709551615 218382773145 0 4 0 16800975 18446604440857335808 0 0 -1 6 0 0 0
[pid=6225/tid=6252] ppid=6221 vsize=13633116 CPUtime=0 cores=0,2,4,6
/proc/6225/task/6252/stat : 6252 (java) S 6221 6225 6095 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 827915131 13960310784 30033 33554432000 1073741824 1073778376 140735123687120 18446744073709551615 218382780849 0 4 0 16800975 18446604440857335808 0 0 -1 6 0 0 0
[pid=6225/tid=6253] ppid=6221 vsize=13633116 CPUtime=0.48 cores=0,2,4,6
/proc/6225/task/6253/stat : 6253 (java) S 6221 6225 6095 0 -1 4202560 3574 0 0 0 48 0 0 0 15 0 19 0 827915131 13960310784 30033 33554432000 1073741824 1073778376 140735123687120 18446744073709551615 218382773145 0 4 0 16800975 18446604440857335808 0 0 -1 0 0 0 0
[pid=6225/tid=6256] ppid=6221 vsize=13633116 CPUtime=0.55 cores=0,2,4,6
/proc/6225/task/6256/stat : 6256 (java) S 6221 6225 6095 0 -1 4202560 4290 0 0 0 55 0 0 0 15 0 19 0 827915131 13960310784 30033 33554432000 1073741824 1073778376 140735123687120 18446744073709551615 218382773145 0 4 0 16800975 18446604440857335808 0 0 -1 2 0 0 0
[pid=6225/tid=6257] ppid=6221 vsize=13633116 CPUtime=0 cores=0,2,4,6
/proc/6225/task/6257/stat : 6257 (java) S 6221 6225 6095 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 827915131 13960310784 30033 33554432000 1073741824 1073778376 140735123687120 18446744073709551615 218382773145 0 4 0 16800975 18446604440857335808 0 0 -1 6 0 0 0
[pid=6225/tid=6260] ppid=6221 vsize=13633116 CPUtime=0 cores=0,2,4,6
/proc/6225/task/6260/stat : 6260 (java) S 6221 6225 6095 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827915131 13960310784 30033 33554432000 1073741824 1073778376 140735123687120 18446744073709551615 218382773760 0 4 0 16800975 18446604440857335808 0 0 -1 6 0 0 0
[pid=6225/tid=6263] ppid=6221 vsize=13633116 CPUtime=0 cores=0,2,4,6
/proc/6225/task/6263/stat : 6263 (java) S 6221 6225 6095 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827915180 13960310784 30033 33554432000 1073741824 1073778376 140735123687120 18446744073709551615 218382773760 0 4 0 16800975 18446604440857335808 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.51
Current children cumulated vsize (KiB) 13633116

[startup+3.10108 s]
/proc/loadavg: 1.01 1.01 1.24 3/423 6263
/proc/meminfo: memFree=23516064/32951124 swapFree=49244120/67111528
[pid=6225] ppid=6221 vsize=13633116 CPUtime=4.19 cores=0,2,4,6
/proc/6225/stat : 6225 (java) S 6221 6225 6095 0 -1 4202496 32880 0 1 0 415 4 0 0 25 0 19 0 827915125 13960310784 30599 33554432000 1073741824 1073778376 140735123687120 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/6225/statm: 3408279 30599 2244 9 0 3399013 0
[pid=6225/tid=6227] ppid=6221 vsize=13633116 CPUtime=3.05 cores=0,2,4,6
/proc/6225/task/6227/stat : 6227 (java) R 6221 6225 6095 0 -1 4202560 23847 0 1 0 303 2 0 0 18 0 19 0 827915125 13960310784 30599 33554432000 1073741824 1073778376 140735123687120 18446744073709551615 46912505978526 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=6225/tid=6237] ppid=6221 vsize=13633116 CPUtime=0 cores=0,2,4,6
/proc/6225/task/6237/stat : 6237 (java) S 6221 6225 6095 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827915127 13960310784 30599 33554432000 1073741824 1073778376 140735123687120 18446744073709551615 218382773145 0 4 0 16800975 18446604440857335808 0 0 -1 2 0 0 0
[pid=6225/tid=6239] ppid=6221 vsize=13633116 CPUtime=0 cores=0,2,4,6
/proc/6225/task/6239/stat : 6239 (java) S 6221 6225 6095 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827915127 13960310784 30599 33554432000 1073741824 1073778376 140735123687120 18446744073709551615 218382773145 0 4 0 16800975 18446604440857335808 0 0 -1 2 0 0 0
[pid=6225/tid=6240] ppid=6221 vsize=13633116 CPUtime=0 cores=0,2,4,6
/proc/6225/task/6240/stat : 6240 (java) S 6221 6225 6095 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827915127 13960310784 30599 33554432000 1073741824 1073778376 140735123687120 18446744073709551615 218382773145 0 4 0 16800975 18446604440857335808 0 0 -1 2 0 0 0
[pid=6225/tid=6241] ppid=6221 vsize=13633116 CPUtime=0 cores=0,2,4,6
/proc/6225/task/6241/stat : 6241 (java) S 6221 6225 6095 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827915127 13960310784 30599 33554432000 1073741824 1073778376 140735123687120 18446744073709551615 218382773145 0 4 0 16800975 18446604440857335808 0 0 -1 2 0 0 0
[pid=6225/tid=6242] ppid=6221 vsize=13633116 CPUtime=0 cores=0,2,4,6
/proc/6225/task/6242/stat : 6242 (java) S 6221 6225 6095 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827915127 13960310784 30599 33554432000 1073741824 1073778376 140735123687120 18446744073709551615 218382773145 0 4 0 16800975 18446604440857335808 0 0 -1 2 0 0 0
[pid=6225/tid=6243] ppid=6221 vsize=13633116 CPUtime=0 cores=0,2,4,6
/proc/6225/task/6243/stat : 6243 (java) S 6221 6225 6095 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827915127 13960310784 30599 33554432000 1073741824 1073778376 140735123687120 18446744073709551615 218382773145 0 4 0 16800975 18446604440857335808 0 0 -1 2 0 0 0
[pid=6225/tid=6244] ppid=6221 vsize=13633116 CPUtime=0 cores=0,2,4,6
/proc/6225/task/6244/stat : 6244 (java) S 6221 6225 6095 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827915127 13960310784 30599 33554432000 1073741824 1073778376 140735123687120 18446744073709551615 218382773145 0 4 0 16800975 18446604440857335808 0 0 -1 2 0 0 0
[pid=6225/tid=6245] ppid=6221 vsize=13633116 CPUtime=0 cores=0,2,4,6
/proc/6225/task/6245/stat : 6245 (java) S 6221 6225 6095 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827915127 13960310784 30599 33554432000 1073741824 1073778376 140735123687120 18446744073709551615 218382773145 0 4 0 16800975 18446604440857335808 0 0 -1 2 0 0 0
[pid=6225/tid=6247] ppid=6221 vsize=13633116 CPUtime=0 cores=0,2,4,6
/proc/6225/task/6247/stat : 6247 (java) S 6221 6225 6095 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 827915128 13960310784 30599 33554432000 1073741824 1073778376 140735123687120 18446744073709551615 218382773760 0 0 0 16800975 18446604440857335808 0 0 -1 6 0 0 0
[pid=6225/tid=6250] ppid=6221 vsize=13633116 CPUtime=0 cores=0,2,4,6
/proc/6225/task/6250/stat : 6250 (java) S 6221 6225 6095 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 827915129 13960310784 30599 33554432000 1073741824 1073778376 140735123687120 18446744073709551615 218382773145 0 4 0 16800975 18446604440857335808 0 0 -1 6 0 0 0
[pid=6225/tid=6251] ppid=6221 vsize=13633116 CPUtime=0 cores=0,2,4,6
/proc/6225/task/6251/stat : 6251 (java) S 6221 6225 6095 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 827915129 13960310784 30599 33554432000 1073741824 1073778376 140735123687120 18446744073709551615 218382773145 0 4 0 16800975 18446604440857335808 0 0 -1 6 0 0 0
[pid=6225/tid=6252] ppid=6221 vsize=13633116 CPUtime=0 cores=0,2,4,6
/proc/6225/task/6252/stat : 6252 (java) S 6221 6225 6095 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 827915131 13960310784 30599 33554432000 1073741824 1073778376 140735123687120 18446744073709551615 218382780849 0 4 0 16800975 18446604440857335808 0 0 -1 6 0 0 0
[pid=6225/tid=6253] ppid=6221 vsize=13633116 CPUtime=0.53 cores=0,2,4,6
/proc/6225/task/6253/stat : 6253 (java) S 6221 6225 6095 0 -1 4202560 3580 0 0 0 53 0 0 0 15 0 19 0 827915131 13960310784 30599 33554432000 1073741824 1073778376 140735123687120 18446744073709551615 218382773145 0 4 0 16800975 18446604440857335808 0 0 -1 0 0 0 0
[pid=6225/tid=6256] ppid=6221 vsize=13633116 CPUtime=0.57 cores=0,2,4,6
/proc/6225/task/6256/stat : 6256 (java) S 6221 6225 6095 0 -1 4202560 4293 0 0 0 57 0 0 0 15 0 19 0 827915131 13960310784 30599 33554432000 1073741824 1073778376 140735123687120 18446744073709551615 218382773145 0 4 0 16800975 18446604440857335808 0 0 -1 2 0 0 0
[pid=6225/tid=6257] ppid=6221 vsize=13633116 CPUtime=0 cores=0,2,4,6
/proc/6225/task/6257/stat : 6257 (java) S 6221 6225 6095 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 827915131 13960310784 30599 33554432000 1073741824 1073778376 140735123687120 18446744073709551615 218382773145 0 4 0 16800975 18446604440857335808 0 0 -1 6 0 0 0
[pid=6225/tid=6260] ppid=6221 vsize=13633116 CPUtime=0 cores=0,2,4,6
/proc/6225/task/6260/stat : 6260 (java) S 6221 6225 6095 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827915131 13960310784 30599 33554432000 1073741824 1073778376 140735123687120 18446744073709551615 218382773760 0 4 0 16800975 18446604440857335808 0 0 -1 6 0 0 0
[pid=6225/tid=6263] ppid=6221 vsize=13633116 CPUtime=0 cores=0,2,4,6
/proc/6225/task/6263/stat : 6263 (java) S 6221 6225 6095 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827915180 13960310784 30599 33554432000 1073741824 1073778376 140735123687120 18446744073709551615 218382773760 0 4 0 16800975 18446604440857335808 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.19
Current children cumulated vsize (KiB) 13633116

[startup+6.30153 s]
/proc/loadavg: 1.01 1.01 1.24 3/423 6263
/proc/meminfo: memFree=23502420/32951124 swapFree=49244120/67111528
[pid=6225] ppid=6221 vsize=13633116 CPUtime=7.44 cores=0,2,4,6
/proc/6225/stat : 6225 (java) S 6221 6225 6095 0 -1 4202496 36076 0 1 0 740 4 0 0 25 0 19 0 827915125 13960310784 32843 33554432000 1073741824 1073778376 140735123687120 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/6225/statm: 3408279 32843 2270 9 0 3399013 0
[pid=6225/tid=6227] ppid=6221 vsize=13633116 CPUtime=6.21 cores=0,2,4,6
/proc/6225/task/6227/stat : 6227 (java) R 6221 6225 6095 0 -1 4202560 23906 0 1 0 619 2 0 0 18 0 19 0 827915125 13960310784 32843 33554432000 1073741824 1073778376 140735123687120 18446744073709551615 46912505901069 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=6225/tid=6237] ppid=6221 vsize=13633116 CPUtime=0 cores=0,2,4,6
/proc/6225/task/6237/stat : 6237 (java) S 6221 6225 6095 0 -1 4202560 593 0 0 0 0 0 0 0 18 0 19 0 827915127 13960310784 32843 33554432000 1073741824 1073778376 140735123687120 18446744073709551615 218382773145 0 4 0 16800975 18446604440857335808 0 0 -1 2 0 0 0
[pid=6225/tid=6239] ppid=6221 vsize=13633116 CPUtime=0 cores=0,2,4,6
/proc/6225/task/6239/stat : 6239 (java) S 6221 6225 6095 0 -1 4202560 524 0 0 0 0 0 0 0 18 0 19 0 827915127 13960310784 32843 33554432000 1073741824 1073778376 140735123687120 18446744073709551615 218382773145 0 4 0 16800975 18446604440857335808 0 0 -1 4 0 0 0
[pid=6225/tid=6240] ppid=6221 vsize=13633116 CPUtime=0 cores=0,2,4,6
/proc/6225/task/6240/stat : 6240 (java) S 6221 6225 6095 0 -1 4202560 447 0 0 0 0 0 0 0 18 0 19 0 827915127 13960310784 32843 33554432000 1073741824 1073778376 140735123687120 18446744073709551615 218382773145 0 4 0 16800975 18446604440857335808 0 0 -1 4 0 0 0
[pid=6225/tid=6241] ppid=6221 vsize=13633116 CPUtime=0 cores=0,2,4,6
/proc/6225/task/6241/stat : 6241 (java) S 6221 6225 6095 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 827915127 13960310784 32843 33554432000 1073741824 1073778376 140735123687120 18446744073709551615 218382773145 0 4 0 16800975 18446604440857335808 0 0 -1 2 0 0 0
[pid=6225/tid=6242] ppid=6221 vsize=13633116 CPUtime=0 cores=0,2,4,6
/proc/6225/task/6242/stat : 6242 (java) S 6221 6225 6095 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 827915127 13960310784 32843 33554432000 1073741824 1073778376 140735123687120 18446744073709551615 218382773145 0 4 0 16800975 18446604440857335808 0 0 -1 2 0 0 0
[pid=6225/tid=6243] ppid=6221 vsize=13633116 CPUtime=0 cores=0,2,4,6
/proc/6225/task/6243/stat : 6243 (java) S 6221 6225 6095 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 827915127 13960310784 32843 33554432000 1073741824 1073778376 140735123687120 18446744073709551615 218382773145 0 4 0 16800975 18446604440857335808 0 0 -1 2 0 0 0
[pid=6225/tid=6244] ppid=6221 vsize=13633116 CPUtime=0 cores=0,2,4,6
/proc/6225/task/6244/stat : 6244 (java) S 6221 6225 6095 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 827915127 13960310784 32843 33554432000 1073741824 1073778376 140735123687120 18446744073709551615 218382773145 0 4 0 16800975 18446604440857335808 0 0 -1 2 0 0 0
[pid=6225/tid=6245] ppid=6221 vsize=13633116 CPUtime=0 cores=0,2,4,6
/proc/6225/task/6245/stat : 6245 (java) S 6221 6225 6095 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 827915127 13960310784 32843 33554432000 1073741824 1073778376 140735123687120 18446744073709551615 218382773145 0 4 0 16800975 18446604440857335808 0 0 -1 2 0 0 0
[pid=6225/tid=6247] ppid=6221 vsize=13633116 CPUtime=0.03 cores=0,2,4,6
/proc/6225/task/6247/stat : 6247 (java) S 6221 6225 6095 0 -1 4202560 1565 0 0 0 3 0 0 0 15 0 19 0 827915128 13960310784 32843 33554432000 1073741824 1073778376 140735123687120 18446744073709551615 218382773760 0 0 0 16800975 18446604440857335808 0 0 -1 6 0 0 0
[pid=6225/tid=6250] ppid=6221 vsize=13633116 CPUtime=0 cores=0,2,4,6
/proc/6225/task/6250/stat : 6250 (java) S 6221 6225 6095 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827915129 13960310784 32843 33554432000 1073741824 1073778376 140735123687120 18446744073709551615 218382773145 0 4 0 16800975 18446604440857335808 0 0 -1 6 0 0 0
[pid=6225/tid=6251] ppid=6221 vsize=13633116 CPUtime=0 cores=0,2,4,6
/proc/6225/task/6251/stat : 6251 (java) S 6221 6225 6095 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827915129 13960310784 32843 33554432000 1073741824 1073778376 140735123687120 18446744073709551615 218382773145 0 4 0 16800975 18446604440857335808 0 0 -1 6 0 0 0
[pid=6225/tid=6252] ppid=6221 vsize=13633116 CPUtime=0 cores=0,2,4,6
/proc/6225/task/6252/stat : 6252 (java) S 6221 6225 6095 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 827915131 13960310784 32843 33554432000 1073741824 1073778376 140735123687120 18446744073709551615 218382780849 0 4 0 16800975 18446604440857335808 0 0 -1 6 0 0 0
[pid=6225/tid=6253] ppid=6221 vsize=13633116 CPUtime=0.56 cores=0,2,4,6
/proc/6225/task/6253/stat : 6253 (java) S 6221 6225 6095 0 -1 4202560 3586 0 0 0 56 0 0 0 15 0 19 0 827915131 13960310784 32843 33554432000 1073741824 1073778376 140735123687120 18446744073709551615 218382773145 0 4 0 16800975 18446604440857335808 0 0 -1 0 0 0 0
[pid=6225/tid=6256] ppid=6221 vsize=13633116 CPUtime=0.59 cores=0,2,4,6
/proc/6225/task/6256/stat : 6256 (java) S 6221 6225 6095 0 -1 4202560 4300 0 0 0 59 0 0 0 15 0 19 0 827915131 13960310784 32843 33554432000 1073741824 1073778376 140735123687120 18446744073709551615 218382773145 0 4 0 16800975 18446604440857335808 0 0 -1 2 0 0 0

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

[pid=6225/tid=6243] ppid=6221 vsize=13633116 CPUtime=0.14 cores=0,2,4,6
/proc/6225/task/6243/stat : 6243 (java) S 6221 6225 6095 0 -1 4202560 722 0 0 0 14 0 0 0 15 0 19 0 827915127 13960310784 37674 33554432000 1073741824 1073778376 140735123687120 18446744073709551615 218382773145 0 4 0 16800975 18446604440857335808 0 0 -1 6 0 0 0
[pid=6225/tid=6244] ppid=6221 vsize=13633116 CPUtime=0.13 cores=0,2,4,6
/proc/6225/task/6244/stat : 6244 (java) S 6221 6225 6095 0 -1 4202560 56 0 0 0 13 0 0 0 15 0 19 0 827915127 13960310784 37674 33554432000 1073741824 1073778376 140735123687120 18446744073709551615 218382773145 0 4 0 16800975 18446604440857335808 0 0 -1 2 0 0 0
[pid=6225/tid=6245] ppid=6221 vsize=13633116 CPUtime=0.13 cores=0,2,4,6
/proc/6225/task/6245/stat : 6245 (java) S 6221 6225 6095 0 -1 4202560 277 0 0 0 13 0 0 0 16 0 19 0 827915127 13960310784 37674 33554432000 1073741824 1073778376 140735123687120 18446744073709551615 218382773145 0 4 0 16800975 18446604440857335808 0 0 -1 2 0 0 0
[pid=6225/tid=6247] ppid=6221 vsize=13633116 CPUtime=8.85 cores=0,2,4,6
/proc/6225/task/6247/stat : 6247 (java) S 6221 6225 6095 0 -1 4202560 4358 0 0 0 882 3 0 0 16 0 19 0 827915128 13960310784 37674 33554432000 1073741824 1073778376 140735123687120 18446744073709551615 218382773760 0 0 0 16800975 18446604440857335808 0 0 -1 4 0 0 0
[pid=6225/tid=6250] ppid=6221 vsize=13633116 CPUtime=0 cores=0,2,4,6
/proc/6225/task/6250/stat : 6250 (java) S 6221 6225 6095 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827915129 13960310784 37674 33554432000 1073741824 1073778376 140735123687120 18446744073709551615 218382773145 0 4 0 16800975 18446604440857335808 0 0 -1 6 0 0 0
[pid=6225/tid=6251] ppid=6221 vsize=13633116 CPUtime=0 cores=0,2,4,6
/proc/6225/task/6251/stat : 6251 (java) S 6221 6225 6095 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827915129 13960310784 37674 33554432000 1073741824 1073778376 140735123687120 18446744073709551615 218382773145 0 4 0 16800975 18446604440857335808 0 0 -1 6 0 0 0
[pid=6225/tid=6252] ppid=6221 vsize=13633116 CPUtime=0 cores=0,2,4,6
/proc/6225/task/6252/stat : 6252 (java) S 6221 6225 6095 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 827915131 13960310784 37674 33554432000 1073741824 1073778376 140735123687120 18446744073709551615 218382780849 0 4 0 16800975 18446604440857335808 0 0 -1 6 0 0 0
[pid=6225/tid=6253] ppid=6221 vsize=13633116 CPUtime=0.62 cores=0,2,4,6
/proc/6225/task/6253/stat : 6253 (java) S 6221 6225 6095 0 -1 4202560 3599 0 0 0 62 0 0 0 15 0 19 0 827915131 13960310784 37674 33554432000 1073741824 1073778376 140735123687120 18446744073709551615 218382773145 0 4 0 16800975 18446604440857335808 0 0 -1 0 0 0 0
[pid=6225/tid=6256] ppid=6221 vsize=13633116 CPUtime=0.6 cores=0,2,4,6
/proc/6225/task/6256/stat : 6256 (java) S 6221 6225 6095 0 -1 4202560 4301 0 0 0 60 0 0 0 15 0 19 0 827915131 13960310784 37674 33554432000 1073741824 1073778376 140735123687120 18446744073709551615 218382773145 0 4 0 16800975 18446604440857335808 0 0 -1 2 0 0 0
[pid=6225/tid=6257] ppid=6221 vsize=13633116 CPUtime=0 cores=0,2,4,6
/proc/6225/task/6257/stat : 6257 (java) S 6221 6225 6095 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 827915131 13960310784 37674 33554432000 1073741824 1073778376 140735123687120 18446744073709551615 218382773145 0 4 0 16800975 18446604440857335808 0 0 -1 6 0 0 0
[pid=6225/tid=6260] ppid=6221 vsize=13633116 CPUtime=0 cores=0,2,4,6
/proc/6225/task/6260/stat : 6260 (java) S 6221 6225 6095 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 827915131 13960310784 37674 33554432000 1073741824 1073778376 140735123687120 18446744073709551615 218382773760 0 4 0 16800975 18446604440857335808 0 0 -1 0 0 0 0
[pid=6225/tid=6263] ppid=6221 vsize=13633116 CPUtime=0 cores=0,2,4,6
/proc/6225/task/6263/stat : 6263 (java) S 6221 6225 6095 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827915180 13960310784 37674 33554432000 1073741824 1073778376 140735123687120 18446744073709551615 218382773760 0 4 0 16800975 18446604440857335808 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1724.09
Current children cumulated vsize (KiB) 13633116

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.87 3/423 6322
/proc/meminfo: memFree=23474168/32951124 swapFree=49244120/67111528
[pid=6225] ppid=6221 vsize=13633116 CPUtime=1784.12 cores=0,2,4,6
/proc/6225/stat : 6225 (java) S 6221 6225 6095 0 -1 4202496 41406 0 1 0 178403 9 0 0 25 0 19 0 827915125 13960310784 37689 33554432000 1073741824 1073778376 140735123687120 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/6225/statm: 3408279 37689 2271 9 0 3399013 0
[pid=6225/tid=6227] ppid=6221 vsize=13633116 CPUtime=1772.44 cores=0,2,4,6
/proc/6225/task/6227/stat : 6227 (java) R 6221 6225 6095 0 -1 4202560 24182 0 1 0 177241 3 0 0 25 0 19 0 827915125 13960310784 37689 33554432000 1073741824 1073778376 140735123687120 18446744073709551615 46912505706200 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=6225/tid=6237] ppid=6221 vsize=13633116 CPUtime=0.13 cores=0,2,4,6
/proc/6225/task/6237/stat : 6237 (java) S 6221 6225 6095 0 -1 4202560 902 0 0 0 13 0 0 0 15 0 19 0 827915127 13960310784 37689 33554432000 1073741824 1073778376 140735123687120 18446744073709551615 218382773145 0 4 0 16800975 18446604440857335808 0 0 -1 6 0 0 0
[pid=6225/tid=6239] ppid=6221 vsize=13633116 CPUtime=0.11 cores=0,2,4,6
/proc/6225/task/6239/stat : 6239 (java) S 6221 6225 6095 0 -1 4202560 569 0 0 0 11 0 0 0 15 0 19 0 827915127 13960310784 37689 33554432000 1073741824 1073778376 140735123687120 18446744073709551615 218382773145 0 4 0 16800975 18446604440857335808 0 0 -1 0 0 0 0
[pid=6225/tid=6240] ppid=6221 vsize=13633116 CPUtime=0.12 cores=0,2,4,6
/proc/6225/task/6240/stat : 6240 (java) S 6221 6225 6095 0 -1 4202560 1071 0 0 0 12 0 0 0 15 0 19 0 827915127 13960310784 37689 33554432000 1073741824 1073778376 140735123687120 18446744073709551615 218382773145 0 4 0 16800975 18446604440857335808 0 0 -1 0 0 0 0
[pid=6225/tid=6241] ppid=6221 vsize=13633116 CPUtime=0.13 cores=0,2,4,6
/proc/6225/task/6241/stat : 6241 (java) S 6221 6225 6095 0 -1 4202560 55 0 0 0 13 0 0 0 16 0 19 0 827915127 13960310784 37689 33554432000 1073741824 1073778376 140735123687120 18446744073709551615 218382773145 0 4 0 16800975 18446604440857335808 0 0 -1 2 0 0 0
[pid=6225/tid=6242] ppid=6221 vsize=13633116 CPUtime=0.12 cores=0,2,4,6
/proc/6225/task/6242/stat : 6242 (java) S 6221 6225 6095 0 -1 4202560 45 0 0 0 12 0 0 0 15 0 19 0 827915127 13960310784 37689 33554432000 1073741824 1073778376 140735123687120 18446744073709551615 218382773145 0 4 0 16800975 18446604440857335808 0 0 -1 6 0 0 0
[pid=6225/tid=6243] ppid=6221 vsize=13633116 CPUtime=0.14 cores=0,2,4,6
/proc/6225/task/6243/stat : 6243 (java) S 6221 6225 6095 0 -1 4202560 722 0 0 0 14 0 0 0 15 0 19 0 827915127 13960310784 37689 33554432000 1073741824 1073778376 140735123687120 18446744073709551615 218382773145 0 4 0 16800975 18446604440857335808 0 0 -1 6 0 0 0
[pid=6225/tid=6244] ppid=6221 vsize=13633116 CPUtime=0.14 cores=0,2,4,6
/proc/6225/task/6244/stat : 6244 (java) S 6221 6225 6095 0 -1 4202560 56 0 0 0 14 0 0 0 15 0 19 0 827915127 13960310784 37689 33554432000 1073741824 1073778376 140735123687120 18446744073709551615 218382773145 0 4 0 16800975 18446604440857335808 0 0 -1 6 0 0 0
[pid=6225/tid=6245] ppid=6221 vsize=13633116 CPUtime=0.13 cores=0,2,4,6
/proc/6225/task/6245/stat : 6245 (java) S 6221 6225 6095 0 -1 4202560 277 0 0 0 13 0 0 0 15 0 19 0 827915127 13960310784 37689 33554432000 1073741824 1073778376 140735123687120 18446744073709551615 218382773145 0 4 0 16800975 18446604440857335808 0 0 -1 6 0 0 0
[pid=6225/tid=6247] ppid=6221 vsize=13633116 CPUtime=9.34 cores=0,2,4,6
/proc/6225/task/6247/stat : 6247 (java) S 6221 6225 6095 0 -1 4202560 4375 0 0 0 931 3 0 0 15 0 19 0 827915128 13960310784 37689 33554432000 1073741824 1073778376 140735123687120 18446744073709551615 218382773760 0 0 0 16800975 18446604440857335808 0 0 -1 4 0 0 0
[pid=6225/tid=6250] ppid=6221 vsize=13633116 CPUtime=0 cores=0,2,4,6
/proc/6225/task/6250/stat : 6250 (java) S 6221 6225 6095 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827915129 13960310784 37689 33554432000 1073741824 1073778376 140735123687120 18446744073709551615 218382773145 0 4 0 16800975 18446604440857335808 0 0 -1 6 0 0 0
[pid=6225/tid=6251] ppid=6221 vsize=13633116 CPUtime=0 cores=0,2,4,6
/proc/6225/task/6251/stat : 6251 (java) S 6221 6225 6095 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827915129 13960310784 37689 33554432000 1073741824 1073778376 140735123687120 18446744073709551615 218382773145 0 4 0 16800975 18446604440857335808 0 0 -1 6 0 0 0
[pid=6225/tid=6252] ppid=6221 vsize=13633116 CPUtime=0 cores=0,2,4,6
/proc/6225/task/6252/stat : 6252 (java) S 6221 6225 6095 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 827915131 13960310784 37689 33554432000 1073741824 1073778376 140735123687120 18446744073709551615 218382780849 0 4 0 16800975 18446604440857335808 0 0 -1 6 0 0 0
[pid=6225/tid=6253] ppid=6221 vsize=13633116 CPUtime=0.62 cores=0,2,4,6
/proc/6225/task/6253/stat : 6253 (java) S 6221 6225 6095 0 -1 4202560 3599 0 0 0 62 0 0 0 15 0 19 0 827915131 13960310784 37689 33554432000 1073741824 1073778376 140735123687120 18446744073709551615 218382773145 0 4 0 16800975 18446604440857335808 0 0 -1 0 0 0 0
[pid=6225/tid=6256] ppid=6221 vsize=13633116 CPUtime=0.6 cores=0,2,4,6
/proc/6225/task/6256/stat : 6256 (java) S 6221 6225 6095 0 -1 4202560 4301 0 0 0 60 0 0 0 15 0 19 0 827915131 13960310784 37689 33554432000 1073741824 1073778376 140735123687120 18446744073709551615 218382773145 0 4 0 16800975 18446604440857335808 0 0 -1 2 0 0 0
[pid=6225/tid=6257] ppid=6221 vsize=13633116 CPUtime=0 cores=0,2,4,6
/proc/6225/task/6257/stat : 6257 (java) S 6221 6225 6095 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 827915131 13960310784 37689 33554432000 1073741824 1073778376 140735123687120 18446744073709551615 218382773145 0 4 0 16800975 18446604440857335808 0 0 -1 6 0 0 0
[pid=6225/tid=6260] ppid=6221 vsize=13633116 CPUtime=0 cores=0,2,4,6
/proc/6225/task/6260/stat : 6260 (java) S 6221 6225 6095 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 827915131 13960310784 37689 33554432000 1073741824 1073778376 140735123687120 18446744073709551615 218382773760 0 4 0 16800975 18446604440857335808 0 0 -1 0 0 0 0
[pid=6225/tid=6263] ppid=6221 vsize=13633116 CPUtime=0 cores=0,2,4,6
/proc/6225/task/6263/stat : 6263 (java) S 6221 6225 6095 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827915180 13960310784 37689 33554432000 1073741824 1073778376 140735123687120 18446744073709551615 218382773760 0 4 0 16800975 18446604440857335808 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1784.12
Current children cumulated vsize (KiB) 13633116



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1798.2 s]
/proc/loadavg: 2.00 2.01 1.87 3/423 6322
/proc/meminfo: memFree=23474028/32951124 swapFree=49244120/67111528
[pid=6225] ppid=6221 vsize=13633116 CPUtime=1800.04 cores=0,2,4,6
/proc/6225/stat : 6225 (java) S 6221 6225 6095 0 -1 4202496 41434 0 1 0 179995 9 0 0 25 0 19 0 827915125 13960310784 37708 33554432000 1073741824 1073778376 140735123687120 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/6225/statm: 3408279 37708 2271 9 0 3399013 0
[pid=6225/tid=6227] ppid=6221 vsize=13633116 CPUtime=1788.18 cores=0,2,4,6
/proc/6225/task/6227/stat : 6227 (java) R 6221 6225 6095 0 -1 4202560 24187 0 1 0 178815 3 0 0 25 0 19 0 827915125 13960310784 37708 33554432000 1073741824 1073778376 140735123687120 18446744073709551615 46912505807920 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=6225/tid=6237] ppid=6221 vsize=13633116 CPUtime=0.14 cores=0,2,4,6
/proc/6225/task/6237/stat : 6237 (java) S 6221 6225 6095 0 -1 4202560 902 0 0 0 14 0 0 0 15 0 19 0 827915127 13960310784 37708 33554432000 1073741824 1073778376 140735123687120 18446744073709551615 218382773145 0 4 0 16800975 18446604440857335808 0 0 -1 6 0 0 0
[pid=6225/tid=6239] ppid=6221 vsize=13633116 CPUtime=0.12 cores=0,2,4,6
/proc/6225/task/6239/stat : 6239 (java) S 6221 6225 6095 0 -1 4202560 580 0 0 0 12 0 0 0 15 0 19 0 827915127 13960310784 37708 33554432000 1073741824 1073778376 140735123687120 18446744073709551615 218382773145 0 4 0 16800975 18446604440857335808 0 0 -1 0 0 0 0
[pid=6225/tid=6240] ppid=6221 vsize=13633116 CPUtime=0.12 cores=0,2,4,6
/proc/6225/task/6240/stat : 6240 (java) S 6221 6225 6095 0 -1 4202560 1071 0 0 0 12 0 0 0 15 0 19 0 827915127 13960310784 37708 33554432000 1073741824 1073778376 140735123687120 18446744073709551615 218382773145 0 4 0 16800975 18446604440857335808 0 0 -1 0 0 0 0
[pid=6225/tid=6241] ppid=6221 vsize=13633116 CPUtime=0.14 cores=0,2,4,6
/proc/6225/task/6241/stat : 6241 (java) S 6221 6225 6095 0 -1 4202560 58 0 0 0 14 0 0 0 15 0 19 0 827915127 13960310784 37708 33554432000 1073741824 1073778376 140735123687120 18446744073709551615 218382773145 0 4 0 16800975 18446604440857335808 0 0 -1 2 0 0 0
[pid=6225/tid=6242] ppid=6221 vsize=13633116 CPUtime=0.12 cores=0,2,4,6
/proc/6225/task/6242/stat : 6242 (java) S 6221 6225 6095 0 -1 4202560 45 0 0 0 12 0 0 0 15 0 19 0 827915127 13960310784 37708 33554432000 1073741824 1073778376 140735123687120 18446744073709551615 218382773145 0 4 0 16800975 18446604440857335808 0 0 -1 6 0 0 0
[pid=6225/tid=6243] ppid=6221 vsize=13633116 CPUtime=0.14 cores=0,2,4,6
/proc/6225/task/6243/stat : 6243 (java) S 6221 6225 6095 0 -1 4202560 722 0 0 0 14 0 0 0 15 0 19 0 827915127 13960310784 37708 33554432000 1073741824 1073778376 140735123687120 18446744073709551615 218382773145 0 4 0 16800975 18446604440857335808 0 0 -1 6 0 0 0
[pid=6225/tid=6244] ppid=6221 vsize=13633116 CPUtime=0.14 cores=0,2,4,6
/proc/6225/task/6244/stat : 6244 (java) S 6221 6225 6095 0 -1 4202560 56 0 0 0 14 0 0 0 15 0 19 0 827915127 13960310784 37708 33554432000 1073741824 1073778376 140735123687120 18446744073709551615 218382773145 0 4 0 16800975 18446604440857335808 0 0 -1 6 0 0 0
[pid=6225/tid=6245] ppid=6221 vsize=13633116 CPUtime=0.14 cores=0,2,4,6
/proc/6225/task/6245/stat : 6245 (java) S 6221 6225 6095 0 -1 4202560 277 0 0 0 14 0 0 0 16 0 19 0 827915127 13960310784 37708 33554432000 1073741824 1073778376 140735123687120 18446744073709551615 218382773145 0 4 0 16800975 18446604440857335808 0 0 -1 6 0 0 0
[pid=6225/tid=6247] ppid=6221 vsize=13633116 CPUtime=9.51 cores=0,2,4,6
/proc/6225/task/6247/stat : 6247 (java) S 6221 6225 6095 0 -1 4202560 4382 0 0 0 948 3 0 0 16 0 19 0 827915128 13960310784 37708 33554432000 1073741824 1073778376 140735123687120 18446744073709551615 218382773760 0 0 0 16800975 18446604440857335808 0 0 -1 4 0 0 0
[pid=6225/tid=6250] ppid=6221 vsize=13633116 CPUtime=0 cores=0,2,4,6
/proc/6225/task/6250/stat : 6250 (java) S 6221 6225 6095 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827915129 13960310784 37708 33554432000 1073741824 1073778376 140735123687120 18446744073709551615 218382773145 0 4 0 16800975 18446604440857335808 0 0 -1 6 0 0 0
[pid=6225/tid=6251] ppid=6221 vsize=13633116 CPUtime=0 cores=0,2,4,6
/proc/6225/task/6251/stat : 6251 (java) S 6221 6225 6095 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827915129 13960310784 37708 33554432000 1073741824 1073778376 140735123687120 18446744073709551615 218382773145 0 4 0 16800975 18446604440857335808 0 0 -1 6 0 0 0
[pid=6225/tid=6252] ppid=6221 vsize=13633116 CPUtime=0 cores=0,2,4,6
/proc/6225/task/6252/stat : 6252 (java) S 6221 6225 6095 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 827915131 13960310784 37708 33554432000 1073741824 1073778376 140735123687120 18446744073709551615 218382780849 0 4 0 16800975 18446604440857335808 0 0 -1 6 0 0 0
[pid=6225/tid=6253] ppid=6221 vsize=13633116 CPUtime=0.62 cores=0,2,4,6
/proc/6225/task/6253/stat : 6253 (java) S 6221 6225 6095 0 -1 4202560 3599 0 0 0 62 0 0 0 15 0 19 0 827915131 13960310784 37708 33554432000 1073741824 1073778376 140735123687120 18446744073709551615 218382773145 0 4 0 16800975 18446604440857335808 0 0 -1 0 0 0 0
[pid=6225/tid=6256] ppid=6221 vsize=13633116 CPUtime=0.6 cores=0,2,4,6
/proc/6225/task/6256/stat : 6256 (java) S 6221 6225 6095 0 -1 4202560 4301 0 0 0 60 0 0 0 15 0 19 0 827915131 13960310784 37708 33554432000 1073741824 1073778376 140735123687120 18446744073709551615 218382773145 0 4 0 16800975 18446604440857335808 0 0 -1 2 0 0 0
[pid=6225/tid=6257] ppid=6221 vsize=13633116 CPUtime=0 cores=0,2,4,6
/proc/6225/task/6257/stat : 6257 (java) S 6221 6225 6095 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 827915131 13960310784 37708 33554432000 1073741824 1073778376 140735123687120 18446744073709551615 218382773145 0 4 0 16800975 18446604440857335808 0 0 -1 6 0 0 0
[pid=6225/tid=6260] ppid=6221 vsize=13633116 CPUtime=0 cores=0,2,4,6
/proc/6225/task/6260/stat : 6260 (java) S 6221 6225 6095 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 827915131 13960310784 37708 33554432000 1073741824 1073778376 140735123687120 18446744073709551615 218382773760 0 4 0 16800975 18446604440857335808 0 0 -1 0 0 0 0
[pid=6225/tid=6263] ppid=6221 vsize=13633116 CPUtime=0 cores=0,2,4,6
/proc/6225/task/6263/stat : 6263 (java) S 6221 6225 6095 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827915180 13960310784 37708 33554432000 1073741824 1073778376 140735123687120 18446744073709551615 218382773760 0 4 0 16800975 18446604440857335808 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 13633116

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

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

[startup+1798.2 s]
/proc/loadavg: 2.00 2.01 1.87 3/423 6322
/proc/meminfo: memFree=23474028/32951124 swapFree=49244120/67111528
[pid=6225] ppid=6221 vsize=13633116 CPUtime=1800.04 cores=0,2,4,6
/proc/6225/stat : 6225 (java) S 6221 6225 6095 0 -1 4202496 41434 0 1 0 179995 9 0 0 25 0 19 0 827915125 13960310784 37708 33554432000 1073741824 1073778376 140735123687120 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/6225/statm: 3408279 37708 2271 9 0 3399013 0
[pid=6225/tid=6227] ppid=6221 vsize=13633116 CPUtime=1788.18 cores=0,2,4,6
/proc/6225/task/6227/stat : 6227 (java) R 6221 6225 6095 0 -1 4202560 24187 0 1 0 178815 3 0 0 25 0 19 0 827915125 13960310784 37708 33554432000 1073741824 1073778376 140735123687120 18446744073709551615 46912505807920 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=6225/tid=6237] ppid=6221 vsize=13633116 CPUtime=0.14 cores=0,2,4,6
/proc/6225/task/6237/stat : 6237 (java) S 6221 6225 6095 0 -1 4202560 902 0 0 0 14 0 0 0 15 0 19 0 827915127 13960310784 37708 33554432000 1073741824 1073778376 140735123687120 18446744073709551615 218382773145 0 4 0 16800975 18446604440857335808 0 0 -1 6 0 0 0
[pid=6225/tid=6239] ppid=6221 vsize=13633116 CPUtime=0.12 cores=0,2,4,6
/proc/6225/task/6239/stat : 6239 (java) S 6221 6225 6095 0 -1 4202560 580 0 0 0 12 0 0 0 15 0 19 0 827915127 13960310784 37708 33554432000 1073741824 1073778376 140735123687120 18446744073709551615 218382773145 0 4 0 16800975 18446604440857335808 0 0 -1 0 0 0 0
[pid=6225/tid=6240] ppid=6221 vsize=13633116 CPUtime=0.12 cores=0,2,4,6
/proc/6225/task/6240/stat : 6240 (java) S 6221 6225 6095 0 -1 4202560 1071 0 0 0 12 0 0 0 15 0 19 0 827915127 13960310784 37708 33554432000 1073741824 1073778376 140735123687120 18446744073709551615 218382773145 0 4 0 16800975 18446604440857335808 0 0 -1 0 0 0 0
[pid=6225/tid=6241] ppid=6221 vsize=13633116 CPUtime=0.14 cores=0,2,4,6
/proc/6225/task/6241/stat : 6241 (java) S 6221 6225 6095 0 -1 4202560 58 0 0 0 14 0 0 0 15 0 19 0 827915127 13960310784 37708 33554432000 1073741824 1073778376 140735123687120 18446744073709551615 218382773145 0 4 0 16800975 18446604440857335808 0 0 -1 2 0 0 0
[pid=6225/tid=6242] ppid=6221 vsize=13633116 CPUtime=0.12 cores=0,2,4,6
/proc/6225/task/6242/stat : 6242 (java) S 6221 6225 6095 0 -1 4202560 45 0 0 0 12 0 0 0 15 0 19 0 827915127 13960310784 37708 33554432000 1073741824 1073778376 140735123687120 18446744073709551615 218382773145 0 4 0 16800975 18446604440857335808 0 0 -1 6 0 0 0
[pid=6225/tid=6243] ppid=6221 vsize=13633116 CPUtime=0.14 cores=0,2,4,6
/proc/6225/task/6243/stat : 6243 (java) S 6221 6225 6095 0 -1 4202560 722 0 0 0 14 0 0 0 15 0 19 0 827915127 13960310784 37708 33554432000 1073741824 1073778376 140735123687120 18446744073709551615 218382773145 0 4 0 16800975 18446604440857335808 0 0 -1 6 0 0 0
[pid=6225/tid=6244] ppid=6221 vsize=13633116 CPUtime=0.14 cores=0,2,4,6
/proc/6225/task/6244/stat : 6244 (java) S 6221 6225 6095 0 -1 4202560 56 0 0 0 14 0 0 0 15 0 19 0 827915127 13960310784 37708 33554432000 1073741824 1073778376 140735123687120 18446744073709551615 218382773145 0 4 0 16800975 18446604440857335808 0 0 -1 6 0 0 0
[pid=6225/tid=6245] ppid=6221 vsize=13633116 CPUtime=0.14 cores=0,2,4,6
/proc/6225/task/6245/stat : 6245 (java) S 6221 6225 6095 0 -1 4202560 277 0 0 0 14 0 0 0 16 0 19 0 827915127 13960310784 37708 33554432000 1073741824 1073778376 140735123687120 18446744073709551615 218382773145 0 4 0 16800975 18446604440857335808 0 0 -1 6 0 0 0
[pid=6225/tid=6247] ppid=6221 vsize=13633116 CPUtime=9.51 cores=0,2,4,6
/proc/6225/task/6247/stat : 6247 (java) S 6221 6225 6095 0 -1 4202560 4382 0 0 0 948 3 0 0 16 0 19 0 827915128 13960310784 37708 33554432000 1073741824 1073778376 140735123687120 18446744073709551615 218382773760 0 0 0 16800975 18446604440857335808 0 0 -1 4 0 0 0
[pid=6225/tid=6250] ppid=6221 vsize=13633116 CPUtime=0 cores=0,2,4,6
/proc/6225/task/6250/stat : 6250 (java) S 6221 6225 6095 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827915129 13960310784 37708 33554432000 1073741824 1073778376 140735123687120 18446744073709551615 218382773145 0 4 0 16800975 18446604440857335808 0 0 -1 6 0 0 0
[pid=6225/tid=6251] ppid=6221 vsize=13633116 CPUtime=0 cores=0,2,4,6
/proc/6225/task/6251/stat : 6251 (java) S 6221 6225 6095 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827915129 13960310784 37708 33554432000 1073741824 1073778376 140735123687120 18446744073709551615 218382773145 0 4 0 16800975 18446604440857335808 0 0 -1 6 0 0 0
[pid=6225/tid=6252] ppid=6221 vsize=13633116 CPUtime=0 cores=0,2,4,6
/proc/6225/task/6252/stat : 6252 (java) S 6221 6225 6095 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 827915131 13960310784 37708 33554432000 1073741824 1073778376 140735123687120 18446744073709551615 218382780849 0 4 0 16800975 18446604440857335808 0 0 -1 6 0 0 0
[pid=6225/tid=6253] ppid=6221 vsize=13633116 CPUtime=0.62 cores=0,2,4,6
/proc/6225/task/6253/stat : 6253 (java) S 6221 6225 6095 0 -1 4202560 3599 0 0 0 62 0 0 0 15 0 19 0 827915131 13960310784 37708 33554432000 1073741824 1073778376 140735123687120 18446744073709551615 218382773145 0 4 0 16800975 18446604440857335808 0 0 -1 0 0 0 0
[pid=6225/tid=6256] ppid=6221 vsize=13633116 CPUtime=0.6 cores=0,2,4,6
/proc/6225/task/6256/stat : 6256 (java) S 6221 6225 6095 0 -1 4202560 4301 0 0 0 60 0 0 0 15 0 19 0 827915131 13960310784 37708 33554432000 1073741824 1073778376 140735123687120 18446744073709551615 218382773145 0 4 0 16800975 18446604440857335808 0 0 -1 2 0 0 0
[pid=6225/tid=6257] ppid=6221 vsize=13633116 CPUtime=0 cores=0,2,4,6
/proc/6225/task/6257/stat : 6257 (java) S 6221 6225 6095 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 827915131 13960310784 37708 33554432000 1073741824 1073778376 140735123687120 18446744073709551615 218382773145 0 4 0 16800975 18446604440857335808 0 0 -1 6 0 0 0
[pid=6225/tid=6260] ppid=6221 vsize=13633116 CPUtime=0 cores=0,2,4,6
/proc/6225/task/6260/stat : 6260 (java) S 6221 6225 6095 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 827915131 13960310784 37708 33554432000 1073741824 1073778376 140735123687120 18446744073709551615 218382773760 0 4 0 16800975 18446604440857335808 0 0 -1 0 0 0 0
[pid=6225/tid=6263] ppid=6221 vsize=13633116 CPUtime=0 cores=0,2,4,6
/proc/6225/task/6263/stat : 6263 (java) S 6221 6225 6095 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827915180 13960310784 37708 33554432000 1073741824 1073778376 140735123687120 18446744073709551615 218382773760 0 4 0 16800975 18446604440857335808 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 13633116

Child status: 143
Real time (s): 1798.26
CPU time (s): 1800.11
CPU user time (s): 1800
CPU system time (s): 0.106983
CPU usage (%): 100.103
Max. virtual memory (cumulated for all children) (KiB): 13633116

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800
system time used= 0.106983
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 41492
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= 45062
involuntary context switches= 8837

runsolver used 7.61984 second user time and 15.1777 second system time

The end

Launcher Data 

Begin job on node101 at 2011-06-04 06:52:04
IDJOB=3458462
IDBENCH=48282
IDSOLVER=1952
FILE ID=node101/3458462-1307163124
RUNJOBID= node101-1307163123-6113
PBS_JOBID= 13508816
Free space on /tmp= 74008 MiB

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

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

MD5SUM BENCH= f7dd1b6b0a4946caf4c26a82905ed8fe
RANDOM SEED=213006662

node101.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.841
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.68
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.841
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	: 5226.07
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.841
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.77
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.841
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.83
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.841
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.74
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.841
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.841
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.75
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.841
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:     32951124 kB
MemFree:      23735204 kB
Buffers:        277724 kB
Cached:         520968 kB
SwapCached:      27120 kB
Active:        8472248 kB
Inactive:       463156 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      23735204 kB
SwapTotal:    67111528 kB
SwapFree:     49244120 kB
Dirty:             560 kB
Writeback:          40 kB
AnonPages:     8131680 kB
Mapped:          17332 kB
Slab:           136304 kB
PageTables:      74968 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 78586820 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= 74004 MiB
End job on node101 at 2011-06-04 07:22:04