Trace number 3710716

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 specific settings 2.3.2 snapshotSAT (TO)-45 1800.78 1794.25

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-3.opb
MD5SUM4c9dc9cf5c24873d3237c90ee1682632
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-52
Best CPU time to get the best result obtained on this benchmark1800.02
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -54
Optimality of the best value was proved NO
Number of variables1400
Total number of constraints109379
Number of constraints which are clauses109379
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 constraint2
Maximum length of a constraint2
Number of terms in the objective function 1400
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 1400
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 1400
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.04/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.04/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.04/0.09	c See www.sat4j.org for details.
0.04/0.09	c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.org for details.
0.04/0.09	c version 2.3.2.v20120418
0.04/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.04/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.04/0.09	c java.vm.version	19.1-b02
0.04/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.04/0.09	c sun.arch.data.model	64
0.04/0.09	c java.version		1.6.0_24
0.04/0.09	c os.name		Linux
0.04/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.04/0.09	c os.arch		amd64
0.04/0.09	c Free memory 		501472288
0.04/0.09	c Max memory 		7480803328
0.04/0.09	c Total memory 		504102912
0.04/0.09	c Number of processors 	8
0.09/0.12	c read org.sat4j.minisat.orders.VarOrderHeap
0.09/0.12	c configuring ORDERS
0.09/0.13	c --- Begin Solver configuration ---
0.09/0.13	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2dcb25f1
0.09/0.13	c Learn all clauses as in MiniSAT
0.09/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.13	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause
0.09/0.13	c Expensive reason simplification
0.09/0.13	c Armin Biere (Picosat) restarts strategy
0.09/0.13	c Glucose learned constraints deletion strategy
0.09/0.13	c timeout=2147483s
0.09/0.13	c DB Simplification allowed=true
0.09/0.13	c Heuristics kept accross calls (keep the solver "hot")
0.09/0.13	c --- End Solver configuration ---
0.09/0.13	c solving HOME/instance-3710716-1338147604.opb
0.09/0.13	c reading problem ... 
0.99/0.74	c ... done. Wall clock time 0.61s.
0.99/0.74	c declared #vars     1400
0.99/0.74	c #constraints  109379
0.99/0.74	c constraints type 
0.99/0.74	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 109379
0.99/0.74	c 109379 constraints processed.
0.99/0.77	c SATISFIABLE
0.99/0.77	c OPTIMIZING...
0.99/0.77	c Got one! Elapsed wall clock time (in seconds):0.641
0.99/0.77	o 0
0.99/0.79	c Got one! Elapsed wall clock time (in seconds):0.66
0.99/0.79	o -1
1.11/0.86	c Got one! Elapsed wall clock time (in seconds):0.729
1.11/0.86	o -2
1.11/0.87	c Got one! Elapsed wall clock time (in seconds):0.745
1.11/0.87	o -39
1.56/1.00	c Got one! Elapsed wall clock time (in seconds):0.875
1.56/1.00	o -40
1.69/1.18	c Got one! Elapsed wall clock time (in seconds):1.051
1.69/1.18	o -41
2.24/1.63	c Got one! Elapsed wall clock time (in seconds):1.506
2.24/1.63	o -42
2.77/2.12	c Got one! Elapsed wall clock time (in seconds):1.992
2.77/2.12	o -43
3.68/3.02	c cleaning 3661 clauses out of 7327 with flag 3000/7327
5.59/4.89	c cleaning 4833 clauses out of 9668 with flag 9002/13329
7.75/6.96	c cleaning 5912 clauses out of 11835 with flag 16002/20329
10.30/9.42	c cleaning 6952 clauses out of 13921 with flag 24000/28327
11.89/10.92	c Got one! Elapsed wall clock time (in seconds):10.792
11.89/10.92	o -44
12.23/11.26	c cleaning 6241 clauses out of 12484 with flag 1000/33842
14.17/13.12	c cleaning 6122 clauses out of 12244 with flag 7001/39843
16.38/15.40	c cleaning 6561 clauses out of 13121 with flag 14000/46842
19.10/18.04	c cleaning 7277 clauses out of 14560 with flag 22000/54842
22.05/20.96	c cleaning 8138 clauses out of 16285 with flag 31002/63844
25.78/24.65	c cleaning 9069 clauses out of 18146 with flag 41001/73843
29.33/28.18	c cleaning 10035 clauses out of 20076 with flag 52000/84842
33.67/32.47	c cleaning 11018 clauses out of 22042 with flag 64001/96843
39.04/37.72	c cleaning 12008 clauses out of 24024 with flag 77001/109843
43.97/42.67	c cleaning 13000 clauses out of 26016 with flag 91001/123843
49.66/48.22	c cleaning 14003 clauses out of 28015 with flag 106000/138842
56.53/55.05	c cleaning 15007 clauses out of 30013 with flag 122001/154843
65.42/63.84	c cleaning 15991 clauses out of 32006 with flag 139001/171843
71.69/70.09	c cleaning 17006 clauses out of 34014 with flag 157000/189842
79.29/77.51	c cleaning 18002 clauses out of 36008 with flag 176000/208842
89.48/87.69	c cleaning 18998 clauses out of 38007 with flag 196001/228843
100.35/98.43	c cleaning 20000 clauses out of 40008 with flag 217000/249842
109.85/107.87	c cleaning 21005 clauses out of 42009 with flag 239001/271843
118.96/116.82	c cleaning 21995 clauses out of 44003 with flag 262000/294842
129.94/127.75	c cleaning 22998 clauses out of 46008 with flag 286000/318842
144.38/142.02	c cleaning 23999 clauses out of 48010 with flag 311000/343842
157.58/155.16	c cleaning 25003 clauses out of 50012 with flag 337001/369843
172.09/169.50	c cleaning 26003 clauses out of 52011 with flag 364003/396845
182.62/179.91	c cleaning 26998 clauses out of 54005 with flag 392000/424842
195.33/192.59	c cleaning 27999 clauses out of 56008 with flag 421001/453843
211.13/208.27	c cleaning 29000 clauses out of 58011 with flag 451003/483845
231.54/228.61	c cleaning 29996 clauses out of 60008 with flag 482000/514842
250.65/247.74	c cleaning 31001 clauses out of 62012 with flag 514000/546842
278.85/275.96	c cleaning 31996 clauses out of 64011 with flag 547000/579842
293.75/290.82	c cleaning 33004 clauses out of 66015 with flag 581000/613842
311.16/308.21	c cleaning 34000 clauses out of 68015 with flag 616004/648846
330.96/328.09	c cleaning 34999 clauses out of 70012 with flag 652001/684843
353.96/351.09	c cleaning 36006 clauses out of 72012 with flag 689000/721842
378.25/375.33	c cleaning 37001 clauses out of 74008 with flag 727002/759844
399.25/396.33	c cleaning 38003 clauses out of 76005 with flag 766000/798842
427.86/424.96	c cleaning 38999 clauses out of 78002 with flag 806000/838842
458.75/455.86	c cleaning 40001 clauses out of 80003 with flag 847000/879842
477.06/474.16	c cleaning 41003 clauses out of 82005 with flag 889003/921845
497.15/494.21	c cleaning 41992 clauses out of 84000 with flag 932001/964843
521.76/518.81	c cleaning 42997 clauses out of 86007 with flag 976000/1008842
551.66/548.71	c cleaning 43996 clauses out of 88011 with flag 1021001/1053843
582.58/579.62	c cleaning 45002 clauses out of 90018 with flag 1067004/1099846
621.67/618.71	c cleaning 46007 clauses out of 92015 with flag 1114003/1146845
649.78/646.82	c Got one! Elapsed wall clock time (in seconds):646.697
649.78/646.82	o -45
652.37/649.42	c cleaning 44523 clauses out of 89054 with flag 5001/1189891
654.77/651.80	c cleaning 25260 clauses out of 50532 with flag 11002/1195892
657.38/654.49	c cleaning 16131 clauses out of 32270 with flag 18000/1202890
660.49/657.57	c cleaning 12064 clauses out of 24141 with flag 26002/1210892
664.31/661.30	c cleaning 10534 clauses out of 21076 with flag 35001/1219891
668.42/665.49	c cleaning 10264 clauses out of 20542 with flag 45001/1229891
673.14/670.15	c cleaning 10635 clauses out of 21279 with flag 56002/1240892
679.07/676.04	c cleaning 11317 clauses out of 22642 with flag 68000/1252890
685.72/682.62	c cleaning 12159 clauses out of 24325 with flag 81000/1265890
694.25/691.11	c cleaning 13079 clauses out of 26167 with flag 95001/1279891
703.70/700.53	c cleaning 14040 clauses out of 28089 with flag 110002/1294892
714.45/711.26	c cleaning 15021 clauses out of 30048 with flag 126001/1310891
727.01/723.73	c cleaning 16013 clauses out of 32026 with flag 143000/1327890
732.89/729.55	c cleaning 17008 clauses out of 34016 with flag 161003/1345893
741.34/737.90	c cleaning 18003 clauses out of 36006 with flag 180001/1364891
749.92/746.48	c cleaning 18997 clauses out of 38002 with flag 200000/1384890
758.49/754.91	c cleaning 19995 clauses out of 40006 with flag 221001/1405891
767.95/764.40	c cleaning 20999 clauses out of 42012 with flag 243002/1427892
781.02/777.37	c cleaning 22000 clauses out of 44013 with flag 266002/1450892
792.71/788.93	c cleaning 23004 clauses out of 46011 with flag 290000/1474890
808.27/804.40	c cleaning 23995 clauses out of 48007 with flag 315000/1499890
826.36/822.47	c cleaning 25001 clauses out of 50013 with flag 341001/1525891
841.25/837.29	c cleaning 26002 clauses out of 52012 with flag 368001/1552891
858.04/853.98	c cleaning 27002 clauses out of 54010 with flag 396001/1580891
877.64/873.51	c cleaning 27999 clauses out of 56007 with flag 425000/1609890
892.95/888.89	c cleaning 29002 clauses out of 58008 with flag 455000/1639890
912.95/908.83	c cleaning 30000 clauses out of 60007 with flag 486001/1670891
936.95/932.80	c cleaning 30996 clauses out of 62007 with flag 518001/1702891
963.65/959.54	c cleaning 32002 clauses out of 64011 with flag 551001/1735891
990.87/986.73	c cleaning 33001 clauses out of 66008 with flag 585000/1769890
1013.17/1009.01	c cleaning 33995 clauses out of 68007 with flag 620000/1804890
1038.99/1034.89	c cleaning 35005 clauses out of 70014 with flag 656002/1840892
1068.19/1064.05	c cleaning 35988 clauses out of 72008 with flag 693001/1877891
1100.30/1096.14	c cleaning 37009 clauses out of 74020 with flag 731001/1915891
1135.42/1131.28	c cleaning 37997 clauses out of 76011 with flag 770001/1954891
1170.94/1166.71	c cleaning 39004 clauses out of 78014 with flag 810001/1994891
1187.04/1182.82	c cleaning 40001 clauses out of 80010 with flag 851001/2035891
1214.54/1210.32	c cleaning 40993 clauses out of 82009 with flag 893001/2077891
1243.04/1238.80	c cleaning 42004 clauses out of 84015 with flag 936000/2120890
1271.64/1267.42	c cleaning 43006 clauses out of 86011 with flag 980000/2164890
1297.26/1293.06	c cleaning 44000 clauses out of 88008 with flag 1025003/2209893
1331.27/1327.01	c cleaning 44999 clauses out of 90006 with flag 1071001/2255891
1358.88/1354.62	c cleaning 45998 clauses out of 92007 with flag 1118001/2302891
1400.10/1395.89	c cleaning 46994 clauses out of 94008 with flag 1166000/2350890
1450.12/1445.87	c cleaning 47993 clauses out of 96015 with flag 1215001/2399891
1490.55/1485.71	c cleaning 49002 clauses out of 98022 with flag 1265001/2449891
1529.86/1525.03	c cleaning 50009 clauses out of 100020 with flag 1316001/2500891
1577.88/1572.90	c cleaning 51005 clauses out of 102011 with flag 1368001/2552891
1626.89/1621.73	c cleaning 51997 clauses out of 104006 with flag 1421001/2605891
1671.23/1665.99	c cleaning 53003 clauses out of 106010 with flag 1475002/2659892
1728.90/1723.47	c cleaning 53996 clauses out of 108005 with flag 1530000/2714890
1798.58/1792.91	c cleaning 54998 clauses out of 110010 with flag 1586001/2770891
1800.03/1794.21	c starts		: 241
1800.03/1794.21	c conflicts		: 2773482
1800.03/1794.21	c decisions		: 2820778
1800.03/1794.21	c propagations		: 15227155
1800.03/1794.21	c inspects		: 3307517395
1800.03/1794.21	c shortcuts		: 0
1800.03/1794.21	c learnt literals	: 0
1800.03/1794.21	c learnt binary clauses	: 0
1800.03/1794.21	c learnt ternary clauses	: 0
1800.03/1794.21	c learnt constraints	: 2773482
1800.03/1794.21	c ignored constraints	: 0
1800.03/1794.21	c root simplifications	: 241
1800.03/1794.21	c removed literals (reason simplification)	: 63228829
1800.03/1794.21	c reason swapping (by a shorter reason)	: 0
1800.03/1794.21	c Calls to reduceDB	: 99
1800.03/1794.21	c number of reductions to clauses (during analyze)	: 0
1800.03/1794.21	c number of learned constraints concerned by reduction	: 0
1800.03/1794.21	c number of learning phase by resolution	: 0
1800.03/1794.21	c number of learning phase by cutting planes	: 0
1800.03/1794.21	c speed (assignments/second)	: 8490.351643131233
1800.03/1794.21	c non guided choices	4197
1800.03/1794.23	c learnt constraints type 
1800.03/1794.23	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 57652
1800.03/1794.23	c constraints type 
1800.03/1794.23	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 0
1800.03/1794.23	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.03/1794.23	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 109379
1800.03/1794.23	c 109380 constraints processed.
1800.03/1794.23	s SATISFIABLE
1800.03/1794.25	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 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 
1800.03/1794.25	c objective function=-45
1800.03/1794.25	c Total wall clock time (in seconds): 1794.109

