Trace number 3455059

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.0OPT64 249.397 139.385

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/routing/normalized-s4-4-3-2pb.opb
MD5SUM135acf1f05855c365b3d13b378debe22
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark64
Best CPU time to get the best result obtained on this benchmark0.052991
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 64
Optimality of the best value was proved YES
Number of variables648
Total number of constraints1952
Number of constraints which are clauses1928
Number of constraints which are cardinality constraints (but not clauses)24
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint27
Number of terms in the objective function 648
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 648
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 648
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.06/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.06/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.06/0.08	c See www.sat4j.org for details.
0.06/0.09	c version 2.3.1.v20110525
0.06/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.06/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.06/0.09	c java.vm.version	19.1-b02
0.06/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.06/0.09	c sun.arch.data.model	64
0.06/0.09	c java.version		1.6.0_24
0.06/0.09	c os.name		Linux
0.06/0.09	c os.version		2.6.18-164.el5
0.06/0.09	c os.arch		amd64
0.06/0.09	c Free memory 		9996466904
0.06/0.09	c Max memory 		10048897024
0.06/0.09	c Total memory 		10048897024
0.06/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-3455059-1307188579.opb
0.10/0.11	c reading problem ... 
0.25/0.29	c ... done. Wall clock time 0.182s.
0.25/0.29	c #vars     648
0.25/0.29	c #constraints  1952
0.25/0.29	c constraints type 
0.25/0.29	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1550
0.25/0.29	c org.sat4j.minisat.constraints.card.MinWatchCard => 24
0.25/0.29	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 378
0.25/0.29	c constraints type 
0.25/0.29	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 378
0.25/0.29	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1550
0.25/0.29	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 24
0.53/0.66	c cleaning 2494 clauses out of 4997 with flag 5000/5000
1.82/0.90	c cleaning 4248 clauses out of 8503 with flag 11000/11000
2.76/1.17	c cleaning 5625 clauses out of 11255 with flag 18000/18000
4.52/1.53	c cleaning 6814 clauses out of 13631 with flag 26001/26001
5.34/1.95	c cleaning 7906 clauses out of 15816 with flag 35000/35000
5.52/2.09	c  And the winner is CuttingPlanes
5.73/2.31	c SATISFIABLE
5.73/2.31	c OPTIMIZING...
5.73/2.31	c Got one! Elapsed wall clock time (in seconds):2.196
5.73/2.31	o 70
5.73/2.39	c cleaning 6650 clauses out of 13311 with flag 2000/40401
6.10/2.61	c cleaning 6325 clauses out of 12661 with flag 8000/46401
6.66/2.88	c cleaning 6665 clauses out of 13336 with flag 15000/53401
7.23/3.12	c  And the winner is CuttingPlanes
7.27/3.32	c Got one! Elapsed wall clock time (in seconds):3.204
7.27/3.32	o 68
7.64/3.51	c cleaning 8784 clauses out of 17582 with flag 5000/64313
8.05/3.76	c cleaning 7391 clauses out of 14798 with flag 11000/70313
8.59/4.05	c cleaning 7196 clauses out of 14406 with flag 18000/77313
9.16/4.39	c cleaning 7604 clauses out of 15212 with flag 26002/85315
9.94/4.75	c cleaning 8300 clauses out of 16607 with flag 35001/94314
10.89/5.20	c cleaning 9145 clauses out of 18307 with flag 45001/104314
11.65/5.62	c cleaning 9579 clauses out of 19161 with flag 55000/114313
12.41/6.08	c cleaning 9785 clauses out of 19582 with flag 65000/124313
13.35/6.54	c cleaning 9890 clauses out of 19798 with flag 75001/134314
14.12/6.98	c cleaning 9949 clauses out of 19907 with flag 85000/144313
14.86/7.38	c cleaning 9970 clauses out of 19958 with flag 95000/154313
15.81/7.81	c cleaning 9987 clauses out of 19988 with flag 105000/164313
16.94/8.41	c cleaning 9998 clauses out of 20003 with flag 115002/174315
17.89/8.92	c cleaning 9994 clauses out of 20003 with flag 125000/184313
18.84/9.44	c cleaning 9996 clauses out of 20009 with flag 135000/194313
19.78/9.91	c cleaning 9999 clauses out of 20013 with flag 145000/204313
20.71/10.42	c cleaning 10000 clauses out of 20015 with flag 155001/214314
21.65/10.98	c cleaning 9996 clauses out of 20014 with flag 165000/224313
22.82/11.51	c cleaning 10002 clauses out of 20019 with flag 175001/234314
23.76/12.09	c cleaning 10005 clauses out of 20016 with flag 185000/244313
24.88/12.65	c cleaning 9995 clauses out of 20012 with flag 195001/254314
26.02/13.20	c cleaning 10002 clauses out of 20018 with flag 205002/264315
27.15/13.80	c cleaning 9999 clauses out of 20014 with flag 215000/274313
28.29/14.40	c cleaning 10003 clauses out of 20017 with flag 225003/284316
29.41/15.02	c cleaning 10001 clauses out of 20013 with flag 235002/294315
30.35/15.55	c cleaning 9998 clauses out of 20011 with flag 245001/304314
31.47/16.14	c cleaning 10000 clauses out of 20014 with flag 255002/314315
32.60/16.79	c cleaning 9999 clauses out of 20012 with flag 265000/324313
33.90/17.40	c cleaning 10002 clauses out of 20013 with flag 275000/334313
34.62/17.91	c cleaning 10003 clauses out of 20011 with flag 285001/344314
35.74/18.49	c cleaning 9996 clauses out of 20006 with flag 295000/354313
37.28/19.25	c cleaning 9981 clauses out of 20010 with flag 305000/364313
38.36/19.83	c cleaning 10004 clauses out of 20029 with flag 315000/374313
39.48/20.40	c cleaning 10004 clauses out of 20025 with flag 325000/384313
40.40/20.99	c cleaning 10001 clauses out of 20022 with flag 335001/394314
41.92/21.70	c cleaning 9980 clauses out of 20021 with flag 345001/404314
43.03/22.39	c cleaning 10009 clauses out of 20042 with flag 355002/414315
44.34/23.02	c cleaning 10013 clauses out of 20033 with flag 365002/424315
45.46/23.62	c cleaning 10002 clauses out of 20021 with flag 375003/434316
46.57/24.24	c cleaning 10006 clauses out of 20018 with flag 385002/444315
47.86/24.96	c cleaning 10002 clauses out of 20014 with flag 395004/454317
48.98/25.56	c cleaning 9998 clauses out of 20009 with flag 405001/464314
50.29/26.29	c cleaning 10000 clauses out of 20012 with flag 415002/474315
51.60/26.94	c cleaning 9991 clauses out of 20010 with flag 425000/484313
52.30/27.30	c  And the winner is Resolution
52.33/27.66	c Got one! Elapsed wall clock time (in seconds):27.551
52.33/27.66	o 66
52.41/27.76	c cleaning 7513 clauses out of 15033 with flag 2000/489327
53.12/28.10	c cleaning 6755 clauses out of 13520 with flag 8000/495327
53.63/28.44	c cleaning 6875 clauses out of 13766 with flag 15001/502328
54.34/28.88	c cleaning 7440 clauses out of 14890 with flag 23000/510327
55.45/29.47	c cleaning 8215 clauses out of 16451 with flag 32001/519328
56.36/29.96	c cleaning 9112 clauses out of 18237 with flag 42002/529329
57.47/30.52	c cleaning 9553 clauses out of 19123 with flag 52000/539327
58.38/31.09	c cleaning 9777 clauses out of 19570 with flag 62000/549327
59.84/31.81	c cleaning 9889 clauses out of 19794 with flag 72001/559328
61.14/32.55	c cleaning 9945 clauses out of 19906 with flag 82002/569329
62.45/33.23	c cleaning 9970 clauses out of 19960 with flag 92001/579328
63.56/33.88	c cleaning 9971 clauses out of 19989 with flag 102000/589327
65.02/34.65	c cleaning 9999 clauses out of 20018 with flag 112000/599327
66.31/35.39	c cleaning 10003 clauses out of 20019 with flag 122000/609327
67.61/36.01	c cleaning 10001 clauses out of 20016 with flag 132000/619327
68.72/36.71	c cleaning 10000 clauses out of 20016 with flag 142001/629328
70.16/37.45	c cleaning 9994 clauses out of 20016 with flag 152001/639328
71.25/38.09	c cleaning 10003 clauses out of 20021 with flag 162000/649327
72.54/38.73	c cleaning 10006 clauses out of 20018 with flag 172000/659327
73.64/39.37	c cleaning 9991 clauses out of 20013 with flag 182001/669328
75.08/40.10	c cleaning 10004 clauses out of 20022 with flag 192001/679328
76.17/40.79	c cleaning 10003 clauses out of 20018 with flag 202001/689328
77.66/41.58	c cleaning 9999 clauses out of 20015 with flag 212001/699328
79.14/42.33	c cleaning 9980 clauses out of 20016 with flag 222001/709328
80.58/43.11	c cleaning 10013 clauses out of 20036 with flag 232001/719328
81.68/43.76	c cleaning 10004 clauses out of 20022 with flag 242000/729327
82.99/44.47	c cleaning 10001 clauses out of 20020 with flag 252002/739329
84.23/45.12	c cleaning 9989 clauses out of 20017 with flag 262000/749327
85.45/45.87	c  And the winner is Resolution
85.65/46.11	c Got one! Elapsed wall clock time (in seconds):45.996
85.65/46.11	o 64
86.29/46.47	c cleaning 11325 clauses out of 22662 with flag 5000/761961
87.17/46.98	c cleaning 8666 clauses out of 17337 with flag 11000/767961
88.25/47.50	c cleaning 7829 clauses out of 15671 with flag 18000/774961
89.13/48.05	c cleaning 7912 clauses out of 15842 with flag 26000/782961
90.35/48.73	c cleaning 8459 clauses out of 16931 with flag 35001/791962
91.81/49.50	c cleaning 9235 clauses out of 18472 with flag 45001/801962
93.08/50.27	c cleaning 9611 clauses out of 19237 with flag 55001/811962
94.35/51.00	c cleaning 9803 clauses out of 19625 with flag 65000/821961
95.94/51.83	c cleaning 9909 clauses out of 19824 with flag 75002/831963
97.20/52.59	c cleaning 9944 clauses out of 19913 with flag 85000/841961
98.86/53.46	c cleaning 9975 clauses out of 19969 with flag 95000/851961
100.33/54.28	c cleaning 9989 clauses out of 19993 with flag 105000/861961
101.71/55.07	c cleaning 9997 clauses out of 20004 with flag 115001/871962
103.16/55.89	c cleaning 9996 clauses out of 20006 with flag 125000/881961
104.62/56.66	c cleaning 9999 clauses out of 20010 with flag 135000/891961
106.07/57.47	c cleaning 9997 clauses out of 20013 with flag 145002/901963
107.66/58.34	c cleaning 9994 clauses out of 20015 with flag 155001/911962
109.31/59.25	c cleaning 9989 clauses out of 20021 with flag 165001/921962
110.96/60.14	c cleaning 10006 clauses out of 20032 with flag 175001/931962
112.44/60.98	c cleaning 10004 clauses out of 20026 with flag 185001/941962
113.98/61.85	c cleaning 10003 clauses out of 20021 with flag 195000/951961
115.43/62.65	c cleaning 10004 clauses out of 20018 with flag 205000/961961
116.87/63.45	c cleaning 10000 clauses out of 20014 with flag 215000/971961
118.13/64.20	c cleaning 9998 clauses out of 20015 with flag 225001/981962
119.88/65.10	c cleaning 9994 clauses out of 20017 with flag 235001/991962
121.33/65.92	c cleaning 10001 clauses out of 20022 with flag 245000/1001961
122.57/66.69	c cleaning 10004 clauses out of 20021 with flag 255000/1011961
124.24/67.55	c cleaning 9978 clauses out of 20017 with flag 265000/1021961
125.77/68.46	c cleaning 10008 clauses out of 20039 with flag 275000/1031961
127.01/69.19	c cleaning 10012 clauses out of 20031 with flag 285000/1041961
128.64/70.02	c cleaning 10001 clauses out of 20019 with flag 295000/1051961
130.11/70.84	c cleaning 9999 clauses out of 20018 with flag 305000/1061961
131.62/71.71	c cleaning 10002 clauses out of 20020 with flag 315001/1071962
132.86/72.47	c cleaning 10003 clauses out of 20018 with flag 325001/1081962
134.29/73.25	c cleaning 9986 clauses out of 20015 with flag 335001/1091962
135.73/74.11	c cleaning 10008 clauses out of 20029 with flag 345001/1101962
137.46/75.02	c cleaning 10004 clauses out of 20022 with flag 355002/1111963
138.70/75.79	c cleaning 10007 clauses out of 20016 with flag 365000/1121961
140.32/76.66	c cleaning 9979 clauses out of 20009 with flag 375000/1131961
142.34/77.71	c cleaning 9992 clauses out of 20030 with flag 385000/1141961
144.09/78.78	c cleaning 10011 clauses out of 20038 with flag 395000/1151961
145.91/79.73	c cleaning 10011 clauses out of 20027 with flag 405000/1161961
147.33/80.55	c cleaning 10005 clauses out of 20019 with flag 415003/1171964
148.75/81.35	c cleaning 9998 clauses out of 20011 with flag 425000/1181961
150.09/82.19	c cleaning 10000 clauses out of 20014 with flag 435001/1191962
151.54/82.93	c cleaning 9997 clauses out of 20013 with flag 445000/1201961
152.71/83.68	c cleaning 9996 clauses out of 20017 with flag 455001/1211962
154.32/84.52	c cleaning 9988 clauses out of 20021 with flag 465001/1221962
155.65/85.37	c cleaning 10007 clauses out of 20032 with flag 475000/1231961
157.08/86.20	c cleaning 10005 clauses out of 20026 with flag 485001/1241962
158.67/87.01	c cleaning 10005 clauses out of 20020 with flag 495000/1251961
160.28/87.96	c cleaning 9981 clauses out of 20015 with flag 505000/1261961
162.00/88.97	c cleaning 10011 clauses out of 20034 with flag 515000/1271961
163.40/89.74	c cleaning 10007 clauses out of 20024 with flag 525001/1281962
164.82/90.60	c cleaning 10003 clauses out of 20017 with flag 535001/1291962
166.42/91.45	c cleaning 10000 clauses out of 20013 with flag 545000/1301961
168.13/92.43	c cleaning 10001 clauses out of 20014 with flag 555001/1311962
169.73/93.39	c cleaning 9998 clauses out of 20012 with flag 565000/1321961
171.32/94.23	c cleaning 10002 clauses out of 20017 with flag 575003/1331964
172.92/95.18	c cleaning 9992 clauses out of 20013 with flag 585001/1341962
174.66/96.14	c cleaning 9979 clauses out of 20020 with flag 595000/1351961
176.44/97.16	c cleaning 10008 clauses out of 20041 with flag 605000/1361961
178.22/98.14	c cleaning 10002 clauses out of 20033 with flag 615000/1371961
180.01/99.14	c cleaning 9998 clauses out of 20031 with flag 625000/1381961
181.91/100.25	c cleaning 9993 clauses out of 20033 with flag 635000/1391961
183.71/101.28	c cleaning 9996 clauses out of 20040 with flag 645000/1401961
185.30/102.20	c cleaning 10011 clauses out of 20044 with flag 655000/1411961
186.88/103.09	c cleaning 10003 clauses out of 20034 with flag 665001/1421962
188.97/104.22	c cleaning 9998 clauses out of 20031 with flag 675001/1431962
190.76/105.21	c cleaning 9992 clauses out of 20033 with flag 685001/1441962
192.54/106.25	c cleaning 9998 clauses out of 20041 with flag 695001/1451962
194.52/107.31	c cleaning 9996 clauses out of 20043 with flag 705001/1461962
196.21/108.31	c cleaning 10018 clauses out of 20046 with flag 715000/1471961
197.58/109.18	c cleaning 9994 clauses out of 20029 with flag 725001/1481962
199.36/110.11	c cleaning 10009 clauses out of 20034 with flag 735000/1491961
200.74/110.97	c cleaning 10001 clauses out of 20025 with flag 745000/1501961
202.61/112.04	c cleaning 10004 clauses out of 20025 with flag 755001/1511962
203.99/112.84	c cleaning 10002 clauses out of 20021 with flag 765001/1521962
205.60/113.78	c cleaning 10001 clauses out of 20018 with flag 775000/1531961
207.14/114.62	c cleaning 10004 clauses out of 20017 with flag 785000/1541961
208.81/115.68	c cleaning 10002 clauses out of 20013 with flag 795000/1551961
210.58/116.64	c cleaning 10000 clauses out of 20013 with flag 805002/1561963
212.16/117.57	c cleaning 10000 clauses out of 20014 with flag 815003/1571964
213.92/118.51	c cleaning 10003 clauses out of 20012 with flag 825001/1581962
215.78/119.64	c cleaning 10004 clauses out of 20011 with flag 835003/1591964
217.36/120.58	c cleaning 9976 clauses out of 20004 with flag 845000/1601961
219.12/121.56	c cleaning 9993 clauses out of 20029 with flag 855001/1611962
220.92/122.53	c cleaning 9987 clauses out of 20035 with flag 865000/1621961
222.78/123.66	c cleaning 10021 clauses out of 20048 with flag 875000/1631961
224.74/124.75	c cleaning 9983 clauses out of 20028 with flag 885001/1641962
226.48/125.79	c cleaning 9996 clauses out of 20044 with flag 895000/1651961
228.22/126.81	c cleaning 10020 clauses out of 20049 with flag 905002/1661963
230.06/127.88	c cleaning 9999 clauses out of 20028 with flag 915001/1671962
232.02/128.91	c cleaning 10002 clauses out of 20028 with flag 925001/1681962
233.78/129.94	c cleaning 9996 clauses out of 20026 with flag 935001/1691962
235.53/130.94	c cleaning 9995 clauses out of 20029 with flag 945000/1701961
237.57/132.16	c cleaning 9993 clauses out of 20035 with flag 955001/1711962
239.33/133.18	c cleaning 9994 clauses out of 20042 with flag 965001/1721962
241.29/134.22	c cleaning 10020 clauses out of 20049 with flag 975002/1731963
243.04/135.25	c cleaning 9999 clauses out of 20027 with flag 985001/1741962
245.07/136.44	c cleaning 10003 clauses out of 20028 with flag 995001/1751962
247.03/137.50	c cleaning 10011 clauses out of 20024 with flag 1005001/1761962
248.17/138.26	c  And the winner is Resolution
249.31/139.35	c starts		: 320
249.31/139.35	c conflicts		: 1768842
249.31/139.35	c decisions		: 2195916
249.31/139.35	c propagations		: 98134583
249.31/139.35	c inspects		: 966811895
249.31/139.35	c shortcuts		: 0
249.31/139.35	c learnt literals	: 23
249.31/139.35	c learnt binary clauses	: 245
249.31/139.35	c learnt ternary clauses	: 1405
249.31/139.35	c learnt constraints	: 1768818
249.31/139.35	c ignored constraints	: 0
249.31/139.35	c root simplifications	: 0
249.31/139.35	c removed literals (reason simplification)	: 13387567
249.31/139.35	c reason swapping (by a shorter reason)	: 0
249.31/139.35	c Calls to reduceDB	: 182
249.31/139.35	c number of reductions to clauses (during analyze)	: 0
249.31/139.35	c number of learned constraints concerned by reduction	: 0
249.31/139.35	c number of learning phase by resolution	: 0
249.31/139.35	c number of learning phase by cutting planes	: 0
249.31/139.35	c speed (assignments/second)	: 1052550.898267818
249.31/139.35	c non guided choices	374
249.31/139.35	c learnt constraints type 
249.31/139.35	c constraints type 
249.31/139.35	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1550
249.31/139.35	c org.sat4j.minisat.constraints.card.MinWatchCard => 24
249.31/139.35	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 378
249.31/139.35	c constraints type 
249.31/139.35	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 378
249.31/139.35	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1550
249.31/139.35	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 24
249.31/139.35	s OPTIMUM FOUND
249.31/139.35	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 
249.31/139.35	c objective function=64
249.31/139.35	c Total wall clock time (in seconds): 139.238

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

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

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


