Trace number 3458359

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)-37 1800.19 1794.89

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_500_60_2.opb
MD5SUMfecc1e3404707b1609ea9647c91fc73f
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-37
Best CPU time to get the best result obtained on this benchmark1800.05
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -36
Optimality of the best value was proved NO
Number of variables500
Total number of constraints500
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints500
Minimum length of a constraint60
Maximum length of a constraint105
Number of terms in the objective function 500
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 500
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 500
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)37488
Sum of products size (including duplicates)74976
Number of different products18744
Sum of products size37488

Quality of the solution as a function of time


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

Solver Data 

0.03/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.03/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.03/0.08	c See www.sat4j.org for details.
0.03/0.09	c version 2.3.1.v20110525
0.03/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.03/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.03/0.09	c java.vm.version	19.1-b02
0.03/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.03/0.09	c sun.arch.data.model	64
0.03/0.09	c java.version		1.6.0_24
0.03/0.09	c os.name		Linux
0.03/0.09	c os.version		2.6.18-164.el5
0.03/0.09	c os.arch		amd64
0.03/0.09	c Free memory 		12995394264
0.03/0.09	c Max memory 		13063553024
0.03/0.09	c Total memory 		13063553024
0.03/0.09	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@38540408
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c Expensive reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-3458359-1307159512.opb
0.10/0.11	c reading problem ... 
1.36/0.63	c ... done. Wall clock time 0.527s.
1.36/0.63	c #vars     19244
1.36/0.63	c #constraints  56732
1.36/0.63	c constraints type 
1.36/0.64	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 18744
1.36/0.64	c org.sat4j.minisat.constraints.cnf.UnitClauses => 500
1.36/0.64	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 18744
1.62/0.75	c SATISFIABLE
1.62/0.75	c OPTIMIZING...
1.62/0.75	c Got one! Elapsed wall clock time (in seconds):0.639
1.62/0.75	o -24
1.62/0.80	c Got one! Elapsed wall clock time (in seconds):0.68
1.62/0.80	o -25
1.88/0.82	c Got one! Elapsed wall clock time (in seconds):0.713
1.88/0.82	o -26
1.88/0.86	c Got one! Elapsed wall clock time (in seconds):0.755
1.88/0.86	o -28
1.88/0.90	c Got one! Elapsed wall clock time (in seconds):0.788
1.88/0.90	o -29
2.04/0.94	c Got one! Elapsed wall clock time (in seconds):0.834
2.04/0.94	o -30
2.04/0.98	c Got one! Elapsed wall clock time (in seconds):0.87
2.04/0.98	o -32
2.19/1.03	c Got one! Elapsed wall clock time (in seconds):0.92
2.19/1.03	o -33
2.29/1.17	c Got one! Elapsed wall clock time (in seconds):1.062
2.29/1.17	o -34
3.23/2.02	c cleaning 3202 clauses out of 6404 with flag 5000/6404
4.20/2.96	c cleaning 4601 clauses out of 9202 with flag 11000/12404
5.30/4.00	c cleaning 5798 clauses out of 11602 with flag 18001/19405
6.52/5.21	c cleaning 6898 clauses out of 13803 with flag 26000/27404
7.97/6.65	c cleaning 7953 clauses out of 15905 with flag 35000/36404
9.56/8.21	c cleaning 8977 clauses out of 17953 with flag 45001/46405
11.17/9.85	c Got one! Elapsed wall clock time (in seconds):9.743
11.17/9.85	o -35
11.98/10.70	c cleaning 12190 clauses out of 24380 with flag 5000/61809
12.99/11.68	c cleaning 9090 clauses out of 18191 with flag 11001/67810
14.29/12.91	c cleaning 8049 clauses out of 16101 with flag 18001/74810
15.61/14.25	c cleaning 8023 clauses out of 16052 with flag 26001/82810
17.10/15.74	c cleaning 8514 clauses out of 17028 with flag 35000/91809
18.81/17.44	c cleaning 9253 clauses out of 18514 with flag 45000/101809
20.82/19.42	c cleaning 10123 clauses out of 20261 with flag 56000/112809
22.72/21.38	c cleaning 11064 clauses out of 22138 with flag 68000/124809
25.13/23.71	c cleaning 12038 clauses out of 24075 with flag 81001/137810
27.54/26.17	c cleaning 13010 clauses out of 26036 with flag 95000/151809
30.55/29.14	c cleaning 14008 clauses out of 28026 with flag 110000/166809
33.17/31.81	c cleaning 15000 clauses out of 30018 with flag 126000/182809
36.18/34.73	c cleaning 16009 clauses out of 32019 with flag 143001/199810
39.39/37.98	c cleaning 17003 clauses out of 34009 with flag 161000/217809
42.92/41.45	c cleaning 18002 clauses out of 36006 with flag 180000/236809
46.93/45.44	c cleaning 18998 clauses out of 38004 with flag 200000/256809
50.54/49.05	c cleaning 19992 clauses out of 40007 with flag 221001/277810
54.65/53.12	c cleaning 20993 clauses out of 42014 with flag 243000/299809
59.68/58.21	c cleaning 22005 clauses out of 44021 with flag 266000/322809
64.99/63.47	c cleaning 23005 clauses out of 46016 with flag 290000/346809
70.51/68.98	c cleaning 24001 clauses out of 48012 with flag 315001/371810
75.93/74.32	c cleaning 24990 clauses out of 50010 with flag 341000/397809
80.95/79.34	c cleaning 26010 clauses out of 52020 with flag 368000/424809
83.18/81.56	c Got one! Elapsed wall clock time (in seconds):81.457
83.18/81.56	o -36
84.29/82.61	c cleaning 21762 clauses out of 43529 with flag 5000/442328
85.51/83.86	c cleaning 13880 clauses out of 27768 with flag 11001/448329
86.91/85.27	c cleaning 10443 clauses out of 20887 with flag 18000/455328
88.31/86.66	c cleaning 9219 clauses out of 18446 with flag 26002/463330
89.92/88.28	c cleaning 9105 clauses out of 18226 with flag 35001/472329
91.72/90.04	c cleaning 9559 clauses out of 19121 with flag 45001/482329
93.53/91.87	c cleaning 10274 clauses out of 20561 with flag 56000/493328
95.83/94.15	c cleaning 11141 clauses out of 22287 with flag 68000/505328
98.34/96.69	c cleaning 12069 clauses out of 24147 with flag 81001/518329
101.08/99.36	c cleaning 13036 clauses out of 26077 with flag 95000/532328
104.00/102.24	c cleaning 14010 clauses out of 28042 with flag 110001/547329
107.19/105.51	c cleaning 15009 clauses out of 30031 with flag 126000/563328
110.72/108.96	c cleaning 16009 clauses out of 32022 with flag 143000/580328
114.81/113.03	c cleaning 17002 clauses out of 34014 with flag 161001/598329
118.23/116.40	c cleaning 18004 clauses out of 36012 with flag 180001/617329
121.85/120.00	c cleaning 18998 clauses out of 38007 with flag 200000/637328
126.07/124.27	c cleaning 19995 clauses out of 40009 with flag 221000/658328
131.09/129.28	c cleaning 21007 clauses out of 42014 with flag 243000/680328
136.02/134.12	c cleaning 22002 clauses out of 44007 with flag 266000/703328
141.33/139.49	c cleaning 22999 clauses out of 46006 with flag 290001/727329
147.18/145.22	c cleaning 24004 clauses out of 48008 with flag 315002/752330
152.97/151.08	c cleaning 25001 clauses out of 50003 with flag 341001/778329
158.40/156.47	c cleaning 25995 clauses out of 52001 with flag 368000/805328
165.32/163.31	c cleaning 27003 clauses out of 54006 with flag 396000/833328
173.84/171.87	c cleaning 28002 clauses out of 56003 with flag 425000/862328
183.67/181.69	c cleaning 28995 clauses out of 58002 with flag 455001/892329
189.99/187.91	c cleaning 30001 clauses out of 60007 with flag 486001/923329
196.91/194.86	c cleaning 31003 clauses out of 62006 with flag 518001/955329
204.46/202.33	c cleaning 32001 clauses out of 64002 with flag 551000/988328
212.51/210.37	c cleaning 32996 clauses out of 66001 with flag 585000/1022328
221.16/218.99	c cleaning 34000 clauses out of 68005 with flag 620000/1057328
230.68/228.43	c cleaning 35002 clauses out of 70006 with flag 656001/1093329
241.02/238.80	c cleaning 35995 clauses out of 72003 with flag 693000/1130328
251.14/248.83	c cleaning 37003 clauses out of 74009 with flag 731001/1168329
260.37/258.02	c cleaning 37495 clauses out of 75005 with flag 769000/1206328
269.73/267.37	c cleaning 37746 clauses out of 75511 with flag 807001/1244329
279.73/277.32	c cleaning 37870 clauses out of 75764 with flag 845000/1282328
289.16/286.73	c cleaning 37941 clauses out of 75895 with flag 883001/1320329
296.58/294.17	c cleaning 37968 clauses out of 75953 with flag 921000/1358328
304.93/302.50	c cleaning 37992 clauses out of 75985 with flag 959000/1396328
314.45/311.94	c cleaning 37991 clauses out of 75993 with flag 997000/1434328
323.80/321.27	c cleaning 37991 clauses out of 76003 with flag 1035001/1472329
333.82/331.23	c cleaning 38002 clauses out of 76013 with flag 1073002/1510330
343.45/340.88	c cleaning 37983 clauses out of 76010 with flag 1111001/1548329
345.58/342.99	c Got one! Elapsed wall clock time (in seconds):342.878
345.58/342.99	o -37
346.99/344.37	c cleaning 27100 clauses out of 54209 with flag 5001/1564511
348.19/345.55	c cleaning 16551 clauses out of 33108 with flag 11000/1570510
349.49/346.88	c cleaning 11775 clauses out of 23558 with flag 18001/1577511
351.00/348.38	c cleaning 9888 clauses out of 19782 with flag 26000/1585510
352.80/350.14	c cleaning 9447 clauses out of 18895 with flag 35001/1594511
354.72/352.09	c cleaning 9724 clauses out of 19448 with flag 45001/1604511
356.92/354.24	c cleaning 10357 clauses out of 20724 with flag 56001/1615511
359.21/356.55	c cleaning 11179 clauses out of 22366 with flag 68000/1627510
361.82/359.17	c cleaning 12091 clauses out of 24187 with flag 81000/1640510
364.83/362.15	c cleaning 13042 clauses out of 26097 with flag 95001/1654511
367.64/364.90	c cleaning 14014 clauses out of 28054 with flag 110000/1669510
370.75/368.04	c cleaning 15021 clauses out of 30041 with flag 126001/1685511
374.26/371.55	c cleaning 16009 clauses out of 32020 with flag 143001/1702511
378.26/375.55	c cleaning 16998 clauses out of 34011 with flag 161001/1720511
382.47/379.70	c cleaning 17997 clauses out of 36012 with flag 180000/1739510
386.88/384.20	c cleaning 19001 clauses out of 38015 with flag 200000/1759510
391.99/389.22	c cleaning 20004 clauses out of 40014 with flag 221000/1780510
396.90/394.14	c cleaning 20998 clauses out of 42010 with flag 243000/1802510
401.60/398.82	c cleaning 22006 clauses out of 44013 with flag 266001/1825511
407.02/404.22	c cleaning 22994 clauses out of 46007 with flag 290001/1849511
412.73/409.93	c cleaning 24005 clauses out of 48013 with flag 315001/1874511
418.66/415.89	c cleaning 24995 clauses out of 50008 with flag 341001/1900511
425.45/422.69	c cleaning 26006 clauses out of 52013 with flag 368001/1927511
432.87/430.04	c cleaning 27004 clauses out of 54007 with flag 396001/1955511
439.87/437.07	c cleaning 27992 clauses out of 56002 with flag 425000/1984510
447.38/444.53	c cleaning 29004 clauses out of 58010 with flag 455000/2014510
453.60/450.73	c cleaning 30004 clauses out of 60007 with flag 486001/2045511
460.72/457.81	c cleaning 31001 clauses out of 62002 with flag 518000/2077510
467.86/464.98	c cleaning 31989 clauses out of 64002 with flag 551001/2110511
476.08/473.11	c cleaning 33001 clauses out of 66012 with flag 585000/2144510
483.62/480.64	c cleaning 34006 clauses out of 68011 with flag 620000/2179510
494.13/491.15	c cleaning 35003 clauses out of 70005 with flag 656000/2215510
504.75/501.73	c cleaning 35993 clauses out of 72004 with flag 693002/2252512
515.18/512.10	c cleaning 36998 clauses out of 74009 with flag 731000/2290510
526.01/522.91	c cleaning 37503 clauses out of 75011 with flag 769000/2328510
534.95/531.89	c cleaning 37749 clauses out of 75509 with flag 807001/2366511
545.07/541.95	c cleaning 37873 clauses out of 75759 with flag 845000/2404510
555.49/552.31	c cleaning 37937 clauses out of 75886 with flag 883000/2442510
565.01/561.89	c cleaning 37975 clauses out of 75949 with flag 921000/2480510
575.15/571.99	c cleaning 37982 clauses out of 75974 with flag 959000/2518510
586.06/582.88	c cleaning 37994 clauses out of 75993 with flag 997001/2556511
596.67/593.44	c cleaning 37992 clauses out of 75998 with flag 1035000/2594510
607.81/604.54	c cleaning 38003 clauses out of 76006 with flag 1073000/2632510
619.02/615.72	c cleaning 37994 clauses out of 76003 with flag 1111000/2670510
628.65/625.36	c cleaning 37996 clauses out of 76010 with flag 1149001/2708511
638.88/635.50	c cleaning 38003 clauses out of 76013 with flag 1187000/2746510
650.30/646.94	c cleaning 37999 clauses out of 76010 with flag 1225000/2784510
660.53/657.15	c cleaning 38002 clauses out of 76011 with flag 1263000/2822510
671.75/668.38	c cleaning 37987 clauses out of 76009 with flag 1301000/2860510
682.37/678.95	c cleaning 38008 clauses out of 76022 with flag 1339000/2898510
693.68/690.24	c cleaning 38002 clauses out of 76015 with flag 1377001/2936511
705.41/701.92	c cleaning 37992 clauses out of 76012 with flag 1415000/2974510
716.63/713.11	c cleaning 38009 clauses out of 76020 with flag 1453000/3012510
724.53/721.07	c cleaning 37996 clauses out of 76012 with flag 1491001/3050511
732.77/729.21	c cleaning 38003 clauses out of 76015 with flag 1529000/3088510
742.59/739.01	c cleaning 37989 clauses out of 76013 with flag 1567001/3126511
751.42/747.80	c cleaning 38007 clauses out of 76023 with flag 1605000/3164510
760.76/757.17	c cleaning 37995 clauses out of 76017 with flag 1643001/3202511
768.77/765.19	c cleaning 37999 clauses out of 76021 with flag 1681000/3240510
778.00/774.36	c cleaning 37991 clauses out of 76022 with flag 1719000/3278510
787.50/783.89	c cleaning 37994 clauses out of 76031 with flag 1757000/3316510
796.84/793.19	c cleaning 38012 clauses out of 76037 with flag 1795000/3354510
807.05/803.34	c cleaning 38009 clauses out of 76025 with flag 1833000/3392510
816.59/812.88	c cleaning 38008 clauses out of 76016 with flag 1871000/3430510
827.71/823.91	c cleaning 37995 clauses out of 76008 with flag 1909000/3468510
837.74/833.95	c cleaning 38000 clauses out of 76013 with flag 1947000/3506510
847.26/843.47	c cleaning 37994 clauses out of 76013 with flag 1985000/3544510
856.98/853.11	c cleaning 37995 clauses out of 76019 with flag 2023000/3582510
866.88/863.04	c cleaning 38002 clauses out of 76024 with flag 2061000/3620510
876.71/872.83	c cleaning 38006 clauses out of 76022 with flag 2099000/3658510
886.23/882.37	c cleaning 37998 clauses out of 76016 with flag 2137000/3696510
895.98/892.06	c cleaning 37989 clauses out of 76018 with flag 2175000/3734510
905.48/901.54	c cleaning 38009 clauses out of 76029 with flag 2213000/3772510
914.89/910.90	c cleaning 38000 clauses out of 76020 with flag 2251000/3810510
924.99/921.00	c cleaning 37998 clauses out of 76020 with flag 2289000/3848510
935.01/931.00	c cleaning 37999 clauses out of 76022 with flag 2327000/3886510
945.02/941.04	c cleaning 38004 clauses out of 76023 with flag 2365000/3924510
954.53/950.56	c cleaning 38005 clauses out of 76019 with flag 2403000/3962510
964.64/960.65	c cleaning 38001 clauses out of 76015 with flag 2441001/4000511
974.28/970.28	c cleaning 37994 clauses out of 76014 with flag 2479001/4038511
984.79/980.74	c cleaning 37992 clauses out of 76020 with flag 2517001/4076511
993.89/989.84	c cleaning 38010 clauses out of 76028 with flag 2555001/4114511
1003.91/999.90	c cleaning 37998 clauses out of 76018 with flag 2593001/4152511
1014.70/1010.67	c cleaning 38001 clauses out of 76019 with flag 2631000/4190510
1024.83/1020.77	c cleaning 38005 clauses out of 76019 with flag 2669001/4228511
1034.42/1030.33	c cleaning 38004 clauses out of 76014 with flag 2707001/4266511
1044.53/1040.48	c cleaning 38001 clauses out of 76009 with flag 2745000/4304510
1054.73/1050.69	c cleaning 37998 clauses out of 76008 with flag 2783000/4342510
1064.75/1060.69	c cleaning 37996 clauses out of 76010 with flag 2821000/4380510
1075.26/1071.11	c cleaning 37996 clauses out of 76014 with flag 2859000/4418510
1086.07/1081.98	c cleaning 38010 clauses out of 76019 with flag 2897001/4456511
1095.69/1091.50	c cleaning 37985 clauses out of 76008 with flag 2935000/4494510
1104.00/1099.82	c cleaning 38008 clauses out of 76023 with flag 2973000/4532510
1111.63/1107.49	c cleaning 37997 clauses out of 76017 with flag 3011002/4570512
1122.06/1117.84	c cleaning 38005 clauses out of 76018 with flag 3049000/4608510
1131.58/1127.41	c cleaning 37997 clauses out of 76014 with flag 3087001/4646511
1140.29/1136.03	c cleaning 38004 clauses out of 76016 with flag 3125000/4684510
1149.71/1145.48	c cleaning 37996 clauses out of 76013 with flag 3163001/4722511
1158.85/1154.50	c cleaning 38002 clauses out of 76016 with flag 3201000/4760510
1168.09/1163.79	c cleaning 37993 clauses out of 76014 with flag 3239000/4798510
1175.81/1171.50	c cleaning 38004 clauses out of 76022 with flag 3277001/4836511
1185.83/1181.45	c cleaning 37992 clauses out of 76017 with flag 3315000/4874510
1194.73/1190.32	c cleaning 38007 clauses out of 76025 with flag 3353000/4912510
1204.64/1200.21	c cleaning 38002 clauses out of 76019 with flag 3391001/4950511
1214.15/1209.74	c cleaning 37994 clauses out of 76016 with flag 3429000/4988510
1223.08/1218.69	c cleaning 38002 clauses out of 76022 with flag 3467000/5026510
1232.59/1228.14	c cleaning 38005 clauses out of 76021 with flag 3505001/5064511
1242.79/1238.32	c cleaning 37995 clauses out of 76015 with flag 3543000/5102510
1251.50/1247.01	c cleaning 38000 clauses out of 76020 with flag 3581000/5140510
1261.31/1256.86	c cleaning 37999 clauses out of 76020 with flag 3619000/5178510
1271.31/1266.86	c cleaning 38003 clauses out of 76022 with flag 3657001/5216511
1280.63/1276.17	c cleaning 38000 clauses out of 76018 with flag 3695000/5254510
1290.24/1285.72	c cleaning 37989 clauses out of 76019 with flag 3733001/5292511
1300.56/1296.07	c cleaning 38006 clauses out of 76029 with flag 3771000/5330510
1311.38/1306.84	c cleaning 38002 clauses out of 76023 with flag 3809000/5368510
1321.07/1316.57	c cleaning 37995 clauses out of 76021 with flag 3847000/5406510
1330.69/1326.17	c cleaning 37994 clauses out of 76027 with flag 3885001/5444511
1340.91/1336.34	c cleaning 38008 clauses out of 76033 with flag 3923001/5482511
1350.01/1345.49	c cleaning 38009 clauses out of 76026 with flag 3961002/5520512
1359.96/1355.34	c cleaning 38001 clauses out of 76015 with flag 3999000/5558510
1369.27/1364.66	c cleaning 38004 clauses out of 76015 with flag 4037001/5596511
1379.18/1374.57	c cleaning 37998 clauses out of 76010 with flag 4075000/5634510
1388.40/1383.79	c cleaning 38002 clauses out of 76014 with flag 4113002/5672512
1398.20/1393.60	c cleaning 37985 clauses out of 76010 with flag 4151000/5710510
1407.64/1402.94	c cleaning 38004 clauses out of 76025 with flag 4189000/5748510
1417.64/1412.93	c cleaning 38006 clauses out of 76021 with flag 4227000/5786510
1427.55/1422.86	c cleaning 37996 clauses out of 76015 with flag 4265000/5824510
1438.07/1433.36	c cleaning 38006 clauses out of 76020 with flag 4303001/5862511
1447.98/1443.29	c cleaning 38002 clauses out of 76013 with flag 4341000/5900510
1458.57/1453.87	c cleaning 37991 clauses out of 76011 with flag 4379000/5938510
1469.59/1464.88	c cleaning 37995 clauses out of 76020 with flag 4417000/5976510
1480.39/1475.63	c cleaning 38009 clauses out of 76025 with flag 4455000/6014510
1489.90/1485.19	c cleaning 37994 clauses out of 76017 with flag 4493001/6052511
1499.52/1494.73	c cleaning 38001 clauses out of 76022 with flag 4531000/6090510
1509.33/1504.59	c cleaning 38004 clauses out of 76022 with flag 4569001/6128511
1518.64/1513.84	c cleaning 38001 clauses out of 76017 with flag 4607000/6166510
1528.65/1523.83	c cleaning 38000 clauses out of 76017 with flag 4645001/6204511
1537.96/1533.10	c cleaning 38004 clauses out of 76017 with flag 4683001/6242511
1547.76/1542.96	c cleaning 37995 clauses out of 76012 with flag 4721000/6280510
1557.47/1552.63	c cleaning 38004 clauses out of 76017 with flag 4759000/6318510
1566.90/1562.04	c cleaning 37996 clauses out of 76013 with flag 4797000/6356510
1576.82/1571.95	c cleaning 38005 clauses out of 76017 with flag 4835000/6394510
1587.01/1582.14	c cleaning 37999 clauses out of 76013 with flag 4873001/6432511
1597.22/1592.37	c cleaning 37991 clauses out of 76013 with flag 4911000/6470510
1607.73/1602.86	c cleaning 38003 clauses out of 76023 with flag 4949001/6508511
1618.23/1613.36	c cleaning 37999 clauses out of 76020 with flag 4987001/6546511
1628.65/1623.76	c cleaning 38000 clauses out of 76020 with flag 5025000/6584510
1638.75/1633.84	c cleaning 37999 clauses out of 76021 with flag 5063001/6622511
1649.56/1644.61	c cleaning 38004 clauses out of 76021 with flag 5101000/6660510
1660.49/1655.57	c cleaning 38001 clauses out of 76017 with flag 5139000/6698510
1671.98/1667.05	c cleaning 38003 clauses out of 76017 with flag 5177001/6736511
1682.18/1677.25	c cleaning 38001 clauses out of 76014 with flag 5215001/6774511
1690.03/1685.11	c cleaning 37992 clauses out of 76012 with flag 5253000/6812510
1699.15/1694.14	c cleaning 38002 clauses out of 76020 with flag 5291000/6850510
1709.17/1704.14	c cleaning 37982 clauses out of 76018 with flag 5329000/6888510
1718.18/1713.11	c cleaning 37998 clauses out of 76036 with flag 5367000/6926510
1727.10/1722.03	c cleaning 38010 clauses out of 76038 with flag 5405000/6964510
1736.73/1731.66	c cleaning 38000 clauses out of 76028 with flag 5443000/7002510
1747.15/1742.02	c cleaning 38005 clauses out of 76029 with flag 5481001/7040511
1755.68/1750.56	c cleaning 38008 clauses out of 76023 with flag 5519000/7078510
1765.49/1760.31	c cleaning 38002 clauses out of 76015 with flag 5557000/7116510
1774.51/1769.36	c cleaning 37993 clauses out of 76014 with flag 5595001/7154511
1784.31/1779.17	c cleaning 37996 clauses out of 76020 with flag 5633000/7192510
1792.24/1787.07	c cleaning 38003 clauses out of 76025 with flag 5671001/7230511
1800.08/1794.82	c starts		: 308
1800.08/1794.82	c conflicts		: 7263572
1800.08/1794.82	c decisions		: 7611491
1800.08/1794.82	c propagations		: 43579711
1800.08/1794.82	c inspects		: 13017874578
1800.08/1794.82	c shortcuts		: 0
1800.08/1794.82	c learnt literals	: 0
1800.08/1794.82	c learnt binary clauses	: 0
1800.08/1794.82	c learnt ternary clauses	: 0
1800.08/1794.82	c learnt constraints	: 7263573
1800.08/1794.82	c ignored constraints	: 0
1800.08/1794.82	c root simplifications	: 0
1800.08/1794.82	c removed literals (reason simplification)	: 94168962
1800.08/1794.82	c reason swapping (by a shorter reason)	: 0
1800.08/1794.82	c Calls to reduceDB	: 237
1800.08/1794.82	c number of reductions to clauses (during analyze)	: 0
1800.08/1794.82	c number of learned constraints concerned by reduction	: 0
1800.08/1794.82	c number of learning phase by resolution	: 0
1800.08/1794.82	c number of learning phase by cutting planes	: 0
1800.08/1794.82	c speed (assignments/second)	: 30016.96885874162
1800.08/1794.82	c non guided choices	0
1800.08/1794.85	c learnt constraints type 
1800.08/1794.85	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 71145
1800.08/1794.85	c constraints type 
1800.08/1794.85	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 18744
1800.08/1794.85	c org.sat4j.minisat.constraints.cnf.UnitClauses => 500
1800.08/1794.85	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.08/1794.85	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 18744
1800.08/1794.85	s SATISFIABLE
1800.08/1794.85	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 -x401 -x402 x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 x411 -x412 -x413 -x414 -x415 -x416 x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 x426 -x427 x428 -x429 -x430 x431 x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 x490 -x491 -x492 x493 -x494 -x495 x496 -x497 -x498 -x499 -x500 
1800.08/1794.85	c objective function=-37
1800.08/1794.85	c Total wall clock time (in seconds): 1794.742

