Trace number 3454421

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 Res//CP 2.3.0SAT (TO)-45 1800.36 950.419

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-48
Best CPU time to get the best result obtained on this benchmark1797.46
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.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.04/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.04/0.08	c See www.sat4j.org for details.
0.04/0.08	c version 2.3.1.v20110525
0.04/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.04/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.04/0.08	c java.vm.version	19.1-b02
0.04/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.04/0.08	c sun.arch.data.model	64
0.04/0.08	c java.version		1.6.0_24
0.04/0.08	c os.name		Linux
0.04/0.08	c os.version		2.6.18-164.el5
0.04/0.08	c os.arch		amd64
0.04/0.08	c Free memory 		9996466904
0.04/0.08	c Max memory 		10048897024
0.04/0.08	c Total memory 		10048897024
0.04/0.08	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization
0.10/0.11	c ManyCore solver with 2 solvers running in parallel
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@48e5855a
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c Expensive reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@398020cc
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.10/0.11	c No reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-3454421-1307189484.opb
0.10/0.11	c reading problem ... 
1.27/0.87	c ... done. Wall clock time 0.763s.
1.27/0.87	c #vars     1400
1.27/0.87	c #constraints  109379
1.27/0.87	c constraints type 
1.27/0.87	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 109379
1.27/0.87	c constraints type 
1.27/0.87	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 109379
1.42/0.90	c  And the winner is CuttingPlanes
1.54/1.38	c SATISFIABLE
1.54/1.38	c OPTIMIZING...
1.54/1.38	c Got one! Elapsed wall clock time (in seconds):1.271
1.54/1.38	o -37
1.59/1.40	c  And the winner is Resolution
1.61/1.89	c Got one! Elapsed wall clock time (in seconds):1.781
1.61/1.89	o -38
1.68/1.98	c  And the winner is Resolution
2.36/2.39	c Got one! Elapsed wall clock time (in seconds):2.289
2.36/2.39	o -39
2.38/2.43	c  And the winner is Resolution
2.59/2.90	c Got one! Elapsed wall clock time (in seconds):2.795
2.59/2.90	o -40
2.59/2.95	c  And the winner is Resolution
2.83/3.41	c Got one! Elapsed wall clock time (in seconds):3.302
2.83/3.41	o -41
3.60/3.73	c  And the winner is Resolution
3.73/3.92	c Got one! Elapsed wall clock time (in seconds):3.809
3.73/3.92	o -43
6.14/5.18	c cleaning 2674 clauses out of 5350 with flag 4001/5350
10.03/7.09	c cleaning 4338 clauses out of 8675 with flag 10000/11349
14.53/9.35	c cleaning 5662 clauses out of 11337 with flag 17000/18349
19.64/11.99	c cleaning 6835 clauses out of 13677 with flag 25002/26351
25.87/15.18	c cleaning 7917 clauses out of 15840 with flag 34000/35349
32.71/18.71	c cleaning 8957 clauses out of 17923 with flag 44000/45349
40.56/22.60	c cleaning 9979 clauses out of 19966 with flag 55000/56349
49.55/27.22	c cleaning 10988 clauses out of 21988 with flag 67001/68350
59.37/32.39	c cleaning 12000 clauses out of 24000 with flag 80001/81350
69.88/37.76	c cleaning 13000 clauses out of 26000 with flag 94001/95350
82.75/44.36	c cleaning 13990 clauses out of 27999 with flag 109000/110349
89.21/47.73	c  And the winner is Resolution
90.14/48.68	c Got one! Elapsed wall clock time (in seconds):48.573
90.14/48.68	o -44
94.25/50.75	c cleaning 13693 clauses out of 27385 with flag 5000/123725
99.52/53.64	c cleaning 9843 clauses out of 19693 with flag 11001/129726
105.54/56.80	c cleaning 8417 clauses out of 16849 with flag 18000/136725
112.00/60.30	c cleaning 8213 clauses out of 16432 with flag 26000/144725
119.81/64.39	c cleaning 8600 clauses out of 17220 with flag 35001/153726
129.09/69.27	c cleaning 9302 clauses out of 18620 with flag 45001/163726
138.66/74.29	c cleaning 10158 clauses out of 20317 with flag 56000/174725
148.33/79.23	c cleaning 11079 clauses out of 22160 with flag 68001/186726
160.44/85.52	c cleaning 12031 clauses out of 24080 with flag 81000/199725
173.40/92.36	c cleaning 13018 clauses out of 26049 with flag 95000/213725
189.36/100.56	c cleaning 14016 clauses out of 28032 with flag 110001/228726
204.63/108.40	c cleaning 15007 clauses out of 30015 with flag 126000/244725
221.58/117.18	c cleaning 15997 clauses out of 32008 with flag 143000/261725
236.26/124.87	c cleaning 17004 clauses out of 34012 with flag 161001/279726
254.09/134.03	c cleaning 18004 clauses out of 36008 with flag 180001/298726
273.53/144.04	c cleaning 18997 clauses out of 38003 with flag 200000/318725
295.48/155.39	c cleaning 19997 clauses out of 40006 with flag 221000/339725
318.16/167.17	c cleaning 21005 clauses out of 42009 with flag 243000/361725
346.83/181.89	c cleaning 21999 clauses out of 44005 with flag 266001/384726
368.32/192.93	c cleaning 23003 clauses out of 46007 with flag 290002/408727
391.34/204.88	c cleaning 23999 clauses out of 48003 with flag 315001/433726
416.56/217.97	c cleaning 24996 clauses out of 50003 with flag 341000/459725
443.78/231.96	c cleaning 25990 clauses out of 52008 with flag 368001/486726
477.17/249.03	c cleaning 27003 clauses out of 54017 with flag 396000/514725
508.74/265.27	c cleaning 28003 clauses out of 56014 with flag 425000/543725
547.10/285.02	c cleaning 29000 clauses out of 58011 with flag 455000/573725
576.17/300.09	c cleaning 30000 clauses out of 60011 with flag 486000/604725
606.13/315.47	c cleaning 30997 clauses out of 62011 with flag 518000/636725
643.74/334.74	c cleaning 32007 clauses out of 64014 with flag 551000/669725
681.34/354.24	c cleaning 33001 clauses out of 66008 with flag 585001/703726
718.50/373.31	c cleaning 33985 clauses out of 68007 with flag 620001/738726
768.37/398.71	c cleaning 35010 clauses out of 70021 with flag 656000/774725
811.08/420.67	c cleaning 36003 clauses out of 72011 with flag 693000/811725
860.31/445.97	c cleaning 37004 clauses out of 74008 with flag 731000/849725
866.17/449.41	c cleaning 0 clauses out of 5854 with flag 0/5856
915.95/474.78	c cleaning 37986 clauses out of 76005 with flag 770001/888726
953.18/493.99	c cleaning 39006 clauses out of 78018 with flag 810000/928725
1001.30/518.91	c cleaning 39999 clauses out of 80012 with flag 851000/969725
1048.87/543.33	c cleaning 41004 clauses out of 82013 with flag 893000/1011725
1068.30/553.75	c  And the winner is Resolution
1076.32/561.71	c Got one! Elapsed wall clock time (in seconds):561.603
1076.32/561.71	o -45
1081.09/564.18	c cleaning 32128 clauses out of 64267 with flag 5001/1034983
1087.91/568.19	c cleaning 19057 clauses out of 38138 with flag 11000/1040982
1096.22/573.27	c cleaning 13037 clauses out of 26081 with flag 18000/1047982
1105.05/578.30	c cleaning 10515 clauses out of 21044 with flag 26000/1055982
1115.30/584.21	c cleaning 9755 clauses out of 19529 with flag 35000/1064982
1126.52/590.68	c cleaning 9884 clauses out of 19775 with flag 45001/1074983
1140.01/598.43	c cleaning 10435 clauses out of 20890 with flag 56000/1085982
1152.87/605.50	c cleaning 11223 clauses out of 22456 with flag 68001/1097983
1166.07/612.81	c cleaning 12114 clauses out of 24233 with flag 81001/1110983
1182.30/621.76	c cleaning 13054 clauses out of 26118 with flag 95000/1124982
1200.28/631.85	c cleaning 14030 clauses out of 28065 with flag 110001/1139983
1219.38/642.05	c cleaning 15013 clauses out of 30034 with flag 126000/1155982
1241.66/653.96	c cleaning 16009 clauses out of 32021 with flag 143000/1172982
1267.25/667.60	c cleaning 17004 clauses out of 34013 with flag 161001/1190983
1287.37/678.51	c cleaning 18004 clauses out of 36008 with flag 180000/1209982
1309.82/690.54	c cleaning 18996 clauses out of 38004 with flag 200000/1229982
1335.17/703.97	c cleaning 20003 clauses out of 40009 with flag 221001/1250983
1362.72/718.40	c cleaning 21001 clauses out of 42006 with flag 243001/1272983
1390.56/733.60	c cleaning 21999 clauses out of 44005 with flag 266001/1295983
1420.70/749.30	c cleaning 23001 clauses out of 46005 with flag 290000/1319982
1456.24/767.94	c cleaning 23993 clauses out of 48004 with flag 315000/1344982
1478.31/779.76	c cleaning 25004 clauses out of 50011 with flag 341000/1370982
1503.99/793.65	c cleaning 25998 clauses out of 52007 with flag 368000/1397982
1532.91/808.92	c cleaning 26991 clauses out of 54009 with flag 396000/1425982
1562.39/824.54	c cleaning 28010 clauses out of 56019 with flag 425001/1454983
1593.00/840.65	c cleaning 28997 clauses out of 58008 with flag 455000/1484982
1628.84/859.88	c cleaning 30002 clauses out of 60012 with flag 486001/1515983
1664.98/878.64	c cleaning 31005 clauses out of 62009 with flag 518000/1547982
1703.77/898.93	c cleaning 32003 clauses out of 64005 with flag 551001/1580983
1745.19/920.60	c cleaning 33001 clauses out of 66002 with flag 585001/1614983
1783.12/940.90	c cleaning 33994 clauses out of 68001 with flag 620001/1649983
1800.04/950.22	c starts		: 217
1800.04/950.22	c conflicts		: 1665342
1800.04/950.22	c decisions		: 1810737
1800.04/950.22	c propagations		: 10128650
1800.04/950.22	c inspects		: 1485474058
1800.04/950.22	c shortcuts		: 0
1800.04/950.22	c learnt literals	: 0
1800.04/950.22	c learnt binary clauses	: 0
1800.04/950.22	c learnt ternary clauses	: 0
1800.04/950.22	c learnt constraints	: 1665342
1800.04/950.22	c ignored constraints	: 0
1800.04/950.22	c root simplifications	: 0
1800.04/950.22	c removed literals (reason simplification)	: 21677483
1800.04/950.22	c reason swapping (by a shorter reason)	: 0
1800.04/950.23	c Calls to reduceDB	: 80
1800.04/950.23	c number of reductions to clauses (during analyze)	: 0
1800.04/950.23	c number of learned constraints concerned by reduction	: 0
1800.04/950.23	c number of learning phase by resolution	: 0
1800.04/950.23	c number of learning phase by cutting planes	: 0
1800.04/950.23	c speed (assignments/second)	: 26070.247146820962
1800.04/950.23	c non guided choices	0
1800.04/950.25	c learnt constraints type 
1800.04/950.25	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 49396
1800.04/950.25	c constraints type 
1800.04/950.25	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.04/950.25	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 109379
1800.04/950.25	c constraints type 
1800.04/950.25	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 109379
1800.04/950.25	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
1800.04/950.25	s SATISFIABLE
1800.04/950.26	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.04/950.26	c objective function=-45
1800.04/950.26	c Total wall clock time (in seconds): 950.15