Verifier Data 

OK	-45

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-3710716-1338147604/watcher-3710716-1338147604 -o /tmp/evaluation-result-3710716-1338147604/solver-3710716-1338147604 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710716-1338147604.opb 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.96 2.01 2.00 3/195 28192
/proc/meminfo: memFree=28783852/32873844 swapFree=6856/6856
[pid=28192] ppid=28190 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/28192/stat : 28192 (java) D 28190 28192 24682 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 280885336 9515008 183 33554432000 1073741824 1073778376 140735023497328 140735023488360 223651643061 0 0 4096 0 18446744072100588836 0 0 17 4 0 0 0 0 0
/proc/28192/statm: 2323 183 140 9 0 71 0

[startup+0.0674361 s]
/proc/loadavg: 1.96 2.01 2.00 3/195 28192
/proc/meminfo: memFree=28783852/32873844 swapFree=6856/6856
[pid=28192] ppid=28190 vsize=9558440 CPUtime=0.04 cores=0,2,4,6
/proc/28192/stat : 28192 (java) S 28190 28192 24682 0 -1 4202496 3183 0 1 0 3 1 0 0 20 0 18 0 280885336 9787842560 4391 33554432000 1073741824 1073778376 140734814164448 140734814155584 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28192/statm: 2389610 4391 1761 9 0 2380296 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 9558440

