Trace number 3732073

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
PB11: Sat4j Res//CP 2.3.0OPT64 171.539 93.4603

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/routing/normalized-s4-4-3-2pb.opb
MD5SUM135acf1f05855c365b3d13b378debe22
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark64
Best CPU time to get the best result obtained on this benchmark0.065989
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 64
Optimality of the best value was proved YES
Number of variables648
Total number of constraints1952
Number of constraints which are clauses1928
Number of constraints which are cardinality constraints (but not clauses)24
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint27
Number of terms in the objective function 648
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 648
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 648
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.01/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.01/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.01/0.09	c See www.sat4j.org for details.
0.01/0.10	c version 2.3.1.v20110525
0.01/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.01/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.01/0.10	c java.vm.version	19.1-b02
0.01/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.01/0.10	c sun.arch.data.model	64
0.01/0.10	c java.version		1.6.0_24
0.01/0.10	c os.name		Linux
0.01/0.10	c os.version		2.6.32-71.29.1.el6.x86_64
0.01/0.10	c os.arch		amd64
0.10/0.10	c Free memory 		9996466904
0.10/0.10	c Max memory 		10048897024
0.10/0.10	c Total memory 		10048897024
0.10/0.10	c Number of processors 	8
0.10/0.12	c Pseudo Boolean Optimization
0.10/0.12	c ManyCore solver with 2 solvers running in parallel
0.10/0.12	c --- Begin Solver configuration ---
0.10/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@48e5855a
0.10/0.12	c Learn all clauses as in MiniSAT
0.10/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.12	c Expensive reason simplification
0.10/0.12	c Armin Biere (Picosat) restarts strategy
0.10/0.12	c Glucose learned constraints deletion strategy
0.10/0.12	c timeout=2147483s
0.10/0.12	c DB Simplification allowed=false
0.10/0.12	c --- End Solver configuration ---
0.10/0.12	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.10/0.12	c --- Begin Solver configuration ---
0.10/0.12	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@398020cc
0.10/0.12	c Learn all clauses as in MiniSAT
0.10/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.10/0.12	c No reason simplification
0.10/0.12	c Armin Biere (Picosat) restarts strategy
0.10/0.12	c Glucose learned constraints deletion strategy
0.10/0.12	c timeout=2147483s
0.10/0.12	c DB Simplification allowed=false
0.10/0.12	c --- End Solver configuration ---
0.10/0.12	c solving HOME/instance-3732073-1338684521.opb
0.10/0.12	c reading problem ... 
0.47/0.31	c ... done. Wall clock time 0.186s.
0.47/0.31	c #vars     648
0.47/0.31	c #constraints  1952
0.47/0.31	c constraints type 
0.47/0.31	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1550
0.47/0.31	c org.sat4j.minisat.constraints.card.MinWatchCard => 24
0.47/0.31	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 378
0.47/0.31	c constraints type 
0.47/0.31	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 378
0.47/0.31	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1550
0.47/0.31	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 24
2.00/0.72	c cleaning 2494 clauses out of 4997 with flag 5000/5000
2.76/0.96	c cleaning 4248 clauses out of 8503 with flag 11000/11000
3.79/1.24	c cleaning 5625 clauses out of 11255 with flag 18000/18000
4.48/1.58	c cleaning 6814 clauses out of 13631 with flag 26001/26001
5.35/1.98	c  And the winner is CuttingPlanes
5.35/1.99	c cleaning 7906 clauses out of 15816 with flag 35000/35000
5.57/2.31	c SATISFIABLE
5.57/2.31	c OPTIMIZING...
5.57/2.31	c Got one! Elapsed wall clock time (in seconds):2.191
5.57/2.31	o 70
5.73/2.49	c cleaning 6447 clauses out of 12908 with flag 5000/40000
6.32/2.70	c cleaning 6227 clauses out of 12461 with flag 11001/46001
6.69/2.96	c cleaning 6609 clauses out of 13234 with flag 18001/53001
7.06/3.15	c  And the winner is CuttingPlanes
7.17/3.32	c Got one! Elapsed wall clock time (in seconds):3.194
7.17/3.32	o 68
7.17/3.37	c cleaning 6123 clauses out of 12252 with flag 1000/58628
7.72/3.64	c cleaning 6061 clauses out of 12130 with flag 7002/64630
8.30/3.92	c cleaning 6531 clauses out of 13068 with flag 14001/71629
8.87/4.23	c cleaning 7264 clauses out of 14537 with flag 22001/79629
9.63/4.64	c cleaning 8133 clauses out of 16272 with flag 31000/88628
10.59/5.10	c cleaning 9063 clauses out of 18140 with flag 41001/98629
11.56/5.60	c cleaning 9529 clauses out of 19076 with flag 51001/108629
12.52/6.15	c cleaning 9769 clauses out of 19547 with flag 61001/118629
13.66/6.74	c cleaning 9881 clauses out of 19777 with flag 71000/128628
14.42/7.18	c cleaning 9945 clauses out of 19896 with flag 81000/138628
14.78/7.39	c  And the winner is Resolution
14.97/7.82	c Got one! Elapsed wall clock time (in seconds):7.698
14.97/7.82	o 66
15.15/7.91	c cleaning 7592 clauses out of 15207 with flag 2001/143884
15.74/8.21	c cleaning 6805 clauses out of 13617 with flag 8003/149886
16.29/8.56	c cleaning 6896 clauses out of 13809 with flag 15000/156883
17.05/8.92	c cleaning 7451 clauses out of 14912 with flag 23000/164883
18.00/9.40	c cleaning 8209 clauses out of 16461 with flag 32000/173883
18.97/9.94	c cleaning 9123 clauses out of 18253 with flag 42002/183885
19.90/10.48	c cleaning 9556 clauses out of 19128 with flag 52000/193883
21.07/11.05	c cleaning 9782 clauses out of 19573 with flag 62001/203884
22.20/11.63	c cleaning 9889 clauses out of 19790 with flag 72000/213883
23.34/12.23	c cleaning 9927 clauses out of 19901 with flag 82000/223883
24.67/12.92	c cleaning 9971 clauses out of 19974 with flag 92001/233884
25.82/13.59	c cleaning 9975 clauses out of 20002 with flag 102000/243883
26.95/14.13	c cleaning 10011 clauses out of 20030 with flag 112003/253886
27.90/14.68	c cleaning 10005 clauses out of 20015 with flag 122000/263883
29.04/15.29	c cleaning 9985 clauses out of 20011 with flag 132001/273884
30.38/15.93	c cleaning 10011 clauses out of 20029 with flag 142004/283887
31.33/16.50	c cleaning 10000 clauses out of 20014 with flag 152000/293883
32.86/17.28	c cleaning 9981 clauses out of 20014 with flag 162000/303883
34.16/17.97	c cleaning 10015 clauses out of 20035 with flag 172002/313885
35.29/18.55	c cleaning 10002 clauses out of 20022 with flag 182004/323887
36.44/19.19	c cleaning 9999 clauses out of 20017 with flag 192001/333884
37.58/19.79	c cleaning 9996 clauses out of 20017 with flag 202000/343883
38.88/20.47	c cleaning 9996 clauses out of 20021 with flag 212000/353883
40.00/21.09	c cleaning 10007 clauses out of 20026 with flag 222001/363884
41.13/21.68	c cleaning 9997 clauses out of 20018 with flag 232000/373883
42.25/22.27	c cleaning 9999 clauses out of 20024 with flag 242003/383886
43.54/22.92	c cleaning 10007 clauses out of 20023 with flag 252001/393884
44.66/23.55	c cleaning 10003 clauses out of 20015 with flag 262000/403883
45.79/24.15	c cleaning 10000 clauses out of 20012 with flag 272001/413884
46.91/24.73	c cleaning 10004 clauses out of 20011 with flag 282000/423883
48.59/25.60	c cleaning 10000 clauses out of 20007 with flag 292000/433883
49.71/26.27	c cleaning 9995 clauses out of 20007 with flag 302000/443883
51.06/26.97	c cleaning 9994 clauses out of 20013 with flag 312001/453884
52.57/27.73	c cleaning 9991 clauses out of 20018 with flag 322000/463883
54.05/28.53	c cleaning 9996 clauses out of 20027 with flag 332000/473883
55.35/29.23	c cleaning 10001 clauses out of 20031 with flag 342000/483883
56.46/29.87	c cleaning 10009 clauses out of 20030 with flag 352000/493883
57.78/30.52	c cleaning 9994 clauses out of 20021 with flag 362001/503884
59.04/31.27	c cleaning 9995 clauses out of 20026 with flag 372000/513883
60.36/31.97	c cleaning 10009 clauses out of 20033 with flag 382003/523886
61.85/32.75	c cleaning 10002 clauses out of 20022 with flag 392001/533884
63.17/33.46	c cleaning 10006 clauses out of 20020 with flag 402001/543884
63.82/33.80	c  And the winner is CuttingPlanes
63.72/34.12	c Got one! Elapsed wall clock time (in seconds):34.002
63.72/34.12	o 64
63.93/34.27	c cleaning 7517 clauses out of 15042 with flag 2000/548912
64.64/34.69	c cleaning 6754 clauses out of 13525 with flag 8000/554912
65.55/35.14	c cleaning 6881 clauses out of 13771 with flag 15000/561912
66.66/35.70	c cleaning 7441 clauses out of 14890 with flag 23000/569912
67.73/36.35	c cleaning 8220 clauses out of 16450 with flag 32001/578913
69.03/37.03	c cleaning 9110 clauses out of 18229 with flag 42000/588912
70.33/37.75	c cleaning 9551 clauses out of 19120 with flag 52001/598913
71.63/38.48	c cleaning 9768 clauses out of 19569 with flag 62001/608913
73.26/39.31	c cleaning 9881 clauses out of 19801 with flag 72001/618913
74.56/40.09	c cleaning 9942 clauses out of 19919 with flag 82000/628912
76.05/40.88	c cleaning 9987 clauses out of 19978 with flag 92001/638913
77.54/41.66	c cleaning 9985 clauses out of 19991 with flag 102001/648913
79.18/42.56	c cleaning 9985 clauses out of 20005 with flag 112000/658912
80.67/43.37	c cleaning 10003 clauses out of 20020 with flag 122000/668912
82.17/44.15	c cleaning 10006 clauses out of 20017 with flag 132000/678912
83.65/44.95	c cleaning 9999 clauses out of 20011 with flag 142000/688912
85.28/45.87	c cleaning 9991 clauses out of 20013 with flag 152001/698913
86.78/46.69	c cleaning 9991 clauses out of 20021 with flag 162000/708912
88.67/47.60	c cleaning 10012 clauses out of 20031 with flag 172001/718913
89.98/48.38	c cleaning 9989 clauses out of 20018 with flag 182000/728912
91.58/49.26	c cleaning 9997 clauses out of 20030 with flag 192001/738913
93.26/50.14	c cleaning 10001 clauses out of 20032 with flag 202000/748912
94.75/51.00	c cleaning 10010 clauses out of 20031 with flag 212000/758912
96.43/51.82	c cleaning 9996 clauses out of 20021 with flag 222000/768912
98.06/52.74	c cleaning 10009 clauses out of 20027 with flag 232002/778914
99.73/53.62	c cleaning 10008 clauses out of 20020 with flag 242004/788916
101.21/54.49	c cleaning 9994 clauses out of 20009 with flag 252001/798913
102.89/55.36	c cleaning 9995 clauses out of 20014 with flag 262000/808912
104.50/56.29	c cleaning 9986 clauses out of 20019 with flag 272000/818912
106.20/57.18	c cleaning 9996 clauses out of 20034 with flag 282001/828913
107.87/58.04	c cleaning 10000 clauses out of 20036 with flag 292000/838912
109.56/58.94	c cleaning 10002 clauses out of 20037 with flag 302001/848913
111.35/59.97	c cleaning 9995 clauses out of 20034 with flag 312000/858912
113.03/60.87	c cleaning 9999 clauses out of 20039 with flag 322000/868912
114.71/61.77	c cleaning 9997 clauses out of 20041 with flag 332001/878913
116.39/62.67	c cleaning 10001 clauses out of 20044 with flag 342001/888913
118.18/63.64	c cleaning 10013 clauses out of 20043 with flag 352001/898913
119.85/64.57	c cleaning 9992 clauses out of 20029 with flag 362000/908912
121.52/65.49	c cleaning 10007 clauses out of 20038 with flag 372001/918913
123.39/66.41	c cleaning 9993 clauses out of 20030 with flag 382000/928912
125.18/67.40	c cleaning 10012 clauses out of 20037 with flag 392000/938912
126.85/68.31	c cleaning 9992 clauses out of 20025 with flag 402000/948912
128.53/69.23	c cleaning 10004 clauses out of 20034 with flag 412001/958913
130.18/70.14	c cleaning 10010 clauses out of 20031 with flag 422002/968914
131.96/71.13	c cleaning 9999 clauses out of 20020 with flag 432001/978913
133.62/72.05	c cleaning 10001 clauses out of 20021 with flag 442001/988913
135.28/72.97	c cleaning 10001 clauses out of 20020 with flag 452001/998913
136.93/73.89	c cleaning 9990 clauses out of 20018 with flag 462000/1008912
138.72/74.88	c cleaning 9993 clauses out of 20029 with flag 472001/1018913
140.36/75.78	c cleaning 9988 clauses out of 20035 with flag 482000/1028912
142.01/76.69	c cleaning 10004 clauses out of 20048 with flag 492001/1038913
143.88/77.63	c cleaning 10005 clauses out of 20044 with flag 502001/1048913
145.65/78.63	c cleaning 9999 clauses out of 20039 with flag 512001/1058913
147.29/79.57	c cleaning 10001 clauses out of 20039 with flag 522000/1068912
148.94/80.44	c cleaning 10004 clauses out of 20038 with flag 532000/1078912
150.61/81.34	c cleaning 10005 clauses out of 20034 with flag 542000/1088912
152.37/82.30	c cleaning 9993 clauses out of 20029 with flag 552000/1098912
154.01/83.21	c cleaning 10012 clauses out of 20036 with flag 562000/1108912
155.67/84.15	c cleaning 9990 clauses out of 20024 with flag 572000/1118912
157.33/85.08	c cleaning 10001 clauses out of 20034 with flag 582000/1128912
159.28/86.13	c cleaning 10005 clauses out of 20031 with flag 592001/1138913
160.93/87.09	c cleaning 9993 clauses out of 20026 with flag 602001/1148913
162.79/88.06	c cleaning 9995 clauses out of 20032 with flag 612000/1158912
164.64/89.02	c cleaning 9998 clauses out of 20036 with flag 622000/1168912
166.38/90.04	c cleaning 9999 clauses out of 20037 with flag 632000/1178912
168.02/90.98	c cleaning 10005 clauses out of 20037 with flag 642000/1188912
169.85/91.93	c cleaning 10004 clauses out of 20029 with flag 652000/1198912
170.70/92.47	c  And the winner is Resolution
171.22/93.45	c starts		: 432
171.22/93.45	c conflicts		: 1204237
171.22/93.45	c decisions		: 1438672
171.22/93.45	c propagations		: 68980086
171.22/93.45	c inspects		: 614197552
171.22/93.45	c shortcuts		: 0
171.22/93.45	c learnt literals	: 36
171.22/93.45	c learnt binary clauses	: 256
171.22/93.45	c learnt ternary clauses	: 1357
171.22/93.45	c learnt constraints	: 1204200
171.22/93.45	c ignored constraints	: 0
171.22/93.45	c root simplifications	: 0
171.22/93.45	c removed literals (reason simplification)	: 15200727
171.22/93.45	c reason swapping (by a shorter reason)	: 0
171.22/93.45	c Calls to reduceDB	: 127
171.22/93.45	c number of reductions to clauses (during analyze)	: 0
171.22/93.45	c number of learned constraints concerned by reduction	: 0
171.22/93.45	c number of learning phase by resolution	: 0
171.22/93.45	c number of learning phase by cutting planes	: 0
171.22/93.45	c speed (assignments/second)	: 1162827.4304209303
171.22/93.45	c non guided choices	358
171.22/93.45	c learnt constraints type 
171.22/93.45	c constraints type 
171.22/93.45	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1550
171.22/93.45	c org.sat4j.minisat.constraints.card.MinWatchCard => 24
171.22/93.45	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 378
171.22/93.45	c constraints type 
171.22/93.45	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 378
171.22/93.45	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1550
171.22/93.45	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 24
171.22/93.45	s OPTIMUM FOUND
171.22/93.45	v -x1 x2 x3 x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 x14 -x15 -x16 x17 -x18 -x19 -x20 x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 x55 x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 x71 -x72 x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 x83 -x84 -x85 x86 -x87 -x88 -x89 x90 -x91 -x92 -x93 x94 -x95 -x96 -x97 -x98 -x99 x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 x113 -x114 -x115 -x116 x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 x155 x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 x180 -x181 -x182 -x183 x184 -x185 -x186 -x187 x188 -x189 -x190 -x191 x192 -x193 x194 x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 x206 -x207 -x208 -x209 x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 x247 x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 x272 x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 x331 -x332 -x333 -x334 x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 x358 -x359 -x360 x361 x362 -x363 -x364 -x365 x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 x388 x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 x469 -x470 -x471 -x472 x473 -x474 -x475 -x476 x477 -x478 -x479 -x480 x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 
171.22/93.45	c objective function=64
171.22/93.45	c Total wall clock time (in seconds): 93.328