Verifier Data 

OK	-37

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-3458359-1307159512/watcher-3458359-1307159512 -o /tmp/evaluation-result-3458359-1307159512/solver-3458359-1307159512 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458359-1307159512.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: 1.92 1.99 1.99 2/473 23134
/proc/meminfo: memFree=24385220/32951124 swapFree=60476376/67111528
[pid=23134] ppid=23132 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/23134/stat : 23134 (java) S 23132 23134 19226 0 -1 4202496 5750 0 1 0 0 0 0 0 25 0 2 0 808367155 13850947584 5453 33554432000 1073741824 1073778376 140734192105376 18446744073709551615 220828039141 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/23134/statm: 3381579 5467 917 9 0 3372735 0
[pid=23134/tid=23135] ppid=23132 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/23134/task/23135/stat : 23135 (java) R 23132 23134 19226 0 -1 4202560 6434 0 1 0 0 0 0 0 25 0 2 0 808367155 13850947584 7250 33554432000 1073741824 1073778376 140734192105376 18446744073709551615 220815930427 0 4 0 16784584 0 0 0 -1 2 0 0 0

[startup+0.045254 s]
/proc/loadavg: 1.92 1.99 1.99 2/473 23134
/proc/meminfo: memFree=24385220/32951124 swapFree=60476376/67111528
[pid=23134] ppid=23132 vsize=13549480 CPUtime=0.03 cores=0,2,4,6
/proc/23134/stat : 23134 (java) S 23132 23134 19226 0 -1 4202496 13753 0 1 0 2 1 0 0 25 0 13 0 808367155 13874667520 13450 33554432000 1073741824 1073778376 140734192105376 18446744073709551615 220828039141 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/23134/statm: 3387370 13451 1672 9 0 3378118 0
[pid=23134/tid=23135] ppid=23132 vsize=13549480 CPUtime=0.03 cores=0,2,4,6
/proc/23134/task/23135/stat : 23135 (java) R 23132 23134 19226 0 -1 4202560 12607 0 1 0 2 1 0 0 25 0 13 0 808367155 13874667520 13451 33554432000 1073741824 1073778376 140734192105376 18446744073709551615 47317675789816 0 4 0 16784584 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13549480

