Trace number 3687694

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 SnapshotOPT60 251.928 143.982

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data 

0.07/0.10	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.07/0.10	c This is free software under the dual EPL/GNU LGPL licenses.
0.07/0.10	c See www.sat4j.org for details.
0.07/0.11	c version 2.3.2.v20120418
0.07/0.11	c java.runtime.name	Java(TM) SE Runtime Environment
0.07/0.11	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.07/0.11	c java.vm.version	19.1-b02
0.07/0.11	c java.vm.vendor	Sun Microsystems Inc.
0.07/0.11	c sun.arch.data.model	64
0.07/0.11	c java.version		1.6.0_24
0.07/0.11	c os.name		Linux
0.07/0.11	c os.version		2.6.32-71.29.1.el6.x86_64
0.07/0.11	c os.arch		amd64
0.07/0.11	c Free memory 		501472288
0.07/0.11	c Max memory 		7480803328
0.07/0.11	c Total memory 		504102912
0.07/0.11	c Number of processors 	8
0.07/0.14	c Pseudo Boolean Optimization by upper bound
0.07/0.14	c ManyCore solver with 2 solvers running in parallel
0.07/0.14	c --- Begin Solver configuration ---
0.07/0.14	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@63415de6
0.07/0.14	c Learn all clauses as in MiniSAT
0.07/0.14	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.07/0.14	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.07/0.14	c Expensive reason simplification
0.07/0.14	c Armin Biere (Picosat) restarts strategy
0.07/0.14	c Glucose learned constraints deletion strategy
0.07/0.14	c timeout=2147483s
0.07/0.14	c DB Simplification allowed=false
0.07/0.14	c c --- End Solver configuration ---
0.07/0.14	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.07/0.14	c --- Begin Solver configuration ---
0.07/0.14	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@23174b07
0.07/0.14	c Learn all clauses as in MiniSAT
0.07/0.14	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.07/0.14	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.07/0.14	c No reason simplification
0.07/0.14	c Armin Biere (Picosat) restarts strategy
0.07/0.14	c Glucose learned constraints deletion strategy
0.07/0.14	c timeout=2147483s
0.07/0.14	c DB Simplification allowed=false
0.07/0.14	c c --- End Solver configuration ---
0.07/0.14	c solving HOME/instance-3687694-1337873741.opb
0.07/0.14	c reading problem ... 
0.44/0.33	c ... done. Wall clock time 0.194s.
0.44/0.33	c declared #vars     720
0.44/0.33	c #constraints  2168
0.44/0.33	c constraints type 
0.44/0.33	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1712
0.44/0.33	c org.sat4j.minisat.constraints.card.MinWatchCard => 24
0.44/0.33	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 432
0.44/0.33	c 2168 constraints processed.
0.44/0.33	c constraints type 
0.44/0.33	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 432
0.44/0.33	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1712
0.44/0.33	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 24
0.44/0.33	c 2168 constraints processed.
0.44/0.33	c objective function length is 720 literals
1.95/0.73	c cleaning 2499 clauses out of 5000 with flag 5000/5000
2.72/0.91	c cleaning 4241 clauses out of 8501 with flag 11000/11000
3.85/1.21	c cleaning 5625 clauses out of 11261 with flag 18001/18001
4.44/1.46	c cleaning 6812 clauses out of 13637 with flag 26002/26002
5.07/1.74	c cleaning 7909 clauses out of 15823 with flag 35000/35000
5.92/2.18	c cleaning 8953 clauses out of 17914 with flag 45000/45000
6.27/2.37	c  And the winner is solver1
6.43/2.83	c SATISFIABLE
6.43/2.83	c OPTIMIZING...
6.43/2.83	c Got one! Elapsed wall clock time (in seconds):2.697
6.43/2.83	o 66
6.43/2.88	c cleaning 7383 clauses out of 14776 with flag 1000/50815
6.91/3.10	c cleaning 6687 clauses out of 13394 with flag 7001/56816
7.25/3.37	c cleaning 6847 clauses out of 13707 with flag 14001/63816
7.78/3.65	c cleaning 7422 clauses out of 14859 with flag 22000/71815
8.33/3.98	c cleaning 8209 clauses out of 16437 with flag 31000/80815
9.09/4.32	c cleaning 9096 clauses out of 18229 with flag 41001/90816
10.00/4.83	c cleaning 10063 clauses out of 20134 with flag 52002/101817
10.91/5.36	c cleaning 11025 clauses out of 22069 with flag 64000/113815
11.83/5.89	c cleaning 12021 clauses out of 24046 with flag 77002/126817
13.34/6.65	c cleaning 13005 clauses out of 26023 with flag 91000/140815
14.58/7.34	c cleaning 13991 clauses out of 28020 with flag 106002/155817
16.09/8.13	c cleaning 15012 clauses out of 30028 with flag 122001/171816
17.56/8.90	c cleaning 15997 clauses out of 32016 with flag 139001/188816
19.02/9.79	c cleaning 17006 clauses out of 34019 with flag 157001/206816
21.43/11.03	c cleaning 18006 clauses out of 36018 with flag 176006/225821
23.30/12.07	c cleaning 18992 clauses out of 38006 with flag 196000/245815
25.93/13.40	c cleaning 20006 clauses out of 40015 with flag 217001/266816
28.16/14.65	c cleaning 21000 clauses out of 42008 with flag 239000/288815
30.90/16.11	c cleaning 21992 clauses out of 44009 with flag 262001/311816
33.72/17.63	c cleaning 22996 clauses out of 46016 with flag 286000/335815
36.72/19.26	c cleaning 24004 clauses out of 48021 with flag 311001/360816
40.34/21.10	c cleaning 24996 clauses out of 50017 with flag 337001/386816
44.04/23.18	c cleaning 26006 clauses out of 52021 with flag 364001/413816
48.22/25.31	c cleaning 26995 clauses out of 54014 with flag 392000/441815
49.56/26.17	c  And the winner is solver1
49.62/26.59	c Got one! Elapsed wall clock time (in seconds):26.458
49.62/26.59	o 64
50.22/26.98	c cleaning 22567 clauses out of 45145 with flag 5000/459941
51.20/27.53	c cleaning 14279 clauses out of 28578 with flag 11000/465941
52.20/28.21	c cleaning 10638 clauses out of 21300 with flag 18001/472942
53.14/28.83	c cleaning 9325 clauses out of 18661 with flag 26000/480941
54.08/29.43	c cleaning 9159 clauses out of 18336 with flag 35000/489941
55.02/30.04	c cleaning 9580 clauses out of 19178 with flag 45001/499942
56.22/30.87	c cleaning 10293 clauses out of 20597 with flag 56000/510941
56.74/31.28	c  And the winner is solver1
56.91/31.66	c Got one! Elapsed wall clock time (in seconds):31.519
56.91/31.66	o 62
57.06/31.71	c cleaning 8000 clauses out of 16010 with flag 1002/516647
57.62/32.18	c cleaning 6995 clauses out of 14008 with flag 7000/522645
58.35/32.68	c cleaning 7002 clauses out of 14014 with flag 14001/529646
59.31/33.37	c cleaning 7500 clauses out of 15011 with flag 22000/537645
60.44/34.01	c cleaning 8246 clauses out of 16511 with flag 31000/546645
61.34/34.67	c cleaning 9128 clauses out of 18265 with flag 41000/556645
62.65/35.48	c cleaning 10064 clauses out of 20138 with flag 52001/567646
64.20/36.46	c cleaning 11036 clauses out of 22075 with flag 64002/579647
65.75/37.33	c cleaning 12015 clauses out of 24037 with flag 77000/592645
67.25/38.23	c cleaning 13000 clauses out of 26022 with flag 91000/606645
69.17/39.32	c cleaning 14001 clauses out of 28022 with flag 106000/621645
71.67/40.82	c cleaning 15010 clauses out of 30021 with flag 122000/637645
74.18/42.25	c cleaning 15993 clauses out of 32011 with flag 139000/654645
76.26/43.42	c cleaning 16995 clauses out of 34020 with flag 157002/672647
78.74/44.86	c cleaning 18008 clauses out of 36023 with flag 176000/691645
81.25/46.33	c cleaning 19002 clauses out of 38015 with flag 196000/711645
84.31/48.09	c cleaning 20001 clauses out of 40013 with flag 217000/732645
87.78/49.94	c cleaning 21002 clauses out of 42012 with flag 239000/754645
91.06/51.73	c cleaning 22001 clauses out of 44011 with flag 262001/777646
94.32/53.63	c cleaning 23002 clauses out of 46011 with flag 286002/801647
97.78/55.56	c cleaning 23995 clauses out of 48007 with flag 311000/826645
101.84/57.78	c cleaning 25000 clauses out of 50012 with flag 337000/852645
106.66/60.40	c cleaning 25993 clauses out of 52013 with flag 364001/879646
112.10/63.31	c cleaning 27008 clauses out of 54019 with flag 392000/907645
117.36/66.18	c cleaning 28000 clauses out of 56010 with flag 421000/936645
122.63/68.94	c cleaning 29000 clauses out of 58010 with flag 451000/966645
127.09/71.39	c cleaning 29979 clauses out of 60010 with flag 482001/997646
130.03/73.10	c  And the winner is solver0
129.97/73.60	c Got one! Elapsed wall clock time (in seconds):73.459
129.97/73.60	o 60
130.56/73.95	c cleaning 24813 clauses out of 49636 with flag 5000/1017251
131.78/74.73	c cleaning 15410 clauses out of 30824 with flag 11001/1023252
132.94/75.57	c cleaning 11202 clauses out of 22415 with flag 18002/1030253
134.14/76.34	c cleaning 9596 clauses out of 19212 with flag 26001/1038252
135.62/77.46	c cleaning 9294 clauses out of 18615 with flag 35000/1047251
136.76/78.29	c cleaning 9649 clauses out of 19321 with flag 45000/1057251
138.13/79.12	c cleaning 10333 clauses out of 20674 with flag 56002/1068253
139.27/79.99	c cleaning 11163 clauses out of 22341 with flag 68002/1080253
140.98/81.19	c cleaning 12083 clauses out of 24176 with flag 81000/1093251
142.55/82.19	c cleaning 13040 clauses out of 26093 with flag 95000/1107251
144.32/83.27	c cleaning 14019 clauses out of 28053 with flag 110000/1122251
146.45/84.59	c cleaning 14996 clauses out of 30034 with flag 126000/1138251
149.54/86.40	c cleaning 15998 clauses out of 32038 with flag 143000/1155251
152.11/87.92	c cleaning 16997 clauses out of 34040 with flag 161000/1173251
155.48/89.80	c cleaning 18007 clauses out of 36044 with flag 180001/1192252
158.43/91.59	c cleaning 18996 clauses out of 38039 with flag 200003/1212254
162.54/93.91	c cleaning 20007 clauses out of 40041 with flag 221001/1233252
166.09/95.97	c cleaning 20997 clauses out of 42033 with flag 243000/1255251
170.50/98.31	c cleaning 22000 clauses out of 44038 with flag 266002/1278253
175.40/101.09	c cleaning 23013 clauses out of 46037 with flag 290001/1302252
180.61/104.07	c cleaning 24000 clauses out of 48024 with flag 315001/1327252
185.74/106.83	c cleaning 25008 clauses out of 50023 with flag 341000/1353251
191.25/109.89	c cleaning 26003 clauses out of 52015 with flag 368000/1380251
197.40/113.12	c cleaning 27005 clauses out of 54014 with flag 396002/1408253
202.96/116.35	c cleaning 27989 clauses out of 56007 with flag 425000/1437251
209.27/119.76	c cleaning 28992 clauses out of 58018 with flag 455000/1467251
215.73/123.26	c cleaning 30000 clauses out of 60028 with flag 486002/1498253
222.16/126.71	c cleaning 31005 clauses out of 62029 with flag 518003/1530254
229.44/130.84	c cleaning 32003 clauses out of 64022 with flag 551001/1563252
236.25/134.54	c cleaning 33007 clauses out of 66019 with flag 585001/1597252
244.09/138.71	c cleaning 33993 clauses out of 68010 with flag 620000/1632251
250.11/142.09	c  And the winner is solver0
251.71/143.97	c starts		: 484
251.71/143.97	c conflicts		: 1659623
251.71/143.97	c decisions		: 2066581
251.71/143.97	c propagations		: 81516309
251.71/143.97	c inspects		: 1004341636
251.71/143.97	c shortcuts		: 0
251.71/143.97	c learnt literals	: 7
251.71/143.97	c learnt binary clauses	: 134
251.71/143.97	c learnt ternary clauses	: 1239
251.71/143.97	c learnt constraints	: 1659615
251.71/143.97	c ignored constraints	: 0
251.71/143.97	c root simplifications	: 0
251.71/143.97	c removed literals (reason simplification)	: 7311874
251.71/143.97	c reason swapping (by a shorter reason)	: 0
251.71/143.97	c Calls to reduceDB	: 95
251.71/143.97	c number of reductions to clauses (during analyze)	: 0
251.71/143.97	c number of learned constraints concerned by reduction	: 0
251.71/143.97	c number of learning phase by resolution	: 0
251.71/143.97	c number of learning phase by cutting planes	: 0
251.71/143.97	c speed (assignments/second)	: 725847.5490850807
251.71/143.97	c non guided choices	453
251.71/143.97	c learnt constraints type 
251.71/143.97	c constraints type 
251.71/143.97	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1712
251.71/143.97	c org.sat4j.minisat.constraints.card.MinWatchCard => 24
251.71/143.97	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 432
251.71/143.97	c 2168 constraints processed.
251.71/143.97	c constraints type 
251.71/143.97	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 432
251.71/143.97	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1712
251.71/143.97	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 24
251.71/143.97	c 2168 constraints processed.
251.71/143.97	s OPTIMUM FOUND
251.71/143.97	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 
251.71/143.97	c objective function=60
251.71/143.97	c Total wall clock time (in seconds): 143.832

