Trace number 3741385

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
PB11: Sat4j Res//CP 2.3.0? (TO) 1800.77 926.352

General information on the benchmark

Name/OPT-SMALLINT-LIN/
heinz/normalized-ns894244.opb
MD5SUMcdfac8cd93d8a1de6ab1cef68bd1ac7c
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark16
Best CPU time to get the best result obtained on this benchmark1783.02
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables21856
Total number of constraints12129
Number of constraints which are clauses4095
Number of constraints which are cardinality constraints (but not clauses)338
Number of constraints which are nor clauses,nor cardinality constraints7696
Minimum length of a constraint1
Maximum length of a constraint211
Number of terms in the objective function 16
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 16
Number of bits of the sum of numbers in the objective function 5
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 211
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.07/0.10	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.07/0.10	c This is free software under the dual EPL/GNU LGPL licenses.
0.07/0.10	c See www.sat4j.org for details.
0.07/0.11	c version 2.3.1.v20110525
0.07/0.11	c java.runtime.name	Java(TM) SE Runtime Environment
0.07/0.11	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.07/0.11	c java.vm.version	19.1-b02
0.07/0.11	c java.vm.vendor	Sun Microsystems Inc.
0.07/0.11	c sun.arch.data.model	64
0.07/0.11	c java.version		1.6.0_24
0.07/0.11	c os.name		Linux
0.07/0.11	c os.version		2.6.32-71.29.1.el6.x86_64
0.07/0.11	c os.arch		amd64
0.07/0.11	c Free memory 		9996466904
0.07/0.11	c Max memory 		10048897024
0.07/0.11	c Total memory 		10048897024
0.07/0.11	c Number of processors 	8
0.07/0.13	c Pseudo Boolean Optimization
0.07/0.13	c ManyCore solver with 2 solvers running in parallel
0.07/0.13	c --- Begin Solver configuration ---
0.07/0.13	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@48e5855a
0.07/0.13	c Learn all clauses as in MiniSAT
0.07/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.07/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.07/0.13	c Expensive reason simplification
0.07/0.13	c Armin Biere (Picosat) restarts strategy
0.07/0.13	c Glucose learned constraints deletion strategy
0.07/0.13	c timeout=2147483s
0.07/0.13	c DB Simplification allowed=false
0.07/0.13	c --- End Solver configuration ---
0.07/0.13	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.07/0.13	c --- Begin Solver configuration ---
0.07/0.13	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@398020cc
0.07/0.13	c Learn all clauses as in MiniSAT
0.07/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.07/0.13	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.07/0.13	c No reason simplification
0.07/0.13	c Armin Biere (Picosat) restarts strategy
0.07/0.13	c Glucose learned constraints deletion strategy
0.07/0.13	c timeout=2147483s
0.07/0.13	c DB Simplification allowed=false
0.07/0.13	c --- End Solver configuration ---
0.07/0.13	c solving HOME/instance-3741385-1338753626.opb
0.07/0.13	c reading problem ... 
1.28/0.82	c ... done. Wall clock time 0.686s.
1.28/0.82	c #vars     21856
1.28/0.82	c #constraints  18781
1.28/0.82	c constraints type 
1.28/0.82	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3188
1.28/0.82	c org.sat4j.minisat.constraints.cnf.UnitClauses => 828
1.28/0.82	c org.sat4j.minisat.constraints.card.MinWatchCard => 6837
1.28/0.82	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 3094
1.28/0.82	c constraints type 
1.28/0.82	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 3094
1.28/0.82	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 3188
1.28/0.82	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 6837
1.28/0.82	c org.sat4j.pb.constraints.pb.UnitClausesPB => 828
4.05/1.60	c cleaning 2486 clauses out of 4999 with flag 5000/5000
5.32/2.29	c cleaning 4218 clauses out of 8515 with flag 11003/11003
6.91/3.03	c cleaning 5627 clauses out of 11293 with flag 18000/18000
9.70/4.42	c cleaning 6817 clauses out of 13664 with flag 26000/26000
11.68/5.49	c cleaning 7853 clauses out of 15845 with flag 35001/35001
14.04/6.67	c cleaning 8988 clauses out of 17990 with flag 45000/45000
17.00/8.11	c cleaning 9903 clauses out of 19999 with flag 56001/56001
20.37/9.83	c cleaning 11009 clauses out of 22093 with flag 68001/68001
24.28/11.88	c cleaning 11991 clauses out of 24083 with flag 81001/81001
28.62/14.05	c cleaning 12978 clauses out of 26091 with flag 95001/95001
32.77/16.11	c cleaning 13505 clauses out of 27110 with flag 109000/109000
37.13/18.38	c cleaning 13718 clauses out of 27604 with flag 123000/123000
41.06/20.37	c cleaning 13893 clauses out of 27884 with flag 137000/137000
47.39/23.51	c cleaning 13944 clauses out of 27991 with flag 151001/151001
50.13/24.93	c cleaning 13917 clauses out of 28045 with flag 165001/165001
53.66/26.73	c cleaning 14032 clauses out of 28128 with flag 179001/179001
62.99/31.48	c cleaning 13968 clauses out of 28093 with flag 193000/193000
68.51/34.22	c cleaning 14039 clauses out of 28126 with flag 207001/207001
72.23/36.15	c cleaning 14036 clauses out of 28088 with flag 221002/221002
82.96/41.53	c cleaning 13966 clauses out of 28047 with flag 235000/235000
87.25/43.76	c cleaning 14032 clauses out of 28082 with flag 249001/249001
91.98/46.19	c cleaning 13947 clauses out of 28047 with flag 263000/263000
97.69/49.05	c cleaning 13926 clauses out of 28102 with flag 277002/277002
101.62/51.07	c cleaning 13962 clauses out of 28174 with flag 291001/291001
106.32/53.43	c cleaning 13979 clauses out of 28210 with flag 305000/305000
111.65/56.11	c cleaning 14001 clauses out of 28231 with flag 319000/319000
115.36/58.06	c cleaning 14083 clauses out of 28231 with flag 333002/333002
121.28/61.08	c cleaning 13913 clauses out of 28147 with flag 347001/347001
126.16/63.50	c cleaning 14089 clauses out of 28234 with flag 361002/361002
130.08/65.50	c cleaning 13993 clauses out of 28144 with flag 375001/375001
136.00/68.54	c cleaning 14021 clauses out of 28151 with flag 389001/389001
143.36/72.23	c cleaning 13899 clauses out of 28130 with flag 403002/403002
149.03/75.20	c cleaning 14066 clauses out of 28229 with flag 417000/417000
153.35/77.30	c cleaning 13974 clauses out of 28163 with flag 431000/431000
157.25/79.36	c cleaning 14024 clauses out of 28189 with flag 445000/445000
161.76/81.69	c cleaning 14013 clauses out of 28166 with flag 459001/459001
166.03/83.81	c cleaning 14020 clauses out of 28150 with flag 473000/473000
170.15/85.95	c cleaning 13882 clauses out of 28130 with flag 487000/487000
175.06/88.49	c cleaning 14077 clauses out of 28250 with flag 501002/501002
179.55/90.76	c cleaning 14034 clauses out of 28171 with flag 515000/515000
183.82/92.93	c cleaning 13865 clauses out of 28137 with flag 529000/529000
189.71/95.92	c cleaning 14080 clauses out of 28271 with flag 543000/543000
198.61/100.43	c cleaning 14049 clauses out of 28193 with flag 557003/557003
207.36/104.86	c cleaning 13957 clauses out of 28140 with flag 571000/571000
211.62/107.06	c cleaning 14032 clauses out of 28183 with flag 585000/585000
214.72/108.61	c cleaning 13990 clauses out of 28149 with flag 599000/599000
219.84/111.23	c cleaning 13950 clauses out of 28160 with flag 613001/613001
226.35/114.53	c cleaning 13911 clauses out of 28209 with flag 627000/627000
230.00/116.42	c cleaning 14109 clauses out of 28298 with flag 641000/641000
233.90/118.40	c cleaning 14049 clauses out of 28189 with flag 655000/655000
237.80/120.48	c cleaning 14037 clauses out of 28140 with flag 669000/669000
241.30/122.25	c cleaning 13985 clauses out of 28105 with flag 683003/683003
245.76/124.52	c cleaning 13955 clauses out of 28119 with flag 697002/697002
253.87/128.66	c cleaning 13965 clauses out of 28163 with flag 711001/711001
257.96/130.76	c cleaning 13960 clauses out of 28197 with flag 725000/725000
262.47/133.05	c cleaning 13909 clauses out of 28239 with flag 739002/739002
266.12/134.96	c cleaning 14053 clauses out of 28328 with flag 753000/753000
269.42/136.61	c cleaning 14103 clauses out of 28275 with flag 767001/767001
273.13/138.56	c cleaning 13926 clauses out of 28171 with flag 781000/781000
278.22/141.13	c cleaning 14005 clauses out of 28245 with flag 795001/795001
283.46/143.84	c cleaning 14002 clauses out of 28240 with flag 809001/809001
288.17/146.28	c cleaning 13806 clauses out of 28239 with flag 823002/823002
294.87/149.64	c cleaning 14171 clauses out of 28432 with flag 837001/837001
300.96/152.77	c cleaning 14078 clauses out of 28261 with flag 851002/851002
309.23/156.92	c cleaning 14038 clauses out of 28183 with flag 865002/865002
317.32/161.07	c cleaning 14004 clauses out of 28143 with flag 879000/879000
321.81/163.37	c cleaning 13922 clauses out of 28139 with flag 893000/893000
327.92/166.49	c cleaning 13948 clauses out of 28218 with flag 907001/907001
333.35/169.28	c cleaning 13989 clauses out of 28271 with flag 921002/921002
339.84/172.52	c cleaning 13955 clauses out of 28280 with flag 935000/935000
346.34/175.85	c cleaning 14113 clauses out of 28327 with flag 949002/949002
352.62/179.03	c cleaning 13865 clauses out of 28211 with flag 963001/963001
365.06/185.37	c cleaning 14001 clauses out of 28345 with flag 977000/977000
375.32/190.50	c cleaning 14015 clauses out of 28345 with flag 991001/991001
382.23/194.03	c cleaning 13950 clauses out of 28330 with flag 1005001/1005001
386.90/196.50	c cleaning 13949 clauses out of 28386 with flag 1019007/1019007
394.89/200.53	c cleaning 14037 clauses out of 28430 with flag 1033000/1033000
400.17/203.25	c cleaning 13935 clauses out of 28395 with flag 1047002/1047002
404.46/205.47	c cleaning 14140 clauses out of 28458 with flag 1061000/1061000
409.14/207.81	c cleaning 14049 clauses out of 28318 with flag 1075001/1075001
412.92/209.82	c cleaning 14106 clauses out of 28268 with flag 1089000/1089000
417.19/212.07	c cleaning 13984 clauses out of 28163 with flag 1103002/1103002
421.46/214.29	c cleaning 14065 clauses out of 28177 with flag 1117000/1117000
430.12/218.68	c cleaning 13873 clauses out of 28112 with flag 1131000/1131000
437.31/222.34	c cleaning 14058 clauses out of 28240 with flag 1145001/1145001
440.57/224.04	c cleaning 13961 clauses out of 28179 with flag 1159000/1159000
448.02/227.86	c cleaning 14034 clauses out of 28218 with flag 1173000/1173000
456.87/232.32	c cleaning 13958 clauses out of 28185 with flag 1187001/1187001
465.45/236.76	c cleaning 13983 clauses out of 28229 with flag 1201003/1201003
473.70/240.94	c cleaning 13976 clauses out of 28245 with flag 1215003/1215003
489.18/248.78	c cleaning 13997 clauses out of 28266 with flag 1229000/1229000
494.07/251.21	c cleaning 13970 clauses out of 28269 with flag 1243000/1243000
503.64/256.15	c cleaning 13960 clauses out of 28299 with flag 1257000/1257000
516.91/262.81	c cleaning 14114 clauses out of 28340 with flag 1271001/1271001
522.12/265.58	c cleaning 14021 clauses out of 28224 with flag 1285000/1285000
526.35/267.73	c cleaning 14061 clauses out of 28204 with flag 1299001/1299001
531.90/270.68	c cleaning 13930 clauses out of 28143 with flag 1313001/1313001
539.52/274.57	c cleaning 13890 clauses out of 28212 with flag 1327000/1327000
545.96/277.81	c cleaning 14051 clauses out of 28323 with flag 1341001/1341001
552.79/281.33	c cleaning 14002 clauses out of 28274 with flag 1355003/1355003
557.93/284.06	c cleaning 14007 clauses out of 28269 with flag 1369000/1369000
561.35/285.89	c cleaning 14034 clauses out of 28262 with flag 1383001/1383001
564.98/287.77	c cleaning 14003 clauses out of 28228 with flag 1397001/1397001
569.23/289.93	c cleaning 14062 clauses out of 28225 with flag 1411001/1411001
586.76/298.83	c cleaning 13828 clauses out of 28165 with flag 1425003/1425003
600.45/305.72	c cleaning 13958 clauses out of 28334 with flag 1439000/1439000
614.26/312.78	c cleaning 13942 clauses out of 28379 with flag 1453003/1453003
621.08/316.29	c cleaning 14090 clauses out of 28436 with flag 1467002/1467002
627.01/319.32	c cleaning 13915 clauses out of 28344 with flag 1481000/1481000
644.46/328.18	c cleaning 14008 clauses out of 28431 with flag 1495002/1495002
660.31/336.12	c cleaning 14007 clauses out of 28421 with flag 1509000/1509000
677.17/344.67	c cleaning 13987 clauses out of 28414 with flag 1523000/1523000
684.52/348.42	c cleaning 14172 clauses out of 28428 with flag 1537001/1537001
688.14/350.35	c cleaning 14048 clauses out of 28254 with flag 1551000/1551000
692.17/352.42	c cleaning 14091 clauses out of 28207 with flag 1565001/1565001
698.20/355.54	c cleaning 13961 clauses out of 28116 with flag 1579001/1579001
703.93/358.60	c cleaning 13957 clauses out of 28153 with flag 1593000/1593000
709.12/361.22	c cleaning 13893 clauses out of 28196 with flag 1607000/1607000
717.13/365.33	c cleaning 14083 clauses out of 28303 with flag 1621000/1621000
721.35/367.53	c cleaning 14040 clauses out of 28222 with flag 1635002/1635002
726.27/370.16	c cleaning 14012 clauses out of 28180 with flag 1649000/1649000
731.70/372.96	c cleaning 13995 clauses out of 28168 with flag 1663000/1663000
737.30/375.85	c cleaning 13983 clauses out of 28174 with flag 1677002/1677002
741.30/377.99	c cleaning 13982 clauses out of 28189 with flag 1691000/1691000
745.19/380.00	c cleaning 13974 clauses out of 28207 with flag 1705000/1705000
749.22/382.17	c cleaning 14000 clauses out of 28234 with flag 1719001/1719001
754.23/384.78	c cleaning 14054 clauses out of 28233 with flag 1733000/1733000
765.25/390.32	c cleaning 14016 clauses out of 28182 with flag 1747003/1747003
777.56/396.69	c cleaning 14013 clauses out of 28163 with flag 1761000/1761000
787.77/401.86	c cleaning 14003 clauses out of 28150 with flag 1775000/1775000
797.59/406.80	c cleaning 14000 clauses out of 28149 with flag 1789002/1789002
808.42/412.35	c cleaning 13985 clauses out of 28147 with flag 1803000/1803000
820.11/418.32	c cleaning 14025 clauses out of 28165 with flag 1817003/1817003
828.50/422.68	c cleaning 13997 clauses out of 28138 with flag 1831001/1831001
833.70/425.35	c cleaning 13929 clauses out of 28142 with flag 1845004/1845004
842.91/430.01	c cleaning 13876 clauses out of 28209 with flag 1859000/1859000
855.35/436.48	c cleaning 13965 clauses out of 28334 with flag 1873001/1873001
870.97/444.34	c cleaning 13860 clauses out of 28371 with flag 1887003/1887003
890.53/454.22	c cleaning 13915 clauses out of 28508 with flag 1901000/1901000
900.90/459.56	c cleaning 14099 clauses out of 28597 with flag 1915004/1915004
909.50/464.05	c cleaning 14148 clauses out of 28494 with flag 1929000/1929000
916.05/467.41	c cleaning 14020 clauses out of 28346 with flag 1943000/1943000
921.97/470.55	c cleaning 13996 clauses out of 28326 with flag 1957000/1957000
927.71/473.55	c cleaning 14052 clauses out of 28332 with flag 1971002/1971002
934.49/477.20	c cleaning 13906 clauses out of 28279 with flag 1985001/1985001
938.02/479.01	c cleaning 14113 clauses out of 28372 with flag 1999000/1999000
944.77/482.52	c cleaning 13948 clauses out of 28260 with flag 2013001/2013001
949.73/485.19	c cleaning 14141 clauses out of 28312 with flag 2027002/2027002
954.11/487.50	c cleaning 13957 clauses out of 28169 with flag 2041000/2041000
962.88/492.01	c cleaning 13943 clauses out of 28215 with flag 2055003/2055003
972.87/497.15	c cleaning 13942 clauses out of 28270 with flag 2069001/2069001
987.60/504.61	c cleaning 13847 clauses out of 28327 with flag 2083000/2083000
1013.48/517.73	c cleaning 13898 clauses out of 28480 with flag 2097000/2097000
1025.83/524.02	c cleaning 13981 clauses out of 28584 with flag 2111002/2111002
1042.77/532.68	c cleaning 13985 clauses out of 28603 with flag 2125002/2125002
1052.37/537.50	c cleaning 14009 clauses out of 28617 with flag 2139001/2139001
1067.16/545.15	c cleaning 14043 clauses out of 28607 with flag 2153000/2153000
1079.10/551.25	c cleaning 13968 clauses out of 28564 with flag 2167000/2167000
1097.65/560.68	c cleaning 13944 clauses out of 28596 with flag 2181000/2181000
1114.38/569.10	c cleaning 14010 clauses out of 28653 with flag 2195001/2195001
1136.42/580.36	c cleaning 13987 clauses out of 28642 with flag 2209000/2209000
1147.99/586.27	c cleaning 14059 clauses out of 28655 with flag 2223000/2223000
1161.15/592.97	c cleaning 13995 clauses out of 28596 with flag 2237000/2237000
1169.90/597.44	c cleaning 14189 clauses out of 28601 with flag 2251000/2251000
1173.52/599.47	c cleaning 14138 clauses out of 28411 with flag 2265000/2265000
1177.87/601.71	c cleaning 14051 clauses out of 28272 with flag 2279001/2279001
1182.40/604.12	c cleaning 14051 clauses out of 28220 with flag 2293000/2293000
1186.53/606.35	c cleaning 13997 clauses out of 28169 with flag 2307000/2307000
1191.30/609.00	c cleaning 13933 clauses out of 28172 with flag 2321000/2321000
1198.86/612.88	c cleaning 14000 clauses out of 28240 with flag 2335001/2335001
1205.98/616.51	c cleaning 14031 clauses out of 28239 with flag 2349001/2349001
1212.72/620.06	c cleaning 13849 clauses out of 28207 with flag 2363000/2363000
1220.71/624.20	c cleaning 14076 clauses out of 28358 with flag 2377000/2377000
1228.65/628.32	c cleaning 14009 clauses out of 28281 with flag 2391000/2391000
1239.20/633.74	c cleaning 14019 clauses out of 28272 with flag 2405000/2405000
1242.95/635.71	c cleaning 14014 clauses out of 28252 with flag 2419000/2419000
1249.73/639.38	c cleaning 13990 clauses out of 28240 with flag 2433002/2433002
1258.47/643.87	c cleaning 14008 clauses out of 28248 with flag 2447000/2447000
1264.01/646.72	c cleaning 14057 clauses out of 28240 with flag 2461001/2461001
1268.71/649.29	c cleaning 14023 clauses out of 28182 with flag 2475000/2475000
1274.09/652.18	c cleaning 14007 clauses out of 28159 with flag 2489000/2489000
1279.00/654.78	c cleaning 14001 clauses out of 28152 with flag 2503000/2503000
1283.53/657.19	c cleaning 14006 clauses out of 28151 with flag 2517000/2517000
1290.67/660.81	c cleaning 14005 clauses out of 28144 with flag 2531000/2531000
1297.26/664.35	c cleaning 13873 clauses out of 28139 with flag 2545000/2545000
1308.22/669.94	c cleaning 13941 clauses out of 28266 with flag 2559000/2559000
1315.13/673.59	c cleaning 13961 clauses out of 28326 with flag 2573001/2573001
1324.07/678.14	c cleaning 14023 clauses out of 28365 with flag 2587001/2587001
1336.25/684.47	c cleaning 13984 clauses out of 28341 with flag 2601000/2601000
1343.01/687.90	c cleaning 13905 clauses out of 28358 with flag 2615001/2615001
1351.54/692.30	c cleaning 14164 clauses out of 28454 with flag 2629002/2629002
1357.46/695.43	c cleaning 14057 clauses out of 28288 with flag 2643001/2643001
1365.04/699.44	c cleaning 14016 clauses out of 28232 with flag 2657002/2657002
1372.36/703.23	c cleaning 14030 clauses out of 28215 with flag 2671001/2671001
1378.89/706.66	c cleaning 14003 clauses out of 28184 with flag 2685000/2685000
1386.63/710.66	c cleaning 14023 clauses out of 28184 with flag 2699003/2699003
1392.82/713.94	c cleaning 13994 clauses out of 28158 with flag 2713000/2713000
1401.73/718.54	c cleaning 13967 clauses out of 28164 with flag 2727000/2727000
1409.05/722.31	c cleaning 14004 clauses out of 28198 with flag 2741001/2741001
1416.38/726.17	c cleaning 13985 clauses out of 28193 with flag 2755000/2755000
1422.76/729.52	c cleaning 13995 clauses out of 28209 with flag 2769001/2769001
1428.68/732.66	c cleaning 13983 clauses out of 28213 with flag 2783000/2783000
1433.39/735.13	c cleaning 14014 clauses out of 28233 with flag 2797003/2797003
1437.91/737.58	c cleaning 13926 clauses out of 28216 with flag 2811000/2811000
1445.88/741.79	c cleaning 13972 clauses out of 28292 with flag 2825002/2825002
1451.20/744.50	c cleaning 13935 clauses out of 28318 with flag 2839000/2839000
1462.36/750.25	c cleaning 13939 clauses out of 28383 with flag 2853000/2853000
1468.49/753.42	c cleaning 14088 clauses out of 28444 with flag 2867000/2867000
1475.25/757.02	c cleaning 13997 clauses out of 28356 with flag 2881000/2881000
1481.18/760.19	c cleaning 13979 clauses out of 28359 with flag 2895000/2895000
1490.30/764.80	c cleaning 14116 clauses out of 28380 with flag 2909000/2909000
1498.63/769.14	c cleaning 14096 clauses out of 28264 with flag 2923000/2923000
1503.60/771.88	c cleaning 13983 clauses out of 28168 with flag 2937000/2937000
1510.12/775.29	c cleaning 13970 clauses out of 28184 with flag 2951000/2951000
1519.45/780.07	c cleaning 13981 clauses out of 28216 with flag 2965002/2965002
1528.18/784.53	c cleaning 14033 clauses out of 28235 with flag 2979002/2979002
1538.18/789.78	c cleaning 13993 clauses out of 28200 with flag 2993000/2993000
1548.12/794.80	c cleaning 14065 clauses out of 28207 with flag 3007000/3007000
1554.87/798.33	c cleaning 13894 clauses out of 28142 with flag 3021000/3021000
1560.21/801.13	c cleaning 14017 clauses out of 28248 with flag 3035000/3035000
1566.18/804.39	c cleaning 13992 clauses out of 28232 with flag 3049001/3049001
1571.92/807.39	c cleaning 14016 clauses out of 28240 with flag 3063001/3063001
1577.43/810.20	c cleaning 14004 clauses out of 28225 with flag 3077002/3077002
1583.37/813.35	c cleaning 13990 clauses out of 28219 with flag 3091000/3091000
1589.56/816.64	c cleaning 13991 clauses out of 28233 with flag 3105004/3105004
1598.87/821.42	c cleaning 13988 clauses out of 28238 with flag 3119000/3119000
1605.19/824.76	c cleaning 14010 clauses out of 28250 with flag 3133000/3133000
1611.52/828.01	c cleaning 14016 clauses out of 28240 with flag 3147000/3147000
1616.70/830.80	c cleaning 14049 clauses out of 28224 with flag 3161000/3161000
1623.24/834.24	c cleaning 14040 clauses out of 28175 with flag 3175000/3175000
1628.16/836.89	c cleaning 13965 clauses out of 28136 with flag 3189002/3189002
1633.88/839.89	c cleaning 13989 clauses out of 28170 with flag 3203001/3203001
1640.26/843.29	c cleaning 14024 clauses out of 28182 with flag 3217002/3217002
1645.58/846.06	c cleaning 14001 clauses out of 28156 with flag 3231000/3231000
1651.31/849.08	c cleaning 14007 clauses out of 28156 with flag 3245001/3245001
1657.03/852.05	c cleaning 13959 clauses out of 28148 with flag 3259000/3259000
1662.60/855.09	c cleaning 13978 clauses out of 28189 with flag 3273000/3273000
1670.12/858.93	c cleaning 13992 clauses out of 28211 with flag 3287000/3287000
1678.04/863.00	c cleaning 13949 clauses out of 28219 with flag 3301000/3301000
1686.54/867.47	c cleaning 13968 clauses out of 28270 with flag 3315000/3315000
1693.92/871.38	c cleaning 13968 clauses out of 28302 with flag 3329000/3329000
1702.44/875.74	c cleaning 14025 clauses out of 28334 with flag 3343000/3343000
1711.17/880.20	c cleaning 14025 clauses out of 28312 with flag 3357003/3357003
1719.48/884.51	c cleaning 13989 clauses out of 28285 with flag 3371001/3371001
1726.65/888.31	c cleaning 14019 clauses out of 28295 with flag 3385000/3385000
1735.98/893.16	c cleaning 13986 clauses out of 28276 with flag 3399000/3399000
1744.52/897.54	c cleaning 13998 clauses out of 28291 with flag 3413001/3413001
1754.65/902.78	c cleaning 13979 clauses out of 28293 with flag 3427001/3427001
1764.63/907.98	c cleaning 14013 clauses out of 28314 with flag 3441001/3441001
1773.93/912.78	c cleaning 14003 clauses out of 28305 with flag 3455005/3455005
1783.66/917.73	c cleaning 14028 clauses out of 28297 with flag 3469000/3469000
1792.38/922.21	c cleaning 13993 clauses out of 28269 with flag 3483000/3483000
1800.16/926.31	c starts		: 231
1800.16/926.31	c conflicts		: 3496971
1800.16/926.31	c decisions		: 8078275
1800.16/926.31	c propagations		: 853225542
1800.16/926.31	c inspects		: 2443846748
1800.16/926.31	c shortcuts		: 0
1800.16/926.31	c learnt literals	: 75
1800.16/926.31	c learnt binary clauses	: 2856
1800.16/926.31	c learnt ternary clauses	: 21914
1800.16/926.31	c learnt constraints	: 3496896
1800.16/926.31	c ignored constraints	: 0
1800.16/926.31	c root simplifications	: 0
1800.16/926.31	c removed literals (reason simplification)	: 36104561
1800.16/926.31	c reason swapping (by a shorter reason)	: 0
1800.16/926.31	c Calls to reduceDB	: 252
1800.16/926.31	c number of reductions to clauses (during analyze)	: 0
1800.16/926.31	c number of learned constraints concerned by reduction	: 0
1800.16/926.31	c number of learning phase by resolution	: 0
1800.16/926.31	c number of learning phase by cutting planes	: 0
1800.16/926.31	c speed (assignments/second)	: 921918.7002762863
1800.16/926.31	c non guided choices	199931
1800.16/926.32	c learnt constraints type 
1800.16/926.32	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 2856
1800.16/926.32	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 25420
1800.16/926.32	c constraints type 
1800.16/926.32	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3188
1800.16/926.32	c org.sat4j.minisat.constraints.cnf.UnitClauses => 828
1800.16/926.32	c org.sat4j.minisat.constraints.card.MinWatchCard => 6837
1800.16/926.32	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 3094
1800.16/926.32	c constraints type 
1800.16/926.32	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 3094
1800.16/926.32	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 3188
1800.16/926.32	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 6837
1800.16/926.32	c org.sat4j.pb.constraints.pb.UnitClausesPB => 828
1800.16/926.32	s UNKNOWN
1800.16/926.32	c Total wall clock time (in seconds): 926.191

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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-3741385-1338753626/watcher-3741385-1338753626 -o /tmp/evaluation-result-3741385-1338753626/solver-3741385-1338753626 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3741385-1338753626.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: 3.55 3.59 3.66 4/198 31221
/proc/meminfo: memFree=23305004/32873648 swapFree=6852/6852
[pid=31221] ppid=31219 vsize=272 CPUtime=0 cores=0,2,4,6
/proc/31221/stat : 31221 (java) R 31219 31221 30010 0 -1 4202496 278 0 0 0 0 0 0 0 20 0 1 0 341489423 278528 27 33554432000 1073741824 1073778376 140736182589392 140733380375704 271778388561 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/31221/statm: 68 33 25 9 0 25 0