[startup+0 s]
/proc/loadavg: 3.96 3.88 3.54 3/509 22083
/proc/meminfo: memFree=20115088/32951124 swapFree=46575304/67111528
[pid=22083] ppid=22081 vsize=35788 CPUtime=0 cores=0,2,4,6
/proc/22083/stat : 22083 (java) S 22081 22083 17058 0 -1 4202496 1315 0 0 0 0 0 0 0 25 0 2 0 563049186 36646912 1018 33554432000 1073741824 1073778376 140734203175952 18446744073709551615 268672464869 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/22083/statm: 8947 1018 782 9 0 386 0
[pid=22083/tid=22084] ppid=22081 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/22083/task/22084/stat : 22084 (java) R 22081 22083 17058 0 -1 4202560 5501 0 1 0 0 0 0 0 25 0 2 0 563049187 10694979584 6317 33554432000 1073741824 1073778376 140734203175952 18446744073709551615 268660356155 0 4 0 16784584 0 0 0 -1 4 0 0 0

[startup+0.0696081 s]
/proc/loadavg: 3.96 3.88 3.54 3/509 22083
/proc/meminfo: memFree=20115088/32951124 swapFree=46575304/67111528
[pid=22083] ppid=22081 vsize=10472952 CPUtime=0.06 cores=0,2,4,6
/proc/22083/stat : 22083 (java) S 22081 22083 17058 0 -1 4202496 11747 0 1 0 5 1 0 0 25 0 18 0 563049186 10724302848 11445 33554432000 1073741824 1073778376 140734203175952 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/22083/statm: 2618238 11445 1741 9 0 2608972 0
[pid=22083/tid=22084] ppid=22081 vsize=10472952 CPUtime=0.05 cores=0,2,4,6
/proc/22083/task/22084/stat : 22084 (java) R 22081 22083 17058 0 -1 4202560 10573 0 1 0 4 1 0 0 25 0 18 0 563049187 10724302848 11445 33554432000 1073741824 1073778376 140734203175952 18446744073709551615 47213742981307 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 10472952

