Trace number 3453978

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j Res//CP 2.3.0SAT (TO)-64 1800.21 1003.58

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_500_25_5.opb
MD5SUM40141f2f083fa5e1f8a41aa043de0b1b
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-66
Best CPU time to get the best result obtained on this benchmark1800.03
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -69
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 constraint25
Maximum length of a constraint47
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)15706
Sum of products size (including duplicates)31412
Number of different products7853
Sum of products size15706

Quality of the solution as a function of time


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

Solver Data 

0.07/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.07/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.07/0.08	c See www.sat4j.org for details.
0.07/0.09	c version 2.3.1.v20110525
0.07/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.07/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.07/0.09	c java.vm.version	19.1-b02
0.07/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.07/0.09	c sun.arch.data.model	64
0.07/0.09	c java.version		1.6.0_24
0.07/0.09	c os.name		Linux
0.07/0.09	c os.version		2.6.18-164.el5
0.07/0.09	c os.arch		amd64
0.07/0.09	c Free memory 		9996466904
0.07/0.09	c Max memory 		10048897024
0.07/0.09	c Total memory 		10048897024
0.07/0.09	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization
0.10/0.11	c ManyCore solver with 2 solvers running in parallel
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@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-3453978-1307194719.opb
0.10/0.11	c reading problem ... 
1.29/0.68	c ... done. Wall clock time 0.565s.
1.29/0.68	c #vars     8353
1.29/0.68	c #constraints  24059
1.29/0.68	c constraints type 
1.29/0.68	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 7853
1.29/0.68	c org.sat4j.minisat.constraints.cnf.UnitClauses => 500
1.29/0.68	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 7853
1.29/0.68	c constraints type 
1.29/0.68	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 7853
1.29/0.68	c org.sat4j.pb.constraints.pb.UnitClausesPB => 500
1.29/0.68	c org.sat4j.pb.constraints.pb.MaxWatchPb => 7853
2.01/0.81	c  And the winner is Resolution
2.40/1.19	c SATISFIABLE
2.40/1.19	c OPTIMIZING...
2.40/1.19	c Got one! Elapsed wall clock time (in seconds):1.079
2.40/1.19	o -50
2.82/1.30	c  And the winner is Resolution
3.02/1.71	c Got one! Elapsed wall clock time (in seconds):1.591
3.02/1.71	o -57
3.02/1.72	c  And the winner is Resolution
3.10/2.21	c Got one! Elapsed wall clock time (in seconds):2.098
3.10/2.21	o -59
3.11/2.25	c  And the winner is Resolution
3.30/2.72	c Got one! Elapsed wall clock time (in seconds):2.606
3.30/2.72	o -60
4.66/3.36	c cleaning 2715 clauses out of 5430 with flag 5000/5430
5.20/3.62	c  And the winner is CuttingPlanes
5.24/3.73	c Got one! Elapsed wall clock time (in seconds):3.614
5.24/3.73	o -61
5.24/3.79	c  And the winner is Resolution
5.47/4.23	c Got one! Elapsed wall clock time (in seconds):4.12
5.47/4.23	o -62
6.32/4.69	c cleaning 4389 clauses out of 8788 with flag 4000/11503
7.70/5.40	c cleaning 5200 clauses out of 10400 with flag 10001/17504
9.45/6.24	c cleaning 6100 clauses out of 12199 with flag 17000/24503
11.36/7.23	c cleaning 7047 clauses out of 14099 with flag 25000/32503
13.49/8.37	c cleaning 8017 clauses out of 16052 with flag 34000/41503
15.81/9.58	c cleaning 9006 clauses out of 18036 with flag 44001/51504
18.53/10.97	c cleaning 10011 clauses out of 20029 with flag 55000/62503
21.17/12.31	c  And the winner is CuttingPlanes
21.20/12.64	c Got one! Elapsed wall clock time (in seconds):12.532
21.20/12.64	o -63
22.72/13.45	c cleaning 12565 clauses out of 25138 with flag 5000/77623
24.46/14.31	c cleaning 9278 clauses out of 18573 with flag 11000/83623
26.16/15.23	c cleaning 8140 clauses out of 16296 with flag 18001/90624
28.04/16.28	c cleaning 8075 clauses out of 16156 with flag 26001/98624
30.25/17.49	c cleaning 8541 clauses out of 17081 with flag 35001/107624
32.75/18.78	c cleaning 9270 clauses out of 18540 with flag 45001/117624
35.58/20.21	c cleaning 10126 clauses out of 20269 with flag 56000/128623
38.45/21.79	c cleaning 11067 clauses out of 22144 with flag 68001/140624
42.04/23.61	c cleaning 12032 clauses out of 24076 with flag 81000/153623
45.50/25.47	c cleaning 13010 clauses out of 26044 with flag 95000/167623
49.59/27.54	c cleaning 14013 clauses out of 28035 with flag 110001/182624
53.61/29.69	c cleaning 15006 clauses out of 30021 with flag 126000/198623
58.36/32.19	c cleaning 16008 clauses out of 32015 with flag 143000/215623
63.38/34.71	c cleaning 16500 clauses out of 33007 with flag 160000/232623
68.42/37.33	c cleaning 16751 clauses out of 33508 with flag 177001/249624
72.96/39.65	c cleaning 16877 clauses out of 33756 with flag 194000/266623
78.05/42.32	c cleaning 16934 clauses out of 33880 with flag 211001/283624
83.68/45.24	c cleaning 16962 clauses out of 33947 with flag 228002/300625
88.88/47.93	c cleaning 16989 clauses out of 33983 with flag 245000/317623
94.10/50.68	c cleaning 16995 clauses out of 33996 with flag 262002/334625
98.74/53.17	c cleaning 16997 clauses out of 33999 with flag 279000/351623
103.55/55.66	c cleaning 16998 clauses out of 34003 with flag 296001/368624
108.74/58.32	c cleaning 16998 clauses out of 34004 with flag 313000/385623
113.48/60.80	c cleaning 16996 clauses out of 34006 with flag 330000/402623
118.94/63.76	c cleaning 16997 clauses out of 34010 with flag 347000/419623
124.08/66.46	c cleaning 17002 clauses out of 34013 with flag 364000/436623
129.24/69.16	c cleaning 17002 clauses out of 34012 with flag 381001/453624
134.38/71.83	c cleaning 16999 clauses out of 34009 with flag 398000/470623
139.00/74.34	c cleaning 16996 clauses out of 34010 with flag 415000/487623
144.17/77.05	c cleaning 16998 clauses out of 34015 with flag 432001/504624
150.29/80.24	c cleaning 17007 clauses out of 34017 with flag 449001/521624
156.20/83.30	c cleaning 16992 clauses out of 34010 with flag 466001/538624
161.79/86.37	c cleaning 17002 clauses out of 34018 with flag 483001/555624
167.72/89.41	c cleaning 17005 clauses out of 34015 with flag 500000/572623
173.82/92.62	c cleaning 17003 clauses out of 34011 with flag 517001/589624
179.12/95.47	c cleaning 16991 clauses out of 34008 with flag 534001/606624
185.09/98.64	c cleaning 16996 clauses out of 34016 with flag 551000/623623
190.99/101.78	c cleaning 17006 clauses out of 34021 with flag 568001/640624
196.48/104.69	c cleaning 17002 clauses out of 34015 with flag 585001/657624
201.77/107.43	c cleaning 16992 clauses out of 34012 with flag 602000/674623
206.90/110.27	c cleaning 17004 clauses out of 34021 with flag 619001/691624
212.60/113.24	c cleaning 17002 clauses out of 34016 with flag 636000/708623
217.66/115.94	c cleaning 16994 clauses out of 34014 with flag 653000/725623
223.36/118.93	c cleaning 17000 clauses out of 34022 with flag 670002/742625
228.88/121.93	c cleaning 17006 clauses out of 34020 with flag 687000/759623
235.15/125.26	c cleaning 17000 clauses out of 34014 with flag 704000/776623
241.02/128.36	c cleaning 17000 clauses out of 34014 with flag 721000/793623
247.27/131.64	c cleaning 16999 clauses out of 34015 with flag 738001/810624
253.16/134.86	c cleaning 16996 clauses out of 34016 with flag 755001/827624
259.81/138.30	c cleaning 16992 clauses out of 34019 with flag 772000/844623
264.90/141.04	c cleaning 17014 clauses out of 34028 with flag 789001/861624
271.32/144.41	c cleaning 16996 clauses out of 34014 with flag 806001/878624
277.14/147.69	c cleaning 17000 clauses out of 34017 with flag 823000/895623
283.35/150.94	c cleaning 17001 clauses out of 34017 with flag 840000/912623
289.54/154.23	c cleaning 16992 clauses out of 34016 with flag 857000/929623
296.15/157.73	c cleaning 16997 clauses out of 34024 with flag 874000/946623
301.53/160.78	c cleaning 17010 clauses out of 34028 with flag 891001/963624
306.93/163.63	c cleaning 17009 clauses out of 34017 with flag 908000/980623
312.50/166.67	c cleaning 16989 clauses out of 34008 with flag 925000/997623
318.92/170.06	c cleaning 16995 clauses out of 34020 with flag 942001/1014624
325.29/173.55	c cleaning 17005 clauses out of 34024 with flag 959000/1031623
330.92/176.50	c cleaning 16999 clauses out of 34019 with flag 976000/1048623
337.09/179.88	c cleaning 17001 clauses out of 34020 with flag 993000/1065623
343.09/183.04	c cleaning 17002 clauses out of 34020 with flag 1010001/1082624
348.84/186.24	c cleaning 17009 clauses out of 34018 with flag 1027001/1099624
354.83/189.46	c cleaning 17004 clauses out of 34009 with flag 1044001/1116624
361.18/192.80	c cleaning 16997 clauses out of 34005 with flag 1061001/1133624
367.57/196.24	c cleaning 16996 clauses out of 34007 with flag 1078000/1150623
373.49/199.56	c cleaning 16996 clauses out of 34011 with flag 1095000/1167623
379.68/202.85	c cleaning 16994 clauses out of 34015 with flag 1112000/1184623
385.80/206.19	c cleaning 17003 clauses out of 34022 with flag 1129001/1201624
391.77/209.34	c cleaning 17004 clauses out of 34018 with flag 1146000/1218623
398.09/212.84	c cleaning 16999 clauses out of 34014 with flag 1163000/1235623
404.25/216.16	c cleaning 17006 clauses out of 34015 with flag 1180000/1252623
410.57/219.56	c cleaning 17003 clauses out of 34012 with flag 1197003/1269626
416.93/222.92	c cleaning 17000 clauses out of 34008 with flag 1214002/1286625
423.64/226.64	c cleaning 16993 clauses out of 34006 with flag 1231000/1303623
430.13/230.18	c cleaning 16994 clauses out of 34013 with flag 1248000/1320623
436.68/233.61	c cleaning 17007 clauses out of 34019 with flag 1265000/1337623
443.58/237.38	c cleaning 16997 clauses out of 34014 with flag 1282002/1354625
450.63/241.29	c cleaning 17005 clauses out of 34015 with flag 1299000/1371623
457.56/244.99	c cleaning 16997 clauses out of 34010 with flag 1316000/1388623
463.50/248.13	c cleaning 17004 clauses out of 34013 with flag 1333000/1405623
468.79/251.08	c cleaning 16988 clauses out of 34010 with flag 1350001/1422624
474.87/254.43	c cleaning 17007 clauses out of 34022 with flag 1367001/1439624
481.36/257.93	c cleaning 17004 clauses out of 34014 with flag 1384000/1456623
487.33/261.11	c cleaning 16999 clauses out of 34010 with flag 1401000/1473623
493.42/264.43	c cleaning 16996 clauses out of 34011 with flag 1418000/1490623
499.72/267.95	c cleaning 16989 clauses out of 34015 with flag 1435000/1507623
505.99/271.35	c cleaning 17008 clauses out of 34027 with flag 1452001/1524624
511.72/274.40	c cleaning 17009 clauses out of 34018 with flag 1469000/1541623
519.00/278.35	c cleaning 17005 clauses out of 34009 with flag 1486000/1558623
527.47/282.91	c cleaning 16995 clauses out of 34004 with flag 1503000/1575623
534.80/286.88	c cleaning 17001 clauses out of 34010 with flag 1520001/1592624
541.07/290.23	c cleaning 16996 clauses out of 34009 with flag 1537001/1609624
541.73/290.82	c cleaning 0 clauses out of 6060 with flag 0/6062
548.43/294.52	c cleaning 16998 clauses out of 34013 with flag 1554001/1626624
554.49/297.87	c cleaning 16991 clauses out of 34014 with flag 1571000/1643623
560.59/301.18	c cleaning 17000 clauses out of 34023 with flag 1588000/1660623
567.44/304.84	c cleaning 17003 clauses out of 34023 with flag 1605000/1677623
573.90/308.47	c cleaning 17005 clauses out of 34021 with flag 1622001/1694624
580.14/311.82	c cleaning 17001 clauses out of 34016 with flag 1639001/1711624
586.23/315.16	c cleaning 17001 clauses out of 34014 with flag 1656000/1728623
592.34/318.42	c cleaning 17003 clauses out of 34015 with flag 1673002/1745625
599.01/322.11	c cleaning 17001 clauses out of 34011 with flag 1690001/1762624
604.91/325.39	c cleaning 16998 clauses out of 34009 with flag 1707000/1779623
611.41/328.86	c cleaning 17002 clauses out of 34011 with flag 1724000/1796623
617.44/332.19	c cleaning 16999 clauses out of 34010 with flag 1741001/1813624
624.19/335.90	c cleaning 17002 clauses out of 34013 with flag 1758003/1830626
629.99/339.14	c cleaning 17000 clauses out of 34008 with flag 1775000/1847623
636.82/342.80	c cleaning 17000 clauses out of 34008 with flag 1792000/1864623
643.22/346.37	c cleaning 16996 clauses out of 34009 with flag 1809001/1881624
650.17/350.24	c cleaning 17002 clauses out of 34012 with flag 1826000/1898623
656.64/353.79	c cleaning 17003 clauses out of 34010 with flag 1843000/1915623
663.03/357.22	c cleaning 16994 clauses out of 34007 with flag 1860000/1932623
669.50/360.81	c cleaning 16997 clauses out of 34013 with flag 1877000/1949623
676.80/364.85	c cleaning 17002 clauses out of 34016 with flag 1894000/1966623
683.40/368.51	c cleaning 17001 clauses out of 34015 with flag 1911001/1983624
690.18/372.12	c cleaning 16999 clauses out of 34013 with flag 1928000/2000623
697.02/375.87	c cleaning 17001 clauses out of 34014 with flag 1945000/2017623
704.21/379.81	c cleaning 17006 clauses out of 34014 with flag 1962001/2034624
711.19/383.69	c cleaning 17004 clauses out of 34009 with flag 1979002/2051625
718.01/387.36	c cleaning 16987 clauses out of 34003 with flag 1996000/2068623
723.38/390.41	c cleaning 17005 clauses out of 34016 with flag 2013000/2085623
729.91/394.03	c cleaning 17000 clauses out of 34013 with flag 2030002/2102625
736.08/397.44	c cleaning 16992 clauses out of 34011 with flag 2047000/2119623
742.44/400.91	c cleaning 17003 clauses out of 34020 with flag 2064001/2136624
748.07/404.04	c cleaning 16996 clauses out of 34016 with flag 2081000/2153623
754.87/407.90	c cleaning 17002 clauses out of 34020 with flag 2098000/2170623
761.47/411.45	c cleaning 16992 clauses out of 34018 with flag 2115000/2187623
767.43/414.72	c cleaning 17007 clauses out of 34027 with flag 2132001/2204624
773.36/418.06	c cleaning 17000 clauses out of 34019 with flag 2149000/2221623
780.20/421.98	c cleaning 17003 clauses out of 34019 with flag 2166000/2238623
787.01/425.63	c cleaning 16995 clauses out of 34017 with flag 2183001/2255624
792.95/428.93	c cleaning 17000 clauses out of 34021 with flag 2200000/2272623
799.34/432.43	c cleaning 17003 clauses out of 34021 with flag 2217000/2289623
806.03/436.25	c cleaning 17007 clauses out of 34018 with flag 2234000/2306623
813.02/440.03	c cleaning 16992 clauses out of 34011 with flag 2251000/2323623
819.72/443.72	c cleaning 17004 clauses out of 34019 with flag 2268000/2340623
826.45/447.46	c cleaning 17003 clauses out of 34015 with flag 2285000/2357623
832.71/451.01	c cleaning 16996 clauses out of 34012 with flag 2302000/2374623
838.81/454.49	c cleaning 16998 clauses out of 34016 with flag 2319000/2391623
845.15/457.94	c cleaning 17004 clauses out of 34018 with flag 2336000/2408623
851.48/461.46	c cleaning 16995 clauses out of 34014 with flag 2353000/2425623
858.24/465.25	c cleaning 17006 clauses out of 34019 with flag 2370000/2442623
864.51/468.68	c cleaning 16995 clauses out of 34013 with flag 2387000/2459623
871.07/472.22	c cleaning 16998 clauses out of 34018 with flag 2404000/2476623
877.26/475.67	c cleaning 17007 clauses out of 34021 with flag 2421001/2493624
883.99/479.41	c cleaning 17002 clauses out of 34013 with flag 2438000/2510623
889.98/482.76	c cleaning 16997 clauses out of 34011 with flag 2455000/2527623
896.39/486.21	c cleaning 16996 clauses out of 34015 with flag 2472001/2544624
902.75/489.77	c cleaning 17001 clauses out of 34018 with flag 2489000/2561623
909.46/493.57	c cleaning 17001 clauses out of 34017 with flag 2506000/2578623
915.84/497.05	c cleaning 16996 clauses out of 34016 with flag 2523000/2595623
922.61/500.77	c cleaning 16998 clauses out of 34020 with flag 2540000/2612623
929.39/504.48	c cleaning 17001 clauses out of 34022 with flag 2557000/2629623
936.68/508.57	c cleaning 17007 clauses out of 34022 with flag 2574001/2646624
943.44/512.22	c cleaning 16993 clauses out of 34014 with flag 2591000/2663623
949.62/515.68	c cleaning 17000 clauses out of 34023 with flag 2608002/2680625
956.38/519.39	c cleaning 17006 clauses out of 34022 with flag 2625001/2697624
962.66/522.93	c cleaning 17001 clauses out of 34015 with flag 2642000/2714623
968.62/526.26	c cleaning 17000 clauses out of 34014 with flag 2659000/2731623
974.77/529.64	c cleaning 17000 clauses out of 34014 with flag 2676000/2748623
981.53/533.33	c cleaning 17001 clauses out of 34014 with flag 2693000/2765623
987.98/537.05	c cleaning 16994 clauses out of 34013 with flag 2710000/2782623
994.74/540.73	c cleaning 17001 clauses out of 34019 with flag 2727000/2799623
1001.49/544.48	c cleaning 17002 clauses out of 34018 with flag 2744000/2816623
1008.02/548.06	c cleaning 16999 clauses out of 34017 with flag 2761001/2833624
1014.67/551.87	c cleaning 16996 clauses out of 34018 with flag 2778001/2850624
1021.21/555.42	c cleaning 16994 clauses out of 34022 with flag 2795001/2867624
1027.73/559.01	c cleaning 17000 clauses out of 34027 with flag 2812000/2884623
1034.26/562.69	c cleaning 17006 clauses out of 34027 with flag 2829000/2901623
1041.13/566.52	c cleaning 17002 clauses out of 34021 with flag 2846000/2918623
1047.61/570.13	c cleaning 16991 clauses out of 34019 with flag 2863000/2935623
1054.14/573.73	c cleaning 17008 clauses out of 34028 with flag 2880000/2952623
1060.25/577.14	c cleaning 17002 clauses out of 34020 with flag 2897000/2969623
1066.88/580.96	c cleaning 17006 clauses out of 34018 with flag 2914000/2986623
1073.61/584.61	c cleaning 17000 clauses out of 34012 with flag 2931000/3003623
1079.53/587.97	c cleaning 17000 clauses out of 34013 with flag 2948001/3020624
1086.46/591.76	c cleaning 16997 clauses out of 34013 with flag 2965001/3037624
1093.46/595.76	c cleaning 17000 clauses out of 34015 with flag 2982000/3054623
1099.17/598.99	c cleaning 17005 clauses out of 34015 with flag 2999000/3071623
1104.89/602.15	c cleaning 16996 clauses out of 34010 with flag 3016000/3088623
1111.21/605.63	c cleaning 17000 clauses out of 34014 with flag 3033000/3105623
1117.66/609.35	c cleaning 16997 clauses out of 34014 with flag 3050000/3122623
1124.16/612.90	c cleaning 16996 clauses out of 34017 with flag 3067000/3139623
1129.90/616.19	c cleaning 17008 clauses out of 34022 with flag 3084001/3156624
1136.87/619.91	c cleaning 16999 clauses out of 34013 with flag 3101000/3173623
1143.88/623.93	c  And the winner is CuttingPlanes
1143.88/623.96	c Got one! Elapsed wall clock time (in seconds):623.852
1143.88/623.96	o -64
1146.02/625.06	c cleaning 19222 clauses out of 38445 with flag 5000/3195054
1148.40/626.54	c cleaning 12609 clauses out of 25223 with flag 11000/3201054
1150.71/628.09	c cleaning 9795 clauses out of 19615 with flag 18001/3208055
1153.43/629.70	c cleaning 8905 clauses out of 17819 with flag 26000/3216054
1156.44/631.79	c cleaning 8951 clauses out of 17914 with flag 35000/3225054
1159.58/633.65	c cleaning 9478 clauses out of 18963 with flag 45000/3235054
1162.99/635.76	c cleaning 10239 clauses out of 20485 with flag 56000/3246054
1166.48/637.90	c cleaning 11122 clauses out of 22248 with flag 68002/3258056
1170.88/640.57	c cleaning 12053 clauses out of 24124 with flag 81000/3271054
1175.19/643.04	c cleaning 13036 clauses out of 26072 with flag 95001/3285055
1179.92/645.77	c cleaning 14010 clauses out of 28035 with flag 110000/3300054
1184.58/648.41	c cleaning 15013 clauses out of 30026 with flag 126001/3316055
1189.83/651.55	c cleaning 16007 clauses out of 32014 with flag 143002/3333056
1195.23/654.57	c cleaning 16498 clauses out of 33005 with flag 160000/3350054
1200.93/657.71	c cleaning 16750 clauses out of 33507 with flag 177000/3367054
1206.14/660.71	c cleaning 16873 clauses out of 33757 with flag 194000/3384054
1212.20/664.33	c cleaning 16939 clauses out of 33885 with flag 211001/3401055
1218.03/667.65	c cleaning 16972 clauses out of 33947 with flag 228002/3418056
1223.61/670.88	c cleaning 16982 clauses out of 33974 with flag 245001/3435055
1229.86/674.39	c cleaning 16989 clauses out of 33992 with flag 262001/3452055
1235.29/677.69	c cleaning 16994 clauses out of 34002 with flag 279000/3469054
1240.70/680.72	c cleaning 16994 clauses out of 34008 with flag 296000/3486054
1246.49/684.04	c cleaning 16988 clauses out of 34015 with flag 313001/3503055
1251.98/687.11	c cleaning 17009 clauses out of 34026 with flag 330000/3520054
1258.33/690.89	c cleaning 17007 clauses out of 34019 with flag 347002/3537056
1264.35/694.22	c cleaning 17002 clauses out of 34010 with flag 364000/3554054
1270.33/697.62	c cleaning 17002 clauses out of 34009 with flag 381001/3571055
1275.82/700.78	c cleaning 16997 clauses out of 34006 with flag 398000/3588054
1281.60/704.23	c cleaning 17005 clauses out of 34009 with flag 415000/3605054
1287.23/707.42	c cleaning 16992 clauses out of 34004 with flag 432000/3622054
1293.42/710.95	c cleaning 17000 clauses out of 34013 with flag 449001/3639055
1299.45/714.32	c cleaning 16998 clauses out of 34012 with flag 466000/3656054
1305.25/717.89	c cleaning 17002 clauses out of 34014 with flag 483000/3673054
1311.32/721.22	c cleaning 17000 clauses out of 34012 with flag 500000/3690054
1317.29/724.68	c cleaning 17003 clauses out of 34012 with flag 517000/3707054
1322.93/727.82	c cleaning 17001 clauses out of 34010 with flag 534001/3724055
1329.05/731.42	c cleaning 17002 clauses out of 34008 with flag 551000/3741054
1335.15/734.84	c cleaning 16999 clauses out of 34006 with flag 568000/3758054
1341.69/738.59	c cleaning 16991 clauses out of 34007 with flag 585000/3775054
1346.87/741.57	c cleaning 17003 clauses out of 34016 with flag 602000/3792054
1352.65/745.06	c cleaning 16994 clauses out of 34013 with flag 619000/3809054
1358.02/748.17	c cleaning 17006 clauses out of 34019 with flag 636000/3826054
1363.79/751.41	c cleaning 17000 clauses out of 34013 with flag 653000/3843054
1369.57/754.79	c cleaning 16993 clauses out of 34014 with flag 670001/3860055
1375.56/758.32	c cleaning 17003 clauses out of 34022 with flag 687002/3877056
1381.53/761.77	c cleaning 17001 clauses out of 34017 with flag 704000/3894054
1387.49/765.10	c cleaning 17005 clauses out of 34016 with flag 721000/3911054
1393.66/768.60	c cleaning 17006 clauses out of 34011 with flag 738000/3928054
1400.43/772.64	c cleaning 16999 clauses out of 34005 with flag 755000/3945054
1406.78/776.27	c cleaning 16992 clauses out of 34006 with flag 772000/3962054
1413.01/779.78	c cleaning 17003 clauses out of 34014 with flag 789000/3979054
1419.38/783.31	c cleaning 16996 clauses out of 34011 with flag 806000/3996054
1425.47/786.95	c cleaning 17004 clauses out of 34015 with flag 823000/4013054
1431.63/790.40	c cleaning 17002 clauses out of 34012 with flag 840001/4030055
1437.83/793.97	c cleaning 17001 clauses out of 34009 with flag 857000/4047054
1444.21/797.59	c cleaning 16997 clauses out of 34009 with flag 874001/4064055
1449.95/801.07	c cleaning 16993 clauses out of 34012 with flag 891001/4081055
1455.19/804.10	c cleaning 17000 clauses out of 34018 with flag 908000/4098054
1460.82/807.31	c cleaning 17008 clauses out of 34018 with flag 925000/4115054
1467.20/810.89	c cleaning 16995 clauses out of 34010 with flag 942000/4132054
1473.77/814.71	c cleaning 17000 clauses out of 34016 with flag 959001/4149055
1479.32/817.91	c cleaning 17002 clauses out of 34016 with flag 976001/4166055
1485.47/821.40	c cleaning 17005 clauses out of 34013 with flag 993000/4183054
1491.62/824.96	c cleaning 17000 clauses out of 34009 with flag 1010001/4200055
1497.75/828.65	c cleaning 16998 clauses out of 34009 with flag 1027001/4217055
1503.75/832.09	c cleaning 16995 clauses out of 34010 with flag 1044000/4234054
1510.29/835.71	c cleaning 17004 clauses out of 34016 with flag 1061001/4251055
1516.31/839.20	c cleaning 17003 clauses out of 34011 with flag 1078000/4268054
1522.63/842.95	c cleaning 16992 clauses out of 34008 with flag 1095000/4285054
1528.22/846.19	c cleaning 17006 clauses out of 34016 with flag 1112000/4302054
1534.34/849.70	c cleaning 16986 clauses out of 34011 with flag 1129001/4319055
1540.30/853.06	c cleaning 17000 clauses out of 34024 with flag 1146000/4336054
1546.65/856.83	c cleaning 17003 clauses out of 34024 with flag 1163000/4353054
1552.76/860.35	c cleaning 17001 clauses out of 34021 with flag 1180000/4370054
1558.68/863.80	c cleaning 17000 clauses out of 34020 with flag 1197000/4387054
1564.80/867.27	c cleaning 17000 clauses out of 34021 with flag 1214001/4404055
1571.16/871.07	c cleaning 17003 clauses out of 34021 with flag 1231001/4421055
1577.09/874.45	c cleaning 17000 clauses out of 34017 with flag 1248000/4438054
1583.24/877.90	c cleaning 17005 clauses out of 34017 with flag 1265000/4455054
1589.15/881.35	c cleaning 17000 clauses out of 34012 with flag 1282000/4472054
1595.40/885.05	c cleaning 16995 clauses out of 34013 with flag 1299001/4489055
1601.51/888.57	c cleaning 16997 clauses out of 34018 with flag 1316001/4506055
1607.10/891.77	c cleaning 17005 clauses out of 34020 with flag 1333000/4523054
1612.30/894.77	c cleaning 17000 clauses out of 34017 with flag 1350002/4540056
1618.05/898.11	c cleaning 16999 clauses out of 34015 with flag 1367000/4557054
1624.19/901.62	c cleaning 17005 clauses out of 34017 with flag 1384001/4574055
1630.38/905.19	c cleaning 16996 clauses out of 34012 with flag 1401001/4591055
1636.30/908.58	c cleaning 16996 clauses out of 34015 with flag 1418000/4608054
1642.84/912.49	c cleaning 17001 clauses out of 34019 with flag 1435000/4625054
1649.13/916.05	c cleaning 16999 clauses out of 34020 with flag 1452002/4642056
1654.83/919.36	c cleaning 17000 clauses out of 34019 with flag 1469000/4659054
1660.95/922.90	c cleaning 17006 clauses out of 34019 with flag 1486000/4676054
1667.64/926.87	c cleaning 16999 clauses out of 34013 with flag 1503000/4693054
1673.57/930.22	c cleaning 16991 clauses out of 34014 with flag 1520000/4710054
1679.26/933.56	c cleaning 17002 clauses out of 34024 with flag 1537001/4727055
1685.40/937.07	c cleaning 16996 clauses out of 34022 with flag 1554001/4744055
1692.09/941.10	c cleaning 17004 clauses out of 34026 with flag 1571001/4761055
1697.85/944.35	c cleaning 17004 clauses out of 34021 with flag 1588000/4778054
1704.13/948.00	c cleaning 17000 clauses out of 34018 with flag 1605001/4795055
1710.50/951.60	c cleaning 16998 clauses out of 34017 with flag 1622000/4812054
1717.14/955.54	c cleaning 16995 clauses out of 34020 with flag 1639001/4829055
1723.44/959.15	c cleaning 16999 clauses out of 34027 with flag 1656003/4846057
1729.69/962.71	c cleaning 17002 clauses out of 34026 with flag 1673001/4863055
1735.98/966.38	c cleaning 17005 clauses out of 34023 with flag 1690000/4880054
1742.75/970.34	c cleaning 16995 clauses out of 34019 with flag 1707001/4897055
1749.02/973.90	c cleaning 17001 clauses out of 34023 with flag 1724000/4914054
1754.96/977.37	c cleaning 17002 clauses out of 34022 with flag 1741000/4931054
1761.42/981.02	c cleaning 17002 clauses out of 34021 with flag 1758001/4948055
1767.69/984.85	c cleaning 17006 clauses out of 34018 with flag 1775000/4965054
1774.17/988.58	c cleaning 16998 clauses out of 34012 with flag 1792000/4982054
1780.66/992.24	c cleaning 17006 clauses out of 34015 with flag 1809001/4999055
1786.91/995.85	c cleaning 16995 clauses out of 34008 with flag 1826000/5016054
1793.94/1000.07	c cleaning 16999 clauses out of 34013 with flag 1843000/5033054
1800.10/1003.52	c starts		: 44
1800.10/1003.52	c conflicts		: 10641
1800.10/1003.52	c decisions		: 16306
1800.10/1003.52	c propagations		: 144497
1800.10/1003.52	c inspects		: 393869512
1800.10/1003.52	c shortcuts		: 0
1800.10/1003.52	c learnt literals	: 0
1800.10/1003.52	c learnt binary clauses	: 0
1800.10/1003.52	c learnt ternary clauses	: 0
1800.10/1003.52	c learnt constraints	: 10638
1800.10/1003.52	c ignored constraints	: 0
1800.10/1003.52	c root simplifications	: 0
1800.10/1003.52	c removed literals (reason simplification)	: 0
1800.10/1003.52	c reason swapping (by a shorter reason)	: 0
1800.10/1003.52	c Calls to reduceDB	: 1
1800.10/1003.52	c number of reductions to clauses (during analyze)	: 0
1800.10/1003.52	c number of learned constraints concerned by reduction	: 0
1800.10/1003.52	c number of learning phase by resolution	: 0
1800.10/1003.52	c number of learning phase by cutting planes	: 0
1800.10/1003.52	c speed (assignments/second)	: 380.70208718654004
1800.10/1003.52	c non guided choices	0
1800.10/1003.53	c learnt constraints type 
1800.10/1003.53	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 258
1800.10/1003.53	c org.sat4j.pb.constraints.pb.MaxWatchPb => 10380
1800.10/1003.53	c constraints type 
1800.10/1003.53	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 7853
1800.10/1003.53	c org.sat4j.minisat.constraints.cnf.UnitClauses => 500
1800.10/1003.53	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.10/1003.53	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 7853
1800.10/1003.53	c constraints type 
1800.10/1003.53	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 7853
1800.10/1003.53	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
1800.10/1003.53	c org.sat4j.pb.constraints.pb.UnitClausesPB => 500
1800.10/1003.53	c org.sat4j.pb.constraints.pb.MaxWatchPb => 7853
1800.10/1003.53	s SATISFIABLE
1800.10/1003.53	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 x76 -x77 -x78 x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 x112 -x113 -x114 x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 x123 -x124 x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 x135 -x136 -x137 -x138 -x139 -x140 -x141 x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 x180 -x181 -x182 -x183 -x184 x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 x229 -x230 -x231 -x232 -x233 x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 x242 -x243 -x244 x245 -x246 x247 -x248 -x249 -x250 -x251 x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 x265 -x266 x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 x275 -x276 -x277 x278 x279 -x280 -x281 -x282 -x283 x284 x285 -x286 -x287 -x288 x289 -x290 x291 -x292 -x293 -x294 -x295 -x296 -x297 x298 x299 -x300 -x301 -x302 x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 x330 x331 x332 -x333 -x334 -x335 -x336 -x337 x338 x339 -x340 -x341 -x342 -x343 -x344 -x345 x346 x347 -x348 -x349 -x350 -x351 -x352 x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 x363 x364 x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 x379 -x380 x381 -x382 -x383 -x384 -x385 -x386 -x387 x388 x389 -x390 -x391 -x392 x393 -x394 -x395 -x396 x397 -x398 -x399 x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 x435 x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 x455 x456 -x457 -x458 -x459 -x460 x461 -x462 x463 -x464 -x465 -x466 -x467 x468 -x469 -x470 -x471 -x472 -x473 x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 
1800.10/1003.53	c objective function=-64
1800.10/1003.53	c Total wall clock time (in seconds): 1003.418

