Trace number 3688801

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat 4j PB Resolution 2.3.2 SnapshotSAT 1672.65 1593.71

General information on the benchmark

Namenormalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_500_10_3_80.opb
MD5SUM4023d6beb9ef2c356e20e783b830f625
Bench CategoryDEC-SMALLINT-NLC (no optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark0.228965
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables1000
Total number of constraints1502
Number of constraints which are clauses500
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints1001
Minimum length of a constraint2
Maximum length of a constraint1000
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 80
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 1000
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)12632
Sum of products size (including duplicates)25264
Number of different products6316
Sum of products size12632

Solver Data

0.02/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.02/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.02/0.08	c See www.sat4j.org for details.
0.02/0.08	c version 2.3.2.v20120418
0.02/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.02/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.02/0.08	c java.vm.version	19.1-b02
0.02/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.02/0.08	c sun.arch.data.model	64
0.02/0.08	c java.version		1.6.0_24
0.02/0.08	c os.name		Linux
0.02/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.02/0.08	c os.arch		amd64
0.02/0.08	c Free memory 		501472288
0.02/0.08	c Max memory 		7480803328
0.02/0.08	c Total memory 		504102912
0.02/0.08	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization by upper bound
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@431b9fb1
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c No reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-3688801-1337888071.opb
0.10/0.11	c reading problem ... 
1.03/0.53	c ... done. Wall clock time 0.428s.
1.03/0.53	c declared #vars     1000
1.03/0.53	c internal #vars     7316
1.03/0.59	c #constraints  14135
1.03/0.59	c constraints type 
1.03/0.59	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6316
1.03/0.59	c org.sat4j.minisat.constraints.card.MinWatchCard => 1003
1.03/0.59	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 500
1.03/0.59	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6316
1.03/0.59	c 14135 constraints processed.
3.60/2.69	c cleaning 2531 clauses out of 5061 with flag 5061/5061
5.82/4.74	c cleaning 4224 clauses out of 8469 with flag 11000/11000
8.14/7.04	c cleaning 5642 clauses out of 11284 with flag 18039/18039
10.64/9.54	c cleaning 6773 clauses out of 13603 with flag 26000/26000
13.50/12.35	c cleaning 7953 clauses out of 15906 with flag 35076/35076
16.53/15.38	c cleaning 8972 clauses out of 17943 with flag 45066/45066
18.89/17.64	c cleaning 9899 clauses out of 19905 with flag 56000/56000
20.50/19.11	c cleaning 10997 clauses out of 22006 with flag 68000/68000
22.02/20.61	c cleaning 12002 clauses out of 24009 with flag 81000/81000
23.55/22.18	c cleaning 13002 clauses out of 26009 with flag 95002/95002
25.38/23.92	c cleaning 13999 clauses out of 28005 with flag 110000/110000
27.21/25.77	c cleaning 15000 clauses out of 30008 with flag 126002/126002
29.24/27.73	c cleaning 16003 clauses out of 32006 with flag 143000/143000
31.37/29.85	c cleaning 17001 clauses out of 34004 with flag 161001/161001
33.72/32.13	c cleaning 18002 clauses out of 36004 with flag 180002/180002
36.05/34.44	c cleaning 19000 clauses out of 38000 with flag 200000/200000
40.57/38.95	c cleaning 20000 clauses out of 40000 with flag 221000/221000
48.66/46.93	c cleaning 21003 clauses out of 42006 with flag 243006/243006
54.93/53.11	c cleaning 22054 clauses out of 44108 with flag 266111/266111
62.73/60.88	c cleaning 23005 clauses out of 46009 with flag 290066/290066
72.29/70.21	c cleaning 24032 clauses out of 48064 with flag 315126/315126
79.85/77.78	c cleaning 24992 clauses out of 50014 with flag 341108/341108
86.15/83.97	c cleaning 25934 clauses out of 51914 with flag 368000/368000
91.72/89.41	c cleaning 26962 clauses out of 53980 with flag 396000/396000
97.18/94.84	c cleaning 28017 clauses out of 56043 with flag 425025/425025
102.13/99.72	c cleaning 28981 clauses out of 58001 with flag 455000/455000
106.47/104.04	c cleaning 30002 clauses out of 60029 with flag 486009/486009
110.87/108.37	c cleaning 31001 clauses out of 62025 with flag 518007/518007
115.66/113.08	c cleaning 32009 clauses out of 64017 with flag 551000/551000
121.23/118.54	c cleaning 32988 clauses out of 66008 with flag 585000/585000
125.60/122.85	c cleaning 33996 clauses out of 68020 with flag 620000/620000
130.33/127.32	c cleaning 35008 clauses out of 70026 with flag 656002/656002
135.06/131.99	c cleaning 36007 clauses out of 72016 with flag 693000/693000
140.09/136.99	c cleaning 36999 clauses out of 74011 with flag 731002/731002
145.99/142.73	c cleaning 38005 clauses out of 76012 with flag 770002/770002
151.41/148.01	c cleaning 38993 clauses out of 78006 with flag 810001/810001
157.27/153.80	c cleaning 40007 clauses out of 80015 with flag 851003/851003
162.99/159.43	c cleaning 41000 clauses out of 82005 with flag 893000/893000
168.67/165.08	c cleaning 42001 clauses out of 84005 with flag 936000/936000
175.17/171.38	c cleaning 42999 clauses out of 86004 with flag 980000/980000
182.80/178.74	c cleaning 43993 clauses out of 88005 with flag 1025000/1025000
189.44/185.33	c cleaning 45006 clauses out of 90012 with flag 1071000/1071000
195.42/191.26	c cleaning 45997 clauses out of 92006 with flag 1118000/1118000
201.99/197.71	c cleaning 47000 clauses out of 94009 with flag 1166000/1166000
208.28/203.94	c cleaning 48003 clauses out of 96010 with flag 1215001/1215001
215.76/211.35	c cleaning 49002 clauses out of 98007 with flag 1265001/1265001
223.93/219.45	c cleaning 50002 clauses out of 100006 with flag 1316002/1316002
230.53/225.85	c cleaning 50999 clauses out of 102004 with flag 1368002/1368002
242.81/238.00	c cleaning 52073 clauses out of 104146 with flag 1421143/1421143
267.99/262.24	c cleaning 53054 clauses out of 106108 with flag 1475178/1475178
289.35/282.54	c cleaning 53991 clauses out of 107981 with flag 1530105/1530105
306.01/298.12	c cleaning 54903 clauses out of 109885 with flag 1586000/1586000
320.61/312.07	c cleaning 55948 clauses out of 112007 with flag 1643025/1643025
333.31/324.15	c cleaning 57000 clauses out of 114054 with flag 1701020/1701020
343.71/333.91	c cleaning 57984 clauses out of 116034 with flag 1760000/1760000
354.61/344.23	c cleaning 59003 clauses out of 118054 with flag 1820004/1820004
368.66/357.52	c cleaning 60047 clauses out of 120094 with flag 1881047/1881047
379.14/367.52	c cleaning 60977 clauses out of 122000 with flag 1943000/1943000
391.79/379.67	c cleaning 61999 clauses out of 124023 with flag 2006000/2006000
402.64/389.78	c cleaning 62995 clauses out of 126024 with flag 2070000/2070000
412.64/399.26	c cleaning 64009 clauses out of 128031 with flag 2135002/2135002
425.37/411.60	c cleaning 65012 clauses out of 130024 with flag 2201004/2201004
444.61/429.82	c cleaning 66004 clauses out of 132008 with flag 2268000/2268000
457.61/441.88	c cleaning 66993 clauses out of 134005 with flag 2336001/2336001
470.46/454.00	c cleaning 67993 clauses out of 136011 with flag 2405000/2405000
482.96/465.84	c cleaning 69001 clauses out of 138026 with flag 2475008/2475008
497.93/480.09	c cleaning 69990 clauses out of 140017 with flag 2546000/2546000
512.45/493.85	c cleaning 71015 clauses out of 142030 with flag 2618003/2618003
525.12/505.86	c cleaning 71988 clauses out of 144012 with flag 2691000/2691000
538.06/518.27	c cleaning 73015 clauses out of 146033 with flag 2765009/2765009
556.65/535.99	c cleaning 73994 clauses out of 148009 with flag 2840000/2840000
571.22/549.90	c cleaning 75002 clauses out of 150018 with flag 2916003/2916003
586.92/564.92	c cleaning 76012 clauses out of 152028 with flag 2993015/2993015
616.93/593.98	c cleaning 77049 clauses out of 154097 with flag 3071096/3071096
651.63/624.98	c cleaning 77961 clauses out of 155967 with flag 3150015/3150015
676.21/648.53	c cleaning 79002 clauses out of 158004 with flag 3230013/3230013
715.32/685.06	c cleaning 79966 clauses out of 160085 with flag 3311096/3311096
747.82/716.31	c cleaning 81061 clauses out of 162122 with flag 3393099/3393099
769.55/736.77	c cleaning 81962 clauses out of 163963 with flag 3476001/3476001
789.34/755.79	c cleaning 82994 clauses out of 166000 with flag 3560000/3560000
808.02/773.43	c cleaning 83996 clauses out of 168006 with flag 3645000/3645000
836.89/800.53	c cleaning 85040 clauses out of 170079 with flag 3731069/3731069
869.36/831.31	c cleaning 86028 clauses out of 172104 with flag 3818134/3818134
907.62/867.46	c cleaning 87051 clauses out of 174101 with flag 3906159/3906159
940.65/899.10	c cleaning 87881 clauses out of 175911 with flag 3995020/3995020
972.13/929.19	c cleaning 88984 clauses out of 178034 with flag 4085024/4085024
1000.84/956.66	c cleaning 90039 clauses out of 180077 with flag 4176051/4176051
1031.50/985.65	c cleaning 90994 clauses out of 181987 with flag 4268000/4268000
1062.13/1014.82	c cleaning 92000 clauses out of 183999 with flag 4361006/4361006
1092.38/1043.44	c cleaning 93030 clauses out of 186059 with flag 4455066/4455066
1118.94/1068.28	c cleaning 93973 clauses out of 187966 with flag 4550003/4550003
1143.38/1091.56	c cleaning 94978 clauses out of 189990 with flag 4646000/4646000
1164.59/1111.29	c cleaning 95995 clauses out of 192012 with flag 4743000/4743000
1186.18/1131.89	c cleaning 97005 clauses out of 194024 with flag 4841007/4841007
1220.19/1164.23	c cleaning 98003 clauses out of 196016 with flag 4940004/4940004
1241.19/1183.81	c cleaning 99001 clauses out of 198012 with flag 5040003/5040003
1264.53/1206.18	c cleaning 99996 clauses out of 200015 with flag 5141007/5141007
1282.65/1223.17	c cleaning 100990 clauses out of 202012 with flag 5243000/5243000
1304.51/1244.39	c cleaning 102002 clauses out of 204022 with flag 5346000/5346000
1325.61/1264.38	c cleaning 103007 clauses out of 206026 with flag 5450006/5450006
1343.49/1281.38	c cleaning 103997 clauses out of 208013 with flag 5555000/5555000
1368.67/1305.39	c cleaning 105003 clauses out of 210018 with flag 5661002/5661002
1398.38/1333.97	c cleaning 106004 clauses out of 212013 with flag 5768000/5768000
1427.88/1360.92	c cleaning 107003 clauses out of 214011 with flag 5876002/5876002
1455.19/1387.29	c cleaning 108001 clauses out of 216007 with flag 5985001/5985001
1486.78/1417.67	c cleaning 108995 clauses out of 218008 with flag 6095003/6095003
1517.06/1446.01	c cleaning 109998 clauses out of 220010 with flag 6206000/6206000
1544.93/1472.67	c cleaning 111002 clauses out of 222013 with flag 6318001/6318001
1575.53/1502.00	c cleaning 112002 clauses out of 224014 with flag 6431004/6431004
1607.42/1532.74	c cleaning 113001 clauses out of 226008 with flag 6545000/6545000
1640.28/1564.25	c cleaning 113997 clauses out of 228007 with flag 6660000/6660000
1662.65/1585.25	c cleaning 115001 clauses out of 230011 with flag 6776001/6776001
1671.76/1593.67	c starts		: 292
1671.76/1593.67	c conflicts		: 6843823
1671.76/1593.67	c decisions		: 7209355
1671.76/1593.67	c propagations		: 257871840
1671.76/1593.67	c inspects		: 7188128036
1671.76/1593.67	c shortcuts		: 0
1671.76/1593.67	c learnt literals	: 0
1671.76/1593.67	c learnt binary clauses	: 1
1671.76/1593.67	c learnt ternary clauses	: 173
1671.76/1593.67	c learnt constraints	: 6843823
1671.76/1593.67	c ignored constraints	: 0
1671.76/1593.67	c root simplifications	: 0
1671.76/1593.67	c removed literals (reason simplification)	: 0
1671.76/1593.67	c reason swapping (by a shorter reason)	: 0
1671.76/1593.67	c Calls to reduceDB	: 112
1671.76/1593.67	c number of reductions to clauses (during analyze)	: 0
1671.76/1593.67	c number of learned constraints concerned by reduction	: 0
1671.76/1593.67	c number of learning phase by resolution	: 0
1671.76/1593.67	c number of learning phase by cutting planes	: 0
1671.76/1593.67	c speed (assignments/second)	: 161866.02507408423
1671.76/1593.67	c non guided choices	6799
1671.88/1593.70	c learnt constraints type 
1671.88/1593.70	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 1
1671.88/1593.70	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 182831
1671.88/1593.70	c constraints type 
1671.88/1593.70	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6316
1671.88/1593.70	c org.sat4j.minisat.constraints.card.MinWatchCard => 1003
1671.88/1593.70	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 500
1671.88/1593.70	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6316
1671.88/1593.70	c 14135 constraints processed.
1671.88/1593.70	s SATISFIABLE
1671.88/1593.70	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 -x907 -x908 -x909 -x910 x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 x940 -x941 -x942 x943 x944 x945 -x946 -x947 -x948 -x949 -x950 -x951 x952 -x953 -x954 -x955 -x956 x957 x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 x975 x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 x984 x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 x994 x995 -x996 -x997 -x998 -x999 -x1000 
1671.88/1593.70	c Total wall clock time (in seconds): 1593.595

