Trace number 3459269

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 NameAnswerCPU timeWall clock time
Sat4j Resolution 2.3.0UNSAT 214.41 212.58

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900584219.opb
MD5SUM526ab28e5245080e542291515286f3e0
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark8.38072
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables231
Total number of constraints2707
Number of constraints which are clauses2684
Number of constraints which are cardinality constraints (but not clauses)22
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint110
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 689
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	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.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-3459269-1307135629.opb
0.10/0.11	c reading problem ... 
0.47/0.30	c ... done. Wall clock time 0.19s.
0.47/0.30	c #vars     231
0.47/0.30	c #constraints  2707
0.47/0.30	c constraints type 
0.47/0.30	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2442
0.47/0.30	c org.sat4j.minisat.constraints.card.MinWatchCard => 22
0.47/0.30	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 242
0.47/0.30	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1
1.07/0.65	c cleaning 2501 clauses out of 5003 with flag 5003/5003
1.42/0.93	c cleaning 4247 clauses out of 8500 with flag 11001/11001
1.73/1.27	c cleaning 5624 clauses out of 11253 with flag 18001/18001
2.13/1.69	c cleaning 6807 clauses out of 13629 with flag 26001/26001
2.67/2.16	c cleaning 7907 clauses out of 15822 with flag 35001/35001
3.16/2.68	c cleaning 8950 clauses out of 17915 with flag 45001/45001
3.78/3.23	c cleaning 9475 clauses out of 18966 with flag 55002/55002
4.27/3.74	c cleaning 9739 clauses out of 19489 with flag 65000/65000
4.77/4.26	c cleaning 9871 clauses out of 19752 with flag 75002/75002
5.37/4.82	c cleaning 9933 clauses out of 19879 with flag 85000/85000
5.87/5.36	c cleaning 9965 clauses out of 19946 with flag 95000/95000
6.37/5.86	c cleaning 9985 clauses out of 19981 with flag 105000/105000
6.87/6.36	c cleaning 9992 clauses out of 19996 with flag 115000/115000
7.37/6.88	c cleaning 10004 clauses out of 20007 with flag 125003/125003
7.88/7.38	c cleaning 9991 clauses out of 20001 with flag 135001/135001
8.39/7.88	c cleaning 9999 clauses out of 20010 with flag 145001/145001
8.89/8.38	c cleaning 10001 clauses out of 20013 with flag 155003/155003
9.41/8.88	c cleaning 9994 clauses out of 20009 with flag 165000/165000
9.89/9.38	c cleaning 10001 clauses out of 20015 with flag 175000/175000
10.40/9.88	c cleaning 10000 clauses out of 20014 with flag 185000/185000
10.89/10.36	c cleaning 9997 clauses out of 20014 with flag 195000/195000
11.39/10.86	c cleaning 10003 clauses out of 20017 with flag 205000/205000
11.90/11.37	c cleaning 9999 clauses out of 20014 with flag 215000/215000
12.40/11.87	c cleaning 10001 clauses out of 20017 with flag 225002/225002
12.90/12.32	c cleaning 10002 clauses out of 20014 with flag 235000/235000
13.40/12.83	c cleaning 10000 clauses out of 20013 with flag 245001/245001
13.90/13.32	c cleaning 9997 clauses out of 20012 with flag 255000/255000
14.30/13.80	c cleaning 10000 clauses out of 20015 with flag 265000/265000
14.81/14.31	c cleaning 10001 clauses out of 20016 with flag 275001/275001
15.30/14.77	c cleaning 9994 clauses out of 20015 with flag 285001/285001
15.81/15.28	c cleaning 10002 clauses out of 20020 with flag 295000/295000
16.31/15.79	c cleaning 10000 clauses out of 20020 with flag 305002/305002
16.91/16.30	c cleaning 10005 clauses out of 20021 with flag 315003/315003
17.31/16.78	c cleaning 10001 clauses out of 20014 with flag 325001/325001
17.81/17.27	c cleaning 10002 clauses out of 20012 with flag 335000/335000
18.31/17.74	c cleaning 9997 clauses out of 20012 with flag 345002/345002
18.82/18.23	c cleaning 10002 clauses out of 20016 with flag 355003/355003
19.34/18.73	c cleaning 9998 clauses out of 20012 with flag 365001/365001
19.82/19.21	c cleaning 9997 clauses out of 20014 with flag 375001/375001
20.22/19.70	c cleaning 10007 clauses out of 20017 with flag 385001/385001
20.84/20.24	c cleaning 10001 clauses out of 20011 with flag 395002/395002
21.35/20.71	c cleaning 9996 clauses out of 20008 with flag 405000/405000
21.75/21.18	c cleaning 9999 clauses out of 20012 with flag 415000/415000
22.26/21.63	c cleaning 9998 clauses out of 20013 with flag 425000/425000
22.76/22.10	c cleaning 10000 clauses out of 20015 with flag 435000/435000
23.16/22.57	c cleaning 10006 clauses out of 20017 with flag 445002/445002
23.67/23.02	c cleaning 10001 clauses out of 20012 with flag 455003/455003
24.16/23.59	c cleaning 10001 clauses out of 20012 with flag 465004/465004
24.66/24.09	c cleaning 9998 clauses out of 20009 with flag 475002/475002
25.26/24.60	c cleaning 10001 clauses out of 20009 with flag 485000/485000
25.76/25.10	c cleaning 10000 clauses out of 20008 with flag 495000/495000
26.17/25.57	c cleaning 10000 clauses out of 20009 with flag 505001/505001
26.66/26.05	c cleaning 9987 clauses out of 20008 with flag 515000/515000
27.17/26.55	c cleaning 10007 clauses out of 20022 with flag 525001/525001
27.67/27.03	c cleaning 9997 clauses out of 20015 with flag 535001/535001
28.19/27.54	c cleaning 10006 clauses out of 20018 with flag 545001/545001
28.67/28.03	c cleaning 10000 clauses out of 20011 with flag 555000/555000
29.18/28.53	c cleaning 10001 clauses out of 20015 with flag 565004/565004
29.67/29.03	c cleaning 9999 clauses out of 20010 with flag 575000/575000
30.17/29.57	c cleaning 10001 clauses out of 20011 with flag 585000/585000
30.78/30.14	c cleaning 10004 clauses out of 20011 with flag 595001/595001
31.28/30.65	c cleaning 9996 clauses out of 20008 with flag 605002/605002
31.78/31.14	c cleaning 10000 clauses out of 20010 with flag 615000/615000
32.28/31.64	c cleaning 10001 clauses out of 20011 with flag 625001/625001
32.78/32.16	c cleaning 9998 clauses out of 20010 with flag 635001/635001
33.28/32.64	c cleaning 10003 clauses out of 20011 with flag 645000/645000
33.88/33.21	c cleaning 9996 clauses out of 20008 with flag 655000/655000
34.29/33.68	c cleaning 10003 clauses out of 20015 with flag 665003/665003
34.82/34.19	c cleaning 10000 clauses out of 20010 with flag 675001/675001
35.31/34.67	c cleaning 10001 clauses out of 20009 with flag 685000/685000
35.82/35.15	c cleaning 9998 clauses out of 20008 with flag 695000/695000
36.31/35.63	c cleaning 9996 clauses out of 20010 with flag 705000/705000
36.81/36.14	c cleaning 10000 clauses out of 20015 with flag 715001/715001
37.31/36.63	c cleaning 10005 clauses out of 20015 with flag 725001/725001
37.81/37.12	c cleaning 10001 clauses out of 20009 with flag 735000/735000
38.32/37.64	c cleaning 9997 clauses out of 20008 with flag 745000/745000
38.82/38.11	c cleaning 9999 clauses out of 20013 with flag 755002/755002
39.24/38.59	c cleaning 9999 clauses out of 20012 with flag 765000/765000
39.72/39.10	c cleaning 10002 clauses out of 20013 with flag 775000/775000
40.23/39.60	c cleaning 9999 clauses out of 20011 with flag 785000/785000
40.72/40.09	c cleaning 10001 clauses out of 20012 with flag 795000/795000
41.22/40.56	c cleaning 10001 clauses out of 20011 with flag 805000/805000
41.72/41.09	c cleaning 10002 clauses out of 20010 with flag 815000/815000
42.22/41.59	c cleaning 9998 clauses out of 20008 with flag 825000/825000
42.72/42.06	c cleaning 9998 clauses out of 20011 with flag 835001/835001
43.22/42.53	c cleaning 10002 clauses out of 20012 with flag 845000/845000
43.72/43.02	c cleaning 9996 clauses out of 20011 with flag 855001/855001
44.22/43.53	c cleaning 9997 clauses out of 20014 with flag 865000/865000
44.74/44.02	c cleaning 10006 clauses out of 20019 with flag 875002/875002
45.22/44.52	c cleaning 9996 clauses out of 20012 with flag 885001/885001
45.73/45.02	c cleaning 10005 clauses out of 20015 with flag 895000/895000
46.12/45.48	c cleaning 9995 clauses out of 20012 with flag 905002/905002
46.72/46.03	c cleaning 9999 clauses out of 20016 with flag 915001/915001
47.12/46.49	c cleaning 10006 clauses out of 20016 with flag 925000/925000
47.62/46.99	c cleaning 10002 clauses out of 20010 with flag 935000/935000
48.12/47.45	c cleaning 9994 clauses out of 20008 with flag 945000/945000
48.63/47.96	c cleaning 10002 clauses out of 20014 with flag 955000/955000
49.15/48.48	c cleaning 10005 clauses out of 20015 with flag 965003/965003
49.63/48.99	c cleaning 10001 clauses out of 20007 with flag 975000/975000
50.14/49.48	c cleaning 9998 clauses out of 20007 with flag 985001/985001
50.63/49.96	c cleaning 10002 clauses out of 20008 with flag 995000/995000
51.13/50.45	c cleaning 9999 clauses out of 20010 with flag 1005004/1005004
51.63/50.92	c cleaning 9998 clauses out of 20007 with flag 1015000/1015000
52.13/51.41	c cleaning 9998 clauses out of 20009 with flag 1025000/1025000
52.63/51.91	c cleaning 10001 clauses out of 20012 with flag 1035001/1035001
53.13/52.45	c cleaning 10000 clauses out of 20012 with flag 1045002/1045002
53.63/52.94	c cleaning 9999 clauses out of 20012 with flag 1055002/1055002
54.13/53.47	c cleaning 9997 clauses out of 20012 with flag 1065001/1065001
54.73/54.01	c cleaning 10001 clauses out of 20016 with flag 1075002/1075002
55.23/54.52	c cleaning 10000 clauses out of 20014 with flag 1085001/1085001
55.76/55.02	c cleaning 10004 clauses out of 20017 with flag 1095004/1095004
56.24/55.52	c cleaning 10003 clauses out of 20013 with flag 1105004/1105004
56.76/56.05	c cleaning 10000 clauses out of 20007 with flag 1115001/1115001
57.25/56.56	c cleaning 9997 clauses out of 20008 with flag 1125002/1125002
57.75/57.06	c cleaning 10001 clauses out of 20010 with flag 1135001/1135001
58.25/57.56	c cleaning 9995 clauses out of 20008 with flag 1145000/1145000
58.85/58.12	c cleaning 9994 clauses out of 20013 with flag 1155000/1155000
59.34/58.70	c cleaning 10005 clauses out of 20019 with flag 1165000/1165000
59.95/59.29	c cleaning 9998 clauses out of 20014 with flag 1175000/1175000
60.45/59.77	c cleaning 10001 clauses out of 20016 with flag 1185000/1185000
60.95/60.28	c cleaning 10000 clauses out of 20015 with flag 1195000/1195000
61.55/60.81	c cleaning 10003 clauses out of 20017 with flag 1205002/1205002
62.05/61.33	c cleaning 9998 clauses out of 20012 with flag 1215000/1215000
62.55/61.86	c cleaning 10006 clauses out of 20015 with flag 1225001/1225001
63.05/62.35	c cleaning 10001 clauses out of 20011 with flag 1235003/1235003
63.55/62.90	c cleaning 9999 clauses out of 20008 with flag 1245001/1245001
64.15/63.40	c cleaning 9997 clauses out of 20009 with flag 1255001/1255001
64.65/63.93	c cleaning 10001 clauses out of 20013 with flag 1265002/1265002
65.15/64.44	c cleaning 9997 clauses out of 20010 with flag 1275000/1275000
65.67/64.93	c cleaning 10001 clauses out of 20013 with flag 1285000/1285000
66.15/65.43	c cleaning 10002 clauses out of 20013 with flag 1295001/1295001
66.66/65.92	c cleaning 9998 clauses out of 20010 with flag 1305000/1305000
67.16/66.41	c cleaning 9998 clauses out of 20013 with flag 1315001/1315001
67.66/66.92	c cleaning 10005 clauses out of 20017 with flag 1325003/1325003
68.16/67.47	c cleaning 10000 clauses out of 20009 with flag 1335000/1335000
68.66/67.96	c cleaning 9999 clauses out of 20009 with flag 1345000/1345000
69.16/68.46	c cleaning 10003 clauses out of 20014 with flag 1355004/1355004
69.66/68.95	c cleaning 10001 clauses out of 20008 with flag 1365001/1365001
70.16/69.41	c cleaning 9994 clauses out of 20006 with flag 1375000/1375000
70.56/69.89	c cleaning 10001 clauses out of 20014 with flag 1385002/1385002
71.18/70.42	c cleaning 10001 clauses out of 20012 with flag 1395001/1395001
71.67/70.94	c cleaning 9999 clauses out of 20013 with flag 1405003/1405003
72.19/71.46	c cleaning 9997 clauses out of 20012 with flag 1415001/1415001
72.78/72.02	c cleaning 9997 clauses out of 20016 with flag 1425002/1425002
73.18/72.51	c cleaning 10002 clauses out of 20019 with flag 1435002/1435002
73.69/72.99	c cleaning 9996 clauses out of 20015 with flag 1445000/1445000
74.19/73.48	c cleaning 10005 clauses out of 20021 with flag 1455002/1455002
74.69/73.97	c cleaning 9998 clauses out of 20014 with flag 1465000/1465000
75.19/74.46	c cleaning 10003 clauses out of 20016 with flag 1475000/1475000
75.69/74.94	c cleaning 10003 clauses out of 20014 with flag 1485001/1485001
76.20/75.46	c cleaning 9999 clauses out of 20011 with flag 1495001/1495001
76.71/75.98	c cleaning 9999 clauses out of 20014 with flag 1505003/1505003
77.29/76.51	c cleaning 10003 clauses out of 20013 with flag 1515001/1515001
77.71/77.00	c cleaning 9998 clauses out of 20010 with flag 1525001/1525001
78.20/77.49	c cleaning 9998 clauses out of 20015 with flag 1535004/1535004
78.70/78.01	c cleaning 9996 clauses out of 20014 with flag 1545001/1545001
79.30/78.52	c cleaning 10003 clauses out of 20021 with flag 1555004/1555004
79.80/79.04	c cleaning 10003 clauses out of 20015 with flag 1565001/1565001
80.30/79.56	c cleaning 10001 clauses out of 20011 with flag 1575000/1575000
80.80/80.08	c cleaning 10001 clauses out of 20011 with flag 1585001/1585001
81.31/80.55	c cleaning 9999 clauses out of 20011 with flag 1595002/1595002
81.81/81.05	c cleaning 10001 clauses out of 20011 with flag 1605001/1605001
82.31/81.56	c cleaning 9999 clauses out of 20011 with flag 1615002/1615002
82.81/82.07	c cleaning 10000 clauses out of 20011 with flag 1625001/1625001
83.33/82.59	c cleaning 10002 clauses out of 20011 with flag 1635001/1635001
83.81/83.08	c cleaning 9993 clauses out of 20008 with flag 1645000/1645000
84.32/83.57	c cleaning 10005 clauses out of 20017 with flag 1655002/1655002
84.81/84.07	c cleaning 9998 clauses out of 20010 with flag 1665000/1665000
85.31/84.56	c cleaning 10004 clauses out of 20014 with flag 1675002/1675002
85.81/85.08	c cleaning 9998 clauses out of 20008 with flag 1685000/1685000
86.31/85.57	c cleaning 9999 clauses out of 20012 with flag 1695002/1695002
86.81/86.08	c cleaning 10001 clauses out of 20011 with flag 1705000/1705000
87.31/86.57	c cleaning 10002 clauses out of 20010 with flag 1715000/1715000
87.81/87.09	c cleaning 9996 clauses out of 20008 with flag 1725000/1725000
88.41/87.62	c cleaning 9999 clauses out of 20013 with flag 1735001/1735001
88.91/88.13	c cleaning 10000 clauses out of 20013 with flag 1745000/1745000
89.41/88.66	c cleaning 10000 clauses out of 20013 with flag 1755000/1755000
89.93/89.18	c cleaning 10001 clauses out of 20014 with flag 1765001/1765001
90.41/89.66	c cleaning 10000 clauses out of 20014 with flag 1775002/1775002
90.92/90.14	c cleaning 9998 clauses out of 20012 with flag 1785000/1785000
91.41/90.66	c cleaning 10003 clauses out of 20015 with flag 1795001/1795001
91.92/91.17	c cleaning 10000 clauses out of 20011 with flag 1805000/1805000
92.42/91.68	c cleaning 10000 clauses out of 20012 with flag 1815001/1815001
93.02/92.23	c cleaning 10002 clauses out of 20013 with flag 1825002/1825002
93.53/92.72	c cleaning 10002 clauses out of 20010 with flag 1835001/1835001
94.03/93.22	c cleaning 9999 clauses out of 20008 with flag 1845001/1845001
94.53/93.73	c cleaning 9997 clauses out of 20008 with flag 1855000/1855000
95.03/94.22	c cleaning 10003 clauses out of 20013 with flag 1865002/1865002
95.53/94.73	c cleaning 9995 clauses out of 20008 with flag 1875000/1875000
96.03/95.25	c cleaning 10003 clauses out of 20013 with flag 1885000/1885000
96.55/95.77	c cleaning 10002 clauses out of 20010 with flag 1895000/1895000
97.03/96.30	c cleaning 10002 clauses out of 20009 with flag 1905001/1905001
97.65/96.82	c cleaning 10001 clauses out of 20010 with flag 1915004/1915004
98.13/97.31	c cleaning 10000 clauses out of 20007 with flag 1925002/1925002
98.64/97.82	c cleaning 9991 clauses out of 20005 with flag 1935000/1935000
99.13/98.34	c cleaning 10005 clauses out of 20017 with flag 1945003/1945003
99.64/98.82	c cleaning 10002 clauses out of 20011 with flag 1955002/1955002
100.13/99.33	c cleaning 9996 clauses out of 20008 with flag 1965001/1965001
100.64/99.84	c cleaning 10000 clauses out of 20012 with flag 1975001/1975001
101.14/100.31	c cleaning 10001 clauses out of 20012 with flag 1985001/1985001
101.64/100.82	c cleaning 9996 clauses out of 20011 with flag 1995001/1995001
102.14/101.34	c cleaning 10004 clauses out of 20015 with flag 2005001/2005001
102.64/101.84	c cleaning 10000 clauses out of 20012 with flag 2015002/2015002
103.16/102.37	c cleaning 10001 clauses out of 20013 with flag 2025003/2025003
103.64/102.87	c cleaning 9999 clauses out of 20010 with flag 2035001/2035001
104.15/103.35	c cleaning 10000 clauses out of 20011 with flag 2045001/2045001
104.64/103.81	c cleaning 10001 clauses out of 20010 with flag 2055000/2055000
105.04/104.29	c cleaning 10000 clauses out of 20010 with flag 2065001/2065001
105.64/104.81	c cleaning 9995 clauses out of 20010 with flag 2075001/2075001
106.14/105.30	c cleaning 10003 clauses out of 20016 with flag 2085002/2085002
106.64/105.83	c cleaning 10001 clauses out of 20011 with flag 2095000/2095000
107.15/106.36	c cleaning 9998 clauses out of 20011 with flag 2105001/2105001
107.75/106.92	c cleaning 9999 clauses out of 20012 with flag 2115000/2115000
108.25/107.42	c cleaning 10000 clauses out of 20013 with flag 2125000/2125000
108.75/107.92	c cleaning 10000 clauses out of 20014 with flag 2135001/2135001
109.25/108.41	c cleaning 9998 clauses out of 20015 with flag 2145002/2145002
109.66/108.90	c cleaning 10006 clauses out of 20017 with flag 2155002/2155002
110.26/109.40	c cleaning 9998 clauses out of 20011 with flag 2165002/2165002
110.66/109.89	c cleaning 9999 clauses out of 20012 with flag 2175001/2175001
111.26/110.41	c cleaning 10002 clauses out of 20016 with flag 2185004/2185004
111.76/110.94	c cleaning 9998 clauses out of 20011 with flag 2195001/2195001
112.26/111.45	c cleaning 10003 clauses out of 20013 with flag 2205001/2205001
112.76/111.95	c cleaning 9997 clauses out of 20010 with flag 2215001/2215001
113.27/112.46	c cleaning 10000 clauses out of 20012 with flag 2225000/2225000
113.77/112.97	c cleaning 10002 clauses out of 20014 with flag 2235002/2235002
114.37/113.52	c cleaning 9984 clauses out of 20010 with flag 2245000/2245000
114.87/114.00	c cleaning 10006 clauses out of 20026 with flag 2255000/2255000
115.37/114.53	c cleaning 9999 clauses out of 20020 with flag 2265000/2265000
115.87/115.07	c cleaning 10000 clauses out of 20021 with flag 2275000/2275000
116.48/115.60	c cleaning 10006 clauses out of 20022 with flag 2285001/2285001
116.98/116.14	c cleaning 10002 clauses out of 20015 with flag 2295000/2295000
117.50/116.64	c cleaning 10002 clauses out of 20015 with flag 2305002/2305002
117.98/117.13	c cleaning 10001 clauses out of 20011 with flag 2315000/2315000
118.49/117.67	c cleaning 9999 clauses out of 20010 with flag 2325000/2325000
118.98/118.17	c cleaning 9999 clauses out of 20011 with flag 2335000/2335000
119.48/118.67	c cleaning 9999 clauses out of 20012 with flag 2345000/2345000
119.98/119.15	c cleaning 10000 clauses out of 20014 with flag 2355001/2355001
120.48/119.63	c cleaning 10001 clauses out of 20013 with flag 2365000/2365000
120.99/120.14	c cleaning 10002 clauses out of 20013 with flag 2375001/2375001
121.49/120.65	c cleaning 9998 clauses out of 20012 with flag 2385002/2385002
121.99/121.14	c cleaning 10000 clauses out of 20013 with flag 2395001/2395001
122.49/121.66	c cleaning 9997 clauses out of 20012 with flag 2405000/2405000
123.01/122.16	c cleaning 9999 clauses out of 20016 with flag 2415001/2415001
123.59/122.71	c cleaning 10004 clauses out of 20016 with flag 2425000/2425000
124.11/123.24	c cleaning 10000 clauses out of 20012 with flag 2435000/2435000
124.59/123.76	c cleaning 10003 clauses out of 20014 with flag 2445002/2445002
125.11/124.27	c cleaning 10001 clauses out of 20009 with flag 2455000/2455000
125.60/124.76	c cleaning 9998 clauses out of 20009 with flag 2465001/2465001
126.10/125.27	c cleaning 9997 clauses out of 20014 with flag 2475004/2475004
126.60/125.79	c cleaning 10003 clauses out of 20013 with flag 2485000/2485000
127.10/126.29	c cleaning 10001 clauses out of 20010 with flag 2495000/2495000
127.60/126.80	c cleaning 9995 clauses out of 20009 with flag 2505000/2505000
128.20/127.31	c cleaning 9998 clauses out of 20014 with flag 2515000/2515000
128.71/127.83	c cleaning 9996 clauses out of 20016 with flag 2525000/2525000
129.21/128.34	c cleaning 9997 clauses out of 20020 with flag 2535000/2535000
129.71/128.87	c cleaning 10008 clauses out of 20025 with flag 2545002/2545002
130.21/129.35	c cleaning 10001 clauses out of 20015 with flag 2555000/2555000
130.73/129.90	c cleaning 10003 clauses out of 20015 with flag 2565001/2565001
131.31/130.45	c cleaning 10000 clauses out of 20012 with flag 2575001/2575001
131.91/131.00	c cleaning 10003 clauses out of 20011 with flag 2585000/2585000
132.42/131.52	c cleaning 10001 clauses out of 20010 with flag 2595002/2595002
132.83/132.01	c cleaning 10000 clauses out of 20010 with flag 2605003/2605003
133.42/132.56	c cleaning 9987 clauses out of 20008 with flag 2615001/2615001
134.04/133.14	c cleaning 10004 clauses out of 20020 with flag 2625000/2625000
134.67/133.72	c cleaning 10005 clauses out of 20018 with flag 2635002/2635002
135.44/134.26	c cleaning 10000 clauses out of 20014 with flag 2645003/2645003
136.38/134.82	c cleaning 10001 clauses out of 20012 with flag 2655001/2655001
136.90/135.38	c cleaning 10001 clauses out of 20012 with flag 2665002/2665002
137.38/135.88	c cleaning 10000 clauses out of 20009 with flag 2675000/2675000
138.00/136.43	c cleaning 9994 clauses out of 20009 with flag 2685000/2685000
138.58/137.01	c cleaning 10002 clauses out of 20017 with flag 2695002/2695002
139.00/137.51	c cleaning 10002 clauses out of 20014 with flag 2705001/2705001
139.58/138.02	c cleaning 9994 clauses out of 20011 with flag 2715000/2715000
140.11/138.56	c cleaning 10004 clauses out of 20018 with flag 2725001/2725001
140.60/139.07	c cleaning 10001 clauses out of 20013 with flag 2735000/2735000
141.10/139.58	c cleaning 10004 clauses out of 20014 with flag 2745002/2745002
141.60/140.08	c cleaning 9998 clauses out of 20008 with flag 2755000/2755000
142.20/140.62	c cleaning 9999 clauses out of 20010 with flag 2765000/2765000
142.70/141.16	c cleaning 10003 clauses out of 20012 with flag 2775001/2775001
143.20/141.68	c cleaning 10001 clauses out of 20011 with flag 2785003/2785003
143.70/142.18	c cleaning 9998 clauses out of 20007 with flag 2795000/2795000
144.30/142.71	c cleaning 10000 clauses out of 20010 with flag 2805001/2805001
144.81/143.22	c cleaning 9997 clauses out of 20009 with flag 2815000/2815000
145.31/143.71	c cleaning 10003 clauses out of 20014 with flag 2825002/2825002
145.81/144.21	c cleaning 9998 clauses out of 20009 with flag 2835000/2835000
146.31/144.73	c cleaning 10000 clauses out of 20011 with flag 2845000/2845000
146.83/145.23	c cleaning 10003 clauses out of 20014 with flag 2855003/2855003
147.31/145.73	c cleaning 9998 clauses out of 20008 with flag 2865000/2865000
147.83/146.24	c cleaning 9999 clauses out of 20010 with flag 2875000/2875000
148.32/146.76	c cleaning 10001 clauses out of 20011 with flag 2885000/2885000
148.83/147.27	c cleaning 9999 clauses out of 20010 with flag 2895000/2895000
149.33/147.75	c cleaning 10003 clauses out of 20016 with flag 2905005/2905005
149.84/148.25	c cleaning 9995 clauses out of 20008 with flag 2915000/2915000
150.34/148.76	c cleaning 10002 clauses out of 20014 with flag 2925001/2925001
150.84/149.28	c cleaning 10001 clauses out of 20011 with flag 2935000/2935000
151.44/149.86	c cleaning 9991 clauses out of 20012 with flag 2945002/2945002
152.04/150.41	c cleaning 10004 clauses out of 20019 with flag 2955000/2955000
152.54/150.94	c cleaning 10001 clauses out of 20015 with flag 2965000/2965000
153.14/151.50	c cleaning 10002 clauses out of 20016 with flag 2975002/2975002
153.64/152.03	c cleaning 9996 clauses out of 20012 with flag 2985000/2985000
154.14/152.54	c cleaning 9998 clauses out of 20017 with flag 2995001/2995001
154.74/153.10	c cleaning 9993 clauses out of 20018 with flag 3005000/3005000
155.24/153.65	c cleaning 10007 clauses out of 20025 with flag 3015000/3015000
155.74/154.11	c cleaning 9999 clauses out of 20018 with flag 3025000/3025000
156.14/154.59	c cleaning 10002 clauses out of 20019 with flag 3035000/3035000
156.65/155.10	c cleaning 10006 clauses out of 20017 with flag 3045000/3045000
157.14/155.57	c cleaning 10002 clauses out of 20013 with flag 3055002/3055002
157.64/156.08	c cleaning 9998 clauses out of 20009 with flag 3065000/3065000
158.15/156.56	c cleaning 10002 clauses out of 20012 with flag 3075001/3075001
158.65/157.07	c cleaning 10000 clauses out of 20009 with flag 3085000/3085000
159.15/157.57	c cleaning 10001 clauses out of 20013 with flag 3095004/3095004
159.65/158.07	c cleaning 9996 clauses out of 20009 with flag 3105001/3105001
160.15/158.58	c cleaning 10000 clauses out of 20014 with flag 3115002/3115002
160.65/159.06	c cleaning 10000 clauses out of 20012 with flag 3125000/3125000
161.17/159.53	c cleaning 10004 clauses out of 20013 with flag 3135001/3135001
161.55/159.99	c cleaning 9996 clauses out of 20009 with flag 3145001/3145001
162.05/160.46	c cleaning 9999 clauses out of 20016 with flag 3155004/3155004
162.55/160.96	c cleaning 9998 clauses out of 20014 with flag 3165001/3165001
163.05/161.46	c cleaning 10000 clauses out of 20015 with flag 3175000/3175000
163.55/161.93	c cleaning 10004 clauses out of 20015 with flag 3185000/3185000
164.06/162.43	c cleaning 10001 clauses out of 20012 with flag 3195001/3195001
164.56/162.92	c cleaning 9999 clauses out of 20012 with flag 3205002/3205002
164.96/163.39	c cleaning 9997 clauses out of 20011 with flag 3215000/3215000
165.48/163.87	c cleaning 9999 clauses out of 20015 with flag 3225001/3225001
165.97/164.36	c cleaning 10000 clauses out of 20016 with flag 3235001/3235001
166.47/164.86	c cleaning 10002 clauses out of 20015 with flag 3245000/3245000
166.97/165.34	c cleaning 10002 clauses out of 20014 with flag 3255001/3255001
167.48/165.84	c cleaning 9999 clauses out of 20012 with flag 3265001/3265001
167.98/166.31	c cleaning 10003 clauses out of 20012 with flag 3275000/3275000
168.38/166.74	c cleaning 10004 clauses out of 20013 with flag 3285004/3285004
168.90/167.23	c cleaning 9996 clauses out of 20005 with flag 3295000/3295000
169.38/167.71	c cleaning 10001 clauses out of 20011 with flag 3305002/3305002
169.79/168.20	c cleaning 9995 clauses out of 20009 with flag 3315001/3315001
170.29/168.65	c cleaning 10005 clauses out of 20013 with flag 3325000/3325000
170.79/169.13	c cleaning 10001 clauses out of 20009 with flag 3335001/3335001
171.29/169.63	c cleaning 9996 clauses out of 20009 with flag 3345002/3345002
171.69/170.08	c cleaning 9999 clauses out of 20011 with flag 3355000/3355000
172.29/170.60	c cleaning 9993 clauses out of 20012 with flag 3365000/3365000
172.79/171.12	c cleaning 10002 clauses out of 20020 with flag 3375001/3375001
173.20/171.60	c cleaning 10003 clauses out of 20019 with flag 3385002/3385002
173.70/172.09	c cleaning 10003 clauses out of 20015 with flag 3395001/3395001
174.20/172.57	c cleaning 10004 clauses out of 20015 with flag 3405004/3405004
174.70/173.06	c cleaning 9995 clauses out of 20011 with flag 3415004/3415004
175.20/173.57	c cleaning 9998 clauses out of 20012 with flag 3425000/3425000
175.70/174.06	c cleaning 10001 clauses out of 20015 with flag 3435001/3435001
176.20/174.57	c cleaning 10003 clauses out of 20014 with flag 3445001/3445001
176.70/175.08	c cleaning 9999 clauses out of 20010 with flag 3455000/3455000
177.20/175.60	c cleaning 9997 clauses out of 20012 with flag 3465001/3465001
177.80/176.11	c cleaning 10002 clauses out of 20015 with flag 3475001/3475001
178.30/176.63	c cleaning 9998 clauses out of 20012 with flag 3485000/3485000
178.90/177.20	c cleaning 10003 clauses out of 20015 with flag 3495001/3495001
179.40/177.72	c cleaning 10001 clauses out of 20012 with flag 3505001/3505001
179.92/178.30	c cleaning 9999 clauses out of 20010 with flag 3515000/3515000
180.51/178.81	c cleaning 9997 clauses out of 20011 with flag 3525000/3525000
180.92/179.30	c cleaning 10000 clauses out of 20014 with flag 3535000/3535000
181.51/179.82	c cleaning 10003 clauses out of 20015 with flag 3545001/3545001
182.02/180.34	c cleaning 9993 clauses out of 20011 with flag 3555000/3555000
182.51/180.84	c cleaning 10004 clauses out of 20018 with flag 3565000/3565000
183.01/181.38	c cleaning 10001 clauses out of 20014 with flag 3575000/3575000
183.61/181.98	c cleaning 9989 clauses out of 20013 with flag 3585000/3585000
184.22/182.53	c cleaning 10008 clauses out of 20024 with flag 3595000/3595000
184.72/183.07	c cleaning 10000 clauses out of 20016 with flag 3605000/3605000
185.22/183.61	c cleaning 10001 clauses out of 20016 with flag 3615000/3615000
185.81/184.14	c cleaning 10002 clauses out of 20017 with flag 3625002/3625002
186.31/184.65	c cleaning 9997 clauses out of 20013 with flag 3635000/3635000
186.81/185.18	c cleaning 9997 clauses out of 20016 with flag 3645000/3645000
187.31/185.69	c cleaning 10000 clauses out of 20020 with flag 3655001/3655001
187.92/186.20	c cleaning 10008 clauses out of 20020 with flag 3665001/3665001
188.32/186.70	c cleaning 10002 clauses out of 20011 with flag 3675000/3675000
188.82/187.19	c cleaning 9985 clauses out of 20009 with flag 3685000/3685000
189.42/187.72	c cleaning 10006 clauses out of 20024 with flag 3695000/3695000
189.92/188.24	c cleaning 9995 clauses out of 20018 with flag 3705000/3705000
190.42/188.72	c cleaning 9998 clauses out of 20023 with flag 3715000/3715000
190.95/189.24	c cleaning 10009 clauses out of 20025 with flag 3725000/3725000
191.43/189.73	c cleaning 10003 clauses out of 20017 with flag 3735001/3735001
191.83/190.18	c cleaning 10003 clauses out of 20017 with flag 3745004/3745004
192.33/190.67	c cleaning 9999 clauses out of 20010 with flag 3755000/3755000
192.83/191.12	c cleaning 9997 clauses out of 20011 with flag 3765000/3765000
193.33/191.60	c cleaning 10005 clauses out of 20015 with flag 3775001/3775001
193.83/192.11	c cleaning 9995 clauses out of 20010 with flag 3785001/3785001
194.33/192.63	c cleaning 9997 clauses out of 20016 with flag 3795002/3795002
194.83/193.12	c cleaning 10002 clauses out of 20017 with flag 3805000/3805000
195.35/193.62	c cleaning 10002 clauses out of 20015 with flag 3815000/3815000
195.84/194.10	c cleaning 10003 clauses out of 20014 with flag 3825001/3825001
196.24/194.60	c cleaning 9999 clauses out of 20010 with flag 3835000/3835000
196.86/195.12	c cleaning 10000 clauses out of 20015 with flag 3845004/3845004
197.36/195.69	c cleaning 9995 clauses out of 20011 with flag 3855000/3855000
197.96/196.20	c cleaning 9998 clauses out of 20016 with flag 3865000/3865000
198.46/196.72	c cleaning 10003 clauses out of 20018 with flag 3875000/3875000
198.96/197.21	c cleaning 10002 clauses out of 20015 with flag 3885000/3885000
199.36/197.69	c cleaning 10003 clauses out of 20013 with flag 3895000/3895000
199.96/198.21	c cleaning 9993 clauses out of 20013 with flag 3905003/3905003
200.46/198.76	c cleaning 10004 clauses out of 20017 with flag 3915000/3915000
201.06/199.30	c cleaning 10002 clauses out of 20016 with flag 3925003/3925003
201.56/199.88	c cleaning 10005 clauses out of 20015 with flag 3935004/3935004
202.06/200.36	c cleaning 9992 clauses out of 20006 with flag 3945000/3945000
202.56/200.86	c cleaning 10001 clauses out of 20014 with flag 3955000/3955000
203.17/201.43	c cleaning 9998 clauses out of 20013 with flag 3965000/3965000
203.67/201.92	c cleaning 10003 clauses out of 20017 with flag 3975002/3975002
204.20/202.45	c cleaning 9997 clauses out of 20013 with flag 3985001/3985001
204.68/202.99	c cleaning 10005 clauses out of 20016 with flag 3995001/3995001
205.30/203.52	c cleaning 10001 clauses out of 20012 with flag 4005002/4005002
205.68/203.99	c cleaning 9992 clauses out of 20009 with flag 4015000/4015000
206.18/204.50	c cleaning 10002 clauses out of 20018 with flag 4025001/4025001
206.78/205.03	c cleaning 9999 clauses out of 20015 with flag 4035000/4035000
207.28/205.55	c cleaning 10000 clauses out of 20017 with flag 4045001/4045001
207.78/206.06	c cleaning 9999 clauses out of 20016 with flag 4055000/4055000
208.29/206.57	c cleaning 10008 clauses out of 20019 with flag 4065002/4065002
208.90/207.19	c cleaning 10001 clauses out of 20008 with flag 4075000/4075000
209.51/207.78	c cleaning 9999 clauses out of 20011 with flag 4085004/4085004
210.12/208.33	c cleaning 9995 clauses out of 20008 with flag 4095000/4095000
210.62/208.89	c cleaning 10000 clauses out of 20013 with flag 4105000/4105000
211.22/209.47	c cleaning 9996 clauses out of 20016 with flag 4115003/4115003
211.72/210.01	c cleaning 10002 clauses out of 20017 with flag 4125000/4125000
212.42/210.62	c cleaning 10000 clauses out of 20016 with flag 4135001/4135001
212.93/211.21	c cleaning 10004 clauses out of 20016 with flag 4145001/4145001
213.52/211.79	c cleaning 10004 clauses out of 20013 with flag 4155002/4155002
214.14/212.36	c cleaning 9996 clauses out of 20008 with flag 4165001/4165001
214.32/212.56	c starts		: 253
214.32/212.56	c conflicts		: 4168843
214.32/212.56	c decisions		: 6099495
214.32/212.56	c propagations		: 204444570
214.32/212.56	c inspects		: 2128180245
214.32/212.56	c shortcuts		: 0
214.32/212.56	c learnt literals	: 6
214.32/212.56	c learnt binary clauses	: 36
214.32/212.56	c learnt ternary clauses	: 674
214.32/212.56	c learnt constraints	: 4168836
214.32/212.56	c ignored constraints	: 0
214.32/212.56	c root simplifications	: 0
214.32/212.56	c removed literals (reason simplification)	: 21103101
214.32/212.56	c reason swapping (by a shorter reason)	: 0
214.32/212.56	c Calls to reduceDB	: 418
214.32/212.56	c number of reductions to clauses (during analyze)	: 0
214.32/212.56	c number of learned constraints concerned by reduction	: 0
214.32/212.56	c number of learning phase by resolution	: 0
214.32/212.56	c number of learning phase by cutting planes	: 0
214.32/212.56	c speed (assignments/second)	: 963166.3078350914
214.32/212.56	c non guided choices	169
214.32/212.57	c learnt constraints type 
214.32/212.57	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 36
214.32/212.57	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 13812
214.32/212.57	c constraints type 
214.32/212.57	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2442
214.32/212.57	c org.sat4j.minisat.constraints.card.MinWatchCard => 22
214.32/212.57	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 242
214.32/212.57	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1
214.32/212.57	s UNSATISFIABLE
214.32/212.57	c Total wall clock time (in seconds): 212.462

