Trace number 4085175

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
Sat4j PB 2.3.6 Resolution PB16SAT (TO)490 1800.06 1782.55

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-seymour.opb
MD5SUM97ebaccbda37d5c570b4e2ec3cd7f8f0
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark448
Best CPU time to get the best result obtained on this benchmark1800.01
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 425
Optimality of the best value was proved NO
Number of variables1372
Total number of constraints4944
Number of constraints which are clauses4944
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint19
Number of terms in the objective function 1372
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 1372
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1372
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.09/0.11	c Pseudo Boolean Optimization by upper bound
0.09/0.11	c --- Begin Solver configuration ---
0.09/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.09/0.11	c Learn all clauses as in MiniSAT
0.09/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.11	c No reason simplification
0.09/0.11	c Glucose 2.1 dynamic restart strategy
0.09/0.11	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.11	c timeout=2147483s
0.09/0.11	c DB Simplification allowed=false
0.09/0.11	c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90
0.09/0.11	c --- End Solver configuration ---
0.09/0.11	c solving HOME/instance-4085175-1465223663.opb
0.09/0.11	c reading problem ... 
0.09/0.12	c  objective function found
0.52/0.34	c ... done. Wall clock time 0.227s.
0.52/0.34	c declared #vars     1372
0.52/0.34	c #constraints  4944
0.52/0.34	c constraints type 
0.52/0.34	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 4542
0.52/0.34	c org.sat4j.minisat.constraints.cnf.UnitClause => 117
0.52/0.34	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 285
0.52/0.34	c 4944 constraints processed.
0.52/0.34	c objective function length is 1372 literals
0.52/0.36	c SATISFIABLE
0.52/0.36	c OPTIMIZING...
0.52/0.36	c Got one! Elapsed wall clock time (in seconds):0.25
0.52/0.37	o 490
1.32/0.80	c cleaning 2495 clauses out of 5001 with flag 10052/5001
1.73/1.17	c cleaning 4250 clauses out of 8506 with flag 22155/11001
2.32/1.70	c cleaning 5628 clauses out of 11256 with flag 38321/18001
2.83/2.25	c cleaning 6808 clauses out of 13628 with flag 55434/26001
3.46/2.88	c cleaning 7905 clauses out of 15819 with flag 75285/35000
4.17/3.54	c cleaning 8955 clauses out of 17915 with flag 97099/45001
4.97/4.34	c cleaning 9974 clauses out of 19959 with flag 122201/56000
5.96/5.33	c cleaning 10991 clauses out of 21986 with flag 149630/68001
7.02/6.35	c cleaning 11996 clauses out of 23994 with flag 178388/81000
8.12/7.46	c cleaning 12997 clauses out of 25998 with flag 209269/95000
9.63/8.91	c cleaning 14000 clauses out of 28002 with flag 241156/110001
11.03/10.32	c cleaning 15000 clauses out of 30001 with flag 276922/126000
12.53/11.81	c cleaning 15998 clauses out of 32001 with flag 314014/143000
14.19/13.46	c cleaning 16998 clauses out of 34004 with flag 354545/161001
16.09/15.33	c cleaning 18002 clauses out of 36006 with flag 395795/180001
17.99/17.26	c cleaning 18992 clauses out of 38003 with flag 439740/200000
19.89/19.19	c cleaning 20001 clauses out of 40011 with flag 486155/221000
22.21/21.33	c cleaning 21001 clauses out of 42010 with flag 533442/243000
24.71/23.84	c cleaning 22000 clauses out of 44010 with flag 582984/266001
27.11/26.28	c cleaning 23000 clauses out of 46010 with flag 636261/290001
29.91/29.07	c cleaning 23999 clauses out of 48011 with flag 692846/315002
32.82/31.89	c cleaning 24998 clauses out of 50010 with flag 749178/341000
36.01/35.03	c cleaning 26003 clauses out of 52013 with flag 809287/368001
39.20/38.21	c cleaning 26997 clauses out of 54010 with flag 870781/396001
42.81/41.68	c cleaning 27996 clauses out of 56012 with flag 934301/425000
46.42/45.24	c cleaning 29006 clauses out of 58016 with flag 1000868/455000
50.11/48.96	c cleaning 30004 clauses out of 60011 with flag 1068719/486001
54.69/53.40	c cleaning 30999 clauses out of 62006 with flag 1141060/518000
58.89/57.64	c cleaning 32002 clauses out of 64007 with flag 1212608/551000
63.19/61.87	c cleaning 32998 clauses out of 66007 with flag 1286974/585002
67.89/66.59	c cleaning 33998 clauses out of 68007 with flag 1361413/620000
72.66/71.15	c cleaning 35001 clauses out of 70010 with flag 1437607/656001
78.96/77.46	c cleaning 35997 clauses out of 72009 with flag 1517858/693001
84.36/82.70	c cleaning 36997 clauses out of 74011 with flag 1600650/731000
89.86/88.25	c cleaning 38001 clauses out of 76014 with flag 1685535/770000
95.92/94.25	c cleaning 39001 clauses out of 78013 with flag 1772791/810000
101.22/99.53	c cleaning 40000 clauses out of 80013 with flag 1864972/851001
106.69/104.95	c cleaning 41000 clauses out of 82012 with flag 1960084/893000
112.87/111.06	c cleaning 42003 clauses out of 84012 with flag 2057947/936000
119.96/118.10	c cleaning 42997 clauses out of 86010 with flag 2157821/980001
127.49/125.64	c cleaning 43996 clauses out of 88012 with flag 2253851/1025000
136.05/134.14	c cleaning 44998 clauses out of 90017 with flag 2353932/1071001
143.86/141.86	c cleaning 45999 clauses out of 92018 with flag 2458927/1118000
152.55/150.55	c cleaning 46999 clauses out of 94019 with flag 2566636/1166000
160.62/158.56	c cleaning 48001 clauses out of 96021 with flag 2675447/1215001
168.47/166.38	c cleaning 49001 clauses out of 98020 with flag 2787346/1265001
177.45/175.27	c cleaning 49997 clauses out of 100018 with flag 2903345/1316000
187.97/185.69	c cleaning 51003 clauses out of 102021 with flag 3019770/1368000
195.77/193.37	c cleaning 52001 clauses out of 104019 with flag 3139916/1421001
204.64/202.19	c cleaning 53001 clauses out of 106017 with flag 3260766/1475000
214.54/211.94	c cleaning 53997 clauses out of 108016 with flag 3382610/1530000
224.01/221.31	c cleaning 55003 clauses out of 110020 with flag 3510003/1586001
233.59/230.89	c cleaning 56001 clauses out of 112016 with flag 3636410/1643000
248.34/245.51	c cleaning 57002 clauses out of 114016 with flag 3763264/1701001
257.24/254.38	c cleaning 57992 clauses out of 116013 with flag 3889593/1760000
268.37/265.40	c cleaning 59002 clauses out of 118021 with flag 4021220/1820000
283.46/280.43	c cleaning 60004 clauses out of 120021 with flag 4154025/1881002
296.87/293.76	c cleaning 61000 clauses out of 122015 with flag 4289108/1943000
308.77/305.56	c cleaning 61999 clauses out of 124016 with flag 4425713/2006001
327.43/324.11	c cleaning 62999 clauses out of 126016 with flag 4556526/2070000
341.39/337.90	c cleaning 64004 clauses out of 128019 with flag 4699559/2135002
354.99/351.43	c cleaning 64998 clauses out of 130014 with flag 4847630/2201001
367.67/364.01	c cleaning 65999 clauses out of 132017 with flag 4989369/2268002
383.40/379.66	c cleaning 67001 clauses out of 134017 with flag 5139602/2336001
400.06/396.11	c cleaning 67995 clauses out of 136015 with flag 5294166/2405000
415.55/411.57	c cleaning 68999 clauses out of 138020 with flag 5451509/2475000
434.52/430.32	c cleaning 70008 clauses out of 140022 with flag 5609163/2546001
447.86/443.50	c cleaning 71000 clauses out of 142013 with flag 5766695/2618000
464.81/460.35	c cleaning 72001 clauses out of 144013 with flag 5931943/2691000
482.78/478.13	c cleaning 72994 clauses out of 146012 with flag 6099738/2765000
497.84/493.07	c cleaning 74000 clauses out of 148019 with flag 6270550/2840001
514.17/509.23	c cleaning 75002 clauses out of 150019 with flag 6434681/2916001
533.04/527.96	c cleaning 75996 clauses out of 152018 with flag 6603004/2993002
552.14/546.86	c cleaning 77007 clauses out of 154021 with flag 6773289/3071001
578.09/572.61	c cleaning 77998 clauses out of 156013 with flag 6932507/3150000
596.18/590.53	c cleaning 78993 clauses out of 158015 with flag 7108456/3230000
617.84/612.06	c cleaning 79999 clauses out of 160022 with flag 7289786/3311000
637.97/632.02	c cleaning 81003 clauses out of 162025 with flag 7469305/3393002
658.63/652.46	c cleaning 82005 clauses out of 164021 with flag 7652840/3476001
681.89/675.43	c cleaning 82997 clauses out of 166017 with flag 7841491/3560002
706.11/699.40	c cleaning 83998 clauses out of 168018 with flag 8033329/3645000
729.83/723.00	c cleaning 84998 clauses out of 170020 with flag 8228512/3731000
754.23/747.09	c cleaning 86001 clauses out of 172023 with flag 8425571/3818001
776.82/769.41	c cleaning 86999 clauses out of 174021 with flag 8620169/3906000
801.23/793.50	c cleaning 88003 clauses out of 176022 with flag 8821667/3995000
832.81/824.86	c cleaning 89001 clauses out of 178020 with flag 9018798/4085001
862.60/854.27	c cleaning 89999 clauses out of 180019 with flag 9216643/4176001
918.28/909.66	c cleaning 91003 clauses out of 182020 with flag 9413523/4268001
952.64/943.66	c cleaning 92000 clauses out of 184016 with flag 9601247/4361000
979.22/969.92	c cleaning 92994 clauses out of 186016 with flag 9806475/4455000
1013.98/1004.42	c cleaning 93996 clauses out of 188023 with flag 10013670/4550001
1041.30/1031.44	c cleaning 94999 clauses out of 190026 with flag 10233321/4646000
1074.58/1064.47	c cleaning 96004 clauses out of 192027 with flag 10453631/4743000
1107.15/1096.65	c cleaning 97000 clauses out of 194023 with flag 10675582/4841000
1136.32/1125.35	c cleaning 98003 clauses out of 196024 with flag 10898938/4940001
1166.60/1155.34	c cleaning 99002 clauses out of 198021 with flag 11124978/5040001
1195.10/1183.51	c cleaning 99999 clauses out of 200018 with flag 11350537/5141000
1222.52/1210.66	c cleaning 101003 clauses out of 202019 with flag 11572112/5243000
1259.37/1247.13	c cleaning 102000 clauses out of 204016 with flag 11801591/5346000
1290.55/1277.88	c cleaning 102999 clauses out of 206017 with flag 12028494/5450001
1319.08/1305.95	c cleaning 103998 clauses out of 208017 with flag 12256200/5555000
1356.10/1342.62	c cleaning 105000 clauses out of 210019 with flag 12486750/5661000
1386.72/1372.93	c cleaning 106000 clauses out of 212020 with flag 12720099/5768001
1418.13/1404.04	c cleaning 107002 clauses out of 214020 with flag 12951668/5876001
1446.05/1431.64	c cleaning 107998 clauses out of 216017 with flag 13185502/5985000
1479.03/1464.39	c cleaning 109001 clauses out of 218019 with flag 13429295/6095000
1518.02/1503.00	c cleaning 109996 clauses out of 220018 with flag 13676495/6206000
1560.30/1544.98	c cleaning 110996 clauses out of 222022 with flag 13926372/6318000
1611.21/1595.47	c cleaning 112006 clauses out of 224026 with flag 14181853/6431000
1660.53/1644.47	c cleaning 113004 clauses out of 226021 with flag 14434306/6545001
1701.38/1684.82	c cleaning 113999 clauses out of 228016 with flag 14686280/6660000
1764.91/1747.92	c cleaning 115000 clauses out of 230018 with flag 14927699/6776001
1796.91/1779.49	c cleaning 115998 clauses out of 232018 with flag 15175636/6893001
1800.06/1782.50	c starts		: 2
1800.06/1782.50	c conflicts		: 6917989
1800.06/1782.50	c decisions		: 11222884
1800.06/1782.50	c propagations		: 56318737
1800.06/1782.50	c inspects		: 30405398429
1800.06/1782.50	c shortcuts		: 0
1800.06/1782.50	c learnt literals	: 0
1800.06/1782.50	c learnt binary clauses	: 0
1800.06/1782.50	c learnt ternary clauses	: 0
1800.06/1782.50	c learnt constraints	: 6917989
1800.06/1782.50	c ignored constraints	: 0
1800.06/1782.50	c root simplifications	: 0
1800.06/1782.50	c removed literals (reason simplification)	: 0
1800.06/1782.50	c reason swapping (by a shorter reason)	: 0
1800.06/1782.50	c Calls to reduceDB	: 113
1800.06/1782.50	c Number of update (reduction) of LBD	: 1119026
1800.06/1782.50	c Imported unit clauses	: 0
1800.06/1782.50	c number of reductions to clauses (during analyze)	: 0
1800.06/1782.50	c number of learned constraints concerned by reduction	: 0
1800.06/1782.50	c number of learning phase by resolution	: 0
1800.06/1782.50	c number of learning phase by cutting planes	: 0
1800.06/1782.50	c speed (assignments/second)	: 31601.50525712144
1800.06/1782.50	c non guided choices	0
1800.06/1782.53	c learnt constraints type 
1800.06/1782.53	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 141009
1800.06/1782.53	s SATISFIABLE
1800.06/1782.53	c Found 1 solution(s)
1800.06/1782.54	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 -x1001 x1002 -x1003 -x1004 x1005 -x1006 x1007 x1008 -x1009 x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 x1018 x1019 -x1020 -x1021 -x1022 x1023 x1024 -x1025 x1026 -x1027 x1028 x1029 -x1030 -x1031 x1032 -x1033 -x1034 -x1035 -x1036 -x1037 x1038 -x1039 x1040 x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 x1048 -x1049 -x1050 -x1051 x1052 x1053 -x1054 x1055 x1056 -x1057 x1058 -x1059 x1060 -x1061 x1062 x1063 -x1064 -x1065 x1066 -x1067 x1068 -x1069 x1070 -x1071 x1072 -x1073 -x1074 x1075 -x1076 -x1077 -x1078 -x1079 x1080 -x1081 x1082 -x1083 x1084 -x1085 x1086 -x1087 x1088 -x1089 -x1090 -x1091 -x1092 x1093 x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 x1102 -x1103 x1104 -x1105 -x1106 x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 x1116 -x1117 -x1118 -x1119 x1120 -x1121 -x1122 -x1123 x1124 -x1125 -x1126 -x1127 x1128 -x1129 x1130 -x1131 x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 x1151 x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 x1162 x1163 x1164 -x1165 -x1166 x1167 x1168 -x1169 x1170 -x1171 x1172 -x1173 x1174 -x1175 -x1176 -x1177 -x1178 -x1179 x1180 x1181 -x1182 -x1183 -x1184 x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 x1192 -x1193 x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 x1202 -x1203 -x1204 -x1205 -x1206 x1207 x1208 -x1209 x1210 x1211 x1212 -x1213 -x1214 -x1215 x1216 -x1217 x1218 -x1219 -x1220 -x1221 -x1222 -x1223 x1224 -x1225 -x1226 -x1227 -x1228 x1229 -x1230 -x1231 -x1232 -x1233 x1234 -x1235 -x1236 -x1237 -x1238 x1239 x1240 x1241 -x1242 x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 x1251 x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 x1259 x1260 -x1261 x1262 x1263 -x1264 x1265 -x1266 -x1267 x1268 -x1269 -x1270 x1271 -x1272 -x1273 x1274 x1275 -x1276 -x1277 x1278 x1279 -x1280 -x1281 x1282 -x1283 -x1284 x1285 -x1286 -x1287 x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 x1297 -x1298 -x1299 x1300 -x1301 -x1302 -x1303 x1304 -x1305 x1306 x1307 x1308 -x1309 -x1310 -x1311 -x1312 -x1313 x1314 -x1315 -x1316 -x1317 x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 x1328 x1329 -x1330 -x1331 x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 x1344 -x1345 -x1346 -x1347 x1348 -x1349 x1350 x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 x1358 -x1359 -x1360 -x1361 x1362 -x1363 x1364 -x1365 -x1366 -x1367 -x1368 x1369 -x1370 -x1371 x1372 
1800.06/1782.54	c objective function=490
1800.06/1782.54	c Total wall clock time (in seconds): 1782.423

