Trace number 3736822

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
PB11: Sat4j Res//CP 2.3.0SAT (TO)75 1800.09 971.751

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_500_10_2.opb
MD5SUMf7e9965e006e5669c3252afd9a68998d
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 benchmark1796.76
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 67
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 constraint22
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)6328
Sum of products size (including duplicates)12656
Number of different products6328
Sum of products size12656

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.09	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.09	c version 2.3.1.v20110525
0.09/0.11	c java.runtime.name	Java(TM) SE Runtime Environment
0.09/0.11	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.09/0.11	c java.vm.version	19.1-b02
0.09/0.11	c java.vm.vendor	Sun Microsystems Inc.
0.09/0.11	c sun.arch.data.model	64
0.09/0.11	c java.version		1.6.0_24
0.09/0.11	c os.name		Linux
0.09/0.11	c os.version		2.6.32-71.29.1.el6.x86_64
0.09/0.11	c os.arch		amd64
0.09/0.11	c Free memory 		9996466904
0.09/0.11	c Max memory 		10048897024
0.09/0.11	c Total memory 		10048897024
0.09/0.11	c Number of processors 	8
0.09/0.12	c Pseudo Boolean Optimization
0.09/0.12	c ManyCore solver with 2 solvers running in parallel
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@48e5855a
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.12	c Expensive reason simplification
0.09/0.12	c Armin Biere (Picosat) restarts strategy
0.09/0.12	c Glucose learned constraints deletion strategy
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@398020cc
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.09/0.12	c No reason simplification
0.09/0.12	c Armin Biere (Picosat) restarts strategy
0.09/0.12	c Glucose learned constraints deletion strategy
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-3736822-1338717935.opb
0.09/0.12	c reading problem ... 
0.99/0.54	c ... done. Wall clock time 0.427s.
0.99/0.54	c #vars     6828
0.99/0.54	c #constraints  13156
0.99/0.54	c constraints type 
0.99/0.54	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6828
0.99/0.54	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6328
0.99/0.54	c constraints type 
0.99/0.54	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6828
0.99/0.54	c org.sat4j.pb.constraints.pb.MaxWatchPb => 6328
1.34/0.68	c  And the winner is Resolution
2.36/1.05	c SATISFIABLE
2.36/1.05	c OPTIMIZING...
2.36/1.05	c Got one! Elapsed wall clock time (in seconds):0.935
2.36/1.05	o 83
2.56/1.14	c  And the winner is Resolution
2.77/1.56	c Got one! Elapsed wall clock time (in seconds):1.443
2.77/1.56	o 82
2.92/1.62	c  And the winner is Resolution
3.47/2.06	c Got one! Elapsed wall clock time (in seconds):1.948
3.47/2.06	o 81
3.47/2.10	c  And the winner is Resolution
3.58/2.57	c Got one! Elapsed wall clock time (in seconds):2.451
3.58/2.57	o 80
3.63/2.63	c  And the winner is Resolution
3.80/3.07	c Got one! Elapsed wall clock time (in seconds):2.954
3.80/3.07	o 79
3.90/3.11	c  And the winner is Resolution
4.00/3.57	c Got one! Elapsed wall clock time (in seconds):3.456
4.00/3.57	o 77
5.83/4.49	c cleaning 2973 clauses out of 5958 with flag 5001/5958
8.33/5.60	c cleaning 4483 clauses out of 8984 with flag 11000/11957
10.90/6.94	c cleaning 5745 clauses out of 11502 with flag 18001/18958
13.86/8.44	c cleaning 6873 clauses out of 13757 with flag 26001/26958
17.20/10.19	c cleaning 7938 clauses out of 15883 with flag 35000/35957
20.96/12.07	c cleaning 8963 clauses out of 17945 with flag 45000/45957
24.97/14.06	c cleaning 9983 clauses out of 19982 with flag 56000/56957
29.51/16.40	c cleaning 10989 clauses out of 22000 with flag 68001/68958
34.40/18.83	c cleaning 12000 clauses out of 24010 with flag 81000/81957
39.72/21.57	c cleaning 13002 clauses out of 26011 with flag 95001/95958
45.06/24.23	c cleaning 13499 clauses out of 27010 with flag 109002/109959
49.80/26.66	c cleaning 13747 clauses out of 27511 with flag 123002/123959
54.85/29.23	c cleaning 13872 clauses out of 27764 with flag 137002/137959
60.77/32.20	c cleaning 13936 clauses out of 27890 with flag 151000/151957
66.08/34.98	c cleaning 13966 clauses out of 27954 with flag 165000/165957
71.17/37.59	c cleaning 13989 clauses out of 27988 with flag 179000/179957
76.60/40.39	c cleaning 13990 clauses out of 27999 with flag 193000/193957
81.89/43.00	c cleaning 13995 clauses out of 28009 with flag 207000/207957
87.37/45.81	c cleaning 13997 clauses out of 28014 with flag 221000/221957
92.85/48.64	c cleaning 14002 clauses out of 28018 with flag 235001/235958
98.88/51.77	c cleaning 14002 clauses out of 28016 with flag 249001/249958
104.54/54.65	c cleaning 14000 clauses out of 28014 with flag 263001/263958
109.81/57.39	c cleaning 14002 clauses out of 28013 with flag 277000/277957
115.27/60.12	c cleaning 13999 clauses out of 28011 with flag 291000/291957
121.25/63.21	c cleaning 13998 clauses out of 28013 with flag 305001/305958
127.12/66.23	c cleaning 13999 clauses out of 28014 with flag 319000/319957
132.77/69.11	c cleaning 14003 clauses out of 28015 with flag 333000/333957
138.44/72.07	c cleaning 13998 clauses out of 28012 with flag 347000/347957
144.41/75.18	c cleaning 13999 clauses out of 28014 with flag 361000/361957
150.85/78.42	c cleaning 14000 clauses out of 28016 with flag 375001/375958
157.29/81.74	c cleaning 13995 clauses out of 28015 with flag 389000/389957
162.54/84.47	c cleaning 14003 clauses out of 28020 with flag 403000/403957
168.08/87.32	c cleaning 13999 clauses out of 28017 with flag 417000/417957
173.55/90.18	c cleaning 14004 clauses out of 28018 with flag 431000/431957
179.56/93.21	c cleaning 13996 clauses out of 28014 with flag 445000/445957
185.37/96.25	c cleaning 14003 clauses out of 28019 with flag 459001/459958
191.49/99.49	c cleaning 13999 clauses out of 28015 with flag 473000/473957
197.52/102.54	c cleaning 13998 clauses out of 28017 with flag 487001/487958
203.74/105.78	c cleaning 13998 clauses out of 28018 with flag 501000/501957
210.55/109.27	c cleaning 14004 clauses out of 28021 with flag 515001/515958
216.85/112.52	c cleaning 14008 clauses out of 28017 with flag 529001/529958
223.44/115.92	c cleaning 13996 clauses out of 28009 with flag 543001/543958
229.83/119.22	c cleaning 13992 clauses out of 28012 with flag 557000/557957
236.22/122.52	c cleaning 14004 clauses out of 28020 with flag 571000/571957
242.69/125.96	c cleaning 13997 clauses out of 28017 with flag 585001/585958
248.28/128.83	c cleaning 14003 clauses out of 28020 with flag 599001/599958
253.29/131.41	c cleaning 14004 clauses out of 28017 with flag 613001/613958
258.72/134.24	c cleaning 13997 clauses out of 28012 with flag 627000/627957
264.97/137.51	c cleaning 13996 clauses out of 28015 with flag 641000/641957
270.52/140.44	c cleaning 14000 clauses out of 28019 with flag 655000/655957
276.29/143.42	c cleaning 14001 clauses out of 28019 with flag 669000/669957
281.88/146.31	c cleaning 13998 clauses out of 28019 with flag 683001/683958
287.93/149.52	c cleaning 13998 clauses out of 28021 with flag 697001/697958
293.67/152.50	c cleaning 13996 clauses out of 28022 with flag 711000/711957
298.87/155.24	c cleaning 14004 clauses out of 28027 with flag 725001/725958
304.43/158.12	c cleaning 14000 clauses out of 28022 with flag 739000/739957
310.44/161.39	c cleaning 14003 clauses out of 28022 with flag 753000/753957
316.41/164.44	c cleaning 13993 clauses out of 28019 with flag 767000/767957
321.77/167.28	c cleaning 14001 clauses out of 28026 with flag 781000/781957
327.69/170.34	c cleaning 14002 clauses out of 28026 with flag 795001/795958
333.88/173.66	c cleaning 13999 clauses out of 28023 with flag 809000/809957
339.84/176.76	c cleaning 13999 clauses out of 28024 with flag 823000/823957
345.98/179.96	c cleaning 14006 clauses out of 28025 with flag 837000/837957
352.31/183.29	c cleaning 14000 clauses out of 28019 with flag 851000/851957
358.66/186.61	c cleaning 14003 clauses out of 28020 with flag 865001/865958
364.78/189.89	c cleaning 14002 clauses out of 28016 with flag 879000/879957
370.32/192.80	c cleaning 14002 clauses out of 28014 with flag 893000/893957
376.26/195.82	c cleaning 13996 clauses out of 28012 with flag 907000/907957
382.20/199.04	c cleaning 13998 clauses out of 28017 with flag 921001/921958
388.11/202.19	c cleaning 13996 clauses out of 28018 with flag 935000/935957
393.81/205.15	c cleaning 14005 clauses out of 28022 with flag 949000/949957
399.93/208.38	c cleaning 14001 clauses out of 28017 with flag 963000/963957
406.07/211.60	c cleaning 14004 clauses out of 28017 with flag 977001/977958
412.17/214.81	c cleaning 14002 clauses out of 28012 with flag 991000/991957
418.48/218.17	c cleaning 13994 clauses out of 28011 with flag 1005001/1005958
424.20/221.12	c cleaning 13996 clauses out of 28017 with flag 1019001/1019958
429.93/224.25	c cleaning 14003 clauses out of 28020 with flag 1033000/1033957
435.62/227.21	c cleaning 13998 clauses out of 28017 with flag 1047000/1047957
441.32/230.25	c cleaning 13998 clauses out of 28020 with flag 1061001/1061958
447.03/233.29	c cleaning 14003 clauses out of 28022 with flag 1075001/1075958
453.53/236.73	c cleaning 14004 clauses out of 28020 with flag 1089002/1089959
460.22/240.25	c cleaning 14004 clauses out of 28015 with flag 1103001/1103958
466.73/243.62	c cleaning 13997 clauses out of 28011 with flag 1117001/1117958
473.63/247.27	c cleaning 14000 clauses out of 28013 with flag 1131000/1131957
480.53/250.98	c cleaning 13996 clauses out of 28014 with flag 1145001/1145958
488.00/254.87	c cleaning 14003 clauses out of 28017 with flag 1159000/1159957
494.90/258.43	c cleaning 14001 clauses out of 28016 with flag 1173002/1173959
500.76/261.57	c cleaning 13996 clauses out of 28014 with flag 1187001/1187958
506.83/264.83	c cleaning 13998 clauses out of 28018 with flag 1201001/1201958
512.73/267.93	c cleaning 14000 clauses out of 28020 with flag 1215001/1215958
519.00/271.24	c cleaning 14000 clauses out of 28019 with flag 1229000/1229957
524.68/274.28	c cleaning 14002 clauses out of 28020 with flag 1243001/1243958
530.96/277.61	c cleaning 13993 clauses out of 28017 with flag 1257000/1257957
536.25/280.50	c cleaning 13996 clauses out of 28024 with flag 1271000/1271957
542.12/283.50	c cleaning 14000 clauses out of 28028 with flag 1285000/1285957
548.18/286.72	c cleaning 14001 clauses out of 28028 with flag 1299000/1299957
550.86/288.31	c cleaning 0 clauses out of 5017 with flag 0/5019
554.98/290.49	c cleaning 14004 clauses out of 28028 with flag 1313001/1313958
561.07/293.53	c cleaning 14005 clauses out of 28024 with flag 1327001/1327958
566.54/296.41	c cleaning 14005 clauses out of 28019 with flag 1341001/1341958
572.40/299.61	c cleaning 14001 clauses out of 28014 with flag 1355001/1355958
577.86/302.55	c cleaning 14001 clauses out of 28013 with flag 1369001/1369958
583.50/305.53	c cleaning 13999 clauses out of 28011 with flag 1383000/1383957
589.96/308.99	c cleaning 13993 clauses out of 28013 with flag 1397001/1397958
596.60/312.55	c cleaning 14001 clauses out of 28020 with flag 1411001/1411958
602.85/315.89	c cleaning 14003 clauses out of 28019 with flag 1425001/1425958
609.50/319.40	c cleaning 13989 clauses out of 28015 with flag 1439000/1439957
616.35/322.90	c cleaning 14003 clauses out of 28026 with flag 1453000/1453957
622.15/326.16	c cleaning 14002 clauses out of 28024 with flag 1467001/1467958
627.98/329.25	c cleaning 13999 clauses out of 28021 with flag 1481000/1481957
634.02/332.49	c cleaning 14003 clauses out of 28023 with flag 1495001/1495958
640.05/335.64	c cleaning 13999 clauses out of 28021 with flag 1509002/1509959
645.85/338.85	c cleaning 14006 clauses out of 28020 with flag 1523000/1523957
651.66/341.94	c cleaning 13999 clauses out of 28015 with flag 1537001/1537958
657.72/345.16	c cleaning 13995 clauses out of 28016 with flag 1551001/1551958
663.95/348.41	c cleaning 14003 clauses out of 28020 with flag 1565000/1565957
669.94/351.79	c cleaning 13998 clauses out of 28017 with flag 1579000/1579957
676.36/355.18	c cleaning 13998 clauses out of 28019 with flag 1593000/1593957
683.00/358.64	c cleaning 14004 clauses out of 28023 with flag 1607002/1607959
689.41/362.03	c cleaning 13999 clauses out of 28018 with flag 1621001/1621958
695.59/365.42	c cleaning 14003 clauses out of 28019 with flag 1635001/1635958
702.03/368.85	c cleaning 13997 clauses out of 28016 with flag 1649001/1649958
708.25/372.19	c cleaning 14003 clauses out of 28018 with flag 1663000/1663957
714.46/375.49	c cleaning 13996 clauses out of 28016 with flag 1677001/1677958
721.24/379.14	c cleaning 13997 clauses out of 28020 with flag 1691001/1691958
727.27/382.39	c cleaning 14000 clauses out of 28022 with flag 1705000/1705957
733.48/385.61	c cleaning 14000 clauses out of 28023 with flag 1719001/1719958
739.49/388.81	c cleaning 14002 clauses out of 28023 with flag 1733001/1733958
745.42/392.18	c cleaning 14000 clauses out of 28021 with flag 1747001/1747958
751.60/395.44	c cleaning 13997 clauses out of 28020 with flag 1761000/1761957
757.99/398.87	c cleaning 14007 clauses out of 28024 with flag 1775001/1775958
765.39/402.71	c cleaning 14003 clauses out of 28016 with flag 1789000/1789957
772.74/406.78	c cleaning 13999 clauses out of 28013 with flag 1803000/1803957
779.93/410.57	c cleaning 13998 clauses out of 28016 with flag 1817002/1817959
786.90/414.27	c cleaning 13997 clauses out of 28016 with flag 1831000/1831957
793.90/418.00	c cleaning 13997 clauses out of 28019 with flag 1845000/1845957
801.22/421.94	c cleaning 13997 clauses out of 28023 with flag 1859001/1859958
808.22/425.63	c cleaning 14000 clauses out of 28026 with flag 1873001/1873958
815.39/429.46	c cleaning 14001 clauses out of 28025 with flag 1887000/1887957
822.39/433.15	c cleaning 13995 clauses out of 28024 with flag 1901000/1901957
829.68/437.14	c cleaning 14009 clauses out of 28030 with flag 1915001/1915958
836.66/440.82	c cleaning 13994 clauses out of 28021 with flag 1929001/1929958
843.84/444.67	c cleaning 14006 clauses out of 28026 with flag 1943000/1943957
851.23/448.51	c cleaning 13998 clauses out of 28021 with flag 1957001/1957958
858.33/452.49	c cleaning 14003 clauses out of 28023 with flag 1971001/1971958
865.50/456.29	c cleaning 13999 clauses out of 28019 with flag 1985000/1985957
871.45/459.46	c cleaning 14001 clauses out of 28020 with flag 1999000/1999957
877.03/462.49	c cleaning 14001 clauses out of 28019 with flag 2013000/2013957
884.13/466.37	c cleaning 14003 clauses out of 28018 with flag 2027000/2027957
890.28/469.64	c cleaning 14004 clauses out of 28016 with flag 2041001/2041958
896.22/472.85	c cleaning 13999 clauses out of 28012 with flag 2055001/2055958
902.78/476.37	c cleaning 13998 clauses out of 28012 with flag 2069000/2069957
909.44/480.05	c cleaning 14004 clauses out of 28015 with flag 2083001/2083958
917.01/484.01	c cleaning 13996 clauses out of 28011 with flag 2097001/2097958
924.36/487.98	c cleaning 14000 clauses out of 28014 with flag 2111000/2111957
931.12/491.51	c cleaning 14002 clauses out of 28014 with flag 2125000/2125957
936.97/494.85	c cleaning 13994 clauses out of 28013 with flag 2139001/2139958
942.72/497.95	c cleaning 14001 clauses out of 28018 with flag 2153000/2153957
948.27/500.92	c cleaning 14000 clauses out of 28018 with flag 2167001/2167958
953.83/503.97	c cleaning 14001 clauses out of 28018 with flag 2181001/2181958
959.66/507.29	c cleaning 14000 clauses out of 28017 with flag 2195001/2195958
965.44/510.35	c cleaning 14005 clauses out of 28017 with flag 2209001/2209958
971.37/513.57	c cleaning 13995 clauses out of 28011 with flag 2223000/2223957
977.30/516.76	c cleaning 14001 clauses out of 28017 with flag 2237001/2237958
983.75/520.34	c cleaning 14001 clauses out of 28015 with flag 2251000/2251957
990.06/523.70	c cleaning 14000 clauses out of 28014 with flag 2265000/2265957
996.02/526.96	c cleaning 14000 clauses out of 28014 with flag 2279000/2279957
1001.73/530.10	c cleaning 14002 clauses out of 28014 with flag 2293000/2293957
1008.16/533.61	c cleaning 14002 clauses out of 28013 with flag 2307001/2307958
1014.12/536.87	c cleaning 13993 clauses out of 28010 with flag 2321000/2321957
1020.25/540.15	c cleaning 13997 clauses out of 28018 with flag 2335001/2335958
1026.39/543.46	c cleaning 13997 clauses out of 28021 with flag 2349001/2349958
1032.97/547.18	c cleaning 13997 clauses out of 28023 with flag 2363000/2363957
1038.89/550.35	c cleaning 14004 clauses out of 28028 with flag 2377002/2377959
1044.79/553.58	c cleaning 14004 clauses out of 28024 with flag 2391002/2391959
1050.90/556.84	c cleaning 13996 clauses out of 28018 with flag 2405000/2405957
1057.29/560.42	c cleaning 13997 clauses out of 28022 with flag 2419000/2419957
1063.01/563.56	c cleaning 14003 clauses out of 28025 with flag 2433000/2433957
1069.11/566.86	c cleaning 14001 clauses out of 28023 with flag 2447001/2447958
1075.43/570.20	c cleaning 14000 clauses out of 28021 with flag 2461000/2461957
1081.63/573.78	c cleaning 14004 clauses out of 28022 with flag 2475001/2475958
1087.94/577.20	c cleaning 14001 clauses out of 28018 with flag 2489001/2489958
1094.03/580.47	c cleaning 13994 clauses out of 28017 with flag 2503001/2503958
1100.34/583.82	c cleaning 14005 clauses out of 28022 with flag 2517000/2517957
1106.52/587.36	c cleaning 13997 clauses out of 28017 with flag 2531000/2531957
1112.81/590.74	c cleaning 14003 clauses out of 28020 with flag 2545000/2545957
1118.92/594.08	c cleaning 13997 clauses out of 28017 with flag 2559000/2559957
1125.40/597.51	c cleaning 13995 clauses out of 28021 with flag 2573001/2573958
1131.92/601.27	c cleaning 14004 clauses out of 28027 with flag 2587002/2587959
1138.21/604.60	c cleaning 14000 clauses out of 28021 with flag 2601000/2601957
1144.48/608.02	c cleaning 14005 clauses out of 28021 with flag 2615000/2615957
1150.99/611.56	c cleaning 13998 clauses out of 28016 with flag 2629000/2629957
1157.93/615.42	c cleaning 13997 clauses out of 28019 with flag 2643001/2643958
1164.01/618.79	c cleaning 14008 clauses out of 28021 with flag 2657000/2657957
1171.49/622.78	c cleaning 13997 clauses out of 28014 with flag 2671001/2671958
1178.78/626.68	c cleaning 13998 clauses out of 28017 with flag 2685001/2685958
1186.92/631.12	c cleaning 14003 clauses out of 28018 with flag 2699000/2699957
1194.00/634.95	c cleaning 14001 clauses out of 28017 with flag 2713002/2713959
1201.25/638.86	c cleaning 14004 clauses out of 28017 with flag 2727003/2727960
1208.71/642.81	c cleaning 14003 clauses out of 28010 with flag 2741000/2741957
1216.25/647.03	c cleaning 13997 clauses out of 28008 with flag 2755001/2755958
1223.13/650.73	c cleaning 13995 clauses out of 28011 with flag 2769001/2769958
1230.22/654.54	c cleaning 13997 clauses out of 28015 with flag 2783000/2783957
1237.46/658.42	c cleaning 14000 clauses out of 28019 with flag 2797001/2797958
1245.19/662.72	c cleaning 13999 clauses out of 28020 with flag 2811002/2811959
1252.04/666.49	c cleaning 13997 clauses out of 28019 with flag 2825000/2825957
1259.49/670.43	c cleaning 14007 clauses out of 28022 with flag 2839000/2839957
1266.57/674.29	c cleaning 13997 clauses out of 28015 with flag 2853000/2853957
1274.04/678.41	c cleaning 13996 clauses out of 28019 with flag 2867001/2867958
1281.07/682.21	c cleaning 13999 clauses out of 28023 with flag 2881001/2881958
1288.33/686.13	c cleaning 14004 clauses out of 28024 with flag 2895001/2895958
1295.78/690.10	c cleaning 14001 clauses out of 28020 with flag 2909001/2909958
1303.44/694.40	c cleaning 13998 clauses out of 28019 with flag 2923001/2923958
1310.71/698.35	c cleaning 13998 clauses out of 28021 with flag 2937001/2937958
1317.97/702.25	c cleaning 14002 clauses out of 28022 with flag 2951000/2951957
1325.24/706.18	c cleaning 13998 clauses out of 28020 with flag 2965000/2965957
1333.34/710.67	c cleaning 14005 clauses out of 28022 with flag 2979000/2979957
1339.97/714.25	c cleaning 14006 clauses out of 28018 with flag 2993001/2993958
1345.80/717.47	c cleaning 14004 clauses out of 28013 with flag 3007002/3007959
1352.23/720.97	c cleaning 13996 clauses out of 28008 with flag 3021001/3021958
1358.71/724.67	c cleaning 13999 clauses out of 28011 with flag 3035000/3035957
1364.78/727.98	c cleaning 13999 clauses out of 28012 with flag 3049000/3049957
1371.61/731.61	c cleaning 13999 clauses out of 28013 with flag 3063000/3063957
1378.04/735.15	c cleaning 13997 clauses out of 28015 with flag 3077001/3077958
1385.51/739.33	c cleaning 14003 clauses out of 28018 with flag 3091001/3091958
1392.35/743.02	c cleaning 13993 clauses out of 28014 with flag 3105000/3105957
1399.19/746.74	c cleaning 14007 clauses out of 28021 with flag 3119000/3119957
1404.86/749.89	c cleaning 13996 clauses out of 28014 with flag 3133000/3133957
1411.12/753.50	c cleaning 14001 clauses out of 28018 with flag 3147000/3147957
1417.16/756.73	c cleaning 13998 clauses out of 28018 with flag 3161001/3161958
1423.19/760.02	c cleaning 13999 clauses out of 28020 with flag 3175001/3175958
1426.23/761.84	c  And the winner is CuttingPlanes
1423.01/762.17	c Got one! Elapsed wall clock time (in seconds):762.051
1423.01/762.17	o 76
1424.69/763.09	c cleaning 12835 clauses out of 25680 with flag 5001/3187617
1427.97/765.14	c cleaning 9417 clauses out of 18845 with flag 11001/3193617
1431.21/767.03	c cleaning 8205 clauses out of 16428 with flag 18001/3200617
1434.66/769.07	c cleaning 8103 clauses out of 16223 with flag 26001/3208617
1438.69/771.33	c cleaning 8555 clauses out of 17119 with flag 35000/3217616
1443.54/774.20	c cleaning 9278 clauses out of 18565 with flag 45001/3227617
1448.18/776.89	c cleaning 10134 clauses out of 20287 with flag 56001/3238617
1453.63/779.84	c cleaning 11070 clauses out of 22152 with flag 68000/3250616
1459.44/783.09	c cleaning 12031 clauses out of 24082 with flag 81000/3263616
1465.51/786.58	c cleaning 13021 clauses out of 26051 with flag 95000/3277616
1471.53/789.88	c cleaning 13509 clauses out of 27030 with flag 109000/3291616
1477.57/793.13	c cleaning 13752 clauses out of 27521 with flag 123000/3305616
1483.40/796.38	c cleaning 13877 clauses out of 27769 with flag 137000/3319616
1489.62/799.95	c cleaning 13942 clauses out of 27893 with flag 151001/3333617
1495.46/803.11	c cleaning 13967 clauses out of 27950 with flag 165000/3347616
1501.09/806.25	c cleaning 13984 clauses out of 27984 with flag 179001/3361617
1506.91/809.47	c cleaning 13991 clauses out of 28000 with flag 193001/3375617
1513.75/813.35	c cleaning 13994 clauses out of 28010 with flag 207002/3389618
1519.75/816.68	c cleaning 13998 clauses out of 28014 with flag 221000/3403616
1525.77/819.94	c cleaning 14002 clauses out of 28016 with flag 235000/3417616
1531.02/822.83	c  And the winner is Resolution
1532.72/824.61	c Got one! Elapsed wall clock time (in seconds):824.495
1532.72/824.61	o 75
1534.43/825.50	c cleaning 15294 clauses out of 30600 with flag 5001/3434202
1537.66/827.63	c cleaning 10648 clauses out of 21306 with flag 11001/3440202
1541.07/829.60	c cleaning 8820 clauses out of 17658 with flag 18001/3447202
1544.66/831.77	c cleaning 8407 clauses out of 16837 with flag 26000/3455201
1548.66/834.02	c cleaning 8711 clauses out of 17430 with flag 35000/3464201
1553.46/836.92	c cleaning 9349 clauses out of 18719 with flag 45000/3474201
1558.28/839.69	c cleaning 10177 clauses out of 20372 with flag 56002/3485203
1564.10/842.83	c cleaning 11093 clauses out of 22193 with flag 68000/3497201
1569.75/845.97	c cleaning 12045 clauses out of 24101 with flag 81001/3510202
1576.56/849.83	c cleaning 13019 clauses out of 26055 with flag 95000/3524201
1583.38/853.54	c cleaning 13512 clauses out of 27037 with flag 109001/3538202
1589.94/857.11	c cleaning 13754 clauses out of 27525 with flag 123001/3552202
1596.94/860.96	c cleaning 13875 clauses out of 27770 with flag 137000/3566201
1604.16/865.04	c cleaning 13941 clauses out of 27895 with flag 151000/3580201
1610.37/868.44	c cleaning 13973 clauses out of 27955 with flag 165001/3594202
1616.35/871.75	c cleaning 13985 clauses out of 27982 with flag 179001/3608202
1622.56/875.18	c cleaning 13996 clauses out of 27996 with flag 193000/3622201
1629.34/879.04	c cleaning 13992 clauses out of 28000 with flag 207000/3636201
1635.74/882.55	c cleaning 13996 clauses out of 28008 with flag 221000/3650201
1643.14/886.56	c cleaning 13992 clauses out of 28012 with flag 235000/3664201
1650.74/890.61	c cleaning 14001 clauses out of 28022 with flag 249002/3678203
1656.72/894.19	c cleaning 14003 clauses out of 28020 with flag 263001/3692202
1662.72/897.41	c cleaning 14001 clauses out of 28016 with flag 277000/3706201
1669.11/900.91	c cleaning 14001 clauses out of 28016 with flag 291001/3720202
1675.70/904.51	c cleaning 14003 clauses out of 28015 with flag 305001/3734202
1682.72/908.56	c cleaning 14002 clauses out of 28012 with flag 319001/3748202
1689.69/912.36	c cleaning 13994 clauses out of 28009 with flag 333000/3762201
1696.26/915.93	c cleaning 13996 clauses out of 28015 with flag 347000/3776201
1702.64/919.41	c cleaning 14002 clauses out of 28020 with flag 361001/3790202
1709.19/923.25	c cleaning 13999 clauses out of 28017 with flag 375000/3804201
1714.97/926.43	c cleaning 14000 clauses out of 28018 with flag 389000/3818201
1721.16/929.88	c cleaning 14000 clauses out of 28018 with flag 403000/3832201
1728.55/933.89	c cleaning 14004 clauses out of 28018 with flag 417000/3846201
1735.70/937.98	c cleaning 13998 clauses out of 28015 with flag 431001/3860202
1742.48/941.64	c cleaning 14003 clauses out of 28017 with flag 445001/3874202
1749.04/945.28	c cleaning 14001 clauses out of 28013 with flag 459000/3888201
1756.01/949.08	c cleaning 13998 clauses out of 28012 with flag 473000/3902201
1763.59/953.32	c cleaning 13997 clauses out of 28014 with flag 487000/3916201
1770.77/957.22	c cleaning 14001 clauses out of 28017 with flag 501000/3930201
1778.58/961.48	c cleaning 13996 clauses out of 28016 with flag 515000/3944201
1785.74/965.36	c cleaning 14004 clauses out of 28021 with flag 529001/3958202
1793.49/969.79	c cleaning 14001 clauses out of 28018 with flag 543002/3972203
1796.87/971.71	c starts		: 425
1796.87/971.71	c conflicts		: 3977355
1796.87/971.71	c decisions		: 6313188
1796.87/971.71	c propagations		: 510872193
1796.87/971.71	c inspects		: 5225847164
1796.87/971.71	c shortcuts		: 0
1796.87/971.71	c learnt literals	: 0
1796.87/971.71	c learnt binary clauses	: 0
1796.87/971.71	c learnt ternary clauses	: 0
1796.87/971.71	c learnt constraints	: 3977355
1796.87/971.71	c ignored constraints	: 0
1796.87/971.71	c root simplifications	: 0
1796.87/971.71	c removed literals (reason simplification)	: 2743380
1796.87/971.71	c reason swapping (by a shorter reason)	: 0
1796.87/971.71	c Calls to reduceDB	: 292
1796.87/971.71	c number of reductions to clauses (during analyze)	: 0
1796.87/971.71	c number of learned constraints concerned by reduction	: 0
1796.87/971.71	c number of learning phase by resolution	: 0
1796.87/971.71	c number of learning phase by cutting planes	: 0
1796.87/971.71	c speed (assignments/second)	: 3473053.944362865
1796.87/971.71	c non guided choices	12497
1796.87/971.72	c learnt constraints type 
1796.87/971.72	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 19218
1796.87/971.72	c constraints type 
1796.87/971.72	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6828
1796.87/971.72	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1796.87/971.72	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6328
1796.87/971.72	c constraints type 
1796.87/971.72	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6828
1796.87/971.72	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
1796.87/971.72	c org.sat4j.pb.constraints.pb.MaxWatchPb => 6328
1796.87/971.72	s SATISFIABLE
1796.87/971.73	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 
1796.87/971.73	c objective function=75
1796.87/971.73	c Total wall clock time (in seconds): 971.61