Verifier Data 

OK	-64

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

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

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


[startup+0 s]
/proc/loadavg: 1.83 3.04 3.46 2/395 13667
/proc/meminfo: memFree=30008196/32950904 swapFree=56615552/67111528
[pid=13667] ppid=13665 vsize=30540 CPUtime=0 cores=0,2,4,6
/proc/13667/stat : 13667 (java) S 13665 13667 8078 0 -1 4202496 1241 0 0 0 0 0 0 0 21 0 2 0 831071706 31272960 960 33554432000 1073741824 1073778376 140734168766912 18446744073709551615 237290682341 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/13667/statm: 7634 960 733 9 0 385 0
[pid=13667/tid=13668] ppid=13665 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/13667/task/13668/stat : 13668 (java) R 13665 13667 8078 0 -1 4202560 2256 0 1 0 0 0 0 0 22 0 2 0 831071707 10694979584 3072 33554432000 1073741824 1073778376 140734168766912 18446744073709551615 237278573627 0 4 0 16784584 0 0 0 -1 2 0 0 0

[startup+0.085346 s]
/proc/loadavg: 1.83 3.04 3.46 2/395 13667
/proc/meminfo: memFree=30008196/32950904 swapFree=56615552/67111528
[pid=13667] ppid=13665 vsize=10539584 CPUtime=0.07 cores=0,2,4,6
/proc/13667/stat : 13667 (java) S 13665 13667 8078 0 -1 4202496 12293 0 1 0 6 1 0 0 21 0 18 0 831071706 10792534016 11989 33554432000 1073741824 1073778376 140734168766912 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/13667/statm: 2634896 11992 1913 9 0 2625630 0
[pid=13667/tid=13668] ppid=13665 vsize=10539584 CPUtime=0.07 cores=0,2,4,6
/proc/13667/task/13668/stat : 13668 (java) R 13665 13667 8078 0 -1 4202560 10910 0 1 0 6 1 0 0 25 0 18 0 831071707 10792534016 11992 33554432000 1073741824 1073778376 140734168766912 18446744073709551615 47765262634983 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 10539584

