Trace number 3688170

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
SAT 4j PB RES // CP 2.3.2 SnapshotSAT (TO)103 1800.05 1047.26

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-m4.r.opb
MD5SUMf69ecb5497caa964fbd82b9dc6698ac3
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark90
Best CPU time to get the best result obtained on this benchmark0.142977
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 90
Optimality of the best value was proved YES
Number of variables652
Total number of constraints759
Number of constraints which are clauses759
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint46
Number of terms in the objective function 652
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 652
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 652
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.01/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.01/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.01/0.07	c See www.sat4j.org for details.
0.01/0.08	c version 2.3.2.v20120418
0.01/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.01/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.01/0.08	c java.vm.version	19.1-b02
0.01/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.01/0.08	c sun.arch.data.model	64
0.01/0.08	c java.version		1.6.0_24
0.01/0.08	c os.name		Linux
0.01/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.01/0.08	c os.arch		amd64
0.01/0.08	c Free memory 		501472288
0.01/0.08	c Max memory 		7480803328
0.01/0.08	c Total memory 		504102912
0.01/0.08	c Number of processors 	8
0.11/0.10	c Pseudo Boolean Optimization by upper bound
0.11/0.10	c ManyCore solver with 2 solvers running in parallel
0.11/0.10	c --- Begin Solver configuration ---
0.11/0.10	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@63415de6
0.11/0.10	c Learn all clauses as in MiniSAT
0.11/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.10	c Expensive reason simplification
0.11/0.10	c Armin Biere (Picosat) restarts strategy
0.11/0.10	c Glucose learned constraints deletion strategy
0.11/0.10	c timeout=2147483s
0.11/0.10	c DB Simplification allowed=false
0.11/0.10	c c --- End Solver configuration ---
0.11/0.10	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.11/0.10	c --- Begin Solver configuration ---
0.11/0.10	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4e3eca90
0.11/0.10	c Learn all clauses as in MiniSAT
0.11/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.10	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.11/0.10	c No reason simplification
0.11/0.10	c Armin Biere (Picosat) restarts strategy
0.11/0.10	c Glucose learned constraints deletion strategy
0.11/0.10	c timeout=2147483s
0.11/0.10	c DB Simplification allowed=false
0.11/0.10	c c --- End Solver configuration ---
0.11/0.10	c solving HOME/instance-3688170-1337875766.opb
0.11/0.10	c reading problem ... 
0.29/0.26	c ... done. Wall clock time 0.161s.
0.29/0.26	c declared #vars     652
0.29/0.26	c #constraints  759
0.29/0.26	c constraints type 
0.29/0.27	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 743
0.29/0.27	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 16
0.29/0.27	c 759 constraints processed.
0.29/0.27	c constraints type 
0.29/0.27	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 16
0.29/0.27	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 743
0.29/0.27	c 759 constraints processed.
0.29/0.27	c objective function length is 652 literals
0.29/0.28	c  And the winner is solver0
0.58/0.77	c SATISFIABLE
0.58/0.77	c OPTIMIZING...
0.58/0.77	c Got one! Elapsed wall clock time (in seconds):0.664
0.58/0.77	o 116
0.58/0.79	c  And the winner is solver0
0.78/1.27	c Got one! Elapsed wall clock time (in seconds):1.17
0.78/1.27	o 115
2.75/1.84	c cleaning 2503 clauses out of 5011 with flag 5000/5011
3.41/2.15	c  And the winner is solver1
3.51/2.28	c Got one! Elapsed wall clock time (in seconds):2.174
3.51/2.28	o 114
3.79/2.44	c cleaning 3943 clauses out of 7885 with flag 2000/10388
4.60/2.87	c  And the winner is solver1
4.76/3.28	c Got one! Elapsed wall clock time (in seconds):3.18
4.76/3.28	o 113
5.44/3.67	c cleaning 7206 clauses out of 14411 with flag 5001/20857
6.64/4.21	c cleaning 6600 clauses out of 13204 with flag 11000/26856
7.82/4.84	c cleaning 6802 clauses out of 13605 with flag 18001/33857
9.17/5.59	c cleaning 7400 clauses out of 14803 with flag 26001/41857
10.77/6.39	c cleaning 8200 clauses out of 16403 with flag 35001/50857
11.74/6.81	c  And the winner is solver1
11.75/7.30	c Got one! Elapsed wall clock time (in seconds):7.193
11.75/7.30	o 112
11.75/7.38	c cleaning 6734 clauses out of 13468 with flag 1001/56122
12.83/7.99	c cleaning 6367 clauses out of 12733 with flag 7000/62121
14.37/8.70	c cleaning 6682 clauses out of 13366 with flag 14000/69121
15.87/9.57	c cleaning 7342 clauses out of 14685 with flag 22001/77122
17.86/10.55	c cleaning 8170 clauses out of 16342 with flag 31000/86121
19.91/11.66	c cleaning 9086 clauses out of 18173 with flag 41001/96122
21.62/12.50	c  And the winner is solver1
21.62/12.82	c Got one! Elapsed wall clock time (in seconds):12.72
21.62/12.82	o 111
22.40/13.27	c cleaning 11079 clauses out of 22163 with flag 5002/109198
23.67/13.94	c cleaning 8540 clauses out of 17082 with flag 11000/115196
25.13/14.70	c cleaning 7764 clauses out of 15543 with flag 18001/122197
26.50/15.56	c cleaning 7883 clauses out of 15778 with flag 26000/130196
26.95/15.87	c  And the winner is solver1
27.09/16.23	c Got one! Elapsed wall clock time (in seconds):16.128
27.09/16.23	o 110
27.63/16.54	c cleaning 6868 clauses out of 13746 with flag 4000/136047
28.66/17.16	c cleaning 6439 clauses out of 12879 with flag 10001/142048
29.89/17.86	c cleaning 6712 clauses out of 13440 with flag 17001/149048
31.46/18.73	c cleaning 7363 clauses out of 14728 with flag 25001/157048
33.08/19.61	c cleaning 8182 clauses out of 16364 with flag 34000/166047
34.91/20.60	c cleaning 9090 clauses out of 18182 with flag 44000/176047
36.95/21.78	c cleaning 10046 clauses out of 20094 with flag 55002/187049
39.49/23.19	c cleaning 11017 clauses out of 22046 with flag 67000/199047
42.10/24.59	c cleaning 12006 clauses out of 24029 with flag 80000/212047
45.14/26.16	c cleaning 13008 clauses out of 26023 with flag 94000/226047
46.74/27.06	c  And the winner is solver1
46.74/27.08	c Got one! Elapsed wall clock time (in seconds):26.976
46.74/27.08	o 109
47.47/27.46	c cleaning 12823 clauses out of 25647 with flag 5000/238679
48.71/28.29	c cleaning 9410 clauses out of 18826 with flag 11002/244681
50.08/29.07	c cleaning 8202 clauses out of 16414 with flag 18000/251679
51.65/29.93	c cleaning 8105 clauses out of 16213 with flag 26001/259680
53.23/30.86	c cleaning 8552 clauses out of 17107 with flag 35000/268679
55.24/32.00	c cleaning 9273 clauses out of 18555 with flag 45000/278679
57.19/33.17	c cleaning 10138 clauses out of 20282 with flag 56000/289679
59.36/34.40	c cleaning 11072 clauses out of 22144 with flag 68000/301679
61.91/35.70	c cleaning 12032 clauses out of 24077 with flag 81005/314684
64.52/37.28	c cleaning 13020 clauses out of 26042 with flag 95002/328681
67.45/38.86	c cleaning 14001 clauses out of 28020 with flag 110000/343679
70.85/40.63	c cleaning 15010 clauses out of 30019 with flag 126000/359679
74.13/42.46	c cleaning 16005 clauses out of 32009 with flag 143000/376679
77.89/44.53	c cleaning 17002 clauses out of 34004 with flag 161000/394679
81.58/46.58	c  And the winner is solver1
81.74/46.62	c cleaning 17995 clauses out of 36002 with flag 180000/413679
82.08/46.99	c Got one! Elapsed wall clock time (in seconds):46.885
82.08/46.99	o 108
82.75/47.39	c cleaning 11503 clauses out of 23008 with flag 5001/418680
84.02/48.19	c cleaning 8748 clauses out of 17504 with flag 11000/424679
85.75/49.28	c cleaning 7874 clauses out of 15756 with flag 18000/431679
87.42/50.27	c cleaning 7936 clauses out of 15882 with flag 26000/439679
89.31/51.34	c cleaning 8473 clauses out of 16946 with flag 35000/448679
91.17/52.47	c cleaning 9239 clauses out of 18477 with flag 45004/458683
93.48/53.88	c cleaning 10117 clauses out of 20235 with flag 56001/469680
95.91/55.21	c cleaning 11056 clauses out of 22117 with flag 68000/481679
98.38/56.62	c cleaning 12025 clauses out of 24065 with flag 81004/494683
101.02/58.11	c cleaning 13017 clauses out of 26037 with flag 95001/508680
104.25/60.03	c cleaning 14007 clauses out of 28019 with flag 110000/523679
107.30/61.77	c cleaning 14998 clauses out of 30012 with flag 126000/539679
110.53/63.58	c cleaning 16005 clauses out of 32015 with flag 143001/556680
114.15/65.55	c cleaning 17001 clauses out of 34009 with flag 161000/574679
118.51/68.02	c cleaning 17994 clauses out of 36009 with flag 180001/593680
120.91/69.44	c  And the winner is solver1
120.91/69.47	c Got one! Elapsed wall clock time (in seconds):69.363
120.91/69.47	o 107
121.77/69.91	c cleaning 17639 clauses out of 35280 with flag 5000/610945
123.17/70.84	c cleaning 11818 clauses out of 23641 with flag 11000/616945
124.75/71.88	c cleaning 9407 clauses out of 18824 with flag 18001/623946
126.89/73.29	c cleaning 8703 clauses out of 17417 with flag 26001/631946
129.06/74.50	c cleaning 8853 clauses out of 17713 with flag 35000/640945
131.03/75.75	c cleaning 9424 clauses out of 18860 with flag 45000/650945
133.40/77.12	c cleaning 10216 clauses out of 20437 with flag 56001/661946
136.31/78.94	c cleaning 11108 clauses out of 22220 with flag 68000/673945
139.27/80.66	c cleaning 12056 clauses out of 24113 with flag 81001/686946
142.43/82.48	c cleaning 13027 clauses out of 26057 with flag 95001/700946
145.94/84.45	c cleaning 14015 clauses out of 28029 with flag 110000/715945
150.38/87.00	c cleaning 15007 clauses out of 30015 with flag 126001/731946
154.75/89.44	c cleaning 16004 clauses out of 32008 with flag 143001/748946
159.66/92.14	c cleaning 16996 clauses out of 34003 with flag 161000/766945
164.19/94.66	c cleaning 18004 clauses out of 36007 with flag 180000/785945
169.35/97.65	c cleaning 19002 clauses out of 38003 with flag 200000/805945
173.63/100.02	c cleaning 20001 clauses out of 40002 with flag 221001/826946
177.89/102.44	c cleaning 20998 clauses out of 42001 with flag 243001/848946
182.54/105.01	c cleaning 21997 clauses out of 44002 with flag 266000/871945
188.09/108.26	c cleaning 22997 clauses out of 46005 with flag 290000/895945
193.36/111.11	c cleaning 23993 clauses out of 48008 with flag 315000/920945
199.00/114.25	c cleaning 25003 clauses out of 50015 with flag 341000/946945
201.41/115.79	c  And the winner is solver1
201.45/115.90	c Got one! Elapsed wall clock time (in seconds):115.795
201.45/115.90	o 106
202.25/116.34	c cleaning 19991 clauses out of 39988 with flag 5000/961921
204.29/117.82	c cleaning 12991 clauses out of 25998 with flag 11001/967922
205.91/118.99	c cleaning 9996 clauses out of 20006 with flag 18000/974921
207.93/120.24	c cleaning 9001 clauses out of 18010 with flag 26000/982921
209.92/121.56	c cleaning 8994 clauses out of 18009 with flag 35000/991921
212.55/123.36	c cleaning 9502 clauses out of 19015 with flag 45000/1001921
214.94/124.88	c cleaning 10252 clauses out of 20513 with flag 56000/1012921
217.56/126.47	c cleaning 11126 clauses out of 22262 with flag 68001/1024922
220.52/128.26	c cleaning 12066 clauses out of 24135 with flag 81000/1037921
223.93/130.46	c cleaning 13037 clauses out of 26073 with flag 95004/1051925
227.10/132.38	c cleaning 14016 clauses out of 28032 with flag 110000/1066921
230.68/134.44	c cleaning 15006 clauses out of 30016 with flag 126000/1082921
234.24/136.58	c cleaning 16006 clauses out of 32013 with flag 143003/1099924
238.43/139.17	c cleaning 17001 clauses out of 34004 with flag 161000/1117921
242.59/141.59	c cleaning 18002 clauses out of 36004 with flag 180001/1136922
247.38/144.21	c cleaning 18998 clauses out of 38002 with flag 200001/1156922
251.77/146.77	c cleaning 19998 clauses out of 40003 with flag 221000/1177921
256.71/149.79	c cleaning 21000 clauses out of 42005 with flag 243000/1199921
261.84/152.69	c cleaning 22001 clauses out of 44007 with flag 266002/1222923
267.03/155.66	c cleaning 22987 clauses out of 46005 with flag 290001/1246922
272.79/158.99	c cleaning 24008 clauses out of 48021 with flag 315004/1271925
275.53/160.93	c cleaning 0 clauses out of 7639 with flag 0/7639
280.08/163.44	c cleaning 25000 clauses out of 50009 with flag 341000/1297921
286.12/166.87	c cleaning 25999 clauses out of 52009 with flag 368000/1324921
294.72/172.24	c cleaning 26999 clauses out of 54010 with flag 396000/1352921
302.37/176.31	c cleaning 28005 clauses out of 56012 with flag 425001/1381922
309.53/180.26	c cleaning 28997 clauses out of 58007 with flag 455001/1411922
316.79/184.28	c cleaning 29999 clauses out of 60009 with flag 486000/1442921
325.94/189.38	c cleaning 31005 clauses out of 62010 with flag 518000/1474921
328.57/191.08	c  And the winner is solver1
328.49/191.22	c Got one! Elapsed wall clock time (in seconds):191.115
328.49/191.22	o 105
329.44/191.70	c cleaning 22473 clauses out of 44946 with flag 5001/1488862
331.31/193.03	c cleaning 14234 clauses out of 28472 with flag 11000/1494861
333.33/194.41	c cleaning 10614 clauses out of 21238 with flag 18000/1501861
335.90/196.38	c cleaning 9310 clauses out of 18624 with flag 26000/1509861
338.54/198.02	c cleaning 9150 clauses out of 18314 with flag 35000/1518861
341.13/199.70	c cleaning 9583 clauses out of 19166 with flag 45002/1528863
343.96/201.54	c cleaning 10291 clauses out of 20582 with flag 56001/1539862
347.33/203.88	c cleaning 11139 clauses out of 22291 with flag 68001/1551862
350.39/205.75	c cleaning 12072 clauses out of 24152 with flag 81001/1564862
353.59/207.72	c cleaning 13040 clauses out of 26080 with flag 95001/1578862
356.81/209.76	c cleaning 14016 clauses out of 28039 with flag 110000/1593861
360.95/212.49	c cleaning 15012 clauses out of 30023 with flag 126000/1609861
364.76/214.78	c cleaning 16001 clauses out of 32011 with flag 143000/1626861
368.78/217.12	c cleaning 17004 clauses out of 34013 with flag 161003/1644864
372.98/219.61	c cleaning 17999 clauses out of 36007 with flag 180001/1663862
377.69/222.64	c cleaning 18999 clauses out of 38007 with flag 200000/1683861
382.30/225.32	c cleaning 20002 clauses out of 40008 with flag 221000/1704861
387.14/228.12	c cleaning 21005 clauses out of 42009 with flag 243003/1726864
392.32/231.10	c cleaning 21996 clauses out of 44001 with flag 266000/1749861
397.98/234.62	c cleaning 22991 clauses out of 46006 with flag 290001/1773862
403.57/237.81	c cleaning 23998 clauses out of 48014 with flag 315000/1798861
409.53/241.26	c cleaning 24998 clauses out of 50017 with flag 341001/1824862
416.06/244.91	c cleaning 26004 clauses out of 52018 with flag 368000/1851861
423.88/249.54	c cleaning 27003 clauses out of 54015 with flag 396001/1879862
430.61/253.31	c cleaning 28004 clauses out of 56012 with flag 425001/1908862
436.94/256.99	c cleaning 28997 clauses out of 58008 with flag 455001/1938862
443.45/260.62	c cleaning 30005 clauses out of 60011 with flag 486001/1969862
451.61/265.41	c cleaning 30988 clauses out of 62006 with flag 518001/2001862
460.41/270.20	c cleaning 32006 clauses out of 64019 with flag 551002/2034863
468.99/274.91	c cleaning 33003 clauses out of 66013 with flag 585002/2068863
477.27/279.59	c cleaning 33998 clauses out of 68009 with flag 620001/2103862
486.40/284.90	c cleaning 34994 clauses out of 70010 with flag 656000/2139861
496.09/290.14	c cleaning 36006 clauses out of 72016 with flag 693000/2176861
506.18/295.65	c cleaning 37002 clauses out of 74010 with flag 731000/2214861
516.45/301.22	c cleaning 37999 clauses out of 76008 with flag 770000/2253861
527.71/307.63	c cleaning 39000 clauses out of 78009 with flag 810000/2293861
538.17/313.39	c cleaning 39999 clauses out of 80011 with flag 851002/2334863
550.83/320.13	c cleaning 41003 clauses out of 82011 with flag 893001/2376862
563.28/326.89	c cleaning 42002 clauses out of 84007 with flag 936000/2419861
573.86/332.93	c cleaning 42997 clauses out of 86006 with flag 980001/2463862
584.08/338.58	c cleaning 43987 clauses out of 88008 with flag 1025000/2508861
595.06/344.59	c cleaning 45003 clauses out of 90021 with flag 1071000/2554861
606.25/350.61	c cleaning 46005 clauses out of 92018 with flag 1118000/2601861
619.37/358.07	c cleaning 47001 clauses out of 94014 with flag 1166001/2649862
631.71/364.72	c cleaning 48003 clauses out of 96013 with flag 1215001/2698862
643.70/371.25	c cleaning 49005 clauses out of 98011 with flag 1265002/2748863
656.05/377.98	c cleaning 50000 clauses out of 100004 with flag 1316000/2799861
669.72/385.66	c cleaning 50993 clauses out of 102005 with flag 1368001/2851862
681.67/392.17	c cleaning 51999 clauses out of 104013 with flag 1421002/2904863
695.58/400.35	c cleaning 53004 clauses out of 106012 with flag 1475000/2958861
710.04/408.35	c cleaning 53998 clauses out of 108010 with flag 1530002/3013863
724.35/416.09	c cleaning 55003 clauses out of 110011 with flag 1586001/3069862
739.26/424.02	c cleaning 55998 clauses out of 112008 with flag 1643001/3126862
753.36/431.68	c cleaning 57002 clauses out of 114010 with flag 1701001/3184862
769.16/440.45	c cleaning 57997 clauses out of 116007 with flag 1760000/3243861
784.69/448.76	c cleaning 59001 clauses out of 118010 with flag 1820000/3303861
800.37/457.15	c cleaning 60003 clauses out of 120009 with flag 1881000/3364861
816.66/465.82	c cleaning 60995 clauses out of 122007 with flag 1943001/3426862
833.80/475.36	c cleaning 62002 clauses out of 124012 with flag 2006001/3489862
849.85/483.94	c cleaning 62998 clauses out of 126009 with flag 2070000/3553861
865.87/492.50	c cleaning 64001 clauses out of 128012 with flag 2135001/3618862
883.31/501.84	c cleaning 64992 clauses out of 130010 with flag 2201000/3684861
900.57/511.46	c cleaning 66003 clauses out of 132019 with flag 2268001/3751862
917.33/520.43	c cleaning 67001 clauses out of 134017 with flag 2336002/3819863
934.30/529.50	c cleaning 67996 clauses out of 136014 with flag 2405000/3888861
949.90/537.94	c cleaning 69002 clauses out of 138022 with flag 2475004/3958865
966.87/547.47	c cleaning 69999 clauses out of 140016 with flag 2546000/4029861
983.17/556.22	c cleaning 71003 clauses out of 142017 with flag 2618000/4101861
1001.22/565.87	c cleaning 71999 clauses out of 144014 with flag 2691000/4174861
1017.36/574.54	c cleaning 0 clauses out of 13519 with flag 0/13519
1022.39/578.12	c cleaning 73001 clauses out of 146017 with flag 2765002/4248863
1040.92/588.00	c cleaning 74006 clauses out of 148014 with flag 2840000/4323861
1050.19/593.38	c  And the winner is solver1
1048.87/593.49	c Got one! Elapsed wall clock time (in seconds):593.389
1048.87/593.49	o 104
1050.74/594.41	c cleaning 59540 clauses out of 119082 with flag 5000/4368935
1053.57/596.52	c cleaning 32769 clauses out of 65542 with flag 11000/4374935
1057.21/599.45	c cleaning 19881 clauses out of 39773 with flag 18000/4381935
1060.07/601.57	c cleaning 13947 clauses out of 27894 with flag 26002/4389937
1063.11/603.72	c cleaning 11467 clauses out of 22945 with flag 35000/4398935
1066.18/605.96	c cleaning 10737 clauses out of 21479 with flag 45001/4408936
1070.18/608.95	c cleaning 10864 clauses out of 21741 with flag 56000/4419935
1073.62/611.38	c cleaning 11435 clauses out of 22879 with flag 68002/4431937
1077.45/613.99	c cleaning 12220 clauses out of 24442 with flag 81000/4444935
1081.70/616.75	c cleaning 13109 clauses out of 26222 with flag 95000/4458935
1086.73/620.38	c cleaning 14055 clauses out of 28113 with flag 110000/4473935
1090.96/623.15	c cleaning 15026 clauses out of 30059 with flag 126001/4489936
1095.38/626.03	c cleaning 16013 clauses out of 32033 with flag 143001/4506936
1100.00/629.01	c cleaning 17009 clauses out of 34019 with flag 161000/4524935
1105.63/632.80	c cleaning 17999 clauses out of 36010 with flag 180000/4543935
1110.66/636.04	c cleaning 19001 clauses out of 38011 with flag 200000/4563935
1116.08/639.42	c cleaning 20005 clauses out of 40012 with flag 221002/4584937
1121.30/642.77	c cleaning 20998 clauses out of 42005 with flag 243000/4606935
1127.69/647.09	c cleaning 21998 clauses out of 44007 with flag 266000/4629935
1133.91/650.86	c cleaning 22999 clauses out of 46009 with flag 290000/4653935
1139.92/654.54	c cleaning 24003 clauses out of 48010 with flag 315000/4678935
1146.10/658.39	c cleaning 24999 clauses out of 50009 with flag 341002/4704937
1153.65/663.25	c cleaning 25996 clauses out of 52008 with flag 368000/4731935
1160.19/667.27	c cleaning 27003 clauses out of 54014 with flag 396002/4759937
1166.97/671.33	c cleaning 28002 clauses out of 56009 with flag 425000/4788935
1174.17/675.66	c cleaning 28997 clauses out of 58008 with flag 455001/4818936
1182.78/681.02	c cleaning 30005 clauses out of 60013 with flag 486003/4849938
1190.75/685.70	c cleaning 30994 clauses out of 62006 with flag 518001/4881936
1198.70/690.45	c cleaning 31993 clauses out of 64011 with flag 551000/4914935
1207.30/695.40	c cleaning 33005 clauses out of 66018 with flag 585000/4948935
1217.23/701.54	c cleaning 34004 clauses out of 68013 with flag 620000/4983935
1226.59/706.93	c cleaning 35001 clauses out of 70009 with flag 656000/5019935
1236.29/712.53	c cleaning 35999 clauses out of 72010 with flag 693002/5056937
1245.81/718.01	c cleaning 36998 clauses out of 74011 with flag 731002/5094937
1256.45/724.60	c cleaning 38006 clauses out of 76011 with flag 770000/5133935
1266.38/730.23	c cleaning 38993 clauses out of 78005 with flag 810000/5173935
1275.89/735.74	c cleaning 39999 clauses out of 80014 with flag 851002/5214937
1285.84/741.43	c cleaning 41004 clauses out of 82014 with flag 893001/5256936
1297.04/748.23	c cleaning 42003 clauses out of 84009 with flag 936000/5299935
1307.81/754.32	c cleaning 42996 clauses out of 86006 with flag 980000/5343935
1319.78/761.02	c cleaning 44002 clauses out of 88011 with flag 1025001/5388936
1331.35/767.51	c cleaning 45001 clauses out of 90008 with flag 1071000/5434935
1343.19/774.67	c cleaning 46004 clauses out of 92008 with flag 1118001/5481936
1355.33/781.43	c cleaning 46995 clauses out of 94004 with flag 1166001/5529936
1367.29/788.17	c cleaning 47997 clauses out of 96008 with flag 1215000/5578935
1379.44/794.97	c cleaning 49004 clauses out of 98013 with flag 1265002/5628937
1393.49/803.13	c cleaning 49999 clauses out of 100007 with flag 1316000/5679935
1406.23/810.25	c cleaning 50995 clauses out of 102008 with flag 1368000/5731935
1418.73/817.30	c cleaning 52003 clauses out of 104014 with flag 1421001/5784936
1432.44/824.88	c cleaning 52999 clauses out of 106011 with flag 1475001/5838936
1447.17/833.43	c cleaning 54000 clauses out of 108012 with flag 1530001/5893936
1461.27/841.21	c cleaning 55005 clauses out of 110012 with flag 1586001/5949936
1475.56/849.19	c cleaning 55998 clauses out of 112006 with flag 1643000/6006935
1490.63/857.41	c cleaning 56998 clauses out of 114008 with flag 1701000/6064935
1508.09/867.43	c cleaning 58002 clauses out of 116010 with flag 1760000/6123935
1524.82/876.59	c cleaning 59004 clauses out of 118008 with flag 1820000/6183935
1542.44/886.17	c cleaning 59997 clauses out of 120004 with flag 1881000/6244935
1558.65/895.05	c cleaning 60988 clauses out of 122008 with flag 1943001/6306936
1575.25/904.64	c cleaning 62007 clauses out of 124020 with flag 2006001/6369936
1591.26/913.47	c cleaning 63005 clauses out of 126012 with flag 2070000/6433935
1608.23/922.71	c cleaning 63996 clauses out of 128007 with flag 2135000/6498935
1626.62/932.73	c cleaning 65005 clauses out of 130011 with flag 2201000/6564935
1646.55/944.05	c cleaning 65994 clauses out of 132006 with flag 2268000/6631935
1654.62/948.99	c  And the winner is solver1
1653.63/949.40	c Got one! Elapsed wall clock time (in seconds):949.296
1653.63/949.40	o 103
1655.21/950.29	c cleaning 52057 clauses out of 104113 with flag 5000/6670036
1658.67/952.81	c cleaning 29024 clauses out of 58056 with flag 11000/6676036
1661.73/955.26	c cleaning 18007 clauses out of 36032 with flag 18000/6683036
1665.94/958.77	c cleaning 13008 clauses out of 26025 with flag 26000/6691036
1669.22/961.30	c cleaning 11000 clauses out of 22017 with flag 35000/6700036
1672.89/963.90	c cleaning 10498 clauses out of 21017 with flag 45000/6710036
1676.33/966.59	c cleaning 10751 clauses out of 21520 with flag 56001/6721037
1681.36/970.41	c cleaning 11380 clauses out of 22768 with flag 68000/6733036
1685.43/973.36	c cleaning 12185 clauses out of 24389 with flag 81001/6746037
1689.69/976.39	c cleaning 13099 clauses out of 26204 with flag 95001/6760037
1694.40/979.57	c cleaning 14050 clauses out of 28104 with flag 110000/6775036
1700.41/983.92	c cleaning 15025 clauses out of 30054 with flag 126000/6791036
1705.48/987.32	c cleaning 16012 clauses out of 32030 with flag 143001/6808037
1710.73/990.86	c cleaning 17009 clauses out of 34020 with flag 161003/6826039
1716.61/994.60	c cleaning 18003 clauses out of 36008 with flag 180000/6845036
1723.07/999.24	c cleaning 18999 clauses out of 38005 with flag 200000/6865036
1728.72/1002.91	c cleaning 20004 clauses out of 40007 with flag 221001/6886037
1734.78/1006.86	c cleaning 20999 clauses out of 42003 with flag 243001/6908037
1741.01/1010.90	c cleaning 21997 clauses out of 44003 with flag 266000/6931036
1748.56/1015.91	c cleaning 22990 clauses out of 46006 with flag 290000/6955036
1754.99/1020.03	c cleaning 24007 clauses out of 48016 with flag 315000/6980036
1761.59/1024.23	c cleaning 25003 clauses out of 50011 with flag 341002/7006038
1768.23/1028.50	c cleaning 25998 clauses out of 52006 with flag 368000/7033036
1776.37/1033.93	c cleaning 27001 clauses out of 54009 with flag 396001/7061037
1783.40/1038.36	c cleaning 27994 clauses out of 56007 with flag 425000/7090036
1790.98/1043.09	c cleaning 29001 clauses out of 58013 with flag 455000/7120036
1797.66/1047.22	c starts		: 58
1797.66/1047.22	c conflicts		: 18062
1797.66/1047.22	c decisions		: 114472
1797.66/1047.22	c propagations		: 515801
1797.66/1047.22	c inspects		: 440077802
1797.66/1047.22	c shortcuts		: 0
1797.66/1047.22	c learnt literals	: 0
1797.66/1047.22	c learnt binary clauses	: 0
1797.66/1047.22	c learnt ternary clauses	: 0
1797.66/1047.22	c learnt constraints	: 18061
1797.66/1047.22	c ignored constraints	: 0
1797.66/1047.22	c root simplifications	: 0
1797.66/1047.22	c removed literals (reason simplification)	: 0
1797.66/1047.22	c reason swapping (by a shorter reason)	: 0
1797.66/1047.22	c Calls to reduceDB	: 2
1797.66/1047.22	c number of reductions to clauses (during analyze)	: 0
1797.66/1047.22	c number of learned constraints concerned by reduction	: 0
1797.66/1047.22	c number of learning phase by resolution	: 0
1797.66/1047.22	c number of learning phase by cutting planes	: 0
1797.66/1047.22	c speed (assignments/second)	: 493.1468213221051
1797.66/1047.22	c non guided choices	13
1797.66/1047.23	c learnt constraints type 
1797.66/1047.23	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 4262
1797.66/1047.23	c org.sat4j.pb.constraints.pb.MaxWatchPb => 13799
1797.66/1047.23	c constraints type 
1797.66/1047.23	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 743
1797.66/1047.23	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1797.66/1047.23	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 16
1797.66/1047.23	c 760 constraints processed.
1797.66/1047.23	c constraints type 
1797.66/1047.23	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 16
1797.66/1047.23	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 743
1797.66/1047.23	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
1797.66/1047.23	c 760 constraints processed.
1797.66/1047.23	s SATISFIABLE
1797.66/1047.23	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 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 x514 -x515 -x516 -x517 -x518 -x519 x520 x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 x536 -x537 x538 -x539 x540 -x541 -x542 -x543 -x544 x545 -x546 -x547 -x548 -x549 -x550 -x551 x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 x566 -x567 -x568 -x569 -x570 -x571 x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 x592 -x593 -x594 x595 -x596 -x597 -x598 -x599 -x600 -x601 x602 -x603 -x604 x605 -x606 -x607 -x608 x609 -x610 -x611 -x612 -x613 x614 x615 -x616 x617 -x618 -x619 -x620 -x621 x622 -x623 -x624 x625 -x626 -x627 x628 -x629 x630 x631 -x632 -x633 x634 -x635 -x636 x637 -x638 -x639 -x640 x641 -x642 x643 -x644 -x645 x646 -x647 -x648 -x649 -x650 -x651 -x652 
1797.66/1047.23	c objective function=103
1797.66/1047.23	c Total wall clock time (in seconds): 1047.131