Verifier Data 

ERROR: no interpretation found !

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-3459269-1307135629/watcher-3459269-1307135629 -o /tmp/evaluation-result-3459269-1307135629/solver-3459269-1307135629 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3459269-1307135629.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.04 2.06 2.17 3/535 10987
/proc/meminfo: memFree=21229164/32950928 swapFree=34259960/67111528
[pid=10987] ppid=10985 vsize=13508980 CPUtime=0 cores=1,3,5,7
/proc/10987/stat : 10987 (java) S 10985 10987 7151 0 -1 4202496 3414 0 1 0 0 0 0 0 25 0 2 0 825159630 13833195520 3117 33554432000 1073741824 1073778376 140735275574592 18446744073709551615 254512494565 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/10987/statm: 3377245 3129 906 9 0 3368401 0
[pid=10987/tid=10988] ppid=10985 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/10987/task/10988/stat : 10988 (java) R 10985 10987 7151 0 -1 4202560 7799 0 1 0 0 0 0 0 25 0 2 0 825159630 13850947584 8615 33554432000 1073741824 1073778376 140735275574592 18446744073709551615 254500385851 0 4 0 16784584 0 0 0 -1 1 0 0 0

[startup+0.0934931 s]
/proc/loadavg: 2.04 2.06 2.17 3/535 10987
/proc/meminfo: memFree=21229164/32950928 swapFree=34259960/67111528
[pid=10987] ppid=10985 vsize=13621660 CPUtime=0.09 cores=1,3,5,7
/proc/10987/stat : 10987 (java) S 10985 10987 7151 0 -1 4202496 15251 0 1 0 8 1 0 0 25 0 18 0 825159630 13948579840 14948 33554432000 1073741824 1073778376 140735275574592 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/10987/statm: 3405415 14948 2088 9 0 3396149 0
[pid=10987/tid=10988] ppid=10985 vsize=13621660 CPUtime=0.08 cores=1,3,5,7
/proc/10987/task/10988/stat : 10988 (java) R 10985 10987 7151 0 -1 4202560 13518 0 1 0 7 1 0 0 18 0 18 0 825159630 13948579840 14949 33554432000 1073741824 1073778376 140735275574592 18446744073709551615 47171270138707 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13621660