Verifier Data 

OK	60

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-3687694-1337873741/watcher-3687694-1337873741 -o /tmp/evaluation-result-3687694-1337873741/solver-3687694-1337873741 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3687694-1337873741.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.50 3.58 3.17 4/197 24229
/proc/meminfo: memFree=26941160/32873844 swapFree=7616/7616
[pid=24229] ppid=24227 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/24229/stat : 24229 (java) D 24227 24229 23801 0 -1 4202496 248 0 0 0 0 0 0 0 20 0 1 0 253499694 9515008 183 33554432000 1073741824 1073778376 140734514197488 140734514188520 214369648309 0 0 4096 0 18446744072100588836 0 0 17 0 0 0 0 0 0
/proc/24229/statm: 2323 183 140 9 0 71 0

[startup+0.0677229 s]
/proc/loadavg: 3.50 3.58 3.17 4/197 24229
/proc/meminfo: memFree=26941160/32873844 swapFree=7616/7616
[pid=24229] ppid=24227 vsize=9225560 CPUtime=0.04 cores=0,2,4,6
/proc/24229/stat : 24229 (java) S 24227 24229 23801 0 -1 4202496 3075 0 1 0 3 1 0 0 20 0 13 0 253499694 9446973440 3773 33554432000 1073741824 1073778376 140736651502976 140736651494112 214373007421 0 0 0 16800971 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24229/statm: 2306390 3773 1708 9 0 2297091 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 9225560