[startup+0.100249 s]
/proc/loadavg: 1.96 2.01 2.00 3/195 28192
/proc/meminfo: memFree=28783852/32873844 swapFree=6856/6856
[pid=28192] ppid=28190 vsize=9558440 CPUtime=0.09 cores=0,2,4,6
/proc/28192/stat : 28192 (java) S 28190 28192 24682 0 -1 4202496 4117 0 1 0 7 2 0 0 20 0 18 0 280885336 9787842560 5324 33554432000 1073741824 1073778376 140734814164448 140734814155584 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28192/statm: 2389610 5325 2111 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558440

[startup+0.300206 s]
/proc/loadavg: 1.96 2.01 2.00 3/195 28192
/proc/meminfo: memFree=28783852/32873844 swapFree=6856/6856
[pid=28192] ppid=28190 vsize=9558440 CPUtime=0.43 cores=0,2,4,6
/proc/28192/stat : 28192 (java) S 28190 28192 24682 0 -1 4202496 5277 0 1 0 41 2 0 0 20 0 18 0 280885336 9787842560 7773 33554432000 1073741824 1073778376 140734814164448 140734814155584 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28192/statm: 2389610 7773 2220 9 0 2380296 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 9558440

[startup+0.700224 s]
/proc/loadavg: 1.96 2.01 2.00 3/195 28192
/proc/meminfo: memFree=28783852/32873844 swapFree=6856/6856
[pid=28192] ppid=28190 vsize=9558440 CPUtime=0.99 cores=0,2,4,6
/proc/28192/stat : 28192 (java) S 28190 28192 24682 0 -1 4202496 7098 0 1 0 94 5 0 0 20 0 18 0 280885336 9787842560 40528 33554432000 1073741824 1073778376 140734814164448 140734814155584 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28192/statm: 2389610 40528 2249 9 0 2380296 0
Current children cumulated CPU time (s) 0.99
Current children cumulated vsize (KiB) 9558440

[startup+1.50068 s]
/proc/loadavg: 1.96 2.01 2.00 3/214 28211
/proc/meminfo: memFree=28628236/32873844 swapFree=6856/6856
[pid=28192] ppid=28190 vsize=9625004 CPUtime=2.09 cores=0,2,4,6
/proc/28192/stat : 28192 (java) S 28190 28192 24682 0 -1 4202496 7317 0 1 0 204 5 0 0 20 0 19 0 280885336 9856004096 41143 33554432000 1073741824 1073778376 140734814164448 140734814155584 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28192/statm: 2406251 41143 2267 9 0 2396937 0
[pid=28192/tid=28194] ppid=28190 vsize=9625004 CPUtime=1.46 cores=0,2,4,6
/proc/28192/task/28194/stat : 28194 (java) R 28190 28192 24682 0 -1 4202560 2571 0 1 0 142 4 0 0 20 0 19 0 280885337 9856004096 41143 33554432000 1073741824 1073778376 140734814164448 140369771466888 140369614787840 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=28192/tid=28195] ppid=28190 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28192/task/28195/stat : 28195 (java) S 28190 28192 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280885338 9856004096 41143 33554432000 1073741824 1073778376 140734814164448 140369732959272 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28192/tid=28196] ppid=28190 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28192/task/28196/stat : 28196 (java) S 28190 28192 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280885338 9856004096 41143 33554432000 1073741824 1073778376 140734814164448 140369614334888 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28192/tid=28197] ppid=28190 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28192/task/28197/stat : 28197 (java) S 28190 28192 24682 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280885338 9856004096 41143 33554432000 1073741824 1073778376 140734814164448 140369613282088 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28192/tid=28198] ppid=28190 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28192/task/28198/stat : 28198 (java) S 28190 28192 24682 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 280885338 9856004096 41143 33554432000 1073741824 1073778376 140734814164448 140369612229288 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28192/tid=28199] ppid=28190 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28192/task/28199/stat : 28199 (java) S 28190 28192 24682 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280885338 9856004096 41143 33554432000 1073741824 1073778376 140734814164448 140369611176488 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28192/tid=28200] ppid=28190 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28192/task/28200/stat : 28200 (java) S 28190 28192 24682 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 280885338 9856004096 41143 33554432000 1073741824 1073778376 140734814164448 140369610123688 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28192/tid=28201] ppid=28190 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28192/task/28201/stat : 28201 (java) S 28190 28192 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280885339 9856004096 41143 33554432000 1073741824 1073778376 140734814164448 140369609070888 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28192/tid=28202] ppid=28190 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28192/task/28202/stat : 28202 (java) S 28190 28192 24682 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 280885339 9856004096 41143 33554432000 1073741824 1073778376 140734814164448 140369608018088 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28192/tid=28203] ppid=28190 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28192/task/28203/stat : 28203 (java) S 28190 28192 24682 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 19 0 280885340 9856004096 41143 33554432000 1073741824 1073778376 140734814164448 140369125690344 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28192/tid=28204] ppid=28190 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28192/task/28204/stat : 28204 (java) S 28190 28192 24682 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280885340 9856004096 41143 33554432000 1073741824 1073778376 140734814164448 140369124636408 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28192/tid=28205] ppid=28190 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28192/task/28205/stat : 28205 (java) S 28190 28192 24682 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280885340 9856004096 41143 33554432000 1073741824 1073778376 140734814164448 140369123583496 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28192/tid=28206] ppid=28190 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28192/task/28206/stat : 28206 (java) S 28190 28192 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280885343 9856004096 41143 33554432000 1073741824 1073778376 140734814164448 140369122531984 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28192/tid=28207] ppid=28190 vsize=9625004 CPUtime=0.28 cores=0,2,4,6
/proc/28192/task/28207/stat : 28207 (java) S 28190 28192 24682 0 -1 4202560 1219 0 0 0 28 0 0 0 20 0 19 0 280885343 9856004096 41143 33554432000 1073741824 1073778376 140734814164448 140369121479096 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28192/tid=28208] ppid=28190 vsize=9625004 CPUtime=0.29 cores=0,2,4,6
/proc/28192/task/28208/stat : 28208 (java) S 28190 28192 24682 0 -1 4202560 2246 0 0 0 29 0 0 0 20 0 19 0 280885343 9856004096 41143 33554432000 1073741824 1073778376 140734814164448 140369120426296 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28192/tid=28209] ppid=28190 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28192/task/28209/stat : 28209 (java) S 28190 28192 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280885343 9856004096 41143 33554432000 1073741824 1073778376 140734814164448 140369119373688 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28192/tid=28210] ppid=28190 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28192/task/28210/stat : 28210 (java) S 28190 28192 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280885343 9856004096 41143 33554432000 1073741824 1073778376 140734814164448 140369118321096 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28192/tid=28211] ppid=28190 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28192/task/28211/stat : 28211 (java) S 28190 28192 24682 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280885411 9856004096 41143 33554432000 1073741824 1073778376 140734814164448 140369117267624 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.09
Current children cumulated vsize (KiB) 9625004