Verifier Data 

OK	103

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

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

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

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


[startup+0 s]
/proc/loadavg: 3.83 3.98 3.81 4/197 22654
/proc/meminfo: memFree=26046976/32873844 swapFree=7104/7104
[pid=22654] ppid=22652 vsize=24200 CPUtime=0 cores=1,3,5,7
/proc/22654/stat : 22654 (java) S 22652 22654 21231 0 -1 4202496 1146 0 0 0 0 0 0 0 20 0 2 0 253702316 24780800 866 33554432000 1073741824 1073778376 140736548569168 140736548558232 272889839677 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22654/statm: 6050 866 654 9 0 385 0
[pid=22654/tid=22655] ppid=22652 vsize=89736 CPUtime=0 cores=1,3,5,7
/proc/22654/task/22655/stat : 22655 (java) R 22652 22654 21231 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 2 0 253702316 91889664 869 33554432000 1073741824 1073778376 140736548569168 140736548558232 272886098317 0 0 4096 0 0 0 0 -1 3 0 0 0 0 0

[startup+0.0338779 s]
/proc/loadavg: 3.83 3.98 3.81 4/197 22654
/proc/meminfo: memFree=26046976/32873844 swapFree=7104/7104
[pid=22654] ppid=22652 vsize=9225560 CPUtime=0.01 cores=1,3,5,7
/proc/22654/stat : 22654 (java) S 22652 22654 21231 0 -1 4202496 3013 0 1 0 1 0 0 0 20 0 13 0 253702316 9446973440 3710 33554432000 1073741824 1073778376 140736548569168 140736548560304 272889839677 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22654/statm: 2306390 3710 1692 9 0 2297091 0
[pid=22654/tid=22655] ppid=22652 vsize=9225560 CPUtime=0.01 cores=1,3,5,7
/proc/22654/task/22655/stat : 22655 (java) R 22652 22654 21231 0 -1 4202560 1832 0 1 0 1 0 0 0 20 0 13 0 253702316 9446973440 3710 33554432000 1073741824 1073778376 140736548569168 140179838169328 272889865485 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9225560