[startup+0.101018 s]
/proc/loadavg: 2.04 2.06 2.17 3/535 10987
/proc/meminfo: memFree=21229164/32950928 swapFree=34259960/67111528
[pid=10987] ppid=10985 vsize=13621660 CPUtime=0.1 cores=1,3,5,7
/proc/10987/stat : 10987 (java) S 10985 10987 7151 0 -1 4202496 15411 0 1 0 9 1 0 0 25 0 18 0 825159630 13948579840 15108 33554432000 1073741824 1073778376 140735275574592 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/10987/statm: 3405415 15108 2092 9 0 3396149 0
[pid=10987/tid=10988] ppid=10985 vsize=13621660 CPUtime=0.09 cores=1,3,5,7
/proc/10987/task/10988/stat : 10988 (java) R 10985 10987 7151 0 -1 4202560 13638 0 1 0 8 1 0 0 18 0 18 0 825159630 13948579840 15109 33554432000 1073741824 1073778376 140735275574592 18446744073709551615 47171270138707 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13621660

[startup+0.300982 s]
/proc/loadavg: 2.04 2.06 2.17 3/535 10987
/proc/meminfo: memFree=21229164/32950928 swapFree=34259960/67111528
[pid=10987] ppid=10985 vsize=13624600 CPUtime=0.47 cores=1,3,5,7
/proc/10987/stat : 10987 (java) S 10985 10987 7151 0 -1 4202496 18101 0 1 0 45 2 0 0 25 0 18 0 825159630 13951590400 17716 33554432000 1073741824 1073778376 140735275574592 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/10987/statm: 3406150 17718 2200 9 0 3396884 0
[pid=10987/tid=10988] ppid=10985 vsize=13624600 CPUtime=0.28 cores=1,3,5,7
/proc/10987/task/10988/stat : 10988 (java) R 10985 10987 7151 0 -1 4202560 15387 0 1 0 27 1 0 0 18 0 18 0 825159630 13951590400 17718 33554432000 1073741824 1073778376 140735275574592 18446744073709551615 47171265643267 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 13624600