[startup+3.10066 s]
/proc/loadavg: 1.96 2.01 2.00 3/214 28211
/proc/meminfo: memFree=28626980/32873844 swapFree=6856/6856
[pid=28192] ppid=28190 vsize=9625004 CPUtime=3.86 cores=0,2,4,6
/proc/28192/stat : 28192 (java) S 28190 28192 24682 0 -1 4202496 8608 0 1 0 378 8 0 0 20 0 19 0 280885336 9856004096 54332 33554432000 1073741824 1073778376 140734814164448 140734814155584 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28192/statm: 2406251 54332 2285 9 0 2396937 0
[pid=28192/tid=28194] ppid=28190 vsize=9625004 CPUtime=3 cores=0,2,4,6
/proc/28192/task/28194/stat : 28194 (java) R 28190 28192 24682 0 -1 4202560 2574 0 1 0 296 4 0 0 20 0 19 0 280885337 9856004096 54332 33554432000 1073741824 1073778376 140734814164448 140369771467176 140369615026207 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=28192/tid=28195] ppid=28190 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28192/task/28195/stat : 28195 (java) S 28190 28192 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280885338 9856004096 54332 33554432000 1073741824 1073778376 140734814164448 140369732959272 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28192/tid=28196] ppid=28190 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28192/task/28196/stat : 28196 (java) S 28190 28192 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280885338 9856004096 54332 33554432000 1073741824 1073778376 140734814164448 140369614334888 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28192/tid=28197] ppid=28190 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28192/task/28197/stat : 28197 (java) S 28190 28192 24682 0 -1 4202560 158 0 0 0 0 0 0 0 20 0 19 0 280885338 9856004096 54332 33554432000 1073741824 1073778376 140734814164448 140369613282088 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28192/tid=28198] ppid=28190 vsize=9625004 CPUtime=0.01 cores=0,2,4,6
/proc/28192/task/28198/stat : 28198 (java) S 28190 28192 24682 0 -1 4202560 90 0 0 0 1 0 0 0 20 0 19 0 280885338 9856004096 54332 33554432000 1073741824 1073778376 140734814164448 140369612229288 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28192/tid=28199] ppid=28190 vsize=9625004 CPUtime=0.01 cores=0,2,4,6
/proc/28192/task/28199/stat : 28199 (java) S 28190 28192 24682 0 -1 4202560 48 0 0 0 1 0 0 0 20 0 19 0 280885338 9856004096 54332 33554432000 1073741824 1073778376 140734814164448 140369611176488 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28192/tid=28200] ppid=28190 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28192/task/28200/stat : 28200 (java) S 28190 28192 24682 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 280885338 9856004096 54332 33554432000 1073741824 1073778376 140734814164448 140369610123688 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28192/tid=28201] ppid=28190 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28192/task/28201/stat : 28201 (java) S 28190 28192 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280885339 9856004096 54332 33554432000 1073741824 1073778376 140734814164448 140369609070888 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28192/tid=28202] ppid=28190 vsize=9625004 CPUtime=0.01 cores=0,2,4,6
/proc/28192/task/28202/stat : 28202 (java) S 28190 28192 24682 0 -1 4202560 105 0 0 0 1 0 0 0 20 0 19 0 280885339 9856004096 54332 33554432000 1073741824 1073778376 140734814164448 140369608018088 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28192/tid=28203] ppid=28190 vsize=9625004 CPUtime=0.02 cores=0,2,4,6
/proc/28192/task/28203/stat : 28203 (java) S 28190 28192 24682 0 -1 4202560 101 0 0 0 2 0 0 0 20 0 19 0 280885340 9856004096 54332 33554432000 1073741824 1073778376 140734814164448 140369125690344 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28192/tid=28204] ppid=28190 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28192/task/28204/stat : 28204 (java) S 28190 28192 24682 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280885340 9856004096 54332 33554432000 1073741824 1073778376 140734814164448 140369124636408 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28192/tid=28205] ppid=28190 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28192/task/28205/stat : 28205 (java) S 28190 28192 24682 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280885340 9856004096 54332 33554432000 1073741824 1073778376 140734814164448 140369123583496 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28192/tid=28206] ppid=28190 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28192/task/28206/stat : 28206 (java) S 28190 28192 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280885343 9856004096 54332 33554432000 1073741824 1073778376 140734814164448 140369122531984 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28192/tid=28207] ppid=28190 vsize=9625004 CPUtime=0.39 cores=0,2,4,6
/proc/28192/task/28207/stat : 28207 (java) S 28190 28192 24682 0 -1 4202560 2097 0 0 0 39 0 0 0 20 0 19 0 280885343 9856004096 54332 33554432000 1073741824 1073778376 140734814164448 140369121479096 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28192/tid=28208] ppid=28190 vsize=9625004 CPUtime=0.31 cores=0,2,4,6
/proc/28192/task/28208/stat : 28208 (java) S 28190 28192 24682 0 -1 4202560 2247 0 0 0 31 0 0 0 20 0 19 0 280885343 9856004096 54332 33554432000 1073741824 1073778376 140734814164448 140369120426296 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28192/tid=28209] ppid=28190 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28192/task/28209/stat : 28209 (java) S 28190 28192 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280885343 9856004096 54332 33554432000 1073741824 1073778376 140734814164448 140369119373688 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28192/tid=28210] ppid=28190 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28192/task/28210/stat : 28210 (java) S 28190 28192 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280885343 9856004096 54332 33554432000 1073741824 1073778376 140734814164448 140369118321096 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28192/tid=28211] ppid=28190 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28192/task/28211/stat : 28211 (java) S 28190 28192 24682 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280885411 9856004096 54332 33554432000 1073741824 1073778376 140734814164448 140369117267624 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.86
Current children cumulated vsize (KiB) 9625004

