Trace number 3458079

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 376.916 374.913

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=9-P0=251-P1=257-P2=19-P3=349-P4=257-P5=479-P6=367-B.opb
MD5SUM80881c7fbc3c10cf38784c74294061e5
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.206967
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 variables162
Total number of constraints13
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 constraints13
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)486
Sum of products size (including duplicates)972
Number of different products486
Sum of products size972

Quality of the solution as a function of time


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

Solver Data 

0.05/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.05/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.05/0.08	c See www.sat4j.org for details.
0.05/0.08	c version 2.3.1.v20110525
0.05/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.05/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.05/0.08	c java.vm.version	19.1-b02
0.05/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.05/0.08	c sun.arch.data.model	64
0.05/0.08	c java.version		1.6.0_24
0.05/0.08	c os.name		Linux
0.05/0.08	c os.version		2.6.18-164.el5
0.05/0.08	c os.arch		amd64
0.05/0.08	c Free memory 		12995394264
0.05/0.08	c Max memory 		13063553024
0.05/0.08	c Total memory 		13063553024
0.05/0.08	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-3458079-1307157912.opb
0.10/0.11	c reading problem ... 
0.10/0.18	c ... done. Wall clock time 0.076s.
0.10/0.18	c #vars     648
0.10/0.18	c #constraints  991
0.10/0.18	c constraints type 
0.10/0.18	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 486
0.10/0.18	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 505
1.02/0.74	c cleaning 2500 clauses out of 5000 with flag 5000/5000
1.68/1.35	c cleaning 4250 clauses out of 8500 with flag 11000/11000
2.39/2.08	c cleaning 5621 clauses out of 11250 with flag 18000/18000
3.10/2.78	c cleaning 6813 clauses out of 13629 with flag 26000/26000
4.04/3.68	c cleaning 7907 clauses out of 15817 with flag 35001/35001
5.14/4.70	c cleaning 8949 clauses out of 17910 with flag 45001/45001
5.95/5.58	c cleaning 9475 clauses out of 18961 with flag 55001/55001
6.84/6.45	c cleaning 9729 clauses out of 19485 with flag 65000/65000
7.94/7.56	c cleaning 9876 clauses out of 19756 with flag 75000/75000
9.15/8.79	c cleaning 9939 clauses out of 19880 with flag 85000/85000
10.45/10.01	c cleaning 9968 clauses out of 19941 with flag 95000/95000
11.25/10.83	c cleaning 9980 clauses out of 19974 with flag 105001/105001
12.35/11.91	c cleaning 9994 clauses out of 19994 with flag 115001/115001
13.25/12.86	c cleaning 9997 clauses out of 19999 with flag 125000/125000
14.25/13.83	c cleaning 9998 clauses out of 20003 with flag 135001/135001
15.16/14.74	c cleaning 9997 clauses out of 20004 with flag 145000/145000
15.77/15.41	c cleaning 10000 clauses out of 20008 with flag 155001/155001
16.46/16.09	c cleaning 9998 clauses out of 20009 with flag 165002/165002
17.26/16.86	c cleaning 9999 clauses out of 20010 with flag 175001/175001
18.26/17.82	c cleaning 9991 clauses out of 20011 with flag 185001/185001
19.07/18.63	c cleaning 9998 clauses out of 20020 with flag 195001/195001
19.97/19.58	c cleaning 9997 clauses out of 20021 with flag 205000/205000
20.77/20.39	c cleaning 9996 clauses out of 20025 with flag 215001/215001
21.67/21.24	c cleaning 9996 clauses out of 20030 with flag 225002/225002
22.49/22.04	c cleaning 10005 clauses out of 20033 with flag 235001/235001
23.37/23.00	c cleaning 10001 clauses out of 20027 with flag 245000/245000
24.48/24.08	c cleaning 9997 clauses out of 20027 with flag 255001/255001
25.38/24.96	c cleaning 10011 clauses out of 20029 with flag 265000/265000
26.18/25.79	c cleaning 9989 clauses out of 20019 with flag 275001/275001
27.38/26.97	c cleaning 10007 clauses out of 20029 with flag 285000/285000
28.18/27.79	c cleaning 10003 clauses out of 20022 with flag 295000/295000
28.89/28.47	c cleaning 10000 clauses out of 20020 with flag 305001/305001
29.69/29.23	c cleaning 9996 clauses out of 20020 with flag 315001/315001
30.39/29.94	c cleaning 10001 clauses out of 20023 with flag 325000/325000
31.32/30.87	c cleaning 9991 clauses out of 20022 with flag 335000/335000
32.11/31.63	c cleaning 10000 clauses out of 20033 with flag 345002/345002
32.70/32.27	c cleaning 9996 clauses out of 20032 with flag 355001/355001
33.31/32.88	c cleaning 10004 clauses out of 20035 with flag 365000/365000
34.01/33.53	c cleaning 10000 clauses out of 20033 with flag 375002/375002
34.52/34.08	c cleaning 10001 clauses out of 20031 with flag 385000/385000
35.21/34.70	c cleaning 9999 clauses out of 20031 with flag 395001/395001
36.02/35.59	c cleaning 10007 clauses out of 20031 with flag 405000/405000
37.02/36.50	c cleaning 10002 clauses out of 20025 with flag 415001/415001
37.83/37.31	c cleaning 10000 clauses out of 20023 with flag 425001/425001
38.63/38.10	c cleaning 10008 clauses out of 20022 with flag 435000/435000
39.53/39.08	c cleaning 10000 clauses out of 20014 with flag 445000/445000
40.43/39.90	c cleaning 9994 clauses out of 20018 with flag 455004/455004
41.03/40.57	c cleaning 9994 clauses out of 20021 with flag 465001/465001
41.74/41.27	c cleaning 9996 clauses out of 20026 with flag 475000/475000
42.24/41.71	c SATISFIABLE
42.24/41.71	c OPTIMIZING...
42.24/41.71	c Got one! Elapsed wall clock time (in seconds):41.608
42.24/41.72	o 19
42.54/42.05	c cleaning 11485 clauses out of 22989 with flag 5001/487959
42.94/42.49	c cleaning 8736 clauses out of 17506 with flag 11003/493961
43.46/42.96	c cleaning 7867 clauses out of 15767 with flag 18000/500958
44.04/43.51	c cleaning 7938 clauses out of 15901 with flag 26001/508959
44.84/44.32	c cleaning 8467 clauses out of 16963 with flag 35001/517959
45.66/45.16	c cleaning 9247 clauses out of 18495 with flag 45000/527958
46.44/45.97	c cleaning 9605 clauses out of 19249 with flag 55001/537959
47.35/46.89	c cleaning 9810 clauses out of 19645 with flag 65002/547960
48.46/47.96	c cleaning 9900 clauses out of 19834 with flag 75001/557959
49.45/48.94	c cleaning 9948 clauses out of 19933 with flag 85000/567958
50.46/49.92	c cleaning 9977 clauses out of 19986 with flag 95001/577959
51.46/50.91	c cleaning 9988 clauses out of 20008 with flag 105000/587958
52.17/51.71	c cleaning 9996 clauses out of 20021 with flag 115001/597959
53.06/52.53	c cleaning 9996 clauses out of 20024 with flag 125000/607958
53.97/53.45	c cleaning 10002 clauses out of 20028 with flag 135000/617958
54.76/54.28	c cleaning 9995 clauses out of 20027 with flag 145001/627959
55.11/54.44	c Got one! Elapsed wall clock time (in seconds):54.337
55.11/54.44	o 3
55.47/54.68	c cleaning 7832 clauses out of 15679 with flag 3002/633606
56.36/55.17	c cleaning 6913 clauses out of 13846 with flag 9001/639605
56.86/55.62	c cleaning 6959 clauses out of 13933 with flag 16001/646605
57.57/56.37	c cleaning 7481 clauses out of 14973 with flag 24000/654604
58.40/57.14	c cleaning 8242 clauses out of 16492 with flag 33000/663604
59.29/58.08	c cleaning 9125 clauses out of 18251 with flag 43001/673605
60.29/59.05	c cleaning 9558 clauses out of 19125 with flag 53000/683604
61.09/59.88	c cleaning 9784 clauses out of 19567 with flag 63000/693604
62.00/60.71	c cleaning 9881 clauses out of 19784 with flag 73001/703605
62.81/61.60	c cleaning 9937 clauses out of 19902 with flag 83000/713604
63.80/62.53	c cleaning 9968 clauses out of 19966 with flag 93001/723605
64.81/63.51	c cleaning 9984 clauses out of 19998 with flag 103001/733605
65.61/64.37	c cleaning 9998 clauses out of 20014 with flag 113001/743605
66.61/65.38	c cleaning 10000 clauses out of 20015 with flag 123000/753604
67.71/66.40	c cleaning 9996 clauses out of 20015 with flag 133000/763604
68.61/67.38	c cleaning 10002 clauses out of 20020 with flag 143001/773605
69.61/68.37	c cleaning 10000 clauses out of 20018 with flag 153001/783605
70.52/69.30	c cleaning 10000 clauses out of 20017 with flag 163000/793604
71.31/70.01	c cleaning 10006 clauses out of 20017 with flag 173000/803604
72.31/71.00	c cleaning 10002 clauses out of 20011 with flag 183000/813604
73.12/71.89	c cleaning 9991 clauses out of 20009 with flag 193000/823604
74.02/72.79	c cleaning 9996 clauses out of 20018 with flag 203000/833604
75.13/73.86	c cleaning 10002 clauses out of 20023 with flag 213001/843605
76.24/74.92	c cleaning 9997 clauses out of 20021 with flag 223001/853605
77.15/75.90	c cleaning 10003 clauses out of 20023 with flag 233000/863604
78.14/76.86	c cleaning 10003 clauses out of 20020 with flag 243000/873604
79.14/77.84	c cleaning 9995 clauses out of 20018 with flag 253001/883605
80.24/78.91	c cleaning 9995 clauses out of 20022 with flag 263000/893604
80.94/79.68	c cleaning 10009 clauses out of 20028 with flag 273001/903605
81.94/80.61	c cleaning 10000 clauses out of 20019 with flag 283001/913605
82.84/81.55	c cleaning 10005 clauses out of 20019 with flag 293001/923605
83.65/82.35	c cleaning 10000 clauses out of 20013 with flag 303000/933604
84.45/83.19	c cleaning 9997 clauses out of 20013 with flag 313000/943604
85.65/84.38	c cleaning 10000 clauses out of 20017 with flag 323001/953605
86.85/85.51	c cleaning 10003 clauses out of 20016 with flag 333000/963604
88.06/86.74	c cleaning 9999 clauses out of 20013 with flag 343000/973604
89.06/87.74	c cleaning 10003 clauses out of 20014 with flag 353000/983604
89.96/88.68	c cleaning 9991 clauses out of 20012 with flag 363001/993605
90.86/89.53	c cleaning 10003 clauses out of 20021 with flag 373001/1003605
91.58/90.25	c cleaning 10001 clauses out of 20018 with flag 383001/1013605
92.26/90.95	c cleaning 9999 clauses out of 20017 with flag 393001/1023605
92.96/91.64	c cleaning 10003 clauses out of 20018 with flag 403001/1033605
93.67/92.37	c cleaning 10000 clauses out of 20014 with flag 413000/1043604
94.37/93.05	c cleaning 10000 clauses out of 20014 with flag 423000/1053604
95.47/94.15	c cleaning 10002 clauses out of 20014 with flag 433000/1063604
96.47/95.19	c cleaning 10001 clauses out of 20012 with flag 443000/1073604
97.67/96.31	c cleaning 9999 clauses out of 20012 with flag 453001/1083605
98.89/97.53	c cleaning 10000 clauses out of 20012 with flag 463000/1093604
99.69/98.38	c cleaning 10000 clauses out of 20014 with flag 473002/1103606
100.49/99.11	c cleaning 9995 clauses out of 20012 with flag 483000/1113604
101.19/99.82	c cleaning 10001 clauses out of 20017 with flag 493000/1123604
101.89/100.57	c cleaning 10000 clauses out of 20016 with flag 503000/1133604
102.79/101.43	c cleaning 10001 clauses out of 20016 with flag 513000/1143604
103.60/102.30	c cleaning 10001 clauses out of 20015 with flag 523000/1153604
104.49/103.16	c cleaning 9998 clauses out of 20014 with flag 533000/1163604
105.29/103.97	c cleaning 10001 clauses out of 20016 with flag 543000/1173604
106.10/104.73	c cleaning 10000 clauses out of 20015 with flag 553000/1183604
106.91/105.58	c cleaning 9995 clauses out of 20016 with flag 563001/1193605
107.60/106.28	c cleaning 9999 clauses out of 20020 with flag 573000/1203604
108.40/107.07	c cleaning 10001 clauses out of 20021 with flag 583000/1213604
109.22/107.82	c cleaning 9999 clauses out of 20021 with flag 593001/1223605
110.10/108.78	c cleaning 10005 clauses out of 20020 with flag 603000/1233604
111.33/109.96	c cleaning 10004 clauses out of 20016 with flag 613001/1243605
112.62/111.20	c cleaning 10000 clauses out of 20011 with flag 623000/1253604
113.42/112.09	c cleaning 9997 clauses out of 20011 with flag 633000/1263604
114.32/112.94	c cleaning 9992 clauses out of 20015 with flag 643001/1273605
115.43/114.01	c cleaning 9994 clauses out of 20022 with flag 653000/1283604
116.53/115.13	c cleaning 9998 clauses out of 20029 with flag 663001/1293605
117.53/116.10	c cleaning 9998 clauses out of 20030 with flag 673000/1303604
118.43/117.03	c cleaning 9998 clauses out of 20032 with flag 683000/1313604
119.23/117.89	c cleaning 10001 clauses out of 20034 with flag 693000/1323604
120.14/118.73	c cleaning 9998 clauses out of 20033 with flag 703000/1333604
120.83/119.45	c cleaning 10000 clauses out of 20035 with flag 713000/1343604
121.53/120.18	c cleaning 10003 clauses out of 20035 with flag 723000/1353604
122.34/120.93	c cleaning 9998 clauses out of 20033 with flag 733001/1363605
123.03/121.66	c cleaning 10001 clauses out of 20035 with flag 743001/1373605
124.04/122.66	c cleaning 10012 clauses out of 20035 with flag 753002/1383606
125.24/123.89	c cleaning 10004 clauses out of 20021 with flag 763000/1393604
126.64/125.22	c cleaning 9999 clauses out of 20017 with flag 773000/1403604
127.55/126.15	c cleaning 10000 clauses out of 20018 with flag 783000/1413604
128.25/126.89	c cleaning 9998 clauses out of 20018 with flag 793000/1423604
129.15/127.72	c cleaning 10005 clauses out of 20022 with flag 803002/1433606
130.46/129.05	c cleaning 9996 clauses out of 20016 with flag 813001/1443605
131.96/130.55	c cleaning 10002 clauses out of 20020 with flag 823001/1453605
133.48/132.01	c cleaning 10006 clauses out of 20017 with flag 833000/1463604
134.76/133.37	c cleaning 10001 clauses out of 20011 with flag 843000/1473604
135.97/134.58	c cleaning 9999 clauses out of 20011 with flag 853001/1483605
137.27/135.81	c cleaning 10002 clauses out of 20014 with flag 863003/1493607
138.37/136.96	c cleaning 9997 clauses out of 20010 with flag 873001/1503605
139.47/138.01	c cleaning 10001 clauses out of 20013 with flag 883001/1513605
140.28/138.82	c cleaning 9998 clauses out of 20013 with flag 893002/1523606
140.98/139.54	c cleaning 10001 clauses out of 20015 with flag 903002/1533606
141.78/140.32	c cleaning 9999 clauses out of 20012 with flag 913000/1543604
142.48/141.04	c cleaning 10001 clauses out of 20014 with flag 923001/1553605
143.08/141.67	c cleaning 9995 clauses out of 20014 with flag 933002/1563606
143.79/142.39	c cleaning 9999 clauses out of 20018 with flag 943001/1573605
145.00/143.54	c cleaning 9994 clauses out of 20018 with flag 953000/1583604
146.20/144.75	c cleaning 9997 clauses out of 20024 with flag 963000/1593604
147.30/145.85	c cleaning 9997 clauses out of 20028 with flag 973001/1603605
148.30/146.89	c cleaning 10003 clauses out of 20030 with flag 983000/1613604
149.50/148.09	c cleaning 10003 clauses out of 20027 with flag 993000/1623604
150.60/149.16	c cleaning 10000 clauses out of 20024 with flag 1003000/1633604
151.70/150.20	c cleaning 10004 clauses out of 20025 with flag 1013001/1643605
152.70/151.21	c cleaning 9998 clauses out of 20020 with flag 1023000/1653604
153.80/152.32	c cleaning 9997 clauses out of 20023 with flag 1033001/1663605
155.01/153.51	c cleaning 10003 clauses out of 20026 with flag 1043001/1673605
156.01/154.54	c cleaning 10003 clauses out of 20022 with flag 1053000/1683604
157.21/155.76	c cleaning 10002 clauses out of 20019 with flag 1063000/1693604
158.52/157.05	c cleaning 10000 clauses out of 20018 with flag 1073001/1703605
159.72/158.29	c cleaning 10001 clauses out of 20018 with flag 1083001/1713605
160.93/159.51	c cleaning 9999 clauses out of 20017 with flag 1093001/1723605
162.14/160.68	c cleaning 10001 clauses out of 20017 with flag 1103000/1733604
163.32/161.89	c cleaning 10001 clauses out of 20016 with flag 1113000/1743604
164.42/162.98	c cleaning 10003 clauses out of 20017 with flag 1123002/1753606
165.63/164.17	c cleaning 10000 clauses out of 20012 with flag 1133000/1763604
166.83/165.35	c cleaning 10001 clauses out of 20013 with flag 1143001/1773605
167.83/166.34	c cleaning 10000 clauses out of 20011 with flag 1153001/1783605
168.53/167.04	c cleaning 9995 clauses out of 20011 with flag 1163001/1793605
169.33/167.87	c cleaning 10000 clauses out of 20016 with flag 1173001/1803605
170.24/168.71	c cleaning 9999 clauses out of 20015 with flag 1183000/1813604
171.04/169.58	c cleaning 9993 clauses out of 20016 with flag 1193000/1823604
171.74/170.28	c cleaning 10004 clauses out of 20024 with flag 1203001/1833605
172.65/171.12	c cleaning 9996 clauses out of 20019 with flag 1213000/1843604
173.55/172.08	c cleaning 10001 clauses out of 20023 with flag 1223000/1853604
174.55/173.03	c cleaning 9999 clauses out of 20023 with flag 1233001/1863605
175.37/173.89	c cleaning 10001 clauses out of 20026 with flag 1243003/1873607
176.26/174.76	c cleaning 9994 clauses out of 20022 with flag 1253000/1883604
177.06/175.50	c cleaning 9997 clauses out of 20028 with flag 1263000/1893604
177.66/176.14	c cleaning 9995 clauses out of 20032 with flag 1273001/1903605
178.36/176.85	c cleaning 9997 clauses out of 20037 with flag 1283001/1913605
178.96/177.48	c cleaning 10002 clauses out of 20040 with flag 1293001/1923605
179.66/178.19	c cleaning 10012 clauses out of 20038 with flag 1303001/1933605
180.77/179.21	c cleaning 10003 clauses out of 20026 with flag 1313001/1943605
181.76/180.26	c cleaning 9998 clauses out of 20022 with flag 1323000/1953604
182.86/181.32	c cleaning 10007 clauses out of 20024 with flag 1333000/1963604
183.96/182.45	c cleaning 9999 clauses out of 20017 with flag 1343000/1973604
185.07/183.60	c cleaning 10002 clauses out of 20018 with flag 1353000/1983604
186.48/184.93	c cleaning 10000 clauses out of 20017 with flag 1363001/1993605
187.58/186.07	c cleaning 10002 clauses out of 20017 with flag 1373001/2003605
188.78/187.27	c cleaning 10001 clauses out of 20015 with flag 1383001/2013605
189.98/188.49	c cleaning 10002 clauses out of 20014 with flag 1393001/2023605
191.09/189.59	c cleaning 9996 clauses out of 20011 with flag 1403000/2033604
192.29/190.70	c cleaning 10001 clauses out of 20016 with flag 1413001/2043605
193.49/191.97	c cleaning 10000 clauses out of 20015 with flag 1423001/2053605
194.69/193.12	c cleaning 9999 clauses out of 20015 with flag 1433001/2063605
195.59/194.08	c cleaning 10000 clauses out of 20016 with flag 1443001/2073605
196.70/195.12	c cleaning 10001 clauses out of 20016 with flag 1453001/2083605
197.80/196.20	c cleaning 10000 clauses out of 20015 with flag 1463001/2093605
198.90/197.39	c cleaning 10001 clauses out of 20015 with flag 1473001/2103605
200.10/198.50	c cleaning 9999 clauses out of 20013 with flag 1483000/2113604
201.21/199.62	c cleaning 10000 clauses out of 20014 with flag 1493000/2123604
202.41/200.82	c cleaning 10003 clauses out of 20015 with flag 1503001/2133605
203.51/202.00	c cleaning 9999 clauses out of 20012 with flag 1513001/2143605
204.81/203.26	c cleaning 10001 clauses out of 20013 with flag 1523001/2153605
205.91/204.36	c cleaning 10001 clauses out of 20011 with flag 1533000/2163604
206.83/205.26	c cleaning 10000 clauses out of 20011 with flag 1543001/2173605
208.23/206.66	c cleaning 9999 clauses out of 20010 with flag 1553000/2183604
209.54/207.94	c cleaning 10001 clauses out of 20012 with flag 1563001/2193605
210.73/209.19	c cleaning 9999 clauses out of 20011 with flag 1573001/2203605
211.93/210.33	c cleaning 10001 clauses out of 20011 with flag 1583000/2213604
213.03/211.49	c cleaning 10000 clauses out of 20010 with flag 1593000/2223604
214.24/212.66	c cleaning 9999 clauses out of 20011 with flag 1603001/2233605
215.33/213.71	c cleaning 10002 clauses out of 20012 with flag 1613001/2243605
216.15/214.56	c cleaning 10002 clauses out of 20009 with flag 1623000/2253604
216.94/215.34	c cleaning 9995 clauses out of 20008 with flag 1633001/2263605
217.74/216.13	c cleaning 9999 clauses out of 20012 with flag 1643000/2273604
218.64/217.00	c cleaning 9995 clauses out of 20013 with flag 1653000/2283604
219.36/217.75	c cleaning 10000 clauses out of 20019 with flag 1663001/2293605
220.15/218.50	c cleaning 10000 clauses out of 20018 with flag 1673000/2303604
220.85/219.24	c cleaning 10001 clauses out of 20018 with flag 1683000/2313604
221.56/220.00	c cleaning 9998 clauses out of 20017 with flag 1693000/2323604
222.35/220.75	c cleaning 10000 clauses out of 20019 with flag 1703000/2333604
223.05/221.47	c cleaning 10002 clauses out of 20019 with flag 1713000/2343604
223.95/222.36	c cleaning 10003 clauses out of 20017 with flag 1723000/2353604
225.16/223.52	c cleaning 9998 clauses out of 20014 with flag 1733000/2363604
226.26/224.69	c cleaning 9998 clauses out of 20016 with flag 1743000/2373604
227.46/225.85	c cleaning 9997 clauses out of 20018 with flag 1753000/2383604
228.66/227.03	c cleaning 10002 clauses out of 20021 with flag 1763000/2393604
229.76/228.17	c cleaning 10003 clauses out of 20020 with flag 1773001/2403605
230.86/229.22	c cleaning 9998 clauses out of 20016 with flag 1783000/2413604
231.86/230.28	c cleaning 10003 clauses out of 20019 with flag 1793001/2423605
233.06/231.48	c cleaning 9997 clauses out of 20016 with flag 1803001/2433605
234.16/232.57	c cleaning 10002 clauses out of 20020 with flag 1813002/2443606
235.38/233.71	c cleaning 10002 clauses out of 20016 with flag 1823000/2453604
236.08/234.47	c cleaning 9994 clauses out of 20015 with flag 1833001/2463605
236.79/235.15	c cleaning 9998 clauses out of 20021 with flag 1843001/2473605
237.49/235.84	c cleaning 9996 clauses out of 20022 with flag 1853000/2483604
238.21/236.55	c cleaning 9999 clauses out of 20027 with flag 1863001/2493605
238.89/237.20	c cleaning 10004 clauses out of 20028 with flag 1873001/2503605
239.49/237.85	c cleaning 10002 clauses out of 20023 with flag 1883000/2513604
240.19/238.61	c cleaning 10003 clauses out of 20021 with flag 1893000/2523604
241.20/239.55	c cleaning 10001 clauses out of 20019 with flag 1903001/2533605
242.00/240.37	c cleaning 9999 clauses out of 20017 with flag 1913000/2543604
242.62/240.97	c cleaning 10003 clauses out of 20018 with flag 1923000/2553604
243.50/241.83	c cleaning 10000 clauses out of 20015 with flag 1933000/2563604
244.30/242.61	c cleaning 10000 clauses out of 20016 with flag 1943001/2573605
244.91/243.29	c cleaning 9994 clauses out of 20016 with flag 1953001/2583605
245.61/243.93	c cleaning 9999 clauses out of 20022 with flag 1963001/2593605
246.41/244.80	c cleaning 10004 clauses out of 20023 with flag 1973001/2603605
247.21/245.54	c cleaning 10005 clauses out of 20021 with flag 1983003/2613607
248.13/246.43	c cleaning 9999 clauses out of 20014 with flag 1993001/2623605
248.82/247.19	c cleaning 9999 clauses out of 20015 with flag 2003001/2633605
249.72/248.08	c cleaning 9999 clauses out of 20017 with flag 2013002/2643606
250.52/248.84	c cleaning 10000 clauses out of 20016 with flag 2023000/2653604
251.33/249.62	c cleaning 10000 clauses out of 20017 with flag 2033001/2663605
252.22/250.52	c cleaning 10001 clauses out of 20016 with flag 2043000/2673604
253.02/251.30	c cleaning 10003 clauses out of 20017 with flag 2053002/2683606
253.82/252.19	c cleaning 9998 clauses out of 20012 with flag 2063000/2693604
254.74/253.08	c cleaning 9996 clauses out of 20014 with flag 2073000/2703604
255.62/253.91	c cleaning 9995 clauses out of 20018 with flag 2083000/2713604
256.42/254.77	c cleaning 9999 clauses out of 20024 with flag 2093001/2723605
257.32/255.67	c cleaning 10004 clauses out of 20027 with flag 2103003/2733607
258.32/256.62	c cleaning 9998 clauses out of 20021 with flag 2113001/2743605
259.23/257.52	c cleaning 10001 clauses out of 20023 with flag 2123001/2753605
260.14/258.46	c cleaning 9999 clauses out of 20021 with flag 2133000/2763604
261.03/259.38	c cleaning 10003 clauses out of 20023 with flag 2143001/2773605
261.93/260.28	c cleaning 10002 clauses out of 20022 with flag 2153003/2783607
262.93/261.21	c cleaning 10000 clauses out of 20017 with flag 2163000/2793604
263.83/262.15	c cleaning 9998 clauses out of 20017 with flag 2173000/2803604
264.73/263.07	c cleaning 9996 clauses out of 20020 with flag 2183001/2813605
265.64/263.94	c cleaning 10006 clauses out of 20024 with flag 2193001/2823605
266.53/264.85	c cleaning 9998 clauses out of 20017 with flag 2203000/2833604
267.75/266.01	c cleaning 9998 clauses out of 20019 with flag 2213000/2843604
268.75/267.06	c cleaning 10000 clauses out of 20021 with flag 2223000/2853604
269.95/268.25	c cleaning 10003 clauses out of 20021 with flag 2233000/2863604
271.05/269.36	c cleaning 9998 clauses out of 20019 with flag 2243001/2873605
272.15/270.50	c cleaning 9999 clauses out of 20022 with flag 2253002/2883606
273.25/271.58	c cleaning 10001 clauses out of 20023 with flag 2263002/2893606
274.35/272.66	c cleaning 10003 clauses out of 20020 with flag 2273000/2903604
275.56/273.83	c cleaning 10001 clauses out of 20018 with flag 2283001/2913605
276.77/275.01	c cleaning 9996 clauses out of 20016 with flag 2293000/2923604
277.87/276.16	c cleaning 10001 clauses out of 20020 with flag 2303000/2933604
279.16/277.41	c cleaning 9998 clauses out of 20020 with flag 2313001/2943605
279.86/278.19	c cleaning 10001 clauses out of 20021 with flag 2323000/2953604
280.66/278.99	c cleaning 10003 clauses out of 20021 with flag 2333001/2963605
281.67/279.95	c cleaning 10001 clauses out of 20018 with flag 2343001/2973605
282.57/280.81	c cleaning 9999 clauses out of 20016 with flag 2353000/2983604
283.67/281.92	c cleaning 10000 clauses out of 20018 with flag 2363001/2993605
284.67/282.91	c cleaning 10000 clauses out of 20017 with flag 2373000/3003604
285.48/283.77	c cleaning 10001 clauses out of 20018 with flag 2383001/3013605
286.38/284.67	c cleaning 10001 clauses out of 20016 with flag 2393000/3023604
287.38/285.60	c cleaning 9998 clauses out of 20017 with flag 2403002/3033606
288.18/286.42	c cleaning 9999 clauses out of 20017 with flag 2413000/3043604
289.08/287.34	c cleaning 10001 clauses out of 20018 with flag 2423000/3053604
290.00/288.26	c cleaning 10001 clauses out of 20017 with flag 2433000/3063604
290.88/289.18	c cleaning 10001 clauses out of 20017 with flag 2443001/3073605
291.88/290.11	c cleaning 10000 clauses out of 20015 with flag 2453000/3083604
292.69/290.96	c cleaning 10000 clauses out of 20015 with flag 2463000/3093604
293.59/291.90	c cleaning 10000 clauses out of 20015 with flag 2473000/3103604
294.59/292.84	c cleaning 10000 clauses out of 20016 with flag 2483001/3113605
295.59/293.88	c cleaning 10001 clauses out of 20016 with flag 2493001/3123605
296.61/294.82	c cleaning 10002 clauses out of 20015 with flag 2503001/3133605
297.49/295.74	c cleaning 9999 clauses out of 20013 with flag 2513001/3143605
298.30/296.54	c cleaning 10002 clauses out of 20014 with flag 2523001/3153605
299.30/297.56	c cleaning 10002 clauses out of 20012 with flag 2533001/3163605
300.40/298.66	c cleaning 10004 clauses out of 20009 with flag 2543000/3173604
301.40/299.65	c cleaning 9998 clauses out of 20006 with flag 2553001/3183605
302.42/300.68	c cleaning 10000 clauses out of 20008 with flag 2563002/3193606
303.52/301.75	c cleaning 10000 clauses out of 20008 with flag 2573002/3203606
304.52/302.71	c cleaning 9999 clauses out of 20007 with flag 2583001/3213605
305.44/303.65	c cleaning 10003 clauses out of 20009 with flag 2593002/3223606
306.13/304.39	c cleaning 9995 clauses out of 20004 with flag 2603000/3233604
307.13/305.34	c cleaning 10002 clauses out of 20010 with flag 2613001/3243605
308.13/306.35	c cleaning 9997 clauses out of 20008 with flag 2623001/3253605
309.03/307.26	c cleaning 9999 clauses out of 20010 with flag 2633000/3263604
309.93/308.13	c cleaning 9996 clauses out of 20011 with flag 2643000/3273604
310.73/308.90	c cleaning 10002 clauses out of 20016 with flag 2653001/3283605
311.63/309.89	c cleaning 9999 clauses out of 20014 with flag 2663001/3293605
312.74/310.92	c cleaning 10000 clauses out of 20014 with flag 2673000/3303604
313.64/311.85	c cleaning 10003 clauses out of 20014 with flag 2683000/3313604
314.64/312.86	c cleaning 10001 clauses out of 20011 with flag 2693000/3323604
315.64/313.81	c cleaning 9997 clauses out of 20010 with flag 2703000/3333604
316.54/314.75	c cleaning 10006 clauses out of 20013 with flag 2713000/3343604
317.46/315.68	c cleaning 9999 clauses out of 20007 with flag 2723000/3353604
318.56/316.74	c cleaning 10000 clauses out of 20008 with flag 2733000/3363604
319.55/317.79	c cleaning 9998 clauses out of 20008 with flag 2743000/3373604
320.65/318.86	c cleaning 10000 clauses out of 20011 with flag 2753001/3383605
321.65/319.85	c cleaning 9999 clauses out of 20010 with flag 2763000/3393604
322.45/320.64	c cleaning 9996 clauses out of 20013 with flag 2773002/3403606
323.26/321.47	c cleaning 10001 clauses out of 20016 with flag 2783001/3413605
324.17/322.38	c cleaning 10001 clauses out of 20016 with flag 2793002/3423606
325.06/323.23	c cleaning 10000 clauses out of 20014 with flag 2803001/3433605
325.86/324.09	c cleaning 10000 clauses out of 20014 with flag 2813001/3443605
326.77/324.90	c cleaning 10002 clauses out of 20013 with flag 2823000/3453604
327.67/325.85	c cleaning 10000 clauses out of 20012 with flag 2833001/3463605
328.67/326.81	c cleaning 10003 clauses out of 20011 with flag 2843000/3473604
329.58/327.79	c cleaning 10003 clauses out of 20014 with flag 2853007/3483611
330.58/328.76	c cleaning 9996 clauses out of 20004 with flag 2863000/3493604
331.48/329.62	c cleaning 9998 clauses out of 20008 with flag 2873000/3503604
332.39/330.52	c cleaning 9997 clauses out of 20010 with flag 2883000/3513604
333.29/331.44	c cleaning 10000 clauses out of 20013 with flag 2893000/3523604
334.19/332.34	c cleaning 9998 clauses out of 20015 with flag 2903002/3533606
335.10/333.24	c cleaning 10002 clauses out of 20015 with flag 2913000/3543604
335.99/334.15	c cleaning 9999 clauses out of 20014 with flag 2923001/3553605
336.90/335.07	c cleaning 9998 clauses out of 20014 with flag 2933000/3563604
337.70/335.82	c cleaning 10000 clauses out of 20017 with flag 2943001/3573605
338.61/336.70	c cleaning 10000 clauses out of 20017 with flag 2953001/3583605
339.41/337.56	c cleaning 10004 clauses out of 20016 with flag 2963000/3593604
340.31/338.46	c cleaning 9998 clauses out of 20013 with flag 2973001/3603605
341.11/339.29	c cleaning 9998 clauses out of 20014 with flag 2983000/3613604
342.01/340.18	c cleaning 10003 clauses out of 20017 with flag 2993001/3623605
342.93/341.02	c cleaning 10004 clauses out of 20013 with flag 3003000/3633604
343.72/341.90	c cleaning 9999 clauses out of 20012 with flag 3013003/3643607
344.72/342.80	c cleaning 9997 clauses out of 20010 with flag 3023000/3653604
345.52/343.65	c cleaning 10001 clauses out of 20013 with flag 3033000/3663604
346.42/344.50	c cleaning 10003 clauses out of 20012 with flag 3043000/3673604
347.23/345.36	c cleaning 9999 clauses out of 20010 with flag 3053001/3683605
348.12/346.23	c cleaning 9999 clauses out of 20010 with flag 3063000/3693604
348.82/346.95	c cleaning 10001 clauses out of 20011 with flag 3073000/3703604
349.72/347.87	c cleaning 9999 clauses out of 20011 with flag 3083001/3713605
350.73/348.82	c cleaning 9998 clauses out of 20011 with flag 3093000/3723604
351.53/349.64	c cleaning 10001 clauses out of 20013 with flag 3103000/3733604
352.33/350.48	c cleaning 9999 clauses out of 20012 with flag 3113000/3743604
353.23/351.35	c cleaning 10000 clauses out of 20013 with flag 3123000/3753604
354.04/352.20	c cleaning 10001 clauses out of 20013 with flag 3133000/3763604
354.95/353.02	c cleaning 10001 clauses out of 20013 with flag 3143001/3773605
355.74/353.85	c cleaning 9999 clauses out of 20011 with flag 3153000/3783604
356.74/354.86	c cleaning 10002 clauses out of 20013 with flag 3163001/3793605
357.74/355.81	c cleaning 10000 clauses out of 20010 with flag 3173000/3803604
358.65/356.71	c cleaning 9999 clauses out of 20011 with flag 3183001/3813605
359.47/357.57	c cleaning 10000 clauses out of 20012 with flag 3193001/3823605
360.26/358.38	c cleaning 10001 clauses out of 20011 with flag 3203000/3833604
361.16/359.24	c cleaning 9997 clauses out of 20010 with flag 3213000/3843604
362.16/360.27	c cleaning 10000 clauses out of 20012 with flag 3223000/3853604
363.37/361.50	c cleaning 10001 clauses out of 20013 with flag 3233001/3863605
364.57/362.60	c cleaning 10001 clauses out of 20012 with flag 3243001/3873605
365.57/363.66	c cleaning 10000 clauses out of 20011 with flag 3253001/3883605
366.67/364.72	c cleaning 9998 clauses out of 20010 with flag 3263000/3893604
367.68/365.72	c cleaning 10002 clauses out of 20013 with flag 3273001/3903605
368.68/366.73	c cleaning 10003 clauses out of 20011 with flag 3283001/3913605
369.68/367.77	c cleaning 9998 clauses out of 20008 with flag 3293001/3923605
370.68/368.78	c cleaning 9998 clauses out of 20009 with flag 3303000/3933604
371.78/369.82	c cleaning 10003 clauses out of 20013 with flag 3313002/3943606
372.70/370.74	c cleaning 10000 clauses out of 20009 with flag 3323001/3953605
373.69/371.76	c cleaning 9999 clauses out of 20008 with flag 3333001/3963605
374.69/372.71	c cleaning 10000 clauses out of 20008 with flag 3343000/3973604
375.59/373.67	c cleaning 10000 clauses out of 20007 with flag 3353000/3983604
376.49/374.59	c cleaning 9999 clauses out of 20006 with flag 3363000/3993604
376.89/374.90	c starts		: 254
376.89/374.90	c conflicts		: 3997352
376.89/374.90	c decisions		: 4079955
376.89/374.90	c propagations		: 85766337
376.89/374.90	c inspects		: 2767953255
376.89/374.90	c shortcuts		: 0
376.89/374.90	c learnt literals	: 20
376.89/374.90	c learnt binary clauses	: 138
376.89/374.90	c learnt ternary clauses	: 481
376.89/374.90	c learnt constraints	: 3997331
376.89/374.90	c ignored constraints	: 0
376.89/374.90	c root simplifications	: 0
376.89/374.90	c removed literals (reason simplification)	: 173489410
376.89/374.90	c reason swapping (by a shorter reason)	: 0
376.89/374.90	c Calls to reduceDB	: 403
376.89/374.90	c number of reductions to clauses (during analyze)	: 0
376.89/374.90	c number of learned constraints concerned by reduction	: 0
376.89/374.90	c number of learning phase by resolution	: 0
376.89/374.90	c number of learning phase by cutting planes	: 0
376.89/374.90	c speed (assignments/second)	: 267638.41837881017
376.89/374.90	c non guided choices	8243
376.89/374.90	c learnt constraints type 
376.89/374.90	c constraints type 
376.89/374.90	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 486
376.89/374.90	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 505
376.89/374.90	s OPTIMUM FOUND
376.89/374.90	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 
376.89/374.90	c objective function=3
376.89/374.90	c Total wall clock time (in seconds): 374.795

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-3458079-1307157912/watcher-3458079-1307157912 -o /tmp/evaluation-result-3458079-1307157912/solver-3458079-1307157912 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458079-1307157912.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.01 2.03 2.00 4/461 22076
/proc/meminfo: memFree=29798172/32950928 swapFree=52246700/67111528
[pid=22076] ppid=22074 vsize=13508980 CPUtime=0 cores=0,2,4,6
/proc/22076/stat : 22076 (java) S 22074 22076 18266 0 -1 4202496 3145 0 1 0 0 0 0 0 25 0 2 0 906021851 13833195520 2847 33554432000 1073741824 1073778376 140736607576816 18446744073709551615 231907293157 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/22076/statm: 3377245 2861 906 9 0 3368401 0
[pid=22076/tid=22077] ppid=22074 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/22076/task/22077/stat : 22077 (java) R 22074 22076 18266 0 -1 4202560 5979 0 1 0 0 0 0 0 25 0 2 0 906021852 13850947584 6795 33554432000 1073741824 1073778376 140736607576816 18446744073709551615 231895184443 0 4 0 16784584 0 0 0 -1 4 0 0 0