[startup+0.067715 s]
/proc/loadavg: 3.55 3.59 3.66 4/198 31221
/proc/meminfo: memFree=23305004/32873648 swapFree=6852/6852
[pid=31221] ppid=31219 vsize=11253516 CPUtime=0.04 cores=0,2,4,6
/proc/31221/stat : 31221 (java) S 31219 31221 30010 0 -1 4202496 3794 0 1 0 3 1 0 0 20 0 13 0 341489423 11523600384 12157 33554432000 1073741824 1073778376 140736182589392 140736182580528 271790932029 0 0 0 16800971 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31221/statm: 2813379 12157 1708 9 0 2804080 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 11253516

[startup+0.100279 s]
/proc/loadavg: 3.55 3.59 3.66 4/198 31221
/proc/meminfo: memFree=23305004/32873648 swapFree=6852/6852
[pid=31221] ppid=31219 vsize=11586392 CPUtime=0.07 cores=0,2,4,6
/proc/31221/stat : 31221 (java) S 31219 31221 30010 0 -1 4202496 3964 0 1 0 6 1 0 0 20 0 18 0 341489423 11864465408 12838 33554432000 1073741824 1073778376 140736182589392 140736182580528 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31221/statm: 2896598 12838 1779 9 0 2887285 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 11586392