[startup+6.30066 s]
/proc/loadavg: 1.96 2.01 2.00 3/214 28211
/proc/meminfo: memFree=28535512/32873844 swapFree=6856/6856
[pid=28192] ppid=28190 vsize=9625004 CPUtime=7.15 cores=0,2,4,6
/proc/28192/stat : 28192 (java) S 28190 28192 24682 0 -1 4202496 8670 0 1 0 704 11 0 0 20 0 19 0 280885336 9856004096 63913 33554432000 1073741824 1073778376 140734814164448 140734814155584 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28192/statm: 2406251 63913 2285 9 0 2396937 0
[pid=28192/tid=28194] ppid=28190 vsize=9625004 CPUtime=6.14 cores=0,2,4,6
/proc/28192/task/28194/stat : 28194 (java) R 28190 28192 24682 0 -1 4202560 2576 0 1 0 610 4 0 0 20 0 19 0 280885337 9856004096 63913 33554432000 1073741824 1073778376 140734814164448 140369771467056 140369615036230 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=28192/tid=28195] ppid=28190 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28192/task/28195/stat : 28195 (java) S 28190 28192 24682 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 280885338 9856004096 63913 33554432000 1073741824 1073778376 140734814164448 140369732959272 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28192/tid=28196] ppid=28190 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28192/task/28196/stat : 28196 (java) S 28190 28192 24682 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 280885338 9856004096 63913 33554432000 1073741824 1073778376 140734814164448 140369614334888 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28192/tid=28197] ppid=28190 vsize=9625004 CPUtime=0.01 cores=0,2,4,6
/proc/28192/task/28197/stat : 28197 (java) S 28190 28192 24682 0 -1 4202560 169 0 0 0 0 1 0 0 20 0 19 0 280885338 9856004096 63913 33554432000 1073741824 1073778376 140734814164448 140369613282088 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28192/tid=28198] ppid=28190 vsize=9625004 CPUtime=0.02 cores=0,2,4,6
/proc/28192/task/28198/stat : 28198 (java) S 28190 28192 24682 0 -1 4202560 90 0 0 0 2 0 0 0 20 0 19 0 280885338 9856004096 63913 33554432000 1073741824 1073778376 140734814164448 140369612229288 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28192/tid=28199] ppid=28190 vsize=9625004 CPUtime=0.02 cores=0,2,4,6
/proc/28192/task/28199/stat : 28199 (java) S 28190 28192 24682 0 -1 4202560 53 0 0 0 1 1 0 0 20 0 19 0 280885338 9856004096 63913 33554432000 1073741824 1073778376 140734814164448 140369611176488 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28192/tid=28200] ppid=28190 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28192/task/28200/stat : 28200 (java) S 28190 28192 24682 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 280885338 9856004096 63913 33554432000 1073741824 1073778376 140734814164448 140369610123688 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28192/tid=28201] ppid=28190 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28192/task/28201/stat : 28201 (java) S 28190 28192 24682 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 280885339 9856004096 63913 33554432000 1073741824 1073778376 140734814164448 140369609070888 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28192/tid=28202] ppid=28190 vsize=9625004 CPUtime=0.03 cores=0,2,4,6
/proc/28192/task/28202/stat : 28202 (java) S 28190 28192 24682 0 -1 4202560 118 0 0 0 1 2 0 0 20 0 19 0 280885339 9856004096 63913 33554432000 1073741824 1073778376 140734814164448 140369608018088 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28192/tid=28203] ppid=28190 vsize=9625004 CPUtime=0.05 cores=0,2,4,6
/proc/28192/task/28203/stat : 28203 (java) S 28190 28192 24682 0 -1 4202560 106 0 0 0 5 0 0 0 20 0 19 0 280885340 9856004096 63913 33554432000 1073741824 1073778376 140734814164448 140369125690344 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28192/tid=28204] ppid=28190 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28192/task/28204/stat : 28204 (java) S 28190 28192 24682 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280885340 9856004096 63913 33554432000 1073741824 1073778376 140734814164448 140369124636408 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28192/tid=28205] ppid=28190 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28192/task/28205/stat : 28205 (java) S 28190 28192 24682 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280885340 9856004096 63913 33554432000 1073741824 1073778376 140734814164448 140369123583496 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28192/tid=28206] ppid=28190 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28192/task/28206/stat : 28206 (java) S 28190 28192 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280885343 9856004096 63913 33554432000 1073741824 1073778376 140734814164448 140369122531984 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28192/tid=28207] ppid=28190 vsize=9625004 CPUtime=0.4 cores=0,2,4,6
/proc/28192/task/28207/stat : 28207 (java) S 28190 28192 24682 0 -1 4202560 2097 0 0 0 40 0 0 0 20 0 19 0 280885343 9856004096 63913 33554432000 1073741824 1073778376 140734814164448 140369121479096 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28192/tid=28208] ppid=28190 vsize=9625004 CPUtime=0.32 cores=0,2,4,6
/proc/28192/task/28208/stat : 28208 (java) S 28190 28192 24682 0 -1 4202560 2247 0 0 0 32 0 0 0 20 0 19 0 280885343 9856004096 63913 33554432000 1073741824 1073778376 140734814164448 140369120426296 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28192/tid=28209] ppid=28190 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28192/task/28209/stat : 28209 (java) S 28190 28192 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280885343 9856004096 63913 33554432000 1073741824 1073778376 140734814164448 140369119373688 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28192/tid=28210] ppid=28190 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28192/task/28210/stat : 28210 (java) S 28190 28192 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280885343 9856004096 63913 33554432000 1073741824 1073778376 140734814164448 140369118321096 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28192/tid=28211] ppid=28190 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28192/task/28211/stat : 28211 (java) S 28190 28192 24682 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280885411 9856004096 63913 33554432000 1073741824 1073778376 140734814164448 140369117267624 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 7.15
Current children cumulated vsize (KiB) 9625004

[startup+12.7006 s]

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

[pid=28192/tid=28200] ppid=28190 vsize=9625004 CPUtime=0.71 cores=0,2,4,6
/proc/28192/task/28200/stat : 28200 (java) S 28190 28192 24682 0 -1 4202560 305 0 0 0 61 10 0 0 20 0 19 0 280885338 9856004096 261189 33554432000 1073741824 1073778376 140734814164448 140369610123688 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28192/tid=28201] ppid=28190 vsize=9625004 CPUtime=0.71 cores=0,2,4,6
/proc/28192/task/28201/stat : 28201 (java) S 28190 28192 24682 0 -1 4202560 239 0 0 0 63 8 0 0 20 0 19 0 280885339 9856004096 261189 33554432000 1073741824 1073778376 140734814164448 140369609070888 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28192/tid=28202] ppid=28190 vsize=9625004 CPUtime=0.8 cores=0,2,4,6
/proc/28192/task/28202/stat : 28202 (java) S 28190 28192 24682 0 -1 4202560 543 0 0 0 70 10 0 0 20 0 19 0 280885339 9856004096 261189 33554432000 1073741824 1073778376 140734814164448 140369608018088 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28192/tid=28203] ppid=28190 vsize=9625004 CPUtime=7.76 cores=0,2,4,6
/proc/28192/task/28203/stat : 28203 (java) S 28190 28192 24682 0 -1 4202560 1639 0 0 0 772 4 0 0 20 0 19 0 280885340 9856004096 261189 33554432000 1073741824 1073778376 140734814164448 140369125690344 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28192/tid=28204] ppid=28190 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28192/task/28204/stat : 28204 (java) S 28190 28192 24682 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280885340 9856004096 261189 33554432000 1073741824 1073778376 140734814164448 140369124636408 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28192/tid=28205] ppid=28190 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28192/task/28205/stat : 28205 (java) S 28190 28192 24682 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280885340 9856004096 261189 33554432000 1073741824 1073778376 140734814164448 140369123583496 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28192/tid=28206] ppid=28190 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28192/task/28206/stat : 28206 (java) S 28190 28192 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280885343 9856004096 261189 33554432000 1073741824 1073778376 140734814164448 140369122531984 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28192/tid=28207] ppid=28190 vsize=9625004 CPUtime=0.42 cores=0,2,4,6
/proc/28192/task/28207/stat : 28207 (java) S 28190 28192 24682 0 -1 4202560 2429 0 0 0 42 0 0 0 20 0 19 0 280885343 9856004096 261189 33554432000 1073741824 1073778376 140734814164448 140369121479096 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28192/tid=28208] ppid=28190 vsize=9625004 CPUtime=0.43 cores=0,2,4,6
/proc/28192/task/28208/stat : 28208 (java) S 28190 28192 24682 0 -1 4202560 2442 0 0 0 43 0 0 0 20 0 19 0 280885343 9856004096 261189 33554432000 1073741824 1073778376 140734814164448 140369120426296 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28192/tid=28209] ppid=28190 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28192/task/28209/stat : 28209 (java) S 28190 28192 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280885343 9856004096 261189 33554432000 1073741824 1073778376 140734814164448 140369119373688 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28192/tid=28210] ppid=28190 vsize=9625004 CPUtime=0.68 cores=0,2,4,6
/proc/28192/task/28210/stat : 28210 (java) S 28190 28192 24682 0 -1 4202560 95 0 0 0 38 30 0 0 20 0 19 0 280885343 9856004096 261189 33554432000 1073741824 1073778376 140734814164448 140369118321096 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28192/tid=28211] ppid=28190 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28192/task/28211/stat : 28211 (java) S 28190 28192 24682 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280885411 9856004096 261189 33554432000 1073741824 1073778376 140734814164448 140369117267624 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1667.63
Current children cumulated vsize (KiB) 9625004