Verifier Data

OK	0

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-3688801-1337888071/watcher-3688801-1337888071 -o /tmp/evaluation-result-3688801-1337888071/solver-3688801-1337888071 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3688801-1337888071.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: 1.94 2.00 1.99 3/194 23050
/proc/meminfo: memFree=27523636/32873844 swapFree=6080/6080
[pid=23050] ppid=23048 vsize=23236 CPUtime=0 cores=0,2,4,6
/proc/23050/stat : 23050 (java) R 23048 23050 21352 0 -1 4202496 987 0 0 0 0 0 0 0 20 0 1 0 254935677 23793664 714 33554432000 1073741824 1073778376 140735775371872 140735775360936 240417551720 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/23050/statm: 5809 715 530 9 0 128 0

[startup+0.0415071 s]
/proc/loadavg: 1.94 2.00 1.99 3/194 23050
/proc/meminfo: memFree=27523636/32873844 swapFree=6080/6080
[pid=23050] ppid=23048 vsize=9225560 CPUtime=0.02 cores=0,2,4,6
/proc/23050/stat : 23050 (java) S 23048 23050 21352 0 -1 4202496 3030 0 1 0 2 0 0 0 20 0 13 0 254935677 9446973440 3727 33554432000 1073741824 1073778376 140735775371872 140735775363008 240430121021 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23050/statm: 2306390 3727 1699 9 0 2297091 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 9225560

