Trace number 3453919

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 Res//CP 2.3.0SAT (TO)74 1800.32 966.229

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_500_10_1.opb
MD5SUM08f3a00099e19d384504c40fc611777e
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark53
Best CPU time to get the best result obtained on this benchmark1797.08
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 63
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 constraint11
Maximum length of a constraint23
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)6318
Sum of products size (including duplicates)12636
Number of different products6318
Sum of products size12636

Quality of the solution as a function of time


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

Solver Data 

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.09	c version 2.3.1.v20110525
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.18-164.el5
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		9996466904
0.00/0.09	c Max memory 		10048897024
0.00/0.09	c Total memory 		10048897024
0.00/0.09	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization
0.10/0.11	c ManyCore solver with 2 solvers running in parallel
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@48e5855a
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 Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@398020cc
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 phase appearing in latest learned clause taking into account the objective function
0.10/0.11	c No 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-3453919-1307194457.opb
0.10/0.11	c reading problem ... 
0.99/0.55	c ... done. Wall clock time 0.443s.
0.99/0.55	c #vars     6818
0.99/0.55	c #constraints  13136
0.99/0.55	c constraints type 
0.99/0.55	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6818
0.99/0.55	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6318
0.99/0.55	c constraints type 
0.99/0.55	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6818
0.99/0.55	c org.sat4j.pb.constraints.pb.MaxWatchPb => 6318
1.32/0.68	c  And the winner is Resolution
2.33/1.07	c SATISFIABLE
2.33/1.07	c OPTIMIZING...
2.33/1.07	c Got one! Elapsed wall clock time (in seconds):0.955
2.33/1.07	o 79
2.95/1.26	c  And the winner is CuttingPlanes
3.21/1.58	c Got one! Elapsed wall clock time (in seconds):1.465
3.21/1.58	o 78
3.69/1.77	c  And the winner is Resolution
4.24/2.08	c Got one! Elapsed wall clock time (in seconds):1.973
4.24/2.08	o 77
6.37/3.14	c cleaning 3198 clauses out of 6411 with flag 5000/6411
7.36/3.68	c  And the winner is CuttingPlanes
7.56/4.09	c Got one! Elapsed wall clock time (in seconds):3.984
7.56/4.09	o 76
8.68/4.66	c cleaning 4314 clauses out of 8630 with flag 3002/11828
11.04/5.84	c cleaning 5153 clauses out of 10316 with flag 9002/17828
13.85/7.21	c cleaning 6075 clauses out of 12162 with flag 16001/24827
17.01/8.84	c cleaning 7040 clauses out of 14086 with flag 24000/32826
20.32/10.54	c cleaning 8021 clauses out of 16047 with flag 33001/41827
24.24/12.47	c cleaning 9004 clauses out of 18025 with flag 43000/51826
28.77/14.75	c cleaning 10004 clauses out of 20022 with flag 54001/62827
33.67/17.28	c cleaning 11001 clauses out of 22017 with flag 66000/74826
39.20/20.02	c cleaning 11999 clauses out of 24016 with flag 79000/87826
44.71/22.81	c cleaning 13003 clauses out of 26017 with flag 93000/101826
50.81/25.92	c cleaning 13499 clauses out of 27015 with flag 107001/115827
56.66/29.00	c cleaning 13750 clauses out of 27516 with flag 121001/129827
61.95/31.60	c cleaning 13874 clauses out of 27766 with flag 135001/143827
67.83/34.69	c cleaning 13935 clauses out of 27892 with flag 149001/157827
74.31/37.97	c cleaning 13970 clauses out of 27956 with flag 163000/171826
80.53/41.10	c cleaning 13991 clauses out of 27986 with flag 177000/185826
86.43/44.12	c cleaning 13992 clauses out of 27995 with flag 191000/199826
92.45/47.21	c cleaning 13995 clauses out of 28003 with flag 205000/213826
98.50/50.36	c cleaning 13997 clauses out of 28009 with flag 219001/227827
104.88/53.63	c cleaning 13997 clauses out of 28012 with flag 233001/241827
107.55/55.12	c  And the winner is CuttingPlanes
107.76/55.62	c Got one! Elapsed wall clock time (in seconds):55.507
107.76/55.62	o 75
109.54/56.56	c cleaning 12570 clauses out of 25156 with flag 5000/252968
111.97/57.89	c cleaning 9291 clauses out of 18586 with flag 11000/258968
114.81/59.35	c cleaning 8139 clauses out of 16296 with flag 18001/265969
118.16/61.12	c cleaning 8075 clauses out of 16157 with flag 26001/273969
121.59/62.97	c cleaning 8535 clauses out of 17081 with flag 35000/282968
125.65/65.05	c cleaning 9267 clauses out of 18547 with flag 45001/292969
130.04/67.38	c cleaning 10135 clauses out of 20279 with flag 56000/303968
134.97/69.93	c cleaning 11065 clauses out of 22144 with flag 68000/315968
140.78/72.90	c cleaning 12032 clauses out of 24080 with flag 81001/328969
146.21/75.78	c cleaning 13019 clauses out of 26049 with flag 95002/342970
152.61/79.06	c cleaning 13511 clauses out of 27028 with flag 109000/356968
158.74/82.25	c cleaning 13756 clauses out of 27517 with flag 123000/370968
164.54/85.23	c cleaning 13877 clauses out of 27762 with flag 137001/384969
170.54/88.33	c cleaning 13934 clauses out of 27884 with flag 151000/398968
176.13/91.31	c cleaning 13970 clauses out of 27951 with flag 165001/412969
181.82/94.30	c cleaning 13985 clauses out of 27980 with flag 179000/426968
187.80/97.39	c cleaning 13993 clauses out of 27997 with flag 193002/440970
193.59/100.37	c cleaning 13995 clauses out of 28003 with flag 207001/454969
194.57/100.90	c  And the winner is Resolution
194.88/101.28	c Got one! Elapsed wall clock time (in seconds):101.169
194.88/101.28	o 74
195.95/101.89	c cleaning 9808 clauses out of 19635 with flag 4000/460596
198.23/103.19	c cleaning 7900 clauses out of 15827 with flag 10000/466596
201.05/104.62	c cleaning 7453 clauses out of 14927 with flag 17000/473596
204.18/106.33	c cleaning 7728 clauses out of 15474 with flag 25000/481596
207.75/108.25	c cleaning 8369 clauses out of 16746 with flag 34000/490596
212.82/110.91	c cleaning 9184 clauses out of 18377 with flag 44000/500596
218.39/113.88	c cleaning 10087 clauses out of 20194 with flag 55001/511597
223.79/116.68	c cleaning 11047 clauses out of 22107 with flag 67001/523597
229.54/119.63	c cleaning 12024 clauses out of 24059 with flag 80000/536596
235.58/122.89	c cleaning 13010 clauses out of 26035 with flag 94000/550596
242.33/126.31	c cleaning 13506 clauses out of 27025 with flag 108000/564596
249.10/129.82	c cleaning 13754 clauses out of 27519 with flag 122000/578596
255.66/133.26	c cleaning 13874 clauses out of 27765 with flag 136000/592596
262.65/136.91	c cleaning 13938 clauses out of 27891 with flag 150000/606596
269.20/140.31	c cleaning 13968 clauses out of 27953 with flag 164000/620596
275.94/143.85	c cleaning 13986 clauses out of 27985 with flag 178000/634596
282.68/147.41	c cleaning 13990 clauses out of 28000 with flag 192001/648597
288.50/150.41	c cleaning 13997 clauses out of 28011 with flag 206002/662598
294.25/153.45	c cleaning 14000 clauses out of 28013 with flag 220001/676597
301.82/157.33	c cleaning 14000 clauses out of 28012 with flag 234000/690596
308.74/160.97	c cleaning 13998 clauses out of 28012 with flag 248000/704596
314.96/164.26	c cleaning 13999 clauses out of 28016 with flag 262002/718598
320.51/167.20	c cleaning 14000 clauses out of 28015 with flag 276000/732596
326.65/170.36	c cleaning 13995 clauses out of 28016 with flag 290001/746597
333.19/173.75	c cleaning 14004 clauses out of 28021 with flag 304001/760597
339.86/177.22	c cleaning 13996 clauses out of 28016 with flag 318000/774596
345.98/180.51	c cleaning 14006 clauses out of 28021 with flag 332001/788597
353.28/184.22	c cleaning 14001 clauses out of 28015 with flag 346001/802597
360.01/187.79	c cleaning 13994 clauses out of 28014 with flag 360001/816597
367.82/191.82	c cleaning 14002 clauses out of 28019 with flag 374000/830596
375.77/195.92	c cleaning 13996 clauses out of 28019 with flag 388002/844598
381.43/198.97	c cleaning 14004 clauses out of 28022 with flag 402001/858597
387.55/202.19	c cleaning 14005 clauses out of 28017 with flag 416000/872596
394.11/205.65	c cleaning 14003 clauses out of 28012 with flag 430000/886596
400.01/208.75	c cleaning 13995 clauses out of 28010 with flag 444001/900597
406.52/212.10	c cleaning 14000 clauses out of 28014 with flag 458000/914596
413.46/215.76	c cleaning 13999 clauses out of 28015 with flag 472001/928597
419.96/219.28	c cleaning 13999 clauses out of 28015 with flag 486000/942596
426.25/222.56	c cleaning 13996 clauses out of 28016 with flag 500000/956596
432.73/225.96	c cleaning 14001 clauses out of 28021 with flag 514001/970597
439.00/229.29	c cleaning 14002 clauses out of 28019 with flag 528000/984596
445.93/232.95	c cleaning 13996 clauses out of 28017 with flag 542000/998596
452.41/236.38	c cleaning 14001 clauses out of 28022 with flag 556001/1012597
459.33/239.96	c cleaning 14005 clauses out of 28021 with flag 570001/1026597
465.96/243.45	c cleaning 13997 clauses out of 28015 with flag 584000/1040596
473.06/247.20	c cleaning 14000 clauses out of 28018 with flag 598000/1054596
480.52/251.11	c cleaning 13997 clauses out of 28019 with flag 612001/1068597
487.99/255.02	c cleaning 14002 clauses out of 28021 with flag 626000/1082596
495.24/258.82	c cleaning 14000 clauses out of 28019 with flag 640000/1096596
502.94/263.01	c cleaning 14001 clauses out of 28020 with flag 654001/1110597
510.18/266.76	c cleaning 13998 clauses out of 28019 with flag 668001/1124597
517.63/270.70	c cleaning 14004 clauses out of 28021 with flag 682001/1138597
523.69/273.89	c cleaning 14005 clauses out of 28017 with flag 696001/1152597
531.18/277.86	c cleaning 13996 clauses out of 28011 with flag 710000/1166596
538.43/281.62	c cleaning 14004 clauses out of 28016 with flag 724001/1180597
545.83/285.57	c cleaning 13997 clauses out of 28012 with flag 738001/1194597
552.66/289.14	c cleaning 14003 clauses out of 28014 with flag 752000/1208596
559.14/292.64	c cleaning 13999 clauses out of 28011 with flag 766000/1222596
565.57/296.06	c cleaning 14000 clauses out of 28012 with flag 780000/1236596
572.14/299.56	c cleaning 13996 clauses out of 28012 with flag 794000/1250596
578.94/303.18	c cleaning 13997 clauses out of 28017 with flag 808001/1264597
585.35/306.67	c cleaning 14007 clauses out of 28019 with flag 822000/1278596
591.55/309.95	c cleaning 13994 clauses out of 28012 with flag 836000/1292596
598.14/313.44	c cleaning 14001 clauses out of 28018 with flag 850000/1306596
604.78/316.97	c cleaning 14003 clauses out of 28017 with flag 864000/1320596
611.74/320.74	c cleaning 14000 clauses out of 28014 with flag 878000/1334596
618.73/324.44	c cleaning 14002 clauses out of 28014 with flag 892000/1348596
626.31/328.49	c cleaning 13999 clauses out of 28013 with flag 906001/1362597
634.09/332.55	c cleaning 13995 clauses out of 28014 with flag 920001/1376597
641.90/336.72	c cleaning 14000 clauses out of 28019 with flag 934001/1390597
649.23/340.62	c cleaning 14001 clauses out of 28018 with flag 948000/1404596
657.00/344.78	c cleaning 14001 clauses out of 28018 with flag 962001/1418597
664.79/348.86	c cleaning 14003 clauses out of 28017 with flag 976001/1432597
672.30/352.94	c cleaning 13999 clauses out of 28013 with flag 990000/1446596
680.05/357.04	c cleaning 13999 clauses out of 28016 with flag 1004002/1460598
687.81/361.11	c cleaning 14004 clauses out of 28017 with flag 1018002/1474598
695.35/365.18	c cleaning 14000 clauses out of 28011 with flag 1032000/1488596
704.08/369.82	c cleaning 14002 clauses out of 28011 with flag 1046000/1502596
711.83/373.90	c cleaning 13995 clauses out of 28011 with flag 1060002/1516598
719.58/378.05	c cleaning 13997 clauses out of 28014 with flag 1074000/1530596
727.33/382.16	c cleaning 13996 clauses out of 28017 with flag 1088000/1544596
735.26/386.42	c cleaning 14001 clauses out of 28021 with flag 1102000/1558596
742.78/390.41	c cleaning 13994 clauses out of 28020 with flag 1116000/1572596
750.12/394.38	c cleaning 14012 clauses out of 28026 with flag 1130000/1586596
756.46/397.71	c cleaning 14001 clauses out of 28015 with flag 1144001/1600597
762.97/401.31	c cleaning 13996 clauses out of 28013 with flag 1158000/1614596
769.54/404.82	c cleaning 14003 clauses out of 28017 with flag 1172000/1628596
776.45/408.51	c cleaning 14001 clauses out of 28014 with flag 1186000/1642596
783.18/412.13	c cleaning 13998 clauses out of 28013 with flag 1200000/1656596
790.68/416.24	c cleaning 13997 clauses out of 28015 with flag 1214000/1670596
797.61/419.98	c cleaning 14001 clauses out of 28019 with flag 1228001/1684597
805.14/423.98	c cleaning 13998 clauses out of 28017 with flag 1242000/1698596
812.27/427.72	c cleaning 13998 clauses out of 28020 with flag 1256001/1712597
818.97/431.42	c cleaning 14003 clauses out of 28021 with flag 1270000/1726596
825.90/435.13	c cleaning 13999 clauses out of 28018 with flag 1284000/1740596
832.82/438.90	c cleaning 14001 clauses out of 28019 with flag 1298000/1754596
840.13/442.78	c cleaning 14000 clauses out of 28018 with flag 1312000/1768596
847.24/446.69	c cleaning 14003 clauses out of 28019 with flag 1326001/1782597
854.53/450.52	c cleaning 14000 clauses out of 28016 with flag 1340001/1796597
862.24/454.60	c cleaning 13998 clauses out of 28015 with flag 1354000/1810596
869.97/458.74	c cleaning 14001 clauses out of 28018 with flag 1368001/1824597
877.62/462.92	c cleaning 13995 clauses out of 28017 with flag 1382001/1838597
885.31/467.08	c cleaning 14003 clauses out of 28021 with flag 1396000/1852596
893.01/471.18	c cleaning 14002 clauses out of 28018 with flag 1410000/1866596
900.51/475.19	c cleaning 14006 clauses out of 28017 with flag 1424001/1880597
908.55/479.58	c cleaning 13995 clauses out of 28010 with flag 1438000/1894596
916.25/483.66	c cleaning 13999 clauses out of 28015 with flag 1452000/1908596
924.15/487.81	c cleaning 14003 clauses out of 28017 with flag 1466001/1922597
931.47/491.72	c cleaning 13998 clauses out of 28014 with flag 1480001/1936597
939.30/496.04	c cleaning 13997 clauses out of 28016 with flag 1494001/1950597
946.78/500.03	c cleaning 13998 clauses out of 28018 with flag 1508000/1964596
954.46/504.13	c cleaning 13995 clauses out of 28020 with flag 1522000/1978596
962.17/508.25	c cleaning 13999 clauses out of 28025 with flag 1536000/1992596
969.59/512.31	c cleaning 14002 clauses out of 28026 with flag 1550000/2006596
977.07/516.31	c cleaning 13998 clauses out of 28024 with flag 1564000/2020596
983.95/520.08	c cleaning 14004 clauses out of 28027 with flag 1578001/2034597
991.03/523.86	c cleaning 13998 clauses out of 28022 with flag 1592000/2048596
998.91/528.18	c cleaning 14005 clauses out of 28024 with flag 1606000/2062596
1006.55/532.27	c cleaning 14002 clauses out of 28019 with flag 1620000/2076596
1014.24/536.37	c cleaning 14002 clauses out of 28017 with flag 1634000/2090596
1022.12/540.52	c cleaning 14001 clauses out of 28016 with flag 1648001/2104597
1030.35/545.03	c cleaning 13998 clauses out of 28014 with flag 1662000/2118596
1038.03/549.18	c cleaning 0 clauses out of 6459 with flag 0/6460
1038.97/549.80	c cleaning 13999 clauses out of 28016 with flag 1676000/2132596
1046.64/553.91	c cleaning 13996 clauses out of 28018 with flag 1690001/2146597
1054.86/558.43	c cleaning 13999 clauses out of 28021 with flag 1704000/2160596
1062.73/562.68	c cleaning 13998 clauses out of 28023 with flag 1718001/2174597
1070.81/566.95	c cleaning 14002 clauses out of 28024 with flag 1732000/2188596
1078.53/571.10	c cleaning 14002 clauses out of 28023 with flag 1746001/2202597
1086.70/575.54	c cleaning 13997 clauses out of 28021 with flag 1760001/2216597
1094.81/579.85	c cleaning 13999 clauses out of 28024 with flag 1774001/2230597
1102.43/583.95	c cleaning 14000 clauses out of 28024 with flag 1788000/2244596
1109.29/587.60	c cleaning 14008 clauses out of 28024 with flag 1802000/2258596
1115.69/591.22	c cleaning 13999 clauses out of 28016 with flag 1816000/2272596
1122.74/595.02	c cleaning 13998 clauses out of 28018 with flag 1830001/2286597
1129.60/598.71	c cleaning 14002 clauses out of 28020 with flag 1844001/2300597
1136.24/602.34	c cleaning 14000 clauses out of 28017 with flag 1858000/2314596
1143.43/606.34	c cleaning 13997 clauses out of 28018 with flag 1872001/2328597
1150.27/610.03	c cleaning 14003 clauses out of 28020 with flag 1886000/2342596
1156.92/613.62	c cleaning 14000 clauses out of 28018 with flag 1900001/2356597
1164.16/617.56	c cleaning 14003 clauses out of 28018 with flag 1914001/2370597
1171.35/621.59	c cleaning 13996 clauses out of 28015 with flag 1928001/2384597
1178.76/625.52	c cleaning 14001 clauses out of 28018 with flag 1942000/2398596
1186.39/629.62	c cleaning 14003 clauses out of 28017 with flag 1956000/2412596
1193.63/633.55	c cleaning 13997 clauses out of 28014 with flag 1970000/2426596
1200.99/637.69	c cleaning 14004 clauses out of 28018 with flag 1984001/2440597
1207.62/641.20	c cleaning 13995 clauses out of 28013 with flag 1998000/2454596
1214.44/644.97	c cleaning 14000 clauses out of 28019 with flag 2012001/2468597
1221.65/648.86	c cleaning 14001 clauses out of 28018 with flag 2026000/2482596
1229.19/653.05	c cleaning 13999 clauses out of 28018 with flag 2040001/2496597
1236.40/656.93	c cleaning 13997 clauses out of 28018 with flag 2054000/2510596
1243.41/660.72	c cleaning 14000 clauses out of 28021 with flag 2068000/2524596
1250.02/664.30	c cleaning 14002 clauses out of 28022 with flag 2082001/2538597
1257.34/668.40	c cleaning 13998 clauses out of 28020 with flag 2096001/2552597
1265.15/672.65	c cleaning 14005 clauses out of 28023 with flag 2110002/2566598
1272.94/676.84	c cleaning 14002 clauses out of 28016 with flag 2124000/2580596
1281.14/681.20	c cleaning 13998 clauses out of 28015 with flag 2138001/2594597
1289.25/685.76	c cleaning 14005 clauses out of 28017 with flag 2152001/2608597
1297.24/690.00	c cleaning 13998 clauses out of 28011 with flag 2166000/2622596
1305.44/694.40	c cleaning 13997 clauses out of 28013 with flag 2180000/2636596
1313.05/698.57	c cleaning 13994 clauses out of 28016 with flag 2194000/2650596
1321.34/703.13	c cleaning 13998 clauses out of 28022 with flag 2208000/2664596
1329.36/707.46	c cleaning 14000 clauses out of 28024 with flag 2222000/2678596
1337.34/711.80	c cleaning 14005 clauses out of 28024 with flag 2236000/2692596
1345.13/715.94	c cleaning 13998 clauses out of 28019 with flag 2250000/2706596
1353.45/720.57	c cleaning 14001 clauses out of 28022 with flag 2264001/2720597
1361.63/725.01	c cleaning 14003 clauses out of 28020 with flag 2278000/2734596
1369.81/729.33	c cleaning 14003 clauses out of 28017 with flag 2292000/2748596
1377.56/733.54	c cleaning 13997 clauses out of 28015 with flag 2306001/2762597
1385.67/738.11	c cleaning 14004 clauses out of 28018 with flag 2320001/2776597
1394.07/742.56	c cleaning 13998 clauses out of 28014 with flag 2334001/2790597
1402.24/746.97	c cleaning 13996 clauses out of 28016 with flag 2348001/2804597
1410.61/751.45	c cleaning 13999 clauses out of 28020 with flag 2362001/2818597
1418.65/755.95	c cleaning 14002 clauses out of 28021 with flag 2376001/2832597
1426.81/760.38	c cleaning 14003 clauses out of 28019 with flag 2390001/2846597
1435.17/764.89	c cleaning 13999 clauses out of 28015 with flag 2404000/2860596
1443.72/769.40	c cleaning 13992 clauses out of 28016 with flag 2418000/2874596
1452.57/774.32	c cleaning 14000 clauses out of 28025 with flag 2432001/2888597
1461.19/778.93	c cleaning 13996 clauses out of 28024 with flag 2446000/2902596
1469.12/783.24	c cleaning 14005 clauses out of 28028 with flag 2460000/2916596
1476.26/787.12	c cleaning 14005 clauses out of 28023 with flag 2474000/2930596
1483.89/791.40	c cleaning 13997 clauses out of 28018 with flag 2488000/2944596
1491.07/795.36	c cleaning 14005 clauses out of 28022 with flag 2502001/2958597
1498.78/799.53	c cleaning 13997 clauses out of 28017 with flag 2516001/2972597
1506.52/803.70	c cleaning 14005 clauses out of 28019 with flag 2530000/2986596
1513.53/807.76	c cleaning 13997 clauses out of 28014 with flag 2544000/3000596
1520.67/811.61	c cleaning 13999 clauses out of 28021 with flag 2558004/3014600
1527.61/815.42	c cleaning 13996 clauses out of 28018 with flag 2572000/3028596
1534.93/819.42	c cleaning 14002 clauses out of 28022 with flag 2586000/3042596
1542.35/823.64	c cleaning 14003 clauses out of 28020 with flag 2600000/3056596
1549.49/827.51	c cleaning 13996 clauses out of 28018 with flag 2614001/3070597
1556.42/831.38	c cleaning 14001 clauses out of 28022 with flag 2628001/3084597
1563.55/835.26	c cleaning 14000 clauses out of 28020 with flag 2642000/3098596
1571.00/839.48	c cleaning 13996 clauses out of 28020 with flag 2656000/3112596
1578.10/843.33	c cleaning 13999 clauses out of 28024 with flag 2670000/3126596
1585.43/847.38	c cleaning 14002 clauses out of 28025 with flag 2684000/3140596
1592.98/851.44	c cleaning 14001 clauses out of 28023 with flag 2698000/3154596
1601.16/856.04	c cleaning 14003 clauses out of 28023 with flag 2712001/3168597
1608.48/860.03	c cleaning 13997 clauses out of 28020 with flag 2726001/3182597
1615.61/863.97	c cleaning 14000 clauses out of 28023 with flag 2740001/3196597
1623.53/868.21	c cleaning 14000 clauses out of 28022 with flag 2754000/3210596
1631.14/872.52	c cleaning 13997 clauses out of 28023 with flag 2768001/3224597
1638.47/876.55	c cleaning 14002 clauses out of 28026 with flag 2782001/3238597
1645.39/880.33	c cleaning 14007 clauses out of 28023 with flag 2796000/3252596
1652.12/884.09	c cleaning 14001 clauses out of 28017 with flag 2810001/3266597
1659.52/888.26	c cleaning 14002 clauses out of 28016 with flag 2824001/3280597
1666.45/892.10	c cleaning 13999 clauses out of 28013 with flag 2838000/3294596
1673.77/896.02	c cleaning 13997 clauses out of 28014 with flag 2852000/3308596
1680.94/899.96	c cleaning 14003 clauses out of 28017 with flag 2866000/3322596
1688.09/904.06	c cleaning 14002 clauses out of 28014 with flag 2880000/3336596
1695.22/907.92	c cleaning 14001 clauses out of 28013 with flag 2894001/3350597
1702.14/911.76	c cleaning 13992 clauses out of 28011 with flag 2908000/3364596
1709.07/915.54	c cleaning 14003 clauses out of 28020 with flag 2922001/3378597
1716.51/919.76	c cleaning 14005 clauses out of 28017 with flag 2936001/3392597
1723.79/923.75	c cleaning 13997 clauses out of 28011 with flag 2950000/3406596
1731.31/927.82	c cleaning 13995 clauses out of 28014 with flag 2964000/3420596
1738.45/931.79	c cleaning 14002 clauses out of 28020 with flag 2978001/3434597
1746.01/936.02	c cleaning 14000 clauses out of 28017 with flag 2992000/3448596
1752.74/939.75	c cleaning 13997 clauses out of 28018 with flag 3006001/3462597
1759.46/943.43	c cleaning 13998 clauses out of 28020 with flag 3020000/3476596
1765.98/947.03	c cleaning 14003 clauses out of 28023 with flag 3034001/3490597
1772.98/951.00	c cleaning 14001 clauses out of 28019 with flag 3048000/3504596
1779.70/954.73	c cleaning 14000 clauses out of 28019 with flag 3062001/3518597
1786.61/958.55	c cleaning 13996 clauses out of 28018 with flag 3076000/3532596
1793.53/962.30	c cleaning 13999 clauses out of 28023 with flag 3090001/3546597
1800.16/966.12	c starts		: 406
1800.16/966.12	c conflicts		: 3559452
1800.16/966.12	c decisions		: 5660628
1800.16/966.12	c propagations		: 469063650
1800.16/966.12	c inspects		: 5178101353
1800.16/966.12	c shortcuts		: 0
1800.16/966.12	c learnt literals	: 0
1800.16/966.12	c learnt binary clauses	: 0
1800.16/966.12	c learnt ternary clauses	: 0
1800.16/966.12	c learnt constraints	: 3559454
1800.16/966.12	c ignored constraints	: 0
1800.16/966.12	c root simplifications	: 0
1800.16/966.12	c removed literals (reason simplification)	: 2550633
1800.16/966.12	c reason swapping (by a shorter reason)	: 0
1800.16/966.12	c Calls to reduceDB	: 263
1800.16/966.12	c number of reductions to clauses (during analyze)	: 0
1800.16/966.12	c number of learned constraints concerned by reduction	: 0
1800.16/966.12	c number of learning phase by resolution	: 0
1800.16/966.12	c number of learning phase by cutting planes	: 0
1800.16/966.12	c speed (assignments/second)	: 542369.531081978
1800.16/966.12	c non guided choices	8975
1800.16/966.14	c learnt constraints type 
1800.16/966.14	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 26937
1800.16/966.14	c constraints type 
1800.16/966.14	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6818
1800.16/966.14	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.16/966.14	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6318
1800.16/966.14	c constraints type 
1800.16/966.14	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6818
1800.16/966.14	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
1800.16/966.14	c org.sat4j.pb.constraints.pb.MaxWatchPb => 6318
1800.16/966.14	s SATISFIABLE
1800.16/966.14	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.16/966.14	c objective function=74
1800.16/966.14	c Total wall clock time (in seconds): 966.028

