Trace number 3687840

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
SAT 4j PB RES // CP 2.3.2 SnapshotSAT (TO)3 1800.2 910.535

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-10:10:4.5:0.95:100.opb
MD5SUMb258fc1dc8cb1827e842a0b9558712c7
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark0.039993
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 0
Optimality of the best value was proved YES
Number of variables435
Total number of constraints501
Number of constraints which are clauses403
Number of constraints which are cardinality constraints (but not clauses)98
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint16
Number of terms in the objective function 435
Biggest coefficient in the objective function 282
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 1168
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 282
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 1168
Number of bits of the biggest sum of numbers11
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.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
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.2.v20120418
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.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.09/0.12	c Pseudo Boolean Optimization by upper bound
0.09/0.12	c ManyCore solver with 2 solvers running in parallel
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.12	c Expensive reason simplification
0.09/0.12	c Armin Biere (Picosat) restarts strategy
0.09/0.12	c Glucose learned constraints deletion strategy
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c c --- End Solver configuration ---
0.09/0.12	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4e3eca90
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.09/0.12	c No reason simplification
0.09/0.12	c Armin Biere (Picosat) restarts strategy
0.09/0.12	c Glucose learned constraints deletion strategy
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-3687840-1337873944.opb
0.09/0.12	c reading problem ... 
0.23/0.21	c ... done. Wall clock time 0.092s.
0.23/0.21	c declared #vars     435
0.23/0.21	c #constraints  501
0.23/0.21	c constraints type 
0.23/0.21	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1
0.23/0.21	c org.sat4j.minisat.constraints.card.MinWatchCard => 97
0.23/0.21	c ignored satisfied constraints => 1
0.23/0.21	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 402
0.23/0.21	c org.sat4j.minisat.constraints.cnf.UnitClause => 1
0.23/0.21	c 502 constraints processed.
0.23/0.21	c constraints type 
0.23/0.21	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 402
0.23/0.21	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1
0.23/0.21	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 97
0.23/0.21	c ignored satisfied constraints => 1
0.23/0.21	c org.sat4j.pb.constraints.pb.UnitClausePB => 1
0.23/0.21	c 502 constraints processed.
0.23/0.21	c objective function length is 435 literals
0.23/0.22	c  And the winner is solver1
0.32/0.71	c SATISFIABLE
0.32/0.71	c OPTIMIZING...
0.32/0.71	c Got one! Elapsed wall clock time (in seconds):0.594
0.32/0.71	o 5
0.99/0.98	c  And the winner is solver1
1.58/1.22	c Got one! Elapsed wall clock time (in seconds):1.102
1.58/1.22	o 3
2.58/1.55	c cleaning 2627 clauses out of 5261 with flag 5000/5261
3.42/1.88	c cleaning 4318 clauses out of 8635 with flag 11001/11262
4.33/2.25	c cleaning 5656 clauses out of 11316 with flag 18000/18261
5.14/2.68	c cleaning 6830 clauses out of 13660 with flag 26000/26261
6.13/3.19	c cleaning 7907 clauses out of 15830 with flag 35000/35261
7.30/3.79	c cleaning 8959 clauses out of 17923 with flag 45000/45261
8.68/4.41	c cleaning 9982 clauses out of 19964 with flag 56000/56261
10.02/5.14	c cleaning 10990 clauses out of 21982 with flag 68000/68261
11.58/5.94	c cleaning 11997 clauses out of 23994 with flag 81002/81263
13.18/6.74	c cleaning 12997 clauses out of 25995 with flag 95000/95261
15.13/7.72	c cleaning 14001 clauses out of 28001 with flag 110003/110264
17.05/8.72	c cleaning 14999 clauses out of 29998 with flag 126001/126262
18.78/9.67	c cleaning 15997 clauses out of 31999 with flag 143001/143262
20.91/10.75	c cleaning 16994 clauses out of 34001 with flag 161000/161261
23.24/11.99	c cleaning 18002 clauses out of 36009 with flag 180002/180263
25.99/13.37	c cleaning 19001 clauses out of 38006 with flag 200001/200262
28.87/14.86	c cleaning 19998 clauses out of 40004 with flag 221000/221261
31.80/16.39	c cleaning 21001 clauses out of 42009 with flag 243003/243264
35.12/18.04	c cleaning 22000 clauses out of 44005 with flag 266000/266261
38.23/19.66	c cleaning 23002 clauses out of 46006 with flag 290001/290262
41.72/21.41	c cleaning 23995 clauses out of 48003 with flag 315000/315261
45.45/23.30	c cleaning 24999 clauses out of 50009 with flag 341001/341262
48.78/25.09	c cleaning 25997 clauses out of 52010 with flag 368001/368262
52.69/27.07	c cleaning 26998 clauses out of 54012 with flag 396000/396261
56.36/29.00	c cleaning 28005 clauses out of 56015 with flag 425001/425262
60.51/31.02	c cleaning 28994 clauses out of 58009 with flag 455000/455261
64.81/33.28	c cleaning 30002 clauses out of 60015 with flag 486000/486261
70.31/36.02	c cleaning 31006 clauses out of 62013 with flag 518000/518261
75.75/38.88	c cleaning 31995 clauses out of 64007 with flag 551000/551261
81.24/41.62	c cleaning 33001 clauses out of 66014 with flag 585002/585263
86.93/44.54	c cleaning 34006 clauses out of 68013 with flag 620002/620263
92.81/47.51	c cleaning 35000 clauses out of 70005 with flag 656000/656261
99.06/50.75	c cleaning 36003 clauses out of 72005 with flag 693000/693261
105.54/54.09	c cleaning 37003 clauses out of 74006 with flag 731004/731265
112.60/57.64	c cleaning 37990 clauses out of 75999 with flag 770000/770261
119.67/61.27	c cleaning 39004 clauses out of 78010 with flag 810001/810262
127.72/65.39	c cleaning 40000 clauses out of 80005 with flag 851000/851261
136.21/69.65	c cleaning 40999 clauses out of 82007 with flag 893002/893263
144.72/73.91	c cleaning 41996 clauses out of 84007 with flag 936001/936262
153.57/78.49	c cleaning 42998 clauses out of 86011 with flag 980001/980262
163.96/83.75	c cleaning 44008 clauses out of 88015 with flag 1025003/1025264
173.80/88.79	c cleaning 45000 clauses out of 90004 with flag 1071000/1071261
184.35/94.04	c cleaning 46000 clauses out of 92006 with flag 1118002/1118263
194.79/99.32	c cleaning 46998 clauses out of 94004 with flag 1166000/1166261
205.34/104.75	c cleaning 47991 clauses out of 96008 with flag 1215002/1215263
214.81/109.53	c cleaning 48995 clauses out of 98015 with flag 1265000/1265261
223.85/114.16	c cleaning 49996 clauses out of 100020 with flag 1316000/1316261
235.51/120.01	c cleaning 51007 clauses out of 102026 with flag 1368002/1368263
246.45/125.65	c cleaning 52005 clauses out of 104017 with flag 1421000/1421261
258.48/131.75	c cleaning 53003 clauses out of 106016 with flag 1475004/1475265
269.91/137.53	c cleaning 53997 clauses out of 108009 with flag 1530000/1530261
281.31/143.35	c cleaning 55003 clauses out of 110014 with flag 1586002/1586263
294.01/149.80	c cleaning 56002 clauses out of 112009 with flag 1643000/1643261
306.02/155.98	c cleaning 56999 clauses out of 114007 with flag 1701000/1701261
319.07/162.55	c cleaning 58000 clauses out of 116008 with flag 1760000/1760261
331.75/168.99	c cleaning 58999 clauses out of 118009 with flag 1820001/1820262
346.71/176.59	c cleaning 60002 clauses out of 120012 with flag 1881003/1881264
360.17/183.32	c cleaning 60995 clauses out of 122008 with flag 1943001/1943262
377.60/192.12	c cleaning 62005 clauses out of 124014 with flag 2006002/2006263
394.86/200.85	c cleaning 63002 clauses out of 126009 with flag 2070002/2070263
412.21/209.66	c cleaning 63992 clauses out of 128005 with flag 2135000/2135261
428.50/217.90	c cleaning 65007 clauses out of 130015 with flag 2201002/2201263
448.19/227.71	c cleaning 65995 clauses out of 132006 with flag 2268000/2268261
467.67/237.58	c cleaning 67000 clauses out of 134012 with flag 2336001/2336262
484.38/246.09	c cleaning 67997 clauses out of 136011 with flag 2405000/2405261
502.64/255.23	c cleaning 69005 clauses out of 138014 with flag 2475000/2475261
523.08/265.54	c cleaning 69995 clauses out of 140009 with flag 2546000/2546261
543.74/275.94	c cleaning 70987 clauses out of 142014 with flag 2618000/2618261
565.48/286.99	c cleaning 72001 clauses out of 144027 with flag 2691000/2691261
587.99/298.28	c cleaning 73003 clauses out of 146026 with flag 2765000/2765261
610.59/309.68	c cleaning 74005 clauses out of 148024 with flag 2840001/2840262
627.85/318.30	c cleaning 75001 clauses out of 150019 with flag 2916001/2916262
644.51/326.82	c cleaning 76005 clauses out of 152017 with flag 2993000/2993261
663.95/336.61	c cleaning 76998 clauses out of 154012 with flag 3071000/3071261
686.20/347.80	c cleaning 78003 clauses out of 156014 with flag 3150000/3150261
700.81/355.27	c cleaning 78992 clauses out of 158011 with flag 3230000/3230261
717.66/363.87	c cleaning 80007 clauses out of 160019 with flag 3311000/3311261
736.46/373.36	c cleaning 80998 clauses out of 162013 with flag 3393001/3393262
761.53/385.92	c cleaning 82002 clauses out of 164016 with flag 3476002/3476263
783.59/397.09	c cleaning 82996 clauses out of 166013 with flag 3560001/3560262
810.69/410.75	c cleaning 84004 clauses out of 168020 with flag 3645004/3645265
835.14/423.03	c cleaning 85002 clauses out of 170013 with flag 3731001/3731262
860.99/436.02	c cleaning 86001 clauses out of 172011 with flag 3818001/3818262
883.43/447.38	c cleaning 86989 clauses out of 174009 with flag 3906000/3906261
908.92/460.24	c cleaning 88007 clauses out of 176021 with flag 3995001/3995262
930.73/471.20	c cleaning 89001 clauses out of 178014 with flag 4085001/4085262
953.95/482.96	c cleaning 89987 clauses out of 180012 with flag 4176000/4176261
975.94/494.06	c cleaning 91007 clauses out of 182025 with flag 4268000/4268261
996.32/504.49	c cleaning 91998 clauses out of 184018 with flag 4361000/4361261
1019.19/515.95	c cleaning 93001 clauses out of 186020 with flag 4455000/4455261
1042.37/527.65	c cleaning 94002 clauses out of 188021 with flag 4550002/4550263
1066.80/539.95	c cleaning 95003 clauses out of 190017 with flag 4646000/4646261
1086.34/549.93	c cleaning 95991 clauses out of 192014 with flag 4743000/4743261
1104.30/559.04	c cleaning 97003 clauses out of 194023 with flag 4841000/4841261
1126.25/570.14	c cleaning 97992 clauses out of 196020 with flag 4940000/4940261
1150.45/582.37	c cleaning 99006 clauses out of 198028 with flag 5040000/5040261
1180.08/597.30	c cleaning 100012 clauses out of 200023 with flag 5141001/5141262
1208.06/611.41	c cleaning 101004 clauses out of 202011 with flag 5243001/5243262
1235.08/625.03	c cleaning 101997 clauses out of 204006 with flag 5346000/5346261
1267.28/641.26	c cleaning 103002 clauses out of 206012 with flag 5450003/5450264
1297.65/656.64	c cleaning 103981 clauses out of 208007 with flag 5555000/5555261
1327.19/671.77	c cleaning 105007 clauses out of 210026 with flag 5661000/5661261
1353.43/684.99	c cleaning 106002 clauses out of 212020 with flag 5768001/5768262
1383.90/700.31	c cleaning 107005 clauses out of 214018 with flag 5876001/5876262
1417.68/717.27	c cleaning 107997 clauses out of 216012 with flag 5985000/5985261
1449.94/733.44	c cleaning 109000 clauses out of 218015 with flag 6095000/6095261
1482.82/749.94	c cleaning 110007 clauses out of 220015 with flag 6206000/6206261
1512.68/765.10	c cleaning 110994 clauses out of 222008 with flag 6318000/6318261
1540.78/779.30	c cleaning 112001 clauses out of 224014 with flag 6431000/6431261
1566.50/792.37	c cleaning 112996 clauses out of 226013 with flag 6545000/6545261
1596.74/807.51	c cleaning 113992 clauses out of 228017 with flag 6660000/6660261
1628.19/823.56	c cleaning 115002 clauses out of 230025 with flag 6776000/6776261
1660.98/840.01	c cleaning 116002 clauses out of 232023 with flag 6893000/6893261
1692.29/855.89	c cleaning 117001 clauses out of 234021 with flag 7011000/7011261
1722.02/870.90	c cleaning 118003 clauses out of 236021 with flag 7130001/7130262
1756.88/888.52	c cleaning 119007 clauses out of 238017 with flag 7250000/7250261
1792.24/906.38	c cleaning 119999 clauses out of 240010 with flag 7371000/7371261
1800.20/910.51	c starts		: 3
1800.20/910.51	c conflicts		: 4499
1800.20/910.51	c decisions		: 350073
1800.20/910.51	c propagations		: 1104349
1800.20/910.51	c inspects		: 751919511
1800.20/910.51	c shortcuts		: 0
1800.20/910.51	c learnt literals	: 0
1800.20/910.51	c learnt binary clauses	: 0
1800.20/910.51	c learnt ternary clauses	: 0
1800.20/910.51	c learnt constraints	: 4499
1800.20/910.51	c ignored constraints	: 0
1800.20/910.51	c root simplifications	: 0
1800.20/910.51	c removed literals (reason simplification)	: 0
1800.20/910.51	c reason swapping (by a shorter reason)	: 0
1800.20/910.51	c Calls to reduceDB	: 0
1800.20/910.51	c number of reductions to clauses (during analyze)	: 0
1800.20/910.51	c number of learned constraints concerned by reduction	: 0
1800.20/910.51	c number of learning phase by resolution	: 0
1800.20/910.51	c number of learning phase by cutting planes	: 0
1800.20/910.51	c speed (assignments/second)	: 1213.179712466206
1800.20/910.51	c non guided choices	0
1800.20/910.51	c learnt constraints type 
1800.20/910.51	c org.sat4j.pb.constraints.pb.MaxWatchPb => 4499
1800.20/910.51	c constraints type 
1800.20/910.51	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1
1800.20/910.51	c org.sat4j.minisat.constraints.card.MinWatchCard => 97
1800.20/910.51	c ignored satisfied constraints => 1
1800.20/910.51	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 402
1800.20/910.51	c org.sat4j.minisat.constraints.cnf.UnitClause => 1
1800.20/910.51	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1
1800.20/910.51	c 503 constraints processed.
1800.20/910.51	c constraints type 
1800.20/910.51	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 402
1800.20/910.51	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1
1800.20/910.51	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 97
1800.20/910.51	c ignored satisfied constraints => 1
1800.20/910.51	c org.sat4j.pb.constraints.pb.MaxWatchPb => 1
1800.20/910.51	c org.sat4j.pb.constraints.pb.UnitClausePB => 1
1800.20/910.51	c 503 constraints processed.
1800.20/910.51	s SATISFIABLE
1800.20/910.52	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 
1800.20/910.52	c objective function=3
1800.20/910.52	c Total wall clock time (in seconds): 910.398