Verifier Data 

OK	64

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

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

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


[startup+0 s]
/proc/loadavg: 3.45 3.59 3.65 3/197 2797
/proc/meminfo: memFree=26269632/32873844 swapFree=7628/7628
[pid=2797] ppid=2795 vsize=23236 CPUtime=0 cores=0,2,4,6
/proc/2797/stat : 2797 (java) R 2795 2797 442 0 -1 4202496 978 0 0 0 0 0 0 0 20 0 1 0 334576505 23793664 707 33554432000 1073741824 1073778376 140736623266544 140736623255608 254741093496 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/2797/statm: 5809 707 522 9 0 128 0

[startup+0.022433 s]
/proc/loadavg: 3.45 3.59 3.65 3/197 2797
/proc/meminfo: memFree=26269632/32873844 swapFree=7628/7628
[pid=2797] ppid=2795 vsize=10510056 CPUtime=0.01 cores=0,2,4,6
/proc/2797/stat : 2797 (java) S 2795 2797 442 0 -1 4202496 3146 0 1 0 0 1 0 0 20 0 2 0 334576505 10762297344 8960 33554432000 1073741824 1073778376 140736623266544 140736623257680 254753669181 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2797/statm: 2627514 8960 942 9 0 2618623 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 10510056

[startup+0.100188 s]
/proc/loadavg: 3.45 3.59 3.65 3/197 2797
/proc/meminfo: memFree=26269632/32873844 swapFree=7628/7628
[pid=2797] ppid=2795 vsize=11586392 CPUtime=0.1 cores=0,2,4,6
/proc/2797/stat : 2797 (java) S 2795 2797 442 0 -1 4202496 5239 0 1 0 9 1 0 0 20 0 18 0 334576505 11864465408 13592 33554432000 1073741824 1073778376 140736623266544 140736623257680 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2797/statm: 2896598 13592 2106 9 0 2887285 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 11586392