[startup+0.100369 s]
/proc/loadavg: 3.83 3.98 3.81 4/197 22654
/proc/meminfo: memFree=26046976/32873844 swapFree=7104/7104
[pid=22654] ppid=22652 vsize=9558412 CPUtime=0.11 cores=1,3,5,7
/proc/22654/stat : 22654 (java) S 22652 22654 21231 0 -1 4202496 4438 0 1 0 10 1 0 0 20 0 18 0 253702316 9787813888 6101 33554432000 1073741824 1073778376 140736548569168 140736548560304 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22654/statm: 2389603 6102 2131 9 0 2380296 0
[pid=22654/tid=22655] ppid=22652 vsize=9558412 CPUtime=0.07 cores=1,3,5,7
/proc/22654/task/22655/stat : 22655 (java) R 22652 22654 21231 0 -1 4202560 2427 0 1 0 7 0 0 0 20 0 18 0 253702316 9787813888 6103 33554432000 1073741824 1073778376 140736548569168 140179838172080 140179836045899 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558412

[startup+0.300326 s]
/proc/loadavg: 3.83 3.98 3.81 4/197 22654
/proc/meminfo: memFree=26046976/32873844 swapFree=7104/7104
[pid=22654] ppid=22652 vsize=9824668 CPUtime=0.56 cores=1,3,5,7
/proc/22654/stat : 22654 (java) S 22652 22654 21231 0 -1 4202496 7481 0 1 0 53 3 0 0 20 0 19 0 253702316 10060460032 10359 33554432000 1073741824 1073778376 140736548569168 140736548560304 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22654/statm: 2456167 10359 2230 9 0 2446860 0
[pid=22654/tid=22655] ppid=22652 vsize=9824668 CPUtime=0.24 cores=1,3,5,7
/proc/22654/task/22655/stat : 22655 (java) S 22652 22654 21231 0 -1 4202560 2463 0 1 0 24 0 0 0 20 0 19 0 253702316 10060460032 10359 33554432000 1073741824 1073778376 140736548569168 140179838174200 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 9824668