[startup+0.100341 s]
/proc/loadavg: 1.83 3.04 3.46 2/395 13667
/proc/meminfo: memFree=30008196/32950904 swapFree=56615552/67111528
[pid=13667] ppid=13665 vsize=10540608 CPUtime=0.1 cores=0,2,4,6
/proc/13667/stat : 13667 (java) S 13665 13667 8078 0 -1 4202496 13038 0 1 0 9 1 0 0 21 0 18 0 831071706 10793582592 12721 33554432000 1073741824 1073778376 140734168766912 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/13667/statm: 2635152 12722 2092 9 0 2625886 0
[pid=13667/tid=13668] ppid=13665 vsize=10540608 CPUtime=0.08 cores=0,2,4,6
/proc/13667/task/13668/stat : 13668 (java) R 13665 13667 8078 0 -1 4202560 11126 0 1 0 7 1 0 0 18 0 18 0 831071707 10793582592 12723 33554432000 1073741824 1073778376 140734168766912 18446744073709551615 47765267135315 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540608

[startup+0.301039 s]
/proc/loadavg: 1.83 3.04 3.46 2/395 13667
/proc/meminfo: memFree=30008196/32950904 swapFree=56615552/67111528
[pid=13667] ppid=13665 vsize=10541632 CPUtime=0.47 cores=0,2,4,6
/proc/13667/stat : 13667 (java) S 13665 13667 8078 0 -1 4202496 15636 0 1 0 46 1 0 0 21 0 18 0 831071706 10794631168 14990 33554432000 1073741824 1073778376 140734168766912 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/13667/statm: 2635408 14991 2207 9 0 2626142 0
[pid=13667/tid=13668] ppid=13665 vsize=10541632 CPUtime=0.28 cores=0,2,4,6
/proc/13667/task/13668/stat : 13668 (java) R 13665 13667 8078 0 -1 4202560 12850 0 1 0 27 1 0 0 18 0 18 0 831071707 10794631168 14991 33554432000 1073741824 1073778376 140734168766912 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 10541632

