Trace number 3687848

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)16 1800.07 914.935

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-10:20:4.5:0.95:98.opb
MD5SUM09000b526c4cf3fc454b31cbb57a970b
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark0.181971
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 2
Optimality of the best value was proved YES
Number of variables906
Total number of constraints1039
Number of constraints which are clauses852
Number of constraints which are cardinality constraints (but not clauses)187
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint18
Number of terms in the objective function 906
Biggest coefficient in the objective function 553
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 2526
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 553
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 2526
Number of bits of the biggest sum of numbers12
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.07	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.07	c version 2.3.2.v20120418
0.00/0.07	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.07	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.07	c java.vm.version	19.1-b02
0.00/0.07	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.07	c sun.arch.data.model	64
0.00/0.07	c java.version		1.6.0_24
0.00/0.07	c os.name		Linux
0.00/0.07	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.07	c os.arch		amd64
0.00/0.07	c Free memory 		501472288
0.00/0.07	c Max memory 		7480803328
0.00/0.07	c Total memory 		504102912
0.00/0.07	c Number of processors 	8
0.11/0.10	c Pseudo Boolean Optimization by upper bound
0.11/0.10	c ManyCore solver with 2 solvers running in parallel
0.11/0.10	c --- Begin Solver configuration ---
0.11/0.10	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.11/0.10	c Learn all clauses as in MiniSAT
0.11/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.10	c Expensive reason simplification
0.11/0.10	c Armin Biere (Picosat) restarts strategy
0.11/0.10	c Glucose learned constraints deletion strategy
0.11/0.10	c timeout=2147483s
0.11/0.10	c DB Simplification allowed=false
0.11/0.10	c c --- End Solver configuration ---
0.11/0.10	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.11/0.10	c --- Begin Solver configuration ---
0.11/0.10	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4e3eca90
0.11/0.10	c Learn all clauses as in MiniSAT
0.11/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.10	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.11/0.10	c No reason simplification
0.11/0.10	c Armin Biere (Picosat) restarts strategy
0.11/0.10	c Glucose learned constraints deletion strategy
0.11/0.10	c timeout=2147483s
0.11/0.10	c DB Simplification allowed=false
0.11/0.10	c c --- End Solver configuration ---
0.11/0.10	c solving HOME/instance-3687848-1337874031.opb
0.11/0.10	c reading problem ... 
0.28/0.24	c ... done. Wall clock time 0.135s.
0.28/0.24	c declared #vars     906
0.28/0.24	c #constraints  1039
0.28/0.24	c constraints type 
0.28/0.24	c org.sat4j.minisat.constraints.card.MinWatchCard => 186
0.28/0.24	c ignored satisfied constraints => 1
0.28/0.24	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 852
0.28/0.24	c org.sat4j.minisat.constraints.cnf.UnitClause => 1
0.28/0.24	c 1040 constraints processed.
0.28/0.24	c constraints type 
0.28/0.24	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 852
0.28/0.24	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 186
0.28/0.24	c ignored satisfied constraints => 1
0.28/0.24	c org.sat4j.pb.constraints.pb.UnitClausePB => 1
0.28/0.24	c 1040 constraints processed.
0.28/0.24	c objective function length is 906 literals
0.28/0.26	c  And the winner is solver0
0.47/0.74	c SATISFIABLE
0.47/0.74	c OPTIMIZING...
0.47/0.74	c Got one! Elapsed wall clock time (in seconds):0.639
0.47/0.74	o 25
1.06/0.98	c  And the winner is solver1
1.63/1.26	c Got one! Elapsed wall clock time (in seconds):1.158
1.63/1.26	o 24
1.63/1.28	c  And the winner is solver1
1.81/1.76	c Got one! Elapsed wall clock time (in seconds):1.663
1.81/1.76	o 18
2.33/1.92	c  And the winner is solver1
2.47/2.27	c Got one! Elapsed wall clock time (in seconds):2.167
2.47/2.27	o 17
3.53/2.70	c cleaning 2769 clauses out of 5543 with flag 4000/5543
4.55/3.23	c  And the winner is solver1
4.55/3.27	c Got one! Elapsed wall clock time (in seconds):3.171
4.55/3.27	o 16
4.72/3.37	c cleaning 4232 clauses out of 8469 with flag 1001/11238
5.89/3.97	c cleaning 5116 clauses out of 10236 with flag 7000/17237
7.48/4.70	c cleaning 6060 clauses out of 12120 with flag 14000/24237
9.10/5.52	c cleaning 7031 clauses out of 14061 with flag 22001/32238
10.84/6.41	c cleaning 8013 clauses out of 16029 with flag 31000/41237
12.80/7.45	c cleaning 8997 clauses out of 18017 with flag 41001/51238
14.96/8.57	c cleaning 10007 clauses out of 20019 with flag 52000/62237
17.26/9.72	c cleaning 11000 clauses out of 22015 with flag 64003/74240
19.81/11.05	c cleaning 12002 clauses out of 24012 with flag 77000/87237
22.74/12.50	c cleaning 13005 clauses out of 26010 with flag 91000/101237
25.69/14.06	c cleaning 14002 clauses out of 28005 with flag 106000/116237
28.99/15.77	c cleaning 14995 clauses out of 30003 with flag 122000/132237
32.52/17.52	c cleaning 16000 clauses out of 32010 with flag 139002/149239
36.43/19.59	c cleaning 17004 clauses out of 34008 with flag 157000/167237
40.35/21.58	c cleaning 17998 clauses out of 36004 with flag 176000/186237
44.79/23.84	c cleaning 19001 clauses out of 38007 with flag 196001/206238
49.28/26.12	c cleaning 19998 clauses out of 40005 with flag 217000/227237
53.99/28.54	c cleaning 21005 clauses out of 42009 with flag 239002/249239
59.27/31.28	c cleaning 22000 clauses out of 44004 with flag 262002/272239
64.91/34.18	c cleaning 22996 clauses out of 46002 with flag 286000/296237
71.01/37.25	c cleaning 24003 clauses out of 48006 with flag 311000/321237
77.49/40.56	c cleaning 25004 clauses out of 50007 with flag 337004/347241
83.53/43.65	c cleaning 25997 clauses out of 51999 with flag 364000/374237
89.71/46.88	c cleaning 26999 clauses out of 54002 with flag 392000/402237
95.78/50.00	c cleaning 28000 clauses out of 56003 with flag 421000/431237
102.02/53.17	c cleaning 28999 clauses out of 58004 with flag 451001/461238
108.68/56.59	c cleaning 29997 clauses out of 60005 with flag 482001/492238
115.84/60.29	c cleaning 30987 clauses out of 62007 with flag 514000/524237
123.07/63.94	c cleaning 31991 clauses out of 64020 with flag 547000/557237
130.71/67.88	c cleaning 33012 clauses out of 66030 with flag 581001/591238
138.15/71.60	c cleaning 33994 clauses out of 68017 with flag 616000/626237
146.67/76.00	c cleaning 35011 clauses out of 70023 with flag 652000/662237
154.29/79.97	c cleaning 35993 clauses out of 72012 with flag 689000/699237
162.91/84.31	c cleaning 36993 clauses out of 74019 with flag 727000/737237
171.32/88.63	c cleaning 38011 clauses out of 76026 with flag 766000/776237
180.22/93.22	c cleaning 38997 clauses out of 78015 with flag 806000/816237
189.64/98.00	c cleaning 40008 clauses out of 80018 with flag 847000/857237
200.06/103.32	c cleaning 40992 clauses out of 82010 with flag 889000/899237
211.06/108.95	c cleaning 41997 clauses out of 84018 with flag 932000/942237
221.32/114.22	c cleaning 43002 clauses out of 86022 with flag 976001/986238
233.34/120.35	c cleaning 44007 clauses out of 88019 with flag 1021000/1031237
244.95/126.23	c cleaning 44986 clauses out of 90012 with flag 1067000/1077237
256.14/131.94	c cleaning 46004 clauses out of 92026 with flag 1114000/1124237
266.57/137.39	c cleaning 47004 clauses out of 94022 with flag 1162000/1172237
277.54/142.91	c cleaning 47998 clauses out of 96018 with flag 1211000/1221237
288.69/148.61	c cleaning 49004 clauses out of 98020 with flag 1261000/1271237
299.43/154.19	c cleaning 50002 clauses out of 100016 with flag 1312000/1322237
313.45/161.33	c cleaning 51004 clauses out of 102014 with flag 1364000/1374237
327.40/168.47	c cleaning 51998 clauses out of 104010 with flag 1417000/1427237
342.55/176.14	c cleaning 52990 clauses out of 106012 with flag 1471000/1481237
356.29/183.11	c cleaning 54007 clauses out of 108022 with flag 1526000/1536237
370.86/190.63	c cleaning 54987 clauses out of 110016 with flag 1582001/1592238
386.20/198.42	c cleaning 55997 clauses out of 112028 with flag 1639000/1649237
402.17/206.57	c cleaning 57006 clauses out of 114033 with flag 1697002/1707239
419.30/215.22	c cleaning 58009 clauses out of 116025 with flag 1756000/1766237
435.30/223.43	c cleaning 59006 clauses out of 118016 with flag 1816000/1826237
450.46/231.15	c cleaning 59981 clauses out of 120010 with flag 1877000/1887237
466.01/239.06	c cleaning 60990 clauses out of 122029 with flag 1939000/1949237
481.76/247.10	c cleaning 62019 clauses out of 124040 with flag 2002001/2012238
498.30/255.51	c cleaning 62991 clauses out of 126020 with flag 2066000/2076237
513.65/263.38	c cleaning 64003 clauses out of 128030 with flag 2131001/2141238
529.19/271.22	c cleaning 65009 clauses out of 130026 with flag 2197000/2207237
547.30/280.46	c cleaning 66009 clauses out of 132021 with flag 2264004/2274241
565.18/289.63	c cleaning 66994 clauses out of 134008 with flag 2332000/2342237
584.73/299.58	c cleaning 67996 clauses out of 136014 with flag 2401000/2411237
604.67/309.64	c cleaning 69000 clauses out of 138018 with flag 2471000/2481237
621.60/318.20	c cleaning 70008 clauses out of 140018 with flag 2542000/2552237
639.30/327.31	c cleaning 70998 clauses out of 142010 with flag 2614000/2624237
661.67/338.60	c cleaning 71997 clauses out of 144013 with flag 2687001/2697238
680.83/348.35	c cleaning 72995 clauses out of 146015 with flag 2761000/2771237
701.29/359.04	c cleaning 74002 clauses out of 148020 with flag 2836000/2846237
723.62/370.35	c cleaning 74994 clauses out of 150018 with flag 2912000/2922237
743.11/380.22	c cleaning 76009 clauses out of 152025 with flag 2989001/2999238
765.26/391.41	c cleaning 77001 clauses out of 154016 with flag 3067001/3077238
789.04/403.58	c cleaning 78006 clauses out of 156014 with flag 3146000/3156237
814.81/416.54	c cleaning 79001 clauses out of 158009 with flag 3226001/3236238
843.97/431.21	c cleaning 80003 clauses out of 160007 with flag 3307000/3317237
875.16/446.99	c cleaning 80995 clauses out of 162004 with flag 3389000/3399237
906.03/462.68	c cleaning 82003 clauses out of 164009 with flag 3472000/3482237
933.62/476.59	c cleaning 83004 clauses out of 166007 with flag 3556001/3566238
969.42/494.57	c cleaning 83996 clauses out of 168002 with flag 3641000/3651237
1006.16/513.00	c cleaning 85000 clauses out of 170006 with flag 3727000/3737237
1040.21/530.33	c cleaning 85996 clauses out of 172006 with flag 3814000/3824237
1073.78/547.27	c cleaning 87002 clauses out of 174010 with flag 3902000/3912237
1104.91/562.95	c cleaning 88005 clauses out of 176009 with flag 3991001/4001238
1144.21/582.72	c cleaning 88988 clauses out of 178004 with flag 4081001/4091238
1184.26/603.06	c cleaning 90006 clauses out of 180015 with flag 4172000/4182237
1219.80/620.96	c cleaning 90998 clauses out of 182011 with flag 4264002/4274239
1255.31/638.80	c cleaning 91996 clauses out of 184011 with flag 4357000/4367237
1291.82/657.24	c cleaning 93005 clauses out of 186015 with flag 4451000/4461237
1328.22/675.75	c cleaning 93996 clauses out of 188010 with flag 4546000/4556237
1364.02/693.87	c cleaning 95002 clauses out of 190014 with flag 4642000/4652237
1402.72/713.31	c cleaning 95989 clauses out of 192012 with flag 4739000/4749237
1435.39/729.86	c cleaning 96993 clauses out of 194023 with flag 4837000/4847237
1471.05/748.08	c cleaning 98002 clauses out of 196032 with flag 4936002/4946239
1511.31/768.38	c cleaning 99007 clauses out of 198030 with flag 5036002/5046239
1548.28/787.07	c cleaning 99987 clauses out of 200021 with flag 5137000/5147237
1576.74/801.47	c cleaning 101016 clauses out of 202035 with flag 5239001/5249238
1608.65/817.78	c cleaning 101999 clauses out of 204018 with flag 5342000/5352237
1645.63/836.40	c cleaning 102996 clauses out of 206020 with flag 5446001/5456238
1681.42/854.56	c cleaning 103996 clauses out of 208023 with flag 5551000/5561237
1715.25/871.62	c cleaning 105012 clauses out of 210028 with flag 5657001/5667238
1751.61/890.22	c cleaning 105995 clauses out of 212016 with flag 5764001/5774238
1793.02/911.15	c cleaning 107001 clauses out of 214022 with flag 5872002/5882239
1800.07/914.91	c starts		: 6
1800.07/914.91	c conflicts		: 3903
1800.07/914.91	c decisions		: 639257
1800.07/914.91	c propagations		: 1984969
1800.07/914.91	c inspects		: 1302926850
1800.07/914.91	c shortcuts		: 0
1800.07/914.91	c learnt literals	: 0
1800.07/914.91	c learnt binary clauses	: 0
1800.07/914.91	c learnt ternary clauses	: 0
1800.07/914.91	c learnt constraints	: 3902
1800.07/914.91	c ignored constraints	: 0
1800.07/914.91	c root simplifications	: 0
1800.07/914.91	c removed literals (reason simplification)	: 0
1800.07/914.91	c reason swapping (by a shorter reason)	: 0
1800.07/914.91	c Calls to reduceDB	: 0
1800.07/914.91	c number of reductions to clauses (during analyze)	: 0
1800.07/914.91	c number of learned constraints concerned by reduction	: 0
1800.07/914.91	c number of learning phase by resolution	: 0
1800.07/914.91	c number of learning phase by cutting planes	: 0
1800.07/914.91	c speed (assignments/second)	: 2171.389284217965
1800.07/914.91	c non guided choices	0
1800.07/914.91	c learnt constraints type 
1800.07/914.91	c org.sat4j.pb.constraints.pb.MaxWatchPb => 3902
1800.07/914.91	c constraints type 
1800.07/914.91	c org.sat4j.minisat.constraints.card.MinWatchCard => 186
1800.07/914.91	c ignored satisfied constraints => 1
1800.07/914.91	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 852
1800.07/914.91	c org.sat4j.minisat.constraints.cnf.UnitClause => 1
1800.07/914.91	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1
1800.07/914.91	c 1041 constraints processed.
1800.07/914.91	c constraints type 
1800.07/914.91	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 852
1800.07/914.91	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 186
1800.07/914.91	c ignored satisfied constraints => 1
1800.07/914.91	c org.sat4j.pb.constraints.pb.MaxWatchPb => 1
1800.07/914.91	c org.sat4j.pb.constraints.pb.UnitClausePB => 1
1800.07/914.91	c 1041 constraints processed.
1800.07/914.91	s SATISFIABLE
1800.07/914.91	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 -x649 -x650 -x651 -x652 x653 x654 -x655 x656 x657 -x658 x659 -x660 -x661 -x662 -x663 x664 x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 x677 x678 -x679 -x680 x681 x682 -x683 -x684 x685 x686 -x687 -x688 -x689 -x690 x691 -x692 -x693 x694 x695 x696 -x697 -x698 -x699 x700 -x701 -x702 -x703 x704 -x705 -x706 x707 x708 -x709 -x710 -x711 x712 -x713 -x714 x715 x716 -x717 -x718 x719 x720 x721 -x722 -x723 -x724 x725 -x726 -x727 -x728 x729 x730 -x731 x732 x733 x734 x735 -x736 -x737 -x738 x739 -x740 -x741 x742 x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 x755 x756 -x757 x758 x759 x760 -x761 -x762 -x763 x764 -x765 -x766 x767 x768 -x769 -x770 -x771 x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 x781 -x782 x783 x784 x785 x786 x787 x788 -x789 -x790 x791 x792 -x793 -x794 x795 x796 -x797 -x798 x799 x800 x801 -x802 x803 x804 x805 x806 x807 x808 x809 -x810 -x811 -x812 x813 -x814 -x815 -x816 x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 x825 -x826 -x827 -x828 -x829 -x830 -x831 x832 x833 x834 -x835 -x836 -x837 x838 -x839 -x840 x841 x842 -x843 -x844 x845 x846 -x847 -x848 x849 x850 -x851 -x852 x853 x854 x855 -x856 x857 x858 x859 x860 -x861 x862 x863 x864 x865 x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 x874 -x875 -x876 -x877 x878 -x879 -x880 x881 x882 x883 -x884 -x885 x886 x887 -x888 -x889 x890 x891 -x892 -x893 x894 x895 x896 -x897 x898 x899 -x900 -x901 x902 x903 x904 -x905 x906 
1800.07/914.91	c objective function=16
1800.07/914.91	c Total wall clock time (in seconds): 914.813