[startup+0.300218 s]
/proc/loadavg: 3.45 3.59 3.65 3/197 2797
/proc/meminfo: memFree=26269632/32873844 swapFree=7628/7628
[pid=2797] ppid=2795 vsize=11586392 CPUtime=0.47 cores=0,2,4,6
/proc/2797/stat : 2797 (java) S 2795 2797 442 0 -1 4202496 6297 0 1 0 45 2 0 0 20 0 18 0 334576505 11864465408 15850 33554432000 1073741824 1073778376 140736623266544 140736623257680 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2797/statm: 2896598 15850 2223 9 0 2887285 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 11586392

[startup+0.700179 s]
/proc/loadavg: 3.45 3.59 3.65 3/197 2797
/proc/meminfo: memFree=26269632/32873844 swapFree=7628/7628
[pid=2797] ppid=2795 vsize=11852648 CPUtime=2 cores=0,2,4,6
/proc/2797/stat : 2797 (java) S 2795 2797 442 0 -1 4202496 15542 0 1 0 196 4 0 0 20 0 22 0 334576505 12137111552 33412 33554432000 1073741824 1073778376 140736623266544 140736623257680 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2797/statm: 2963162 33412 2249 9 0 2953849 0
Current children cumulated CPU time (s) 2
Current children cumulated vsize (KiB) 11852648