[startup+0.100254 s]
/proc/loadavg: 3.50 3.58 3.17 4/197 24229
/proc/meminfo: memFree=26941160/32873844 swapFree=7616/7616
[pid=24229] ppid=24227 vsize=9558412 CPUtime=0.07 cores=0,2,4,6
/proc/24229/stat : 24229 (java) S 24227 24229 23801 0 -1 4202496 3406 0 1 0 6 1 0 0 20 0 18 0 253499694 9787813888 4615 33554432000 1073741824 1073778376 140736651502976 140736651494112 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24229/statm: 2389603 4617 1772 9 0 2380296 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 9558412

[startup+0.30022 s]
/proc/loadavg: 3.50 3.58 3.17 4/197 24229
/proc/meminfo: memFree=26941160/32873844 swapFree=7616/7616
[pid=24229] ppid=24227 vsize=9558412 CPUtime=0.44 cores=0,2,4,6
/proc/24229/stat : 24229 (java) S 24227 24229 23801 0 -1 4202496 5193 0 1 0 42 2 0 0 20 0 18 0 253499694 9787813888 7729 33554432000 1073741824 1073778376 140736651502976 140736651494112 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24229/statm: 2389603 7731 2216 9 0 2380296 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 9558412

[startup+0.70017 s]
/proc/loadavg: 3.50 3.58 3.17 4/197 24229
/proc/meminfo: memFree=26941160/32873844 swapFree=7616/7616
[pid=24229] ppid=24227 vsize=9824668 CPUtime=1.95 cores=0,2,4,6
/proc/24229/stat : 24229 (java) S 24227 24229 23801 0 -1 4202496 16207 0 1 0 190 5 0 0 20 0 22 0 253499694 10060460032 19251 33554432000 1073741824 1073778376 140736651502976 140736651494112 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24229/statm: 2456167 19271 2242 9 0 2446860 0
Current children cumulated CPU time (s) 1.95
Current children cumulated vsize (KiB) 9824668

[startup+1.50084 s]
/proc/loadavg: 3.50 3.58 3.17 7/219 24251
/proc/meminfo: memFree=26849200/32873844 swapFree=7616/7616
[pid=24229] ppid=24227 vsize=9824668 CPUtime=4.63 cores=0,2,4,6
/proc/24229/stat : 24229 (java) S 24227 24229 23801 0 -1 4202496 23375 0 1 0 455 8 0 0 20 0 22 0 253499694 10060460032 37760 33554432000 1073741824 1073778376 140736651502976 140736651494112 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24229/statm: 2456167 37760 2278 9 0 2446860 0
[pid=24229/tid=24231] ppid=24227 vsize=9824668 CPUtime=0.29 cores=0,2,4,6
/proc/24229/task/24231/stat : 24231 (java) S 24227 24229 23801 0 -1 4202560 2459 0 1 0 28 1 0 0 20 0 22 0 253499695 10060460032 37760 33554432000 1073741824 1073778376 140736651502976 140048645456888 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24229/tid=24232] ppid=24227 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24229/task/24232/stat : 24232 (java) S 24227 24229 23801 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253499697 10060460032 37760 33554432000 1073741824 1073778376 140736651502976 140048617908648 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24229/tid=24233] ppid=24227 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24229/task/24233/stat : 24233 (java) S 24227 24229 23801 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 253499697 10060460032 37760 33554432000 1073741824 1073778376 140736651502976 140048487459368 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24229/tid=24234] ppid=24227 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24229/task/24234/stat : 24234 (java) S 24227 24229 23801 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 253499697 10060460032 37760 33554432000 1073741824 1073778376 140736651502976 140048486406312 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24229/tid=24235] ppid=24227 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24229/task/24235/stat : 24235 (java) S 24227 24229 23801 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 253499697 10060460032 37760 33554432000 1073741824 1073778376 140736651502976 140048485353768 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24229/tid=24236] ppid=24227 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24229/task/24236/stat : 24236 (java) S 24227 24229 23801 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 253499697 10060460032 37760 33554432000 1073741824 1073778376 140736651502976 140048484301736 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24229/tid=24237] ppid=24227 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24229/task/24237/stat : 24237 (java) S 24227 24229 23801 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253499697 10060460032 37760 33554432000 1073741824 1073778376 140736651502976 140048483249192 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24229/tid=24238] ppid=24227 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24229/task/24238/stat : 24238 (java) S 24227 24229 23801 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 253499697 10060460032 37760 33554432000 1073741824 1073778376 140736651502976 140048146098856 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24229/tid=24239] ppid=24227 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24229/task/24239/stat : 24239 (java) S 24227 24229 23801 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 253499697 10060460032 37760 33554432000 1073741824 1073778376 140736651502976 140048145046312 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24229/tid=24240] ppid=24227 vsize=9824668 CPUtime=0.09 cores=0,2,4,6
/proc/24229/task/24240/stat : 24240 (java) R 24227 24229 23801 0 -1 4202560 34 0 0 0 9 0 0 0 20 0 22 0 253499698 10060460032 37760 33554432000 1073741824 1073778376 140736651502976 140048132846952 214369321323 0 0 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=24229/tid=24241] ppid=24227 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24229/task/24241/stat : 24241 (java) S 24227 24229 23801 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253499698 10060460032 37760 33554432000 1073741824 1073778376 140736651502976 140048131794296 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24229/tid=24242] ppid=24227 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24229/task/24242/stat : 24242 (java) S 24227 24229 23801 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253499698 10060460032 37760 33554432000 1073741824 1073778376 140736651502976 140048130741128 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24229/tid=24243] ppid=24227 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24229/task/24243/stat : 24243 (java) S 24227 24229 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253499702 10060460032 37760 33554432000 1073741824 1073778376 140736651502976 140048129689872 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24229/tid=24244] ppid=24227 vsize=9824668 CPUtime=1.04 cores=0,2,4,6
/proc/24229/task/24244/stat : 24244 (java) S 24227 24229 23801 0 -1 4202560 9506 0 0 0 102 2 0 0 20 0 22 0 253499702 10060460032 37760 33554432000 1073741824 1073778376 140736651502976 140048128613928 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24229/tid=24245] ppid=24227 vsize=9824668 CPUtime=1.01 cores=0,2,4,6
/proc/24229/task/24245/stat : 24245 (java) S 24227 24229 23801 0 -1 4202560 9998 0 0 0 99 2 0 0 20 0 22 0 253499702 10060460032 37760 33554432000 1073741824 1073778376 140736651502976 140048127577176 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24229/tid=24246] ppid=24227 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24229/task/24246/stat : 24246 (java) S 24227 24229 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253499702 10060460032 37760 33554432000 1073741824 1073778376 140736651502976 140048126532344 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24229/tid=24247] ppid=24227 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24229/task/24247/stat : 24247 (java) S 24227 24229 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253499702 10060460032 37760 33554432000 1073741824 1073778376 140736651502976 140048125480008 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24229/tid=24248] ppid=24227 vsize=9824668 CPUtime=1.02 cores=0,2,4,6
/proc/24229/task/24248/stat : 24248 (java) S 24227 24229 23801 0 -1 4202560 28 0 0 0 102 0 0 0 20 0 22 0 253499728 10060460032 37760 33554432000 1073741824 1073778376 140736651502976 140048124424312 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24229/tid=24249] ppid=24227 vsize=9824668 CPUtime=1.02 cores=0,2,4,6
/proc/24229/task/24249/stat : 24249 (java) S 24227 24229 23801 0 -1 4202560 102 0 0 0 101 1 0 0 20 0 22 0 253499728 10060460032 37760 33554432000 1073741824 1073778376 140736651502976 140048123369864 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24229/tid=24250] ppid=24227 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24229/task/24250/stat : 24250 (java) S 24227 24229 23801 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253499729 10060460032 37760 33554432000 1073741824 1073778376 140736651502976 140048122319656 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24229/tid=24251] ppid=24227 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24229/task/24251/stat : 24251 (java) S 24227 24229 23801 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253499729 10060460032 37760 33554432000 1073741824 1073778376 140736651502976 140048121267112 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 4.63
Current children cumulated vsize (KiB) 9824668