Verifier Data

OK	16

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-3687848-1337874031/watcher-3687848-1337874031 -o /tmp/evaluation-result-3687848-1337874031/solver-3687848-1337874031 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3687848-1337874031.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.80 3.72 3.36 4/198 23075
/proc/meminfo: memFree=25857264/32873648 swapFree=6336/6336
[pid=23075] ppid=23073 vsize=96324 CPUtime=0 cores=0,2,4,6
/proc/23075/stat : 23075 (java) S 23073 23075 22409 0 -1 4202496 1240 0 0 0 0 0 0 0 20 0 2 0 253530408 98635776 948 33554432000 1073741824 1073778376 140734794589264 140734794580400 213869690941 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23075/statm: 24081 959 727 9 0 16771 0
[pid=23075/tid=23076] ppid=23073 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/23075/task/23076/stat : 23076 (java) R 23073 23075 22409 0 -1 4202560 111 0 0 0 0 0 0 0 20 0 2 0 253530409 98570240 959 33554432000 1073741824 1073778376 140734794589264 140305867054632 213857169239 0 0 4096 0 0 0 0 -1 2 0 0 0 0 0

[startup+0.0844009 s]
/proc/loadavg: 3.80 3.72 3.36 4/198 23075
/proc/meminfo: memFree=25857264/32873648 swapFree=6336/6336
[pid=23075] ppid=23073 vsize=9558412 CPUtime=0.09 cores=0,2,4,6
/proc/23075/stat : 23075 (java) S 23073 23075 22409 0 -1 4202496 4291 0 1 0 8 1 0 0 20 0 18 0 253530408 9787813888 5490 33554432000 1073741824 1073778376 140734794589264 140734794580400 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23075/statm: 2389603 5491 2109 9 0 2380296 0
[pid=23075/tid=23076] ppid=23073 vsize=9558412 CPUtime=0.06 cores=0,2,4,6
/proc/23075/task/23076/stat : 23076 (java) R 23073 23075 22409 0 -1 4202560 2332 0 1 0 6 0 0 0 20 0 18 0 253530409 9787813888 5491 33554432000 1073741824 1073778376 140734794589264 140305867058808 140305874824019 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558412