Verifier Data 

OK	75

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3736822-1338717935/watcher-3736822-1338717935 -o /tmp/evaluation-result-3736822-1338717935/solver-3736822-1338717935 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3736822-1338717935.opb 

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

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


[startup+0 s]
/proc/loadavg: 3.60 3.74 3.73 4/197 19927
/proc/meminfo: memFree=23188740/32873660 swapFree=7120/7120
[pid=19927] ppid=19925 vsize=272 CPUtime=0 cores=0,2,4,6
/proc/19927/stat : 19927 (java) R 19925 19927 18226 0 -1 4202496 285 0 0 0 0 0 0 0 20 0 1 0 337919205 278528 33 33554432000 1073741824 1073778376 140735265100304 140733474435176 270320889127 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/19927/statm: 623 42 34 9 0 25 0

[startup+0.0153329 s]
/proc/loadavg: 3.60 3.74 3.73 4/197 19927
/proc/meminfo: memFree=23188740/32873660 swapFree=7120/7120
[pid=19927] ppid=19925 vsize=101528 CPUtime=0 cores=0,2,4,6
/proc/19927/stat : 19927 (java) S 19925 19927 18226 0 -1 4202496 1371 0 0 0 0 0 0 0 20 0 2 0 337919205 103964672 1053 33554432000 1073741824 1073778376 140735265100304 140735265091440 270333411389 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19927/statm: 25382 1053 807 9 0 16774 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 101528

