Trace number 3454182

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.0? (TO) 1800.26 924.509

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-par32-3-c.opb
MD5SUMbc7893eb7aff4749139e472af91e587e
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2650
Total number of constraints6619
Number of constraints which are clauses6619
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint3
Number of terms in the objective function 2650
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 2650
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 2650
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

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.08	c version 2.3.1.v20110525
0.03/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.03/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.03/0.08	c java.vm.version	19.1-b02
0.03/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.03/0.08	c sun.arch.data.model	64
0.03/0.08	c java.version		1.6.0_24
0.03/0.08	c os.name		Linux
0.03/0.08	c os.version		2.6.18-164.el5
0.03/0.08	c os.arch		amd64
0.03/0.08	c Free memory 		9996466904
0.03/0.08	c Max memory 		10048897024
0.03/0.08	c Total memory 		10048897024
0.03/0.08	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@67ee3914
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@1c691f36
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-3454182-1307189160.opb
0.10/0.11	c reading problem ... 
0.50/0.38	c ... done. Wall clock time 0.269s.
0.50/0.38	c #vars     2650
0.50/0.38	c #constraints  6619
0.50/0.38	c constraints type 
0.50/0.38	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 4922
0.50/0.38	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1697
0.50/0.38	c constraints type 
0.50/0.38	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1697
0.50/0.38	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 4922
5.98/2.70	c cleaning 2500 clauses out of 5000 with flag 5000/5000
11.17/5.25	c cleaning 4250 clauses out of 8501 with flag 11001/11001
13.79/6.61	c cleaning 0 clauses out of 5000 with flag 0/5000
17.95/8.56	c cleaning 5626 clauses out of 11251 with flag 18001/18001
25.99/12.48	c cleaning 6809 clauses out of 13624 with flag 26000/26000
29.27/14.06	c cleaning 0 clauses out of 11000 with flag 0/11000
35.65/17.23	c cleaning 7906 clauses out of 15816 with flag 35001/35001
46.06/22.41	c cleaning 0 clauses out of 18000 with flag 0/18001
47.02/22.94	c cleaning 8955 clauses out of 17909 with flag 45000/45000
59.00/28.93	c cleaning 9478 clauses out of 18955 with flag 55001/55001
65.02/31.97	c cleaning 0 clauses out of 26000 with flag 0/26001
71.75/35.32	c cleaning 9737 clauses out of 19476 with flag 65000/65000
83.91/41.47	c cleaning 9871 clauses out of 19741 with flag 75002/75002
86.08/42.54	c cleaning 0 clauses out of 35000 with flag 0/35001
96.66/47.86	c cleaning 9928 clauses out of 19868 with flag 85000/85000
107.83/53.44	c cleaning 0 clauses out of 45000 with flag 0/45001
109.78/54.40	c cleaning 9967 clauses out of 19941 with flag 95001/95001
122.95/61.08	c cleaning 9986 clauses out of 19975 with flag 105002/105002
126.51/62.81	c cleaning 0 clauses out of 54999 with flag 0/55000
136.28/67.74	c cleaning 9990 clauses out of 19988 with flag 115001/115001
144.23/71.72	c cleaning 0 clauses out of 65000 with flag 0/65001
149.79/74.51	c cleaning 9999 clauses out of 19997 with flag 125000/125000
159.55/79.49	c cleaning 0 clauses out of 74999 with flag 0/75000
164.31/81.89	c cleaning 9997 clauses out of 19999 with flag 135001/135001
175.46/87.44	c cleaning 0 clauses out of 85000 with flag 0/85001
179.41/89.49	c cleaning 9995 clauses out of 20001 with flag 145000/145000
191.79/95.66	c cleaning 0 clauses out of 95001 with flag 0/95002
193.71/96.60	c cleaning 10001 clauses out of 20007 with flag 155001/155001
207.45/103.50	c cleaning 9997 clauses out of 20005 with flag 165000/165000
208.40/104.02	c cleaning 0 clauses out of 104999 with flag 0/105000
220.18/109.97	c cleaning 10000 clauses out of 20009 with flag 175001/175001
225.71/112.79	c cleaning 0 clauses out of 115000 with flag 0/115001
233.03/116.45	c cleaning 10000 clauses out of 20009 with flag 185001/185001
243.38/121.67	c cleaning 0 clauses out of 124999 with flag 0/125000
245.72/122.84	c cleaning 9997 clauses out of 20008 with flag 195000/195000
253.87/126.98	c cleaning 9997 clauses out of 20011 with flag 205000/205000
260.79/130.45	c cleaning 9998 clauses out of 20015 with flag 215001/215001
260.95/130.53	c cleaning 0 clauses out of 134999 with flag 0/135000
267.87/134.07	c cleaning 10002 clauses out of 20017 with flag 225001/225001
275.21/137.70	c cleaning 9999 clauses out of 20015 with flag 235001/235001
278.74/139.59	c cleaning 0 clauses out of 145000 with flag 0/145001
281.48/140.96	c cleaning 10002 clauses out of 20014 with flag 245000/245000
287.23/143.88	c cleaning 10001 clauses out of 20012 with flag 255000/255000
293.17/146.80	c cleaning 9997 clauses out of 20011 with flag 265000/265000
297.08/148.89	c cleaning 0 clauses out of 155000 with flag 0/155001
298.81/149.77	c cleaning 10000 clauses out of 20014 with flag 275000/275000
304.75/152.74	c cleaning 10001 clauses out of 20015 with flag 285001/285001
310.68/155.72	c cleaning 10000 clauses out of 20013 with flag 295000/295000
315.82/158.35	c cleaning 0 clauses out of 164999 with flag 0/165000
316.72/158.80	c cleaning 9999 clauses out of 20013 with flag 305000/305000
322.49/161.78	c cleaning 10004 clauses out of 20014 with flag 315000/315000
328.58/164.80	c cleaning 10000 clauses out of 20012 with flag 325002/325002
334.48/167.83	c cleaning 9997 clauses out of 20010 with flag 335000/335000
336.21/168.78	c cleaning 0 clauses out of 174999 with flag 0/175000
340.54/170.96	c cleaning 9998 clauses out of 20013 with flag 345000/345000
346.67/174.00	c cleaning 9999 clauses out of 20016 with flag 355001/355001
352.60/177.07	c cleaning 10001 clauses out of 20017 with flag 365001/365001
357.30/179.40	c cleaning 0 clauses out of 184999 with flag 0/185000
358.82/180.25	c cleaning 9998 clauses out of 20015 with flag 375000/375000
364.98/183.31	c cleaning 9996 clauses out of 20018 with flag 385001/385001
371.08/186.47	c cleaning 10004 clauses out of 20021 with flag 395000/395000
377.20/189.57	c cleaning 10000 clauses out of 20017 with flag 405000/405000
378.12/190.03	c cleaning 0 clauses out of 195000 with flag 0/195001
383.25/192.67	c cleaning 10005 clauses out of 20018 with flag 415001/415001
389.58/195.85	c cleaning 10001 clauses out of 20013 with flag 425001/425001
395.66/198.93	c cleaning 10000 clauses out of 20011 with flag 435000/435000
398.78/200.56	c cleaning 0 clauses out of 204999 with flag 0/205000
401.90/202.12	c cleaning 9999 clauses out of 20012 with flag 445001/445001
407.98/205.27	c cleaning 10000 clauses out of 20013 with flag 455001/455001
414.10/208.31	c cleaning 10001 clauses out of 20013 with flag 465001/465001
419.22/210.98	c cleaning 0 clauses out of 215000 with flag 0/215001
420.33/211.51	c cleaning 9998 clauses out of 20011 with flag 475000/475000
426.42/214.69	c cleaning 10000 clauses out of 20013 with flag 485000/485000
432.56/217.79	c cleaning 10001 clauses out of 20013 with flag 495000/495000
438.85/220.94	c cleaning 10001 clauses out of 20014 with flag 505002/505002
439.76/221.47	c cleaning 0 clauses out of 224999 with flag 0/225000
445.23/224.28	c cleaning 10003 clauses out of 20012 with flag 515001/515001
451.55/227.46	c cleaning 9997 clauses out of 20011 with flag 525003/525003
457.86/230.62	c cleaning 9999 clauses out of 20012 with flag 535001/535001
461.57/232.50	c cleaning 0 clauses out of 234999 with flag 0/235000
464.24/233.90	c cleaning 9995 clauses out of 20012 with flag 545000/545000
470.36/237.06	c cleaning 10002 clauses out of 20017 with flag 555000/555000
476.67/240.27	c cleaning 10003 clauses out of 20017 with flag 565002/565002
482.97/243.42	c cleaning 9996 clauses out of 20012 with flag 575000/575000
483.44/243.71	c cleaning 0 clauses out of 245000 with flag 0/245001
489.36/246.79	c cleaning 9997 clauses out of 20018 with flag 585002/585002
495.87/250.00	c cleaning 10003 clauses out of 20021 with flag 595002/595002
502.18/253.24	c cleaning 10002 clauses out of 20016 with flag 605000/605000
505.87/255.15	c cleaning 0 clauses out of 254999 with flag 0/255000
508.75/256.60	c cleaning 9998 clauses out of 20014 with flag 615000/615000
515.05/259.84	c cleaning 9998 clauses out of 20016 with flag 625000/625000
521.35/263.08	c cleaning 10002 clauses out of 20018 with flag 635000/635000
527.81/266.38	c cleaning 9999 clauses out of 20016 with flag 645000/645000
530.91/267.90	c cleaning 0 clauses out of 264999 with flag 0/265000
534.22/269.66	c cleaning 9998 clauses out of 20017 with flag 655000/655000
540.56/272.85	c cleaning 10001 clauses out of 20020 with flag 665001/665001
547.01/276.15	c cleaning 10002 clauses out of 20019 with flag 675001/675001
553.30/279.33	c cleaning 0 clauses out of 274999 with flag 0/275000
553.57/279.51	c cleaning 10003 clauses out of 20017 with flag 685001/685001
559.91/282.75	c cleaning 10002 clauses out of 20013 with flag 695000/695000
566.36/286.04	c cleaning 9999 clauses out of 20011 with flag 705000/705000
572.66/289.31	c cleaning 10000 clauses out of 20013 with flag 715001/715001
576.72/291.36	c cleaning 0 clauses out of 284999 with flag 0/285000
579.25/292.68	c cleaning 9999 clauses out of 20012 with flag 725000/725000
585.70/295.96	c cleaning 9999 clauses out of 20013 with flag 735000/735000
592.20/299.24	c cleaning 9996 clauses out of 20014 with flag 745000/745000
598.48/302.47	c cleaning 10004 clauses out of 20019 with flag 755001/755001
599.76/303.11	c cleaning 0 clauses out of 294999 with flag 0/295000
605.04/305.87	c cleaning 10000 clauses out of 20015 with flag 765001/765001
611.53/309.13	c cleaning 9999 clauses out of 20015 with flag 775001/775001
618.02/312.43	c cleaning 10002 clauses out of 20016 with flag 785001/785001
623.48/315.25	c cleaning 0 clauses out of 304999 with flag 0/305000
624.71/315.91	c cleaning 9995 clauses out of 20013 with flag 795000/795000
631.20/319.20	c cleaning 10003 clauses out of 20018 with flag 805000/805000
637.49/322.46	c cleaning 10001 clauses out of 20015 with flag 815000/815000
643.98/325.71	c cleaning 9998 clauses out of 20014 with flag 825000/825000
647.01/327.31	c cleaning 0 clauses out of 314999 with flag 0/315000
650.50/329.15	c cleaning 10002 clauses out of 20017 with flag 835001/835001
656.98/332.46	c cleaning 10001 clauses out of 20016 with flag 845002/845002
663.47/335.75	c cleaning 10001 clauses out of 20016 with flag 855003/855003
670.10/339.14	c cleaning 10001 clauses out of 20012 with flag 865000/865000
670.98/339.70	c cleaning 0 clauses out of 325000 with flag 0/325001
676.86/342.61	c cleaning 9996 clauses out of 20012 with flag 875001/875001
683.36/345.94	c cleaning 9998 clauses out of 20015 with flag 885000/885000
689.98/349.31	c cleaning 10002 clauses out of 20019 with flag 895002/895002
693.66/351.28	c cleaning 0 clauses out of 335001 with flag 0/335002
696.54/352.77	c cleaning 10001 clauses out of 20018 with flag 905003/905003
703.02/356.09	c cleaning 10000 clauses out of 20014 with flag 915000/915000
709.64/359.48	c cleaning 10002 clauses out of 20015 with flag 925001/925001
716.12/362.76	c cleaning 10003 clauses out of 20013 with flag 935001/935001
716.64/363.03	c cleaning 0 clauses out of 345001 with flag 0/345002
722.68/366.20	c cleaning 9997 clauses out of 20010 with flag 945001/945001
729.32/369.61	c cleaning 9998 clauses out of 20012 with flag 955000/955000
736.00/372.99	c cleaning 10001 clauses out of 20015 with flag 965001/965001
742.27/376.18	c cleaning 0 clauses out of 354999 with flag 0/355000
742.72/376.49	c cleaning 9997 clauses out of 20014 with flag 975001/975001
749.34/379.88	c cleaning 10001 clauses out of 20016 with flag 985000/985000
756.01/383.26	c cleaning 9999 clauses out of 20015 with flag 995000/995000
762.68/386.65	c cleaning 10004 clauses out of 20017 with flag 1005001/1005001
769.36/390.08	c cleaning 10001 clauses out of 20013 with flag 1015001/1015001
770.57/390.75	c cleaning 0 clauses out of 365000 with flag 0/365001
776.24/393.65	c cleaning 9993 clauses out of 20011 with flag 1025000/1025000
782.94/397.07	c cleaning 10003 clauses out of 20019 with flag 1035001/1035001
789.78/400.52	c cleaning 9997 clauses out of 20015 with flag 1045000/1045000
796.59/404.03	c cleaning 10001 clauses out of 20018 with flag 1055000/1055000
798.26/404.92	c cleaning 0 clauses out of 375000 with flag 0/375001
803.52/407.62	c cleaning 10001 clauses out of 20019 with flag 1065002/1065002
810.19/411.06	c cleaning 10002 clauses out of 20018 with flag 1075002/1075002
817.00/414.55	c cleaning 9998 clauses out of 20014 with flag 1085000/1085000
823.69/417.92	c cleaning 10002 clauses out of 20017 with flag 1095001/1095001
825.53/418.95	c cleaning 0 clauses out of 384999 with flag 0/385000
830.39/421.43	c cleaning 10000 clauses out of 20014 with flag 1105000/1105000
837.20/424.93	c cleaning 9999 clauses out of 20017 with flag 1115003/1115003
843.86/428.38	c cleaning 10006 clauses out of 20015 with flag 1125000/1125000
850.72/431.82	c cleaning 9998 clauses out of 20009 with flag 1135000/1135000
855.39/434.26	c cleaning 0 clauses out of 394999 with flag 0/395000
857.58/435.44	c cleaning 9997 clauses out of 20011 with flag 1145000/1145000
864.27/438.85	c cleaning 9999 clauses out of 20015 with flag 1155001/1155001
870.95/442.28	c cleaning 9999 clauses out of 20016 with flag 1165001/1165001
877.77/445.74	c cleaning 9998 clauses out of 20016 with flag 1175000/1175000
883.58/448.75	c cleaning 0 clauses out of 404999 with flag 0/405000
884.61/449.38	c cleaning 10000 clauses out of 20018 with flag 1185000/1185000
891.27/452.74	c cleaning 10003 clauses out of 20018 with flag 1195000/1195000
898.13/456.23	c cleaning 9999 clauses out of 20016 with flag 1205001/1205001
904.95/459.79	c cleaning 10001 clauses out of 20017 with flag 1215001/1215001
911.40/463.10	c cleaning 0 clauses out of 415000 with flag 0/415001
912.03/463.45	c cleaning 10004 clauses out of 20017 with flag 1225002/1225002
918.88/466.95	c cleaning 9994 clauses out of 20011 with flag 1235000/1235000
925.66/470.47	c cleaning 10001 clauses out of 20018 with flag 1245001/1245001
932.52/473.97	c cleaning 9998 clauses out of 20019 with flag 1255003/1255003
939.41/477.42	c cleaning 0 clauses out of 425000 with flag 0/425001
939.51/477.60	c cleaning 10003 clauses out of 20018 with flag 1265000/1265000
946.42/481.15	c cleaning 10001 clauses out of 20016 with flag 1275001/1275001
953.27/484.64	c cleaning 9999 clauses out of 20014 with flag 1285000/1285000
960.12/488.15	c cleaning 10005 clauses out of 20017 with flag 1295002/1295002
965.57/490.94	c cleaning 0 clauses out of 434999 with flag 0/435000
967.15/491.86	c cleaning 9996 clauses out of 20010 with flag 1305000/1305000
974.00/495.34	c cleaning 9998 clauses out of 20014 with flag 1315000/1315000
980.84/498.88	c cleaning 10001 clauses out of 20017 with flag 1325001/1325001
987.69/502.36	c cleaning 10000 clauses out of 20016 with flag 1335001/1335001
991.87/504.52	c cleaning 0 clauses out of 445000 with flag 0/445001
994.75/506.03	c cleaning 10001 clauses out of 20015 with flag 1345000/1345000
1001.36/509.49	c cleaning 10001 clauses out of 20015 with flag 1355001/1355001
1008.21/513.00	c cleaning 10000 clauses out of 20014 with flag 1365001/1365001
1015.18/516.58	c cleaning 9999 clauses out of 20015 with flag 1375002/1375002
1018.62/518.34	c cleaning 0 clauses out of 455000 with flag 0/455001
1022.29/520.25	c cleaning 9998 clauses out of 20015 with flag 1385001/1385001
1029.11/523.73	c cleaning 9999 clauses out of 20017 with flag 1395001/1395001
1036.07/527.32	c cleaning 9997 clauses out of 20017 with flag 1405000/1405000
1042.71/530.78	c cleaning 10005 clauses out of 20021 with flag 1415001/1415001
1044.56/531.78	c cleaning 0 clauses out of 464999 with flag 0/465000
1049.80/534.49	c cleaning 10001 clauses out of 20016 with flag 1425001/1425001
1056.77/538.06	c cleaning 9999 clauses out of 20014 with flag 1435000/1435000
1063.80/541.62	c cleaning 9999 clauses out of 20016 with flag 1445001/1445001
1070.44/545.05	c cleaning 0 clauses out of 475003 with flag 0/475004
1070.88/545.32	c cleaning 10004 clauses out of 20017 with flag 1455001/1455001
1077.67/548.90	c cleaning 10002 clauses out of 20014 with flag 1465002/1465002
1084.68/552.40	c cleaning 9998 clauses out of 20012 with flag 1475002/1475002
1091.52/555.90	c cleaning 9996 clauses out of 20012 with flag 1485000/1485000
1096.15/558.35	c cleaning 0 clauses out of 485000 with flag 0/485001
1098.50/559.64	c cleaning 9996 clauses out of 20016 with flag 1495000/1495000
1105.36/563.14	c cleaning 10001 clauses out of 20020 with flag 1505000/1505000
1112.17/566.67	c cleaning 9999 clauses out of 20019 with flag 1515000/1515000
1119.00/570.16	c cleaning 10004 clauses out of 20020 with flag 1525000/1525000
1122.76/572.15	c cleaning 0 clauses out of 494999 with flag 0/495000
1125.99/573.89	c cleaning 10000 clauses out of 20016 with flag 1535000/1535000
1133.05/577.42	c cleaning 9999 clauses out of 20016 with flag 1545000/1545000
1139.85/580.92	c cleaning 10003 clauses out of 20017 with flag 1555000/1555000
1146.79/584.52	c cleaning 10000 clauses out of 20014 with flag 1565000/1565000
1149.22/585.89	c cleaning 0 clauses out of 505000 with flag 0/505001
1153.65/588.20	c cleaning 9999 clauses out of 20015 with flag 1575001/1575001
1160.70/591.75	c cleaning 10003 clauses out of 20018 with flag 1585003/1585003
1167.61/595.33	c cleaning 9999 clauses out of 20012 with flag 1595000/1595000
1174.44/598.89	c cleaning 9998 clauses out of 20014 with flag 1605001/1605001
1176.67/600.08	c cleaning 0 clauses out of 515000 with flag 0/515001
1181.50/602.58	c cleaning 9998 clauses out of 20015 with flag 1615000/1615000
1188.64/606.21	c cleaning 10001 clauses out of 20018 with flag 1625001/1625001
1195.66/609.80	c cleaning 10004 clauses out of 20019 with flag 1635003/1635003
1202.48/613.39	c cleaning 10000 clauses out of 20013 with flag 1645001/1645001
1205.33/614.89	c cleaning 0 clauses out of 524999 with flag 0/525000
1209.83/617.24	c cleaning 10001 clauses out of 20012 with flag 1655000/1655000
1216.86/620.85	c cleaning 10000 clauses out of 20011 with flag 1665000/1665000
1223.88/624.41	c cleaning 9994 clauses out of 20011 with flag 1675000/1675000
1230.93/628.02	c cleaning 10004 clauses out of 20018 with flag 1685001/1685001
1232.43/628.97	c cleaning 0 clauses out of 534999 with flag 0/535000
1238.05/631.86	c cleaning 9996 clauses out of 20014 with flag 1695001/1695001
1245.06/635.41	c cleaning 10001 clauses out of 20017 with flag 1705000/1705000
1251.87/638.96	c cleaning 9998 clauses out of 20017 with flag 1715001/1715001
1258.64/642.44	c cleaning 0 clauses out of 544999 with flag 0/545000
1259.21/642.85	c cleaning 10001 clauses out of 20018 with flag 1725000/1725000
1266.23/646.42	c cleaning 10004 clauses out of 20019 with flag 1735002/1735002
1273.27/650.02	c cleaning 9997 clauses out of 20016 with flag 1745003/1745003
1280.17/653.67	c cleaning 10003 clauses out of 20016 with flag 1755000/1755000
1285.78/656.58	c cleaning 0 clauses out of 554999 with flag 0/555000
1287.40/657.47	c cleaning 9996 clauses out of 20014 with flag 1765001/1765001
1294.44/661.08	c cleaning 10000 clauses out of 20018 with flag 1775001/1775001
1301.53/664.72	c cleaning 10004 clauses out of 20017 with flag 1785000/1785000
1308.54/668.32	c cleaning 9996 clauses out of 20013 with flag 1795000/1795000
1315.55/671.92	c cleaning 10004 clauses out of 20019 with flag 1805002/1805002
1315.96/672.25	c cleaning 0 clauses out of 564999 with flag 0/565000
1322.88/675.86	c cleaning 9995 clauses out of 20013 with flag 1815000/1815000
1330.08/679.54	c cleaning 10004 clauses out of 20019 with flag 1825001/1825001
1337.13/683.18	c cleaning 10000 clauses out of 20015 with flag 1835001/1835001
1344.09/686.75	c cleaning 10000 clauses out of 20015 with flag 1845001/1845001
1346.21/687.98	c cleaning 0 clauses out of 574999 with flag 0/575000
1351.41/690.70	c cleaning 9999 clauses out of 20014 with flag 1855000/1855000
1358.62/694.36	c cleaning 9996 clauses out of 20016 with flag 1865001/1865001
1365.62/697.99	c cleaning 9999 clauses out of 20020 with flag 1875001/1875001
1372.73/701.70	c cleaning 10001 clauses out of 20020 with flag 1885000/1885000
1376.53/703.60	c cleaning 0 clauses out of 584999 with flag 0/585000
1380.12/705.53	c cleaning 10003 clauses out of 20019 with flag 1895000/1895000
1387.14/709.15	c cleaning 9995 clauses out of 20016 with flag 1905000/1905000
1394.44/712.94	c cleaning 10005 clauses out of 20022 with flag 1915001/1915001
1401.64/716.61	c cleaning 10001 clauses out of 20017 with flag 1925001/1925001
1408.44/720.18	c cleaning 0 clauses out of 594999 with flag 0/595000
1408.87/720.49	c cleaning 10000 clauses out of 20015 with flag 1935000/1935000
1416.34/724.31	c cleaning 9998 clauses out of 20015 with flag 1945000/1945000
1423.34/727.98	c cleaning 9997 clauses out of 20017 with flag 1955000/1955000
1430.53/731.65	c cleaning 10002 clauses out of 20020 with flag 1965000/1965000
1437.33/735.15	c cleaning 0 clauses out of 604999 with flag 0/605000
1438.22/735.70	c cleaning 10002 clauses out of 20021 with flag 1975003/1975003
1445.22/739.37	c cleaning 9999 clauses out of 20016 with flag 1985000/1985000
1452.61/743.13	c cleaning 10000 clauses out of 20018 with flag 1995001/1995001
1459.61/746.78	c cleaning 10001 clauses out of 20017 with flag 2005000/2005000
1464.70/749.49	c cleaning 0 clauses out of 614999 with flag 0/615000
1467.09/750.74	c cleaning 10001 clauses out of 20016 with flag 2015000/2015000
1474.08/754.37	c cleaning 10001 clauses out of 20015 with flag 2025000/2025000
1481.27/758.03	c cleaning 9997 clauses out of 20014 with flag 2035000/2035000
1488.55/761.80	c cleaning 10005 clauses out of 20018 with flag 2045001/2045001
1491.95/763.63	c cleaning 0 clauses out of 625000 with flag 0/625001
1495.94/765.74	c cleaning 10003 clauses out of 20014 with flag 2055002/2055002
1503.13/769.44	c cleaning 9999 clauses out of 20009 with flag 2065000/2065000
1510.44/773.24	c cleaning 9998 clauses out of 20010 with flag 2075000/2075000
1517.40/776.89	c cleaning 9998 clauses out of 20013 with flag 2085001/2085001
1520.19/778.39	c cleaning 0 clauses out of 635000 with flag 0/635001
1524.99/780.81	c cleaning 10002 clauses out of 20015 with flag 2095001/2095001
1532.07/784.57	c cleaning 9997 clauses out of 20012 with flag 2105000/2105000
1539.26/788.25	c cleaning 10002 clauses out of 20017 with flag 2115002/2115002
1546.47/791.94	c cleaning 10000 clauses out of 20015 with flag 2125002/2125002
1548.45/793.08	c cleaning 0 clauses out of 645002 with flag 0/645003
1553.90/795.95	c cleaning 10000 clauses out of 20014 with flag 2135001/2135001
1560.88/799.60	c cleaning 9998 clauses out of 20014 with flag 2145001/2145001
1568.26/803.34	c cleaning 9999 clauses out of 20016 with flag 2155001/2155001
1575.44/807.00	c cleaning 9997 clauses out of 20016 with flag 2165000/2165000
1577.32/808.12	c cleaning 0 clauses out of 654999 with flag 0/655000
1583.09/811.13	c cleaning 10005 clauses out of 20021 with flag 2175002/2175002
1590.27/814.85	c cleaning 9997 clauses out of 20014 with flag 2185000/2185000
1597.65/818.63	c cleaning 10002 clauses out of 20018 with flag 2195001/2195001
1604.93/822.45	c cleaning 9997 clauses out of 20015 with flag 2205000/2205000
1606.10/823.13	c cleaning 0 clauses out of 664999 with flag 0/665000
1612.48/826.43	c cleaning 9999 clauses out of 20018 with flag 2215000/2215000
1619.66/830.17	c cleaning 10003 clauses out of 20019 with flag 2225000/2225000
1626.93/834.00	c cleaning 10001 clauses out of 20017 with flag 2235001/2235001
1634.31/837.70	c cleaning 9998 clauses out of 20015 with flag 2245000/2245000
1635.48/838.45	c cleaning 0 clauses out of 674999 with flag 0/675000
1641.65/841.65	c cleaning 9999 clauses out of 20017 with flag 2255000/2255000
1648.93/845.48	c cleaning 9995 clauses out of 20018 with flag 2265000/2265000
1656.13/849.15	c cleaning 10006 clauses out of 20026 with flag 2275003/2275003
1663.27/852.89	c cleaning 10001 clauses out of 20018 with flag 2285001/2285001
1665.24/853.94	c cleaning 0 clauses out of 685000 with flag 0/685001
1671.10/857.00	c cleaning 10002 clauses out of 20017 with flag 2295001/2295001
1678.07/860.69	c cleaning 10001 clauses out of 20014 with flag 2305000/2305000
1685.43/864.41	c cleaning 10000 clauses out of 20013 with flag 2315000/2315000
1692.60/868.16	c cleaning 10000 clauses out of 20015 with flag 2325002/2325002
1693.66/868.90	c cleaning 0 clauses out of 694999 with flag 0/695000
1700.25/872.30	c cleaning 10000 clauses out of 20013 with flag 2335000/2335000
1707.59/876.07	c cleaning 9997 clauses out of 20013 with flag 2345000/2345000
1714.95/879.83	c cleaning 9998 clauses out of 20017 with flag 2355001/2355001
1722.20/883.69	c cleaning 0 clauses out of 704999 with flag 0/705000
1722.61/883.95	c cleaning 9999 clauses out of 20018 with flag 2365000/2365000
1729.97/887.72	c cleaning 10004 clauses out of 20020 with flag 2375001/2375001
1737.29/891.51	c cleaning 10002 clauses out of 20016 with flag 2385001/2385001
1744.78/895.42	c cleaning 10002 clauses out of 20015 with flag 2395002/2395002
1751.90/899.18	c cleaning 9996 clauses out of 20012 with flag 2405001/2405001
1752.46/899.58	c cleaning 0 clauses out of 714999 with flag 0/715000
1759.62/903.26	c cleaning 9997 clauses out of 20015 with flag 2415000/2415000
1767.27/907.21	c cleaning 10001 clauses out of 20018 with flag 2425000/2425000
1774.63/911.03	c cleaning 10001 clauses out of 20018 with flag 2435001/2435001
1781.79/914.78	c cleaning 10000 clauses out of 20016 with flag 2445000/2445000
1782.38/915.16	c cleaning 0 clauses out of 725000 with flag 0/725001
1789.38/918.86	c cleaning 9998 clauses out of 20017 with flag 2455001/2455001
1796.74/922.60	c cleaning 10003 clauses out of 20021 with flag 2465003/2465003
1800.12/924.42	c starts		: 230
1800.12/924.42	c conflicts		: 2469940
1800.12/924.42	c decisions		: 2592236
1800.12/924.42	c propagations		: 1588012131
1800.12/924.42	c inspects		: 10018572491
1800.12/924.42	c shortcuts		: 0
1800.12/924.42	c learnt literals	: 1
1800.12/924.42	c learnt binary clauses	: 41
1800.12/924.42	c learnt ternary clauses	: 51
1800.12/924.42	c learnt constraints	: 2469939
1800.12/924.42	c ignored constraints	: 0
1800.12/924.42	c root simplifications	: 0
1800.12/924.42	c removed literals (reason simplification)	: 26791558
1800.12/924.42	c reason swapping (by a shorter reason)	: 0
1800.12/924.42	c Calls to reduceDB	: 248
1800.12/924.42	c number of reductions to clauses (during analyze)	: 0
1800.12/924.42	c number of learned constraints concerned by reduction	: 0
1800.12/924.42	c number of learning phase by resolution	: 0
1800.12/924.42	c number of learning phase by cutting planes	: 0
1800.12/924.42	c speed (assignments/second)	: 1718541.3837174948
1800.12/924.42	c non guided choices	0
1800.12/924.43	c learnt constraints type 
1800.12/924.43	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 41
1800.12/924.43	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 14941
1800.12/924.43	c constraints type 
1800.12/924.43	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 4922
1800.12/924.43	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1697
1800.12/924.43	c constraints type 
1800.12/924.43	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1697
1800.12/924.43	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 4922
1800.12/924.43	s UNKNOWN
1800.12/924.43	c Total wall clock time (in seconds): 924.326