[startup+1.50072 s]
/proc/loadavg: 3.45 3.59 3.65 7/219 2819
/proc/meminfo: memFree=26072980/32873844 swapFree=7628/7628
[pid=2797] ppid=2795 vsize=11852648 CPUtime=4.48 cores=0,2,4,6
/proc/2797/stat : 2797 (java) S 2795 2797 442 0 -1 4202496 22335 0 1 0 440 8 0 0 20 0 22 0 334576505 12137111552 68081 33554432000 1073741824 1073778376 140736623266544 140736623257680 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2797/statm: 2963162 68081 2280 9 0 2953849 0
[pid=2797/tid=2799] ppid=2795 vsize=11852648 CPUtime=0.29 cores=0,2,4,6
/proc/2797/task/2799/stat : 2799 (java) S 2795 2797 442 0 -1 4202560 3378 0 1 0 27 2 0 0 20 0 22 0 334576506 12137111552 68081 33554432000 1073741824 1073778376 140736623266544 139729830139032 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2797/tid=2800] ppid=2795 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2797/task/2800/stat : 2800 (java) S 2795 2797 442 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 334576508 12137111552 68081 33554432000 1073741824 1073778376 140736623266544 139729784891816 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2797/tid=2801] ppid=2795 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2797/task/2801/stat : 2801 (java) S 2795 2797 442 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 334576508 12137111552 68081 33554432000 1073741824 1073778376 140736623266544 139729783839272 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2797/tid=2802] ppid=2795 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2797/task/2802/stat : 2802 (java) S 2795 2797 442 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 334576508 12137111552 68081 33554432000 1073741824 1073778376 140736623266544 139729782786216 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2797/tid=2803] ppid=2795 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2797/task/2803/stat : 2803 (java) S 2795 2797 442 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 334576508 12137111552 68081 33554432000 1073741824 1073778376 140736623266544 139729664207144 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2797/tid=2804] ppid=2795 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2797/task/2804/stat : 2804 (java) S 2795 2797 442 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 334576508 12137111552 68081 33554432000 1073741824 1073778376 140736623266544 139729663155112 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2797/tid=2805] ppid=2795 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2797/task/2805/stat : 2805 (java) S 2795 2797 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334576508 12137111552 68081 33554432000 1073741824 1073778376 140736623266544 139729662102568 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2797/tid=2806] ppid=2795 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2797/task/2806/stat : 2806 (java) S 2795 2797 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334576508 12137111552 68081 33554432000 1073741824 1073778376 140736623266544 139729661049512 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2797/tid=2807] ppid=2795 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2797/task/2807/stat : 2807 (java) S 2795 2797 442 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 334576508 12137111552 68081 33554432000 1073741824 1073778376 140736623266544 139729659996968 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2797/tid=2808] ppid=2795 vsize=11852648 CPUtime=0.04 cores=0,2,4,6
/proc/2797/task/2808/stat : 2808 (java) S 2795 2797 442 0 -1 4202560 39 0 0 0 4 0 0 0 20 0 22 0 334576509 12137111552 68081 33554432000 1073741824 1073778376 140736623266544 139729177667944 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2797/tid=2809] ppid=2795 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2797/task/2809/stat : 2809 (java) S 2795 2797 442 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 334576510 12137111552 68081 33554432000 1073741824 1073778376 140736623266544 139729176614264 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2797/tid=2810] ppid=2795 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2797/task/2810/stat : 2810 (java) S 2795 2797 442 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 334576510 12137111552 68081 33554432000 1073741824 1073778376 140736623266544 139729175561096 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2797/tid=2811] ppid=2795 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2797/task/2811/stat : 2811 (java) S 2795 2797 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334576512 12137111552 68081 33554432000 1073741824 1073778376 140736623266544 139729174509840 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2797/tid=2812] ppid=2795 vsize=11852648 CPUtime=0.83 cores=0,2,4,6
/proc/2797/task/2812/stat : 2812 (java) S 2795 2797 442 0 -1 4202560 6035 0 0 0 83 0 0 0 20 0 22 0 334576512 12137111552 68081 33554432000 1073741824 1073778376 140736623266544 139729173457720 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2797/tid=2813] ppid=2795 vsize=11852648 CPUtime=1.02 cores=0,2,4,6
/proc/2797/task/2813/stat : 2813 (java) S 2795 2797 442 0 -1 4202560 11469 0 0 0 100 2 0 0 20 0 22 0 334576512 12137111552 68081 33554432000 1073741824 1073778376 140736623266544 139729172405176 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2797/tid=2814] ppid=2795 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2797/task/2814/stat : 2814 (java) S 2795 2797 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334576512 12137111552 68081 33554432000 1073741824 1073778376 140736623266544 139729171352312 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2797/tid=2815] ppid=2795 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2797/task/2815/stat : 2815 (java) S 2795 2797 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334576512 12137111552 68081 33554432000 1073741824 1073778376 140736623266544 139729170299976 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2797/tid=2816] ppid=2795 vsize=11852648 CPUtime=1.1 cores=0,2,4,6
/proc/2797/task/2816/stat : 2816 (java) R 2795 2797 442 0 -1 4202560 24 0 0 0 110 0 0 0 20 0 22 0 334576537 12137111552 68081 33554432000 1073741824 1073778376 140736623266544 139729169244616 139729664781648 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=2797/tid=2817] ppid=2795 vsize=11852648 CPUtime=1.1 cores=0,2,4,6
/proc/2797/task/2817/stat : 2817 (java) R 2795 2797 442 0 -1 4202560 153 0 0 0 107 3 0 0 20 0 22 0 334576537 12137111552 68081 33554432000 1073741824 1073778376 140736623266544 139729168191752 139729665143092 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=2797/tid=2818] ppid=2795 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2797/task/2818/stat : 2818 (java) S 2795 2797 442 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 334576538 12137111552 68081 33554432000 1073741824 1073778376 140736623266544 139729167139624 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2797/tid=2819] ppid=2795 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2797/task/2819/stat : 2819 (java) S 2795 2797 442 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 334576538 12137111552 68081 33554432000 1073741824 1073778376 140736623266544 139729166087080 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 4.48
Current children cumulated vsize (KiB) 11852648

[startup+3.10071 s]
/proc/loadavg: 3.45 3.59 3.65 4/216 2819
/proc/meminfo: memFree=25939372/32873844 swapFree=7628/7628
[pid=2797] ppid=2795 vsize=11852648 CPUtime=7.06 cores=0,2,4,6
/proc/2797/stat : 2797 (java) S 2795 2797 442 0 -1 4202496 22422 0 1 0 695 11 0 0 20 0 22 0 334576505 12137111552 85012 33554432000 1073741824 1073778376 140736623266544 140736623257680 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2797/statm: 2963162 85012 2281 9 0 2953849 0
[pid=2797/tid=2799] ppid=2795 vsize=11852648 CPUtime=0.3 cores=0,2,4,6
/proc/2797/task/2799/stat : 2799 (java) S 2795 2797 442 0 -1 4202560 3378 0 1 0 28 2 0 0 20 0 22 0 334576506 12137111552 85012 33554432000 1073741824 1073778376 140736623266544 139729830139032 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2797/tid=2800] ppid=2795 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2797/task/2800/stat : 2800 (java) S 2795 2797 442 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 334576508 12137111552 85012 33554432000 1073741824 1073778376 140736623266544 139729784891816 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2797/tid=2801] ppid=2795 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2797/task/2801/stat : 2801 (java) S 2795 2797 442 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 334576508 12137111552 85012 33554432000 1073741824 1073778376 140736623266544 139729783839272 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2797/tid=2802] ppid=2795 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2797/task/2802/stat : 2802 (java) S 2795 2797 442 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 334576508 12137111552 85012 33554432000 1073741824 1073778376 140736623266544 139729782786216 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2797/tid=2803] ppid=2795 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2797/task/2803/stat : 2803 (java) S 2795 2797 442 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 334576508 12137111552 85012 33554432000 1073741824 1073778376 140736623266544 139729664207144 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2797/tid=2804] ppid=2795 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2797/task/2804/stat : 2804 (java) S 2795 2797 442 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 334576508 12137111552 85012 33554432000 1073741824 1073778376 140736623266544 139729663155112 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2797/tid=2805] ppid=2795 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2797/task/2805/stat : 2805 (java) S 2795 2797 442 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 334576508 12137111552 85012 33554432000 1073741824 1073778376 140736623266544 139729662102568 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2797/tid=2806] ppid=2795 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2797/task/2806/stat : 2806 (java) S 2795 2797 442 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 334576508 12137111552 85012 33554432000 1073741824 1073778376 140736623266544 139729661049512 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2797/tid=2807] ppid=2795 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2797/task/2807/stat : 2807 (java) S 2795 2797 442 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 334576508 12137111552 85012 33554432000 1073741824 1073778376 140736623266544 139729659996968 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2797/tid=2808] ppid=2795 vsize=11852648 CPUtime=0.17 cores=0,2,4,6
/proc/2797/task/2808/stat : 2808 (java) S 2795 2797 442 0 -1 4202560 42 0 0 0 17 0 0 0 20 0 22 0 334576509 12137111552 85012 33554432000 1073741824 1073778376 140736623266544 139729177667944 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2797/tid=2809] ppid=2795 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2797/task/2809/stat : 2809 (java) S 2795 2797 442 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 334576510 12137111552 85012 33554432000 1073741824 1073778376 140736623266544 139729176614264 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2797/tid=2810] ppid=2795 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2797/task/2810/stat : 2810 (java) S 2795 2797 442 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 334576510 12137111552 85012 33554432000 1073741824 1073778376 140736623266544 139729175561096 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2797/tid=2811] ppid=2795 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2797/task/2811/stat : 2811 (java) S 2795 2797 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334576512 12137111552 85012 33554432000 1073741824 1073778376 140736623266544 139729174509840 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2797/tid=2812] ppid=2795 vsize=11852648 CPUtime=0.94 cores=0,2,4,6
/proc/2797/task/2812/stat : 2812 (java) S 2795 2797 442 0 -1 4202560 6066 0 0 0 92 2 0 0 20 0 22 0 334576512 12137111552 85012 33554432000 1073741824 1073778376 140736623266544 139729173457720 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2797/tid=2813] ppid=2795 vsize=11852648 CPUtime=1.03 cores=0,2,4,6
/proc/2797/task/2813/stat : 2813 (java) S 2795 2797 442 0 -1 4202560 11469 0 0 0 101 2 0 0 20 0 22 0 334576512 12137111552 85012 33554432000 1073741824 1073778376 140736623266544 139729172405176 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2797/tid=2814] ppid=2795 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2797/task/2814/stat : 2814 (java) S 2795 2797 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334576512 12137111552 85012 33554432000 1073741824 1073778376 140736623266544 139729171352312 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2797/tid=2815] ppid=2795 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2797/task/2815/stat : 2815 (java) S 2795 2797 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334576512 12137111552 85012 33554432000 1073741824 1073778376 140736623266544 139729170299976 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2797/tid=2818] ppid=2795 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2797/task/2818/stat : 2818 (java) S 2795 2797 442 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 334576538 12137111552 85012 33554432000 1073741824 1073778376 140736623266544 139729167139624 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 7.06
Current children cumulated vsize (KiB) 11852648