[startup+0.100184 s]
/proc/loadavg: 3.60 3.74 3.73 4/197 19927
/proc/meminfo: memFree=23188740/32873660 swapFree=7120/7120
[pid=19927] ppid=19925 vsize=11586392 CPUtime=0.09 cores=0,2,4,6
/proc/19927/stat : 19927 (java) S 19925 19927 18226 0 -1 4202496 5299 0 1 0 8 1 0 0 20 0 18 0 337919205 11864465408 13136 33554432000 1073741824 1073778376 140735265100304 140735265091440 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19927/statm: 2896598 13136 2116 9 0 2887285 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11586392

[startup+0.300267 s]
/proc/loadavg: 3.60 3.74 3.73 4/197 19927
/proc/meminfo: memFree=23188740/32873660 swapFree=7120/7120
[pid=19927] ppid=19925 vsize=11586392 CPUtime=0.45 cores=0,2,4,6
/proc/19927/stat : 19927 (java) S 19925 19927 18226 0 -1 4202496 6389 0 1 0 43 2 0 0 20 0 18 0 337919205 11864465408 15325 33554432000 1073741824 1073778376 140735265100304 140735265091440 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19927/statm: 2896598 15325 2231 9 0 2887285 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 11586392

[startup+0.700145 s]
/proc/loadavg: 3.60 3.74 3.73 4/197 19927
/proc/meminfo: memFree=23188740/32873660 swapFree=7120/7120
[pid=19927] ppid=19925 vsize=11852648 CPUtime=1.72 cores=0,2,4,6
/proc/19927/stat : 19927 (java) S 19925 19927 18226 0 -1 4202496 21618 0 1 0 166 6 0 0 20 0 20 0 337919205 12137111552 30999 33554432000 1073741824 1073778376 140735265100304 140735265091440 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19927/statm: 2963162 30999 2254 9 0 2953849 0
Current children cumulated CPU time (s) 1.72
Current children cumulated vsize (KiB) 11852648