Verifier Data 

OK	-45

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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-3454421-1307189484/watcher-3454421-1307189484 -o /tmp/evaluation-result-3454421-1307189484/solver-3454421-1307189484 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454421-1307189484.opb 

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

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


[startup+0 s]
/proc/loadavg: 3.75 3.72 3.49 4/571 1056
/proc/meminfo: memFree=20172328/32951124 swapFree=53733252/67111528
[pid=1056] ppid=1054 vsize=23028 CPUtime=0 cores=0,2,4,6
/proc/1056/stat : 1056 (java) R 1054 1056 29102 0 -1 4202496 931 0 0 0 0 0 0 0 25 0 1 0 830548833 23580672 674 33554432000 1073741824 1073778376 140734371791888 18446744073709551615 253635897088 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/1056/statm: 5757 684 500 9 0 124 0
[pid=1056/tid=1057] ppid=1054 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/1056/task/1057/stat : 1057 (java) R 1054 1056 29102 0 -1 4202560 8525 0 1 0 0 0 0 0 25 0 2 0 830548834 10694979584 9341 33554432000 1073741824 1073778376 140734371791888 18446744073709551615 253640553531 0 4 0 16784584 0 0 0 -1 2 0 0 0

[startup+0.0443539 s]
/proc/loadavg: 3.75 3.72 3.49 4/571 1056
/proc/meminfo: memFree=20172328/32951124 swapFree=53733252/67111528
[pid=1056] ppid=1054 vsize=10467480 CPUtime=0.04 cores=0,2,4,6
/proc/1056/stat : 1056 (java) S 1054 1056 29102 0 -1 4202496 11318 0 1 0 3 1 0 0 25 0 13 0 830548833 10718699520 11014 33554432000 1073741824 1073778376 140734371791888 18446744073709551615 253652662245 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/1056/statm: 2616870 11015 1676 9 0 2607618 0
[pid=1056/tid=1057] ppid=1054 vsize=10467480 CPUtime=0.02 cores=0,2,4,6
/proc/1056/task/1057/stat : 1057 (java) R 1054 1056 29102 0 -1 4202560 10171 0 1 0 2 0 0 0 25 0 13 0 830548834 10718699520 11016 33554432000 1073741824 1073778376 140734371791888 18446744073709551615 47305908723619 0 4 0 16784584 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 10467480

[startup+0.100346 s]
/proc/loadavg: 3.75 3.72 3.49 4/571 1056
/proc/meminfo: memFree=20172328/32951124 swapFree=53733252/67111528
[pid=1056] ppid=1054 vsize=10540216 CPUtime=0.1 cores=0,2,4,6
/proc/1056/stat : 1056 (java) S 1054 1056 29102 0 -1 4202496 13132 0 1 0 9 1 0 0 25 0 18 0 830548833 10793181184 12793 33554432000 1073741824 1073778376 140734371791888 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/1056/statm: 2635054 12793 2093 9 0 2625788 0
[pid=1056/tid=1057] ppid=1054 vsize=10540216 CPUtime=0.09 cores=0,2,4,6
/proc/1056/task/1057/stat : 1057 (java) R 1054 1056 29102 0 -1 4202560 11183 0 1 0 8 1 0 0 18 0 18 0 830548834 10793181184 12793 33554432000 1073741824 1073778376 140734371791888 18446744073709551615 47305913191251 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540216

[startup+0.300343 s]
/proc/loadavg: 3.75 3.72 3.49 4/571 1056
/proc/meminfo: memFree=20172328/32951124 swapFree=53733252/67111528
[pid=1056] ppid=1054 vsize=10540824 CPUtime=0.49 cores=0,2,4,6
/proc/1056/stat : 1056 (java) S 1054 1056 29102 0 -1 4202496 15863 0 1 0 47 2 0 0 25 0 18 0 830548833 10793803776 15243 33554432000 1073741824 1073778376 140734371791888 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/1056/statm: 2635206 15244 2199 9 0 2625940 0
[pid=1056/tid=1057] ppid=1054 vsize=10540824 CPUtime=0.28 cores=0,2,4,6
/proc/1056/task/1057/stat : 1057 (java) R 1054 1056 29102 0 -1 4202560 13022 0 1 0 27 1 0 0 18 0 18 0 830548834 10793803776 15244 33554432000 1073741824 1073778376 140734371791888 18446744073709551615 46912505563914 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 10540824

[startup+0.700262 s]
/proc/loadavg: 3.75 3.72 3.49 4/571 1056
/proc/meminfo: memFree=20172328/32951124 swapFree=53733252/67111528
[pid=1056] ppid=1054 vsize=10544804 CPUtime=1.18 cores=0,2,4,6
/proc/1056/stat : 1056 (java) S 1054 1056 29102 0 -1 4202496 54602 0 1 0 112 6 0 0 25 0 18 0 830548833 10797879296 52694 33554432000 1073741824 1073778376 140734371791888 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/1056/statm: 2636201 52700 2214 9 0 2626935 0
[pid=1056/tid=1057] ppid=1054 vsize=10544804 CPUtime=0.69 cores=0,2,4,6
/proc/1056/task/1057/stat : 1057 (java) R 1054 1056 29102 0 -1 4202560 48437 0 1 0 63 6 0 0 18 0 18 0 830548834 10797879296 52702 33554432000 1073741824 1073778376 140734371791888 18446744073709551615 46912505654336 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 10544804