[startup+0.100622 s]
/proc/loadavg: 3.96 3.88 3.54 3/509 22083
/proc/meminfo: memFree=20115088/32951124 swapFree=46575304/67111528
[pid=22083] ppid=22081 vsize=10539676 CPUtime=0.1 cores=0,2,4,6
/proc/22083/stat : 22083 (java) S 22081 22083 17058 0 -1 4202496 13013 0 1 0 9 1 0 0 25 0 18 0 563049186 10792628224 12711 33554432000 1073741824 1073778376 140734203175952 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/22083/statm: 2634919 12711 2092 9 0 2625653 0
[pid=22083/tid=22084] ppid=22081 vsize=10539676 CPUtime=0.08 cores=0,2,4,6
/proc/22083/task/22084/stat : 22084 (java) R 22081 22083 17058 0 -1 4202560 11087 0 1 0 7 1 0 0 25 0 18 0 563049187 10792628224 12711 33554432000 1073741824 1073778376 140734203175952 18446744073709551615 47213741768773 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) 10539676

[startup+0.317989 s]
/proc/loadavg: 3.96 3.88 3.54 3/509 22083
/proc/meminfo: memFree=20115088/32951124 swapFree=46575304/67111528
[pid=22083] ppid=22081 vsize=10543228 CPUtime=0.53 cores=0,2,4,6
/proc/22083/stat : 22083 (java) S 22081 22083 17058 0 -1 4202496 16322 0 1 0 51 2 0 0 25 0 21 0 563049186 10796265472 15374 33554432000 1073741824 1073778376 140734203175952 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/22083/statm: 2635807 15374 2211 9 0 2626541 0
[pid=22083/tid=22084] ppid=22081 vsize=10543228 CPUtime=0.28 cores=0,2,4,6
/proc/22083/task/22084/stat : 22084 (java) S 22081 22083 17058 0 -1 4202560 12978 0 1 0 27 1 0 0 25 0 21 0 563049187 10796265472 15374 33554432000 1073741824 1073778376 140734203175952 18446744073709551615 268672478720 0 4 0 16800975 18446604443046491328 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 10543228

[startup+0.908748 s]
/proc/loadavg: 3.96 3.88 3.54 3/509 22083
/proc/meminfo: memFree=20115088/32951124 swapFree=46575304/67111528
[pid=22083] ppid=22081 vsize=10551432 CPUtime=2.76 cores=0,2,4,6
/proc/22083/stat : 22083 (java) S 22081 22083 17058 0 -1 4202496 47277 0 1 0 271 5 0 0 25 0 22 0 563049186 10804666368 40679 33554432000 1073741824 1073778376 140734203175952 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/22083/statm: 2637858 40679 2254 9 0 2628592 0
[pid=22083/tid=22084] ppid=22081 vsize=10551432 CPUtime=0.28 cores=0,2,4,6
/proc/22083/task/22084/stat : 22084 (java) S 22081 22083 17058 0 -1 4202560 12978 0 1 0 27 1 0 0 20 0 22 0 563049187 10804666368 40679 33554432000 1073741824 1073778376 140734203175952 18446744073709551615 268672478720 0 4 0 16800975 18446604443046491328 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 10551432

[startup+1.51934 s]
/proc/loadavg: 4.20 3.93 3.56 5/531 22105
/proc/meminfo: memFree=19922524/32951124 swapFree=46575304/67111528
[pid=22083] ppid=22081 vsize=10561904 CPUtime=4.52 cores=0,2,4,6
/proc/22083/stat : 22083 (java) S 22081 22083 17058 0 -1 4202496 69836 0 1 0 443 9 0 0 25 0 22 0 563049186 10815389696 61460 33554432000 1073741824 1073778376 140734203175952 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/22083/statm: 2640476 61460 2256 9 0 2631210 0
[pid=22083/tid=22084] ppid=22081 vsize=10561904 CPUtime=0.28 cores=0,2,4,6
/proc/22083/task/22084/stat : 22084 (java) S 22081 22083 17058 0 -1 4202560 12978 0 1 0 27 1 0 0 15 0 22 0 563049187 10815389696 61460 33554432000 1073741824 1073778376 140734203175952 18446744073709551615 268672478720 0 4 0 16800975 18446604443046491328 0 0 -1 0 0 0 0
[pid=22083/tid=22086] ppid=22081 vsize=10561904 CPUtime=0 cores=0,2,4,6
/proc/22083/task/22086/stat : 22086 (java) S 22081 22083 17058 0 -1 4202560 157 0 0 0 0 0 0 0 15 0 22 0 563049189 10815389696 61461 33554432000 1073741824 1073778376 140734203175952 18446744073709551615 268672478105 0 4 0 16800975 18446604443046491328 0 0 -1 4 0 0 0
[pid=22083/tid=22087] ppid=22081 vsize=10561904 CPUtime=0 cores=0,2,4,6
/proc/22083/task/22087/stat : 22087 (java) S 22081 22083 17058 0 -1 4202560 136 0 0 0 0 0 0 0 15 0 22 0 563049189 10815389696 61461 33554432000 1073741824 1073778376 140734203175952 18446744073709551615 268672478105 0 4 0 16800975 18446604443046491328 0 0 -1 4 0 0 0
[pid=22083/tid=22088] ppid=22081 vsize=10561904 CPUtime=0 cores=0,2,4,6
/proc/22083/task/22088/stat : 22088 (java) S 22081 22083 17058 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 22 0 563049189 10815389696 61461 33554432000 1073741824 1073778376 140734203175952 18446744073709551615 268672478105 0 4 0 16800975 18446604443046491328 0 0 -1 4 0 0 0
[pid=22083/tid=22089] ppid=22081 vsize=10561904 CPUtime=0 cores=0,2,4,6
/proc/22083/task/22089/stat : 22089 (java) S 22081 22083 17058 0 -1 4202560 178 0 0 0 0 0 0 0 15 0 22 0 563049189 10815389696 61461 33554432000 1073741824 1073778376 140734203175952 18446744073709551615 268672478105 0 4 0 16800975 18446604443046491328 0 0 -1 2 0 0 0
[pid=22083/tid=22090] ppid=22081 vsize=10561904 CPUtime=0 cores=0,2,4,6
/proc/22083/task/22090/stat : 22090 (java) S 22081 22083 17058 0 -1 4202560 168 0 0 0 0 0 0 0 15 0 22 0 563049189 10815389696 61462 33554432000 1073741824 1073778376 140734203175952 18446744073709551615 268672478105 0 4 0 16800975 18446604443046491328 0 0 -1 4 0 0 0
[pid=22083/tid=22091] ppid=22081 vsize=10561904 CPUtime=0 cores=0,2,4,6
/proc/22083/task/22091/stat : 22091 (java) S 22081 22083 17058 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 22 0 563049189 10815389696 61466 33554432000 1073741824 1073778376 140734203175952 18446744073709551615 268672478105 0 4 0 16800975 18446604443046491328 0 0 -1 2 0 0 0
[pid=22083/tid=22092] ppid=22081 vsize=10561904 CPUtime=0 cores=0,2,4,6
/proc/22083/task/22092/stat : 22092 (java) S 22081 22083 17058 0 -1 4202560 42 0 0 0 0 0 0 0 15 0 22 0 563049189 10815389696 61467 33554432000 1073741824 1073778376 140734203175952 18446744073709551615 268672478105 0 4 0 16800975 18446604443046491328 0 0 -1 4 0 0 0
[pid=22083/tid=22093] ppid=22081 vsize=10561904 CPUtime=0 cores=0,2,4,6
/proc/22083/task/22093/stat : 22093 (java) S 22081 22083 17058 0 -1 4202560 266 0 0 0 0 0 0 0 15 0 22 0 563049189 10815389696 61470 33554432000 1073741824 1073778376 140734203175952 18446744073709551615 268672478105 0 4 0 16800975 18446604443046491328 0 0 -1 4 0 0 0
[pid=22083/tid=22094] ppid=22081 vsize=10561904 CPUtime=0.05 cores=0,2,4,6
/proc/22083/task/22094/stat : 22094 (java) S 22081 22083 17058 0 -1 4202560 1156 0 0 0 5 0 0 0 15 0 22 0 563049190 10815389696 61472 33554432000 1073741824 1073778376 140734203175952 18446744073709551615 268672478720 0 0 0 16800975 18446604443046491328 0 0 -1 0 0 0 0
[pid=22083/tid=22095] ppid=22081 vsize=10561904 CPUtime=0 cores=0,2,4,6
/proc/22083/task/22095/stat : 22095 (java) S 22081 22083 17058 0 -1 4202560 16 0 0 0 0 0 0 0 19 0 22 0 563049190 10815389696 61474 33554432000 1073741824 1073778376 140734203175952 18446744073709551615 268672478105 0 4 0 16800975 18446604443046491328 0 0 -1 0 0 0 0
[pid=22083/tid=22096] ppid=22081 vsize=10561904 CPUtime=0 cores=0,2,4,6
/proc/22083/task/22096/stat : 22096 (java) S 22081 22083 17058 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 22 0 563049190 10815389696 61476 33554432000 1073741824 1073778376 140734203175952 18446744073709551615 268672478105 0 4 0 16800975 18446604443046491328 0 0 -1 0 0 0 0
[pid=22083/tid=22097] ppid=22081 vsize=10561904 CPUtime=0 cores=0,2,4,6
/proc/22083/task/22097/stat : 22097 (java) S 22081 22083 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 563049193 10815389696 61478 33554432000 1073741824 1073778376 140734203175952 18446744073709551615 268672485809 0 4 0 16800975 18446604443046491328 0 0 -1 6 0 0 0
[pid=22083/tid=22098] ppid=22081 vsize=10561904 CPUtime=0.93 cores=0,2,4,6
/proc/22083/task/22098/stat : 22098 (java) S 22081 22083 17058 0 -1 4202560 10302 0 0 0 92 1 0 0 23 0 22 0 563049193 10815389696 61480 33554432000 1073741824 1073778376 140734203175952 18446744073709551615 268672478105 0 4 0 16800975 18446604443046491328 0 0 -1 2 0 0 0
[pid=22083/tid=22099] ppid=22081 vsize=10561904 CPUtime=0.99 cores=0,2,4,6
/proc/22083/task/22099/stat : 22099 (java) S 22081 22083 17058 0 -1 4202560 7529 0 0 0 99 0 0 0 16 0 22 0 563049193 10815389696 61482 33554432000 1073741824 1073778376 140734203175952 18446744073709551615 268672478105 0 4 0 16800975 18446604443046491328 0 0 -1 4 0 0 0
[pid=22083/tid=22100] ppid=22081 vsize=10561904 CPUtime=0 cores=0,2,4,6
/proc/22083/task/22100/stat : 22100 (java) S 22081 22083 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 563049193 10815389696 61484 33554432000 1073741824 1073778376 140734203175952 18446744073709551615 268672478105 0 4 0 16800975 18446604443046491328 0 0 -1 6 0 0 0
[pid=22083/tid=22101] ppid=22081 vsize=10561904 CPUtime=0 cores=0,2,4,6
/proc/22083/task/22101/stat : 22101 (java) S 22081 22083 17058 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 563049193 10815389696 61486 33554432000 1073741824 1073778376 140734203175952 18446744073709551615 268672478720 0 4 0 16800975 18446604443046491328 0 0 -1 0 0 0 0
[pid=22083/tid=22102] ppid=22081 vsize=10561904 CPUtime=1.14 cores=0,2,4,6
/proc/22083/task/22102/stat : 22102 (java) R 22081 22083 17058 0 -1 4202560 333 0 0 0 114 0 0 0 18 0 22 0 563049216 10815389696 61488 33554432000 1073741824 1073778376 140734203175952 18446744073709551615 46912505674192 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=22083/tid=22103] ppid=22081 vsize=10561904 CPUtime=1.05 cores=0,2,4,6
/proc/22083/task/22103/stat : 22103 (java) R 22081 22083 17058 0 -1 4202560 35453 0 0 0 101 4 0 0 25 0 22 0 563049216 10815389696 61491 33554432000 1073741824 1073778376 140734203175952 18446744073709551615 46912505795300 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22083/tid=22104] ppid=22081 vsize=10561904 CPUtime=0 cores=0,2,4,6
/proc/22083/task/22104/stat : 22104 (java) S 22081 22083 17058 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 563049217 10815389696 61493 33554432000 1073741824 1073778376 140734203175952 18446744073709551615 268672478720 0 4 0 16800975 18446604443046491328 0 0 -1 2 0 0 0
[pid=22083/tid=22105] ppid=22081 vsize=10561904 CPUtime=0 cores=0,2,4,6
/proc/22083/task/22105/stat : 22105 (java) S 22081 22083 17058 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 563049225 10815389696 61494 33554432000 1073741824 1073778376 140734203175952 18446744073709551615 268672478720 0 4 0 16800975 18446604443046491328 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.52
Current children cumulated vsize (KiB) 10561904