Verifier Data 

OK	490

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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-4085175-1465223663/watcher-4085175-1465223663 -o /tmp/evaluation-result-4085175-1465223663/solver-4085175-1465223663 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1465218300-31160 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4085175-1465223663.opb 

pid=32144
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: 2.01 2.07 2.08 3/194 32147
/proc/meminfo: memFree=30892308/32872528 swapFree=12352/737972
[pid=32147] ppid=32144 vsize=3568 CPUtime=0 cores=0,2,4,6
/proc/32147/stat : 32147 (java) R 32144 32147 31144 0 -1 4202496 377 0 0 0 0 0 0 0 20 0 1 0 104300824 3653632 48 33554432000 1073741824 1073778376 140734477226528 140734477223656 213857169194 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/32147/statm: 892 50 38 9 0 30 0

[startup+0.100164 s]
/proc/loadavg: 2.01 2.07 2.08 3/194 32147
/proc/meminfo: memFree=30892308/32872528 swapFree=12352/737972
[pid=32147] ppid=32144 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/32147/stat : 32147 (java) S 32144 32147 31144 0 -1 4202496 4385 0 1 0 8 1 0 0 20 0 18 0 104300824 9787879424 6014 33554432000 1073741824 1073778376 140734477226528 140734477217664 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32147/statm: 2389619 6014 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200311 s]
/proc/loadavg: 2.01 2.07 2.08 3/194 32147
/proc/meminfo: memFree=30892308/32872528 swapFree=12352/737972
[pid=32147] ppid=32144 vsize=9558476 CPUtime=0.27 cores=0,2,4,6
/proc/32147/stat : 32147 (java) S 32144 32147 31144 0 -1 4202496 4961 0 1 0 26 1 0 0 20 0 18 0 104300824 9787879424 6946 33554432000 1073741824 1073778376 140734477226528 140734477217664 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32147/statm: 2389619 6946 2216 9 0 2380296 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 9558476