[startup+1722.3 s]
/proc/loadavg: 1.96 1.98 1.99 3/213 28304
/proc/meminfo: memFree=27793464/32873844 swapFree=6856/6856
[pid=28192] ppid=28190 vsize=9625004 CPUtime=1727.8 cores=0,2,4,6
/proc/28192/stat : 28192 (java) S 28190 28192 24682 0 -1 4202496 13280 0 1 0 172670 110 0 0 20 0 19 0 280885336 9856004096 261216 33554432000 1073741824 1073778376 140734814164448 140734814155584 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28192/statm: 2406251 261216 2286 9 0 2396937 0
[pid=28192/tid=28194] ppid=28190 vsize=9625004 CPUtime=1712.77 cores=0,2,4,6
/proc/28192/task/28194/stat : 28194 (java) R 28190 28192 24682 0 -1 4202560 2729 0 1 0 171242 35 0 0 20 0 19 0 280885337 9856004096 261216 33554432000 1073741824 1073778376 140734814164448 140369771467056 140369614955454 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=28192/tid=28195] ppid=28190 vsize=9625004 CPUtime=0.7 cores=0,2,4,6
/proc/28192/task/28195/stat : 28195 (java) S 28190 28192 24682 0 -1 4202560 428 0 0 0 61 9 0 0 20 0 19 0 280885338 9856004096 261216 33554432000 1073741824 1073778376 140734814164448 140369732959272 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28192/tid=28196] ppid=28190 vsize=9625004 CPUtime=0.71 cores=0,2,4,6
/proc/28192/task/28196/stat : 28196 (java) S 28190 28192 24682 0 -1 4202560 142 0 0 0 63 8 0 0 20 0 19 0 280885338 9856004096 261216 33554432000 1073741824 1073778376 140734814164448 140369614334888 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28192/tid=28197] ppid=28190 vsize=9625004 CPUtime=0.68 cores=0,2,4,6
/proc/28192/task/28197/stat : 28197 (java) S 28190 28192 24682 0 -1 4202560 310 0 0 0 59 9 0 0 20 0 19 0 280885338 9856004096 261216 33554432000 1073741824 1073778376 140734814164448 140369613282088 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28192/tid=28198] ppid=28190 vsize=9625004 CPUtime=0.75 cores=0,2,4,6
/proc/28192/task/28198/stat : 28198 (java) S 28190 28192 24682 0 -1 4202560 346 0 0 0 67 8 0 0 20 0 19 0 280885338 9856004096 261216 33554432000 1073741824 1073778376 140734814164448 140369612229288 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28192/tid=28199] ppid=28190 vsize=9625004 CPUtime=0.85 cores=0,2,4,6
/proc/28192/task/28199/stat : 28199 (java) S 28190 28192 24682 0 -1 4202560 445 0 0 0 74 11 0 0 20 0 19 0 280885338 9856004096 261216 33554432000 1073741824 1073778376 140734814164448 140369611176488 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28192/tid=28200] ppid=28190 vsize=9625004 CPUtime=0.73 cores=0,2,4,6
/proc/28192/task/28200/stat : 28200 (java) S 28190 28192 24682 0 -1 4202560 306 0 0 0 63 10 0 0 20 0 19 0 280885338 9856004096 261216 33554432000 1073741824 1073778376 140734814164448 140369610123688 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28192/tid=28201] ppid=28190 vsize=9625004 CPUtime=0.74 cores=0,2,4,6
/proc/28192/task/28201/stat : 28201 (java) S 28190 28192 24682 0 -1 4202560 239 0 0 0 66 8 0 0 20 0 19 0 280885339 9856004096 261216 33554432000 1073741824 1073778376 140734814164448 140369609070888 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28192/tid=28202] ppid=28190 vsize=9625004 CPUtime=0.83 cores=0,2,4,6
/proc/28192/task/28202/stat : 28202 (java) S 28190 28192 24682 0 -1 4202560 543 0 0 0 73 10 0 0 20 0 19 0 280885339 9856004096 261216 33554432000 1073741824 1073778376 140734814164448 140369608018088 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28192/tid=28203] ppid=28190 vsize=9625004 CPUtime=7.87 cores=0,2,4,6
/proc/28192/task/28203/stat : 28203 (java) S 28190 28192 24682 0 -1 4202560 1641 0 0 0 783 4 0 0 20 0 19 0 280885340 9856004096 261216 33554432000 1073741824 1073778376 140734814164448 140369125690344 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28192/tid=28204] ppid=28190 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28192/task/28204/stat : 28204 (java) S 28190 28192 24682 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280885340 9856004096 261216 33554432000 1073741824 1073778376 140734814164448 140369124636408 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28192/tid=28205] ppid=28190 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28192/task/28205/stat : 28205 (java) S 28190 28192 24682 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280885340 9856004096 261216 33554432000 1073741824 1073778376 140734814164448 140369123583496 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28192/tid=28206] ppid=28190 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28192/task/28206/stat : 28206 (java) S 28190 28192 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280885343 9856004096 261216 33554432000 1073741824 1073778376 140734814164448 140369122531984 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28192/tid=28207] ppid=28190 vsize=9625004 CPUtime=0.42 cores=0,2,4,6
/proc/28192/task/28207/stat : 28207 (java) S 28190 28192 24682 0 -1 4202560 2429 0 0 0 42 0 0 0 20 0 19 0 280885343 9856004096 261216 33554432000 1073741824 1073778376 140734814164448 140369121479096 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28192/tid=28208] ppid=28190 vsize=9625004 CPUtime=0.43 cores=0,2,4,6
/proc/28192/task/28208/stat : 28208 (java) S 28190 28192 24682 0 -1 4202560 2442 0 0 0 43 0 0 0 20 0 19 0 280885343 9856004096 261216 33554432000 1073741824 1073778376 140734814164448 140369120426296 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28192/tid=28209] ppid=28190 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28192/task/28209/stat : 28209 (java) S 28190 28192 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280885343 9856004096 261216 33554432000 1073741824 1073778376 140734814164448 140369119373688 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28192/tid=28210] ppid=28190 vsize=9625004 CPUtime=0.71 cores=0,2,4,6
/proc/28192/task/28210/stat : 28210 (java) S 28190 28192 24682 0 -1 4202560 99 0 0 0 40 31 0 0 20 0 19 0 280885343 9856004096 261216 33554432000 1073741824 1073778376 140734814164448 140369118321096 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28192/tid=28211] ppid=28190 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28192/task/28211/stat : 28211 (java) S 28190 28192 24682 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280885411 9856004096 261216 33554432000 1073741824 1073778376 140734814164448 140369117267624 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1727.8
Current children cumulated vsize (KiB) 9625004