[startup+0.700974 s]
/proc/loadavg: 2.04 2.06 2.17 3/535 10987
/proc/meminfo: memFree=21229164/32950928 swapFree=34259960/67111528
[pid=10987] ppid=10985 vsize=13627064 CPUtime=1.2 cores=1,3,5,7
/proc/10987/stat : 10987 (java) S 10985 10987 7151 0 -1 4202496 20423 0 1 0 118 2 0 0 25 0 19 0 825159630 13954113536 19081 33554432000 1073741824 1073778376 140735275574592 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/10987/statm: 3406766 19081 2251 9 0 3397500 0
[pid=10987/tid=10988] ppid=10985 vsize=13627064 CPUtime=0.67 cores=1,3,5,7
/proc/10987/task/10988/stat : 10988 (java) R 10985 10987 7151 0 -1 4202560 15733 0 1 0 66 1 0 0 19 0 19 0 825159630 13954113536 19081 33554432000 1073741824 1073778376 140735275574592 18446744073709551615 46912505668828 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.2
Current children cumulated vsize (KiB) 13627064

[startup+1.50082 s]
/proc/loadavg: 2.04 2.06 2.17 3/554 11006
/proc/meminfo: memFree=21155456/32950928 swapFree=34259960/67111528
[pid=10987] ppid=10985 vsize=13627064 CPUtime=2.03 cores=1,3,5,7
/proc/10987/stat : 10987 (java) S 10985 10987 7151 0 -1 4202496 20927 0 1 0 201 2 0 0 25 0 19 0 825159630 13954113536 19567 33554432000 1073741824 1073778376 140735275574592 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/10987/statm: 3406766 19567 2251 9 0 3397500 0
[pid=10987/tid=10988] ppid=10985 vsize=13627064 CPUtime=1.44 cores=1,3,5,7
/proc/10987/task/10988/stat : 10988 (java) R 10985 10987 7151 0 -1 4202560 15736 0 1 0 143 1 0 0 20 0 19 0 825159630 13954113536 19567 33554432000 1073741824 1073778376 140735275574592 18446744073709551615 46912505329163 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=10987/tid=10990] ppid=10985 vsize=13627064 CPUtime=0 cores=1,3,5,7
/proc/10987/task/10990/stat : 10990 (java) S 10985 10987 7151 0 -1 4202560 88 0 0 0 0 0 0 0 15 0 19 0 825159632 13954113536 19567 33554432000 1073741824 1073778376 140735275574592 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 7 0 0 0
[pid=10987/tid=10991] ppid=10985 vsize=13627064 CPUtime=0 cores=1,3,5,7
/proc/10987/task/10991/stat : 10991 (java) S 10985 10987 7151 0 -1 4202560 15 0 0 0 0 0 0 0 15 0 19 0 825159632 13954113536 19567 33554432000 1073741824 1073778376 140735275574592 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 7 0 0 0
[pid=10987/tid=10992] ppid=10985 vsize=13627064 CPUtime=0 cores=1,3,5,7
/proc/10987/task/10992/stat : 10992 (java) S 10985 10987 7151 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825159632 13954113536 19567 33554432000 1073741824 1073778376 140735275574592 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 7 0 0 0
[pid=10987/tid=10993] ppid=10985 vsize=13627064 CPUtime=0 cores=1,3,5,7
/proc/10987/task/10993/stat : 10993 (java) S 10985 10987 7151 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825159632 13954113536 19567 33554432000 1073741824 1073778376 140735275574592 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 7 0 0 0
[pid=10987/tid=10994] ppid=10985 vsize=13627064 CPUtime=0 cores=1,3,5,7
/proc/10987/task/10994/stat : 10994 (java) S 10985 10987 7151 0 -1 4202560 14 0 0 0 0 0 0 0 15 0 19 0 825159632 13954113536 19567 33554432000 1073741824 1073778376 140735275574592 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 7 0 0 0
[pid=10987/tid=10995] ppid=10985 vsize=13627064 CPUtime=0 cores=1,3,5,7
/proc/10987/task/10995/stat : 10995 (java) S 10985 10987 7151 0 -1 4202560 130 0 0 0 0 0 0 0 15 0 19 0 825159632 13954113536 19567 33554432000 1073741824 1073778376 140735275574592 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 3 0 0 0
[pid=10987/tid=10996] ppid=10985 vsize=13627064 CPUtime=0 cores=1,3,5,7
/proc/10987/task/10996/stat : 10996 (java) S 10985 10987 7151 0 -1 4202560 180 0 0 0 0 0 0 0 15 0 19 0 825159632 13954113536 19567 33554432000 1073741824 1073778376 140735275574592 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 7 0 0 0
[pid=10987/tid=10997] ppid=10985 vsize=13627064 CPUtime=0 cores=1,3,5,7
/proc/10987/task/10997/stat : 10997 (java) S 10985 10987 7151 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 825159632 13954113536 19567 33554432000 1073741824 1073778376 140735275574592 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 1 0 0 0
[pid=10987/tid=10998] ppid=10985 vsize=13627064 CPUtime=0.03 cores=1,3,5,7
/proc/10987/task/10998/stat : 10998 (java) S 10985 10987 7151 0 -1 4202560 455 0 0 0 3 0 0 0 16 0 19 0 825159633 13954113536 19567 33554432000 1073741824 1073778376 140735275574592 18446744073709551615 254512508416 0 0 0 16800975 18446604469807461312 0 0 -1 1 0 0 0
[pid=10987/tid=10999] ppid=10985 vsize=13627064 CPUtime=0 cores=1,3,5,7
/proc/10987/task/10999/stat : 10999 (java) S 10985 10987 7151 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 825159634 13954113536 19567 33554432000 1073741824 1073778376 140735275574592 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 5 0 0 0
[pid=10987/tid=11000] ppid=10985 vsize=13627064 CPUtime=0 cores=1,3,5,7
/proc/10987/task/11000/stat : 11000 (java) S 10985 10987 7151 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 825159634 13954113536 19567 33554432000 1073741824 1073778376 140735275574592 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 5 0 0 0
[pid=10987/tid=11001] ppid=10985 vsize=13627064 CPUtime=0 cores=1,3,5,7
/proc/10987/task/11001/stat : 11001 (java) S 10985 10987 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825159636 13954113536 19567 33554432000 1073741824 1073778376 140735275574592 18446744073709551615 254512515505 0 4 0 16800975 18446604469807461312 0 0 -1 1 0 0 0
[pid=10987/tid=11002] ppid=10985 vsize=13627064 CPUtime=0.26 cores=1,3,5,7
/proc/10987/task/11002/stat : 11002 (java) S 10985 10987 7151 0 -1 4202560 1568 0 0 0 26 0 0 0 18 0 19 0 825159636 13954113536 19567 33554432000 1073741824 1073778376 140735275574592 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 3 0 0 0
[pid=10987/tid=11003] ppid=10985 vsize=13627064 CPUtime=0.27 cores=1,3,5,7
/proc/10987/task/11003/stat : 11003 (java) S 10985 10987 7151 0 -1 4202560 1483 0 0 0 27 0 0 0 15 0 19 0 825159636 13954113536 19567 33554432000 1073741824 1073778376 140735275574592 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 7 0 0 0
[pid=10987/tid=11004] ppid=10985 vsize=13627064 CPUtime=0 cores=1,3,5,7
/proc/10987/task/11004/stat : 11004 (java) S 10985 10987 7151 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 825159636 13954113536 19567 33554432000 1073741824 1073778376 140735275574592 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 1 0 0 0
[pid=10987/tid=11005] ppid=10985 vsize=13627064 CPUtime=0 cores=1,3,5,7
/proc/10987/task/11005/stat : 11005 (java) S 10985 10987 7151 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825159636 13954113536 19567 33554432000 1073741824 1073778376 140735275574592 18446744073709551615 254512508416 0 4 0 16800975 18446604469807461312 0 0 -1 7 0 0 0
[pid=10987/tid=11006] ppid=10985 vsize=13627064 CPUtime=0 cores=1,3,5,7
/proc/10987/task/11006/stat : 11006 (java) S 10985 10987 7151 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 825159660 13954113536 19567 33554432000 1073741824 1073778376 140735275574592 18446744073709551615 254512508416 0 4 0 16800975 18446604469807461312 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.03
Current children cumulated vsize (KiB) 13627064