[startup+0.300232 s]
/proc/loadavg: 2.01 2.07 2.08 3/194 32147
/proc/meminfo: memFree=30892308/32872528 swapFree=12352/737972
[pid=32147] ppid=32144 vsize=9558476 CPUtime=0.52 cores=0,2,4,6
/proc/32147/stat : 32147 (java) S 32144 32147 31144 0 -1 4202496 6010 0 1 0 50 2 0 0 20 0 18 0 104300824 9787879424 9544 33554432000 1073741824 1073778376 140734477226528 140734477217664 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32147/statm: 2389619 9544 2233 9 0 2380296 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 9558476

[startup+0.700307 s]
/proc/loadavg: 2.01 2.07 2.08 3/194 32147
/proc/meminfo: memFree=30892308/32872528 swapFree=12352/737972
[pid=32147] ppid=32144 vsize=9625040 CPUtime=1.18 cores=0,2,4,6
/proc/32147/stat : 32147 (java) S 32144 32147 31144 0 -1 4202496 7162 0 1 0 116 2 0 0 20 0 19 0 104300824 9856040960 14810 33554432000 1073741824 1073778376 140734477226528 140734477217664 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32147/statm: 2406260 14810 2261 9 0 2396937 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 9625040

[startup+1.50084 s]
/proc/loadavg: 2.01 2.06 2.08 6/213 32166
/proc/meminfo: memFree=30832892/32872528 swapFree=12352/737972
[pid=32147] ppid=32144 vsize=9625040 CPUtime=2.12 cores=0,2,4,6
/proc/32147/stat : 32147 (java) S 32144 32147 31144 0 -1 4202496 8361 0 1 0 209 3 0 0 20 0 19 0 104300824 9856040960 19499 33554432000 1073741824 1073778376 140734477226528 140734477217664 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32147/statm: 2406260 19499 2269 9 0 2396937 0
[pid=32147/tid=32149] ppid=32144 vsize=9625040 CPUtime=1.46 cores=0,2,4,6
/proc/32147/task/32149/stat : 32149 (java) R 32144 32147 31144 0 -1 4202560 2429 0 1 0 144 2 0 0 20 0 19 0 104300825 9856040960 19499 33554432000 1073741824 1073778376 140734477226528 140599955425648 140599798363455 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=32147/tid=32150] ppid=32144 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32147/task/32150/stat : 32150 (java) S 32144 32147 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104300826 9856040960 19499 33554432000 1073741824 1073778376 140734477226528 140599916919464 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32147/tid=32151] ppid=32144 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32147/task/32151/stat : 32151 (java) S 32144 32147 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104300826 9856040960 19499 33554432000 1073741824 1073778376 140734477226528 140599797738280 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32147/tid=32152] ppid=32144 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32147/task/32152/stat : 32152 (java) S 32144 32147 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104300826 9856040960 19499 33554432000 1073741824 1073778376 140734477226528 140599796685736 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=32147/tid=32153] ppid=32144 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32147/task/32153/stat : 32153 (java) S 32144 32147 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104300826 9856040960 19499 33554432000 1073741824 1073778376 140734477226528 140599795633192 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32147/tid=32154] ppid=32144 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32147/task/32154/stat : 32154 (java) S 32144 32147 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104300826 9856040960 19499 33554432000 1073741824 1073778376 140734477226528 140599794579624 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32147/tid=32155] ppid=32144 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32147/task/32155/stat : 32155 (java) S 32144 32147 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104300826 9856040960 19499 33554432000 1073741824 1073778376 140734477226528 140599793527080 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32147/tid=32156] ppid=32144 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32147/task/32156/stat : 32156 (java) S 32144 32147 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104300826 9856040960 19499 33554432000 1073741824 1073778376 140734477226528 140599792474536 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32147/tid=32157] ppid=32144 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32147/task/32157/stat : 32157 (java) S 32144 32147 31144 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 104300826 9856040960 19499 33554432000 1073741824 1073778376 140734477226528 140599791421992 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32147/tid=32158] ppid=32144 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32147/task/32158/stat : 32158 (java) S 32144 32147 31144 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 104300827 9856040960 19499 33554432000 1073741824 1073778376 140734477226528 140599309093480 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32147/tid=32159] ppid=32144 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32147/task/32159/stat : 32159 (java) S 32144 32147 31144 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 104300828 9856040960 19499 33554432000 1073741824 1073778376 140734477226528 140599308039800 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32147/tid=32160] ppid=32144 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32147/task/32160/stat : 32160 (java) S 32144 32147 31144 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104300828 9856040960 19499 33554432000 1073741824 1073778376 140734477226528 140599306987144 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32147/tid=32161] ppid=32144 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32147/task/32161/stat : 32161 (java) S 32144 32147 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104300830 9856040960 19499 33554432000 1073741824 1073778376 140734477226528 140599305935888 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32147/tid=32162] ppid=32144 vsize=9625040 CPUtime=0.24 cores=0,2,4,6
/proc/32147/task/32162/stat : 32162 (java) S 32144 32147 31144 0 -1 4202560 1678 0 0 0 24 0 0 0 20 0 19 0 104300830 9856040960 19499 33554432000 1073741824 1073778376 140734477226528 140599304882232 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32147/tid=32163] ppid=32144 vsize=9625040 CPUtime=0.37 cores=0,2,4,6
/proc/32147/task/32163/stat : 32163 (java) S 32144 32147 31144 0 -1 4202560 2981 0 0 0 37 0 0 0 20 0 19 0 104300830 9856040960 19499 33554432000 1073741824 1073778376 140734477226528 140599303829688 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32147/tid=32164] ppid=32144 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32147/task/32164/stat : 32164 (java) S 32144 32147 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104300830 9856040960 19499 33554432000 1073741824 1073778376 140734477226528 140599302777336 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=32147/tid=32165] ppid=32144 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32147/task/32165/stat : 32165 (java) S 32144 32147 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104300830 9856040960 19499 33554432000 1073741824 1073778376 140734477226528 140599301725000 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32147/tid=32166] ppid=32144 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32147/task/32166/stat : 32166 (java) S 32144 32147 31144 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104300859 9856040960 19499 33554432000 1073741824 1073778376 140734477226528 140599300670760 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 2.12
Current children cumulated vsize (KiB) 9625040