[startup+0.106224 s]
/proc/loadavg: 1.92 1.99 1.99 2/473 23134
/proc/meminfo: memFree=24385220/32951124 swapFree=60476376/67111528
[pid=23134] ppid=23132 vsize=13687576 CPUtime=0.1 cores=0,2,4,6
/proc/23134/stat : 23134 (java) S 23132 23134 19226 0 -1 4202496 15637 0 1 0 9 1 0 0 25 0 18 0 808367155 14016077824 15304 33554432000 1073741824 1073778376 140734192105376 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/23134/statm: 3421894 15305 2093 9 0 3412628 0
[pid=23134/tid=23135] ppid=23132 vsize=13687576 CPUtime=0.09 cores=0,2,4,6
/proc/23134/task/23135/stat : 23135 (java) R 23132 23134 19226 0 -1 4202560 13733 0 1 0 8 1 0 0 18 0 18 0 808367155 14016077824 15306 33554432000 1073741824 1073778376 140734192105376 18446744073709551615 46912505099250 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13687576

[startup+0.301147 s]
/proc/loadavg: 1.92 1.99 1.99 2/473 23134
/proc/meminfo: memFree=24385220/32951124 swapFree=60476376/67111528
[pid=23134] ppid=23132 vsize=13688380 CPUtime=0.46 cores=0,2,4,6
/proc/23134/stat : 23134 (java) S 23132 23134 19226 0 -1 4202496 18186 0 1 0 44 2 0 0 25 0 18 0 808367155 14016901120 17658 33554432000 1073741824 1073778376 140734192105376 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/23134/statm: 3422095 17658 2210 9 0 3412829 0
[pid=23134/tid=23135] ppid=23132 vsize=13688380 CPUtime=0.28 cores=0,2,4,6
/proc/23134/task/23135/stat : 23135 (java) R 23132 23134 19226 0 -1 4202560 15300 0 1 0 27 1 0 0 18 0 18 0 808367155 14016901120 17658 33554432000 1073741824 1073778376 140734192105376 18446744073709551615 46912505553439 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 13688380

[startup+0.701096 s]
/proc/loadavg: 1.92 1.99 1.99 2/473 23134
/proc/meminfo: memFree=24385220/32951124 swapFree=60476376/67111528
[pid=23134] ppid=23132 vsize=13698464 CPUtime=1.62 cores=0,2,4,6
/proc/23134/stat : 23134 (java) S 23132 23134 19226 0 -1 4202496 38956 0 1 0 157 5 0 0 25 0 19 0 808367155 14027227136 35065 33554432000 1073741824 1073778376 140734192105376 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/23134/statm: 3424616 35065 2237 9 0 3415350 0
[pid=23134/tid=23135] ppid=23132 vsize=13698464 CPUtime=0.68 cores=0,2,4,6
/proc/23134/task/23135/stat : 23135 (java) R 23132 23134 19226 0 -1 4202560 29191 0 1 0 65 3 0 0 19 0 19 0 808367155 14027227136 35065 33554432000 1073741824 1073778376 140734192105376 18446744073709551615 47317672403049 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.62
Current children cumulated vsize (KiB) 13698464