Verifier Data

OK	3

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-3687840-1337873944/watcher-3687840-1337873944 -o /tmp/evaluation-result-3687840-1337873944/solver-3687840-1337873944 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3687840-1337873944.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: 3.43 3.48 3.12 4/197 22111
/proc/meminfo: memFree=26181504/32873844 swapFree=7104/7104
[pid=22111] ppid=22109 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/22111/stat : 22111 (java) D 22109 22111 21231 0 -1 4202496 247 0 0 0 0 0 0 0 20 0 1 0 253520123 9515008 182 33554432000 1073741824 1073778376 140734519163312 140734519154344 272886480565 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/22111/statm: 2323 182 140 9 0 71 0

[startup+0.105315 s]
/proc/loadavg: 3.43 3.48 3.12 4/197 22111
/proc/meminfo: memFree=26181504/32873844 swapFree=7104/7104
[pid=22111] ppid=22109 vsize=9558412 CPUtime=0.09 cores=1,3,5,7
/proc/22111/stat : 22111 (java) S 22109 22111 21231 0 -1 4202496 4328 0 1 0 8 1 0 0 20 0 18 0 253520123 9787813888 5520 33554432000 1073741824 1073778376 140736464998992 140736464990128 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22111/statm: 2389603 5520 2109 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558412