[startup+0.10025 s]
/proc/loadavg: 1.94 2.00 1.99 3/194 23050
/proc/meminfo: memFree=27523636/32873844 swapFree=6080/6080
[pid=23050] ppid=23048 vsize=9558412 CPUtime=0.1 cores=0,2,4,6
/proc/23050/stat : 23050 (java) S 23048 23050 21352 0 -1 4202496 4383 0 1 0 9 1 0 0 20 0 18 0 254935677 9787813888 6092 33554432000 1073741824 1073778376 140735775371872 140735775363008 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23050/statm: 2389603 6092 2108 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558412

[startup+0.300216 s]
/proc/loadavg: 1.94 2.00 1.99 3/194 23050
/proc/meminfo: memFree=27523636/32873844 swapFree=6080/6080
[pid=23050] ppid=23048 vsize=9558412 CPUtime=0.45 cores=0,2,4,6
/proc/23050/stat : 23050 (java) S 23048 23050 21352 0 -1 4202496 5342 0 1 0 44 1 0 0 20 0 18 0 254935677 9787813888 8282 33554432000 1073741824 1073778376 140735775371872 140735775363008 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23050/statm: 2389603 8282 2223 9 0 2380296 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 9558412

[startup+0.700226 s]
/proc/loadavg: 1.94 2.00 1.99 3/194 23050
/proc/meminfo: memFree=27523636/32873844 swapFree=6080/6080
[pid=23050] ppid=23048 vsize=9624976 CPUtime=1.55 cores=0,2,4,6
/proc/23050/stat : 23050 (java) S 23048 23050 21352 0 -1 4202496 12816 0 1 0 152 3 0 0 20 0 19 0 254935677 9855975424 27609 33554432000 1073741824 1073778376 140735775371872 140735775363008 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23050/statm: 2406244 27609 2249 9 0 2396937 0
Current children cumulated CPU time (s) 1.55
Current children cumulated vsize (KiB) 9624976

[startup+1.50066 s]
/proc/loadavg: 1.94 2.00 1.99 3/213 23069
/proc/meminfo: memFree=27417968/32873844 swapFree=6080/6080
[pid=23050] ppid=23048 vsize=9624976 CPUtime=2.5 cores=0,2,4,6
/proc/23050/stat : 23050 (java) S 23048 23050 21352 0 -1 4202496 12854 0 1 0 246 4 0 0 20 0 19 0 254935677 9855975424 29179 33554432000 1073741824 1073778376 140735775371872 140735775363008 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23050/statm: 2406244 29179 2255 9 0 2396937 0
[pid=23050/tid=23052] ppid=23048 vsize=9624976 CPUtime=1.47 cores=0,2,4,6
/proc/23050/task/23052/stat : 23052 (java) R 23048 23050 21352 0 -1 4202560 2489 0 1 0 145 2 0 0 20 0 19 0 254935677 9855975424 29179 33554432000 1073741824 1073778376 140735775371872 140373508141592 140373373175932 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=23050/tid=23053] ppid=23048 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23050/task/23053/stat : 23053 (java) S 23048 23050 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254935678 9855975424 29179 33554432000 1073741824 1073778376 140735775371872 140373497203496 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23050/tid=23054] ppid=23048 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23050/task/23054/stat : 23054 (java) S 23048 23050 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254935678 9855975424 29179 33554432000 1073741824 1073778376 140735775371872 140373496150696 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23050/tid=23055] ppid=23048 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23050/task/23055/stat : 23055 (java) S 23048 23050 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254935678 9855975424 29179 33554432000 1073741824 1073778376 140735775371872 140373495098408 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23050/tid=23056] ppid=23048 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23050/task/23056/stat : 23056 (java) S 23048 23050 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254935678 9855975424 29179 33554432000 1073741824 1073778376 140735775371872 140373494045608 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23050/tid=23057] ppid=23048 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23050/task/23057/stat : 23057 (java) S 23048 23050 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254935678 9855975424 29179 33554432000 1073741824 1073778376 140735775371872 140373492992296 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23050/tid=23058] ppid=23048 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23050/task/23058/stat : 23058 (java) S 23048 23050 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254935678 9855975424 29179 33554432000 1073741824 1073778376 140735775371872 140373491939496 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23050/tid=23059] ppid=23048 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23050/task/23059/stat : 23059 (java) S 23048 23050 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254935678 9855975424 29179 33554432000 1073741824 1073778376 140735775371872 140373344860712 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23050/tid=23060] ppid=23048 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23050/task/23060/stat : 23060 (java) S 23048 23050 21352 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254935678 9855975424 29179 33554432000 1073741824 1073778376 140735775371872 140373343807912 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23050/tid=23061] ppid=23048 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23050/task/23061/stat : 23061 (java) S 23048 23050 21352 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 254935679 9855975424 29179 33554432000 1073741824 1073778376 140735775371872 140373331610344 240430135209 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23050/tid=23062] ppid=23048 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23050/task/23062/stat : 23062 (java) S 23048 23050 21352 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 254935680 9855975424 29179 33554432000 1073741824 1073778376 140735775371872 140373330556408 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23050/tid=23063] ppid=23048 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23050/task/23063/stat : 23063 (java) S 23048 23050 21352 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254935680 9855975424 29179 33554432000 1073741824 1073778376 140735775371872 140373329504008 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23050/tid=23064] ppid=23048 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23050/task/23064/stat : 23064 (java) S 23048 23050 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254935682 9855975424 29179 33554432000 1073741824 1073778376 140735775371872 140373328452496 240430143264 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23050/tid=23065] ppid=23048 vsize=9624976 CPUtime=0.45 cores=0,2,4,6
/proc/23050/task/23065/stat : 23065 (java) S 23048 23050 21352 0 -1 4202560 4438 0 0 0 45 0 0 0 20 0 19 0 254935682 9855975424 29179 33554432000 1073741824 1073778376 140735775371872 140373327399096 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23050/tid=23066] ppid=23048 vsize=9624976 CPUtime=0.54 cores=0,2,4,6
/proc/23050/task/23066/stat : 23066 (java) S 23048 23050 21352 0 -1 4202560 4728 0 0 0 52 2 0 0 20 0 19 0 254935682 9855975424 29179 33554432000 1073741824 1073778376 140735775371872 140373326346296 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23050/tid=23067] ppid=23048 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23050/task/23067/stat : 23067 (java) S 23048 23050 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254935682 9855975424 29179 33554432000 1073741824 1073778376 140735775371872 140373325294200 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23050/tid=23068] ppid=23048 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23050/task/23068/stat : 23068 (java) S 23048 23050 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254935682 9855975424 29179 33554432000 1073741824 1073778376 140735775371872 140373324241608 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23050/tid=23069] ppid=23048 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23050/task/23069/stat : 23069 (java) S 23048 23050 21352 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254935732 9855975424 29179 33554432000 1073741824 1073778376 140735775371872 140373323187624 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 2.5
Current children cumulated vsize (KiB) 9624976