[startup+0.700237 s]
/proc/loadavg: 1.83 3.04 3.46 2/395 13667
/proc/meminfo: memFree=30008196/32950904 swapFree=56615552/67111528
[pid=13667] ppid=13665 vsize=10558192 CPUtime=1.6 cores=0,2,4,6
/proc/13667/stat : 13667 (java) S 13665 13667 8078 0 -1 4202496 33120 0 1 0 156 4 0 0 21 0 20 0 831071706 10811588608 28933 33554432000 1073741824 1073778376 140734168766912 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/13667/statm: 2639548 28933 2235 9 0 2630282 0
[pid=13667/tid=13668] ppid=13665 vsize=10558192 CPUtime=0.66 cores=0,2,4,6
/proc/13667/task/13668/stat : 13668 (java) S 13665 13667 8078 0 -1 4202560 21041 0 1 0 64 2 0 0 19 0 20 0 831071707 10811588608 28933 33554432000 1073741824 1073778376 140734168766912 18446744073709551615 237290696192 0 4 0 16800975 18446604441806338944 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.6
Current children cumulated vsize (KiB) 10558192

[startup+1.50104 s]
/proc/loadavg: 1.83 3.04 3.46 1/437 13723
/proc/meminfo: memFree=29846852/32950904 swapFree=56615552/67111528
[pid=13667] ppid=13665 vsize=10561272 CPUtime=3.02 cores=0,2,4,6
/proc/13667/stat : 13667 (java) S 13665 13667 8078 0 -1 4202496 37936 0 1 0 297 5 0 0 21 0 19 0 831071706 10814742528 33115 33554432000 1073741824 1073778376 140734168766912 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/13667/statm: 2640318 33115 2245 9 0 2631052 0
[pid=13667/tid=13668] ppid=13665 vsize=10561272 CPUtime=0.67 cores=0,2,4,6
/proc/13667/task/13668/stat : 13668 (java) S 13665 13667 8078 0 -1 4202560 21096 0 1 0 65 2 0 0 16 0 19 0 831071707 10814742528 33115 33554432000 1073741824 1073778376 140734168766912 18446744073709551615 237290696192 0 4 0 16800975 18446604441806338944 0 0 -1 6 0 0 0
[pid=13667/tid=13670] ppid=13665 vsize=10561272 CPUtime=0 cores=0,2,4,6
/proc/13667/task/13670/stat : 13670 (java) S 13665 13667 8078 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 831071709 10814742528 33115 33554432000 1073741824 1073778376 140734168766912 18446744073709551615 237290695577 0 4 0 16800975 18446604441806338944 0 0 -1 2 0 0 0
[pid=13667/tid=13671] ppid=13665 vsize=10561272 CPUtime=0 cores=0,2,4,6
/proc/13667/task/13671/stat : 13671 (java) S 13665 13667 8078 0 -1 4202560 2 0 0 0 0 0 0 0 24 0 19 0 831071709 10814742528 33115 33554432000 1073741824 1073778376 140734168766912 18446744073709551615 237290695577 0 4 0 16800975 18446604441806338944 0 0 -1 2 0 0 0
[pid=13667/tid=13672] ppid=13665 vsize=10561272 CPUtime=0 cores=0,2,4,6
/proc/13667/task/13672/stat : 13672 (java) S 13665 13667 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831071709 10814742528 33115 33554432000 1073741824 1073778376 140734168766912 18446744073709551615 237290695577 0 4 0 16800975 18446604441806338944 0 0 -1 6 0 0 0
[pid=13667/tid=13673] ppid=13665 vsize=10561272 CPUtime=0 cores=0,2,4,6
/proc/13667/task/13673/stat : 13673 (java) S 13665 13667 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831071709 10814742528 33115 33554432000 1073741824 1073778376 140734168766912 18446744073709551615 237290695577 0 4 0 16800975 18446604441806338944 0 0 -1 6 0 0 0
[pid=13667/tid=13674] ppid=13665 vsize=10561272 CPUtime=0 cores=0,2,4,6
/proc/13667/task/13674/stat : 13674 (java) S 13665 13667 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831071709 10814742528 33115 33554432000 1073741824 1073778376 140734168766912 18446744073709551615 237290695577 0 4 0 16800975 18446604441806338944 0 0 -1 6 0 0 0
[pid=13667/tid=13675] ppid=13665 vsize=10561272 CPUtime=0 cores=0,2,4,6
/proc/13667/task/13675/stat : 13675 (java) S 13665 13667 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831071709 10814742528 33115 33554432000 1073741824 1073778376 140734168766912 18446744073709551615 237290695577 0 4 0 16800975 18446604441806338944 0 0 -1 6 0 0 0
[pid=13667/tid=13676] ppid=13665 vsize=10561272 CPUtime=0 cores=0,2,4,6
/proc/13667/task/13676/stat : 13676 (java) S 13665 13667 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831071709 10814742528 33115 33554432000 1073741824 1073778376 140734168766912 18446744073709551615 237290695577 0 4 0 16800975 18446604441806338944 0 0 -1 6 0 0 0
[pid=13667/tid=13677] ppid=13665 vsize=10561272 CPUtime=0 cores=0,2,4,6
/proc/13667/task/13677/stat : 13677 (java) S 13665 13667 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831071709 10814742528 33115 33554432000 1073741824 1073778376 140734168766912 18446744073709551615 237290695577 0 4 0 16800975 18446604441806338944 0 0 -1 6 0 0 0
[pid=13667/tid=13678] ppid=13665 vsize=10561272 CPUtime=0 cores=0,2,4,6
/proc/13667/task/13678/stat : 13678 (java) S 13665 13667 8078 0 -1 4202560 3 0 0 0 0 0 0 0 16 0 19 0 831071710 10814742528 33115 33554432000 1073741824 1073778376 140734168766912 18446744073709551615 237290696192 0 0 0 16800975 18446604441806338944 0 0 -1 2 0 0 0
[pid=13667/tid=13679] ppid=13665 vsize=10561272 CPUtime=0 cores=0,2,4,6
/proc/13667/task/13679/stat : 13679 (java) S 13665 13667 8078 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 831071710 10814742528 33115 33554432000 1073741824 1073778376 140734168766912 18446744073709551615 237290695577 0 4 0 16800975 18446604441806338944 0 0 -1 2 0 0 0
[pid=13667/tid=13680] ppid=13665 vsize=10561272 CPUtime=0 cores=0,2,4,6
/proc/13667/task/13680/stat : 13680 (java) S 13665 13667 8078 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 831071710 10814742528 33115 33554432000 1073741824 1073778376 140734168766912 18446744073709551615 237290695577 0 4 0 16800975 18446604441806338944 0 0 -1 2 0 0 0
[pid=13667/tid=13681] ppid=13665 vsize=10561272 CPUtime=0 cores=0,2,4,6
/proc/13667/task/13681/stat : 13681 (java) S 13665 13667 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831071712 10814742528 33115 33554432000 1073741824 1073778376 140734168766912 18446744073709551615 237290703281 0 4 0 16800975 18446604441806338944 0 0 -1 2 0 0 0
[pid=13667/tid=13682] ppid=13665 vsize=10561272 CPUtime=0.91 cores=0,2,4,6
/proc/13667/task/13682/stat : 13682 (java) S 13665 13667 8078 0 -1 4202560 6697 0 0 0 90 1 0 0 16 0 19 0 831071712 10814742528 33115 33554432000 1073741824 1073778376 140734168766912 18446744073709551615 237290695577 0 4 0 16800975 18446604441806338944 0 0 -1 0 0 0 0
[pid=13667/tid=13683] ppid=13665 vsize=10561272 CPUtime=0.92 cores=0,2,4,6
/proc/13667/task/13683/stat : 13683 (java) S 13665 13667 8078 0 -1 4202560 6122 0 0 0 91 1 0 0 16 0 19 0 831071712 10814742528 33115 33554432000 1073741824 1073778376 140734168766912 18446744073709551615 237290695577 0 4 0 16800975 18446604441806338944 0 0 -1 4 0 0 0
[pid=13667/tid=13684] ppid=13665 vsize=10561272 CPUtime=0 cores=0,2,4,6
/proc/13667/task/13684/stat : 13684 (java) S 13665 13667 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831071712 10814742528 33115 33554432000 1073741824 1073778376 140734168766912 18446744073709551615 237290695577 0 4 0 16800975 18446604441806338944 0 0 -1 2 0 0 0
[pid=13667/tid=13685] ppid=13665 vsize=10561272 CPUtime=0 cores=0,2,4,6
/proc/13667/task/13685/stat : 13685 (java) S 13665 13667 8078 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 831071712 10814742528 33115 33554432000 1073741824 1073778376 140734168766912 18446744073709551615 237290696192 0 4 0 16800975 18446604441806338944 0 0 -1 6 0 0 0
[pid=13667/tid=13722] ppid=13665 vsize=10561272 CPUtime=0 cores=0,2,4,6
/proc/13667/task/13722/stat : 13722 (java) S 13665 13667 8078 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 831071782 10814742528 33115 33554432000 1073741824 1073778376 140734168766912 18446744073709551615 237290696192 0 4 0 16800975 18446604441806338944 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3.02
Current children cumulated vsize (KiB) 10561272