[startup+0.0622711 s]
/proc/loadavg: 2.01 2.03 2.00 4/461 22076
/proc/meminfo: memFree=29798172/32950928 swapFree=52246700/67111528
[pid=22076] ppid=22074 vsize=13554924 CPUtime=0.05 cores=0,2,4,6
/proc/22076/stat : 22076 (java) S 22074 22076 18266 0 -1 4202496 14165 0 1 0 4 1 0 0 25 0 18 0 906021851 13880242176 13862 33554432000 1073741824 1073778376 140736607576816 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/22076/statm: 3388731 13863 1733 9 0 3379472 0
[pid=22076/tid=22077] ppid=22074 vsize=13554924 CPUtime=0.05 cores=0,2,4,6
/proc/22076/task/22077/stat : 22077 (java) R 22074 22076 18266 0 -1 4202560 12995 0 1 0 4 1 0 0 25 0 18 0 906021852 13880242176 13865 33554432000 1073741824 1073778376 140736607576816 18446744073709551615 47251887741779 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 13554924

[startup+0.101278 s]
/proc/loadavg: 2.01 2.03 2.00 4/461 22076
/proc/meminfo: memFree=29798172/32950928 swapFree=52246700/67111528
[pid=22076] ppid=22074 vsize=13622280 CPUtime=0.1 cores=0,2,4,6
/proc/22076/stat : 22076 (java) S 22074 22076 18266 0 -1 4202496 15621 0 1 0 9 1 0 0 25 0 18 0 906021851 13949214720 15297 33554432000 1073741824 1073778376 140736607576816 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/22076/statm: 3405570 15300 2093 9 0 3396304 0
[pid=22076/tid=22077] ppid=22074 vsize=13622280 CPUtime=0.08 cores=0,2,4,6
/proc/22076/task/22077/stat : 22077 (java) R 22074 22076 18266 0 -1 4202560 13681 0 1 0 7 1 0 0 18 0 18 0 906021852 13949214720 15300 33554432000 1073741824 1073778376 140736607576816 18446744073709551615 47251885643795 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) 13622280