[startup+3.10082 s]
/proc/loadavg: 2.01 2.06 2.08 4/213 32166
/proc/meminfo: memFree=30808068/32872528 swapFree=12352/737972
[pid=32147] ppid=32144 vsize=9625040 CPUtime=3.76 cores=0,2,4,6
/proc/32147/stat : 32147 (java) S 32144 32147 31144 0 -1 4202496 8378 0 1 0 373 3 0 0 20 0 19 0 104300824 9856040960 28203 33554432000 1073741824 1073778376 140734477226528 140734477217664 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32147/statm: 2406260 28203 2269 9 0 2396937 0
[pid=32147/tid=32149] ppid=32144 vsize=9625040 CPUtime=3.05 cores=0,2,4,6
/proc/32147/task/32149/stat : 32149 (java) R 32144 32147 31144 0 -1 4202560 2446 0 1 0 303 2 0 0 20 0 19 0 104300825 9856040960 28203 33554432000 1073741824 1073778376 140734477226528 140599955427576 140599798380605 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=32147/tid=32150] ppid=32144 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32147/task/32150/stat : 32150 (java) S 32144 32147 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104300826 9856040960 28203 33554432000 1073741824 1073778376 140734477226528 140599916919464 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32147/tid=32151] ppid=32144 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32147/task/32151/stat : 32151 (java) S 32144 32147 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104300826 9856040960 28203 33554432000 1073741824 1073778376 140734477226528 140599797738280 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32147/tid=32152] ppid=32144 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32147/task/32152/stat : 32152 (java) S 32144 32147 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104300826 9856040960 28203 33554432000 1073741824 1073778376 140734477226528 140599796685736 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=32147/tid=32153] ppid=32144 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32147/task/32153/stat : 32153 (java) S 32144 32147 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104300826 9856040960 28203 33554432000 1073741824 1073778376 140734477226528 140599795633192 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32147/tid=32154] ppid=32144 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32147/task/32154/stat : 32154 (java) S 32144 32147 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104300826 9856040960 28203 33554432000 1073741824 1073778376 140734477226528 140599794579624 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32147/tid=32155] ppid=32144 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32147/task/32155/stat : 32155 (java) S 32144 32147 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104300826 9856040960 28203 33554432000 1073741824 1073778376 140734477226528 140599793527080 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32147/tid=32156] ppid=32144 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32147/task/32156/stat : 32156 (java) S 32144 32147 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104300826 9856040960 28203 33554432000 1073741824 1073778376 140734477226528 140599792474536 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32147/tid=32157] ppid=32144 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32147/task/32157/stat : 32157 (java) S 32144 32147 31144 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 104300826 9856040960 28203 33554432000 1073741824 1073778376 140734477226528 140599791421992 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32147/tid=32158] ppid=32144 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32147/task/32158/stat : 32158 (java) S 32144 32147 31144 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 104300827 9856040960 28203 33554432000 1073741824 1073778376 140734477226528 140599309093480 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32147/tid=32159] ppid=32144 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32147/task/32159/stat : 32159 (java) S 32144 32147 31144 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 104300828 9856040960 28203 33554432000 1073741824 1073778376 140734477226528 140599308039800 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32147/tid=32160] ppid=32144 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32147/task/32160/stat : 32160 (java) S 32144 32147 31144 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104300828 9856040960 28203 33554432000 1073741824 1073778376 140734477226528 140599306987144 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32147/tid=32161] ppid=32144 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32147/task/32161/stat : 32161 (java) S 32144 32147 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104300830 9856040960 28203 33554432000 1073741824 1073778376 140734477226528 140599305935888 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32147/tid=32162] ppid=32144 vsize=9625040 CPUtime=0.25 cores=0,2,4,6
/proc/32147/task/32162/stat : 32162 (java) S 32144 32147 31144 0 -1 4202560 1678 0 0 0 25 0 0 0 20 0 19 0 104300830 9856040960 28203 33554432000 1073741824 1073778376 140734477226528 140599304882232 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32147/tid=32163] ppid=32144 vsize=9625040 CPUtime=0.41 cores=0,2,4,6
/proc/32147/task/32163/stat : 32163 (java) S 32144 32147 31144 0 -1 4202560 2981 0 0 0 41 0 0 0 20 0 19 0 104300830 9856040960 28203 33554432000 1073741824 1073778376 140734477226528 140599303829688 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32147/tid=32164] ppid=32144 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32147/task/32164/stat : 32164 (java) S 32144 32147 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104300830 9856040960 28203 33554432000 1073741824 1073778376 140734477226528 140599302777336 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=32147/tid=32165] ppid=32144 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32147/task/32165/stat : 32165 (java) S 32144 32147 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104300830 9856040960 28203 33554432000 1073741824 1073778376 140734477226528 140599301725000 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32147/tid=32166] ppid=32144 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32147/task/32166/stat : 32166 (java) S 32144 32147 31144 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104300859 9856040960 28203 33554432000 1073741824 1073778376 140734477226528 140599300670760 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.76
Current children cumulated vsize (KiB) 9625040