[startup+0.20027 s]
/proc/loadavg: 3.43 3.48 3.12 4/197 22111
/proc/meminfo: memFree=26181504/32873844 swapFree=7104/7104
[pid=22111] ppid=22109 vsize=9558412 CPUtime=0.23 cores=1,3,5,7
/proc/22111/stat : 22111 (java) S 22109 22111 21231 0 -1 4202496 4636 0 1 0 22 1 0 0 20 0 18 0 253520123 9787813888 6770 33554432000 1073741824 1073778376 140736464998992 140736464990128 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22111/statm: 2389603 6770 2182 9 0 2380296 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 9558412

[startup+0.300295 s]
/proc/loadavg: 3.43 3.48 3.12 4/197 22111
/proc/meminfo: memFree=26181504/32873844 swapFree=7104/7104
[pid=22111] ppid=22109 vsize=9824668 CPUtime=0.32 cores=1,3,5,7
/proc/22111/stat : 22111 (java) S 22109 22111 21231 0 -1 4202496 4973 0 1 0 29 3 0 0 20 0 19 0 253520123 10060460032 7403 33554432000 1073741824 1073778376 140736464998992 140736464990128 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22111/statm: 2456167 7403 2217 9 0 2446860 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 9824668

[startup+0.700212 s]
/proc/loadavg: 3.43 3.48 3.12 4/197 22111
/proc/meminfo: memFree=26181504/32873844 swapFree=7104/7104
[pid=22111] ppid=22109 vsize=9824668 CPUtime=0.32 cores=1,3,5,7
/proc/22111/stat : 22111 (java) S 22109 22111 21231 0 -1 4202496 4973 0 1 0 29 3 0 0 20 0 19 0 253520123 10060460032 7403 33554432000 1073741824 1073778376 140736464998992 140736464990128 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22111/statm: 2456167 7403 2217 9 0 2446860 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 9824668

[startup+1.50076 s]
/proc/loadavg: 3.31 3.46 3.11 3/216 22136
/proc/meminfo: memFree=26110784/32873844 swapFree=7104/7104
[pid=22111] ppid=22109 vsize=9824668 CPUtime=2.58 cores=1,3,5,7
/proc/22111/stat : 22111 (java) S 22109 22111 21231 0 -1 4202496 18404 0 1 0 249 9 0 0 20 0 22 0 253520123 10060460032 42128 33554432000 1073741824 1073778376 140736464998992 140736464990128 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22111/statm: 2456167 42128 2252 9 0 2446860 0
[pid=22111/tid=22113] ppid=22109 vsize=9824668 CPUtime=0.19 cores=1,3,5,7
/proc/22111/task/22113/stat : 22113 (java) S 22109 22111 21231 0 -1 4202560 2452 0 1 0 18 1 0 0 20 0 22 0 253520124 10060460032 42128 33554432000 1073741824 1073778376 140736464998992 139686140339192 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22111/tid=22114] ppid=22109 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22111/task/22114/stat : 22114 (java) S 22109 22111 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253520125 10060460032 42128 33554432000 1073741824 1073778376 140736464998992 139686101829800 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22111/tid=22115] ppid=22109 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22111/task/22115/stat : 22115 (java) S 22109 22111 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253520125 10060460032 42128 33554432000 1073741824 1073778376 140736464998992 139686100777256 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22111/tid=22116] ppid=22109 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22111/task/22116/stat : 22116 (java) S 22109 22111 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253520125 10060460032 42128 33554432000 1073741824 1073778376 140736464998992 139686099724712 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22111/tid=22117] ppid=22109 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22111/task/22117/stat : 22117 (java) S 22109 22111 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253520125 10060460032 42128 33554432000 1073741824 1073778376 140736464998992 139686098672168 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22111/tid=22118] ppid=22109 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22111/task/22118/stat : 22118 (java) S 22109 22111 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253520125 10060460032 42128 33554432000 1073741824 1073778376 140736464998992 139686097619624 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22111/tid=22119] ppid=22109 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22111/task/22119/stat : 22119 (java) S 22109 22111 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253520125 10060460032 42128 33554432000 1073741824 1073778376 140736464998992 139686096567080 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22111/tid=22120] ppid=22109 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22111/task/22120/stat : 22120 (java) S 22109 22111 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253520125 10060460032 42128 33554432000 1073741824 1073778376 140736464998992 139686095514536 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22111/tid=22121] ppid=22109 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22111/task/22121/stat : 22121 (java) S 22109 22111 21231 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253520125 10060460032 42128 33554432000 1073741824 1073778376 140736464998992 139685976337448 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22111/tid=22122] ppid=22109 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22111/task/22122/stat : 22122 (java) S 22109 22111 21231 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253520127 10060460032 42128 33554432000 1073741824 1073778376 140736464998992 139685964138600 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22111/tid=22123] ppid=22109 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22111/task/22123/stat : 22123 (java) S 22109 22111 21231 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 253520127 10060460032 42128 33554432000 1073741824 1073778376 140736464998992 139685963084920 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22111/tid=22124] ppid=22109 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22111/task/22124/stat : 22124 (java) S 22109 22111 21231 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253520127 10060460032 42128 33554432000 1073741824 1073778376 140736464998992 139685962032264 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22111/tid=22125] ppid=22109 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22111/task/22125/stat : 22125 (java) S 22109 22111 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253520129 10060460032 42128 33554432000 1073741824 1073778376 140736464998992 139685960981008 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22111/tid=22126] ppid=22109 vsize=9824668 CPUtime=0.57 cores=1,3,5,7
/proc/22111/task/22126/stat : 22126 (java) S 22109 22111 21231 0 -1 4202560 5837 0 0 0 57 0 0 0 20 0 22 0 253520129 10060460032 42128 33554432000 1073741824 1073778376 140736464998992 139685221362232 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22111/tid=22127] ppid=22109 vsize=9824668 CPUtime=0.68 cores=1,3,5,7
/proc/22111/task/22127/stat : 22127 (java) S 22109 22111 21231 0 -1 4202560 8742 0 0 0 66 2 0 0 20 0 22 0 253520129 10060460032 42128 33554432000 1073741824 1073778376 140736464998992 139685220309688 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22111/tid=22128] ppid=22109 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22111/task/22128/stat : 22128 (java) S 22109 22111 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253520129 10060460032 42128 33554432000 1073741824 1073778376 140736464998992 139685219257336 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22111/tid=22129] ppid=22109 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22111/task/22129/stat : 22129 (java) S 22109 22111 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253520129 10060460032 42128 33554432000 1073741824 1073778376 140736464998992 139685218205000 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22111/tid=22132] ppid=22109 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22111/task/22132/stat : 22132 (java) S 22109 22111 21231 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253520145 10060460032 42128 33554432000 1073741824 1073778376 140736464998992 139685215044648 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.58
Current children cumulated vsize (KiB) 9824668