Verifier Data 

OK	74

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-3453919-1307194457/watcher-3453919-1307194457 -o /tmp/evaluation-result-3453919-1307194457/solver-3453919-1307194457 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3453919-1307194457.opb 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 3.73 3.65 3.69 3/551 10776
/proc/meminfo: memFree=14667240/32951132 swapFree=46579808/67111528
[pid=10776] ppid=10774 vsize=10430980 CPUtime=0 cores=1,3,5,7
/proc/10776/stat : 10776 (java) S 10774 10776 4029 0 -1 4202496 2551 0 1 0 0 0 0 0 25 0 2 0 831044304 10681323520 2252 33554432000 1073741824 1073778376 140735393593808 18446744073709551615 242982352869 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/10776/statm: 2607745 2265 906 9 0 2598901 0
[pid=10776/tid=10777] ppid=10774 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/10776/task/10777/stat : 10777 (java) R 10774 10776 4029 0 -1 4202560 6234 0 1 0 0 0 0 0 25 0 2 0 831044305 10694979584 7050 33554432000 1073741824 1073778376 140735393593808 18446744073709551615 242970244155 0 4 0 16784584 0 0 0 -1 3 0 0 0

[startup+0.106561 s]
/proc/loadavg: 3.73 3.65 3.69 3/551 10776
/proc/meminfo: memFree=14667240/32951132 swapFree=46579808/67111528
[pid=10776] ppid=10774 vsize=10540216 CPUtime=0.1 cores=1,3,5,7
/proc/10776/stat : 10776 (java) S 10774 10776 4029 0 -1 4202496 13106 0 1 0 9 1 0 0 25 0 18 0 831044304 10793181184 12802 33554432000 1073741824 1073778376 140735393593808 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10776/statm: 2635054 12802 2092 9 0 2625788 0
[pid=10776/tid=10777] ppid=10774 vsize=10540216 CPUtime=0.09 cores=1,3,5,7
/proc/10776/task/10777/stat : 10777 (java) R 10774 10776 4029 0 -1 4202560 11221 0 1 0 8 1 0 0 18 0 18 0 831044305 10793181184 12804 33554432000 1073741824 1073778376 140735393593808 18446744073709551615 242982376907 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540216