[startup+0.300243 s]
/proc/loadavg: 3.55 3.59 3.66 4/198 31221
/proc/meminfo: memFree=23305004/32873648 swapFree=6852/6852
[pid=31221] ppid=31219 vsize=11586392 CPUtime=0.44 cores=0,2,4,6
/proc/31221/stat : 31221 (java) S 31219 31221 30010 0 -1 4202496 5775 0 1 0 41 3 0 0 20 0 18 0 341489423 11864465408 34338 33554432000 1073741824 1073778376 140736182589392 140736182580528 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31221/statm: 2896598 34338 2218 9 0 2887285 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 11586392

[startup+0.70024 s]
/proc/loadavg: 3.55 3.59 3.66 4/198 31221
/proc/meminfo: memFree=23305004/32873648 swapFree=6852/6852
[pid=31221] ppid=31219 vsize=11586392 CPUtime=1.18 cores=0,2,4,6
/proc/31221/stat : 31221 (java) S 31219 31221 30010 0 -1 4202496 9468 0 1 0 98 20 0 0 20 0 18 0 341489423 11864465408 285842 33554432000 1073741824 1073778376 140736182589392 140736182580528 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31221/statm: 2896598 286354 2234 9 0 2887285 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 11586392

[startup+1.50072 s]
/proc/loadavg: 3.55 3.59 3.66 5/220 31243
/proc/meminfo: memFree=21974308/32873648 swapFree=6852/6852
[pid=31221] ppid=31219 vsize=11852648 CPUtime=3.82 cores=0,2,4,6
/proc/31221/stat : 31221 (java) S 31219 31221 30010 0 -1 4202496 20987 0 1 0 356 26 0 0 20 0 22 0 341489423 12137111552 356153 33554432000 1073741824 1073778376 140736182589392 140736182580528 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31221/statm: 2963162 356153 2262 9 0 2953849 0
[pid=31221/tid=31223] ppid=31219 vsize=11852648 CPUtime=0.79 cores=0,2,4,6
/proc/31221/task/31223/stat : 31223 (java) S 31219 31221 30010 0 -1 4202560 3495 0 1 0 57 22 0 0 20 0 22 0 341489424 12137111552 356153 33554432000 1073741824 1073778376 140736182589392 139800506565784 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31221/tid=31224] ppid=31219 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/31221/task/31224/stat : 31224 (java) S 31219 31221 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341489426 12137111552 356153 33554432000 1073741824 1073778376 140736182589392 139800461318568 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31221/tid=31225] ppid=31219 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/31221/task/31225/stat : 31225 (java) S 31219 31221 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341489426 12137111552 356153 33554432000 1073741824 1073778376 140736182589392 139800460266024 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31221/tid=31226] ppid=31219 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/31221/task/31226/stat : 31226 (java) S 31219 31221 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341489426 12137111552 356153 33554432000 1073741824 1073778376 140736182589392 139800459212968 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31221/tid=31227] ppid=31219 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/31221/task/31227/stat : 31227 (java) S 31219 31221 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341489426 12137111552 356153 33554432000 1073741824 1073778376 140736182589392 139800458160424 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31221/tid=31228] ppid=31219 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/31221/task/31228/stat : 31228 (java) S 31219 31221 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341489426 12137111552 356153 33554432000 1073741824 1073778376 140736182589392 139800457108392 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31221/tid=31229] ppid=31219 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/31221/task/31229/stat : 31229 (java) S 31219 31221 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341489426 12137111552 356153 33554432000 1073741824 1073778376 140736182589392 139800456055848 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31221/tid=31230] ppid=31219 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/31221/task/31230/stat : 31230 (java) S 31219 31221 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341489426 12137111552 356153 33554432000 1073741824 1073778376 140736182589392 139800455002792 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31221/tid=31231] ppid=31219 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/31221/task/31231/stat : 31231 (java) S 31219 31221 30010 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 341489426 12137111552 356153 33554432000 1073741824 1073778376 140736182589392 139800453950248 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31221/tid=31232] ppid=31219 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/31221/task/31232/stat : 31232 (java) S 31219 31221 30010 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 341489428 12137111552 356153 33554432000 1073741824 1073778376 140736182589392 139800323524968 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31221/tid=31233] ppid=31219 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/31221/task/31233/stat : 31233 (java) S 31219 31221 30010 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 341489428 12137111552 356153 33554432000 1073741824 1073778376 140736182589392 139800322471288 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31221/tid=31234] ppid=31219 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/31221/task/31234/stat : 31234 (java) S 31219 31221 30010 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341489428 12137111552 356153 33554432000 1073741824 1073778376 140736182589392 139800321418120 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31221/tid=31235] ppid=31219 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/31221/task/31235/stat : 31235 (java) S 31219 31221 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341489431 12137111552 356153 33554432000 1073741824 1073778376 140736182589392 139800320366864 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31221/tid=31236] ppid=31219 vsize=11852648 CPUtime=0.81 cores=0,2,4,6
/proc/31221/task/31236/stat : 31236 (java) S 31219 31221 30010 0 -1 4202560 6529 0 0 0 80 1 0 0 20 0 22 0 341489431 12137111552 356665 33554432000 1073741824 1073778376 140736182589392 139800319314744 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31221/tid=31237] ppid=31219 vsize=11852648 CPUtime=0.85 cores=0,2,4,6
/proc/31221/task/31237/stat : 31237 (java) S 31219 31221 30010 0 -1 4202560 9638 0 0 0 83 2 0 0 20 0 22 0 341489431 12137111552 356665 33554432000 1073741824 1073778376 140736182589392 139800318262200 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31221/tid=31238] ppid=31219 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/31221/task/31238/stat : 31238 (java) S 31219 31221 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341489431 12137111552 356665 33554432000 1073741824 1073778376 140736182589392 139800317209336 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31221/tid=31239] ppid=31219 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/31221/task/31239/stat : 31239 (java) S 31219 31221 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341489431 12137111552 356665 33554432000 1073741824 1073778376 140736182589392 139800316157000 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31221/tid=31240] ppid=31219 vsize=11852648 CPUtime=0.65 cores=0,2,4,6
/proc/31221/task/31240/stat : 31240 (java) R 31219 31221 30010 0 -1 4202560 23 0 0 0 65 0 0 0 20 0 22 0 341489506 12137111552 356665 33554432000 1073741824 1073778376 140736182589392 139800315101304 139800330681217 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=31221/tid=31241] ppid=31219 vsize=11852648 CPUtime=0.66 cores=0,2,4,6
/proc/31221/task/31241/stat : 31241 (java) R 31219 31221 30010 0 -1 4202560 98 0 0 0 66 0 0 0 20 0 22 0 341489506 12137111552 356665 33554432000 1073741824 1073778376 140736182589392 139799172208816 139800330339434 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=31221/tid=31242] ppid=31219 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/31221/task/31242/stat : 31242 (java) S 31219 31221 30010 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341489508 12137111552 356665 33554432000 1073741824 1073778376 140736182589392 139799171158824 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31221/tid=31243] ppid=31219 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/31221/task/31243/stat : 31243 (java) S 31219 31221 30010 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 341489508 12137111552 356665 33554432000 1073741824 1073778376 140736182589392 139799037993896 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.82
Current children cumulated vsize (KiB) 11852648