[startup+3.10083 s]
/proc/loadavg: 3.31 3.46 3.11 6/220 22140
/proc/meminfo: memFree=25974492/32873844 swapFree=7104/7104
[pid=22111] ppid=22109 vsize=9824668 CPUtime=6.13 cores=1,3,5,7
/proc/22111/stat : 22111 (java) S 22109 22111 21231 0 -1 4202496 22853 0 1 0 599 14 0 0 20 0 22 0 253520123 10060460032 51470 33554432000 1073741824 1073778376 140736464998992 140736464990128 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22111/statm: 2456167 51470 2277 9 0 2446860 0
[pid=22111/tid=22113] ppid=22109 vsize=9824668 CPUtime=0.19 cores=1,3,5,7
/proc/22111/task/22113/stat : 22113 (java) S 22109 22111 21231 0 -1 4202560 2452 0 1 0 18 1 0 0 20 0 22 0 253520124 10060460032 51470 33554432000 1073741824 1073778376 140736464998992 139686140339192 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22111/tid=22114] ppid=22109 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/22111/task/22114/stat : 22114 (java) S 22109 22111 21231 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 22 0 253520125 10060460032 51470 33554432000 1073741824 1073778376 140736464998992 139686101829800 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22111/tid=22115] ppid=22109 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/22111/task/22115/stat : 22115 (java) S 22109 22111 21231 0 -1 4202560 6 0 0 0 1 0 0 0 20 0 22 0 253520125 10060460032 51470 33554432000 1073741824 1073778376 140736464998992 139686100777256 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22111/tid=22116] ppid=22109 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22111/task/22116/stat : 22116 (java) S 22109 22111 21231 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 253520125 10060460032 51470 33554432000 1073741824 1073778376 140736464998992 139686099724712 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22111/tid=22117] ppid=22109 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22111/task/22117/stat : 22117 (java) S 22109 22111 21231 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253520125 10060460032 51470 33554432000 1073741824 1073778376 140736464998992 139686098672168 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22111/tid=22118] ppid=22109 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22111/task/22118/stat : 22118 (java) S 22109 22111 21231 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 253520125 10060460032 51470 33554432000 1073741824 1073778376 140736464998992 139686097619624 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22111/tid=22119] ppid=22109 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22111/task/22119/stat : 22119 (java) S 22109 22111 21231 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 253520125 10060460032 51470 33554432000 1073741824 1073778376 140736464998992 139686096567080 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22111/tid=22120] ppid=22109 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22111/task/22120/stat : 22120 (java) S 22109 22111 21231 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 253520125 10060460032 51470 33554432000 1073741824 1073778376 140736464998992 139686095514536 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22111/tid=22121] ppid=22109 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22111/task/22121/stat : 22121 (java) S 22109 22111 21231 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253520125 10060460032 51470 33554432000 1073741824 1073778376 140736464998992 139685976337448 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22111/tid=22122] ppid=22109 vsize=9824668 CPUtime=0.12 cores=1,3,5,7
/proc/22111/task/22122/stat : 22122 (java) S 22109 22111 21231 0 -1 4202560 82 0 0 0 12 0 0 0 20 0 22 0 253520127 10060460032 51470 33554432000 1073741824 1073778376 140736464998992 139685964138600 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22111/tid=22123] ppid=22109 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22111/task/22123/stat : 22123 (java) S 22109 22111 21231 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253520127 10060460032 51470 33554432000 1073741824 1073778376 140736464998992 139685963084920 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22111/tid=22124] ppid=22109 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22111/task/22124/stat : 22124 (java) S 22109 22111 21231 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253520127 10060460032 51470 33554432000 1073741824 1073778376 140736464998992 139685962032264 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22111/tid=22125] ppid=22109 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22111/task/22125/stat : 22125 (java) S 22109 22111 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253520129 10060460032 51470 33554432000 1073741824 1073778376 140736464998992 139685960981008 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22111/tid=22126] ppid=22109 vsize=9824668 CPUtime=0.81 cores=1,3,5,7
/proc/22111/task/22126/stat : 22126 (java) S 22109 22111 21231 0 -1 4202560 10126 0 0 0 79 2 0 0 20 0 22 0 253520129 10060460032 51470 33554432000 1073741824 1073778376 140736464998992 139685221362232 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22111/tid=22127] ppid=22109 vsize=9824668 CPUtime=0.89 cores=1,3,5,7
/proc/22111/task/22127/stat : 22127 (java) S 22109 22111 21231 0 -1 4202560 8751 0 0 0 87 2 0 0 20 0 22 0 253520129 10060460032 51470 33554432000 1073741824 1073778376 140736464998992 139685220309688 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22111/tid=22128] ppid=22109 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22111/task/22128/stat : 22128 (java) S 22109 22111 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253520129 10060460032 51470 33554432000 1073741824 1073778376 140736464998992 139685219257336 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22111/tid=22129] ppid=22109 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22111/task/22129/stat : 22129 (java) S 22109 22111 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253520129 10060460032 51470 33554432000 1073741824 1073778376 140736464998992 139685218205000 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22111/tid=22132] ppid=22109 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22111/task/22132/stat : 22132 (java) S 22109 22111 21231 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253520145 10060460032 51470 33554432000 1073741824 1073778376 140736464998992 139685215044648 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22111/tid=22138] ppid=22109 vsize=9824668 CPUtime=1.67 cores=1,3,5,7
/proc/22111/task/22138/stat : 22138 (java) R 22109 22111 21231 0 -1 4202560 7 0 0 0 167 0 0 0 20 0 22 0 253520246 10060460032 51470 33554432000 1073741824 1073778376 140736464998992 139685213992048 139685976861170 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=22111/tid=22139] ppid=22109 vsize=9824668 CPUtime=1.65 cores=1,3,5,7
/proc/22111/task/22139/stat : 22139 (java) R 22109 22111 21231 0 -1 4202560 61 0 0 0 163 2 0 0 20 0 22 0 253520246 10060460032 51470 33554432000 1073741824 1073778376 140736464998992 139685217148168 139685976943944 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=22111/tid=22140] ppid=22109 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22111/task/22140/stat : 22140 (java) S 22109 22111 21231 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253520246 10060460032 51470 33554432000 1073741824 1073778376 140736464998992 139685216097192 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 9824668