Verifier Data 

ERROR: no interpretation found !

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-3454182-1307189160/watcher-3454182-1307189160 -o /tmp/evaluation-result-3454182-1307189160/solver-3454182-1307189160 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454182-1307189160.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.43 3.61 3.27 3/536 20011
/proc/meminfo: memFree=19189276/32950928 swapFree=58671692/67111528
[pid=20011] ppid=20009 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/20011/stat : 20011 (java) S 20009 20011 16455 0 -1 4202496 5690 0 1 0 0 0 0 0 18 0 2 0 909146659 10694979584 5391 33554432000 1073741824 1073778376 140735879488624 18446744073709551615 256427194341 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/20011/statm: 2611079 5404 917 9 0 2602235 0
[pid=20011/tid=20012] ppid=20009 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/20011/task/20012/stat : 20012 (java) R 20009 20011 16455 0 -1 4202560 7822 0 1 0 0 0 0 0 19 0 2 0 909146659 10694979584 8639 33554432000 1073741824 1073778376 140735879488624 18446744073709551615 256415085627 0 4 0 16784584 0 0 0 -1 3 0 0 0

[startup+0.0389411 s]
/proc/loadavg: 3.43 3.61 3.27 3/536 20011
/proc/meminfo: memFree=19189276/32950928 swapFree=58671692/67111528
[pid=20011] ppid=20009 vsize=10467480 CPUtime=0.03 cores=1,3,5,7
/proc/20011/stat : 20011 (java) S 20009 20011 16455 0 -1 4202496 11167 0 1 0 2 1 0 0 18 0 13 0 909146659 10718699520 10863 33554432000 1073741824 1073778376 140735879488624 18446744073709551615 256427194341 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/20011/statm: 2616870 10864 1656 9 0 2607618 0
[pid=20011/tid=20012] ppid=20009 vsize=10467480 CPUtime=0.03 cores=1,3,5,7
/proc/20011/task/20012/stat : 20012 (java) R 20009 20011 16455 0 -1 4202560 10020 0 1 0 2 1 0 0 25 0 13 0 909146659 10718699520 10864 33554432000 1073741824 1073778376 140735879488624 18446744073709551615 47337511605296 0 4 0 16784584 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 10467480