[startup+0.700289 s]
/proc/loadavg: 3.83 3.98 3.81 4/197 22654
/proc/meminfo: memFree=26046976/32873844 swapFree=7104/7104
[pid=22654] ppid=22652 vsize=9824668 CPUtime=0.58 cores=1,3,5,7
/proc/22654/stat : 22654 (java) S 22652 22654 21231 0 -1 4202496 7578 0 1 0 55 3 0 0 20 0 19 0 253702316 10060460032 10235 33554432000 1073741824 1073778376 140736548569168 140736548560304 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22654/statm: 2456167 10235 2230 9 0 2446860 0
[pid=22654/tid=22655] ppid=22652 vsize=9824668 CPUtime=0.24 cores=1,3,5,7
/proc/22654/task/22655/stat : 22655 (java) S 22652 22654 21231 0 -1 4202560 2463 0 1 0 24 0 0 0 20 0 19 0 253702316 10060460032 10235 33554432000 1073741824 1073778376 140736548569168 140179838174200 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 9824668

[startup+1.5007 s]
/proc/loadavg: 3.83 3.98 3.81 3/216 22679
/proc/meminfo: memFree=26009252/32873844 swapFree=7104/7104
[pid=22654] ppid=22652 vsize=9826220 CPUtime=1.61 cores=1,3,5,7
/proc/22654/stat : 22654 (java) S 22652 22654 21231 0 -1 4202496 12981 0 1 0 154 7 0 0 20 0 22 0 253702316 10062049280 17030 33554432000 1073741824 1073778376 140736548569168 140736548560304 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22654/statm: 2456167 17030 2242 9 0 2446860 0
[pid=22654/tid=22655] ppid=22652 vsize=9824668 CPUtime=0.25 cores=1,3,5,7
/proc/22654/task/22655/stat : 22655 (java) S 22652 22654 21231 0 -1 4202560 2476 0 1 0 25 0 0 0 20 0 22 0 253702316 10060460032 17030 33554432000 1073741824 1073778376 140736548569168 140179838174200 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22654/tid=22657] ppid=22652 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22654/task/22657/stat : 22657 (java) S 22652 22654 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253702317 10060460032 17030 33554432000 1073741824 1073778376 140736548569168 140179816274216 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22654/tid=22658] ppid=22652 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22654/task/22658/stat : 22658 (java) S 22652 22654 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253702317 10060460032 17030 33554432000 1073741824 1073778376 140736548569168 140179815221416 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22654/tid=22659] ppid=22652 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22654/task/22659/stat : 22659 (java) S 22652 22654 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253702317 10060460032 17030 33554432000 1073741824 1073778376 140736548569168 140179612363304 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22654/tid=22660] ppid=22652 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22654/task/22660/stat : 22660 (java) S 22652 22654 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253702317 10060460032 17030 33554432000 1073741824 1073778376 140736548569168 140179611310504 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22654/tid=22661] ppid=22652 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22654/task/22661/stat : 22661 (java) S 22652 22654 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253702317 10060460032 17030 33554432000 1073741824 1073778376 140736548569168 140179610258216 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22654/tid=22662] ppid=22652 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22654/task/22662/stat : 22662 (java) S 22652 22654 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253702317 10060460032 17030 33554432000 1073741824 1073778376 140736548569168 140179609205416 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22654/tid=22663] ppid=22652 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22654/task/22663/stat : 22663 (java) S 22652 22654 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253702317 10060460032 17030 33554432000 1073741824 1073778376 140736548569168 140179608153128 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22654/tid=22664] ppid=22652 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22654/task/22664/stat : 22664 (java) S 22652 22654 21231 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253702317 10060460032 17030 33554432000 1073741824 1073778376 140736548569168 140179607100328 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22654/tid=22665] ppid=22652 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22654/task/22665/stat : 22665 (java) S 22652 22654 21231 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253702318 10060460032 17030 33554432000 1073741824 1073778376 140736548569168 140179594901736 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22654/tid=22666] ppid=22652 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22654/task/22666/stat : 22666 (java) S 22652 22654 21231 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 253702319 10060460032 17030 33554432000 1073741824 1073778376 140736548569168 140179593847800 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22654/tid=22667] ppid=22652 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22654/task/22667/stat : 22667 (java) S 22652 22654 21231 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253702319 10060460032 17030 33554432000 1073741824 1073778376 140736548569168 140179592795400 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22654/tid=22668] ppid=22652 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22654/task/22668/stat : 22668 (java) S 22652 22654 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253702321 10060460032 17030 33554432000 1073741824 1073778376 140736548569168 140179591743888 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22654/tid=22669] ppid=22652 vsize=9824668 CPUtime=0.42 cores=1,3,5,7
/proc/22654/task/22669/stat : 22669 (java) R 22652 22654 21231 0 -1 4202560 6289 0 0 0 40 2 0 0 20 0 22 0 253702321 10060460032 17030 33554432000 1073741824 1073778376 140736548569168 140179590669448 272886107979 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=22654/tid=22670] ppid=22652 vsize=9824668 CPUtime=0.35 cores=1,3,5,7
/proc/22654/task/22670/stat : 22670 (java) R 22652 22654 21231 0 -1 4202560 2846 0 0 0 35 0 0 0 20 0 22 0 253702321 10060460032 17030 33554432000 1073741824 1073778376 140736548569168 140179589625560 140179844632224 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=22654/tid=22671] ppid=22652 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22654/task/22671/stat : 22671 (java) S 22652 22654 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253702321 10060460032 17030 33554432000 1073741824 1073778376 140736548569168 140179588586616 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22654/tid=22672] ppid=22652 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22654/task/22672/stat : 22672 (java) S 22652 22654 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253702321 10060460032 17030 33554432000 1073741824 1073778376 140736548569168 140179587534024 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22654/tid=22675] ppid=22652 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22654/task/22675/stat : 22675 (java) S 22652 22654 21231 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253702344 10060460032 17030 33554432000 1073741824 1073778376 140736548569168 140179584373928 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.61
Current children cumulated vsize (KiB) 9826220