[startup+3.10075 s]
/proc/loadavg: 1.77 3.01 3.45 1/437 13778
/proc/meminfo: memFree=29822100/32950904 swapFree=56615552/67111528
[pid=13667] ppid=13665 vsize=10561272 CPUtime=4.21 cores=0,2,4,6
/proc/13667/stat : 13667 (java) S 13665 13667 8078 0 -1 4202496 60166 0 1 0 413 8 0 0 21 0 22 0 831071706 10814742528 55344 33554432000 1073741824 1073778376 140734168766912 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/13667/statm: 2640318 55351 2245 9 0 2631052 0
[pid=13667/tid=13668] ppid=13665 vsize=10561272 CPUtime=0.68 cores=0,2,4,6
/proc/13667/task/13668/stat : 13668 (java) S 13665 13667 8078 0 -1 4202560 21235 0 1 0 66 2 0 0 16 0 22 0 831071707 10814742528 55355 33554432000 1073741824 1073778376 140734168766912 18446744073709551615 237290696192 0 4 0 16800975 18446604441806338944 0 0 -1 4 0 0 0
[pid=13667/tid=13670] ppid=13665 vsize=10561272 CPUtime=0 cores=0,2,4,6
/proc/13667/task/13670/stat : 13670 (java) S 13665 13667 8078 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 22 0 831071709 10814742528 55357 33554432000 1073741824 1073778376 140734168766912 18446744073709551615 237290695577 0 4 0 16800975 18446604441806338944 0 0 -1 2 0 0 0
[pid=13667/tid=13671] ppid=13665 vsize=10561272 CPUtime=0 cores=0,2,4,6
/proc/13667/task/13671/stat : 13671 (java) S 13665 13667 8078 0 -1 4202560 2 0 0 0 0 0 0 0 24 0 22 0 831071709 10814742528 55358 33554432000 1073741824 1073778376 140734168766912 18446744073709551615 237290695577 0 4 0 16800975 18446604441806338944 0 0 -1 2 0 0 0
[pid=13667/tid=13672] ppid=13665 vsize=10561272 CPUtime=0 cores=0,2,4,6
/proc/13667/task/13672/stat : 13672 (java) S 13665 13667 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831071709 10814742528 55359 33554432000 1073741824 1073778376 140734168766912 18446744073709551615 237290695577 0 4 0 16800975 18446604441806338944 0 0 -1 6 0 0 0
[pid=13667/tid=13673] ppid=13665 vsize=10561272 CPUtime=0 cores=0,2,4,6
/proc/13667/task/13673/stat : 13673 (java) S 13665 13667 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831071709 10814742528 55359 33554432000 1073741824 1073778376 140734168766912 18446744073709551615 237290695577 0 4 0 16800975 18446604441806338944 0 0 -1 6 0 0 0
[pid=13667/tid=13674] ppid=13665 vsize=10561272 CPUtime=0 cores=0,2,4,6
/proc/13667/task/13674/stat : 13674 (java) S 13665 13667 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831071709 10814742528 55360 33554432000 1073741824 1073778376 140734168766912 18446744073709551615 237290695577 0 4 0 16800975 18446604441806338944 0 0 -1 6 0 0 0
[pid=13667/tid=13675] ppid=13665 vsize=10561272 CPUtime=0 cores=0,2,4,6
/proc/13667/task/13675/stat : 13675 (java) S 13665 13667 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831071709 10814742528 55361 33554432000 1073741824 1073778376 140734168766912 18446744073709551615 237290695577 0 4 0 16800975 18446604441806338944 0 0 -1 6 0 0 0
[pid=13667/tid=13676] ppid=13665 vsize=10561272 CPUtime=0 cores=0,2,4,6
/proc/13667/task/13676/stat : 13676 (java) S 13665 13667 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831071709 10814742528 55361 33554432000 1073741824 1073778376 140734168766912 18446744073709551615 237290695577 0 4 0 16800975 18446604441806338944 0 0 -1 6 0 0 0
[pid=13667/tid=13677] ppid=13665 vsize=10561272 CPUtime=0 cores=0,2,4,6
/proc/13667/task/13677/stat : 13677 (java) S 13665 13667 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831071709 10814742528 55361 33554432000 1073741824 1073778376 140734168766912 18446744073709551615 237290695577 0 4 0 16800975 18446604441806338944 0 0 -1 6 0 0 0
[pid=13667/tid=13678] ppid=13665 vsize=10561272 CPUtime=0 cores=0,2,4,6
/proc/13667/task/13678/stat : 13678 (java) S 13665 13667 8078 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 22 0 831071710 10814742528 55362 33554432000 1073741824 1073778376 140734168766912 18446744073709551615 237290696192 0 0 0 16800975 18446604441806338944 0 0 -1 2 0 0 0
[pid=13667/tid=13679] ppid=13665 vsize=10561272 CPUtime=0 cores=0,2,4,6
/proc/13667/task/13679/stat : 13679 (java) S 13665 13667 8078 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 831071710 10814742528 55362 33554432000 1073741824 1073778376 140734168766912 18446744073709551615 237290695577 0 4 0 16800975 18446604441806338944 0 0 -1 2 0 0 0
[pid=13667/tid=13680] ppid=13665 vsize=10561272 CPUtime=0 cores=0,2,4,6
/proc/13667/task/13680/stat : 13680 (java) S 13665 13667 8078 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 831071710 10814742528 55363 33554432000 1073741824 1073778376 140734168766912 18446744073709551615 237290695577 0 4 0 16800975 18446604441806338944 0 0 -1 2 0 0 0
[pid=13667/tid=13681] ppid=13665 vsize=10561272 CPUtime=0 cores=0,2,4,6
/proc/13667/task/13681/stat : 13681 (java) S 13665 13667 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831071712 10814742528 55363 33554432000 1073741824 1073778376 140734168766912 18446744073709551615 237290703281 0 4 0 16800975 18446604441806338944 0 0 -1 2 0 0 0
[pid=13667/tid=13682] ppid=13665 vsize=10561272 CPUtime=1.11 cores=0,2,4,6
/proc/13667/task/13682/stat : 13682 (java) S 13665 13667 8078 0 -1 4202560 6728 0 0 0 110 1 0 0 15 0 22 0 831071712 10814742528 55363 33554432000 1073741824 1073778376 140734168766912 18446744073709551615 237290695577 0 4 0 16800975 18446604441806338944 0 0 -1 0 0 0 0
[pid=13667/tid=13683] ppid=13665 vsize=10561272 CPUtime=1.02 cores=0,2,4,6
/proc/13667/task/13683/stat : 13683 (java) S 13665 13667 8078 0 -1 4202560 6133 0 0 0 101 1 0 0 15 0 22 0 831071712 10814742528 55363 33554432000 1073741824 1073778376 140734168766912 18446744073709551615 237290695577 0 4 0 16800975 18446604441806338944 0 0 -1 4 0 0 0
[pid=13667/tid=13684] ppid=13665 vsize=10561272 CPUtime=0 cores=0,2,4,6
/proc/13667/task/13684/stat : 13684 (java) S 13665 13667 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831071712 10814742528 55364 33554432000 1073741824 1073778376 140734168766912 18446744073709551615 237290695577 0 4 0 16800975 18446604441806338944 0 0 -1 2 0 0 0
[pid=13667/tid=13685] ppid=13665 vsize=10561272 CPUtime=0 cores=0,2,4,6
/proc/13667/task/13685/stat : 13685 (java) S 13665 13667 8078 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831071712 10814742528 55365 33554432000 1073741824 1073778376 140734168766912 18446744073709551615 237290696192 0 4 0 16800975 18446604441806338944 0 0 -1 6 0 0 0
[pid=13667/tid=13722] ppid=13665 vsize=10561272 CPUtime=0 cores=0,2,4,6
/proc/13667/task/13722/stat : 13722 (java) S 13665 13667 8078 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 831071782 10814742528 55366 33554432000 1073741824 1073778376 140734168766912 18446744073709551615 237290696192 0 4 0 16800975 18446604441806338944 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4.21
Current children cumulated vsize (KiB) 10561272

[startup+6.30131 s]
/proc/loadavg: 1.77 3.01 3.45 5/443 13805
/proc/meminfo: memFree=29004404/32950904 swapFree=56615552/67111528
[pid=13667] ppid=13665 vsize=10561272 CPUtime=9.62 cores=0,2,4,6
/proc/13667/stat : 13667 (java) S 13665 13667 8078 0 -1 4202496 137006 0 1 0 943 19 0 0 21 0 22 0 831071706 10814742528 131872 33554432000 1073741824 1073778376 140734168766912 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/13667/statm: 2640318 131872 2271 9 0 2631052 0
[pid=13667/tid=13668] ppid=13665 vsize=10561272 CPUtime=0.69 cores=0,2,4,6
/proc/13667/task/13668/stat : 13668 (java) S 13665 13667 8078 0 -1 4202560 21236 0 1 0 67 2 0 0 15 0 22 0 831071707 10814742528 131872 33554432000 1073741824 1073778376 140734168766912 18446744073709551615 237290695577 0 4 0 16800975 18446604441806338944 0 0 -1 6 0 0 0
[pid=13667/tid=13670] ppid=13665 vsize=10561272 CPUtime=0.01 cores=0,2,4,6
/proc/13667/task/13670/stat : 13670 (java) S 13665 13667 8078 0 -1 4202560 1586 0 0 0 1 0 0 0 15 0 22 0 831071709 10814742528 131872 33554432000 1073741824 1073778376 140734168766912 18446744073709551615 237290695577 0 4 0 16800975 18446604441806338944 0 0 -1 2 0 0 0
[pid=13667/tid=13671] ppid=13665 vsize=10561272 CPUtime=0.02 cores=0,2,4,6
/proc/13667/task/13671/stat : 13671 (java) S 13665 13667 8078 0 -1 4202560 2979 0 0 0 2 0 0 0 15 0 22 0 831071709 10814742528 131872 33554432000 1073741824 1073778376 140734168766912 18446744073709551615 237290695577 0 4 0 16800975 18446604441806338944 0 0 -1 4 0 0 0
[pid=13667/tid=13672] ppid=13665 vsize=10561272 CPUtime=0 cores=0,2,4,6
/proc/13667/task/13672/stat : 13672 (java) S 13665 13667 8078 0 -1 4202560 888 0 0 0 0 0 0 0 16 0 22 0 831071709 10814742528 131872 33554432000 1073741824 1073778376 140734168766912 18446744073709551615 237290695577 0 4 0 16800975 18446604441806338944 0 0 -1 6 0 0 0
[pid=13667/tid=13673] ppid=13665 vsize=10561272 CPUtime=0 cores=0,2,4,6
/proc/13667/task/13673/stat : 13673 (java) S 13665 13667 8078 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 22 0 831071709 10814742528 131872 33554432000 1073741824 1073778376 140734168766912 18446744073709551615 237290695577 0 4 0 16800975 18446604441806338944 0 0 -1 6 0 0 0
[pid=13667/tid=13674] ppid=13665 vsize=10561272 CPUtime=0 cores=0,2,4,6
/proc/13667/task/13674/stat : 13674 (java) S 13665 13667 8078 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831071709 10814742528 131872 33554432000 1073741824 1073778376 140734168766912 18446744073709551615 237290695577 0 4 0 16800975 18446604441806338944 0 0 -1 2 0 0 0
[pid=13667/tid=13675] ppid=13665 vsize=10561272 CPUtime=0.01 cores=0,2,4,6
/proc/13667/task/13675/stat : 13675 (java) S 13665 13667 8078 0 -1 4202560 2 0 0 0 1 0 0 0 16 0 22 0 831071709 10814742528 131872 33554432000 1073741824 1073778376 140734168766912 18446744073709551615 237290695577 0 4 0 16800975 18446604441806338944 0 0 -1 2 0 0 0
[pid=13667/tid=13676] ppid=13665 vsize=10561272 CPUtime=0.02 cores=0,2,4,6
/proc/13667/task/13676/stat : 13676 (java) S 13665 13667 8078 0 -1 4202560 2420 0 0 0 2 0 0 0 15 0 22 0 831071709 10814742528 131872 33554432000 1073741824 1073778376 140734168766912 18446744073709551615 237290695577 0 4 0 16800975 18446604441806338944 0 0 -1 0 0 0 0
[pid=13667/tid=13677] ppid=13665 vsize=10561272 CPUtime=0.03 cores=0,2,4,6
/proc/13667/task/13677/stat : 13677 (java) S 13665 13667 8078 0 -1 4202560 2276 0 0 0 3 0 0 0 15 0 22 0 831071709 10814742528 131872 33554432000 1073741824 1073778376 140734168766912 18446744073709551615 237290695577 0 4 0 16800975 18446604441806338944 0 0 -1 4 0 0 0
[pid=13667/tid=13678] ppid=13665 vsize=10561272 CPUtime=0.28 cores=0,2,4,6
/proc/13667/task/13678/stat : 13678 (java) R 13665 13667 8078 0 -1 4202560 10657 0 0 0 27 1 0 0 15 0 22 0 831071710 10814742528 131872 33554432000 1073741824 1073778376 140734168766912 18446744073709551615 47765265495180 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=13667/tid=13679] ppid=13665 vsize=10561272 CPUtime=0 cores=0,2,4,6
/proc/13667/task/13679/stat : 13679 (java) S 13665 13667 8078 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 831071710 10814742528 131872 33554432000 1073741824 1073778376 140734168766912 18446744073709551615 237290695577 0 4 0 16800975 18446604441806338944 0 0 -1 6 0 0 0
[pid=13667/tid=13680] ppid=13665 vsize=10561272 CPUtime=0 cores=0,2,4,6
/proc/13667/task/13680/stat : 13680 (java) S 13665 13667 8078 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 831071710 10814742528 131872 33554432000 1073741824 1073778376 140734168766912 18446744073709551615 237290695577 0 4 0 16800975 18446604441806338944 0 0 -1 6 0 0 0
[pid=13667/tid=13681] ppid=13665 vsize=10561272 CPUtime=0 cores=0,2,4,6
/proc/13667/task/13681/stat : 13681 (java) S 13665 13667 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831071712 10814742528 131872 33554432000 1073741824 1073778376 140734168766912 18446744073709551615 237290703281 0 4 0 16800975 18446604441806338944 0 0 -1 2 0 0 0
[pid=13667/tid=13682] ppid=13665 vsize=10561272 CPUtime=1.28 cores=0,2,4,6
/proc/13667/task/13682/stat : 13682 (java) S 13665 13667 8078 0 -1 4202560 6751 0 0 0 127 1 0 0 15 0 22 0 831071712 10814742528 131872 33554432000 1073741824 1073778376 140734168766912 18446744073709551615 237290695577 0 4 0 16800975 18446604441806338944 0 0 -1 0 0 0 0
[pid=13667/tid=13683] ppid=13665 vsize=10561272 CPUtime=1.14 cores=0,2,4,6
/proc/13667/task/13683/stat : 13683 (java) S 13665 13667 8078 0 -1 4202560 6141 0 0 0 113 1 0 0 16 0 22 0 831071712 10814742528 131872 33554432000 1073741824 1073778376 140734168766912 18446744073709551615 237290695577 0 4 0 16800975 18446604441806338944 0 0 -1 2 0 0 0

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