[startup+3.10072 s]
/proc/loadavg: 3.55 3.59 3.66 5/220 31243
/proc/meminfo: memFree=21779268/32873648 swapFree=6852/6852
[pid=31221] ppid=31219 vsize=11852648 CPUtime=7.07 cores=0,2,4,6
/proc/31221/stat : 31221 (java) S 31219 31221 30010 0 -1 4202496 21138 0 1 0 677 30 0 0 20 0 22 0 341489423 12137111552 383863 33554432000 1073741824 1073778376 140736182589392 140736182580528 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31221/statm: 2963162 383863 2286 9 0 2953849 0
[pid=31221/tid=31223] ppid=31219 vsize=11852648 CPUtime=0.79 cores=0,2,4,6
/proc/31221/task/31223/stat : 31223 (java) S 31219 31221 30010 0 -1 4202560 3495 0 1 0 57 22 0 0 20 0 22 0 341489424 12137111552 383863 33554432000 1073741824 1073778376 140736182589392 139800506565784 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31221/tid=31224] ppid=31219 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/31221/task/31224/stat : 31224 (java) S 31219 31221 30010 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 341489426 12137111552 383863 33554432000 1073741824 1073778376 140736182589392 139800461318568 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31221/tid=31225] ppid=31219 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/31221/task/31225/stat : 31225 (java) S 31219 31221 30010 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 341489426 12137111552 383863 33554432000 1073741824 1073778376 140736182589392 139800460266024 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31221/tid=31226] ppid=31219 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/31221/task/31226/stat : 31226 (java) S 31219 31221 30010 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 341489426 12137111552 383863 33554432000 1073741824 1073778376 140736182589392 139800459212968 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31221/tid=31227] ppid=31219 vsize=11852648 CPUtime=0.01 cores=0,2,4,6
/proc/31221/task/31227/stat : 31227 (java) S 31219 31221 30010 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 22 0 341489426 12137111552 383863 33554432000 1073741824 1073778376 140736182589392 139800458160424 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31221/tid=31228] ppid=31219 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/31221/task/31228/stat : 31228 (java) S 31219 31221 30010 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 341489426 12137111552 383863 33554432000 1073741824 1073778376 140736182589392 139800457108392 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31221/tid=31229] ppid=31219 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/31221/task/31229/stat : 31229 (java) S 31219 31221 30010 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 22 0 341489426 12137111552 383863 33554432000 1073741824 1073778376 140736182589392 139800456055848 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31221/tid=31230] ppid=31219 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/31221/task/31230/stat : 31230 (java) S 31219 31221 30010 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 341489426 12137111552 383863 33554432000 1073741824 1073778376 140736182589392 139800455002792 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31221/tid=31231] ppid=31219 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/31221/task/31231/stat : 31231 (java) S 31219 31221 30010 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 341489426 12137111552 383863 33554432000 1073741824 1073778376 140736182589392 139800453950248 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31221/tid=31232] ppid=31219 vsize=11852648 CPUtime=0.12 cores=0,2,4,6
/proc/31221/task/31232/stat : 31232 (java) S 31219 31221 30010 0 -1 4202560 38 0 0 0 12 0 0 0 20 0 22 0 341489428 12137111552 383863 33554432000 1073741824 1073778376 140736182589392 139800323524968 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31221/tid=31233] ppid=31219 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/31221/task/31233/stat : 31233 (java) S 31219 31221 30010 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 341489428 12137111552 383863 33554432000 1073741824 1073778376 140736182589392 139800322471288 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31221/tid=31234] ppid=31219 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/31221/task/31234/stat : 31234 (java) S 31219 31221 30010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 341489428 12137111552 383863 33554432000 1073741824 1073778376 140736182589392 139800321418120 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31221/tid=31235] ppid=31219 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/31221/task/31235/stat : 31235 (java) S 31219 31221 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341489431 12137111552 383863 33554432000 1073741824 1073778376 140736182589392 139800320366864 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31221/tid=31236] ppid=31219 vsize=11852648 CPUtime=0.92 cores=0,2,4,6
/proc/31221/task/31236/stat : 31236 (java) S 31219 31221 30010 0 -1 4202560 6537 0 0 0 90 2 0 0 20 0 22 0 341489431 12137111552 383863 33554432000 1073741824 1073778376 140736182589392 139800319314744 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31221/tid=31237] ppid=31219 vsize=11852648 CPUtime=0.9 cores=0,2,4,6
/proc/31221/task/31237/stat : 31237 (java) S 31219 31221 30010 0 -1 4202560 9643 0 0 0 87 3 0 0 20 0 22 0 341489431 12137111552 383863 33554432000 1073741824 1073778376 140736182589392 139800318262200 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31221/tid=31238] ppid=31219 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/31221/task/31238/stat : 31238 (java) S 31219 31221 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341489431 12137111552 383863 33554432000 1073741824 1073778376 140736182589392 139800317209336 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31221/tid=31239] ppid=31219 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/31221/task/31239/stat : 31239 (java) S 31219 31221 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341489431 12137111552 383863 33554432000 1073741824 1073778376 140736182589392 139800316157000 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31221/tid=31240] ppid=31219 vsize=11852648 CPUtime=2.06 cores=0,2,4,6
/proc/31221/task/31240/stat : 31240 (java) R 31219 31221 30010 0 -1 4202560 24 0 0 0 206 0 0 0 20 0 22 0 341489506 12137111552 383863 33554432000 1073741824 1073778376 140736182589392 139800315101520 139800330636840 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=31221/tid=31241] ppid=31219 vsize=11852648 CPUtime=2.08 cores=0,2,4,6
/proc/31221/task/31241/stat : 31241 (java) R 31219 31221 30010 0 -1 4202560 132 0 0 0 206 2 0 0 20 0 22 0 341489506 12137111552 383863 33554432000 1073741824 1073778376 140736182589392 139799172208960 139800330903033 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=31221/tid=31242] ppid=31219 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/31221/task/31242/stat : 31242 (java) S 31219 31221 30010 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341489508 12137111552 383863 33554432000 1073741824 1073778376 140736182589392 139799171158824 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31221/tid=31243] ppid=31219 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/31221/task/31243/stat : 31243 (java) S 31219 31221 30010 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 341489508 12137111552 383863 33554432000 1073741824 1073778376 140736182589392 139799037993896 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 7.07
Current children cumulated vsize (KiB) 11852648