[startup+3.1007 s]
/proc/loadavg: 3.83 3.98 3.81 5/219 22682
/proc/meminfo: memFree=25940136/32873844 swapFree=7104/7104
[pid=22654] ppid=22652 vsize=9824668 CPUtime=4.76 cores=1,3,5,7
/proc/22654/stat : 22654 (java) S 22652 22654 21231 0 -1 4202496 16080 0 1 0 463 13 0 0 20 0 19 0 253702316 10060460032 31840 33554432000 1073741824 1073778376 140736548569168 140736548560304 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22654/statm: 2456167 31840 2278 9 0 2446860 0
[pid=22654/tid=22655] ppid=22652 vsize=9824668 CPUtime=0.26 cores=1,3,5,7
/proc/22654/task/22655/stat : 22655 (java) S 22652 22654 21231 0 -1 4202560 2476 0 1 0 26 0 0 0 20 0 19 0 253702316 10060460032 31840 33554432000 1073741824 1073778376 140736548569168 140179838174200 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22654/tid=22657] ppid=22652 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22654/task/22657/stat : 22657 (java) S 22652 22654 21231 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253702317 10060460032 31840 33554432000 1073741824 1073778376 140736548569168 140179816274216 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22654/tid=22658] ppid=22652 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22654/task/22658/stat : 22658 (java) S 22652 22654 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253702317 10060460032 31840 33554432000 1073741824 1073778376 140736548569168 140179815221416 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22654/tid=22659] ppid=22652 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22654/task/22659/stat : 22659 (java) S 22652 22654 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253702317 10060460032 31840 33554432000 1073741824 1073778376 140736548569168 140179612363304 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22654/tid=22660] ppid=22652 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22654/task/22660/stat : 22660 (java) S 22652 22654 21231 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 253702317 10060460032 31840 33554432000 1073741824 1073778376 140736548569168 140179611310504 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22654/tid=22661] ppid=22652 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22654/task/22661/stat : 22661 (java) S 22652 22654 21231 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 253702317 10060460032 31840 33554432000 1073741824 1073778376 140736548569168 140179610258216 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22654/tid=22662] ppid=22652 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22654/task/22662/stat : 22662 (java) S 22652 22654 21231 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 253702317 10060460032 31840 33554432000 1073741824 1073778376 140736548569168 140179609205416 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22654/tid=22663] ppid=22652 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22654/task/22663/stat : 22663 (java) S 22652 22654 21231 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 253702317 10060460032 31840 33554432000 1073741824 1073778376 140736548569168 140179608153128 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22654/tid=22664] ppid=22652 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22654/task/22664/stat : 22664 (java) S 22652 22654 21231 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253702317 10060460032 31840 33554432000 1073741824 1073778376 140736548569168 140179607100328 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22654/tid=22665] ppid=22652 vsize=9824668 CPUtime=0.04 cores=1,3,5,7
/proc/22654/task/22665/stat : 22665 (java) S 22652 22654 21231 0 -1 4202560 34 0 0 0 4 0 0 0 20 0 19 0 253702318 10060460032 31840 33554432000 1073741824 1073778376 140736548569168 140179594901736 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22654/tid=22666] ppid=22652 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22654/task/22666/stat : 22666 (java) S 22652 22654 21231 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253702319 10060460032 31840 33554432000 1073741824 1073778376 140736548569168 140179593847800 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22654/tid=22667] ppid=22652 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22654/task/22667/stat : 22667 (java) S 22652 22654 21231 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253702319 10060460032 31840 33554432000 1073741824 1073778376 140736548569168 140179592795400 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22654/tid=22668] ppid=22652 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22654/task/22668/stat : 22668 (java) S 22652 22654 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253702321 10060460032 31840 33554432000 1073741824 1073778376 140736548569168 140179591743888 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22654/tid=22669] ppid=22652 vsize=9824668 CPUtime=0.76 cores=1,3,5,7
/proc/22654/task/22669/stat : 22669 (java) S 22652 22654 21231 0 -1 4202560 7485 0 0 0 74 2 0 0 20 0 19 0 253702321 10060460032 31840 33554432000 1073741824 1073778376 140736548569168 140179590691512 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22654/tid=22670] ppid=22652 vsize=9824668 CPUtime=0.71 cores=1,3,5,7
/proc/22654/task/22670/stat : 22670 (java) S 22652 22654 21231 0 -1 4202560 4646 0 0 0 69 2 0 0 20 0 19 0 253702321 10060460032 31840 33554432000 1073741824 1073778376 140736548569168 140179589638712 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22654/tid=22671] ppid=22652 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22654/task/22671/stat : 22671 (java) S 22652 22654 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253702321 10060460032 31840 33554432000 1073741824 1073778376 140736548569168 140179588586616 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22654/tid=22672] ppid=22652 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22654/task/22672/stat : 22672 (java) S 22652 22654 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253702321 10060460032 31840 33554432000 1073741824 1073778376 140736548569168 140179587534024 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22654/tid=22682] ppid=22652 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22654/task/22682/stat : 22682 (java) S 22652 22654 21231 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253702444 10060460032 31840 33554432000 1073741824 1073778376 140736548569168 140179583320872 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 4.76
Current children cumulated vsize (KiB) 9824668