[startup+3.10109 s]
/proc/loadavg: 4.20 3.93 3.56 4/531 22108
/proc/meminfo: memFree=19754444/32951124 swapFree=46575304/67111528
[pid=22083] ppid=22081 vsize=10561904 CPUtime=7.23 cores=0,2,4,6
/proc/22083/stat : 22083 (java) S 22081 22083 17058 0 -1 4202496 100033 0 1 0 710 13 0 0 25 0 22 0 563049186 10815389696 91650 33554432000 1073741824 1073778376 140734203175952 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/22083/statm: 2640476 91650 2257 9 0 2631210 0
[pid=22083/tid=22084] ppid=22081 vsize=10561904 CPUtime=0.28 cores=0,2,4,6
/proc/22083/task/22084/stat : 22084 (java) S 22081 22083 17058 0 -1 4202560 12978 0 1 0 27 1 0 0 15 0 22 0 563049187 10815389696 91650 33554432000 1073741824 1073778376 140734203175952 18446744073709551615 268672478720 0 4 0 16800975 18446604443046491328 0 0 -1 2 0 0 0
[pid=22083/tid=22086] ppid=22081 vsize=10561904 CPUtime=0 cores=0,2,4,6
/proc/22083/task/22086/stat : 22086 (java) S 22081 22083 17058 0 -1 4202560 157 0 0 0 0 0 0 0 15 0 22 0 563049189 10815389696 91650 33554432000 1073741824 1073778376 140734203175952 18446744073709551615 268672478105 0 4 0 16800975 18446604443046491328 0 0 -1 4 0 0 0
[pid=22083/tid=22087] ppid=22081 vsize=10561904 CPUtime=0 cores=0,2,4,6
/proc/22083/task/22087/stat : 22087 (java) S 22081 22083 17058 0 -1 4202560 136 0 0 0 0 0 0 0 15 0 22 0 563049189 10815389696 91650 33554432000 1073741824 1073778376 140734203175952 18446744073709551615 268672478105 0 4 0 16800975 18446604443046491328 0 0 -1 6 0 0 0
[pid=22083/tid=22088] ppid=22081 vsize=10561904 CPUtime=0 cores=0,2,4,6
/proc/22083/task/22088/stat : 22088 (java) S 22081 22083 17058 0 -1 4202560 33 0 0 0 0 0 0 0 15 0 22 0 563049189 10815389696 91650 33554432000 1073741824 1073778376 140734203175952 18446744073709551615 268672478105 0 4 0 16800975 18446604443046491328 0 0 -1 2 0 0 0
[pid=22083/tid=22089] ppid=22081 vsize=10561904 CPUtime=0 cores=0,2,4,6
/proc/22083/task/22089/stat : 22089 (java) S 22081 22083 17058 0 -1 4202560 237 0 0 0 0 0 0 0 15 0 22 0 563049189 10815389696 91650 33554432000 1073741824 1073778376 140734203175952 18446744073709551615 268672478105 0 4 0 16800975 18446604443046491328 0 0 -1 4 0 0 0
[pid=22083/tid=22090] ppid=22081 vsize=10561904 CPUtime=0 cores=0,2,4,6
/proc/22083/task/22090/stat : 22090 (java) S 22081 22083 17058 0 -1 4202560 224 0 0 0 0 0 0 0 16 0 22 0 563049189 10815389696 91650 33554432000 1073741824 1073778376 140734203175952 18446744073709551615 268672478105 0 4 0 16800975 18446604443046491328 0 0 -1 6 0 0 0
[pid=22083/tid=22091] ppid=22081 vsize=10561904 CPUtime=0 cores=0,2,4,6
/proc/22083/task/22091/stat : 22091 (java) S 22081 22083 17058 0 -1 4202560 22 0 0 0 0 0 0 0 15 0 22 0 563049189 10815389696 91650 33554432000 1073741824 1073778376 140734203175952 18446744073709551615 268672478105 0 4 0 16800975 18446604443046491328 0 0 -1 2 0 0 0
[pid=22083/tid=22092] ppid=22081 vsize=10561904 CPUtime=0 cores=0,2,4,6
/proc/22083/task/22092/stat : 22092 (java) S 22081 22083 17058 0 -1 4202560 42 0 0 0 0 0 0 0 15 0 22 0 563049189 10815389696 91650 33554432000 1073741824 1073778376 140734203175952 18446744073709551615 268672478105 0 4 0 16800975 18446604443046491328 0 0 -1 4 0 0 0
[pid=22083/tid=22093] ppid=22081 vsize=10561904 CPUtime=0 cores=0,2,4,6
/proc/22083/task/22093/stat : 22093 (java) S 22081 22083 17058 0 -1 4202560 312 0 0 0 0 0 0 0 16 0 22 0 563049189 10815389696 91650 33554432000 1073741824 1073778376 140734203175952 18446744073709551615 268672478105 0 4 0 16800975 18446604443046491328 0 0 -1 2 0 0 0
[pid=22083/tid=22094] ppid=22081 vsize=10561904 CPUtime=0.19 cores=0,2,4,6
/proc/22083/task/22094/stat : 22094 (java) S 22081 22083 17058 0 -1 4202560 2274 0 0 0 19 0 0 0 16 0 22 0 563049190 10815389696 91650 33554432000 1073741824 1073778376 140734203175952 18446744073709551615 268672478720 0 0 0 16800975 18446604443046491328 0 0 -1 0 0 0 0
[pid=22083/tid=22095] ppid=22081 vsize=10561904 CPUtime=0 cores=0,2,4,6
/proc/22083/task/22095/stat : 22095 (java) S 22081 22083 17058 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 22 0 563049190 10815389696 91650 33554432000 1073741824 1073778376 140734203175952 18446744073709551615 268672478105 0 4 0 16800975 18446604443046491328 0 0 -1 4 0 0 0
[pid=22083/tid=22096] ppid=22081 vsize=10561904 CPUtime=0 cores=0,2,4,6
/proc/22083/task/22096/stat : 22096 (java) S 22081 22083 17058 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 563049190 10815389696 91650 33554432000 1073741824 1073778376 140734203175952 18446744073709551615 268672478105 0 4 0 16800975 18446604443046491328 0 0 -1 4 0 0 0
[pid=22083/tid=22097] ppid=22081 vsize=10561904 CPUtime=0 cores=0,2,4,6
/proc/22083/task/22097/stat : 22097 (java) S 22081 22083 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 563049193 10815389696 91650 33554432000 1073741824 1073778376 140734203175952 18446744073709551615 268672485809 0 4 0 16800975 18446604443046491328 0 0 -1 6 0 0 0
[pid=22083/tid=22098] ppid=22081 vsize=10561904 CPUtime=0.98 cores=0,2,4,6
/proc/22083/task/22098/stat : 22098 (java) S 22081 22083 17058 0 -1 4202560 10311 0 0 0 97 1 0 0 18 0 22 0 563049193 10815389696 91650 33554432000 1073741824 1073778376 140734203175952 18446744073709551615 268672478105 0 4 0 16800975 18446604443046491328 0 0 -1 6 0 0 0
[pid=22083/tid=22099] ppid=22081 vsize=10561904 CPUtime=1.06 cores=0,2,4,6
/proc/22083/task/22099/stat : 22099 (java) S 22081 22083 17058 0 -1 4202560 7532 0 0 0 106 0 0 0 15 0 22 0 563049193 10815389696 91650 33554432000 1073741824 1073778376 140734203175952 18446744073709551615 268672478105 0 4 0 16800975 18446604443046491328 0 0 -1 6 0 0 0
[pid=22083/tid=22100] ppid=22081 vsize=10561904 CPUtime=0 cores=0,2,4,6
/proc/22083/task/22100/stat : 22100 (java) S 22081 22083 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 563049193 10815389696 91650 33554432000 1073741824 1073778376 140734203175952 18446744073709551615 268672478105 0 4 0 16800975 18446604443046491328 0 0 -1 6 0 0 0
[pid=22083/tid=22101] ppid=22081 vsize=10561904 CPUtime=0 cores=0,2,4,6
/proc/22083/task/22101/stat : 22101 (java) S 22081 22083 17058 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 563049193 10815389696 91650 33554432000 1073741824 1073778376 140734203175952 18446744073709551615 268672478720 0 4 0 16800975 18446604443046491328 0 0 -1 4 0 0 0
[pid=22083/tid=22105] ppid=22081 vsize=10561904 CPUtime=0 cores=0,2,4,6
/proc/22083/task/22105/stat : 22105 (java) S 22081 22083 17058 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 563049225 10815389696 91650 33554432000 1073741824 1073778376 140734203175952 18446744073709551615 268672478720 0 4 0 16800975 18446604443046491328 0 0 -1 0 0 0 0
[pid=22083/tid=22106] ppid=22081 vsize=10561904 CPUtime=0.69 cores=0,2,4,6
/proc/22083/task/22106/stat : 22106 (java) R 22081 22083 17058 0 -1 4202560 4 0 0 0 69 0 0 0 16 0 22 0 563049418 10815389696 91650 33554432000 1073741824 1073778376 140734203175952 18446744073709551615 46912505674771 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22083/tid=22107] ppid=22081 vsize=10561904 CPUtime=0.68 cores=0,2,4,6
/proc/22083/task/22107/stat : 22107 (java) R 22081 22083 17058 0 -1 4202560 5663 0 0 0 68 0 0 0 17 0 22 0 563049418 10815389696 91650 33554432000 1073741824 1073778376 140734203175952 18446744073709551615 46912505762792 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=22083/tid=22108] ppid=22081 vsize=10561904 CPUtime=0 cores=0,2,4,6
/proc/22083/task/22108/stat : 22108 (java) S 22081 22083 17058 0 -1 4202560 0 0 0 0 0 0 0 0 17 0 22 0 563049418 10815389696 91650 33554432000 1073741824 1073778376 140734203175952 18446744073709551615 268672478720 0 4 0 16800975 18446604443046491328 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 7.23
Current children cumulated vsize (KiB) 10561904