[startup+1.50113 s]
/proc/loadavg: 3.75 3.72 3.49 3/590 1078
/proc/meminfo: memFree=19878620/32951124 swapFree=53733252/67111528
[pid=1056] ppid=1054 vsize=10548576 CPUtime=1.61 cores=0,2,4,6
/proc/1056/stat : 1056 (java) S 1054 1056 29102 0 -1 4202496 76238 0 1 0 152 9 0 0 25 0 19 0 830548833 10801741824 73797 33554432000 1073741824 1073778376 140734371791888 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/1056/statm: 2637144 73797 2232 9 0 2627878 0
[pid=1056/tid=1057] ppid=1054 vsize=10548576 CPUtime=0.86 cores=0,2,4,6
/proc/1056/task/1057/stat : 1057 (java) S 1054 1056 29102 0 -1 4202560 69229 0 1 0 78 8 0 0 16 0 19 0 830548834 10801741824 73797 33554432000 1073741824 1073778376 140734371791888 18446744073709551615 253652676096 0 4 0 16800975 18446604447246209152 0 0 -1 0 0 0 0
[pid=1056/tid=1059] ppid=1054 vsize=10548576 CPUtime=0 cores=0,2,4,6
/proc/1056/task/1059/stat : 1059 (java) S 1054 1056 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830548835 10801741824 73797 33554432000 1073741824 1073778376 140734371791888 18446744073709551615 253652675481 0 4 0 16800975 18446604447246209152 0 0 -1 0 0 0 0
[pid=1056/tid=1060] ppid=1054 vsize=10548576 CPUtime=0 cores=0,2,4,6
/proc/1056/task/1060/stat : 1060 (java) S 1054 1056 29102 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 830548835 10801741824 73797 33554432000 1073741824 1073778376 140734371791888 18446744073709551615 253652675481 0 4 0 16800975 18446604447246209152 0 0 -1 6 0 0 0
[pid=1056/tid=1061] ppid=1054 vsize=10548576 CPUtime=0 cores=0,2,4,6
/proc/1056/task/1061/stat : 1061 (java) S 1054 1056 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830548835 10801741824 73797 33554432000 1073741824 1073778376 140734371791888 18446744073709551615 253652675481 0 4 0 16800975 18446604447246209152 0 0 -1 6 0 0 0
[pid=1056/tid=1062] ppid=1054 vsize=10548576 CPUtime=0 cores=0,2,4,6
/proc/1056/task/1062/stat : 1062 (java) S 1054 1056 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830548835 10801741824 73797 33554432000 1073741824 1073778376 140734371791888 18446744073709551615 253652675481 0 4 0 16800975 18446604447246209152 0 0 -1 6 0 0 0
[pid=1056/tid=1063] ppid=1054 vsize=10548576 CPUtime=0 cores=0,2,4,6
/proc/1056/task/1063/stat : 1063 (java) S 1054 1056 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830548835 10801741824 73797 33554432000 1073741824 1073778376 140734371791888 18446744073709551615 253652675481 0 4 0 16800975 18446604447246209152 0 0 -1 6 0 0 0
[pid=1056/tid=1064] ppid=1054 vsize=10548576 CPUtime=0 cores=0,2,4,6
/proc/1056/task/1064/stat : 1064 (java) S 1054 1056 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830548835 10801741824 73797 33554432000 1073741824 1073778376 140734371791888 18446744073709551615 253652675481 0 4 0 16800975 18446604447246209152 0 0 -1 6 0 0 0
[pid=1056/tid=1065] ppid=1054 vsize=10548576 CPUtime=0 cores=0,2,4,6
/proc/1056/task/1065/stat : 1065 (java) S 1054 1056 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830548835 10801741824 73797 33554432000 1073741824 1073778376 140734371791888 18446744073709551615 253652675481 0 4 0 16800975 18446604447246209152 0 0 -1 6 0 0 0
[pid=1056/tid=1066] ppid=1054 vsize=10548576 CPUtime=0 cores=0,2,4,6
/proc/1056/task/1066/stat : 1066 (java) S 1054 1056 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830548835 10801741824 73797 33554432000 1073741824 1073778376 140734371791888 18446744073709551615 253652675481 0 4 0 16800975 18446604447246209152 0 0 -1 6 0 0 0
[pid=1056/tid=1067] ppid=1054 vsize=10548576 CPUtime=0 cores=0,2,4,6
/proc/1056/task/1067/stat : 1067 (java) S 1054 1056 29102 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 830548836 10801741824 73797 33554432000 1073741824 1073778376 140734371791888 18446744073709551615 253652676096 0 0 0 16800975 18446604447246209152 0 0 -1 2 0 0 0
[pid=1056/tid=1068] ppid=1054 vsize=10548576 CPUtime=0 cores=0,2,4,6
/proc/1056/task/1068/stat : 1068 (java) S 1054 1056 29102 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 830548837 10801741824 73797 33554432000 1073741824 1073778376 140734371791888 18446744073709551615 253652675481 0 4 0 16800975 18446604447246209152 0 0 -1 2 0 0 0
[pid=1056/tid=1069] ppid=1054 vsize=10548576 CPUtime=0 cores=0,2,4,6
/proc/1056/task/1069/stat : 1069 (java) S 1054 1056 29102 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 830548837 10801741824 73797 33554432000 1073741824 1073778376 140734371791888 18446744073709551615 253652675481 0 4 0 16800975 18446604447246209152 0 0 -1 2 0 0 0
[pid=1056/tid=1070] ppid=1054 vsize=10548576 CPUtime=0 cores=0,2,4,6
/proc/1056/task/1070/stat : 1070 (java) S 1054 1056 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830548839 10801741824 73797 33554432000 1073741824 1073778376 140734371791888 18446744073709551615 253652683185 0 4 0 16800975 18446604447246209152 0 0 -1 2 0 0 0
[pid=1056/tid=1071] ppid=1054 vsize=10548576 CPUtime=0.3 cores=0,2,4,6
/proc/1056/task/1071/stat : 1071 (java) S 1054 1056 29102 0 -1 4202560 2660 0 0 0 30 0 0 0 17 0 19 0 830548839 10801741824 73797 33554432000 1073741824 1073778376 140734371791888 18446744073709551615 253652675481 0 4 0 16800975 18446604447246209152 0 0 -1 0 0 0 0
[pid=1056/tid=1072] ppid=1054 vsize=10548576 CPUtime=0.34 cores=0,2,4,6
/proc/1056/task/1072/stat : 1072 (java) S 1054 1056 29102 0 -1 4202560 2883 0 0 0 34 0 0 0 15 0 19 0 830548839 10801741824 73797 33554432000 1073741824 1073778376 140734371791888 18446744073709551615 253652675481 0 4 0 16800975 18446604447246209152 0 0 -1 4 0 0 0
[pid=1056/tid=1073] ppid=1054 vsize=10548576 CPUtime=0 cores=0,2,4,6
/proc/1056/task/1073/stat : 1073 (java) S 1054 1056 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830548839 10801741824 73797 33554432000 1073741824 1073778376 140734371791888 18446744073709551615 253652675481 0 4 0 16800975 18446604447246209152 0 0 -1 2 0 0 0
[pid=1056/tid=1074] ppid=1054 vsize=10548576 CPUtime=0 cores=0,2,4,6
/proc/1056/task/1074/stat : 1074 (java) S 1054 1056 29102 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 830548839 10801741824 73797 33554432000 1073741824 1073778376 140734371791888 18446744073709551615 253652676096 0 4 0 16800975 18446604447246209152 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.61
Current children cumulated vsize (KiB) 10548576