[startup+6.30085 s]
/proc/loadavg: 3.84 3.98 3.81 5/219 22688
/proc/meminfo: memFree=25880368/32873844 swapFree=7104/7104
[pid=22654] ppid=22652 vsize=9824668 CPUtime=10.77 cores=1,3,5,7
/proc/22654/stat : 22654 (java) S 22652 22654 21231 0 -1 4202496 16740 0 1 0 1061 16 0 0 20 0 22 0 253702316 10060460032 45568 33554432000 1073741824 1073778376 140736548569168 140736548560304 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22654/statm: 2456167 45568 2279 9 0 2446860 0
[pid=22654/tid=22655] ppid=22652 vsize=9824668 CPUtime=0.26 cores=1,3,5,7
/proc/22654/task/22655/stat : 22655 (java) S 22652 22654 21231 0 -1 4202560 2476 0 1 0 26 0 0 0 20 0 22 0 253702316 10060460032 45568 33554432000 1073741824 1073778376 140736548569168 140179838174200 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22654/tid=22657] ppid=22652 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22654/task/22657/stat : 22657 (java) S 22652 22654 21231 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 253702317 10060460032 45568 33554432000 1073741824 1073778376 140736548569168 140179816274216 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22654/tid=22658] ppid=22652 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/22654/task/22658/stat : 22658 (java) S 22652 22654 21231 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 22 0 253702317 10060460032 45568 33554432000 1073741824 1073778376 140736548569168 140179815221416 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22654/tid=22659] ppid=22652 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22654/task/22659/stat : 22659 (java) S 22652 22654 21231 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 253702317 10060460032 45568 33554432000 1073741824 1073778376 140736548569168 140179612363304 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22654/tid=22660] ppid=22652 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/22654/task/22660/stat : 22660 (java) S 22652 22654 21231 0 -1 4202560 16 0 0 0 1 0 0 0 20 0 22 0 253702317 10060460032 45568 33554432000 1073741824 1073778376 140736548569168 140179611310504 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22654/tid=22661] ppid=22652 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/22654/task/22661/stat : 22661 (java) S 22652 22654 21231 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 22 0 253702317 10060460032 45568 33554432000 1073741824 1073778376 140736548569168 140179610258216 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22654/tid=22662] ppid=22652 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/22654/task/22662/stat : 22662 (java) S 22652 22654 21231 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 22 0 253702317 10060460032 45568 33554432000 1073741824 1073778376 140736548569168 140179609205416 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22654/tid=22663] ppid=22652 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/22654/task/22663/stat : 22663 (java) S 22652 22654 21231 0 -1 4202560 10 0 0 0 2 0 0 0 20 0 22 0 253702317 10060460032 45568 33554432000 1073741824 1073778376 140736548569168 140179608153128 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22654/tid=22664] ppid=22652 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22654/task/22664/stat : 22664 (java) S 22652 22654 21231 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253702317 10060460032 45568 33554432000 1073741824 1073778376 140736548569168 140179607100328 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22654/tid=22665] ppid=22652 vsize=9824668 CPUtime=0.33 cores=1,3,5,7
/proc/22654/task/22665/stat : 22665 (java) S 22652 22654 21231 0 -1 4202560 67 0 0 0 33 0 0 0 20 0 22 0 253702318 10060460032 45568 33554432000 1073741824 1073778376 140736548569168 140179594901736 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22654/tid=22666] ppid=22652 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22654/task/22666/stat : 22666 (java) S 22652 22654 21231 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253702319 10060460032 45568 33554432000 1073741824 1073778376 140736548569168 140179593847800 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22654/tid=22667] ppid=22652 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22654/task/22667/stat : 22667 (java) S 22652 22654 21231 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253702319 10060460032 45568 33554432000 1073741824 1073778376 140736548569168 140179592795400 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22654/tid=22668] ppid=22652 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22654/task/22668/stat : 22668 (java) S 22652 22654 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253702321 10060460032 45568 33554432000 1073741824 1073778376 140736548569168 140179591743888 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22654/tid=22669] ppid=22652 vsize=9824668 CPUtime=0.8 cores=1,3,5,7
/proc/22654/task/22669/stat : 22669 (java) S 22652 22654 21231 0 -1 4202560 7485 0 0 0 78 2 0 0 20 0 22 0 253702321 10060460032 45568 33554432000 1073741824 1073778376 140736548569168 140179590691512 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22654/tid=22670] ppid=22652 vsize=9824668 CPUtime=0.89 cores=1,3,5,7
/proc/22654/task/22670/stat : 22670 (java) S 22652 22654 21231 0 -1 4202560 5217 0 0 0 87 2 0 0 20 0 22 0 253702321 10060460032 45568 33554432000 1073741824 1073778376 140736548569168 140179589638712 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0

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

/proc/22654/task/22658/stat : 22658 (java) S 22652 22654 21231 0 -1 4202560 917 0 0 0 409 8 0 0 20 0 19 0 253702317 10060460032 444240 33554432000 1073741824 1073778376 140736548569168 140179815221416 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22654/tid=22659] ppid=22652 vsize=9824668 CPUtime=4.32 cores=1,3,5,7
/proc/22654/task/22659/stat : 22659 (java) S 22652 22654 21231 0 -1 4202560 674 0 0 0 425 7 0 0 20 0 19 0 253702317 10060460032 444240 33554432000 1073741824 1073778376 140736548569168 140179612363304 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22654/tid=22660] ppid=22652 vsize=9824668 CPUtime=4.29 cores=1,3,5,7
/proc/22654/task/22660/stat : 22660 (java) S 22652 22654 21231 0 -1 4202560 1049 0 0 0 421 8 0 0 20 0 19 0 253702317 10060460032 444240 33554432000 1073741824 1073778376 140736548569168 140179611310504 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22654/tid=22661] ppid=22652 vsize=9824668 CPUtime=3.91 cores=1,3,5,7
/proc/22654/task/22661/stat : 22661 (java) S 22652 22654 21231 0 -1 4202560 984 0 0 0 385 6 0 0 20 0 19 0 253702317 10060460032 444240 33554432000 1073741824 1073778376 140736548569168 140179610258216 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22654/tid=22662] ppid=22652 vsize=9824668 CPUtime=4.63 cores=1,3,5,7
/proc/22654/task/22662/stat : 22662 (java) S 22652 22654 21231 0 -1 4202560 1510 0 0 0 455 8 0 0 20 0 19 0 253702317 10060460032 444240 33554432000 1073741824 1073778376 140736548569168 140179609205416 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22654/tid=22663] ppid=22652 vsize=9824668 CPUtime=4.34 cores=1,3,5,7
/proc/22654/task/22663/stat : 22663 (java) S 22652 22654 21231 0 -1 4202560 1372 0 0 0 428 6 0 0 20 0 19 0 253702317 10060460032 444240 33554432000 1073741824 1073778376 140736548569168 140179608153128 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22654/tid=22664] ppid=22652 vsize=9824668 CPUtime=4.27 cores=1,3,5,7
/proc/22654/task/22664/stat : 22664 (java) S 22652 22654 21231 0 -1 4202560 931 0 0 0 420 7 0 0 20 0 19 0 253702317 10060460032 444240 33554432000 1073741824 1073778376 140736548569168 140179607100328 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22654/tid=22665] ppid=22652 vsize=9824668 CPUtime=251.77 cores=1,3,5,7
/proc/22654/task/22665/stat : 22665 (java) S 22652 22654 21231 0 -1 4202560 6393 0 0 0 25141 36 0 0 20 0 19 0 253702318 10060460032 444240 33554432000 1073741824 1073778376 140736548569168 140179594901736 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22654/tid=22666] ppid=22652 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22654/task/22666/stat : 22666 (java) S 22652 22654 21231 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253702319 10060460032 444240 33554432000 1073741824 1073778376 140736548569168 140179593847800 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22654/tid=22667] ppid=22652 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22654/task/22667/stat : 22667 (java) S 22652 22654 21231 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 253702319 10060460032 444240 33554432000 1073741824 1073778376 140736548569168 140179592795400 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22654/tid=22668] ppid=22652 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22654/task/22668/stat : 22668 (java) S 22652 22654 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253702321 10060460032 444240 33554432000 1073741824 1073778376 140736548569168 140179591743888 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22654/tid=22669] ppid=22652 vsize=9824668 CPUtime=0.88 cores=1,3,5,7
/proc/22654/task/22669/stat : 22669 (java) S 22652 22654 21231 0 -1 4202560 7489 0 0 0 86 2 0 0 20 0 19 0 253702321 10060460032 444240 33554432000 1073741824 1073778376 140736548569168 140179590691512 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22654/tid=22670] ppid=22652 vsize=9824668 CPUtime=1.62 cores=1,3,5,7
/proc/22654/task/22670/stat : 22670 (java) S 22652 22654 21231 0 -1 4202560 8252 0 0 0 159 3 0 0 20 0 19 0 253702321 10060460032 444240 33554432000 1073741824 1073778376 140736548569168 140179589638712 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22654/tid=22671] ppid=22652 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22654/task/22671/stat : 22671 (java) S 22652 22654 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253702321 10060460032 444240 33554432000 1073741824 1073778376 140736548569168 140179588586616 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22654/tid=22672] ppid=22652 vsize=9824668 CPUtime=0.42 cores=1,3,5,7
/proc/22654/task/22672/stat : 22672 (java) S 22652 22654 21231 0 -1 4202560 55 0 0 0 21 21 0 0 20 0 19 0 253702321 10060460032 444240 33554432000 1073741824 1073778376 140736548569168 140179587534024 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22654/tid=22682] ppid=22652 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22654/task/22682/stat : 22682 (java) S 22652 22654 21231 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253702444 10060460032 444240 33554432000 1073741824 1073778376 140736548569168 140179583320872 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1653.63
Current children cumulated vsize (KiB) 9824668
#
############