[startup+6.30081 s]
/proc/loadavg: 3.41 3.58 3.65 4/219 2825
/proc/meminfo: memFree=25912740/32873844 swapFree=7628/7628
[pid=2797] ppid=2795 vsize=11852648 CPUtime=12.86 cores=0,2,4,6
/proc/2797/stat : 2797 (java) S 2795 2797 442 0 -1 4202496 22478 0 1 0 1272 14 0 0 20 0 22 0 334576505 12137111552 101796 33554432000 1073741824 1073778376 140736623266544 140736623257680 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2797/statm: 2963162 101796 2281 9 0 2953849 0
[pid=2797/tid=2799] ppid=2795 vsize=11852648 CPUtime=0.3 cores=0,2,4,6
/proc/2797/task/2799/stat : 2799 (java) S 2795 2797 442 0 -1 4202560 3378 0 1 0 28 2 0 0 20 0 22 0 334576506 12137111552 101796 33554432000 1073741824 1073778376 140736623266544 139729830139032 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2797/tid=2800] ppid=2795 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2797/task/2800/stat : 2800 (java) S 2795 2797 442 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 334576508 12137111552 101796 33554432000 1073741824 1073778376 140736623266544 139729784891816 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2797/tid=2801] ppid=2795 vsize=11852648 CPUtime=0.01 cores=0,2,4,6
/proc/2797/task/2801/stat : 2801 (java) S 2795 2797 442 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 22 0 334576508 12137111552 101796 33554432000 1073741824 1073778376 140736623266544 139729783839272 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2797/tid=2802] ppid=2795 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2797/task/2802/stat : 2802 (java) S 2795 2797 442 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 334576508 12137111552 101796 33554432000 1073741824 1073778376 140736623266544 139729782786216 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2797/tid=2803] ppid=2795 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2797/task/2803/stat : 2803 (java) S 2795 2797 442 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 334576508 12137111552 101796 33554432000 1073741824 1073778376 140736623266544 139729664207144 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2797/tid=2804] ppid=2795 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2797/task/2804/stat : 2804 (java) S 2795 2797 442 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 334576508 12137111552 101796 33554432000 1073741824 1073778376 140736623266544 139729663155112 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2797/tid=2805] ppid=2795 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2797/task/2805/stat : 2805 (java) S 2795 2797 442 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 334576508 12137111552 101796 33554432000 1073741824 1073778376 140736623266544 139729662102568 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2797/tid=2806] ppid=2795 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2797/task/2806/stat : 2806 (java) S 2795 2797 442 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 334576508 12137111552 101796 33554432000 1073741824 1073778376 140736623266544 139729661049512 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2797/tid=2807] ppid=2795 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2797/task/2807/stat : 2807 (java) S 2795 2797 442 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 334576508 12137111552 101796 33554432000 1073741824 1073778376 140736623266544 139729659996968 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2797/tid=2808] ppid=2795 vsize=11852648 CPUtime=0.48 cores=0,2,4,6
/proc/2797/task/2808/stat : 2808 (java) S 2795 2797 442 0 -1 4202560 46 0 0 0 48 0 0 0 20 0 22 0 334576509 12137111552 101796 33554432000 1073741824 1073778376 140736623266544 139729177667944 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2797/tid=2809] ppid=2795 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2797/task/2809/stat : 2809 (java) S 2795 2797 442 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 334576510 12137111552 101796 33554432000 1073741824 1073778376 140736623266544 139729176614264 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2797/tid=2810] ppid=2795 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2797/task/2810/stat : 2810 (java) S 2795 2797 442 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 334576510 12137111552 101796 33554432000 1073741824 1073778376 140736623266544 139729175561096 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2797/tid=2811] ppid=2795 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2797/task/2811/stat : 2811 (java) S 2795 2797 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334576512 12137111552 101796 33554432000 1073741824 1073778376 140736623266544 139729174509840 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2797/tid=2812] ppid=2795 vsize=11852648 CPUtime=0.98 cores=0,2,4,6
/proc/2797/task/2812/stat : 2812 (java) S 2795 2797 442 0 -1 4202560 6066 0 0 0 96 2 0 0 20 0 22 0 334576512 12137111552 101796 33554432000 1073741824 1073778376 140736623266544 139729173457720 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2797/tid=2813] ppid=2795 vsize=11852648 CPUtime=1.03 cores=0,2,4,6
/proc/2797/task/2813/stat : 2813 (java) S 2795 2797 442 0 -1 4202560 11469 0 0 0 101 2 0 0 20 0 22 0 334576512 12137111552 101796 33554432000 1073741824 1073778376 140736623266544 139729172405176 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2797/tid=2814] ppid=2795 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2797/task/2814/stat : 2814 (java) S 2795 2797 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334576512 12137111552 101796 33554432000 1073741824 1073778376 140736623266544 139729171352312 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2797/tid=2815] ppid=2795 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2797/task/2815/stat : 2815 (java) S 2795 2797 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334576512 12137111552 101796 33554432000 1073741824 1073778376 140736623266544 139729170299976 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0

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

[pid=2797/tid=2805] ppid=2795 vsize=11852648 CPUtime=0.35 cores=0,2,4,6
/proc/2797/task/2805/stat : 2805 (java) S 2795 2797 442 0 -1 4202560 26 0 0 0 35 0 0 0 20 0 19 0 334576508 12137111552 138796 33554432000 1073741824 1073778376 140736623266544 139729662102568 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2797/tid=2806] ppid=2795 vsize=11852648 CPUtime=0.34 cores=0,2,4,6
/proc/2797/task/2806/stat : 2806 (java) S 2795 2797 442 0 -1 4202560 21 0 0 0 34 0 0 0 20 0 19 0 334576508 12137111552 138796 33554432000 1073741824 1073778376 140736623266544 139729661049512 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2797/tid=2807] ppid=2795 vsize=11852648 CPUtime=0.3 cores=0,2,4,6
/proc/2797/task/2807/stat : 2807 (java) S 2795 2797 442 0 -1 4202560 24 0 0 0 30 0 0 0 20 0 19 0 334576508 12137111552 138796 33554432000 1073741824 1073778376 140736623266544 139729659996968 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2797/tid=2808] ppid=2795 vsize=11852648 CPUtime=14.23 cores=0,2,4,6
/proc/2797/task/2808/stat : 2808 (java) S 2795 2797 442 0 -1 4202560 95 0 0 0 1421 2 0 0 20 0 19 0 334576509 12137111552 138796 33554432000 1073741824 1073778376 140736623266544 139729177667944 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2797/tid=2809] ppid=2795 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2797/task/2809/stat : 2809 (java) S 2795 2797 442 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 334576510 12137111552 138796 33554432000 1073741824 1073778376 140736623266544 139729176614264 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2797/tid=2810] ppid=2795 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2797/task/2810/stat : 2810 (java) S 2795 2797 442 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 334576510 12137111552 138796 33554432000 1073741824 1073778376 140736623266544 139729175561096 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2797/tid=2811] ppid=2795 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2797/task/2811/stat : 2811 (java) S 2795 2797 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334576512 12137111552 138796 33554432000 1073741824 1073778376 140736623266544 139729174509840 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2797/tid=2812] ppid=2795 vsize=11852648 CPUtime=1.04 cores=0,2,4,6
/proc/2797/task/2812/stat : 2812 (java) S 2795 2797 442 0 -1 4202560 6067 0 0 0 102 2 0 0 20 0 19 0 334576512 12137111552 138796 33554432000 1073741824 1073778376 140736623266544 139729173457720 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2797/tid=2813] ppid=2795 vsize=11852648 CPUtime=1.18 cores=0,2,4,6
/proc/2797/task/2813/stat : 2813 (java) S 2795 2797 442 0 -1 4202560 11483 0 0 0 116 2 0 0 20 0 19 0 334576512 12137111552 138796 33554432000 1073741824 1073778376 140736623266544 139729172405176 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2797/tid=2814] ppid=2795 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2797/task/2814/stat : 2814 (java) S 2795 2797 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334576512 12137111552 138796 33554432000 1073741824 1073778376 140736623266544 139729171352312 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2797/tid=2815] ppid=2795 vsize=11852648 CPUtime=0.03 cores=0,2,4,6
/proc/2797/task/2815/stat : 2815 (java) S 2795 2797 442 0 -1 4202560 5 0 0 0 1 2 0 0 20 0 19 0 334576512 12137111552 138796 33554432000 1073741824 1073778376 140736623266544 139729170299976 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2797/tid=2837] ppid=2795 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2797/task/2837/stat : 2837 (java) S 2795 2797 442 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 334579919 12137111552 138796 33554432000 1073741824 1073778376 140736623266544 139729166087592 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 170.65
Current children cumulated vsize (KiB) 11852648