[startup+3.10079 s]
/proc/loadavg: 3.50 3.58 3.17 5/219 24251
/proc/meminfo: memFree=26780504/32873844 swapFree=7616/7616
[pid=24229] ppid=24227 vsize=9824668 CPUtime=6.91 cores=0,2,4,6
/proc/24229/stat : 24229 (java) S 24227 24229 23801 0 -1 4202496 23424 0 1 0 680 11 0 0 20 0 22 0 253499694 10060460032 51586 33554432000 1073741824 1073778376 140736651502976 140736651494112 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24229/statm: 2456167 51586 2279 9 0 2446860 0
[pid=24229/tid=24231] ppid=24227 vsize=9824668 CPUtime=0.3 cores=0,2,4,6
/proc/24229/task/24231/stat : 24231 (java) S 24227 24229 23801 0 -1 4202560 2459 0 1 0 28 2 0 0 20 0 22 0 253499695 10060460032 51586 33554432000 1073741824 1073778376 140736651502976 140048645456888 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24229/tid=24232] ppid=24227 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/24229/task/24232/stat : 24232 (java) S 24227 24229 23801 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 22 0 253499697 10060460032 51586 33554432000 1073741824 1073778376 140736651502976 140048617908648 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24229/tid=24233] ppid=24227 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/24229/task/24233/stat : 24233 (java) S 24227 24229 23801 0 -1 4202560 5 0 0 0 1 0 0 0 20 0 22 0 253499697 10060460032 51586 33554432000 1073741824 1073778376 140736651502976 140048487459368 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24229/tid=24234] ppid=24227 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24229/task/24234/stat : 24234 (java) S 24227 24229 23801 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 253499697 10060460032 51586 33554432000 1073741824 1073778376 140736651502976 140048486406312 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24229/tid=24235] ppid=24227 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24229/task/24235/stat : 24235 (java) S 24227 24229 23801 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 253499697 10060460032 51586 33554432000 1073741824 1073778376 140736651502976 140048485353768 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24229/tid=24236] ppid=24227 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24229/task/24236/stat : 24236 (java) S 24227 24229 23801 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 253499697 10060460032 51586 33554432000 1073741824 1073778376 140736651502976 140048484301736 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24229/tid=24237] ppid=24227 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24229/task/24237/stat : 24237 (java) S 24227 24229 23801 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253499697 10060460032 51586 33554432000 1073741824 1073778376 140736651502976 140048483249192 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24229/tid=24238] ppid=24227 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/24229/task/24238/stat : 24238 (java) S 24227 24229 23801 0 -1 4202560 6 0 0 0 1 0 0 0 20 0 22 0 253499697 10060460032 51586 33554432000 1073741824 1073778376 140736651502976 140048146098856 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24229/tid=24239] ppid=24227 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/24229/task/24239/stat : 24239 (java) S 24227 24229 23801 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 22 0 253499697 10060460032 51586 33554432000 1073741824 1073778376 140736651502976 140048145046312 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24229/tid=24240] ppid=24227 vsize=9824668 CPUtime=0.24 cores=0,2,4,6
/proc/24229/task/24240/stat : 24240 (java) S 24227 24229 23801 0 -1 4202560 41 0 0 0 24 0 0 0 20 0 22 0 253499698 10060460032 51586 33554432000 1073741824 1073778376 140736651502976 140048132847976 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24229/tid=24241] ppid=24227 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24229/task/24241/stat : 24241 (java) S 24227 24229 23801 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253499698 10060460032 51586 33554432000 1073741824 1073778376 140736651502976 140048131794296 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24229/tid=24242] ppid=24227 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24229/task/24242/stat : 24242 (java) S 24227 24229 23801 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253499698 10060460032 51586 33554432000 1073741824 1073778376 140736651502976 140048130741128 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24229/tid=24243] ppid=24227 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24229/task/24243/stat : 24243 (java) S 24227 24229 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253499702 10060460032 51586 33554432000 1073741824 1073778376 140736651502976 140048129689872 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24229/tid=24244] ppid=24227 vsize=9824668 CPUtime=1.16 cores=0,2,4,6
/proc/24229/task/24244/stat : 24244 (java) S 24227 24229 23801 0 -1 4202560 9506 0 0 0 114 2 0 0 20 0 22 0 253499702 10060460032 51586 33554432000 1073741824 1073778376 140736651502976 140048128637752 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24229/tid=24245] ppid=24227 vsize=9824668 CPUtime=1.03 cores=0,2,4,6
/proc/24229/task/24245/stat : 24245 (java) S 24227 24229 23801 0 -1 4202560 9998 0 0 0 101 2 0 0 20 0 22 0 253499702 10060460032 51586 33554432000 1073741824 1073778376 140736651502976 140048127585208 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24229/tid=24246] ppid=24227 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24229/task/24246/stat : 24246 (java) S 24227 24229 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253499702 10060460032 51586 33554432000 1073741824 1073778376 140736651502976 140048126532344 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24229/tid=24247] ppid=24227 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24229/task/24247/stat : 24247 (java) S 24227 24229 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253499702 10060460032 51586 33554432000 1073741824 1073778376 140736651502976 140048125480008 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24229/tid=24250] ppid=24227 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24229/task/24250/stat : 24250 (java) S 24227 24229 23801 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253499729 10060460032 51586 33554432000 1073741824 1073778376 140736651502976 140048122319656 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.91
Current children cumulated vsize (KiB) 9824668

