Trace number 3458119

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 182.72 181.104

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=9-P0=43-P1=101-P2=251-P3=307-P4=499-B.opb
MD5SUMe79e2db14e141163591dbcfdfed7384a
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.140977
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 variables108
Total number of constraints9
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 constraints9
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)324
Sum of products size (including duplicates)648
Number of different products324
Sum of products size648

Quality of the solution as a function of time


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

Solver Data 

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.09	c version 2.3.1.v20110525
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.18-164.el5
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		12995394264
0.00/0.09	c Max memory 		13063553024
0.00/0.09	c Total memory 		13063553024
0.00/0.09	c Number of processors 	8
0.12/0.11	c Pseudo Boolean Optimization
0.12/0.11	c --- Begin Solver configuration ---
0.12/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@38540408
0.12/0.11	c Learn all clauses as in MiniSAT
0.12/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.11	c Expensive reason simplification
0.12/0.11	c Armin Biere (Picosat) restarts strategy
0.12/0.11	c Glucose learned constraints deletion strategy
0.12/0.11	c timeout=2147483s
0.12/0.11	c DB Simplification allowed=false
0.12/0.11	c --- End Solver configuration ---
0.12/0.11	c solving HOME/instance-3458119-1307158090.opb
0.12/0.11	c reading problem ... 
0.12/0.16	c ... done. Wall clock time 0.055s.
0.12/0.16	c #vars     432
0.12/0.16	c #constraints  661
0.12/0.16	c constraints type 
0.12/0.16	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 324
0.12/0.16	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 337
1.02/0.71	c cleaning 2493 clauses out of 5001 with flag 5001/5001
1.61/1.26	c cleaning 4254 clauses out of 8507 with flag 11000/11000
2.30/1.96	c cleaning 5624 clauses out of 11253 with flag 18000/18000
3.31/2.91	c cleaning 6812 clauses out of 13631 with flag 26002/26002
4.14/3.78	c cleaning 7906 clauses out of 15818 with flag 35001/35001
5.14/4.72	c cleaning 8949 clauses out of 17911 with flag 45000/45000
6.06/5.66	c cleaning 9479 clauses out of 18962 with flag 55000/55000
6.95/6.58	c cleaning 9737 clauses out of 19484 with flag 65001/65001
7.95/7.59	c cleaning 9871 clauses out of 19746 with flag 75000/75000
8.95/8.59	c cleaning 9934 clauses out of 19875 with flag 85000/85000
9.95/9.53	c cleaning 9962 clauses out of 19941 with flag 95000/95000
10.95/10.52	c cleaning 9983 clauses out of 19979 with flag 105000/105000
11.86/11.48	c cleaning 9997 clauses out of 19998 with flag 115002/115002
12.76/12.36	c cleaning 9999 clauses out of 19999 with flag 125000/125000
13.86/13.49	c cleaning 9989 clauses out of 20001 with flag 135001/135001
14.78/14.33	c cleaning 9997 clauses out of 20011 with flag 145000/145000
15.76/15.38	c cleaning 9996 clauses out of 20014 with flag 155000/155000
16.57/16.12	c cleaning 9999 clauses out of 20018 with flag 165000/165000
17.27/16.87	c cleaning 10002 clauses out of 20019 with flag 175000/175000
18.19/17.76	c cleaning 10003 clauses out of 20017 with flag 185000/185000
19.19/18.79	c cleaning 10002 clauses out of 20015 with flag 195001/195001
19.88/19.47	c cleaning 9996 clauses out of 20013 with flag 205001/205001
20.58/20.19	c cleaning 9993 clauses out of 20016 with flag 215000/215000
21.58/21.19	c cleaning 9996 clauses out of 20024 with flag 225001/225001
22.28/21.85	c SATISFIABLE
22.28/21.85	c OPTIMIZING...
22.28/21.85	c Got one! Elapsed wall clock time (in seconds):21.738
22.28/21.85	o 321
22.60/22.20	c cleaning 11742 clauses out of 23496 with flag 5000/238469
23.08/22.65	c cleaning 8869 clauses out of 17756 with flag 11002/244471
23.60/23.16	c cleaning 7930 clauses out of 15885 with flag 18000/251469
24.19/23.76	c cleaning 7966 clauses out of 15955 with flag 26000/259469
24.89/24.46	c cleaning 8491 clauses out of 16989 with flag 35000/268469
26.16/25.44	c cleaning 9245 clauses out of 18498 with flag 45000/278469
27.38/26.37	c cleaning 9625 clauses out of 19253 with flag 55000/288469
28.28/27.30	c cleaning 9809 clauses out of 19629 with flag 65001/298470
29.28/28.22	c cleaning 9904 clauses out of 19819 with flag 75000/308469
30.18/29.18	c cleaning 9951 clauses out of 19916 with flag 85001/318470
31.18/30.10	c cleaning 9978 clauses out of 19965 with flag 95001/328470
32.28/31.20	c cleaning 9987 clauses out of 19986 with flag 105000/338469
33.38/32.35	c cleaning 9996 clauses out of 20000 with flag 115001/348470
34.10/33.09	c cleaning 9988 clauses out of 20005 with flag 125002/358471
34.49/33.40	c Got one! Elapsed wall clock time (in seconds):33.289
34.49/33.40	o 5
34.79/33.70	c cleaning 10123 clauses out of 20267 with flag 5000/368721
35.20/34.11	c cleaning 8060 clauses out of 16144 with flag 11000/374721
35.69/34.61	c cleaning 7529 clauses out of 15084 with flag 18000/381721
36.20/35.18	c cleaning 7767 clauses out of 15555 with flag 26000/389721
36.91/35.86	c cleaning 8386 clauses out of 16788 with flag 35000/398721
37.61/36.52	c cleaning 9198 clauses out of 18403 with flag 45001/408722
37.71/36.63	c Got one! Elapsed wall clock time (in seconds):36.522
37.71/36.63	o 3
38.01/36.92	c cleaning 7443 clauses out of 14899 with flag 4000/414416
38.41/37.40	c cleaning 6722 clauses out of 13456 with flag 10000/420416
39.02/37.95	c cleaning 6861 clauses out of 13734 with flag 17000/427416
39.82/38.74	c cleaning 7433 clauses out of 14873 with flag 25000/435416
40.52/39.47	c cleaning 8211 clauses out of 16440 with flag 34000/444416
41.32/40.26	c cleaning 9110 clauses out of 18229 with flag 44000/454416
42.13/41.01	c cleaning 9555 clauses out of 19120 with flag 54001/464417
42.95/41.90	c cleaning 9777 clauses out of 19564 with flag 64000/474416
44.05/42.96	c cleaning 9884 clauses out of 19787 with flag 74000/484416
45.25/44.12	c cleaning 9944 clauses out of 19903 with flag 84000/494416
45.94/44.89	c cleaning 9969 clauses out of 19960 with flag 94001/504417
46.74/45.69	c cleaning 9984 clauses out of 19990 with flag 104000/514416
47.54/46.47	c cleaning 9994 clauses out of 20007 with flag 114001/524417
48.35/47.28	c cleaning 9995 clauses out of 20013 with flag 124001/534417
49.15/48.02	c cleaning 10004 clauses out of 20018 with flag 134001/544417
50.25/49.13	c cleaning 10003 clauses out of 20014 with flag 144001/554417
51.36/50.26	c cleaning 10001 clauses out of 20011 with flag 154001/564417
52.36/51.26	c cleaning 9997 clauses out of 20009 with flag 164000/574416
53.46/52.36	c cleaning 10004 clauses out of 20012 with flag 174000/584416
54.66/53.50	c cleaning 10004 clauses out of 20009 with flag 184001/594417
55.67/54.56	c cleaning 9997 clauses out of 20004 with flag 194000/604416
56.87/55.72	c cleaning 9999 clauses out of 20008 with flag 204001/614417
57.77/56.64	c cleaning 9993 clauses out of 20010 with flag 214002/624418
58.50/57.39	c cleaning 10002 clauses out of 20015 with flag 224000/634416
59.39/58.29	c cleaning 10004 clauses out of 20014 with flag 234001/644417
60.61/59.44	c cleaning 10000 clauses out of 20010 with flag 244001/654417
61.60/60.40	c cleaning 9998 clauses out of 20010 with flag 254001/664417
62.31/61.14	c cleaning 9996 clauses out of 20013 with flag 264002/674418
63.01/61.89	c cleaning 9997 clauses out of 20016 with flag 274001/684417
64.03/62.88	c cleaning 10005 clauses out of 20018 with flag 284000/694416
65.04/63.82	c cleaning 10002 clauses out of 20014 with flag 294001/704417
65.92/64.78	c cleaning 9998 clauses out of 20011 with flag 304000/714416
66.82/65.67	c cleaning 10001 clauses out of 20013 with flag 314000/724416
67.82/66.66	c cleaning 9997 clauses out of 20012 with flag 324000/734416
68.82/67.69	c cleaning 10002 clauses out of 20015 with flag 334000/744416
69.73/68.52	c cleaning 10001 clauses out of 20014 with flag 344001/754417
70.54/69.40	c cleaning 10000 clauses out of 20012 with flag 354000/764416
71.53/70.40	c cleaning 10003 clauses out of 20013 with flag 364001/774417
72.63/71.40	c cleaning 9997 clauses out of 20009 with flag 374000/784416
73.53/72.32	c cleaning 10001 clauses out of 20013 with flag 384001/794417
74.43/73.25	c cleaning 10000 clauses out of 20012 with flag 394001/804417
75.37/74.11	c cleaning 10001 clauses out of 20011 with flag 404000/814416
76.27/75.06	c cleaning 9993 clauses out of 20010 with flag 414000/824416
77.37/76.10	c cleaning 9997 clauses out of 20019 with flag 424002/834418
78.29/77.01	c cleaning 10001 clauses out of 20023 with flag 434003/844419
79.18/77.92	c cleaning 10000 clauses out of 20019 with flag 444000/854416
80.08/78.89	c cleaning 9997 clauses out of 20020 with flag 454001/864417
81.08/79.89	c cleaning 9997 clauses out of 20022 with flag 464000/874416
82.08/80.89	c cleaning 9998 clauses out of 20026 with flag 474001/884417
82.99/81.78	c cleaning 10002 clauses out of 20027 with flag 484000/894416
83.90/82.63	c cleaning 10008 clauses out of 20024 with flag 494000/904416
84.92/83.63	c cleaning 10004 clauses out of 20017 with flag 504001/914417
85.91/84.64	c cleaning 9999 clauses out of 20012 with flag 514000/924416
86.91/85.61	c cleaning 10001 clauses out of 20014 with flag 524001/934417
87.81/86.52	c cleaning 10001 clauses out of 20012 with flag 534000/944416
88.72/87.47	c cleaning 9997 clauses out of 20012 with flag 544001/954417
89.43/88.13	c cleaning 9996 clauses out of 20014 with flag 554000/964416
90.43/89.15	c cleaning 10005 clauses out of 20020 with flag 564002/974418
91.42/90.16	c cleaning 10003 clauses out of 20013 with flag 574000/984416
92.43/91.18	c cleaning 9997 clauses out of 20010 with flag 584000/994416
93.53/92.27	c cleaning 9998 clauses out of 20014 with flag 594001/1004417
94.53/93.29	c cleaning 10003 clauses out of 20016 with flag 604001/1014417
95.34/94.00	c cleaning 9997 clauses out of 20012 with flag 614000/1024416
96.05/94.76	c cleaning 10005 clauses out of 20015 with flag 624000/1034416
96.94/95.68	c cleaning 10000 clauses out of 20011 with flag 634001/1044417
97.94/96.60	c cleaning 9999 clauses out of 20010 with flag 644000/1054416
98.74/97.46	c cleaning 9999 clauses out of 20012 with flag 654001/1064417
99.54/98.26	c cleaning 10001 clauses out of 20012 with flag 664000/1074416
100.46/99.17	c cleaning 9999 clauses out of 20011 with flag 674000/1084416
101.35/100.05	c cleaning 10000 clauses out of 20013 with flag 684001/1094417
102.35/101.09	c cleaning 10000 clauses out of 20012 with flag 694000/1104416
103.45/102.15	c cleaning 10000 clauses out of 20013 with flag 704001/1114417
104.45/103.14	c cleaning 10001 clauses out of 20013 with flag 714001/1124417
105.45/104.17	c cleaning 10001 clauses out of 20012 with flag 724001/1134417
106.45/105.14	c cleaning 9996 clauses out of 20010 with flag 734000/1144416
107.45/106.11	c cleaning 10001 clauses out of 20014 with flag 744000/1154416
108.46/107.16	c cleaning 10001 clauses out of 20013 with flag 754000/1164416
109.46/108.18	c cleaning 10001 clauses out of 20012 with flag 764000/1174416
110.46/109.17	c cleaning 10001 clauses out of 20011 with flag 774000/1184416
111.38/110.08	c cleaning 9999 clauses out of 20011 with flag 784001/1194417
112.49/111.11	c cleaning 9999 clauses out of 20011 with flag 794000/1204416
113.38/112.06	c cleaning 10001 clauses out of 20013 with flag 804001/1214417
114.28/112.95	c cleaning 10001 clauses out of 20012 with flag 814001/1224417
115.19/113.81	c cleaning 10000 clauses out of 20011 with flag 824001/1234417
115.90/114.56	c cleaning 9998 clauses out of 20011 with flag 834001/1244417
116.79/115.46	c cleaning 10003 clauses out of 20014 with flag 844002/1254418
117.69/116.31	c cleaning 10000 clauses out of 20011 with flag 854002/1264418
118.59/117.22	c cleaning 10000 clauses out of 20009 with flag 864000/1274416
119.59/118.21	c cleaning 9999 clauses out of 20009 with flag 874000/1284416
120.49/119.14	c cleaning 10000 clauses out of 20011 with flag 884001/1294417
121.49/120.11	c cleaning 10000 clauses out of 20010 with flag 894000/1304416
122.41/121.02	c cleaning 9999 clauses out of 20011 with flag 904001/1314417
123.30/121.90	c cleaning 9998 clauses out of 20011 with flag 914000/1324416
124.10/122.71	c cleaning 10002 clauses out of 20014 with flag 924001/1334417
125.00/123.61	c cleaning 9996 clauses out of 20012 with flag 934001/1344417
125.90/124.55	c cleaning 10005 clauses out of 20016 with flag 944001/1354417
126.82/125.44	c cleaning 10001 clauses out of 20011 with flag 954001/1364417
127.81/126.40	c cleaning 10000 clauses out of 20009 with flag 964000/1374416
128.91/127.57	c cleaning 9999 clauses out of 20010 with flag 974001/1384417
129.72/128.34	c cleaning 9998 clauses out of 20010 with flag 984000/1394416
130.52/129.16	c cleaning 10001 clauses out of 20013 with flag 994001/1404417
131.34/129.93	c cleaning 10001 clauses out of 20012 with flag 1004001/1414417
132.12/130.79	c cleaning 10002 clauses out of 20011 with flag 1014001/1424417
133.13/131.73	c cleaning 9998 clauses out of 20008 with flag 1024000/1434416
133.93/132.58	c cleaning 10002 clauses out of 20010 with flag 1034000/1444416
135.03/133.62	c cleaning 10000 clauses out of 20009 with flag 1044001/1454417
135.93/134.55	c cleaning 10000 clauses out of 20008 with flag 1054000/1464416
136.75/135.38	c cleaning 9997 clauses out of 20008 with flag 1064000/1474416
137.73/136.39	c cleaning 9998 clauses out of 20011 with flag 1074000/1484416
138.84/137.50	c cleaning 10000 clauses out of 20015 with flag 1084002/1494418
140.07/138.67	c cleaning 9999 clauses out of 20013 with flag 1094000/1504416
141.36/139.91	c cleaning 9999 clauses out of 20014 with flag 1104000/1514416
142.56/141.17	c cleaning 10001 clauses out of 20016 with flag 1114001/1524417
143.86/142.42	c cleaning 10000 clauses out of 20014 with flag 1124000/1534416
144.87/143.40	c cleaning 9999 clauses out of 20014 with flag 1134000/1544416
146.07/144.67	c cleaning 10002 clauses out of 20015 with flag 1144000/1554416
147.17/145.71	c cleaning 9999 clauses out of 20014 with flag 1154001/1564417
148.17/146.74	c cleaning 10004 clauses out of 20017 with flag 1164003/1574419
149.28/147.80	c cleaning 9997 clauses out of 20010 with flag 1174000/1584416
150.29/148.83	c cleaning 10003 clauses out of 20013 with flag 1184000/1594416
151.40/149.99	c cleaning 9996 clauses out of 20011 with flag 1194001/1604417
152.60/151.10	c cleaning 9998 clauses out of 20015 with flag 1204001/1614417
153.60/152.15	c cleaning 10000 clauses out of 20016 with flag 1214000/1624416
154.70/153.23	c cleaning 10004 clauses out of 20017 with flag 1224001/1634417
155.62/154.16	c cleaning 10001 clauses out of 20012 with flag 1234000/1644416
156.81/155.34	c cleaning 10002 clauses out of 20011 with flag 1244000/1654416
157.83/156.39	c cleaning 10001 clauses out of 20011 with flag 1254002/1664418
158.61/157.16	c cleaning 9997 clauses out of 20008 with flag 1264000/1674416
159.42/157.98	c cleaning 9997 clauses out of 20011 with flag 1274000/1684416
160.42/158.94	c cleaning 10001 clauses out of 20016 with flag 1284002/1694418
161.22/159.76	c cleaning 10006 clauses out of 20013 with flag 1294001/1704417
162.24/160.75	c cleaning 9998 clauses out of 20005 with flag 1304000/1714416
163.14/161.71	c cleaning 9996 clauses out of 20006 with flag 1314000/1724416
164.24/162.70	c cleaning 10002 clauses out of 20011 with flag 1324001/1734417
165.15/163.64	c cleaning 9998 clauses out of 20009 with flag 1334001/1744417
166.15/164.65	c cleaning 9999 clauses out of 20010 with flag 1344000/1754416
167.05/165.52	c cleaning 10003 clauses out of 20012 with flag 1354001/1764417
168.06/166.53	c cleaning 9997 clauses out of 20008 with flag 1364000/1774416
169.06/167.51	c cleaning 10005 clauses out of 20013 with flag 1374002/1784418
170.06/168.50	c cleaning 9997 clauses out of 20006 with flag 1384000/1794416
170.98/169.49	c cleaning 10000 clauses out of 20009 with flag 1394000/1804416
171.96/170.45	c cleaning 9998 clauses out of 20009 with flag 1404000/1814416
172.96/171.44	c cleaning 9999 clauses out of 20011 with flag 1414000/1824416
173.96/172.40	c cleaning 10003 clauses out of 20013 with flag 1424001/1834417
174.96/173.42	c cleaning 10002 clauses out of 20009 with flag 1434000/1844416
175.87/174.34	c cleaning 10001 clauses out of 20007 with flag 1444000/1854416
176.87/175.33	c cleaning 10000 clauses out of 20007 with flag 1454001/1864417
177.77/176.29	c cleaning 10002 clauses out of 20007 with flag 1464001/1874417
178.79/177.25	c cleaning 9998 clauses out of 20004 with flag 1474000/1884416
179.67/178.19	c cleaning 10001 clauses out of 20006 with flag 1484000/1894416
180.70/179.16	c cleaning 10003 clauses out of 20005 with flag 1494000/1904416
181.70/180.17	c cleaning 9997 clauses out of 20002 with flag 1504001/1914417
182.60/181.09	c starts		: 213
182.60/181.09	c conflicts		: 1923233
182.60/181.09	c decisions		: 1962585
182.60/181.09	c propagations		: 40251491
182.60/181.09	c inspects		: 1489661304
182.60/181.09	c shortcuts		: 0
182.60/181.09	c learnt literals	: 16
182.60/181.09	c learnt binary clauses	: 92
182.60/181.09	c learnt ternary clauses	: 329
182.60/181.09	c learnt constraints	: 1923216
182.60/181.09	c ignored constraints	: 0
182.60/181.09	c root simplifications	: 0
182.60/181.09	c removed literals (reason simplification)	: 83461539
182.60/181.09	c reason swapping (by a shorter reason)	: 0
182.60/181.09	c Calls to reduceDB	: 196
182.60/181.09	c number of reductions to clauses (during analyze)	: 0
182.60/181.09	c number of learned constraints concerned by reduction	: 0
182.60/181.09	c number of learning phase by resolution	: 0
182.60/181.09	c number of learning phase by cutting planes	: 0
182.60/181.09	c speed (assignments/second)	: 278630.3041630325
182.60/181.09	c non guided choices	3572
182.60/181.09	c learnt constraints type 
182.60/181.09	c constraints type 
182.60/181.09	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 324
182.60/181.09	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 337
182.60/181.09	s OPTIMUM FOUND
182.60/181.09	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 
182.60/181.09	c objective function=3
182.60/181.09	c Total wall clock time (in seconds): 180.986

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-3458119-1307158090/watcher-3458119-1307158090 -o /tmp/evaluation-result-3458119-1307158090/solver-3458119-1307158090 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458119-1307158090.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.14 2.06 1.96 2/447 32355
/proc/meminfo: memFree=28968428/32951124 swapFree=43324008/67111528
[pid=32355] ppid=32353 vsize=13526316 CPUtime=0.01 cores=1,3,5,7
/proc/32355/stat : 32355 (java) S 32353 32355 28402 0 -1 4202496 6730 0 1 0 0 1 0 0 18 0 2 0 827409487 13850947584 6432 33554432000 1073741824 1073778376 140734167546192 18446744073709551615 244458747877 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/32355/statm: 3381579 6444 917 9 0 3372735 0
[pid=32355/tid=32356] ppid=32353 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/32355/task/32356/stat : 32356 (java) R 32353 32355 28402 0 -1 4202560 5671 0 1 0 0 0 0 0 19 0 2 0 827409488 13850947584 6488 33554432000 1073741824 1073778376 140734167546192 18446744073709551615 244446639163 0 4 0 16784584 0 0 0 -1 1 0 0 0