[pid=13667/tid=13844] ppid=13665 vsize=10561272 CPUtime=226.88 cores=0,2,4,6
/proc/13667/task/13844/stat : 13844 (java) R 13665 13667 8078 0 -1 4202560 1 0 0 0 22688 0 0 0 18 0 22 0 831134103 10814742528 290315 33554432000 1073741824 1073778376 140734168766912 18446744073709551615 46912506236087 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=13667/tid=13845] ppid=13665 vsize=10561272 CPUtime=226.88 cores=0,2,4,6
/proc/13667/task/13845/stat : 13845 (java) R 13665 13667 8078 0 -1 4202560 3167 0 0 0 22688 0 0 0 18 0 22 0 831134103 10814742528 290315 33554432000 1073741824 1073778376 140734168766912 18446744073709551615 46912506170576 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=13667/tid=13846] ppid=13665 vsize=10561272 CPUtime=0 cores=0,2,4,6
/proc/13667/task/13846/stat : 13846 (java) S 13665 13667 8078 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 831134103 10814742528 290315 33554432000 1073741824 1073778376 140734168766912 18446744073709551615 237290696192 0 4 0 16800975 18446604441806338944 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1693.85
Current children cumulated vsize (KiB) 10561272

[startup+1002.3 s]
/proc/loadavg: 1.68 1.77 2.34 3/416 13856
/proc/meminfo: memFree=28834436/32950904 swapFree=56615552/67111528
[pid=13667] ppid=13665 vsize=10561272 CPUtime=1797.68 cores=0,2,4,6
/proc/13667/stat : 13667 (java) S 13665 13667 8078 0 -1 4202496 299858 0 1 0 179723 45 0 0 21 0 22 0 831071706 10814742528 294284 33554432000 1073741824 1073778376 140734168766912 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/13667/statm: 2640318 294284 2272 9 0 2631052 0
[pid=13667/tid=13668] ppid=13665 vsize=10561272 CPUtime=0.7 cores=0,2,4,6
/proc/13667/task/13668/stat : 13668 (java) S 13665 13667 8078 0 -1 4202560 21427 0 1 0 68 2 0 0 15 0 22 0 831071707 10814742528 294284 33554432000 1073741824 1073778376 140734168766912 18446744073709551615 237290696192 0 4 0 16800975 18446604441806338944 0 0 -1 4 0 0 0
[pid=13667/tid=13670] ppid=13665 vsize=10561272 CPUtime=2.38 cores=0,2,4,6
/proc/13667/task/13670/stat : 13670 (java) S 13665 13667 8078 0 -1 4202560 2064 0 0 0 238 0 0 0 16 0 22 0 831071709 10814742528 294284 33554432000 1073741824 1073778376 140734168766912 18446744073709551615 237290695577 0 4 0 16800975 18446604441806338944 0 0 -1 2 0 0 0
[pid=13667/tid=13671] ppid=13665 vsize=10561272 CPUtime=2.09 cores=0,2,4,6
/proc/13667/task/13671/stat : 13671 (java) S 13665 13667 8078 0 -1 4202560 3326 0 0 0 209 0 0 0 16 0 22 0 831071709 10814742528 294284 33554432000 1073741824 1073778376 140734168766912 18446744073709551615 237290695577 0 4 0 16800975 18446604441806338944 0 0 -1 4 0 0 0
[pid=13667/tid=13672] ppid=13665 vsize=10561272 CPUtime=2.23 cores=0,2,4,6
/proc/13667/task/13672/stat : 13672 (java) S 13665 13667 8078 0 -1 4202560 2116 0 0 0 223 0 0 0 16 0 22 0 831071709 10814742528 294284 33554432000 1073741824 1073778376 140734168766912 18446744073709551615 237290695577 0 4 0 16800975 18446604441806338944 0 0 -1 4 0 0 0
[pid=13667/tid=13673] ppid=13665 vsize=10561272 CPUtime=2.04 cores=0,2,4,6
/proc/13667/task/13673/stat : 13673 (java) S 13665 13667 8078 0 -1 4202560 477 0 0 0 204 0 0 0 15 0 22 0 831071709 10814742528 294284 33554432000 1073741824 1073778376 140734168766912 18446744073709551615 237290695577 0 4 0 16800975 18446604441806338944 0 0 -1 6 0 0 0
[pid=13667/tid=13674] ppid=13665 vsize=10561272 CPUtime=2.02 cores=0,2,4,6
/proc/13667/task/13674/stat : 13674 (java) S 13665 13667 8078 0 -1 4202560 1031 0 0 0 202 0 0 0 16 0 22 0 831071709 10814742528 294284 33554432000 1073741824 1073778376 140734168766912 18446744073709551615 237290695577 0 4 0 16800975 18446604441806338944 0 0 -1 6 0 0 0
[pid=13667/tid=13675] ppid=13665 vsize=10561272 CPUtime=1.99 cores=0,2,4,6
/proc/13667/task/13675/stat : 13675 (java) S 13665 13667 8078 0 -1 4202560 1683 0 0 0 199 0 0 0 15 0 22 0 831071709 10814742528 294284 33554432000 1073741824 1073778376 140734168766912 18446744073709551615 237290695577 0 4 0 16800975 18446604441806338944 0 0 -1 2 0 0 0
[pid=13667/tid=13676] ppid=13665 vsize=10561272 CPUtime=2.17 cores=0,2,4,6
/proc/13667/task/13676/stat : 13676 (java) S 13665 13667 8078 0 -1 4202560 3314 0 0 0 217 0 0 0 15 0 22 0 831071709 10814742528 294284 33554432000 1073741824 1073778376 140734168766912 18446744073709551615 237290695577 0 4 0 16800975 18446604441806338944 0 0 -1 6 0 0 0
[pid=13667/tid=13677] ppid=13665 vsize=10561272 CPUtime=2.33 cores=0,2,4,6
/proc/13667/task/13677/stat : 13677 (java) S 13665 13667 8078 0 -1 4202560 2707 0 0 0 233 0 0 0 15 0 22 0 831071709 10814742528 294284 33554432000 1073741824 1073778376 140734168766912 18446744073709551615 237290695577 0 4 0 16800975 18446604441806338944 0 0 -1 6 0 0 0
[pid=13667/tid=13678] ppid=13665 vsize=10561272 CPUtime=211.31 cores=0,2,4,6
/proc/13667/task/13678/stat : 13678 (java) S 13665 13667 8078 0 -1 4202560 116819 0 0 0 21116 15 0 0 15 0 22 0 831071710 10814742528 294284 33554432000 1073741824 1073778376 140734168766912 18446744073709551615 237290696192 0 0 0 16800975 18446604441806338944 0 0 -1 0 0 0 0
[pid=13667/tid=13679] ppid=13665 vsize=10561272 CPUtime=0 cores=0,2,4,6
/proc/13667/task/13679/stat : 13679 (java) S 13665 13667 8078 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 831071710 10814742528 294284 33554432000 1073741824 1073778376 140734168766912 18446744073709551615 237290695577 0 4 0 16800975 18446604441806338944 0 0 -1 6 0 0 0
[pid=13667/tid=13680] ppid=13665 vsize=10561272 CPUtime=0 cores=0,2,4,6
/proc/13667/task/13680/stat : 13680 (java) S 13665 13667 8078 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 831071710 10814742528 294284 33554432000 1073741824 1073778376 140734168766912 18446744073709551615 237290695577 0 4 0 16800975 18446604441806338944 0 0 -1 6 0 0 0
[pid=13667/tid=13681] ppid=13665 vsize=10561272 CPUtime=0 cores=0,2,4,6
/proc/13667/task/13681/stat : 13681 (java) S 13665 13667 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831071712 10814742528 294284 33554432000 1073741824 1073778376 140734168766912 18446744073709551615 237290703281 0 4 0 16800975 18446604441806338944 0 0 -1 2 0 0 0
[pid=13667/tid=13682] ppid=13665 vsize=10561272 CPUtime=1.59 cores=0,2,4,6
/proc/13667/task/13682/stat : 13682 (java) S 13665 13667 8078 0 -1 4202560 6797 0 0 0 158 1 0 0 15 0 22 0 831071712 10814742528 294284 33554432000 1073741824 1073778376 140734168766912 18446744073709551615 237290695577 0 4 0 16800975 18446604441806338944 0 0 -1 6 0 0 0
[pid=13667/tid=13683] ppid=13665 vsize=10561272 CPUtime=1.2 cores=0,2,4,6
/proc/13667/task/13683/stat : 13683 (java) S 13665 13667 8078 0 -1 4202560 6144 0 0 0 119 1 0 0 15 0 22 0 831071712 10814742528 294284 33554432000 1073741824 1073778376 140734168766912 18446744073709551615 237290695577 0 4 0 16800975 18446604441806338944 0 0 -1 2 0 0 0
[pid=13667/tid=13684] ppid=13665 vsize=10561272 CPUtime=0 cores=0,2,4,6
/proc/13667/task/13684/stat : 13684 (java) S 13665 13667 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831071712 10814742528 294284 33554432000 1073741824 1073778376 140734168766912 18446744073709551615 237290695577 0 4 0 16800975 18446604441806338944 0 0 -1 2 0 0 0
[pid=13667/tid=13685] ppid=13665 vsize=10561272 CPUtime=0 cores=0,2,4,6
/proc/13667/task/13685/stat : 13685 (java) S 13665 13667 8078 0 -1 4202560 59 0 0 0 0 0 0 0 15 0 22 0 831071712 10814742528 294284 33554432000 1073741824 1073778376 140734168766912 18446744073709551615 237290696192 0 4 0 16800975 18446604441806338944 0 0 -1 2 0 0 0
[pid=13667/tid=13802] ppid=13665 vsize=10561272 CPUtime=0 cores=0,2,4,6
/proc/13667/task/13802/stat : 13802 (java) S 13665 13667 8078 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 831072130 10814742528 294284 33554432000 1073741824 1073778376 140734168766912 18446744073709551615 237290696192 0 4 0 16800975 18446604441806338944 0 0 -1 2 0 0 0
[pid=13667/tid=13844] ppid=13665 vsize=10561272 CPUtime=269.89 cores=0,2,4,6
/proc/13667/task/13844/stat : 13844 (java) R 13665 13667 8078 0 -1 4202560 1 0 0 0 26989 0 0 0 19 0 22 0 831134103 10814742528 294284 33554432000 1073741824 1073778376 140734168766912 18446744073709551615 46912506183278 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=13667/tid=13845] ppid=13665 vsize=10561272 CPUtime=269.89 cores=0,2,4,6
/proc/13667/task/13845/stat : 13845 (java) R 13665 13667 8078 0 -1 4202560 3167 0 0 0 26989 0 0 0 19 0 22 0 831134103 10814742528 294284 33554432000 1073741824 1073778376 140734168766912 18446744073709551615 46912506140203 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=13667/tid=13846] ppid=13665 vsize=10561272 CPUtime=0 cores=0,2,4,6
/proc/13667/task/13846/stat : 13846 (java) S 13665 13667 8078 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 831134103 10814742528 294284 33554432000 1073741824 1073778376 140734168766912 18446744073709551615 237290696192 0 4 0 16800975 18446604441806338944 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1797.68
Current children cumulated vsize (KiB) 10561272



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1003.5 s]
/proc/loadavg: 1.68 1.77 2.34 3/416 13856
/proc/meminfo: memFree=28834436/32950904 swapFree=56615552/67111528
[pid=13667] ppid=13665 vsize=10561272 CPUtime=1800.1 cores=0,2,4,6
/proc/13667/stat : 13667 (java) S 13665 13667 8078 0 -1 4202496 299858 0 1 0 179965 45 0 0 21 0 22 0 831071706 10814742528 294284 33554432000 1073741824 1073778376 140734168766912 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/13667/statm: 2640318 294284 2272 9 0 2631052 0
[pid=13667/tid=13668] ppid=13665 vsize=10561272 CPUtime=0.7 cores=0,2,4,6
/proc/13667/task/13668/stat : 13668 (java) S 13665 13667 8078 0 -1 4202560 21427 0 1 0 68 2 0 0 15 0 22 0 831071707 10814742528 294284 33554432000 1073741824 1073778376 140734168766912 18446744073709551615 237290696192 0 4 0 16800975 18446604441806338944 0 0 -1 4 0 0 0
[pid=13667/tid=13670] ppid=13665 vsize=10561272 CPUtime=2.38 cores=0,2,4,6
/proc/13667/task/13670/stat : 13670 (java) S 13665 13667 8078 0 -1 4202560 2064 0 0 0 238 0 0 0 16 0 22 0 831071709 10814742528 294284 33554432000 1073741824 1073778376 140734168766912 18446744073709551615 237290695577 0 4 0 16800975 18446604441806338944 0 0 -1 2 0 0 0
[pid=13667/tid=13671] ppid=13665 vsize=10561272 CPUtime=2.09 cores=0,2,4,6
/proc/13667/task/13671/stat : 13671 (java) S 13665 13667 8078 0 -1 4202560 3326 0 0 0 209 0 0 0 16 0 22 0 831071709 10814742528 294284 33554432000 1073741824 1073778376 140734168766912 18446744073709551615 237290695577 0 4 0 16800975 18446604441806338944 0 0 -1 4 0 0 0
[pid=13667/tid=13672] ppid=13665 vsize=10561272 CPUtime=2.23 cores=0,2,4,6
/proc/13667/task/13672/stat : 13672 (java) S 13665 13667 8078 0 -1 4202560 2116 0 0 0 223 0 0 0 16 0 22 0 831071709 10814742528 294284 33554432000 1073741824 1073778376 140734168766912 18446744073709551615 237290695577 0 4 0 16800975 18446604441806338944 0 0 -1 4 0 0 0
[pid=13667/tid=13673] ppid=13665 vsize=10561272 CPUtime=2.04 cores=0,2,4,6
/proc/13667/task/13673/stat : 13673 (java) S 13665 13667 8078 0 -1 4202560 477 0 0 0 204 0 0 0 15 0 22 0 831071709 10814742528 294284 33554432000 1073741824 1073778376 140734168766912 18446744073709551615 237290695577 0 4 0 16800975 18446604441806338944 0 0 -1 6 0 0 0
[pid=13667/tid=13674] ppid=13665 vsize=10561272 CPUtime=2.02 cores=0,2,4,6
/proc/13667/task/13674/stat : 13674 (java) S 13665 13667 8078 0 -1 4202560 1031 0 0 0 202 0 0 0 16 0 22 0 831071709 10814742528 294284 33554432000 1073741824 1073778376 140734168766912 18446744073709551615 237290695577 0 4 0 16800975 18446604441806338944 0 0 -1 6 0 0 0
[pid=13667/tid=13675] ppid=13665 vsize=10561272 CPUtime=1.99 cores=0,2,4,6
/proc/13667/task/13675/stat : 13675 (java) S 13665 13667 8078 0 -1 4202560 1683 0 0 0 199 0 0 0 15 0 22 0 831071709 10814742528 294284 33554432000 1073741824 1073778376 140734168766912 18446744073709551615 237290695577 0 4 0 16800975 18446604441806338944 0 0 -1 2 0 0 0
[pid=13667/tid=13676] ppid=13665 vsize=10561272 CPUtime=2.17 cores=0,2,4,6
/proc/13667/task/13676/stat : 13676 (java) S 13665 13667 8078 0 -1 4202560 3314 0 0 0 217 0 0 0 15 0 22 0 831071709 10814742528 294284 33554432000 1073741824 1073778376 140734168766912 18446744073709551615 237290695577 0 4 0 16800975 18446604441806338944 0 0 -1 6 0 0 0
[pid=13667/tid=13677] ppid=13665 vsize=10561272 CPUtime=2.33 cores=0,2,4,6
/proc/13667/task/13677/stat : 13677 (java) S 13665 13667 8078 0 -1 4202560 2707 0 0 0 233 0 0 0 15 0 22 0 831071709 10814742528 294284 33554432000 1073741824 1073778376 140734168766912 18446744073709551615 237290695577 0 4 0 16800975 18446604441806338944 0 0 -1 6 0 0 0
[pid=13667/tid=13678] ppid=13665 vsize=10561272 CPUtime=211.31 cores=0,2,4,6
/proc/13667/task/13678/stat : 13678 (java) S 13665 13667 8078 0 -1 4202560 116819 0 0 0 21116 15 0 0 15 0 22 0 831071710 10814742528 294284 33554432000 1073741824 1073778376 140734168766912 18446744073709551615 237290696192 0 0 0 16800975 18446604441806338944 0 0 -1 0 0 0 0
[pid=13667/tid=13679] ppid=13665 vsize=10561272 CPUtime=0 cores=0,2,4,6
/proc/13667/task/13679/stat : 13679 (java) S 13665 13667 8078 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 831071710 10814742528 294284 33554432000 1073741824 1073778376 140734168766912 18446744073709551615 237290695577 0 4 0 16800975 18446604441806338944 0 0 -1 6 0 0 0
[pid=13667/tid=13680] ppid=13665 vsize=10561272 CPUtime=0 cores=0,2,4,6
/proc/13667/task/13680/stat : 13680 (java) S 13665 13667 8078 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 831071710 10814742528 294284 33554432000 1073741824 1073778376 140734168766912 18446744073709551615 237290695577 0 4 0 16800975 18446604441806338944 0 0 -1 6 0 0 0
[pid=13667/tid=13681] ppid=13665 vsize=10561272 CPUtime=0 cores=0,2,4,6
/proc/13667/task/13681/stat : 13681 (java) S 13665 13667 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831071712 10814742528 294284 33554432000 1073741824 1073778376 140734168766912 18446744073709551615 237290703281 0 4 0 16800975 18446604441806338944 0 0 -1 2 0 0 0
[pid=13667/tid=13682] ppid=13665 vsize=10561272 CPUtime=1.59 cores=0,2,4,6
/proc/13667/task/13682/stat : 13682 (java) S 13665 13667 8078 0 -1 4202560 6797 0 0 0 158 1 0 0 15 0 22 0 831071712 10814742528 294284 33554432000 1073741824 1073778376 140734168766912 18446744073709551615 237290695577 0 4 0 16800975 18446604441806338944 0 0 -1 6 0 0 0
[pid=13667/tid=13683] ppid=13665 vsize=10561272 CPUtime=1.2 cores=0,2,4,6
/proc/13667/task/13683/stat : 13683 (java) S 13665 13667 8078 0 -1 4202560 6144 0 0 0 119 1 0 0 15 0 22 0 831071712 10814742528 294284 33554432000 1073741824 1073778376 140734168766912 18446744073709551615 237290695577 0 4 0 16800975 18446604441806338944 0 0 -1 2 0 0 0
[pid=13667/tid=13684] ppid=13665 vsize=10561272 CPUtime=0 cores=0,2,4,6
/proc/13667/task/13684/stat : 13684 (java) S 13665 13667 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831071712 10814742528 294284 33554432000 1073741824 1073778376 140734168766912 18446744073709551615 237290695577 0 4 0 16800975 18446604441806338944 0 0 -1 2 0 0 0
[pid=13667/tid=13685] ppid=13665 vsize=10561272 CPUtime=0 cores=0,2,4,6
/proc/13667/task/13685/stat : 13685 (java) S 13665 13667 8078 0 -1 4202560 59 0 0 0 0 0 0 0 15 0 22 0 831071712 10814742528 294284 33554432000 1073741824 1073778376 140734168766912 18446744073709551615 237290696192 0 4 0 16800975 18446604441806338944 0 0 -1 2 0 0 0
[pid=13667/tid=13802] ppid=13665 vsize=10561272 CPUtime=0 cores=0,2,4,6
/proc/13667/task/13802/stat : 13802 (java) S 13665 13667 8078 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 831072130 10814742528 294284 33554432000 1073741824 1073778376 140734168766912 18446744073709551615 237290696192 0 4 0 16800975 18446604441806338944 0 0 -1 2 0 0 0
[pid=13667/tid=13844] ppid=13665 vsize=10561272 CPUtime=271.1 cores=0,2,4,6
/proc/13667/task/13844/stat : 13844 (java) R 13665 13667 8078 0 -1 4202560 1 0 0 0 27110 0 0 0 22 0 22 0 831134103 10814742528 294284 33554432000 1073741824 1073778376 140734168766912 18446744073709551615 46912506205416 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=13667/tid=13845] ppid=13665 vsize=10561272 CPUtime=271.1 cores=0,2,4,6
/proc/13667/task/13845/stat : 13845 (java) R 13665 13667 8078 0 -1 4202560 3167 0 0 0 27110 0 0 0 22 0 22 0 831134103 10814742528 294284 33554432000 1073741824 1073778376 140734168766912 18446744073709551615 46912506140208 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=13667/tid=13846] ppid=13665 vsize=10561272 CPUtime=0 cores=0,2,4,6
/proc/13667/task/13846/stat : 13846 (java) S 13665 13667 8078 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 831134103 10814742528 294284 33554432000 1073741824 1073778376 140734168766912 18446744073709551615 237290696192 0 4 0 16800975 18446604441806338944 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 10561272

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

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