[startup+0.200511 s]
/proc/loadavg: 3.73 3.65 3.69 3/551 10776
/proc/meminfo: memFree=14667240/32951132 swapFree=46579808/67111528
[pid=10776] ppid=10774 vsize=10541160 CPUtime=0.24 cores=1,3,5,7
/proc/10776/stat : 10776 (java) S 10774 10776 4029 0 -1 4202496 14119 0 1 0 23 1 0 0 25 0 18 0 831044304 10794147840 13815 33554432000 1073741824 1073778376 140735393593808 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10776/statm: 2635290 13815 2179 9 0 2626024 0
[pid=10776/tid=10777] ppid=10774 vsize=10541160 CPUtime=0.18 cores=1,3,5,7
/proc/10776/task/10777/stat : 10777 (java) R 10774 10776 4029 0 -1 4202560 11884 0 1 0 17 1 0 0 18 0 18 0 831044305 10794147840 13815 33554432000 1073741824 1073778376 140735393593808 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 10541160

[startup+0.30053 s]
/proc/loadavg: 3.73 3.65 3.69 3/551 10776
/proc/meminfo: memFree=14667240/32951132 swapFree=46579808/67111528
[pid=10776] ppid=10774 vsize=10541408 CPUtime=0.45 cores=1,3,5,7
/proc/10776/stat : 10776 (java) S 10774 10776 4029 0 -1 4202496 15571 0 1 0 43 2 0 0 25 0 18 0 831044304 10794401792 14947 33554432000 1073741824 1073778376 140735393593808 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10776/statm: 2635352 14947 2207 9 0 2626086 0
[pid=10776/tid=10777] ppid=10774 vsize=10541408 CPUtime=0.28 cores=1,3,5,7
/proc/10776/task/10777/stat : 10777 (java) R 10774 10776 4029 0 -1 4202560 12809 0 1 0 26 2 0 0 18 0 18 0 831044305 10794401792 14948 33554432000 1073741824 1073778376 140735393593808 18446744073709551615 46912505546812 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 10541408

[startup+0.700428 s]
/proc/loadavg: 3.73 3.65 3.69 3/551 10776
/proc/meminfo: memFree=14667240/32951132 swapFree=46579808/67111528
[pid=10776] ppid=10774 vsize=10569608 CPUtime=1.71 cores=1,3,5,7
/proc/10776/stat : 10776 (java) S 10774 10776 4029 0 -1 4202496 34311 0 1 0 167 4 0 0 25 0 20 0 831044304 10823278592 29505 33554432000 1073741824 1073778376 140735393593808 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10776/statm: 2642402 29505 2230 9 0 2633136 0
[pid=10776/tid=10777] ppid=10774 vsize=10569608 CPUtime=0.53 cores=1,3,5,7
/proc/10776/task/10777/stat : 10777 (java) S 10774 10776 4029 0 -1 4202560 17072 0 1 0 51 2 0 0 19 0 20 0 831044305 10823278592 29505 33554432000 1073741824 1073778376 140735393593808 18446744073709551615 242982366720 0 4 0 16800975 18446604470424797312 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.71
Current children cumulated vsize (KiB) 10569608