[startup+0.110915 s]
/proc/loadavg: 2.14 2.06 1.96 2/447 32355
/proc/meminfo: memFree=28968428/32951124 swapFree=43324008/67111528
[pid=32355] ppid=32353 vsize=13622396 CPUtime=0.12 cores=1,3,5,7
/proc/32355/stat : 32355 (java) S 32353 32355 28402 0 -1 4202496 15724 0 1 0 10 2 0 0 18 0 18 0 827409487 13949333504 15388 33554432000 1073741824 1073778376 140734167546192 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/32355/statm: 3405599 15389 2115 9 0 3396333 0
[pid=32355/tid=32356] ppid=32353 vsize=13622396 CPUtime=0.1 cores=1,3,5,7
/proc/32355/task/32356/stat : 32356 (java) R 32353 32355 28402 0 -1 4202560 13731 0 1 0 8 2 0 0 25 0 18 0 827409488 13949333504 15389 33554432000 1073741824 1073778376 140734167546192 18446744073709551615 47771164162596 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 13622396

[startup+0.200873 s]
/proc/loadavg: 2.14 2.06 1.96 2/447 32355
/proc/meminfo: memFree=28968428/32951124 swapFree=43324008/67111528
[pid=32355] ppid=32353 vsize=13624448 CPUtime=0.28 cores=1,3,5,7
/proc/32355/stat : 32355 (java) S 32353 32355 28402 0 -1 4202496 17798 0 1 0 25 3 0 0 18 0 19 0 827409487 13951434752 16882 33554432000 1073741824 1073778376 140734167546192 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/32355/statm: 3406112 16882 2189 9 0 3396846 0
[pid=32355/tid=32356] ppid=32353 vsize=13624448 CPUtime=0.19 cores=1,3,5,7
/proc/32355/task/32356/stat : 32356 (java) R 32353 32355 28402 0 -1 4202560 14169 0 1 0 17 2 0 0 25 0 19 0 827409488 13951434752 16882 33554432000 1073741824 1073778376 140734167546192 18446744073709551615 46912505207972 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 13624448