[startup+1.50099 s]
/proc/loadavg: 1.92 1.99 1.99 4/492 23153
/proc/meminfo: memFree=24243456/32951124 swapFree=60476376/67111528
[pid=23134] ppid=23132 vsize=13698464 CPUtime=2.69 cores=0,2,4,6
/proc/23134/stat : 23134 (java) S 23132 23134 19226 0 -1 4202496 43380 0 1 0 264 5 0 0 25 0 19 0 808367155 14027227136 39488 33554432000 1073741824 1073778376 140734192105376 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/23134/statm: 3424616 39488 2243 9 0 3415350 0
[pid=23134/tid=23135] ppid=23132 vsize=13698464 CPUtime=1.48 cores=0,2,4,6
/proc/23134/task/23135/stat : 23135 (java) R 23132 23134 19226 0 -1 4202560 33549 0 1 0 144 4 0 0 20 0 19 0 808367155 14027227136 39488 33554432000 1073741824 1073778376 140734192105376 18446744073709551615 46912506037070 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=23134/tid=23137] ppid=23132 vsize=13698464 CPUtime=0 cores=0,2,4,6
/proc/23134/task/23137/stat : 23137 (java) S 23132 23134 19226 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808367157 14027227136 39488 33554432000 1073741824 1073778376 140734192105376 18446744073709551615 220828052377 0 4 0 16800975 18446604447251458240 0 0 -1 4 0 0 0
[pid=23134/tid=23138] ppid=23132 vsize=13698464 CPUtime=0 cores=0,2,4,6
/proc/23134/task/23138/stat : 23138 (java) S 23132 23134 19226 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808367157 14027227136 39488 33554432000 1073741824 1073778376 140734192105376 18446744073709551615 220828052377 0 4 0 16800975 18446604447251458240 0 0 -1 4 0 0 0
[pid=23134/tid=23139] ppid=23132 vsize=13698464 CPUtime=0 cores=0,2,4,6
/proc/23134/task/23139/stat : 23139 (java) S 23132 23134 19226 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808367157 14027227136 39488 33554432000 1073741824 1073778376 140734192105376 18446744073709551615 220828052377 0 4 0 16800975 18446604447251458240 0 0 -1 4 0 0 0
[pid=23134/tid=23140] ppid=23132 vsize=13698464 CPUtime=0 cores=0,2,4,6
/proc/23134/task/23140/stat : 23140 (java) S 23132 23134 19226 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808367157 14027227136 39488 33554432000 1073741824 1073778376 140734192105376 18446744073709551615 220828052377 0 4 0 16800975 18446604447251458240 0 0 -1 4 0 0 0
[pid=23134/tid=23141] ppid=23132 vsize=13698464 CPUtime=0 cores=0,2,4,6
/proc/23134/task/23141/stat : 23141 (java) S 23132 23134 19226 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808367157 14027227136 39488 33554432000 1073741824 1073778376 140734192105376 18446744073709551615 220828052377 0 4 0 16800975 18446604447251458240 0 0 -1 4 0 0 0
[pid=23134/tid=23142] ppid=23132 vsize=13698464 CPUtime=0 cores=0,2,4,6
/proc/23134/task/23142/stat : 23142 (java) S 23132 23134 19226 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808367157 14027227136 39488 33554432000 1073741824 1073778376 140734192105376 18446744073709551615 220828052377 0 4 0 16800975 18446604447251458240 0 0 -1 4 0 0 0
[pid=23134/tid=23143] ppid=23132 vsize=13698464 CPUtime=0 cores=0,2,4,6
/proc/23134/task/23143/stat : 23143 (java) S 23132 23134 19226 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808367157 14027227136 39488 33554432000 1073741824 1073778376 140734192105376 18446744073709551615 220828052377 0 4 0 16800975 18446604447251458240 0 0 -1 4 0 0 0
[pid=23134/tid=23144] ppid=23132 vsize=13698464 CPUtime=0 cores=0,2,4,6
/proc/23134/task/23144/stat : 23144 (java) S 23132 23134 19226 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808367157 14027227136 39488 33554432000 1073741824 1073778376 140734192105376 18446744073709551615 220828052377 0 4 0 16800975 18446604447251458240 0 0 -1 4 0 0 0
[pid=23134/tid=23145] ppid=23132 vsize=13698464 CPUtime=0 cores=0,2,4,6
/proc/23134/task/23145/stat : 23145 (java) S 23132 23134 19226 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 808367158 14027227136 39488 33554432000 1073741824 1073778376 140734192105376 18446744073709551615 220828052992 0 0 0 16800975 18446604447251458240 0 0 -1 6 0 0 0
[pid=23134/tid=23146] ppid=23132 vsize=13698464 CPUtime=0 cores=0,2,4,6
/proc/23134/task/23146/stat : 23146 (java) S 23132 23134 19226 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 808367159 14027227136 39488 33554432000 1073741824 1073778376 140734192105376 18446744073709551615 220828052377 0 4 0 16800975 18446604447251458240 0 0 -1 4 0 0 0
[pid=23134/tid=23147] ppid=23132 vsize=13698464 CPUtime=0 cores=0,2,4,6
/proc/23134/task/23147/stat : 23147 (java) S 23132 23134 19226 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 808367159 14027227136 39488 33554432000 1073741824 1073778376 140734192105376 18446744073709551615 220828052377 0 4 0 16800975 18446604447251458240 0 0 -1 4 0 0 0
[pid=23134/tid=23148] ppid=23132 vsize=13698464 CPUtime=0 cores=0,2,4,6
/proc/23134/task/23148/stat : 23148 (java) S 23132 23134 19226 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808367161 14027227136 39488 33554432000 1073741824 1073778376 140734192105376 18446744073709551615 220828060081 0 4 0 16800975 18446604447251458240 0 0 -1 6 0 0 0
[pid=23134/tid=23149] ppid=23132 vsize=13698464 CPUtime=0.58 cores=0,2,4,6
/proc/23134/task/23149/stat : 23149 (java) S 23132 23134 19226 0 -1 4202560 4651 0 0 0 58 0 0 0 16 0 19 0 808367161 14027227136 39488 33554432000 1073741824 1073778376 140734192105376 18446744073709551615 220828052377 0 4 0 16800975 18446604447251458240 0 0 -1 2 0 0 0
[pid=23134/tid=23150] ppid=23132 vsize=13698464 CPUtime=0.61 cores=0,2,4,6
/proc/23134/task/23150/stat : 23150 (java) S 23132 23134 19226 0 -1 4202560 4020 0 0 0 60 1 0 0 20 0 19 0 808367161 14027227136 39488 33554432000 1073741824 1073778376 140734192105376 18446744073709551615 220828052377 0 4 0 16800975 18446604447251458240 0 0 -1 6 0 0 0
[pid=23134/tid=23151] ppid=23132 vsize=13698464 CPUtime=0 cores=0,2,4,6
/proc/23134/task/23151/stat : 23151 (java) S 23132 23134 19226 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808367161 14027227136 39488 33554432000 1073741824 1073778376 140734192105376 18446744073709551615 220828052377 0 4 0 16800975 18446604447251458240 0 0 -1 6 0 0 0
[pid=23134/tid=23152] ppid=23132 vsize=13698464 CPUtime=0 cores=0,2,4,6
/proc/23134/task/23152/stat : 23152 (java) S 23132 23134 19226 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 808367161 14027227136 39488 33554432000 1073741824 1073778376 140734192105376 18446744073709551615 220828052992 0 4 0 16800975 18446604447251458240 0 0 -1 6 0 0 0
[pid=23134/tid=23153] ppid=23132 vsize=13698464 CPUtime=0 cores=0,2,4,6
/proc/23134/task/23153/stat : 23153 (java) S 23132 23134 19226 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 808367222 14027227136 39488 33554432000 1073741824 1073778376 140734192105376 18446744073709551615 220828052992 0 4 0 16800975 18446604447251458240 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.69
Current children cumulated vsize (KiB) 13698464