[startup+1002.3 s]
/proc/loadavg: 3.36 3.62 3.72 5/218 22930
/proc/meminfo: memFree=25818060/32873844 swapFree=7104/7104
[pid=22654] ppid=22652 vsize=9824668 CPUtime=1727.52 cores=1,3,5,7
/proc/22654/stat : 22654 (java) S 22652 22654 21231 0 -1 4202496 35872 0 1 0 172587 165 0 0 20 0 22 0 253702316 10060460032 441690 33554432000 1073741824 1073778376 140736548569168 140736548560304 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22654/statm: 2456167 441690 2280 9 0 2446860 0
[pid=22654/tid=22655] ppid=22652 vsize=9824668 CPUtime=0.34 cores=1,3,5,7
/proc/22654/task/22655/stat : 22655 (java) S 22652 22654 21231 0 -1 4202560 2669 0 1 0 31 3 0 0 20 0 22 0 253702316 10060460032 441690 33554432000 1073741824 1073778376 140736548569168 140179838174200 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22654/tid=22657] ppid=22652 vsize=9824668 CPUtime=4.54 cores=1,3,5,7
/proc/22654/task/22657/stat : 22657 (java) S 22652 22654 21231 0 -1 4202560 1017 0 0 0 448 6 0 0 20 0 22 0 253702317 10060460032 441690 33554432000 1073741824 1073778376 140736548569168 140179816274216 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22654/tid=22658] ppid=22652 vsize=9824668 CPUtime=4.44 cores=1,3,5,7
/proc/22654/task/22658/stat : 22658 (java) S 22652 22654 21231 0 -1 4202560 917 0 0 0 436 8 0 0 20 0 22 0 253702317 10060460032 441690 33554432000 1073741824 1073778376 140736548569168 140179815221416 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22654/tid=22659] ppid=22652 vsize=9824668 CPUtime=4.61 cores=1,3,5,7
/proc/22654/task/22659/stat : 22659 (java) S 22652 22654 21231 0 -1 4202560 674 0 0 0 454 7 0 0 20 0 22 0 253702317 10060460032 441690 33554432000 1073741824 1073778376 140736548569168 140179612363304 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22654/tid=22660] ppid=22652 vsize=9824668 CPUtime=4.61 cores=1,3,5,7
/proc/22654/task/22660/stat : 22660 (java) S 22652 22654 21231 0 -1 4202560 1049 0 0 0 453 8 0 0 20 0 22 0 253702317 10060460032 441690 33554432000 1073741824 1073778376 140736548569168 140179611310504 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22654/tid=22661] ppid=22652 vsize=9824668 CPUtime=4.13 cores=1,3,5,7
/proc/22654/task/22661/stat : 22661 (java) S 22652 22654 21231 0 -1 4202560 984 0 0 0 407 6 0 0 20 0 22 0 253702317 10060460032 441690 33554432000 1073741824 1073778376 140736548569168 140179610258216 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22654/tid=22662] ppid=22652 vsize=9824668 CPUtime=4.94 cores=1,3,5,7
/proc/22654/task/22662/stat : 22662 (java) S 22652 22654 21231 0 -1 4202560 1510 0 0 0 486 8 0 0 20 0 22 0 253702317 10060460032 441690 33554432000 1073741824 1073778376 140736548569168 140179609205416 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22654/tid=22663] ppid=22652 vsize=9824668 CPUtime=4.65 cores=1,3,5,7
/proc/22654/task/22663/stat : 22663 (java) S 22652 22654 21231 0 -1 4202560 1372 0 0 0 458 7 0 0 20 0 22 0 253702317 10060460032 441690 33554432000 1073741824 1073778376 140736548569168 140179608153128 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22654/tid=22664] ppid=22652 vsize=9824668 CPUtime=4.64 cores=1,3,5,7
/proc/22654/task/22664/stat : 22664 (java) S 22652 22654 21231 0 -1 4202560 931 0 0 0 457 7 0 0 20 0 22 0 253702317 10060460032 441690 33554432000 1073741824 1073778376 140736548569168 140179607100328 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22654/tid=22665] ppid=22652 vsize=9824668 CPUtime=284.69 cores=1,3,5,7
/proc/22654/task/22665/stat : 22665 (java) S 22652 22654 21231 0 -1 4202560 7129 0 0 0 28430 39 0 0 20 0 22 0 253702318 10060460032 441690 33554432000 1073741824 1073778376 140736548569168 140179594901736 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22654/tid=22666] ppid=22652 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22654/task/22666/stat : 22666 (java) S 22652 22654 21231 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253702319 10060460032 441690 33554432000 1073741824 1073778376 140736548569168 140179593847800 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22654/tid=22667] ppid=22652 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22654/task/22667/stat : 22667 (java) S 22652 22654 21231 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 253702319 10060460032 441690 33554432000 1073741824 1073778376 140736548569168 140179592795400 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22654/tid=22668] ppid=22652 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22654/task/22668/stat : 22668 (java) S 22652 22654 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253702321 10060460032 441690 33554432000 1073741824 1073778376 140736548569168 140179591743888 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22654/tid=22669] ppid=22652 vsize=9824668 CPUtime=0.88 cores=1,3,5,7
/proc/22654/task/22669/stat : 22669 (java) S 22652 22654 21231 0 -1 4202560 7489 0 0 0 86 2 0 0 20 0 22 0 253702321 10060460032 441690 33554432000 1073741824 1073778376 140736548569168 140179590691512 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22654/tid=22670] ppid=22652 vsize=9824668 CPUtime=1.62 cores=1,3,5,7
/proc/22654/task/22670/stat : 22670 (java) S 22652 22654 21231 0 -1 4202560 8252 0 0 0 159 3 0 0 20 0 22 0 253702321 10060460032 441690 33554432000 1073741824 1073778376 140736548569168 140179589638712 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22654/tid=22671] ppid=22652 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22654/task/22671/stat : 22671 (java) S 22652 22654 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253702321 10060460032 441690 33554432000 1073741824 1073778376 140736548569168 140179588586616 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22654/tid=22672] ppid=22652 vsize=9824668 CPUtime=0.45 cores=1,3,5,7
/proc/22654/task/22672/stat : 22672 (java) S 22652 22654 21231 0 -1 4202560 59 0 0 0 22 23 0 0 20 0 22 0 253702321 10060460032 441690 33554432000 1073741824 1073778376 140736548569168 140179587534024 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22654/tid=22682] ppid=22652 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22654/task/22682/stat : 22682 (java) S 22652 22654 21231 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253702444 10060460032 441690 33554432000 1073741824 1073778376 140736548569168 140179583320872 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22654/tid=22818] ppid=22652 vsize=9824668 CPUtime=19.17 cores=1,3,5,7
/proc/22654/task/22818/stat : 22818 (java) R 22652 22654 21231 0 -1 4202560 6 0 0 0 1917 0 0 0 20 0 22 0 253797257 10060460032 441690 33554432000 1073741824 1073778376 140736548569168 140179585425760 140179696895327 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=22654/tid=22819] ppid=22652 vsize=9824668 CPUtime=19.18 cores=1,3,5,7
/proc/22654/task/22819/stat : 22819 (java) R 22652 22654 21231 0 -1 4202560 2 0 0 0 1918 0 0 0 20 0 22 0 253797257 10060460032 441690 33554432000 1073741824 1073778376 140736548569168 140179584371584 140179697267015 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22654/tid=22820] ppid=22652 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22654/task/22820/stat : 22820 (java) S 22652 22654 21231 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253797257 10060460032 441690 33554432000 1073741824 1073778376 140736548569168 140179586479400 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1727.52
Current children cumulated vsize (KiB) 9824668



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1047.21 s]
/proc/loadavg: 3.19 3.54 3.69 5/220 22935
/proc/meminfo: memFree=25741988/32873844 swapFree=7104/7104
[pid=22654] ppid=22652 vsize=9824668 CPUtime=1797.66 cores=1,3,5,7
/proc/22654/stat : 22654 (java) S 22652 22654 21231 0 -1 4202496 36351 0 1 0 179599 167 0 0 20 0 22 0 253702316 10060460032 439120 33554432000 1073741824 1073778376 140736548569168 140736548560304 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22654/statm: 2456167 439120 2280 9 0 2446860 0
[pid=22654/tid=22655] ppid=22652 vsize=9824668 CPUtime=0.34 cores=1,3,5,7
/proc/22654/task/22655/stat : 22655 (java) S 22652 22654 21231 0 -1 4202560 2679 0 1 0 31 3 0 0 20 0 22 0 253702316 10060460032 439120 33554432000 1073741824 1073778376 140736548569168 140179838174200 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22654/tid=22657] ppid=22652 vsize=9824668 CPUtime=4.73 cores=1,3,5,7
/proc/22654/task/22657/stat : 22657 (java) S 22652 22654 21231 0 -1 4202560 1017 0 0 0 467 6 0 0 20 0 22 0 253702317 10060460032 439120 33554432000 1073741824 1073778376 140736548569168 140179816274216 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22654/tid=22658] ppid=22652 vsize=9824668 CPUtime=4.63 cores=1,3,5,7
/proc/22654/task/22658/stat : 22658 (java) S 22652 22654 21231 0 -1 4202560 917 0 0 0 455 8 0 0 20 0 22 0 253702317 10060460032 439120 33554432000 1073741824 1073778376 140736548569168 140179815221416 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22654/tid=22659] ppid=22652 vsize=9824668 CPUtime=4.77 cores=1,3,5,7
/proc/22654/task/22659/stat : 22659 (java) S 22652 22654 21231 0 -1 4202560 674 0 0 0 470 7 0 0 20 0 22 0 253702317 10060460032 439120 33554432000 1073741824 1073778376 140736548569168 140179612363304 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22654/tid=22660] ppid=22652 vsize=9824668 CPUtime=4.79 cores=1,3,5,7
/proc/22654/task/22660/stat : 22660 (java) S 22652 22654 21231 0 -1 4202560 1049 0 0 0 471 8 0 0 20 0 22 0 253702317 10060460032 439120 33554432000 1073741824 1073778376 140736548569168 140179611310504 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22654/tid=22661] ppid=22652 vsize=9824668 CPUtime=4.37 cores=1,3,5,7
/proc/22654/task/22661/stat : 22661 (java) S 22652 22654 21231 0 -1 4202560 984 0 0 0 431 6 0 0 20 0 22 0 253702317 10060460032 439120 33554432000 1073741824 1073778376 140736548569168 140179610258216 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22654/tid=22662] ppid=22652 vsize=9824668 CPUtime=5.13 cores=1,3,5,7
/proc/22654/task/22662/stat : 22662 (java) S 22652 22654 21231 0 -1 4202560 1510 0 0 0 505 8 0 0 20 0 22 0 253702317 10060460032 439120 33554432000 1073741824 1073778376 140736548569168 140179609205416 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22654/tid=22663] ppid=22652 vsize=9824668 CPUtime=4.8 cores=1,3,5,7
/proc/22654/task/22663/stat : 22663 (java) S 22652 22654 21231 0 -1 4202560 1372 0 0 0 473 7 0 0 20 0 22 0 253702317 10060460032 439120 33554432000 1073741824 1073778376 140736548569168 140179608153128 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22654/tid=22664] ppid=22652 vsize=9824668 CPUtime=4.84 cores=1,3,5,7
/proc/22654/task/22664/stat : 22664 (java) S 22652 22654 21231 0 -1 4202560 931 0 0 0 477 7 0 0 20 0 22 0 253702317 10060460032 439120 33554432000 1073741824 1073778376 140736548569168 140179607100328 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22654/tid=22665] ppid=22652 vsize=9824668 CPUtime=304.99 cores=1,3,5,7
/proc/22654/task/22665/stat : 22665 (java) S 22652 22654 21231 0 -1 4202560 7596 0 0 0 30460 39 0 0 20 0 22 0 253702318 10060460032 439120 33554432000 1073741824 1073778376 140736548569168 140179594901736 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22654/tid=22666] ppid=22652 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22654/task/22666/stat : 22666 (java) S 22652 22654 21231 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253702319 10060460032 439120 33554432000 1073741824 1073778376 140736548569168 140179593847800 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22654/tid=22667] ppid=22652 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22654/task/22667/stat : 22667 (java) S 22652 22654 21231 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 253702319 10060460032 439120 33554432000 1073741824 1073778376 140736548569168 140179592795400 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22654/tid=22668] ppid=22652 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22654/task/22668/stat : 22668 (java) S 22652 22654 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253702321 10060460032 439120 33554432000 1073741824 1073778376 140736548569168 140179591743888 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22654/tid=22669] ppid=22652 vsize=9824668 CPUtime=0.88 cores=1,3,5,7
/proc/22654/task/22669/stat : 22669 (java) S 22652 22654 21231 0 -1 4202560 7489 0 0 0 86 2 0 0 20 0 22 0 253702321 10060460032 439120 33554432000 1073741824 1073778376 140736548569168 140179590691512 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22654/tid=22670] ppid=22652 vsize=9824668 CPUtime=1.62 cores=1,3,5,7
/proc/22654/task/22670/stat : 22670 (java) S 22652 22654 21231 0 -1 4202560 8252 0 0 0 159 3 0 0 20 0 22 0 253702321 10060460032 439120 33554432000 1073741824 1073778376 140736548569168 140179589638712 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22654/tid=22671] ppid=22652 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22654/task/22671/stat : 22671 (java) S 22652 22654 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253702321 10060460032 439120 33554432000 1073741824 1073778376 140736548569168 140179588586616 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22654/tid=22672] ppid=22652 vsize=9824668 CPUtime=0.47 cores=1,3,5,7
/proc/22654/task/22672/stat : 22672 (java) S 22652 22654 21231 0 -1 4202560 61 0 0 0 24 23 0 0 20 0 22 0 253702321 10060460032 439120 33554432000 1073741824 1073778376 140736548569168 140179587534024 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22654/tid=22682] ppid=22652 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22654/task/22682/stat : 22682 (java) S 22652 22654 21231 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253702444 10060460032 439120 33554432000 1073741824 1073778376 140736548569168 140179583320872 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22654/tid=22818] ppid=22652 vsize=9824668 CPUtime=43.24 cores=1,3,5,7
/proc/22654/task/22818/stat : 22818 (java) R 22652 22654 21231 0 -1 4202560 6 0 0 0 4324 0 0 0 20 0 22 0 253797257 10060460032 439120 33554432000 1073741824 1073778376 140736548569168 140179585425760 140179696953662 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=22654/tid=22819] ppid=22652 vsize=9824668 CPUtime=43.25 cores=1,3,5,7
/proc/22654/task/22819/stat : 22819 (java) R 22652 22654 21231 0 -1 4202560 2 0 0 0 4325 0 0 0 20 0 22 0 253797257 10060460032 439120 33554432000 1073741824 1073778376 140736548569168 140179584371680 140179697306354 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22654/tid=22820] ppid=22652 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22654/task/22820/stat : 22820 (java) S 22652 22654 21231 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253797257 10060460032 439120 33554432000 1073741824 1073778376 140736548569168 140179586479400 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1797.66
Current children cumulated vsize (KiB) 9824668

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

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

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 22654 and gives
#  childrusage.ru_utime.tv_sec=1795
#  childrusage.ru_utime.tv_usec=58109
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=904710
# CPU time returned by wait4() is 1796.96
# while last known CPU time is 1797.66
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...


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