[startup+93.1007 s]
/proc/loadavg: 3.52 3.58 3.64 5/220 2846
/proc/meminfo: memFree=25659972/32873844 swapFree=7628/7628
[pid=2797] ppid=2795 vsize=11852648 CPUtime=170.9 cores=0,2,4,6
/proc/2797/stat : 2797 (java) S 2795 2797 442 0 -1 4202496 22835 0 1 0 17063 27 0 0 20 0 19 0 334576505 12137111552 138796 33554432000 1073741824 1073778376 140736623266544 140736623257680 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2797/statm: 2963162 138796 2282 9 0 2953849 0
[pid=2797/tid=2799] ppid=2795 vsize=11852648 CPUtime=0.54 cores=0,2,4,6
/proc/2797/task/2799/stat : 2799 (java) R 2795 2797 442 0 -1 4202560 3397 0 1 0 52 2 0 0 20 0 19 0 334576506 12137111552 138796 33554432000 1073741824 1073778376 140736623266544 139729830138536 139729664481206 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=2797/tid=2800] ppid=2795 vsize=11852648 CPUtime=0.3 cores=0,2,4,6
/proc/2797/task/2800/stat : 2800 (java) S 2795 2797 442 0 -1 4202560 18 0 0 0 30 0 0 0 20 0 19 0 334576508 12137111552 138796 33554432000 1073741824 1073778376 140736623266544 139729784891816 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2797/tid=2801] ppid=2795 vsize=11852648 CPUtime=0.29 cores=0,2,4,6
/proc/2797/task/2801/stat : 2801 (java) S 2795 2797 442 0 -1 4202560 21 0 0 0 29 0 0 0 20 0 19 0 334576508 12137111552 138796 33554432000 1073741824 1073778376 140736623266544 139729783839272 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2797/tid=2802] ppid=2795 vsize=11852648 CPUtime=0.3 cores=0,2,4,6
/proc/2797/task/2802/stat : 2802 (java) S 2795 2797 442 0 -1 4202560 25 0 0 0 30 0 0 0 20 0 19 0 334576508 12137111552 138796 33554432000 1073741824 1073778376 140736623266544 139729782786216 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2797/tid=2803] ppid=2795 vsize=11852648 CPUtime=0.27 cores=0,2,4,6
/proc/2797/task/2803/stat : 2803 (java) S 2795 2797 442 0 -1 4202560 28 0 0 0 27 0 0 0 20 0 19 0 334576508 12137111552 138796 33554432000 1073741824 1073778376 140736623266544 139729664207144 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2797/tid=2804] ppid=2795 vsize=11852648 CPUtime=0.3 cores=0,2,4,6
/proc/2797/task/2804/stat : 2804 (java) S 2795 2797 442 0 -1 4202560 21 0 0 0 30 0 0 0 20 0 19 0 334576508 12137111552 138796 33554432000 1073741824 1073778376 140736623266544 139729663155112 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2797/tid=2805] ppid=2795 vsize=11852648 CPUtime=0.35 cores=0,2,4,6
/proc/2797/task/2805/stat : 2805 (java) S 2795 2797 442 0 -1 4202560 26 0 0 0 35 0 0 0 20 0 19 0 334576508 12137111552 138796 33554432000 1073741824 1073778376 140736623266544 139729662102568 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2797/tid=2806] ppid=2795 vsize=11852648 CPUtime=0.34 cores=0,2,4,6
/proc/2797/task/2806/stat : 2806 (java) S 2795 2797 442 0 -1 4202560 21 0 0 0 34 0 0 0 20 0 19 0 334576508 12137111552 138796 33554432000 1073741824 1073778376 140736623266544 139729661049512 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2797/tid=2807] ppid=2795 vsize=11852648 CPUtime=0.3 cores=0,2,4,6
/proc/2797/task/2807/stat : 2807 (java) S 2795 2797 442 0 -1 4202560 24 0 0 0 30 0 0 0 20 0 19 0 334576508 12137111552 138796 33554432000 1073741824 1073778376 140736623266544 139729659996968 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2797/tid=2808] ppid=2795 vsize=11852648 CPUtime=14.23 cores=0,2,4,6
/proc/2797/task/2808/stat : 2808 (java) S 2795 2797 442 0 -1 4202560 95 0 0 0 1421 2 0 0 20 0 19 0 334576509 12137111552 138796 33554432000 1073741824 1073778376 140736623266544 139729177667944 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2797/tid=2809] ppid=2795 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2797/task/2809/stat : 2809 (java) S 2795 2797 442 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 334576510 12137111552 138796 33554432000 1073741824 1073778376 140736623266544 139729176614264 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2797/tid=2810] ppid=2795 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2797/task/2810/stat : 2810 (java) S 2795 2797 442 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 334576510 12137111552 138796 33554432000 1073741824 1073778376 140736623266544 139729175561096 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2797/tid=2811] ppid=2795 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2797/task/2811/stat : 2811 (java) S 2795 2797 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334576512 12137111552 138796 33554432000 1073741824 1073778376 140736623266544 139729174509840 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2797/tid=2812] ppid=2795 vsize=11852648 CPUtime=1.05 cores=0,2,4,6
/proc/2797/task/2812/stat : 2812 (java) S 2795 2797 442 0 -1 4202560 6067 0 0 0 103 2 0 0 20 0 19 0 334576512 12137111552 138796 33554432000 1073741824 1073778376 140736623266544 139729173457720 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2797/tid=2813] ppid=2795 vsize=11852648 CPUtime=1.19 cores=0,2,4,6
/proc/2797/task/2813/stat : 2813 (java) S 2795 2797 442 0 -1 4202560 11483 0 0 0 117 2 0 0 20 0 19 0 334576512 12137111552 138796 33554432000 1073741824 1073778376 140736623266544 139729172405176 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2797/tid=2814] ppid=2795 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2797/task/2814/stat : 2814 (java) S 2795 2797 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334576512 12137111552 138796 33554432000 1073741824 1073778376 140736623266544 139729171352312 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2797/tid=2815] ppid=2795 vsize=11852648 CPUtime=0.03 cores=0,2,4,6
/proc/2797/task/2815/stat : 2815 (java) S 2795 2797 442 0 -1 4202560 5 0 0 0 1 2 0 0 20 0 19 0 334576512 12137111552 138796 33554432000 1073741824 1073778376 140736623266544 139729170299976 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2797/tid=2837] ppid=2795 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2797/task/2837/stat : 2837 (java) S 2795 2797 442 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 334579919 12137111552 138796 33554432000 1073741824 1073778376 140736623266544 139729166087592 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 170.9
Current children cumulated vsize (KiB) 11852648