[startup+1.50134 s]
/proc/loadavg: 3.67 3.64 3.69 7/573 10805
/proc/meminfo: memFree=14555472/32951132 swapFree=46579808/67111528
[pid=10776] ppid=10774 vsize=10566536 CPUtime=3.21 cores=1,3,5,7
/proc/10776/stat : 10776 (java) S 10774 10776 4029 0 -1 4202496 42620 0 1 0 316 5 0 0 25 0 19 0 831044304 10820132864 33784 33554432000 1073741824 1073778376 140735393593808 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10776/statm: 2641634 33784 2241 9 0 2632368 0
[pid=10776/tid=10777] ppid=10774 vsize=10566536 CPUtime=0.54 cores=1,3,5,7
/proc/10776/task/10777/stat : 10777 (java) S 10774 10776 4029 0 -1 4202560 17165 0 1 0 52 2 0 0 17 0 19 0 831044305 10820132864 33784 33554432000 1073741824 1073778376 140735393593808 18446744073709551615 242982366720 0 4 0 16800975 18446604470424797312 0 0 -1 7 0 0 0
[pid=10776/tid=10779] ppid=10774 vsize=10566536 CPUtime=0 cores=1,3,5,7
/proc/10776/task/10779/stat : 10779 (java) S 10774 10776 4029 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831044307 10820132864 33784 33554432000 1073741824 1073778376 140735393593808 18446744073709551615 242982366105 0 4 0 16800975 18446604470424797312 0 0 -1 7 0 0 0
[pid=10776/tid=10780] ppid=10774 vsize=10566536 CPUtime=0 cores=1,3,5,7
/proc/10776/task/10780/stat : 10780 (java) S 10774 10776 4029 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 831044307 10820132864 33784 33554432000 1073741824 1073778376 140735393593808 18446744073709551615 242982366105 0 4 0 16800975 18446604470424797312 0 0 -1 1 0 0 0
[pid=10776/tid=10781] ppid=10774 vsize=10566536 CPUtime=0 cores=1,3,5,7
/proc/10776/task/10781/stat : 10781 (java) S 10774 10776 4029 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831044307 10820132864 33784 33554432000 1073741824 1073778376 140735393593808 18446744073709551615 242982366105 0 4 0 16800975 18446604470424797312 0 0 -1 7 0 0 0
[pid=10776/tid=10782] ppid=10774 vsize=10566536 CPUtime=0 cores=1,3,5,7
/proc/10776/task/10782/stat : 10782 (java) S 10774 10776 4029 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831044307 10820132864 33784 33554432000 1073741824 1073778376 140735393593808 18446744073709551615 242982366105 0 4 0 16800975 18446604470424797312 0 0 -1 1 0 0 0
[pid=10776/tid=10783] ppid=10774 vsize=10566536 CPUtime=0 cores=1,3,5,7
/proc/10776/task/10783/stat : 10783 (java) S 10774 10776 4029 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831044307 10820132864 33784 33554432000 1073741824 1073778376 140735393593808 18446744073709551615 242982366105 0 4 0 16800975 18446604470424797312 0 0 -1 1 0 0 0
[pid=10776/tid=10784] ppid=10774 vsize=10566536 CPUtime=0 cores=1,3,5,7
/proc/10776/task/10784/stat : 10784 (java) S 10774 10776 4029 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831044307 10820132864 33784 33554432000 1073741824 1073778376 140735393593808 18446744073709551615 242982366105 0 4 0 16800975 18446604470424797312 0 0 -1 1 0 0 0
[pid=10776/tid=10785] ppid=10774 vsize=10566536 CPUtime=0 cores=1,3,5,7
/proc/10776/task/10785/stat : 10785 (java) S 10774 10776 4029 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831044307 10820132864 33784 33554432000 1073741824 1073778376 140735393593808 18446744073709551615 242982366105 0 4 0 16800975 18446604470424797312 0 0 -1 7 0 0 0
[pid=10776/tid=10786] ppid=10774 vsize=10566536 CPUtime=0 cores=1,3,5,7
/proc/10776/task/10786/stat : 10786 (java) S 10774 10776 4029 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831044307 10820132864 33784 33554432000 1073741824 1073778376 140735393593808 18446744073709551615 242982366105 0 4 0 16800975 18446604470424797312 0 0 -1 7 0 0 0
[pid=10776/tid=10787] ppid=10774 vsize=10566536 CPUtime=0 cores=1,3,5,7
/proc/10776/task/10787/stat : 10787 (java) S 10774 10776 4029 0 -1 4202560 4 0 0 0 0 0 0 0 17 0 19 0 831044308 10820132864 33784 33554432000 1073741824 1073778376 140735393593808 18446744073709551615 242982366720 0 0 0 16800975 18446604470424797312 0 0 -1 3 0 0 0
[pid=10776/tid=10788] ppid=10774 vsize=10566536 CPUtime=0 cores=1,3,5,7
/proc/10776/task/10788/stat : 10788 (java) S 10774 10776 4029 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 831044308 10820132864 33784 33554432000 1073741824 1073778376 140735393593808 18446744073709551615 242982366105 0 4 0 16800975 18446604470424797312 0 0 -1 3 0 0 0
[pid=10776/tid=10790] ppid=10774 vsize=10566536 CPUtime=0 cores=1,3,5,7
/proc/10776/task/10790/stat : 10790 (java) S 10774 10776 4029 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 831044308 10820132864 33784 33554432000 1073741824 1073778376 140735393593808 18446744073709551615 242982366105 0 4 0 16800975 18446604470424797312 0 0 -1 3 0 0 0
[pid=10776/tid=10791] ppid=10774 vsize=10566536 CPUtime=0 cores=1,3,5,7
/proc/10776/task/10791/stat : 10791 (java) S 10774 10776 4029 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831044310 10820132864 33784 33554432000 1073741824 1073778376 140735393593808 18446744073709551615 242982373809 0 4 0 16800975 18446604470424797312 0 0 -1 3 0 0 0
[pid=10776/tid=10792] ppid=10774 vsize=10566536 CPUtime=0.96 cores=1,3,5,7
/proc/10776/task/10792/stat : 10792 (java) S 10774 10776 4029 0 -1 4202560 8877 0 0 0 96 0 0 0 17 0 19 0 831044310 10820132864 33784 33554432000 1073741824 1073778376 140735393593808 18446744073709551615 242982366105 0 4 0 16800975 18446604470424797312 0 0 -1 5 0 0 0
[pid=10776/tid=10793] ppid=10774 vsize=10566536 CPUtime=1.02 cores=1,3,5,7
/proc/10776/task/10793/stat : 10793 (java) S 10774 10776 4029 0 -1 4202560 10463 0 0 0 101 1 0 0 25 0 19 0 831044311 10820132864 33784 33554432000 1073741824 1073778376 140735393593808 18446744073709551615 242982366105 0 4 0 16800975 18446604470424797312 0 0 -1 3 0 0 0
[pid=10776/tid=10794] ppid=10774 vsize=10566536 CPUtime=0 cores=1,3,5,7
/proc/10776/task/10794/stat : 10794 (java) S 10774 10776 4029 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831044311 10820132864 33784 33554432000 1073741824 1073778376 140735393593808 18446744073709551615 242982366105 0 4 0 16800975 18446604470424797312 0 0 -1 3 0 0 0
[pid=10776/tid=10796] ppid=10774 vsize=10566536 CPUtime=0 cores=1,3,5,7
/proc/10776/task/10796/stat : 10796 (java) S 10774 10776 4029 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 831044311 10820132864 33784 33554432000 1073741824 1073778376 140735393593808 18446744073709551615 242982366720 0 4 0 16800975 18446604470424797312 0 0 -1 1 0 0 0
[pid=10776/tid=10805] ppid=10774 vsize=10566536 CPUtime=0 cores=1,3,5,7
/proc/10776/task/10805/stat : 10805 (java) S 10774 10776 4029 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 19 0 831044412 10820132864 33784 33554432000 1073741824 1073778376 140735393593808 18446744073709551615 242982366720 0 4 0 16800975 18446604470424797312 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3.21
Current children cumulated vsize (KiB) 10566536