[startup+0.100903 s]
/proc/loadavg: 3.43 3.61 3.27 3/536 20011
/proc/meminfo: memFree=19189276/32950928 swapFree=58671692/67111528
[pid=20011] ppid=20009 vsize=10540324 CPUtime=0.1 cores=1,3,5,7
/proc/20011/stat : 20011 (java) S 20009 20011 16455 0 -1 4202496 13157 0 1 0 9 1 0 0 18 0 18 0 909146659 10793291776 12824 33554432000 1073741824 1073778376 140735879488624 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20011/statm: 2635081 12825 2092 9 0 2625815 0
[pid=20011/tid=20012] ppid=20009 vsize=10540324 CPUtime=0.08 cores=1,3,5,7
/proc/20011/task/20012/stat : 20012 (java) R 20009 20011 16455 0 -1 4202560 11202 0 1 0 7 1 0 0 25 0 18 0 909146659 10793291776 12825 33554432000 1073741824 1073778376 140735879488624 18446744073709551615 47337507904451 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) 10540324

[startup+0.30374 s]
/proc/loadavg: 3.43 3.61 3.27 3/536 20011
/proc/meminfo: memFree=19189276/32950928 swapFree=58671692/67111528
[pid=20011] ppid=20009 vsize=10542344 CPUtime=0.5 cores=1,3,5,7
/proc/20011/stat : 20011 (java) S 20009 20011 16455 0 -1 4202496 16240 0 1 0 48 2 0 0 18 0 18 0 909146659 10795360256 15627 33554432000 1073741824 1073778376 140735879488624 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20011/statm: 2635586 15628 2201 9 0 2626320 0
[pid=20011/tid=20012] ppid=20009 vsize=10542344 CPUtime=0.28 cores=1,3,5,7
/proc/20011/task/20012/stat : 20012 (java) R 20009 20011 16455 0 -1 4202560 13314 0 1 0 27 1 0 0 25 0 18 0 909146659 10795360256 15629 33554432000 1073741824 1073778376 140735879488624 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 10542344