[startup+0.301151 s]
/proc/loadavg: 2.01 2.03 2.00 4/461 22076
/proc/meminfo: memFree=29798172/32950928 swapFree=52246700/67111528
[pid=22076] ppid=22074 vsize=13628872 CPUtime=0.52 cores=0,2,4,6
/proc/22076/stat : 22076 (java) S 22074 22076 18266 0 -1 4202496 18518 0 1 0 50 2 0 0 25 0 19 0 906021851 13955964928 17551 33554432000 1073741824 1073778376 140736607576816 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/22076/statm: 3407218 17551 2216 9 0 3397952 0
[pid=22076/tid=22077] ppid=22074 vsize=13628872 CPUtime=0.28 cores=0,2,4,6
/proc/22076/task/22077/stat : 22077 (java) R 22074 22076 18266 0 -1 4202560 14439 0 1 0 27 1 0 0 19 0 19 0 906021852 13955964928 17551 33554432000 1073741824 1073778376 140736607576816 18446744073709551615 46912505122307 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 13628872

[startup+0.701143 s]
/proc/loadavg: 2.01 2.03 2.00 4/461 22076
/proc/meminfo: memFree=29798172/32950928 swapFree=52246700/67111528
[pid=22076] ppid=22074 vsize=13628872 CPUtime=1.02 cores=0,2,4,6
/proc/22076/stat : 22076 (java) S 22074 22076 18266 0 -1 4202496 19119 0 1 0 100 2 0 0 25 0 19 0 906021851 13955964928 18152 33554432000 1073741824 1073778376 140736607576816 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/22076/statm: 3407218 18152 2221 9 0 3397952 0
[pid=22076/tid=22077] ppid=22074 vsize=13628872 CPUtime=0.68 cores=0,2,4,6
/proc/22076/task/22077/stat : 22077 (java) R 22074 22076 18266 0 -1 4202560 15010 0 1 0 67 1 0 0 19 0 19 0 906021852 13955964928 18152 33554432000 1073741824 1073778376 140736607576816 18446744073709551615 47251882167996 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.02
Current children cumulated vsize (KiB) 13628872