[startup+3.10101 s]
/proc/loadavg: 3.67 3.64 3.69 5/573 10811
/proc/meminfo: memFree=14431100/32951132 swapFree=46579808/67111528
[pid=10776] ppid=10774 vsize=10565664 CPUtime=6.37 cores=1,3,5,7
/proc/10776/stat : 10776 (java) S 10774 10776 4029 0 -1 4202496 171484 0 1 0 615 22 0 0 25 0 22 0 831044304 10819239936 159594 33554432000 1073741824 1073778376 140735393593808 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10776/statm: 2641416 159594 2243 9 0 2632150 0
[pid=10776/tid=10777] ppid=10774 vsize=10565664 CPUtime=0.55 cores=1,3,5,7
/proc/10776/task/10777/stat : 10777 (java) S 10774 10776 4029 0 -1 4202560 17299 0 1 0 53 2 0 0 15 0 22 0 831044305 10819239936 159594 33554432000 1073741824 1073778376 140735393593808 18446744073709551615 242982366720 0 4 0 16800975 18446604470424797312 0 0 -1 1 0 0 0
[pid=10776/tid=10779] ppid=10774 vsize=10565664 CPUtime=0 cores=1,3,5,7
/proc/10776/task/10779/stat : 10779 (java) S 10774 10776 4029 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831044307 10819239936 159595 33554432000 1073741824 1073778376 140735393593808 18446744073709551615 242982366105 0 4 0 16800975 18446604470424797312 0 0 -1 7 0 0 0
[pid=10776/tid=10780] ppid=10774 vsize=10565664 CPUtime=0 cores=1,3,5,7
/proc/10776/task/10780/stat : 10780 (java) S 10774 10776 4029 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 831044307 10819239936 159595 33554432000 1073741824 1073778376 140735393593808 18446744073709551615 242982366105 0 4 0 16800975 18446604470424797312 0 0 -1 1 0 0 0
[pid=10776/tid=10781] ppid=10774 vsize=10565664 CPUtime=0 cores=1,3,5,7
/proc/10776/task/10781/stat : 10781 (java) S 10774 10776 4029 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831044307 10819239936 159595 33554432000 1073741824 1073778376 140735393593808 18446744073709551615 242982366105 0 4 0 16800975 18446604470424797312 0 0 -1 7 0 0 0
[pid=10776/tid=10782] ppid=10774 vsize=10565664 CPUtime=0 cores=1,3,5,7
/proc/10776/task/10782/stat : 10782 (java) S 10774 10776 4029 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831044307 10819239936 159595 33554432000 1073741824 1073778376 140735393593808 18446744073709551615 242982366105 0 4 0 16800975 18446604470424797312 0 0 -1 1 0 0 0
[pid=10776/tid=10783] ppid=10774 vsize=10565664 CPUtime=0 cores=1,3,5,7
/proc/10776/task/10783/stat : 10783 (java) S 10774 10776 4029 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831044307 10819239936 159595 33554432000 1073741824 1073778376 140735393593808 18446744073709551615 242982366105 0 4 0 16800975 18446604470424797312 0 0 -1 1 0 0 0
[pid=10776/tid=10784] ppid=10774 vsize=10565664 CPUtime=0 cores=1,3,5,7
/proc/10776/task/10784/stat : 10784 (java) S 10774 10776 4029 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831044307 10819239936 159595 33554432000 1073741824 1073778376 140735393593808 18446744073709551615 242982366105 0 4 0 16800975 18446604470424797312 0 0 -1 1 0 0 0
[pid=10776/tid=10785] ppid=10774 vsize=10565664 CPUtime=0 cores=1,3,5,7
/proc/10776/task/10785/stat : 10785 (java) S 10774 10776 4029 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831044307 10819239936 159595 33554432000 1073741824 1073778376 140735393593808 18446744073709551615 242982366105 0 4 0 16800975 18446604470424797312 0 0 -1 7 0 0 0
[pid=10776/tid=10786] ppid=10774 vsize=10565664 CPUtime=0 cores=1,3,5,7
/proc/10776/task/10786/stat : 10786 (java) S 10774 10776 4029 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831044307 10819239936 159595 33554432000 1073741824 1073778376 140735393593808 18446744073709551615 242982366105 0 4 0 16800975 18446604470424797312 0 0 -1 7 0 0 0
[pid=10776/tid=10787] ppid=10774 vsize=10565664 CPUtime=0 cores=1,3,5,7
/proc/10776/task/10787/stat : 10787 (java) S 10774 10776 4029 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 22 0 831044308 10819239936 159595 33554432000 1073741824 1073778376 140735393593808 18446744073709551615 242982366720 0 0 0 16800975 18446604470424797312 0 0 -1 3 0 0 0
[pid=10776/tid=10788] ppid=10774 vsize=10565664 CPUtime=0 cores=1,3,5,7
/proc/10776/task/10788/stat : 10788 (java) S 10774 10776 4029 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 831044308 10819239936 159595 33554432000 1073741824 1073778376 140735393593808 18446744073709551615 242982366105 0 4 0 16800975 18446604470424797312 0 0 -1 3 0 0 0
[pid=10776/tid=10790] ppid=10774 vsize=10565664 CPUtime=0 cores=1,3,5,7
/proc/10776/task/10790/stat : 10790 (java) S 10774 10776 4029 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 831044308 10819239936 159595 33554432000 1073741824 1073778376 140735393593808 18446744073709551615 242982366105 0 4 0 16800975 18446604470424797312 0 0 -1 3 0 0 0
[pid=10776/tid=10791] ppid=10774 vsize=10565664 CPUtime=0 cores=1,3,5,7
/proc/10776/task/10791/stat : 10791 (java) S 10774 10776 4029 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831044310 10819239936 159595 33554432000 1073741824 1073778376 140735393593808 18446744073709551615 242982373809 0 4 0 16800975 18446604470424797312 0 0 -1 3 0 0 0
[pid=10776/tid=10792] ppid=10774 vsize=10565664 CPUtime=1.45 cores=1,3,5,7
/proc/10776/task/10792/stat : 10792 (java) S 10774 10776 4029 0 -1 4202560 11102 0 0 0 144 1 0 0 15 0 22 0 831044310 10819239936 159596 33554432000 1073741824 1073778376 140735393593808 18446744073709551615 242982366105 0 4 0 16800975 18446604470424797312 0 0 -1 5 0 0 0
[pid=10776/tid=10793] ppid=10774 vsize=10565664 CPUtime=1.28 cores=1,3,5,7
/proc/10776/task/10793/stat : 10793 (java) S 10774 10776 4029 0 -1 4202560 11170 0 0 0 127 1 0 0 20 0 22 0 831044311 10819239936 159596 33554432000 1073741824 1073778376 140735393593808 18446744073709551615 242982366105 0 4 0 16800975 18446604470424797312 0 0 -1 3 0 0 0
[pid=10776/tid=10794] ppid=10774 vsize=10565664 CPUtime=0 cores=1,3,5,7
/proc/10776/task/10794/stat : 10794 (java) S 10774 10776 4029 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831044311 10819239936 159596 33554432000 1073741824 1073778376 140735393593808 18446744073709551615 242982366105 0 4 0 16800975 18446604470424797312 0 0 -1 3 0 0 0
[pid=10776/tid=10796] ppid=10774 vsize=10565664 CPUtime=0 cores=1,3,5,7
/proc/10776/task/10796/stat : 10796 (java) S 10774 10776 4029 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831044311 10819239936 159598 33554432000 1073741824 1073778376 140735393593808 18446744073709551615 242982366720 0 4 0 16800975 18446604470424797312 0 0 -1 1 0 0 0
[pid=10776/tid=10808] ppid=10774 vsize=10565664 CPUtime=0 cores=1,3,5,7
/proc/10776/task/10808/stat : 10808 (java) S 10774 10776 4029 0 -1 4202560 0 0 0 0 0 0 0 0 17 0 22 0 831044463 10819239936 159604 33554432000 1073741824 1073778376 140735393593808 18446744073709551615 242982366720 0 4 0 16800975 18446604470424797312 0 0 -1 1 0 0 0
[pid=10776/tid=10809] ppid=10774 vsize=10565664 CPUtime=1 cores=1,3,5,7
/proc/10776/task/10809/stat : 10809 (java) R 10774 10776 4029 0 -1 4202560 777 0 0 0 100 0 0 0 19 0 22 0 831044513 10819239936 159604 33554432000 1073741824 1073778376 140735393593808 18446744073709551615 46912506209773 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=10776/tid=10810] ppid=10774 vsize=10565664 CPUtime=1 cores=1,3,5,7
/proc/10776/task/10810/stat : 10810 (java) R 10774 10776 4029 0 -1 4202560 111042 0 0 0 87 13 0 0 20 0 22 0 831044513 10819239936 159604 33554432000 1073741824 1073778376 140735393593808 18446744073709551615 46912505601066 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=10776/tid=10811] ppid=10774 vsize=10565664 CPUtime=0 cores=1,3,5,7
/proc/10776/task/10811/stat : 10811 (java) S 10774 10776 4029 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 831044514 10819239936 159604 33554432000 1073741824 1073778376 140735393593808 18446744073709551615 242982366720 0 4 0 16800975 18446604470424797312 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 6.37
Current children cumulated vsize (KiB) 10565664

[startup+6.30146 s]
/proc/loadavg: 3.70 3.65 3.69 5/573 10814
/proc/meminfo: memFree=13619016/32951132 swapFree=46579808/67111528
[pid=10776] ppid=10774 vsize=10565664 CPUtime=12.01 cores=1,3,5,7
/proc/10776/stat : 10776 (java) S 10774 10776 4029 0 -1 4202496 275470 0 1 0 1169 32 0 0 25 0 22 0 831044304 10819239936 263535 33554432000 1073741824 1073778376 140735393593808 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10776/statm: 2641416 263535 2269 9 0 2632150 0
[pid=10776/tid=10777] ppid=10774 vsize=10565664 CPUtime=0.56 cores=1,3,5,7
/proc/10776/task/10777/stat : 10777 (java) S 10774 10776 4029 0 -1 4202560 17320 0 1 0 54 2 0 0 15 0 22 0 831044305 10819239936 263535 33554432000 1073741824 1073778376 140735393593808 18446744073709551615 242982366720 0 4 0 16800975 18446604470424797312 0 0 -1 5 0 0 0
[pid=10776/tid=10779] ppid=10774 vsize=10565664 CPUtime=0 cores=1,3,5,7
/proc/10776/task/10779/stat : 10779 (java) S 10774 10776 4029 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 22 0 831044307 10819239936 263535 33554432000 1073741824 1073778376 140735393593808 18446744073709551615 242982366105 0 4 0 16800975 18446604470424797312 0 0 -1 7 0 0 0
[pid=10776/tid=10780] ppid=10774 vsize=10565664 CPUtime=0 cores=1,3,5,7
/proc/10776/task/10780/stat : 10780 (java) S 10774 10776 4029 0 -1 4202560 3 0 0 0 0 0 0 0 16 0 22 0 831044307 10819239936 263535 33554432000 1073741824 1073778376 140735393593808 18446744073709551615 242982366105 0 4 0 16800975 18446604470424797312 0 0 -1 1 0 0 0
[pid=10776/tid=10781] ppid=10774 vsize=10565664 CPUtime=0 cores=1,3,5,7
/proc/10776/task/10781/stat : 10781 (java) S 10774 10776 4029 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831044307 10819239936 263535 33554432000 1073741824 1073778376 140735393593808 18446744073709551615 242982366105 0 4 0 16800975 18446604470424797312 0 0 -1 7 0 0 0
[pid=10776/tid=10782] ppid=10774 vsize=10565664 CPUtime=0 cores=1,3,5,7
/proc/10776/task/10782/stat : 10782 (java) S 10774 10776 4029 0 -1 4202560 881 0 0 0 0 0 0 0 15 0 22 0 831044307 10819239936 263535 33554432000 1073741824 1073778376 140735393593808 18446744073709551615 242982366105 0 4 0 16800975 18446604470424797312 0 0 -1 5 0 0 0
[pid=10776/tid=10783] ppid=10774 vsize=10565664 CPUtime=0.01 cores=1,3,5,7
/proc/10776/task/10783/stat : 10783 (java) S 10774 10776 4029 0 -1 4202560 680 0 0 0 1 0 0 0 16 0 22 0 831044307 10819239936 263535 33554432000 1073741824 1073778376 140735393593808 18446744073709551615 242982366105 0 4 0 16800975 18446604470424797312 0 0 -1 7 0 0 0
[pid=10776/tid=10784] ppid=10774 vsize=10565664 CPUtime=0 cores=1,3,5,7
/proc/10776/task/10784/stat : 10784 (java) S 10774 10776 4029 0 -1 4202560 576 0 0 0 0 0 0 0 15 0 22 0 831044307 10819239936 263535 33554432000 1073741824 1073778376 140735393593808 18446744073709551615 242982366105 0 4 0 16800975 18446604470424797312 0 0 -1 1 0 0 0
[pid=10776/tid=10785] ppid=10774 vsize=10565664 CPUtime=0 cores=1,3,5,7
/proc/10776/task/10785/stat : 10785 (java) S 10774 10776 4029 0 -1 4202560 1240 0 0 0 0 0 0 0 15 0 22 0 831044307 10819239936 263535 33554432000 1073741824 1073778376 140735393593808 18446744073709551615 242982366105 0 4 0 16800975 18446604470424797312 0 0 -1 5 0 0 0
[pid=10776/tid=10786] ppid=10774 vsize=10565664 CPUtime=0.01 cores=1,3,5,7
/proc/10776/task/10786/stat : 10786 (java) S 10774 10776 4029 0 -1 4202560 1244 0 0 0 1 0 0 0 18 0 22 0 831044307 10819239936 263535 33554432000 1073741824 1073778376 140735393593808 18446744073709551615 242982366105 0 4 0 16800975 18446604470424797312 0 0 -1 7 0 0 0
[pid=10776/tid=10787] ppid=10774 vsize=10565664 CPUtime=0.15 cores=1,3,5,7
/proc/10776/task/10787/stat : 10787 (java) S 10774 10776 4029 0 -1 4202560 4932 0 0 0 15 0 0 0 15 0 22 0 831044308 10819239936 263535 33554432000 1073741824 1073778376 140735393593808 18446744073709551615 242982366720 0 0 0 16800975 18446604470424797312 0 0 -1 3 0 0 0
[pid=10776/tid=10788] ppid=10774 vsize=10565664 CPUtime=0 cores=1,3,5,7
/proc/10776/task/10788/stat : 10788 (java) S 10774 10776 4029 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 831044308 10819239936 263535 33554432000 1073741824 1073778376 140735393593808 18446744073709551615 242982366105 0 4 0 16800975 18446604470424797312 0 0 -1 3 0 0 0
[pid=10776/tid=10790] ppid=10774 vsize=10565664 CPUtime=0 cores=1,3,5,7
/proc/10776/task/10790/stat : 10790 (java) S 10774 10776 4029 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 831044308 10819239936 263535 33554432000 1073741824 1073778376 140735393593808 18446744073709551615 242982366105 0 4 0 16800975 18446604470424797312 0 0 -1 3 0 0 0

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