[startup+6.30084 s]
/proc/loadavg: 3.54 3.58 3.17 3/219 24254
/proc/meminfo: memFree=26704664/32873844 swapFree=7616/7616
[pid=24229] ppid=24227 vsize=9824668 CPUtime=12.73 cores=0,2,4,6
/proc/24229/stat : 24229 (java) S 24227 24229 23801 0 -1 4202496 23539 0 1 0 1261 12 0 0 20 0 22 0 253499694 10060460032 66896 33554432000 1073741824 1073778376 140736651502976 140736651494112 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24229/statm: 2456167 66896 2279 9 0 2446860 0
[pid=24229/tid=24231] ppid=24227 vsize=9824668 CPUtime=0.3 cores=0,2,4,6
/proc/24229/task/24231/stat : 24231 (java) S 24227 24229 23801 0 -1 4202560 2462 0 1 0 28 2 0 0 20 0 22 0 253499695 10060460032 66896 33554432000 1073741824 1073778376 140736651502976 140048645456888 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24229/tid=24232] ppid=24227 vsize=9824668 CPUtime=0.04 cores=0,2,4,6
/proc/24229/task/24232/stat : 24232 (java) S 24227 24229 23801 0 -1 4202560 15 0 0 0 4 0 0 0 20 0 22 0 253499697 10060460032 66896 33554432000 1073741824 1073778376 140736651502976 140048617908648 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24229/tid=24233] ppid=24227 vsize=9824668 CPUtime=0.03 cores=0,2,4,6
/proc/24229/task/24233/stat : 24233 (java) S 24227 24229 23801 0 -1 4202560 6 0 0 0 3 0 0 0 20 0 22 0 253499697 10060460032 66896 33554432000 1073741824 1073778376 140736651502976 140048487459368 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24229/tid=24234] ppid=24227 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/24229/task/24234/stat : 24234 (java) S 24227 24229 23801 0 -1 4202560 8 0 0 0 2 0 0 0 20 0 22 0 253499697 10060460032 66896 33554432000 1073741824 1073778376 140736651502976 140048486406312 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24229/tid=24235] ppid=24227 vsize=9824668 CPUtime=0.03 cores=0,2,4,6
/proc/24229/task/24235/stat : 24235 (java) S 24227 24229 23801 0 -1 4202560 12 0 0 0 3 0 0 0 20 0 22 0 253499697 10060460032 66896 33554432000 1073741824 1073778376 140736651502976 140048485353768 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24229/tid=24236] ppid=24227 vsize=9824668 CPUtime=0.04 cores=0,2,4,6
/proc/24229/task/24236/stat : 24236 (java) S 24227 24229 23801 0 -1 4202560 14 0 0 0 4 0 0 0 20 0 22 0 253499697 10060460032 66896 33554432000 1073741824 1073778376 140736651502976 140048484301736 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24229/tid=24237] ppid=24227 vsize=9824668 CPUtime=0.03 cores=0,2,4,6
/proc/24229/task/24237/stat : 24237 (java) S 24227 24229 23801 0 -1 4202560 11 0 0 0 3 0 0 0 20 0 22 0 253499697 10060460032 66896 33554432000 1073741824 1073778376 140736651502976 140048483249192 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24229/tid=24238] ppid=24227 vsize=9824668 CPUtime=0.03 cores=0,2,4,6
/proc/24229/task/24238/stat : 24238 (java) S 24227 24229 23801 0 -1 4202560 6 0 0 0 3 0 0 0 20 0 22 0 253499697 10060460032 66896 33554432000 1073741824 1073778376 140736651502976 140048146098856 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24229/tid=24239] ppid=24227 vsize=9824668 CPUtime=0.05 cores=0,2,4,6
/proc/24229/task/24239/stat : 24239 (java) S 24227 24229 23801 0 -1 4202560 9 0 0 0 5 0 0 0 20 0 22 0 253499697 10060460032 66896 33554432000 1073741824 1073778376 140736651502976 140048145046312 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24229/tid=24240] ppid=24227 vsize=9824668 CPUtime=0.97 cores=0,2,4,6
/proc/24229/task/24240/stat : 24240 (java) S 24227 24229 23801 0 -1 4202560 129 0 0 0 97 0 0 0 20 0 22 0 253499698 10060460032 66896 33554432000 1073741824 1073778376 140736651502976 140048132847976 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24229/tid=24241] ppid=24227 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24229/task/24241/stat : 24241 (java) S 24227 24229 23801 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253499698 10060460032 66896 33554432000 1073741824 1073778376 140736651502976 140048131794296 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24229/tid=24242] ppid=24227 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24229/task/24242/stat : 24242 (java) S 24227 24229 23801 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253499698 10060460032 66896 33554432000 1073741824 1073778376 140736651502976 140048130741128 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24229/tid=24243] ppid=24227 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24229/task/24243/stat : 24243 (java) S 24227 24229 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253499702 10060460032 66896 33554432000 1073741824 1073778376 140736651502976 140048129689872 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24229/tid=24244] ppid=24227 vsize=9824668 CPUtime=1.21 cores=0,2,4,6
/proc/24229/task/24244/stat : 24244 (java) S 24227 24229 23801 0 -1 4202560 9506 0 0 0 119 2 0 0 20 0 22 0 253499702 10060460032 66896 33554432000 1073741824 1073778376 140736651502976 140048128637752 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24229/tid=24245] ppid=24227 vsize=9824668 CPUtime=1.03 cores=0,2,4,6
/proc/24229/task/24245/stat : 24245 (java) S 24227 24229 23801 0 -1 4202560 9998 0 0 0 101 2 0 0 20 0 22 0 253499702 10060460032 66896 33554432000 1073741824 1073778376 140736651502976 140048127585208 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24229/tid=24246] ppid=24227 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24229/task/24246/stat : 24246 (java) S 24227 24229 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253499702 10060460032 66896 33554432000 1073741824 1073778376 140736651502976 140048126532344 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24229/tid=24247] ppid=24227 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24229/task/24247/stat : 24247 (java) S 24227 24229 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253499702 10060460032 66896 33554432000 1073741824 1073778376 140736651502976 140048125480008 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0

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

[pid=24229/tid=24237] ppid=24227 vsize=9824668 CPUtime=0.71 cores=0,2,4,6
/proc/24229/task/24237/stat : 24237 (java) S 24227 24229 23801 0 -1 4202560 78 0 0 0 69 2 0 0 20 0 19 0 253499697 10060460032 305296 33554432000 1073741824 1073778376 140736651502976 140048483249192 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24229/tid=24238] ppid=24227 vsize=9824668 CPUtime=0.73 cores=0,2,4,6
/proc/24229/task/24238/stat : 24238 (java) S 24227 24229 23801 0 -1 4202560 185 0 0 0 71 2 0 0 20 0 19 0 253499697 10060460032 305296 33554432000 1073741824 1073778376 140736651502976 140048146098856 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24229/tid=24239] ppid=24227 vsize=9824668 CPUtime=0.72 cores=0,2,4,6
/proc/24229/task/24239/stat : 24239 (java) S 24227 24229 23801 0 -1 4202560 96 0 0 0 69 3 0 0 20 0 19 0 253499697 10060460032 305296 33554432000 1073741824 1073778376 140736651502976 140048145046312 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24229/tid=24240] ppid=24227 vsize=9824668 CPUtime=34.45 cores=0,2,4,6
/proc/24229/task/24240/stat : 24240 (java) S 24227 24229 23801 0 -1 4202560 7465 0 0 0 3436 9 0 0 20 0 19 0 253499698 10060460032 305296 33554432000 1073741824 1073778376 140736651502976 140048132847976 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24229/tid=24241] ppid=24227 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24229/task/24241/stat : 24241 (java) S 24227 24229 23801 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253499698 10060460032 305296 33554432000 1073741824 1073778376 140736651502976 140048131794296 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24229/tid=24242] ppid=24227 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24229/task/24242/stat : 24242 (java) S 24227 24229 23801 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 253499698 10060460032 305296 33554432000 1073741824 1073778376 140736651502976 140048130741128 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24229/tid=24243] ppid=24227 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24229/task/24243/stat : 24243 (java) S 24227 24229 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253499702 10060460032 305296 33554432000 1073741824 1073778376 140736651502976 140048129689872 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24229/tid=24244] ppid=24227 vsize=9824668 CPUtime=1.28 cores=0,2,4,6
/proc/24229/task/24244/stat : 24244 (java) S 24227 24229 23801 0 -1 4202560 9506 0 0 0 126 2 0 0 20 0 19 0 253499702 10060460032 305296 33554432000 1073741824 1073778376 140736651502976 140048128637752 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24229/tid=24245] ppid=24227 vsize=9824668 CPUtime=1.13 cores=0,2,4,6
/proc/24229/task/24245/stat : 24245 (java) S 24227 24229 23801 0 -1 4202560 10005 0 0 0 111 2 0 0 20 0 19 0 253499702 10060460032 305296 33554432000 1073741824 1073778376 140736651502976 140048127585208 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24229/tid=24246] ppid=24227 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24229/task/24246/stat : 24246 (java) S 24227 24229 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253499702 10060460032 305296 33554432000 1073741824 1073778376 140736651502976 140048126532344 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24229/tid=24247] ppid=24227 vsize=9824668 CPUtime=0.04 cores=0,2,4,6
/proc/24229/task/24247/stat : 24247 (java) S 24227 24229 23801 0 -1 4202560 9 0 0 0 2 2 0 0 20 0 19 0 253499702 10060460032 305296 33554432000 1073741824 1073778376 140736651502976 140048125480008 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24229/tid=24260] ppid=24227 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24229/task/24260/stat : 24260 (java) S 24227 24229 23801 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253502861 10060460032 305296 33554432000 1073741824 1073778376 140736651502976 140048123373096 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 250.15
Current children cumulated vsize (KiB) 9824668