[startup+3.10063 s]
/proc/loadavg: 1.94 2.00 1.99 3/213 23069
/proc/meminfo: memFree=27406860/32873844 swapFree=6080/6080
[pid=23050] ppid=23048 vsize=9624976 CPUtime=4.19 cores=0,2,4,6
/proc/23050/stat : 23050 (java) S 23048 23050 21352 0 -1 4202496 12964 0 1 0 412 7 0 0 20 0 19 0 254935677 9855975424 43048 33554432000 1073741824 1073778376 140735775371872 140735775363008 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23050/statm: 2406244 43048 2281 9 0 2396937 0
[pid=23050/tid=23052] ppid=23048 vsize=9624976 CPUtime=3.02 cores=0,2,4,6
/proc/23050/task/23052/stat : 23052 (java) R 23048 23050 21352 0 -1 4202560 2498 0 1 0 300 2 0 0 20 0 19 0 254935677 9855975424 43048 33554432000 1073741824 1073778376 140735775371872 140373508141560 140373373234896 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=23050/tid=23053] ppid=23048 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23050/task/23053/stat : 23053 (java) S 23048 23050 21352 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 254935678 9855975424 43048 33554432000 1073741824 1073778376 140735775371872 140373497203496 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23050/tid=23054] ppid=23048 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23050/task/23054/stat : 23054 (java) S 23048 23050 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254935678 9855975424 43048 33554432000 1073741824 1073778376 140735775371872 140373496150696 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23050/tid=23055] ppid=23048 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23050/task/23055/stat : 23055 (java) S 23048 23050 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254935678 9855975424 43048 33554432000 1073741824 1073778376 140735775371872 140373495098408 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23050/tid=23056] ppid=23048 vsize=9624976 CPUtime=0.01 cores=0,2,4,6
/proc/23050/task/23056/stat : 23056 (java) S 23048 23050 21352 0 -1 4202560 18 0 0 0 1 0 0 0 20 0 19 0 254935678 9855975424 43048 33554432000 1073741824 1073778376 140735775371872 140373494045608 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23050/tid=23057] ppid=23048 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23050/task/23057/stat : 23057 (java) S 23048 23050 21352 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254935678 9855975424 43048 33554432000 1073741824 1073778376 140735775371872 140373492992296 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23050/tid=23058] ppid=23048 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23050/task/23058/stat : 23058 (java) S 23048 23050 21352 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254935678 9855975424 43048 33554432000 1073741824 1073778376 140735775371872 140373491939496 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23050/tid=23059] ppid=23048 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23050/task/23059/stat : 23059 (java) S 23048 23050 21352 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254935678 9855975424 43048 33554432000 1073741824 1073778376 140735775371872 140373344860712 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23050/tid=23060] ppid=23048 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23050/task/23060/stat : 23060 (java) S 23048 23050 21352 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254935678 9855975424 43048 33554432000 1073741824 1073778376 140735775371872 140373343807912 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23050/tid=23061] ppid=23048 vsize=9624976 CPUtime=0.02 cores=0,2,4,6
/proc/23050/task/23061/stat : 23061 (java) S 23048 23050 21352 0 -1 4202560 39 0 0 0 2 0 0 0 20 0 19 0 254935679 9855975424 43048 33554432000 1073741824 1073778376 140735775371872 140373331610344 240430135209 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23050/tid=23062] ppid=23048 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23050/task/23062/stat : 23062 (java) S 23048 23050 21352 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254935680 9855975424 43048 33554432000 1073741824 1073778376 140735775371872 140373330556408 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23050/tid=23063] ppid=23048 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23050/task/23063/stat : 23063 (java) S 23048 23050 21352 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254935680 9855975424 43048 33554432000 1073741824 1073778376 140735775371872 140373329504008 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23050/tid=23064] ppid=23048 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23050/task/23064/stat : 23064 (java) S 23048 23050 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254935682 9855975424 43048 33554432000 1073741824 1073778376 140735775371872 140373328452496 240430143264 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23050/tid=23065] ppid=23048 vsize=9624976 CPUtime=0.46 cores=0,2,4,6
/proc/23050/task/23065/stat : 23065 (java) S 23048 23050 21352 0 -1 4202560 4441 0 0 0 46 0 0 0 20 0 19 0 254935682 9855975424 43048 33554432000 1073741824 1073778376 140735775371872 140373327399096 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23050/tid=23066] ppid=23048 vsize=9624976 CPUtime=0.55 cores=0,2,4,6
/proc/23050/task/23066/stat : 23066 (java) S 23048 23050 21352 0 -1 4202560 4732 0 0 0 53 2 0 0 20 0 19 0 254935682 9855975424 43048 33554432000 1073741824 1073778376 140735775371872 140373326346296 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23050/tid=23067] ppid=23048 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23050/task/23067/stat : 23067 (java) S 23048 23050 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254935682 9855975424 43048 33554432000 1073741824 1073778376 140735775371872 140373325294200 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23050/tid=23068] ppid=23048 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23050/task/23068/stat : 23068 (java) S 23048 23050 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254935682 9855975424 43048 33554432000 1073741824 1073778376 140735775371872 140373324241608 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23050/tid=23069] ppid=23048 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23050/task/23069/stat : 23069 (java) S 23048 23050 21352 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254935732 9855975424 43048 33554432000 1073741824 1073778376 140735775371872 140373323187624 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 4.19
Current children cumulated vsize (KiB) 9624976

[startup+6.30067 s]
/proc/loadavg: 1.95 2.00 1.99 3/213 23069
/proc/meminfo: memFree=27274176/32873844 swapFree=6080/6080
[pid=23050] ppid=23048 vsize=9624976 CPUtime=7.44 cores=0,2,4,6
/proc/23050/stat : 23050 (java) S 23048 23050 21352 0 -1 4202496 13006 0 1 0 736 8 0 0 20 0 19 0 254935677 9855975424 49188 33554432000 1073741824 1073778376 140735775371872 140735775363008 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23050/statm: 2406244 49188 2281 9 0 2396937 0
[pid=23050/tid=23052] ppid=23048 vsize=9624976 CPUtime=6.18 cores=0,2,4,6
/proc/23050/task/23052/stat : 23052 (java) R 23048 23050 21352 0 -1 4202560 2500 0 1 0 616 2 0 0 20 0 19 0 254935677 9855975424 49188 33554432000 1073741824 1073778376 140735775371872 140373508141528 140373373175495 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=23050/tid=23053] ppid=23048 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23050/task/23053/stat : 23053 (java) S 23048 23050 21352 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 254935678 9855975424 49188 33554432000 1073741824 1073778376 140735775371872 140373497203496 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23050/tid=23054] ppid=23048 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23050/task/23054/stat : 23054 (java) S 23048 23050 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254935678 9855975424 49188 33554432000 1073741824 1073778376 140735775371872 140373496150696 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23050/tid=23055] ppid=23048 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23050/task/23055/stat : 23055 (java) S 23048 23050 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254935678 9855975424 49188 33554432000 1073741824 1073778376 140735775371872 140373495098408 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23050/tid=23056] ppid=23048 vsize=9624976 CPUtime=0.01 cores=0,2,4,6
/proc/23050/task/23056/stat : 23056 (java) S 23048 23050 21352 0 -1 4202560 18 0 0 0 1 0 0 0 20 0 19 0 254935678 9855975424 49188 33554432000 1073741824 1073778376 140735775371872 140373494045608 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23050/tid=23057] ppid=23048 vsize=9624976 CPUtime=0.01 cores=0,2,4,6
/proc/23050/task/23057/stat : 23057 (java) S 23048 23050 21352 0 -1 4202560 26 0 0 0 0 1 0 0 20 0 19 0 254935678 9855975424 49188 33554432000 1073741824 1073778376 140735775371872 140373492992296 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23050/tid=23058] ppid=23048 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23050/task/23058/stat : 23058 (java) S 23048 23050 21352 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 254935678 9855975424 49188 33554432000 1073741824 1073778376 140735775371872 140373491939496 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23050/tid=23059] ppid=23048 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23050/task/23059/stat : 23059 (java) S 23048 23050 21352 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254935678 9855975424 49188 33554432000 1073741824 1073778376 140735775371872 140373344860712 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23050/tid=23060] ppid=23048 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23050/task/23060/stat : 23060 (java) S 23048 23050 21352 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 254935678 9855975424 49188 33554432000 1073741824 1073778376 140735775371872 140373343807912 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23050/tid=23061] ppid=23048 vsize=9624976 CPUtime=0.05 cores=0,2,4,6
/proc/23050/task/23061/stat : 23061 (java) S 23048 23050 21352 0 -1 4202560 43 0 0 0 5 0 0 0 20 0 19 0 254935679 9855975424 49188 33554432000 1073741824 1073778376 140735775371872 140373331610344 240430135209 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23050/tid=23062] ppid=23048 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23050/task/23062/stat : 23062 (java) S 23048 23050 21352 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254935680 9855975424 49188 33554432000 1073741824 1073778376 140735775371872 140373330556408 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23050/tid=23063] ppid=23048 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23050/task/23063/stat : 23063 (java) S 23048 23050 21352 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254935680 9855975424 49188 33554432000 1073741824 1073778376 140735775371872 140373329504008 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23050/tid=23064] ppid=23048 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23050/task/23064/stat : 23064 (java) S 23048 23050 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254935682 9855975424 49188 33554432000 1073741824 1073778376 140735775371872 140373328452496 240430143264 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23050/tid=23065] ppid=23048 vsize=9624976 CPUtime=0.48 cores=0,2,4,6
/proc/23050/task/23065/stat : 23065 (java) S 23048 23050 21352 0 -1 4202560 4441 0 0 0 48 0 0 0 20 0 19 0 254935682 9855975424 49188 33554432000 1073741824 1073778376 140735775371872 140373327399096 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23050/tid=23066] ppid=23048 vsize=9624976 CPUtime=0.57 cores=0,2,4,6
/proc/23050/task/23066/stat : 23066 (java) S 23048 23050 21352 0 -1 4202560 4732 0 0 0 55 2 0 0 20 0 19 0 254935682 9855975424 49188 33554432000 1073741824 1073778376 140735775371872 140373326346296 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23050/tid=23067] ppid=23048 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23050/task/23067/stat : 23067 (java) S 23048 23050 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254935682 9855975424 49188 33554432000 1073741824 1073778376 140735775371872 140373325294200 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23050/tid=23068] ppid=23048 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23050/task/23068/stat : 23068 (java) S 23048 23050 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254935682 9855975424 49188 33554432000 1073741824 1073778376 140735775371872 140373324241608 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23050/tid=23069] ppid=23048 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23050/task/23069/stat : 23069 (java) S 23048 23050 21352 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254935732 9855975424 49188 33554432000 1073741824 1073778376 140735775371872 140373323187624 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 7.44
Current children cumulated vsize (KiB) 9624976