[startup+3.10085 s]
/proc/loadavg: 3.75 3.72 3.49 4/590 1084
/proc/meminfo: memFree=19860516/32951124 swapFree=53733252/67111528
[pid=1056] ppid=1054 vsize=10548704 CPUtime=2.83 cores=0,2,4,6
/proc/1056/stat : 1056 (java) S 1054 1056 29102 0 -1 4202496 86394 0 1 0 273 10 0 0 25 0 19 0 830548833 10801872896 80585 33554432000 1073741824 1073778376 140734371791888 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/1056/statm: 2637176 80585 2240 9 0 2627910 0
[pid=1056/tid=1057] ppid=1054 vsize=10548704 CPUtime=0.88 cores=0,2,4,6
/proc/1056/task/1057/stat : 1057 (java) S 1054 1056 29102 0 -1 4202560 69397 0 1 0 80 8 0 0 16 0 19 0 830548834 10801872896 80585 33554432000 1073741824 1073778376 140734371791888 18446744073709551615 253652676096 0 4 0 16800975 18446604447246209152 0 0 -1 0 0 0 0
[pid=1056/tid=1059] ppid=1054 vsize=10548704 CPUtime=0 cores=0,2,4,6
/proc/1056/task/1059/stat : 1059 (java) S 1054 1056 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830548835 10801872896 80585 33554432000 1073741824 1073778376 140734371791888 18446744073709551615 253652675481 0 4 0 16800975 18446604447246209152 0 0 -1 0 0 0 0
[pid=1056/tid=1060] ppid=1054 vsize=10548704 CPUtime=0 cores=0,2,4,6
/proc/1056/task/1060/stat : 1060 (java) S 1054 1056 29102 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 830548835 10801872896 80585 33554432000 1073741824 1073778376 140734371791888 18446744073709551615 253652675481 0 4 0 16800975 18446604447246209152 0 0 -1 6 0 0 0
[pid=1056/tid=1061] ppid=1054 vsize=10548704 CPUtime=0 cores=0,2,4,6
/proc/1056/task/1061/stat : 1061 (java) S 1054 1056 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830548835 10801872896 80585 33554432000 1073741824 1073778376 140734371791888 18446744073709551615 253652675481 0 4 0 16800975 18446604447246209152 0 0 -1 6 0 0 0
[pid=1056/tid=1062] ppid=1054 vsize=10548704 CPUtime=0 cores=0,2,4,6
/proc/1056/task/1062/stat : 1062 (java) S 1054 1056 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830548835 10801872896 80585 33554432000 1073741824 1073778376 140734371791888 18446744073709551615 253652675481 0 4 0 16800975 18446604447246209152 0 0 -1 6 0 0 0
[pid=1056/tid=1063] ppid=1054 vsize=10548704 CPUtime=0 cores=0,2,4,6
/proc/1056/task/1063/stat : 1063 (java) S 1054 1056 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830548835 10801872896 80585 33554432000 1073741824 1073778376 140734371791888 18446744073709551615 253652675481 0 4 0 16800975 18446604447246209152 0 0 -1 6 0 0 0
[pid=1056/tid=1064] ppid=1054 vsize=10548704 CPUtime=0 cores=0,2,4,6
/proc/1056/task/1064/stat : 1064 (java) S 1054 1056 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830548835 10801872896 80585 33554432000 1073741824 1073778376 140734371791888 18446744073709551615 253652675481 0 4 0 16800975 18446604447246209152 0 0 -1 6 0 0 0
[pid=1056/tid=1065] ppid=1054 vsize=10548704 CPUtime=0 cores=0,2,4,6
/proc/1056/task/1065/stat : 1065 (java) S 1054 1056 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830548835 10801872896 80585 33554432000 1073741824 1073778376 140734371791888 18446744073709551615 253652675481 0 4 0 16800975 18446604447246209152 0 0 -1 6 0 0 0
[pid=1056/tid=1066] ppid=1054 vsize=10548704 CPUtime=0 cores=0,2,4,6
/proc/1056/task/1066/stat : 1066 (java) S 1054 1056 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830548835 10801872896 80585 33554432000 1073741824 1073778376 140734371791888 18446744073709551615 253652675481 0 4 0 16800975 18446604447246209152 0 0 -1 6 0 0 0
[pid=1056/tid=1067] ppid=1054 vsize=10548704 CPUtime=0 cores=0,2,4,6
/proc/1056/task/1067/stat : 1067 (java) S 1054 1056 29102 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 830548836 10801872896 80585 33554432000 1073741824 1073778376 140734371791888 18446744073709551615 253652676096 0 0 0 16800975 18446604447246209152 0 0 -1 2 0 0 0
[pid=1056/tid=1068] ppid=1054 vsize=10548704 CPUtime=0 cores=0,2,4,6
/proc/1056/task/1068/stat : 1068 (java) S 1054 1056 29102 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 830548837 10801872896 80585 33554432000 1073741824 1073778376 140734371791888 18446744073709551615 253652675481 0 4 0 16800975 18446604447246209152 0 0 -1 2 0 0 0
[pid=1056/tid=1069] ppid=1054 vsize=10548704 CPUtime=0 cores=0,2,4,6
/proc/1056/task/1069/stat : 1069 (java) S 1054 1056 29102 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 830548837 10801872896 80585 33554432000 1073741824 1073778376 140734371791888 18446744073709551615 253652675481 0 4 0 16800975 18446604447246209152 0 0 -1 2 0 0 0
[pid=1056/tid=1070] ppid=1054 vsize=10548704 CPUtime=0 cores=0,2,4,6
/proc/1056/task/1070/stat : 1070 (java) S 1054 1056 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830548839 10801872896 80585 33554432000 1073741824 1073778376 140734371791888 18446744073709551615 253652683185 0 4 0 16800975 18446604447246209152 0 0 -1 2 0 0 0
[pid=1056/tid=1071] ppid=1054 vsize=10548704 CPUtime=0.83 cores=0,2,4,6
/proc/1056/task/1071/stat : 1071 (java) S 1054 1056 29102 0 -1 4202560 9741 0 0 0 83 0 0 0 15 0 19 0 830548839 10801872896 80585 33554432000 1073741824 1073778376 140734371791888 18446744073709551615 253652675481 0 4 0 16800975 18446604447246209152 0 0 -1 0 0 0 0
[pid=1056/tid=1072] ppid=1054 vsize=10548704 CPUtime=0.62 cores=0,2,4,6
/proc/1056/task/1072/stat : 1072 (java) S 1054 1056 29102 0 -1 4202560 3898 0 0 0 62 0 0 0 15 0 19 0 830548839 10801872896 80585 33554432000 1073741824 1073778376 140734371791888 18446744073709551615 253652675481 0 4 0 16800975 18446604447246209152 0 0 -1 4 0 0 0
[pid=1056/tid=1073] ppid=1054 vsize=10548704 CPUtime=0 cores=0,2,4,6
/proc/1056/task/1073/stat : 1073 (java) S 1054 1056 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830548839 10801872896 80585 33554432000 1073741824 1073778376 140734371791888 18446744073709551615 253652675481 0 4 0 16800975 18446604447246209152 0 0 -1 2 0 0 0
[pid=1056/tid=1074] ppid=1054 vsize=10548704 CPUtime=0 cores=0,2,4,6
/proc/1056/task/1074/stat : 1074 (java) S 1054 1056 29102 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 830548839 10801872896 80585 33554432000 1073741824 1073778376 140734371791888 18446744073709551615 253652676096 0 4 0 16800975 18446604447246209152 0 0 -1 2 0 0 0
[pid=1056/tid=1081] ppid=1054 vsize=10548704 CPUtime=0 cores=0,2,4,6
/proc/1056/task/1081/stat : 1081 (java) S 1054 1056 29102 0 -1 4202560 0 0 0 0 0 0 0 0 17 0 19 0 830548972 10801872896 80585 33554432000 1073741824 1073778376 140734371791888 18446744073709551615 253652676096 0 4 0 16800975 18446604447246209152 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.83
Current children cumulated vsize (KiB) 10548704

[startup+6.30119 s]
/proc/loadavg: 3.61 3.70 3.48 6/593 1096
/proc/meminfo: memFree=19448636/32951124 swapFree=53733252/67111528
[pid=1056] ppid=1054 vsize=10551704 CPUtime=8.57 cores=0,2,4,6
/proc/1056/stat : 1056 (java) S 1054 1056 29102 0 -1 4202496 184207 0 1 0 835 22 0 0 25 0 22 0 830548833 10804944896 178383 33554432000 1073741824 1073778376 140734371791888 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/1056/statm: 2637926 178383 2268 9 0 2628660 0
[pid=1056/tid=1057] ppid=1054 vsize=10551704 CPUtime=0.88 cores=0,2,4,6
/proc/1056/task/1057/stat : 1057 (java) S 1054 1056 29102 0 -1 4202560 69509 0 1 0 80 8 0 0 15 0 22 0 830548834 10804944896 178383 33554432000 1073741824 1073778376 140734371791888 18446744073709551615 253652676096 0 4 0 16800975 18446604447246209152 0 0 -1 6 0 0 0
[pid=1056/tid=1059] ppid=1054 vsize=10551704 CPUtime=0 cores=0,2,4,6
/proc/1056/task/1059/stat : 1059 (java) S 1054 1056 29102 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830548835 10804944896 178383 33554432000 1073741824 1073778376 140734371791888 18446744073709551615 253652675481 0 4 0 16800975 18446604447246209152 0 0 -1 0 0 0 0
[pid=1056/tid=1060] ppid=1054 vsize=10551704 CPUtime=0 cores=0,2,4,6
/proc/1056/task/1060/stat : 1060 (java) S 1054 1056 29102 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 22 0 830548835 10804944896 178383 33554432000 1073741824 1073778376 140734371791888 18446744073709551615 253652675481 0 4 0 16800975 18446604447246209152 0 0 -1 6 0 0 0
[pid=1056/tid=1061] ppid=1054 vsize=10551704 CPUtime=0 cores=0,2,4,6
/proc/1056/task/1061/stat : 1061 (java) S 1054 1056 29102 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 830548835 10804944896 178383 33554432000 1073741824 1073778376 140734371791888 18446744073709551615 253652675481 0 4 0 16800975 18446604447246209152 0 0 -1 6 0 0 0
[pid=1056/tid=1062] ppid=1054 vsize=10551704 CPUtime=0 cores=0,2,4,6
/proc/1056/task/1062/stat : 1062 (java) S 1054 1056 29102 0 -1 4202560 182 0 0 0 0 0 0 0 18 0 22 0 830548835 10804944896 178383 33554432000 1073741824 1073778376 140734371791888 18446744073709551615 253652675481 0 4 0 16800975 18446604447246209152 0 0 -1 2 0 0 0
[pid=1056/tid=1063] ppid=1054 vsize=10551704 CPUtime=0.01 cores=0,2,4,6
/proc/1056/task/1063/stat : 1063 (java) S 1054 1056 29102 0 -1 4202560 1579 0 0 0 1 0 0 0 18 0 22 0 830548835 10804944896 178383 33554432000 1073741824 1073778376 140734371791888 18446744073709551615 253652675481 0 4 0 16800975 18446604447246209152 0 0 -1 0 0 0 0
[pid=1056/tid=1064] ppid=1054 vsize=10551704 CPUtime=0.02 cores=0,2,4,6
/proc/1056/task/1064/stat : 1064 (java) S 1054 1056 29102 0 -1 4202560 4601 0 0 0 2 0 0 0 18 0 22 0 830548835 10804944896 178383 33554432000 1073741824 1073778376 140734371791888 18446744073709551615 253652675481 0 4 0 16800975 18446604447246209152 0 0 -1 2 0 0 0
[pid=1056/tid=1065] ppid=1054 vsize=10551704 CPUtime=0.02 cores=0,2,4,6
/proc/1056/task/1065/stat : 1065 (java) S 1054 1056 29102 0 -1 4202560 3058 0 0 0 2 0 0 0 18 0 22 0 830548835 10804944896 178383 33554432000 1073741824 1073778376 140734371791888 18446744073709551615 253652675481 0 4 0 16800975 18446604447246209152 0 0 -1 6 0 0 0
[pid=1056/tid=1066] ppid=1054 vsize=10551704 CPUtime=0.02 cores=0,2,4,6
/proc/1056/task/1066/stat : 1066 (java) S 1054 1056 29102 0 -1 4202560 3269 0 0 0 2 0 0 0 18 0 22 0 830548835 10804944896 178383 33554432000 1073741824 1073778376 140734371791888 18446744073709551615 253652675481 0 4 0 16800975 18446604447246209152 0 0 -1 6 0 0 0
[pid=1056/tid=1067] ppid=1054 vsize=10551704 CPUtime=0.12 cores=0,2,4,6
/proc/1056/task/1067/stat : 1067 (java) S 1054 1056 29102 0 -1 4202560 14063 0 0 0 11 1 0 0 16 0 22 0 830548836 10804944896 178383 33554432000 1073741824 1073778376 140734371791888 18446744073709551615 253652676096 0 0 0 16800975 18446604447246209152 0 0 -1 4 0 0 0
[pid=1056/tid=1068] ppid=1054 vsize=10551704 CPUtime=0 cores=0,2,4,6
/proc/1056/task/1068/stat : 1068 (java) S 1054 1056 29102 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830548837 10804944896 178383 33554432000 1073741824 1073778376 140734371791888 18446744073709551615 253652675481 0 4 0 16800975 18446604447246209152 0 0 -1 4 0 0 0
[pid=1056/tid=1069] ppid=1054 vsize=10551704 CPUtime=0 cores=0,2,4,6
/proc/1056/task/1069/stat : 1069 (java) S 1054 1056 29102 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 830548837 10804944896 178383 33554432000 1073741824 1073778376 140734371791888 18446744073709551615 253652675481 0 4 0 16800975 18446604447246209152 0 0 -1 4 0 0 0
[pid=1056/tid=1070] ppid=1054 vsize=10551704 CPUtime=0 cores=0,2,4,6
/proc/1056/task/1070/stat : 1070 (java) S 1054 1056 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830548839 10804944896 178383 33554432000 1073741824 1073778376 140734371791888 18446744073709551615 253652683185 0 4 0 16800975 18446604447246209152 0 0 -1 2 0 0 0
[pid=1056/tid=1071] ppid=1054 vsize=10551704 CPUtime=1.02 cores=0,2,4,6
/proc/1056/task/1071/stat : 1071 (java) S 1054 1056 29102 0 -1 4202560 9766 0 0 0 102 0 0 0 15 0 22 0 830548839 10804944896 178383 33554432000 1073741824 1073778376 140734371791888 18446744073709551615 253652675481 0 4 0 16800975 18446604447246209152 0 0 -1 0 0 0 0
[pid=1056/tid=1072] ppid=1054 vsize=10551704 CPUtime=0.79 cores=0,2,4,6
/proc/1056/task/1072/stat : 1072 (java) S 1054 1056 29102 0 -1 4202560 4418 0 0 0 79 0 0 0 15 0 22 0 830548839 10804944896 178383 33554432000 1073741824 1073778376 140734371791888 18446744073709551615 253652675481 0 4 0 16800975 18446604447246209152 0 0 -1 4 0 0 0
[pid=1056/tid=1073] ppid=1054 vsize=10551704 CPUtime=0 cores=0,2,4,6
/proc/1056/task/1073/stat : 1073 (java) S 1054 1056 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830548839 10804944896 178383 33554432000 1073741824 1073778376 140734371791888 18446744073709551615 253652675481 0 4 0 16800975 18446604447246209152 0 0 -1 2 0 0 0

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