[startup+1.50069 s]
/proc/loadavg: 3.60 3.74 3.73 5/216 19949
/proc/meminfo: memFree=23071436/32873660 swapFree=7120/7120
[pid=19927] ppid=19925 vsize=11852648 CPUtime=2.77 cores=0,2,4,6
/proc/19927/stat : 19927 (java) S 19925 19927 18226 0 -1 4202496 23892 0 1 0 268 9 0 0 20 0 19 0 337919205 12137111552 34290 33554432000 1073741824 1073778376 140735265100304 140735265091440 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19927/statm: 2963162 34290 2265 9 0 2953849 0
[pid=19927/tid=19929] ppid=19925 vsize=11852648 CPUtime=0.52 cores=0,2,4,6
/proc/19927/task/19929/stat : 19929 (java) S 19925 19927 18226 0 -1 4202560 3435 0 1 0 50 2 0 0 20 0 19 0 337919206 12137111552 34290 33554432000 1073741824 1073778376 140735265100304 140469994099864 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19927/tid=19930] ppid=19925 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/19927/task/19930/stat : 19930 (java) S 19925 19927 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337919208 12137111552 34290 33554432000 1073741824 1073778376 140735265100304 140469831014568 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19927/tid=19931] ppid=19925 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/19927/task/19931/stat : 19931 (java) S 19925 19927 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337919208 12137111552 34290 33554432000 1073741824 1073778376 140735265100304 140469829962024 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19927/tid=19932] ppid=19925 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/19927/task/19932/stat : 19932 (java) S 19925 19927 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337919208 12137111552 34290 33554432000 1073741824 1073778376 140735265100304 140469828909480 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19927/tid=19933] ppid=19925 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/19927/task/19933/stat : 19933 (java) S 19925 19927 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337919208 12137111552 34290 33554432000 1073741824 1073778376 140735265100304 140469827856936 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19927/tid=19934] ppid=19925 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/19927/task/19934/stat : 19934 (java) S 19925 19927 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337919208 12137111552 34290 33554432000 1073741824 1073778376 140735265100304 140469826804392 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19927/tid=19935] ppid=19925 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/19927/task/19935/stat : 19935 (java) S 19925 19927 18226 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 337919208 12137111552 34290 33554432000 1073741824 1073778376 140735265100304 140469825751848 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19927/tid=19936] ppid=19925 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/19927/task/19936/stat : 19936 (java) S 19925 19927 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337919208 12137111552 34290 33554432000 1073741824 1073778376 140735265100304 140469824699304 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19927/tid=19937] ppid=19925 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/19927/task/19937/stat : 19937 (java) S 19925 19927 18226 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 337919208 12137111552 34290 33554432000 1073741824 1073778376 140735265100304 140469823646760 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19927/tid=19938] ppid=19925 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/19927/task/19938/stat : 19938 (java) S 19925 19927 18226 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 337919209 12137111552 34290 33554432000 1073741824 1073778376 140735265100304 140469811447912 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19927/tid=19939] ppid=19925 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/19927/task/19939/stat : 19939 (java) S 19925 19927 18226 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 337919210 12137111552 34290 33554432000 1073741824 1073778376 140735265100304 140469810394232 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19927/tid=19940] ppid=19925 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/19927/task/19940/stat : 19940 (java) S 19925 19927 18226 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 337919210 12137111552 34290 33554432000 1073741824 1073778376 140735265100304 140469809341576 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19927/tid=19941] ppid=19925 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/19927/task/19941/stat : 19941 (java) S 19925 19927 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337919212 12137111552 34290 33554432000 1073741824 1073778376 140735265100304 140469808290320 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19927/tid=19942] ppid=19925 vsize=11852648 CPUtime=0.87 cores=0,2,4,6
/proc/19927/task/19942/stat : 19942 (java) S 19925 19927 18226 0 -1 4202560 11663 0 0 0 85 2 0 0 20 0 19 0 337919212 12137111552 34290 33554432000 1073741824 1073778376 140735265100304 140469807237688 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19927/tid=19943] ppid=19925 vsize=11852648 CPUtime=0.83 cores=0,2,4,6
/proc/19927/task/19943/stat : 19943 (java) S 19925 19927 18226 0 -1 4202560 7478 0 0 0 82 1 0 0 20 0 19 0 337919212 12137111552 34290 33554432000 1073741824 1073778376 140735265100304 140469806185144 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19927/tid=19944] ppid=19925 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/19927/task/19944/stat : 19944 (java) S 19925 19927 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337919212 12137111552 34290 33554432000 1073741824 1073778376 140735265100304 140469805132792 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19927/tid=19945] ppid=19925 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/19927/task/19945/stat : 19945 (java) S 19925 19927 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337919212 12137111552 34290 33554432000 1073741824 1073778376 140735265100304 140469804080456 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19927/tid=19949] ppid=19925 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/19927/task/19949/stat : 19949 (java) S 19925 19927 18226 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 337919262 12137111552 34290 33554432000 1073741824 1073778376 140735265100304 140469799867560 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 11852648