[startup+3.1015 s]
/proc/loadavg: 2.20 2.09 2.18 3/554 11006
/proc/meminfo: memFree=21152736/32950928 swapFree=34259960/67111528
[pid=10987] ppid=10985 vsize=13627064 CPUtime=3.67 cores=1,3,5,7
/proc/10987/stat : 10987 (java) S 10985 10987 7151 0 -1 4202496 21665 0 1 0 365 2 0 0 25 0 19 0 825159630 13954113536 19927 33554432000 1073741824 1073778376 140735275574592 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/10987/statm: 3406766 19927 2252 9 0 3397500 0
[pid=10987/tid=10988] ppid=10985 vsize=13627064 CPUtime=2.99 cores=1,3,5,7
/proc/10987/task/10988/stat : 10988 (java) R 10985 10987 7151 0 -1 4202560 15739 0 1 0 298 1 0 0 24 0 19 0 825159630 13954113536 19927 33554432000 1073741824 1073778376 140735275574592 18446744073709551615 46912505637857 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=10987/tid=10990] ppid=10985 vsize=13627064 CPUtime=0 cores=1,3,5,7
/proc/10987/task/10990/stat : 10990 (java) S 10985 10987 7151 0 -1 4202560 88 0 0 0 0 0 0 0 15 0 19 0 825159632 13954113536 19927 33554432000 1073741824 1073778376 140735275574592 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 3 0 0 0
[pid=10987/tid=10991] ppid=10985 vsize=13627064 CPUtime=0 cores=1,3,5,7
/proc/10987/task/10991/stat : 10991 (java) S 10985 10987 7151 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 825159632 13954113536 19927 33554432000 1073741824 1073778376 140735275574592 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 3 0 0 0
[pid=10987/tid=10992] ppid=10985 vsize=13627064 CPUtime=0 cores=1,3,5,7
/proc/10987/task/10992/stat : 10992 (java) S 10985 10987 7151 0 -1 4202560 25 0 0 0 0 0 0 0 15 0 19 0 825159632 13954113536 19927 33554432000 1073741824 1073778376 140735275574592 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 7 0 0 0
[pid=10987/tid=10993] ppid=10985 vsize=13627064 CPUtime=0 cores=1,3,5,7
/proc/10987/task/10993/stat : 10993 (java) S 10985 10987 7151 0 -1 4202560 29 0 0 0 0 0 0 0 15 0 19 0 825159632 13954113536 19927 33554432000 1073741824 1073778376 140735275574592 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 7 0 0 0
[pid=10987/tid=10994] ppid=10985 vsize=13627064 CPUtime=0 cores=1,3,5,7
/proc/10987/task/10994/stat : 10994 (java) S 10985 10987 7151 0 -1 4202560 19 0 0 0 0 0 0 0 15 0 19 0 825159632 13954113536 19927 33554432000 1073741824 1073778376 140735275574592 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 7 0 0 0
[pid=10987/tid=10995] ppid=10985 vsize=13627064 CPUtime=0 cores=1,3,5,7
/proc/10987/task/10995/stat : 10995 (java) S 10985 10987 7151 0 -1 4202560 130 0 0 0 0 0 0 0 15 0 19 0 825159632 13954113536 19927 33554432000 1073741824 1073778376 140735275574592 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 3 0 0 0
[pid=10987/tid=10996] ppid=10985 vsize=13627064 CPUtime=0 cores=1,3,5,7
/proc/10987/task/10996/stat : 10996 (java) S 10985 10987 7151 0 -1 4202560 180 0 0 0 0 0 0 0 15 0 19 0 825159632 13954113536 19927 33554432000 1073741824 1073778376 140735275574592 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 7 0 0 0
[pid=10987/tid=10997] ppid=10985 vsize=13627064 CPUtime=0 cores=1,3,5,7
/proc/10987/task/10997/stat : 10997 (java) S 10985 10987 7151 0 -1 4202560 148 0 0 0 0 0 0 0 16 0 19 0 825159632 13954113536 19927 33554432000 1073741824 1073778376 140735275574592 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 7 0 0 0
[pid=10987/tid=10998] ppid=10985 vsize=13627064 CPUtime=0.07 cores=1,3,5,7
/proc/10987/task/10998/stat : 10998 (java) S 10985 10987 7151 0 -1 4202560 621 0 0 0 7 0 0 0 16 0 19 0 825159633 13954113536 19927 33554432000 1073741824 1073778376 140735275574592 18446744073709551615 254512508416 0 0 0 16800975 18446604469807461312 0 0 -1 1 0 0 0
[pid=10987/tid=10999] ppid=10985 vsize=13627064 CPUtime=0 cores=1,3,5,7
/proc/10987/task/10999/stat : 10999 (java) S 10985 10987 7151 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 825159634 13954113536 19927 33554432000 1073741824 1073778376 140735275574592 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 5 0 0 0
[pid=10987/tid=11000] ppid=10985 vsize=13627064 CPUtime=0 cores=1,3,5,7
/proc/10987/task/11000/stat : 11000 (java) S 10985 10987 7151 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 825159634 13954113536 19927 33554432000 1073741824 1073778376 140735275574592 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 5 0 0 0
[pid=10987/tid=11001] ppid=10985 vsize=13627064 CPUtime=0 cores=1,3,5,7
/proc/10987/task/11001/stat : 11001 (java) S 10985 10987 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825159636 13954113536 19927 33554432000 1073741824 1073778376 140735275574592 18446744073709551615 254512515505 0 4 0 16800975 18446604469807461312 0 0 -1 1 0 0 0
[pid=10987/tid=11002] ppid=10985 vsize=13627064 CPUtime=0.26 cores=1,3,5,7
/proc/10987/task/11002/stat : 11002 (java) S 10985 10987 7151 0 -1 4202560 1569 0 0 0 26 0 0 0 15 0 19 0 825159636 13954113536 19927 33554432000 1073741824 1073778376 140735275574592 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 3 0 0 0
[pid=10987/tid=11003] ppid=10985 vsize=13627064 CPUtime=0.29 cores=1,3,5,7
/proc/10987/task/11003/stat : 11003 (java) S 10985 10987 7151 0 -1 4202560 1865 0 0 0 29 0 0 0 15 0 19 0 825159636 13954113536 19927 33554432000 1073741824 1073778376 140735275574592 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 7 0 0 0
[pid=10987/tid=11004] ppid=10985 vsize=13627064 CPUtime=0 cores=1,3,5,7
/proc/10987/task/11004/stat : 11004 (java) S 10985 10987 7151 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 825159636 13954113536 19927 33554432000 1073741824 1073778376 140735275574592 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 1 0 0 0
[pid=10987/tid=11005] ppid=10985 vsize=13627064 CPUtime=0 cores=1,3,5,7
/proc/10987/task/11005/stat : 11005 (java) S 10985 10987 7151 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825159636 13954113536 19927 33554432000 1073741824 1073778376 140735275574592 18446744073709551615 254512508416 0 4 0 16800975 18446604469807461312 0 0 -1 7 0 0 0
[pid=10987/tid=11006] ppid=10985 vsize=13627064 CPUtime=0 cores=1,3,5,7
/proc/10987/task/11006/stat : 11006 (java) S 10985 10987 7151 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 825159660 13954113536 19927 33554432000 1073741824 1073778376 140735275574592 18446744073709551615 254512508416 0 4 0 16800975 18446604469807461312 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3.67
Current children cumulated vsize (KiB) 13627064