[startup+1782.3 s]
/proc/loadavg: 1.98 1.98 1.99 3/213 28304
/proc/meminfo: memFree=27732956/32873844 swapFree=6856/6856
[pid=28192] ppid=28190 vsize=9625004 CPUtime=1787.98 cores=0,2,4,6
/proc/28192/stat : 28192 (java) S 28190 28192 24682 0 -1 4202496 13287 0 1 0 178686 112 0 0 20 0 19 0 280885336 9856004096 261216 33554432000 1073741824 1073778376 140734814164448 140734814155584 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28192/statm: 2406251 261216 2286 9 0 2396937 0
[pid=28192/tid=28194] ppid=28190 vsize=9625004 CPUtime=1772.52 cores=0,2,4,6
/proc/28192/task/28194/stat : 28194 (java) R 28190 28192 24682 0 -1 4202560 2730 0 1 0 177217 35 0 0 20 0 19 0 280885337 9856004096 261216 33554432000 1073741824 1073778376 140734814164448 140369771467056 140369614955344 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=28192/tid=28195] ppid=28190 vsize=9625004 CPUtime=0.72 cores=0,2,4,6
/proc/28192/task/28195/stat : 28195 (java) S 28190 28192 24682 0 -1 4202560 428 0 0 0 63 9 0 0 20 0 19 0 280885338 9856004096 261216 33554432000 1073741824 1073778376 140734814164448 140369732959272 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28192/tid=28196] ppid=28190 vsize=9625004 CPUtime=0.72 cores=0,2,4,6
/proc/28192/task/28196/stat : 28196 (java) S 28190 28192 24682 0 -1 4202560 142 0 0 0 64 8 0 0 20 0 19 0 280885338 9856004096 261216 33554432000 1073741824 1073778376 140734814164448 140369614334888 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28192/tid=28197] ppid=28190 vsize=9625004 CPUtime=0.7 cores=0,2,4,6
/proc/28192/task/28197/stat : 28197 (java) S 28190 28192 24682 0 -1 4202560 310 0 0 0 61 9 0 0 20 0 19 0 280885338 9856004096 261216 33554432000 1073741824 1073778376 140734814164448 140369613282088 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28192/tid=28198] ppid=28190 vsize=9625004 CPUtime=0.78 cores=0,2,4,6
/proc/28192/task/28198/stat : 28198 (java) S 28190 28192 24682 0 -1 4202560 346 0 0 0 70 8 0 0 20 0 19 0 280885338 9856004096 261216 33554432000 1073741824 1073778376 140734814164448 140369612229288 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28192/tid=28199] ppid=28190 vsize=9625004 CPUtime=0.91 cores=0,2,4,6
/proc/28192/task/28199/stat : 28199 (java) S 28190 28192 24682 0 -1 4202560 445 0 0 0 79 12 0 0 20 0 19 0 280885338 9856004096 261216 33554432000 1073741824 1073778376 140734814164448 140369611176488 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28192/tid=28200] ppid=28190 vsize=9625004 CPUtime=0.75 cores=0,2,4,6
/proc/28192/task/28200/stat : 28200 (java) S 28190 28192 24682 0 -1 4202560 306 0 0 0 65 10 0 0 20 0 19 0 280885338 9856004096 261216 33554432000 1073741824 1073778376 140734814164448 140369610123688 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28192/tid=28201] ppid=28190 vsize=9625004 CPUtime=0.76 cores=0,2,4,6
/proc/28192/task/28201/stat : 28201 (java) S 28190 28192 24682 0 -1 4202560 239 0 0 0 68 8 0 0 20 0 19 0 280885339 9856004096 261216 33554432000 1073741824 1073778376 140734814164448 140369609070888 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28192/tid=28202] ppid=28190 vsize=9625004 CPUtime=0.86 cores=0,2,4,6
/proc/28192/task/28202/stat : 28202 (java) S 28190 28192 24682 0 -1 4202560 543 0 0 0 76 10 0 0 20 0 19 0 280885339 9856004096 261216 33554432000 1073741824 1073778376 140734814164448 140369608018088 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28192/tid=28203] ppid=28190 vsize=9625004 CPUtime=8.06 cores=0,2,4,6
/proc/28192/task/28203/stat : 28203 (java) S 28190 28192 24682 0 -1 4202560 1643 0 0 0 802 4 0 0 20 0 19 0 280885340 9856004096 261216 33554432000 1073741824 1073778376 140734814164448 140369125690344 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28192/tid=28204] ppid=28190 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28192/task/28204/stat : 28204 (java) S 28190 28192 24682 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280885340 9856004096 261216 33554432000 1073741824 1073778376 140734814164448 140369124636408 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28192/tid=28205] ppid=28190 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28192/task/28205/stat : 28205 (java) S 28190 28192 24682 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280885340 9856004096 261216 33554432000 1073741824 1073778376 140734814164448 140369123583496 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28192/tid=28206] ppid=28190 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28192/task/28206/stat : 28206 (java) S 28190 28192 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280885343 9856004096 261216 33554432000 1073741824 1073778376 140734814164448 140369122531984 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28192/tid=28207] ppid=28190 vsize=9625004 CPUtime=0.42 cores=0,2,4,6
/proc/28192/task/28207/stat : 28207 (java) S 28190 28192 24682 0 -1 4202560 2429 0 0 0 42 0 0 0 20 0 19 0 280885343 9856004096 261216 33554432000 1073741824 1073778376 140734814164448 140369121479096 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28192/tid=28208] ppid=28190 vsize=9625004 CPUtime=0.43 cores=0,2,4,6
/proc/28192/task/28208/stat : 28208 (java) S 28190 28192 24682 0 -1 4202560 2442 0 0 0 43 0 0 0 20 0 19 0 280885343 9856004096 261216 33554432000 1073741824 1073778376 140734814164448 140369120426296 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28192/tid=28209] ppid=28190 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28192/task/28209/stat : 28209 (java) S 28190 28192 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280885343 9856004096 261216 33554432000 1073741824 1073778376 140734814164448 140369119373688 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28192/tid=28210] ppid=28190 vsize=9625004 CPUtime=0.73 cores=0,2,4,6
/proc/28192/task/28210/stat : 28210 (java) S 28190 28192 24682 0 -1 4202560 103 0 0 0 41 32 0 0 20 0 19 0 280885343 9856004096 261216 33554432000 1073741824 1073778376 140734814164448 140369118321096 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28192/tid=28211] ppid=28190 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28192/task/28211/stat : 28211 (java) S 28190 28192 24682 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280885411 9856004096 261216 33554432000 1073741824 1073778376 140734814164448 140369117267624 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1787.98
Current children cumulated vsize (KiB) 9625004



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1794.2 s]
/proc/loadavg: 1.99 1.98 1.99 3/213 28304
/proc/meminfo: memFree=27728860/32873844 swapFree=6856/6856
[pid=28192] ppid=28190 vsize=9625004 CPUtime=1800.03 cores=0,2,4,6
/proc/28192/stat : 28192 (java) S 28190 28192 24682 0 -1 4202496 13292 0 1 0 179891 112 0 0 20 0 19 0 280885336 9856004096 261218 33554432000 1073741824 1073778376 140734814164448 140734814155584 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28192/statm: 2406251 261218 2286 9 0 2396937 0
[pid=28192/tid=28194] ppid=28190 vsize=9625004 CPUtime=1784.28 cores=0,2,4,6
/proc/28192/task/28194/stat : 28194 (java) R 28190 28192 24682 0 -1 4202560 2731 0 1 0 178392 36 0 0 20 0 19 0 280885337 9856004096 261218 33554432000 1073741824 1073778376 140734814164448 140369771467056 140369614987172 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=28192/tid=28195] ppid=28190 vsize=9625004 CPUtime=0.75 cores=0,2,4,6
/proc/28192/task/28195/stat : 28195 (java) S 28190 28192 24682 0 -1 4202560 428 0 0 0 66 9 0 0 20 0 19 0 280885338 9856004096 261218 33554432000 1073741824 1073778376 140734814164448 140369732959272 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28192/tid=28196] ppid=28190 vsize=9625004 CPUtime=0.74 cores=0,2,4,6
/proc/28192/task/28196/stat : 28196 (java) S 28190 28192 24682 0 -1 4202560 142 0 0 0 66 8 0 0 20 0 19 0 280885338 9856004096 261218 33554432000 1073741824 1073778376 140734814164448 140369614334888 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28192/tid=28197] ppid=28190 vsize=9625004 CPUtime=0.71 cores=0,2,4,6
/proc/28192/task/28197/stat : 28197 (java) S 28190 28192 24682 0 -1 4202560 310 0 0 0 62 9 0 0 20 0 19 0 280885338 9856004096 261218 33554432000 1073741824 1073778376 140734814164448 140369613282088 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28192/tid=28198] ppid=28190 vsize=9625004 CPUtime=0.81 cores=0,2,4,6
/proc/28192/task/28198/stat : 28198 (java) S 28190 28192 24682 0 -1 4202560 346 0 0 0 73 8 0 0 20 0 19 0 280885338 9856004096 261218 33554432000 1073741824 1073778376 140734814164448 140369612229288 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28192/tid=28199] ppid=28190 vsize=9625004 CPUtime=0.96 cores=0,2,4,6
/proc/28192/task/28199/stat : 28199 (java) S 28190 28192 24682 0 -1 4202560 445 0 0 0 84 12 0 0 20 0 19 0 280885338 9856004096 261218 33554432000 1073741824 1073778376 140734814164448 140369611176488 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28192/tid=28200] ppid=28190 vsize=9625004 CPUtime=0.77 cores=0,2,4,6
/proc/28192/task/28200/stat : 28200 (java) S 28190 28192 24682 0 -1 4202560 308 0 0 0 67 10 0 0 20 0 19 0 280885338 9856004096 261218 33554432000 1073741824 1073778376 140734814164448 140369610123688 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28192/tid=28201] ppid=28190 vsize=9625004 CPUtime=0.79 cores=0,2,4,6
/proc/28192/task/28201/stat : 28201 (java) S 28190 28192 24682 0 -1 4202560 239 0 0 0 71 8 0 0 20 0 19 0 280885339 9856004096 261218 33554432000 1073741824 1073778376 140734814164448 140369609070888 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28192/tid=28202] ppid=28190 vsize=9625004 CPUtime=0.88 cores=0,2,4,6
/proc/28192/task/28202/stat : 28202 (java) S 28190 28192 24682 0 -1 4202560 543 0 0 0 78 10 0 0 20 0 19 0 280885339 9856004096 261218 33554432000 1073741824 1073778376 140734814164448 140369608018088 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28192/tid=28203] ppid=28190 vsize=9625004 CPUtime=8.16 cores=0,2,4,6
/proc/28192/task/28203/stat : 28203 (java) S 28190 28192 24682 0 -1 4202560 1645 0 0 0 812 4 0 0 20 0 19 0 280885340 9856004096 261218 33554432000 1073741824 1073778376 140734814164448 140369125690344 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28192/tid=28204] ppid=28190 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28192/task/28204/stat : 28204 (java) S 28190 28192 24682 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280885340 9856004096 261218 33554432000 1073741824 1073778376 140734814164448 140369124636408 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28192/tid=28205] ppid=28190 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28192/task/28205/stat : 28205 (java) S 28190 28192 24682 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280885340 9856004096 261218 33554432000 1073741824 1073778376 140734814164448 140369123583496 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28192/tid=28206] ppid=28190 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28192/task/28206/stat : 28206 (java) S 28190 28192 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280885343 9856004096 261218 33554432000 1073741824 1073778376 140734814164448 140369122531984 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28192/tid=28207] ppid=28190 vsize=9625004 CPUtime=0.42 cores=0,2,4,6
/proc/28192/task/28207/stat : 28207 (java) S 28190 28192 24682 0 -1 4202560 2429 0 0 0 42 0 0 0 20 0 19 0 280885343 9856004096 261218 33554432000 1073741824 1073778376 140734814164448 140369121479096 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28192/tid=28208] ppid=28190 vsize=9625004 CPUtime=0.43 cores=0,2,4,6
/proc/28192/task/28208/stat : 28208 (java) S 28190 28192 24682 0 -1 4202560 2442 0 0 0 43 0 0 0 20 0 19 0 280885343 9856004096 261218 33554432000 1073741824 1073778376 140734814164448 140369120426296 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28192/tid=28209] ppid=28190 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28192/task/28209/stat : 28209 (java) S 28190 28192 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280885343 9856004096 261218 33554432000 1073741824 1073778376 140734814164448 140369119373688 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28192/tid=28210] ppid=28190 vsize=9625004 CPUtime=0.74 cores=0,2,4,6
/proc/28192/task/28210/stat : 28210 (java) S 28190 28192 24682 0 -1 4202560 103 0 0 0 41 33 0 0 20 0 19 0 280885343 9856004096 261218 33554432000 1073741824 1073778376 140734814164448 140369118321096 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28192/tid=28211] ppid=28190 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/28192/task/28211/stat : 28211 (java) S 28190 28192 24682 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280885411 9856004096 261218 33554432000 1073741824 1073778376 140734814164448 140369117267624 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 9625004

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

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