[startup+1.50099 s]
/proc/loadavg: 2.01 2.03 2.00 5/480 22096
/proc/meminfo: memFree=29728712/32950928 swapFree=52246700/67111528
[pid=22076] ppid=22074 vsize=13628872 CPUtime=1.89 cores=0,2,4,6
/proc/22076/stat : 22076 (java) S 22074 22076 18266 0 -1 4202496 20987 0 1 0 187 2 0 0 25 0 19 0 906021851 13955964928 20000 33554432000 1073741824 1073778376 140736607576816 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/22076/statm: 3407218 20000 2249 9 0 3397952 0
[pid=22076/tid=22077] ppid=22074 vsize=13628872 CPUtime=1.45 cores=0,2,4,6
/proc/22076/task/22077/stat : 22077 (java) R 22074 22076 18266 0 -1 4202560 15036 0 1 0 144 1 0 0 20 0 19 0 906021852 13955964928 20000 33554432000 1073741824 1073778376 140736607576816 18446744073709551615 46912505533943 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=22076/tid=22079] ppid=22074 vsize=13628872 CPUtime=0 cores=0,2,4,6
/proc/22076/task/22079/stat : 22079 (java) S 22074 22076 18266 0 -1 4202560 194 0 0 0 0 0 0 0 15 0 19 0 906021854 13955964928 20000 33554432000 1073741824 1073778376 140736607576816 18446744073709551615 231907306393 0 4 0 16800975 18446604449267197952 0 0 -1 6 0 0 0
[pid=22076/tid=22080] ppid=22074 vsize=13628872 CPUtime=0 cores=0,2,4,6
/proc/22076/task/22080/stat : 22080 (java) S 22074 22076 18266 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906021854 13955964928 20000 33554432000 1073741824 1073778376 140736607576816 18446744073709551615 231907306393 0 4 0 16800975 18446604449267197952 0 0 -1 6 0 0 0
[pid=22076/tid=22081] ppid=22074 vsize=13628872 CPUtime=0 cores=0,2,4,6
/proc/22076/task/22081/stat : 22081 (java) S 22074 22076 18266 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906021854 13955964928 20000 33554432000 1073741824 1073778376 140736607576816 18446744073709551615 231907306393 0 4 0 16800975 18446604449267197952 0 0 -1 6 0 0 0
[pid=22076/tid=22082] ppid=22074 vsize=13628872 CPUtime=0 cores=0,2,4,6
/proc/22076/task/22082/stat : 22082 (java) S 22074 22076 18266 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906021854 13955964928 20000 33554432000 1073741824 1073778376 140736607576816 18446744073709551615 231907306393 0 4 0 16800975 18446604449267197952 0 0 -1 6 0 0 0
[pid=22076/tid=22083] ppid=22074 vsize=13628872 CPUtime=0 cores=0,2,4,6
/proc/22076/task/22083/stat : 22083 (java) S 22074 22076 18266 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 906021854 13955964928 20000 33554432000 1073741824 1073778376 140736607576816 18446744073709551615 231907306393 0 4 0 16800975 18446604449267197952 0 0 -1 6 0 0 0
[pid=22076/tid=22084] ppid=22074 vsize=13628872 CPUtime=0 cores=0,2,4,6
/proc/22076/task/22084/stat : 22084 (java) S 22074 22076 18266 0 -1 4202560 268 0 0 0 0 0 0 0 15 0 19 0 906021854 13955964928 20000 33554432000 1073741824 1073778376 140736607576816 18446744073709551615 231907306393 0 4 0 16800975 18446604449267197952 0 0 -1 2 0 0 0
[pid=22076/tid=22085] ppid=22074 vsize=13628872 CPUtime=0 cores=0,2,4,6
/proc/22076/task/22085/stat : 22085 (java) S 22074 22076 18266 0 -1 4202560 313 0 0 0 0 0 0 0 15 0 19 0 906021854 13955964928 20000 33554432000 1073741824 1073778376 140736607576816 18446744073709551615 231907306393 0 4 0 16800975 18446604449267197952 0 0 -1 6 0 0 0
[pid=22076/tid=22086] ppid=22074 vsize=13628872 CPUtime=0 cores=0,2,4,6
/proc/22076/task/22086/stat : 22086 (java) S 22074 22076 18266 0 -1 4202560 232 0 0 0 0 0 0 0 15 0 19 0 906021854 13955964928 20000 33554432000 1073741824 1073778376 140736607576816 18446744073709551615 231907306393 0 4 0 16800975 18446604449267197952 0 0 -1 6 0 0 0
[pid=22076/tid=22087] ppid=22074 vsize=13628872 CPUtime=0.02 cores=0,2,4,6
/proc/22076/task/22087/stat : 22087 (java) S 22074 22076 18266 0 -1 4202560 784 0 0 0 2 0 0 0 16 0 19 0 906021855 13955964928 20000 33554432000 1073741824 1073778376 140736607576816 18446744073709551615 231907307008 0 0 0 16800975 18446604449267197952 0 0 -1 4 0 0 0
[pid=22076/tid=22088] ppid=22074 vsize=13628872 CPUtime=0 cores=0,2,4,6
/proc/22076/task/22088/stat : 22088 (java) S 22074 22076 18266 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 906021855 13955964928 20000 33554432000 1073741824 1073778376 140736607576816 18446744073709551615 231907306393 0 4 0 16800975 18446604449267197952 0 0 -1 4 0 0 0
[pid=22076/tid=22089] ppid=22074 vsize=13628872 CPUtime=0 cores=0,2,4,6
/proc/22076/task/22089/stat : 22089 (java) S 22074 22076 18266 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 906021855 13955964928 20000 33554432000 1073741824 1073778376 140736607576816 18446744073709551615 231907306393 0 4 0 16800975 18446604449267197952 0 0 -1 4 0 0 0
[pid=22076/tid=22091] ppid=22074 vsize=13628872 CPUtime=0 cores=0,2,4,6
/proc/22076/task/22091/stat : 22091 (java) S 22074 22076 18266 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906021857 13955964928 20000 33554432000 1073741824 1073778376 140736607576816 18446744073709551615 231907314097 0 4 0 16800975 18446604449267197952 0 0 -1 4 0 0 0
[pid=22076/tid=22092] ppid=22074 vsize=13628872 CPUtime=0.19 cores=0,2,4,6
/proc/22076/task/22092/stat : 22092 (java) S 22074 22076 18266 0 -1 4202560 1659 0 0 0 19 0 0 0 15 0 19 0 906021857 13955964928 20000 33554432000 1073741824 1073778376 140736607576816 18446744073709551615 231907306393 0 4 0 16800975 18446604449267197952 0 0 -1 6 0 0 0
[pid=22076/tid=22093] ppid=22074 vsize=13628872 CPUtime=0.19 cores=0,2,4,6
/proc/22076/task/22093/stat : 22093 (java) S 22074 22076 18266 0 -1 4202560 1347 0 0 0 19 0 0 0 16 0 19 0 906021857 13955964928 20000 33554432000 1073741824 1073778376 140736607576816 18446744073709551615 231907306393 0 4 0 16800975 18446604449267197952 0 0 -1 2 0 0 0
[pid=22076/tid=22094] ppid=22074 vsize=13628872 CPUtime=0 cores=0,2,4,6
/proc/22076/task/22094/stat : 22094 (java) S 22074 22076 18266 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906021857 13955964928 20000 33554432000 1073741824 1073778376 140736607576816 18446744073709551615 231907306393 0 4 0 16800975 18446604449267197952 0 0 -1 4 0 0 0
[pid=22076/tid=22095] ppid=22074 vsize=13628872 CPUtime=0 cores=0,2,4,6
/proc/22076/task/22095/stat : 22095 (java) S 22074 22076 18266 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906021857 13955964928 20000 33554432000 1073741824 1073778376 140736607576816 18446744073709551615 231907307008 0 4 0 16800975 18446604449267197952 0 0 -1 6 0 0 0
[pid=22076/tid=22096] ppid=22074 vsize=13628872 CPUtime=0 cores=0,2,4,6
/proc/22076/task/22096/stat : 22096 (java) S 22074 22076 18266 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 906021870 13955964928 20000 33554432000 1073741824 1073778376 140736607576816 18446744073709551615 231907307008 0 4 0 16800975 18446604449267197952 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.89
Current children cumulated vsize (KiB) 13628872