[startup+0.100233 s]
/proc/loadavg: 3.80 3.72 3.36 4/198 23075
/proc/meminfo: memFree=25857264/32873648 swapFree=6336/6336
[pid=23075] ppid=23073 vsize=9558412 CPUtime=0.11 cores=0,2,4,6
/proc/23075/stat : 23075 (java) S 23073 23075 22409 0 -1 4202496 4473 0 1 0 10 1 0 0 20 0 18 0 253530408 9787813888 6145 33554432000 1073741824 1073778376 140734794589264 140734794580400 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23075/statm: 2389603 6145 2142 9 0 2380296 0
[pid=23075/tid=23076] ppid=23073 vsize=9558412 CPUtime=0.07 cores=0,2,4,6
/proc/23075/task/23076/stat : 23076 (java) R 23073 23075 22409 0 -1 4202560 2428 0 1 0 7 0 0 0 20 0 18 0 253530409 9787813888 6145 33554432000 1073741824 1073778376 140734794589264 140305867058808 213869716749 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558412

[startup+0.300291 s]
/proc/loadavg: 3.80 3.72 3.36 4/198 23075
/proc/meminfo: memFree=25857264/32873648 swapFree=6336/6336
[pid=23075] ppid=23073 vsize=9824668 CPUtime=0.47 cores=0,2,4,6
/proc/23075/stat : 23075 (java) S 23073 23075 22409 0 -1 4202496 5777 0 1 0 44 3 0 0 20 0 19 0 253530408 10060460032 9518 33554432000 1073741824 1073778376 140734794589264 140734794580400 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23075/statm: 2456167 9518 2232 9 0 2446860 0
[pid=23075/tid=23076] ppid=23073 vsize=9824668 CPUtime=0.22 cores=0,2,4,6
/proc/23075/task/23076/stat : 23076 (java) S 23073 23075 22409 0 -1 4202560 2454 0 1 0 22 0 0 0 20 0 19 0 253530409 10060460032 9518 33554432000 1073741824 1073778376 140734794589264 140305867060216 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 9824668

[startup+0.700283 s]
/proc/loadavg: 3.80 3.72 3.36 4/198 23075
/proc/meminfo: memFree=25857264/32873648 swapFree=6336/6336
[pid=23075] ppid=23073 vsize=9824668 CPUtime=0.47 cores=0,2,4,6
/proc/23075/stat : 23075 (java) S 23073 23075 22409 0 -1 4202496 5777 0 1 0 44 3 0 0 20 0 19 0 253530408 10060460032 9518 33554432000 1073741824 1073778376 140734794589264 140734794580400 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23075/statm: 2456167 9518 2232 9 0 2446860 0
[pid=23075/tid=23076] ppid=23073 vsize=9824668 CPUtime=0.22 cores=0,2,4,6
/proc/23075/task/23076/stat : 23076 (java) S 23073 23075 22409 0 -1 4202560 2454 0 1 0 22 0 0 0 20 0 19 0 253530409 10060460032 9518 33554432000 1073741824 1073778376 140734794589264 140305867060216 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 9824668