[startup+3.10166 s]
/proc/loadavg: 1.92 1.99 1.99 3/492 23153
/proc/meminfo: memFree=24202784/32951124 swapFree=60476376/67111528
[pid=23134] ppid=23132 vsize=13698464 CPUtime=4.4 cores=0,2,4,6
/proc/23134/stat : 23134 (java) S 23132 23134 19226 0 -1 4202496 59987 0 1 0 433 7 0 0 25 0 19 0 808367155 14027227136 56083 33554432000 1073741824 1073778376 140734192105376 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/23134/statm: 3424616 56083 2270 9 0 3415350 0
[pid=23134/tid=23135] ppid=23132 vsize=13698464 CPUtime=2.93 cores=0,2,4,6
/proc/23134/task/23135/stat : 23135 (java) R 23132 23134 19226 0 -1 4202560 35175 0 1 0 289 4 0 0 22 0 19 0 808367155 14027227136 56083 33554432000 1073741824 1073778376 140734192105376 18446744073709551615 46912506050449 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=23134/tid=23137] ppid=23132 vsize=13698464 CPUtime=0 cores=0,2,4,6
/proc/23134/task/23137/stat : 23137 (java) S 23132 23134 19226 0 -1 4202560 1839 0 0 0 0 0 0 0 15 0 19 0 808367157 14027227136 56083 33554432000 1073741824 1073778376 140734192105376 18446744073709551615 220828052377 0 4 0 16800975 18446604447251458240 0 0 -1 4 0 0 0
[pid=23134/tid=23138] ppid=23132 vsize=13698464 CPUtime=0 cores=0,2,4,6
/proc/23134/task/23138/stat : 23138 (java) S 23132 23134 19226 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 808367157 14027227136 56083 33554432000 1073741824 1073778376 140734192105376 18446744073709551615 220828052377 0 4 0 16800975 18446604447251458240 0 0 -1 4 0 0 0
[pid=23134/tid=23139] ppid=23132 vsize=13698464 CPUtime=0 cores=0,2,4,6
/proc/23134/task/23139/stat : 23139 (java) S 23132 23134 19226 0 -1 4202560 792 0 0 0 0 0 0 0 18 0 19 0 808367157 14027227136 56083 33554432000 1073741824 1073778376 140734192105376 18446744073709551615 220828052377 0 4 0 16800975 18446604447251458240 0 0 -1 4 0 0 0
[pid=23134/tid=23140] ppid=23132 vsize=13698464 CPUtime=0 cores=0,2,4,6
/proc/23134/task/23140/stat : 23140 (java) S 23132 23134 19226 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 808367157 14027227136 56083 33554432000 1073741824 1073778376 140734192105376 18446744073709551615 220828052377 0 4 0 16800975 18446604447251458240 0 0 -1 4 0 0 0
[pid=23134/tid=23141] ppid=23132 vsize=13698464 CPUtime=0 cores=0,2,4,6
/proc/23134/task/23141/stat : 23141 (java) S 23132 23134 19226 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 808367157 14027227136 56083 33554432000 1073741824 1073778376 140734192105376 18446744073709551615 220828052377 0 4 0 16800975 18446604447251458240 0 0 -1 4 0 0 0
[pid=23134/tid=23142] ppid=23132 vsize=13698464 CPUtime=0.01 cores=0,2,4,6
/proc/23134/task/23142/stat : 23142 (java) S 23132 23134 19226 0 -1 4202560 1415 0 0 0 1 0 0 0 18 0 19 0 808367157 14027227136 56083 33554432000 1073741824 1073778376 140734192105376 18446744073709551615 220828052377 0 4 0 16800975 18446604447251458240 0 0 -1 4 0 0 0
[pid=23134/tid=23143] ppid=23132 vsize=13698464 CPUtime=0.02 cores=0,2,4,6
/proc/23134/task/23143/stat : 23143 (java) S 23132 23134 19226 0 -1 4202560 3405 0 0 0 2 0 0 0 18 0 19 0 808367157 14027227136 56083 33554432000 1073741824 1073778376 140734192105376 18446744073709551615 220828052377 0 4 0 16800975 18446604447251458240 0 0 -1 4 0 0 0
[pid=23134/tid=23144] ppid=23132 vsize=13698464 CPUtime=0.01 cores=0,2,4,6
/proc/23134/task/23144/stat : 23144 (java) S 23132 23134 19226 0 -1 4202560 883 0 0 0 1 0 0 0 17 0 19 0 808367157 14027227136 56083 33554432000 1073741824 1073778376 140734192105376 18446744073709551615 220828052377 0 4 0 16800975 18446604447251458240 0 0 -1 4 0 0 0
[pid=23134/tid=23145] ppid=23132 vsize=13698464 CPUtime=0.1 cores=0,2,4,6
/proc/23134/task/23145/stat : 23145 (java) S 23132 23134 19226 0 -1 4202560 6634 0 0 0 10 0 0 0 16 0 19 0 808367158 14027227136 56083 33554432000 1073741824 1073778376 140734192105376 18446744073709551615 220828052992 0 0 0 16800975 18446604447251458240 0 0 -1 4 0 0 0
[pid=23134/tid=23146] ppid=23132 vsize=13698464 CPUtime=0 cores=0,2,4,6
/proc/23134/task/23146/stat : 23146 (java) S 23132 23134 19226 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 808367159 14027227136 56083 33554432000 1073741824 1073778376 140734192105376 18446744073709551615 220828052377 0 4 0 16800975 18446604447251458240 0 0 -1 4 0 0 0
[pid=23134/tid=23147] ppid=23132 vsize=13698464 CPUtime=0 cores=0,2,4,6
/proc/23134/task/23147/stat : 23147 (java) S 23132 23134 19226 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 808367159 14027227136 56083 33554432000 1073741824 1073778376 140734192105376 18446744073709551615 220828052377 0 4 0 16800975 18446604447251458240 0 0 -1 4 0 0 0
[pid=23134/tid=23148] ppid=23132 vsize=13698464 CPUtime=0 cores=0,2,4,6
/proc/23134/task/23148/stat : 23148 (java) S 23132 23134 19226 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808367161 14027227136 56083 33554432000 1073741824 1073778376 140734192105376 18446744073709551615 220828060081 0 4 0 16800975 18446604447251458240 0 0 -1 6 0 0 0
[pid=23134/tid=23149] ppid=23132 vsize=13698464 CPUtime=0.61 cores=0,2,4,6
/proc/23134/task/23149/stat : 23149 (java) S 23132 23134 19226 0 -1 4202560 4656 0 0 0 61 0 0 0 15 0 19 0 808367161 14027227136 56083 33554432000 1073741824 1073778376 140734192105376 18446744073709551615 220828052377 0 4 0 16800975 18446604447251458240 0 0 -1 2 0 0 0
[pid=23134/tid=23150] ppid=23132 vsize=13698464 CPUtime=0.66 cores=0,2,4,6
/proc/23134/task/23150/stat : 23150 (java) S 23132 23134 19226 0 -1 4202560 4035 0 0 0 65 1 0 0 15 0 19 0 808367161 14027227136 56083 33554432000 1073741824 1073778376 140734192105376 18446744073709551615 220828052377 0 4 0 16800975 18446604447251458240 0 0 -1 6 0 0 0
[pid=23134/tid=23151] ppid=23132 vsize=13698464 CPUtime=0 cores=0,2,4,6
/proc/23134/task/23151/stat : 23151 (java) S 23132 23134 19226 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808367161 14027227136 56083 33554432000 1073741824 1073778376 140734192105376 18446744073709551615 220828052377 0 4 0 16800975 18446604447251458240 0 0 -1 6 0 0 0
[pid=23134/tid=23152] ppid=23132 vsize=13698464 CPUtime=0 cores=0,2,4,6
/proc/23134/task/23152/stat : 23152 (java) S 23132 23134 19226 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 808367161 14027227136 56083 33554432000 1073741824 1073778376 140734192105376 18446744073709551615 220828052992 0 4 0 16800975 18446604447251458240 0 0 -1 6 0 0 0
[pid=23134/tid=23153] ppid=23132 vsize=13698464 CPUtime=0 cores=0,2,4,6
/proc/23134/task/23153/stat : 23153 (java) S 23132 23134 19226 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 808367222 14027227136 56083 33554432000 1073741824 1073778376 140734192105376 18446744073709551615 220828052992 0 4 0 16800975 18446604447251458240 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4.4
Current children cumulated vsize (KiB) 13698464

[startup+6.30111 s]
/proc/loadavg: 1.93 1.99 1.99 3/492 23153
/proc/meminfo: memFree=24156176/32951124 swapFree=60476376/67111528
[pid=23134] ppid=23132 vsize=13698464 CPUtime=7.65 cores=0,2,4,6
/proc/23134/stat : 23134 (java) S 23132 23134 19226 0 -1 4202496 62577 0 1 0 757 8 0 0 25 0 19 0 808367155 14027227136 58577 33554432000 1073741824 1073778376 140734192105376 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/23134/statm: 3424616 58577 2270 9 0 3415350 0
[pid=23134/tid=23135] ppid=23132 vsize=13698464 CPUtime=6 cores=0,2,4,6
/proc/23134/task/23135/stat : 23135 (java) R 23132 23134 19226 0 -1 4202560 35178 0 1 0 596 4 0 0 25 0 19 0 808367155 14027227136 58577 33554432000 1073741824 1073778376 140734192105376 18446744073709551615 46912506066981 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=23134/tid=23137] ppid=23132 vsize=13698464 CPUtime=0 cores=0,2,4,6
/proc/23134/task/23137/stat : 23137 (java) S 23132 23134 19226 0 -1 4202560 1839 0 0 0 0 0 0 0 15 0 19 0 808367157 14027227136 58577 33554432000 1073741824 1073778376 140734192105376 18446744073709551615 220828052377 0 4 0 16800975 18446604447251458240 0 0 -1 6 0 0 0
[pid=23134/tid=23138] ppid=23132 vsize=13698464 CPUtime=0 cores=0,2,4,6
/proc/23134/task/23138/stat : 23138 (java) S 23132 23134 19226 0 -1 4202560 442 0 0 0 0 0 0 0 15 0 19 0 808367157 14027227136 58577 33554432000 1073741824 1073778376 140734192105376 18446744073709551615 220828052377 0 4 0 16800975 18446604447251458240 0 0 -1 6 0 0 0
[pid=23134/tid=23139] ppid=23132 vsize=13698464 CPUtime=0 cores=0,2,4,6
/proc/23134/task/23139/stat : 23139 (java) S 23132 23134 19226 0 -1 4202560 792 0 0 0 0 0 0 0 18 0 19 0 808367157 14027227136 58577 33554432000 1073741824 1073778376 140734192105376 18446744073709551615 220828052377 0 4 0 16800975 18446604447251458240 0 0 -1 6 0 0 0
[pid=23134/tid=23140] ppid=23132 vsize=13698464 CPUtime=0 cores=0,2,4,6
/proc/23134/task/23140/stat : 23140 (java) S 23132 23134 19226 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 808367157 14027227136 58577 33554432000 1073741824 1073778376 140734192105376 18446744073709551615 220828052377 0 4 0 16800975 18446604447251458240 0 0 -1 6 0 0 0
[pid=23134/tid=23141] ppid=23132 vsize=13698464 CPUtime=0 cores=0,2,4,6
/proc/23134/task/23141/stat : 23141 (java) S 23132 23134 19226 0 -1 4202560 22 0 0 0 0 0 0 0 15 0 19 0 808367157 14027227136 58577 33554432000 1073741824 1073778376 140734192105376 18446744073709551615 220828052377 0 4 0 16800975 18446604447251458240 0 0 -1 6 0 0 0
[pid=23134/tid=23142] ppid=23132 vsize=13698464 CPUtime=0.02 cores=0,2,4,6
/proc/23134/task/23142/stat : 23142 (java) S 23132 23134 19226 0 -1 4202560 2107 0 0 0 2 0 0 0 15 0 19 0 808367157 14027227136 58577 33554432000 1073741824 1073778376 140734192105376 18446744073709551615 220828052377 0 4 0 16800975 18446604447251458240 0 0 -1 6 0 0 0
[pid=23134/tid=23143] ppid=23132 vsize=13698464 CPUtime=0.02 cores=0,2,4,6
/proc/23134/task/23143/stat : 23143 (java) S 23132 23134 19226 0 -1 4202560 3405 0 0 0 2 0 0 0 15 0 19 0 808367157 14027227136 58577 33554432000 1073741824 1073778376 140734192105376 18446744073709551615 220828052377 0 4 0 16800975 18446604447251458240 0 0 -1 6 0 0 0
[pid=23134/tid=23144] ppid=23132 vsize=13698464 CPUtime=0.01 cores=0,2,4,6
/proc/23134/task/23144/stat : 23144 (java) S 23132 23134 19226 0 -1 4202560 883 0 0 0 1 0 0 0 15 0 19 0 808367157 14027227136 58577 33554432000 1073741824 1073778376 140734192105376 18446744073709551615 220828052377 0 4 0 16800975 18446604447251458240 0 0 -1 6 0 0 0
[pid=23134/tid=23145] ppid=23132 vsize=13698464 CPUtime=0.22 cores=0,2,4,6
/proc/23134/task/23145/stat : 23145 (java) S 23132 23134 19226 0 -1 4202560 8055 0 0 0 22 0 0 0 15 0 19 0 808367158 14027227136 58577 33554432000 1073741824 1073778376 140734192105376 18446744073709551615 220828052992 0 0 0 16800975 18446604447251458240 0 0 -1 4 0 0 0
[pid=23134/tid=23146] ppid=23132 vsize=13698464 CPUtime=0 cores=0,2,4,6
/proc/23134/task/23146/stat : 23146 (java) S 23132 23134 19226 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 808367159 14027227136 58577 33554432000 1073741824 1073778376 140734192105376 18446744073709551615 220828052377 0 4 0 16800975 18446604447251458240 0 0 -1 4 0 0 0
[pid=23134/tid=23147] ppid=23132 vsize=13698464 CPUtime=0 cores=0,2,4,6
/proc/23134/task/23147/stat : 23147 (java) S 23132 23134 19226 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 808367159 14027227136 58577 33554432000 1073741824 1073778376 140734192105376 18446744073709551615 220828052377 0 4 0 16800975 18446604447251458240 0 0 -1 4 0 0 0
[pid=23134/tid=23148] ppid=23132 vsize=13698464 CPUtime=0 cores=0,2,4,6
/proc/23134/task/23148/stat : 23148 (java) S 23132 23134 19226 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808367161 14027227136 58577 33554432000 1073741824 1073778376 140734192105376 18446744073709551615 220828060081 0 4 0 16800975 18446604447251458240 0 0 -1 6 0 0 0
[pid=23134/tid=23149] ppid=23132 vsize=13698464 CPUtime=0.64 cores=0,2,4,6
/proc/23134/task/23149/stat : 23149 (java) S 23132 23134 19226 0 -1 4202560 4665 0 0 0 64 0 0 0 15 0 19 0 808367161 14027227136 58577 33554432000 1073741824 1073778376 140734192105376 18446744073709551615 220828052377 0 4 0 16800975 18446604447251458240 0 0 -1 2 0 0 0
[pid=23134/tid=23150] ppid=23132 vsize=13698464 CPUtime=0.67 cores=0,2,4,6
/proc/23134/task/23150/stat : 23150 (java) S 23132 23134 19226 0 -1 4202560 4035 0 0 0 66 1 0 0 15 0 19 0 808367161 14027227136 58577 33554432000 1073741824 1073778376 140734192105376 18446744073709551615 220828052377 0 4 0 16800975 18446604447251458240 0 0 -1 6 0 0 0

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