[startup+0.70081 s]
/proc/loadavg: 3.43 3.61 3.27 3/536 20011
/proc/meminfo: memFree=19189276/32950928 swapFree=58671692/67111528
[pid=20011] ppid=20009 vsize=10550476 CPUtime=1.88 cores=1,3,5,7
/proc/20011/stat : 20011 (java) S 20009 20011 16455 0 -1 4202496 28846 0 1 0 185 3 0 0 18 0 22 0 909146659 10803687424 25780 33554432000 1073741824 1073778376 140735879488624 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20011/statm: 2637619 25780 2237 9 0 2628353 0
[pid=20011/tid=20012] ppid=20009 vsize=10550476 CPUtime=0.36 cores=1,3,5,7
/proc/20011/task/20012/stat : 20012 (java) S 20009 20011 16455 0 -1 4202560 15939 0 1 0 35 1 0 0 25 0 22 0 909146659 10803687424 25780 33554432000 1073741824 1073778376 140735879488624 18446744073709551615 256427208192 0 4 0 16800975 18446604468231624832 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.88
Current children cumulated vsize (KiB) 10550476

[startup+1.50166 s]
/proc/loadavg: 3.43 3.61 3.27 5/558 20033
/proc/meminfo: memFree=19031248/32950928 swapFree=58671692/67111528
[pid=20011] ppid=20009 vsize=10550476 CPUtime=3.5 cores=1,3,5,7
/proc/20011/stat : 20011 (java) S 20009 20011 16455 0 -1 4202496 69591 0 1 0 342 8 0 0 18 0 22 0 909146659 10803687424 66524 33554432000 1073741824 1073778376 140735879488624 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20011/statm: 2637619 66526 2237 9 0 2628353 0
[pid=20011/tid=20012] ppid=20009 vsize=10550476 CPUtime=0.36 cores=1,3,5,7
/proc/20011/task/20012/stat : 20012 (java) S 20009 20011 16455 0 -1 4202560 15939 0 1 0 35 1 0 0 15 0 22 0 909146659 10803687424 66526 33554432000 1073741824 1073778376 140735879488624 18446744073709551615 256427208192 0 4 0 16800975 18446604468231624832 0 0 -1 1 0 0 0
[pid=20011/tid=20014] ppid=20009 vsize=10550476 CPUtime=0 cores=1,3,5,7
/proc/20011/task/20014/stat : 20014 (java) S 20009 20011 16455 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 909146661 10803687424 66526 33554432000 1073741824 1073778376 140735879488624 18446744073709551615 256427207577 0 4 0 16800975 18446604468231624832 0 0 -1 3 0 0 0
[pid=20011/tid=20015] ppid=20009 vsize=10550476 CPUtime=0 cores=1,3,5,7
/proc/20011/task/20015/stat : 20015 (java) S 20009 20011 16455 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 909146661 10803687424 66526 33554432000 1073741824 1073778376 140735879488624 18446744073709551615 256427207577 0 4 0 16800975 18446604468231624832 0 0 -1 7 0 0 0
[pid=20011/tid=20016] ppid=20009 vsize=10550476 CPUtime=0 cores=1,3,5,7
/proc/20011/task/20016/stat : 20016 (java) S 20009 20011 16455 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 909146661 10803687424 66526 33554432000 1073741824 1073778376 140735879488624 18446744073709551615 256427207577 0 4 0 16800975 18446604468231624832 0 0 -1 7 0 0 0
[pid=20011/tid=20017] ppid=20009 vsize=10550476 CPUtime=0 cores=1,3,5,7
/proc/20011/task/20017/stat : 20017 (java) S 20009 20011 16455 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 909146661 10803687424 66526 33554432000 1073741824 1073778376 140735879488624 18446744073709551615 256427207577 0 4 0 16800975 18446604468231624832 0 0 -1 7 0 0 0
[pid=20011/tid=20018] ppid=20009 vsize=10550476 CPUtime=0 cores=1,3,5,7
/proc/20011/task/20018/stat : 20018 (java) S 20009 20011 16455 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 909146661 10803687424 66526 33554432000 1073741824 1073778376 140735879488624 18446744073709551615 256427207577 0 4 0 16800975 18446604468231624832 0 0 -1 7 0 0 0
[pid=20011/tid=20019] ppid=20009 vsize=10550476 CPUtime=0 cores=1,3,5,7
/proc/20011/task/20019/stat : 20019 (java) S 20009 20011 16455 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 909146661 10803687424 66526 33554432000 1073741824 1073778376 140735879488624 18446744073709551615 256427207577 0 4 0 16800975 18446604468231624832 0 0 -1 7 0 0 0
[pid=20011/tid=20020] ppid=20009 vsize=10550476 CPUtime=0 cores=1,3,5,7
/proc/20011/task/20020/stat : 20020 (java) S 20009 20011 16455 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 909146661 10803687424 66526 33554432000 1073741824 1073778376 140735879488624 18446744073709551615 256427207577 0 4 0 16800975 18446604468231624832 0 0 -1 7 0 0 0
[pid=20011/tid=20021] ppid=20009 vsize=10550476 CPUtime=0 cores=1,3,5,7
/proc/20011/task/20021/stat : 20021 (java) S 20009 20011 16455 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 22 0 909146661 10803687424 66526 33554432000 1073741824 1073778376 140735879488624 18446744073709551615 256427207577 0 4 0 16800975 18446604468231624832 0 0 -1 7 0 0 0
[pid=20011/tid=20022] ppid=20009 vsize=10550476 CPUtime=0 cores=1,3,5,7
/proc/20011/task/20022/stat : 20022 (java) S 20009 20011 16455 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 22 0 909146662 10803687424 66526 33554432000 1073741824 1073778376 140735879488624 18446744073709551615 256427208192 0 0 0 16800975 18446604468231624832 0 0 -1 5 0 0 0
[pid=20011/tid=20023] ppid=20009 vsize=10550476 CPUtime=0 cores=1,3,5,7
/proc/20011/task/20023/stat : 20023 (java) S 20009 20011 16455 0 -1 4202560 16 0 0 0 0 0 0 0 24 0 22 0 909146662 10803687424 66526 33554432000 1073741824 1073778376 140735879488624 18446744073709551615 256427207577 0 4 0 16800975 18446604468231624832 0 0 -1 3 0 0 0
[pid=20011/tid=20024] ppid=20009 vsize=10550476 CPUtime=0 cores=1,3,5,7
/proc/20011/task/20024/stat : 20024 (java) S 20009 20011 16455 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 909146662 10803687424 66526 33554432000 1073741824 1073778376 140735879488624 18446744073709551615 256427207577 0 4 0 16800975 18446604468231624832 0 0 -1 3 0 0 0
[pid=20011/tid=20025] ppid=20009 vsize=10550476 CPUtime=0 cores=1,3,5,7
/proc/20011/task/20025/stat : 20025 (java) S 20009 20011 16455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909146664 10803687424 66526 33554432000 1073741824 1073778376 140735879488624 18446744073709551615 256427215281 0 4 0 16800975 18446604468231624832 0 0 -1 3 0 0 0
[pid=20011/tid=20026] ppid=20009 vsize=10550476 CPUtime=0.41 cores=1,3,5,7
/proc/20011/task/20026/stat : 20026 (java) S 20009 20011 16455 0 -1 4202560 1724 0 0 0 41 0 0 0 18 0 22 0 909146664 10803687424 66526 33554432000 1073741824 1073778376 140735879488624 18446744073709551615 256427207577 0 4 0 16800975 18446604468231624832 0 0 -1 7 0 0 0
[pid=20011/tid=20027] ppid=20009 vsize=10550476 CPUtime=0.47 cores=1,3,5,7
/proc/20011/task/20027/stat : 20027 (java) S 20009 20011 16455 0 -1 4202560 4122 0 0 0 47 0 0 0 15 0 22 0 909146664 10803687424 66533 33554432000 1073741824 1073778376 140735879488624 18446744073709551615 256427207577 0 4 0 16800975 18446604468231624832 0 0 -1 5 0 0 0
[pid=20011/tid=20028] ppid=20009 vsize=10550476 CPUtime=0 cores=1,3,5,7
/proc/20011/task/20028/stat : 20028 (java) S 20009 20011 16455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909146664 10803687424 66535 33554432000 1073741824 1073778376 140735879488624 18446744073709551615 256427207577 0 4 0 16800975 18446604468231624832 0 0 -1 3 0 0 0
[pid=20011/tid=20029] ppid=20009 vsize=10550476 CPUtime=0 cores=1,3,5,7
/proc/20011/task/20029/stat : 20029 (java) S 20009 20011 16455 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 909146664 10803687424 66537 33554432000 1073741824 1073778376 140735879488624 18446744073709551615 256427208192 0 4 0 16800975 18446604468231624832 0 0 -1 1 0 0 0
[pid=20011/tid=20030] ppid=20009 vsize=10550476 CPUtime=1.11 cores=1,3,5,7
/proc/20011/task/20030/stat : 20030 (java) R 20009 20011 16455 0 -1 4202560 233 0 0 0 111 0 0 0 25 0 22 0 909146697 10803687424 66539 33554432000 1073741824 1073778376 140735879488624 18446744073709551615 46912505746112 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=20011/tid=20031] ppid=20009 vsize=10550476 CPUtime=1.1 cores=1,3,5,7
/proc/20011/task/20031/stat : 20031 (java) R 20009 20011 16455 0 -1 4202560 46420 0 0 0 105 5 0 0 18 0 22 0 909146697 10803687424 66541 33554432000 1073741824 1073778376 140735879488624 18446744073709551615 46912505912519 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=20011/tid=20032] ppid=20009 vsize=10550476 CPUtime=0 cores=1,3,5,7
/proc/20011/task/20032/stat : 20032 (java) S 20009 20011 16455 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 22 0 909146699 10803687424 66543 33554432000 1073741824 1073778376 140735879488624 18446744073709551615 256427208192 0 4 0 16800975 18446604468231624832 0 0 -1 1 0 0 0
[pid=20011/tid=20033] ppid=20009 vsize=10550476 CPUtime=0 cores=1,3,5,7
/proc/20011/task/20033/stat : 20033 (java) S 20009 20011 16455 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 909146699 10803687424 66545 33554432000 1073741824 1073778376 140735879488624 18446744073709551615 256427208192 0 4 0 16800975 18446604468231624832 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3.5
Current children cumulated vsize (KiB) 10550476