[startup+6.30086 s]
/proc/loadavg: 2.20 2.09 2.18 3/554 11052
/proc/meminfo: memFree=21179332/32950928 swapFree=34259960/67111528
[pid=10987] ppid=10985 vsize=13625724 CPUtime=6.87 cores=1,3,5,7
/proc/10987/stat : 10987 (java) S 10985 10987 7151 0 -1 4202496 21793 0 1 0 685 2 0 0 25 0 19 0 825159630 13952741376 19735 33554432000 1073741824 1073778376 140735275574592 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/10987/statm: 3406431 19735 2252 9 0 3397165 0
[pid=10987/tid=10988] ppid=10985 vsize=13625724 CPUtime=6.1 cores=1,3,5,7
/proc/10987/task/10988/stat : 10988 (java) R 10985 10987 7151 0 -1 4202560 15746 0 1 0 609 1 0 0 25 0 19 0 825159630 13952741376 19735 33554432000 1073741824 1073778376 140735275574592 18446744073709551615 46912505649781 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=10987/tid=10990] ppid=10985 vsize=13625724 CPUtime=0 cores=1,3,5,7
/proc/10987/task/10990/stat : 10990 (java) S 10985 10987 7151 0 -1 4202560 89 0 0 0 0 0 0 0 16 0 19 0 825159632 13952741376 19735 33554432000 1073741824 1073778376 140735275574592 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 3 0 0 0
[pid=10987/tid=10991] ppid=10985 vsize=13625724 CPUtime=0 cores=1,3,5,7
/proc/10987/task/10991/stat : 10991 (java) S 10985 10987 7151 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 825159632 13952741376 19735 33554432000 1073741824 1073778376 140735275574592 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 3 0 0 0
[pid=10987/tid=10992] ppid=10985 vsize=13625724 CPUtime=0 cores=1,3,5,7
/proc/10987/task/10992/stat : 10992 (java) S 10985 10987 7151 0 -1 4202560 26 0 0 0 0 0 0 0 15 0 19 0 825159632 13952741376 19735 33554432000 1073741824 1073778376 140735275574592 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 7 0 0 0
[pid=10987/tid=10993] ppid=10985 vsize=13625724 CPUtime=0 cores=1,3,5,7
/proc/10987/task/10993/stat : 10993 (java) S 10985 10987 7151 0 -1 4202560 29 0 0 0 0 0 0 0 15 0 19 0 825159632 13952741376 19735 33554432000 1073741824 1073778376 140735275574592 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 3 0 0 0
[pid=10987/tid=10994] ppid=10985 vsize=13625724 CPUtime=0 cores=1,3,5,7
/proc/10987/task/10994/stat : 10994 (java) S 10985 10987 7151 0 -1 4202560 19 0 0 0 0 0 0 0 15 0 19 0 825159632 13952741376 19735 33554432000 1073741824 1073778376 140735275574592 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 3 0 0 0
[pid=10987/tid=10995] ppid=10985 vsize=13625724 CPUtime=0 cores=1,3,5,7
/proc/10987/task/10995/stat : 10995 (java) S 10985 10987 7151 0 -1 4202560 139 0 0 0 0 0 0 0 15 0 19 0 825159632 13952741376 19735 33554432000 1073741824 1073778376 140735275574592 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 3 0 0 0
[pid=10987/tid=10996] ppid=10985 vsize=13625724 CPUtime=0 cores=1,3,5,7
/proc/10987/task/10996/stat : 10996 (java) S 10985 10987 7151 0 -1 4202560 185 0 0 0 0 0 0 0 15 0 19 0 825159632 13952741376 19735 33554432000 1073741824 1073778376 140735275574592 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 3 0 0 0
[pid=10987/tid=10997] ppid=10985 vsize=13625724 CPUtime=0 cores=1,3,5,7
/proc/10987/task/10997/stat : 10997 (java) S 10985 10987 7151 0 -1 4202560 151 0 0 0 0 0 0 0 15 0 19 0 825159632 13952741376 19735 33554432000 1073741824 1073778376 140735275574592 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 7 0 0 0
[pid=10987/tid=10998] ppid=10985 vsize=13625724 CPUtime=0.16 cores=1,3,5,7
/proc/10987/task/10998/stat : 10998 (java) S 10985 10987 7151 0 -1 4202560 723 0 0 0 16 0 0 0 16 0 19 0 825159633 13952741376 19735 33554432000 1073741824 1073778376 140735275574592 18446744073709551615 254512508416 0 0 0 16800975 18446604469807461312 0 0 -1 1 0 0 0
[pid=10987/tid=10999] ppid=10985 vsize=13625724 CPUtime=0 cores=1,3,5,7
/proc/10987/task/10999/stat : 10999 (java) S 10985 10987 7151 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 825159634 13952741376 19735 33554432000 1073741824 1073778376 140735275574592 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 5 0 0 0
[pid=10987/tid=11000] ppid=10985 vsize=13625724 CPUtime=0 cores=1,3,5,7
/proc/10987/task/11000/stat : 11000 (java) S 10985 10987 7151 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 825159634 13952741376 19735 33554432000 1073741824 1073778376 140735275574592 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 5 0 0 0
[pid=10987/tid=11001] ppid=10985 vsize=13625724 CPUtime=0 cores=1,3,5,7
/proc/10987/task/11001/stat : 11001 (java) S 10985 10987 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825159636 13952741376 19735 33554432000 1073741824 1073778376 140735275574592 18446744073709551615 254512515505 0 4 0 16800975 18446604469807461312 0 0 -1 1 0 0 0
[pid=10987/tid=11002] ppid=10985 vsize=13625724 CPUtime=0.26 cores=1,3,5,7
/proc/10987/task/11002/stat : 11002 (java) S 10985 10987 7151 0 -1 4202560 1569 0 0 0 26 0 0 0 15 0 19 0 825159636 13952741376 19735 33554432000 1073741824 1073778376 140735275574592 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 3 0 0 0
[pid=10987/tid=11003] ppid=10985 vsize=13625724 CPUtime=0.29 cores=1,3,5,7
/proc/10987/task/11003/stat : 11003 (java) S 10985 10987 7151 0 -1 4202560 1865 0 0 0 29 0 0 0 15 0 19 0 825159636 13952741376 19735 33554432000 1073741824 1073778376 140735275574592 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 7 0 0 0

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

/proc/10987/task/10990/stat : 10990 (java) S 10985 10987 7151 0 -1 4202560 104 0 0 0 13 0 0 0 15 0 19 0 825159632 14019850240 21510 33554432000 1073741824 1073778376 140735275574592 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 5 0 0 0
[pid=10987/tid=10991] ppid=10985 vsize=13691260 CPUtime=0.15 cores=1,3,5,7
/proc/10987/task/10991/stat : 10991 (java) S 10985 10987 7151 0 -1 4202560 111 0 0 0 15 0 0 0 15 0 19 0 825159632 14019850240 21510 33554432000 1073741824 1073778376 140735275574592 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 1 0 0 0
[pid=10987/tid=10992] ppid=10985 vsize=13691260 CPUtime=0.13 cores=1,3,5,7
/proc/10987/task/10992/stat : 10992 (java) S 10985 10987 7151 0 -1 4202560 36 0 0 0 13 0 0 0 16 0 19 0 825159632 14019850240 21510 33554432000 1073741824 1073778376 140735275574592 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 5 0 0 0
[pid=10987/tid=10993] ppid=10985 vsize=13691260 CPUtime=0.13 cores=1,3,5,7
/proc/10987/task/10993/stat : 10993 (java) S 10985 10987 7151 0 -1 4202560 38 0 0 0 13 0 0 0 15 0 19 0 825159632 14019850240 21510 33554432000 1073741824 1073778376 140735275574592 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 5 0 0 0
[pid=10987/tid=10994] ppid=10985 vsize=13691260 CPUtime=0.14 cores=1,3,5,7
/proc/10987/task/10994/stat : 10994 (java) S 10985 10987 7151 0 -1 4202560 31 0 0 0 14 0 0 0 16 0 19 0 825159632 14019850240 21510 33554432000 1073741824 1073778376 140735275574592 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 1 0 0 0
[pid=10987/tid=10995] ppid=10985 vsize=13691260 CPUtime=0.14 cores=1,3,5,7
/proc/10987/task/10995/stat : 10995 (java) S 10985 10987 7151 0 -1 4202560 152 0 0 0 14 0 0 0 15 0 19 0 825159632 14019850240 21510 33554432000 1073741824 1073778376 140735275574592 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 5 0 0 0
[pid=10987/tid=10996] ppid=10985 vsize=13691260 CPUtime=0.13 cores=1,3,5,7
/proc/10987/task/10996/stat : 10996 (java) S 10985 10987 7151 0 -1 4202560 199 0 0 0 13 0 0 0 15 0 19 0 825159632 14019850240 21510 33554432000 1073741824 1073778376 140735275574592 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 5 0 0 0
[pid=10987/tid=10997] ppid=10985 vsize=13691260 CPUtime=0.14 cores=1,3,5,7
/proc/10987/task/10997/stat : 10997 (java) S 10985 10987 7151 0 -1 4202560 161 0 0 0 14 0 0 0 15 0 19 0 825159632 14019850240 21510 33554432000 1073741824 1073778376 140735275574592 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 5 0 0 0
[pid=10987/tid=10998] ppid=10985 vsize=13691260 CPUtime=6.49 cores=1,3,5,7
/proc/10987/task/10998/stat : 10998 (java) S 10985 10987 7151 0 -1 4202560 1353 0 0 0 643 6 0 0 15 0 19 0 825159633 14019850240 21510 33554432000 1073741824 1073778376 140735275574592 18446744073709551615 254512508416 0 0 0 16800975 18446604469807461312 0 0 -1 3 0 0 0
[pid=10987/tid=10999] ppid=10985 vsize=13691260 CPUtime=0 cores=1,3,5,7
/proc/10987/task/10999/stat : 10999 (java) S 10985 10987 7151 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 825159634 14019850240 21510 33554432000 1073741824 1073778376 140735275574592 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 5 0 0 0
[pid=10987/tid=11000] ppid=10985 vsize=13691260 CPUtime=0 cores=1,3,5,7
/proc/10987/task/11000/stat : 11000 (java) S 10985 10987 7151 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 825159634 14019850240 21510 33554432000 1073741824 1073778376 140735275574592 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 5 0 0 0
[pid=10987/tid=11001] ppid=10985 vsize=13691260 CPUtime=0 cores=1,3,5,7
/proc/10987/task/11001/stat : 11001 (java) S 10985 10987 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825159636 14019850240 21510 33554432000 1073741824 1073778376 140735275574592 18446744073709551615 254512515505 0 4 0 16800975 18446604469807461312 0 0 -1 1 0 0 0
[pid=10987/tid=11002] ppid=10985 vsize=13691260 CPUtime=0.3 cores=1,3,5,7
/proc/10987/task/11002/stat : 11002 (java) S 10985 10987 7151 0 -1 4202560 1573 0 0 0 30 0 0 0 15 0 19 0 825159636 14019850240 21510 33554432000 1073741824 1073778376 140735275574592 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 7 0 0 0
[pid=10987/tid=11003] ppid=10985 vsize=13691260 CPUtime=0.97 cores=1,3,5,7
/proc/10987/task/11003/stat : 11003 (java) S 10985 10987 7151 0 -1 4202560 12604 0 0 0 96 1 0 0 16 0 19 0 825159636 14019850240 21510 33554432000 1073741824 1073778376 140735275574592 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 3 0 0 0
[pid=10987/tid=11004] ppid=10985 vsize=13691260 CPUtime=0 cores=1,3,5,7
/proc/10987/task/11004/stat : 11004 (java) S 10985 10987 7151 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 825159636 14019850240 21510 33554432000 1073741824 1073778376 140735275574592 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 1 0 0 0
[pid=10987/tid=11005] ppid=10985 vsize=13691260 CPUtime=0 cores=1,3,5,7
/proc/10987/task/11005/stat : 11005 (java) S 10985 10987 7151 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 19 0 825159636 14019850240 21510 33554432000 1073741824 1073778376 140735275574592 18446744073709551615 254512508416 0 4 0 16800975 18446604469807461312 0 0 -1 5 0 0 0
[pid=10987/tid=11006] ppid=10985 vsize=13691260 CPUtime=0 cores=1,3,5,7
/proc/10987/task/11006/stat : 11006 (java) S 10985 10987 7151 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 825159660 14019850240 21510 33554432000 1073741824 1073778376 140735275574592 18446744073709551615 254512508416 0 4 0 16800975 18446604469807461312 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 212.93
Current children cumulated vsize (KiB) 13691260