[pid=23134/tid=23142] ppid=23132 vsize=13698464 CPUtime=0.68 cores=0,2,4,6
/proc/23134/task/23142/stat : 23142 (java) S 23132 23134 19226 0 -1 4202560 3885 0 0 0 68 0 0 0 16 0 19 0 808367157 14027227136 104964 33554432000 1073741824 1073778376 140734192105376 18446744073709551615 220828052377 0 4 0 16800975 18446604447251458240 0 0 -1 2 0 0 0
[pid=23134/tid=23143] ppid=23132 vsize=13698464 CPUtime=0.56 cores=0,2,4,6
/proc/23134/task/23143/stat : 23143 (java) S 23132 23134 19226 0 -1 4202560 6176 0 0 0 56 0 0 0 15 0 19 0 808367157 14027227136 104964 33554432000 1073741824 1073778376 140734192105376 18446744073709551615 220828052377 0 4 0 16800975 18446604447251458240 0 0 -1 6 0 0 0
[pid=23134/tid=23144] ppid=23132 vsize=13698464 CPUtime=0.74 cores=0,2,4,6
/proc/23134/task/23144/stat : 23144 (java) S 23132 23134 19226 0 -1 4202560 4371 0 0 0 74 0 0 0 16 0 19 0 808367157 14027227136 104964 33554432000 1073741824 1073778376 140734192105376 18446744073709551615 220828052377 0 4 0 16800975 18446604447251458240 0 0 -1 6 0 0 0
[pid=23134/tid=23145] ppid=23132 vsize=13698464 CPUtime=18.89 cores=0,2,4,6
/proc/23134/task/23145/stat : 23145 (java) S 23132 23134 19226 0 -1 4202560 33113 0 0 0 1884 5 0 0 15 0 19 0 808367158 14027227136 104964 33554432000 1073741824 1073778376 140734192105376 18446744073709551615 220828052992 0 0 0 16800975 18446604447251458240 0 0 -1 4 0 0 0
[pid=23134/tid=23146] ppid=23132 vsize=13698464 CPUtime=0 cores=0,2,4,6
/proc/23134/task/23146/stat : 23146 (java) S 23132 23134 19226 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 808367159 14027227136 104964 33554432000 1073741824 1073778376 140734192105376 18446744073709551615 220828052377 0 4 0 16800975 18446604447251458240 0 0 -1 4 0 0 0
[pid=23134/tid=23147] ppid=23132 vsize=13698464 CPUtime=0 cores=0,2,4,6
/proc/23134/task/23147/stat : 23147 (java) S 23132 23134 19226 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 808367159 14027227136 104964 33554432000 1073741824 1073778376 140734192105376 18446744073709551615 220828052377 0 4 0 16800975 18446604447251458240 0 0 -1 4 0 0 0
[pid=23134/tid=23148] ppid=23132 vsize=13698464 CPUtime=0 cores=0,2,4,6
/proc/23134/task/23148/stat : 23148 (java) S 23132 23134 19226 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808367161 14027227136 104964 33554432000 1073741824 1073778376 140734192105376 18446744073709551615 220828060081 0 4 0 16800975 18446604447251458240 0 0 -1 6 0 0 0
[pid=23134/tid=23149] ppid=23132 vsize=13698464 CPUtime=0.69 cores=0,2,4,6
/proc/23134/task/23149/stat : 23149 (java) S 23132 23134 19226 0 -1 4202560 4680 0 0 0 69 0 0 0 15 0 19 0 808367161 14027227136 104964 33554432000 1073741824 1073778376 140734192105376 18446744073709551615 220828052377 0 4 0 16800975 18446604447251458240 0 0 -1 2 0 0 0
[pid=23134/tid=23150] ppid=23132 vsize=13698464 CPUtime=0.67 cores=0,2,4,6
/proc/23134/task/23150/stat : 23150 (java) S 23132 23134 19226 0 -1 4202560 4035 0 0 0 66 1 0 0 15 0 19 0 808367161 14027227136 104964 33554432000 1073741824 1073778376 140734192105376 18446744073709551615 220828052377 0 4 0 16800975 18446604447251458240 0 0 -1 6 0 0 0
[pid=23134/tid=23151] ppid=23132 vsize=13698464 CPUtime=0 cores=0,2,4,6
/proc/23134/task/23151/stat : 23151 (java) S 23132 23134 19226 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808367161 14027227136 104964 33554432000 1073741824 1073778376 140734192105376 18446744073709551615 220828052377 0 4 0 16800975 18446604447251458240 0 0 -1 6 0 0 0
[pid=23134/tid=23152] ppid=23132 vsize=13698464 CPUtime=0 cores=0,2,4,6
/proc/23134/task/23152/stat : 23152 (java) S 23132 23134 19226 0 -1 4202560 95 0 0 0 0 0 0 0 15 0 19 0 808367161 14027227136 104964 33554432000 1073741824 1073778376 140734192105376 18446744073709551615 220828052992 0 4 0 16800975 18446604447251458240 0 0 -1 2 0 0 0
[pid=23134/tid=23153] ppid=23132 vsize=13698464 CPUtime=0 cores=0,2,4,6
/proc/23134/task/23153/stat : 23153 (java) S 23132 23134 19226 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 808367222 14027227136 104964 33554432000 1073741824 1073778376 140734192105376 18446744073709551615 220828052992 0 4 0 16800975 18446604447251458240 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1667.28
Current children cumulated vsize (KiB) 13698464

[startup+1722.3 s]
/proc/loadavg: 1.02 1.44 1.75 2/468 23230
/proc/meminfo: memFree=24168980/32951124 swapFree=60476376/67111528
[pid=23134] ppid=23132 vsize=13698464 CPUtime=1727.43 cores=0,2,4,6
/proc/23134/stat : 23134 (java) S 23132 23134 19226 0 -1 4202496 109481 0 1 0 172725 18 0 0 25 0 19 0 808367155 14027227136 105049 33554432000 1073741824 1073778376 140734192105376 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/23134/statm: 3424616 105049 2271 9 0 3415350 0
[pid=23134/tid=23135] ppid=23132 vsize=13698464 CPUtime=1700.95 cores=0,2,4,6
/proc/23134/task/23135/stat : 23135 (java) R 23132 23134 19226 0 -1 4202560 35417 0 1 0 170091 4 0 0 25 0 19 0 808367155 14027227136 105049 33554432000 1073741824 1073778376 140734192105376 18446744073709551615 46912506033584 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=23134/tid=23137] ppid=23132 vsize=13698464 CPUtime=0.61 cores=0,2,4,6
/proc/23134/task/23137/stat : 23137 (java) S 23132 23134 19226 0 -1 4202560 5517 0 0 0 60 1 0 0 16 0 19 0 808367157 14027227136 105049 33554432000 1073741824 1073778376 140734192105376 18446744073709551615 220828052377 0 4 0 16800975 18446604447251458240 0 0 -1 2 0 0 0
[pid=23134/tid=23138] ppid=23132 vsize=13698464 CPUtime=0.78 cores=0,2,4,6
/proc/23134/task/23138/stat : 23138 (java) S 23132 23134 19226 0 -1 4202560 3466 0 0 0 78 0 0 0 16 0 19 0 808367157 14027227136 105049 33554432000 1073741824 1073778376 140734192105376 18446744073709551615 220828052377 0 4 0 16800975 18446604447251458240 0 0 -1 6 0 0 0
[pid=23134/tid=23139] ppid=23132 vsize=13698464 CPUtime=0.77 cores=0,2,4,6
/proc/23134/task/23139/stat : 23139 (java) S 23132 23134 19226 0 -1 4202560 4227 0 0 0 77 0 0 0 15 0 19 0 808367157 14027227136 105049 33554432000 1073741824 1073778376 140734192105376 18446744073709551615 220828052377 0 4 0 16800975 18446604447251458240 0 0 -1 6 0 0 0
[pid=23134/tid=23140] ppid=23132 vsize=13698464 CPUtime=0.61 cores=0,2,4,6
/proc/23134/task/23140/stat : 23140 (java) S 23132 23134 19226 0 -1 4202560 1273 0 0 0 61 0 0 0 15 0 19 0 808367157 14027227136 105049 33554432000 1073741824 1073778376 140734192105376 18446744073709551615 220828052377 0 4 0 16800975 18446604447251458240 0 0 -1 0 0 0 0
[pid=23134/tid=23141] ppid=23132 vsize=13698464 CPUtime=0.62 cores=0,2,4,6
/proc/23134/task/23141/stat : 23141 (java) S 23132 23134 19226 0 -1 4202560 2031 0 0 0 62 0 0 0 16 0 19 0 808367157 14027227136 105049 33554432000 1073741824 1073778376 140734192105376 18446744073709551615 220828052377 0 4 0 16800975 18446604447251458240 0 0 -1 0 0 0 0
[pid=23134/tid=23142] ppid=23132 vsize=13698464 CPUtime=0.69 cores=0,2,4,6
/proc/23134/task/23142/stat : 23142 (java) S 23132 23134 19226 0 -1 4202560 3885 0 0 0 69 0 0 0 15 0 19 0 808367157 14027227136 105049 33554432000 1073741824 1073778376 140734192105376 18446744073709551615 220828052377 0 4 0 16800975 18446604447251458240 0 0 -1 4 0 0 0
[pid=23134/tid=23143] ppid=23132 vsize=13698464 CPUtime=0.59 cores=0,2,4,6
/proc/23134/task/23143/stat : 23143 (java) S 23132 23134 19226 0 -1 4202560 6191 0 0 0 59 0 0 0 15 0 19 0 808367157 14027227136 105049 33554432000 1073741824 1073778376 140734192105376 18446744073709551615 220828052377 0 4 0 16800975 18446604447251458240 0 0 -1 6 0 0 0
[pid=23134/tid=23144] ppid=23132 vsize=13698464 CPUtime=0.77 cores=0,2,4,6
/proc/23134/task/23144/stat : 23144 (java) S 23132 23134 19226 0 -1 4202560 4394 0 0 0 77 0 0 0 16 0 19 0 808367157 14027227136 105049 33554432000 1073741824 1073778376 140734192105376 18446744073709551615 220828052377 0 4 0 16800975 18446604447251458240 0 0 -1 6 0 0 0
[pid=23134/tid=23145] ppid=23132 vsize=13698464 CPUtime=19.55 cores=0,2,4,6
/proc/23134/task/23145/stat : 23145 (java) S 23132 23134 19226 0 -1 4202560 33117 0 0 0 1950 5 0 0 16 0 19 0 808367158 14027227136 105049 33554432000 1073741824 1073778376 140734192105376 18446744073709551615 220828052992 0 0 0 16800975 18446604447251458240 0 0 -1 4 0 0 0
[pid=23134/tid=23146] ppid=23132 vsize=13698464 CPUtime=0 cores=0,2,4,6
/proc/23134/task/23146/stat : 23146 (java) S 23132 23134 19226 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 808367159 14027227136 105049 33554432000 1073741824 1073778376 140734192105376 18446744073709551615 220828052377 0 4 0 16800975 18446604447251458240 0 0 -1 4 0 0 0
[pid=23134/tid=23147] ppid=23132 vsize=13698464 CPUtime=0 cores=0,2,4,6
/proc/23134/task/23147/stat : 23147 (java) S 23132 23134 19226 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 808367159 14027227136 105049 33554432000 1073741824 1073778376 140734192105376 18446744073709551615 220828052377 0 4 0 16800975 18446604447251458240 0 0 -1 4 0 0 0
[pid=23134/tid=23148] ppid=23132 vsize=13698464 CPUtime=0 cores=0,2,4,6
/proc/23134/task/23148/stat : 23148 (java) S 23132 23134 19226 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808367161 14027227136 105049 33554432000 1073741824 1073778376 140734192105376 18446744073709551615 220828060081 0 4 0 16800975 18446604447251458240 0 0 -1 6 0 0 0
[pid=23134/tid=23149] ppid=23132 vsize=13698464 CPUtime=0.69 cores=0,2,4,6
/proc/23134/task/23149/stat : 23149 (java) S 23132 23134 19226 0 -1 4202560 4680 0 0 0 69 0 0 0 15 0 19 0 808367161 14027227136 105049 33554432000 1073741824 1073778376 140734192105376 18446744073709551615 220828052377 0 4 0 16800975 18446604447251458240 0 0 -1 2 0 0 0
[pid=23134/tid=23150] ppid=23132 vsize=13698464 CPUtime=0.67 cores=0,2,4,6
/proc/23134/task/23150/stat : 23150 (java) S 23132 23134 19226 0 -1 4202560 4035 0 0 0 66 1 0 0 15 0 19 0 808367161 14027227136 105049 33554432000 1073741824 1073778376 140734192105376 18446744073709551615 220828052377 0 4 0 16800975 18446604447251458240 0 0 -1 6 0 0 0
[pid=23134/tid=23151] ppid=23132 vsize=13698464 CPUtime=0 cores=0,2,4,6
/proc/23134/task/23151/stat : 23151 (java) S 23132 23134 19226 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808367161 14027227136 105049 33554432000 1073741824 1073778376 140734192105376 18446744073709551615 220828052377 0 4 0 16800975 18446604447251458240 0 0 -1 6 0 0 0
[pid=23134/tid=23152] ppid=23132 vsize=13698464 CPUtime=0 cores=0,2,4,6
/proc/23134/task/23152/stat : 23152 (java) S 23132 23134 19226 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 808367161 14027227136 105049 33554432000 1073741824 1073778376 140734192105376 18446744073709551615 220828052992 0 4 0 16800975 18446604447251458240 0 0 -1 2 0 0 0
[pid=23134/tid=23153] ppid=23132 vsize=13698464 CPUtime=0 cores=0,2,4,6
/proc/23134/task/23153/stat : 23153 (java) S 23132 23134 19226 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 808367222 14027227136 105049 33554432000 1073741824 1073778376 140734192105376 18446744073709551615 220828052992 0 4 0 16800975 18446604447251458240 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1727.43
Current children cumulated vsize (KiB) 13698464