[startup+143.101 s]
/proc/loadavg: 3.64 3.61 3.23 4/216 24263
/proc/meminfo: memFree=25191260/32873844 swapFree=7616/7616
[pid=24229] ppid=24227 vsize=9824668 CPUtime=250.91 cores=0,2,4,6
/proc/24229/stat : 24229 (java) S 24227 24229 23801 0 -1 4202496 33061 0 1 0 25035 56 0 0 20 0 19 0 253499694 10060460032 305296 33554432000 1073741824 1073778376 140736651502976 140736651494112 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24229/statm: 2456167 305296 2280 9 0 2446860 0
[pid=24229/tid=24231] ppid=24227 vsize=9824668 CPUtime=1.06 cores=0,2,4,6
/proc/24229/task/24231/stat : 24231 (java) R 24227 24229 23801 0 -1 4202560 2510 0 1 0 104 2 0 0 20 0 19 0 253499695 10060460032 305296 33554432000 1073741824 1073778376 140736651502976 140048645456552 140048498694070 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24229/tid=24232] ppid=24227 vsize=9824668 CPUtime=0.71 cores=0,2,4,6
/proc/24229/task/24232/stat : 24232 (java) S 24227 24229 23801 0 -1 4202560 201 0 0 0 68 3 0 0 20 0 19 0 253499697 10060460032 305296 33554432000 1073741824 1073778376 140736651502976 140048617908648 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24229/tid=24233] ppid=24227 vsize=9824668 CPUtime=0.65 cores=0,2,4,6
/proc/24229/task/24233/stat : 24233 (java) S 24227 24229 23801 0 -1 4202560 80 0 0 0 64 1 0 0 20 0 19 0 253499697 10060460032 305296 33554432000 1073741824 1073778376 140736651502976 140048487459368 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24229/tid=24234] ppid=24227 vsize=9824668 CPUtime=0.7 cores=0,2,4,6
/proc/24229/task/24234/stat : 24234 (java) S 24227 24229 23801 0 -1 4202560 134 0 0 0 69 1 0 0 20 0 19 0 253499697 10060460032 305296 33554432000 1073741824 1073778376 140736651502976 140048486406312 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24229/tid=24235] ppid=24227 vsize=9824668 CPUtime=0.77 cores=0,2,4,6
/proc/24229/task/24235/stat : 24235 (java) S 24227 24229 23801 0 -1 4202560 107 0 0 0 75 2 0 0 20 0 19 0 253499697 10060460032 305296 33554432000 1073741824 1073778376 140736651502976 140048485353768 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24229/tid=24236] ppid=24227 vsize=9824668 CPUtime=0.7 cores=0,2,4,6
/proc/24229/task/24236/stat : 24236 (java) S 24227 24229 23801 0 -1 4202560 96 0 0 0 68 2 0 0 20 0 19 0 253499697 10060460032 305296 33554432000 1073741824 1073778376 140736651502976 140048484301736 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24229/tid=24237] ppid=24227 vsize=9824668 CPUtime=0.71 cores=0,2,4,6
/proc/24229/task/24237/stat : 24237 (java) S 24227 24229 23801 0 -1 4202560 78 0 0 0 69 2 0 0 20 0 19 0 253499697 10060460032 305296 33554432000 1073741824 1073778376 140736651502976 140048483249192 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24229/tid=24238] ppid=24227 vsize=9824668 CPUtime=0.73 cores=0,2,4,6
/proc/24229/task/24238/stat : 24238 (java) S 24227 24229 23801 0 -1 4202560 185 0 0 0 71 2 0 0 20 0 19 0 253499697 10060460032 305296 33554432000 1073741824 1073778376 140736651502976 140048146098856 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24229/tid=24239] ppid=24227 vsize=9824668 CPUtime=0.72 cores=0,2,4,6
/proc/24229/task/24239/stat : 24239 (java) S 24227 24229 23801 0 -1 4202560 96 0 0 0 69 3 0 0 20 0 19 0 253499697 10060460032 305296 33554432000 1073741824 1073778376 140736651502976 140048145046312 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24229/tid=24240] ppid=24227 vsize=9824668 CPUtime=34.45 cores=0,2,4,6
/proc/24229/task/24240/stat : 24240 (java) S 24227 24229 23801 0 -1 4202560 7465 0 0 0 3436 9 0 0 20 0 19 0 253499698 10060460032 305296 33554432000 1073741824 1073778376 140736651502976 140048132847976 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24229/tid=24241] ppid=24227 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24229/task/24241/stat : 24241 (java) S 24227 24229 23801 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253499698 10060460032 305296 33554432000 1073741824 1073778376 140736651502976 140048131794296 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24229/tid=24242] ppid=24227 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24229/task/24242/stat : 24242 (java) S 24227 24229 23801 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 253499698 10060460032 305296 33554432000 1073741824 1073778376 140736651502976 140048130741128 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24229/tid=24243] ppid=24227 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24229/task/24243/stat : 24243 (java) S 24227 24229 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253499702 10060460032 305296 33554432000 1073741824 1073778376 140736651502976 140048129689872 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24229/tid=24244] ppid=24227 vsize=9824668 CPUtime=1.28 cores=0,2,4,6
/proc/24229/task/24244/stat : 24244 (java) S 24227 24229 23801 0 -1 4202560 9506 0 0 0 126 2 0 0 20 0 19 0 253499702 10060460032 305296 33554432000 1073741824 1073778376 140736651502976 140048128637752 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24229/tid=24245] ppid=24227 vsize=9824668 CPUtime=1.14 cores=0,2,4,6
/proc/24229/task/24245/stat : 24245 (java) S 24227 24229 23801 0 -1 4202560 10005 0 0 0 112 2 0 0 20 0 19 0 253499702 10060460032 305296 33554432000 1073741824 1073778376 140736651502976 140048127585208 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24229/tid=24246] ppid=24227 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24229/task/24246/stat : 24246 (java) S 24227 24229 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253499702 10060460032 305296 33554432000 1073741824 1073778376 140736651502976 140048126532344 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24229/tid=24247] ppid=24227 vsize=9824668 CPUtime=0.04 cores=0,2,4,6
/proc/24229/task/24247/stat : 24247 (java) S 24227 24229 23801 0 -1 4202560 9 0 0 0 2 2 0 0 20 0 19 0 253499702 10060460032 305296 33554432000 1073741824 1073778376 140736651502976 140048125480008 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24229/tid=24260] ppid=24227 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24229/task/24260/stat : 24260 (java) S 24227 24229 23801 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253502861 10060460032 305296 33554432000 1073741824 1073778376 140736651502976 140048123373096 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 250.91
Current children cumulated vsize (KiB) 9824668