[startup+0.300854 s]
/proc/loadavg: 2.14 2.06 1.96 2/447 32355
/proc/meminfo: memFree=28968428/32951124 swapFree=43324008/67111528
[pid=32355] ppid=32353 vsize=13626496 CPUtime=0.54 cores=1,3,5,7
/proc/32355/stat : 32355 (java) S 32353 32355 28402 0 -1 4202496 18751 0 1 0 51 3 0 0 18 0 19 0 827409487 13953531904 17587 33554432000 1073741824 1073778376 140734167546192 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/32355/statm: 3406624 17587 2212 9 0 3397358 0
[pid=32355/tid=32356] ppid=32353 vsize=13626496 CPUtime=0.29 cores=1,3,5,7
/proc/32355/task/32356/stat : 32356 (java) R 32353 32355 28402 0 -1 4202560 14261 0 1 0 27 2 0 0 25 0 19 0 827409488 13953531904 17587 33554432000 1073741824 1073778376 140734167546192 18446744073709551615 46912505519912 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 13626496

[startup+0.700809 s]
/proc/loadavg: 2.14 2.06 1.96 2/447 32355
/proc/meminfo: memFree=28968428/32951124 swapFree=43324008/67111528
[pid=32355] ppid=32353 vsize=13626496 CPUtime=1.02 cores=1,3,5,7
/proc/32355/stat : 32355 (java) S 32353 32355 28402 0 -1 4202496 19360 0 1 0 99 3 0 0 18 0 19 0 827409487 13953531904 18195 33554432000 1073741824 1073778376 140734167546192 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/32355/statm: 3406624 18195 2219 9 0 3397358 0
[pid=32355/tid=32356] ppid=32353 vsize=13626496 CPUtime=0.68 cores=1,3,5,7
/proc/32355/task/32356/stat : 32356 (java) R 32353 32355 28402 0 -1 4202560 14814 0 1 0 66 2 0 0 25 0 19 0 827409488 13953531904 18195 33554432000 1073741824 1073778376 140734167546192 18446744073709551615 46912505208044 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.02
Current children cumulated vsize (KiB) 13626496

[startup+1.50067 s]
/proc/loadavg: 2.14 2.06 1.96 3/466 32374
/proc/meminfo: memFree=28900144/32951124 swapFree=43324008/67111528
[pid=32355] ppid=32353 vsize=13626496 CPUtime=1.9 cores=1,3,5,7
/proc/32355/stat : 32355 (java) S 32353 32355 28402 0 -1 4202496 21142 0 1 0 187 3 0 0 18 0 19 0 827409487 13953531904 19970 33554432000 1073741824 1073778376 140734167546192 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/32355/statm: 3406624 19970 2248 9 0 3397358 0
[pid=32355/tid=32356] ppid=32353 vsize=13626496 CPUtime=1.45 cores=1,3,5,7
/proc/32355/task/32356/stat : 32356 (java) R 32353 32355 28402 0 -1 4202560 14821 0 1 0 143 2 0 0 25 0 19 0 827409488 13953531904 19970 33554432000 1073741824 1073778376 140734167546192 18446744073709551615 46912505518016 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=32355/tid=32358] ppid=32353 vsize=13626496 CPUtime=0 cores=1,3,5,7
/proc/32355/task/32358/stat : 32358 (java) S 32353 32355 28402 0 -1 4202560 190 0 0 0 0 0 0 0 15 0 19 0 827409490 13953531904 19970 33554432000 1073741824 1073778376 140734167546192 18446744073709551615 244458761113 0 4 0 16800975 18446604468421325056 0 0 -1 3 0 0 0
[pid=32355/tid=32359] ppid=32353 vsize=13626496 CPUtime=0 cores=1,3,5,7
/proc/32355/task/32359/stat : 32359 (java) S 32353 32355 28402 0 -1 4202560 93 0 0 0 0 0 0 0 15 0 19 0 827409490 13953531904 19970 33554432000 1073741824 1073778376 140734167546192 18446744073709551615 244458761113 0 4 0 16800975 18446604468421325056 0 0 -1 3 0 0 0
[pid=32355/tid=32360] ppid=32353 vsize=13626496 CPUtime=0 cores=1,3,5,7
/proc/32355/task/32360/stat : 32360 (java) S 32353 32355 28402 0 -1 4202560 207 0 0 0 0 0 0 0 15 0 19 0 827409490 13953531904 19970 33554432000 1073741824 1073778376 140734167546192 18446744073709551615 244458761113 0 4 0 16800975 18446604468421325056 0 0 -1 3 0 0 0
[pid=32355/tid=32361] ppid=32353 vsize=13626496 CPUtime=0 cores=1,3,5,7
/proc/32355/task/32361/stat : 32361 (java) S 32353 32355 28402 0 -1 4202560 51 0 0 0 0 0 0 0 15 0 19 0 827409490 13953531904 19970 33554432000 1073741824 1073778376 140734167546192 18446744073709551615 244458761113 0 4 0 16800975 18446604468421325056 0 0 -1 5 0 0 0
[pid=32355/tid=32362] ppid=32353 vsize=13626496 CPUtime=0 cores=1,3,5,7
/proc/32355/task/32362/stat : 32362 (java) S 32353 32355 28402 0 -1 4202560 176 0 0 0 0 0 0 0 15 0 19 0 827409490 13953531904 19970 33554432000 1073741824 1073778376 140734167546192 18446744073709551615 244458761113 0 4 0 16800975 18446604468421325056 0 0 -1 7 0 0 0
[pid=32355/tid=32363] ppid=32353 vsize=13626496 CPUtime=0 cores=1,3,5,7
/proc/32355/task/32363/stat : 32363 (java) S 32353 32355 28402 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827409490 13953531904 19970 33554432000 1073741824 1073778376 140734167546192 18446744073709551615 244458761113 0 4 0 16800975 18446604468421325056 0 0 -1 5 0 0 0
[pid=32355/tid=32364] ppid=32353 vsize=13626496 CPUtime=0 cores=1,3,5,7
/proc/32355/task/32364/stat : 32364 (java) S 32353 32355 28402 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827409490 13953531904 19970 33554432000 1073741824 1073778376 140734167546192 18446744073709551615 244458761113 0 4 0 16800975 18446604468421325056 0 0 -1 7 0 0 0
[pid=32355/tid=32365] ppid=32353 vsize=13626496 CPUtime=0 cores=1,3,5,7
/proc/32355/task/32365/stat : 32365 (java) S 32353 32355 28402 0 -1 4202560 202 0 0 0 0 0 0 0 15 0 19 0 827409490 13953531904 19970 33554432000 1073741824 1073778376 140734167546192 18446744073709551615 244458761113 0 4 0 16800975 18446604468421325056 0 0 -1 3 0 0 0
[pid=32355/tid=32366] ppid=32353 vsize=13626496 CPUtime=0.02 cores=1,3,5,7
/proc/32355/task/32366/stat : 32366 (java) S 32353 32355 28402 0 -1 4202560 755 0 0 0 2 0 0 0 15 0 19 0 827409491 13953531904 19970 33554432000 1073741824 1073778376 140734167546192 18446744073709551615 244458761728 0 0 0 16800975 18446604468421325056 0 0 -1 1 0 0 0
[pid=32355/tid=32367] ppid=32353 vsize=13626496 CPUtime=0 cores=1,3,5,7
/proc/32355/task/32367/stat : 32367 (java) S 32353 32355 28402 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 827409491 13953531904 19970 33554432000 1073741824 1073778376 140734167546192 18446744073709551615 244458761113 0 4 0 16800975 18446604468421325056 0 0 -1 7 0 0 0
[pid=32355/tid=32368] ppid=32353 vsize=13626496 CPUtime=0 cores=1,3,5,7
/proc/32355/task/32368/stat : 32368 (java) S 32353 32355 28402 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 827409491 13953531904 19970 33554432000 1073741824 1073778376 140734167546192 18446744073709551615 244458761113 0 4 0 16800975 18446604468421325056 0 0 -1 7 0 0 0
[pid=32355/tid=32369] ppid=32353 vsize=13626496 CPUtime=0 cores=1,3,5,7
/proc/32355/task/32369/stat : 32369 (java) S 32353 32355 28402 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827409493 13953531904 19970 33554432000 1073741824 1073778376 140734167546192 18446744073709551615 244458768817 0 4 0 16800975 18446604468421325056 0 0 -1 7 0 0 0
[pid=32355/tid=32370] ppid=32353 vsize=13626496 CPUtime=0.19 cores=1,3,5,7
/proc/32355/task/32370/stat : 32370 (java) S 32353 32355 28402 0 -1 4202560 1973 0 0 0 19 0 0 0 15 0 19 0 827409493 13953531904 19970 33554432000 1073741824 1073778376 140734167546192 18446744073709551615 244458761113 0 4 0 16800975 18446604468421325056 0 0 -1 5 0 0 0
[pid=32355/tid=32371] ppid=32353 vsize=13626496 CPUtime=0.2 cores=1,3,5,7
/proc/32355/task/32371/stat : 32371 (java) S 32353 32355 28402 0 -1 4202560 1522 0 0 0 20 0 0 0 15 0 19 0 827409493 13953531904 19970 33554432000 1073741824 1073778376 140734167546192 18446744073709551615 244458761113 0 4 0 16800975 18446604468421325056 0 0 -1 1 0 0 0
[pid=32355/tid=32372] ppid=32353 vsize=13626496 CPUtime=0 cores=1,3,5,7
/proc/32355/task/32372/stat : 32372 (java) S 32353 32355 28402 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827409493 13953531904 19970 33554432000 1073741824 1073778376 140734167546192 18446744073709551615 244458761113 0 4 0 16800975 18446604468421325056 0 0 -1 7 0 0 0
[pid=32355/tid=32373] ppid=32353 vsize=13626496 CPUtime=0 cores=1,3,5,7
/proc/32355/task/32373/stat : 32373 (java) S 32353 32355 28402 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827409494 13953531904 19970 33554432000 1073741824 1073778376 140734167546192 18446744073709551615 244458761728 0 4 0 16800975 18446604468421325056 0 0 -1 5 0 0 0
[pid=32355/tid=32374] ppid=32353 vsize=13626496 CPUtime=0 cores=1,3,5,7
/proc/32355/task/32374/stat : 32374 (java) S 32353 32355 28402 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 827409504 13953531904 19970 33554432000 1073741824 1073778376 140734167546192 18446744073709551615 244458761728 0 4 0 16800975 18446604468421325056 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.9
Current children cumulated vsize (KiB) 13626496