[startup+1782.3 s]
/proc/loadavg: 1.01 1.36 1.70 2/468 23232
/proc/meminfo: memFree=24167956/32951124 swapFree=60476376/67111528
[pid=23134] ppid=23132 vsize=13698464 CPUtime=1787.54 cores=0,2,4,6
/proc/23134/stat : 23134 (java) S 23132 23134 19226 0 -1 4202496 109562 0 1 0 178736 18 0 0 25 0 19 0 808367155 14027227136 105116 33554432000 1073741824 1073778376 140734192105376 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/23134/statm: 3424616 105116 2271 9 0 3415350 0
[pid=23134/tid=23135] ppid=23132 vsize=13698464 CPUtime=1760.32 cores=0,2,4,6
/proc/23134/task/23135/stat : 23135 (java) R 23132 23134 19226 0 -1 4202560 35423 0 1 0 176028 4 0 0 25 0 19 0 808367155 14027227136 105116 33554432000 1073741824 1073778376 140734192105376 18446744073709551615 46912506050032 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=23134/tid=23137] ppid=23132 vsize=13698464 CPUtime=0.62 cores=0,2,4,6
/proc/23134/task/23137/stat : 23137 (java) S 23132 23134 19226 0 -1 4202560 5517 0 0 0 61 1 0 0 15 0 19 0 808367157 14027227136 105116 33554432000 1073741824 1073778376 140734192105376 18446744073709551615 220828052377 0 4 0 16800975 18446604447251458240 0 0 -1 2 0 0 0
[pid=23134/tid=23138] ppid=23132 vsize=13698464 CPUtime=0.8 cores=0,2,4,6
/proc/23134/task/23138/stat : 23138 (java) S 23132 23134 19226 0 -1 4202560 3466 0 0 0 80 0 0 0 15 0 19 0 808367157 14027227136 105116 33554432000 1073741824 1073778376 140734192105376 18446744073709551615 220828052377 0 4 0 16800975 18446604447251458240 0 0 -1 6 0 0 0
[pid=23134/tid=23139] ppid=23132 vsize=13698464 CPUtime=0.79 cores=0,2,4,6
/proc/23134/task/23139/stat : 23139 (java) S 23132 23134 19226 0 -1 4202560 4227 0 0 0 79 0 0 0 16 0 19 0 808367157 14027227136 105116 33554432000 1073741824 1073778376 140734192105376 18446744073709551615 220828052377 0 4 0 16800975 18446604447251458240 0 0 -1 6 0 0 0
[pid=23134/tid=23140] ppid=23132 vsize=13698464 CPUtime=0.63 cores=0,2,4,6
/proc/23134/task/23140/stat : 23140 (java) S 23132 23134 19226 0 -1 4202560 1294 0 0 0 63 0 0 0 16 0 19 0 808367157 14027227136 105116 33554432000 1073741824 1073778376 140734192105376 18446744073709551615 220828052377 0 4 0 16800975 18446604447251458240 0 0 -1 0 0 0 0
[pid=23134/tid=23141] ppid=23132 vsize=13698464 CPUtime=0.63 cores=0,2,4,6
/proc/23134/task/23141/stat : 23141 (java) S 23132 23134 19226 0 -1 4202560 2042 0 0 0 63 0 0 0 15 0 19 0 808367157 14027227136 105116 33554432000 1073741824 1073778376 140734192105376 18446744073709551615 220828052377 0 4 0 16800975 18446604447251458240 0 0 -1 0 0 0 0
[pid=23134/tid=23142] ppid=23132 vsize=13698464 CPUtime=0.74 cores=0,2,4,6
/proc/23134/task/23142/stat : 23142 (java) S 23132 23134 19226 0 -1 4202560 3920 0 0 0 74 0 0 0 16 0 19 0 808367157 14027227136 105116 33554432000 1073741824 1073778376 140734192105376 18446744073709551615 220828052377 0 4 0 16800975 18446604447251458240 0 0 -1 6 0 0 0
[pid=23134/tid=23143] ppid=23132 vsize=13698464 CPUtime=0.6 cores=0,2,4,6
/proc/23134/task/23143/stat : 23143 (java) S 23132 23134 19226 0 -1 4202560 6191 0 0 0 60 0 0 0 15 0 19 0 808367157 14027227136 105116 33554432000 1073741824 1073778376 140734192105376 18446744073709551615 220828052377 0 4 0 16800975 18446604447251458240 0 0 -1 2 0 0 0
[pid=23134/tid=23144] ppid=23132 vsize=13698464 CPUtime=0.79 cores=0,2,4,6
/proc/23134/task/23144/stat : 23144 (java) S 23132 23134 19226 0 -1 4202560 4394 0 0 0 79 0 0 0 16 0 19 0 808367157 14027227136 105116 33554432000 1073741824 1073778376 140734192105376 18446744073709551615 220828052377 0 4 0 16800975 18446604447251458240 0 0 -1 2 0 0 0
[pid=23134/tid=23145] ppid=23132 vsize=13698464 CPUtime=20.13 cores=0,2,4,6
/proc/23134/task/23145/stat : 23145 (java) S 23132 23134 19226 0 -1 4202560 33121 0 0 0 2008 5 0 0 15 0 19 0 808367158 14027227136 105116 33554432000 1073741824 1073778376 140734192105376 18446744073709551615 220828052992 0 0 0 16800975 18446604447251458240 0 0 -1 4 0 0 0
[pid=23134/tid=23146] ppid=23132 vsize=13698464 CPUtime=0 cores=0,2,4,6
/proc/23134/task/23146/stat : 23146 (java) S 23132 23134 19226 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 808367159 14027227136 105116 33554432000 1073741824 1073778376 140734192105376 18446744073709551615 220828052377 0 4 0 16800975 18446604447251458240 0 0 -1 4 0 0 0
[pid=23134/tid=23147] ppid=23132 vsize=13698464 CPUtime=0 cores=0,2,4,6
/proc/23134/task/23147/stat : 23147 (java) S 23132 23134 19226 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 808367159 14027227136 105116 33554432000 1073741824 1073778376 140734192105376 18446744073709551615 220828052377 0 4 0 16800975 18446604447251458240 0 0 -1 4 0 0 0
[pid=23134/tid=23148] ppid=23132 vsize=13698464 CPUtime=0 cores=0,2,4,6
/proc/23134/task/23148/stat : 23148 (java) S 23132 23134 19226 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808367161 14027227136 105116 33554432000 1073741824 1073778376 140734192105376 18446744073709551615 220828060081 0 4 0 16800975 18446604447251458240 0 0 -1 6 0 0 0
[pid=23134/tid=23149] ppid=23132 vsize=13698464 CPUtime=0.69 cores=0,2,4,6
/proc/23134/task/23149/stat : 23149 (java) S 23132 23134 19226 0 -1 4202560 4680 0 0 0 69 0 0 0 15 0 19 0 808367161 14027227136 105116 33554432000 1073741824 1073778376 140734192105376 18446744073709551615 220828052377 0 4 0 16800975 18446604447251458240 0 0 -1 2 0 0 0
[pid=23134/tid=23150] ppid=23132 vsize=13698464 CPUtime=0.67 cores=0,2,4,6
/proc/23134/task/23150/stat : 23150 (java) S 23132 23134 19226 0 -1 4202560 4035 0 0 0 66 1 0 0 15 0 19 0 808367161 14027227136 105116 33554432000 1073741824 1073778376 140734192105376 18446744073709551615 220828052377 0 4 0 16800975 18446604447251458240 0 0 -1 6 0 0 0
[pid=23134/tid=23151] ppid=23132 vsize=13698464 CPUtime=0 cores=0,2,4,6
/proc/23134/task/23151/stat : 23151 (java) S 23132 23134 19226 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808367161 14027227136 105116 33554432000 1073741824 1073778376 140734192105376 18446744073709551615 220828052377 0 4 0 16800975 18446604447251458240 0 0 -1 6 0 0 0
[pid=23134/tid=23152] ppid=23132 vsize=13698464 CPUtime=0 cores=0,2,4,6
/proc/23134/task/23152/stat : 23152 (java) S 23132 23134 19226 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 808367161 14027227136 105116 33554432000 1073741824 1073778376 140734192105376 18446744073709551615 220828052992 0 4 0 16800975 18446604447251458240 0 0 -1 2 0 0 0
[pid=23134/tid=23153] ppid=23132 vsize=13698464 CPUtime=0 cores=0,2,4,6
/proc/23134/task/23153/stat : 23153 (java) S 23132 23134 19226 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 808367222 14027227136 105116 33554432000 1073741824 1073778376 140734192105376 18446744073709551615 220828052992 0 4 0 16800975 18446604447251458240 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1787.54
Current children cumulated vsize (KiB) 13698464



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1794.8 s]
/proc/loadavg: 1.00 1.34 1.69 2/468 23232
/proc/meminfo: memFree=24168072/32951124 swapFree=60476376/67111528
[pid=23134] ppid=23132 vsize=13698464 CPUtime=1800.08 cores=0,2,4,6
/proc/23134/stat : 23134 (java) S 23132 23134 19226 0 -1 4202496 109564 0 1 0 179990 18 0 0 25 0 19 0 808367155 14027227136 105117 33554432000 1073741824 1073778376 140734192105376 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/23134/statm: 3424616 105117 2271 9 0 3415350 0
[pid=23134/tid=23135] ppid=23132 vsize=13698464 CPUtime=1772.74 cores=0,2,4,6
/proc/23134/task/23135/stat : 23135 (java) R 23132 23134 19226 0 -1 4202560 35424 0 1 0 177270 4 0 0 25 0 19 0 808367155 14027227136 105117 33554432000 1073741824 1073778376 140734192105376 18446744073709551615 46912506028322 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=23134/tid=23137] ppid=23132 vsize=13698464 CPUtime=0.62 cores=0,2,4,6
/proc/23134/task/23137/stat : 23137 (java) S 23132 23134 19226 0 -1 4202560 5517 0 0 0 61 1 0 0 16 0 19 0 808367157 14027227136 105117 33554432000 1073741824 1073778376 140734192105376 18446744073709551615 220828052377 0 4 0 16800975 18446604447251458240 0 0 -1 2 0 0 0
[pid=23134/tid=23138] ppid=23132 vsize=13698464 CPUtime=0.8 cores=0,2,4,6
/proc/23134/task/23138/stat : 23138 (java) S 23132 23134 19226 0 -1 4202560 3466 0 0 0 80 0 0 0 15 0 19 0 808367157 14027227136 105117 33554432000 1073741824 1073778376 140734192105376 18446744073709551615 220828052377 0 4 0 16800975 18446604447251458240 0 0 -1 6 0 0 0
[pid=23134/tid=23139] ppid=23132 vsize=13698464 CPUtime=0.79 cores=0,2,4,6
/proc/23134/task/23139/stat : 23139 (java) S 23132 23134 19226 0 -1 4202560 4227 0 0 0 79 0 0 0 15 0 19 0 808367157 14027227136 105117 33554432000 1073741824 1073778376 140734192105376 18446744073709551615 220828052377 0 4 0 16800975 18446604447251458240 0 0 -1 6 0 0 0
[pid=23134/tid=23140] ppid=23132 vsize=13698464 CPUtime=0.63 cores=0,2,4,6
/proc/23134/task/23140/stat : 23140 (java) S 23132 23134 19226 0 -1 4202560 1294 0 0 0 63 0 0 0 15 0 19 0 808367157 14027227136 105117 33554432000 1073741824 1073778376 140734192105376 18446744073709551615 220828052377 0 4 0 16800975 18446604447251458240 0 0 -1 0 0 0 0
[pid=23134/tid=23141] ppid=23132 vsize=13698464 CPUtime=0.64 cores=0,2,4,6
/proc/23134/task/23141/stat : 23141 (java) S 23132 23134 19226 0 -1 4202560 2043 0 0 0 64 0 0 0 16 0 19 0 808367157 14027227136 105117 33554432000 1073741824 1073778376 140734192105376 18446744073709551615 220828052377 0 4 0 16800975 18446604447251458240 0 0 -1 0 0 0 0
[pid=23134/tid=23142] ppid=23132 vsize=13698464 CPUtime=0.75 cores=0,2,4,6
/proc/23134/task/23142/stat : 23142 (java) S 23132 23134 19226 0 -1 4202560 3920 0 0 0 75 0 0 0 16 0 19 0 808367157 14027227136 105117 33554432000 1073741824 1073778376 140734192105376 18446744073709551615 220828052377 0 4 0 16800975 18446604447251458240 0 0 -1 6 0 0 0
[pid=23134/tid=23143] ppid=23132 vsize=13698464 CPUtime=0.61 cores=0,2,4,6
/proc/23134/task/23143/stat : 23143 (java) S 23132 23134 19226 0 -1 4202560 6191 0 0 0 61 0 0 0 16 0 19 0 808367157 14027227136 105117 33554432000 1073741824 1073778376 140734192105376 18446744073709551615 220828052377 0 4 0 16800975 18446604447251458240 0 0 -1 6 0 0 0
[pid=23134/tid=23144] ppid=23132 vsize=13698464 CPUtime=0.79 cores=0,2,4,6
/proc/23134/task/23144/stat : 23144 (java) S 23132 23134 19226 0 -1 4202560 4394 0 0 0 79 0 0 0 15 0 19 0 808367157 14027227136 105117 33554432000 1073741824 1073778376 140734192105376 18446744073709551615 220828052377 0 4 0 16800975 18446604447251458240 0 0 -1 2 0 0 0
[pid=23134/tid=23145] ppid=23132 vsize=13698464 CPUtime=20.22 cores=0,2,4,6
/proc/23134/task/23145/stat : 23145 (java) S 23132 23134 19226 0 -1 4202560 33121 0 0 0 2017 5 0 0 15 0 19 0 808367158 14027227136 105117 33554432000 1073741824 1073778376 140734192105376 18446744073709551615 220828052992 0 0 0 16800975 18446604447251458240 0 0 -1 4 0 0 0
[pid=23134/tid=23146] ppid=23132 vsize=13698464 CPUtime=0 cores=0,2,4,6
/proc/23134/task/23146/stat : 23146 (java) S 23132 23134 19226 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 808367159 14027227136 105117 33554432000 1073741824 1073778376 140734192105376 18446744073709551615 220828052377 0 4 0 16800975 18446604447251458240 0 0 -1 4 0 0 0
[pid=23134/tid=23147] ppid=23132 vsize=13698464 CPUtime=0 cores=0,2,4,6
/proc/23134/task/23147/stat : 23147 (java) S 23132 23134 19226 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 808367159 14027227136 105117 33554432000 1073741824 1073778376 140734192105376 18446744073709551615 220828052377 0 4 0 16800975 18446604447251458240 0 0 -1 4 0 0 0
[pid=23134/tid=23148] ppid=23132 vsize=13698464 CPUtime=0 cores=0,2,4,6
/proc/23134/task/23148/stat : 23148 (java) S 23132 23134 19226 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808367161 14027227136 105117 33554432000 1073741824 1073778376 140734192105376 18446744073709551615 220828060081 0 4 0 16800975 18446604447251458240 0 0 -1 6 0 0 0
[pid=23134/tid=23149] ppid=23132 vsize=13698464 CPUtime=0.69 cores=0,2,4,6
/proc/23134/task/23149/stat : 23149 (java) S 23132 23134 19226 0 -1 4202560 4680 0 0 0 69 0 0 0 15 0 19 0 808367161 14027227136 105117 33554432000 1073741824 1073778376 140734192105376 18446744073709551615 220828052377 0 4 0 16800975 18446604447251458240 0 0 -1 2 0 0 0
[pid=23134/tid=23150] ppid=23132 vsize=13698464 CPUtime=0.67 cores=0,2,4,6
/proc/23134/task/23150/stat : 23150 (java) S 23132 23134 19226 0 -1 4202560 4035 0 0 0 66 1 0 0 15 0 19 0 808367161 14027227136 105117 33554432000 1073741824 1073778376 140734192105376 18446744073709551615 220828052377 0 4 0 16800975 18446604447251458240 0 0 -1 6 0 0 0
[pid=23134/tid=23151] ppid=23132 vsize=13698464 CPUtime=0 cores=0,2,4,6
/proc/23134/task/23151/stat : 23151 (java) S 23132 23134 19226 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808367161 14027227136 105117 33554432000 1073741824 1073778376 140734192105376 18446744073709551615 220828052377 0 4 0 16800975 18446604447251458240 0 0 -1 6 0 0 0
[pid=23134/tid=23152] ppid=23132 vsize=13698464 CPUtime=0 cores=0,2,4,6
/proc/23134/task/23152/stat : 23152 (java) S 23132 23134 19226 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 808367161 14027227136 105117 33554432000 1073741824 1073778376 140734192105376 18446744073709551615 220828052992 0 4 0 16800975 18446604447251458240 0 0 -1 2 0 0 0
[pid=23134/tid=23153] ppid=23132 vsize=13698464 CPUtime=0 cores=0,2,4,6
/proc/23134/task/23153/stat : 23153 (java) S 23132 23134 19226 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 808367222 14027227136 105117 33554432000 1073741824 1073778376 140734192105376 18446744073709551615 220828052992 0 4 0 16800975 18446604447251458240 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 13698464

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

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