[startup+3.10059 s]
/proc/loadavg: 3.60 3.74 3.73 5/219 19958
/proc/meminfo: memFree=23034016/32873660 swapFree=7120/7120
[pid=19927] ppid=19925 vsize=11852648 CPUtime=3.9 cores=0,2,4,6
/proc/19927/stat : 19927 (java) S 19925 19927 18226 0 -1 4202496 25607 0 1 0 374 16 0 0 20 0 22 0 337919205 12137111552 50386 33554432000 1073741824 1073778376 140735265100304 140735265091440 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19927/statm: 2963162 50386 2266 9 0 2953849 0
[pid=19927/tid=19929] ppid=19925 vsize=11852648 CPUtime=0.55 cores=0,2,4,6
/proc/19927/task/19929/stat : 19929 (java) S 19925 19927 18226 0 -1 4202560 3437 0 1 0 52 3 0 0 20 0 22 0 337919206 12137111552 50386 33554432000 1073741824 1073778376 140735265100304 140469994099880 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19927/tid=19930] ppid=19925 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/19927/task/19930/stat : 19930 (java) S 19925 19927 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337919208 12137111552 50386 33554432000 1073741824 1073778376 140735265100304 140469831014568 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19927/tid=19931] ppid=19925 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/19927/task/19931/stat : 19931 (java) S 19925 19927 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337919208 12137111552 50386 33554432000 1073741824 1073778376 140735265100304 140469829962024 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19927/tid=19932] ppid=19925 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/19927/task/19932/stat : 19932 (java) S 19925 19927 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337919208 12137111552 50386 33554432000 1073741824 1073778376 140735265100304 140469828909480 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19927/tid=19933] ppid=19925 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/19927/task/19933/stat : 19933 (java) S 19925 19927 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337919208 12137111552 50386 33554432000 1073741824 1073778376 140735265100304 140469827856936 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19927/tid=19934] ppid=19925 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/19927/task/19934/stat : 19934 (java) S 19925 19927 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337919208 12137111552 50386 33554432000 1073741824 1073778376 140735265100304 140469826804392 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19927/tid=19935] ppid=19925 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/19927/task/19935/stat : 19935 (java) S 19925 19927 18226 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 337919208 12137111552 50386 33554432000 1073741824 1073778376 140735265100304 140469825751848 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19927/tid=19936] ppid=19925 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/19927/task/19936/stat : 19936 (java) S 19925 19927 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337919208 12137111552 50386 33554432000 1073741824 1073778376 140735265100304 140469824699304 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19927/tid=19937] ppid=19925 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/19927/task/19937/stat : 19937 (java) S 19925 19927 18226 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 337919208 12137111552 50386 33554432000 1073741824 1073778376 140735265100304 140469823646760 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19927/tid=19938] ppid=19925 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/19927/task/19938/stat : 19938 (java) S 19925 19927 18226 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 337919209 12137111552 50386 33554432000 1073741824 1073778376 140735265100304 140469811447912 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19927/tid=19939] ppid=19925 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/19927/task/19939/stat : 19939 (java) S 19925 19927 18226 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 337919210 12137111552 50386 33554432000 1073741824 1073778376 140735265100304 140469810394232 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19927/tid=19940] ppid=19925 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/19927/task/19940/stat : 19940 (java) S 19925 19927 18226 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 337919210 12137111552 50386 33554432000 1073741824 1073778376 140735265100304 140469809341576 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19927/tid=19941] ppid=19925 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/19927/task/19941/stat : 19941 (java) S 19925 19927 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337919212 12137111552 50386 33554432000 1073741824 1073778376 140735265100304 140469808290320 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19927/tid=19942] ppid=19925 vsize=11852648 CPUtime=1.37 cores=0,2,4,6
/proc/19927/task/19942/stat : 19942 (java) R 19925 19927 18226 0 -1 4202560 13295 0 0 0 134 3 0 0 20 0 22 0 337919212 12137111552 50386 33554432000 1073741824 1073778376 140735265100304 140469807237688 140469997676130 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=19927/tid=19943] ppid=19925 vsize=11852648 CPUtime=1.02 cores=0,2,4,6
/proc/19927/task/19943/stat : 19943 (java) R 19925 19927 18226 0 -1 4202560 7498 0 0 0 101 1 0 0 20 0 22 0 337919212 12137111552 50386 33554432000 1073741824 1073778376 140735265100304 140469806185024 140469995902032 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=19927/tid=19944] ppid=19925 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/19927/task/19944/stat : 19944 (java) S 19925 19927 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337919212 12137111552 50386 33554432000 1073741824 1073778376 140735265100304 140469805132792 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19927/tid=19945] ppid=19925 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/19927/task/19945/stat : 19945 (java) S 19925 19927 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337919212 12137111552 50386 33554432000 1073741824 1073778376 140735265100304 140469804080456 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19927/tid=19949] ppid=19925 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/19927/task/19949/stat : 19949 (java) S 19925 19927 18226 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 337919262 12137111552 50386 33554432000 1073741824 1073778376 140735265100304 140469799867560 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.9
Current children cumulated vsize (KiB) 11852648