[startup+1003.5 s]
/proc/loadavg: 1.68 1.77 2.34 3/416 13856
/proc/meminfo: memFree=28834436/32950904 swapFree=56615552/67111528
[pid=13667] ppid=13665 vsize=10561272 CPUtime=1800.1 cores=0,2,4,6
/proc/13667/stat : 13667 (java) S 13665 13667 8078 0 -1 4202496 299858 0 1 0 179965 45 0 0 21 0 22 0 831071706 10814742528 294284 33554432000 1073741824 1073778376 140734168766912 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/13667/statm: 2640318 294284 2272 9 0 2631052 0
[pid=13667/tid=13668] ppid=13665 vsize=10561272 CPUtime=0.7 cores=0,2,4,6
/proc/13667/task/13668/stat : 13668 (java) S 13665 13667 8078 0 -1 4202560 21427 0 1 0 68 2 0 0 15 0 22 0 831071707 10814742528 294284 33554432000 1073741824 1073778376 140734168766912 18446744073709551615 237290696192 0 4 0 16800975 18446604441806338944 0 0 -1 4 0 0 0
[pid=13667/tid=13670] ppid=13665 vsize=10561272 CPUtime=2.38 cores=0,2,4,6
/proc/13667/task/13670/stat : 13670 (java) S 13665 13667 8078 0 -1 4202560 2064 0 0 0 238 0 0 0 16 0 22 0 831071709 10814742528 294284 33554432000 1073741824 1073778376 140734168766912 18446744073709551615 237290695577 0 4 0 16800975 18446604441806338944 0 0 -1 2 0 0 0
[pid=13667/tid=13671] ppid=13665 vsize=10561272 CPUtime=2.09 cores=0,2,4,6
/proc/13667/task/13671/stat : 13671 (java) S 13665 13667 8078 0 -1 4202560 3326 0 0 0 209 0 0 0 16 0 22 0 831071709 10814742528 294284 33554432000 1073741824 1073778376 140734168766912 18446744073709551615 237290695577 0 4 0 16800975 18446604441806338944 0 0 -1 4 0 0 0
[pid=13667/tid=13672] ppid=13665 vsize=10561272 CPUtime=2.23 cores=0,2,4,6
/proc/13667/task/13672/stat : 13672 (java) S 13665 13667 8078 0 -1 4202560 2116 0 0 0 223 0 0 0 16 0 22 0 831071709 10814742528 294284 33554432000 1073741824 1073778376 140734168766912 18446744073709551615 237290695577 0 4 0 16800975 18446604441806338944 0 0 -1 4 0 0 0
[pid=13667/tid=13673] ppid=13665 vsize=10561272 CPUtime=2.04 cores=0,2,4,6
/proc/13667/task/13673/stat : 13673 (java) S 13665 13667 8078 0 -1 4202560 477 0 0 0 204 0 0 0 15 0 22 0 831071709 10814742528 294284 33554432000 1073741824 1073778376 140734168766912 18446744073709551615 237290695577 0 4 0 16800975 18446604441806338944 0 0 -1 6 0 0 0
[pid=13667/tid=13674] ppid=13665 vsize=10561272 CPUtime=2.02 cores=0,2,4,6
/proc/13667/task/13674/stat : 13674 (java) S 13665 13667 8078 0 -1 4202560 1031 0 0 0 202 0 0 0 16 0 22 0 831071709 10814742528 294284 33554432000 1073741824 1073778376 140734168766912 18446744073709551615 237290695577 0 4 0 16800975 18446604441806338944 0 0 -1 6 0 0 0
[pid=13667/tid=13675] ppid=13665 vsize=10561272 CPUtime=1.99 cores=0,2,4,6
/proc/13667/task/13675/stat : 13675 (java) S 13665 13667 8078 0 -1 4202560 1683 0 0 0 199 0 0 0 15 0 22 0 831071709 10814742528 294284 33554432000 1073741824 1073778376 140734168766912 18446744073709551615 237290695577 0 4 0 16800975 18446604441806338944 0 0 -1 2 0 0 0
[pid=13667/tid=13676] ppid=13665 vsize=10561272 CPUtime=2.17 cores=0,2,4,6
/proc/13667/task/13676/stat : 13676 (java) S 13665 13667 8078 0 -1 4202560 3314 0 0 0 217 0 0 0 15 0 22 0 831071709 10814742528 294284 33554432000 1073741824 1073778376 140734168766912 18446744073709551615 237290695577 0 4 0 16800975 18446604441806338944 0 0 -1 6 0 0 0
[pid=13667/tid=13677] ppid=13665 vsize=10561272 CPUtime=2.33 cores=0,2,4,6
/proc/13667/task/13677/stat : 13677 (java) S 13665 13667 8078 0 -1 4202560 2707 0 0 0 233 0 0 0 15 0 22 0 831071709 10814742528 294284 33554432000 1073741824 1073778376 140734168766912 18446744073709551615 237290695577 0 4 0 16800975 18446604441806338944 0 0 -1 6 0 0 0
[pid=13667/tid=13678] ppid=13665 vsize=10561272 CPUtime=211.31 cores=0,2,4,6
/proc/13667/task/13678/stat : 13678 (java) S 13665 13667 8078 0 -1 4202560 116819 0 0 0 21116 15 0 0 15 0 22 0 831071710 10814742528 294284 33554432000 1073741824 1073778376 140734168766912 18446744073709551615 237290696192 0 0 0 16800975 18446604441806338944 0 0 -1 0 0 0 0
[pid=13667/tid=13679] ppid=13665 vsize=10561272 CPUtime=0 cores=0,2,4,6
/proc/13667/task/13679/stat : 13679 (java) S 13665 13667 8078 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 831071710 10814742528 294284 33554432000 1073741824 1073778376 140734168766912 18446744073709551615 237290695577 0 4 0 16800975 18446604441806338944 0 0 -1 6 0 0 0
[pid=13667/tid=13680] ppid=13665 vsize=10561272 CPUtime=0 cores=0,2,4,6
/proc/13667/task/13680/stat : 13680 (java) S 13665 13667 8078 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 831071710 10814742528 294284 33554432000 1073741824 1073778376 140734168766912 18446744073709551615 237290695577 0 4 0 16800975 18446604441806338944 0 0 -1 6 0 0 0
[pid=13667/tid=13681] ppid=13665 vsize=10561272 CPUtime=0 cores=0,2,4,6
/proc/13667/task/13681/stat : 13681 (java) S 13665 13667 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831071712 10814742528 294284 33554432000 1073741824 1073778376 140734168766912 18446744073709551615 237290703281 0 4 0 16800975 18446604441806338944 0 0 -1 2 0 0 0
[pid=13667/tid=13682] ppid=13665 vsize=10561272 CPUtime=1.59 cores=0,2,4,6
/proc/13667/task/13682/stat : 13682 (java) S 13665 13667 8078 0 -1 4202560 6797 0 0 0 158 1 0 0 15 0 22 0 831071712 10814742528 294284 33554432000 1073741824 1073778376 140734168766912 18446744073709551615 237290695577 0 4 0 16800975 18446604441806338944 0 0 -1 6 0 0 0
[pid=13667/tid=13683] ppid=13665 vsize=10561272 CPUtime=1.2 cores=0,2,4,6
/proc/13667/task/13683/stat : 13683 (java) S 13665 13667 8078 0 -1 4202560 6144 0 0 0 119 1 0 0 15 0 22 0 831071712 10814742528 294284 33554432000 1073741824 1073778376 140734168766912 18446744073709551615 237290695577 0 4 0 16800975 18446604441806338944 0 0 -1 2 0 0 0
[pid=13667/tid=13684] ppid=13665 vsize=10561272 CPUtime=0 cores=0,2,4,6
/proc/13667/task/13684/stat : 13684 (java) S 13665 13667 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831071712 10814742528 294284 33554432000 1073741824 1073778376 140734168766912 18446744073709551615 237290695577 0 4 0 16800975 18446604441806338944 0 0 -1 2 0 0 0
[pid=13667/tid=13685] ppid=13665 vsize=10561272 CPUtime=0 cores=0,2,4,6
/proc/13667/task/13685/stat : 13685 (java) S 13665 13667 8078 0 -1 4202560 59 0 0 0 0 0 0 0 15 0 22 0 831071712 10814742528 294284 33554432000 1073741824 1073778376 140734168766912 18446744073709551615 237290696192 0 4 0 16800975 18446604441806338944 0 0 -1 2 0 0 0
[pid=13667/tid=13802] ppid=13665 vsize=10561272 CPUtime=0 cores=0,2,4,6
/proc/13667/task/13802/stat : 13802 (java) S 13665 13667 8078 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 831072130 10814742528 294284 33554432000 1073741824 1073778376 140734168766912 18446744073709551615 237290696192 0 4 0 16800975 18446604441806338944 0 0 -1 2 0 0 0
[pid=13667/tid=13844] ppid=13665 vsize=10561272 CPUtime=271.1 cores=0,2,4,6
/proc/13667/task/13844/stat : 13844 (java) R 13665 13667 8078 0 -1 4202560 1 0 0 0 27110 0 0 0 22 0 22 0 831134103 10814742528 294284 33554432000 1073741824 1073778376 140734168766912 18446744073709551615 46912506205416 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=13667/tid=13845] ppid=13665 vsize=10561272 CPUtime=271.1 cores=0,2,4,6
/proc/13667/task/13845/stat : 13845 (java) R 13665 13667 8078 0 -1 4202560 3167 0 0 0 27110 0 0 0 22 0 22 0 831134103 10814742528 294284 33554432000 1073741824 1073778376 140734168766912 18446744073709551615 46912506140208 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=13667/tid=13846] ppid=13665 vsize=10561272 CPUtime=0 cores=0,2,4,6
/proc/13667/task/13846/stat : 13846 (java) S 13665 13667 8078 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 831134103 10814742528 294284 33554432000 1073741824 1073778376 140734168766912 18446744073709551615 237290696192 0 4 0 16800975 18446604441806338944 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 10561272

