Trace number 3458237

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 Resolution 2.3.0OPT3 247.694 245.894

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=9-P0=347-P1=127-P2=53-P3=293-P4=199-P5=107-B.opb
MD5SUMea08c66c9e8e41f4a763233d2f14489d
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark0.179971
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3
Optimality of the best value was proved YES
Number of variables135
Total number of constraints11
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints11
Minimum length of a constraint9
Maximum length of a constraint99
Number of terms in the objective function 9
Biggest coefficient in the objective function 256
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 511
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 131072
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 523264
Number of bits of the biggest sum of numbers19
Number of products (including duplicates)405
Sum of products size (including duplicates)810
Number of different products405
Sum of products size810

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.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.01/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.01/0.08	c See www.sat4j.org for details.
0.01/0.09	c version 2.3.1.v20110525
0.01/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.01/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.01/0.09	c java.vm.version	19.1-b02
0.01/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.01/0.09	c sun.arch.data.model	64
0.01/0.09	c java.version		1.6.0_24
0.01/0.09	c os.name		Linux
0.01/0.09	c os.version		2.6.18-164.el5
0.01/0.09	c os.arch		amd64
0.01/0.09	c Free memory 		12995394264
0.01/0.09	c Max memory 		13063553024
0.01/0.09	c Total memory 		13063553024
0.01/0.09	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@38540408
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 solving HOME/instance-3458237-1307158427.opb
0.10/0.11	c reading problem ... 
0.10/0.17	c ... done. Wall clock time 0.065s.
0.10/0.17	c #vars     540
0.10/0.17	c #constraints  826
0.10/0.17	c constraints type 
0.10/0.17	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 405
0.10/0.17	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 421
1.01/0.78	c cleaning 2500 clauses out of 5000 with flag 5000/5000
1.81/1.48	c cleaning 4250 clauses out of 8500 with flag 11000/11000
2.63/2.27	c cleaning 5626 clauses out of 11251 with flag 18001/18001
3.52/3.18	c cleaning 6807 clauses out of 13624 with flag 26000/26000
4.67/4.21	c cleaning 7906 clauses out of 15818 with flag 35001/35001
5.88/5.46	c cleaning 8953 clauses out of 17911 with flag 45000/45000
7.38/6.97	c cleaning 9479 clauses out of 18958 with flag 55000/55000
8.68/8.26	c cleaning 9737 clauses out of 19479 with flag 65000/65000
9.98/9.58	c cleaning 9871 clauses out of 19742 with flag 75000/75000
11.50/11.09	c cleaning 9932 clauses out of 19872 with flag 85001/85001
12.69/12.21	c cleaning 9966 clauses out of 19940 with flag 95001/95001
13.49/13.08	c cleaning 9980 clauses out of 19973 with flag 105000/105000
14.70/14.28	c cleaning 9995 clauses out of 19994 with flag 115001/115001
15.72/15.21	c cleaning 9999 clauses out of 19999 with flag 125001/125001
16.32/15.82	c cleaning 9994 clauses out of 19999 with flag 135000/135000
17.04/16.57	c cleaning 9996 clauses out of 20005 with flag 145000/145000
17.82/17.36	c cleaning 9999 clauses out of 20009 with flag 155000/155000
18.62/18.17	c cleaning 9997 clauses out of 20010 with flag 165000/165000
19.73/19.20	c cleaning 10002 clauses out of 20015 with flag 175002/175002
20.63/20.17	c cleaning 10001 clauses out of 20012 with flag 185001/185001
22.00/21.28	c cleaning 10002 clauses out of 20011 with flag 195001/195001
23.23/22.16	c cleaning 9995 clauses out of 20008 with flag 205000/205000
24.03/22.95	c cleaning 9993 clauses out of 20013 with flag 215000/215000
24.73/23.60	c SATISFIABLE
24.73/23.60	c OPTIMIZING...
24.73/23.60	c Got one! Elapsed wall clock time (in seconds):23.489
24.73/23.60	o 9
25.03/23.98	c cleaning 11382 clauses out of 22798 with flag 5000/227778
25.53/24.43	c cleaning 8691 clauses out of 17416 with flag 11000/233778
26.03/24.94	c cleaning 7849 clauses out of 15726 with flag 18001/240779
26.63/25.53	c cleaning 7934 clauses out of 15876 with flag 26000/248778
27.55/26.48	c cleaning 8463 clauses out of 16943 with flag 35001/257779
28.54/27.45	c cleaning 9233 clauses out of 18481 with flag 45002/267780
29.44/28.38	c cleaning 9619 clauses out of 19245 with flag 55000/277778
30.65/29.59	c cleaning 9810 clauses out of 19627 with flag 65001/287779
31.75/30.69	c cleaning 9903 clauses out of 19816 with flag 75000/297778
32.86/31.77	c cleaning 9955 clauses out of 19914 with flag 85001/307779
33.86/32.78	c cleaning 9976 clauses out of 19958 with flag 95000/317778
34.86/33.74	c cleaning 9989 clauses out of 19982 with flag 105000/327778
35.97/34.89	c cleaning 9991 clauses out of 19994 with flag 115001/337779
36.39/35.25	c Got one! Elapsed wall clock time (in seconds):35.142
36.39/35.25	o 5
36.77/35.60	c cleaning 10429 clauses out of 20881 with flag 5001/348657
37.17/36.02	c cleaning 8209 clauses out of 16451 with flag 11000/354656
37.67/36.50	c cleaning 7605 clauses out of 15242 with flag 18000/361656
38.18/37.07	c cleaning 7807 clauses out of 15637 with flag 26000/369656
38.88/37.75	c cleaning 8410 clauses out of 16830 with flag 35000/378656
39.78/38.69	c cleaning 9202 clauses out of 18420 with flag 45000/388656
40.98/39.83	c cleaning 9603 clauses out of 19219 with flag 55001/398657
41.99/40.83	c cleaning 9804 clauses out of 19615 with flag 65000/408656
43.09/41.92	c cleaning 9901 clauses out of 19812 with flag 75001/418657
44.19/43.04	c cleaning 9953 clauses out of 19911 with flag 85001/428657
45.39/44.22	c cleaning 9977 clauses out of 19957 with flag 95000/438656
46.50/45.38	c cleaning 9987 clauses out of 19980 with flag 105000/448656
47.60/46.49	c cleaning 9993 clauses out of 19994 with flag 115001/458657
48.70/47.50	c cleaning 9993 clauses out of 20001 with flag 125001/468657
49.31/48.19	c Got one! Elapsed wall clock time (in seconds):48.077
49.31/48.19	o 3
49.71/48.56	c cleaning 12297 clauses out of 24613 with flag 5000/483262
50.21/49.02	c cleaning 9140 clauses out of 18317 with flag 11001/489263
50.73/49.57	c cleaning 8075 clauses out of 16177 with flag 18001/496263
51.31/50.17	c cleaning 8034 clauses out of 16101 with flag 26000/504262
52.12/50.94	c cleaning 8525 clauses out of 17068 with flag 35001/513263
53.22/52.04	c cleaning 9267 clauses out of 18543 with flag 45001/523263
54.32/53.16	c cleaning 9629 clauses out of 19276 with flag 55001/533263
55.32/54.20	c cleaning 9815 clauses out of 19646 with flag 65000/543262
56.53/55.36	c cleaning 9913 clauses out of 19831 with flag 75000/553262
57.73/56.59	c cleaning 9953 clauses out of 19918 with flag 85000/563262
59.03/57.84	c cleaning 9977 clauses out of 19966 with flag 95001/573263
60.23/59.08	c cleaning 9990 clauses out of 19989 with flag 105001/583263
61.33/60.18	c cleaning 9994 clauses out of 19999 with flag 115001/593263
62.64/61.41	c cleaning 10000 clauses out of 20004 with flag 125000/603262
63.74/62.58	c cleaning 9998 clauses out of 20005 with flag 135001/613263
65.06/63.84	c cleaning 10001 clauses out of 20008 with flag 145002/623264
66.18/64.97	c cleaning 9998 clauses out of 20005 with flag 155000/633262
67.30/66.08	c cleaning 9999 clauses out of 20008 with flag 165001/643263
68.09/66.82	c cleaning 9998 clauses out of 20008 with flag 175000/653262
68.81/67.52	c cleaning 10000 clauses out of 20011 with flag 185001/663263
69.54/68.30	c cleaning 9999 clauses out of 20011 with flag 195001/673263
70.72/69.40	c cleaning 10000 clauses out of 20014 with flag 205003/683265
71.42/70.15	c cleaning 9989 clauses out of 20011 with flag 215000/693262
72.23/70.94	c cleaning 10003 clauses out of 20023 with flag 225001/703263
73.13/71.86	c cleaning 10005 clauses out of 20019 with flag 235000/713262
73.95/72.63	c cleaning 10002 clauses out of 20015 with flag 245001/723263
74.64/73.36	c cleaning 10000 clauses out of 20013 with flag 255001/733263
75.44/74.11	c cleaning 9999 clauses out of 20014 with flag 265002/743264
76.16/74.90	c cleaning 10000 clauses out of 20013 with flag 275000/753262
77.35/76.05	c cleaning 10003 clauses out of 20013 with flag 285000/763262
78.65/77.30	c cleaning 10000 clauses out of 20011 with flag 295001/773263
79.65/78.39	c cleaning 9994 clauses out of 20010 with flag 305000/783262
80.76/79.49	c cleaning 10001 clauses out of 20017 with flag 315001/793263
81.86/80.59	c cleaning 10001 clauses out of 20015 with flag 325000/803262
83.06/81.77	c cleaning 10001 clauses out of 20016 with flag 335002/813264
84.27/82.91	c cleaning 10001 clauses out of 20013 with flag 345000/823262
85.17/83.85	c cleaning 9999 clauses out of 20012 with flag 355001/833263
85.97/84.70	c cleaning 9999 clauses out of 20013 with flag 365001/843263
86.87/85.56	c cleaning 10000 clauses out of 20014 with flag 375001/853263
87.77/86.44	c cleaning 9998 clauses out of 20013 with flag 385000/863262
88.68/87.37	c cleaning 10001 clauses out of 20016 with flag 395001/873263
89.39/88.09	c cleaning 10001 clauses out of 20014 with flag 405000/883262
90.08/88.78	c cleaning 10001 clauses out of 20015 with flag 415002/893264
90.88/89.59	c cleaning 9996 clauses out of 20012 with flag 425000/903262
91.68/90.37	c cleaning 10000 clauses out of 20016 with flag 435000/913262
92.48/91.17	c cleaning 10001 clauses out of 20017 with flag 445001/923263
93.48/92.13	c cleaning 10002 clauses out of 20016 with flag 455001/933263
94.69/93.36	c cleaning 10003 clauses out of 20013 with flag 465000/943262
95.90/94.58	c cleaning 10000 clauses out of 20011 with flag 475001/953263
97.11/95.74	c cleaning 10000 clauses out of 20011 with flag 485001/963263
97.89/96.54	c cleaning 9996 clauses out of 20010 with flag 495000/973262
98.60/97.25	c cleaning 10001 clauses out of 20014 with flag 505000/983262
99.40/98.08	c cleaning 10003 clauses out of 20014 with flag 515001/993263
100.60/99.29	c cleaning 9999 clauses out of 20010 with flag 525000/1003262
101.70/100.39	c cleaning 10003 clauses out of 20011 with flag 535000/1013262
102.51/101.12	c cleaning 9996 clauses out of 20008 with flag 545000/1023262
103.31/101.99	c cleaning 9996 clauses out of 20012 with flag 555000/1033262
104.21/102.83	c cleaning 10000 clauses out of 20016 with flag 565000/1043262
105.11/103.73	c cleaning 10001 clauses out of 20017 with flag 575001/1053263
105.93/104.52	c cleaning 10002 clauses out of 20016 with flag 585001/1063263
106.82/105.49	c cleaning 10005 clauses out of 20014 with flag 595001/1073263
107.82/106.44	c cleaning 10004 clauses out of 20009 with flag 605001/1083263
108.92/107.51	c cleaning 9998 clauses out of 20004 with flag 615000/1093262
110.02/108.60	c cleaning 10002 clauses out of 20007 with flag 625001/1103263
111.02/109.62	c cleaning 10000 clauses out of 20005 with flag 635001/1113263
111.93/110.55	c cleaning 9998 clauses out of 20005 with flag 645001/1123263
112.93/111.59	c cleaning 9998 clauses out of 20006 with flag 655000/1133262
113.73/112.32	c cleaning 9993 clauses out of 20008 with flag 665000/1143262
114.44/113.04	c cleaning 10001 clauses out of 20016 with flag 675001/1153263
115.14/113.74	c cleaning 10002 clauses out of 20015 with flag 685001/1163263
115.86/114.46	c cleaning 9997 clauses out of 20012 with flag 695000/1173262
116.55/115.19	c cleaning 10002 clauses out of 20016 with flag 705001/1183263
117.35/115.99	c cleaning 9995 clauses out of 20013 with flag 715001/1193263
118.25/116.80	c cleaning 10002 clauses out of 20017 with flag 725000/1203262
118.95/117.57	c cleaning 10002 clauses out of 20015 with flag 735000/1213262
119.85/118.42	c cleaning 10000 clauses out of 20014 with flag 745001/1223263
120.75/119.39	c cleaning 10003 clauses out of 20014 with flag 755001/1233263
121.66/120.26	c cleaning 10002 clauses out of 20013 with flag 765003/1243265
122.48/121.08	c cleaning 9997 clauses out of 20009 with flag 775001/1253263
123.26/121.84	c cleaning 9998 clauses out of 20011 with flag 785000/1263262
124.07/122.64	c cleaning 9998 clauses out of 20013 with flag 795000/1273262
124.77/123.35	c cleaning 10001 clauses out of 20017 with flag 805002/1283264
125.67/124.21	c cleaning 10002 clauses out of 20015 with flag 815001/1293263
126.48/125.07	c cleaning 9997 clauses out of 20012 with flag 825000/1303262
127.48/126.06	c cleaning 10001 clauses out of 20016 with flag 835001/1313263
128.48/127.00	c cleaning 9999 clauses out of 20014 with flag 845000/1323262
129.40/127.90	c cleaning 9999 clauses out of 20015 with flag 855000/1333262
130.30/128.82	c cleaning 10002 clauses out of 20016 with flag 865000/1343262
131.10/129.66	c cleaning 10002 clauses out of 20014 with flag 875000/1353262
132.00/130.58	c cleaning 9998 clauses out of 20012 with flag 885000/1363262
132.90/131.44	c cleaning 10000 clauses out of 20015 with flag 895001/1373263
133.80/132.34	c cleaning 10002 clauses out of 20014 with flag 905000/1383262
134.81/133.33	c cleaning 10001 clauses out of 20012 with flag 915000/1393262
135.81/134.32	c cleaning 9998 clauses out of 20011 with flag 925000/1403262
136.71/135.31	c cleaning 9999 clauses out of 20016 with flag 935003/1413265
137.71/136.22	c cleaning 10000 clauses out of 20015 with flag 945001/1423263
138.61/137.17	c cleaning 10004 clauses out of 20015 with flag 955001/1433263
139.61/138.12	c cleaning 10001 clauses out of 20010 with flag 965000/1443262
140.41/138.94	c cleaning 10000 clauses out of 20011 with flag 975002/1453264
141.52/140.03	c cleaning 10002 clauses out of 20010 with flag 985001/1463263
142.62/141.16	c cleaning 10001 clauses out of 20008 with flag 995001/1473263
143.52/142.01	c cleaning 9999 clauses out of 20007 with flag 1005001/1483263
144.43/142.92	c cleaning 9999 clauses out of 20007 with flag 1015000/1493262
145.33/143.81	c cleaning 9998 clauses out of 20008 with flag 1025000/1503262
146.23/144.70	c cleaning 10002 clauses out of 20010 with flag 1035000/1513262
146.93/145.41	c cleaning 9994 clauses out of 20008 with flag 1045000/1523262
147.74/146.22	c cleaning 9998 clauses out of 20015 with flag 1055001/1533263
148.53/147.06	c cleaning 10006 clauses out of 20018 with flag 1065002/1543264
149.44/147.95	c cleaning 9997 clauses out of 20010 with flag 1075000/1553262
150.44/148.93	c cleaning 10000 clauses out of 20014 with flag 1085001/1563263
151.24/149.78	c cleaning 10001 clauses out of 20015 with flag 1095002/1573264
152.04/150.59	c cleaning 10002 clauses out of 20012 with flag 1105000/1583262
152.84/151.40	c cleaning 9999 clauses out of 20010 with flag 1115000/1593262
153.84/152.33	c cleaning 10002 clauses out of 20011 with flag 1125000/1603262
154.65/153.16	c cleaning 9998 clauses out of 20009 with flag 1135000/1613262
155.46/153.97	c cleaning 9999 clauses out of 20011 with flag 1145000/1623262
156.25/154.74	c cleaning 9994 clauses out of 20013 with flag 1155001/1633263
157.26/155.75	c cleaning 10005 clauses out of 20019 with flag 1165001/1643263
158.26/156.78	c cleaning 9999 clauses out of 20013 with flag 1175000/1653262
159.26/157.75	c cleaning 9999 clauses out of 20015 with flag 1185001/1663263
160.16/158.64	c cleaning 10001 clauses out of 20015 with flag 1195000/1673262
161.17/159.66	c cleaning 9998 clauses out of 20015 with flag 1205001/1683263
162.08/160.57	c cleaning 10003 clauses out of 20018 with flag 1215002/1693264
163.07/161.55	c cleaning 9998 clauses out of 20013 with flag 1225000/1703262
163.98/162.47	c cleaning 10004 clauses out of 20016 with flag 1235001/1713263
164.98/163.41	c cleaning 9997 clauses out of 20011 with flag 1245000/1723262
165.88/164.34	c cleaning 10004 clauses out of 20015 with flag 1255001/1733263
166.78/165.26	c cleaning 10002 clauses out of 20010 with flag 1265000/1743262
167.70/166.12	c cleaning 9999 clauses out of 20008 with flag 1275000/1753262
168.59/167.04	c cleaning 10001 clauses out of 20010 with flag 1285001/1763263
169.29/167.75	c cleaning 9997 clauses out of 20009 with flag 1295001/1773263
170.09/168.57	c cleaning 10002 clauses out of 20011 with flag 1305000/1783262
171.01/169.45	c cleaning 10000 clauses out of 20009 with flag 1315000/1793262
171.89/170.32	c cleaning 9997 clauses out of 20009 with flag 1325000/1803262
172.69/171.16	c cleaning 9998 clauses out of 20012 with flag 1335000/1813262
173.69/172.18	c cleaning 10004 clauses out of 20015 with flag 1345001/1823263
174.59/173.01	c cleaning 10000 clauses out of 20010 with flag 1355000/1833262
175.41/173.87	c cleaning 9998 clauses out of 20010 with flag 1365000/1843262
176.30/174.72	c cleaning 10000 clauses out of 20013 with flag 1375001/1853263
177.10/175.51	c cleaning 10001 clauses out of 20013 with flag 1385001/1863263
177.90/176.31	c cleaning 10002 clauses out of 20013 with flag 1395002/1873264
178.80/177.23	c cleaning 9999 clauses out of 20009 with flag 1405000/1883262
179.61/178.08	c cleaning 10000 clauses out of 20011 with flag 1415001/1893263
180.61/179.00	c cleaning 9999 clauses out of 20011 with flag 1425001/1903263
181.51/179.92	c cleaning 9999 clauses out of 20011 with flag 1435000/1913262
182.41/180.84	c cleaning 9999 clauses out of 20013 with flag 1445001/1923263
183.32/181.76	c cleaning 10002 clauses out of 20014 with flag 1455001/1933263
184.23/182.64	c cleaning 9997 clauses out of 20011 with flag 1465000/1943262
185.22/183.61	c cleaning 10001 clauses out of 20014 with flag 1475000/1953262
186.12/184.50	c cleaning 9999 clauses out of 20014 with flag 1485001/1963263
187.02/185.47	c cleaning 10001 clauses out of 20014 with flag 1495000/1973262
187.92/186.34	c cleaning 9998 clauses out of 20014 with flag 1505001/1983263
188.92/187.34	c cleaning 10003 clauses out of 20016 with flag 1515001/1993263
189.83/188.21	c cleaning 9998 clauses out of 20012 with flag 1525000/2003262
190.63/189.04	c cleaning 10001 clauses out of 20016 with flag 1535002/2013264
191.53/189.94	c cleaning 9999 clauses out of 20013 with flag 1545000/2023262
192.43/190.86	c cleaning 10001 clauses out of 20015 with flag 1555001/2033263
193.33/191.73	c cleaning 9998 clauses out of 20014 with flag 1565001/2043263
194.15/192.53	c cleaning 10001 clauses out of 20016 with flag 1575001/2053263
195.04/193.46	c cleaning 9998 clauses out of 20016 with flag 1585002/2063264
195.74/194.17	c cleaning 10001 clauses out of 20017 with flag 1595001/2073263
196.64/195.03	c cleaning 9999 clauses out of 20015 with flag 1605000/2083262
197.46/195.87	c cleaning 10002 clauses out of 20018 with flag 1615002/2093264
198.25/196.60	c cleaning 10003 clauses out of 20014 with flag 1625000/2103262
198.95/197.38	c cleaning 10001 clauses out of 20011 with flag 1635000/2113262
199.86/198.28	c cleaning 10003 clauses out of 20011 with flag 1645001/2123263
200.67/199.09	c cleaning 10000 clauses out of 20009 with flag 1655002/2133264
201.77/200.12	c cleaning 10000 clauses out of 20007 with flag 1665000/2143262
202.87/201.23	c cleaning 9998 clauses out of 20007 with flag 1675000/2153262
203.67/202.07	c cleaning 10000 clauses out of 20010 with flag 1685001/2163263
204.77/203.19	c cleaning 9998 clauses out of 20009 with flag 1695000/2173262
206.07/204.48	c cleaning 10001 clauses out of 20011 with flag 1705000/2183262
207.39/205.73	c cleaning 10000 clauses out of 20011 with flag 1715001/2193263
208.50/206.82	c cleaning 10000 clauses out of 20010 with flag 1725000/2203262
209.49/207.87	c cleaning 10001 clauses out of 20010 with flag 1735000/2213262
210.48/208.84	c cleaning 10000 clauses out of 20009 with flag 1745000/2223262
211.29/209.66	c cleaning 9999 clauses out of 20010 with flag 1755001/2233263
212.09/210.48	c cleaning 9999 clauses out of 20010 with flag 1765000/2243262
212.99/211.34	c cleaning 9999 clauses out of 20012 with flag 1775001/2253263
213.80/212.14	c cleaning 10002 clauses out of 20012 with flag 1785000/2263262
214.60/212.91	c cleaning 10000 clauses out of 20011 with flag 1795001/2273263
215.50/213.83	c cleaning 10001 clauses out of 20011 with flag 1805001/2283263
216.31/214.66	c cleaning 10001 clauses out of 20011 with flag 1815002/2293264
217.12/215.51	c cleaning 9999 clauses out of 20009 with flag 1825001/2303263
218.01/216.34	c cleaning 9998 clauses out of 20010 with flag 1835001/2313263
218.82/217.15	c cleaning 10002 clauses out of 20011 with flag 1845000/2323262
219.62/217.93	c cleaning 9998 clauses out of 20009 with flag 1855000/2333262
220.42/218.76	c cleaning 10000 clauses out of 20012 with flag 1865001/2343263
221.22/219.54	c cleaning 9999 clauses out of 20011 with flag 1875000/2353262
221.92/220.29	c cleaning 10001 clauses out of 20013 with flag 1885001/2363263
222.73/221.10	c cleaning 10000 clauses out of 20012 with flag 1895001/2373263
223.63/221.94	c cleaning 10003 clauses out of 20011 with flag 1905000/2383262
224.43/222.77	c cleaning 9999 clauses out of 20008 with flag 1915000/2393262
225.23/223.52	c cleaning 9998 clauses out of 20009 with flag 1925000/2403262
226.04/224.31	c cleaning 10001 clauses out of 20011 with flag 1935000/2413262
226.83/225.12	c cleaning 9998 clauses out of 20010 with flag 1945000/2423262
227.63/225.93	c cleaning 10000 clauses out of 20013 with flag 1955001/2433263
228.43/226.70	c cleaning 10002 clauses out of 20013 with flag 1965001/2443263
229.23/227.59	c cleaning 10001 clauses out of 20011 with flag 1975001/2453263
230.14/228.44	c cleaning 9997 clauses out of 20010 with flag 1985001/2463263
231.04/229.31	c cleaning 10003 clauses out of 20013 with flag 1995001/2473263
231.74/230.08	c cleaning 10001 clauses out of 20009 with flag 2005000/2483262
232.54/230.90	c cleaning 10000 clauses out of 20008 with flag 2015000/2493262
233.35/231.66	c cleaning 10000 clauses out of 20009 with flag 2025001/2503263
234.15/232.41	c cleaning 9999 clauses out of 20009 with flag 2035001/2513263
234.86/233.15	c cleaning 10002 clauses out of 20010 with flag 2045001/2523263
235.65/233.96	c cleaning 9999 clauses out of 20007 with flag 2055000/2533262
236.65/234.94	c cleaning 10001 clauses out of 20009 with flag 2065001/2543263
237.56/235.81	c cleaning 9998 clauses out of 20008 with flag 2075001/2553263
238.56/236.87	c cleaning 9999 clauses out of 20009 with flag 2085001/2563263
239.56/237.89	c cleaning 10004 clauses out of 20010 with flag 2095001/2573263
240.56/238.83	c cleaning 9999 clauses out of 20006 with flag 2105001/2583263
241.58/239.82	c cleaning 9999 clauses out of 20006 with flag 2115000/2593262
242.47/240.77	c cleaning 9998 clauses out of 20007 with flag 2125000/2603262
243.47/241.75	c cleaning 10003 clauses out of 20009 with flag 2135000/2613262
244.48/242.70	c cleaning 9997 clauses out of 20005 with flag 2145000/2623262
245.38/243.66	c cleaning 10002 clauses out of 20008 with flag 2155000/2633262
246.38/244.64	c cleaning 9999 clauses out of 20006 with flag 2165001/2643263
247.38/245.64	c cleaning 9999 clauses out of 20006 with flag 2175001/2653263
247.60/245.88	c starts		: 233
247.60/245.88	c conflicts		: 2656228
247.60/245.88	c decisions		: 2696969
247.60/245.88	c propagations		: 55987385
247.60/245.88	c inspects		: 1977298616
247.60/245.88	c shortcuts		: 0
247.60/245.88	c learnt literals	: 19
247.60/245.88	c learnt binary clauses	: 106
247.60/245.88	c learnt ternary clauses	: 351
247.60/245.88	c learnt constraints	: 2656208
247.60/245.88	c ignored constraints	: 0
247.60/245.88	c root simplifications	: 0
247.60/245.88	c removed literals (reason simplification)	: 120312959
247.60/245.88	c reason swapping (by a shorter reason)	: 0
247.60/245.88	c Calls to reduceDB	: 269
247.60/245.88	c number of reductions to clauses (during analyze)	: 0
247.60/245.88	c number of learned constraints concerned by reduction	: 0
247.60/245.88	c number of learning phase by resolution	: 0
247.60/245.88	c number of learning phase by cutting planes	: 0
247.60/245.88	c speed (assignments/second)	: 283199.38187924895
247.60/245.88	c non guided choices	5023
247.60/245.88	c learnt constraints type 
247.60/245.88	c constraints type 
247.60/245.88	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 405
247.60/245.88	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 421
247.60/245.88	s OPTIMUM FOUND
247.60/245.88	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 
247.60/245.88	c objective function=3
247.60/245.88	c Total wall clock time (in seconds): 245.774