[startup+6.30152 s]
/proc/loadavg: 4.19 3.93 3.56 5/531 22111
/proc/meminfo: memFree=19689344/32951124 swapFree=46575304/67111528
[pid=22083] ppid=22081 vsize=10557936 CPUtime=12.95 cores=0,2,4,6
/proc/22083/stat : 22083 (java) S 22081 22083 17058 0 -1 4202496 118278 0 1 0 1280 15 0 0 25 0 22 0 563049186 10811326464 107417 33554432000 1073741824 1073778376 140734203175952 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/22083/statm: 2639484 107417 2257 9 0 2630218 0
[pid=22083/tid=22084] ppid=22081 vsize=10557936 CPUtime=0.29 cores=0,2,4,6
/proc/22083/task/22084/stat : 22084 (java) S 22081 22083 17058 0 -1 4202560 12978 0 1 0 28 1 0 0 15 0 22 0 563049187 10811326464 107417 33554432000 1073741824 1073778376 140734203175952 18446744073709551615 268672478720 0 4 0 16800975 18446604443046491328 0 0 -1 6 0 0 0
[pid=22083/tid=22086] ppid=22081 vsize=10557936 CPUtime=0.01 cores=0,2,4,6
/proc/22083/task/22086/stat : 22086 (java) S 22081 22083 17058 0 -1 4202560 158 0 0 0 1 0 0 0 15 0 22 0 563049189 10811326464 107417 33554432000 1073741824 1073778376 140734203175952 18446744073709551615 268672478105 0 4 0 16800975 18446604443046491328 0 0 -1 2 0 0 0
[pid=22083/tid=22087] ppid=22081 vsize=10557936 CPUtime=0.01 cores=0,2,4,6
/proc/22083/task/22087/stat : 22087 (java) S 22081 22083 17058 0 -1 4202560 136 0 0 0 1 0 0 0 16 0 22 0 563049189 10811326464 107417 33554432000 1073741824 1073778376 140734203175952 18446744073709551615 268672478105 0 4 0 16800975 18446604443046491328 0 0 -1 4 0 0 0
[pid=22083/tid=22088] ppid=22081 vsize=10557936 CPUtime=0.01 cores=0,2,4,6
/proc/22083/task/22088/stat : 22088 (java) S 22081 22083 17058 0 -1 4202560 33 0 0 0 1 0 0 0 15 0 22 0 563049189 10811326464 107417 33554432000 1073741824 1073778376 140734203175952 18446744073709551615 268672478105 0 4 0 16800975 18446604443046491328 0 0 -1 4 0 0 0
[pid=22083/tid=22089] ppid=22081 vsize=10557936 CPUtime=0.01 cores=0,2,4,6
/proc/22083/task/22089/stat : 22089 (java) S 22081 22083 17058 0 -1 4202560 240 0 0 0 1 0 0 0 16 0 22 0 563049189 10811326464 107417 33554432000 1073741824 1073778376 140734203175952 18446744073709551615 268672478105 0 4 0 16800975 18446604443046491328 0 0 -1 6 0 0 0
[pid=22083/tid=22090] ppid=22081 vsize=10557936 CPUtime=0.01 cores=0,2,4,6
/proc/22083/task/22090/stat : 22090 (java) S 22081 22083 17058 0 -1 4202560 224 0 0 0 1 0 0 0 15 0 22 0 563049189 10811326464 107417 33554432000 1073741824 1073778376 140734203175952 18446744073709551615 268672478105 0 4 0 16800975 18446604443046491328 0 0 -1 2 0 0 0
[pid=22083/tid=22091] ppid=22081 vsize=10557936 CPUtime=0.01 cores=0,2,4,6
/proc/22083/task/22091/stat : 22091 (java) S 22081 22083 17058 0 -1 4202560 22 0 0 0 1 0 0 0 15 0 22 0 563049189 10811326464 107417 33554432000 1073741824 1073778376 140734203175952 18446744073709551615 268672478105 0 4 0 16800975 18446604443046491328 0 0 -1 6 0 0 0
[pid=22083/tid=22092] ppid=22081 vsize=10557936 CPUtime=0 cores=0,2,4,6
/proc/22083/task/22092/stat : 22092 (java) S 22081 22083 17058 0 -1 4202560 42 0 0 0 0 0 0 0 16 0 22 0 563049189 10811326464 107417 33554432000 1073741824 1073778376 140734203175952 18446744073709551615 268672478105 0 4 0 16800975 18446604443046491328 0 0 -1 6 0 0 0
[pid=22083/tid=22093] ppid=22081 vsize=10557936 CPUtime=0.01 cores=0,2,4,6
/proc/22083/task/22093/stat : 22093 (java) S 22081 22083 17058 0 -1 4202560 312 0 0 0 1 0 0 0 15 0 22 0 563049189 10811326464 107417 33554432000 1073741824 1073778376 140734203175952 18446744073709551615 268672478105 0 4 0 16800975 18446604443046491328 0 0 -1 2 0 0 0

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