[startup+3.10136 s]
/proc/loadavg: 3.47 3.62 3.27 5/558 20033
/proc/meminfo: memFree=18807452/32950928 swapFree=58671692/67111528
[pid=20011] ppid=20009 vsize=10550476 CPUtime=6.9 cores=1,3,5,7
/proc/20011/stat : 20011 (java) S 20009 20011 16455 0 -1 4202496 142489 0 1 0 671 19 0 0 18 0 22 0 909146659 10803687424 137543 33554432000 1073741824 1073778376 140735879488624 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20011/statm: 2637619 137543 2265 9 0 2628353 0
[pid=20011/tid=20012] ppid=20009 vsize=10550476 CPUtime=0.36 cores=1,3,5,7
/proc/20011/task/20012/stat : 20012 (java) S 20009 20011 16455 0 -1 4202560 15939 0 1 0 35 1 0 0 15 0 22 0 909146659 10803687424 137543 33554432000 1073741824 1073778376 140735879488624 18446744073709551615 256427208192 0 4 0 16800975 18446604468231624832 0 0 -1 1 0 0 0
[pid=20011/tid=20014] ppid=20009 vsize=10550476 CPUtime=0 cores=1,3,5,7
/proc/20011/task/20014/stat : 20014 (java) S 20009 20011 16455 0 -1 4202560 228 0 0 0 0 0 0 0 18 0 22 0 909146661 10803687424 137543 33554432000 1073741824 1073778376 140735879488624 18446744073709551615 256427207577 0 4 0 16800975 18446604468231624832 0 0 -1 3 0 0 0
[pid=20011/tid=20015] ppid=20009 vsize=10550476 CPUtime=0 cores=1,3,5,7
/proc/20011/task/20015/stat : 20015 (java) S 20009 20011 16455 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 909146661 10803687424 137543 33554432000 1073741824 1073778376 140735879488624 18446744073709551615 256427207577 0 4 0 16800975 18446604468231624832 0 0 -1 7 0 0 0
[pid=20011/tid=20016] ppid=20009 vsize=10550476 CPUtime=0 cores=1,3,5,7
/proc/20011/task/20016/stat : 20016 (java) S 20009 20011 16455 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 909146661 10803687424 137543 33554432000 1073741824 1073778376 140735879488624 18446744073709551615 256427207577 0 4 0 16800975 18446604468231624832 0 0 -1 7 0 0 0
[pid=20011/tid=20017] ppid=20009 vsize=10550476 CPUtime=0 cores=1,3,5,7
/proc/20011/task/20017/stat : 20017 (java) S 20009 20011 16455 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 909146661 10803687424 137543 33554432000 1073741824 1073778376 140735879488624 18446744073709551615 256427207577 0 4 0 16800975 18446604468231624832 0 0 -1 7 0 0 0
[pid=20011/tid=20018] ppid=20009 vsize=10550476 CPUtime=0 cores=1,3,5,7
/proc/20011/task/20018/stat : 20018 (java) S 20009 20011 16455 0 -1 4202560 288 0 0 0 0 0 0 0 18 0 22 0 909146661 10803687424 137543 33554432000 1073741824 1073778376 140735879488624 18446744073709551615 256427207577 0 4 0 16800975 18446604468231624832 0 0 -1 7 0 0 0
[pid=20011/tid=20019] ppid=20009 vsize=10550476 CPUtime=0 cores=1,3,5,7
/proc/20011/task/20019/stat : 20019 (java) S 20009 20011 16455 0 -1 4202560 244 0 0 0 0 0 0 0 18 0 22 0 909146661 10803687424 137543 33554432000 1073741824 1073778376 140735879488624 18446744073709551615 256427207577 0 4 0 16800975 18446604468231624832 0 0 -1 1 0 0 0
[pid=20011/tid=20020] ppid=20009 vsize=10550476 CPUtime=0 cores=1,3,5,7
/proc/20011/task/20020/stat : 20020 (java) S 20009 20011 16455 0 -1 4202560 205 0 0 0 0 0 0 0 18 0 22 0 909146661 10803687424 137543 33554432000 1073741824 1073778376 140735879488624 18446744073709551615 256427207577 0 4 0 16800975 18446604468231624832 0 0 -1 7 0 0 0
[pid=20011/tid=20021] ppid=20009 vsize=10550476 CPUtime=0 cores=1,3,5,7
/proc/20011/task/20021/stat : 20021 (java) S 20009 20011 16455 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 909146661 10803687424 137543 33554432000 1073741824 1073778376 140735879488624 18446744073709551615 256427207577 0 4 0 16800975 18446604468231624832 0 0 -1 7 0 0 0
[pid=20011/tid=20022] ppid=20009 vsize=10550476 CPUtime=0.01 cores=1,3,5,7
/proc/20011/task/20022/stat : 20022 (java) S 20009 20011 16455 0 -1 4202560 952 0 0 0 1 0 0 0 15 0 22 0 909146662 10803687424 137543 33554432000 1073741824 1073778376 140735879488624 18446744073709551615 256427208192 0 0 0 16800975 18446604468231624832 0 0 -1 5 0 0 0
[pid=20011/tid=20023] ppid=20009 vsize=10550476 CPUtime=0 cores=1,3,5,7
/proc/20011/task/20023/stat : 20023 (java) S 20009 20011 16455 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 909146662 10803687424 137543 33554432000 1073741824 1073778376 140735879488624 18446744073709551615 256427207577 0 4 0 16800975 18446604468231624832 0 0 -1 7 0 0 0
[pid=20011/tid=20024] ppid=20009 vsize=10550476 CPUtime=0 cores=1,3,5,7
/proc/20011/task/20024/stat : 20024 (java) S 20009 20011 16455 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 909146662 10803687424 137543 33554432000 1073741824 1073778376 140735879488624 18446744073709551615 256427207577 0 4 0 16800975 18446604468231624832 0 0 -1 7 0 0 0
[pid=20011/tid=20025] ppid=20009 vsize=10550476 CPUtime=0 cores=1,3,5,7
/proc/20011/task/20025/stat : 20025 (java) S 20009 20011 16455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909146664 10803687424 137543 33554432000 1073741824 1073778376 140735879488624 18446744073709551615 256427215281 0 4 0 16800975 18446604468231624832 0 0 -1 3 0 0 0
[pid=20011/tid=20026] ppid=20009 vsize=10550476 CPUtime=0.44 cores=1,3,5,7
/proc/20011/task/20026/stat : 20026 (java) S 20009 20011 16455 0 -1 4202560 1728 0 0 0 44 0 0 0 15 0 22 0 909146664 10803687424 137543 33554432000 1073741824 1073778376 140735879488624 18446744073709551615 256427207577 0 4 0 16800975 18446604468231624832 0 0 -1 7 0 0 0
[pid=20011/tid=20027] ppid=20009 vsize=10550476 CPUtime=0.66 cores=1,3,5,7
/proc/20011/task/20027/stat : 20027 (java) S 20009 20011 16455 0 -1 4202560 6635 0 0 0 66 0 0 0 15 0 22 0 909146664 10803687424 137543 33554432000 1073741824 1073778376 140735879488624 18446744073709551615 256427207577 0 4 0 16800975 18446604468231624832 0 0 -1 5 0 0 0
[pid=20011/tid=20028] ppid=20009 vsize=10550476 CPUtime=0 cores=1,3,5,7
/proc/20011/task/20028/stat : 20028 (java) S 20009 20011 16455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909146664 10803687424 137543 33554432000 1073741824 1073778376 140735879488624 18446744073709551615 256427207577 0 4 0 16800975 18446604468231624832 0 0 -1 3 0 0 0
[pid=20011/tid=20029] ppid=20009 vsize=10550476 CPUtime=0 cores=1,3,5,7
/proc/20011/task/20029/stat : 20029 (java) S 20009 20011 16455 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 909146664 10803687424 137543 33554432000 1073741824 1073778376 140735879488624 18446744073709551615 256427208192 0 4 0 16800975 18446604468231624832 0 0 -1 1 0 0 0
[pid=20011/tid=20030] ppid=20009 vsize=10550476 CPUtime=2.69 cores=1,3,5,7
/proc/20011/task/20030/stat : 20030 (java) R 20009 20011 16455 0 -1 4202560 403 0 0 0 269 0 0 0 18 0 22 0 909146697 10803687424 137543 33554432000 1073741824 1073778376 140735879488624 18446744073709551615 46912505865766 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=20011/tid=20031] ppid=20009 vsize=10550476 CPUtime=2.67 cores=1,3,5,7
/proc/20011/task/20031/stat : 20031 (java) R 20009 20011 16455 0 -1 4202560 114703 0 0 0 252 15 0 0 18 0 22 0 909146697 10803687424 137543 33554432000 1073741824 1073778376 140735879488624 18446744073709551615 46912505783968 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=20011/tid=20032] ppid=20009 vsize=10550476 CPUtime=0 cores=1,3,5,7
/proc/20011/task/20032/stat : 20032 (java) S 20009 20011 16455 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 22 0 909146699 10803687424 137543 33554432000 1073741824 1073778376 140735879488624 18446744073709551615 256427208192 0 4 0 16800975 18446604468231624832 0 0 -1 1 0 0 0
[pid=20011/tid=20033] ppid=20009 vsize=10550476 CPUtime=0 cores=1,3,5,7
/proc/20011/task/20033/stat : 20033 (java) S 20009 20011 16455 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 909146699 10803687424 137543 33554432000 1073741824 1073778376 140735879488624 18446744073709551615 256427208192 0 4 0 16800975 18446604468231624832 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 6.9
Current children cumulated vsize (KiB) 10550476

[startup+6.30176 s]
/proc/loadavg: 3.47 3.62 3.27 5/558 20034
/proc/meminfo: memFree=18548532/32950928 swapFree=58671692/67111528
[pid=20011] ppid=20009 vsize=10550476 CPUtime=13.35 cores=1,3,5,7
/proc/20011/stat : 20011 (java) S 20009 20011 16455 0 -1 4202496 166626 0 1 0 1314 21 0 0 18 0 22 0 909146659 10803687424 161263 33554432000 1073741824 1073778376 140735879488624 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20011/statm: 2637619 161263 2265 9 0 2628353 0
[pid=20011/tid=20012] ppid=20009 vsize=10550476 CPUtime=0.36 cores=1,3,5,7
/proc/20011/task/20012/stat : 20012 (java) S 20009 20011 16455 0 -1 4202560 15939 0 1 0 35 1 0 0 15 0 22 0 909146659 10803687424 161263 33554432000 1073741824 1073778376 140735879488624 18446744073709551615 256427208192 0 4 0 16800975 18446604468231624832 0 0 -1 1 0 0 0
[pid=20011/tid=20014] ppid=20009 vsize=10550476 CPUtime=0 cores=1,3,5,7
/proc/20011/task/20014/stat : 20014 (java) S 20009 20011 16455 0 -1 4202560 356 0 0 0 0 0 0 0 18 0 22 0 909146661 10803687424 161263 33554432000 1073741824 1073778376 140735879488624 18446744073709551615 256427207577 0 4 0 16800975 18446604468231624832 0 0 -1 3 0 0 0
[pid=20011/tid=20015] ppid=20009 vsize=10550476 CPUtime=0 cores=1,3,5,7
/proc/20011/task/20015/stat : 20015 (java) S 20009 20011 16455 0 -1 4202560 196 0 0 0 0 0 0 0 15 0 22 0 909146661 10803687424 161263 33554432000 1073741824 1073778376 140735879488624 18446744073709551615 256427207577 0 4 0 16800975 18446604468231624832 0 0 -1 3 0 0 0
[pid=20011/tid=20016] ppid=20009 vsize=10550476 CPUtime=0 cores=1,3,5,7
/proc/20011/task/20016/stat : 20016 (java) S 20009 20011 16455 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 909146661 10803687424 161263 33554432000 1073741824 1073778376 140735879488624 18446744073709551615 256427207577 0 4 0 16800975 18446604468231624832 0 0 -1 1 0 0 0
[pid=20011/tid=20017] ppid=20009 vsize=10550476 CPUtime=0 cores=1,3,5,7
/proc/20011/task/20017/stat : 20017 (java) S 20009 20011 16455 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 22 0 909146661 10803687424 161263 33554432000 1073741824 1073778376 140735879488624 18446744073709551615 256427207577 0 4 0 16800975 18446604468231624832 0 0 -1 5 0 0 0
[pid=20011/tid=20018] ppid=20009 vsize=10550476 CPUtime=0 cores=1,3,5,7
/proc/20011/task/20018/stat : 20018 (java) S 20009 20011 16455 0 -1 4202560 288 0 0 0 0 0 0 0 18 0 22 0 909146661 10803687424 161263 33554432000 1073741824 1073778376 140735879488624 18446744073709551615 256427207577 0 4 0 16800975 18446604468231624832 0 0 -1 3 0 0 0
[pid=20011/tid=20019] ppid=20009 vsize=10550476 CPUtime=0 cores=1,3,5,7
/proc/20011/task/20019/stat : 20019 (java) S 20009 20011 16455 0 -1 4202560 392 0 0 0 0 0 0 0 18 0 22 0 909146661 10803687424 161263 33554432000 1073741824 1073778376 140735879488624 18446744073709551615 256427207577 0 4 0 16800975 18446604468231624832 0 0 -1 1 0 0 0
[pid=20011/tid=20020] ppid=20009 vsize=10550476 CPUtime=0 cores=1,3,5,7
/proc/20011/task/20020/stat : 20020 (java) S 20009 20011 16455 0 -1 4202560 205 0 0 0 0 0 0 0 18 0 22 0 909146661 10803687424 161263 33554432000 1073741824 1073778376 140735879488624 18446744073709551615 256427207577 0 4 0 16800975 18446604468231624832 0 0 -1 5 0 0 0
[pid=20011/tid=20021] ppid=20009 vsize=10550476 CPUtime=0 cores=1,3,5,7
/proc/20011/task/20021/stat : 20021 (java) S 20009 20011 16455 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 909146661 10803687424 161263 33554432000 1073741824 1073778376 140735879488624 18446744073709551615 256427207577 0 4 0 16800975 18446604468231624832 0 0 -1 5 0 0 0

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