/proc/meminfo: memFree=12713780/32951132 swapFree=46579808/67111528
[pid=10776] ppid=10774 vsize=10565664 CPUtime=1648.76 cores=1,3,5,7
/proc/10776/stat : 10776 (java) S 10774 10776 4029 0 -1 4202496 462727 0 1 0 164821 55 0 0 25 0 22 0 831044304 10819239936 450438 33554432000 1073741824 1073778376 140735393593808 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10776/statm: 2641416 450438 2270 9 0 2632150 0
[pid=10776/tid=10777] ppid=10774 vsize=10565664 CPUtime=0.56 cores=1,3,5,7
/proc/10776/task/10777/stat : 10777 (java) S 10774 10776 4029 0 -1 4202560 17334 0 1 0 54 2 0 0 15 0 22 0 831044305 10819239936 450438 33554432000 1073741824 1073778376 140735393593808 18446744073709551615 242982366720 0 4 0 16800975 18446604470424797312 0 0 -1 3 0 0 0
[pid=10776/tid=10779] ppid=10774 vsize=10565664 CPUtime=1.11 cores=1,3,5,7
/proc/10776/task/10779/stat : 10779 (java) S 10774 10776 4029 0 -1 4202560 196 0 0 0 111 0 0 0 15 0 22 0 831044307 10819239936 450438 33554432000 1073741824 1073778376 140735393593808 18446744073709551615 242982366105 0 4 0 16800975 18446604470424797312 0 0 -1 7 0 0 0
[pid=10776/tid=10780] ppid=10774 vsize=10565664 CPUtime=1.13 cores=1,3,5,7
/proc/10776/task/10780/stat : 10780 (java) S 10774 10776 4029 0 -1 4202560 138 0 0 0 113 0 0 0 16 0 22 0 831044307 10819239936 450438 33554432000 1073741824 1073778376 140735393593808 18446744073709551615 242982366105 0 4 0 16800975 18446604470424797312 0 0 -1 7 0 0 0
[pid=10776/tid=10781] ppid=10774 vsize=10565664 CPUtime=1.11 cores=1,3,5,7
/proc/10776/task/10781/stat : 10781 (java) S 10774 10776 4029 0 -1 4202560 672 0 0 0 111 0 0 0 16 0 22 0 831044307 10819239936 450438 33554432000 1073741824 1073778376 140735393593808 18446744073709551615 242982366105 0 4 0 16800975 18446604470424797312 0 0 -1 3 0 0 0
[pid=10776/tid=10782] ppid=10774 vsize=10565664 CPUtime=1.2 cores=1,3,5,7
/proc/10776/task/10782/stat : 10782 (java) S 10774 10776 4029 0 -1 4202560 1093 0 0 0 120 0 0 0 16 0 22 0 831044307 10819239936 450438 33554432000 1073741824 1073778376 140735393593808 18446744073709551615 242982366105 0 4 0 16800975 18446604470424797312 0 0 -1 1 0 0 0
[pid=10776/tid=10783] ppid=10774 vsize=10565664 CPUtime=1.13 cores=1,3,5,7
/proc/10776/task/10783/stat : 10783 (java) S 10774 10776 4029 0 -1 4202560 753 0 0 0 113 0 0 0 16 0 22 0 831044307 10819239936 450438 33554432000 1073741824 1073778376 140735393593808 18446744073709551615 242982366105 0 4 0 16800975 18446604470424797312 0 0 -1 7 0 0 0
[pid=10776/tid=10784] ppid=10774 vsize=10565664 CPUtime=1.16 cores=1,3,5,7
/proc/10776/task/10784/stat : 10784 (java) S 10774 10776 4029 0 -1 4202560 1037 0 0 0 116 0 0 0 16 0 22 0 831044307 10819239936 450438 33554432000 1073741824 1073778376 140735393593808 18446744073709551615 242982366105 0 4 0 16800975 18446604470424797312 0 0 -1 1 0 0 0
[pid=10776/tid=10785] ppid=10774 vsize=10565664 CPUtime=1.2 cores=1,3,5,7
/proc/10776/task/10785/stat : 10785 (java) S 10774 10776 4029 0 -1 4202560 1817 0 0 0 120 0 0 0 15 0 22 0 831044307 10819239936 450438 33554432000 1073741824 1073778376 140735393593808 18446744073709551615 242982366105 0 4 0 16800975 18446604470424797312 0 0 -1 7 0 0 0
[pid=10776/tid=10786] ppid=10774 vsize=10565664 CPUtime=1.35 cores=1,3,5,7
/proc/10776/task/10786/stat : 10786 (java) S 10774 10776 4029 0 -1 4202560 1334 0 0 0 135 0 0 0 15 0 22 0 831044307 10819239936 450438 33554432000 1073741824 1073778376 140735393593808 18446744073709551615 242982366105 0 4 0 16800975 18446604470424797312 0 0 -1 3 0 0 0
[pid=10776/tid=10787] ppid=10774 vsize=10565664 CPUtime=118.33 cores=1,3,5,7
/proc/10776/task/10787/stat : 10787 (java) S 10774 10776 4029 0 -1 4202560 100899 0 0 0 11821 12 0 0 15 0 22 0 831044308 10819239936 450438 33554432000 1073741824 1073778376 140735393593808 18446744073709551615 242982366720 0 0 0 16800975 18446604470424797312 0 0 -1 5 0 0 0
[pid=10776/tid=10788] ppid=10774 vsize=10565664 CPUtime=0 cores=1,3,5,7
/proc/10776/task/10788/stat : 10788 (java) S 10774 10776 4029 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 831044308 10819239936 450438 33554432000 1073741824 1073778376 140735393593808 18446744073709551615 242982366105 0 4 0 16800975 18446604470424797312 0 0 -1 1 0 0 0
[pid=10776/tid=10790] ppid=10774 vsize=10565664 CPUtime=0 cores=1,3,5,7
/proc/10776/task/10790/stat : 10790 (java) S 10774 10776 4029 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 831044308 10819239936 450438 33554432000 1073741824 1073778376 140735393593808 18446744073709551615 242982366105 0 4 0 16800975 18446604470424797312 0 0 -1 1 0 0 0
[pid=10776/tid=10791] ppid=10774 vsize=10565664 CPUtime=0 cores=1,3,5,7
/proc/10776/task/10791/stat : 10791 (java) S 10774 10776 4029 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831044310 10819239936 450438 33554432000 1073741824 1073778376 140735393593808 18446744073709551615 242982373809 0 4 0 16800975 18446604470424797312 0 0 -1 3 0 0 0
[pid=10776/tid=10792] ppid=10774 vsize=10565664 CPUtime=1.89 cores=1,3,5,7
/proc/10776/task/10792/stat : 10792 (java) S 10774 10776 4029 0 -1 4202560 11130 0 0 0 188 1 0 0 15 0 22 0 831044310 10819239936 450438 33554432000 1073741824 1073778376 140735393593808 18446744073709551615 242982366105 0 4 0 16800975 18446604470424797312 0 0 -1 3 0 0 0
[pid=10776/tid=10793] ppid=10774 vsize=10565664 CPUtime=1.55 cores=1,3,5,7
/proc/10776/task/10793/stat : 10793 (java) S 10774 10776 4029 0 -1 4202560 11179 0 0 0 154 1 0 0 15 0 22 0 831044311 10819239936 450438 33554432000 1073741824 1073778376 140735393593808 18446744073709551615 242982366105 0 4 0 16800975 18446604470424797312 0 0 -1 7 0 0 0
[pid=10776/tid=10794] ppid=10774 vsize=10565664 CPUtime=0 cores=1,3,5,7
/proc/10776/task/10794/stat : 10794 (java) S 10774 10776 4029 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831044311 10819239936 450438 33554432000 1073741824 1073778376 140735393593808 18446744073709551615 242982366105 0 4 0 16800975 18446604470424797312 0 0 -1 3 0 0 0
[pid=10776/tid=10796] ppid=10774 vsize=10565664 CPUtime=0 cores=1,3,5,7
/proc/10776/task/10796/stat : 10796 (java) S 10774 10776 4029 0 -1 4202560 50 0 0 0 0 0 0 0 15 0 22 0 831044311 10819239936 450438 33554432000 1073741824 1073778376 140735393593808 18446744073709551615 242982366720 0 4 0 16800975 18446604470424797312 0 0 -1 3 0 0 0
[pid=10776/tid=10822] ppid=10774 vsize=10565664 CPUtime=0 cores=1,3,5,7
/proc/10776/task/10822/stat : 10822 (java) S 10774 10776 4029 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 831049867 10819239936 450438 33554432000 1073741824 1073778376 140735393593808 18446744073709551615 242982366720 0 4 0 16800975 18446604470424797312 0 0 -1 7 0 0 0
[pid=10776/tid=10825] ppid=10774 vsize=10565664 CPUtime=666.57 cores=1,3,5,7
/proc/10776/task/10825/stat : 10825 (java) R 10774 10776 4029 0 -1 4202560 191 0 0 0 66657 0 0 0 20 0 22 0 831054433 10819239936 450438 33554432000 1073741824 1073778376 140735393593808 18446744073709551615 46912506106775 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=10776/tid=10826] ppid=10774 vsize=10565664 CPUtime=666.54 cores=1,3,5,7
/proc/10776/task/10826/stat : 10826 (java) R 10774 10776 4029 0 -1 4202560 9906 0 0 0 66654 0 0 0 20 0 22 0 831054433 10819239936 450438 33554432000 1073741824 1073778376 140735393593808 18446744073709551615 46912506159997 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=10776/tid=10827] ppid=10774 vsize=10565664 CPUtime=0 cores=1,3,5,7
/proc/10776/task/10827/stat : 10827 (java) S 10774 10776 4029 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831054433 10819239936 450438 33554432000 1073741824 1073778376 140735393593808 18446744073709551615 242982366720 0 4 0 16800975 18446604470424797312 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1648.76
Current children cumulated vsize (KiB) 10565664