/proc/22083/task/22089/stat : 22089 (java) S 22081 22083 17058 0 -1 4202560 256 0 0 0 30 0 0 0 15 0 22 0 563049189 10811326464 166572 33554432000 1073741824 1073778376 140734203175952 18446744073709551615 268672478105 0 4 0 16800975 18446604443046491328 0 0 -1 2 0 0 0
[pid=22083/tid=22090] ppid=22081 vsize=10557936 CPUtime=0.31 cores=0,2,4,6
/proc/22083/task/22090/stat : 22090 (java) S 22081 22083 17058 0 -1 4202560 254 0 0 0 31 0 0 0 16 0 22 0 563049189 10811326464 166572 33554432000 1073741824 1073778376 140734203175952 18446744073709551615 268672478105 0 4 0 16800975 18446604443046491328 0 0 -1 2 0 0 0
[pid=22083/tid=22091] ppid=22081 vsize=10557936 CPUtime=0.32 cores=0,2,4,6
/proc/22083/task/22091/stat : 22091 (java) S 22081 22083 17058 0 -1 4202560 74 0 0 0 32 0 0 0 15 0 22 0 563049189 10811326464 166572 33554432000 1073741824 1073778376 140734203175952 18446744073709551615 268672478105 0 4 0 16800975 18446604443046491328 0 0 -1 4 0 0 0
[pid=22083/tid=22092] ppid=22081 vsize=10557936 CPUtime=0.33 cores=0,2,4,6
/proc/22083/task/22092/stat : 22092 (java) S 22081 22083 17058 0 -1 4202560 82 0 0 0 33 0 0 0 16 0 22 0 563049189 10811326464 166572 33554432000 1073741824 1073778376 140734203175952 18446744073709551615 268672478105 0 4 0 16800975 18446604443046491328 0 0 -1 4 0 0 0
[pid=22083/tid=22093] ppid=22081 vsize=10557936 CPUtime=0.3 cores=0,2,4,6
/proc/22083/task/22093/stat : 22093 (java) S 22081 22083 17058 0 -1 4202560 338 0 0 0 30 0 0 0 16 0 22 0 563049189 10811326464 166572 33554432000 1073741824 1073778376 140734203175952 18446744073709551615 268672478105 0 4 0 16800975 18446604443046491328 0 0 -1 6 0 0 0
[pid=22083/tid=22094] ppid=22081 vsize=10557936 CPUtime=28.94 cores=0,2,4,6
/proc/22083/task/22094/stat : 22094 (java) S 22081 22083 17058 0 -1 4202560 31977 0 0 0 2889 5 0 0 16 0 22 0 563049190 10811326464 166572 33554432000 1073741824 1073778376 140734203175952 18446744073709551615 268672478720 0 0 0 16800975 18446604443046491328 0 0 -1 0 0 0 0
[pid=22083/tid=22095] ppid=22081 vsize=10557936 CPUtime=0 cores=0,2,4,6
/proc/22083/task/22095/stat : 22095 (java) S 22081 22083 17058 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 22 0 563049190 10811326464 166572 33554432000 1073741824 1073778376 140734203175952 18446744073709551615 268672478105 0 4 0 16800975 18446604443046491328 0 0 -1 6 0 0 0
[pid=22083/tid=22096] ppid=22081 vsize=10557936 CPUtime=0 cores=0,2,4,6
/proc/22083/task/22096/stat : 22096 (java) S 22081 22083 17058 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 563049190 10811326464 166572 33554432000 1073741824 1073778376 140734203175952 18446744073709551615 268672478105 0 4 0 16800975 18446604443046491328 0 0 -1 6 0 0 0
[pid=22083/tid=22097] ppid=22081 vsize=10557936 CPUtime=0 cores=0,2,4,6
/proc/22083/task/22097/stat : 22097 (java) S 22081 22083 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 563049193 10811326464 166572 33554432000 1073741824 1073778376 140734203175952 18446744073709551615 268672485809 0 4 0 16800975 18446604443046491328 0 0 -1 6 0 0 0
[pid=22083/tid=22098] ppid=22081 vsize=10557936 CPUtime=1.19 cores=0,2,4,6
/proc/22083/task/22098/stat : 22098 (java) S 22081 22083 17058 0 -1 4202560 10336 0 0 0 118 1 0 0 15 0 22 0 563049193 10811326464 166572 33554432000 1073741824 1073778376 140734203175952 18446744073709551615 268672478105 0 4 0 16800975 18446604443046491328 0 0 -1 0 0 0 0
[pid=22083/tid=22099] ppid=22081 vsize=10557936 CPUtime=1.1 cores=0,2,4,6
/proc/22083/task/22099/stat : 22099 (java) S 22081 22083 17058 0 -1 4202560 7535 0 0 0 110 0 0 0 15 0 22 0 563049193 10811326464 166572 33554432000 1073741824 1073778376 140734203175952 18446744073709551615 268672478105 0 4 0 16800975 18446604443046491328 0 0 -1 6 0 0 0
[pid=22083/tid=22100] ppid=22081 vsize=10557936 CPUtime=0 cores=0,2,4,6
/proc/22083/task/22100/stat : 22100 (java) S 22081 22083 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 563049193 10811326464 166572 33554432000 1073741824 1073778376 140734203175952 18446744073709551615 268672478105 0 4 0 16800975 18446604443046491328 0 0 -1 6 0 0 0
[pid=22083/tid=22101] ppid=22081 vsize=10557936 CPUtime=0 cores=0,2,4,6
/proc/22083/task/22101/stat : 22101 (java) S 22081 22083 17058 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 22 0 563049193 10811326464 166572 33554432000 1073741824 1073778376 140734203175952 18446744073709551615 268672478720 0 4 0 16800975 18446604443046491328 0 0 -1 0 0 0 0
[pid=22083/tid=22111] ppid=22081 vsize=10557936 CPUtime=0 cores=0,2,4,6
/proc/22083/task/22111/stat : 22111 (java) S 22081 22083 17058 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 563049519 10811326464 166572 33554432000 1073741824 1073778376 140734203175952 18446744073709551615 268672478720 0 4 0 16800975 18446604443046491328 0 0 -1 4 0 0 0
[pid=22083/tid=22117] ppid=22081 vsize=10557936 CPUtime=68.87 cores=0,2,4,6
/proc/22083/task/22117/stat : 22117 (java) R 22081 22083 17058 0 -1 4202560 13 0 0 0 6887 0 0 0 15 0 22 0 563053798 10811326464 166572 33554432000 1073741824 1073778376 140734203175952 18446744073709551615 46912505635647 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=22083/tid=22118] ppid=22081 vsize=10557936 CPUtime=68.9 cores=0,2,4,6
/proc/22083/task/22118/stat : 22118 (java) R 22081 22083 17058 0 -1 4202560 11198 0 0 0 6888 2 0 0 15 0 22 0 563053798 10811326464 166572 33554432000 1073741824 1073778376 140734203175952 18446744073709551615 46912505837788 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=22083/tid=22119] ppid=22081 vsize=10557936 CPUtime=0 cores=0,2,4,6
/proc/22083/task/22119/stat : 22119 (java) S 22081 22083 17058 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 563053799 10811326464 166572 33554432000 1073741824 1073778376 140734203175952 18446744073709551615 268672478720 0 4 0 16800975 18446604443046491328 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 247.61
Current children cumulated vsize (KiB) 10557936

[startup+138.701 s]
/proc/loadavg: 3.71 3.86 3.58 4/531 22121
/proc/meminfo: memFree=19410836/32951124 swapFree=46575304/67111528
[pid=22083] ppid=22081 vsize=10557936 CPUtime=248.71 cores=0,2,4,6
/proc/22083/stat : 22083 (java) S 22081 22083 17058 0 -1 4202496 177635 0 1 0 24845 26 0 0 25 0 19 0 563049186 10811326464 166573 33554432000 1073741824 1073778376 140734203175952 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/22083/statm: 2639484 166573 2258 9 0 2630218 0
[pid=22083/tid=22084] ppid=22081 vsize=10557936 CPUtime=0.57 cores=0,2,4,6
/proc/22083/task/22084/stat : 22084 (java) R 22081 22083 17058 0 -1 4202560 13030 0 1 0 56 1 0 0 16 0 19 0 563049187 10811326464 166573 33554432000 1073741824 1073778376 140734203175952 18446744073709551615 46912505366576 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=22083/tid=22086] ppid=22081 vsize=10557936 CPUtime=0.32 cores=0,2,4,6
/proc/22083/task/22086/stat : 22086 (java) S 22081 22083 17058 0 -1 4202560 190 0 0 0 32 0 0 0 15 0 19 0 563049189 10811326464 166573 33554432000 1073741824 1073778376 140734203175952 18446744073709551615 268672478105 0 4 0 16800975 18446604443046491328 0 0 -1 6 0 0 0
[pid=22083/tid=22087] ppid=22081 vsize=10557936 CPUtime=0.29 cores=0,2,4,6
/proc/22083/task/22087/stat : 22087 (java) S 22081 22083 17058 0 -1 4202560 207 0 0 0 29 0 0 0 15 0 19 0 563049189 10811326464 166573 33554432000 1073741824 1073778376 140734203175952 18446744073709551615 268672478105 0 4 0 16800975 18446604443046491328 0 0 -1 4 0 0 0
[pid=22083/tid=22088] ppid=22081 vsize=10557936 CPUtime=0.34 cores=0,2,4,6
/proc/22083/task/22088/stat : 22088 (java) S 22081 22083 17058 0 -1 4202560 91 0 0 0 34 0 0 0 15 0 19 0 563049189 10811326464 166573 33554432000 1073741824 1073778376 140734203175952 18446744073709551615 268672478105 0 4 0 16800975 18446604443046491328 0 0 -1 6 0 0 0
[pid=22083/tid=22089] ppid=22081 vsize=10557936 CPUtime=0.3 cores=0,2,4,6
/proc/22083/task/22089/stat : 22089 (java) S 22081 22083 17058 0 -1 4202560 256 0 0 0 30 0 0 0 15 0 19 0 563049189 10811326464 166573 33554432000 1073741824 1073778376 140734203175952 18446744073709551615 268672478105 0 4 0 16800975 18446604443046491328 0 0 -1 2 0 0 0
[pid=22083/tid=22090] ppid=22081 vsize=10557936 CPUtime=0.31 cores=0,2,4,6
/proc/22083/task/22090/stat : 22090 (java) S 22081 22083 17058 0 -1 4202560 254 0 0 0 31 0 0 0 16 0 19 0 563049189 10811326464 166573 33554432000 1073741824 1073778376 140734203175952 18446744073709551615 268672478105 0 4 0 16800975 18446604443046491328 0 0 -1 2 0 0 0
[pid=22083/tid=22091] ppid=22081 vsize=10557936 CPUtime=0.32 cores=0,2,4,6
/proc/22083/task/22091/stat : 22091 (java) S 22081 22083 17058 0 -1 4202560 74 0 0 0 32 0 0 0 15 0 19 0 563049189 10811326464 166573 33554432000 1073741824 1073778376 140734203175952 18446744073709551615 268672478105 0 4 0 16800975 18446604443046491328 0 0 -1 4 0 0 0
[pid=22083/tid=22092] ppid=22081 vsize=10557936 CPUtime=0.33 cores=0,2,4,6
/proc/22083/task/22092/stat : 22092 (java) S 22081 22083 17058 0 -1 4202560 82 0 0 0 33 0 0 0 16 0 19 0 563049189 10811326464 166573 33554432000 1073741824 1073778376 140734203175952 18446744073709551615 268672478105 0 4 0 16800975 18446604443046491328 0 0 -1 4 0 0 0
[pid=22083/tid=22093] ppid=22081 vsize=10557936 CPUtime=0.3 cores=0,2,4,6
/proc/22083/task/22093/stat : 22093 (java) S 22081 22083 17058 0 -1 4202560 338 0 0 0 30 0 0 0 16 0 19 0 563049189 10811326464 166573 33554432000 1073741824 1073778376 140734203175952 18446744073709551615 268672478105 0 4 0 16800975 18446604443046491328 0 0 -1 6 0 0 0
[pid=22083/tid=22094] ppid=22081 vsize=10557936 CPUtime=28.94 cores=0,2,4,6
/proc/22083/task/22094/stat : 22094 (java) S 22081 22083 17058 0 -1 4202560 31977 0 0 0 2889 5 0 0 16 0 19 0 563049190 10811326464 166573 33554432000 1073741824 1073778376 140734203175952 18446744073709551615 268672478720 0 0 0 16800975 18446604443046491328 0 0 -1 0 0 0 0
[pid=22083/tid=22095] ppid=22081 vsize=10557936 CPUtime=0 cores=0,2,4,6
/proc/22083/task/22095/stat : 22095 (java) S 22081 22083 17058 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 563049190 10811326464 166573 33554432000 1073741824 1073778376 140734203175952 18446744073709551615 268672478105 0 4 0 16800975 18446604443046491328 0 0 -1 6 0 0 0
[pid=22083/tid=22096] ppid=22081 vsize=10557936 CPUtime=0 cores=0,2,4,6
/proc/22083/task/22096/stat : 22096 (java) S 22081 22083 17058 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 563049190 10811326464 166573 33554432000 1073741824 1073778376 140734203175952 18446744073709551615 268672478105 0 4 0 16800975 18446604443046491328 0 0 -1 6 0 0 0
[pid=22083/tid=22097] ppid=22081 vsize=10557936 CPUtime=0 cores=0,2,4,6
/proc/22083/task/22097/stat : 22097 (java) S 22081 22083 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 563049193 10811326464 166573 33554432000 1073741824 1073778376 140734203175952 18446744073709551615 268672485809 0 4 0 16800975 18446604443046491328 0 0 -1 6 0 0 0
[pid=22083/tid=22098] ppid=22081 vsize=10557936 CPUtime=1.19 cores=0,2,4,6
/proc/22083/task/22098/stat : 22098 (java) S 22081 22083 17058 0 -1 4202560 10337 0 0 0 118 1 0 0 15 0 19 0 563049193 10811326464 166573 33554432000 1073741824 1073778376 140734203175952 18446744073709551615 268672478105 0 4 0 16800975 18446604443046491328 0 0 -1 0 0 0 0
[pid=22083/tid=22099] ppid=22081 vsize=10557936 CPUtime=1.11 cores=0,2,4,6
/proc/22083/task/22099/stat : 22099 (java) S 22081 22083 17058 0 -1 4202560 7536 0 0 0 111 0 0 0 15 0 19 0 563049193 10811326464 166573 33554432000 1073741824 1073778376 140734203175952 18446744073709551615 268672478105 0 4 0 16800975 18446604443046491328 0 0 -1 6 0 0 0
[pid=22083/tid=22100] ppid=22081 vsize=10557936 CPUtime=0 cores=0,2,4,6
/proc/22083/task/22100/stat : 22100 (java) S 22081 22083 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 563049193 10811326464 166573 33554432000 1073741824 1073778376 140734203175952 18446744073709551615 268672478105 0 4 0 16800975 18446604443046491328 0 0 -1 6 0 0 0
[pid=22083/tid=22101] ppid=22081 vsize=10557936 CPUtime=0 cores=0,2,4,6
/proc/22083/task/22101/stat : 22101 (java) S 22081 22083 17058 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 19 0 563049193 10811326464 166573 33554432000 1073741824 1073778376 140734203175952 18446744073709551615 268672478720 0 4 0 16800975 18446604443046491328 0 0 -1 0 0 0 0
[pid=22083/tid=22111] ppid=22081 vsize=10557936 CPUtime=0 cores=0,2,4,6
/proc/22083/task/22111/stat : 22111 (java) S 22081 22083 17058 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 19 0 563049519 10811326464 166573 33554432000 1073741824 1073778376 140734203175952 18446744073709551615 268672478720 0 4 0 16800975 18446604443046491328 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 248.71
Current children cumulated vsize (KiB) 10557936