[startup+6.30087 s]
/proc/loadavg: 3.58 3.60 3.66 5/220 31243
/proc/meminfo: memFree=21775728/32873648 swapFree=6852/6852
[pid=31221] ppid=31219 vsize=11852648 CPUtime=13.42 cores=0,2,4,6
/proc/31221/stat : 31221 (java) S 31219 31221 30010 0 -1 4202496 21163 0 1 0 1312 30 0 0 20 0 22 0 341489423 12137111552 383471 33554432000 1073741824 1073778376 140736182589392 140736182580528 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31221/statm: 2963162 383471 2286 9 0 2953849 0
[pid=31221/tid=31223] ppid=31219 vsize=11852648 CPUtime=0.79 cores=0,2,4,6
/proc/31221/task/31223/stat : 31223 (java) S 31219 31221 30010 0 -1 4202560 3495 0 1 0 57 22 0 0 20 0 22 0 341489424 12137111552 383471 33554432000 1073741824 1073778376 140736182589392 139800506565784 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31221/tid=31224] ppid=31219 vsize=11852648 CPUtime=0.01 cores=0,2,4,6
/proc/31221/task/31224/stat : 31224 (java) S 31219 31221 30010 0 -1 4202560 22 0 0 0 1 0 0 0 20 0 22 0 341489426 12137111552 383471 33554432000 1073741824 1073778376 140736182589392 139800461318568 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31221/tid=31225] ppid=31219 vsize=11852648 CPUtime=0.01 cores=0,2,4,6
/proc/31221/task/31225/stat : 31225 (java) S 31219 31221 30010 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 22 0 341489426 12137111552 383471 33554432000 1073741824 1073778376 140736182589392 139800460266024 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31221/tid=31226] ppid=31219 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/31221/task/31226/stat : 31226 (java) S 31219 31221 30010 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 341489426 12137111552 383471 33554432000 1073741824 1073778376 140736182589392 139800459212968 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31221/tid=31227] ppid=31219 vsize=11852648 CPUtime=0.01 cores=0,2,4,6
/proc/31221/task/31227/stat : 31227 (java) S 31219 31221 30010 0 -1 4202560 16 0 0 0 1 0 0 0 20 0 22 0 341489426 12137111552 383471 33554432000 1073741824 1073778376 140736182589392 139800458160424 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31221/tid=31228] ppid=31219 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/31221/task/31228/stat : 31228 (java) S 31219 31221 30010 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341489426 12137111552 383471 33554432000 1073741824 1073778376 140736182589392 139800457108392 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31221/tid=31229] ppid=31219 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/31221/task/31229/stat : 31229 (java) S 31219 31221 30010 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 22 0 341489426 12137111552 383471 33554432000 1073741824 1073778376 140736182589392 139800456055848 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31221/tid=31230] ppid=31219 vsize=11852648 CPUtime=0.01 cores=0,2,4,6
/proc/31221/task/31230/stat : 31230 (java) S 31219 31221 30010 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 22 0 341489426 12137111552 383471 33554432000 1073741824 1073778376 140736182589392 139800455002792 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31221/tid=31231] ppid=31219 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/31221/task/31231/stat : 31231 (java) S 31219 31221 30010 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 341489426 12137111552 383471 33554432000 1073741824 1073778376 140736182589392 139800453950248 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31221/tid=31232] ppid=31219 vsize=11852648 CPUtime=0.24 cores=0,2,4,6
/proc/31221/task/31232/stat : 31232 (java) S 31219 31221 30010 0 -1 4202560 39 0 0 0 24 0 0 0 20 0 22 0 341489428 12137111552 383471 33554432000 1073741824 1073778376 140736182589392 139800323524968 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31221/tid=31233] ppid=31219 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/31221/task/31233/stat : 31233 (java) S 31219 31221 30010 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 341489428 12137111552 383471 33554432000 1073741824 1073778376 140736182589392 139800322471288 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31221/tid=31234] ppid=31219 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/31221/task/31234/stat : 31234 (java) S 31219 31221 30010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 341489428 12137111552 383471 33554432000 1073741824 1073778376 140736182589392 139800321418120 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31221/tid=31235] ppid=31219 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/31221/task/31235/stat : 31235 (java) S 31219 31221 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341489431 12137111552 383471 33554432000 1073741824 1073778376 140736182589392 139800320366864 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31221/tid=31236] ppid=31219 vsize=11852648 CPUtime=0.92 cores=0,2,4,6
/proc/31221/task/31236/stat : 31236 (java) S 31219 31221 30010 0 -1 4202560 6537 0 0 0 90 2 0 0 20 0 22 0 341489431 12137111552 383471 33554432000 1073741824 1073778376 140736182589392 139800319314744 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0

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