[startup+211.901 s]
/proc/loadavg: 2.24 2.15 2.18 3/554 11241
/proc/meminfo: memFree=21161564/32950928 swapFree=34259960/67111528
[pid=10987] ppid=10985 vsize=13691260 CPUtime=213.72 cores=1,3,5,7
/proc/10987/stat : 10987 (java) S 10985 10987 7151 0 -1 4202496 33687 0 1 0 21356 16 0 0 25 0 19 0 825159630 14019850240 21510 33554432000 1073741824 1073778376 140735275574592 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/10987/statm: 3422815 21510 2255 9 0 3413549 0
[pid=10987/tid=10988] ppid=10985 vsize=13691260 CPUtime=204.69 cores=1,3,5,7
/proc/10987/task/10988/stat : 10988 (java) R 10985 10987 7151 0 -1 4202560 16163 0 1 0 20467 2 0 0 25 0 19 0 825159630 14019850240 21510 33554432000 1073741824 1073778376 140735275574592 18446744073709551615 46912505637745 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=10987/tid=10990] ppid=10985 vsize=13691260 CPUtime=0.13 cores=1,3,5,7
/proc/10987/task/10990/stat : 10990 (java) S 10985 10987 7151 0 -1 4202560 104 0 0 0 13 0 0 0 15 0 19 0 825159632 14019850240 21510 33554432000 1073741824 1073778376 140735275574592 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 1 0 0 0
[pid=10987/tid=10991] ppid=10985 vsize=13691260 CPUtime=0.15 cores=1,3,5,7
/proc/10987/task/10991/stat : 10991 (java) S 10985 10987 7151 0 -1 4202560 111 0 0 0 15 0 0 0 15 0 19 0 825159632 14019850240 21510 33554432000 1073741824 1073778376 140735275574592 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 1 0 0 0
[pid=10987/tid=10992] ppid=10985 vsize=13691260 CPUtime=0.14 cores=1,3,5,7
/proc/10987/task/10992/stat : 10992 (java) S 10985 10987 7151 0 -1 4202560 36 0 0 0 14 0 0 0 15 0 19 0 825159632 14019850240 21510 33554432000 1073741824 1073778376 140735275574592 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 5 0 0 0
[pid=10987/tid=10993] ppid=10985 vsize=13691260 CPUtime=0.13 cores=1,3,5,7
/proc/10987/task/10993/stat : 10993 (java) S 10985 10987 7151 0 -1 4202560 38 0 0 0 13 0 0 0 16 0 19 0 825159632 14019850240 21510 33554432000 1073741824 1073778376 140735275574592 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 5 0 0 0
[pid=10987/tid=10994] ppid=10985 vsize=13691260 CPUtime=0.14 cores=1,3,5,7
/proc/10987/task/10994/stat : 10994 (java) S 10985 10987 7151 0 -1 4202560 31 0 0 0 14 0 0 0 15 0 19 0 825159632 14019850240 21510 33554432000 1073741824 1073778376 140735275574592 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 1 0 0 0
[pid=10987/tid=10995] ppid=10985 vsize=13691260 CPUtime=0.14 cores=1,3,5,7
/proc/10987/task/10995/stat : 10995 (java) S 10985 10987 7151 0 -1 4202560 152 0 0 0 14 0 0 0 16 0 19 0 825159632 14019850240 21510 33554432000 1073741824 1073778376 140735275574592 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 7 0 0 0
[pid=10987/tid=10996] ppid=10985 vsize=13691260 CPUtime=0.13 cores=1,3,5,7
/proc/10987/task/10996/stat : 10996 (java) S 10985 10987 7151 0 -1 4202560 199 0 0 0 13 0 0 0 15 0 19 0 825159632 14019850240 21510 33554432000 1073741824 1073778376 140735275574592 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 5 0 0 0
[pid=10987/tid=10997] ppid=10985 vsize=13691260 CPUtime=0.14 cores=1,3,5,7
/proc/10987/task/10997/stat : 10997 (java) S 10985 10987 7151 0 -1 4202560 161 0 0 0 14 0 0 0 15 0 19 0 825159632 14019850240 21510 33554432000 1073741824 1073778376 140735275574592 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 5 0 0 0
[pid=10987/tid=10998] ppid=10985 vsize=13691260 CPUtime=6.52 cores=1,3,5,7
/proc/10987/task/10998/stat : 10998 (java) S 10985 10987 7151 0 -1 4202560 1353 0 0 0 646 6 0 0 15 0 19 0 825159633 14019850240 21510 33554432000 1073741824 1073778376 140735275574592 18446744073709551615 254512508416 0 0 0 16800975 18446604469807461312 0 0 -1 3 0 0 0
[pid=10987/tid=10999] ppid=10985 vsize=13691260 CPUtime=0 cores=1,3,5,7
/proc/10987/task/10999/stat : 10999 (java) S 10985 10987 7151 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 825159634 14019850240 21510 33554432000 1073741824 1073778376 140735275574592 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 5 0 0 0
[pid=10987/tid=11000] ppid=10985 vsize=13691260 CPUtime=0 cores=1,3,5,7
/proc/10987/task/11000/stat : 11000 (java) S 10985 10987 7151 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 825159634 14019850240 21510 33554432000 1073741824 1073778376 140735275574592 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 5 0 0 0
[pid=10987/tid=11001] ppid=10985 vsize=13691260 CPUtime=0 cores=1,3,5,7
/proc/10987/task/11001/stat : 11001 (java) S 10985 10987 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825159636 14019850240 21510 33554432000 1073741824 1073778376 140735275574592 18446744073709551615 254512515505 0 4 0 16800975 18446604469807461312 0 0 -1 1 0 0 0
[pid=10987/tid=11002] ppid=10985 vsize=13691260 CPUtime=0.3 cores=1,3,5,7
/proc/10987/task/11002/stat : 11002 (java) S 10985 10987 7151 0 -1 4202560 1573 0 0 0 30 0 0 0 15 0 19 0 825159636 14019850240 21510 33554432000 1073741824 1073778376 140735275574592 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 7 0 0 0
[pid=10987/tid=11003] ppid=10985 vsize=13691260 CPUtime=0.97 cores=1,3,5,7
/proc/10987/task/11003/stat : 11003 (java) S 10985 10987 7151 0 -1 4202560 12604 0 0 0 96 1 0 0 16 0 19 0 825159636 14019850240 21510 33554432000 1073741824 1073778376 140735275574592 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 3 0 0 0
[pid=10987/tid=11004] ppid=10985 vsize=13691260 CPUtime=0 cores=1,3,5,7
/proc/10987/task/11004/stat : 11004 (java) S 10985 10987 7151 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 825159636 14019850240 21510 33554432000 1073741824 1073778376 140735275574592 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 1 0 0 0
[pid=10987/tid=11005] ppid=10985 vsize=13691260 CPUtime=0 cores=1,3,5,7
/proc/10987/task/11005/stat : 11005 (java) S 10985 10987 7151 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 19 0 825159636 14019850240 21510 33554432000 1073741824 1073778376 140735275574592 18446744073709551615 254512508416 0 4 0 16800975 18446604469807461312 0 0 -1 5 0 0 0
[pid=10987/tid=11006] ppid=10985 vsize=13691260 CPUtime=0 cores=1,3,5,7
/proc/10987/task/11006/stat : 11006 (java) S 10985 10987 7151 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 825159660 14019850240 21510 33554432000 1073741824 1073778376 140735275574592 18446744073709551615 254512508416 0 4 0 16800975 18446604469807461312 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 213.72
Current children cumulated vsize (KiB) 13691260

[startup+212.32 s]
/proc/loadavg: 2.24 2.15 2.18 3/554 11241
/proc/meminfo: memFree=21161564/32950928 swapFree=34259960/67111528
[pid=10987] ppid=10985 vsize=13691260 CPUtime=214.14 cores=1,3,5,7
/proc/10987/stat : 10987 (java) S 10985 10987 7151 0 -1 4202496 33687 0 1 0 21398 16 0 0 25 0 19 0 825159630 14019850240 21510 33554432000 1073741824 1073778376 140735275574592 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/10987/statm: 3422815 21510 2255 9 0 3413549 0
[pid=10987/tid=10988] ppid=10985 vsize=13691260 CPUtime=205.11 cores=1,3,5,7
/proc/10987/task/10988/stat : 10988 (java) R 10985 10987 7151 0 -1 4202560 16163 0 1 0 20509 2 0 0 25 0 19 0 825159630 14019850240 21510 33554432000 1073741824 1073778376 140735275574592 18446744073709551615 46912505649781 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=10987/tid=10990] ppid=10985 vsize=13691260 CPUtime=0.13 cores=1,3,5,7
/proc/10987/task/10990/stat : 10990 (java) S 10985 10987 7151 0 -1 4202560 104 0 0 0 13 0 0 0 15 0 19 0 825159632 14019850240 21510 33554432000 1073741824 1073778376 140735275574592 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 1 0 0 0
[pid=10987/tid=10991] ppid=10985 vsize=13691260 CPUtime=0.15 cores=1,3,5,7
/proc/10987/task/10991/stat : 10991 (java) S 10985 10987 7151 0 -1 4202560 111 0 0 0 15 0 0 0 15 0 19 0 825159632 14019850240 21510 33554432000 1073741824 1073778376 140735275574592 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 1 0 0 0
[pid=10987/tid=10992] ppid=10985 vsize=13691260 CPUtime=0.14 cores=1,3,5,7
/proc/10987/task/10992/stat : 10992 (java) S 10985 10987 7151 0 -1 4202560 36 0 0 0 14 0 0 0 15 0 19 0 825159632 14019850240 21510 33554432000 1073741824 1073778376 140735275574592 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 5 0 0 0
[pid=10987/tid=10993] ppid=10985 vsize=13691260 CPUtime=0.13 cores=1,3,5,7
/proc/10987/task/10993/stat : 10993 (java) S 10985 10987 7151 0 -1 4202560 38 0 0 0 13 0 0 0 16 0 19 0 825159632 14019850240 21510 33554432000 1073741824 1073778376 140735275574592 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 5 0 0 0
[pid=10987/tid=10994] ppid=10985 vsize=13691260 CPUtime=0.14 cores=1,3,5,7
/proc/10987/task/10994/stat : 10994 (java) S 10985 10987 7151 0 -1 4202560 31 0 0 0 14 0 0 0 15 0 19 0 825159632 14019850240 21510 33554432000 1073741824 1073778376 140735275574592 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 1 0 0 0
[pid=10987/tid=10995] ppid=10985 vsize=13691260 CPUtime=0.14 cores=1,3,5,7
/proc/10987/task/10995/stat : 10995 (java) S 10985 10987 7151 0 -1 4202560 152 0 0 0 14 0 0 0 16 0 19 0 825159632 14019850240 21510 33554432000 1073741824 1073778376 140735275574592 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 7 0 0 0
[pid=10987/tid=10996] ppid=10985 vsize=13691260 CPUtime=0.13 cores=1,3,5,7
/proc/10987/task/10996/stat : 10996 (java) S 10985 10987 7151 0 -1 4202560 199 0 0 0 13 0 0 0 15 0 19 0 825159632 14019850240 21510 33554432000 1073741824 1073778376 140735275574592 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 5 0 0 0
[pid=10987/tid=10997] ppid=10985 vsize=13691260 CPUtime=0.14 cores=1,3,5,7
/proc/10987/task/10997/stat : 10997 (java) S 10985 10987 7151 0 -1 4202560 161 0 0 0 14 0 0 0 15 0 19 0 825159632 14019850240 21510 33554432000 1073741824 1073778376 140735275574592 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 5 0 0 0
[pid=10987/tid=10998] ppid=10985 vsize=13691260 CPUtime=6.52 cores=1,3,5,7
/proc/10987/task/10998/stat : 10998 (java) S 10985 10987 7151 0 -1 4202560 1353 0 0 0 646 6 0 0 15 0 19 0 825159633 14019850240 21510 33554432000 1073741824 1073778376 140735275574592 18446744073709551615 254512508416 0 0 0 16800975 18446604469807461312 0 0 -1 3 0 0 0
[pid=10987/tid=10999] ppid=10985 vsize=13691260 CPUtime=0 cores=1,3,5,7
/proc/10987/task/10999/stat : 10999 (java) S 10985 10987 7151 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 825159634 14019850240 21510 33554432000 1073741824 1073778376 140735275574592 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 5 0 0 0
[pid=10987/tid=11000] ppid=10985 vsize=13691260 CPUtime=0 cores=1,3,5,7
/proc/10987/task/11000/stat : 11000 (java) S 10985 10987 7151 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 825159634 14019850240 21510 33554432000 1073741824 1073778376 140735275574592 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 5 0 0 0
[pid=10987/tid=11001] ppid=10985 vsize=13691260 CPUtime=0 cores=1,3,5,7
/proc/10987/task/11001/stat : 11001 (java) S 10985 10987 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825159636 14019850240 21510 33554432000 1073741824 1073778376 140735275574592 18446744073709551615 254512515505 0 4 0 16800975 18446604469807461312 0 0 -1 1 0 0 0
[pid=10987/tid=11002] ppid=10985 vsize=13691260 CPUtime=0.3 cores=1,3,5,7
/proc/10987/task/11002/stat : 11002 (java) S 10985 10987 7151 0 -1 4202560 1573 0 0 0 30 0 0 0 15 0 19 0 825159636 14019850240 21510 33554432000 1073741824 1073778376 140735275574592 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 7 0 0 0
[pid=10987/tid=11003] ppid=10985 vsize=13691260 CPUtime=0.97 cores=1,3,5,7
/proc/10987/task/11003/stat : 11003 (java) S 10985 10987 7151 0 -1 4202560 12604 0 0 0 96 1 0 0 16 0 19 0 825159636 14019850240 21510 33554432000 1073741824 1073778376 140735275574592 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 3 0 0 0
[pid=10987/tid=11004] ppid=10985 vsize=13691260 CPUtime=0 cores=1,3,5,7
/proc/10987/task/11004/stat : 11004 (java) S 10985 10987 7151 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 825159636 14019850240 21510 33554432000 1073741824 1073778376 140735275574592 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 1 0 0 0
[pid=10987/tid=11005] ppid=10985 vsize=13691260 CPUtime=0 cores=1,3,5,7
/proc/10987/task/11005/stat : 11005 (java) S 10985 10987 7151 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 19 0 825159636 14019850240 21510 33554432000 1073741824 1073778376 140735275574592 18446744073709551615 254512508416 0 4 0 16800975 18446604469807461312 0 0 -1 5 0 0 0
[pid=10987/tid=11006] ppid=10985 vsize=13691260 CPUtime=0 cores=1,3,5,7
/proc/10987/task/11006/stat : 11006 (java) S 10985 10987 7151 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 825159660 14019850240 21510 33554432000 1073741824 1073778376 140735275574592 18446744073709551615 254512508416 0 4 0 16800975 18446604469807461312 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 214.14
Current children cumulated vsize (KiB) 13691260