[startup+139.101 s]
/proc/loadavg: 3.71 3.86 3.58 4/528 22121
/proc/meminfo: memFree=19410860/32951124 swapFree=46575304/67111528
[pid=22083] ppid=22081 vsize=10557936 CPUtime=249.11 cores=0,2,4,6
/proc/22083/stat : 22083 (java) S 22081 22083 17058 0 -1 4202496 177635 0 1 0 24885 26 0 0 25 0 19 0 563049186 10811326464 166573 33554432000 1073741824 1073778376 140734203175952 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/22083/statm: 2639484 166573 2258 9 0 2630218 0
[pid=22083/tid=22084] ppid=22081 vsize=10557936 CPUtime=0.97 cores=0,2,4,6
/proc/22083/task/22084/stat : 22084 (java) R 22081 22083 17058 0 -1 4202560 13030 0 1 0 96 1 0 0 16 0 19 0 563049187 10811326464 166573 33554432000 1073741824 1073778376 140734203175952 18446744073709551615 46912505366582 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=22083/tid=22086] ppid=22081 vsize=10557936 CPUtime=0.32 cores=0,2,4,6
/proc/22083/task/22086/stat : 22086 (java) S 22081 22083 17058 0 -1 4202560 190 0 0 0 32 0 0 0 15 0 19 0 563049189 10811326464 166573 33554432000 1073741824 1073778376 140734203175952 18446744073709551615 268672478105 0 4 0 16800975 18446604443046491328 0 0 -1 6 0 0 0
[pid=22083/tid=22087] ppid=22081 vsize=10557936 CPUtime=0.29 cores=0,2,4,6
/proc/22083/task/22087/stat : 22087 (java) S 22081 22083 17058 0 -1 4202560 207 0 0 0 29 0 0 0 15 0 19 0 563049189 10811326464 166573 33554432000 1073741824 1073778376 140734203175952 18446744073709551615 268672478105 0 4 0 16800975 18446604443046491328 0 0 -1 4 0 0 0
[pid=22083/tid=22088] ppid=22081 vsize=10557936 CPUtime=0.34 cores=0,2,4,6
/proc/22083/task/22088/stat : 22088 (java) S 22081 22083 17058 0 -1 4202560 91 0 0 0 34 0 0 0 15 0 19 0 563049189 10811326464 166573 33554432000 1073741824 1073778376 140734203175952 18446744073709551615 268672478105 0 4 0 16800975 18446604443046491328 0 0 -1 6 0 0 0
[pid=22083/tid=22089] ppid=22081 vsize=10557936 CPUtime=0.3 cores=0,2,4,6
/proc/22083/task/22089/stat : 22089 (java) S 22081 22083 17058 0 -1 4202560 256 0 0 0 30 0 0 0 15 0 19 0 563049189 10811326464 166573 33554432000 1073741824 1073778376 140734203175952 18446744073709551615 268672478105 0 4 0 16800975 18446604443046491328 0 0 -1 2 0 0 0
[pid=22083/tid=22090] ppid=22081 vsize=10557936 CPUtime=0.31 cores=0,2,4,6
/proc/22083/task/22090/stat : 22090 (java) S 22081 22083 17058 0 -1 4202560 254 0 0 0 31 0 0 0 16 0 19 0 563049189 10811326464 166573 33554432000 1073741824 1073778376 140734203175952 18446744073709551615 268672478105 0 4 0 16800975 18446604443046491328 0 0 -1 2 0 0 0
[pid=22083/tid=22091] ppid=22081 vsize=10557936 CPUtime=0.32 cores=0,2,4,6
/proc/22083/task/22091/stat : 22091 (java) S 22081 22083 17058 0 -1 4202560 74 0 0 0 32 0 0 0 15 0 19 0 563049189 10811326464 166573 33554432000 1073741824 1073778376 140734203175952 18446744073709551615 268672478105 0 4 0 16800975 18446604443046491328 0 0 -1 4 0 0 0
[pid=22083/tid=22092] ppid=22081 vsize=10557936 CPUtime=0.33 cores=0,2,4,6
/proc/22083/task/22092/stat : 22092 (java) S 22081 22083 17058 0 -1 4202560 82 0 0 0 33 0 0 0 16 0 19 0 563049189 10811326464 166573 33554432000 1073741824 1073778376 140734203175952 18446744073709551615 268672478105 0 4 0 16800975 18446604443046491328 0 0 -1 4 0 0 0
[pid=22083/tid=22093] ppid=22081 vsize=10557936 CPUtime=0.3 cores=0,2,4,6
/proc/22083/task/22093/stat : 22093 (java) S 22081 22083 17058 0 -1 4202560 338 0 0 0 30 0 0 0 16 0 19 0 563049189 10811326464 166573 33554432000 1073741824 1073778376 140734203175952 18446744073709551615 268672478105 0 4 0 16800975 18446604443046491328 0 0 -1 6 0 0 0
[pid=22083/tid=22094] ppid=22081 vsize=10557936 CPUtime=28.94 cores=0,2,4,6
/proc/22083/task/22094/stat : 22094 (java) S 22081 22083 17058 0 -1 4202560 31977 0 0 0 2889 5 0 0 15 0 19 0 563049190 10811326464 166573 33554432000 1073741824 1073778376 140734203175952 18446744073709551615 268672478720 0 0 0 16800975 18446604443046491328 0 0 -1 0 0 0 0
[pid=22083/tid=22095] ppid=22081 vsize=10557936 CPUtime=0 cores=0,2,4,6
/proc/22083/task/22095/stat : 22095 (java) S 22081 22083 17058 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 563049190 10811326464 166573 33554432000 1073741824 1073778376 140734203175952 18446744073709551615 268672478105 0 4 0 16800975 18446604443046491328 0 0 -1 6 0 0 0
[pid=22083/tid=22096] ppid=22081 vsize=10557936 CPUtime=0 cores=0,2,4,6
/proc/22083/task/22096/stat : 22096 (java) S 22081 22083 17058 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 563049190 10811326464 166573 33554432000 1073741824 1073778376 140734203175952 18446744073709551615 268672478105 0 4 0 16800975 18446604443046491328 0 0 -1 6 0 0 0
[pid=22083/tid=22097] ppid=22081 vsize=10557936 CPUtime=0 cores=0,2,4,6
/proc/22083/task/22097/stat : 22097 (java) S 22081 22083 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 563049193 10811326464 166573 33554432000 1073741824 1073778376 140734203175952 18446744073709551615 268672485809 0 4 0 16800975 18446604443046491328 0 0 -1 6 0 0 0
[pid=22083/tid=22098] ppid=22081 vsize=10557936 CPUtime=1.19 cores=0,2,4,6
/proc/22083/task/22098/stat : 22098 (java) S 22081 22083 17058 0 -1 4202560 10337 0 0 0 118 1 0 0 15 0 19 0 563049193 10811326464 166573 33554432000 1073741824 1073778376 140734203175952 18446744073709551615 268672478105 0 4 0 16800975 18446604443046491328 0 0 -1 0 0 0 0
[pid=22083/tid=22099] ppid=22081 vsize=10557936 CPUtime=1.11 cores=0,2,4,6
/proc/22083/task/22099/stat : 22099 (java) S 22081 22083 17058 0 -1 4202560 7536 0 0 0 111 0 0 0 15 0 19 0 563049193 10811326464 166573 33554432000 1073741824 1073778376 140734203175952 18446744073709551615 268672478105 0 4 0 16800975 18446604443046491328 0 0 -1 6 0 0 0
[pid=22083/tid=22100] ppid=22081 vsize=10557936 CPUtime=0 cores=0,2,4,6
/proc/22083/task/22100/stat : 22100 (java) S 22081 22083 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 563049193 10811326464 166573 33554432000 1073741824 1073778376 140734203175952 18446744073709551615 268672478105 0 4 0 16800975 18446604443046491328 0 0 -1 6 0 0 0
[pid=22083/tid=22101] ppid=22081 vsize=10557936 CPUtime=0 cores=0,2,4,6
/proc/22083/task/22101/stat : 22101 (java) S 22081 22083 17058 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 19 0 563049193 10811326464 166573 33554432000 1073741824 1073778376 140734203175952 18446744073709551615 268672478720 0 4 0 16800975 18446604443046491328 0 0 -1 0 0 0 0
[pid=22083/tid=22111] ppid=22081 vsize=10557936 CPUtime=0 cores=0,2,4,6
/proc/22083/task/22111/stat : 22111 (java) S 22081 22083 17058 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 19 0 563049519 10811326464 166573 33554432000 1073741824 1073778376 140734203175952 18446744073709551615 268672478720 0 4 0 16800975 18446604443046491328 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 249.11
Current children cumulated vsize (KiB) 10557936