[startup+1.50068 s]
/proc/loadavg: 3.80 3.72 3.36 4/217 23100
/proc/meminfo: memFree=25629276/32873648 swapFree=6336/6336
[pid=23075] ppid=23073 vsize=9824668 CPUtime=1.81 cores=0,2,4,6
/proc/23075/stat : 23075 (java) S 23073 23075 22409 0 -1 4202496 16377 0 1 0 172 9 0 0 20 0 19 0 253530408 10060460032 21237 33554432000 1073741824 1073778376 140734794589264 140734794580400 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23075/statm: 2456167 21237 2245 9 0 2446860 0
[pid=23075/tid=23076] ppid=23073 vsize=9824668 CPUtime=0.24 cores=0,2,4,6
/proc/23075/task/23076/stat : 23076 (java) S 23073 23075 22409 0 -1 4202560 2454 0 1 0 24 0 0 0 20 0 19 0 253530409 10060460032 21237 33554432000 1073741824 1073778376 140734794589264 140305867060216 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23075/tid=23078] ppid=23073 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23075/task/23078/stat : 23078 (java) S 23073 23075 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253530410 10060460032 21237 33554432000 1073741824 1073778376 140734794589264 140305710086824 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23075/tid=23079] ppid=23073 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23075/task/23079/stat : 23079 (java) S 23073 23075 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253530410 10060460032 21237 33554432000 1073741824 1073778376 140734794589264 140305709034280 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23075/tid=23080] ppid=23073 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23075/task/23080/stat : 23080 (java) S 23073 23075 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253530410 10060460032 21237 33554432000 1073741824 1073778376 140734794589264 140305707981736 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23075/tid=23081] ppid=23073 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23075/task/23081/stat : 23081 (java) S 23073 23075 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253530410 10060460032 21237 33554432000 1073741824 1073778376 140734794589264 140305706929192 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23075/tid=23082] ppid=23073 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23075/task/23082/stat : 23082 (java) S 23073 23075 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253530410 10060460032 21237 33554432000 1073741824 1073778376 140734794589264 140305705875624 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23075/tid=23083] ppid=23073 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23075/task/23083/stat : 23083 (java) S 23073 23075 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253530410 10060460032 21237 33554432000 1073741824 1073778376 140734794589264 140305704823080 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23075/tid=23084] ppid=23073 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23075/task/23084/stat : 23084 (java) S 23073 23075 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253530410 10060460032 21237 33554432000 1073741824 1073778376 140734794589264 140305703770536 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23075/tid=23085] ppid=23073 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23075/task/23085/stat : 23085 (java) S 23073 23075 22409 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253530410 10060460032 21237 33554432000 1073741824 1073778376 140734794589264 140305702717992 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23075/tid=23086] ppid=23073 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23075/task/23086/stat : 23086 (java) S 23073 23075 22409 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253530411 10060460032 21237 33554432000 1073741824 1073778376 140734794589264 140305690520168 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23075/tid=23087] ppid=23073 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23075/task/23087/stat : 23087 (java) S 23073 23075 22409 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 253530411 10060460032 21237 33554432000 1073741824 1073778376 140734794589264 140305689466488 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23075/tid=23088] ppid=23073 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23075/task/23088/stat : 23088 (java) S 23073 23075 22409 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253530411 10060460032 21237 33554432000 1073741824 1073778376 140734794589264 140305688413832 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23075/tid=23089] ppid=23073 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23075/task/23089/stat : 23089 (java) S 23073 23075 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253530413 10060460032 21237 33554432000 1073741824 1073778376 140734794589264 140305687362576 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23075/tid=23090] ppid=23073 vsize=9824668 CPUtime=0.55 cores=0,2,4,6
/proc/23075/task/23090/stat : 23090 (java) S 23073 23075 22409 0 -1 4202560 7410 0 0 0 53 2 0 0 20 0 19 0 253530413 10060460032 21237 33554432000 1073741824 1073778376 140734794589264 140305686308920 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23075/tid=23091] ppid=23073 vsize=9824668 CPUtime=0.43 cores=0,2,4,6
/proc/23075/task/23091/stat : 23091 (java) S 23073 23075 22409 0 -1 4202560 5170 0 0 0 43 0 0 0 20 0 19 0 253530413 10060460032 21237 33554432000 1073741824 1073778376 140734794589264 140305685256376 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23075/tid=23092] ppid=23073 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23075/task/23092/stat : 23092 (java) S 23073 23075 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253530413 10060460032 21237 33554432000 1073741824 1073778376 140734794589264 140305684204024 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23075/tid=23093] ppid=23073 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23075/task/23093/stat : 23093 (java) S 23073 23075 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253530413 10060460032 21237 33554432000 1073741824 1073778376 140734794589264 140305683151688 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23075/tid=23100] ppid=23073 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23075/task/23100/stat : 23100 (java) S 23073 23075 22409 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253530485 10060460032 21237 33554432000 1073741824 1073778376 140734794589264 140305682097192 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.81
Current children cumulated vsize (KiB) 9824668

[startup+3.10065 s]
/proc/loadavg: 3.80 3.72 3.36 4/217 23106
/proc/meminfo: memFree=25575376/32873648 swapFree=6336/6336
[pid=23075] ppid=23073 vsize=9824668 CPUtime=4.32 cores=0,2,4,6
/proc/23075/stat : 23075 (java) S 23073 23075 22409 0 -1 4202496 18092 0 1 0 417 15 0 0 20 0 22 0 253530408 10060460032 57747 33554432000 1073741824 1073778376 140734794589264 140734794580400 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23075/statm: 2456167 57747 2277 9 0 2446860 0
[pid=23075/tid=23076] ppid=23073 vsize=9824668 CPUtime=0.25 cores=0,2,4,6
/proc/23075/task/23076/stat : 23076 (java) S 23073 23075 22409 0 -1 4202560 2456 0 1 0 24 1 0 0 20 0 22 0 253530409 10060460032 57747 33554432000 1073741824 1073778376 140734794589264 140305867060216 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23075/tid=23078] ppid=23073 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/23075/task/23078/stat : 23078 (java) S 23073 23075 22409 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 22 0 253530410 10060460032 57747 33554432000 1073741824 1073778376 140734794589264 140305710086824 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23075/tid=23079] ppid=23073 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/23075/task/23079/stat : 23079 (java) S 23073 23075 22409 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 22 0 253530410 10060460032 57747 33554432000 1073741824 1073778376 140734794589264 140305709034280 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23075/tid=23080] ppid=23073 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23075/task/23080/stat : 23080 (java) S 23073 23075 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253530410 10060460032 57747 33554432000 1073741824 1073778376 140734794589264 140305707981736 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23075/tid=23081] ppid=23073 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/23075/task/23081/stat : 23081 (java) S 23073 23075 22409 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 22 0 253530410 10060460032 57747 33554432000 1073741824 1073778376 140734794589264 140305706929192 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23075/tid=23082] ppid=23073 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23075/task/23082/stat : 23082 (java) S 23073 23075 22409 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 253530410 10060460032 57747 33554432000 1073741824 1073778376 140734794589264 140305705875624 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23075/tid=23083] ppid=23073 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23075/task/23083/stat : 23083 (java) S 23073 23075 22409 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 253530410 10060460032 57747 33554432000 1073741824 1073778376 140734794589264 140305704823080 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23075/tid=23084] ppid=23073 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/23075/task/23084/stat : 23084 (java) S 23073 23075 22409 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 22 0 253530410 10060460032 57747 33554432000 1073741824 1073778376 140734794589264 140305703770536 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23075/tid=23085] ppid=23073 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23075/task/23085/stat : 23085 (java) S 23073 23075 22409 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 253530410 10060460032 57747 33554432000 1073741824 1073778376 140734794589264 140305702717992 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23075/tid=23086] ppid=23073 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/23075/task/23086/stat : 23086 (java) S 23073 23075 22409 0 -1 4202560 97 0 0 0 2 0 0 0 20 0 22 0 253530411 10060460032 57747 33554432000 1073741824 1073778376 140734794589264 140305690520168 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23075/tid=23087] ppid=23073 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23075/task/23087/stat : 23087 (java) S 23073 23075 22409 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253530411 10060460032 57747 33554432000 1073741824 1073778376 140734794589264 140305689466488 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23075/tid=23088] ppid=23073 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23075/task/23088/stat : 23088 (java) S 23073 23075 22409 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253530411 10060460032 57747 33554432000 1073741824 1073778376 140734794589264 140305688413832 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23075/tid=23089] ppid=23073 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23075/task/23089/stat : 23089 (java) S 23073 23075 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253530413 10060460032 57747 33554432000 1073741824 1073778376 140734794589264 140305687362576 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23075/tid=23090] ppid=23073 vsize=9824668 CPUtime=0.77 cores=0,2,4,6
/proc/23075/task/23090/stat : 23090 (java) S 23073 23075 22409 0 -1 4202560 7415 0 0 0 75 2 0 0 20 0 22 0 253530413 10060460032 57747 33554432000 1073741824 1073778376 140734794589264 140305686308920 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23075/tid=23091] ppid=23073 vsize=9824668 CPUtime=0.76 cores=0,2,4,6
/proc/23075/task/23091/stat : 23091 (java) S 23073 23075 22409 0 -1 4202560 6644 0 0 0 75 1 0 0 20 0 22 0 253530413 10060460032 57747 33554432000 1073741824 1073778376 140734794589264 140305685256376 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23075/tid=23092] ppid=23073 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23075/task/23092/stat : 23092 (java) S 23073 23075 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253530413 10060460032 57747 33554432000 1073741824 1073778376 140734794589264 140305684204024 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23075/tid=23093] ppid=23073 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23075/task/23093/stat : 23093 (java) S 23073 23075 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253530413 10060460032 57747 33554432000 1073741824 1073778376 140734794589264 140305683151688 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23075/tid=23100] ppid=23073 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23075/task/23100/stat : 23100 (java) S 23073 23075 22409 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253530485 10060460032 57747 33554432000 1073741824 1073778376 140734794589264 140305682097192 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 4.32
Current children cumulated vsize (KiB) 9824668