[startup+6.30073 s]
/proc/loadavg: 3.63 3.74 3.73 5/219 19967
/proc/meminfo: memFree=22264192/32873660 swapFree=7120/7120
[pid=19927] ppid=19925 vsize=11852648 CPUtime=9.7 cores=0,2,4,6
/proc/19927/stat : 19927 (java) S 19925 19927 18226 0 -1 4202496 26128 0 1 0 939 31 0 0 20 0 22 0 337919205 12137111552 248004 33554432000 1073741824 1073778376 140735265100304 140735265091440 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19927/statm: 2963162 248004 2293 9 0 2953849 0
[pid=19927/tid=19929] ppid=19925 vsize=11852648 CPUtime=0.55 cores=0,2,4,6
/proc/19927/task/19929/stat : 19929 (java) S 19925 19927 18226 0 -1 4202560 3437 0 1 0 52 3 0 0 20 0 22 0 337919206 12137111552 248004 33554432000 1073741824 1073778376 140735265100304 140469994099880 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19927/tid=19930] ppid=19925 vsize=11852648 CPUtime=0.01 cores=0,2,4,6
/proc/19927/task/19930/stat : 19930 (java) S 19925 19927 18226 0 -1 4202560 16 0 0 0 1 0 0 0 20 0 22 0 337919208 12137111552 248004 33554432000 1073741824 1073778376 140735265100304 140469831014568 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19927/tid=19931] ppid=19925 vsize=11852648 CPUtime=0.01 cores=0,2,4,6
/proc/19927/task/19931/stat : 19931 (java) S 19925 19927 18226 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 22 0 337919208 12137111552 248004 33554432000 1073741824 1073778376 140735265100304 140469829962024 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19927/tid=19932] ppid=19925 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/19927/task/19932/stat : 19932 (java) S 19925 19927 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337919208 12137111552 248004 33554432000 1073741824 1073778376 140735265100304 140469828909480 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19927/tid=19933] ppid=19925 vsize=11852648 CPUtime=0.01 cores=0,2,4,6
/proc/19927/task/19933/stat : 19933 (java) S 19925 19927 18226 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 22 0 337919208 12137111552 248004 33554432000 1073741824 1073778376 140735265100304 140469827856936 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19927/tid=19934] ppid=19925 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/19927/task/19934/stat : 19934 (java) S 19925 19927 18226 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 337919208 12137111552 248004 33554432000 1073741824 1073778376 140735265100304 140469826804392 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19927/tid=19935] ppid=19925 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/19927/task/19935/stat : 19935 (java) S 19925 19927 18226 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 337919208 12137111552 248004 33554432000 1073741824 1073778376 140735265100304 140469825751848 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19927/tid=19936] ppid=19925 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/19927/task/19936/stat : 19936 (java) S 19925 19927 18226 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 337919208 12137111552 248004 33554432000 1073741824 1073778376 140735265100304 140469824699304 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19927/tid=19937] ppid=19925 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/19927/task/19937/stat : 19937 (java) S 19925 19927 18226 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 337919208 12137111552 248004 33554432000 1073741824 1073778376 140735265100304 140469823646760 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19927/tid=19938] ppid=19925 vsize=11852648 CPUtime=0.1 cores=0,2,4,6
/proc/19927/task/19938/stat : 19938 (java) S 19925 19927 18226 0 -1 4202560 39 0 0 0 10 0 0 0 20 0 22 0 337919209 12137111552 248004 33554432000 1073741824 1073778376 140735265100304 140469811447912 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19927/tid=19939] ppid=19925 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/19927/task/19939/stat : 19939 (java) S 19925 19927 18226 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 337919210 12137111552 248004 33554432000 1073741824 1073778376 140735265100304 140469810394232 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19927/tid=19940] ppid=19925 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/19927/task/19940/stat : 19940 (java) S 19925 19927 18226 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 337919210 12137111552 248004 33554432000 1073741824 1073778376 140735265100304 140469809341576 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19927/tid=19941] ppid=19925 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/19927/task/19941/stat : 19941 (java) S 19925 19927 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337919212 12137111552 248004 33554432000 1073741824 1073778376 140735265100304 140469808290320 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19927/tid=19942] ppid=19925 vsize=11852648 CPUtime=1.51 cores=0,2,4,6
/proc/19927/task/19942/stat : 19942 (java) S 19925 19927 18226 0 -1 4202560 13315 0 0 0 148 3 0 0 20 0 22 0 337919212 12137111552 248004 33554432000 1073741824 1073778376 140735265100304 140469807237688 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19927/tid=19943] ppid=19925 vsize=11852648 CPUtime=1.3 cores=0,2,4,6
/proc/19927/task/19943/stat : 19943 (java) S 19925 19927 18226 0 -1 4202560 7521 0 0 0 129 1 0 0 20 0 22 0 337919212 12137111552 248004 33554432000 1073741824 1073778376 140735265100304 140469806185144 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19927/tid=19944] ppid=19925 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/19927/task/19944/stat : 19944 (java) S 19925 19927 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337919212 12137111552 248004 33554432000 1073741824 1073778376 140735265100304 140469805132792 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19927/tid=19945] ppid=19925 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/19927/task/19945/stat : 19945 (java) S 19925 19927 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337919212 12137111552 248004 33554432000 1073741824 1073778376 140735265100304 140469804080456 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19927/tid=19949] ppid=19925 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/19927/task/19949/stat : 19949 (java) S 19925 19927 18226 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 337919262 12137111552 248004 33554432000 1073741824 1073778376 140735265100304 140469799867560 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19927/tid=19965] ppid=19925 vsize=11852648 CPUtime=2.52 cores=0,2,4,6
/proc/19927/task/19965/stat : 19965 (java) R 19925 19927 18226 0 -1 4202560 11 0 0 0 252 0 0 0 20 0 22 0 337919563 12137111552 248004 33554432000 1073741824 1073778376 140735265100304 140469801972376 140469867212839 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=19927/tid=19966] ppid=19925 vsize=11852648 CPUtime=2.55 cores=0,2,4,6
/proc/19927/task/19966/stat : 19966 (java) R 19925 19927 18226 0 -1 4202560 368 0 0 0 244 11 0 0 20 0 22 0 337919563 12137111552 248004 33554432000 1073741824 1073778376 140735265100304 140469800917960 140469867353368 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0

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