/proc/meminfo: memFree=15702164/32951124 swapFree=53733252/67111528
[pid=1056] ppid=1054 vsize=10552840 CPUtime=1670.57 cores=0,2,4,6
/proc/1056/stat : 1056 (java) S 1054 1056 29102 0 -1 4202496 1062726 0 1 0 166925 132 0 0 25 0 22 0 830548833 10806108160 1053845 33554432000 1073741824 1073778376 140734371791888 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/1056/statm: 2638210 1053845 2269 9 0 2628944 0
[pid=1056/tid=1057] ppid=1054 vsize=10552840 CPUtime=0.89 cores=0,2,4,6
/proc/1056/task/1057/stat : 1057 (java) S 1054 1056 29102 0 -1 4202560 69561 0 1 0 81 8 0 0 15 0 22 0 830548834 10806108160 1053845 33554432000 1073741824 1073778376 140734371791888 18446744073709551615 253652676096 0 4 0 16800975 18446604447246209152 0 0 -1 2 0 0 0
[pid=1056/tid=1059] ppid=1054 vsize=10552840 CPUtime=1.62 cores=0,2,4,6
/proc/1056/task/1059/stat : 1059 (java) S 1054 1056 29102 0 -1 4202560 18070 0 0 0 160 2 0 0 16 0 22 0 830548835 10806108160 1053845 33554432000 1073741824 1073778376 140734371791888 18446744073709551615 253652675481 0 4 0 16800975 18446604447246209152 0 0 -1 4 0 0 0
[pid=1056/tid=1060] ppid=1054 vsize=10552840 CPUtime=1.16 cores=0,2,4,6
/proc/1056/task/1060/stat : 1060 (java) S 1054 1056 29102 0 -1 4202560 19251 0 0 0 114 2 0 0 15 0 22 0 830548835 10806108160 1053845 33554432000 1073741824 1073778376 140734371791888 18446744073709551615 253652675481 0 4 0 16800975 18446604447246209152 0 0 -1 4 0 0 0
[pid=1056/tid=1061] ppid=1054 vsize=10552840 CPUtime=1.4 cores=0,2,4,6
/proc/1056/task/1061/stat : 1061 (java) S 1054 1056 29102 0 -1 4202560 12489 0 0 0 139 1 0 0 15 0 22 0 830548835 10806108160 1053845 33554432000 1073741824 1073778376 140734371791888 18446744073709551615 253652675481 0 4 0 16800975 18446604447246209152 0 0 -1 6 0 0 0
[pid=1056/tid=1062] ppid=1054 vsize=10552840 CPUtime=1.29 cores=0,2,4,6
/proc/1056/task/1062/stat : 1062 (java) S 1054 1056 29102 0 -1 4202560 20110 0 0 0 126 3 0 0 16 0 22 0 830548835 10806108160 1053845 33554432000 1073741824 1073778376 140734371791888 18446744073709551615 253652675481 0 4 0 16800975 18446604447246209152 0 0 -1 4 0 0 0
[pid=1056/tid=1063] ppid=1054 vsize=10552840 CPUtime=1.21 cores=0,2,4,6
/proc/1056/task/1063/stat : 1063 (java) S 1054 1056 29102 0 -1 4202560 11955 0 0 0 120 1 0 0 15 0 22 0 830548835 10806108160 1053845 33554432000 1073741824 1073778376 140734371791888 18446744073709551615 253652675481 0 4 0 16800975 18446604447246209152 0 0 -1 2 0 0 0
[pid=1056/tid=1064] ppid=1054 vsize=10552840 CPUtime=1.37 cores=0,2,4,6
/proc/1056/task/1064/stat : 1064 (java) S 1054 1056 29102 0 -1 4202560 19800 0 0 0 135 2 0 0 15 0 22 0 830548835 10806108160 1053845 33554432000 1073741824 1073778376 140734371791888 18446744073709551615 253652675481 0 4 0 16800975 18446604447246209152 0 0 -1 4 0 0 0
[pid=1056/tid=1065] ppid=1054 vsize=10552840 CPUtime=1.45 cores=0,2,4,6
/proc/1056/task/1065/stat : 1065 (java) S 1054 1056 29102 0 -1 4202560 16989 0 0 0 143 2 0 0 16 0 22 0 830548835 10806108160 1053845 33554432000 1073741824 1073778376 140734371791888 18446744073709551615 253652675481 0 4 0 16800975 18446604447246209152 0 0 -1 2 0 0 0
[pid=1056/tid=1066] ppid=1054 vsize=10552840 CPUtime=1.72 cores=0,2,4,6
/proc/1056/task/1066/stat : 1066 (java) S 1054 1056 29102 0 -1 4202560 20730 0 0 0 169 3 0 0 16 0 22 0 830548835 10806108160 1053845 33554432000 1073741824 1073778376 140734371791888 18446744073709551615 253652675481 0 4 0 16800975 18446604447246209152 0 0 -1 2 0 0 0
[pid=1056/tid=1067] ppid=1054 vsize=10552840 CPUtime=86.97 cores=0,2,4,6
/proc/1056/task/1067/stat : 1067 (java) S 1054 1056 29102 0 -1 4202560 265713 0 0 0 8672 25 0 0 18 0 22 0 830548836 10806108160 1053845 33554432000 1073741824 1073778376 140734371791888 18446744073709551615 253652676096 0 0 0 16800975 18446604447246209152 0 0 -1 0 0 0 0
[pid=1056/tid=1068] ppid=1054 vsize=10552840 CPUtime=0 cores=0,2,4,6
/proc/1056/task/1068/stat : 1068 (java) S 1054 1056 29102 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830548837 10806108160 1053845 33554432000 1073741824 1073778376 140734371791888 18446744073709551615 253652675481 0 4 0 16800975 18446604447246209152 0 0 -1 4 0 0 0
[pid=1056/tid=1069] ppid=1054 vsize=10552840 CPUtime=0 cores=0,2,4,6
/proc/1056/task/1069/stat : 1069 (java) S 1054 1056 29102 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 830548837 10806108160 1053845 33554432000 1073741824 1073778376 140734371791888 18446744073709551615 253652675481 0 4 0 16800975 18446604447246209152 0 0 -1 6 0 0 0
[pid=1056/tid=1070] ppid=1054 vsize=10552840 CPUtime=0 cores=0,2,4,6
/proc/1056/task/1070/stat : 1070 (java) S 1054 1056 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830548839 10806108160 1053845 33554432000 1073741824 1073778376 140734371791888 18446744073709551615 253652683185 0 4 0 16800975 18446604447246209152 0 0 -1 2 0 0 0
[pid=1056/tid=1071] ppid=1054 vsize=10552840 CPUtime=1.29 cores=0,2,4,6
/proc/1056/task/1071/stat : 1071 (java) S 1054 1056 29102 0 -1 4202560 9799 0 0 0 129 0 0 0 15 0 22 0 830548839 10806108160 1053845 33554432000 1073741824 1073778376 140734371791888 18446744073709551615 253652675481 0 4 0 16800975 18446604447246209152 0 0 -1 0 0 0 0
[pid=1056/tid=1072] ppid=1054 vsize=10552840 CPUtime=1.41 cores=0,2,4,6
/proc/1056/task/1072/stat : 1072 (java) S 1054 1056 29102 0 -1 4202560 7229 0 0 0 141 0 0 0 15 0 22 0 830548839 10806108160 1053845 33554432000 1073741824 1073778376 140734371791888 18446744073709551615 253652675481 0 4 0 16800975 18446604447246209152 0 0 -1 4 0 0 0
[pid=1056/tid=1073] ppid=1054 vsize=10552840 CPUtime=0 cores=0,2,4,6
/proc/1056/task/1073/stat : 1073 (java) S 1054 1056 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830548839 10806108160 1053845 33554432000 1073741824 1073778376 140734371791888 18446744073709551615 253652675481 0 4 0 16800975 18446604447246209152 0 0 -1 2 0 0 0
[pid=1056/tid=1074] ppid=1054 vsize=10552840 CPUtime=0 cores=0,2,4,6
/proc/1056/task/1074/stat : 1074 (java) S 1054 1056 29102 0 -1 4202560 52 0 0 0 0 0 0 0 15 0 22 0 830548839 10806108160 1053845 33554432000 1073741824 1073778376 140734371791888 18446744073709551615 253652676096 0 4 0 16800975 18446604447246209152 0 0 -1 4 0 0 0
[pid=1056/tid=1081] ppid=1054 vsize=10552840 CPUtime=0 cores=0,2,4,6
/proc/1056/task/1081/stat : 1081 (java) S 1054 1056 29102 0 -1 4202560 0 0 0 0 0 0 0 0 17 0 22 0 830548972 10806108160 1053845 33554432000 1073741824 1073778376 140734371791888 18446744073709551615 253652676096 0 4 0 16800975 18446604447246209152 0 0 -1 0 0 0 0
[pid=1056/tid=1118] ppid=1054 vsize=10552840 CPUtime=270.69 cores=0,2,4,6
/proc/1056/task/1118/stat : 1118 (java) R 1054 1056 29102 0 -1 4202560 14 0 0 0 27069 0 0 0 20 0 22 0 830605005 10806108160 1053845 33554432000 1073741824 1073778376 140734371791888 18446744073709551615 46912505911443 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=1056/tid=1119] ppid=1054 vsize=10552840 CPUtime=270.7 cores=0,2,4,6
/proc/1056/task/1119/stat : 1119 (java) R 1054 1056 29102 0 -1 4202560 0 0 0 0 27070 0 0 0 20 0 22 0 830605005 10806108160 1053845 33554432000 1073741824 1073778376 140734371791888 18446744073709551615 46912506134963 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=1056/tid=1120] ppid=1054 vsize=10552840 CPUtime=0 cores=0,2,4,6
/proc/1056/task/1120/stat : 1120 (java) S 1054 1056 29102 0 -1 4202560 0 0 0 0 0 0 0 0 17 0 22 0 830605005 10806108160 1053845 33554432000 1073741824 1073778376 140734371791888 18446744073709551615 253652676096 0 4 0 16800975 18446604447246209152 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1670.57
Current children cumulated vsize (KiB) 10552840