[startup+3.10069 s]
/proc/loadavg: 2.09 2.05 2.01 4/480 22096
/proc/meminfo: memFree=29702940/32950928 swapFree=52246700/67111528
[pid=22076] ppid=22074 vsize=13628872 CPUtime=3.54 cores=0,2,4,6
/proc/22076/stat : 22076 (java) S 22074 22076 18266 0 -1 4202496 21669 0 1 0 351 3 0 0 25 0 19 0 906021851 13955964928 20378 33554432000 1073741824 1073778376 140736607576816 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/22076/statm: 3407218 20378 2250 9 0 3397952 0
[pid=22076/tid=22077] ppid=22074 vsize=13628872 CPUtime=3.01 cores=0,2,4,6
/proc/22076/task/22077/stat : 22077 (java) R 22074 22076 18266 0 -1 4202560 15038 0 1 0 300 1 0 0 25 0 19 0 906021852 13955964928 20378 33554432000 1073741824 1073778376 140736607576816 18446744073709551615 46912505538943 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=22076/tid=22079] ppid=22074 vsize=13628872 CPUtime=0 cores=0,2,4,6
/proc/22076/task/22079/stat : 22079 (java) S 22074 22076 18266 0 -1 4202560 194 0 0 0 0 0 0 0 15 0 19 0 906021854 13955964928 20378 33554432000 1073741824 1073778376 140736607576816 18446744073709551615 231907306393 0 4 0 16800975 18446604449267197952 0 0 -1 6 0 0 0
[pid=22076/tid=22080] ppid=22074 vsize=13628872 CPUtime=0 cores=0,2,4,6
/proc/22076/task/22080/stat : 22080 (java) S 22074 22076 18266 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 19 0 906021854 13955964928 20378 33554432000 1073741824 1073778376 140736607576816 18446744073709551615 231907306393 0 4 0 16800975 18446604449267197952 0 0 -1 6 0 0 0
[pid=22076/tid=22081] ppid=22074 vsize=13628872 CPUtime=0 cores=0,2,4,6
/proc/22076/task/22081/stat : 22081 (java) S 22074 22076 18266 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906021854 13955964928 20378 33554432000 1073741824 1073778376 140736607576816 18446744073709551615 231907306393 0 4 0 16800975 18446604449267197952 0 0 -1 6 0 0 0
[pid=22076/tid=22082] ppid=22074 vsize=13628872 CPUtime=0 cores=0,2,4,6
/proc/22076/task/22082/stat : 22082 (java) S 22074 22076 18266 0 -1 4202560 16 0 0 0 0 0 0 0 15 0 19 0 906021854 13955964928 20378 33554432000 1073741824 1073778376 140736607576816 18446744073709551615 231907306393 0 4 0 16800975 18446604449267197952 0 0 -1 2 0 0 0
[pid=22076/tid=22083] ppid=22074 vsize=13628872 CPUtime=0 cores=0,2,4,6
/proc/22076/task/22083/stat : 22083 (java) S 22074 22076 18266 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906021854 13955964928 20378 33554432000 1073741824 1073778376 140736607576816 18446744073709551615 231907306393 0 4 0 16800975 18446604449267197952 0 0 -1 6 0 0 0
[pid=22076/tid=22084] ppid=22074 vsize=13628872 CPUtime=0 cores=0,2,4,6
/proc/22076/task/22084/stat : 22084 (java) S 22074 22076 18266 0 -1 4202560 268 0 0 0 0 0 0 0 15 0 19 0 906021854 13955964928 20378 33554432000 1073741824 1073778376 140736607576816 18446744073709551615 231907306393 0 4 0 16800975 18446604449267197952 0 0 -1 2 0 0 0
[pid=22076/tid=22085] ppid=22074 vsize=13628872 CPUtime=0 cores=0,2,4,6
/proc/22076/task/22085/stat : 22085 (java) S 22074 22076 18266 0 -1 4202560 343 0 0 0 0 0 0 0 15 0 19 0 906021854 13955964928 20378 33554432000 1073741824 1073778376 140736607576816 18446744073709551615 231907306393 0 4 0 16800975 18446604449267197952 0 0 -1 6 0 0 0
[pid=22076/tid=22086] ppid=22074 vsize=13628872 CPUtime=0 cores=0,2,4,6
/proc/22076/task/22086/stat : 22086 (java) S 22074 22076 18266 0 -1 4202560 265 0 0 0 0 0 0 0 15 0 19 0 906021854 13955964928 20378 33554432000 1073741824 1073778376 140736607576816 18446744073709551615 231907306393 0 4 0 16800975 18446604449267197952 0 0 -1 6 0 0 0
[pid=22076/tid=22087] ppid=22074 vsize=13628872 CPUtime=0.05 cores=0,2,4,6
/proc/22076/task/22087/stat : 22087 (java) S 22074 22076 18266 0 -1 4202560 1051 0 0 0 5 0 0 0 16 0 19 0 906021855 13955964928 20378 33554432000 1073741824 1073778376 140736607576816 18446744073709551615 231907307008 0 0 0 16800975 18446604449267197952 0 0 -1 4 0 0 0
[pid=22076/tid=22088] ppid=22074 vsize=13628872 CPUtime=0 cores=0,2,4,6
/proc/22076/task/22088/stat : 22088 (java) S 22074 22076 18266 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 906021855 13955964928 20378 33554432000 1073741824 1073778376 140736607576816 18446744073709551615 231907306393 0 4 0 16800975 18446604449267197952 0 0 -1 4 0 0 0
[pid=22076/tid=22089] ppid=22074 vsize=13628872 CPUtime=0 cores=0,2,4,6
/proc/22076/task/22089/stat : 22089 (java) S 22074 22076 18266 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 906021855 13955964928 20378 33554432000 1073741824 1073778376 140736607576816 18446744073709551615 231907306393 0 4 0 16800975 18446604449267197952 0 0 -1 4 0 0 0
[pid=22076/tid=22091] ppid=22074 vsize=13628872 CPUtime=0 cores=0,2,4,6
/proc/22076/task/22091/stat : 22091 (java) S 22074 22076 18266 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906021857 13955964928 20378 33554432000 1073741824 1073778376 140736607576816 18446744073709551615 231907314097 0 4 0 16800975 18446604449267197952 0 0 -1 4 0 0 0
[pid=22076/tid=22092] ppid=22074 vsize=13628872 CPUtime=0.2 cores=0,2,4,6
/proc/22076/task/22092/stat : 22092 (java) S 22074 22076 18266 0 -1 4202560 1659 0 0 0 20 0 0 0 15 0 19 0 906021857 13955964928 20378 33554432000 1073741824 1073778376 140736607576816 18446744073709551615 231907306393 0 4 0 16800975 18446604449267197952 0 0 -1 6 0 0 0
[pid=22076/tid=22093] ppid=22074 vsize=13628872 CPUtime=0.22 cores=0,2,4,6
/proc/22076/task/22093/stat : 22093 (java) S 22074 22076 18266 0 -1 4202560 1670 0 0 0 22 0 0 0 15 0 19 0 906021857 13955964928 20378 33554432000 1073741824 1073778376 140736607576816 18446744073709551615 231907306393 0 4 0 16800975 18446604449267197952 0 0 -1 2 0 0 0
[pid=22076/tid=22094] ppid=22074 vsize=13628872 CPUtime=0 cores=0,2,4,6
/proc/22076/task/22094/stat : 22094 (java) S 22074 22076 18266 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906021857 13955964928 20378 33554432000 1073741824 1073778376 140736607576816 18446744073709551615 231907306393 0 4 0 16800975 18446604449267197952 0 0 -1 4 0 0 0
[pid=22076/tid=22095] ppid=22074 vsize=13628872 CPUtime=0 cores=0,2,4,6
/proc/22076/task/22095/stat : 22095 (java) S 22074 22076 18266 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906021857 13955964928 20378 33554432000 1073741824 1073778376 140736607576816 18446744073709551615 231907307008 0 4 0 16800975 18446604449267197952 0 0 -1 6 0 0 0
[pid=22076/tid=22096] ppid=22074 vsize=13628872 CPUtime=0 cores=0,2,4,6
/proc/22076/task/22096/stat : 22096 (java) S 22074 22076 18266 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 906021870 13955964928 20378 33554432000 1073741824 1073778376 140736607576816 18446744073709551615 231907307008 0 4 0 16800975 18446604449267197952 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3.54
Current children cumulated vsize (KiB) 13628872