[startup+3.10137 s]
/proc/loadavg: 2.13 2.06 1.96 3/466 32374
/proc/meminfo: memFree=28894436/32951124 swapFree=43324008/67111528
[pid=32355] ppid=32353 vsize=13626496 CPUtime=3.54 cores=1,3,5,7
/proc/32355/stat : 32355 (java) S 32353 32355 28402 0 -1 4202496 21757 0 1 0 351 3 0 0 18 0 19 0 827409487 13953531904 20583 33554432000 1073741824 1073778376 140734167546192 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/32355/statm: 3406624 20583 2249 9 0 3397358 0
[pid=32355/tid=32356] ppid=32353 vsize=13626496 CPUtime=3.02 cores=1,3,5,7
/proc/32355/task/32356/stat : 32356 (java) R 32353 32355 28402 0 -1 4202560 14821 0 1 0 300 2 0 0 25 0 19 0 827409488 13953531904 20583 33554432000 1073741824 1073778376 140734167546192 18446744073709551615 46912505572426 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=32355/tid=32358] ppid=32353 vsize=13626496 CPUtime=0 cores=1,3,5,7
/proc/32355/task/32358/stat : 32358 (java) S 32353 32355 28402 0 -1 4202560 240 0 0 0 0 0 0 0 15 0 19 0 827409490 13953531904 20583 33554432000 1073741824 1073778376 140734167546192 18446744073709551615 244458761113 0 4 0 16800975 18446604468421325056 0 0 -1 7 0 0 0
[pid=32355/tid=32359] ppid=32353 vsize=13626496 CPUtime=0 cores=1,3,5,7
/proc/32355/task/32359/stat : 32359 (java) S 32353 32355 28402 0 -1 4202560 161 0 0 0 0 0 0 0 15 0 19 0 827409490 13953531904 20583 33554432000 1073741824 1073778376 140734167546192 18446744073709551615 244458761113 0 4 0 16800975 18446604468421325056 0 0 -1 7 0 0 0
[pid=32355/tid=32360] ppid=32353 vsize=13626496 CPUtime=0 cores=1,3,5,7
/proc/32355/task/32360/stat : 32360 (java) S 32353 32355 28402 0 -1 4202560 210 0 0 0 0 0 0 0 15 0 19 0 827409490 13953531904 20583 33554432000 1073741824 1073778376 140734167546192 18446744073709551615 244458761113 0 4 0 16800975 18446604468421325056 0 0 -1 5 0 0 0
[pid=32355/tid=32361] ppid=32353 vsize=13626496 CPUtime=0 cores=1,3,5,7
/proc/32355/task/32361/stat : 32361 (java) S 32353 32355 28402 0 -1 4202560 124 0 0 0 0 0 0 0 16 0 19 0 827409490 13953531904 20583 33554432000 1073741824 1073778376 140734167546192 18446744073709551615 244458761113 0 4 0 16800975 18446604468421325056 0 0 -1 5 0 0 0
[pid=32355/tid=32362] ppid=32353 vsize=13626496 CPUtime=0 cores=1,3,5,7
/proc/32355/task/32362/stat : 32362 (java) S 32353 32355 28402 0 -1 4202560 216 0 0 0 0 0 0 0 15 0 19 0 827409490 13953531904 20583 33554432000 1073741824 1073778376 140734167546192 18446744073709551615 244458761113 0 4 0 16800975 18446604468421325056 0 0 -1 7 0 0 0
[pid=32355/tid=32363] ppid=32353 vsize=13626496 CPUtime=0 cores=1,3,5,7
/proc/32355/task/32363/stat : 32363 (java) S 32353 32355 28402 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827409490 13953531904 20583 33554432000 1073741824 1073778376 140734167546192 18446744073709551615 244458761113 0 4 0 16800975 18446604468421325056 0 0 -1 5 0 0 0
[pid=32355/tid=32364] ppid=32353 vsize=13626496 CPUtime=0 cores=1,3,5,7
/proc/32355/task/32364/stat : 32364 (java) S 32353 32355 28402 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 827409490 13953531904 20583 33554432000 1073741824 1073778376 140734167546192 18446744073709551615 244458761113 0 4 0 16800975 18446604468421325056 0 0 -1 7 0 0 0
[pid=32355/tid=32365] ppid=32353 vsize=13626496 CPUtime=0 cores=1,3,5,7
/proc/32355/task/32365/stat : 32365 (java) S 32353 32355 28402 0 -1 4202560 233 0 0 0 0 0 0 0 16 0 19 0 827409490 13953531904 20583 33554432000 1073741824 1073778376 140734167546192 18446744073709551615 244458761113 0 4 0 16800975 18446604468421325056 0 0 -1 7 0 0 0
[pid=32355/tid=32366] ppid=32353 vsize=13626496 CPUtime=0.06 cores=1,3,5,7
/proc/32355/task/32366/stat : 32366 (java) S 32353 32355 28402 0 -1 4202560 1088 0 0 0 6 0 0 0 16 0 19 0 827409491 13953531904 20583 33554432000 1073741824 1073778376 140734167546192 18446744073709551615 244458761728 0 0 0 16800975 18446604468421325056 0 0 -1 3 0 0 0
[pid=32355/tid=32367] ppid=32353 vsize=13626496 CPUtime=0 cores=1,3,5,7
/proc/32355/task/32367/stat : 32367 (java) S 32353 32355 28402 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 827409491 13953531904 20583 33554432000 1073741824 1073778376 140734167546192 18446744073709551615 244458761113 0 4 0 16800975 18446604468421325056 0 0 -1 7 0 0 0
[pid=32355/tid=32368] ppid=32353 vsize=13626496 CPUtime=0 cores=1,3,5,7
/proc/32355/task/32368/stat : 32368 (java) S 32353 32355 28402 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 827409491 13953531904 20583 33554432000 1073741824 1073778376 140734167546192 18446744073709551615 244458761113 0 4 0 16800975 18446604468421325056 0 0 -1 7 0 0 0
[pid=32355/tid=32369] ppid=32353 vsize=13626496 CPUtime=0 cores=1,3,5,7
/proc/32355/task/32369/stat : 32369 (java) S 32353 32355 28402 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827409493 13953531904 20583 33554432000 1073741824 1073778376 140734167546192 18446744073709551615 244458768817 0 4 0 16800975 18446604468421325056 0 0 -1 7 0 0 0
[pid=32355/tid=32370] ppid=32353 vsize=13626496 CPUtime=0.19 cores=1,3,5,7
/proc/32355/task/32370/stat : 32370 (java) S 32353 32355 28402 0 -1 4202560 1974 0 0 0 19 0 0 0 15 0 19 0 827409493 13953531904 20583 33554432000 1073741824 1073778376 140734167546192 18446744073709551615 244458761113 0 4 0 16800975 18446604468421325056 0 0 -1 5 0 0 0
[pid=32355/tid=32371] ppid=32353 vsize=13626496 CPUtime=0.23 cores=1,3,5,7
/proc/32355/task/32371/stat : 32371 (java) S 32353 32355 28402 0 -1 4202560 1535 0 0 0 23 0 0 0 15 0 19 0 827409493 13953531904 20583 33554432000 1073741824 1073778376 140734167546192 18446744073709551615 244458761113 0 4 0 16800975 18446604468421325056 0 0 -1 1 0 0 0
[pid=32355/tid=32372] ppid=32353 vsize=13626496 CPUtime=0 cores=1,3,5,7
/proc/32355/task/32372/stat : 32372 (java) S 32353 32355 28402 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827409493 13953531904 20583 33554432000 1073741824 1073778376 140734167546192 18446744073709551615 244458761113 0 4 0 16800975 18446604468421325056 0 0 -1 7 0 0 0
[pid=32355/tid=32373] ppid=32353 vsize=13626496 CPUtime=0 cores=1,3,5,7
/proc/32355/task/32373/stat : 32373 (java) S 32353 32355 28402 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827409494 13953531904 20583 33554432000 1073741824 1073778376 140734167546192 18446744073709551615 244458761728 0 4 0 16800975 18446604468421325056 0 0 -1 5 0 0 0
[pid=32355/tid=32374] ppid=32353 vsize=13626496 CPUtime=0 cores=1,3,5,7
/proc/32355/task/32374/stat : 32374 (java) S 32353 32355 28402 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 827409504 13953531904 20583 33554432000 1073741824 1073778376 140734167546192 18446744073709551615 244458761728 0 4 0 16800975 18446604468421325056 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.54
Current children cumulated vsize (KiB) 13626496