Child status: 143
Real time (s): 1794.89
CPU time (s): 1800.19
CPU user time (s): 1799.99
CPU system time (s): 0.201969
CPU usage (%): 100.296
Max. virtual memory (cumulated for all children) (KiB): 13698464

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.99
system time used= 0.201969
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 109606
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= 43907
involuntary context switches= 9447

runsolver used 9.12961 second user time and 18.6202 second system time

The end

Launcher Data 

Begin job on node147 at 2011-06-04 05:51:53
IDJOB=3458359
IDBENCH=48179
IDSOLVER=1952
FILE ID=node147/3458359-1307159512
RUNJOBID= node147-1307155508-22334
PBS_JOBID= 13508769
Free space on /tmp= 73696 MiB

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

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

MD5SUM BENCH= fecc1e3404707b1609ea9647c91fc73f
RANDOM SEED=786944807

node147.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.836
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.67
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.836
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.836
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.82
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.836
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.836
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.82
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.836
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.76
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.836
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.836
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      24385500 kB
Buffers:        315632 kB
Cached:        1472464 kB
SwapCached:      11164 kB
Active:        6952144 kB
Inactive:      1354368 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24385500 kB
SwapTotal:    67111528 kB
SwapFree:     60476376 kB
Dirty:             892 kB
Writeback:           0 kB
AnonPages:     6515940 kB
Mapped:          30912 kB
Slab:           133064 kB
PageTables:      58996 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 134212132 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= 73696 MiB
End job on node147 at 2011-06-04 06:21:49