[pid=19927/tid=19933] ppid=19925 vsize=11852648 CPUtime=2.53 cores=0,2,4,6
/proc/19927/task/19933/stat : 19933 (java) S 19925 19927 18226 0 -1 4202560 129 0 0 0 250 3 0 0 20 0 22 0 337919208 12137111552 425578 33554432000 1073741824 1073778376 140735265100304 140469827856936 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19927/tid=19934] ppid=19925 vsize=11852648 CPUtime=2.44 cores=0,2,4,6
/proc/19927/task/19934/stat : 19934 (java) S 19925 19927 18226 0 -1 4202560 191 0 0 0 242 2 0 0 20 0 22 0 337919208 12137111552 425578 33554432000 1073741824 1073778376 140735265100304 140469826804392 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19927/tid=19935] ppid=19925 vsize=11852648 CPUtime=2.37 cores=0,2,4,6
/proc/19927/task/19935/stat : 19935 (java) S 19925 19927 18226 0 -1 4202560 137 0 0 0 235 2 0 0 20 0 22 0 337919208 12137111552 425578 33554432000 1073741824 1073778376 140735265100304 140469825751848 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19927/tid=19936] ppid=19925 vsize=11852648 CPUtime=2.68 cores=0,2,4,6
/proc/19927/task/19936/stat : 19936 (java) S 19925 19927 18226 0 -1 4202560 183 0 0 0 266 2 0 0 20 0 22 0 337919208 12137111552 425578 33554432000 1073741824 1073778376 140735265100304 140469824699304 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19927/tid=19937] ppid=19925 vsize=11852648 CPUtime=2.69 cores=0,2,4,6
/proc/19927/task/19937/stat : 19937 (java) S 19925 19927 18226 0 -1 4202560 143 0 0 0 267 2 0 0 20 0 22 0 337919208 12137111552 425578 33554432000 1073741824 1073778376 140735265100304 140469823646760 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19927/tid=19938] ppid=19925 vsize=11852648 CPUtime=142.04 cores=0,2,4,6
/proc/19927/task/19938/stat : 19938 (java) R 19925 19927 18226 0 -1 4202560 375 0 0 0 14191 13 0 0 20 0 22 0 337919209 12137111552 425578 33554432000 1073741824 1073778376 140735265100304 140469811446888 140470000607354 0 0 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=19927/tid=19939] ppid=19925 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/19927/task/19939/stat : 19939 (java) S 19925 19927 18226 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 337919210 12137111552 425578 33554432000 1073741824 1073778376 140735265100304 140469810394232 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19927/tid=19940] ppid=19925 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/19927/task/19940/stat : 19940 (java) S 19925 19927 18226 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 337919210 12137111552 425578 33554432000 1073741824 1073778376 140735265100304 140469809341576 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19927/tid=19941] ppid=19925 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/19927/task/19941/stat : 19941 (java) S 19925 19927 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337919212 12137111552 425578 33554432000 1073741824 1073778376 140735265100304 140469808290320 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19927/tid=19942] ppid=19925 vsize=11852648 CPUtime=1.71 cores=0,2,4,6
/proc/19927/task/19942/stat : 19942 (java) S 19925 19927 18226 0 -1 4202560 13322 0 0 0 168 3 0 0 20 0 22 0 337919212 12137111552 425578 33554432000 1073741824 1073778376 140735265100304 140469807237688 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19927/tid=19943] ppid=19925 vsize=11852648 CPUtime=2.01 cores=0,2,4,6
/proc/19927/task/19943/stat : 19943 (java) S 19925 19927 18226 0 -1 4202560 10210 0 0 0 200 1 0 0 20 0 22 0 337919212 12137111552 425578 33554432000 1073741824 1073778376 140735265100304 140469806185144 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19927/tid=19944] ppid=19925 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/19927/task/19944/stat : 19944 (java) S 19925 19927 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337919212 12137111552 425578 33554432000 1073741824 1073778376 140735265100304 140469805132792 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19927/tid=19945] ppid=19925 vsize=11852648 CPUtime=0.33 cores=0,2,4,6
/proc/19927/task/19945/stat : 19945 (java) S 19925 19927 18226 0 -1 4202560 55 0 0 0 17 16 0 0 20 0 22 0 337919212 12137111552 425578 33554432000 1073741824 1073778376 140735265100304 140469804080456 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19927/tid=20053] ppid=19925 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/19927/task/20053/stat : 20053 (java) S 19925 19927 18226 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 337995423 12137111552 425578 33554432000 1073741824 1073778376 140735265100304 140469799867176 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19927/tid=20054] ppid=19925 vsize=11852648 CPUtime=90 cores=0,2,4,6
/proc/19927/task/20054/stat : 20054 (java) S 19925 19927 18226 0 -1 4202560 4 0 0 0 8999 1 0 0 20 0 22 0 338001667 12137111552 425578 33554432000 1073741824 1073778376 140735265100304 140469800919368 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19927/tid=20055] ppid=19925 vsize=11852648 CPUtime=90.03 cores=0,2,4,6
/proc/19927/task/20055/stat : 20055 (java) S 19925 19927 18226 0 -1 4202560 4 0 0 0 9002 1 0 0 20 0 22 0 338001667 12137111552 425578 33554432000 1073741824 1073778376 140735265100304 140469801970264 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19927/tid=20056] ppid=19925 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/19927/task/20056/stat : 20056 (java) S 19925 19927 18226 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 338001667 12137111552 425578 33554432000 1073741824 1073778376 140735265100304 140469803025576 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1743.27
Current children cumulated vsize (KiB) 11852648



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+971.701 s]
/proc/loadavg: 3.80 3.77 3.78 5/219 20060
/proc/meminfo: memFree=24472452/32873660 swapFree=7120/7120
[pid=19927] ppid=19925 vsize=11852648 CPUtime=1796.87 cores=0,2,4,6
/proc/19927/stat : 19927 (java) S 19925 19927 18226 0 -1 4202496 30904 0 1 0 179593 94 0 0 20 0 22 0 337919205 12137111552 426648 33554432000 1073741824 1073778376 140735265100304 140735265091440 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19927/statm: 2963162 426648 2294 9 0 2953849 0
[pid=19927/tid=19929] ppid=19925 vsize=11852648 CPUtime=0.6 cores=0,2,4,6
/proc/19927/task/19929/stat : 19929 (java) S 19925 19927 18226 0 -1 4202560 3657 0 1 0 56 4 0 0 20 0 22 0 337919206 12137111552 426648 33554432000 1073741824 1073778376 140735265100304 140469994099864 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19927/tid=19930] ppid=19925 vsize=11852648 CPUtime=2.83 cores=0,2,4,6
/proc/19927/task/19930/stat : 19930 (java) S 19925 19927 18226 0 -1 4202560 191 0 0 0 282 1 0 0 20 0 22 0 337919208 12137111552 426648 33554432000 1073741824 1073778376 140735265100304 140469831014568 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19927/tid=19931] ppid=19925 vsize=11852648 CPUtime=2.72 cores=0,2,4,6
/proc/19927/task/19931/stat : 19931 (java) S 19925 19927 18226 0 -1 4202560 161 0 0 0 270 2 0 0 20 0 22 0 337919208 12137111552 426648 33554432000 1073741824 1073778376 140735265100304 140469829962024 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19927/tid=19932] ppid=19925 vsize=11852648 CPUtime=2.73 cores=0,2,4,6
/proc/19927/task/19932/stat : 19932 (java) S 19925 19927 18226 0 -1 4202560 143 0 0 0 271 2 0 0 20 0 22 0 337919208 12137111552 426648 33554432000 1073741824 1073778376 140735265100304 140469828909480 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19927/tid=19933] ppid=19925 vsize=11852648 CPUtime=2.6 cores=0,2,4,6
/proc/19927/task/19933/stat : 19933 (java) S 19925 19927 18226 0 -1 4202560 133 0 0 0 257 3 0 0 20 0 22 0 337919208 12137111552 426648 33554432000 1073741824 1073778376 140735265100304 140469827856936 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19927/tid=19934] ppid=19925 vsize=11852648 CPUtime=2.54 cores=0,2,4,6
/proc/19927/task/19934/stat : 19934 (java) S 19925 19927 18226 0 -1 4202560 199 0 0 0 252 2 0 0 20 0 22 0 337919208 12137111552 426648 33554432000 1073741824 1073778376 140735265100304 140469826804392 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19927/tid=19935] ppid=19925 vsize=11852648 CPUtime=2.52 cores=0,2,4,6
/proc/19927/task/19935/stat : 19935 (java) S 19925 19927 18226 0 -1 4202560 143 0 0 0 250 2 0 0 20 0 22 0 337919208 12137111552 426648 33554432000 1073741824 1073778376 140735265100304 140469825751848 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19927/tid=19936] ppid=19925 vsize=11852648 CPUtime=2.78 cores=0,2,4,6
/proc/19927/task/19936/stat : 19936 (java) S 19925 19927 18226 0 -1 4202560 194 0 0 0 276 2 0 0 20 0 22 0 337919208 12137111552 426648 33554432000 1073741824 1073778376 140735265100304 140469824699304 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19927/tid=19937] ppid=19925 vsize=11852648 CPUtime=2.76 cores=0,2,4,6
/proc/19927/task/19937/stat : 19937 (java) S 19925 19927 18226 0 -1 4202560 143 0 0 0 274 2 0 0 20 0 22 0 337919208 12137111552 426648 33554432000 1073741824 1073778376 140735265100304 140469823646760 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19927/tid=19938] ppid=19925 vsize=11852648 CPUtime=147.6 cores=0,2,4,6
/proc/19927/task/19938/stat : 19938 (java) S 19925 19927 18226 0 -1 4202560 383 0 0 0 14747 13 0 0 20 0 22 0 337919209 12137111552 426648 33554432000 1073741824 1073778376 140735265100304 140469811447912 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19927/tid=19939] ppid=19925 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/19927/task/19939/stat : 19939 (java) S 19925 19927 18226 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 337919210 12137111552 426648 33554432000 1073741824 1073778376 140735265100304 140469810394232 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19927/tid=19940] ppid=19925 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/19927/task/19940/stat : 19940 (java) S 19925 19927 18226 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 337919210 12137111552 426648 33554432000 1073741824 1073778376 140735265100304 140469809341576 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19927/tid=19941] ppid=19925 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/19927/task/19941/stat : 19941 (java) S 19925 19927 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337919212 12137111552 426648 33554432000 1073741824 1073778376 140735265100304 140469808290320 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19927/tid=19942] ppid=19925 vsize=11852648 CPUtime=1.71 cores=0,2,4,6
/proc/19927/task/19942/stat : 19942 (java) S 19925 19927 18226 0 -1 4202560 13322 0 0 0 168 3 0 0 20 0 22 0 337919212 12137111552 426648 33554432000 1073741824 1073778376 140735265100304 140469807237688 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19927/tid=19943] ppid=19925 vsize=11852648 CPUtime=2.01 cores=0,2,4,6
/proc/19927/task/19943/stat : 19943 (java) S 19925 19927 18226 0 -1 4202560 10210 0 0 0 200 1 0 0 20 0 22 0 337919212 12137111552 426648 33554432000 1073741824 1073778376 140735265100304 140469806185144 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19927/tid=19944] ppid=19925 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/19927/task/19944/stat : 19944 (java) S 19925 19927 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337919212 12137111552 426648 33554432000 1073741824 1073778376 140735265100304 140469805132792 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19927/tid=19945] ppid=19925 vsize=11852648 CPUtime=0.34 cores=0,2,4,6
/proc/19927/task/19945/stat : 19945 (java) S 19925 19927 18226 0 -1 4202560 57 0 0 0 17 17 0 0 20 0 22 0 337919212 12137111552 426648 33554432000 1073741824 1073778376 140735265100304 140469804080456 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19927/tid=20053] ppid=19925 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/19927/task/20053/stat : 20053 (java) S 19925 19927 18226 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 337995423 12137111552 426648 33554432000 1073741824 1073778376 140735265100304 140469799867176 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19927/tid=20054] ppid=19925 vsize=11852648 CPUtime=113.56 cores=0,2,4,6
/proc/19927/task/20054/stat : 20054 (java) R 19925 19927 18226 0 -1 4202560 4 0 0 0 11355 1 0 0 20 0 22 0 338001667 12137111552 426648 33554432000 1073741824 1073778376 140735265100304 140469800919248 140469867232108 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=19927/tid=20055] ppid=19925 vsize=11852648 CPUtime=113.59 cores=0,2,4,6
/proc/19927/task/20055/stat : 20055 (java) R 19925 19927 18226 0 -1 4202560 4 0 0 0 11358 1 0 0 20 0 22 0 338001667 12137111552 426648 33554432000 1073741824 1073778376 140735265100304 140469801970144 140469867169133 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=19927/tid=20056] ppid=19925 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/19927/task/20056/stat : 20056 (java) S 19925 19927 18226 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 338001667 12137111552 426648 33554432000 1073741824 1073778376 140735265100304 140469803025576 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1796.87
Current children cumulated vsize (KiB) 11852648

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

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