[startup+6.30109 s]
/proc/loadavg: 2.09 2.05 2.01 3/480 22096
/proc/meminfo: memFree=29694144/32950928 swapFree=52246700/67111528
[pid=22076] ppid=22074 vsize=13628872 CPUtime=6.74 cores=0,2,4,6
/proc/22076/stat : 22076 (java) S 22074 22076 18266 0 -1 4202496 23132 0 1 0 671 3 0 0 25 0 19 0 906021851 13955964928 21805 33554432000 1073741824 1073778376 140736607576816 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/22076/statm: 3407218 21805 2250 9 0 3397952 0
[pid=22076/tid=22077] ppid=22074 vsize=13628872 CPUtime=6.16 cores=0,2,4,6
/proc/22076/task/22077/stat : 22077 (java) R 22074 22076 18266 0 -1 4202560 15042 0 1 0 615 1 0 0 25 0 19 0 906021852 13955964928 21805 33554432000 1073741824 1073778376 140736607576816 18446744073709551615 46912505561629 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=22076/tid=22079] ppid=22074 vsize=13628872 CPUtime=0 cores=0,2,4,6
/proc/22076/task/22079/stat : 22079 (java) S 22074 22076 18266 0 -1 4202560 305 0 0 0 0 0 0 0 16 0 19 0 906021854 13955964928 21805 33554432000 1073741824 1073778376 140736607576816 18446744073709551615 231907306393 0 4 0 16800975 18446604449267197952 0 0 -1 6 0 0 0
[pid=22076/tid=22080] ppid=22074 vsize=13628872 CPUtime=0 cores=0,2,4,6
/proc/22076/task/22080/stat : 22080 (java) S 22074 22076 18266 0 -1 4202560 63 0 0 0 0 0 0 0 15 0 19 0 906021854 13955964928 21805 33554432000 1073741824 1073778376 140736607576816 18446744073709551615 231907306393 0 4 0 16800975 18446604449267197952 0 0 -1 2 0 0 0
[pid=22076/tid=22081] ppid=22074 vsize=13628872 CPUtime=0 cores=0,2,4,6
/proc/22076/task/22081/stat : 22081 (java) S 22074 22076 18266 0 -1 4202560 50 0 0 0 0 0 0 0 15 0 19 0 906021854 13955964928 21805 33554432000 1073741824 1073778376 140736607576816 18446744073709551615 231907306393 0 4 0 16800975 18446604449267197952 0 0 -1 6 0 0 0
[pid=22076/tid=22082] ppid=22074 vsize=13628872 CPUtime=0 cores=0,2,4,6
/proc/22076/task/22082/stat : 22082 (java) S 22074 22076 18266 0 -1 4202560 16 0 0 0 0 0 0 0 15 0 19 0 906021854 13955964928 21805 33554432000 1073741824 1073778376 140736607576816 18446744073709551615 231907306393 0 4 0 16800975 18446604449267197952 0 0 -1 2 0 0 0
[pid=22076/tid=22083] ppid=22074 vsize=13628872 CPUtime=0 cores=0,2,4,6
/proc/22076/task/22083/stat : 22083 (java) S 22074 22076 18266 0 -1 4202560 138 0 0 0 0 0 0 0 16 0 19 0 906021854 13955964928 21805 33554432000 1073741824 1073778376 140736607576816 18446744073709551615 231907306393 0 4 0 16800975 18446604449267197952 0 0 -1 6 0 0 0
[pid=22076/tid=22084] ppid=22074 vsize=13628872 CPUtime=0 cores=0,2,4,6
/proc/22076/task/22084/stat : 22084 (java) S 22074 22076 18266 0 -1 4202560 269 0 0 0 0 0 0 0 15 0 19 0 906021854 13955964928 21805 33554432000 1073741824 1073778376 140736607576816 18446744073709551615 231907306393 0 4 0 16800975 18446604449267197952 0 0 -1 2 0 0 0
[pid=22076/tid=22085] ppid=22074 vsize=13628872 CPUtime=0 cores=0,2,4,6
/proc/22076/task/22085/stat : 22085 (java) S 22074 22076 18266 0 -1 4202560 343 0 0 0 0 0 0 0 16 0 19 0 906021854 13955964928 21805 33554432000 1073741824 1073778376 140736607576816 18446744073709551615 231907306393 0 4 0 16800975 18446604449267197952 0 0 -1 6 0 0 0
[pid=22076/tid=22086] ppid=22074 vsize=13628872 CPUtime=0 cores=0,2,4,6
/proc/22076/task/22086/stat : 22086 (java) S 22074 22076 18266 0 -1 4202560 329 0 0 0 0 0 0 0 15 0 19 0 906021854 13955964928 21805 33554432000 1073741824 1073778376 140736607576816 18446744073709551615 231907306393 0 4 0 16800975 18446604449267197952 0 0 -1 2 0 0 0
[pid=22076/tid=22087] ppid=22074 vsize=13628872 CPUtime=0.1 cores=0,2,4,6
/proc/22076/task/22087/stat : 22087 (java) S 22074 22076 18266 0 -1 4202560 2098 0 0 0 10 0 0 0 16 0 19 0 906021855 13955964928 21805 33554432000 1073741824 1073778376 140736607576816 18446744073709551615 231907307008 0 0 0 16800975 18446604449267197952 0 0 -1 4 0 0 0
[pid=22076/tid=22088] ppid=22074 vsize=13628872 CPUtime=0 cores=0,2,4,6
/proc/22076/task/22088/stat : 22088 (java) S 22074 22076 18266 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 906021855 13955964928 21805 33554432000 1073741824 1073778376 140736607576816 18446744073709551615 231907306393 0 4 0 16800975 18446604449267197952 0 0 -1 4 0 0 0
[pid=22076/tid=22089] ppid=22074 vsize=13628872 CPUtime=0 cores=0,2,4,6
/proc/22076/task/22089/stat : 22089 (java) S 22074 22076 18266 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 906021855 13955964928 21805 33554432000 1073741824 1073778376 140736607576816 18446744073709551615 231907306393 0 4 0 16800975 18446604449267197952 0 0 -1 4 0 0 0
[pid=22076/tid=22091] ppid=22074 vsize=13628872 CPUtime=0 cores=0,2,4,6
/proc/22076/task/22091/stat : 22091 (java) S 22074 22076 18266 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906021857 13955964928 21805 33554432000 1073741824 1073778376 140736607576816 18446744073709551615 231907314097 0 4 0 16800975 18446604449267197952 0 0 -1 4 0 0 0
[pid=22076/tid=22092] ppid=22074 vsize=13628872 CPUtime=0.2 cores=0,2,4,6
/proc/22076/task/22092/stat : 22092 (java) S 22074 22076 18266 0 -1 4202560 1659 0 0 0 20 0 0 0 15 0 19 0 906021857 13955964928 21805 33554432000 1073741824 1073778376 140736607576816 18446744073709551615 231907306393 0 4 0 16800975 18446604449267197952 0 0 -1 6 0 0 0
[pid=22076/tid=22093] ppid=22074 vsize=13628872 CPUtime=0.22 cores=0,2,4,6
/proc/22076/task/22093/stat : 22093 (java) S 22074 22076 18266 0 -1 4202560 1670 0 0 0 22 0 0 0 15 0 19 0 906021857 13955964928 21805 33554432000 1073741824 1073778376 140736607576816 18446744073709551615 231907306393 0 4 0 16800975 18446604449267197952 0 0 -1 2 0 0 0

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

/proc/22076/task/22079/stat : 22079 (java) S 22074 22076 18266 0 -1 4202560 340 0 0 0 23 0 0 0 15 0 19 0 906021854 13955964928 30605 33554432000 1073741824 1073778376 140736607576816 18446744073709551615 231907306393 0 4 0 16800975 18446604449267197952 0 0 -1 2 0 0 0
[pid=22076/tid=22080] ppid=22074 vsize=13628872 CPUtime=0.22 cores=0,2,4,6
/proc/22076/task/22080/stat : 22080 (java) S 22074 22076 18266 0 -1 4202560 112 0 0 0 22 0 0 0 16 0 19 0 906021854 13955964928 30605 33554432000 1073741824 1073778376 140736607576816 18446744073709551615 231907306393 0 4 0 16800975 18446604449267197952 0 0 -1 6 0 0 0
[pid=22076/tid=22081] ppid=22074 vsize=13628872 CPUtime=0.22 cores=0,2,4,6
/proc/22076/task/22081/stat : 22081 (java) S 22074 22076 18266 0 -1 4202560 78 0 0 0 22 0 0 0 15 0 19 0 906021854 13955964928 30605 33554432000 1073741824 1073778376 140736607576816 18446744073709551615 231907306393 0 4 0 16800975 18446604449267197952 0 0 -1 0 0 0 0
[pid=22076/tid=22082] ppid=22074 vsize=13628872 CPUtime=0.21 cores=0,2,4,6
/proc/22076/task/22082/stat : 22082 (java) S 22074 22076 18266 0 -1 4202560 72 0 0 0 21 0 0 0 15 0 19 0 906021854 13955964928 30605 33554432000 1073741824 1073778376 140736607576816 18446744073709551615 231907306393 0 4 0 16800975 18446604449267197952 0 0 -1 6 0 0 0
[pid=22076/tid=22083] ppid=22074 vsize=13628872 CPUtime=0.2 cores=0,2,4,6
/proc/22076/task/22083/stat : 22083 (java) S 22074 22076 18266 0 -1 4202560 176 0 0 0 20 0 0 0 15 0 19 0 906021854 13955964928 30605 33554432000 1073741824 1073778376 140736607576816 18446744073709551615 231907306393 0 4 0 16800975 18446604449267197952 0 0 -1 0 0 0 0
[pid=22076/tid=22084] ppid=22074 vsize=13628872 CPUtime=0.2 cores=0,2,4,6
/proc/22076/task/22084/stat : 22084 (java) S 22074 22076 18266 0 -1 4202560 294 0 0 0 20 0 0 0 15 0 19 0 906021854 13955964928 30605 33554432000 1073741824 1073778376 140736607576816 18446744073709551615 231907306393 0 4 0 16800975 18446604449267197952 0 0 -1 2 0 0 0
[pid=22076/tid=22085] ppid=22074 vsize=13628872 CPUtime=0.24 cores=0,2,4,6
/proc/22076/task/22085/stat : 22085 (java) S 22074 22076 18266 0 -1 4202560 401 0 0 0 24 0 0 0 16 0 19 0 906021854 13955964928 30605 33554432000 1073741824 1073778376 140736607576816 18446744073709551615 231907306393 0 4 0 16800975 18446604449267197952 0 0 -1 2 0 0 0
[pid=22076/tid=22086] ppid=22074 vsize=13628872 CPUtime=0.22 cores=0,2,4,6
/proc/22076/task/22086/stat : 22086 (java) S 22074 22076 18266 0 -1 4202560 371 0 0 0 22 0 0 0 15 0 19 0 906021854 13955964928 30605 33554432000 1073741824 1073778376 140736607576816 18446744073709551615 231907306393 0 4 0 16800975 18446604449267197952 0 0 -1 0 0 0 0
[pid=22076/tid=22087] ppid=22074 vsize=13628872 CPUtime=9.14 cores=0,2,4,6
/proc/22076/task/22087/stat : 22087 (java) S 22074 22076 18266 0 -1 4202560 5720 0 0 0 906 8 0 0 15 0 19 0 906021855 13955964928 30605 33554432000 1073741824 1073778376 140736607576816 18446744073709551615 231907307008 0 0 0 16800975 18446604449267197952 0 0 -1 4 0 0 0
[pid=22076/tid=22088] ppid=22074 vsize=13628872 CPUtime=0 cores=0,2,4,6
/proc/22076/task/22088/stat : 22088 (java) S 22074 22076 18266 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 906021855 13955964928 30605 33554432000 1073741824 1073778376 140736607576816 18446744073709551615 231907306393 0 4 0 16800975 18446604449267197952 0 0 -1 4 0 0 0
[pid=22076/tid=22089] ppid=22074 vsize=13628872 CPUtime=0 cores=0,2,4,6
/proc/22076/task/22089/stat : 22089 (java) S 22074 22076 18266 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 906021855 13955964928 30605 33554432000 1073741824 1073778376 140736607576816 18446744073709551615 231907306393 0 4 0 16800975 18446604449267197952 0 0 -1 4 0 0 0
[pid=22076/tid=22091] ppid=22074 vsize=13628872 CPUtime=0 cores=0,2,4,6
/proc/22076/task/22091/stat : 22091 (java) S 22074 22076 18266 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906021857 13955964928 30605 33554432000 1073741824 1073778376 140736607576816 18446744073709551615 231907314097 0 4 0 16800975 18446604449267197952 0 0 -1 4 0 0 0
[pid=22076/tid=22092] ppid=22074 vsize=13628872 CPUtime=0.26 cores=0,2,4,6
/proc/22076/task/22092/stat : 22092 (java) S 22074 22076 18266 0 -1 4202560 1676 0 0 0 26 0 0 0 15 0 19 0 906021857 13955964928 30605 33554432000 1073741824 1073778376 140736607576816 18446744073709551615 231907306393 0 4 0 16800975 18446604449267197952 0 0 -1 6 0 0 0
[pid=22076/tid=22093] ppid=22074 vsize=13628872 CPUtime=0.93 cores=0,2,4,6
/proc/22076/task/22093/stat : 22093 (java) S 22074 22076 18266 0 -1 4202560 12502 0 0 0 90 3 0 0 16 0 19 0 906021857 13955964928 30605 33554432000 1073741824 1073778376 140736607576816 18446744073709551615 231907306393 0 4 0 16800975 18446604449267197952 0 0 -1 2 0 0 0
[pid=22076/tid=22094] ppid=22074 vsize=13628872 CPUtime=0 cores=0,2,4,6
/proc/22076/task/22094/stat : 22094 (java) S 22074 22076 18266 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906021857 13955964928 30605 33554432000 1073741824 1073778376 140736607576816 18446744073709551615 231907306393 0 4 0 16800975 18446604449267197952 0 0 -1 4 0 0 0
[pid=22076/tid=22095] ppid=22074 vsize=13628872 CPUtime=0 cores=0,2,4,6
/proc/22076/task/22095/stat : 22095 (java) S 22074 22076 18266 0 -1 4202560 21 0 0 0 0 0 0 0 15 0 19 0 906021857 13955964928 30605 33554432000 1073741824 1073778376 140736607576816 18446744073709551615 231907307008 0 4 0 16800975 18446604449267197952 0 0 -1 2 0 0 0
[pid=22076/tid=22096] ppid=22074 vsize=13628872 CPUtime=0 cores=0,2,4,6
/proc/22076/task/22096/stat : 22096 (java) S 22074 22076 18266 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 906021870 13955964928 30605 33554432000 1073741824 1073778376 140736607576816 18446744073709551615 231907307008 0 4 0 16800975 18446604449267197952 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 374.69
Current children cumulated vsize (KiB) 13628872