Verifier Data 

OK	3

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-3458237-1307158427/watcher-3458237-1307158427 -o /tmp/evaluation-result-3458237-1307158427/solver-3458237-1307158427 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458237-1307158427.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: 2.15 2.07 1.98 2/487 12477
/proc/meminfo: memFree=24066012/32951124 swapFree=56297244/67111528
[pid=12477] ppid=12475 vsize=30536 CPUtime=0 cores=0,2,4,6
/proc/12477/stat : 12477 (java) S 12475 12477 8699 0 -1 4202496 1243 0 0 0 0 0 0 0 25 0 2 0 906073173 31268864 963 33554432000 1073741824 1073778376 140735146594688 18446744073709551615 252469868517 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/12477/statm: 7901 966 738 9 0 386 0
[pid=12477/tid=12478] ppid=12475 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/12477/task/12478/stat : 12478 (java) R 12475 12477 8699 0 -1 4202560 6543 0 1 0 0 0 0 0 25 0 2 0 906073173 13850947584 7359 33554432000 1073741824 1073778376 140735146594688 18446744073709551615 252457759803 0 4 0 16784584 0 0 0 -1 4 0 0 0

[startup+0.024609 s]
/proc/loadavg: 2.15 2.07 1.98 2/487 12477
/proc/meminfo: memFree=24066012/32951124 swapFree=56297244/67111528
[pid=12477] ppid=12475 vsize=13526316 CPUtime=0.01 cores=0,2,4,6
/proc/12477/stat : 12477 (java) S 12475 12477 8699 0 -1 4202496 12304 0 1 0 0 1 0 0 25 0 2 0 906073173 13850947584 12007 33554432000 1073741824 1073778376 140735146594688 18446744073709551615 252469868517 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/12477/statm: 3381620 12009 919 9 0 3372776 0
[pid=12477/tid=12478] ppid=12475 vsize=13526480 CPUtime=0.01 cores=0,2,4,6
/proc/12477/task/12478/stat : 12478 (java) R 12475 12477 8699 0 -1 4202560 11204 0 1 0 0 1 0 0 25 0 2 0 906073173 13851115520 12020 33554432000 1073741824 1073778376 140735146594688 18446744073709551615 252458109018 0 4 0 16784584 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 13526316