[pid=31221/tid=31241] ppid=31219 vsize=11852648 CPUtime=769.45 cores=0,2,4,6
/proc/31221/task/31241/stat : 31241 (java) R 31219 31221 30010 0 -1 4202560 1121 0 0 0 76899 46 0 0 20 0 22 0 341489506 12137111552 930755 33554432000 1073741824 1073778376 140736182589392 139799172208960 139800330831734 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=31221/tid=31242] ppid=31219 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/31221/task/31242/stat : 31242 (java) S 31219 31221 30010 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341489508 12137111552 930755 33554432000 1073741824 1073778376 140736182589392 139799171158824 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31221/tid=31243] ppid=31219 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/31221/task/31243/stat : 31243 (java) S 31219 31221 30010 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 341489508 12137111552 930755 33554432000 1073741824 1073778376 140736182589392 139799037993896 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1600.39
Current children cumulated vsize (KiB) 11852648

[startup+882.301 s]
/proc/loadavg: 3.76 3.82 3.79 5/219 31361
/proc/meminfo: memFree=22009468/32873648 swapFree=6852/6852
[pid=31221] ppid=31219 vsize=11852648 CPUtime=1715.08 cores=0,2,4,6
/proc/31221/stat : 31221 (java) S 31219 31221 30010 0 -1 4202496 23444 0 1 0 171399 109 0 0 20 0 22 0 341489423 12137111552 930798 33554432000 1073741824 1073778376 140736182589392 140736182580528 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31221/statm: 2963162 930798 2288 9 0 2953849 0
[pid=31221/tid=31223] ppid=31219 vsize=11852648 CPUtime=0.84 cores=0,2,4,6
/proc/31221/task/31223/stat : 31223 (java) S 31219 31221 30010 0 -1 4202560 3601 0 1 0 60 24 0 0 20 0 22 0 341489424 12137111552 930798 33554432000 1073741824 1073778376 140736182589392 139800506565784 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31221/tid=31224] ppid=31219 vsize=11852648 CPUtime=1.2 cores=0,2,4,6
/proc/31221/task/31224/stat : 31224 (java) S 31219 31221 30010 0 -1 4202560 119 0 0 0 117 3 0 0 20 0 22 0 341489426 12137111552 930798 33554432000 1073741824 1073778376 140736182589392 139800461318568 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31221/tid=31225] ppid=31219 vsize=11852648 CPUtime=1.24 cores=0,2,4,6
/proc/31221/task/31225/stat : 31225 (java) S 31219 31221 30010 0 -1 4202560 121 0 0 0 121 3 0 0 20 0 22 0 341489426 12137111552 930798 33554432000 1073741824 1073778376 140736182589392 139800460266024 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31221/tid=31226] ppid=31219 vsize=11852648 CPUtime=1.17 cores=0,2,4,6
/proc/31221/task/31226/stat : 31226 (java) S 31219 31221 30010 0 -1 4202560 101 0 0 0 115 2 0 0 20 0 22 0 341489426 12137111552 930798 33554432000 1073741824 1073778376 140736182589392 139800459212968 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31221/tid=31227] ppid=31219 vsize=11852648 CPUtime=1.2 cores=0,2,4,6
/proc/31221/task/31227/stat : 31227 (java) S 31219 31221 30010 0 -1 4202560 151 0 0 0 117 3 0 0 20 0 22 0 341489426 12137111552 930798 33554432000 1073741824 1073778376 140736182589392 139800458160424 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31221/tid=31228] ppid=31219 vsize=11852648 CPUtime=1.24 cores=0,2,4,6
/proc/31221/task/31228/stat : 31228 (java) S 31219 31221 30010 0 -1 4202560 132 0 0 0 121 3 0 0 20 0 22 0 341489426 12137111552 930798 33554432000 1073741824 1073778376 140736182589392 139800457108392 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31221/tid=31229] ppid=31219 vsize=11852648 CPUtime=1.3 cores=0,2,4,6
/proc/31221/task/31229/stat : 31229 (java) S 31219 31221 30010 0 -1 4202560 117 0 0 0 127 3 0 0 20 0 22 0 341489426 12137111552 930798 33554432000 1073741824 1073778376 140736182589392 139800456055848 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31221/tid=31230] ppid=31219 vsize=11852648 CPUtime=1.25 cores=0,2,4,6
/proc/31221/task/31230/stat : 31230 (java) S 31219 31221 30010 0 -1 4202560 123 0 0 0 121 4 0 0 20 0 22 0 341489426 12137111552 930798 33554432000 1073741824 1073778376 140736182589392 139800455002792 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31221/tid=31231] ppid=31219 vsize=11852648 CPUtime=1.23 cores=0,2,4,6
/proc/31221/task/31231/stat : 31231 (java) S 31219 31221 30010 0 -1 4202560 100 0 0 0 120 3 0 0 20 0 22 0 341489426 12137111552 930798 33554432000 1073741824 1073778376 140736182589392 139800453950248 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31221/tid=31232] ppid=31219 vsize=11852648 CPUtime=54.36 cores=0,2,4,6
/proc/31221/task/31232/stat : 31232 (java) S 31219 31221 30010 0 -1 4202560 136 0 0 0 5428 8 0 0 20 0 22 0 341489428 12137111552 930798 33554432000 1073741824 1073778376 140736182589392 139800323524968 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31221/tid=31233] ppid=31219 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/31221/task/31233/stat : 31233 (java) S 31219 31221 30010 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 341489428 12137111552 930798 33554432000 1073741824 1073778376 140736182589392 139800322471288 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31221/tid=31234] ppid=31219 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/31221/task/31234/stat : 31234 (java) S 31219 31221 30010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 341489428 12137111552 930798 33554432000 1073741824 1073778376 140736182589392 139800321418120 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31221/tid=31235] ppid=31219 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/31221/task/31235/stat : 31235 (java) S 31219 31221 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341489431 12137111552 930798 33554432000 1073741824 1073778376 140736182589392 139800320366864 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31221/tid=31236] ppid=31219 vsize=11852648 CPUtime=1.01 cores=0,2,4,6
/proc/31221/task/31236/stat : 31236 (java) S 31219 31221 30010 0 -1 4202560 6539 0 0 0 99 2 0 0 20 0 22 0 341489431 12137111552 930798 33554432000 1073741824 1073778376 140736182589392 139800319314744 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31221/tid=31237] ppid=31219 vsize=11852648 CPUtime=1.16 cores=0,2,4,6
/proc/31221/task/31237/stat : 31237 (java) S 31219 31221 30010 0 -1 4202560 9661 0 0 0 113 3 0 0 20 0 22 0 341489431 12137111552 930798 33554432000 1073741824 1073778376 140736182589392 139800318262200 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31221/tid=31238] ppid=31219 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/31221/task/31238/stat : 31238 (java) S 31219 31221 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341489431 12137111552 930798 33554432000 1073741824 1073778376 140736182589392 139800317209336 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31221/tid=31239] ppid=31219 vsize=11852648 CPUtime=0.34 cores=0,2,4,6
/proc/31221/task/31239/stat : 31239 (java) S 31219 31221 30010 0 -1 4202560 50 0 0 0 19 15 0 0 20 0 22 0 341489431 12137111552 930798 33554432000 1073741824 1073778376 140736182589392 139800316157000 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31221/tid=31240] ppid=31219 vsize=11852648 CPUtime=823.94 cores=0,2,4,6
/proc/31221/task/31240/stat : 31240 (java) R 31219 31221 30010 0 -1 4202560 176 0 0 0 82379 15 0 0 20 0 22 0 341489506 12137111552 930798 33554432000 1073741824 1073778376 140736182589392 139800315101520 139800330636765 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=31221/tid=31241] ppid=31219 vsize=11852648 CPUtime=823.79 cores=0,2,4,6
/proc/31221/task/31241/stat : 31241 (java) R 31219 31221 30010 0 -1 4202560 1124 0 0 0 82332 47 0 0 20 0 22 0 341489506 12137111552 930798 33554432000 1073741824 1073778376 140736182589392 139799172208944 139800330339437 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=31221/tid=31242] ppid=31219 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/31221/task/31242/stat : 31242 (java) S 31219 31221 30010 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341489508 12137111552 930798 33554432000 1073741824 1073778376 140736182589392 139799171158824 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31221/tid=31243] ppid=31219 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/31221/task/31243/stat : 31243 (java) S 31219 31221 30010 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 341489508 12137111552 930798 33554432000 1073741824 1073778376 140736182589392 139799037993896 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1715.08
Current children cumulated vsize (KiB) 11852648



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+926.301 s]
/proc/loadavg: 3.94 3.86 3.80 5/219 31361
/proc/meminfo: memFree=21992592/32873648 swapFree=6852/6852
[pid=31221] ppid=31219 vsize=11852648 CPUtime=1800.16 cores=0,2,4,6
/proc/31221/stat : 31221 (java) S 31219 31221 30010 0 -1 4202496 23498 0 1 0 179905 111 0 0 20 0 22 0 341489423 12137111552 930835 33554432000 1073741824 1073778376 140736182589392 140736182580528 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31221/statm: 2963162 930835 2288 9 0 2953849 0
[pid=31221/tid=31223] ppid=31219 vsize=11852648 CPUtime=0.84 cores=0,2,4,6
/proc/31221/task/31223/stat : 31223 (java) S 31219 31221 30010 0 -1 4202560 3608 0 1 0 60 24 0 0 20 0 22 0 341489424 12137111552 930835 33554432000 1073741824 1073778376 140736182589392 139800506565784 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31221/tid=31224] ppid=31219 vsize=11852648 CPUtime=1.25 cores=0,2,4,6
/proc/31221/task/31224/stat : 31224 (java) S 31219 31221 30010 0 -1 4202560 131 0 0 0 122 3 0 0 20 0 22 0 341489426 12137111552 930835 33554432000 1073741824 1073778376 140736182589392 139800461318568 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31221/tid=31225] ppid=31219 vsize=11852648 CPUtime=1.28 cores=0,2,4,6
/proc/31221/task/31225/stat : 31225 (java) S 31219 31221 30010 0 -1 4202560 124 0 0 0 125 3 0 0 20 0 22 0 341489426 12137111552 930835 33554432000 1073741824 1073778376 140736182589392 139800460266024 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31221/tid=31226] ppid=31219 vsize=11852648 CPUtime=1.25 cores=0,2,4,6
/proc/31221/task/31226/stat : 31226 (java) S 31219 31221 30010 0 -1 4202560 109 0 0 0 123 2 0 0 20 0 22 0 341489426 12137111552 930835 33554432000 1073741824 1073778376 140736182589392 139800459212968 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31221/tid=31227] ppid=31219 vsize=11852648 CPUtime=1.25 cores=0,2,4,6
/proc/31221/task/31227/stat : 31227 (java) S 31219 31221 30010 0 -1 4202560 155 0 0 0 121 4 0 0 20 0 22 0 341489426 12137111552 930835 33554432000 1073741824 1073778376 140736182589392 139800458160424 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31221/tid=31228] ppid=31219 vsize=11852648 CPUtime=1.29 cores=0,2,4,6
/proc/31221/task/31228/stat : 31228 (java) S 31219 31221 30010 0 -1 4202560 134 0 0 0 126 3 0 0 20 0 22 0 341489426 12137111552 930835 33554432000 1073741824 1073778376 140736182589392 139800457108392 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31221/tid=31229] ppid=31219 vsize=11852648 CPUtime=1.35 cores=0,2,4,6
/proc/31221/task/31229/stat : 31229 (java) S 31219 31221 30010 0 -1 4202560 118 0 0 0 132 3 0 0 20 0 22 0 341489426 12137111552 930835 33554432000 1073741824 1073778376 140736182589392 139800456055848 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31221/tid=31230] ppid=31219 vsize=11852648 CPUtime=1.31 cores=0,2,4,6
/proc/31221/task/31230/stat : 31230 (java) S 31219 31221 30010 0 -1 4202560 129 0 0 0 127 4 0 0 20 0 22 0 341489426 12137111552 930835 33554432000 1073741824 1073778376 140736182589392 139800455002792 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31221/tid=31231] ppid=31219 vsize=11852648 CPUtime=1.27 cores=0,2,4,6
/proc/31221/task/31231/stat : 31231 (java) S 31219 31221 30010 0 -1 4202560 101 0 0 0 124 3 0 0 20 0 22 0 341489426 12137111552 930835 33554432000 1073741824 1073778376 140736182589392 139800453950248 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31221/tid=31232] ppid=31219 vsize=11852648 CPUtime=57.44 cores=0,2,4,6
/proc/31221/task/31232/stat : 31232 (java) S 31219 31221 30010 0 -1 4202560 138 0 0 0 5735 9 0 0 20 0 22 0 341489428 12137111552 930835 33554432000 1073741824 1073778376 140736182589392 139800323524968 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31221/tid=31233] ppid=31219 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/31221/task/31233/stat : 31233 (java) S 31219 31221 30010 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 341489428 12137111552 930835 33554432000 1073741824 1073778376 140736182589392 139800322471288 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31221/tid=31234] ppid=31219 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/31221/task/31234/stat : 31234 (java) S 31219 31221 30010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 341489428 12137111552 930835 33554432000 1073741824 1073778376 140736182589392 139800321418120 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31221/tid=31235] ppid=31219 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/31221/task/31235/stat : 31235 (java) S 31219 31221 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341489431 12137111552 930835 33554432000 1073741824 1073778376 140736182589392 139800320366864 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31221/tid=31236] ppid=31219 vsize=11852648 CPUtime=1.01 cores=0,2,4,6
/proc/31221/task/31236/stat : 31236 (java) S 31219 31221 30010 0 -1 4202560 6539 0 0 0 99 2 0 0 20 0 22 0 341489431 12137111552 930835 33554432000 1073741824 1073778376 140736182589392 139800319314744 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31221/tid=31237] ppid=31219 vsize=11852648 CPUtime=1.16 cores=0,2,4,6
/proc/31221/task/31237/stat : 31237 (java) S 31219 31221 30010 0 -1 4202560 9661 0 0 0 113 3 0 0 20 0 22 0 341489431 12137111552 930835 33554432000 1073741824 1073778376 140736182589392 139800318262200 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31221/tid=31238] ppid=31219 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/31221/task/31238/stat : 31238 (java) S 31219 31221 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341489431 12137111552 930835 33554432000 1073741824 1073778376 140736182589392 139800317209336 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31221/tid=31239] ppid=31219 vsize=11852648 CPUtime=0.36 cores=0,2,4,6
/proc/31221/task/31239/stat : 31239 (java) S 31219 31221 30010 0 -1 4202560 52 0 0 0 20 16 0 0 20 0 22 0 341489431 12137111552 930835 33554432000 1073741824 1073778376 140736182589392 139800316157000 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31221/tid=31240] ppid=31219 vsize=11852648 CPUtime=864.74 cores=0,2,4,6
/proc/31221/task/31240/stat : 31240 (java) R 31219 31221 30010 0 -1 4202560 177 0 0 0 86458 16 0 0 20 0 22 0 341489506 12137111552 930835 33554432000 1073741824 1073778376 140736182589392 139800315101520 139800330636732 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=31221/tid=31241] ppid=31219 vsize=11852648 CPUtime=864.6 cores=0,2,4,6
/proc/31221/task/31241/stat : 31241 (java) R 31219 31221 30010 0 -1 4202560 1129 0 0 0 86412 48 0 0 20 0 22 0 341489506 12137111552 930835 33554432000 1073741824 1073778376 140736182589392 139799172208960 139800330902764 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=31221/tid=31242] ppid=31219 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/31221/task/31242/stat : 31242 (java) S 31219 31221 30010 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341489508 12137111552 930835 33554432000 1073741824 1073778376 140736182589392 139799171158824 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31221/tid=31243] ppid=31219 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/31221/task/31243/stat : 31243 (java) S 31219 31221 30010 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 341489508 12137111552 930835 33554432000 1073741824 1073778376 140736182589392 139799037993896 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 11852648

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

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