[startup+6.30077 s]
/proc/loadavg: 2.13 2.06 1.96 3/466 32374
/proc/meminfo: memFree=28890964/32951124 swapFree=43324008/67111528
[pid=32355] ppid=32353 vsize=13626496 CPUtime=6.75 cores=1,3,5,7
/proc/32355/stat : 32355 (java) S 32353 32355 28402 0 -1 4202496 22503 0 1 0 672 3 0 0 18 0 19 0 827409487 13953531904 21252 33554432000 1073741824 1073778376 140734167546192 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/32355/statm: 3406624 21252 2249 9 0 3397358 0
[pid=32355/tid=32356] ppid=32353 vsize=13626496 CPUtime=6.16 cores=1,3,5,7
/proc/32355/task/32356/stat : 32356 (java) R 32353 32355 28402 0 -1 4202560 14825 0 1 0 614 2 0 0 25 0 19 0 827409488 13953531904 21252 33554432000 1073741824 1073778376 140734167546192 18446744073709551615 46912505572966 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=32355/tid=32358] ppid=32353 vsize=13626496 CPUtime=0 cores=1,3,5,7
/proc/32355/task/32358/stat : 32358 (java) S 32353 32355 28402 0 -1 4202560 250 0 0 0 0 0 0 0 16 0 19 0 827409490 13953531904 21252 33554432000 1073741824 1073778376 140734167546192 18446744073709551615 244458761113 0 4 0 16800975 18446604468421325056 0 0 -1 7 0 0 0
[pid=32355/tid=32359] ppid=32353 vsize=13626496 CPUtime=0 cores=1,3,5,7
/proc/32355/task/32359/stat : 32359 (java) S 32353 32355 28402 0 -1 4202560 164 0 0 0 0 0 0 0 16 0 19 0 827409490 13953531904 21252 33554432000 1073741824 1073778376 140734167546192 18446744073709551615 244458761113 0 4 0 16800975 18446604468421325056 0 0 -1 7 0 0 0
[pid=32355/tid=32360] ppid=32353 vsize=13626496 CPUtime=0 cores=1,3,5,7
/proc/32355/task/32360/stat : 32360 (java) S 32353 32355 28402 0 -1 4202560 210 0 0 0 0 0 0 0 16 0 19 0 827409490 13953531904 21252 33554432000 1073741824 1073778376 140734167546192 18446744073709551615 244458761113 0 4 0 16800975 18446604468421325056 0 0 -1 5 0 0 0
[pid=32355/tid=32361] ppid=32353 vsize=13626496 CPUtime=0 cores=1,3,5,7
/proc/32355/task/32361/stat : 32361 (java) S 32353 32355 28402 0 -1 4202560 124 0 0 0 0 0 0 0 15 0 19 0 827409490 13953531904 21252 33554432000 1073741824 1073778376 140734167546192 18446744073709551615 244458761113 0 4 0 16800975 18446604468421325056 0 0 -1 5 0 0 0
[pid=32355/tid=32362] ppid=32353 vsize=13626496 CPUtime=0 cores=1,3,5,7
/proc/32355/task/32362/stat : 32362 (java) S 32353 32355 28402 0 -1 4202560 233 0 0 0 0 0 0 0 15 0 19 0 827409490 13953531904 21252 33554432000 1073741824 1073778376 140734167546192 18446744073709551615 244458761113 0 4 0 16800975 18446604468421325056 0 0 -1 7 0 0 0
[pid=32355/tid=32363] ppid=32353 vsize=13626496 CPUtime=0 cores=1,3,5,7
/proc/32355/task/32363/stat : 32363 (java) S 32353 32355 28402 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 827409490 13953531904 21252 33554432000 1073741824 1073778376 140734167546192 18446744073709551615 244458761113 0 4 0 16800975 18446604468421325056 0 0 -1 5 0 0 0
[pid=32355/tid=32364] ppid=32353 vsize=13626496 CPUtime=0 cores=1,3,5,7
/proc/32355/task/32364/stat : 32364 (java) S 32353 32355 28402 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 827409490 13953531904 21252 33554432000 1073741824 1073778376 140734167546192 18446744073709551615 244458761113 0 4 0 16800975 18446604468421325056 0 0 -1 7 0 0 0
[pid=32355/tid=32365] ppid=32353 vsize=13626496 CPUtime=0 cores=1,3,5,7
/proc/32355/task/32365/stat : 32365 (java) S 32353 32355 28402 0 -1 4202560 234 0 0 0 0 0 0 0 16 0 19 0 827409490 13953531904 21252 33554432000 1073741824 1073778376 140734167546192 18446744073709551615 244458761113 0 4 0 16800975 18446604468421325056 0 0 -1 7 0 0 0
[pid=32355/tid=32366] ppid=32353 vsize=13626496 CPUtime=0.1 cores=1,3,5,7
/proc/32355/task/32366/stat : 32366 (java) S 32353 32355 28402 0 -1 4202560 1796 0 0 0 10 0 0 0 16 0 19 0 827409491 13953531904 21252 33554432000 1073741824 1073778376 140734167546192 18446744073709551615 244458761728 0 0 0 16800975 18446604468421325056 0 0 -1 3 0 0 0
[pid=32355/tid=32367] ppid=32353 vsize=13626496 CPUtime=0 cores=1,3,5,7
/proc/32355/task/32367/stat : 32367 (java) S 32353 32355 28402 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 827409491 13953531904 21252 33554432000 1073741824 1073778376 140734167546192 18446744073709551615 244458761113 0 4 0 16800975 18446604468421325056 0 0 -1 7 0 0 0
[pid=32355/tid=32368] ppid=32353 vsize=13626496 CPUtime=0 cores=1,3,5,7
/proc/32355/task/32368/stat : 32368 (java) S 32353 32355 28402 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 827409491 13953531904 21252 33554432000 1073741824 1073778376 140734167546192 18446744073709551615 244458761113 0 4 0 16800975 18446604468421325056 0 0 -1 7 0 0 0
[pid=32355/tid=32369] ppid=32353 vsize=13626496 CPUtime=0 cores=1,3,5,7
/proc/32355/task/32369/stat : 32369 (java) S 32353 32355 28402 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827409493 13953531904 21252 33554432000 1073741824 1073778376 140734167546192 18446744073709551615 244458768817 0 4 0 16800975 18446604468421325056 0 0 -1 7 0 0 0
[pid=32355/tid=32370] ppid=32353 vsize=13626496 CPUtime=0.19 cores=1,3,5,7
/proc/32355/task/32370/stat : 32370 (java) S 32353 32355 28402 0 -1 4202560 1974 0 0 0 19 0 0 0 15 0 19 0 827409493 13953531904 21252 33554432000 1073741824 1073778376 140734167546192 18446744073709551615 244458761113 0 4 0 16800975 18446604468421325056 0 0 -1 5 0 0 0
[pid=32355/tid=32371] ppid=32353 vsize=13626496 CPUtime=0.23 cores=1,3,5,7
/proc/32355/task/32371/stat : 32371 (java) S 32353 32355 28402 0 -1 4202560 1535 0 0 0 23 0 0 0 15 0 19 0 827409493 13953531904 21252 33554432000 1073741824 1073778376 140734167546192 18446744073709551615 244458761113 0 4 0 16800975 18446604468421325056 0 0 -1 1 0 0 0

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