[startup+139.301 s]
/proc/loadavg: 3.71 3.86 3.58 4/528 22121
/proc/meminfo: memFree=19410860/32951124 swapFree=46575304/67111528
[pid=22083] ppid=22081 vsize=10557936 CPUtime=249.31 cores=0,2,4,6
/proc/22083/stat : 22083 (java) S 22081 22083 17058 0 -1 4202496 177635 0 1 0 24905 26 0 0 25 0 19 0 563049186 10811326464 166573 33554432000 1073741824 1073778376 140734203175952 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/22083/statm: 2639484 166573 2258 9 0 2630218 0
[pid=22083/tid=22084] ppid=22081 vsize=10557936 CPUtime=1.17 cores=0,2,4,6
/proc/22083/task/22084/stat : 22084 (java) R 22081 22083 17058 0 -1 4202560 13030 0 1 0 116 1 0 0 16 0 19 0 563049187 10811326464 166573 33554432000 1073741824 1073778376 140734203175952 18446744073709551615 46912505366594 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=22083/tid=22086] ppid=22081 vsize=10557936 CPUtime=0.32 cores=0,2,4,6
/proc/22083/task/22086/stat : 22086 (java) S 22081 22083 17058 0 -1 4202560 190 0 0 0 32 0 0 0 15 0 19 0 563049189 10811326464 166573 33554432000 1073741824 1073778376 140734203175952 18446744073709551615 268672478105 0 4 0 16800975 18446604443046491328 0 0 -1 6 0 0 0
[pid=22083/tid=22087] ppid=22081 vsize=10557936 CPUtime=0.29 cores=0,2,4,6
/proc/22083/task/22087/stat : 22087 (java) S 22081 22083 17058 0 -1 4202560 207 0 0 0 29 0 0 0 15 0 19 0 563049189 10811326464 166573 33554432000 1073741824 1073778376 140734203175952 18446744073709551615 268672478105 0 4 0 16800975 18446604443046491328 0 0 -1 4 0 0 0
[pid=22083/tid=22088] ppid=22081 vsize=10557936 CPUtime=0.34 cores=0,2,4,6
/proc/22083/task/22088/stat : 22088 (java) S 22081 22083 17058 0 -1 4202560 91 0 0 0 34 0 0 0 15 0 19 0 563049189 10811326464 166573 33554432000 1073741824 1073778376 140734203175952 18446744073709551615 268672478105 0 4 0 16800975 18446604443046491328 0 0 -1 6 0 0 0
[pid=22083/tid=22089] ppid=22081 vsize=10557936 CPUtime=0.3 cores=0,2,4,6
/proc/22083/task/22089/stat : 22089 (java) S 22081 22083 17058 0 -1 4202560 256 0 0 0 30 0 0 0 15 0 19 0 563049189 10811326464 166573 33554432000 1073741824 1073778376 140734203175952 18446744073709551615 268672478105 0 4 0 16800975 18446604443046491328 0 0 -1 2 0 0 0
[pid=22083/tid=22090] ppid=22081 vsize=10557936 CPUtime=0.31 cores=0,2,4,6
/proc/22083/task/22090/stat : 22090 (java) S 22081 22083 17058 0 -1 4202560 254 0 0 0 31 0 0 0 16 0 19 0 563049189 10811326464 166573 33554432000 1073741824 1073778376 140734203175952 18446744073709551615 268672478105 0 4 0 16800975 18446604443046491328 0 0 -1 2 0 0 0
[pid=22083/tid=22091] ppid=22081 vsize=10557936 CPUtime=0.32 cores=0,2,4,6
/proc/22083/task/22091/stat : 22091 (java) S 22081 22083 17058 0 -1 4202560 74 0 0 0 32 0 0 0 15 0 19 0 563049189 10811326464 166573 33554432000 1073741824 1073778376 140734203175952 18446744073709551615 268672478105 0 4 0 16800975 18446604443046491328 0 0 -1 4 0 0 0
[pid=22083/tid=22092] ppid=22081 vsize=10557936 CPUtime=0.33 cores=0,2,4,6
/proc/22083/task/22092/stat : 22092 (java) S 22081 22083 17058 0 -1 4202560 82 0 0 0 33 0 0 0 16 0 19 0 563049189 10811326464 166573 33554432000 1073741824 1073778376 140734203175952 18446744073709551615 268672478105 0 4 0 16800975 18446604443046491328 0 0 -1 4 0 0 0
[pid=22083/tid=22093] ppid=22081 vsize=10557936 CPUtime=0.3 cores=0,2,4,6
/proc/22083/task/22093/stat : 22093 (java) S 22081 22083 17058 0 -1 4202560 338 0 0 0 30 0 0 0 16 0 19 0 563049189 10811326464 166573 33554432000 1073741824 1073778376 140734203175952 18446744073709551615 268672478105 0 4 0 16800975 18446604443046491328 0 0 -1 6 0 0 0
[pid=22083/tid=22094] ppid=22081 vsize=10557936 CPUtime=28.94 cores=0,2,4,6
/proc/22083/task/22094/stat : 22094 (java) S 22081 22083 17058 0 -1 4202560 31977 0 0 0 2889 5 0 0 15 0 19 0 563049190 10811326464 166573 33554432000 1073741824 1073778376 140734203175952 18446744073709551615 268672478720 0 0 0 16800975 18446604443046491328 0 0 -1 0 0 0 0
[pid=22083/tid=22095] ppid=22081 vsize=10557936 CPUtime=0 cores=0,2,4,6
/proc/22083/task/22095/stat : 22095 (java) S 22081 22083 17058 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 563049190 10811326464 166573 33554432000 1073741824 1073778376 140734203175952 18446744073709551615 268672478105 0 4 0 16800975 18446604443046491328 0 0 -1 6 0 0 0
[pid=22083/tid=22096] ppid=22081 vsize=10557936 CPUtime=0 cores=0,2,4,6
/proc/22083/task/22096/stat : 22096 (java) S 22081 22083 17058 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 563049190 10811326464 166573 33554432000 1073741824 1073778376 140734203175952 18446744073709551615 268672478105 0 4 0 16800975 18446604443046491328 0 0 -1 6 0 0 0
[pid=22083/tid=22097] ppid=22081 vsize=10557936 CPUtime=0 cores=0,2,4,6
/proc/22083/task/22097/stat : 22097 (java) S 22081 22083 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 563049193 10811326464 166573 33554432000 1073741824 1073778376 140734203175952 18446744073709551615 268672485809 0 4 0 16800975 18446604443046491328 0 0 -1 6 0 0 0
[pid=22083/tid=22098] ppid=22081 vsize=10557936 CPUtime=1.19 cores=0,2,4,6
/proc/22083/task/22098/stat : 22098 (java) S 22081 22083 17058 0 -1 4202560 10337 0 0 0 118 1 0 0 15 0 19 0 563049193 10811326464 166573 33554432000 1073741824 1073778376 140734203175952 18446744073709551615 268672478105 0 4 0 16800975 18446604443046491328 0 0 -1 0 0 0 0
[pid=22083/tid=22099] ppid=22081 vsize=10557936 CPUtime=1.11 cores=0,2,4,6
/proc/22083/task/22099/stat : 22099 (java) S 22081 22083 17058 0 -1 4202560 7536 0 0 0 111 0 0 0 15 0 19 0 563049193 10811326464 166573 33554432000 1073741824 1073778376 140734203175952 18446744073709551615 268672478105 0 4 0 16800975 18446604443046491328 0 0 -1 6 0 0 0
[pid=22083/tid=22100] ppid=22081 vsize=10557936 CPUtime=0 cores=0,2,4,6
/proc/22083/task/22100/stat : 22100 (java) S 22081 22083 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 563049193 10811326464 166573 33554432000 1073741824 1073778376 140734203175952 18446744073709551615 268672478105 0 4 0 16800975 18446604443046491328 0 0 -1 6 0 0 0
[pid=22083/tid=22101] ppid=22081 vsize=10557936 CPUtime=0 cores=0,2,4,6
/proc/22083/task/22101/stat : 22101 (java) S 22081 22083 17058 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 19 0 563049193 10811326464 166573 33554432000 1073741824 1073778376 140734203175952 18446744073709551615 268672478720 0 4 0 16800975 18446604443046491328 0 0 -1 0 0 0 0
[pid=22083/tid=22111] ppid=22081 vsize=10557936 CPUtime=0 cores=0,2,4,6
/proc/22083/task/22111/stat : 22111 (java) S 22081 22083 17058 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 19 0 563049519 10811326464 166573 33554432000 1073741824 1073778376 140734203175952 18446744073709551615 268672478720 0 4 0 16800975 18446604443046491328 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 249.31
Current children cumulated vsize (KiB) 10557936

Child status: 30
Real time (s): 139.385
CPU time (s): 249.397
CPU user time (s): 249.105
CPU system time (s): 0.291955
CPU usage (%): 178.927
Max. virtual memory (cumulated for all children) (KiB): 10561904

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 249.105
system time used= 0.291955
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 177647
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= 8637
involuntary context switches= 2699

runsolver used 0.733888 second user time and 1.57676 second system time

The end

Launcher Data 

Begin job on node107 at 2011-06-04 13:56:19
IDJOB=3455059
IDBENCH=2024
IDSOLVER=1950
FILE ID=node107/3455059-1307188579
RUNJOBID= node107-1307186567-20281
PBS_JOBID= 13508844
Free space on /tmp= 73884 MiB

SOLVER NAME= Sat4j Res//CP 2.3.0
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/routing/normalized-s4-4-3-2pb.opb
COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3455059-1307188579/watcher-3455059-1307188579 -o /tmp/evaluation-result-3455059-1307188579/solver-3455059-1307188579 -C 1800 -W 1900 -M 15500  java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3455059-1307188579.opb

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

MD5SUM BENCH= 135acf1f05855c365b3d13b378debe22
RANDOM SEED=942701179

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      20115376 kB
Buffers:        338744 kB
Cached:        2173780 kB
SwapCached:      22548 kB
Active:       10449532 kB
Inactive:      2033976 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      20115376 kB
SwapTotal:    67111528 kB
SwapFree:     46575304 kB
Dirty:            1908 kB
Writeback:           0 kB
AnonPages:     9965668 kB
Mapped:          40964 kB
Slab:           187364 kB
PageTables:      97508 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 155476928 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= 73884 MiB
End job on node107 at 2011-06-04 13:58:39