[pid=20011/tid=20031] ppid=20009 vsize=10616012 CPUtime=723.35 cores=1,3,5,7
/proc/20011/task/20031/stat : 20031 (java) R 20009 20011 16455 0 -1 4202560 347978 0 0 0 72293 42 0 0 25 0 22 0 909146697 10870796288 417633 33554432000 1073741824 1073778376 140735879488624 18446744073709551615 46912505785564 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=20011/tid=20032] ppid=20009 vsize=10616012 CPUtime=0 cores=1,3,5,7
/proc/20011/task/20032/stat : 20032 (java) S 20009 20011 16455 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 22 0 909146699 10870796288 417633 33554432000 1073741824 1073778376 140735879488624 18446744073709551615 256427208192 0 4 0 16800975 18446604468231624832 0 0 -1 1 0 0 0
[pid=20011/tid=20033] ppid=20009 vsize=10616012 CPUtime=0 cores=1,3,5,7
/proc/20011/task/20033/stat : 20033 (java) S 20009 20011 16455 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 909146699 10870796288 417633 33554432000 1073741824 1073778376 140735879488624 18446744073709551615 256427208192 0 4 0 16800975 18446604468231624832 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1489.39
Current children cumulated vsize (KiB) 10616012

[startup+822.301 s]
/proc/loadavg: 3.88 3.87 3.64 5/558 20127
/proc/meminfo: memFree=19036220/32950928 swapFree=58671692/67111528
[pid=20011] ppid=20009 vsize=10616012 CPUtime=1604.73 cores=1,3,5,7
/proc/20011/stat : 20011 (java) S 20009 20011 16455 0 -1 4202496 429713 0 1 0 160413 60 0 0 18 0 22 0 909146659 10870796288 420138 33554432000 1073741824 1073778376 140735879488624 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20011/statm: 2654003 420138 2267 9 0 2644737 0
[pid=20011/tid=20012] ppid=20009 vsize=10616012 CPUtime=0.36 cores=1,3,5,7
/proc/20011/task/20012/stat : 20012 (java) S 20009 20011 16455 0 -1 4202560 16023 0 1 0 35 1 0 0 15 0 22 0 909146659 10870796288 420138 33554432000 1073741824 1073778376 140735879488624 18446744073709551615 256427208192 0 4 0 16800975 18446604468231624832 0 0 -1 3 0 0 0
[pid=20011/tid=20014] ppid=20009 vsize=10616012 CPUtime=0.46 cores=1,3,5,7
/proc/20011/task/20014/stat : 20014 (java) S 20009 20011 16455 0 -1 4202560 486 0 0 0 46 0 0 0 15 0 22 0 909146661 10870796288 420138 33554432000 1073741824 1073778376 140735879488624 18446744073709551615 256427207577 0 4 0 16800975 18446604468231624832 0 0 -1 1 0 0 0
[pid=20011/tid=20015] ppid=20009 vsize=10616012 CPUtime=0.41 cores=1,3,5,7
/proc/20011/task/20015/stat : 20015 (java) S 20009 20011 16455 0 -1 4202560 336 0 0 0 41 0 0 0 15 0 22 0 909146661 10870796288 420138 33554432000 1073741824 1073778376 140735879488624 18446744073709551615 256427207577 0 4 0 16800975 18446604468231624832 0 0 -1 3 0 0 0
[pid=20011/tid=20016] ppid=20009 vsize=10616012 CPUtime=0.43 cores=1,3,5,7
/proc/20011/task/20016/stat : 20016 (java) S 20009 20011 16455 0 -1 4202560 132 0 0 0 43 0 0 0 16 0 22 0 909146661 10870796288 420138 33554432000 1073741824 1073778376 140735879488624 18446744073709551615 256427207577 0 4 0 16800975 18446604468231624832 0 0 -1 3 0 0 0
[pid=20011/tid=20017] ppid=20009 vsize=10616012 CPUtime=0.4 cores=1,3,5,7
/proc/20011/task/20017/stat : 20017 (java) S 20009 20011 16455 0 -1 4202560 62 0 0 0 40 0 0 0 15 0 22 0 909146661 10870796288 420138 33554432000 1073741824 1073778376 140735879488624 18446744073709551615 256427207577 0 4 0 16800975 18446604468231624832 0 0 -1 3 0 0 0
[pid=20011/tid=20018] ppid=20009 vsize=10616012 CPUtime=0.44 cores=1,3,5,7
/proc/20011/task/20018/stat : 20018 (java) S 20009 20011 16455 0 -1 4202560 320 0 0 0 44 0 0 0 15 0 22 0 909146661 10870796288 420138 33554432000 1073741824 1073778376 140735879488624 18446744073709551615 256427207577 0 4 0 16800975 18446604468231624832 0 0 -1 1 0 0 0
[pid=20011/tid=20019] ppid=20009 vsize=10616012 CPUtime=0.41 cores=1,3,5,7
/proc/20011/task/20019/stat : 20019 (java) S 20009 20011 16455 0 -1 4202560 436 0 0 0 41 0 0 0 16 0 22 0 909146661 10870796288 420138 33554432000 1073741824 1073778376 140735879488624 18446744073709551615 256427207577 0 4 0 16800975 18446604468231624832 0 0 -1 7 0 0 0
[pid=20011/tid=20020] ppid=20009 vsize=10616012 CPUtime=0.42 cores=1,3,5,7
/proc/20011/task/20020/stat : 20020 (java) S 20009 20011 16455 0 -1 4202560 243 0 0 0 42 0 0 0 15 0 22 0 909146661 10870796288 420138 33554432000 1073741824 1073778376 140735879488624 18446744073709551615 256427207577 0 4 0 16800975 18446604468231624832 0 0 -1 7 0 0 0
[pid=20011/tid=20021] ppid=20009 vsize=10616012 CPUtime=0.4 cores=1,3,5,7
/proc/20011/task/20021/stat : 20021 (java) S 20009 20011 16455 0 -1 4202560 49 0 0 0 40 0 0 0 16 0 22 0 909146661 10870796288 420138 33554432000 1073741824 1073778376 140735879488624 18446744073709551615 256427207577 0 4 0 16800975 18446604468231624832 0 0 -1 1 0 0 0
[pid=20011/tid=20022] ppid=20009 vsize=10616012 CPUtime=42.07 cores=1,3,5,7
/proc/20011/task/20022/stat : 20022 (java) S 20009 20011 16455 0 -1 4202560 46380 0 0 0 4199 8 0 0 15 0 22 0 909146662 10870796288 420138 33554432000 1073741824 1073778376 140735879488624 18446744073709551615 256427208192 0 0 0 16800975 18446604468231624832 0 0 -1 5 0 0 0
[pid=20011/tid=20023] ppid=20009 vsize=10616012 CPUtime=0 cores=1,3,5,7
/proc/20011/task/20023/stat : 20023 (java) S 20009 20011 16455 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 909146662 10870796288 420138 33554432000 1073741824 1073778376 140735879488624 18446744073709551615 256427207577 0 4 0 16800975 18446604468231624832 0 0 -1 7 0 0 0
[pid=20011/tid=20024] ppid=20009 vsize=10616012 CPUtime=0 cores=1,3,5,7
/proc/20011/task/20024/stat : 20024 (java) S 20009 20011 16455 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 909146662 10870796288 420138 33554432000 1073741824 1073778376 140735879488624 18446744073709551615 256427207577 0 4 0 16800975 18446604468231624832 0 0 -1 7 0 0 0
[pid=20011/tid=20025] ppid=20009 vsize=10616012 CPUtime=0 cores=1,3,5,7
/proc/20011/task/20025/stat : 20025 (java) S 20009 20011 16455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909146664 10870796288 420138 33554432000 1073741824 1073778376 140735879488624 18446744073709551615 256427215281 0 4 0 16800975 18446604468231624832 0 0 -1 3 0 0 0
[pid=20011/tid=20026] ppid=20009 vsize=10616012 CPUtime=0.64 cores=1,3,5,7
/proc/20011/task/20026/stat : 20026 (java) S 20009 20011 16455 0 -1 4202560 1747 0 0 0 64 0 0 0 15 0 22 0 909146664 10870796288 420138 33554432000 1073741824 1073778376 140735879488624 18446744073709551615 256427207577 0 4 0 16800975 18446604468231624832 0 0 -1 7 0 0 0
[pid=20011/tid=20027] ppid=20009 vsize=10616012 CPUtime=1.16 cores=1,3,5,7
/proc/20011/task/20027/stat : 20027 (java) S 20009 20011 16455 0 -1 4202560 13755 0 0 0 115 1 0 0 15 0 22 0 909146664 10870796288 420138 33554432000 1073741824 1073778376 140735879488624 18446744073709551615 256427207577 0 4 0 16800975 18446604468231624832 0 0 -1 5 0 0 0
[pid=20011/tid=20028] ppid=20009 vsize=10616012 CPUtime=0 cores=1,3,5,7
/proc/20011/task/20028/stat : 20028 (java) S 20009 20011 16455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909146664 10870796288 420138 33554432000 1073741824 1073778376 140735879488624 18446744073709551615 256427207577 0 4 0 16800975 18446604468231624832 0 0 -1 3 0 0 0
[pid=20011/tid=20029] ppid=20009 vsize=10616012 CPUtime=0 cores=1,3,5,7
/proc/20011/task/20029/stat : 20029 (java) S 20009 20011 16455 0 -1 4202560 46 0 0 0 0 0 0 0 15 0 22 0 909146664 10870796288 420138 33554432000 1073741824 1073778376 140735879488624 18446744073709551615 256427208192 0 4 0 16800975 18446604468231624832 0 0 -1 1 0 0 0
[pid=20011/tid=20030] ppid=20009 vsize=10616012 CPUtime=778.49 cores=1,3,5,7
/proc/20011/task/20030/stat : 20030 (java) R 20009 20011 16455 0 -1 4202560 557 0 0 0 77848 1 0 0 25 0 22 0 909146697 10870796288 420138 33554432000 1073741824 1073778376 140735879488624 18446744073709551615 46912505820034 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=20011/tid=20031] ppid=20009 vsize=10616012 CPUtime=778.48 cores=1,3,5,7
/proc/20011/task/20031/stat : 20031 (java) R 20009 20011 16455 0 -1 4202560 347982 0 0 0 77806 42 0 0 25 0 22 0 909146697 10870796288 420138 33554432000 1073741824 1073778376 140735879488624 18446744073709551615 46912506070272 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=20011/tid=20032] ppid=20009 vsize=10616012 CPUtime=0 cores=1,3,5,7
/proc/20011/task/20032/stat : 20032 (java) S 20009 20011 16455 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 22 0 909146699 10870796288 420138 33554432000 1073741824 1073778376 140735879488624 18446744073709551615 256427208192 0 4 0 16800975 18446604468231624832 0 0 -1 1 0 0 0
[pid=20011/tid=20033] ppid=20009 vsize=10616012 CPUtime=0 cores=1,3,5,7
/proc/20011/task/20033/stat : 20033 (java) S 20009 20011 16455 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 909146699 10870796288 420138 33554432000 1073741824 1073778376 140735879488624 18446744073709551615 256427208192 0 4 0 16800975 18446604468231624832 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1604.73
Current children cumulated vsize (KiB) 10616012