[pid=32355/tid=32363] ppid=32353 vsize=13649392 CPUtime=0.13 cores=1,3,5,7
/proc/32355/task/32363/stat : 32363 (java) S 32353 32355 28402 0 -1 4202560 48 0 0 0 13 0 0 0 15 0 19 0 827409490 13976977408 28349 33554432000 1073741824 1073778376 140734167546192 18446744073709551615 244458761113 0 4 0 16800975 18446604468421325056 0 0 -1 1 0 0 0
[pid=32355/tid=32364] ppid=32353 vsize=13649392 CPUtime=0.11 cores=1,3,5,7
/proc/32355/task/32364/stat : 32364 (java) S 32353 32355 28402 0 -1 4202560 29 0 0 0 11 0 0 0 16 0 19 0 827409490 13976977408 28349 33554432000 1073741824 1073778376 140734167546192 18446744073709551615 244458761113 0 4 0 16800975 18446604468421325056 0 0 -1 5 0 0 0
[pid=32355/tid=32365] ppid=32353 vsize=13649392 CPUtime=0.1 cores=1,3,5,7
/proc/32355/task/32365/stat : 32365 (java) S 32353 32355 28402 0 -1 4202560 263 0 0 0 10 0 0 0 16 0 19 0 827409490 13976977408 28349 33554432000 1073741824 1073778376 140734167546192 18446744073709551615 244458761113 0 4 0 16800975 18446604468421325056 0 0 -1 7 0 0 0
[pid=32355/tid=32366] ppid=32353 vsize=13649392 CPUtime=3.91 cores=1,3,5,7
/proc/32355/task/32366/stat : 32366 (java) S 32353 32355 28402 0 -1 4202560 3498 0 0 0 388 3 0 0 16 0 19 0 827409491 13976977408 28349 33554432000 1073741824 1073778376 140734167546192 18446744073709551615 244458761728 0 0 0 16800975 18446604468421325056 0 0 -1 3 0 0 0
[pid=32355/tid=32367] ppid=32353 vsize=13649392 CPUtime=0 cores=1,3,5,7
/proc/32355/task/32367/stat : 32367 (java) S 32353 32355 28402 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 827409491 13976977408 28349 33554432000 1073741824 1073778376 140734167546192 18446744073709551615 244458761113 0 4 0 16800975 18446604468421325056 0 0 -1 7 0 0 0
[pid=32355/tid=32368] ppid=32353 vsize=13649392 CPUtime=0 cores=1,3,5,7
/proc/32355/task/32368/stat : 32368 (java) S 32353 32355 28402 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 827409491 13976977408 28349 33554432000 1073741824 1073778376 140734167546192 18446744073709551615 244458761113 0 4 0 16800975 18446604468421325056 0 0 -1 7 0 0 0
[pid=32355/tid=32369] ppid=32353 vsize=13649392 CPUtime=0 cores=1,3,5,7
/proc/32355/task/32369/stat : 32369 (java) S 32353 32355 28402 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827409493 13976977408 28349 33554432000 1073741824 1073778376 140734167546192 18446744073709551615 244458768817 0 4 0 16800975 18446604468421325056 0 0 -1 7 0 0 0
[pid=32355/tid=32370] ppid=32353 vsize=13649392 CPUtime=0.25 cores=1,3,5,7
/proc/32355/task/32370/stat : 32370 (java) S 32353 32355 28402 0 -1 4202560 1980 0 0 0 25 0 0 0 15 0 19 0 827409493 13976977408 28349 33554432000 1073741824 1073778376 140734167546192 18446744073709551615 244458761113 0 4 0 16800975 18446604468421325056 0 0 -1 5 0 0 0
[pid=32355/tid=32371] ppid=32353 vsize=13649392 CPUtime=0.85 cores=1,3,5,7
/proc/32355/task/32371/stat : 32371 (java) S 32353 32355 28402 0 -1 4202560 10111 0 0 0 85 0 0 0 16 0 19 0 827409493 13976977408 28349 33554432000 1073741824 1073778376 140734167546192 18446744073709551615 244458761113 0 4 0 16800975 18446604468421325056 0 0 -1 1 0 0 0
[pid=32355/tid=32372] ppid=32353 vsize=13649392 CPUtime=0 cores=1,3,5,7
/proc/32355/task/32372/stat : 32372 (java) S 32353 32355 28402 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827409493 13976977408 28349 33554432000 1073741824 1073778376 140734167546192 18446744073709551615 244458761113 0 4 0 16800975 18446604468421325056 0 0 -1 7 0 0 0
[pid=32355/tid=32373] ppid=32353 vsize=13649392 CPUtime=0 cores=1,3,5,7
/proc/32355/task/32373/stat : 32373 (java) S 32353 32355 28402 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 19 0 827409494 13976977408 28349 33554432000 1073741824 1073778376 140734167546192 18446744073709551615 244458761728 0 4 0 16800975 18446604468421325056 0 0 -1 1 0 0 0
[pid=32355/tid=32374] ppid=32353 vsize=13649392 CPUtime=0 cores=1,3,5,7
/proc/32355/task/32374/stat : 32374 (java) S 32353 32355 28402 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 827409504 13976977408 28349 33554432000 1073741824 1073778376 140734167546192 18446744073709551615 244458761728 0 4 0 16800975 18446604468421325056 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 180.8
Current children cumulated vsize (KiB) 13649392

[startup+180.002 s]
/proc/loadavg: 2.00 2.03 1.96 3/466 32379
/proc/meminfo: memFree=28860328/32951124 swapFree=43324008/67111528
[pid=32355] ppid=32353 vsize=13649392 CPUtime=181.6 cores=1,3,5,7
/proc/32355/stat : 32355 (java) S 32353 32355 28402 0 -1 4202496 33264 0 1 0 18152 8 0 0 18 0 19 0 827409487 13976977408 28349 33554432000 1073741824 1073778376 140734167546192 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/32355/statm: 3412348 28349 2250 9 0 3403082 0
[pid=32355/tid=32356] ppid=32353 vsize=13649392 CPUtime=175.68 cores=1,3,5,7
/proc/32355/task/32356/stat : 32356 (java) R 32353 32355 28402 0 -1 4202560 15025 0 1 0 17566 2 0 0 25 0 19 0 827409488 13976977408 28349 33554432000 1073741824 1073778376 140734167546192 18446744073709551615 46912505572479 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=32355/tid=32358] ppid=32353 vsize=13649392 CPUtime=0.1 cores=1,3,5,7
/proc/32355/task/32358/stat : 32358 (java) S 32353 32355 28402 0 -1 4202560 297 0 0 0 10 0 0 0 15 0 19 0 827409490 13976977408 28349 33554432000 1073741824 1073778376 140734167546192 18446744073709551615 244458761113 0 4 0 16800975 18446604468421325056 0 0 -1 7 0 0 0
[pid=32355/tid=32359] ppid=32353 vsize=13649392 CPUtime=0.1 cores=1,3,5,7
/proc/32355/task/32359/stat : 32359 (java) S 32353 32355 28402 0 -1 4202560 204 0 0 0 10 0 0 0 15 0 19 0 827409490 13976977408 28349 33554432000 1073741824 1073778376 140734167546192 18446744073709551615 244458761113 0 4 0 16800975 18446604468421325056 0 0 -1 1 0 0 0
[pid=32355/tid=32360] ppid=32353 vsize=13649392 CPUtime=0.09 cores=1,3,5,7
/proc/32355/task/32360/stat : 32360 (java) S 32353 32355 28402 0 -1 4202560 243 0 0 0 9 0 0 0 15 0 19 0 827409490 13976977408 28349 33554432000 1073741824 1073778376 140734167546192 18446744073709551615 244458761113 0 4 0 16800975 18446604468421325056 0 0 -1 5 0 0 0
[pid=32355/tid=32361] ppid=32353 vsize=13649392 CPUtime=0.09 cores=1,3,5,7
/proc/32355/task/32361/stat : 32361 (java) S 32353 32355 28402 0 -1 4202560 152 0 0 0 9 0 0 0 15 0 19 0 827409490 13976977408 28349 33554432000 1073741824 1073778376 140734167546192 18446744073709551615 244458761113 0 4 0 16800975 18446604468421325056 0 0 -1 1 0 0 0
[pid=32355/tid=32362] ppid=32353 vsize=13649392 CPUtime=0.1 cores=1,3,5,7
/proc/32355/task/32362/stat : 32362 (java) S 32353 32355 28402 0 -1 4202560 254 0 0 0 10 0 0 0 15 0 19 0 827409490 13976977408 28349 33554432000 1073741824 1073778376 140734167546192 18446744073709551615 244458761113 0 4 0 16800975 18446604468421325056 0 0 -1 1 0 0 0
[pid=32355/tid=32363] ppid=32353 vsize=13649392 CPUtime=0.13 cores=1,3,5,7
/proc/32355/task/32363/stat : 32363 (java) S 32353 32355 28402 0 -1 4202560 48 0 0 0 13 0 0 0 15 0 19 0 827409490 13976977408 28349 33554432000 1073741824 1073778376 140734167546192 18446744073709551615 244458761113 0 4 0 16800975 18446604468421325056 0 0 -1 1 0 0 0
[pid=32355/tid=32364] ppid=32353 vsize=13649392 CPUtime=0.11 cores=1,3,5,7
/proc/32355/task/32364/stat : 32364 (java) S 32353 32355 28402 0 -1 4202560 29 0 0 0 11 0 0 0 16 0 19 0 827409490 13976977408 28349 33554432000 1073741824 1073778376 140734167546192 18446744073709551615 244458761113 0 4 0 16800975 18446604468421325056 0 0 -1 5 0 0 0
[pid=32355/tid=32365] ppid=32353 vsize=13649392 CPUtime=0.1 cores=1,3,5,7
/proc/32355/task/32365/stat : 32365 (java) S 32353 32355 28402 0 -1 4202560 263 0 0 0 10 0 0 0 16 0 19 0 827409490 13976977408 28349 33554432000 1073741824 1073778376 140734167546192 18446744073709551615 244458761113 0 4 0 16800975 18446604468421325056 0 0 -1 7 0 0 0
[pid=32355/tid=32366] ppid=32353 vsize=13649392 CPUtime=3.91 cores=1,3,5,7
/proc/32355/task/32366/stat : 32366 (java) S 32353 32355 28402 0 -1 4202560 3498 0 0 0 388 3 0 0 16 0 19 0 827409491 13976977408 28349 33554432000 1073741824 1073778376 140734167546192 18446744073709551615 244458761728 0 0 0 16800975 18446604468421325056 0 0 -1 3 0 0 0
[pid=32355/tid=32367] ppid=32353 vsize=13649392 CPUtime=0 cores=1,3,5,7
/proc/32355/task/32367/stat : 32367 (java) S 32353 32355 28402 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 827409491 13976977408 28349 33554432000 1073741824 1073778376 140734167546192 18446744073709551615 244458761113 0 4 0 16800975 18446604468421325056 0 0 -1 7 0 0 0
[pid=32355/tid=32368] ppid=32353 vsize=13649392 CPUtime=0 cores=1,3,5,7
/proc/32355/task/32368/stat : 32368 (java) S 32353 32355 28402 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 827409491 13976977408 28349 33554432000 1073741824 1073778376 140734167546192 18446744073709551615 244458761113 0 4 0 16800975 18446604468421325056 0 0 -1 7 0 0 0
[pid=32355/tid=32369] ppid=32353 vsize=13649392 CPUtime=0 cores=1,3,5,7
/proc/32355/task/32369/stat : 32369 (java) S 32353 32355 28402 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827409493 13976977408 28349 33554432000 1073741824 1073778376 140734167546192 18446744073709551615 244458768817 0 4 0 16800975 18446604468421325056 0 0 -1 7 0 0 0
[pid=32355/tid=32370] ppid=32353 vsize=13649392 CPUtime=0.25 cores=1,3,5,7
/proc/32355/task/32370/stat : 32370 (java) S 32353 32355 28402 0 -1 4202560 1980 0 0 0 25 0 0 0 15 0 19 0 827409493 13976977408 28349 33554432000 1073741824 1073778376 140734167546192 18446744073709551615 244458761113 0 4 0 16800975 18446604468421325056 0 0 -1 5 0 0 0
[pid=32355/tid=32371] ppid=32353 vsize=13649392 CPUtime=0.85 cores=1,3,5,7
/proc/32355/task/32371/stat : 32371 (java) S 32353 32355 28402 0 -1 4202560 10111 0 0 0 85 0 0 0 16 0 19 0 827409493 13976977408 28349 33554432000 1073741824 1073778376 140734167546192 18446744073709551615 244458761113 0 4 0 16800975 18446604468421325056 0 0 -1 1 0 0 0
[pid=32355/tid=32372] ppid=32353 vsize=13649392 CPUtime=0 cores=1,3,5,7
/proc/32355/task/32372/stat : 32372 (java) S 32353 32355 28402 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827409493 13976977408 28349 33554432000 1073741824 1073778376 140734167546192 18446744073709551615 244458761113 0 4 0 16800975 18446604468421325056 0 0 -1 7 0 0 0
[pid=32355/tid=32373] ppid=32353 vsize=13649392 CPUtime=0 cores=1,3,5,7
/proc/32355/task/32373/stat : 32373 (java) S 32353 32355 28402 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 19 0 827409494 13976977408 28349 33554432000 1073741824 1073778376 140734167546192 18446744073709551615 244458761728 0 4 0 16800975 18446604468421325056 0 0 -1 1 0 0 0
[pid=32355/tid=32374] ppid=32353 vsize=13649392 CPUtime=0 cores=1,3,5,7
/proc/32355/task/32374/stat : 32374 (java) S 32353 32355 28402 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 827409504 13976977408 28349 33554432000 1073741824 1073778376 140734167546192 18446744073709551615 244458761728 0 4 0 16800975 18446604468421325056 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 181.6
Current children cumulated vsize (KiB) 13649392