[startup+374.301 s]
/proc/loadavg: 2.09 2.07 2.01 3/480 22479
/proc/meminfo: memFree=29646620/32950928 swapFree=52246700/67111528
[pid=22076] ppid=22074 vsize=13628872 CPUtime=376.29 cores=0,2,4,6
/proc/22076/stat : 22076 (java) S 22074 22076 18266 0 -1 4202496 38373 0 1 0 37611 18 0 0 25 0 19 0 906021851 13955964928 30605 33554432000 1073741824 1073778376 140736607576816 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/22076/statm: 3407218 30605 2251 9 0 3397952 0
[pid=22076/tid=22077] ppid=22074 vsize=13628872 CPUtime=364.08 cores=0,2,4,6
/proc/22076/task/22077/stat : 22077 (java) R 22074 22076 18266 0 -1 4202560 15457 0 1 0 36404 4 0 0 25 0 19 0 906021852 13955964928 30605 33554432000 1073741824 1073778376 140736607576816 18446744073709551615 46912505643378 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=22076/tid=22079] ppid=22074 vsize=13628872 CPUtime=0.23 cores=0,2,4,6
/proc/22076/task/22079/stat : 22079 (java) S 22074 22076 18266 0 -1 4202560 340 0 0 0 23 0 0 0 15 0 19 0 906021854 13955964928 30605 33554432000 1073741824 1073778376 140736607576816 18446744073709551615 231907306393 0 4 0 16800975 18446604449267197952 0 0 -1 2 0 0 0
[pid=22076/tid=22080] ppid=22074 vsize=13628872 CPUtime=0.22 cores=0,2,4,6
/proc/22076/task/22080/stat : 22080 (java) S 22074 22076 18266 0 -1 4202560 112 0 0 0 22 0 0 0 15 0 19 0 906021854 13955964928 30605 33554432000 1073741824 1073778376 140736607576816 18446744073709551615 231907306393 0 4 0 16800975 18446604449267197952 0 0 -1 6 0 0 0
[pid=22076/tid=22081] ppid=22074 vsize=13628872 CPUtime=0.22 cores=0,2,4,6
/proc/22076/task/22081/stat : 22081 (java) S 22074 22076 18266 0 -1 4202560 78 0 0 0 22 0 0 0 15 0 19 0 906021854 13955964928 30605 33554432000 1073741824 1073778376 140736607576816 18446744073709551615 231907306393 0 4 0 16800975 18446604449267197952 0 0 -1 0 0 0 0
[pid=22076/tid=22082] ppid=22074 vsize=13628872 CPUtime=0.21 cores=0,2,4,6
/proc/22076/task/22082/stat : 22082 (java) S 22074 22076 18266 0 -1 4202560 72 0 0 0 21 0 0 0 15 0 19 0 906021854 13955964928 30605 33554432000 1073741824 1073778376 140736607576816 18446744073709551615 231907306393 0 4 0 16800975 18446604449267197952 0 0 -1 2 0 0 0
[pid=22076/tid=22083] ppid=22074 vsize=13628872 CPUtime=0.2 cores=0,2,4,6
/proc/22076/task/22083/stat : 22083 (java) S 22074 22076 18266 0 -1 4202560 176 0 0 0 20 0 0 0 15 0 19 0 906021854 13955964928 30605 33554432000 1073741824 1073778376 140736607576816 18446744073709551615 231907306393 0 4 0 16800975 18446604449267197952 0 0 -1 0 0 0 0
[pid=22076/tid=22084] ppid=22074 vsize=13628872 CPUtime=0.21 cores=0,2,4,6
/proc/22076/task/22084/stat : 22084 (java) S 22074 22076 18266 0 -1 4202560 294 0 0 0 21 0 0 0 15 0 19 0 906021854 13955964928 30605 33554432000 1073741824 1073778376 140736607576816 18446744073709551615 231907306393 0 4 0 16800975 18446604449267197952 0 0 -1 2 0 0 0
[pid=22076/tid=22085] ppid=22074 vsize=13628872 CPUtime=0.24 cores=0,2,4,6
/proc/22076/task/22085/stat : 22085 (java) S 22074 22076 18266 0 -1 4202560 401 0 0 0 24 0 0 0 15 0 19 0 906021854 13955964928 30605 33554432000 1073741824 1073778376 140736607576816 18446744073709551615 231907306393 0 4 0 16800975 18446604449267197952 0 0 -1 6 0 0 0
[pid=22076/tid=22086] ppid=22074 vsize=13628872 CPUtime=0.22 cores=0,2,4,6
/proc/22076/task/22086/stat : 22086 (java) S 22074 22076 18266 0 -1 4202560 371 0 0 0 22 0 0 0 15 0 19 0 906021854 13955964928 30605 33554432000 1073741824 1073778376 140736607576816 18446744073709551615 231907306393 0 4 0 16800975 18446604449267197952 0 0 -1 0 0 0 0
[pid=22076/tid=22087] ppid=22074 vsize=13628872 CPUtime=9.19 cores=0,2,4,6
/proc/22076/task/22087/stat : 22087 (java) S 22074 22076 18266 0 -1 4202560 5722 0 0 0 911 8 0 0 15 0 19 0 906021855 13955964928 30605 33554432000 1073741824 1073778376 140736607576816 18446744073709551615 231907307008 0 0 0 16800975 18446604449267197952 0 0 -1 4 0 0 0
[pid=22076/tid=22088] ppid=22074 vsize=13628872 CPUtime=0 cores=0,2,4,6
/proc/22076/task/22088/stat : 22088 (java) S 22074 22076 18266 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 906021855 13955964928 30605 33554432000 1073741824 1073778376 140736607576816 18446744073709551615 231907306393 0 4 0 16800975 18446604449267197952 0 0 -1 4 0 0 0
[pid=22076/tid=22089] ppid=22074 vsize=13628872 CPUtime=0 cores=0,2,4,6
/proc/22076/task/22089/stat : 22089 (java) S 22074 22076 18266 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 906021855 13955964928 30605 33554432000 1073741824 1073778376 140736607576816 18446744073709551615 231907306393 0 4 0 16800975 18446604449267197952 0 0 -1 4 0 0 0
[pid=22076/tid=22091] ppid=22074 vsize=13628872 CPUtime=0 cores=0,2,4,6
/proc/22076/task/22091/stat : 22091 (java) S 22074 22076 18266 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906021857 13955964928 30605 33554432000 1073741824 1073778376 140736607576816 18446744073709551615 231907314097 0 4 0 16800975 18446604449267197952 0 0 -1 4 0 0 0
[pid=22076/tid=22092] ppid=22074 vsize=13628872 CPUtime=0.26 cores=0,2,4,6
/proc/22076/task/22092/stat : 22092 (java) S 22074 22076 18266 0 -1 4202560 1676 0 0 0 26 0 0 0 15 0 19 0 906021857 13955964928 30605 33554432000 1073741824 1073778376 140736607576816 18446744073709551615 231907306393 0 4 0 16800975 18446604449267197952 0 0 -1 6 0 0 0
[pid=22076/tid=22093] ppid=22074 vsize=13628872 CPUtime=0.93 cores=0,2,4,6
/proc/22076/task/22093/stat : 22093 (java) S 22074 22076 18266 0 -1 4202560 12502 0 0 0 90 3 0 0 16 0 19 0 906021857 13955964928 30605 33554432000 1073741824 1073778376 140736607576816 18446744073709551615 231907306393 0 4 0 16800975 18446604449267197952 0 0 -1 2 0 0 0
[pid=22076/tid=22094] ppid=22074 vsize=13628872 CPUtime=0 cores=0,2,4,6
/proc/22076/task/22094/stat : 22094 (java) S 22074 22076 18266 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906021857 13955964928 30605 33554432000 1073741824 1073778376 140736607576816 18446744073709551615 231907306393 0 4 0 16800975 18446604449267197952 0 0 -1 4 0 0 0
[pid=22076/tid=22095] ppid=22074 vsize=13628872 CPUtime=0 cores=0,2,4,6
/proc/22076/task/22095/stat : 22095 (java) S 22074 22076 18266 0 -1 4202560 23 0 0 0 0 0 0 0 15 0 19 0 906021857 13955964928 30605 33554432000 1073741824 1073778376 140736607576816 18446744073709551615 231907307008 0 4 0 16800975 18446604449267197952 0 0 -1 2 0 0 0
[pid=22076/tid=22096] ppid=22074 vsize=13628872 CPUtime=0 cores=0,2,4,6
/proc/22076/task/22096/stat : 22096 (java) S 22074 22076 18266 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 906021870 13955964928 30605 33554432000 1073741824 1073778376 140736607576816 18446744073709551615 231907307008 0 4 0 16800975 18446604449267197952 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 376.29
Current children cumulated vsize (KiB) 13628872

[startup+374.701 s]
/proc/loadavg: 2.09 2.07 2.01 3/480 22479
/proc/meminfo: memFree=29646620/32950928 swapFree=52246700/67111528
[pid=22076] ppid=22074 vsize=13628872 CPUtime=376.69 cores=0,2,4,6
/proc/22076/stat : 22076 (java) S 22074 22076 18266 0 -1 4202496 38376 0 1 0 37651 18 0 0 25 0 19 0 906021851 13955964928 30607 33554432000 1073741824 1073778376 140736607576816 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/22076/statm: 3407218 30607 2251 9 0 3397952 0
[pid=22076/tid=22077] ppid=22074 vsize=13628872 CPUtime=364.45 cores=0,2,4,6
/proc/22076/task/22077/stat : 22077 (java) R 22074 22076 18266 0 -1 4202560 15458 0 1 0 36441 4 0 0 25 0 19 0 906021852 13955964928 30607 33554432000 1073741824 1073778376 140736607576816 18446744073709551615 46912505667357 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=22076/tid=22079] ppid=22074 vsize=13628872 CPUtime=0.23 cores=0,2,4,6
/proc/22076/task/22079/stat : 22079 (java) S 22074 22076 18266 0 -1 4202560 340 0 0 0 23 0 0 0 15 0 19 0 906021854 13955964928 30607 33554432000 1073741824 1073778376 140736607576816 18446744073709551615 231907306393 0 4 0 16800975 18446604449267197952 0 0 -1 2 0 0 0
[pid=22076/tid=22080] ppid=22074 vsize=13628872 CPUtime=0.22 cores=0,2,4,6
/proc/22076/task/22080/stat : 22080 (java) S 22074 22076 18266 0 -1 4202560 112 0 0 0 22 0 0 0 15 0 19 0 906021854 13955964928 30607 33554432000 1073741824 1073778376 140736607576816 18446744073709551615 231907306393 0 4 0 16800975 18446604449267197952 0 0 -1 6 0 0 0
[pid=22076/tid=22081] ppid=22074 vsize=13628872 CPUtime=0.23 cores=0,2,4,6
/proc/22076/task/22081/stat : 22081 (java) S 22074 22076 18266 0 -1 4202560 80 0 0 0 23 0 0 0 16 0 19 0 906021854 13955964928 30607 33554432000 1073741824 1073778376 140736607576816 18446744073709551615 231907306393 0 4 0 16800975 18446604449267197952 0 0 -1 0 0 0 0
[pid=22076/tid=22082] ppid=22074 vsize=13628872 CPUtime=0.21 cores=0,2,4,6
/proc/22076/task/22082/stat : 22082 (java) S 22074 22076 18266 0 -1 4202560 72 0 0 0 21 0 0 0 15 0 19 0 906021854 13955964928 30607 33554432000 1073741824 1073778376 140736607576816 18446744073709551615 231907306393 0 4 0 16800975 18446604449267197952 0 0 -1 2 0 0 0
[pid=22076/tid=22083] ppid=22074 vsize=13628872 CPUtime=0.2 cores=0,2,4,6
/proc/22076/task/22083/stat : 22083 (java) S 22074 22076 18266 0 -1 4202560 176 0 0 0 20 0 0 0 16 0 19 0 906021854 13955964928 30607 33554432000 1073741824 1073778376 140736607576816 18446744073709551615 231907306393 0 4 0 16800975 18446604449267197952 0 0 -1 2 0 0 0
[pid=22076/tid=22084] ppid=22074 vsize=13628872 CPUtime=0.21 cores=0,2,4,6
/proc/22076/task/22084/stat : 22084 (java) S 22074 22076 18266 0 -1 4202560 294 0 0 0 21 0 0 0 16 0 19 0 906021854 13955964928 30607 33554432000 1073741824 1073778376 140736607576816 18446744073709551615 231907306393 0 4 0 16800975 18446604449267197952 0 0 -1 6 0 0 0
[pid=22076/tid=22085] ppid=22074 vsize=13628872 CPUtime=0.24 cores=0,2,4,6
/proc/22076/task/22085/stat : 22085 (java) S 22074 22076 18266 0 -1 4202560 401 0 0 0 24 0 0 0 15 0 19 0 906021854 13955964928 30607 33554432000 1073741824 1073778376 140736607576816 18446744073709551615 231907306393 0 4 0 16800975 18446604449267197952 0 0 -1 6 0 0 0
[pid=22076/tid=22086] ppid=22074 vsize=13628872 CPUtime=0.22 cores=0,2,4,6
/proc/22076/task/22086/stat : 22086 (java) S 22074 22076 18266 0 -1 4202560 371 0 0 0 22 0 0 0 15 0 19 0 906021854 13955964928 30607 33554432000 1073741824 1073778376 140736607576816 18446744073709551615 231907306393 0 4 0 16800975 18446604449267197952 0 0 -1 0 0 0 0
[pid=22076/tid=22087] ppid=22074 vsize=13628872 CPUtime=9.22 cores=0,2,4,6
/proc/22076/task/22087/stat : 22087 (java) S 22074 22076 18266 0 -1 4202560 5722 0 0 0 914 8 0 0 15 0 19 0 906021855 13955964928 30607 33554432000 1073741824 1073778376 140736607576816 18446744073709551615 231907307008 0 0 0 16800975 18446604449267197952 0 0 -1 4 0 0 0
[pid=22076/tid=22088] ppid=22074 vsize=13628872 CPUtime=0 cores=0,2,4,6
/proc/22076/task/22088/stat : 22088 (java) S 22074 22076 18266 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 906021855 13955964928 30607 33554432000 1073741824 1073778376 140736607576816 18446744073709551615 231907306393 0 4 0 16800975 18446604449267197952 0 0 -1 4 0 0 0
[pid=22076/tid=22089] ppid=22074 vsize=13628872 CPUtime=0 cores=0,2,4,6
/proc/22076/task/22089/stat : 22089 (java) S 22074 22076 18266 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 906021855 13955964928 30607 33554432000 1073741824 1073778376 140736607576816 18446744073709551615 231907306393 0 4 0 16800975 18446604449267197952 0 0 -1 4 0 0 0
[pid=22076/tid=22091] ppid=22074 vsize=13628872 CPUtime=0 cores=0,2,4,6
/proc/22076/task/22091/stat : 22091 (java) S 22074 22076 18266 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906021857 13955964928 30607 33554432000 1073741824 1073778376 140736607576816 18446744073709551615 231907314097 0 4 0 16800975 18446604449267197952 0 0 -1 4 0 0 0
[pid=22076/tid=22092] ppid=22074 vsize=13628872 CPUtime=0.26 cores=0,2,4,6
/proc/22076/task/22092/stat : 22092 (java) S 22074 22076 18266 0 -1 4202560 1676 0 0 0 26 0 0 0 15 0 19 0 906021857 13955964928 30607 33554432000 1073741824 1073778376 140736607576816 18446744073709551615 231907306393 0 4 0 16800975 18446604449267197952 0 0 -1 6 0 0 0
[pid=22076/tid=22093] ppid=22074 vsize=13628872 CPUtime=0.93 cores=0,2,4,6
/proc/22076/task/22093/stat : 22093 (java) S 22074 22076 18266 0 -1 4202560 12502 0 0 0 90 3 0 0 16 0 19 0 906021857 13955964928 30607 33554432000 1073741824 1073778376 140736607576816 18446744073709551615 231907306393 0 4 0 16800975 18446604449267197952 0 0 -1 2 0 0 0
[pid=22076/tid=22094] ppid=22074 vsize=13628872 CPUtime=0 cores=0,2,4,6
/proc/22076/task/22094/stat : 22094 (java) S 22074 22076 18266 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906021857 13955964928 30607 33554432000 1073741824 1073778376 140736607576816 18446744073709551615 231907306393 0 4 0 16800975 18446604449267197952 0 0 -1 4 0 0 0
[pid=22076/tid=22095] ppid=22074 vsize=13628872 CPUtime=0 cores=0,2,4,6
/proc/22076/task/22095/stat : 22095 (java) S 22074 22076 18266 0 -1 4202560 23 0 0 0 0 0 0 0 15 0 19 0 906021857 13955964928 30607 33554432000 1073741824 1073778376 140736607576816 18446744073709551615 231907307008 0 4 0 16800975 18446604449267197952 0 0 -1 2 0 0 0
[pid=22076/tid=22096] ppid=22074 vsize=13628872 CPUtime=0 cores=0,2,4,6
/proc/22076/task/22096/stat : 22096 (java) S 22074 22076 18266 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 906021870 13955964928 30607 33554432000 1073741824 1073778376 140736607576816 18446744073709551615 231907307008 0 4 0 16800975 18446604449267197952 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 376.69
Current children cumulated vsize (KiB) 13628872