[startup+93.3006 s]
/proc/loadavg: 3.52 3.58 3.64 5/220 2846
/proc/meminfo: memFree=25659972/32873844 swapFree=7628/7628
[pid=2797] ppid=2795 vsize=11852648 CPUtime=171.1 cores=0,2,4,6
/proc/2797/stat : 2797 (java) S 2795 2797 442 0 -1 4202496 22835 0 1 0 17083 27 0 0 20 0 19 0 334576505 12137111552 138796 33554432000 1073741824 1073778376 140736623266544 140736623257680 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2797/statm: 2963162 138796 2282 9 0 2953849 0
[pid=2797/tid=2799] ppid=2795 vsize=11852648 CPUtime=0.74 cores=0,2,4,6
/proc/2797/task/2799/stat : 2799 (java) R 2795 2797 442 0 -1 4202560 3397 0 1 0 72 2 0 0 20 0 19 0 334576506 12137111552 138796 33554432000 1073741824 1073778376 140736623266544 139729830138536 139729664481187 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=2797/tid=2800] ppid=2795 vsize=11852648 CPUtime=0.3 cores=0,2,4,6
/proc/2797/task/2800/stat : 2800 (java) S 2795 2797 442 0 -1 4202560 18 0 0 0 30 0 0 0 20 0 19 0 334576508 12137111552 138796 33554432000 1073741824 1073778376 140736623266544 139729784891816 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2797/tid=2801] ppid=2795 vsize=11852648 CPUtime=0.29 cores=0,2,4,6
/proc/2797/task/2801/stat : 2801 (java) S 2795 2797 442 0 -1 4202560 21 0 0 0 29 0 0 0 20 0 19 0 334576508 12137111552 138796 33554432000 1073741824 1073778376 140736623266544 139729783839272 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2797/tid=2802] ppid=2795 vsize=11852648 CPUtime=0.3 cores=0,2,4,6
/proc/2797/task/2802/stat : 2802 (java) S 2795 2797 442 0 -1 4202560 25 0 0 0 30 0 0 0 20 0 19 0 334576508 12137111552 138796 33554432000 1073741824 1073778376 140736623266544 139729782786216 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2797/tid=2803] ppid=2795 vsize=11852648 CPUtime=0.27 cores=0,2,4,6
/proc/2797/task/2803/stat : 2803 (java) S 2795 2797 442 0 -1 4202560 28 0 0 0 27 0 0 0 20 0 19 0 334576508 12137111552 138796 33554432000 1073741824 1073778376 140736623266544 139729664207144 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2797/tid=2804] ppid=2795 vsize=11852648 CPUtime=0.3 cores=0,2,4,6
/proc/2797/task/2804/stat : 2804 (java) S 2795 2797 442 0 -1 4202560 21 0 0 0 30 0 0 0 20 0 19 0 334576508 12137111552 138796 33554432000 1073741824 1073778376 140736623266544 139729663155112 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2797/tid=2805] ppid=2795 vsize=11852648 CPUtime=0.35 cores=0,2,4,6
/proc/2797/task/2805/stat : 2805 (java) S 2795 2797 442 0 -1 4202560 26 0 0 0 35 0 0 0 20 0 19 0 334576508 12137111552 138796 33554432000 1073741824 1073778376 140736623266544 139729662102568 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2797/tid=2806] ppid=2795 vsize=11852648 CPUtime=0.34 cores=0,2,4,6
/proc/2797/task/2806/stat : 2806 (java) S 2795 2797 442 0 -1 4202560 21 0 0 0 34 0 0 0 20 0 19 0 334576508 12137111552 138796 33554432000 1073741824 1073778376 140736623266544 139729661049512 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2797/tid=2807] ppid=2795 vsize=11852648 CPUtime=0.3 cores=0,2,4,6
/proc/2797/task/2807/stat : 2807 (java) S 2795 2797 442 0 -1 4202560 24 0 0 0 30 0 0 0 20 0 19 0 334576508 12137111552 138796 33554432000 1073741824 1073778376 140736623266544 139729659996968 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2797/tid=2808] ppid=2795 vsize=11852648 CPUtime=14.23 cores=0,2,4,6
/proc/2797/task/2808/stat : 2808 (java) S 2795 2797 442 0 -1 4202560 95 0 0 0 1421 2 0 0 20 0 19 0 334576509 12137111552 138796 33554432000 1073741824 1073778376 140736623266544 139729177667944 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2797/tid=2809] ppid=2795 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2797/task/2809/stat : 2809 (java) S 2795 2797 442 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 334576510 12137111552 138796 33554432000 1073741824 1073778376 140736623266544 139729176614264 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2797/tid=2810] ppid=2795 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2797/task/2810/stat : 2810 (java) S 2795 2797 442 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 334576510 12137111552 138796 33554432000 1073741824 1073778376 140736623266544 139729175561096 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2797/tid=2811] ppid=2795 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2797/task/2811/stat : 2811 (java) S 2795 2797 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334576512 12137111552 138796 33554432000 1073741824 1073778376 140736623266544 139729174509840 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2797/tid=2812] ppid=2795 vsize=11852648 CPUtime=1.05 cores=0,2,4,6
/proc/2797/task/2812/stat : 2812 (java) S 2795 2797 442 0 -1 4202560 6067 0 0 0 103 2 0 0 20 0 19 0 334576512 12137111552 138796 33554432000 1073741824 1073778376 140736623266544 139729173457720 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2797/tid=2813] ppid=2795 vsize=11852648 CPUtime=1.19 cores=0,2,4,6
/proc/2797/task/2813/stat : 2813 (java) S 2795 2797 442 0 -1 4202560 11483 0 0 0 117 2 0 0 20 0 19 0 334576512 12137111552 138796 33554432000 1073741824 1073778376 140736623266544 139729172405176 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2797/tid=2814] ppid=2795 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2797/task/2814/stat : 2814 (java) S 2795 2797 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334576512 12137111552 138796 33554432000 1073741824 1073778376 140736623266544 139729171352312 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2797/tid=2815] ppid=2795 vsize=11852648 CPUtime=0.03 cores=0,2,4,6
/proc/2797/task/2815/stat : 2815 (java) S 2795 2797 442 0 -1 4202560 5 0 0 0 1 2 0 0 20 0 19 0 334576512 12137111552 138796 33554432000 1073741824 1073778376 140736623266544 139729170299976 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2797/tid=2837] ppid=2795 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2797/task/2837/stat : 2837 (java) S 2795 2797 442 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 334579919 12137111552 138796 33554432000 1073741824 1073778376 140736623266544 139729166087592 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 171.1
Current children cumulated vsize (KiB) 11852648