[startup+180.801 s]
/proc/loadavg: 2.00 2.03 1.96 3/466 32379
/proc/meminfo: memFree=28860328/32951124 swapFree=43324008/67111528
[pid=32355] ppid=32353 vsize=13649392 CPUtime=182.4 cores=1,3,5,7
/proc/32355/stat : 32355 (java) S 32353 32355 28402 0 -1 4202496 33265 0 1 0 18232 8 0 0 18 0 19 0 827409487 13976977408 28349 33554432000 1073741824 1073778376 140734167546192 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/32355/statm: 3412348 28349 2250 9 0 3403082 0
[pid=32355/tid=32356] ppid=32353 vsize=13649392 CPUtime=176.45 cores=1,3,5,7
/proc/32355/task/32356/stat : 32356 (java) R 32353 32355 28402 0 -1 4202560 15026 0 1 0 17643 2 0 0 25 0 19 0 827409488 13976977408 28349 33554432000 1073741824 1073778376 140734167546192 18446744073709551615 46912505521518 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=32355/tid=32358] ppid=32353 vsize=13649392 CPUtime=0.1 cores=1,3,5,7
/proc/32355/task/32358/stat : 32358 (java) S 32353 32355 28402 0 -1 4202560 297 0 0 0 10 0 0 0 15 0 19 0 827409490 13976977408 28349 33554432000 1073741824 1073778376 140734167546192 18446744073709551615 244458761113 0 4 0 16800975 18446604468421325056 0 0 -1 7 0 0 0
[pid=32355/tid=32359] ppid=32353 vsize=13649392 CPUtime=0.1 cores=1,3,5,7
/proc/32355/task/32359/stat : 32359 (java) S 32353 32355 28402 0 -1 4202560 204 0 0 0 10 0 0 0 15 0 19 0 827409490 13976977408 28349 33554432000 1073741824 1073778376 140734167546192 18446744073709551615 244458761113 0 4 0 16800975 18446604468421325056 0 0 -1 1 0 0 0
[pid=32355/tid=32360] ppid=32353 vsize=13649392 CPUtime=0.09 cores=1,3,5,7
/proc/32355/task/32360/stat : 32360 (java) S 32353 32355 28402 0 -1 4202560 243 0 0 0 9 0 0 0 15 0 19 0 827409490 13976977408 28349 33554432000 1073741824 1073778376 140734167546192 18446744073709551615 244458761113 0 4 0 16800975 18446604468421325056 0 0 -1 5 0 0 0
[pid=32355/tid=32361] ppid=32353 vsize=13649392 CPUtime=0.09 cores=1,3,5,7
/proc/32355/task/32361/stat : 32361 (java) S 32353 32355 28402 0 -1 4202560 152 0 0 0 9 0 0 0 15 0 19 0 827409490 13976977408 28349 33554432000 1073741824 1073778376 140734167546192 18446744073709551615 244458761113 0 4 0 16800975 18446604468421325056 0 0 -1 1 0 0 0
[pid=32355/tid=32362] ppid=32353 vsize=13649392 CPUtime=0.1 cores=1,3,5,7
/proc/32355/task/32362/stat : 32362 (java) S 32353 32355 28402 0 -1 4202560 254 0 0 0 10 0 0 0 15 0 19 0 827409490 13976977408 28349 33554432000 1073741824 1073778376 140734167546192 18446744073709551615 244458761113 0 4 0 16800975 18446604468421325056 0 0 -1 1 0 0 0
[pid=32355/tid=32363] ppid=32353 vsize=13649392 CPUtime=0.13 cores=1,3,5,7
/proc/32355/task/32363/stat : 32363 (java) S 32353 32355 28402 0 -1 4202560 48 0 0 0 13 0 0 0 16 0 19 0 827409490 13976977408 28349 33554432000 1073741824 1073778376 140734167546192 18446744073709551615 244458761113 0 4 0 16800975 18446604468421325056 0 0 -1 1 0 0 0
[pid=32355/tid=32364] ppid=32353 vsize=13649392 CPUtime=0.11 cores=1,3,5,7
/proc/32355/task/32364/stat : 32364 (java) S 32353 32355 28402 0 -1 4202560 29 0 0 0 11 0 0 0 15 0 19 0 827409490 13976977408 28349 33554432000 1073741824 1073778376 140734167546192 18446744073709551615 244458761113 0 4 0 16800975 18446604468421325056 0 0 -1 5 0 0 0
[pid=32355/tid=32365] ppid=32353 vsize=13649392 CPUtime=0.1 cores=1,3,5,7
/proc/32355/task/32365/stat : 32365 (java) S 32353 32355 28402 0 -1 4202560 263 0 0 0 10 0 0 0 15 0 19 0 827409490 13976977408 28349 33554432000 1073741824 1073778376 140734167546192 18446744073709551615 244458761113 0 4 0 16800975 18446604468421325056 0 0 -1 7 0 0 0
[pid=32355/tid=32366] ppid=32353 vsize=13649392 CPUtime=3.93 cores=1,3,5,7
/proc/32355/task/32366/stat : 32366 (java) S 32353 32355 28402 0 -1 4202560 3498 0 0 0 390 3 0 0 16 0 19 0 827409491 13976977408 28349 33554432000 1073741824 1073778376 140734167546192 18446744073709551615 244458761728 0 0 0 16800975 18446604468421325056 0 0 -1 3 0 0 0
[pid=32355/tid=32367] ppid=32353 vsize=13649392 CPUtime=0 cores=1,3,5,7
/proc/32355/task/32367/stat : 32367 (java) S 32353 32355 28402 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 827409491 13976977408 28349 33554432000 1073741824 1073778376 140734167546192 18446744073709551615 244458761113 0 4 0 16800975 18446604468421325056 0 0 -1 7 0 0 0
[pid=32355/tid=32368] ppid=32353 vsize=13649392 CPUtime=0 cores=1,3,5,7
/proc/32355/task/32368/stat : 32368 (java) S 32353 32355 28402 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 827409491 13976977408 28349 33554432000 1073741824 1073778376 140734167546192 18446744073709551615 244458761113 0 4 0 16800975 18446604468421325056 0 0 -1 7 0 0 0
[pid=32355/tid=32369] ppid=32353 vsize=13649392 CPUtime=0 cores=1,3,5,7
/proc/32355/task/32369/stat : 32369 (java) S 32353 32355 28402 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827409493 13976977408 28349 33554432000 1073741824 1073778376 140734167546192 18446744073709551615 244458768817 0 4 0 16800975 18446604468421325056 0 0 -1 7 0 0 0
[pid=32355/tid=32370] ppid=32353 vsize=13649392 CPUtime=0.25 cores=1,3,5,7
/proc/32355/task/32370/stat : 32370 (java) S 32353 32355 28402 0 -1 4202560 1980 0 0 0 25 0 0 0 15 0 19 0 827409493 13976977408 28349 33554432000 1073741824 1073778376 140734167546192 18446744073709551615 244458761113 0 4 0 16800975 18446604468421325056 0 0 -1 5 0 0 0
[pid=32355/tid=32371] ppid=32353 vsize=13649392 CPUtime=0.85 cores=1,3,5,7
/proc/32355/task/32371/stat : 32371 (java) S 32353 32355 28402 0 -1 4202560 10111 0 0 0 85 0 0 0 16 0 19 0 827409493 13976977408 28349 33554432000 1073741824 1073778376 140734167546192 18446744073709551615 244458761113 0 4 0 16800975 18446604468421325056 0 0 -1 1 0 0 0
[pid=32355/tid=32372] ppid=32353 vsize=13649392 CPUtime=0 cores=1,3,5,7
/proc/32355/task/32372/stat : 32372 (java) S 32353 32355 28402 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827409493 13976977408 28349 33554432000 1073741824 1073778376 140734167546192 18446744073709551615 244458761113 0 4 0 16800975 18446604468421325056 0 0 -1 7 0 0 0
[pid=32355/tid=32373] ppid=32353 vsize=13649392 CPUtime=0 cores=1,3,5,7
/proc/32355/task/32373/stat : 32373 (java) S 32353 32355 28402 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 19 0 827409494 13976977408 28349 33554432000 1073741824 1073778376 140734167546192 18446744073709551615 244458761728 0 4 0 16800975 18446604468421325056 0 0 -1 1 0 0 0
[pid=32355/tid=32374] ppid=32353 vsize=13649392 CPUtime=0 cores=1,3,5,7
/proc/32355/task/32374/stat : 32374 (java) S 32353 32355 28402 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 827409504 13976977408 28349 33554432000 1073741824 1073778376 140734167546192 18446744073709551615 244458761728 0 4 0 16800975 18446604468421325056 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 182.4
Current children cumulated vsize (KiB) 13649392