[startup+882.301 s]
/proc/loadavg: 4.04 3.93 3.67 5/558 20129
/proc/meminfo: memFree=18784192/32950928 swapFree=58671692/67111528
[pid=20011] ppid=20009 vsize=10616012 CPUtime=1719.6 cores=1,3,5,7
/proc/20011/stat : 20011 (java) S 20009 20011 16455 0 -1 4202496 432320 0 1 0 171899 61 0 0 18 0 22 0 909146659 10870796288 422717 33554432000 1073741824 1073778376 140735879488624 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20011/statm: 2654003 422717 2267 9 0 2644737 0
[pid=20011/tid=20012] ppid=20009 vsize=10616012 CPUtime=0.36 cores=1,3,5,7
/proc/20011/task/20012/stat : 20012 (java) S 20009 20011 16455 0 -1 4202560 16038 0 1 0 35 1 0 0 15 0 22 0 909146659 10870796288 422717 33554432000 1073741824 1073778376 140735879488624 18446744073709551615 256427208192 0 4 0 16800975 18446604468231624832 0 0 -1 3 0 0 0
[pid=20011/tid=20014] ppid=20009 vsize=10616012 CPUtime=0.52 cores=1,3,5,7
/proc/20011/task/20014/stat : 20014 (java) S 20009 20011 16455 0 -1 4202560 486 0 0 0 52 0 0 0 16 0 22 0 909146661 10870796288 422717 33554432000 1073741824 1073778376 140735879488624 18446744073709551615 256427207577 0 4 0 16800975 18446604468231624832 0 0 -1 3 0 0 0
[pid=20011/tid=20015] ppid=20009 vsize=10616012 CPUtime=0.47 cores=1,3,5,7
/proc/20011/task/20015/stat : 20015 (java) S 20009 20011 16455 0 -1 4202560 336 0 0 0 47 0 0 0 15 0 22 0 909146661 10870796288 422717 33554432000 1073741824 1073778376 140735879488624 18446744073709551615 256427207577 0 4 0 16800975 18446604468231624832 0 0 -1 7 0 0 0
[pid=20011/tid=20016] ppid=20009 vsize=10616012 CPUtime=0.45 cores=1,3,5,7
/proc/20011/task/20016/stat : 20016 (java) S 20009 20011 16455 0 -1 4202560 132 0 0 0 45 0 0 0 15 0 22 0 909146661 10870796288 422717 33554432000 1073741824 1073778376 140735879488624 18446744073709551615 256427207577 0 4 0 16800975 18446604468231624832 0 0 -1 7 0 0 0
[pid=20011/tid=20017] ppid=20009 vsize=10616012 CPUtime=0.44 cores=1,3,5,7
/proc/20011/task/20017/stat : 20017 (java) S 20009 20011 16455 0 -1 4202560 62 0 0 0 44 0 0 0 15 0 22 0 909146661 10870796288 422717 33554432000 1073741824 1073778376 140735879488624 18446744073709551615 256427207577 0 4 0 16800975 18446604468231624832 0 0 -1 1 0 0 0
[pid=20011/tid=20018] ppid=20009 vsize=10616012 CPUtime=0.48 cores=1,3,5,7
/proc/20011/task/20018/stat : 20018 (java) S 20009 20011 16455 0 -1 4202560 320 0 0 0 48 0 0 0 16 0 22 0 909146661 10870796288 422717 33554432000 1073741824 1073778376 140735879488624 18446744073709551615 256427207577 0 4 0 16800975 18446604468231624832 0 0 -1 7 0 0 0
[pid=20011/tid=20019] ppid=20009 vsize=10616012 CPUtime=0.45 cores=1,3,5,7
/proc/20011/task/20019/stat : 20019 (java) S 20009 20011 16455 0 -1 4202560 436 0 0 0 45 0 0 0 16 0 22 0 909146661 10870796288 422717 33554432000 1073741824 1073778376 140735879488624 18446744073709551615 256427207577 0 4 0 16800975 18446604468231624832 0 0 -1 1 0 0 0
[pid=20011/tid=20020] ppid=20009 vsize=10616012 CPUtime=0.48 cores=1,3,5,7
/proc/20011/task/20020/stat : 20020 (java) S 20009 20011 16455 0 -1 4202560 243 0 0 0 48 0 0 0 15 0 22 0 909146661 10870796288 422717 33554432000 1073741824 1073778376 140735879488624 18446744073709551615 256427207577 0 4 0 16800975 18446604468231624832 0 0 -1 3 0 0 0
[pid=20011/tid=20021] ppid=20009 vsize=10616012 CPUtime=0.43 cores=1,3,5,7
/proc/20011/task/20021/stat : 20021 (java) S 20009 20011 16455 0 -1 4202560 49 0 0 0 43 0 0 0 15 0 22 0 909146661 10870796288 422717 33554432000 1073741824 1073778376 140735879488624 18446744073709551615 256427207577 0 4 0 16800975 18446604468231624832 0 0 -1 1 0 0 0
[pid=20011/tid=20022] ppid=20009 vsize=10616012 CPUtime=47.27 cores=1,3,5,7
/proc/20011/task/20022/stat : 20022 (java) S 20009 20011 16455 0 -1 4202560 48963 0 0 0 4719 8 0 0 15 0 22 0 909146662 10870796288 422717 33554432000 1073741824 1073778376 140735879488624 18446744073709551615 256427208192 0 0 0 16800975 18446604468231624832 0 0 -1 5 0 0 0
[pid=20011/tid=20023] ppid=20009 vsize=10616012 CPUtime=0 cores=1,3,5,7
/proc/20011/task/20023/stat : 20023 (java) S 20009 20011 16455 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 909146662 10870796288 422717 33554432000 1073741824 1073778376 140735879488624 18446744073709551615 256427207577 0 4 0 16800975 18446604468231624832 0 0 -1 7 0 0 0
[pid=20011/tid=20024] ppid=20009 vsize=10616012 CPUtime=0 cores=1,3,5,7
/proc/20011/task/20024/stat : 20024 (java) S 20009 20011 16455 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 909146662 10870796288 422717 33554432000 1073741824 1073778376 140735879488624 18446744073709551615 256427207577 0 4 0 16800975 18446604468231624832 0 0 -1 7 0 0 0
[pid=20011/tid=20025] ppid=20009 vsize=10616012 CPUtime=0 cores=1,3,5,7
/proc/20011/task/20025/stat : 20025 (java) S 20009 20011 16455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909146664 10870796288 422717 33554432000 1073741824 1073778376 140735879488624 18446744073709551615 256427215281 0 4 0 16800975 18446604468231624832 0 0 -1 3 0 0 0
[pid=20011/tid=20026] ppid=20009 vsize=10616012 CPUtime=0.64 cores=1,3,5,7
/proc/20011/task/20026/stat : 20026 (java) S 20009 20011 16455 0 -1 4202560 1747 0 0 0 64 0 0 0 15 0 22 0 909146664 10870796288 422717 33554432000 1073741824 1073778376 140735879488624 18446744073709551615 256427207577 0 4 0 16800975 18446604468231624832 0 0 -1 7 0 0 0
[pid=20011/tid=20027] ppid=20009 vsize=10616012 CPUtime=1.16 cores=1,3,5,7
/proc/20011/task/20027/stat : 20027 (java) S 20009 20011 16455 0 -1 4202560 13755 0 0 0 115 1 0 0 15 0 22 0 909146664 10870796288 422717 33554432000 1073741824 1073778376 140735879488624 18446744073709551615 256427207577 0 4 0 16800975 18446604468231624832 0 0 -1 5 0 0 0
[pid=20011/tid=20028] ppid=20009 vsize=10616012 CPUtime=0 cores=1,3,5,7
/proc/20011/task/20028/stat : 20028 (java) S 20009 20011 16455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909146664 10870796288 422717 33554432000 1073741824 1073778376 140735879488624 18446744073709551615 256427207577 0 4 0 16800975 18446604468231624832 0 0 -1 3 0 0 0
[pid=20011/tid=20029] ppid=20009 vsize=10616012 CPUtime=0 cores=1,3,5,7
/proc/20011/task/20029/stat : 20029 (java) S 20009 20011 16455 0 -1 4202560 50 0 0 0 0 0 0 0 15 0 22 0 909146664 10870796288 422717 33554432000 1073741824 1073778376 140735879488624 18446744073709551615 256427208192 0 4 0 16800975 18446604468231624832 0 0 -1 1 0 0 0
[pid=20011/tid=20030] ppid=20009 vsize=10616012 CPUtime=833.16 cores=1,3,5,7
/proc/20011/task/20030/stat : 20030 (java) R 20009 20011 16455 0 -1 4202560 559 0 0 0 83315 1 0 0 25 0 22 0 909146697 10870796288 422717 33554432000 1073741824 1073778376 140735879488624 18446744073709551615 46912505766861 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=20011/tid=20031] ppid=20009 vsize=10616012 CPUtime=833.15 cores=1,3,5,7
/proc/20011/task/20031/stat : 20031 (java) R 20009 20011 16455 0 -1 4202560 347985 0 0 0 83273 42 0 0 25 0 22 0 909146697 10870796288 422717 33554432000 1073741824 1073778376 140735879488624 18446744073709551615 46912505738479 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=20011/tid=20032] ppid=20009 vsize=10616012 CPUtime=0 cores=1,3,5,7
/proc/20011/task/20032/stat : 20032 (java) S 20009 20011 16455 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 22 0 909146699 10870796288 422717 33554432000 1073741824 1073778376 140735879488624 18446744073709551615 256427208192 0 4 0 16800975 18446604468231624832 0 0 -1 1 0 0 0
[pid=20011/tid=20033] ppid=20009 vsize=10616012 CPUtime=0 cores=1,3,5,7
/proc/20011/task/20033/stat : 20033 (java) S 20009 20011 16455 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 909146699 10870796288 422717 33554432000 1073741824 1073778376 140735879488624 18446744073709551615 256427208192 0 4 0 16800975 18446604468231624832 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1719.6
Current children cumulated vsize (KiB) 10616012



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+924.401 s]
/proc/loadavg: 3.95 3.92 3.67 5/558 20130
/proc/meminfo: memFree=18425536/32950928 swapFree=58671692/67111528
[pid=20011] ppid=20009 vsize=10616012 CPUtime=1800.12 cores=1,3,5,7
/proc/20011/stat : 20011 (java) S 20009 20011 16455 0 -1 4202496 434029 0 1 0 179950 62 0 0 18 0 22 0 909146659 10870796288 424408 33554432000 1073741824 1073778376 140735879488624 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20011/statm: 2654003 424408 2267 9 0 2644737 0
[pid=20011/tid=20012] ppid=20009 vsize=10616012 CPUtime=0.36 cores=1,3,5,7
/proc/20011/task/20012/stat : 20012 (java) S 20009 20011 16455 0 -1 4202560 16047 0 1 0 35 1 0 0 15 0 22 0 909146659 10870796288 424408 33554432000 1073741824 1073778376 140735879488624 18446744073709551615 256427208192 0 4 0 16800975 18446604468231624832 0 0 -1 3 0 0 0
[pid=20011/tid=20014] ppid=20009 vsize=10616012 CPUtime=0.54 cores=1,3,5,7
/proc/20011/task/20014/stat : 20014 (java) S 20009 20011 16455 0 -1 4202560 486 0 0 0 54 0 0 0 15 0 22 0 909146661 10870796288 424408 33554432000 1073741824 1073778376 140735879488624 18446744073709551615 256427207577 0 4 0 16800975 18446604468231624832 0 0 -1 1 0 0 0
[pid=20011/tid=20015] ppid=20009 vsize=10616012 CPUtime=0.49 cores=1,3,5,7
/proc/20011/task/20015/stat : 20015 (java) S 20009 20011 16455 0 -1 4202560 339 0 0 0 49 0 0 0 16 0 22 0 909146661 10870796288 424408 33554432000 1073741824 1073778376 140735879488624 18446744073709551615 256427207577 0 4 0 16800975 18446604468231624832 0 0 -1 7 0 0 0
[pid=20011/tid=20016] ppid=20009 vsize=10616012 CPUtime=0.48 cores=1,3,5,7
/proc/20011/task/20016/stat : 20016 (java) S 20009 20011 16455 0 -1 4202560 132 0 0 0 48 0 0 0 16 0 22 0 909146661 10870796288 424408 33554432000 1073741824 1073778376 140735879488624 18446744073709551615 256427207577 0 4 0 16800975 18446604468231624832 0 0 -1 1 0 0 0
[pid=20011/tid=20017] ppid=20009 vsize=10616012 CPUtime=0.47 cores=1,3,5,7
/proc/20011/task/20017/stat : 20017 (java) S 20009 20011 16455 0 -1 4202560 62 0 0 0 47 0 0 0 16 0 22 0 909146661 10870796288 424408 33554432000 1073741824 1073778376 140735879488624 18446744073709551615 256427207577 0 4 0 16800975 18446604468231624832 0 0 -1 3 0 0 0
[pid=20011/tid=20018] ppid=20009 vsize=10616012 CPUtime=0.5 cores=1,3,5,7
/proc/20011/task/20018/stat : 20018 (java) S 20009 20011 16455 0 -1 4202560 320 0 0 0 50 0 0 0 15 0 22 0 909146661 10870796288 424408 33554432000 1073741824 1073778376 140735879488624 18446744073709551615 256427207577 0 4 0 16800975 18446604468231624832 0 0 -1 7 0 0 0
[pid=20011/tid=20019] ppid=20009 vsize=10616012 CPUtime=0.47 cores=1,3,5,7
/proc/20011/task/20019/stat : 20019 (java) S 20009 20011 16455 0 -1 4202560 436 0 0 0 47 0 0 0 15 0 22 0 909146661 10870796288 424408 33554432000 1073741824 1073778376 140735879488624 18446744073709551615 256427207577 0 4 0 16800975 18446604468231624832 0 0 -1 1 0 0 0
[pid=20011/tid=20020] ppid=20009 vsize=10616012 CPUtime=0.5 cores=1,3,5,7
/proc/20011/task/20020/stat : 20020 (java) S 20009 20011 16455 0 -1 4202560 243 0 0 0 50 0 0 0 15 0 22 0 909146661 10870796288 424408 33554432000 1073741824 1073778376 140735879488624 18446744073709551615 256427207577 0 4 0 16800975 18446604468231624832 0 0 -1 3 0 0 0
[pid=20011/tid=20021] ppid=20009 vsize=10616012 CPUtime=0.45 cores=1,3,5,7
/proc/20011/task/20021/stat : 20021 (java) S 20009 20011 16455 0 -1 4202560 49 0 0 0 45 0 0 0 15 0 22 0 909146661 10870796288 424408 33554432000 1073741824 1073778376 140735879488624 18446744073709551615 256427207577 0 4 0 16800975 18446604468231624832 0 0 -1 3 0 0 0
[pid=20011/tid=20022] ppid=20009 vsize=10616012 CPUtime=51.04 cores=1,3,5,7
/proc/20011/task/20022/stat : 20022 (java) S 20009 20011 16455 0 -1 4202560 50653 0 0 0 5095 9 0 0 15 0 22 0 909146662 10870796288 424408 33554432000 1073741824 1073778376 140735879488624 18446744073709551615 256427208192 0 0 0 16800975 18446604468231624832 0 0 -1 5 0 0 0
[pid=20011/tid=20023] ppid=20009 vsize=10616012 CPUtime=0 cores=1,3,5,7
/proc/20011/task/20023/stat : 20023 (java) S 20009 20011 16455 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 909146662 10870796288 424408 33554432000 1073741824 1073778376 140735879488624 18446744073709551615 256427207577 0 4 0 16800975 18446604468231624832 0 0 -1 7 0 0 0
[pid=20011/tid=20024] ppid=20009 vsize=10616012 CPUtime=0 cores=1,3,5,7
/proc/20011/task/20024/stat : 20024 (java) S 20009 20011 16455 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 909146662 10870796288 424408 33554432000 1073741824 1073778376 140735879488624 18446744073709551615 256427207577 0 4 0 16800975 18446604468231624832 0 0 -1 7 0 0 0
[pid=20011/tid=20025] ppid=20009 vsize=10616012 CPUtime=0 cores=1,3,5,7
/proc/20011/task/20025/stat : 20025 (java) S 20009 20011 16455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909146664 10870796288 424408 33554432000 1073741824 1073778376 140735879488624 18446744073709551615 256427215281 0 4 0 16800975 18446604468231624832 0 0 -1 3 0 0 0
[pid=20011/tid=20026] ppid=20009 vsize=10616012 CPUtime=0.64 cores=1,3,5,7
/proc/20011/task/20026/stat : 20026 (java) S 20009 20011 16455 0 -1 4202560 1747 0 0 0 64 0 0 0 15 0 22 0 909146664 10870796288 424408 33554432000 1073741824 1073778376 140735879488624 18446744073709551615 256427207577 0 4 0 16800975 18446604468231624832 0 0 -1 7 0 0 0
[pid=20011/tid=20027] ppid=20009 vsize=10616012 CPUtime=1.16 cores=1,3,5,7
/proc/20011/task/20027/stat : 20027 (java) S 20009 20011 16455 0 -1 4202560 13755 0 0 0 115 1 0 0 15 0 22 0 909146664 10870796288 424408 33554432000 1073741824 1073778376 140735879488624 18446744073709551615 256427207577 0 4 0 16800975 18446604468231624832 0 0 -1 5 0 0 0
[pid=20011/tid=20028] ppid=20009 vsize=10616012 CPUtime=0 cores=1,3,5,7
/proc/20011/task/20028/stat : 20028 (java) S 20009 20011 16455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909146664 10870796288 424408 33554432000 1073741824 1073778376 140735879488624 18446744073709551615 256427207577 0 4 0 16800975 18446604468231624832 0 0 -1 3 0 0 0
[pid=20011/tid=20029] ppid=20009 vsize=10616012 CPUtime=0 cores=1,3,5,7
/proc/20011/task/20029/stat : 20029 (java) S 20009 20011 16455 0 -1 4202560 52 0 0 0 0 0 0 0 15 0 22 0 909146664 10870796288 424408 33554432000 1073741824 1073778376 140735879488624 18446744073709551615 256427208192 0 4 0 16800975 18446604468231624832 0 0 -1 1 0 0 0
[pid=20011/tid=20030] ppid=20009 vsize=10616012 CPUtime=871.45 cores=1,3,5,7
/proc/20011/task/20030/stat : 20030 (java) R 20009 20011 16455 0 -1 4202560 563 0 0 0 87144 1 0 0 25 0 22 0 909146697 10870796288 424408 33554432000 1073741824 1073778376 140735879488624 18446744073709551615 46912505765873 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=20011/tid=20031] ppid=20009 vsize=10616012 CPUtime=871.43 cores=1,3,5,7
/proc/20011/task/20031/stat : 20031 (java) R 20009 20011 16455 0 -1 4202560 347986 0 0 0 87101 42 0 0 25 0 22 0 909146697 10870796288 424408 33554432000 1073741824 1073778376 140735879488624 18446744073709551615 46912505785564 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=20011/tid=20032] ppid=20009 vsize=10616012 CPUtime=0 cores=1,3,5,7
/proc/20011/task/20032/stat : 20032 (java) S 20009 20011 16455 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 22 0 909146699 10870796288 424408 33554432000 1073741824 1073778376 140735879488624 18446744073709551615 256427208192 0 4 0 16800975 18446604468231624832 0 0 -1 1 0 0 0
[pid=20011/tid=20033] ppid=20009 vsize=10616012 CPUtime=0 cores=1,3,5,7
/proc/20011/task/20033/stat : 20033 (java) S 20009 20011 16455 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 909146699 10870796288 424408 33554432000 1073741824 1073778376 140735879488624 18446744073709551615 256427208192 0 4 0 16800975 18446604468231624832 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.12
Current children cumulated vsize (KiB) 10616012

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): 924.509
CPU time (s): 1800.26
CPU user time (s): 1799.57
CPU system time (s): 0.692894
CPU usage (%): 194.726
Max. virtual memory (cumulated for all children) (KiB): 10616012

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.57
system time used= 0.692894
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 434059
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= 30030
involuntary context switches= 23629