[startup+12.7006 s]

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

/proc/23050/task/23053/stat : 23053 (java) S 23048 23050 21352 0 -1 4202560 7870 0 0 0 1293 43 0 0 20 0 19 0 254935678 9855975424 285914 33554432000 1073741824 1073778376 140735775371872 140373497203496 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23050/tid=23054] ppid=23048 vsize=9624976 CPUtime=13.17 cores=0,2,4,6
/proc/23050/task/23054/stat : 23054 (java) S 23048 23050 21352 0 -1 4202560 7325 0 0 0 1276 41 0 0 20 0 19 0 254935678 9855975424 285914 33554432000 1073741824 1073778376 140735775371872 140373496150696 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23050/tid=23055] ppid=23048 vsize=9624976 CPUtime=13.63 cores=0,2,4,6
/proc/23050/task/23055/stat : 23055 (java) S 23048 23050 21352 0 -1 4202560 7787 0 0 0 1316 47 0 0 20 0 19 0 254935678 9855975424 285914 33554432000 1073741824 1073778376 140735775371872 140373495098408 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23050/tid=23056] ppid=23048 vsize=9624976 CPUtime=13.54 cores=0,2,4,6
/proc/23050/task/23056/stat : 23056 (java) S 23048 23050 21352 0 -1 4202560 5651 0 0 0 1303 51 0 0 20 0 19 0 254935678 9855975424 285914 33554432000 1073741824 1073778376 140735775371872 140373494045608 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23050/tid=23057] ppid=23048 vsize=9624976 CPUtime=12.92 cores=0,2,4,6
/proc/23050/task/23057/stat : 23057 (java) S 23048 23050 21352 0 -1 4202560 8106 0 0 0 1248 44 0 0 20 0 19 0 254935678 9855975424 285914 33554432000 1073741824 1073778376 140735775371872 140373492992296 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23050/tid=23058] ppid=23048 vsize=9624976 CPUtime=13.05 cores=0,2,4,6
/proc/23050/task/23058/stat : 23058 (java) S 23048 23050 21352 0 -1 4202560 6498 0 0 0 1262 43 0 0 20 0 19 0 254935678 9855975424 285914 33554432000 1073741824 1073778376 140735775371872 140373491939496 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23050/tid=23059] ppid=23048 vsize=9624976 CPUtime=13.74 cores=0,2,4,6
/proc/23050/task/23059/stat : 23059 (java) S 23048 23050 21352 0 -1 4202560 8458 0 0 0 1327 47 0 0 20 0 19 0 254935678 9855975424 285914 33554432000 1073741824 1073778376 140735775371872 140373344860712 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23050/tid=23060] ppid=23048 vsize=9624976 CPUtime=13.41 cores=0,2,4,6
/proc/23050/task/23060/stat : 23060 (java) S 23048 23050 21352 0 -1 4202560 6399 0 0 0 1302 39 0 0 20 0 19 0 254935678 9855975424 285914 33554432000 1073741824 1073778376 140735775371872 140373343807912 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23050/tid=23061] ppid=23048 vsize=9624976 CPUtime=12.86 cores=0,2,4,6
/proc/23050/task/23061/stat : 23061 (java) S 23048 23050 21352 0 -1 4202560 3667 0 0 0 1268 18 0 0 20 0 19 0 254935679 9855975424 285914 33554432000 1073741824 1073778376 140735775371872 140373331610344 240430135209 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23050/tid=23062] ppid=23048 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23050/task/23062/stat : 23062 (java) S 23048 23050 21352 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254935680 9855975424 285914 33554432000 1073741824 1073778376 140735775371872 140373330556408 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23050/tid=23063] ppid=23048 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23050/task/23063/stat : 23063 (java) S 23048 23050 21352 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254935680 9855975424 285914 33554432000 1073741824 1073778376 140735775371872 140373329504008 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23050/tid=23064] ppid=23048 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23050/task/23064/stat : 23064 (java) S 23048 23050 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254935682 9855975424 285914 33554432000 1073741824 1073778376 140735775371872 140373328452496 240430143264 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23050/tid=23065] ppid=23048 vsize=9624976 CPUtime=0.53 cores=0,2,4,6
/proc/23050/task/23065/stat : 23065 (java) S 23048 23050 21352 0 -1 4202560 4448 0 0 0 53 0 0 0 20 0 19 0 254935682 9855975424 285914 33554432000 1073741824 1073778376 140735775371872 140373327399096 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23050/tid=23066] ppid=23048 vsize=9624976 CPUtime=0.63 cores=0,2,4,6
/proc/23050/task/23066/stat : 23066 (java) S 23048 23050 21352 0 -1 4202560 4774 0 0 0 61 2 0 0 20 0 19 0 254935682 9855975424 285914 33554432000 1073741824 1073778376 140735775371872 140373326346296 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23050/tid=23067] ppid=23048 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23050/task/23067/stat : 23067 (java) S 23048 23050 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254935682 9855975424 285914 33554432000 1073741824 1073778376 140735775371872 140373325294200 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23050/tid=23068] ppid=23048 vsize=9624976 CPUtime=0.47 cores=0,2,4,6
/proc/23050/task/23068/stat : 23068 (java) S 23048 23050 21352 0 -1 4202560 93 0 0 0 23 24 0 0 20 0 19 0 254935682 9855975424 285914 33554432000 1073741824 1073778376 140735775371872 140373324241608 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23050/tid=23069] ppid=23048 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23050/task/23069/stat : 23069 (java) S 23048 23050 21352 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254935732 9855975424 285914 33554432000 1073741824 1073778376 140735775371872 140373323187624 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1669.93
Current children cumulated vsize (KiB) 9624976