[startup+93.4007 s]
/proc/loadavg: 3.52 3.58 3.64 4/217 2846
/proc/meminfo: memFree=25659988/32873844 swapFree=7628/7628
[pid=2797] ppid=2795 vsize=11852648 CPUtime=171.22 cores=0,2,4,6
/proc/2797/stat : 2797 (java) S 2795 2797 442 0 -1 4202496 22835 0 1 0 17095 27 0 0 20 0 19 0 334576505 12137111552 138796 33554432000 1073741824 1073778376 140736623266544 140736623257680 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2797/statm: 2963162 138796 2282 9 0 2953849 0
[pid=2797/tid=2799] ppid=2795 vsize=11852648 CPUtime=0.85 cores=0,2,4,6
/proc/2797/task/2799/stat : 2799 (java) R 2795 2797 442 0 -1 4202560 3397 0 1 0 83 2 0 0 20 0 19 0 334576506 12137111552 138796 33554432000 1073741824 1073778376 140736623266544 139729830138536 139729664481218 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=2797/tid=2800] ppid=2795 vsize=11852648 CPUtime=0.3 cores=0,2,4,6
/proc/2797/task/2800/stat : 2800 (java) S 2795 2797 442 0 -1 4202560 18 0 0 0 30 0 0 0 20 0 19 0 334576508 12137111552 138796 33554432000 1073741824 1073778376 140736623266544 139729784891816 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2797/tid=2801] ppid=2795 vsize=11852648 CPUtime=0.29 cores=0,2,4,6
/proc/2797/task/2801/stat : 2801 (java) S 2795 2797 442 0 -1 4202560 21 0 0 0 29 0 0 0 20 0 19 0 334576508 12137111552 138796 33554432000 1073741824 1073778376 140736623266544 139729783839272 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2797/tid=2802] ppid=2795 vsize=11852648 CPUtime=0.3 cores=0,2,4,6
/proc/2797/task/2802/stat : 2802 (java) S 2795 2797 442 0 -1 4202560 25 0 0 0 30 0 0 0 20 0 19 0 334576508 12137111552 138796 33554432000 1073741824 1073778376 140736623266544 139729782786216 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2797/tid=2803] ppid=2795 vsize=11852648 CPUtime=0.27 cores=0,2,4,6
/proc/2797/task/2803/stat : 2803 (java) S 2795 2797 442 0 -1 4202560 28 0 0 0 27 0 0 0 20 0 19 0 334576508 12137111552 138796 33554432000 1073741824 1073778376 140736623266544 139729664207144 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2797/tid=2804] ppid=2795 vsize=11852648 CPUtime=0.3 cores=0,2,4,6
/proc/2797/task/2804/stat : 2804 (java) S 2795 2797 442 0 -1 4202560 21 0 0 0 30 0 0 0 20 0 19 0 334576508 12137111552 138796 33554432000 1073741824 1073778376 140736623266544 139729663155112 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2797/tid=2805] ppid=2795 vsize=11852648 CPUtime=0.35 cores=0,2,4,6
/proc/2797/task/2805/stat : 2805 (java) S 2795 2797 442 0 -1 4202560 26 0 0 0 35 0 0 0 20 0 19 0 334576508 12137111552 138796 33554432000 1073741824 1073778376 140736623266544 139729662102568 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2797/tid=2806] ppid=2795 vsize=11852648 CPUtime=0.34 cores=0,2,4,6
/proc/2797/task/2806/stat : 2806 (java) S 2795 2797 442 0 -1 4202560 21 0 0 0 34 0 0 0 20 0 19 0 334576508 12137111552 138796 33554432000 1073741824 1073778376 140736623266544 139729661049512 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2797/tid=2807] ppid=2795 vsize=11852648 CPUtime=0.3 cores=0,2,4,6
/proc/2797/task/2807/stat : 2807 (java) S 2795 2797 442 0 -1 4202560 24 0 0 0 30 0 0 0 20 0 19 0 334576508 12137111552 138796 33554432000 1073741824 1073778376 140736623266544 139729659996968 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2797/tid=2808] ppid=2795 vsize=11852648 CPUtime=14.23 cores=0,2,4,6
/proc/2797/task/2808/stat : 2808 (java) S 2795 2797 442 0 -1 4202560 95 0 0 0 1421 2 0 0 20 0 19 0 334576509 12137111552 138796 33554432000 1073741824 1073778376 140736623266544 139729177667944 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2797/tid=2809] ppid=2795 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2797/task/2809/stat : 2809 (java) S 2795 2797 442 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 334576510 12137111552 138796 33554432000 1073741824 1073778376 140736623266544 139729176614264 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2797/tid=2810] ppid=2795 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2797/task/2810/stat : 2810 (java) S 2795 2797 442 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 334576510 12137111552 138796 33554432000 1073741824 1073778376 140736623266544 139729175561096 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2797/tid=2811] ppid=2795 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2797/task/2811/stat : 2811 (java) S 2795 2797 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334576512 12137111552 138796 33554432000 1073741824 1073778376 140736623266544 139729174509840 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2797/tid=2812] ppid=2795 vsize=11852648 CPUtime=1.05 cores=0,2,4,6
/proc/2797/task/2812/stat : 2812 (java) S 2795 2797 442 0 -1 4202560 6067 0 0 0 103 2 0 0 20 0 19 0 334576512 12137111552 138796 33554432000 1073741824 1073778376 140736623266544 139729173457720 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2797/tid=2813] ppid=2795 vsize=11852648 CPUtime=1.19 cores=0,2,4,6
/proc/2797/task/2813/stat : 2813 (java) S 2795 2797 442 0 -1 4202560 11483 0 0 0 117 2 0 0 20 0 19 0 334576512 12137111552 138796 33554432000 1073741824 1073778376 140736623266544 139729172405176 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2797/tid=2814] ppid=2795 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2797/task/2814/stat : 2814 (java) S 2795 2797 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334576512 12137111552 138796 33554432000 1073741824 1073778376 140736623266544 139729171352312 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2797/tid=2815] ppid=2795 vsize=11852648 CPUtime=0.03 cores=0,2,4,6
/proc/2797/task/2815/stat : 2815 (java) S 2795 2797 442 0 -1 4202560 5 0 0 0 1 2 0 0 20 0 19 0 334576512 12137111552 138796 33554432000 1073741824 1073778376 140736623266544 139729170299976 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2797/tid=2837] ppid=2795 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2797/task/2837/stat : 2837 (java) S 2795 2797 442 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 334579919 12137111552 138796 33554432000 1073741824 1073778376 140736623266544 139729166087592 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 171.22
Current children cumulated vsize (KiB) 11852648

Child status: 30

# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 0.189995
#  lost CPU user time (s): 0.199997
#  lost CPU system time (s): -0.01

Real time (s): 93.4603
CPU time (s): 171.539
CPU user time (s): 171.177
CPU system time (s): 0.361943
CPU usage (%): 183.542
Max. virtual memory (cumulated for all children) (KiB): 11852648

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 170.977
system time used= 0.371943
maximum resident set size= 557244
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22841
page faults= 1
swaps= 0
block input operations= 0
block output operations= 144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6108
involuntary context switches= 5459

runsolver used 0.409937 second user time and 0.970852 second system time

The end

Launcher Data 

Begin job on node145 at 2012-06-03 02:48:41
IDJOB=3732073
IDBENCH=2024
IDSOLVER=2328
FILE ID=node145/3732073-1338684521
RUNJOBID= node145-1338678626-461
PBS_JOBID= 14636668
Free space on /tmp= 70924 MiB

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

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

MD5SUM BENCH= 135acf1f05855c365b3d13b378debe22
RANDOM SEED=83199442

node145.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/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		: 2667.149
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.149
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.149
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5313.38
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.149
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.149
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.149
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.149
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.149
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.89
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        26269904 kB
Buffers:          430452 kB
Cached:          4780640 kB
SwapCached:            0 kB
Active:          2139460 kB
Inactive:        3607724 kB
Active(anon):     527156 kB
Inactive(anon):    10928 kB
Active(file):    1612304 kB
Inactive(file):  3596796 kB
Unevictable:        7628 kB
Mlocked:            7628 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               484 kB
Writeback:             0 kB
AnonPages:        544944 kB
Mapped:            22276 kB
Shmem:               200 kB
Slab:             716176 kB
SReclaimable:     157564 kB
SUnreclaim:       558612 kB
KernelStack:        1624 kB
PageTables:         4892 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:   10457904 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    479232 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70924 MiB
End job on node145 at 2012-06-03 02:50:15