[startup+0.100651 s]
/proc/loadavg: 2.15 2.07 1.98 2/487 12477
/proc/meminfo: memFree=24066012/32951124 swapFree=56297244/67111528
[pid=12477] ppid=12475 vsize=13621260 CPUtime=0.1 cores=0,2,4,6
/proc/12477/stat : 12477 (java) S 12475 12477 8699 0 -1 4202496 15489 0 1 0 9 1 0 0 25 0 18 0 906073173 13948170240 15185 33554432000 1073741824 1073778376 140735146594688 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/12477/statm: 3405315 15185 2092 9 0 3396049 0
[pid=12477/tid=12478] ppid=12475 vsize=13621260 CPUtime=0.08 cores=0,2,4,6
/proc/12477/task/12478/stat : 12478 (java) R 12475 12477 8699 0 -1 4202560 13579 0 1 0 7 1 0 0 18 0 18 0 906073173 13948170240 15185 33554432000 1073741824 1073778376 140735146594688 18446744073709551615 47682178533356 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13621260

[startup+0.303626 s]
/proc/loadavg: 2.15 2.07 1.98 2/487 12477
/proc/meminfo: memFree=24066012/32951124 swapFree=56297244/67111528
[pid=12477] ppid=12475 vsize=13627644 CPUtime=0.55 cores=0,2,4,6
/proc/12477/stat : 12477 (java) S 12475 12477 8699 0 -1 4202496 19038 0 1 0 53 2 0 0 25 0 19 0 906073173 13954707456 17588 33554432000 1073741824 1073778376 140735146594688 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/12477/statm: 3406911 17588 2216 9 0 3397645 0
[pid=12477/tid=12478] ppid=12475 vsize=13627644 CPUtime=0.28 cores=0,2,4,6
/proc/12477/task/12478/stat : 12478 (java) R 12475 12477 8699 0 -1 4202560 14315 0 1 0 27 1 0 0 19 0 19 0 906073173 13954707456 17588 33554432000 1073741824 1073778376 140735146594688 18446744073709551615 47682174391191 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 13627644