[startup+1592.7 s]
/proc/loadavg: 2.16 2.12 2.04 3/214 23336
/proc/meminfo: memFree=25867048/32873844 swapFree=6080/6080
[pid=23050] ppid=23048 vsize=9624976 CPUtime=1670.86 cores=0,2,4,6
/proc/23050/stat : 23050 (java) S 23048 23050 21352 0 -1 4202496 76135 0 1 0 166688 398 0 0 20 0 19 0 254935677 9855975424 285918 33554432000 1073741824 1073778376 140735775371872 140735775363008 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23050/statm: 2406244 285918 2282 9 0 2396937 0
[pid=23050/tid=23052] ppid=23048 vsize=9624976 CPUtime=1549.92 cores=0,2,4,6
/proc/23050/task/23052/stat : 23052 (java) R 23048 23050 21352 0 -1 4202560 3870 0 1 0 154963 29 0 0 20 0 19 0 254935677 9855975424 285918 33554432000 1073741824 1073778376 140735775371872 140373508140520 140373373426145 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=23050/tid=23053] ppid=23048 vsize=9624976 CPUtime=13.39 cores=0,2,4,6
/proc/23050/task/23053/stat : 23053 (java) S 23048 23050 21352 0 -1 4202560 7870 0 0 0 1296 43 0 0 20 0 19 0 254935678 9855975424 285918 33554432000 1073741824 1073778376 140735775371872 140373497203496 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23050/tid=23054] ppid=23048 vsize=9624976 CPUtime=13.21 cores=0,2,4,6
/proc/23050/task/23054/stat : 23054 (java) S 23048 23050 21352 0 -1 4202560 7325 0 0 0 1280 41 0 0 20 0 19 0 254935678 9855975424 285918 33554432000 1073741824 1073778376 140735775371872 140373496150696 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23050/tid=23055] ppid=23048 vsize=9624976 CPUtime=13.65 cores=0,2,4,6
/proc/23050/task/23055/stat : 23055 (java) S 23048 23050 21352 0 -1 4202560 7787 0 0 0 1318 47 0 0 20 0 19 0 254935678 9855975424 285918 33554432000 1073741824 1073778376 140735775371872 140373495098408 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23050/tid=23056] ppid=23048 vsize=9624976 CPUtime=13.56 cores=0,2,4,6
/proc/23050/task/23056/stat : 23056 (java) S 23048 23050 21352 0 -1 4202560 5651 0 0 0 1305 51 0 0 20 0 19 0 254935678 9855975424 285918 33554432000 1073741824 1073778376 140735775371872 140373494045608 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23050/tid=23057] ppid=23048 vsize=9624976 CPUtime=12.93 cores=0,2,4,6
/proc/23050/task/23057/stat : 23057 (java) S 23048 23050 21352 0 -1 4202560 8106 0 0 0 1249 44 0 0 20 0 19 0 254935678 9855975424 285918 33554432000 1073741824 1073778376 140735775371872 140373492992296 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23050/tid=23058] ppid=23048 vsize=9624976 CPUtime=13.06 cores=0,2,4,6
/proc/23050/task/23058/stat : 23058 (java) S 23048 23050 21352 0 -1 4202560 6498 0 0 0 1263 43 0 0 20 0 19 0 254935678 9855975424 285918 33554432000 1073741824 1073778376 140735775371872 140373491939496 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23050/tid=23059] ppid=23048 vsize=9624976 CPUtime=13.76 cores=0,2,4,6
/proc/23050/task/23059/stat : 23059 (java) S 23048 23050 21352 0 -1 4202560 8458 0 0 0 1329 47 0 0 20 0 19 0 254935678 9855975424 285918 33554432000 1073741824 1073778376 140735775371872 140373344860712 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23050/tid=23060] ppid=23048 vsize=9624976 CPUtime=13.42 cores=0,2,4,6
/proc/23050/task/23060/stat : 23060 (java) S 23048 23050 21352 0 -1 4202560 6399 0 0 0 1303 39 0 0 20 0 19 0 254935678 9855975424 285918 33554432000 1073741824 1073778376 140735775371872 140373343807912 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23050/tid=23061] ppid=23048 vsize=9624976 CPUtime=12.86 cores=0,2,4,6
/proc/23050/task/23061/stat : 23061 (java) S 23048 23050 21352 0 -1 4202560 3671 0 0 0 1268 18 0 0 20 0 19 0 254935679 9855975424 285918 33554432000 1073741824 1073778376 140735775371872 140373331610344 240430135209 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23050/tid=23062] ppid=23048 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23050/task/23062/stat : 23062 (java) S 23048 23050 21352 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254935680 9855975424 285918 33554432000 1073741824 1073778376 140735775371872 140373330556408 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23050/tid=23063] ppid=23048 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23050/task/23063/stat : 23063 (java) S 23048 23050 21352 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254935680 9855975424 285918 33554432000 1073741824 1073778376 140735775371872 140373329504008 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23050/tid=23064] ppid=23048 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23050/task/23064/stat : 23064 (java) S 23048 23050 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254935682 9855975424 285918 33554432000 1073741824 1073778376 140735775371872 140373328452496 240430143264 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23050/tid=23065] ppid=23048 vsize=9624976 CPUtime=0.53 cores=0,2,4,6
/proc/23050/task/23065/stat : 23065 (java) S 23048 23050 21352 0 -1 4202560 4448 0 0 0 53 0 0 0 20 0 19 0 254935682 9855975424 285918 33554432000 1073741824 1073778376 140735775371872 140373327399096 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23050/tid=23066] ppid=23048 vsize=9624976 CPUtime=0.63 cores=0,2,4,6
/proc/23050/task/23066/stat : 23066 (java) S 23048 23050 21352 0 -1 4202560 4774 0 0 0 61 2 0 0 20 0 19 0 254935682 9855975424 285918 33554432000 1073741824 1073778376 140735775371872 140373326346296 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23050/tid=23067] ppid=23048 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23050/task/23067/stat : 23067 (java) S 23048 23050 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254935682 9855975424 285918 33554432000 1073741824 1073778376 140735775371872 140373325294200 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23050/tid=23068] ppid=23048 vsize=9624976 CPUtime=0.47 cores=0,2,4,6
/proc/23050/task/23068/stat : 23068 (java) S 23048 23050 21352 0 -1 4202560 93 0 0 0 23 24 0 0 20 0 19 0 254935682 9855975424 285918 33554432000 1073741824 1073778376 140735775371872 140373324241608 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23050/tid=23069] ppid=23048 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23050/task/23069/stat : 23069 (java) S 23048 23050 21352 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254935732 9855975424 285918 33554432000 1073741824 1073778376 140735775371872 140373323187624 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1670.86
Current children cumulated vsize (KiB) 9624976