[startup+6.30095 s]
/proc/loadavg: 3.31 3.46 3.11 7/219 22208
/proc/meminfo: memFree=28615020/32873844 swapFree=7104/7104
[pid=22111] ppid=22109 vsize=9824668 CPUtime=12.34 cores=1,3,5,7
/proc/22111/stat : 22111 (java) S 22109 22111 21231 0 -1 4202496 23237 0 1 0 1216 18 0 0 20 0 22 0 253520123 10060460032 87279 33554432000 1073741824 1073778376 140736464998992 140736464990128 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22111/statm: 2456167 87279 2277 9 0 2446860 0
[pid=22111/tid=22113] ppid=22109 vsize=9824668 CPUtime=0.19 cores=1,3,5,7
/proc/22111/task/22113/stat : 22113 (java) S 22109 22111 21231 0 -1 4202560 2453 0 1 0 18 1 0 0 20 0 22 0 253520124 10060460032 87279 33554432000 1073741824 1073778376 140736464998992 139686140339192 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22111/tid=22114] ppid=22109 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/22111/task/22114/stat : 22114 (java) S 22109 22111 21231 0 -1 4202560 33 0 0 0 2 0 0 0 20 0 22 0 253520125 10060460032 87279 33554432000 1073741824 1073778376 140736464998992 139686101829800 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22111/tid=22115] ppid=22109 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/22111/task/22115/stat : 22115 (java) S 22109 22111 21231 0 -1 4202560 7 0 0 0 2 0 0 0 20 0 22 0 253520125 10060460032 87279 33554432000 1073741824 1073778376 140736464998992 139686100777256 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22111/tid=22116] ppid=22109 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/22111/task/22116/stat : 22116 (java) S 22109 22111 21231 0 -1 4202560 6 0 0 0 1 0 0 0 20 0 22 0 253520125 10060460032 87279 33554432000 1073741824 1073778376 140736464998992 139686099724712 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22111/tid=22117] ppid=22109 vsize=9824668 CPUtime=0.03 cores=1,3,5,7
/proc/22111/task/22117/stat : 22117 (java) S 22109 22111 21231 0 -1 4202560 47 0 0 0 3 0 0 0 20 0 22 0 253520125 10060460032 87279 33554432000 1073741824 1073778376 140736464998992 139686098672168 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22111/tid=22118] ppid=22109 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/22111/task/22118/stat : 22118 (java) S 22109 22111 21231 0 -1 4202560 63 0 0 0 2 0 0 0 20 0 22 0 253520125 10060460032 87279 33554432000 1073741824 1073778376 140736464998992 139686097619624 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22111/tid=22119] ppid=22109 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/22111/task/22119/stat : 22119 (java) S 22109 22111 21231 0 -1 4202560 17 0 0 0 2 0 0 0 20 0 22 0 253520125 10060460032 87279 33554432000 1073741824 1073778376 140736464998992 139686096567080 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22111/tid=22120] ppid=22109 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/22111/task/22120/stat : 22120 (java) S 22109 22111 21231 0 -1 4202560 48 0 0 0 1 0 0 0 20 0 22 0 253520125 10060460032 87279 33554432000 1073741824 1073778376 140736464998992 139686095514536 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22111/tid=22121] ppid=22109 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/22111/task/22121/stat : 22121 (java) S 22109 22111 21231 0 -1 4202560 29 0 0 0 2 0 0 0 20 0 22 0 253520125 10060460032 87279 33554432000 1073741824 1073778376 140736464998992 139685976337448 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22111/tid=22122] ppid=22109 vsize=9824668 CPUtime=0.39 cores=1,3,5,7
/proc/22111/task/22122/stat : 22122 (java) S 22109 22111 21231 0 -1 4202560 219 0 0 0 38 1 0 0 20 0 22 0 253520127 10060460032 87279 33554432000 1073741824 1073778376 140736464998992 139685964138600 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22111/tid=22123] ppid=22109 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22111/task/22123/stat : 22123 (java) S 22109 22111 21231 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253520127 10060460032 87279 33554432000 1073741824 1073778376 140736464998992 139685963084920 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22111/tid=22124] ppid=22109 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22111/task/22124/stat : 22124 (java) S 22109 22111 21231 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253520127 10060460032 87279 33554432000 1073741824 1073778376 140736464998992 139685962032264 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22111/tid=22125] ppid=22109 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22111/task/22125/stat : 22125 (java) S 22109 22111 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253520129 10060460032 87279 33554432000 1073741824 1073778376 140736464998992 139685960981008 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22111/tid=22126] ppid=22109 vsize=9824668 CPUtime=0.86 cores=1,3,5,7
/proc/22111/task/22126/stat : 22126 (java) S 22109 22111 21231 0 -1 4202560 10126 0 0 0 83 3 0 0 20 0 22 0 253520129 10060460032 87279 33554432000 1073741824 1073778376 140736464998992 139685221362232 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22111/tid=22127] ppid=22109 vsize=9824668 CPUtime=0.89 cores=1,3,5,7
/proc/22111/task/22127/stat : 22127 (java) S 22109 22111 21231 0 -1 4202560 8751 0 0 0 87 2 0 0 20 0 22 0 253520129 10060460032 87279 33554432000 1073741824 1073778376 140736464998992 139685220309688 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22111/tid=22128] ppid=22109 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22111/task/22128/stat : 22128 (java) S 22109 22111 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253520129 10060460032 87279 33554432000 1073741824 1073778376 140736464998992 139685219257336 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22111/tid=22129] ppid=22109 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22111/task/22129/stat : 22129 (java) S 22109 22111 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253520129 10060460032 87279 33554432000 1073741824 1073778376 140736464998992 139685218205000 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0

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