[startup+143.501 s]
/proc/loadavg: 3.64 3.61 3.23 4/216 24263
/proc/meminfo: memFree=25191260/32873844 swapFree=7616/7616
[pid=24229] ppid=24227 vsize=9824668 CPUtime=251.31 cores=0,2,4,6
/proc/24229/stat : 24229 (java) S 24227 24229 23801 0 -1 4202496 33061 0 1 0 25075 56 0 0 20 0 19 0 253499694 10060460032 305296 33554432000 1073741824 1073778376 140736651502976 140736651494112 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24229/statm: 2456167 305296 2280 9 0 2446860 0
[pid=24229/tid=24231] ppid=24227 vsize=9824668 CPUtime=1.46 cores=0,2,4,6
/proc/24229/task/24231/stat : 24231 (java) R 24227 24229 23801 0 -1 4202560 2510 0 1 0 144 2 0 0 20 0 19 0 253499695 10060460032 305296 33554432000 1073741824 1073778376 140736651502976 140048645456552 140048498694070 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=24229/tid=24232] ppid=24227 vsize=9824668 CPUtime=0.71 cores=0,2,4,6
/proc/24229/task/24232/stat : 24232 (java) S 24227 24229 23801 0 -1 4202560 201 0 0 0 68 3 0 0 20 0 19 0 253499697 10060460032 305296 33554432000 1073741824 1073778376 140736651502976 140048617908648 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24229/tid=24233] ppid=24227 vsize=9824668 CPUtime=0.65 cores=0,2,4,6
/proc/24229/task/24233/stat : 24233 (java) S 24227 24229 23801 0 -1 4202560 80 0 0 0 64 1 0 0 20 0 19 0 253499697 10060460032 305296 33554432000 1073741824 1073778376 140736651502976 140048487459368 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24229/tid=24234] ppid=24227 vsize=9824668 CPUtime=0.7 cores=0,2,4,6
/proc/24229/task/24234/stat : 24234 (java) S 24227 24229 23801 0 -1 4202560 134 0 0 0 69 1 0 0 20 0 19 0 253499697 10060460032 305296 33554432000 1073741824 1073778376 140736651502976 140048486406312 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24229/tid=24235] ppid=24227 vsize=9824668 CPUtime=0.77 cores=0,2,4,6
/proc/24229/task/24235/stat : 24235 (java) S 24227 24229 23801 0 -1 4202560 107 0 0 0 75 2 0 0 20 0 19 0 253499697 10060460032 305296 33554432000 1073741824 1073778376 140736651502976 140048485353768 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24229/tid=24236] ppid=24227 vsize=9824668 CPUtime=0.7 cores=0,2,4,6
/proc/24229/task/24236/stat : 24236 (java) S 24227 24229 23801 0 -1 4202560 96 0 0 0 68 2 0 0 20 0 19 0 253499697 10060460032 305296 33554432000 1073741824 1073778376 140736651502976 140048484301736 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24229/tid=24237] ppid=24227 vsize=9824668 CPUtime=0.71 cores=0,2,4,6
/proc/24229/task/24237/stat : 24237 (java) S 24227 24229 23801 0 -1 4202560 78 0 0 0 69 2 0 0 20 0 19 0 253499697 10060460032 305296 33554432000 1073741824 1073778376 140736651502976 140048483249192 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24229/tid=24238] ppid=24227 vsize=9824668 CPUtime=0.73 cores=0,2,4,6
/proc/24229/task/24238/stat : 24238 (java) S 24227 24229 23801 0 -1 4202560 185 0 0 0 71 2 0 0 20 0 19 0 253499697 10060460032 305296 33554432000 1073741824 1073778376 140736651502976 140048146098856 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24229/tid=24239] ppid=24227 vsize=9824668 CPUtime=0.72 cores=0,2,4,6
/proc/24229/task/24239/stat : 24239 (java) S 24227 24229 23801 0 -1 4202560 96 0 0 0 69 3 0 0 20 0 19 0 253499697 10060460032 305296 33554432000 1073741824 1073778376 140736651502976 140048145046312 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24229/tid=24240] ppid=24227 vsize=9824668 CPUtime=34.45 cores=0,2,4,6
/proc/24229/task/24240/stat : 24240 (java) S 24227 24229 23801 0 -1 4202560 7465 0 0 0 3436 9 0 0 20 0 19 0 253499698 10060460032 305296 33554432000 1073741824 1073778376 140736651502976 140048132847976 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24229/tid=24241] ppid=24227 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24229/task/24241/stat : 24241 (java) S 24227 24229 23801 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253499698 10060460032 305296 33554432000 1073741824 1073778376 140736651502976 140048131794296 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24229/tid=24242] ppid=24227 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24229/task/24242/stat : 24242 (java) S 24227 24229 23801 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 253499698 10060460032 305296 33554432000 1073741824 1073778376 140736651502976 140048130741128 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24229/tid=24243] ppid=24227 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24229/task/24243/stat : 24243 (java) S 24227 24229 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253499702 10060460032 305296 33554432000 1073741824 1073778376 140736651502976 140048129689872 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24229/tid=24244] ppid=24227 vsize=9824668 CPUtime=1.28 cores=0,2,4,6
/proc/24229/task/24244/stat : 24244 (java) S 24227 24229 23801 0 -1 4202560 9506 0 0 0 126 2 0 0 20 0 19 0 253499702 10060460032 305296 33554432000 1073741824 1073778376 140736651502976 140048128637752 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24229/tid=24245] ppid=24227 vsize=9824668 CPUtime=1.14 cores=0,2,4,6
/proc/24229/task/24245/stat : 24245 (java) S 24227 24229 23801 0 -1 4202560 10005 0 0 0 112 2 0 0 20 0 19 0 253499702 10060460032 305296 33554432000 1073741824 1073778376 140736651502976 140048127585208 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24229/tid=24246] ppid=24227 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24229/task/24246/stat : 24246 (java) S 24227 24229 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253499702 10060460032 305296 33554432000 1073741824 1073778376 140736651502976 140048126532344 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24229/tid=24247] ppid=24227 vsize=9824668 CPUtime=0.04 cores=0,2,4,6
/proc/24229/task/24247/stat : 24247 (java) S 24227 24229 23801 0 -1 4202560 9 0 0 0 2 2 0 0 20 0 19 0 253499702 10060460032 305296 33554432000 1073741824 1073778376 140736651502976 140048125480008 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24229/tid=24260] ppid=24227 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24229/task/24260/stat : 24260 (java) S 24227 24229 23801 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253502861 10060460032 305296 33554432000 1073741824 1073778376 140736651502976 140048123373096 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 251.31
Current children cumulated vsize (KiB) 9824668