[startup+181.001 s]
/proc/loadavg: 2.00 2.03 1.96 3/466 32379
/proc/meminfo: memFree=28860328/32951124 swapFree=43324008/67111528
[pid=32355] ppid=32353 vsize=13649392 CPUtime=182.6 cores=1,3,5,7
/proc/32355/stat : 32355 (java) S 32353 32355 28402 0 -1 4202496 33265 0 1 0 18252 8 0 0 18 0 19 0 827409487 13976977408 28349 33554432000 1073741824 1073778376 140734167546192 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/32355/statm: 3412348 28349 2250 9 0 3403082 0
[pid=32355/tid=32356] ppid=32353 vsize=13649392 CPUtime=176.65 cores=1,3,5,7
/proc/32355/task/32356/stat : 32356 (java) R 32353 32355 28402 0 -1 4202560 15026 0 1 0 17663 2 0 0 25 0 19 0 827409488 13976977408 28349 33554432000 1073741824 1073778376 140734167546192 18446744073709551615 46912505667285 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=32355/tid=32358] ppid=32353 vsize=13649392 CPUtime=0.1 cores=1,3,5,7
/proc/32355/task/32358/stat : 32358 (java) S 32353 32355 28402 0 -1 4202560 297 0 0 0 10 0 0 0 15 0 19 0 827409490 13976977408 28349 33554432000 1073741824 1073778376 140734167546192 18446744073709551615 244458761113 0 4 0 16800975 18446604468421325056 0 0 -1 7 0 0 0
[pid=32355/tid=32359] ppid=32353 vsize=13649392 CPUtime=0.1 cores=1,3,5,7
/proc/32355/task/32359/stat : 32359 (java) S 32353 32355 28402 0 -1 4202560 204 0 0 0 10 0 0 0 15 0 19 0 827409490 13976977408 28349 33554432000 1073741824 1073778376 140734167546192 18446744073709551615 244458761113 0 4 0 16800975 18446604468421325056 0 0 -1 1 0 0 0
[pid=32355/tid=32360] ppid=32353 vsize=13649392 CPUtime=0.09 cores=1,3,5,7
/proc/32355/task/32360/stat : 32360 (java) S 32353 32355 28402 0 -1 4202560 243 0 0 0 9 0 0 0 15 0 19 0 827409490 13976977408 28349 33554432000 1073741824 1073778376 140734167546192 18446744073709551615 244458761113 0 4 0 16800975 18446604468421325056 0 0 -1 5 0 0 0
[pid=32355/tid=32361] ppid=32353 vsize=13649392 CPUtime=0.09 cores=1,3,5,7
/proc/32355/task/32361/stat : 32361 (java) S 32353 32355 28402 0 -1 4202560 152 0 0 0 9 0 0 0 15 0 19 0 827409490 13976977408 28349 33554432000 1073741824 1073778376 140734167546192 18446744073709551615 244458761113 0 4 0 16800975 18446604468421325056 0 0 -1 1 0 0 0
[pid=32355/tid=32362] ppid=32353 vsize=13649392 CPUtime=0.1 cores=1,3,5,7
/proc/32355/task/32362/stat : 32362 (java) S 32353 32355 28402 0 -1 4202560 254 0 0 0 10 0 0 0 15 0 19 0 827409490 13976977408 28349 33554432000 1073741824 1073778376 140734167546192 18446744073709551615 244458761113 0 4 0 16800975 18446604468421325056 0 0 -1 1 0 0 0
[pid=32355/tid=32363] ppid=32353 vsize=13649392 CPUtime=0.13 cores=1,3,5,7
/proc/32355/task/32363/stat : 32363 (java) S 32353 32355 28402 0 -1 4202560 48 0 0 0 13 0 0 0 16 0 19 0 827409490 13976977408 28349 33554432000 1073741824 1073778376 140734167546192 18446744073709551615 244458761113 0 4 0 16800975 18446604468421325056 0 0 -1 1 0 0 0
[pid=32355/tid=32364] ppid=32353 vsize=13649392 CPUtime=0.11 cores=1,3,5,7
/proc/32355/task/32364/stat : 32364 (java) S 32353 32355 28402 0 -1 4202560 29 0 0 0 11 0 0 0 15 0 19 0 827409490 13976977408 28349 33554432000 1073741824 1073778376 140734167546192 18446744073709551615 244458761113 0 4 0 16800975 18446604468421325056 0 0 -1 5 0 0 0
[pid=32355/tid=32365] ppid=32353 vsize=13649392 CPUtime=0.1 cores=1,3,5,7
/proc/32355/task/32365/stat : 32365 (java) S 32353 32355 28402 0 -1 4202560 263 0 0 0 10 0 0 0 15 0 19 0 827409490 13976977408 28349 33554432000 1073741824 1073778376 140734167546192 18446744073709551615 244458761113 0 4 0 16800975 18446604468421325056 0 0 -1 7 0 0 0
[pid=32355/tid=32366] ppid=32353 vsize=13649392 CPUtime=3.93 cores=1,3,5,7
/proc/32355/task/32366/stat : 32366 (java) S 32353 32355 28402 0 -1 4202560 3498 0 0 0 390 3 0 0 16 0 19 0 827409491 13976977408 28349 33554432000 1073741824 1073778376 140734167546192 18446744073709551615 244458761728 0 0 0 16800975 18446604468421325056 0 0 -1 3 0 0 0
[pid=32355/tid=32367] ppid=32353 vsize=13649392 CPUtime=0 cores=1,3,5,7
/proc/32355/task/32367/stat : 32367 (java) S 32353 32355 28402 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 827409491 13976977408 28349 33554432000 1073741824 1073778376 140734167546192 18446744073709551615 244458761113 0 4 0 16800975 18446604468421325056 0 0 -1 7 0 0 0
[pid=32355/tid=32368] ppid=32353 vsize=13649392 CPUtime=0 cores=1,3,5,7
/proc/32355/task/32368/stat : 32368 (java) S 32353 32355 28402 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 827409491 13976977408 28349 33554432000 1073741824 1073778376 140734167546192 18446744073709551615 244458761113 0 4 0 16800975 18446604468421325056 0 0 -1 7 0 0 0
[pid=32355/tid=32369] ppid=32353 vsize=13649392 CPUtime=0 cores=1,3,5,7
/proc/32355/task/32369/stat : 32369 (java) S 32353 32355 28402 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827409493 13976977408 28349 33554432000 1073741824 1073778376 140734167546192 18446744073709551615 244458768817 0 4 0 16800975 18446604468421325056 0 0 -1 7 0 0 0
[pid=32355/tid=32370] ppid=32353 vsize=13649392 CPUtime=0.25 cores=1,3,5,7
/proc/32355/task/32370/stat : 32370 (java) S 32353 32355 28402 0 -1 4202560 1980 0 0 0 25 0 0 0 15 0 19 0 827409493 13976977408 28349 33554432000 1073741824 1073778376 140734167546192 18446744073709551615 244458761113 0 4 0 16800975 18446604468421325056 0 0 -1 5 0 0 0
[pid=32355/tid=32371] ppid=32353 vsize=13649392 CPUtime=0.85 cores=1,3,5,7
/proc/32355/task/32371/stat : 32371 (java) S 32353 32355 28402 0 -1 4202560 10111 0 0 0 85 0 0 0 16 0 19 0 827409493 13976977408 28349 33554432000 1073741824 1073778376 140734167546192 18446744073709551615 244458761113 0 4 0 16800975 18446604468421325056 0 0 -1 1 0 0 0
[pid=32355/tid=32372] ppid=32353 vsize=13649392 CPUtime=0 cores=1,3,5,7
/proc/32355/task/32372/stat : 32372 (java) S 32353 32355 28402 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827409493 13976977408 28349 33554432000 1073741824 1073778376 140734167546192 18446744073709551615 244458761113 0 4 0 16800975 18446604468421325056 0 0 -1 7 0 0 0
[pid=32355/tid=32373] ppid=32353 vsize=13649392 CPUtime=0 cores=1,3,5,7
/proc/32355/task/32373/stat : 32373 (java) S 32353 32355 28402 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 19 0 827409494 13976977408 28349 33554432000 1073741824 1073778376 140734167546192 18446744073709551615 244458761728 0 4 0 16800975 18446604468421325056 0 0 -1 1 0 0 0
[pid=32355/tid=32374] ppid=32353 vsize=13649392 CPUtime=0 cores=1,3,5,7
/proc/32355/task/32374/stat : 32374 (java) S 32353 32355 28402 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 827409504 13976977408 28349 33554432000 1073741824 1073778376 140734167546192 18446744073709551615 244458761728 0 4 0 16800975 18446604468421325056 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 182.6
Current children cumulated vsize (KiB) 13649392

[startup+181.101 s]
/proc/loadavg: 2.00 2.03 1.96 3/466 32379
/proc/meminfo: memFree=28860328/32951124 swapFree=43324008/67111528
[pid=32355] ppid=32353 vsize=0 CPUtime=182.7 cores=1,3,5,7
/proc/32355/stat : 32355 (java) R 32353 32355 28402 0 -1 4203524 33293 0 1 0 18262 8 0 0 18 0 1 0 827409487 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/32355/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 182.7
Current children cumulated vsize (KiB) 0

Child status: 30
Real time (s): 181.104
CPU time (s): 182.72
CPU user time (s): 182.629
CPU system time (s): 0.090986
CPU usage (%): 100.892
Max. virtual memory (cumulated for all children) (KiB): 13649392

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 182.629
system time used= 0.090986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33293
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= 9695
involuntary context switches= 4116

runsolver used 0.778881 second user time and 1.80773 second system time

The end

Launcher Data 

Begin job on node105 at 2011-06-04 05:28:10
IDJOB=3458119
IDBENCH=47939
IDSOLVER=1952
FILE ID=node105/3458119-1307158090
RUNJOBID= node105-1307155872-31371
PBS_JOBID= 13508811
Free space on /tmp= 73768 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=43-P1=101-P2=251-P3=307-P4=499-B.opb
COMMAND LINE= java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3458119-1307158090/watcher-3458119-1307158090 -o /tmp/evaluation-result-3458119-1307158090/solver-3458119-1307158090 -C 1800 -W 1900 -M 15500  java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458119-1307158090.opb

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

MD5SUM BENCH= e79e2db14e141163591dbcfdfed7384a
RANDOM SEED=633489139

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.825
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.82
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.825
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:     32951124 kB
MemFree:      28968708 kB
Buffers:        324180 kB
Cached:         805812 kB
SwapCached:      20984 kB
Active:        2998176 kB
Inactive:       669576 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      28968708 kB
SwapTotal:    67111528 kB
SwapFree:     43324008 kB
Dirty:               0 kB
Writeback:         424 kB
AnonPages:     2534840 kB
Mapped:          27620 kB
Slab:           165588 kB
PageTables:      81416 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 128316444 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= 73768 MiB
End job on node105 at 2011-06-04 05:31:12