[startup+374.901 s]
/proc/loadavg: 2.09 2.07 2.01 3/480 22479
/proc/meminfo: memFree=29646620/32950928 swapFree=52246700/67111528
[pid=22076] ppid=22074 vsize=13628872 CPUtime=376.89 cores=0,2,4,6
/proc/22076/stat : 22076 (java) S 22074 22076 18266 0 -1 4202496 38377 0 1 0 37671 18 0 0 25 0 19 0 906021851 13955964928 30607 33554432000 1073741824 1073778376 140736607576816 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/22076/statm: 3407218 30607 2251 9 0 3397952 0
[pid=22076/tid=22077] ppid=22074 vsize=13628872 CPUtime=364.65 cores=0,2,4,6
/proc/22076/task/22077/stat : 22077 (java) R 22074 22076 18266 0 -1 4202560 15458 0 1 0 36461 4 0 0 25 0 19 0 906021852 13955964928 30607 33554432000 1073741824 1073778376 140736607576816 18446744073709551615 46912505748799 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=22076/tid=22079] ppid=22074 vsize=13628872 CPUtime=0.23 cores=0,2,4,6
/proc/22076/task/22079/stat : 22079 (java) S 22074 22076 18266 0 -1 4202560 340 0 0 0 23 0 0 0 15 0 19 0 906021854 13955964928 30607 33554432000 1073741824 1073778376 140736607576816 18446744073709551615 231907306393 0 4 0 16800975 18446604449267197952 0 0 -1 2 0 0 0
[pid=22076/tid=22080] ppid=22074 vsize=13628872 CPUtime=0.22 cores=0,2,4,6
/proc/22076/task/22080/stat : 22080 (java) S 22074 22076 18266 0 -1 4202560 112 0 0 0 22 0 0 0 15 0 19 0 906021854 13955964928 30607 33554432000 1073741824 1073778376 140736607576816 18446744073709551615 231907306393 0 4 0 16800975 18446604449267197952 0 0 -1 6 0 0 0
[pid=22076/tid=22081] ppid=22074 vsize=13628872 CPUtime=0.23 cores=0,2,4,6
/proc/22076/task/22081/stat : 22081 (java) S 22074 22076 18266 0 -1 4202560 80 0 0 0 23 0 0 0 16 0 19 0 906021854 13955964928 30607 33554432000 1073741824 1073778376 140736607576816 18446744073709551615 231907306393 0 4 0 16800975 18446604449267197952 0 0 -1 0 0 0 0
[pid=22076/tid=22082] ppid=22074 vsize=13628872 CPUtime=0.21 cores=0,2,4,6
/proc/22076/task/22082/stat : 22082 (java) S 22074 22076 18266 0 -1 4202560 72 0 0 0 21 0 0 0 15 0 19 0 906021854 13955964928 30607 33554432000 1073741824 1073778376 140736607576816 18446744073709551615 231907306393 0 4 0 16800975 18446604449267197952 0 0 -1 2 0 0 0
[pid=22076/tid=22083] ppid=22074 vsize=13628872 CPUtime=0.2 cores=0,2,4,6
/proc/22076/task/22083/stat : 22083 (java) S 22074 22076 18266 0 -1 4202560 176 0 0 0 20 0 0 0 16 0 19 0 906021854 13955964928 30607 33554432000 1073741824 1073778376 140736607576816 18446744073709551615 231907306393 0 4 0 16800975 18446604449267197952 0 0 -1 2 0 0 0
[pid=22076/tid=22084] ppid=22074 vsize=13628872 CPUtime=0.21 cores=0,2,4,6
/proc/22076/task/22084/stat : 22084 (java) S 22074 22076 18266 0 -1 4202560 294 0 0 0 21 0 0 0 16 0 19 0 906021854 13955964928 30607 33554432000 1073741824 1073778376 140736607576816 18446744073709551615 231907306393 0 4 0 16800975 18446604449267197952 0 0 -1 6 0 0 0
[pid=22076/tid=22085] ppid=22074 vsize=13628872 CPUtime=0.24 cores=0,2,4,6
/proc/22076/task/22085/stat : 22085 (java) S 22074 22076 18266 0 -1 4202560 401 0 0 0 24 0 0 0 15 0 19 0 906021854 13955964928 30607 33554432000 1073741824 1073778376 140736607576816 18446744073709551615 231907306393 0 4 0 16800975 18446604449267197952 0 0 -1 6 0 0 0
[pid=22076/tid=22086] ppid=22074 vsize=13628872 CPUtime=0.22 cores=0,2,4,6
/proc/22076/task/22086/stat : 22086 (java) S 22074 22076 18266 0 -1 4202560 371 0 0 0 22 0 0 0 15 0 19 0 906021854 13955964928 30607 33554432000 1073741824 1073778376 140736607576816 18446744073709551615 231907306393 0 4 0 16800975 18446604449267197952 0 0 -1 0 0 0 0
[pid=22076/tid=22087] ppid=22074 vsize=13628872 CPUtime=9.22 cores=0,2,4,6
/proc/22076/task/22087/stat : 22087 (java) S 22074 22076 18266 0 -1 4202560 5722 0 0 0 914 8 0 0 15 0 19 0 906021855 13955964928 30607 33554432000 1073741824 1073778376 140736607576816 18446744073709551615 231907307008 0 0 0 16800975 18446604449267197952 0 0 -1 4 0 0 0
[pid=22076/tid=22088] ppid=22074 vsize=13628872 CPUtime=0 cores=0,2,4,6
/proc/22076/task/22088/stat : 22088 (java) S 22074 22076 18266 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 906021855 13955964928 30607 33554432000 1073741824 1073778376 140736607576816 18446744073709551615 231907306393 0 4 0 16800975 18446604449267197952 0 0 -1 4 0 0 0
[pid=22076/tid=22089] ppid=22074 vsize=13628872 CPUtime=0 cores=0,2,4,6
/proc/22076/task/22089/stat : 22089 (java) S 22074 22076 18266 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 906021855 13955964928 30607 33554432000 1073741824 1073778376 140736607576816 18446744073709551615 231907306393 0 4 0 16800975 18446604449267197952 0 0 -1 4 0 0 0
[pid=22076/tid=22091] ppid=22074 vsize=13628872 CPUtime=0 cores=0,2,4,6
/proc/22076/task/22091/stat : 22091 (java) S 22074 22076 18266 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906021857 13955964928 30607 33554432000 1073741824 1073778376 140736607576816 18446744073709551615 231907314097 0 4 0 16800975 18446604449267197952 0 0 -1 4 0 0 0
[pid=22076/tid=22092] ppid=22074 vsize=13628872 CPUtime=0.26 cores=0,2,4,6
/proc/22076/task/22092/stat : 22092 (java) S 22074 22076 18266 0 -1 4202560 1677 0 0 0 26 0 0 0 15 0 19 0 906021857 13955964928 30607 33554432000 1073741824 1073778376 140736607576816 18446744073709551615 231907306393 0 4 0 16800975 18446604449267197952 0 0 -1 6 0 0 0
[pid=22076/tid=22093] ppid=22074 vsize=13628872 CPUtime=0.93 cores=0,2,4,6
/proc/22076/task/22093/stat : 22093 (java) S 22074 22076 18266 0 -1 4202560 12502 0 0 0 90 3 0 0 16 0 19 0 906021857 13955964928 30607 33554432000 1073741824 1073778376 140736607576816 18446744073709551615 231907306393 0 4 0 16800975 18446604449267197952 0 0 -1 2 0 0 0
[pid=22076/tid=22094] ppid=22074 vsize=13628872 CPUtime=0 cores=0,2,4,6
/proc/22076/task/22094/stat : 22094 (java) S 22074 22076 18266 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906021857 13955964928 30607 33554432000 1073741824 1073778376 140736607576816 18446744073709551615 231907306393 0 4 0 16800975 18446604449267197952 0 0 -1 4 0 0 0
[pid=22076/tid=22095] ppid=22074 vsize=13628872 CPUtime=0 cores=0,2,4,6
/proc/22076/task/22095/stat : 22095 (java) S 22074 22076 18266 0 -1 4202560 23 0 0 0 0 0 0 0 15 0 19 0 906021857 13955964928 30607 33554432000 1073741824 1073778376 140736607576816 18446744073709551615 231907307008 0 4 0 16800975 18446604449267197952 0 0 -1 2 0 0 0
[pid=22076/tid=22096] ppid=22074 vsize=13628872 CPUtime=0 cores=0,2,4,6
/proc/22076/task/22096/stat : 22096 (java) S 22074 22076 18266 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 906021870 13955964928 30607 33554432000 1073741824 1073778376 140736607576816 18446744073709551615 231907307008 0 4 0 16800975 18446604449267197952 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 376.89
Current children cumulated vsize (KiB) 13628872

Child status: 30
Real time (s): 374.913
CPU time (s): 376.916
CPU user time (s): 376.724
CPU system time (s): 0.19197
CPU usage (%): 100.534
Max. virtual memory (cumulated for all children) (KiB): 13628872

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 376.724
system time used= 0.19197
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38396
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= 18287
involuntary context switches= 10425

runsolver used 1.75473 second user time and 3.72043 second system time

The end

Launcher Data 

Begin job on node114 at 2011-06-04 05:25:12
IDJOB=3458079
IDBENCH=47899
IDSOLVER=1952
FILE ID=node114/3458079-1307157912
RUNJOBID= node114-1307156093-21562
PBS_JOBID= 13508802
Free space on /tmp= 73940 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=251-P1=257-P2=19-P3=349-P4=257-P5=479-P6=367-B.opb
COMMAND LINE= java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3458079-1307157912/watcher-3458079-1307157912 -o /tmp/evaluation-result-3458079-1307157912/solver-3458079-1307157912 -C 1800 -W 1900 -M 15500  java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458079-1307157912.opb

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

MD5SUM BENCH= 80881c7fbc3c10cf38784c74294061e5
RANDOM SEED=786882841

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      29798328 kB
Buffers:        309200 kB
Cached:         456044 kB
SwapCached:      10712 kB
Active:        2403572 kB
Inactive:       476456 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      29798328 kB
SwapTotal:    67111528 kB
SwapFree:     52246700 kB
Dirty:            1252 kB
Writeback:           0 kB
AnonPages:     2112512 kB
Mapped:          29468 kB
Slab:           142356 kB
PageTables:      62520 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 121597196 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= 73940 MiB
End job on node114 at 2011-06-04 05:31:27