[startup+6.3008 s]
/proc/loadavg: 3.82 3.72 3.36 5/220 23112
/proc/meminfo: memFree=25289752/32873648 swapFree=6336/6336
[pid=23075] ppid=23073 vsize=9824668 CPUtime=10.64 cores=0,2,4,6
/proc/23075/stat : 23075 (java) S 23073 23075 22409 0 -1 4202496 18501 0 1 0 1041 23 0 0 20 0 22 0 253530408 10060460032 117849 33554432000 1073741824 1073778376 140734794589264 140734794580400 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23075/statm: 2456167 117849 2277 9 0 2446860 0
[pid=23075/tid=23076] ppid=23073 vsize=9824668 CPUtime=0.25 cores=0,2,4,6
/proc/23075/task/23076/stat : 23076 (java) S 23073 23075 22409 0 -1 4202560 2456 0 1 0 24 1 0 0 20 0 22 0 253530409 10060460032 117849 33554432000 1073741824 1073778376 140734794589264 140305867060216 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23075/tid=23078] ppid=23073 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/23075/task/23078/stat : 23078 (java) S 23073 23075 22409 0 -1 4202560 19 0 0 0 2 0 0 0 20 0 22 0 253530410 10060460032 117849 33554432000 1073741824 1073778376 140734794589264 140305710086824 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23075/tid=23079] ppid=23073 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/23075/task/23079/stat : 23079 (java) S 23073 23075 22409 0 -1 4202560 18 0 0 0 2 0 0 0 20 0 22 0 253530410 10060460032 117849 33554432000 1073741824 1073778376 140734794589264 140305709034280 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23075/tid=23080] ppid=23073 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/23075/task/23080/stat : 23080 (java) S 23073 23075 22409 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 22 0 253530410 10060460032 117849 33554432000 1073741824 1073778376 140734794589264 140305707981736 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23075/tid=23081] ppid=23073 vsize=9824668 CPUtime=0.03 cores=0,2,4,6
/proc/23075/task/23081/stat : 23081 (java) S 23073 23075 22409 0 -1 4202560 22 0 0 0 3 0 0 0 20 0 22 0 253530410 10060460032 117849 33554432000 1073741824 1073778376 140734794589264 140305706929192 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23075/tid=23082] ppid=23073 vsize=9824668 CPUtime=0.03 cores=0,2,4,6
/proc/23075/task/23082/stat : 23082 (java) S 23073 23075 22409 0 -1 4202560 24 0 0 0 3 0 0 0 20 0 22 0 253530410 10060460032 117849 33554432000 1073741824 1073778376 140734794589264 140305705875624 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23075/tid=23083] ppid=23073 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/23075/task/23083/stat : 23083 (java) S 23073 23075 22409 0 -1 4202560 17 0 0 0 2 0 0 0 20 0 22 0 253530410 10060460032 117849 33554432000 1073741824 1073778376 140734794589264 140305704823080 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23075/tid=23084] ppid=23073 vsize=9824668 CPUtime=0.03 cores=0,2,4,6
/proc/23075/task/23084/stat : 23084 (java) S 23073 23075 22409 0 -1 4202560 23 0 0 0 3 0 0 0 20 0 22 0 253530410 10060460032 117849 33554432000 1073741824 1073778376 140734794589264 140305703770536 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23075/tid=23085] ppid=23073 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/23075/task/23085/stat : 23085 (java) S 23073 23075 22409 0 -1 4202560 26 0 0 0 1 0 0 0 20 0 22 0 253530410 10060460032 117849 33554432000 1073741824 1073778376 140734794589264 140305702717992 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23075/tid=23086] ppid=23073 vsize=9824668 CPUtime=0.25 cores=0,2,4,6
/proc/23075/task/23086/stat : 23086 (java) S 23073 23075 22409 0 -1 4202560 238 0 0 0 25 0 0 0 20 0 22 0 253530411 10060460032 117849 33554432000 1073741824 1073778376 140734794589264 140305690520168 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23075/tid=23087] ppid=23073 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23075/task/23087/stat : 23087 (java) S 23073 23075 22409 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253530411 10060460032 117849 33554432000 1073741824 1073778376 140734794589264 140305689466488 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23075/tid=23088] ppid=23073 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23075/task/23088/stat : 23088 (java) S 23073 23075 22409 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253530411 10060460032 117849 33554432000 1073741824 1073778376 140734794589264 140305688413832 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23075/tid=23089] ppid=23073 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23075/task/23089/stat : 23089 (java) S 23073 23075 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253530413 10060460032 117849 33554432000 1073741824 1073778376 140734794589264 140305687362576 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23075/tid=23090] ppid=23073 vsize=9824668 CPUtime=0.81 cores=0,2,4,6
/proc/23075/task/23090/stat : 23090 (java) S 23073 23075 22409 0 -1 4202560 7416 0 0 0 79 2 0 0 20 0 22 0 253530413 10060460032 117849 33554432000 1073741824 1073778376 140734794589264 140305686308920 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23075/tid=23091] ppid=23073 vsize=9824668 CPUtime=0.89 cores=0,2,4,6
/proc/23075/task/23091/stat : 23091 (java) S 23073 23075 22409 0 -1 4202560 6732 0 0 0 88 1 0 0 20 0 22 0 253530413 10060460032 117849 33554432000 1073741824 1073778376 140734794589264 140305685256376 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0

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