[startup+0.700553 s]
/proc/loadavg: 2.15 2.07 1.98 2/487 12477
/proc/meminfo: memFree=24066012/32951124 swapFree=56297244/67111528
[pid=12477] ppid=12475 vsize=13627644 CPUtime=1.01 cores=0,2,4,6
/proc/12477/stat : 12477 (java) S 12475 12477 8699 0 -1 4202496 19765 0 1 0 99 2 0 0 25 0 19 0 906073173 13954707456 18103 33554432000 1073741824 1073778376 140735146594688 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/12477/statm: 3406911 18103 2217 9 0 3397645 0
[pid=12477/tid=12478] ppid=12475 vsize=13627644 CPUtime=0.69 cores=0,2,4,6
/proc/12477/task/12478/stat : 12478 (java) R 12475 12477 8699 0 -1 4202560 14889 0 1 0 67 2 0 0 19 0 19 0 906073173 13954707456 18103 33554432000 1073741824 1073778376 140735146594688 18446744073709551615 46912505623325 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.01
Current children cumulated vsize (KiB) 13627644

[startup+1.50143 s]
/proc/loadavg: 2.22 2.09 1.99 3/506 12496
/proc/meminfo: memFree=23997048/32951124 swapFree=56297244/67111528
[pid=12477] ppid=12475 vsize=13627644 CPUtime=1.92 cores=0,2,4,6
/proc/12477/stat : 12477 (java) S 12475 12477 8699 0 -1 4202496 21750 0 1 0 189 3 0 0 25 0 19 0 906073173 13954707456 19785 33554432000 1073741824 1073778376 140735146594688 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/12477/statm: 3406911 19785 2249 9 0 3397645 0
[pid=12477/tid=12478] ppid=12475 vsize=13627644 CPUtime=1.45 cores=0,2,4,6
/proc/12477/task/12478/stat : 12478 (java) R 12475 12477 8699 0 -1 4202560 14927 0 1 0 143 2 0 0 21 0 19 0 906073173 13954707456 19785 33554432000 1073741824 1073778376 140735146594688 18446744073709551615 46912505623330 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=12477/tid=12480] ppid=12475 vsize=13627644 CPUtime=0 cores=0,2,4,6
/proc/12477/task/12480/stat : 12480 (java) S 12475 12477 8699 0 -1 4202560 333 0 0 0 0 0 0 0 16 0 19 0 906073175 13954707456 19785 33554432000 1073741824 1073778376 140735146594688 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 6 0 0 0
[pid=12477/tid=12481] ppid=12475 vsize=13627644 CPUtime=0 cores=0,2,4,6
/proc/12477/task/12481/stat : 12481 (java) S 12475 12477 8699 0 -1 4202560 21 0 0 0 0 0 0 0 15 0 19 0 906073175 13954707456 19785 33554432000 1073741824 1073778376 140735146594688 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 2 0 0 0
[pid=12477/tid=12482] ppid=12475 vsize=13627644 CPUtime=0 cores=0,2,4,6
/proc/12477/task/12482/stat : 12482 (java) S 12475 12477 8699 0 -1 4202560 37 0 0 0 0 0 0 0 16 0 19 0 906073175 13954707456 19785 33554432000 1073741824 1073778376 140735146594688 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 4 0 0 0
[pid=12477/tid=12483] ppid=12475 vsize=13627644 CPUtime=0 cores=0,2,4,6
/proc/12477/task/12483/stat : 12483 (java) S 12475 12477 8699 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906073175 13954707456 19785 33554432000 1073741824 1073778376 140735146594688 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 4 0 0 0
[pid=12477/tid=12484] ppid=12475 vsize=13627644 CPUtime=0 cores=0,2,4,6
/proc/12477/task/12484/stat : 12484 (java) S 12475 12477 8699 0 -1 4202560 144 0 0 0 0 0 0 0 15 0 19 0 906073175 13954707456 19785 33554432000 1073741824 1073778376 140735146594688 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 2 0 0 0
[pid=12477/tid=12485] ppid=12475 vsize=13627644 CPUtime=0 cores=0,2,4,6
/proc/12477/task/12485/stat : 12485 (java) S 12475 12477 8699 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906073175 13954707456 19785 33554432000 1073741824 1073778376 140735146594688 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 2 0 0 0
[pid=12477/tid=12486] ppid=12475 vsize=13627644 CPUtime=0 cores=0,2,4,6
/proc/12477/task/12486/stat : 12486 (java) S 12475 12477 8699 0 -1 4202560 150 0 0 0 0 0 0 0 15 0 19 0 906073175 13954707456 19785 33554432000 1073741824 1073778376 140735146594688 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 6 0 0 0
[pid=12477/tid=12487] ppid=12475 vsize=13627644 CPUtime=0 cores=0,2,4,6
/proc/12477/task/12487/stat : 12487 (java) S 12475 12477 8699 0 -1 4202560 155 0 0 0 0 0 0 0 15 0 19 0 906073175 13954707456 19785 33554432000 1073741824 1073778376 140735146594688 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 6 0 0 0
[pid=12477/tid=12488] ppid=12475 vsize=13627644 CPUtime=0.03 cores=0,2,4,6
/proc/12477/task/12488/stat : 12488 (java) S 12475 12477 8699 0 -1 4202560 729 0 0 0 3 0 0 0 15 0 19 0 906073176 13954707456 19785 33554432000 1073741824 1073778376 140735146594688 18446744073709551615 252469882368 0 0 0 16800975 18446604446895220672 0 0 -1 0 0 0 0
[pid=12477/tid=12489] ppid=12475 vsize=13627644 CPUtime=0 cores=0,2,4,6
/proc/12477/task/12489/stat : 12489 (java) S 12475 12477 8699 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 906073177 13954707456 19785 33554432000 1073741824 1073778376 140735146594688 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 0 0 0 0
[pid=12477/tid=12490] ppid=12475 vsize=13627644 CPUtime=0 cores=0,2,4,6
/proc/12477/task/12490/stat : 12490 (java) S 12475 12477 8699 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 906073177 13954707456 19785 33554432000 1073741824 1073778376 140735146594688 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 0 0 0 0
[pid=12477/tid=12491] ppid=12475 vsize=13627644 CPUtime=0 cores=0,2,4,6
/proc/12477/task/12491/stat : 12491 (java) S 12475 12477 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906073179 13954707456 19785 33554432000 1073741824 1073778376 140735146594688 18446744073709551615 252469889457 0 4 0 16800975 18446604446895220672 0 0 -1 4 0 0 0
[pid=12477/tid=12492] ppid=12475 vsize=13627644 CPUtime=0.24 cores=0,2,4,6
/proc/12477/task/12492/stat : 12492 (java) S 12475 12477 8699 0 -1 4202560 2144 0 0 0 24 0 0 0 16 0 19 0 906073179 13954707456 19785 33554432000 1073741824 1073778376 140735146594688 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 0 0 0 0
[pid=12477/tid=12493] ppid=12475 vsize=13627644 CPUtime=0.16 cores=0,2,4,6
/proc/12477/task/12493/stat : 12493 (java) S 12475 12477 8699 0 -1 4202560 1959 0 0 0 16 0 0 0 15 0 19 0 906073179 13954707456 19785 33554432000 1073741824 1073778376 140735146594688 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 2 0 0 0
[pid=12477/tid=12494] ppid=12475 vsize=13627644 CPUtime=0 cores=0,2,4,6
/proc/12477/task/12494/stat : 12494 (java) S 12475 12477 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906073179 13954707456 19785 33554432000 1073741824 1073778376 140735146594688 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 4 0 0 0
[pid=12477/tid=12495] ppid=12475 vsize=13627644 CPUtime=0 cores=0,2,4,6
/proc/12477/task/12495/stat : 12495 (java) S 12475 12477 8699 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906073179 13954707456 19785 33554432000 1073741824 1073778376 140735146594688 18446744073709551615 252469882368 0 4 0 16800975 18446604446895220672 0 0 -1 4 0 0 0
[pid=12477/tid=12496] ppid=12475 vsize=13627644 CPUtime=0 cores=0,2,4,6
/proc/12477/task/12496/stat : 12496 (java) S 12475 12477 8699 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 906073191 13954707456 19785 33554432000 1073741824 1073778376 140735146594688 18446744073709551615 252469882368 0 4 0 16800975 18446604446895220672 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.92
Current children cumulated vsize (KiB) 13627644