Real time (s): 1047.26
CPU time (s): 1800.05
CPU user time (s): 1798.56
CPU system time (s): 1.49
CPU usage (%): 171.882
Max. virtual memory (cumulated for all children) (KiB): 9826220

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.06
system time used= 1.90471
maximum resident set size= 1785368
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36387
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1096
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 34198
involuntary context switches= 71250

runsolver used 3.84241 second user time and 10.2424 second system time

The end

Launcher Data 

Begin job on node119 at 2012-05-24 18:09:26
IDJOB=3688170
IDBENCH=2868
IDSOLVER=2268
FILE ID=node119/3688170-1337875766
RUNJOBID= node119-1337871880-21248
PBS_JOBID= 14620085
Free space on /tmp= 71700 MiB

SOLVER NAME= SAT 4j PB RES // CP 2.3.2 Snapshot
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-m4.r.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3688170-1337875766/watcher-3688170-1337875766 -o /tmp/evaluation-result-3688170-1337875766/solver-3688170-1337875766 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar Both HOME/instance-3688170-1337875766.opb

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

MD5SUM BENCH= f69ecb5497caa964fbd82b9dc6698ac3
RANDOM SEED=1445735046

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        26047248 kB
Buffers:          203404 kB
Cached:          2774108 kB
SwapCached:            0 kB
Active:          3442380 kB
Inactive:        2614104 kB
Active(anon):    3081572 kB
Inactive(anon):        0 kB
Active(file):     360808 kB
Inactive(file):  2614104 kB
Unevictable:        7104 kB
Mlocked:            7104 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               660 kB
Writeback:             0 kB
AnonPages:       3110536 kB
Mapped:            21684 kB
Shmem:               200 kB
Slab:             625724 kB
SReclaimable:      67644 kB
SUnreclaim:       558080 kB
KernelStack:        1784 kB
PageTables:        10196 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    3368704 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3024896 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71652 MiB
End job on node119 at 2012-05-24 18:26:56