[startup+1593.5 s]
/proc/loadavg: 2.16 2.12 2.04 3/214 23336
/proc/meminfo: memFree=25867048/32873844 swapFree=6080/6080
[pid=23050] ppid=23048 vsize=9624976 CPUtime=1671.66 cores=0,2,4,6
/proc/23050/stat : 23050 (java) S 23048 23050 21352 0 -1 4202496 76137 0 1 0 166768 398 0 0 20 0 19 0 254935677 9855975424 285919 33554432000 1073741824 1073778376 140735775371872 140735775363008 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23050/statm: 2406244 285919 2283 9 0 2396937 0
[pid=23050/tid=23052] ppid=23048 vsize=9624976 CPUtime=1550.71 cores=0,2,4,6
/proc/23050/task/23052/stat : 23052 (java) R 23048 23050 21352 0 -1 4202560 3871 0 1 0 155042 29 0 0 20 0 19 0 254935677 9855975424 285919 33554432000 1073741824 1073778376 140735775371872 140373508131856 140373373175697 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=23050/tid=23053] ppid=23048 vsize=9624976 CPUtime=13.39 cores=0,2,4,6
/proc/23050/task/23053/stat : 23053 (java) S 23048 23050 21352 0 -1 4202560 7870 0 0 0 1296 43 0 0 20 0 19 0 254935678 9855975424 285919 33554432000 1073741824 1073778376 140735775371872 140373497203496 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23050/tid=23054] ppid=23048 vsize=9624976 CPUtime=13.21 cores=0,2,4,6
/proc/23050/task/23054/stat : 23054 (java) S 23048 23050 21352 0 -1 4202560 7325 0 0 0 1280 41 0 0 20 0 19 0 254935678 9855975424 285919 33554432000 1073741824 1073778376 140735775371872 140373496150696 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23050/tid=23055] ppid=23048 vsize=9624976 CPUtime=13.65 cores=0,2,4,6
/proc/23050/task/23055/stat : 23055 (java) S 23048 23050 21352 0 -1 4202560 7787 0 0 0 1318 47 0 0 20 0 19 0 254935678 9855975424 285919 33554432000 1073741824 1073778376 140735775371872 140373495098408 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23050/tid=23056] ppid=23048 vsize=9624976 CPUtime=13.56 cores=0,2,4,6
/proc/23050/task/23056/stat : 23056 (java) S 23048 23050 21352 0 -1 4202560 5651 0 0 0 1305 51 0 0 20 0 19 0 254935678 9855975424 285919 33554432000 1073741824 1073778376 140735775371872 140373494045608 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23050/tid=23057] ppid=23048 vsize=9624976 CPUtime=12.93 cores=0,2,4,6
/proc/23050/task/23057/stat : 23057 (java) S 23048 23050 21352 0 -1 4202560 8106 0 0 0 1249 44 0 0 20 0 19 0 254935678 9855975424 285919 33554432000 1073741824 1073778376 140735775371872 140373492992296 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23050/tid=23058] ppid=23048 vsize=9624976 CPUtime=13.06 cores=0,2,4,6
/proc/23050/task/23058/stat : 23058 (java) S 23048 23050 21352 0 -1 4202560 6498 0 0 0 1263 43 0 0 20 0 19 0 254935678 9855975424 285919 33554432000 1073741824 1073778376 140735775371872 140373491939496 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23050/tid=23059] ppid=23048 vsize=9624976 CPUtime=13.76 cores=0,2,4,6
/proc/23050/task/23059/stat : 23059 (java) S 23048 23050 21352 0 -1 4202560 8458 0 0 0 1329 47 0 0 20 0 19 0 254935678 9855975424 285919 33554432000 1073741824 1073778376 140735775371872 140373344860712 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23050/tid=23060] ppid=23048 vsize=9624976 CPUtime=13.42 cores=0,2,4,6
/proc/23050/task/23060/stat : 23060 (java) S 23048 23050 21352 0 -1 4202560 6399 0 0 0 1303 39 0 0 20 0 19 0 254935678 9855975424 285919 33554432000 1073741824 1073778376 140735775371872 140373343807912 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23050/tid=23061] ppid=23048 vsize=9624976 CPUtime=12.86 cores=0,2,4,6
/proc/23050/task/23061/stat : 23061 (java) S 23048 23050 21352 0 -1 4202560 3672 0 0 0 1268 18 0 0 20 0 19 0 254935679 9855975424 285919 33554432000 1073741824 1073778376 140735775371872 140373331610344 240430135209 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23050/tid=23062] ppid=23048 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23050/task/23062/stat : 23062 (java) S 23048 23050 21352 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254935680 9855975424 285919 33554432000 1073741824 1073778376 140735775371872 140373330556408 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23050/tid=23063] ppid=23048 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23050/task/23063/stat : 23063 (java) S 23048 23050 21352 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254935680 9855975424 285919 33554432000 1073741824 1073778376 140735775371872 140373329504008 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23050/tid=23064] ppid=23048 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23050/task/23064/stat : 23064 (java) S 23048 23050 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254935682 9855975424 285919 33554432000 1073741824 1073778376 140735775371872 140373328452496 240430143264 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23050/tid=23065] ppid=23048 vsize=9624976 CPUtime=0.53 cores=0,2,4,6
/proc/23050/task/23065/stat : 23065 (java) S 23048 23050 21352 0 -1 4202560 4448 0 0 0 53 0 0 0 20 0 19 0 254935682 9855975424 285919 33554432000 1073741824 1073778376 140735775371872 140373327399096 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23050/tid=23066] ppid=23048 vsize=9624976 CPUtime=0.63 cores=0,2,4,6
/proc/23050/task/23066/stat : 23066 (java) S 23048 23050 21352 0 -1 4202560 4774 0 0 0 61 2 0 0 20 0 19 0 254935682 9855975424 285919 33554432000 1073741824 1073778376 140735775371872 140373326346296 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23050/tid=23067] ppid=23048 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23050/task/23067/stat : 23067 (java) S 23048 23050 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254935682 9855975424 285919 33554432000 1073741824 1073778376 140735775371872 140373325294200 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23050/tid=23068] ppid=23048 vsize=9624976 CPUtime=0.47 cores=0,2,4,6
/proc/23050/task/23068/stat : 23068 (java) S 23048 23050 21352 0 -1 4202560 93 0 0 0 23 24 0 0 20 0 19 0 254935682 9855975424 285919 33554432000 1073741824 1073778376 140735775371872 140373324241608 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23050/tid=23069] ppid=23048 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23050/task/23069/stat : 23069 (java) S 23048 23050 21352 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254935732 9855975424 285919 33554432000 1073741824 1073778376 140735775371872 140373323187624 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1671.66
Current children cumulated vsize (KiB) 9624976