[startup+3.1011 s]
/proc/loadavg: 2.22 2.09 1.99 3/506 12496
/proc/meminfo: memFree=23993800/32951124 swapFree=56297244/67111528
[pid=12477] ppid=12475 vsize=13627644 CPUtime=3.52 cores=0,2,4,6
/proc/12477/stat : 12477 (java) S 12475 12477 8699 0 -1 4202496 21929 0 1 0 349 3 0 0 25 0 19 0 906073173 13954707456 19963 33554432000 1073741824 1073778376 140735146594688 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/12477/statm: 3406911 19963 2249 9 0 3397645 0
[pid=12477/tid=12478] ppid=12475 vsize=13627644 CPUtime=3.03 cores=0,2,4,6
/proc/12477/task/12478/stat : 12478 (java) R 12475 12477 8699 0 -1 4202560 14927 0 1 0 301 2 0 0 25 0 19 0 906073173 13954707456 19963 33554432000 1073741824 1073778376 140735146594688 18446744073709551615 46912505643653 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=12477/tid=12480] ppid=12475 vsize=13627644 CPUtime=0 cores=0,2,4,6
/proc/12477/task/12480/stat : 12480 (java) S 12475 12477 8699 0 -1 4202560 333 0 0 0 0 0 0 0 15 0 19 0 906073175 13954707456 19963 33554432000 1073741824 1073778376 140735146594688 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 2 0 0 0
[pid=12477/tid=12481] ppid=12475 vsize=13627644 CPUtime=0 cores=0,2,4,6
/proc/12477/task/12481/stat : 12481 (java) S 12475 12477 8699 0 -1 4202560 21 0 0 0 0 0 0 0 15 0 19 0 906073175 13954707456 19963 33554432000 1073741824 1073778376 140735146594688 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 2 0 0 0
[pid=12477/tid=12482] ppid=12475 vsize=13627644 CPUtime=0 cores=0,2,4,6
/proc/12477/task/12482/stat : 12482 (java) S 12475 12477 8699 0 -1 4202560 37 0 0 0 0 0 0 0 15 0 19 0 906073175 13954707456 19963 33554432000 1073741824 1073778376 140735146594688 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 4 0 0 0
[pid=12477/tid=12483] ppid=12475 vsize=13627644 CPUtime=0 cores=0,2,4,6
/proc/12477/task/12483/stat : 12483 (java) S 12475 12477 8699 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 19 0 906073175 13954707456 19963 33554432000 1073741824 1073778376 140735146594688 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 4 0 0 0
[pid=12477/tid=12484] ppid=12475 vsize=13627644 CPUtime=0 cores=0,2,4,6
/proc/12477/task/12484/stat : 12484 (java) S 12475 12477 8699 0 -1 4202560 147 0 0 0 0 0 0 0 15 0 19 0 906073175 13954707456 19963 33554432000 1073741824 1073778376 140735146594688 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 2 0 0 0
[pid=12477/tid=12485] ppid=12475 vsize=13627644 CPUtime=0 cores=0,2,4,6
/proc/12477/task/12485/stat : 12485 (java) S 12475 12477 8699 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906073175 13954707456 19963 33554432000 1073741824 1073778376 140735146594688 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 0 0 0 0
[pid=12477/tid=12486] ppid=12475 vsize=13627644 CPUtime=0 cores=0,2,4,6
/proc/12477/task/12486/stat : 12486 (java) S 12475 12477 8699 0 -1 4202560 150 0 0 0 0 0 0 0 15 0 19 0 906073175 13954707456 19963 33554432000 1073741824 1073778376 140735146594688 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 2 0 0 0
[pid=12477/tid=12487] ppid=12475 vsize=13627644 CPUtime=0 cores=0,2,4,6
/proc/12477/task/12487/stat : 12487 (java) S 12475 12477 8699 0 -1 4202560 156 0 0 0 0 0 0 0 15 0 19 0 906073175 13954707456 19963 33554432000 1073741824 1073778376 140735146594688 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 4 0 0 0
[pid=12477/tid=12488] ppid=12475 vsize=13627644 CPUtime=0.04 cores=0,2,4,6
/proc/12477/task/12488/stat : 12488 (java) S 12475 12477 8699 0 -1 4202560 893 0 0 0 4 0 0 0 15 0 19 0 906073176 13954707456 19963 33554432000 1073741824 1073778376 140735146594688 18446744073709551615 252469882368 0 0 0 16800975 18446604446895220672 0 0 -1 6 0 0 0
[pid=12477/tid=12489] ppid=12475 vsize=13627644 CPUtime=0 cores=0,2,4,6
/proc/12477/task/12489/stat : 12489 (java) S 12475 12477 8699 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 906073177 13954707456 19963 33554432000 1073741824 1073778376 140735146594688 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 0 0 0 0
[pid=12477/tid=12490] ppid=12475 vsize=13627644 CPUtime=0 cores=0,2,4,6
/proc/12477/task/12490/stat : 12490 (java) S 12475 12477 8699 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 906073177 13954707456 19963 33554432000 1073741824 1073778376 140735146594688 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 0 0 0 0
[pid=12477/tid=12491] ppid=12475 vsize=13627644 CPUtime=0 cores=0,2,4,6
/proc/12477/task/12491/stat : 12491 (java) S 12475 12477 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906073179 13954707456 19963 33554432000 1073741824 1073778376 140735146594688 18446744073709551615 252469889457 0 4 0 16800975 18446604446895220672 0 0 -1 4 0 0 0
[pid=12477/tid=12492] ppid=12475 vsize=13627644 CPUtime=0.25 cores=0,2,4,6
/proc/12477/task/12492/stat : 12492 (java) S 12475 12477 8699 0 -1 4202560 2147 0 0 0 25 0 0 0 15 0 19 0 906073179 13954707456 19963 33554432000 1073741824 1073778376 140735146594688 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 0 0 0 0
[pid=12477/tid=12493] ppid=12475 vsize=13627644 CPUtime=0.16 cores=0,2,4,6
/proc/12477/task/12493/stat : 12493 (java) S 12475 12477 8699 0 -1 4202560 1959 0 0 0 16 0 0 0 15 0 19 0 906073179 13954707456 19963 33554432000 1073741824 1073778376 140735146594688 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 2 0 0 0
[pid=12477/tid=12494] ppid=12475 vsize=13627644 CPUtime=0 cores=0,2,4,6
/proc/12477/task/12494/stat : 12494 (java) S 12475 12477 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906073179 13954707456 19963 33554432000 1073741824 1073778376 140735146594688 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 4 0 0 0
[pid=12477/tid=12495] ppid=12475 vsize=13627644 CPUtime=0 cores=0,2,4,6
/proc/12477/task/12495/stat : 12495 (java) S 12475 12477 8699 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906073179 13954707456 19963 33554432000 1073741824 1073778376 140735146594688 18446744073709551615 252469882368 0 4 0 16800975 18446604446895220672 0 0 -1 4 0 0 0
[pid=12477/tid=12496] ppid=12475 vsize=13627644 CPUtime=0 cores=0,2,4,6
/proc/12477/task/12496/stat : 12496 (java) S 12475 12477 8699 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 906073191 13954707456 19963 33554432000 1073741824 1073778376 140735146594688 18446744073709551615 252469882368 0 4 0 16800975 18446604446895220672 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.52
Current children cumulated vsize (KiB) 13627644

[startup+6.30149 s]
/proc/loadavg: 2.22 2.09 1.99 3/506 12496
/proc/meminfo: memFree=23990328/32951124 swapFree=56297244/67111528
[pid=12477] ppid=12475 vsize=13627644 CPUtime=6.78 cores=0,2,4,6
/proc/12477/stat : 12477 (java) S 12475 12477 8699 0 -1 4202496 22979 0 1 0 675 3 0 0 25 0 19 0 906073173 13954707456 20675 33554432000 1073741824 1073778376 140735146594688 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/12477/statm: 3406911 20675 2250 9 0 3397645 0
[pid=12477/tid=12478] ppid=12475 vsize=13627644 CPUtime=6.18 cores=0,2,4,6
/proc/12477/task/12478/stat : 12478 (java) R 12475 12477 8699 0 -1 4202560 14929 0 1 0 616 2 0 0 25 0 19 0 906073173 13954707456 20675 33554432000 1073741824 1073778376 140735146594688 18446744073709551615 46912505623325 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=12477/tid=12480] ppid=12475 vsize=13627644 CPUtime=0 cores=0,2,4,6
/proc/12477/task/12480/stat : 12480 (java) S 12475 12477 8699 0 -1 4202560 359 0 0 0 0 0 0 0 16 0 19 0 906073175 13954707456 20675 33554432000 1073741824 1073778376 140735146594688 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 2 0 0 0
[pid=12477/tid=12481] ppid=12475 vsize=13627644 CPUtime=0 cores=0,2,4,6
/proc/12477/task/12481/stat : 12481 (java) S 12475 12477 8699 0 -1 4202560 82 0 0 0 0 0 0 0 15 0 19 0 906073175 13954707456 20675 33554432000 1073741824 1073778376 140735146594688 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 0 0 0 0
[pid=12477/tid=12482] ppid=12475 vsize=13627644 CPUtime=0 cores=0,2,4,6
/proc/12477/task/12482/stat : 12482 (java) S 12475 12477 8699 0 -1 4202560 83 0 0 0 0 0 0 0 15 0 19 0 906073175 13954707456 20675 33554432000 1073741824 1073778376 140735146594688 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 0 0 0 0
[pid=12477/tid=12483] ppid=12475 vsize=13627644 CPUtime=0 cores=0,2,4,6
/proc/12477/task/12483/stat : 12483 (java) S 12475 12477 8699 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 19 0 906073175 13954707456 20675 33554432000 1073741824 1073778376 140735146594688 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 0 0 0 0
[pid=12477/tid=12484] ppid=12475 vsize=13627644 CPUtime=0 cores=0,2,4,6
/proc/12477/task/12484/stat : 12484 (java) S 12475 12477 8699 0 -1 4202560 147 0 0 0 0 0 0 0 15 0 19 0 906073175 13954707456 20675 33554432000 1073741824 1073778376 140735146594688 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 2 0 0 0
[pid=12477/tid=12485] ppid=12475 vsize=13627644 CPUtime=0 cores=0,2,4,6
/proc/12477/task/12485/stat : 12485 (java) S 12475 12477 8699 0 -1 4202560 44 0 0 0 0 0 0 0 15 0 19 0 906073175 13954707456 20675 33554432000 1073741824 1073778376 140735146594688 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 0 0 0 0
[pid=12477/tid=12486] ppid=12475 vsize=13627644 CPUtime=0 cores=0,2,4,6
/proc/12477/task/12486/stat : 12486 (java) S 12475 12477 8699 0 -1 4202560 164 0 0 0 0 0 0 0 15 0 19 0 906073175 13954707456 20675 33554432000 1073741824 1073778376 140735146594688 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 0 0 0 0
[pid=12477/tid=12487] ppid=12475 vsize=13627644 CPUtime=0 cores=0,2,4,6
/proc/12477/task/12487/stat : 12487 (java) S 12475 12477 8699 0 -1 4202560 156 0 0 0 0 0 0 0 15 0 19 0 906073175 13954707456 20675 33554432000 1073741824 1073778376 140735146594688 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 0 0 0 0
[pid=12477/tid=12488] ppid=12475 vsize=13627644 CPUtime=0.09 cores=0,2,4,6
/proc/12477/task/12488/stat : 12488 (java) S 12475 12477 8699 0 -1 4202560 1399 0 0 0 9 0 0 0 16 0 19 0 906073176 13954707456 20675 33554432000 1073741824 1073778376 140735146594688 18446744073709551615 252469882368 0 0 0 16800975 18446604446895220672 0 0 -1 4 0 0 0
[pid=12477/tid=12489] ppid=12475 vsize=13627644 CPUtime=0 cores=0,2,4,6
/proc/12477/task/12489/stat : 12489 (java) S 12475 12477 8699 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 906073177 13954707456 20675 33554432000 1073741824 1073778376 140735146594688 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 0 0 0 0
[pid=12477/tid=12490] ppid=12475 vsize=13627644 CPUtime=0 cores=0,2,4,6
/proc/12477/task/12490/stat : 12490 (java) S 12475 12477 8699 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 906073177 13954707456 20675 33554432000 1073741824 1073778376 140735146594688 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 0 0 0 0
[pid=12477/tid=12491] ppid=12475 vsize=13627644 CPUtime=0 cores=0,2,4,6
/proc/12477/task/12491/stat : 12491 (java) S 12475 12477 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906073179 13954707456 20675 33554432000 1073741824 1073778376 140735146594688 18446744073709551615 252469889457 0 4 0 16800975 18446604446895220672 0 0 -1 4 0 0 0
[pid=12477/tid=12492] ppid=12475 vsize=13627644 CPUtime=0.3 cores=0,2,4,6
/proc/12477/task/12492/stat : 12492 (java) S 12475 12477 8699 0 -1 4202560 2499 0 0 0 30 0 0 0 15 0 19 0 906073179 13954707456 20675 33554432000 1073741824 1073778376 140735146594688 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 0 0 0 0
[pid=12477/tid=12493] ppid=12475 vsize=13627644 CPUtime=0.17 cores=0,2,4,6
/proc/12477/task/12493/stat : 12493 (java) S 12475 12477 8699 0 -1 4202560 1959 0 0 0 17 0 0 0 15 0 19 0 906073179 13954707456 20675 33554432000 1073741824 1073778376 140735146594688 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 2 0 0 0

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