[startup+971.701 s]
/proc/loadavg: 3.80 3.77 3.78 5/219 20060
/proc/meminfo: memFree=24472452/32873660 swapFree=7120/7120
[pid=19927] ppid=19925 vsize=11852648 CPUtime=1796.87 cores=0,2,4,6
/proc/19927/stat : 19927 (java) S 19925 19927 18226 0 -1 4202496 30904 0 1 0 179593 94 0 0 20 0 22 0 337919205 12137111552 426648 33554432000 1073741824 1073778376 140735265100304 140735265091440 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19927/statm: 2963162 426648 2294 9 0 2953849 0
[pid=19927/tid=19929] ppid=19925 vsize=11852648 CPUtime=0.6 cores=0,2,4,6
/proc/19927/task/19929/stat : 19929 (java) S 19925 19927 18226 0 -1 4202560 3657 0 1 0 56 4 0 0 20 0 22 0 337919206 12137111552 426648 33554432000 1073741824 1073778376 140735265100304 140469994099864 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19927/tid=19930] ppid=19925 vsize=11852648 CPUtime=2.83 cores=0,2,4,6
/proc/19927/task/19930/stat : 19930 (java) S 19925 19927 18226 0 -1 4202560 191 0 0 0 282 1 0 0 20 0 22 0 337919208 12137111552 426648 33554432000 1073741824 1073778376 140735265100304 140469831014568 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19927/tid=19931] ppid=19925 vsize=11852648 CPUtime=2.72 cores=0,2,4,6
/proc/19927/task/19931/stat : 19931 (java) S 19925 19927 18226 0 -1 4202560 161 0 0 0 270 2 0 0 20 0 22 0 337919208 12137111552 426648 33554432000 1073741824 1073778376 140735265100304 140469829962024 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19927/tid=19932] ppid=19925 vsize=11852648 CPUtime=2.73 cores=0,2,4,6
/proc/19927/task/19932/stat : 19932 (java) S 19925 19927 18226 0 -1 4202560 143 0 0 0 271 2 0 0 20 0 22 0 337919208 12137111552 426648 33554432000 1073741824 1073778376 140735265100304 140469828909480 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19927/tid=19933] ppid=19925 vsize=11852648 CPUtime=2.6 cores=0,2,4,6
/proc/19927/task/19933/stat : 19933 (java) S 19925 19927 18226 0 -1 4202560 133 0 0 0 257 3 0 0 20 0 22 0 337919208 12137111552 426648 33554432000 1073741824 1073778376 140735265100304 140469827856936 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19927/tid=19934] ppid=19925 vsize=11852648 CPUtime=2.54 cores=0,2,4,6
/proc/19927/task/19934/stat : 19934 (java) S 19925 19927 18226 0 -1 4202560 199 0 0 0 252 2 0 0 20 0 22 0 337919208 12137111552 426648 33554432000 1073741824 1073778376 140735265100304 140469826804392 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19927/tid=19935] ppid=19925 vsize=11852648 CPUtime=2.52 cores=0,2,4,6
/proc/19927/task/19935/stat : 19935 (java) S 19925 19927 18226 0 -1 4202560 143 0 0 0 250 2 0 0 20 0 22 0 337919208 12137111552 426648 33554432000 1073741824 1073778376 140735265100304 140469825751848 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19927/tid=19936] ppid=19925 vsize=11852648 CPUtime=2.78 cores=0,2,4,6
/proc/19927/task/19936/stat : 19936 (java) S 19925 19927 18226 0 -1 4202560 194 0 0 0 276 2 0 0 20 0 22 0 337919208 12137111552 426648 33554432000 1073741824 1073778376 140735265100304 140469824699304 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19927/tid=19937] ppid=19925 vsize=11852648 CPUtime=2.76 cores=0,2,4,6
/proc/19927/task/19937/stat : 19937 (java) S 19925 19927 18226 0 -1 4202560 143 0 0 0 274 2 0 0 20 0 22 0 337919208 12137111552 426648 33554432000 1073741824 1073778376 140735265100304 140469823646760 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19927/tid=19938] ppid=19925 vsize=11852648 CPUtime=147.6 cores=0,2,4,6
/proc/19927/task/19938/stat : 19938 (java) S 19925 19927 18226 0 -1 4202560 383 0 0 0 14747 13 0 0 20 0 22 0 337919209 12137111552 426648 33554432000 1073741824 1073778376 140735265100304 140469811447912 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19927/tid=19939] ppid=19925 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/19927/task/19939/stat : 19939 (java) S 19925 19927 18226 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 337919210 12137111552 426648 33554432000 1073741824 1073778376 140735265100304 140469810394232 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19927/tid=19940] ppid=19925 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/19927/task/19940/stat : 19940 (java) S 19925 19927 18226 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 337919210 12137111552 426648 33554432000 1073741824 1073778376 140735265100304 140469809341576 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19927/tid=19941] ppid=19925 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/19927/task/19941/stat : 19941 (java) S 19925 19927 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337919212 12137111552 426648 33554432000 1073741824 1073778376 140735265100304 140469808290320 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19927/tid=19942] ppid=19925 vsize=11852648 CPUtime=1.71 cores=0,2,4,6
/proc/19927/task/19942/stat : 19942 (java) S 19925 19927 18226 0 -1 4202560 13322 0 0 0 168 3 0 0 20 0 22 0 337919212 12137111552 426648 33554432000 1073741824 1073778376 140735265100304 140469807237688 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19927/tid=19943] ppid=19925 vsize=11852648 CPUtime=2.01 cores=0,2,4,6
/proc/19927/task/19943/stat : 19943 (java) S 19925 19927 18226 0 -1 4202560 10210 0 0 0 200 1 0 0 20 0 22 0 337919212 12137111552 426648 33554432000 1073741824 1073778376 140735265100304 140469806185144 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19927/tid=19944] ppid=19925 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/19927/task/19944/stat : 19944 (java) S 19925 19927 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337919212 12137111552 426648 33554432000 1073741824 1073778376 140735265100304 140469805132792 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19927/tid=19945] ppid=19925 vsize=11852648 CPUtime=0.34 cores=0,2,4,6
/proc/19927/task/19945/stat : 19945 (java) S 19925 19927 18226 0 -1 4202560 57 0 0 0 17 17 0 0 20 0 22 0 337919212 12137111552 426648 33554432000 1073741824 1073778376 140735265100304 140469804080456 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19927/tid=20053] ppid=19925 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/19927/task/20053/stat : 20053 (java) S 19925 19927 18226 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 337995423 12137111552 426648 33554432000 1073741824 1073778376 140735265100304 140469799867176 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19927/tid=20054] ppid=19925 vsize=11852648 CPUtime=113.56 cores=0,2,4,6
/proc/19927/task/20054/stat : 20054 (java) R 19925 19927 18226 0 -1 4202560 4 0 0 0 11355 1 0 0 20 0 22 0 338001667 12137111552 426648 33554432000 1073741824 1073778376 140735265100304 140469800919248 140469867232108 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=19927/tid=20055] ppid=19925 vsize=11852648 CPUtime=113.59 cores=0,2,4,6
/proc/19927/task/20055/stat : 20055 (java) R 19925 19927 18226 0 -1 4202560 4 0 0 0 11358 1 0 0 20 0 22 0 338001667 12137111552 426648 33554432000 1073741824 1073778376 140735265100304 140469801970144 140469867169133 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=19927/tid=20056] ppid=19925 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/19927/task/20056/stat : 20056 (java) S 19925 19927 18226 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 338001667 12137111552 426648 33554432000 1073741824 1073778376 140735265100304 140469803025576 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1796.87
Current children cumulated vsize (KiB) 11852648

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 19927 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=999118
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=221814
# CPU time returned by wait4() is 1796.22
# while last known CPU time is 1796.87
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...


# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 3.22009
#  lost CPU user time (s): 3.41003
#  lost CPU system time (s): -0.19

Real time (s): 971.751
CPU time (s): 1800.09
CPU user time (s): 1799.34
CPU system time (s): 0.75
CPU usage (%): 185.242
Max. virtual memory (cumulated for all children) (KiB): 11852648

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795
system time used= 1.22181
maximum resident set size= 1706704
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30934
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1040
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 31864
involuntary context switches= 53302

runsolver used 3.45147 second user time and 8.96464 second system time

The end

Launcher Data 

Begin job on node117 at 2012-06-03 12:05:35
IDJOB=3736822
IDBENCH=48131
IDSOLVER=2328
FILE ID=node117/3736822-1338717935
RUNJOBID= node117-1338713269-18242
PBS_JOBID= 14636728
Free space on /tmp= 69120 MiB

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

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

MD5SUM BENCH= f7e9965e006e5669c3252afd9a68998d
RANDOM SEED=1716821909

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.148
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.148
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.148
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.148
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.95
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.148
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.148
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.148
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.148
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873660 kB
MemFree:        23189120 kB
Buffers:          618596 kB
Cached:          4126880 kB
SwapCached:          776 kB
Active:          6307820 kB
Inactive:        2457660 kB
Active(anon):    4005596 kB
Inactive(anon):     9972 kB
Active(file):    2302224 kB
Inactive(file):  2447688 kB
Unevictable:        7120 kB
Mlocked:            7120 kB
SwapTotal:      67108856 kB
SwapFree:       67107012 kB
Dirty:                72 kB
Writeback:             0 kB
AnonPages:       4019052 kB
Mapped:            20444 kB
Shmem:                80 kB
Slab:             776760 kB
SReclaimable:     221004 kB
SUnreclaim:       555756 kB
KernelStack:        1624 kB
PageTables:        12080 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545684 kB
Committed_AS:   10461052 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3942400 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 69120 MiB
End job on node117 at 2012-06-03 12:21:48