[startup+942.302 s]
/proc/loadavg: 3.47 3.56 3.64 3/550 10854
/proc/meminfo: memFree=13419244/32951132 swapFree=46579808/67111528
[pid=10776] ppid=10774 vsize=10565664 CPUtime=1757.26 cores=1,3,5,7
/proc/10776/stat : 10776 (java) S 10774 10776 4029 0 -1 4202496 463827 0 1 0 175670 56 0 0 25 0 22 0 831044304 10819239936 451515 33554432000 1073741824 1073778376 140735393593808 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10776/statm: 2641416 451515 2270 9 0 2632150 0
[pid=10776/tid=10777] ppid=10774 vsize=10565664 CPUtime=0.56 cores=1,3,5,7
/proc/10776/task/10777/stat : 10777 (java) S 10774 10776 4029 0 -1 4202560 17334 0 1 0 54 2 0 0 15 0 22 0 831044305 10819239936 451515 33554432000 1073741824 1073778376 140735393593808 18446744073709551615 242982366720 0 4 0 16800975 18446604470424797312 0 0 -1 3 0 0 0
[pid=10776/tid=10779] ppid=10774 vsize=10565664 CPUtime=1.22 cores=1,3,5,7
/proc/10776/task/10779/stat : 10779 (java) S 10774 10776 4029 0 -1 4202560 199 0 0 0 122 0 0 0 15 0 22 0 831044307 10819239936 451515 33554432000 1073741824 1073778376 140735393593808 18446744073709551615 242982366105 0 4 0 16800975 18446604470424797312 0 0 -1 7 0 0 0
[pid=10776/tid=10780] ppid=10774 vsize=10565664 CPUtime=1.24 cores=1,3,5,7
/proc/10776/task/10780/stat : 10780 (java) S 10774 10776 4029 0 -1 4202560 146 0 0 0 124 0 0 0 15 0 22 0 831044307 10819239936 451515 33554432000 1073741824 1073778376 140735393593808 18446744073709551615 242982366105 0 4 0 16800975 18446604470424797312 0 0 -1 3 0 0 0
[pid=10776/tid=10781] ppid=10774 vsize=10565664 CPUtime=1.18 cores=1,3,5,7
/proc/10776/task/10781/stat : 10781 (java) S 10774 10776 4029 0 -1 4202560 674 0 0 0 118 0 0 0 15 0 22 0 831044307 10819239936 451515 33554432000 1073741824 1073778376 140735393593808 18446744073709551615 242982366105 0 4 0 16800975 18446604470424797312 0 0 -1 1 0 0 0
[pid=10776/tid=10782] ppid=10774 vsize=10565664 CPUtime=1.3 cores=1,3,5,7
/proc/10776/task/10782/stat : 10782 (java) S 10774 10776 4029 0 -1 4202560 1099 0 0 0 130 0 0 0 16 0 22 0 831044307 10819239936 451515 33554432000 1073741824 1073778376 140735393593808 18446744073709551615 242982366105 0 4 0 16800975 18446604470424797312 0 0 -1 7 0 0 0
[pid=10776/tid=10783] ppid=10774 vsize=10565664 CPUtime=1.26 cores=1,3,5,7
/proc/10776/task/10783/stat : 10783 (java) S 10774 10776 4029 0 -1 4202560 758 0 0 0 126 0 0 0 16 0 22 0 831044307 10819239936 451515 33554432000 1073741824 1073778376 140735393593808 18446744073709551615 242982366105 0 4 0 16800975 18446604470424797312 0 0 -1 7 0 0 0
[pid=10776/tid=10784] ppid=10774 vsize=10565664 CPUtime=1.25 cores=1,3,5,7
/proc/10776/task/10784/stat : 10784 (java) S 10774 10776 4029 0 -1 4202560 1041 0 0 0 125 0 0 0 15 0 22 0 831044307 10819239936 451515 33554432000 1073741824 1073778376 140735393593808 18446744073709551615 242982366105 0 4 0 16800975 18446604470424797312 0 0 -1 3 0 0 0
[pid=10776/tid=10785] ppid=10774 vsize=10565664 CPUtime=1.32 cores=1,3,5,7
/proc/10776/task/10785/stat : 10785 (java) S 10774 10776 4029 0 -1 4202560 1820 0 0 0 132 0 0 0 15 0 22 0 831044307 10819239936 451515 33554432000 1073741824 1073778376 140735393593808 18446744073709551615 242982366105 0 4 0 16800975 18446604470424797312 0 0 -1 1 0 0 0
[pid=10776/tid=10786] ppid=10774 vsize=10565664 CPUtime=1.46 cores=1,3,5,7
/proc/10776/task/10786/stat : 10786 (java) S 10774 10776 4029 0 -1 4202560 1336 0 0 0 146 0 0 0 16 0 22 0 831044307 10819239936 451515 33554432000 1073741824 1073778376 140735393593808 18446744073709551615 242982366105 0 4 0 16800975 18446604470424797312 0 0 -1 1 0 0 0
[pid=10776/tid=10787] ppid=10774 vsize=10565664 CPUtime=130.15 cores=1,3,5,7
/proc/10776/task/10787/stat : 10787 (java) S 10774 10776 4029 0 -1 4202560 101947 0 0 0 13003 12 0 0 15 0 22 0 831044308 10819239936 451515 33554432000 1073741824 1073778376 140735393593808 18446744073709551615 242982366720 0 0 0 16800975 18446604470424797312 0 0 -1 5 0 0 0
[pid=10776/tid=10788] ppid=10774 vsize=10565664 CPUtime=0 cores=1,3,5,7
/proc/10776/task/10788/stat : 10788 (java) S 10774 10776 4029 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 831044308 10819239936 451515 33554432000 1073741824 1073778376 140735393593808 18446744073709551615 242982366105 0 4 0 16800975 18446604470424797312 0 0 -1 1 0 0 0
[pid=10776/tid=10790] ppid=10774 vsize=10565664 CPUtime=0 cores=1,3,5,7
/proc/10776/task/10790/stat : 10790 (java) S 10774 10776 4029 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 831044308 10819239936 451515 33554432000 1073741824 1073778376 140735393593808 18446744073709551615 242982366105 0 4 0 16800975 18446604470424797312 0 0 -1 1 0 0 0
[pid=10776/tid=10791] ppid=10774 vsize=10565664 CPUtime=0 cores=1,3,5,7
/proc/10776/task/10791/stat : 10791 (java) S 10774 10776 4029 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831044310 10819239936 451515 33554432000 1073741824 1073778376 140735393593808 18446744073709551615 242982373809 0 4 0 16800975 18446604470424797312 0 0 -1 3 0 0 0
[pid=10776/tid=10792] ppid=10774 vsize=10565664 CPUtime=1.89 cores=1,3,5,7
/proc/10776/task/10792/stat : 10792 (java) S 10774 10776 4029 0 -1 4202560 11130 0 0 0 188 1 0 0 15 0 22 0 831044310 10819239936 451515 33554432000 1073741824 1073778376 140735393593808 18446744073709551615 242982366105 0 4 0 16800975 18446604470424797312 0 0 -1 3 0 0 0
[pid=10776/tid=10793] ppid=10774 vsize=10565664 CPUtime=1.55 cores=1,3,5,7
/proc/10776/task/10793/stat : 10793 (java) S 10774 10776 4029 0 -1 4202560 11179 0 0 0 154 1 0 0 15 0 22 0 831044311 10819239936 451515 33554432000 1073741824 1073778376 140735393593808 18446744073709551615 242982366105 0 4 0 16800975 18446604470424797312 0 0 -1 7 0 0 0
[pid=10776/tid=10794] ppid=10774 vsize=10565664 CPUtime=0 cores=1,3,5,7
/proc/10776/task/10794/stat : 10794 (java) S 10774 10776 4029 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831044311 10819239936 451515 33554432000 1073741824 1073778376 140735393593808 18446744073709551615 242982366105 0 4 0 16800975 18446604470424797312 0 0 -1 3 0 0 0
[pid=10776/tid=10796] ppid=10774 vsize=10565664 CPUtime=0 cores=1,3,5,7
/proc/10776/task/10796/stat : 10796 (java) S 10774 10776 4029 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 22 0 831044311 10819239936 451515 33554432000 1073741824 1073778376 140735393593808 18446744073709551615 242982366720 0 4 0 16800975 18446604470424797312 0 0 -1 3 0 0 0
[pid=10776/tid=10822] ppid=10774 vsize=10565664 CPUtime=0 cores=1,3,5,7
/proc/10776/task/10822/stat : 10822 (java) S 10774 10776 4029 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 831049867 10819239936 451515 33554432000 1073741824 1073778376 140735393593808 18446744073709551615 242982366720 0 4 0 16800975 18446604470424797312 0 0 -1 7 0 0 0
[pid=10776/tid=10825] ppid=10774 vsize=10565664 CPUtime=714.47 cores=1,3,5,7
/proc/10776/task/10825/stat : 10825 (java) R 10774 10776 4029 0 -1 4202560 206 0 0 0 71447 0 0 0 22 0 22 0 831054433 10819239936 451515 33554432000 1073741824 1073778376 140735393593808 18446744073709551615 46912505629159 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=10776/tid=10826] ppid=10774 vsize=10565664 CPUtime=714.44 cores=1,3,5,7
/proc/10776/task/10826/stat : 10826 (java) R 10774 10776 4029 0 -1 4202560 9906 0 0 0 71444 0 0 0 22 0 22 0 831054433 10819239936 451515 33554432000 1073741824 1073778376 140735393593808 18446744073709551615 46912506159997 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=10776/tid=10827] ppid=10774 vsize=10565664 CPUtime=0 cores=1,3,5,7
/proc/10776/task/10827/stat : 10827 (java) S 10774 10776 4029 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831054433 10819239936 451515 33554432000 1073741824 1073778376 140735393593808 18446744073709551615 242982366720 0 4 0 16800975 18446604470424797312 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1757.26
Current children cumulated vsize (KiB) 10565664



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+966.102 s]
/proc/loadavg: 2.90 3.42 3.59 3/546 10874
/proc/meminfo: memFree=13422300/32951132 swapFree=46579808/67111528
[pid=10776] ppid=10774 vsize=10565664 CPUtime=1800.16 cores=1,3,5,7
/proc/10776/stat : 10776 (java) S 10774 10776 4029 0 -1 4202496 464310 0 1 0 179960 56 0 0 25 0 22 0 831044304 10819239936 451988 33554432000 1073741824 1073778376 140735393593808 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10776/statm: 2641416 451988 2270 9 0 2632150 0
[pid=10776/tid=10777] ppid=10774 vsize=10565664 CPUtime=0.56 cores=1,3,5,7
/proc/10776/task/10777/stat : 10777 (java) S 10774 10776 4029 0 -1 4202560 17334 0 1 0 54 2 0 0 15 0 22 0 831044305 10819239936 451988 33554432000 1073741824 1073778376 140735393593808 18446744073709551615 242982366720 0 4 0 16800975 18446604470424797312 0 0 -1 3 0 0 0
[pid=10776/tid=10779] ppid=10774 vsize=10565664 CPUtime=1.28 cores=1,3,5,7
/proc/10776/task/10779/stat : 10779 (java) S 10774 10776 4029 0 -1 4202560 199 0 0 0 128 0 0 0 16 0 22 0 831044307 10819239936 451988 33554432000 1073741824 1073778376 140735393593808 18446744073709551615 242982366105 0 4 0 16800975 18446604470424797312 0 0 -1 3 0 0 0
[pid=10776/tid=10780] ppid=10774 vsize=10565664 CPUtime=1.28 cores=1,3,5,7
/proc/10776/task/10780/stat : 10780 (java) S 10774 10776 4029 0 -1 4202560 146 0 0 0 128 0 0 0 15 0 22 0 831044307 10819239936 451988 33554432000 1073741824 1073778376 140735393593808 18446744073709551615 242982366105 0 4 0 16800975 18446604470424797312 0 0 -1 3 0 0 0
[pid=10776/tid=10781] ppid=10774 vsize=10565664 CPUtime=1.23 cores=1,3,5,7
/proc/10776/task/10781/stat : 10781 (java) S 10774 10776 4029 0 -1 4202560 674 0 0 0 123 0 0 0 16 0 22 0 831044307 10819239936 451988 33554432000 1073741824 1073778376 140735393593808 18446744073709551615 242982366105 0 4 0 16800975 18446604470424797312 0 0 -1 1 0 0 0
[pid=10776/tid=10782] ppid=10774 vsize=10565664 CPUtime=1.34 cores=1,3,5,7
/proc/10776/task/10782/stat : 10782 (java) S 10774 10776 4029 0 -1 4202560 1099 0 0 0 134 0 0 0 16 0 22 0 831044307 10819239936 451988 33554432000 1073741824 1073778376 140735393593808 18446744073709551615 242982366105 0 4 0 16800975 18446604470424797312 0 0 -1 7 0 0 0
[pid=10776/tid=10783] ppid=10774 vsize=10565664 CPUtime=1.33 cores=1,3,5,7
/proc/10776/task/10783/stat : 10783 (java) S 10774 10776 4029 0 -1 4202560 761 0 0 0 133 0 0 0 16 0 22 0 831044307 10819239936 451988 33554432000 1073741824 1073778376 140735393593808 18446744073709551615 242982366105 0 4 0 16800975 18446604470424797312 0 0 -1 1 0 0 0
[pid=10776/tid=10784] ppid=10774 vsize=10565664 CPUtime=1.28 cores=1,3,5,7
/proc/10776/task/10784/stat : 10784 (java) S 10774 10776 4029 0 -1 4202560 1041 0 0 0 128 0 0 0 15 0 22 0 831044307 10819239936 451988 33554432000 1073741824 1073778376 140735393593808 18446744073709551615 242982366105 0 4 0 16800975 18446604470424797312 0 0 -1 7 0 0 0
[pid=10776/tid=10785] ppid=10774 vsize=10565664 CPUtime=1.36 cores=1,3,5,7
/proc/10776/task/10785/stat : 10785 (java) S 10774 10776 4029 0 -1 4202560 1821 0 0 0 136 0 0 0 15 0 22 0 831044307 10819239936 451988 33554432000 1073741824 1073778376 140735393593808 18446744073709551615 242982366105 0 4 0 16800975 18446604470424797312 0 0 -1 1 0 0 0
[pid=10776/tid=10786] ppid=10774 vsize=10565664 CPUtime=1.5 cores=1,3,5,7
/proc/10776/task/10786/stat : 10786 (java) S 10774 10776 4029 0 -1 4202560 1336 0 0 0 150 0 0 0 15 0 22 0 831044307 10819239936 451988 33554432000 1073741824 1073778376 140735393593808 18446744073709551615 242982366105 0 4 0 16800975 18446604470424797312 0 0 -1 3 0 0 0
[pid=10776/tid=10787] ppid=10774 vsize=10565664 CPUtime=135.05 cores=1,3,5,7
/proc/10776/task/10787/stat : 10787 (java) S 10774 10776 4029 0 -1 4202560 102418 0 0 0 13493 12 0 0 15 0 22 0 831044308 10819239936 451988 33554432000 1073741824 1073778376 140735393593808 18446744073709551615 242982366720 0 0 0 16800975 18446604470424797312 0 0 -1 5 0 0 0
[pid=10776/tid=10788] ppid=10774 vsize=10565664 CPUtime=0 cores=1,3,5,7
/proc/10776/task/10788/stat : 10788 (java) S 10774 10776 4029 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 831044308 10819239936 451988 33554432000 1073741824 1073778376 140735393593808 18446744073709551615 242982366105 0 4 0 16800975 18446604470424797312 0 0 -1 1 0 0 0
[pid=10776/tid=10790] ppid=10774 vsize=10565664 CPUtime=0 cores=1,3,5,7
/proc/10776/task/10790/stat : 10790 (java) S 10774 10776 4029 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 831044308 10819239936 451988 33554432000 1073741824 1073778376 140735393593808 18446744073709551615 242982366105 0 4 0 16800975 18446604470424797312 0 0 -1 1 0 0 0
[pid=10776/tid=10791] ppid=10774 vsize=10565664 CPUtime=0 cores=1,3,5,7
/proc/10776/task/10791/stat : 10791 (java) S 10774 10776 4029 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831044310 10819239936 451988 33554432000 1073741824 1073778376 140735393593808 18446744073709551615 242982373809 0 4 0 16800975 18446604470424797312 0 0 -1 3 0 0 0
[pid=10776/tid=10792] ppid=10774 vsize=10565664 CPUtime=1.89 cores=1,3,5,7
/proc/10776/task/10792/stat : 10792 (java) S 10774 10776 4029 0 -1 4202560 11130 0 0 0 188 1 0 0 15 0 22 0 831044310 10819239936 451988 33554432000 1073741824 1073778376 140735393593808 18446744073709551615 242982366105 0 4 0 16800975 18446604470424797312 0 0 -1 3 0 0 0
[pid=10776/tid=10793] ppid=10774 vsize=10565664 CPUtime=1.55 cores=1,3,5,7
/proc/10776/task/10793/stat : 10793 (java) S 10774 10776 4029 0 -1 4202560 11179 0 0 0 154 1 0 0 15 0 22 0 831044311 10819239936 451988 33554432000 1073741824 1073778376 140735393593808 18446744073709551615 242982366105 0 4 0 16800975 18446604470424797312 0 0 -1 7 0 0 0
[pid=10776/tid=10794] ppid=10774 vsize=10565664 CPUtime=0 cores=1,3,5,7
/proc/10776/task/10794/stat : 10794 (java) S 10774 10776 4029 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831044311 10819239936 451988 33554432000 1073741824 1073778376 140735393593808 18446744073709551615 242982366105 0 4 0 16800975 18446604470424797312 0 0 -1 3 0 0 0
[pid=10776/tid=10796] ppid=10774 vsize=10565664 CPUtime=0 cores=1,3,5,7
/proc/10776/task/10796/stat : 10796 (java) S 10774 10776 4029 0 -1 4202560 56 0 0 0 0 0 0 0 15 0 22 0 831044311 10819239936 451988 33554432000 1073741824 1073778376 140735393593808 18446744073709551615 242982366720 0 4 0 16800975 18446604470424797312 0 0 -1 3 0 0 0
[pid=10776/tid=10822] ppid=10774 vsize=10565664 CPUtime=0 cores=1,3,5,7
/proc/10776/task/10822/stat : 10822 (java) S 10774 10776 4029 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 831049867 10819239936 451988 33554432000 1073741824 1073778376 140735393593808 18446744073709551615 242982366720 0 4 0 16800975 18446604470424797312 0 0 -1 7 0 0 0
[pid=10776/tid=10825] ppid=10774 vsize=10565664 CPUtime=733.3 cores=1,3,5,7
/proc/10776/task/10825/stat : 10825 (java) R 10774 10776 4029 0 -1 4202560 212 0 0 0 73330 0 0 0 23 0 22 0 831054433 10819239936 451988 33554432000 1073741824 1073778376 140735393593808 18446744073709551615 46912505629239 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=10776/tid=10826] ppid=10774 vsize=10565664 CPUtime=733.27 cores=1,3,5,7
/proc/10776/task/10826/stat : 10826 (java) R 10774 10776 4029 0 -1 4202560 9906 0 0 0 73327 0 0 0 23 0 22 0 831054433 10819239936 451988 33554432000 1073741824 1073778376 140735393593808 18446744073709551615 46912506159970 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=10776/tid=10827] ppid=10774 vsize=10565664 CPUtime=0 cores=1,3,5,7
/proc/10776/task/10827/stat : 10827 (java) S 10774 10776 4029 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831054433 10819239936 451988 33554432000 1073741824 1073778376 140735393593808 18446744073709551615 242982366720 0 4 0 16800975 18446604470424797312 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 10565664

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

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