/proc/12477/task/12480/stat : 12480 (java) S 12475 12477 8699 0 -1 4202560 473 0 0 0 16 0 0 0 15 0 19 0 906073175 13954707456 27222 33554432000 1073741824 1073778376 140735146594688 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 6 0 0 0
[pid=12477/tid=12481] ppid=12475 vsize=13627644 CPUtime=0.12 cores=0,2,4,6
/proc/12477/task/12481/stat : 12481 (java) S 12475 12477 8699 0 -1 4202560 127 0 0 0 12 0 0 0 15 0 19 0 906073175 13954707456 27222 33554432000 1073741824 1073778376 140735146594688 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 0 0 0 0
[pid=12477/tid=12482] ppid=12475 vsize=13627644 CPUtime=0.15 cores=0,2,4,6
/proc/12477/task/12482/stat : 12482 (java) S 12475 12477 8699 0 -1 4202560 131 0 0 0 15 0 0 0 15 0 19 0 906073175 13954707456 27222 33554432000 1073741824 1073778376 140735146594688 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 6 0 0 0
[pid=12477/tid=12483] ppid=12475 vsize=13627644 CPUtime=0.13 cores=0,2,4,6
/proc/12477/task/12483/stat : 12483 (java) S 12475 12477 8699 0 -1 4202560 296 0 0 0 13 0 0 0 16 0 19 0 906073175 13954707456 27222 33554432000 1073741824 1073778376 140735146594688 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 0 0 0 0
[pid=12477/tid=12484] ppid=12475 vsize=13627644 CPUtime=0.13 cores=0,2,4,6
/proc/12477/task/12484/stat : 12484 (java) S 12475 12477 8699 0 -1 4202560 171 0 0 0 13 0 0 0 16 0 19 0 906073175 13954707456 27222 33554432000 1073741824 1073778376 140735146594688 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 6 0 0 0
[pid=12477/tid=12485] ppid=12475 vsize=13627644 CPUtime=0.13 cores=0,2,4,6
/proc/12477/task/12485/stat : 12485 (java) S 12475 12477 8699 0 -1 4202560 149 0 0 0 13 0 0 0 15 0 19 0 906073175 13954707456 27222 33554432000 1073741824 1073778376 140735146594688 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 6 0 0 0
[pid=12477/tid=12486] ppid=12475 vsize=13627644 CPUtime=0.14 cores=0,2,4,6
/proc/12477/task/12486/stat : 12486 (java) S 12475 12477 8699 0 -1 4202560 329 0 0 0 14 0 0 0 15 0 19 0 906073175 13954707456 27222 33554432000 1073741824 1073778376 140735146594688 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 2 0 0 0
[pid=12477/tid=12487] ppid=12475 vsize=13627644 CPUtime=0.14 cores=0,2,4,6
/proc/12477/task/12487/stat : 12487 (java) S 12475 12477 8699 0 -1 4202560 325 0 0 0 14 0 0 0 15 0 19 0 906073175 13954707456 27222 33554432000 1073741824 1073778376 140735146594688 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 6 0 0 0
[pid=12477/tid=12488] ppid=12475 vsize=13627644 CPUtime=5.67 cores=0,2,4,6
/proc/12477/task/12488/stat : 12488 (java) S 12475 12477 8699 0 -1 4202560 4220 0 0 0 564 3 0 0 16 0 19 0 906073176 13954707456 27222 33554432000 1073741824 1073778376 140735146594688 18446744073709551615 252469882368 0 0 0 16800975 18446604446895220672 0 0 -1 4 0 0 0
[pid=12477/tid=12489] ppid=12475 vsize=13627644 CPUtime=0 cores=0,2,4,6
/proc/12477/task/12489/stat : 12489 (java) S 12475 12477 8699 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 906073177 13954707456 27222 33554432000 1073741824 1073778376 140735146594688 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 0 0 0 0
[pid=12477/tid=12490] ppid=12475 vsize=13627644 CPUtime=0 cores=0,2,4,6
/proc/12477/task/12490/stat : 12490 (java) S 12475 12477 8699 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 906073177 13954707456 27222 33554432000 1073741824 1073778376 140735146594688 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 0 0 0 0
[pid=12477/tid=12491] ppid=12475 vsize=13627644 CPUtime=0 cores=0,2,4,6
/proc/12477/task/12491/stat : 12491 (java) S 12475 12477 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906073179 13954707456 27222 33554432000 1073741824 1073778376 140735146594688 18446744073709551615 252469889457 0 4 0 16800975 18446604446895220672 0 0 -1 4 0 0 0
[pid=12477/tid=12492] ppid=12475 vsize=13627644 CPUtime=0.93 cores=0,2,4,6
/proc/12477/task/12492/stat : 12492 (java) S 12475 12477 8699 0 -1 4202560 11984 0 0 0 92 1 0 0 15 0 19 0 906073179 13954707456 27222 33554432000 1073741824 1073778376 140735146594688 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 0 0 0 0
[pid=12477/tid=12493] ppid=12475 vsize=13627644 CPUtime=0.23 cores=0,2,4,6
/proc/12477/task/12493/stat : 12493 (java) S 12475 12477 8699 0 -1 4202560 1962 0 0 0 23 0 0 0 15 0 19 0 906073179 13954707456 27222 33554432000 1073741824 1073778376 140735146594688 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 2 0 0 0
[pid=12477/tid=12494] ppid=12475 vsize=13627644 CPUtime=0 cores=0,2,4,6
/proc/12477/task/12494/stat : 12494 (java) S 12475 12477 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906073179 13954707456 27222 33554432000 1073741824 1073778376 140735146594688 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 4 0 0 0
[pid=12477/tid=12495] ppid=12475 vsize=13627644 CPUtime=0 cores=0,2,4,6
/proc/12477/task/12495/stat : 12495 (java) S 12475 12477 8699 0 -1 4202560 14 0 0 0 0 0 0 0 15 0 19 0 906073179 13954707456 27222 33554432000 1073741824 1073778376 140735146594688 18446744073709551615 252469882368 0 4 0 16800975 18446604446895220672 0 0 -1 2 0 0 0
[pid=12477/tid=12496] ppid=12475 vsize=13627644 CPUtime=0 cores=0,2,4,6
/proc/12477/task/12496/stat : 12496 (java) S 12475 12477 8699 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 906073191 13954707456 27222 33554432000 1073741824 1073778376 140735146594688 18446744073709551615 252469882368 0 4 0 16800975 18446604446895220672 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 246.48
Current children cumulated vsize (KiB) 13627644