/proc/23075/statm: 2456167 719818 2280 9 0 2446860 0
[pid=23075/tid=23076] ppid=23073 vsize=9824668 CPUtime=0.29 cores=0,2,4,6
/proc/23075/task/23076/stat : 23076 (java) S 23073 23075 22409 0 -1 4202560 2505 0 1 0 26 3 0 0 20 0 22 0 253530409 10060460032 719818 33554432000 1073741824 1073778376 140734794589264 140305867060216 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23075/tid=23078] ppid=23073 vsize=9824668 CPUtime=2.7 cores=0,2,4,6
/proc/23075/task/23078/stat : 23078 (java) S 23073 23075 22409 0 -1 4202560 1077 0 0 0 250 20 0 0 20 0 22 0 253530410 10060460032 719818 33554432000 1073741824 1073778376 140734794589264 140305710086824 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23075/tid=23079] ppid=23073 vsize=9824668 CPUtime=2.72 cores=0,2,4,6
/proc/23075/task/23079/stat : 23079 (java) S 23073 23075 22409 0 -1 4202560 894 0 0 0 249 23 0 0 20 0 22 0 253530410 10060460032 719818 33554432000 1073741824 1073778376 140734794589264 140305709034280 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23075/tid=23080] ppid=23073 vsize=9824668 CPUtime=2.71 cores=0,2,4,6
/proc/23075/task/23080/stat : 23080 (java) S 23073 23075 22409 0 -1 4202560 819 0 0 0 253 18 0 0 20 0 22 0 253530410 10060460032 719818 33554432000 1073741824 1073778376 140734794589264 140305707981736 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23075/tid=23081] ppid=23073 vsize=9824668 CPUtime=2.46 cores=0,2,4,6
/proc/23075/task/23081/stat : 23081 (java) S 23073 23075 22409 0 -1 4202560 702 0 0 0 226 20 0 0 20 0 22 0 253530410 10060460032 719818 33554432000 1073741824 1073778376 140734794589264 140305706929192 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23075/tid=23082] ppid=23073 vsize=9824668 CPUtime=2.55 cores=0,2,4,6
/proc/23075/task/23082/stat : 23082 (java) S 23073 23075 22409 0 -1 4202560 1038 0 0 0 235 20 0 0 20 0 22 0 253530410 10060460032 719818 33554432000 1073741824 1073778376 140734794589264 140305705875624 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23075/tid=23083] ppid=23073 vsize=9824668 CPUtime=2.78 cores=0,2,4,6
/proc/23075/task/23083/stat : 23083 (java) S 23073 23075 22409 0 -1 4202560 715 0 0 0 257 21 0 0 20 0 22 0 253530410 10060460032 719818 33554432000 1073741824 1073778376 140734794589264 140305704823080 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23075/tid=23084] ppid=23073 vsize=9824668 CPUtime=2.53 cores=0,2,4,6
/proc/23075/task/23084/stat : 23084 (java) S 23073 23075 22409 0 -1 4202560 964 0 0 0 228 25 0 0 20 0 22 0 253530410 10060460032 719818 33554432000 1073741824 1073778376 140734794589264 140305703770536 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23075/tid=23085] ppid=23073 vsize=9824668 CPUtime=2.75 cores=0,2,4,6
/proc/23075/task/23085/stat : 23085 (java) S 23073 23075 22409 0 -1 4202560 781 0 0 0 253 22 0 0 20 0 22 0 253530410 10060460032 719818 33554432000 1073741824 1073778376 140734794589264 140305702717992 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23075/tid=23086] ppid=23073 vsize=9824668 CPUtime=36.33 cores=0,2,4,6
/proc/23075/task/23086/stat : 23086 (java) S 23073 23075 22409 0 -1 4202560 2408 0 0 0 3620 13 0 0 20 0 22 0 253530411 10060460032 719818 33554432000 1073741824 1073778376 140734794589264 140305690520168 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23075/tid=23087] ppid=23073 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23075/task/23087/stat : 23087 (java) S 23073 23075 22409 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253530411 10060460032 719818 33554432000 1073741824 1073778376 140734794589264 140305689466488 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23075/tid=23088] ppid=23073 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23075/task/23088/stat : 23088 (java) S 23073 23075 22409 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253530411 10060460032 719818 33554432000 1073741824 1073778376 140734794589264 140305688413832 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23075/tid=23089] ppid=23073 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23075/task/23089/stat : 23089 (java) S 23073 23075 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253530413 10060460032 719818 33554432000 1073741824 1073778376 140734794589264 140305687362576 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23075/tid=23090] ppid=23073 vsize=9824668 CPUtime=0.85 cores=0,2,4,6
/proc/23075/task/23090/stat : 23090 (java) S 23073 23075 22409 0 -1 4202560 7416 0 0 0 83 2 0 0 20 0 22 0 253530413 10060460032 719818 33554432000 1073741824 1073778376 140734794589264 140305686308920 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23075/tid=23091] ppid=23073 vsize=9824668 CPUtime=0.99 cores=0,2,4,6
/proc/23075/task/23091/stat : 23091 (java) S 23073 23075 22409 0 -1 4202560 6741 0 0 0 98 1 0 0 20 0 22 0 253530413 10060460032 719818 33554432000 1073741824 1073778376 140734794589264 140305685256376 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23075/tid=23092] ppid=23073 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23075/task/23092/stat : 23092 (java) S 23073 23075 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253530413 10060460032 719818 33554432000 1073741824 1073778376 140734794589264 140305684204024 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23075/tid=23093] ppid=23073 vsize=9824668 CPUtime=0.29 cores=0,2,4,6
/proc/23075/task/23093/stat : 23093 (java) S 23073 23075 22409 0 -1 4202560 51 0 0 0 12 17 0 0 20 0 22 0 253530413 10060460032 719818 33554432000 1073741824 1073778376 140734794589264 140305683151688 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23075/tid=23100] ppid=23073 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23075/task/23100/stat : 23100 (java) S 23073 23075 22409 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253530485 10060460032 719818 33554432000 1073741824 1073778376 140734794589264 140305682097192 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23075/tid=23110] ppid=23073 vsize=9824668 CPUtime=834.54 cores=0,2,4,6
/proc/23075/task/23110/stat : 23110 (java) R 23073 23075 22409 0 -1 4202560 143 0 0 0 83439 15 0 0 20 0 22 0 253530736 10060460032 719818 33554432000 1073741824 1073778376 140734794589264 140305681043120 140305727362715 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=23075/tid=23111] ppid=23073 vsize=9824668 CPUtime=834.47 cores=0,2,4,6
/proc/23075/task/23111/stat : 23111 (java) R 23073 23075 22409 0 -1 4202560 1711 0 0 0 83399 48 0 0 20 0 22 0 253530736 10060460032 719818 33554432000 1073741824 1073778376 140734794589264 140305678936944 140305727397752 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=23075/tid=23112] ppid=23073 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23075/task/23112/stat : 23112 (java) S 23073 23075 22409 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253530736 10060460032 719818 33554432000 1073741824 1073778376 140734794589264 140305679992360 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1735.76
Current children cumulated vsize (KiB) 9824668



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+914.901 s]
/proc/loadavg: 4.27 3.99 3.73 5/219 23180
/proc/meminfo: memFree=24162820/32873648 swapFree=6336/6336
[pid=23075] ppid=23073 vsize=9824668 CPUtime=1800.07 cores=0,2,4,6
/proc/23075/stat : 23075 (java) S 23073 23075 22409 0 -1 4202496 29520 0 1 0 179750 257 0 0 20 0 22 0 253530408 10060460032 737254 33554432000 1073741824 1073778376 140734794589264 140734794580400 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23075/statm: 2456167 737254 2280 9 0 2446860 0
[pid=23075/tid=23076] ppid=23073 vsize=9824668 CPUtime=0.29 cores=0,2,4,6
/proc/23075/task/23076/stat : 23076 (java) S 23073 23075 22409 0 -1 4202560 2505 0 1 0 26 3 0 0 20 0 22 0 253530409 10060460032 737254 33554432000 1073741824 1073778376 140734794589264 140305867060216 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23075/tid=23078] ppid=23073 vsize=9824668 CPUtime=2.75 cores=0,2,4,6
/proc/23075/task/23078/stat : 23078 (java) S 23073 23075 22409 0 -1 4202560 1089 0 0 0 254 21 0 0 20 0 22 0 253530410 10060460032 737254 33554432000 1073741824 1073778376 140734794589264 140305710086824 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23075/tid=23079] ppid=23073 vsize=9824668 CPUtime=2.76 cores=0,2,4,6
/proc/23075/task/23079/stat : 23079 (java) S 23073 23075 22409 0 -1 4202560 903 0 0 0 253 23 0 0 20 0 22 0 253530410 10060460032 737254 33554432000 1073741824 1073778376 140734794589264 140305709034280 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23075/tid=23080] ppid=23073 vsize=9824668 CPUtime=2.77 cores=0,2,4,6
/proc/23075/task/23080/stat : 23080 (java) S 23073 23075 22409 0 -1 4202560 822 0 0 0 259 18 0 0 20 0 22 0 253530410 10060460032 737254 33554432000 1073741824 1073778376 140734794589264 140305707981736 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23075/tid=23081] ppid=23073 vsize=9824668 CPUtime=2.61 cores=0,2,4,6
/proc/23075/task/23081/stat : 23081 (java) S 23073 23075 22409 0 -1 4202560 727 0 0 0 240 21 0 0 20 0 22 0 253530410 10060460032 737254 33554432000 1073741824 1073778376 140734794589264 140305706929192 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23075/tid=23082] ppid=23073 vsize=9824668 CPUtime=2.61 cores=0,2,4,6
/proc/23075/task/23082/stat : 23082 (java) S 23073 23075 22409 0 -1 4202560 1045 0 0 0 240 21 0 0 20 0 22 0 253530410 10060460032 737254 33554432000 1073741824 1073778376 140734794589264 140305705875624 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23075/tid=23083] ppid=23073 vsize=9824668 CPUtime=2.85 cores=0,2,4,6
/proc/23075/task/23083/stat : 23083 (java) S 23073 23075 22409 0 -1 4202560 731 0 0 0 263 22 0 0 20 0 22 0 253530410 10060460032 737254 33554432000 1073741824 1073778376 140734794589264 140305704823080 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23075/tid=23084] ppid=23073 vsize=9824668 CPUtime=2.65 cores=0,2,4,6
/proc/23075/task/23084/stat : 23084 (java) S 23073 23075 22409 0 -1 4202560 975 0 0 0 239 26 0 0 20 0 22 0 253530410 10060460032 737254 33554432000 1073741824 1073778376 140734794589264 140305703770536 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23075/tid=23085] ppid=23073 vsize=9824668 CPUtime=2.87 cores=0,2,4,6
/proc/23075/task/23085/stat : 23085 (java) S 23073 23075 22409 0 -1 4202560 805 0 0 0 264 23 0 0 20 0 22 0 253530410 10060460032 737254 33554432000 1073741824 1073778376 140734794589264 140305702717992 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23075/tid=23086] ppid=23073 vsize=9824668 CPUtime=37.52 cores=0,2,4,6
/proc/23075/task/23086/stat : 23086 (java) S 23073 23075 22409 0 -1 4202560 2444 0 0 0 3738 14 0 0 20 0 22 0 253530411 10060460032 737254 33554432000 1073741824 1073778376 140734794589264 140305690520168 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23075/tid=23087] ppid=23073 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23075/task/23087/stat : 23087 (java) S 23073 23075 22409 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253530411 10060460032 737254 33554432000 1073741824 1073778376 140734794589264 140305689466488 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23075/tid=23088] ppid=23073 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23075/task/23088/stat : 23088 (java) S 23073 23075 22409 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253530411 10060460032 737254 33554432000 1073741824 1073778376 140734794589264 140305688413832 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23075/tid=23089] ppid=23073 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23075/task/23089/stat : 23089 (java) S 23073 23075 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253530413 10060460032 737254 33554432000 1073741824 1073778376 140734794589264 140305687362576 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23075/tid=23090] ppid=23073 vsize=9824668 CPUtime=0.85 cores=0,2,4,6
/proc/23075/task/23090/stat : 23090 (java) S 23073 23075 22409 0 -1 4202560 7416 0 0 0 83 2 0 0 20 0 22 0 253530413 10060460032 737254 33554432000 1073741824 1073778376 140734794589264 140305686308920 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23075/tid=23091] ppid=23073 vsize=9824668 CPUtime=0.99 cores=0,2,4,6
/proc/23075/task/23091/stat : 23091 (java) S 23073 23075 22409 0 -1 4202560 6741 0 0 0 98 1 0 0 20 0 22 0 253530413 10060460032 737254 33554432000 1073741824 1073778376 140734794589264 140305685256376 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23075/tid=23092] ppid=23073 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23075/task/23092/stat : 23092 (java) S 23073 23075 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253530413 10060460032 737254 33554432000 1073741824 1073778376 140734794589264 140305684204024 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23075/tid=23093] ppid=23073 vsize=9824668 CPUtime=0.3 cores=0,2,4,6
/proc/23075/task/23093/stat : 23093 (java) S 23073 23075 22409 0 -1 4202560 53 0 0 0 12 18 0 0 20 0 22 0 253530413 10060460032 737254 33554432000 1073741824 1073778376 140734794589264 140305683151688 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23075/tid=23100] ppid=23073 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23075/task/23100/stat : 23100 (java) S 23073 23075 22409 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253530485 10060460032 737254 33554432000 1073741824 1073778376 140734794589264 140305682097192 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23075/tid=23110] ppid=23073 vsize=9824668 CPUtime=865.66 cores=0,2,4,6
/proc/23075/task/23110/stat : 23110 (java) R 23073 23075 22409 0 -1 4202560 147 0 0 0 86550 16 0 0 20 0 22 0 253530736 10060460032 737254 33554432000 1073741824 1073778376 140734794589264 140305681044064 140305727362715 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=23075/tid=23111] ppid=23073 vsize=9824668 CPUtime=865.62 cores=0,2,4,6
/proc/23075/task/23111/stat : 23111 (java) R 23073 23075 22409 0 -1 4202560 1712 0 0 0 86513 49 0 0 20 0 22 0 253530736 10060460032 737254 33554432000 1073741824 1073778376 140734794589264 140305678937072 140305727430785 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=23075/tid=23112] ppid=23073 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23075/task/23112/stat : 23112 (java) S 23073 23075 22409 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253530736 10060460032 737254 33554432000 1073741824 1073778376 140734794589264 140305679992360 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
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