[startup+1593.7 s]
/proc/loadavg: 2.16 2.12 2.04 3/214 23336
/proc/meminfo: memFree=25867048/32873844 swapFree=6080/6080
[pid=23050] ppid=23048 vsize=9691540 CPUtime=1671.88 cores=0,2,4,6
/proc/23050/stat : 23050 (java) S 23048 23050 21352 0 -1 4202496 76147 0 1 0 166790 398 0 0 20 0 20 0 254935677 9924136960 285928 33554432000 1073741824 1073778376 140735775371872 140735775363008 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23050/statm: 2422885 285928 2283 9 0 2413578 0
[pid=23050/tid=23052] ppid=23048 vsize=9691540 CPUtime=1550.88 cores=0,2,4,6
/proc/23050/task/23052/stat : 23052 (java) S 23048 23050 21352 0 -1 4202560 3873 0 1 0 155059 29 0 0 20 0 20 0 254935677 9924136960 285928 33554432000 1073741824 1073778376 140735775371872 140373508141784 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23050/tid=23053] ppid=23048 vsize=9691540 CPUtime=13.39 cores=0,2,4,6
/proc/23050/task/23053/stat : 23053 (java) S 23048 23050 21352 0 -1 4202560 7870 0 0 0 1296 43 0 0 20 0 20 0 254935678 9924136960 285928 33554432000 1073741824 1073778376 140735775371872 140373497203496 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23050/tid=23054] ppid=23048 vsize=9691540 CPUtime=13.21 cores=0,2,4,6
/proc/23050/task/23054/stat : 23054 (java) S 23048 23050 21352 0 -1 4202560 7325 0 0 0 1280 41 0 0 20 0 20 0 254935678 9924136960 285928 33554432000 1073741824 1073778376 140735775371872 140373496150696 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23050/tid=23055] ppid=23048 vsize=9691540 CPUtime=13.65 cores=0,2,4,6
/proc/23050/task/23055/stat : 23055 (java) S 23048 23050 21352 0 -1 4202560 7787 0 0 0 1318 47 0 0 20 0 20 0 254935678 9924136960 285928 33554432000 1073741824 1073778376 140735775371872 140373495098408 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23050/tid=23056] ppid=23048 vsize=9691540 CPUtime=13.56 cores=0,2,4,6
/proc/23050/task/23056/stat : 23056 (java) S 23048 23050 21352 0 -1 4202560 5651 0 0 0 1305 51 0 0 20 0 20 0 254935678 9924136960 285928 33554432000 1073741824 1073778376 140735775371872 140373494045608 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23050/tid=23057] ppid=23048 vsize=9691540 CPUtime=12.93 cores=0,2,4,6
/proc/23050/task/23057/stat : 23057 (java) S 23048 23050 21352 0 -1 4202560 8106 0 0 0 1249 44 0 0 20 0 20 0 254935678 9924136960 285928 33554432000 1073741824 1073778376 140735775371872 140373492992296 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23050/tid=23058] ppid=23048 vsize=9691540 CPUtime=13.06 cores=0,2,4,6
/proc/23050/task/23058/stat : 23058 (java) S 23048 23050 21352 0 -1 4202560 6498 0 0 0 1263 43 0 0 20 0 20 0 254935678 9924136960 285928 33554432000 1073741824 1073778376 140735775371872 140373491939496 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23050/tid=23059] ppid=23048 vsize=9691540 CPUtime=13.76 cores=0,2,4,6
/proc/23050/task/23059/stat : 23059 (java) S 23048 23050 21352 0 -1 4202560 8458 0 0 0 1329 47 0 0 20 0 20 0 254935678 9924136960 285928 33554432000 1073741824 1073778376 140735775371872 140373344860712 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23050/tid=23060] ppid=23048 vsize=9691540 CPUtime=13.42 cores=0,2,4,6
/proc/23050/task/23060/stat : 23060 (java) S 23048 23050 21352 0 -1 4202560 6399 0 0 0 1303 39 0 0 20 0 20 0 254935678 9924136960 285928 33554432000 1073741824 1073778376 140735775371872 140373343807912 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23050/tid=23061] ppid=23048 vsize=9691540 CPUtime=12.86 cores=0,2,4,6
/proc/23050/task/23061/stat : 23061 (java) S 23048 23050 21352 0 -1 4202560 3672 0 0 0 1268 18 0 0 20 0 20 0 254935679 9924136960 285928 33554432000 1073741824 1073778376 140735775371872 140373331610344 240430135209 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23050/tid=23062] ppid=23048 vsize=9691540 CPUtime=0 cores=0,2,4,6
/proc/23050/task/23062/stat : 23062 (java) S 23048 23050 21352 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 254935680 9924136960 285928 33554432000 1073741824 1073778376 140735775371872 140373330556408 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23050/tid=23063] ppid=23048 vsize=9691540 CPUtime=0 cores=0,2,4,6
/proc/23050/task/23063/stat : 23063 (java) S 23048 23050 21352 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 254935680 9924136960 285928 33554432000 1073741824 1073778376 140735775371872 140373329504008 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23050/tid=23064] ppid=23048 vsize=9691540 CPUtime=0 cores=0,2,4,6
/proc/23050/task/23064/stat : 23064 (java) S 23048 23050 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 254935682 9924136960 285928 33554432000 1073741824 1073778376 140735775371872 140373328452496 240430143264 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23050/tid=23065] ppid=23048 vsize=9691540 CPUtime=0.55 cores=0,2,4,6
/proc/23050/task/23065/stat : 23065 (java) S 23048 23050 21352 0 -1 4202560 4449 0 0 0 55 0 0 0 20 0 20 0 254935682 9924136960 285928 33554432000 1073741824 1073778376 140735775371872 140373327399096 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23050/tid=23066] ppid=23048 vsize=9691540 CPUtime=0.63 cores=0,2,4,6
/proc/23050/task/23066/stat : 23066 (java) S 23048 23050 21352 0 -1 4202560 4774 0 0 0 61 2 0 0 20 0 20 0 254935682 9924136960 285928 33554432000 1073741824 1073778376 140735775371872 140373326346296 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23050/tid=23067] ppid=23048 vsize=9691540 CPUtime=0 cores=0,2,4,6
/proc/23050/task/23067/stat : 23067 (java) S 23048 23050 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 254935682 9924136960 285928 33554432000 1073741824 1073778376 140735775371872 140373325294200 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23050/tid=23068] ppid=23048 vsize=9691540 CPUtime=0.47 cores=0,2,4,6
/proc/23050/task/23068/stat : 23068 (java) S 23048 23050 21352 0 -1 4202560 93 0 0 0 23 24 0 0 20 0 20 0 254935682 9924136960 285928 33554432000 1073741824 1073778376 140735775371872 140373324241608 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23050/tid=23069] ppid=23048 vsize=9691540 CPUtime=0 cores=0,2,4,6
/proc/23050/task/23069/stat : 23069 (java) S 23048 23050 21352 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 20 0 254935732 9924136960 285928 33554432000 1073741824 1073778376 140735775371872 140373323187624 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1671.88
Current children cumulated vsize (KiB) 9691540

Child status: 10
Real time (s): 1593.71
CPU time (s): 1672.65
CPU user time (s): 1668.23
CPU system time (s): 4.42133
CPU usage (%): 104.953
Max. virtual memory (cumulated for all children) (KiB): 9691540

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1668.23
system time used= 4.42133
maximum resident set size= 1409056
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 76150
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1552
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 76784
involuntary context switches= 159065

runsolver used 2.6406 second user time and 6.25605 second system time

The end

Launcher Data

Begin job on node108 at 2012-05-24 21:34:31
IDJOB=3688801
IDBENCH=48329
IDSOLVER=2269
FILE ID=node108/3688801-1337888071
RUNJOBID= node108-1337871881-21368
PBS_JOBID= 14620096
Free space on /tmp= 71720 MiB

SOLVER NAME= Sat 4j PB Resolution 2.3.2 Snapshot
BENCH NAME= PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_500_10_3_80.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3688801-1337888071/watcher-3688801-1337888071 -o /tmp/evaluation-result-3688801-1337888071/solver-3688801-1337888071 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar HOME/instance-3688801-1337888071.opb

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

MD5SUM BENCH= 4023d6beb9ef2c356e20e783b830f625
RANDOM SEED=1211135272

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.273
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	: 5438.55
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.273
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.273
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:        27524256 kB
Buffers:          201664 kB
Cached:          4188988 kB
SwapCached:            0 kB
Active:           679112 kB
Inactive:        3901920 kB
Active(anon):     192832 kB
Inactive(anon):        0 kB
Active(file):     486280 kB
Inactive(file):  3901920 kB
Unevictable:        6080 kB
Mlocked:            6080 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              1244 kB
Writeback:             8 kB
AnonPages:        196272 kB
Mapped:            22492 kB
Shmem:               200 kB
Slab:             630528 kB
SReclaimable:      72380 kB
SUnreclaim:       558148 kB
KernelStack:        1600 kB
PageTables:         4600 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     824852 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    147456 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= 71720 MiB
End job on node108 at 2012-05-24 22:01:05