[startup+212.501 s]
/proc/loadavg: 2.24 2.15 2.18 3/554 11241
/proc/meminfo: memFree=21161564/32950928 swapFree=34259960/67111528
[pid=10987] ppid=10985 vsize=13691260 CPUtime=214.32 cores=1,3,5,7
/proc/10987/stat : 10987 (java) S 10985 10987 7151 0 -1 4202496 33688 0 1 0 21416 16 0 0 25 0 19 0 825159630 14019850240 21510 33554432000 1073741824 1073778376 140735275574592 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/10987/statm: 3422815 21510 2255 9 0 3413549 0
[pid=10987/tid=10988] ppid=10985 vsize=13691260 CPUtime=205.27 cores=1,3,5,7
/proc/10987/task/10988/stat : 10988 (java) R 10985 10987 7151 0 -1 4202560 16164 0 1 0 20525 2 0 0 25 0 19 0 825159630 14019850240 21510 33554432000 1073741824 1073778376 140735275574592 18446744073709551615 46912505637881 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=10987/tid=10990] ppid=10985 vsize=13691260 CPUtime=0.13 cores=1,3,5,7
/proc/10987/task/10990/stat : 10990 (java) S 10985 10987 7151 0 -1 4202560 104 0 0 0 13 0 0 0 15 0 19 0 825159632 14019850240 21510 33554432000 1073741824 1073778376 140735275574592 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 1 0 0 0
[pid=10987/tid=10991] ppid=10985 vsize=13691260 CPUtime=0.15 cores=1,3,5,7
/proc/10987/task/10991/stat : 10991 (java) S 10985 10987 7151 0 -1 4202560 111 0 0 0 15 0 0 0 15 0 19 0 825159632 14019850240 21510 33554432000 1073741824 1073778376 140735275574592 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 1 0 0 0
[pid=10987/tid=10992] ppid=10985 vsize=13691260 CPUtime=0.14 cores=1,3,5,7
/proc/10987/task/10992/stat : 10992 (java) S 10985 10987 7151 0 -1 4202560 36 0 0 0 14 0 0 0 15 0 19 0 825159632 14019850240 21510 33554432000 1073741824 1073778376 140735275574592 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 5 0 0 0
[pid=10987/tid=10993] ppid=10985 vsize=13691260 CPUtime=0.13 cores=1,3,5,7
/proc/10987/task/10993/stat : 10993 (java) S 10985 10987 7151 0 -1 4202560 38 0 0 0 13 0 0 0 15 0 19 0 825159632 14019850240 21510 33554432000 1073741824 1073778376 140735275574592 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 5 0 0 0
[pid=10987/tid=10994] ppid=10985 vsize=13691260 CPUtime=0.14 cores=1,3,5,7
/proc/10987/task/10994/stat : 10994 (java) S 10985 10987 7151 0 -1 4202560 31 0 0 0 14 0 0 0 15 0 19 0 825159632 14019850240 21510 33554432000 1073741824 1073778376 140735275574592 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 1 0 0 0
[pid=10987/tid=10995] ppid=10985 vsize=13691260 CPUtime=0.14 cores=1,3,5,7
/proc/10987/task/10995/stat : 10995 (java) S 10985 10987 7151 0 -1 4202560 152 0 0 0 14 0 0 0 15 0 19 0 825159632 14019850240 21510 33554432000 1073741824 1073778376 140735275574592 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 7 0 0 0
[pid=10987/tid=10996] ppid=10985 vsize=13691260 CPUtime=0.13 cores=1,3,5,7
/proc/10987/task/10996/stat : 10996 (java) S 10985 10987 7151 0 -1 4202560 199 0 0 0 13 0 0 0 15 0 19 0 825159632 14019850240 21510 33554432000 1073741824 1073778376 140735275574592 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 7 0 0 0
[pid=10987/tid=10997] ppid=10985 vsize=13691260 CPUtime=0.14 cores=1,3,5,7
/proc/10987/task/10997/stat : 10997 (java) S 10985 10987 7151 0 -1 4202560 161 0 0 0 14 0 0 0 16 0 19 0 825159632 14019850240 21510 33554432000 1073741824 1073778376 140735275574592 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 5 0 0 0
[pid=10987/tid=10998] ppid=10985 vsize=13691260 CPUtime=6.54 cores=1,3,5,7
/proc/10987/task/10998/stat : 10998 (java) S 10985 10987 7151 0 -1 4202560 1353 0 0 0 648 6 0 0 15 0 19 0 825159633 14019850240 21510 33554432000 1073741824 1073778376 140735275574592 18446744073709551615 254512508416 0 0 0 16800975 18446604469807461312 0 0 -1 3 0 0 0
[pid=10987/tid=10999] ppid=10985 vsize=13691260 CPUtime=0 cores=1,3,5,7
/proc/10987/task/10999/stat : 10999 (java) S 10985 10987 7151 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 825159634 14019850240 21510 33554432000 1073741824 1073778376 140735275574592 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 5 0 0 0
[pid=10987/tid=11000] ppid=10985 vsize=13691260 CPUtime=0 cores=1,3,5,7
/proc/10987/task/11000/stat : 11000 (java) S 10985 10987 7151 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 825159634 14019850240 21510 33554432000 1073741824 1073778376 140735275574592 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 5 0 0 0
[pid=10987/tid=11001] ppid=10985 vsize=13691260 CPUtime=0 cores=1,3,5,7
/proc/10987/task/11001/stat : 11001 (java) S 10985 10987 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825159636 14019850240 21510 33554432000 1073741824 1073778376 140735275574592 18446744073709551615 254512515505 0 4 0 16800975 18446604469807461312 0 0 -1 1 0 0 0
[pid=10987/tid=11002] ppid=10985 vsize=13691260 CPUtime=0.3 cores=1,3,5,7
/proc/10987/task/11002/stat : 11002 (java) S 10985 10987 7151 0 -1 4202560 1573 0 0 0 30 0 0 0 15 0 19 0 825159636 14019850240 21510 33554432000 1073741824 1073778376 140735275574592 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 7 0 0 0
[pid=10987/tid=11003] ppid=10985 vsize=13691260 CPUtime=0.97 cores=1,3,5,7
/proc/10987/task/11003/stat : 11003 (java) S 10985 10987 7151 0 -1 4202560 12604 0 0 0 96 1 0 0 16 0 19 0 825159636 14019850240 21510 33554432000 1073741824 1073778376 140735275574592 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 3 0 0 0
[pid=10987/tid=11004] ppid=10985 vsize=13691260 CPUtime=0 cores=1,3,5,7
/proc/10987/task/11004/stat : 11004 (java) S 10985 10987 7151 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 825159636 14019850240 21510 33554432000 1073741824 1073778376 140735275574592 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 1 0 0 0
[pid=10987/tid=11005] ppid=10985 vsize=13691260 CPUtime=0 cores=1,3,5,7
/proc/10987/task/11005/stat : 11005 (java) S 10985 10987 7151 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 19 0 825159636 14019850240 21510 33554432000 1073741824 1073778376 140735275574592 18446744073709551615 254512508416 0 4 0 16800975 18446604469807461312 0 0 -1 7 0 0 0
[pid=10987/tid=11006] ppid=10985 vsize=13691260 CPUtime=0 cores=1,3,5,7
/proc/10987/task/11006/stat : 11006 (java) S 10985 10987 7151 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 825159660 14019850240 21510 33554432000 1073741824 1073778376 140735275574592 18446744073709551615 254512508416 0 4 0 16800975 18446604469807461312 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 214.32
Current children cumulated vsize (KiB) 13691260

Child status: 20
Real time (s): 212.58
CPU time (s): 214.41
CPU user time (s): 214.239
CPU system time (s): 0.170974
CPU usage (%): 100.861
Max. virtual memory (cumulated for all children) (KiB): 13693164

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 214.239
system time used= 0.170974
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33714
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= 15889
involuntary context switches= 8813

runsolver used 1.16482 second user time and 2.51662 second system time

The end

Launcher Data 

Begin job on node149 at 2011-06-03 23:13:49
IDJOB=3459269
IDBENCH=1349
IDSOLVER=1952
FILE ID=node149/3459269-1307135629
RUNJOBID= node149-1307134204-10440
PBS_JOBID= 13508767
Free space on /tmp= 73528 MiB

SOLVER NAME= Sat4j Resolution 2.3.0
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900584219.opb
COMMAND LINE= java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3459269-1307135629/watcher-3459269-1307135629 -o /tmp/evaluation-result-3459269-1307135629/solver-3459269-1307135629 -C 1800 -W 1900 -M 15500  java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3459269-1307135629.opb

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

MD5SUM BENCH= 526ab28e5245080e542291515286f3e0
RANDOM SEED=367915185

node149.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.806
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.61
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.806
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
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.806
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.83
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.806
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.806
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.82
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.806
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.806
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.806
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:      21229312 kB
Buffers:        326908 kB
Cached:        3486752 kB
SwapCached:     123196 kB
Active:         394136 kB
Inactive:     10988696 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      21229312 kB
SwapTotal:    67111528 kB
SwapFree:     34259960 kB
Dirty:            1252 kB
Writeback:           0 kB
AnonPages:     7470660 kB
Mapped:          26212 kB
Slab:           150724 kB
PageTables:     118028 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 186543056 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= 73528 MiB
End job on node149 at 2011-06-03 23:17:22