Child status: 143
Real time (s): 1794.25
CPU time (s): 1800.78
CPU user time (s): 1799.17
CPU system time (s): 1.61375
CPU usage (%): 100.364
Max. virtual memory (cumulated for all children) (KiB): 9625004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.17
system time used= 1.61375
maximum resident set size= 1045020
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13331
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1656
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 39712
involuntary context switches= 11286

runsolver used 6.63099 second user time and 13.9829 second system time

The end

Launcher Data 

Begin job on node144 at 2012-05-27 21:40:04
IDJOB=3710716
IDBENCH=2245
IDSOLVER=2289
FILE ID=node144/3710716-1338147604
RUNJOBID= node144-1338138284-27028
PBS_JOBID= 14624480
Free space on /tmp= 71496 MiB

SOLVER NAME= SAT4J PB specific settings 2.3.2 snapshot
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-3.opb
COMMAND LINE= java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3710716-1338147604/watcher-3710716-1338147604 -o /tmp/evaluation-result-3710716-1338147604/solver-3710716-1338147604 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710716-1338147604.opb

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

MD5SUM BENCH= 4c9dc9cf5c24873d3237c90ee1682632
RANDOM SEED=1475331971

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.196
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.90
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.196
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.196
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.196
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        28784480 kB
Buffers:          373584 kB
Cached:          2610848 kB
SwapCached:            0 kB
Active:          1050604 kB
Inactive:        2181964 kB
Active(anon):     249704 kB
Inactive(anon):        0 kB
Active(file):     800900 kB
Inactive(file):  2181964 kB
Unevictable:        6856 kB
Mlocked:            6856 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              3208 kB
Writeback:             0 kB
AnonPages:        274068 kB
Mapped:            22560 kB
Shmem:               200 kB
Slab:             696888 kB
SReclaimable:     139140 kB
SUnreclaim:       557748 kB
KernelStack:        1608 kB
PageTables:         4332 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     696328 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    233472 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= 71492 MiB
End job on node144 at 2012-05-27 22:10:01