[startup+914.901 s]
/proc/loadavg: 4.27 3.99 3.73 5/219 23180
/proc/meminfo: memFree=24162820/32873648 swapFree=6336/6336
[pid=23075] ppid=23073 vsize=9824668 CPUtime=1800.07 cores=0,2,4,6
/proc/23075/stat : 23075 (java) S 23073 23075 22409 0 -1 4202496 29520 0 1 0 179750 257 0 0 20 0 22 0 253530408 10060460032 737254 33554432000 1073741824 1073778376 140734794589264 140734794580400 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23075/statm: 2456167 737254 2280 9 0 2446860 0
[pid=23075/tid=23076] ppid=23073 vsize=9824668 CPUtime=0.29 cores=0,2,4,6
/proc/23075/task/23076/stat : 23076 (java) S 23073 23075 22409 0 -1 4202560 2505 0 1 0 26 3 0 0 20 0 22 0 253530409 10060460032 737254 33554432000 1073741824 1073778376 140734794589264 140305867060216 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23075/tid=23078] ppid=23073 vsize=9824668 CPUtime=2.75 cores=0,2,4,6
/proc/23075/task/23078/stat : 23078 (java) S 23073 23075 22409 0 -1 4202560 1089 0 0 0 254 21 0 0 20 0 22 0 253530410 10060460032 737254 33554432000 1073741824 1073778376 140734794589264 140305710086824 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23075/tid=23079] ppid=23073 vsize=9824668 CPUtime=2.76 cores=0,2,4,6
/proc/23075/task/23079/stat : 23079 (java) S 23073 23075 22409 0 -1 4202560 903 0 0 0 253 23 0 0 20 0 22 0 253530410 10060460032 737254 33554432000 1073741824 1073778376 140734794589264 140305709034280 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23075/tid=23080] ppid=23073 vsize=9824668 CPUtime=2.77 cores=0,2,4,6
/proc/23075/task/23080/stat : 23080 (java) S 23073 23075 22409 0 -1 4202560 822 0 0 0 259 18 0 0 20 0 22 0 253530410 10060460032 737254 33554432000 1073741824 1073778376 140734794589264 140305707981736 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23075/tid=23081] ppid=23073 vsize=9824668 CPUtime=2.61 cores=0,2,4,6
/proc/23075/task/23081/stat : 23081 (java) S 23073 23075 22409 0 -1 4202560 727 0 0 0 240 21 0 0 20 0 22 0 253530410 10060460032 737254 33554432000 1073741824 1073778376 140734794589264 140305706929192 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23075/tid=23082] ppid=23073 vsize=9824668 CPUtime=2.61 cores=0,2,4,6
/proc/23075/task/23082/stat : 23082 (java) S 23073 23075 22409 0 -1 4202560 1045 0 0 0 240 21 0 0 20 0 22 0 253530410 10060460032 737254 33554432000 1073741824 1073778376 140734794589264 140305705875624 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23075/tid=23083] ppid=23073 vsize=9824668 CPUtime=2.85 cores=0,2,4,6
/proc/23075/task/23083/stat : 23083 (java) S 23073 23075 22409 0 -1 4202560 731 0 0 0 263 22 0 0 20 0 22 0 253530410 10060460032 737254 33554432000 1073741824 1073778376 140734794589264 140305704823080 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23075/tid=23084] ppid=23073 vsize=9824668 CPUtime=2.65 cores=0,2,4,6
/proc/23075/task/23084/stat : 23084 (java) S 23073 23075 22409 0 -1 4202560 975 0 0 0 239 26 0 0 20 0 22 0 253530410 10060460032 737254 33554432000 1073741824 1073778376 140734794589264 140305703770536 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23075/tid=23085] ppid=23073 vsize=9824668 CPUtime=2.87 cores=0,2,4,6
/proc/23075/task/23085/stat : 23085 (java) S 23073 23075 22409 0 -1 4202560 805 0 0 0 264 23 0 0 20 0 22 0 253530410 10060460032 737254 33554432000 1073741824 1073778376 140734794589264 140305702717992 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23075/tid=23086] ppid=23073 vsize=9824668 CPUtime=37.52 cores=0,2,4,6
/proc/23075/task/23086/stat : 23086 (java) S 23073 23075 22409 0 -1 4202560 2444 0 0 0 3738 14 0 0 20 0 22 0 253530411 10060460032 737254 33554432000 1073741824 1073778376 140734794589264 140305690520168 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23075/tid=23087] ppid=23073 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23075/task/23087/stat : 23087 (java) S 23073 23075 22409 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253530411 10060460032 737254 33554432000 1073741824 1073778376 140734794589264 140305689466488 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23075/tid=23088] ppid=23073 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23075/task/23088/stat : 23088 (java) S 23073 23075 22409 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253530411 10060460032 737254 33554432000 1073741824 1073778376 140734794589264 140305688413832 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23075/tid=23089] ppid=23073 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23075/task/23089/stat : 23089 (java) S 23073 23075 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253530413 10060460032 737254 33554432000 1073741824 1073778376 140734794589264 140305687362576 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23075/tid=23090] ppid=23073 vsize=9824668 CPUtime=0.85 cores=0,2,4,6
/proc/23075/task/23090/stat : 23090 (java) S 23073 23075 22409 0 -1 4202560 7416 0 0 0 83 2 0 0 20 0 22 0 253530413 10060460032 737254 33554432000 1073741824 1073778376 140734794589264 140305686308920 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23075/tid=23091] ppid=23073 vsize=9824668 CPUtime=0.99 cores=0,2,4,6
/proc/23075/task/23091/stat : 23091 (java) S 23073 23075 22409 0 -1 4202560 6741 0 0 0 98 1 0 0 20 0 22 0 253530413 10060460032 737254 33554432000 1073741824 1073778376 140734794589264 140305685256376 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23075/tid=23092] ppid=23073 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23075/task/23092/stat : 23092 (java) S 23073 23075 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253530413 10060460032 737254 33554432000 1073741824 1073778376 140734794589264 140305684204024 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23075/tid=23093] ppid=23073 vsize=9824668 CPUtime=0.3 cores=0,2,4,6
/proc/23075/task/23093/stat : 23093 (java) S 23073 23075 22409 0 -1 4202560 53 0 0 0 12 18 0 0 20 0 22 0 253530413 10060460032 737254 33554432000 1073741824 1073778376 140734794589264 140305683151688 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23075/tid=23100] ppid=23073 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23075/task/23100/stat : 23100 (java) S 23073 23075 22409 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253530485 10060460032 737254 33554432000 1073741824 1073778376 140734794589264 140305682097192 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23075/tid=23110] ppid=23073 vsize=9824668 CPUtime=865.66 cores=0,2,4,6
/proc/23075/task/23110/stat : 23110 (java) R 23073 23075 22409 0 -1 4202560 147 0 0 0 86550 16 0 0 20 0 22 0 253530736 10060460032 737254 33554432000 1073741824 1073778376 140734794589264 140305681044064 140305727362715 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=23075/tid=23111] ppid=23073 vsize=9824668 CPUtime=865.62 cores=0,2,4,6
/proc/23075/task/23111/stat : 23111 (java) R 23073 23075 22409 0 -1 4202560 1712 0 0 0 86513 49 0 0 20 0 22 0 253530736 10060460032 737254 33554432000 1073741824 1073778376 140734794589264 140305678937072 140305727430785 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=23075/tid=23112] ppid=23073 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23075/task/23112/stat : 23112 (java) S 23073 23075 22409 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253530736 10060460032 737254 33554432000 1073741824 1073778376 140734794589264 140305679992360 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 9824668