[startup+942.301 s]
/proc/loadavg: 3.54 3.70 3.64 4/593 1208
/proc/meminfo: memFree=14138584/32951124 swapFree=53733252/67111528
[pid=1056] ppid=1054 vsize=10552840 CPUtime=1784.87 cores=0,2,4,6
/proc/1056/stat : 1056 (java) S 1054 1056 29102 0 -1 4202496 1062753 0 1 0 178354 133 0 0 25 0 22 0 830548833 10806108160 1053861 33554432000 1073741824 1073778376 140734371791888 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/1056/statm: 2638210 1053861 2269 9 0 2628944 0
[pid=1056/tid=1057] ppid=1054 vsize=10552840 CPUtime=0.89 cores=0,2,4,6
/proc/1056/task/1057/stat : 1057 (java) S 1054 1056 29102 0 -1 4202560 69564 0 1 0 81 8 0 0 15 0 22 0 830548834 10806108160 1053861 33554432000 1073741824 1073778376 140734371791888 18446744073709551615 253652675481 0 4 0 16800975 18446604447246209152 0 0 -1 2 0 0 0
[pid=1056/tid=1059] ppid=1054 vsize=10552840 CPUtime=1.73 cores=0,2,4,6
/proc/1056/task/1059/stat : 1059 (java) S 1054 1056 29102 0 -1 4202560 18077 0 0 0 171 2 0 0 16 0 22 0 830548835 10806108160 1053861 33554432000 1073741824 1073778376 140734371791888 18446744073709551615 253652675481 0 4 0 16800975 18446604447246209152 0 0 -1 2 0 0 0
[pid=1056/tid=1060] ppid=1054 vsize=10552840 CPUtime=1.23 cores=0,2,4,6
/proc/1056/task/1060/stat : 1060 (java) S 1054 1056 29102 0 -1 4202560 19254 0 0 0 121 2 0 0 16 0 22 0 830548835 10806108160 1053861 33554432000 1073741824 1073778376 140734371791888 18446744073709551615 253652675481 0 4 0 16800975 18446604447246209152 0 0 -1 4 0 0 0
[pid=1056/tid=1061] ppid=1054 vsize=10552840 CPUtime=1.53 cores=0,2,4,6
/proc/1056/task/1061/stat : 1061 (java) S 1054 1056 29102 0 -1 4202560 12491 0 0 0 152 1 0 0 16 0 22 0 830548835 10806108160 1053861 33554432000 1073741824 1073778376 140734371791888 18446744073709551615 253652675481 0 4 0 16800975 18446604447246209152 0 0 -1 6 0 0 0
[pid=1056/tid=1062] ppid=1054 vsize=10552840 CPUtime=1.34 cores=0,2,4,6
/proc/1056/task/1062/stat : 1062 (java) S 1054 1056 29102 0 -1 4202560 20110 0 0 0 131 3 0 0 15 0 22 0 830548835 10806108160 1053861 33554432000 1073741824 1073778376 140734371791888 18446744073709551615 253652675481 0 4 0 16800975 18446604447246209152 0 0 -1 6 0 0 0
[pid=1056/tid=1063] ppid=1054 vsize=10552840 CPUtime=1.36 cores=0,2,4,6
/proc/1056/task/1063/stat : 1063 (java) S 1054 1056 29102 0 -1 4202560 11959 0 0 0 135 1 0 0 16 0 22 0 830548835 10806108160 1053861 33554432000 1073741824 1073778376 140734371791888 18446744073709551615 253652675481 0 4 0 16800975 18446604447246209152 0 0 -1 2 0 0 0
[pid=1056/tid=1064] ppid=1054 vsize=10552840 CPUtime=1.43 cores=0,2,4,6
/proc/1056/task/1064/stat : 1064 (java) S 1054 1056 29102 0 -1 4202560 19800 0 0 0 141 2 0 0 15 0 22 0 830548835 10806108160 1053861 33554432000 1073741824 1073778376 140734371791888 18446744073709551615 253652675481 0 4 0 16800975 18446604447246209152 0 0 -1 4 0 0 0
[pid=1056/tid=1065] ppid=1054 vsize=10552840 CPUtime=1.45 cores=0,2,4,6
/proc/1056/task/1065/stat : 1065 (java) S 1054 1056 29102 0 -1 4202560 16989 0 0 0 143 2 0 0 15 0 22 0 830548835 10806108160 1053861 33554432000 1073741824 1073778376 140734371791888 18446744073709551615 253652675481 0 4 0 16800975 18446604447246209152 0 0 -1 6 0 0 0
[pid=1056/tid=1066] ppid=1054 vsize=10552840 CPUtime=1.72 cores=0,2,4,6
/proc/1056/task/1066/stat : 1066 (java) S 1054 1056 29102 0 -1 4202560 20730 0 0 0 169 3 0 0 15 0 22 0 830548835 10806108160 1053861 33554432000 1073741824 1073778376 140734371791888 18446744073709551615 253652675481 0 4 0 16800975 18446604447246209152 0 0 -1 2 0 0 0
[pid=1056/tid=1067] ppid=1054 vsize=10552840 CPUtime=92.85 cores=0,2,4,6
/proc/1056/task/1067/stat : 1067 (java) R 1054 1056 29102 0 -1 4202560 265717 0 0 0 9260 25 0 0 17 0 22 0 830548836 10806108160 1053861 33554432000 1073741824 1073778376 140734371791888 18446744073709551615 47305909588284 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=1056/tid=1068] ppid=1054 vsize=10552840 CPUtime=0 cores=0,2,4,6
/proc/1056/task/1068/stat : 1068 (java) S 1054 1056 29102 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830548837 10806108160 1053861 33554432000 1073741824 1073778376 140734371791888 18446744073709551615 253652675481 0 4 0 16800975 18446604447246209152 0 0 -1 4 0 0 0
[pid=1056/tid=1069] ppid=1054 vsize=10552840 CPUtime=0 cores=0,2,4,6
/proc/1056/task/1069/stat : 1069 (java) S 1054 1056 29102 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 830548837 10806108160 1053861 33554432000 1073741824 1073778376 140734371791888 18446744073709551615 253652675481 0 4 0 16800975 18446604447246209152 0 0 -1 6 0 0 0
[pid=1056/tid=1070] ppid=1054 vsize=10552840 CPUtime=0 cores=0,2,4,6
/proc/1056/task/1070/stat : 1070 (java) S 1054 1056 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830548839 10806108160 1053861 33554432000 1073741824 1073778376 140734371791888 18446744073709551615 253652683185 0 4 0 16800975 18446604447246209152 0 0 -1 2 0 0 0
[pid=1056/tid=1071] ppid=1054 vsize=10552840 CPUtime=1.29 cores=0,2,4,6
/proc/1056/task/1071/stat : 1071 (java) S 1054 1056 29102 0 -1 4202560 9799 0 0 0 129 0 0 0 15 0 22 0 830548839 10806108160 1053861 33554432000 1073741824 1073778376 140734371791888 18446744073709551615 253652675481 0 4 0 16800975 18446604447246209152 0 0 -1 0 0 0 0
[pid=1056/tid=1072] ppid=1054 vsize=10552840 CPUtime=1.41 cores=0,2,4,6
/proc/1056/task/1072/stat : 1072 (java) S 1054 1056 29102 0 -1 4202560 7229 0 0 0 141 0 0 0 15 0 22 0 830548839 10806108160 1053861 33554432000 1073741824 1073778376 140734371791888 18446744073709551615 253652675481 0 4 0 16800975 18446604447246209152 0 0 -1 4 0 0 0
[pid=1056/tid=1073] ppid=1054 vsize=10552840 CPUtime=0 cores=0,2,4,6
/proc/1056/task/1073/stat : 1073 (java) S 1054 1056 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830548839 10806108160 1053861 33554432000 1073741824 1073778376 140734371791888 18446744073709551615 253652675481 0 4 0 16800975 18446604447246209152 0 0 -1 2 0 0 0
[pid=1056/tid=1074] ppid=1054 vsize=10552840 CPUtime=0 cores=0,2,4,6
/proc/1056/task/1074/stat : 1074 (java) S 1054 1056 29102 0 -1 4202560 56 0 0 0 0 0 0 0 15 0 22 0 830548839 10806108160 1053861 33554432000 1073741824 1073778376 140734371791888 18446744073709551615 253652676096 0 4 0 16800975 18446604447246209152 0 0 -1 4 0 0 0
[pid=1056/tid=1081] ppid=1054 vsize=10552840 CPUtime=0 cores=0,2,4,6
/proc/1056/task/1081/stat : 1081 (java) S 1054 1056 29102 0 -1 4202560 0 0 0 0 0 0 0 0 17 0 22 0 830548972 10806108160 1053861 33554432000 1073741824 1073778376 140734371791888 18446744073709551615 253652676096 0 4 0 16800975 18446604447246209152 0 0 -1 0 0 0 0
[pid=1056/tid=1118] ppid=1054 vsize=10552840 CPUtime=324.61 cores=0,2,4,6
/proc/1056/task/1118/stat : 1118 (java) S 1054 1056 29102 0 -1 4202560 14 0 0 0 32461 0 0 0 25 0 22 0 830605005 10806108160 1053861 33554432000 1073741824 1073778376 140734371791888 18446744073709551615 253652675481 0 4 0 16800975 18446604447246209152 0 0 -1 4 0 0 0
[pid=1056/tid=1119] ppid=1054 vsize=10552840 CPUtime=324.61 cores=0,2,4,6
/proc/1056/task/1119/stat : 1119 (java) S 1054 1056 29102 0 -1 4202560 0 0 0 0 32461 0 0 0 25 0 22 0 830605005 10806108160 1053861 33554432000 1073741824 1073778376 140734371791888 18446744073709551615 253652675481 0 4 0 16800975 18446604447246209152 0 0 -1 2 0 0 0
[pid=1056/tid=1120] ppid=1054 vsize=10552840 CPUtime=0 cores=0,2,4,6
/proc/1056/task/1120/stat : 1120 (java) S 1054 1056 29102 0 -1 4202560 0 0 0 0 0 0 0 0 17 0 22 0 830605005 10806108160 1053861 33554432000 1073741824 1073778376 140734371791888 18446744073709551615 253652676096 0 4 0 16800975 18446604447246209152 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1784.87
Current children cumulated vsize (KiB) 10552840



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+950.202 s]
/proc/loadavg: 3.54 3.69 3.64 5/593 1217
/proc/meminfo: memFree=14128532/32951124 swapFree=53733252/67111528
[pid=1056] ppid=1054 vsize=10552840 CPUtime=1800.04 cores=0,2,4,6
/proc/1056/stat : 1056 (java) S 1054 1056 29102 0 -1 4202496 1062753 0 1 0 179871 133 0 0 25 0 22 0 830548833 10806108160 1053861 33554432000 1073741824 1073778376 140734371791888 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/1056/statm: 2638210 1053861 2269 9 0 2628944 0
[pid=1056/tid=1057] ppid=1054 vsize=10552840 CPUtime=0.89 cores=0,2,4,6
/proc/1056/task/1057/stat : 1057 (java) S 1054 1056 29102 0 -1 4202560 69564 0 1 0 81 8 0 0 15 0 22 0 830548834 10806108160 1053861 33554432000 1073741824 1073778376 140734371791888 18446744073709551615 253652676096 0 4 0 16800975 18446604447246209152 0 0 -1 2 0 0 0
[pid=1056/tid=1059] ppid=1054 vsize=10552840 CPUtime=1.73 cores=0,2,4,6
/proc/1056/task/1059/stat : 1059 (java) S 1054 1056 29102 0 -1 4202560 18077 0 0 0 171 2 0 0 16 0 22 0 830548835 10806108160 1053861 33554432000 1073741824 1073778376 140734371791888 18446744073709551615 253652675481 0 4 0 16800975 18446604447246209152 0 0 -1 2 0 0 0
[pid=1056/tid=1060] ppid=1054 vsize=10552840 CPUtime=1.23 cores=0,2,4,6
/proc/1056/task/1060/stat : 1060 (java) S 1054 1056 29102 0 -1 4202560 19254 0 0 0 121 2 0 0 16 0 22 0 830548835 10806108160 1053861 33554432000 1073741824 1073778376 140734371791888 18446744073709551615 253652675481 0 4 0 16800975 18446604447246209152 0 0 -1 4 0 0 0
[pid=1056/tid=1061] ppid=1054 vsize=10552840 CPUtime=1.53 cores=0,2,4,6
/proc/1056/task/1061/stat : 1061 (java) S 1054 1056 29102 0 -1 4202560 12491 0 0 0 152 1 0 0 16 0 22 0 830548835 10806108160 1053861 33554432000 1073741824 1073778376 140734371791888 18446744073709551615 253652675481 0 4 0 16800975 18446604447246209152 0 0 -1 6 0 0 0
[pid=1056/tid=1062] ppid=1054 vsize=10552840 CPUtime=1.34 cores=0,2,4,6
/proc/1056/task/1062/stat : 1062 (java) S 1054 1056 29102 0 -1 4202560 20110 0 0 0 131 3 0 0 15 0 22 0 830548835 10806108160 1053861 33554432000 1073741824 1073778376 140734371791888 18446744073709551615 253652675481 0 4 0 16800975 18446604447246209152 0 0 -1 6 0 0 0
[pid=1056/tid=1063] ppid=1054 vsize=10552840 CPUtime=1.36 cores=0,2,4,6
/proc/1056/task/1063/stat : 1063 (java) S 1054 1056 29102 0 -1 4202560 11959 0 0 0 135 1 0 0 16 0 22 0 830548835 10806108160 1053861 33554432000 1073741824 1073778376 140734371791888 18446744073709551615 253652675481 0 4 0 16800975 18446604447246209152 0 0 -1 2 0 0 0
[pid=1056/tid=1064] ppid=1054 vsize=10552840 CPUtime=1.43 cores=0,2,4,6
/proc/1056/task/1064/stat : 1064 (java) S 1054 1056 29102 0 -1 4202560 19800 0 0 0 141 2 0 0 15 0 22 0 830548835 10806108160 1053861 33554432000 1073741824 1073778376 140734371791888 18446744073709551615 253652675481 0 4 0 16800975 18446604447246209152 0 0 -1 4 0 0 0
[pid=1056/tid=1065] ppid=1054 vsize=10552840 CPUtime=1.45 cores=0,2,4,6
/proc/1056/task/1065/stat : 1065 (java) S 1054 1056 29102 0 -1 4202560 16989 0 0 0 143 2 0 0 15 0 22 0 830548835 10806108160 1053861 33554432000 1073741824 1073778376 140734371791888 18446744073709551615 253652675481 0 4 0 16800975 18446604447246209152 0 0 -1 6 0 0 0
[pid=1056/tid=1066] ppid=1054 vsize=10552840 CPUtime=1.72 cores=0,2,4,6
/proc/1056/task/1066/stat : 1066 (java) S 1054 1056 29102 0 -1 4202560 20730 0 0 0 169 3 0 0 15 0 22 0 830548835 10806108160 1053861 33554432000 1073741824 1073778376 140734371791888 18446744073709551615 253652675481 0 4 0 16800975 18446604447246209152 0 0 -1 2 0 0 0
[pid=1056/tid=1067] ppid=1054 vsize=10552840 CPUtime=93.48 cores=0,2,4,6
/proc/1056/task/1067/stat : 1067 (java) S 1054 1056 29102 0 -1 4202560 265717 0 0 0 9323 25 0 0 18 0 22 0 830548836 10806108160 1053861 33554432000 1073741824 1073778376 140734371791888 18446744073709551615 253652676096 0 0 0 16800975 18446604447246209152 0 0 -1 0 0 0 0
[pid=1056/tid=1068] ppid=1054 vsize=10552840 CPUtime=0 cores=0,2,4,6
/proc/1056/task/1068/stat : 1068 (java) S 1054 1056 29102 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830548837 10806108160 1053861 33554432000 1073741824 1073778376 140734371791888 18446744073709551615 253652675481 0 4 0 16800975 18446604447246209152 0 0 -1 4 0 0 0
[pid=1056/tid=1069] ppid=1054 vsize=10552840 CPUtime=0 cores=0,2,4,6
/proc/1056/task/1069/stat : 1069 (java) S 1054 1056 29102 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 830548837 10806108160 1053861 33554432000 1073741824 1073778376 140734371791888 18446744073709551615 253652675481 0 4 0 16800975 18446604447246209152 0 0 -1 6 0 0 0
[pid=1056/tid=1070] ppid=1054 vsize=10552840 CPUtime=0 cores=0,2,4,6
/proc/1056/task/1070/stat : 1070 (java) S 1054 1056 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830548839 10806108160 1053861 33554432000 1073741824 1073778376 140734371791888 18446744073709551615 253652683185 0 4 0 16800975 18446604447246209152 0 0 -1 2 0 0 0
[pid=1056/tid=1071] ppid=1054 vsize=10552840 CPUtime=1.29 cores=0,2,4,6
/proc/1056/task/1071/stat : 1071 (java) S 1054 1056 29102 0 -1 4202560 9799 0 0 0 129 0 0 0 15 0 22 0 830548839 10806108160 1053861 33554432000 1073741824 1073778376 140734371791888 18446744073709551615 253652675481 0 4 0 16800975 18446604447246209152 0 0 -1 0 0 0 0
[pid=1056/tid=1072] ppid=1054 vsize=10552840 CPUtime=1.41 cores=0,2,4,6
/proc/1056/task/1072/stat : 1072 (java) S 1054 1056 29102 0 -1 4202560 7229 0 0 0 141 0 0 0 15 0 22 0 830548839 10806108160 1053861 33554432000 1073741824 1073778376 140734371791888 18446744073709551615 253652675481 0 4 0 16800975 18446604447246209152 0 0 -1 4 0 0 0
[pid=1056/tid=1073] ppid=1054 vsize=10552840 CPUtime=0 cores=0,2,4,6
/proc/1056/task/1073/stat : 1073 (java) S 1054 1056 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830548839 10806108160 1053861 33554432000 1073741824 1073778376 140734371791888 18446744073709551615 253652675481 0 4 0 16800975 18446604447246209152 0 0 -1 2 0 0 0
[pid=1056/tid=1074] ppid=1054 vsize=10552840 CPUtime=0 cores=0,2,4,6
/proc/1056/task/1074/stat : 1074 (java) S 1054 1056 29102 0 -1 4202560 56 0 0 0 0 0 0 0 15 0 22 0 830548839 10806108160 1053861 33554432000 1073741824 1073778376 140734371791888 18446744073709551615 253652676096 0 4 0 16800975 18446604447246209152 0 0 -1 4 0 0 0
[pid=1056/tid=1081] ppid=1054 vsize=10552840 CPUtime=0 cores=0,2,4,6
/proc/1056/task/1081/stat : 1081 (java) S 1054 1056 29102 0 -1 4202560 0 0 0 0 0 0 0 0 17 0 22 0 830548972 10806108160 1053861 33554432000 1073741824 1073778376 140734371791888 18446744073709551615 253652676096 0 4 0 16800975 18446604447246209152 0 0 -1 0 0 0 0
[pid=1056/tid=1118] ppid=1054 vsize=10552840 CPUtime=331.9 cores=0,2,4,6
/proc/1056/task/1118/stat : 1118 (java) R 1054 1056 29102 0 -1 4202560 14 0 0 0 33190 0 0 0 25 0 22 0 830605005 10806108160 1053861 33554432000 1073741824 1073778376 140734371791888 18446744073709551615 46912505925376 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=1056/tid=1119] ppid=1054 vsize=10552840 CPUtime=331.9 cores=0,2,4,6
/proc/1056/task/1119/stat : 1119 (java) R 1054 1056 29102 0 -1 4202560 0 0 0 0 33190 0 0 0 25 0 22 0 830605005 10806108160 1053861 33554432000 1073741824 1073778376 140734371791888 18446744073709551615 46912506134065 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=1056/tid=1120] ppid=1054 vsize=10552840 CPUtime=0 cores=0,2,4,6
/proc/1056/task/1120/stat : 1120 (java) S 1054 1056 29102 0 -1 4202560 0 0 0 0 0 0 0 0 17 0 22 0 830605005 10806108160 1053861 33554432000 1073741824 1073778376 140734371791888 18446744073709551615 253652676096 0 4 0 16800975 18446604447246209152 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 10552840

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

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