[startup+926.301 s]
/proc/loadavg: 3.94 3.86 3.80 5/219 31361
/proc/meminfo: memFree=21992592/32873648 swapFree=6852/6852
[pid=31221] ppid=31219 vsize=11852648 CPUtime=1800.16 cores=0,2,4,6
/proc/31221/stat : 31221 (java) S 31219 31221 30010 0 -1 4202496 23498 0 1 0 179905 111 0 0 20 0 22 0 341489423 12137111552 930835 33554432000 1073741824 1073778376 140736182589392 140736182580528 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31221/statm: 2963162 930835 2288 9 0 2953849 0
[pid=31221/tid=31223] ppid=31219 vsize=11852648 CPUtime=0.84 cores=0,2,4,6
/proc/31221/task/31223/stat : 31223 (java) S 31219 31221 30010 0 -1 4202560 3608 0 1 0 60 24 0 0 20 0 22 0 341489424 12137111552 930835 33554432000 1073741824 1073778376 140736182589392 139800506565784 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31221/tid=31224] ppid=31219 vsize=11852648 CPUtime=1.25 cores=0,2,4,6
/proc/31221/task/31224/stat : 31224 (java) S 31219 31221 30010 0 -1 4202560 131 0 0 0 122 3 0 0 20 0 22 0 341489426 12137111552 930835 33554432000 1073741824 1073778376 140736182589392 139800461318568 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31221/tid=31225] ppid=31219 vsize=11852648 CPUtime=1.28 cores=0,2,4,6
/proc/31221/task/31225/stat : 31225 (java) S 31219 31221 30010 0 -1 4202560 124 0 0 0 125 3 0 0 20 0 22 0 341489426 12137111552 930835 33554432000 1073741824 1073778376 140736182589392 139800460266024 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31221/tid=31226] ppid=31219 vsize=11852648 CPUtime=1.25 cores=0,2,4,6
/proc/31221/task/31226/stat : 31226 (java) S 31219 31221 30010 0 -1 4202560 109 0 0 0 123 2 0 0 20 0 22 0 341489426 12137111552 930835 33554432000 1073741824 1073778376 140736182589392 139800459212968 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31221/tid=31227] ppid=31219 vsize=11852648 CPUtime=1.25 cores=0,2,4,6
/proc/31221/task/31227/stat : 31227 (java) S 31219 31221 30010 0 -1 4202560 155 0 0 0 121 4 0 0 20 0 22 0 341489426 12137111552 930835 33554432000 1073741824 1073778376 140736182589392 139800458160424 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31221/tid=31228] ppid=31219 vsize=11852648 CPUtime=1.29 cores=0,2,4,6
/proc/31221/task/31228/stat : 31228 (java) S 31219 31221 30010 0 -1 4202560 134 0 0 0 126 3 0 0 20 0 22 0 341489426 12137111552 930835 33554432000 1073741824 1073778376 140736182589392 139800457108392 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31221/tid=31229] ppid=31219 vsize=11852648 CPUtime=1.35 cores=0,2,4,6
/proc/31221/task/31229/stat : 31229 (java) S 31219 31221 30010 0 -1 4202560 118 0 0 0 132 3 0 0 20 0 22 0 341489426 12137111552 930835 33554432000 1073741824 1073778376 140736182589392 139800456055848 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31221/tid=31230] ppid=31219 vsize=11852648 CPUtime=1.31 cores=0,2,4,6
/proc/31221/task/31230/stat : 31230 (java) S 31219 31221 30010 0 -1 4202560 129 0 0 0 127 4 0 0 20 0 22 0 341489426 12137111552 930835 33554432000 1073741824 1073778376 140736182589392 139800455002792 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31221/tid=31231] ppid=31219 vsize=11852648 CPUtime=1.27 cores=0,2,4,6
/proc/31221/task/31231/stat : 31231 (java) S 31219 31221 30010 0 -1 4202560 101 0 0 0 124 3 0 0 20 0 22 0 341489426 12137111552 930835 33554432000 1073741824 1073778376 140736182589392 139800453950248 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31221/tid=31232] ppid=31219 vsize=11852648 CPUtime=57.44 cores=0,2,4,6
/proc/31221/task/31232/stat : 31232 (java) S 31219 31221 30010 0 -1 4202560 138 0 0 0 5735 9 0 0 20 0 22 0 341489428 12137111552 930835 33554432000 1073741824 1073778376 140736182589392 139800323524968 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31221/tid=31233] ppid=31219 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/31221/task/31233/stat : 31233 (java) S 31219 31221 30010 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 341489428 12137111552 930835 33554432000 1073741824 1073778376 140736182589392 139800322471288 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31221/tid=31234] ppid=31219 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/31221/task/31234/stat : 31234 (java) S 31219 31221 30010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 341489428 12137111552 930835 33554432000 1073741824 1073778376 140736182589392 139800321418120 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31221/tid=31235] ppid=31219 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/31221/task/31235/stat : 31235 (java) S 31219 31221 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341489431 12137111552 930835 33554432000 1073741824 1073778376 140736182589392 139800320366864 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31221/tid=31236] ppid=31219 vsize=11852648 CPUtime=1.01 cores=0,2,4,6
/proc/31221/task/31236/stat : 31236 (java) S 31219 31221 30010 0 -1 4202560 6539 0 0 0 99 2 0 0 20 0 22 0 341489431 12137111552 930835 33554432000 1073741824 1073778376 140736182589392 139800319314744 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31221/tid=31237] ppid=31219 vsize=11852648 CPUtime=1.16 cores=0,2,4,6
/proc/31221/task/31237/stat : 31237 (java) S 31219 31221 30010 0 -1 4202560 9661 0 0 0 113 3 0 0 20 0 22 0 341489431 12137111552 930835 33554432000 1073741824 1073778376 140736182589392 139800318262200 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31221/tid=31238] ppid=31219 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/31221/task/31238/stat : 31238 (java) S 31219 31221 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341489431 12137111552 930835 33554432000 1073741824 1073778376 140736182589392 139800317209336 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31221/tid=31239] ppid=31219 vsize=11852648 CPUtime=0.36 cores=0,2,4,6
/proc/31221/task/31239/stat : 31239 (java) S 31219 31221 30010 0 -1 4202560 52 0 0 0 20 16 0 0 20 0 22 0 341489431 12137111552 930835 33554432000 1073741824 1073778376 140736182589392 139800316157000 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31221/tid=31240] ppid=31219 vsize=11852648 CPUtime=864.74 cores=0,2,4,6
/proc/31221/task/31240/stat : 31240 (java) R 31219 31221 30010 0 -1 4202560 177 0 0 0 86458 16 0 0 20 0 22 0 341489506 12137111552 930835 33554432000 1073741824 1073778376 140736182589392 139800315101520 139800330636732 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=31221/tid=31241] ppid=31219 vsize=11852648 CPUtime=864.6 cores=0,2,4,6
/proc/31221/task/31241/stat : 31241 (java) R 31219 31221 30010 0 -1 4202560 1129 0 0 0 86412 48 0 0 20 0 22 0 341489506 12137111552 930835 33554432000 1073741824 1073778376 140736182589392 139799172208960 139800330902764 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=31221/tid=31242] ppid=31219 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/31221/task/31242/stat : 31242 (java) S 31219 31221 30010 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341489508 12137111552 930835 33554432000 1073741824 1073778376 140736182589392 139799171158824 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31221/tid=31243] ppid=31219 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/31221/task/31243/stat : 31243 (java) S 31219 31221 30010 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 341489508 12137111552 930835 33554432000 1073741824 1073778376 140736182589392 139799037993896 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 11852648