[startup+245.501 s]
/proc/loadavg: 2.05 2.05 1.99 3/506 12503
/proc/meminfo: memFree=23934348/32951124 swapFree=56297244/67111528
[pid=12477] ppid=12475 vsize=13627644 CPUtime=247.28 cores=0,2,4,6
/proc/12477/stat : 12477 (java) S 12475 12477 8699 0 -1 4202496 36533 0 1 0 24719 9 0 0 25 0 19 0 906073173 13954707456 27222 33554432000 1073741824 1073778376 140735146594688 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/12477/statm: 3406911 27222 2251 9 0 3397645 0
[pid=12477/tid=12478] ppid=12475 vsize=13627644 CPUtime=239.26 cores=0,2,4,6
/proc/12477/task/12478/stat : 12478 (java) R 12475 12477 8699 0 -1 4202560 15204 0 1 0 23924 2 0 0 25 0 19 0 906073173 13954707456 27222 33554432000 1073741824 1073778376 140735146594688 18446744073709551615 46912505561764 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=12477/tid=12480] ppid=12475 vsize=13627644 CPUtime=0.16 cores=0,2,4,6
/proc/12477/task/12480/stat : 12480 (java) S 12475 12477 8699 0 -1 4202560 473 0 0 0 16 0 0 0 15 0 19 0 906073175 13954707456 27222 33554432000 1073741824 1073778376 140735146594688 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 6 0 0 0
[pid=12477/tid=12481] ppid=12475 vsize=13627644 CPUtime=0.12 cores=0,2,4,6
/proc/12477/task/12481/stat : 12481 (java) S 12475 12477 8699 0 -1 4202560 127 0 0 0 12 0 0 0 15 0 19 0 906073175 13954707456 27222 33554432000 1073741824 1073778376 140735146594688 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 0 0 0 0
[pid=12477/tid=12482] ppid=12475 vsize=13627644 CPUtime=0.15 cores=0,2,4,6
/proc/12477/task/12482/stat : 12482 (java) S 12475 12477 8699 0 -1 4202560 131 0 0 0 15 0 0 0 15 0 19 0 906073175 13954707456 27222 33554432000 1073741824 1073778376 140735146594688 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 6 0 0 0
[pid=12477/tid=12483] ppid=12475 vsize=13627644 CPUtime=0.13 cores=0,2,4,6
/proc/12477/task/12483/stat : 12483 (java) S 12475 12477 8699 0 -1 4202560 296 0 0 0 13 0 0 0 16 0 19 0 906073175 13954707456 27222 33554432000 1073741824 1073778376 140735146594688 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 0 0 0 0
[pid=12477/tid=12484] ppid=12475 vsize=13627644 CPUtime=0.13 cores=0,2,4,6
/proc/12477/task/12484/stat : 12484 (java) S 12475 12477 8699 0 -1 4202560 171 0 0 0 13 0 0 0 16 0 19 0 906073175 13954707456 27222 33554432000 1073741824 1073778376 140735146594688 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 6 0 0 0
[pid=12477/tid=12485] ppid=12475 vsize=13627644 CPUtime=0.13 cores=0,2,4,6
/proc/12477/task/12485/stat : 12485 (java) S 12475 12477 8699 0 -1 4202560 149 0 0 0 13 0 0 0 15 0 19 0 906073175 13954707456 27222 33554432000 1073741824 1073778376 140735146594688 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 6 0 0 0
[pid=12477/tid=12486] ppid=12475 vsize=13627644 CPUtime=0.14 cores=0,2,4,6
/proc/12477/task/12486/stat : 12486 (java) S 12475 12477 8699 0 -1 4202560 329 0 0 0 14 0 0 0 15 0 19 0 906073175 13954707456 27222 33554432000 1073741824 1073778376 140735146594688 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 2 0 0 0
[pid=12477/tid=12487] ppid=12475 vsize=13627644 CPUtime=0.14 cores=0,2,4,6
/proc/12477/task/12487/stat : 12487 (java) S 12475 12477 8699 0 -1 4202560 325 0 0 0 14 0 0 0 15 0 19 0 906073175 13954707456 27222 33554432000 1073741824 1073778376 140735146594688 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 6 0 0 0
[pid=12477/tid=12488] ppid=12475 vsize=13627644 CPUtime=5.67 cores=0,2,4,6
/proc/12477/task/12488/stat : 12488 (java) S 12475 12477 8699 0 -1 4202560 4220 0 0 0 564 3 0 0 16 0 19 0 906073176 13954707456 27222 33554432000 1073741824 1073778376 140735146594688 18446744073709551615 252469882368 0 0 0 16800975 18446604446895220672 0 0 -1 4 0 0 0
[pid=12477/tid=12489] ppid=12475 vsize=13627644 CPUtime=0 cores=0,2,4,6
/proc/12477/task/12489/stat : 12489 (java) S 12475 12477 8699 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 906073177 13954707456 27222 33554432000 1073741824 1073778376 140735146594688 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 0 0 0 0
[pid=12477/tid=12490] ppid=12475 vsize=13627644 CPUtime=0 cores=0,2,4,6
/proc/12477/task/12490/stat : 12490 (java) S 12475 12477 8699 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 906073177 13954707456 27222 33554432000 1073741824 1073778376 140735146594688 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 0 0 0 0
[pid=12477/tid=12491] ppid=12475 vsize=13627644 CPUtime=0 cores=0,2,4,6
/proc/12477/task/12491/stat : 12491 (java) S 12475 12477 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906073179 13954707456 27222 33554432000 1073741824 1073778376 140735146594688 18446744073709551615 252469889457 0 4 0 16800975 18446604446895220672 0 0 -1 4 0 0 0
[pid=12477/tid=12492] ppid=12475 vsize=13627644 CPUtime=0.93 cores=0,2,4,6
/proc/12477/task/12492/stat : 12492 (java) S 12475 12477 8699 0 -1 4202560 11984 0 0 0 92 1 0 0 15 0 19 0 906073179 13954707456 27222 33554432000 1073741824 1073778376 140735146594688 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 0 0 0 0
[pid=12477/tid=12493] ppid=12475 vsize=13627644 CPUtime=0.23 cores=0,2,4,6
/proc/12477/task/12493/stat : 12493 (java) S 12475 12477 8699 0 -1 4202560 1962 0 0 0 23 0 0 0 15 0 19 0 906073179 13954707456 27222 33554432000 1073741824 1073778376 140735146594688 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 2 0 0 0
[pid=12477/tid=12494] ppid=12475 vsize=13627644 CPUtime=0 cores=0,2,4,6
/proc/12477/task/12494/stat : 12494 (java) S 12475 12477 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906073179 13954707456 27222 33554432000 1073741824 1073778376 140735146594688 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 4 0 0 0
[pid=12477/tid=12495] ppid=12475 vsize=13627644 CPUtime=0 cores=0,2,4,6
/proc/12477/task/12495/stat : 12495 (java) S 12475 12477 8699 0 -1 4202560 14 0 0 0 0 0 0 0 15 0 19 0 906073179 13954707456 27222 33554432000 1073741824 1073778376 140735146594688 18446744073709551615 252469882368 0 4 0 16800975 18446604446895220672 0 0 -1 2 0 0 0
[pid=12477/tid=12496] ppid=12475 vsize=13627644 CPUtime=0 cores=0,2,4,6
/proc/12477/task/12496/stat : 12496 (java) S 12475 12477 8699 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 906073191 13954707456 27222 33554432000 1073741824 1073778376 140735146594688 18446744073709551615 252469882368 0 4 0 16800975 18446604446895220672 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 247.28
Current children cumulated vsize (KiB) 13627644

[startup+245.701 s]
/proc/loadavg: 2.05 2.05 1.99 3/506 12503
/proc/meminfo: memFree=23934348/32951124 swapFree=56297244/67111528
[pid=12477] ppid=12475 vsize=13627644 CPUtime=247.5 cores=0,2,4,6
/proc/12477/stat : 12477 (java) S 12475 12477 8699 0 -1 4202496 36539 0 1 0 24740 10 0 0 25 0 19 0 906073173 13954707456 27227 33554432000 1073741824 1073778376 140735146594688 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/12477/statm: 3406911 27227 2251 9 0 3397645 0
[pid=12477/tid=12478] ppid=12475 vsize=13627644 CPUtime=239.44 cores=0,2,4,6
/proc/12477/task/12478/stat : 12478 (java) R 12475 12477 8699 0 -1 4202560 15205 0 1 0 23942 2 0 0 25 0 19 0 906073173 13954707456 27227 33554432000 1073741824 1073778376 140735146594688 18446744073709551615 46912505584619 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=12477/tid=12480] ppid=12475 vsize=13627644 CPUtime=0.16 cores=0,2,4,6
/proc/12477/task/12480/stat : 12480 (java) S 12475 12477 8699 0 -1 4202560 473 0 0 0 16 0 0 0 15 0 19 0 906073175 13954707456 27227 33554432000 1073741824 1073778376 140735146594688 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 6 0 0 0
[pid=12477/tid=12481] ppid=12475 vsize=13627644 CPUtime=0.12 cores=0,2,4,6
/proc/12477/task/12481/stat : 12481 (java) S 12475 12477 8699 0 -1 4202560 127 0 0 0 12 0 0 0 15 0 19 0 906073175 13954707456 27227 33554432000 1073741824 1073778376 140735146594688 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 0 0 0 0
[pid=12477/tid=12482] ppid=12475 vsize=13627644 CPUtime=0.15 cores=0,2,4,6
/proc/12477/task/12482/stat : 12482 (java) S 12475 12477 8699 0 -1 4202560 131 0 0 0 15 0 0 0 16 0 19 0 906073175 13954707456 27227 33554432000 1073741824 1073778376 140735146594688 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 6 0 0 0
[pid=12477/tid=12483] ppid=12475 vsize=13627644 CPUtime=0.13 cores=0,2,4,6
/proc/12477/task/12483/stat : 12483 (java) S 12475 12477 8699 0 -1 4202560 296 0 0 0 13 0 0 0 16 0 19 0 906073175 13954707456 27227 33554432000 1073741824 1073778376 140735146594688 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 0 0 0 0
[pid=12477/tid=12484] ppid=12475 vsize=13627644 CPUtime=0.13 cores=0,2,4,6
/proc/12477/task/12484/stat : 12484 (java) S 12475 12477 8699 0 -1 4202560 176 0 0 0 13 0 0 0 16 0 19 0 906073175 13954707456 27227 33554432000 1073741824 1073778376 140735146594688 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 6 0 0 0
[pid=12477/tid=12485] ppid=12475 vsize=13627644 CPUtime=0.13 cores=0,2,4,6
/proc/12477/task/12485/stat : 12485 (java) S 12475 12477 8699 0 -1 4202560 149 0 0 0 13 0 0 0 15 0 19 0 906073175 13954707456 27227 33554432000 1073741824 1073778376 140735146594688 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 6 0 0 0
[pid=12477/tid=12486] ppid=12475 vsize=13627644 CPUtime=0.14 cores=0,2,4,6
/proc/12477/task/12486/stat : 12486 (java) S 12475 12477 8699 0 -1 4202560 329 0 0 0 14 0 0 0 16 0 19 0 906073175 13954707456 27227 33554432000 1073741824 1073778376 140735146594688 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 2 0 0 0
[pid=12477/tid=12487] ppid=12475 vsize=13627644 CPUtime=0.14 cores=0,2,4,6
/proc/12477/task/12487/stat : 12487 (java) S 12475 12477 8699 0 -1 4202560 325 0 0 0 14 0 0 0 15 0 19 0 906073175 13954707456 27227 33554432000 1073741824 1073778376 140735146594688 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 6 0 0 0
[pid=12477/tid=12488] ppid=12475 vsize=13627644 CPUtime=5.69 cores=0,2,4,6
/proc/12477/task/12488/stat : 12488 (java) S 12475 12477 8699 0 -1 4202560 4220 0 0 0 566 3 0 0 16 0 19 0 906073176 13954707456 27227 33554432000 1073741824 1073778376 140735146594688 18446744073709551615 252469882368 0 0 0 16800975 18446604446895220672 0 0 -1 4 0 0 0
[pid=12477/tid=12489] ppid=12475 vsize=13627644 CPUtime=0 cores=0,2,4,6
/proc/12477/task/12489/stat : 12489 (java) S 12475 12477 8699 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 906073177 13954707456 27227 33554432000 1073741824 1073778376 140735146594688 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 0 0 0 0
[pid=12477/tid=12490] ppid=12475 vsize=13627644 CPUtime=0 cores=0,2,4,6
/proc/12477/task/12490/stat : 12490 (java) S 12475 12477 8699 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 906073177 13954707456 27227 33554432000 1073741824 1073778376 140735146594688 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 0 0 0 0
[pid=12477/tid=12491] ppid=12475 vsize=13627644 CPUtime=0 cores=0,2,4,6
/proc/12477/task/12491/stat : 12491 (java) S 12475 12477 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906073179 13954707456 27227 33554432000 1073741824 1073778376 140735146594688 18446744073709551615 252469889457 0 4 0 16800975 18446604446895220672 0 0 -1 4 0 0 0
[pid=12477/tid=12492] ppid=12475 vsize=13627644 CPUtime=0.93 cores=0,2,4,6
/proc/12477/task/12492/stat : 12492 (java) S 12475 12477 8699 0 -1 4202560 11984 0 0 0 92 1 0 0 15 0 19 0 906073179 13954707456 27227 33554432000 1073741824 1073778376 140735146594688 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 0 0 0 0
[pid=12477/tid=12493] ppid=12475 vsize=13627644 CPUtime=0.23 cores=0,2,4,6
/proc/12477/task/12493/stat : 12493 (java) S 12475 12477 8699 0 -1 4202560 1962 0 0 0 23 0 0 0 15 0 19 0 906073179 13954707456 27227 33554432000 1073741824 1073778376 140735146594688 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 2 0 0 0
[pid=12477/tid=12494] ppid=12475 vsize=13627644 CPUtime=0 cores=0,2,4,6
/proc/12477/task/12494/stat : 12494 (java) S 12475 12477 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906073179 13954707456 27227 33554432000 1073741824 1073778376 140735146594688 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 4 0 0 0
[pid=12477/tid=12495] ppid=12475 vsize=13627644 CPUtime=0 cores=0,2,4,6
/proc/12477/task/12495/stat : 12495 (java) S 12475 12477 8699 0 -1 4202560 14 0 0 0 0 0 0 0 15 0 19 0 906073179 13954707456 27227 33554432000 1073741824 1073778376 140735146594688 18446744073709551615 252469882368 0 4 0 16800975 18446604446895220672 0 0 -1 2 0 0 0
[pid=12477/tid=12496] ppid=12475 vsize=13627644 CPUtime=0 cores=0,2,4,6
/proc/12477/task/12496/stat : 12496 (java) S 12475 12477 8699 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 906073191 13954707456 27227 33554432000 1073741824 1073778376 140735146594688 18446744073709551615 252469882368 0 4 0 16800975 18446604446895220672 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 247.5
Current children cumulated vsize (KiB) 13627644