[startup+6.30086 s]
/proc/loadavg: 2.09 2.08 2.08 3/213 32166
/proc/meminfo: memFree=30720288/32872528 swapFree=12352/737972
[pid=32147] ppid=32144 vsize=9625040 CPUtime=7.02 cores=0,2,4,6
/proc/32147/stat : 32147 (java) S 32144 32147 31144 0 -1 4202496 8466 0 1 0 695 7 0 0 20 0 19 0 104300824 9856040960 44950 33554432000 1073741824 1073778376 140734477226528 140734477217664 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32147/statm: 2406260 44950 2282 9 0 2396937 0
[pid=32147/tid=32149] ppid=32144 vsize=9625040 CPUtime=6.22 cores=0,2,4,6
/proc/32147/task/32149/stat : 32149 (java) R 32144 32147 31144 0 -1 4202560 2473 0 1 0 619 3 0 0 20 0 19 0 104300825 9856040960 44950 33554432000 1073741824 1073778376 140734477226528 140599955426616 140599798345095 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=32147/tid=32150] ppid=32144 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32147/task/32150/stat : 32150 (java) S 32144 32147 31144 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 104300826 9856040960 44950 33554432000 1073741824 1073778376 140734477226528 140599916919464 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32147/tid=32151] ppid=32144 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32147/task/32151/stat : 32151 (java) S 32144 32147 31144 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 104300826 9856040960 44950 33554432000 1073741824 1073778376 140734477226528 140599797738280 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32147/tid=32152] ppid=32144 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32147/task/32152/stat : 32152 (java) S 32144 32147 31144 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 104300826 9856040960 44950 33554432000 1073741824 1073778376 140734477226528 140599796685736 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32147/tid=32153] ppid=32144 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32147/task/32153/stat : 32153 (java) S 32144 32147 31144 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 104300826 9856040960 44950 33554432000 1073741824 1073778376 140734477226528 140599795633192 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32147/tid=32154] ppid=32144 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32147/task/32154/stat : 32154 (java) S 32144 32147 31144 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 104300826 9856040960 44950 33554432000 1073741824 1073778376 140734477226528 140599794579624 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=32147/tid=32155] ppid=32144 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32147/task/32155/stat : 32155 (java) S 32144 32147 31144 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 104300826 9856040960 44950 33554432000 1073741824 1073778376 140734477226528 140599793527080 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32147/tid=32156] ppid=32144 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32147/task/32156/stat : 32156 (java) S 32144 32147 31144 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 104300826 9856040960 44950 33554432000 1073741824 1073778376 140734477226528 140599792474536 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32147/tid=32157] ppid=32144 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32147/task/32157/stat : 32157 (java) S 32144 32147 31144 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 104300826 9856040960 44950 33554432000 1073741824 1073778376 140734477226528 140599791421992 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32147/tid=32158] ppid=32144 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32147/task/32158/stat : 32158 (java) S 32144 32147 31144 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 104300827 9856040960 44950 33554432000 1073741824 1073778376 140734477226528 140599309093480 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32147/tid=32159] ppid=32144 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32147/task/32159/stat : 32159 (java) S 32144 32147 31144 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 104300828 9856040960 44950 33554432000 1073741824 1073778376 140734477226528 140599308039800 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32147/tid=32160] ppid=32144 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32147/task/32160/stat : 32160 (java) S 32144 32147 31144 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 104300828 9856040960 44950 33554432000 1073741824 1073778376 140734477226528 140599306987144 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32147/tid=32161] ppid=32144 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32147/task/32161/stat : 32161 (java) S 32144 32147 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104300830 9856040960 44950 33554432000 1073741824 1073778376 140734477226528 140599305935888 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32147/tid=32162] ppid=32144 vsize=9625040 CPUtime=0.25 cores=0,2,4,6
/proc/32147/task/32162/stat : 32162 (java) S 32144 32147 31144 0 -1 4202560 1678 0 0 0 25 0 0 0 20 0 19 0 104300830 9856040960 44950 33554432000 1073741824 1073778376 140734477226528 140599304882232 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32147/tid=32163] ppid=32144 vsize=9625040 CPUtime=0.41 cores=0,2,4,6
/proc/32147/task/32163/stat : 32163 (java) S 32144 32147 31144 0 -1 4202560 2981 0 0 0 41 0 0 0 20 0 19 0 104300830 9856040960 44950 33554432000 1073741824 1073778376 140734477226528 140599303829688 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32147/tid=32164] ppid=32144 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32147/task/32164/stat : 32164 (java) S 32144 32147 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104300830 9856040960 44950 33554432000 1073741824 1073778376 140734477226528 140599302777336 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=32147/tid=32165] ppid=32144 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32147/task/32165/stat : 32165 (java) S 32144 32147 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104300830 9856040960 44950 33554432000 1073741824 1073778376 140734477226528 140599301725000 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32147/tid=32166] ppid=32144 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32147/task/32166/stat : 32166 (java) S 32144 32147 31144 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104300859 9856040960 44950 33554432000 1073741824 1073778376 140734477226528 140599300670760 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 7.02
Current children cumulated vsize (KiB) 9625040


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