/proc/22111/statm: 2456167 490876 2280 9 0 2446860 0
[pid=22111/tid=22113] ppid=22109 vsize=9824668 CPUtime=0.24 cores=1,3,5,7
/proc/22111/task/22113/stat : 22113 (java) S 22109 22111 21231 0 -1 4202560 2505 0 1 0 21 3 0 0 20 0 22 0 253520124 10060460032 490876 33554432000 1073741824 1073778376 140736464998992 139686140339192 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22111/tid=22114] ppid=22109 vsize=9824668 CPUtime=3 cores=1,3,5,7
/proc/22111/task/22114/stat : 22114 (java) S 22109 22111 21231 0 -1 4202560 1341 0 0 0 274 26 0 0 20 0 22 0 253520125 10060460032 490876 33554432000 1073741824 1073778376 140736464998992 139686101829800 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22111/tid=22115] ppid=22109 vsize=9824668 CPUtime=3.24 cores=1,3,5,7
/proc/22111/task/22115/stat : 22115 (java) S 22109 22111 21231 0 -1 4202560 1483 0 0 0 295 29 0 0 20 0 22 0 253520125 10060460032 490876 33554432000 1073741824 1073778376 140736464998992 139686100777256 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22111/tid=22116] ppid=22109 vsize=9824668 CPUtime=2.88 cores=1,3,5,7
/proc/22111/task/22116/stat : 22116 (java) S 22109 22111 21231 0 -1 4202560 889 0 0 0 266 22 0 0 20 0 22 0 253520125 10060460032 490876 33554432000 1073741824 1073778376 140736464998992 139686099724712 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22111/tid=22117] ppid=22109 vsize=9824668 CPUtime=2.99 cores=1,3,5,7
/proc/22111/task/22117/stat : 22117 (java) S 22109 22111 21231 0 -1 4202560 1099 0 0 0 275 24 0 0 20 0 22 0 253520125 10060460032 490876 33554432000 1073741824 1073778376 140736464998992 139686098672168 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22111/tid=22118] ppid=22109 vsize=9824668 CPUtime=3.18 cores=1,3,5,7
/proc/22111/task/22118/stat : 22118 (java) S 22109 22111 21231 0 -1 4202560 1524 0 0 0 294 24 0 0 20 0 22 0 253520125 10060460032 490876 33554432000 1073741824 1073778376 140736464998992 139686097619624 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22111/tid=22119] ppid=22109 vsize=9824668 CPUtime=3.05 cores=1,3,5,7
/proc/22111/task/22119/stat : 22119 (java) S 22109 22111 21231 0 -1 4202560 1206 0 0 0 285 20 0 0 20 0 22 0 253520125 10060460032 490876 33554432000 1073741824 1073778376 140736464998992 139686096567080 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22111/tid=22120] ppid=22109 vsize=9824668 CPUtime=2.93 cores=1,3,5,7
/proc/22111/task/22120/stat : 22120 (java) S 22109 22111 21231 0 -1 4202560 1064 0 0 0 271 22 0 0 20 0 22 0 253520125 10060460032 490876 33554432000 1073741824 1073778376 140736464998992 139686095514536 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22111/tid=22121] ppid=22109 vsize=9824668 CPUtime=3.2 cores=1,3,5,7
/proc/22111/task/22121/stat : 22121 (java) S 22109 22111 21231 0 -1 4202560 1365 0 0 0 297 23 0 0 20 0 22 0 253520125 10060460032 490876 33554432000 1073741824 1073778376 140736464998992 139685976337448 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22111/tid=22122] ppid=22109 vsize=9824668 CPUtime=30.25 cores=1,3,5,7
/proc/22111/task/22122/stat : 22122 (java) S 22109 22111 21231 0 -1 4202560 2152 0 0 0 2996 29 0 0 20 0 22 0 253520127 10060460032 490876 33554432000 1073741824 1073778376 140736464998992 139685964138600 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22111/tid=22123] ppid=22109 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22111/task/22123/stat : 22123 (java) S 22109 22111 21231 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253520127 10060460032 490876 33554432000 1073741824 1073778376 140736464998992 139685963084920 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22111/tid=22124] ppid=22109 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22111/task/22124/stat : 22124 (java) S 22109 22111 21231 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253520127 10060460032 490876 33554432000 1073741824 1073778376 140736464998992 139685962032264 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22111/tid=22125] ppid=22109 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22111/task/22125/stat : 22125 (java) S 22109 22111 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253520129 10060460032 490876 33554432000 1073741824 1073778376 140736464998992 139685960981008 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22111/tid=22126] ppid=22109 vsize=9824668 CPUtime=0.99 cores=1,3,5,7
/proc/22111/task/22126/stat : 22126 (java) S 22109 22111 21231 0 -1 4202560 10130 0 0 0 96 3 0 0 20 0 22 0 253520129 10060460032 490876 33554432000 1073741824 1073778376 140736464998992 139685221362232 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22111/tid=22127] ppid=22109 vsize=9824668 CPUtime=1 cores=1,3,5,7
/proc/22111/task/22127/stat : 22127 (java) S 22109 22111 21231 0 -1 4202560 8761 0 0 0 98 2 0 0 20 0 22 0 253520129 10060460032 490876 33554432000 1073741824 1073778376 140736464998992 139685220309688 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22111/tid=22128] ppid=22109 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22111/task/22128/stat : 22128 (java) S 22109 22111 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253520129 10060460032 490876 33554432000 1073741824 1073778376 140736464998992 139685219257336 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22111/tid=22129] ppid=22109 vsize=9824668 CPUtime=0.41 cores=1,3,5,7
/proc/22111/task/22129/stat : 22129 (java) S 22109 22111 21231 0 -1 4202560 47 0 0 0 15 26 0 0 20 0 22 0 253520129 10060460032 490876 33554432000 1073741824 1073778376 140736464998992 139685218205000 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22111/tid=22132] ppid=22109 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22111/task/22132/stat : 22132 (java) S 22109 22111 21231 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253520145 10060460032 490876 33554432000 1073741824 1073778376 140736464998992 139685215044648 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22111/tid=22138] ppid=22109 vsize=9824668 CPUtime=781.92 cores=1,3,5,7
/proc/22111/task/22138/stat : 22138 (java) R 22109 22111 21231 0 -1 4202560 220 0 0 0 78178 14 0 0 20 0 22 0 253520246 10060460032 490876 33554432000 1073741824 1073778376 140736464998992 139685213990960 139685976842975 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=22111/tid=22139] ppid=22109 vsize=9824668 CPUtime=781.76 cores=1,3,5,7
/proc/22111/task/22139/stat : 22139 (java) R 22109 22111 21231 0 -1 4202560 3177 0 0 0 78135 41 0 0 20 0 22 0 253520246 10060460032 490876 33554432000 1073741824 1073778376 140736464998992 139685217147136 139685976946204 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=22111/tid=22140] ppid=22109 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22111/task/22140/stat : 22140 (java) S 22109 22111 21231 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253520246 10060460032 490876 33554432000 1073741824 1073778376 140736464998992 139685216097192 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1625.79
Current children cumulated vsize (KiB) 9824668