Child status: 143
Real time (s): 1003.58
CPU time (s): 1800.21
CPU user time (s): 1799.71
CPU system time (s): 0.500923
CPU usage (%): 179.379
Max. virtual memory (cumulated for all children) (KiB): 10561272

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.71
system time used= 0.500923
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 299886
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= 31986
involuntary context switches= 22979

runsolver used 4.10438 second user time and 8.74767 second system time

The end

Launcher Data 

Begin job on node121 at 2011-06-04 15:38:40
IDJOB=3453978
IDBENCH=48182
IDSOLVER=1950
FILE ID=node121/3453978-1307194719
RUNJOBID= node121-1307194719-13657
PBS_JOBID= 13508819
Free space on /tmp= 73960 MiB

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

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

MD5SUM BENCH= 40141f2f083fa5e1f8a41aa043de0b1b
RANDOM SEED=712669050

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

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


/proc/meminfo:
MemTotal:     32950904 kB
MemFree:      30008476 kB
Buffers:        331896 kB
Cached:         505776 kB
SwapCached:       9896 kB
Active:        2225476 kB
Inactive:       456320 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950904 kB
LowFree:      30008476 kB
SwapTotal:    67111528 kB
SwapFree:     56615552 kB
Dirty:             444 kB
Writeback:           0 kB
AnonPages:     1841888 kB
Mapped:          12708 kB
Slab:           142308 kB
PageTables:      51272 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586980 kB
Committed_AS: 83504084 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= 73956 MiB
End job on node121 at 2011-06-04 15:55:25