[startup+245.801 s]
/proc/loadavg: 2.05 2.05 1.99 3/506 12503
/proc/meminfo: memFree=23934348/32951124 swapFree=56297244/67111528
[pid=12477] ppid=12475 vsize=13627644 CPUtime=247.6 cores=0,2,4,6
/proc/12477/stat : 12477 (java) S 12475 12477 8699 0 -1 4202496 36539 0 1 0 24750 10 0 0 25 0 19 0 906073173 13954707456 27227 33554432000 1073741824 1073778376 140735146594688 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/12477/statm: 3406911 27227 2251 9 0 3397645 0
[pid=12477/tid=12478] ppid=12475 vsize=13627644 CPUtime=239.54 cores=0,2,4,6
/proc/12477/task/12478/stat : 12478 (java) R 12475 12477 8699 0 -1 4202560 15205 0 1 0 23952 2 0 0 25 0 19 0 906073173 13954707456 27227 33554432000 1073741824 1073778376 140735146594688 18446744073709551615 46912505530400 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=12477/tid=12480] ppid=12475 vsize=13627644 CPUtime=0.16 cores=0,2,4,6
/proc/12477/task/12480/stat : 12480 (java) S 12475 12477 8699 0 -1 4202560 473 0 0 0 16 0 0 0 15 0 19 0 906073175 13954707456 27227 33554432000 1073741824 1073778376 140735146594688 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 6 0 0 0
[pid=12477/tid=12481] ppid=12475 vsize=13627644 CPUtime=0.12 cores=0,2,4,6
/proc/12477/task/12481/stat : 12481 (java) S 12475 12477 8699 0 -1 4202560 127 0 0 0 12 0 0 0 15 0 19 0 906073175 13954707456 27227 33554432000 1073741824 1073778376 140735146594688 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 0 0 0 0
[pid=12477/tid=12482] ppid=12475 vsize=13627644 CPUtime=0.15 cores=0,2,4,6
/proc/12477/task/12482/stat : 12482 (java) S 12475 12477 8699 0 -1 4202560 131 0 0 0 15 0 0 0 16 0 19 0 906073175 13954707456 27227 33554432000 1073741824 1073778376 140735146594688 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 6 0 0 0
[pid=12477/tid=12483] ppid=12475 vsize=13627644 CPUtime=0.13 cores=0,2,4,6
/proc/12477/task/12483/stat : 12483 (java) S 12475 12477 8699 0 -1 4202560 296 0 0 0 13 0 0 0 16 0 19 0 906073175 13954707456 27227 33554432000 1073741824 1073778376 140735146594688 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 0 0 0 0
[pid=12477/tid=12484] ppid=12475 vsize=13627644 CPUtime=0.13 cores=0,2,4,6
/proc/12477/task/12484/stat : 12484 (java) S 12475 12477 8699 0 -1 4202560 176 0 0 0 13 0 0 0 16 0 19 0 906073175 13954707456 27227 33554432000 1073741824 1073778376 140735146594688 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 6 0 0 0
[pid=12477/tid=12485] ppid=12475 vsize=13627644 CPUtime=0.13 cores=0,2,4,6
/proc/12477/task/12485/stat : 12485 (java) S 12475 12477 8699 0 -1 4202560 149 0 0 0 13 0 0 0 15 0 19 0 906073175 13954707456 27227 33554432000 1073741824 1073778376 140735146594688 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 6 0 0 0
[pid=12477/tid=12486] ppid=12475 vsize=13627644 CPUtime=0.14 cores=0,2,4,6
/proc/12477/task/12486/stat : 12486 (java) S 12475 12477 8699 0 -1 4202560 329 0 0 0 14 0 0 0 16 0 19 0 906073175 13954707456 27227 33554432000 1073741824 1073778376 140735146594688 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 2 0 0 0
[pid=12477/tid=12487] ppid=12475 vsize=13627644 CPUtime=0.14 cores=0,2,4,6
/proc/12477/task/12487/stat : 12487 (java) S 12475 12477 8699 0 -1 4202560 325 0 0 0 14 0 0 0 15 0 19 0 906073175 13954707456 27227 33554432000 1073741824 1073778376 140735146594688 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 6 0 0 0
[pid=12477/tid=12488] ppid=12475 vsize=13627644 CPUtime=5.69 cores=0,2,4,6
/proc/12477/task/12488/stat : 12488 (java) S 12475 12477 8699 0 -1 4202560 4220 0 0 0 566 3 0 0 16 0 19 0 906073176 13954707456 27227 33554432000 1073741824 1073778376 140735146594688 18446744073709551615 252469882368 0 0 0 16800975 18446604446895220672 0 0 -1 4 0 0 0
[pid=12477/tid=12489] ppid=12475 vsize=13627644 CPUtime=0 cores=0,2,4,6
/proc/12477/task/12489/stat : 12489 (java) S 12475 12477 8699 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 906073177 13954707456 27227 33554432000 1073741824 1073778376 140735146594688 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 0 0 0 0
[pid=12477/tid=12490] ppid=12475 vsize=13627644 CPUtime=0 cores=0,2,4,6
/proc/12477/task/12490/stat : 12490 (java) S 12475 12477 8699 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 906073177 13954707456 27227 33554432000 1073741824 1073778376 140735146594688 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 0 0 0 0
[pid=12477/tid=12491] ppid=12475 vsize=13627644 CPUtime=0 cores=0,2,4,6
/proc/12477/task/12491/stat : 12491 (java) S 12475 12477 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906073179 13954707456 27227 33554432000 1073741824 1073778376 140735146594688 18446744073709551615 252469889457 0 4 0 16800975 18446604446895220672 0 0 -1 4 0 0 0
[pid=12477/tid=12492] ppid=12475 vsize=13627644 CPUtime=0.93 cores=0,2,4,6
/proc/12477/task/12492/stat : 12492 (java) S 12475 12477 8699 0 -1 4202560 11984 0 0 0 92 1 0 0 15 0 19 0 906073179 13954707456 27227 33554432000 1073741824 1073778376 140735146594688 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 0 0 0 0
[pid=12477/tid=12493] ppid=12475 vsize=13627644 CPUtime=0.23 cores=0,2,4,6
/proc/12477/task/12493/stat : 12493 (java) S 12475 12477 8699 0 -1 4202560 1962 0 0 0 23 0 0 0 15 0 19 0 906073179 13954707456 27227 33554432000 1073741824 1073778376 140735146594688 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 2 0 0 0
[pid=12477/tid=12494] ppid=12475 vsize=13627644 CPUtime=0 cores=0,2,4,6
/proc/12477/task/12494/stat : 12494 (java) S 12475 12477 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906073179 13954707456 27227 33554432000 1073741824 1073778376 140735146594688 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 4 0 0 0
[pid=12477/tid=12495] ppid=12475 vsize=13627644 CPUtime=0 cores=0,2,4,6
/proc/12477/task/12495/stat : 12495 (java) S 12475 12477 8699 0 -1 4202560 14 0 0 0 0 0 0 0 15 0 19 0 906073179 13954707456 27227 33554432000 1073741824 1073778376 140735146594688 18446744073709551615 252469882368 0 4 0 16800975 18446604446895220672 0 0 -1 2 0 0 0
[pid=12477/tid=12496] ppid=12475 vsize=13627644 CPUtime=0 cores=0,2,4,6
/proc/12477/task/12496/stat : 12496 (java) S 12475 12477 8699 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 906073191 13954707456 27227 33554432000 1073741824 1073778376 140735146594688 18446744073709551615 252469882368 0 4 0 16800975 18446604446895220672 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 247.6
Current children cumulated vsize (KiB) 13627644

Child status: 30
Real time (s): 245.894
CPU time (s): 247.694
CPU user time (s): 247.587
CPU system time (s): 0.106983
CPU usage (%): 100.732
Max. virtual memory (cumulated for all children) (KiB): 13627644

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 247.587
system time used= 0.106983
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36561
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= 13105
involuntary context switches= 4856

runsolver used 1.23281 second user time and 2.58861 second system time

The end

Launcher Data 

Begin job on node111 at 2011-06-04 05:33:47
IDJOB=3458237
IDBENCH=48057
IDSOLVER=1952
FILE ID=node111/3458237-1307158427
RUNJOBID= node111-1307156522-11740
PBS_JOBID= 13508805
Free space on /tmp= 73868 MiB

SOLVER NAME= Sat4j Resolution 2.3.0
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=347-P1=127-P2=53-P3=293-P4=199-P5=107-B.opb
COMMAND LINE= java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3458237-1307158427/watcher-3458237-1307158427 -o /tmp/evaluation-result-3458237-1307158427/solver-3458237-1307158427 -C 1800 -W 1900 -M 15500  java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458237-1307158427.opb

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

MD5SUM BENCH= ea08c66c9e8e41f4a763233d2f14489d
RANDOM SEED=1283734675

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.849
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.86
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.849
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.75
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.849
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
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.849
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.67
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.849
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:      24066160 kB
Buffers:        312484 kB
Cached:         818616 kB
SwapCached:      11784 kB
Active:        7841356 kB
Inactive:       765276 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24066160 kB
SwapTotal:    67111528 kB
SwapFree:     56297244 kB
Dirty:             564 kB
Writeback:           0 kB
AnonPages:     7472992 kB
Mapped:          36212 kB
Slab:           143656 kB
PageTables:      66592 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 162507004 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= 73868 MiB
End job on node111 at 2011-06-04 05:37:53