[pid=32147/tid=32166] ppid=32144 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32147/task/32166/stat : 32166 (java) S 32144 32147 31144 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104300859 9856040960 143352 33554432000 1073741824 1073778376 140734477226528 140599300670760 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1739.19
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.20 2.21 2.14 3/213 32300
/proc/meminfo: memFree=30192696/32872528 swapFree=12352/737972
[pid=32147] ppid=32144 vsize=9625040 CPUtime=1799.86 cores=0,2,4,6
/proc/32147/stat : 32147 (java) S 32144 32147 31144 0 -1 4202496 20247 0 1 0 179853 133 0 0 20 0 19 0 104300824 9856040960 131023 33554432000 1073741824 1073778376 140734477226528 140734477217664 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32147/statm: 2406260 131023 2291 9 0 2396937 0
[pid=32147/tid=32149] ppid=32144 vsize=9625040 CPUtime=1764.49 cores=0,2,4,6
/proc/32147/task/32149/stat : 32149 (java) R 32144 32147 31144 0 -1 4202560 2848 0 1 0 176418 31 0 0 20 0 19 0 104300825 9856040960 131023 33554432000 1073741824 1073778376 140734477226528 140599955426648 140599798345030 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=32147/tid=32150] ppid=32144 vsize=9625040 CPUtime=2.92 cores=0,2,4,6
/proc/32147/task/32150/stat : 32150 (java) S 32144 32147 31144 0 -1 4202560 1275 0 0 0 279 13 0 0 20 0 19 0 104300826 9856040960 131023 33554432000 1073741824 1073778376 140734477226528 140599916919464 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=32147/tid=32151] ppid=32144 vsize=9625040 CPUtime=3 cores=0,2,4,6
/proc/32147/task/32151/stat : 32151 (java) S 32144 32147 31144 0 -1 4202560 1384 0 0 0 285 15 0 0 20 0 19 0 104300826 9856040960 131023 33554432000 1073741824 1073778376 140734477226528 140599797738280 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32147/tid=32152] ppid=32144 vsize=9625040 CPUtime=2.99 cores=0,2,4,6
/proc/32147/task/32152/stat : 32152 (java) S 32144 32147 31144 0 -1 4202560 1094 0 0 0 287 12 0 0 20 0 19 0 104300826 9856040960 131023 33554432000 1073741824 1073778376 140734477226528 140599796685736 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32147/tid=32153] ppid=32144 vsize=9625040 CPUtime=3.08 cores=0,2,4,6
/proc/32147/task/32153/stat : 32153 (java) S 32144 32147 31144 0 -1 4202560 1203 0 0 0 296 12 0 0 20 0 19 0 104300826 9856040960 131023 33554432000 1073741824 1073778376 140734477226528 140599795633192 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32147/tid=32154] ppid=32144 vsize=9625040 CPUtime=2.94 cores=0,2,4,6
/proc/32147/task/32154/stat : 32154 (java) S 32144 32147 31144 0 -1 4202560 1795 0 0 0 279 15 0 0 20 0 19 0 104300826 9856040960 131023 33554432000 1073741824 1073778376 140734477226528 140599794579624 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32147/tid=32155] ppid=32144 vsize=9625040 CPUtime=2.97 cores=0,2,4,6
/proc/32147/task/32155/stat : 32155 (java) S 32144 32147 31144 0 -1 4202560 1435 0 0 0 284 13 0 0 20 0 19 0 104300826 9856040960 131023 33554432000 1073741824 1073778376 140734477226528 140599793527080 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32147/tid=32156] ppid=32144 vsize=9625040 CPUtime=2.92 cores=0,2,4,6
/proc/32147/task/32156/stat : 32156 (java) S 32144 32147 31144 0 -1 4202560 888 0 0 0 279 13 0 0 20 0 19 0 104300826 9856040960 131023 33554432000 1073741824 1073778376 140734477226528 140599792474536 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=32147/tid=32157] ppid=32144 vsize=9625040 CPUtime=3.09 cores=0,2,4,6
/proc/32147/task/32157/stat : 32157 (java) S 32144 32147 31144 0 -1 4202560 1086 0 0 0 296 13 0 0 20 0 19 0 104300826 9856040960 131023 33554432000 1073741824 1073778376 140734477226528 140599791421992 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32147/tid=32158] ppid=32144 vsize=9625040 CPUtime=6.07 cores=0,2,4,6
/proc/32147/task/32158/stat : 32158 (java) S 32144 32147 31144 0 -1 4202560 1052 0 0 0 601 6 0 0 20 0 19 0 104300827 9856040960 131023 33554432000 1073741824 1073778376 140734477226528 140599309093480 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32147/tid=32159] ppid=32144 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32147/task/32159/stat : 32159 (java) S 32144 32147 31144 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 104300828 9856040960 131023 33554432000 1073741824 1073778376 140734477226528 140599308039800 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32147/tid=32160] ppid=32144 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32147/task/32160/stat : 32160 (java) S 32144 32147 31144 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 104300828 9856040960 131023 33554432000 1073741824 1073778376 140734477226528 140599306987144 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32147/tid=32161] ppid=32144 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32147/task/32161/stat : 32161 (java) S 32144 32147 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104300830 9856040960 131023 33554432000 1073741824 1073778376 140734477226528 140599305935888 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32147/tid=32162] ppid=32144 vsize=9625040 CPUtime=0.25 cores=0,2,4,6
/proc/32147/task/32162/stat : 32162 (java) S 32144 32147 31144 0 -1 4202560 1678 0 0 0 25 0 0 0 20 0 19 0 104300830 9856040960 131023 33554432000 1073741824 1073778376 140734477226528 140599304882232 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32147/tid=32163] ppid=32144 vsize=9625040 CPUtime=0.43 cores=0,2,4,6
/proc/32147/task/32163/stat : 32163 (java) S 32144 32147 31144 0 -1 4202560 3148 0 0 0 43 0 0 0 20 0 19 0 104300830 9856040960 131023 33554432000 1073741824 1073778376 140734477226528 140599303829688 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32147/tid=32164] ppid=32144 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32147/task/32164/stat : 32164 (java) S 32144 32147 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104300830 9856040960 131023 33554432000 1073741824 1073778376 140734477226528 140599302777336 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=32147/tid=32165] ppid=32144 vsize=9625040 CPUtime=0.4 cores=0,2,4,6
/proc/32147/task/32165/stat : 32165 (java) S 32144 32147 31144 0 -1 4202560 103 0 0 0 20 20 0 0 20 0 19 0 104300830 9856040960 131023 33554432000 1073741824 1073778376 140734477226528 140599301725000 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32147/tid=32166] ppid=32144 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32147/task/32166/stat : 32166 (java) S 32144 32147 31144 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104300859 9856040960 131023 33554432000 1073741824 1073778376 140734477226528 140599300670760 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.86
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1782.5 s]
/proc/loadavg: 2.20 2.21 2.14 3/213 32300
/proc/meminfo: memFree=30192696/32872528 swapFree=12352/737972
[pid=32147] ppid=32144 vsize=9625040 CPUtime=1800.06 cores=0,2,4,6
/proc/32147/stat : 32147 (java) S 32144 32147 31144 0 -1 4202496 20247 0 1 0 179873 133 0 0 20 0 19 0 104300824 9856040960 131023 33554432000 1073741824 1073778376 140734477226528 140734477217664 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32147/statm: 2406260 131023 2291 9 0 2396937 0
[pid=32147/tid=32149] ppid=32144 vsize=9625040 CPUtime=1764.69 cores=0,2,4,6
/proc/32147/task/32149/stat : 32149 (java) R 32144 32147 31144 0 -1 4202560 2848 0 1 0 176438 31 0 0 20 0 19 0 104300825 9856040960 131023 33554432000 1073741824 1073778376 140734477226528 140599955426528 140599798344762 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=32147/tid=32150] ppid=32144 vsize=9625040 CPUtime=2.92 cores=0,2,4,6
/proc/32147/task/32150/stat : 32150 (java) S 32144 32147 31144 0 -1 4202560 1275 0 0 0 279 13 0 0 20 0 19 0 104300826 9856040960 131023 33554432000 1073741824 1073778376 140734477226528 140599916919464 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=32147/tid=32151] ppid=32144 vsize=9625040 CPUtime=3 cores=0,2,4,6
/proc/32147/task/32151/stat : 32151 (java) S 32144 32147 31144 0 -1 4202560 1384 0 0 0 285 15 0 0 20 0 19 0 104300826 9856040960 131023 33554432000 1073741824 1073778376 140734477226528 140599797738280 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32147/tid=32152] ppid=32144 vsize=9625040 CPUtime=2.99 cores=0,2,4,6
/proc/32147/task/32152/stat : 32152 (java) S 32144 32147 31144 0 -1 4202560 1094 0 0 0 287 12 0 0 20 0 19 0 104300826 9856040960 131023 33554432000 1073741824 1073778376 140734477226528 140599796685736 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32147/tid=32153] ppid=32144 vsize=9625040 CPUtime=3.08 cores=0,2,4,6
/proc/32147/task/32153/stat : 32153 (java) S 32144 32147 31144 0 -1 4202560 1203 0 0 0 296 12 0 0 20 0 19 0 104300826 9856040960 131023 33554432000 1073741824 1073778376 140734477226528 140599795633192 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32147/tid=32154] ppid=32144 vsize=9625040 CPUtime=2.94 cores=0,2,4,6
/proc/32147/task/32154/stat : 32154 (java) S 32144 32147 31144 0 -1 4202560 1795 0 0 0 279 15 0 0 20 0 19 0 104300826 9856040960 131023 33554432000 1073741824 1073778376 140734477226528 140599794579624 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32147/tid=32155] ppid=32144 vsize=9625040 CPUtime=2.97 cores=0,2,4,6
/proc/32147/task/32155/stat : 32155 (java) S 32144 32147 31144 0 -1 4202560 1435 0 0 0 284 13 0 0 20 0 19 0 104300826 9856040960 131023 33554432000 1073741824 1073778376 140734477226528 140599793527080 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32147/tid=32156] ppid=32144 vsize=9625040 CPUtime=2.92 cores=0,2,4,6
/proc/32147/task/32156/stat : 32156 (java) S 32144 32147 31144 0 -1 4202560 888 0 0 0 279 13 0 0 20 0 19 0 104300826 9856040960 131023 33554432000 1073741824 1073778376 140734477226528 140599792474536 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=32147/tid=32157] ppid=32144 vsize=9625040 CPUtime=3.09 cores=0,2,4,6
/proc/32147/task/32157/stat : 32157 (java) S 32144 32147 31144 0 -1 4202560 1086 0 0 0 296 13 0 0 20 0 19 0 104300826 9856040960 131023 33554432000 1073741824 1073778376 140734477226528 140599791421992 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32147/tid=32158] ppid=32144 vsize=9625040 CPUtime=6.07 cores=0,2,4,6
/proc/32147/task/32158/stat : 32158 (java) S 32144 32147 31144 0 -1 4202560 1052 0 0 0 601 6 0 0 20 0 19 0 104300827 9856040960 131023 33554432000 1073741824 1073778376 140734477226528 140599309093480 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32147/tid=32159] ppid=32144 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32147/task/32159/stat : 32159 (java) S 32144 32147 31144 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 104300828 9856040960 131023 33554432000 1073741824 1073778376 140734477226528 140599308039800 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32147/tid=32160] ppid=32144 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32147/task/32160/stat : 32160 (java) S 32144 32147 31144 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 104300828 9856040960 131023 33554432000 1073741824 1073778376 140734477226528 140599306987144 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32147/tid=32161] ppid=32144 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32147/task/32161/stat : 32161 (java) S 32144 32147 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104300830 9856040960 131023 33554432000 1073741824 1073778376 140734477226528 140599305935888 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32147/tid=32162] ppid=32144 vsize=9625040 CPUtime=0.25 cores=0,2,4,6
/proc/32147/task/32162/stat : 32162 (java) S 32144 32147 31144 0 -1 4202560 1678 0 0 0 25 0 0 0 20 0 19 0 104300830 9856040960 131023 33554432000 1073741824 1073778376 140734477226528 140599304882232 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32147/tid=32163] ppid=32144 vsize=9625040 CPUtime=0.43 cores=0,2,4,6
/proc/32147/task/32163/stat : 32163 (java) S 32144 32147 31144 0 -1 4202560 3148 0 0 0 43 0 0 0 20 0 19 0 104300830 9856040960 131023 33554432000 1073741824 1073778376 140734477226528 140599303829688 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32147/tid=32164] ppid=32144 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32147/task/32164/stat : 32164 (java) S 32144 32147 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104300830 9856040960 131023 33554432000 1073741824 1073778376 140734477226528 140599302777336 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=32147/tid=32165] ppid=32144 vsize=9625040 CPUtime=0.4 cores=0,2,4,6
/proc/32147/task/32165/stat : 32165 (java) S 32144 32147 31144 0 -1 4202560 103 0 0 0 20 20 0 0 20 0 19 0 104300830 9856040960 131023 33554432000 1073741824 1073778376 140734477226528 140599301725000 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32147/tid=32166] ppid=32144 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32147/task/32166/stat : 32166 (java) S 32144 32147 31144 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104300859 9856040960 131023 33554432000 1073741824 1073778376 140734477226528 140599300670760 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 9625040

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 32147 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1782.5 s]
/proc/loadavg: 2.20 2.21 2.14 3/213 32300
/proc/meminfo: memFree=30192696/32872528 swapFree=12352/737972
[pid=32147] ppid=32144 vsize=9625040 CPUtime=1800.06 cores=0,2,4,6
/proc/32147/stat : 32147 (java) S 32144 32147 31144 0 -1 4202496 20247 0 1 0 179873 133 0 0 20 0 19 0 104300824 9856040960 131023 33554432000 1073741824 1073778376 140734477226528 140734477217664 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32147/statm: 2406260 131023 2291 9 0 2396937 0
[pid=32147/tid=32149] ppid=32144 vsize=9625040 CPUtime=1764.69 cores=0,2,4,6
/proc/32147/task/32149/stat : 32149 (java) R 32144 32147 31144 0 -1 4202560 2848 0 1 0 176438 31 0 0 20 0 19 0 104300825 9856040960 131023 33554432000 1073741824 1073778376 140734477226528 140599955426528 140599798344762 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=32147/tid=32150] ppid=32144 vsize=9625040 CPUtime=2.92 cores=0,2,4,6
/proc/32147/task/32150/stat : 32150 (java) S 32144 32147 31144 0 -1 4202560 1275 0 0 0 279 13 0 0 20 0 19 0 104300826 9856040960 131023 33554432000 1073741824 1073778376 140734477226528 140599916919464 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=32147/tid=32151] ppid=32144 vsize=9625040 CPUtime=3 cores=0,2,4,6
/proc/32147/task/32151/stat : 32151 (java) S 32144 32147 31144 0 -1 4202560 1384 0 0 0 285 15 0 0 20 0 19 0 104300826 9856040960 131023 33554432000 1073741824 1073778376 140734477226528 140599797738280 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32147/tid=32152] ppid=32144 vsize=9625040 CPUtime=2.99 cores=0,2,4,6
/proc/32147/task/32152/stat : 32152 (java) S 32144 32147 31144 0 -1 4202560 1094 0 0 0 287 12 0 0 20 0 19 0 104300826 9856040960 131023 33554432000 1073741824 1073778376 140734477226528 140599796685736 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32147/tid=32153] ppid=32144 vsize=9625040 CPUtime=3.08 cores=0,2,4,6
/proc/32147/task/32153/stat : 32153 (java) S 32144 32147 31144 0 -1 4202560 1203 0 0 0 296 12 0 0 20 0 19 0 104300826 9856040960 131023 33554432000 1073741824 1073778376 140734477226528 140599795633192 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32147/tid=32154] ppid=32144 vsize=9625040 CPUtime=2.94 cores=0,2,4,6
/proc/32147/task/32154/stat : 32154 (java) S 32144 32147 31144 0 -1 4202560 1795 0 0 0 279 15 0 0 20 0 19 0 104300826 9856040960 131023 33554432000 1073741824 1073778376 140734477226528 140599794579624 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32147/tid=32155] ppid=32144 vsize=9625040 CPUtime=2.97 cores=0,2,4,6
/proc/32147/task/32155/stat : 32155 (java) S 32144 32147 31144 0 -1 4202560 1435 0 0 0 284 13 0 0 20 0 19 0 104300826 9856040960 131023 33554432000 1073741824 1073778376 140734477226528 140599793527080 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32147/tid=32156] ppid=32144 vsize=9625040 CPUtime=2.92 cores=0,2,4,6
/proc/32147/task/32156/stat : 32156 (java) S 32144 32147 31144 0 -1 4202560 888 0 0 0 279 13 0 0 20 0 19 0 104300826 9856040960 131023 33554432000 1073741824 1073778376 140734477226528 140599792474536 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=32147/tid=32157] ppid=32144 vsize=9625040 CPUtime=3.09 cores=0,2,4,6
/proc/32147/task/32157/stat : 32157 (java) S 32144 32147 31144 0 -1 4202560 1086 0 0 0 296 13 0 0 20 0 19 0 104300826 9856040960 131023 33554432000 1073741824 1073778376 140734477226528 140599791421992 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32147/tid=32158] ppid=32144 vsize=9625040 CPUtime=6.07 cores=0,2,4,6
/proc/32147/task/32158/stat : 32158 (java) S 32144 32147 31144 0 -1 4202560 1052 0 0 0 601 6 0 0 20 0 19 0 104300827 9856040960 131023 33554432000 1073741824 1073778376 140734477226528 140599309093480 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32147/tid=32159] ppid=32144 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32147/task/32159/stat : 32159 (java) S 32144 32147 31144 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 104300828 9856040960 131023 33554432000 1073741824 1073778376 140734477226528 140599308039800 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32147/tid=32160] ppid=32144 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32147/task/32160/stat : 32160 (java) S 32144 32147 31144 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 104300828 9856040960 131023 33554432000 1073741824 1073778376 140734477226528 140599306987144 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32147/tid=32161] ppid=32144 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32147/task/32161/stat : 32161 (java) S 32144 32147 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104300830 9856040960 131023 33554432000 1073741824 1073778376 140734477226528 140599305935888 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32147/tid=32162] ppid=32144 vsize=9625040 CPUtime=0.25 cores=0,2,4,6
/proc/32147/task/32162/stat : 32162 (java) S 32144 32147 31144 0 -1 4202560 1678 0 0 0 25 0 0 0 20 0 19 0 104300830 9856040960 131023 33554432000 1073741824 1073778376 140734477226528 140599304882232 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32147/tid=32163] ppid=32144 vsize=9625040 CPUtime=0.43 cores=0,2,4,6
/proc/32147/task/32163/stat : 32163 (java) S 32144 32147 31144 0 -1 4202560 3148 0 0 0 43 0 0 0 20 0 19 0 104300830 9856040960 131023 33554432000 1073741824 1073778376 140734477226528 140599303829688 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32147/tid=32164] ppid=32144 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32147/task/32164/stat : 32164 (java) S 32144 32147 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104300830 9856040960 131023 33554432000 1073741824 1073778376 140734477226528 140599302777336 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=32147/tid=32165] ppid=32144 vsize=9625040 CPUtime=0.4 cores=0,2,4,6
/proc/32147/task/32165/stat : 32165 (java) S 32144 32147 31144 0 -1 4202560 103 0 0 0 20 20 0 0 20 0 19 0 104300830 9856040960 131023 33554432000 1073741824 1073778376 140734477226528 140599301725000 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32147/tid=32166] ppid=32144 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32147/task/32166/stat : 32166 (java) S 32144 32147 31144 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104300859 9856040960 131023 33554432000 1073741824 1073778376 140734477226528 140599300670760 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 9625040

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 32147 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=338219
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=773730
# CPU time returned by wait4() is 1796.11
# while last known CPU time is 1800.06
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1782.55
CPU time (s): 1800.06
CPU user time (s): 1798.73
CPU system time (s): 1.33
CPU usage (%): 100.983
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.34
system time used= 1.77373
maximum resident set size= 649592
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20328
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 49712
involuntary context switches= 48260

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.4904 second user time and 12.5951 second system time