[startup+882.308 s]
/proc/loadavg: 3.99 3.94 3.61 5/219 22217
/proc/meminfo: memFree=23646712/32873844 swapFree=7104/7104
[pid=22111] ppid=22109 vsize=9824668 CPUtime=1744.4 cores=1,3,5,7
/proc/22111/stat : 22111 (java) S 22109 22111 21231 0 -1 4202496 38749 0 1 0 174125 315 0 0 20 0 22 0 253520123 10060460032 556017 33554432000 1073741824 1073778376 140736464998992 140736464990128 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22111/statm: 2456167 556017 2280 9 0 2446860 0
[pid=22111/tid=22113] ppid=22109 vsize=9824668 CPUtime=0.25 cores=1,3,5,7
/proc/22111/task/22113/stat : 22113 (java) S 22109 22111 21231 0 -1 4202560 2509 0 1 0 21 4 0 0 20 0 22 0 253520124 10060460032 556017 33554432000 1073741824 1073778376 140736464998992 139686140339192 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22111/tid=22114] ppid=22109 vsize=9824668 CPUtime=3.18 cores=1,3,5,7
/proc/22111/task/22114/stat : 22114 (java) S 22109 22111 21231 0 -1 4202560 1371 0 0 0 290 28 0 0 20 0 22 0 253520125 10060460032 556017 33554432000 1073741824 1073778376 140736464998992 139686101829800 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22111/tid=22115] ppid=22109 vsize=9824668 CPUtime=3.48 cores=1,3,5,7
/proc/22111/task/22115/stat : 22115 (java) S 22109 22111 21231 0 -1 4202560 1519 0 0 0 317 31 0 0 20 0 22 0 253520125 10060460032 556017 33554432000 1073741824 1073778376 140736464998992 139686100777256 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22111/tid=22116] ppid=22109 vsize=9824668 CPUtime=3.05 cores=1,3,5,7
/proc/22111/task/22116/stat : 22116 (java) S 22109 22111 21231 0 -1 4202560 914 0 0 0 280 25 0 0 20 0 22 0 253520125 10060460032 556017 33554432000 1073741824 1073778376 140736464998992 139686099724712 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22111/tid=22117] ppid=22109 vsize=9824668 CPUtime=3.19 cores=1,3,5,7
/proc/22111/task/22117/stat : 22117 (java) S 22109 22111 21231 0 -1 4202560 1136 0 0 0 292 27 0 0 20 0 22 0 253520125 10060460032 556017 33554432000 1073741824 1073778376 140736464998992 139686098672168 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22111/tid=22118] ppid=22109 vsize=9824668 CPUtime=3.38 cores=1,3,5,7
/proc/22111/task/22118/stat : 22118 (java) S 22109 22111 21231 0 -1 4202560 1557 0 0 0 311 27 0 0 20 0 22 0 253520125 10060460032 556017 33554432000 1073741824 1073778376 140736464998992 139686097619624 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22111/tid=22119] ppid=22109 vsize=9824668 CPUtime=3.23 cores=1,3,5,7
/proc/22111/task/22119/stat : 22119 (java) S 22109 22111 21231 0 -1 4202560 1241 0 0 0 301 22 0 0 20 0 22 0 253520125 10060460032 556017 33554432000 1073741824 1073778376 140736464998992 139686096567080 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22111/tid=22120] ppid=22109 vsize=9824668 CPUtime=3.13 cores=1,3,5,7
/proc/22111/task/22120/stat : 22120 (java) S 22109 22111 21231 0 -1 4202560 1099 0 0 0 289 24 0 0 20 0 22 0 253520125 10060460032 556017 33554432000 1073741824 1073778376 140736464998992 139686095514536 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22111/tid=22121] ppid=22109 vsize=9824668 CPUtime=3.46 cores=1,3,5,7
/proc/22111/task/22121/stat : 22121 (java) S 22109 22111 21231 0 -1 4202560 1432 0 0 0 318 28 0 0 20 0 22 0 253520125 10060460032 556017 33554432000 1073741824 1073778376 140736464998992 139685976337448 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22111/tid=22122] ppid=22109 vsize=9824668 CPUtime=32.39 cores=1,3,5,7
/proc/22111/task/22122/stat : 22122 (java) S 22109 22111 21231 0 -1 4202560 2291 0 0 0 3208 31 0 0 20 0 22 0 253520127 10060460032 556017 33554432000 1073741824 1073778376 140736464998992 139685964138600 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22111/tid=22123] ppid=22109 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22111/task/22123/stat : 22123 (java) S 22109 22111 21231 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253520127 10060460032 556017 33554432000 1073741824 1073778376 140736464998992 139685963084920 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22111/tid=22124] ppid=22109 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22111/task/22124/stat : 22124 (java) S 22109 22111 21231 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253520127 10060460032 556017 33554432000 1073741824 1073778376 140736464998992 139685962032264 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22111/tid=22125] ppid=22109 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22111/task/22125/stat : 22125 (java) S 22109 22111 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253520129 10060460032 556017 33554432000 1073741824 1073778376 140736464998992 139685960981008 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22111/tid=22126] ppid=22109 vsize=9824668 CPUtime=0.99 cores=1,3,5,7
/proc/22111/task/22126/stat : 22126 (java) S 22109 22111 21231 0 -1 4202560 10130 0 0 0 96 3 0 0 20 0 22 0 253520129 10060460032 556017 33554432000 1073741824 1073778376 140736464998992 139685221362232 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22111/tid=22127] ppid=22109 vsize=9824668 CPUtime=1 cores=1,3,5,7
/proc/22111/task/22127/stat : 22127 (java) S 22109 22111 21231 0 -1 4202560 8761 0 0 0 98 2 0 0 20 0 22 0 253520129 10060460032 556017 33554432000 1073741824 1073778376 140736464998992 139685220309688 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22111/tid=22128] ppid=22109 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22111/task/22128/stat : 22128 (java) S 22109 22111 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253520129 10060460032 556017 33554432000 1073741824 1073778376 140736464998992 139685219257336 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22111/tid=22129] ppid=22109 vsize=9824668 CPUtime=0.45 cores=1,3,5,7
/proc/22111/task/22129/stat : 22129 (java) S 22109 22111 21231 0 -1 4202560 51 0 0 0 17 28 0 0 20 0 22 0 253520129 10060460032 556017 33554432000 1073741824 1073778376 140736464998992 139685218205000 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22111/tid=22132] ppid=22109 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22111/task/22132/stat : 22132 (java) S 22109 22111 21231 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253520145 10060460032 556017 33554432000 1073741824 1073778376 140736464998992 139685215044648 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22111/tid=22138] ppid=22109 vsize=9824668 CPUtime=839.19 cores=1,3,5,7
/proc/22111/task/22138/stat : 22138 (java) R 22109 22111 21231 0 -1 4202560 224 0 0 0 83904 15 0 0 20 0 22 0 253520246 10060460032 556017 33554432000 1073741824 1073778376 140736464998992 139685213990944 139685976912542 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=22111/tid=22139] ppid=22109 vsize=9824668 CPUtime=839.03 cores=1,3,5,7
/proc/22111/task/22139/stat : 22139 (java) R 22109 22111 21231 0 -1 4202560 3206 0 0 0 83860 43 0 0 20 0 22 0 253520246 10060460032 556017 33554432000 1073741824 1073778376 140736464998992 139685217147232 139685976944845 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22111/tid=22140] ppid=22109 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22111/task/22140/stat : 22140 (java) S 22109 22111 21231 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253520246 10060460032 556017 33554432000 1073741824 1073778376 140736464998992 139685216097192 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1744.4
Current children cumulated vsize (KiB) 9824668



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+910.501 s]
/proc/loadavg: 3.92 3.93 3.62 5/219 22217
/proc/meminfo: memFree=23502672/32873844 swapFree=7104/7104
[pid=22111] ppid=22109 vsize=9824668 CPUtime=1800.2 cores=1,3,5,7
/proc/22111/stat : 22111 (java) S 22109 22111 21231 0 -1 4202496 39486 0 1 0 179692 328 0 0 20 0 22 0 253520123 10060460032 587284 33554432000 1073741824 1073778376 140736464998992 140736464990128 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22111/statm: 2456167 587284 2280 9 0 2446860 0
[pid=22111/tid=22113] ppid=22109 vsize=9824668 CPUtime=0.25 cores=1,3,5,7
/proc/22111/task/22113/stat : 22113 (java) S 22109 22111 21231 0 -1 4202560 2511 0 1 0 21 4 0 0 20 0 22 0 253520124 10060460032 587284 33554432000 1073741824 1073778376 140736464998992 139686140339192 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22111/tid=22114] ppid=22109 vsize=9824668 CPUtime=3.34 cores=1,3,5,7
/proc/22111/task/22114/stat : 22114 (java) S 22109 22111 21231 0 -1 4202560 1410 0 0 0 303 31 0 0 20 0 22 0 253520125 10060460032 587284 33554432000 1073741824 1073778376 140736464998992 139686101829800 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22111/tid=22115] ppid=22109 vsize=9824668 CPUtime=3.61 cores=1,3,5,7
/proc/22111/task/22115/stat : 22115 (java) S 22109 22111 21231 0 -1 4202560 1550 0 0 0 327 34 0 0 20 0 22 0 253520125 10060460032 587284 33554432000 1073741824 1073778376 140736464998992 139686100777256 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22111/tid=22116] ppid=22109 vsize=9824668 CPUtime=3.13 cores=1,3,5,7
/proc/22111/task/22116/stat : 22116 (java) S 22109 22111 21231 0 -1 4202560 928 0 0 0 287 26 0 0 20 0 22 0 253520125 10060460032 587284 33554432000 1073741824 1073778376 140736464998992 139686099724712 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22111/tid=22117] ppid=22109 vsize=9824668 CPUtime=3.29 cores=1,3,5,7
/proc/22111/task/22117/stat : 22117 (java) S 22109 22111 21231 0 -1 4202560 1157 0 0 0 301 28 0 0 20 0 22 0 253520125 10060460032 587284 33554432000 1073741824 1073778376 140736464998992 139686098672168 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22111/tid=22118] ppid=22109 vsize=9824668 CPUtime=3.45 cores=1,3,5,7
/proc/22111/task/22118/stat : 22118 (java) S 22109 22111 21231 0 -1 4202560 1573 0 0 0 317 28 0 0 20 0 22 0 253520125 10060460032 587284 33554432000 1073741824 1073778376 140736464998992 139686097619624 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22111/tid=22119] ppid=22109 vsize=9824668 CPUtime=3.34 cores=1,3,5,7
/proc/22111/task/22119/stat : 22119 (java) S 22109 22111 21231 0 -1 4202560 1263 0 0 0 311 23 0 0 20 0 22 0 253520125 10060460032 587284 33554432000 1073741824 1073778376 140736464998992 139686096567080 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22111/tid=22120] ppid=22109 vsize=9824668 CPUtime=3.19 cores=1,3,5,7
/proc/22111/task/22120/stat : 22120 (java) S 22109 22111 21231 0 -1 4202560 1108 0 0 0 294 25 0 0 20 0 22 0 253520125 10060460032 587284 33554432000 1073741824 1073778376 140736464998992 139686095514536 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22111/tid=22121] ppid=22109 vsize=9824668 CPUtime=3.52 cores=1,3,5,7
/proc/22111/task/22121/stat : 22121 (java) S 22109 22111 21231 0 -1 4202560 1441 0 0 0 324 28 0 0 20 0 22 0 253520125 10060460032 587284 33554432000 1073741824 1073778376 140736464998992 139685976337448 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22111/tid=22122] ppid=22109 vsize=9824668 CPUtime=33.37 cores=1,3,5,7
/proc/22111/task/22122/stat : 22122 (java) S 22109 22111 21231 0 -1 4202560 2342 0 0 0 3305 32 0 0 20 0 22 0 253520127 10060460032 587284 33554432000 1073741824 1073778376 140736464998992 139685964138600 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22111/tid=22123] ppid=22109 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22111/task/22123/stat : 22123 (java) S 22109 22111 21231 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253520127 10060460032 587284 33554432000 1073741824 1073778376 140736464998992 139685963084920 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22111/tid=22124] ppid=22109 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22111/task/22124/stat : 22124 (java) S 22109 22111 21231 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253520127 10060460032 587284 33554432000 1073741824 1073778376 140736464998992 139685962032264 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22111/tid=22125] ppid=22109 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22111/task/22125/stat : 22125 (java) S 22109 22111 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253520129 10060460032 587284 33554432000 1073741824 1073778376 140736464998992 139685960981008 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22111/tid=22126] ppid=22109 vsize=9824668 CPUtime=0.99 cores=1,3,5,7
/proc/22111/task/22126/stat : 22126 (java) S 22109 22111 21231 0 -1 4202560 10130 0 0 0 96 3 0 0 20 0 22 0 253520129 10060460032 587284 33554432000 1073741824 1073778376 140736464998992 139685221362232 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22111/tid=22127] ppid=22109 vsize=9824668 CPUtime=1 cores=1,3,5,7
/proc/22111/task/22127/stat : 22127 (java) S 22109 22111 21231 0 -1 4202560 8761 0 0 0 98 2 0 0 20 0 22 0 253520129 10060460032 587284 33554432000 1073741824 1073778376 140736464998992 139685220309688 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22111/tid=22128] ppid=22109 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22111/task/22128/stat : 22128 (java) S 22109 22111 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253520129 10060460032 587284 33554432000 1073741824 1073778376 140736464998992 139685219257336 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22111/tid=22129] ppid=22109 vsize=9824668 CPUtime=0.46 cores=1,3,5,7
/proc/22111/task/22129/stat : 22129 (java) S 22109 22111 21231 0 -1 4202560 53 0 0 0 18 28 0 0 20 0 22 0 253520129 10060460032 587284 33554432000 1073741824 1073778376 140736464998992 139685218205000 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22111/tid=22132] ppid=22109 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22111/task/22132/stat : 22132 (java) S 22109 22111 21231 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253520145 10060460032 587284 33554432000 1073741824 1073778376 140736464998992 139685215044648 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22111/tid=22138] ppid=22109 vsize=9824668 CPUtime=866.14 cores=1,3,5,7
/proc/22111/task/22138/stat : 22138 (java) R 22109 22111 21231 0 -1 4202560 225 0 0 0 86598 16 0 0 20 0 22 0 253520246 10060460032 587284 33554432000 1073741824 1073778376 140736464998992 139685213991904 139685976864772 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=22111/tid=22139] ppid=22109 vsize=9824668 CPUtime=865.98 cores=1,3,5,7
/proc/22111/task/22139/stat : 22139 (java) R 22109 22111 21231 0 -1 4202560 3726 0 0 0 86554 44 0 0 20 0 22 0 253520246 10060460032 587284 33554432000 1073741824 1073778376 140736464998992 139685217147136 139685976911170 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=22111/tid=22140] ppid=22109 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22111/task/22140/stat : 22140 (java) S 22109 22111 21231 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253520246 10060460032 587284 33554432000 1073741824 1073778376 140736464998992 139685216097192 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 9824668

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 22111 and gives
#  childrusage.ru_utime.tv_sec=1792
#  childrusage.ru_utime.tv_usec=218541
#  childrusage.ru_stime.tv_sec=3
#  childrusage.ru_stime.tv_usec=720434
# CPU time returned by wait4() is 1795.94
# while last known CPU time is 1800.2
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 910.535
CPU time (s): 1800.2
CPU user time (s): 1796.92
CPU system time (s): 3.28
CPU usage (%): 197.708
Max. virtual memory (cumulated for all children) (KiB): 9824928

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.22
system time used= 3.72043
maximum resident set size= 2349256
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39517
page faults= 1
swaps= 0
block input operations= 0
block output operations= 944
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 30685
involuntary context switches= 49985