Child status: 143
Real time (s): 926.352
CPU time (s): 1800.77
CPU user time (s): 1799.16
CPU system time (s): 1.61076
CPU usage (%): 194.394
Max. virtual memory (cumulated for all children) (KiB): 11852648

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.16
system time used= 1.61075
maximum resident set size= 3723468
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23532
page faults= 1
swaps= 0
block input operations= 0
block output operations= 960
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 30652
involuntary context switches= 34402

runsolver used 3.47047 second user time and 8.43472 second system time

The end

Launcher Data 

Begin job on node115 at 2012-06-03 22:00:27
IDJOB=3741385
IDBENCH=89848
IDSOLVER=2328
FILE ID=node115/3741385-1338753626
RUNJOBID= node115-1338748926-30026
PBS_JOBID= 14636792
Free space on /tmp= 70828 MiB

SOLVER NAME= PB11: Sat4j Res//CP 2.3.0
BENCH NAME= PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/normalized-ns894244.opb
COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3741385-1338753626/watcher-3741385-1338753626 -o /tmp/evaluation-result-3741385-1338753626/solver-3741385-1338753626 -C 1800 -W 1900 -M 15500  java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3741385-1338753626.opb

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

MD5SUM BENCH= cdfac8cd93d8a1de6ab1cef68bd1ac7c
RANDOM SEED=631538685

node115.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/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.462
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.462
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.462
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.462
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.462
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.462
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.462
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.462
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        23305548 kB
Buffers:         1439964 kB
Cached:          3493916 kB
SwapCached:         1016 kB
Active:          6449948 kB
Inactive:        2184540 kB
Active(anon):    3689244 kB
Inactive(anon):     9868 kB
Active(file):    2760704 kB
Inactive(file):  2174672 kB
Unevictable:        6852 kB
Mlocked:            6852 kB
SwapTotal:      67108856 kB
SwapFree:       67106440 kB
Dirty:              1260 kB
Writeback:             0 kB
AnonPages:       3720416 kB
Mapped:            19828 kB
Shmem:                96 kB
Slab:             771352 kB
SReclaimable:     215500 kB
SUnreclaim:       555852 kB
KernelStack:        1640 kB
PageTables:        11640 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:   10457776 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3663872 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70828 MiB
End job on node115 at 2012-06-03 22:15:55