[startup+143.901 s]
/proc/loadavg: 3.64 3.61 3.23 4/216 24263
/proc/meminfo: memFree=25191260/32873844 swapFree=7616/7616
[pid=24229] ppid=24227 vsize=9824668 CPUtime=251.71 cores=0,2,4,6
/proc/24229/stat : 24229 (java) S 24227 24229 23801 0 -1 4202496 33061 0 1 0 25115 56 0 0 20 0 19 0 253499694 10060460032 305296 33554432000 1073741824 1073778376 140736651502976 140736651494112 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24229/statm: 2456167 305296 2280 9 0 2446860 0
[pid=24229/tid=24231] ppid=24227 vsize=9824668 CPUtime=1.86 cores=0,2,4,6
/proc/24229/task/24231/stat : 24231 (java) R 24227 24229 23801 0 -1 4202560 2510 0 1 0 184 2 0 0 20 0 19 0 253499695 10060460032 305296 33554432000 1073741824 1073778376 140736651502976 140048645456664 140048498694064 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=24229/tid=24232] ppid=24227 vsize=9824668 CPUtime=0.71 cores=0,2,4,6
/proc/24229/task/24232/stat : 24232 (java) S 24227 24229 23801 0 -1 4202560 201 0 0 0 68 3 0 0 20 0 19 0 253499697 10060460032 305296 33554432000 1073741824 1073778376 140736651502976 140048617908648 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24229/tid=24233] ppid=24227 vsize=9824668 CPUtime=0.65 cores=0,2,4,6
/proc/24229/task/24233/stat : 24233 (java) S 24227 24229 23801 0 -1 4202560 80 0 0 0 64 1 0 0 20 0 19 0 253499697 10060460032 305296 33554432000 1073741824 1073778376 140736651502976 140048487459368 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24229/tid=24234] ppid=24227 vsize=9824668 CPUtime=0.7 cores=0,2,4,6
/proc/24229/task/24234/stat : 24234 (java) S 24227 24229 23801 0 -1 4202560 134 0 0 0 69 1 0 0 20 0 19 0 253499697 10060460032 305296 33554432000 1073741824 1073778376 140736651502976 140048486406312 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24229/tid=24235] ppid=24227 vsize=9824668 CPUtime=0.77 cores=0,2,4,6
/proc/24229/task/24235/stat : 24235 (java) S 24227 24229 23801 0 -1 4202560 107 0 0 0 75 2 0 0 20 0 19 0 253499697 10060460032 305296 33554432000 1073741824 1073778376 140736651502976 140048485353768 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24229/tid=24236] ppid=24227 vsize=9824668 CPUtime=0.7 cores=0,2,4,6
/proc/24229/task/24236/stat : 24236 (java) S 24227 24229 23801 0 -1 4202560 96 0 0 0 68 2 0 0 20 0 19 0 253499697 10060460032 305296 33554432000 1073741824 1073778376 140736651502976 140048484301736 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24229/tid=24237] ppid=24227 vsize=9824668 CPUtime=0.71 cores=0,2,4,6
/proc/24229/task/24237/stat : 24237 (java) S 24227 24229 23801 0 -1 4202560 78 0 0 0 69 2 0 0 20 0 19 0 253499697 10060460032 305296 33554432000 1073741824 1073778376 140736651502976 140048483249192 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24229/tid=24238] ppid=24227 vsize=9824668 CPUtime=0.73 cores=0,2,4,6
/proc/24229/task/24238/stat : 24238 (java) S 24227 24229 23801 0 -1 4202560 185 0 0 0 71 2 0 0 20 0 19 0 253499697 10060460032 305296 33554432000 1073741824 1073778376 140736651502976 140048146098856 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24229/tid=24239] ppid=24227 vsize=9824668 CPUtime=0.72 cores=0,2,4,6
/proc/24229/task/24239/stat : 24239 (java) S 24227 24229 23801 0 -1 4202560 96 0 0 0 69 3 0 0 20 0 19 0 253499697 10060460032 305296 33554432000 1073741824 1073778376 140736651502976 140048145046312 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24229/tid=24240] ppid=24227 vsize=9824668 CPUtime=34.45 cores=0,2,4,6
/proc/24229/task/24240/stat : 24240 (java) S 24227 24229 23801 0 -1 4202560 7465 0 0 0 3436 9 0 0 20 0 19 0 253499698 10060460032 305296 33554432000 1073741824 1073778376 140736651502976 140048132847976 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24229/tid=24241] ppid=24227 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24229/task/24241/stat : 24241 (java) S 24227 24229 23801 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253499698 10060460032 305296 33554432000 1073741824 1073778376 140736651502976 140048131794296 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24229/tid=24242] ppid=24227 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24229/task/24242/stat : 24242 (java) S 24227 24229 23801 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 253499698 10060460032 305296 33554432000 1073741824 1073778376 140736651502976 140048130741128 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24229/tid=24243] ppid=24227 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24229/task/24243/stat : 24243 (java) S 24227 24229 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253499702 10060460032 305296 33554432000 1073741824 1073778376 140736651502976 140048129689872 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24229/tid=24244] ppid=24227 vsize=9824668 CPUtime=1.28 cores=0,2,4,6
/proc/24229/task/24244/stat : 24244 (java) S 24227 24229 23801 0 -1 4202560 9506 0 0 0 126 2 0 0 20 0 19 0 253499702 10060460032 305296 33554432000 1073741824 1073778376 140736651502976 140048128637752 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24229/tid=24245] ppid=24227 vsize=9824668 CPUtime=1.14 cores=0,2,4,6
/proc/24229/task/24245/stat : 24245 (java) S 24227 24229 23801 0 -1 4202560 10005 0 0 0 112 2 0 0 20 0 19 0 253499702 10060460032 305296 33554432000 1073741824 1073778376 140736651502976 140048127585208 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24229/tid=24246] ppid=24227 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24229/task/24246/stat : 24246 (java) S 24227 24229 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253499702 10060460032 305296 33554432000 1073741824 1073778376 140736651502976 140048126532344 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24229/tid=24247] ppid=24227 vsize=9824668 CPUtime=0.04 cores=0,2,4,6
/proc/24229/task/24247/stat : 24247 (java) S 24227 24229 23801 0 -1 4202560 9 0 0 0 2 2 0 0 20 0 19 0 253499702 10060460032 305296 33554432000 1073741824 1073778376 140736651502976 140048125480008 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24229/tid=24260] ppid=24227 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24229/task/24260/stat : 24260 (java) S 24227 24229 23801 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253502861 10060460032 305296 33554432000 1073741824 1073778376 140736651502976 140048123373096 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 251.71
Current children cumulated vsize (KiB) 9824668

Child status: 30

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

Real time (s): 143.982
CPU time (s): 251.928
CPU user time (s): 251.243
CPU system time (s): 0.684894
CPU usage (%): 174.971
Max. virtual memory (cumulated for all children) (KiB): 9824668

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.123
system time used= 0.694894
maximum resident set size= 1221216
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33073
page faults= 1
swaps= 0
block input operations= 0
block output operations= 216
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7391
involuntary context switches= 11672

runsolver used 0.584911 second user time and 1.59776 second system time

The end

Launcher Data 

Begin job on node130 at 2012-05-24 17:35:41
IDJOB=3687694
IDBENCH=2026
IDSOLVER=2268
FILE ID=node130/3687694-1337873741
RUNJOBID= node130-1337871881-23817
PBS_JOBID= 14620074
Free space on /tmp= 71672 MiB

SOLVER NAME= SAT 4j PB RES // CP 2.3.2 Snapshot
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/routing/normalized-s4-4-3-5pb.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3687694-1337873741/watcher-3687694-1337873741 -o /tmp/evaluation-result-3687694-1337873741/solver-3687694-1337873741 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar Both HOME/instance-3687694-1337873741.opb

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

MD5SUM BENCH= 1aa6e41099a7aa87ffa226b4eaa264d0
RANDOM SEED=1647376675

node130.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.875
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.75
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.875
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.875
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.875
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.86
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.875
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.875
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.875
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.875
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	: 5228.98
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        26941160 kB
Buffers:          194332 kB
Cached:          2125088 kB
SwapCached:            0 kB
Active:          3340984 kB
Inactive:        1821000 kB
Active(anon):    2845228 kB
Inactive(anon):        0 kB
Active(file):     495756 kB
Inactive(file):  1821000 kB
Unevictable:        7616 kB
Mlocked:            7616 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               488 kB
Writeback:             4 kB
AnonPages:       2850236 kB
Mapped:            22604 kB
Shmem:               200 kB
Slab:             627208 kB
SReclaimable:      69376 kB
SUnreclaim:       557832 kB
KernelStack:        1616 kB
PageTables:         9996 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    3560924 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2736128 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= 71668 MiB
End job on node130 at 2012-05-24 17:38:05