The end

Launcher Data 

Begin job on node112 at 2016-06-06 16:34:24
IDJOB=4085175
IDBENCH=1873
IDSOLVER=2546
FILE ID=node112/4085175-1465223663
RUNJOBID= node112-1465218300-31160
PBS_JOBID= 19843211
Free space on /tmp= 71748 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-seymour.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4085175-1465223663/watcher-4085175-1465223663 -o /tmp/evaluation-result-4085175-1465223663/solver-4085175-1465223663 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1465218300-31160 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4085175-1465223663.opb

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

MD5SUM BENCH= 97ebaccbda37d5c570b4e2ec3cd7f8f0
RANDOM SEED=839811544

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.783
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.56
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.783
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	: 5332.55
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.783
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	: 5332.55
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.783
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	: 5332.56
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.783
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	: 5332.54
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.783
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	: 5332.72
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.783
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	: 5332.55
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.783
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	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30892200 kB
Buffers:            9864 kB
Cached:            81372 kB
SwapCached:         1616 kB
Active:           505852 kB
Inactive:          34912 kB
Active(anon):     451372 kB
Inactive(anon):      544 kB
Active(file):      54480 kB
Inactive(file):    34368 kB
Unevictable:      737972 kB
Mlocked:           12352 kB
SwapTotal:      67108856 kB
SwapFree:       67098556 kB
Dirty:               888 kB
Writeback:             4 kB
AnonPages:       1186572 kB
Mapped:            15288 kB
Shmem:                 0 kB
Slab:             565788 kB
SReclaimable:       9404 kB
SUnreclaim:       556384 kB
KernelStack:        1600 kB
PageTables:         7016 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1319172 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1163264 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71740 MiB
End job on node112 at 2016-06-06 17:04:06