Child status: 143

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

Real time (s): 914.935
CPU time (s): 1800.07
CPU user time (s): 1797.5
CPU system time (s): 2.57
CPU usage (%): 196.743
Max. virtual memory (cumulated for all children) (KiB): 9824668

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.99
system time used= 3.04354
maximum resident set size= 3009896
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29550
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= 28568
involuntary context switches= 44711

runsolver used 3.00354 second user time and 8.46171 second system time

The end

Launcher Data

Begin job on node112 at 2012-05-24 17:40:31
IDJOB=3687848
IDBENCH=2229
IDSOLVER=2268
FILE ID=node112/3687848-1337874031
RUNJOBID= node112-1337871881-22425
PBS_JOBID= 14620092
Free space on /tmp= 71704 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:20:4.5:0.95:98.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3687848-1337874031/watcher-3687848-1337874031 -o /tmp/evaluation-result-3687848-1337874031/solver-3687848-1337874031 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar Both HOME/instance-3687848-1337874031.opb

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

MD5SUM BENCH= 09000b526c4cf3fc454b31cbb57a970b
RANDOM SEED=1516854087

node112.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.763
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.52
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.763
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.763
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.92
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.763
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.763
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.92
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.763
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.763
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		: 2666.763
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:       32873648 kB
MemFree:        25857644 kB
Buffers:          190224 kB
Cached:          3545684 kB
SwapCached:            0 kB
Active:          2967776 kB
Inactive:        3261500 kB
Active(anon):    2495692 kB
Inactive(anon):      252 kB
Active(file):     472084 kB
Inactive(file):  3261248 kB
Unevictable:        6336 kB
Mlocked:            6336 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               544 kB
Writeback:             0 kB
AnonPages:       2499068 kB
Mapped:            22616 kB
Shmem:               200 kB
Slab:             625748 kB
SReclaimable:      69776 kB
SUnreclaim:       555972 kB
KernelStack:        1792 kB
PageTables:         9212 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:    3272640 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2424832 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71700 MiB
End job on node112 at 2012-05-24 17:55:48