[startup+966.227 s]
/proc/loadavg: 2.90 3.42 3.59 3/546 10874
/proc/meminfo: memFree=13422300/32951132 swapFree=46579808/67111528
[pid=10776] ppid=10774 vsize=0 CPUtime=1800.31 cores=1,3,5,7
/proc/10776/stat : 10776 (java) Z 10774 10776 4029 0 -1 4203548 464338 0 1 0 179968 63 0 0 17 0 2 0 831044304 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10776/statm: 0 0 0 0 0 0 0
[pid=10776/tid=10826] ppid=10774 vsize=0 CPUtime=733.38 cores=1,3,5,7
/proc/10776/task/10826/stat : 10826 (java) R 10774 10776 4029 0 -1 4203588 9906 0 0 0 73330 8 0 0 24 0 2 0 831054433 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.31
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 966.229
CPU time (s): 1800.32
CPU user time (s): 1799.68
CPU system time (s): 0.638902
CPU usage (%): 186.325
Max. virtual memory (cumulated for all children) (KiB): 10571512

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.68
system time used= 0.638902
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 464338
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= 30225
involuntary context switches= 21045

runsolver used 5.13222 second user time and 12.5041 second system time

The end

Launcher Data 

Begin job on node128 at 2011-06-04 15:34:17
IDJOB=3453919
IDBENCH=48123
IDSOLVER=1950
FILE ID=node128/3453919-1307194457
RUNJOBID= node128-1307194276-10140
PBS_JOBID= 13508827
Free space on /tmp= 73920 MiB

SOLVER NAME= Sat4j Res//CP 2.3.0
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_500_10_1.opb
COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3453919-1307194457/watcher-3453919-1307194457 -o /tmp/evaluation-result-3453919-1307194457/solver-3453919-1307194457 -C 1800 -W 1900 -M 15500  java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3453919-1307194457.opb

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

MD5SUM BENCH= 08f3a00099e19d384504c40fc611777e
RANDOM SEED=1718141517

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      14667380 kB
Buffers:        333332 kB
Cached:        3486964 kB
SwapCached:      35620 kB
Active:        9587544 kB
Inactive:      8378776 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      14667380 kB
SwapTotal:    67111528 kB
SwapFree:     46579808 kB
Dirty:              76 kB
Writeback:           0 kB
AnonPages:    14119272 kB
Mapped:          26060 kB
Slab:           134940 kB
PageTables:     113224 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS: 185154132 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73920 MiB
End job on node128 at 2011-06-04 15:50:25