[startup+950.328 s]
/proc/loadavg: 3.54 3.69 3.64 4/574 1220
/proc/meminfo: memFree=15913668/32951124 swapFree=53733252/67111528
[pid=1056] ppid=1054 vsize=0 CPUtime=1800.27 cores=0,2,4,6
/proc/1056/stat : 1056 (java) Z 1054 1056 29102 0 -1 4203548 1062782 0 1 0 179887 140 0 0 17 0 2 0 830548833 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/1056/statm: 0 0 0 0 0 0 0
[pid=1056/tid=1219] ppid=1054 vsize=0 CPUtime=0.08 cores=0,2,4,6
/proc/1056/task/1219/stat : 1219 (java) R 1054 1056 29102 0 -1 4203588 11 0 0 0 0 8 0 0 19 0 2 0 830643856 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1800.27
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 950.419
CPU time (s): 1800.36
CPU user time (s): 1798.87
CPU system time (s): 1.48877
CPU usage (%): 189.428
Max. virtual memory (cumulated for all children) (KiB): 10558884

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.87
system time used= 1.48877
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1062782
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24030
involuntary context switches= 16692

runsolver used 5.87411 second user time and 12.1721 second system time

The end

Launcher Data 

Begin job on node106 at 2011-06-04 14:11:24
IDJOB=3454421
IDBENCH=2245
IDSOLVER=1950
FILE ID=node106/3454421-1307189484
RUNJOBID= node106-1307187567-656
PBS_JOBID= 13508822
Free space on /tmp= 73756 MiB

SOLVER NAME= Sat4j Res//CP 2.3.0
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 -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3454421-1307189484/watcher-3454421-1307189484 -o /tmp/evaluation-result-3454421-1307189484/solver-3454421-1307189484 -C 1800 -W 1900 -M 15500  java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454421-1307189484.opb

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

MD5SUM BENCH= 4c9dc9cf5c24873d3237c90ee1682632
RANDOM SEED=1552774541

node106.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.830
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.830
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.20
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.830
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.830
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.830
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.830
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.830
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.830
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      20172608 kB
Buffers:        399808 kB
Cached:        6015472 kB
SwapCached:      22744 kB
Active:        6870420 kB
Inactive:      5565008 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      20172608 kB
SwapTotal:    67111528 kB
SwapFree:     53733252 kB
Dirty:            2840 kB
Writeback:           0 kB
AnonPages:     6016556 kB
Mapped:          34456 kB
Slab:           192412 kB
PageTables:      80096 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 177892684 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73756 MiB
End job on node106 at 2011-06-04 14:27:17