runsolver used 4.43033 second user time and 7.97379 second system time

The end

Launcher Data

Begin job on node119 at 2012-05-24 17:39:04
IDJOB=3687840
IDBENCH=2225
IDSOLVER=2268
FILE ID=node119/3687840-1337873944
RUNJOBID= node119-1337871880-21248
PBS_JOBID= 14620085
Free space on /tmp= 71700 MiB

SOLVER NAME= SAT 4j PB RES // CP 2.3.2 Snapshot
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:10:4.5:0.95:100.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3687840-1337873944/watcher-3687840-1337873944 -o /tmp/evaluation-result-3687840-1337873944/solver-3687840-1337873944 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar Both HOME/instance-3687840-1337873944.opb

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

MD5SUM BENCH= b258fc1dc8cb1827e842a0b9558712c7
RANDOM SEED=947321410

node119.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		: 2666.943
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	: 5333.88
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		: 2666.943
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		: 2666.943
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	: 5331.93
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		: 2666.943
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		: 2666.943
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.93
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		: 2666.943
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.92
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		: 2666.943
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.90
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		: 2666.943
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.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        26181660 kB
Buffers:          201216 kB
Cached:          2770444 kB
SwapCached:            0 kB
Active:          3312484 kB
Inactive:        2610860 kB
Active(anon):    2954008 kB
Inactive(anon):        0 kB
Active(file):     358476 kB
Inactive(file):  2610860 kB
Unevictable:        7104 kB
Mlocked:            7104 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               452 kB
Writeback:             0 kB
AnonPages:       3031640 kB
Mapped:            21708 kB
Shmem:               200 kB
Slab:             625020 kB
SReclaimable:      67524 kB
SUnreclaim:       557496 kB
KernelStack:        1816 kB
PageTables:         9832 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    3194816 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2936832 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= 71700 MiB
End job on node119 at 2012-05-24 17:54:17