runsolver used 4.81927 second user time and 11.9462 second system time

The end

Launcher Data 

Begin job on node115 at 2011-06-04 14:06:00
IDJOB=3454182
IDBENCH=2175
IDSOLVER=1950
FILE ID=node115/3454182-1307189160
RUNJOBID= node115-1307187576-18740
PBS_JOBID= 13508831
Free space on /tmp= 73836 MiB

SOLVER NAME= Sat4j Res//CP 2.3.0
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par32-3-c.opb
COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3454182-1307189160/watcher-3454182-1307189160 -o /tmp/evaluation-result-3454182-1307189160/solver-3454182-1307189160 -C 1800 -W 1900 -M 15500  java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454182-1307189160.opb

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

MD5SUM BENCH= bc7893eb7aff4749139e472af91e587e
RANDOM SEED=366334361

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      19189308 kB
Buffers:        201212 kB
Cached:         326032 kB
SwapCached:      65828 kB
Active:        4998240 kB
Inactive:      8514060 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      19189308 kB
SwapTotal:    67111528 kB
SwapFree:     58671692 kB
Dirty:             720 kB
Writeback:           0 kB
AnonPages:    12923684 kB
Mapped:          35768 kB
Slab:            97380 kB
PageTables:      83072 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 162195980 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= 73836 MiB
End job on node115 at 2011-06-04 14:21:26