Trace number 3711167

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)-111 1800.08 1789.06

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_1000_25_2.opb
MD5SUM24465d104818b01999b811ba346c3d8e
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-130
Best CPU time to get the best result obtained on this benchmark1800.1
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -152
Optimality of the best value was proved NO
Number of variables2000
Total number of constraints3001
Number of constraints which are clauses1000
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints2001
Minimum length of a constraint2
Maximum length of a constraint2000
Number of terms in the objective function 1000
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 1000
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 2000
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)63088
Sum of products size (including duplicates)126176
Number of different products31544
Sum of products size63088

Quality of the solution as a function of time


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

Solver Data 

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.08	c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.org for details.
0.00/0.09	c version 2.3.2.v20120418
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.09/0.12	c read org.sat4j.minisat.orders.VarOrderHeap
0.09/0.12	c configuring ORDERS
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2dcb25f1
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause
0.09/0.12	c Expensive reason simplification
0.09/0.12	c Armin Biere (Picosat) restarts strategy
0.09/0.12	c Glucose learned constraints deletion strategy
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=true
0.09/0.12	c Heuristics kept accross calls (keep the solver "hot")
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-3711167-1338173688.opb
0.09/0.12	c reading problem ... 
2.26/0.95	c ... done. Wall clock time 0.825s.
2.26/0.95	c declared #vars     2000
2.26/0.95	c internal #vars     33544
2.26/0.95	c #constraints  66090
2.26/0.95	c constraints type 
2.26/0.95	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 31544
2.26/0.95	c org.sat4j.minisat.constraints.card.MinWatchCard => 2002
2.26/0.95	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1000
2.26/0.95	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 31544
2.26/0.95	c 66090 constraints processed.
2.65/1.14	c SATISFIABLE
2.65/1.14	c OPTIMIZING...
2.65/1.14	c Got one! Elapsed wall clock time (in seconds):1.02
2.65/1.14	o 0
2.65/1.19	c Got one! Elapsed wall clock time (in seconds):1.062
2.65/1.19	o -1
4.30/2.52	c Got one! Elapsed wall clock time (in seconds):2.394
4.30/2.52	o -93
5.72/3.92	c Got one! Elapsed wall clock time (in seconds):3.793
5.72/3.92	o -101
12.64/10.90	c cleaning 3269 clauses out of 6538 with flag 5000/6538
19.74/17.86	c cleaning 4607 clauses out of 9269 with flag 11000/12538
28.75/26.85	c cleaning 5828 clauses out of 11665 with flag 18003/19541
34.90/32.97	c cleaning 6890 clauses out of 13834 with flag 26000/27538
44.01/41.99	c Got one! Elapsed wall clock time (in seconds):41.871
44.01/41.99	o -106
47.26/45.18	c cleaning 10013 clauses out of 20029 with flag 5000/40623
50.49/48.33	c cleaning 7978 clauses out of 16016 with flag 11000/46623
58.72/56.51	c cleaning 7518 clauses out of 15038 with flag 18000/53623
67.16/64.98	c cleaning 7756 clauses out of 15520 with flag 26000/61623
75.19/72.98	c cleaning 8364 clauses out of 16764 with flag 35000/70623
79.02/76.78	c Got one! Elapsed wall clock time (in seconds):76.66
79.02/76.78	o -107
82.13/79.82	c cleaning 6973 clauses out of 13949 with flag 2000/76172
88.18/85.86	c cleaning 6488 clauses out of 12976 with flag 8000/82172
92.80/90.49	c cleaning 6736 clauses out of 13491 with flag 15003/89175
98.72/96.35	c cleaning 7378 clauses out of 14755 with flag 23003/97175
105.70/103.23	c cleaning 8182 clauses out of 16374 with flag 32000/106172
117.62/115.16	c cleaning 9094 clauses out of 18192 with flag 42000/116172
125.01/122.50	c cleaning 9985 clauses out of 20098 with flag 53000/127172
135.65/133.07	c cleaning 11053 clauses out of 22119 with flag 65006/139178
139.98/137.30	c cleaning 12030 clauses out of 24065 with flag 78005/152177
141.04/138.30	c Got one! Elapsed wall clock time (in seconds):138.176
141.04/138.30	o -110
148.14/145.44	c cleaning 8997 clauses out of 18025 with flag 5012/158167
155.77/153.10	c cleaning 7472 clauses out of 15016 with flag 11000/164155
168.31/165.50	c cleaning 7253 clauses out of 14544 with flag 18000/171155
178.07/175.25	c cleaning 7640 clauses out of 15291 with flag 26000/179155
184.88/182.04	c cleaning 8323 clauses out of 16651 with flag 35000/188155
193.00/190.14	c cleaning 9107 clauses out of 18328 with flag 45000/198155
202.82/199.93	c cleaning 10097 clauses out of 20224 with flag 56003/209158
211.60/208.65	c cleaning 11062 clauses out of 22124 with flag 68000/221155
219.57/216.52	c cleaning 12021 clauses out of 24062 with flag 81000/234155
233.43/230.35	c cleaning 13013 clauses out of 26041 with flag 95000/248155
248.48/245.23	c cleaning 14010 clauses out of 28029 with flag 110001/263156
261.46/258.12	c cleaning 15007 clauses out of 30020 with flag 126002/279157
278.61/275.20	c cleaning 16001 clauses out of 32011 with flag 143000/296155
285.26/281.82	c cleaning 16981 clauses out of 34010 with flag 161000/314155
294.09/290.61	c cleaning 18012 clauses out of 36033 with flag 180004/333159
305.04/301.53	c cleaning 18954 clauses out of 38018 with flag 200001/353156
313.02/309.41	c cleaning 20022 clauses out of 40063 with flag 221000/374155
328.33/324.72	c cleaning 21006 clauses out of 42041 with flag 243000/396155
349.30/345.62	c cleaning 21990 clauses out of 44036 with flag 266001/419156
366.87/363.10	c cleaning 23010 clauses out of 46046 with flag 290001/443156
388.17/384.39	c cleaning 24007 clauses out of 48035 with flag 315000/468155
405.70/401.76	c cleaning 25008 clauses out of 50028 with flag 341000/494155
417.66/413.51	c cleaning 26005 clauses out of 52020 with flag 368000/521155
440.35/436.16	c cleaning 27006 clauses out of 54022 with flag 396007/549162
462.49/458.15	c cleaning 27997 clauses out of 56009 with flag 425000/578155
492.59/488.17	c cleaning 29001 clauses out of 58014 with flag 455002/608157
517.40/512.89	c cleaning 30000 clauses out of 60014 with flag 486003/639158
534.59/529.98	c cleaning 30999 clauses out of 62019 with flag 518008/671163
564.10/559.39	c cleaning 31995 clauses out of 64013 with flag 551001/704156
584.51/579.63	c cleaning 33002 clauses out of 66018 with flag 585001/738156
605.52/600.55	c cleaning 34007 clauses out of 68022 with flag 620007/773162
621.81/616.73	c cleaning 35000 clauses out of 70008 with flag 656000/809155
636.04/630.82	c cleaning 36002 clauses out of 72009 with flag 693001/846156
658.69/653.33	c cleaning 37003 clauses out of 74006 with flag 731000/884155
703.23/697.79	c cleaning 38002 clauses out of 76003 with flag 770000/923155
739.32/733.71	c cleaning 38922 clauses out of 78001 with flag 810000/963155
768.13/762.07	c cleaning 40027 clauses out of 80080 with flag 851001/1004156
804.31/798.19	c cleaning 40966 clauses out of 82053 with flag 893001/1046156
835.45/829.13	c cleaning 42028 clauses out of 84092 with flag 936006/1089161
883.55/877.06	c cleaning 42995 clauses out of 86062 with flag 980004/1133159
1000.88/994.27	c cleaning 44025 clauses out of 88071 with flag 1025008/1178163
1038.69/1031.86	c cleaning 45016 clauses out of 90041 with flag 1071003/1224158
1080.27/1073.25	c cleaning 46004 clauses out of 92024 with flag 1118002/1271157
1111.29/1104.09	c cleaning 47012 clauses out of 94024 with flag 1166006/1319161
1132.51/1125.06	c Got one! Elapsed wall clock time (in seconds):1124.933
1132.51/1125.06	o -111
1136.61/1129.19	c cleaning 36794 clauses out of 73652 with flag 5000/1345801
1141.68/1134.13	c cleaning 21368 clauses out of 42858 with flag 11000/1351801
1148.01/1140.49	c cleaning 14167 clauses out of 28490 with flag 18000/1358801
1153.30/1145.61	c cleaning 11152 clauses out of 22326 with flag 26003/1366804
1156.86/1149.17	c cleaning 10077 clauses out of 20171 with flag 35000/1375801
1161.83/1154.10	c cleaning 10042 clauses out of 20097 with flag 45003/1385804
1169.69/1161.88	c cleaning 10512 clauses out of 21056 with flag 56004/1396805
1180.13/1172.21	c cleaning 11277 clauses out of 22554 with flag 68014/1408815
1188.24/1180.30	c cleaning 12137 clauses out of 24287 with flag 81024/1421825
1198.39/1190.37	c cleaning 13035 clauses out of 26131 with flag 95005/1435806
1209.99/1201.83	c cleaning 14041 clauses out of 28091 with flag 110000/1450801
1233.48/1225.27	c cleaning 15024 clauses out of 30068 with flag 126018/1466819
1244.78/1236.47	c cleaning 16011 clauses out of 32028 with flag 143002/1483803
1251.23/1242.88	c cleaning 17008 clauses out of 34016 with flag 161001/1501802
1258.60/1250.15	c cleaning 18001 clauses out of 36007 with flag 180000/1520801
1270.25/1261.76	c cleaning 18999 clauses out of 38010 with flag 200004/1540805
1281.93/1273.34	c cleaning 20003 clauses out of 40007 with flag 221000/1561801
1294.32/1285.69	c cleaning 20995 clauses out of 42004 with flag 243000/1583801
1307.90/1299.19	c cleaning 22003 clauses out of 44013 with flag 266004/1606805
1325.47/1316.61	c cleaning 23004 clauses out of 46012 with flag 290006/1630807
1336.37/1327.46	c cleaning 23998 clauses out of 48002 with flag 315000/1655801
1342.45/1333.43	c cleaning 25001 clauses out of 50004 with flag 341000/1681801
1348.08/1339.10	c cleaning 25998 clauses out of 52003 with flag 368000/1708801
1353.99/1344.95	c cleaning 26999 clauses out of 54005 with flag 396000/1736801
1360.12/1351.09	c cleaning 27996 clauses out of 56006 with flag 425000/1765801
1381.13/1372.09	c cleaning 28981 clauses out of 58022 with flag 455012/1795813
1413.80/1404.53	c cleaning 30014 clauses out of 60049 with flag 486020/1826821
1471.66/1462.27	c cleaning 31005 clauses out of 62050 with flag 518035/1858836
1525.59/1515.94	c cleaning 32007 clauses out of 64029 with flag 551019/1891820
1592.66/1582.78	c cleaning 33007 clauses out of 66020 with flag 585017/1925818
1634.98/1624.85	c cleaning 34001 clauses out of 68027 with flag 620031/1960832
1674.28/1663.96	c cleaning 34990 clauses out of 69995 with flag 656000/1996801
1698.08/1687.57	c cleaning 35993 clauses out of 72025 with flag 693020/2033821
1729.40/1718.74	c cleaning 37006 clauses out of 74012 with flag 731000/2071801
1754.92/1744.11	c cleaning 37998 clauses out of 76006 with flag 770000/2110801
1779.41/1768.52	c cleaning 39002 clauses out of 78016 with flag 810008/2150809
1800.08/1789.01	c starts		: 235
1800.08/1789.01	c conflicts		: 2169179
1800.08/1789.01	c decisions		: 43220412
1800.08/1789.01	c propagations		: 934663049
1800.08/1789.01	c inspects		: 4690875018
1800.08/1789.01	c shortcuts		: 0
1800.08/1789.01	c learnt literals	: 0
1800.08/1789.01	c learnt binary clauses	: 36
1800.08/1789.01	c learnt ternary clauses	: 99376
1800.08/1789.01	c learnt constraints	: 2169178
1800.08/1789.01	c ignored constraints	: 0
1800.08/1789.01	c root simplifications	: 235
1800.08/1789.01	c removed literals (reason simplification)	: 191110879
1800.08/1789.01	c reason swapping (by a shorter reason)	: 0
1800.08/1789.01	c Calls to reduceDB	: 98
1800.08/1789.01	c number of reductions to clauses (during analyze)	: 0
1800.08/1789.01	c number of learned constraints concerned by reduction	: 0
1800.08/1789.01	c number of learning phase by resolution	: 0
1800.08/1789.01	c number of learning phase by cutting planes	: 0
1800.08/1789.01	c speed (assignments/second)	: 522731.0879298986
1800.08/1789.01	c non guided choices	169585
1800.08/1789.03	c learnt constraints type 
1800.08/1789.03	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 36
1800.08/1789.03	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 57359
1800.08/1789.03	c constraints type 
1800.08/1789.03	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 31544
1800.08/1789.03	c org.sat4j.minisat.constraints.card.MinWatchCard => 2003
1800.08/1789.03	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1000
1800.08/1789.03	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 31544
1800.08/1789.03	c 66091 constraints processed.
1800.08/1789.03	s SATISFIABLE
1800.08/1789.04	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 -x1401 x1402 x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 x1420 -x1421 x1422 -x1423 -x1424 -x1425 -x1426 -x1427 x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 x1443 -x1444 -x1445 -x1446 -x1447 x1448 -x1449 x1450 -x1451 x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 x1484 -x1485 x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 x1517 x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 x1536 -x1537 -x1538 -x1539 -x1540 -x1541 x1542 -x1543 -x1544 -x1545 -x1546 -x1547 x1548 -x1549 -x1550 -x1551 x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 x1597 x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 x1627 x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 x1636 x1637 -x1638 x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 x1649 -x1650 -x1651 x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 x1738 -x1739 -x1740 -x1741 -x1742 x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 x1775 x1776 -x1777 x1778 x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 x1795 -x1796 -x1797 -x1798 -x1799 x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 x1840 -x1841 x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 x1856 x1857 -x1858 x1859 x1860 -x1861 -x1862 -x1863 -x1864 x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 x1875 x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 x1890 -x1891 x1892 -x1893 -x1894 -x1895 x1896 -x1897 x1898 x1899 x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 x1936 x1937 -x1938 -x1939 -x1940 -x1941 x1942 -x1943 -x1944 x1945 -x1946 -x1947 -x1948 -x1949 x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 x1960 -x1961 -x1962 -x1963 -x1964 x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 x1974 -x1975 x1976 -x1977 x1978 -x1979 x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 x1996 -x1997 -x1998 -x1999 -x2000 
1800.08/1789.04	c objective function=-111
1800.08/1789.04	c Total wall clock time (in seconds): 1788.917

Verifier Data 

OK	-111

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

running on 4 cores: 1,3,5,7

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.95 2.03 2.00 3/192 17293
/proc/meminfo: memFree=29718428/32873852 swapFree=7624/7624
[pid=17293] ppid=17291 vsize=2504 CPUtime=0 cores=1,3,5,7
/proc/17293/stat : 17293 (java) R 17291 17293 15185 0 -1 4202496 95 0 0 0 0 0 0 0 20 0 1 0 283494300 2564096 47 33554432000 1073741824 1073778376 140733418694368 140733418691496 252253925162 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/17293/statm: 892 49 38 9 0 30 0

[startup+0.098503 s]
/proc/loadavg: 1.95 2.03 2.00 3/192 17293
/proc/meminfo: memFree=29718428/32873852 swapFree=7624/7624
[pid=17293] ppid=17291 vsize=9558440 CPUtime=0.09 cores=1,3,5,7
/proc/17293/stat : 17293 (java) S 17291 17293 15185 0 -1 4202496 4208 0 1 0 8 1 0 0 20 0 18 0 283494300 9787842560 5415 33554432000 1073741824 1073778376 140736052222592 140736052213728 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17293/statm: 2389610 5419 2111 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558440

[startup+0.100264 s]
/proc/loadavg: 1.95 2.03 2.00 3/192 17293
/proc/meminfo: memFree=29718428/32873852 swapFree=7624/7624
[pid=17293] ppid=17291 vsize=9558440 CPUtime=0.09 cores=1,3,5,7
/proc/17293/stat : 17293 (java) S 17291 17293 15185 0 -1 4202496 4269 0 1 0 8 1 0 0 20 0 18 0 283494300 9787842560 5476 33554432000 1073741824 1073778376 140736052222592 140736052213728 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17293/statm: 2389610 5477 2113 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558440

[startup+0.300233 s]
/proc/loadavg: 1.95 2.03 2.00 3/192 17293
/proc/meminfo: memFree=29718428/32873852 swapFree=7624/7624
[pid=17293] ppid=17291 vsize=9558440 CPUtime=0.45 cores=1,3,5,7
/proc/17293/stat : 17293 (java) S 17291 17293 15185 0 -1 4202496 5955 0 1 0 43 2 0 0 20 0 18 0 283494300 9787842560 8743 33554432000 1073741824 1073778376 140736052222592 140736052213728 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17293/statm: 2389610 8743 2235 9 0 2380296 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 9558440

[startup+0.709742 s]
/proc/loadavg: 1.95 2.03 2.00 3/192 17293
/proc/meminfo: memFree=29718428/32873852 swapFree=7624/7624
[pid=17293] ppid=17291 vsize=9558440 CPUtime=1.7 cores=1,3,5,7
/proc/17293/stat : 17293 (java) S 17291 17293 15185 0 -1 4202496 17656 0 1 0 162 8 0 0 20 0 18 0 283494300 9787842560 49444 33554432000 1073741824 1073778376 140736052222592 140736052213728 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17293/statm: 2389610 49444 2268 9 0 2380296 0
Current children cumulated CPU time (s) 1.7
Current children cumulated vsize (KiB) 9558440

[startup+1.50076 s]
/proc/loadavg: 1.95 2.03 2.00 3/211 17312
/proc/meminfo: memFree=29413396/32873852 swapFree=7624/7624
[pid=17293] ppid=17291 vsize=9625004 CPUtime=3.21 cores=1,3,5,7
/proc/17293/stat : 17293 (java) S 17291 17293 15185 0 -1 4202496 18207 0 1 0 308 13 0 0 20 0 19 0 283494300 9856004096 79596 33554432000 1073741824 1073778376 140736052222592 140736052213728 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17293/statm: 2406251 79596 2280 9 0 2396937 0
[pid=17293/tid=17295] ppid=17291 vsize=9625004 CPUtime=1.38 cores=1,3,5,7
/proc/17293/task/17295/stat : 17295 (java) R 17291 17293 15185 0 -1 4202560 2619 0 1 0 133 5 0 0 20 0 19 0 283494301 9856004096 79596 33554432000 1073741824 1073778376 140736052222592 139751282187624 139751139974940 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=17293/tid=17296] ppid=17291 vsize=9625004 CPUtime=0.02 cores=1,3,5,7
/proc/17293/task/17296/stat : 17296 (java) S 17291 17293 15185 0 -1 4202560 12 0 0 0 2 0 0 0 20 0 19 0 283494303 9856004096 79596 33554432000 1073741824 1073778376 140736052222592 139751260289448 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17293/tid=17297] ppid=17291 vsize=9625004 CPUtime=0.04 cores=1,3,5,7
/proc/17293/task/17297/stat : 17297 (java) S 17291 17293 15185 0 -1 4202560 98 0 0 0 3 1 0 0 20 0 19 0 283494303 9856004096 79596 33554432000 1073741824 1073778376 140736052222592 139751259236904 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 1 0 0
[pid=17293/tid=17298] ppid=17291 vsize=9625004 CPUtime=0.03 cores=1,3,5,7
/proc/17293/task/17298/stat : 17298 (java) S 17291 17293 15185 0 -1 4202560 93 0 0 0 3 0 0 0 20 0 19 0 283494303 9856004096 79596 33554432000 1073741824 1073778376 140736052222592 139751258183848 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17293/tid=17299] ppid=17291 vsize=9625004 CPUtime=0.02 cores=1,3,5,7
/proc/17293/task/17299/stat : 17299 (java) S 17291 17293 15185 0 -1 4202560 17 0 0 0 2 0 0 0 20 0 19 0 283494303 9856004096 79596 33554432000 1073741824 1073778376 140736052222592 139750920939816 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17293/tid=17300] ppid=17291 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17293/task/17300/stat : 17300 (java) S 17291 17293 15185 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 283494303 9856004096 79596 33554432000 1073741824 1073778376 140736052222592 139750919887784 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17293/tid=17301] ppid=17291 vsize=9625004 CPUtime=0.02 cores=1,3,5,7
/proc/17293/task/17301/stat : 17301 (java) S 17291 17293 15185 0 -1 4202560 100 0 0 0 2 0 0 0 20 0 19 0 283494303 9856004096 79596 33554432000 1073741824 1073778376 140736052222592 139750918835240 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17293/tid=17302] ppid=17291 vsize=9625004 CPUtime=0.02 cores=1,3,5,7
/proc/17293/task/17302/stat : 17302 (java) S 17291 17293 15185 0 -1 4202560 10 0 0 0 2 0 0 0 20 0 19 0 283494303 9856004096 79596 33554432000 1073741824 1073778376 140736052222592 139750917782184 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17293/tid=17303] ppid=17291 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/17293/task/17303/stat : 17303 (java) S 17291 17293 15185 0 -1 4202560 94 0 0 0 1 0 0 0 20 0 19 0 283494303 9856004096 79596 33554432000 1073741824 1073778376 140736052222592 139750916729640 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17293/tid=17304] ppid=17291 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17293/task/17304/stat : 17304 (java) S 17291 17293 15185 0 -1 4202560 73 0 0 0 0 0 0 0 20 0 19 0 283494304 9856004096 79596 33554432000 1073741824 1073778376 140736052222592 139750904531304 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17293/tid=17305] ppid=17291 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17293/task/17305/stat : 17305 (java) S 17291 17293 15185 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 283494304 9856004096 79596 33554432000 1073741824 1073778376 140736052222592 139750903477624 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17293/tid=17306] ppid=17291 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17293/task/17306/stat : 17306 (java) S 17291 17293 15185 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 283494304 9856004096 79596 33554432000 1073741824 1073778376 140736052222592 139750902424456 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17293/tid=17307] ppid=17291 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17293/task/17307/stat : 17307 (java) S 17291 17293 15185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283494307 9856004096 79596 33554432000 1073741824 1073778376 140736052222592 139750901373200 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17293/tid=17308] ppid=17291 vsize=9625004 CPUtime=0.76 cores=1,3,5,7
/proc/17293/task/17308/stat : 17308 (java) S 17291 17293 15185 0 -1 4202560 4582 0 0 0 75 1 0 0 20 0 19 0 283494307 9856004096 79596 33554432000 1073741824 1073778376 140736052222592 139750900321080 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17293/tid=17309] ppid=17291 vsize=9625004 CPUtime=0.74 cores=1,3,5,7
/proc/17293/task/17309/stat : 17309 (java) S 17291 17293 15185 0 -1 4202560 9314 0 0 0 72 2 0 0 20 0 19 0 283494307 9856004096 79596 33554432000 1073741824 1073778376 140736052222592 139750899268536 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17293/tid=17310] ppid=17291 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17293/task/17310/stat : 17310 (java) S 17291 17293 15185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283494307 9856004096 79596 33554432000 1073741824 1073778376 140736052222592 139750898215672 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17293/tid=17311] ppid=17291 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17293/task/17311/stat : 17311 (java) S 17291 17293 15185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283494307 9856004096 79596 33554432000 1073741824 1073778376 140736052222592 139750897163336 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17293/tid=17312] ppid=17291 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17293/task/17312/stat : 17312 (java) S 17291 17293 15185 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 283494398 9856004096 79596 33554432000 1073741824 1073778376 140736052222592 139750896047144 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.21
Current children cumulated vsize (KiB) 9625004

[startup+3.10077 s]
/proc/loadavg: 1.95 2.03 2.00 3/211 17312
/proc/meminfo: memFree=29408796/32873852 swapFree=7624/7624
[pid=17293] ppid=17291 vsize=9625004 CPUtime=4.92 cores=1,3,5,7
/proc/17293/stat : 17293 (java) S 17291 17293 15185 0 -1 4202496 18209 0 1 0 479 13 0 0 20 0 19 0 283494300 9856004096 80108 33554432000 1073741824 1073778376 140736052222592 140736052213728 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17293/statm: 2406251 80108 2280 9 0 2396937 0
[pid=17293/tid=17295] ppid=17291 vsize=9625004 CPUtime=2.98 cores=1,3,5,7
/proc/17293/task/17295/stat : 17295 (java) R 17291 17293 15185 0 -1 4202560 2621 0 1 0 293 5 0 0 20 0 19 0 283494301 9856004096 80108 33554432000 1073741824 1073778376 140736052222592 139751282188872 139751140072503 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=17293/tid=17296] ppid=17291 vsize=9625004 CPUtime=0.02 cores=1,3,5,7
/proc/17293/task/17296/stat : 17296 (java) S 17291 17293 15185 0 -1 4202560 12 0 0 0 2 0 0 0 20 0 19 0 283494303 9856004096 80108 33554432000 1073741824 1073778376 140736052222592 139751260289448 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17293/tid=17297] ppid=17291 vsize=9625004 CPUtime=0.04 cores=1,3,5,7
/proc/17293/task/17297/stat : 17297 (java) S 17291 17293 15185 0 -1 4202560 98 0 0 0 3 1 0 0 20 0 19 0 283494303 9856004096 80108 33554432000 1073741824 1073778376 140736052222592 139751259236904 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 1 0 0
[pid=17293/tid=17298] ppid=17291 vsize=9625004 CPUtime=0.03 cores=1,3,5,7
/proc/17293/task/17298/stat : 17298 (java) S 17291 17293 15185 0 -1 4202560 93 0 0 0 3 0 0 0 20 0 19 0 283494303 9856004096 80108 33554432000 1073741824 1073778376 140736052222592 139751258183848 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17293/tid=17299] ppid=17291 vsize=9625004 CPUtime=0.02 cores=1,3,5,7
/proc/17293/task/17299/stat : 17299 (java) S 17291 17293 15185 0 -1 4202560 17 0 0 0 2 0 0 0 20 0 19 0 283494303 9856004096 80108 33554432000 1073741824 1073778376 140736052222592 139750920939816 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17293/tid=17300] ppid=17291 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17293/task/17300/stat : 17300 (java) S 17291 17293 15185 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 283494303 9856004096 80108 33554432000 1073741824 1073778376 140736052222592 139750919887784 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17293/tid=17301] ppid=17291 vsize=9625004 CPUtime=0.02 cores=1,3,5,7
/proc/17293/task/17301/stat : 17301 (java) S 17291 17293 15185 0 -1 4202560 100 0 0 0 2 0 0 0 20 0 19 0 283494303 9856004096 80108 33554432000 1073741824 1073778376 140736052222592 139750918835240 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17293/tid=17302] ppid=17291 vsize=9625004 CPUtime=0.02 cores=1,3,5,7
/proc/17293/task/17302/stat : 17302 (java) S 17291 17293 15185 0 -1 4202560 10 0 0 0 2 0 0 0 20 0 19 0 283494303 9856004096 80108 33554432000 1073741824 1073778376 140736052222592 139750917782184 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17293/tid=17303] ppid=17291 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/17293/task/17303/stat : 17303 (java) S 17291 17293 15185 0 -1 4202560 94 0 0 0 1 0 0 0 20 0 19 0 283494303 9856004096 80108 33554432000 1073741824 1073778376 140736052222592 139750916729640 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17293/tid=17304] ppid=17291 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17293/task/17304/stat : 17304 (java) S 17291 17293 15185 0 -1 4202560 73 0 0 0 0 0 0 0 20 0 19 0 283494304 9856004096 80108 33554432000 1073741824 1073778376 140736052222592 139750904531304 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17293/tid=17305] ppid=17291 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17293/task/17305/stat : 17305 (java) S 17291 17293 15185 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 283494304 9856004096 80108 33554432000 1073741824 1073778376 140736052222592 139750903477624 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17293/tid=17306] ppid=17291 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17293/task/17306/stat : 17306 (java) S 17291 17293 15185 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 283494304 9856004096 80108 33554432000 1073741824 1073778376 140736052222592 139750902424456 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17293/tid=17307] ppid=17291 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17293/task/17307/stat : 17307 (java) S 17291 17293 15185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283494307 9856004096 80108 33554432000 1073741824 1073778376 140736052222592 139750901373200 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17293/tid=17308] ppid=17291 vsize=9625004 CPUtime=0.82 cores=1,3,5,7
/proc/17293/task/17308/stat : 17308 (java) S 17291 17293 15185 0 -1 4202560 4582 0 0 0 80 2 0 0 20 0 19 0 283494307 9856004096 80108 33554432000 1073741824 1073778376 140736052222592 139750900321080 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17293/tid=17309] ppid=17291 vsize=9625004 CPUtime=0.8 cores=1,3,5,7
/proc/17293/task/17309/stat : 17309 (java) S 17291 17293 15185 0 -1 4202560 9314 0 0 0 78 2 0 0 20 0 19 0 283494307 9856004096 80108 33554432000 1073741824 1073778376 140736052222592 139750899268536 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17293/tid=17310] ppid=17291 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17293/task/17310/stat : 17310 (java) S 17291 17293 15185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283494307 9856004096 80108 33554432000 1073741824 1073778376 140736052222592 139750898215672 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17293/tid=17311] ppid=17291 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17293/task/17311/stat : 17311 (java) S 17291 17293 15185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283494307 9856004096 80108 33554432000 1073741824 1073778376 140736052222592 139750897163336 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17293/tid=17312] ppid=17291 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17293/task/17312/stat : 17312 (java) S 17291 17293 15185 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 283494398 9856004096 80108 33554432000 1073741824 1073778376 140736052222592 139750896047144 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 4.92
Current children cumulated vsize (KiB) 9625004

[startup+6.30076 s]
/proc/loadavg: 1.95 2.03 2.00 3/211 17312
/proc/meminfo: memFree=29402528/32873852 swapFree=7624/7624
[pid=17293] ppid=17291 vsize=9625004 CPUtime=8.13 cores=1,3,5,7
/proc/17293/stat : 17293 (java) S 17291 17293 15185 0 -1 4202496 18214 0 1 0 800 13 0 0 20 0 19 0 283494300 9856004096 81384 33554432000 1073741824 1073778376 140736052222592 140736052213728 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17293/statm: 2406251 81384 2280 9 0 2396937 0
[pid=17293/tid=17295] ppid=17291 vsize=9625004 CPUtime=6.16 cores=1,3,5,7
/proc/17293/task/17295/stat : 17295 (java) R 17291 17293 15185 0 -1 4202560 2626 0 1 0 611 5 0 0 20 0 19 0 283494301 9856004096 81384 33554432000 1073741824 1073778376 140736052222592 139751282186816 139751140072826 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=17293/tid=17296] ppid=17291 vsize=9625004 CPUtime=0.02 cores=1,3,5,7
/proc/17293/task/17296/stat : 17296 (java) S 17291 17293 15185 0 -1 4202560 12 0 0 0 2 0 0 0 20 0 19 0 283494303 9856004096 81384 33554432000 1073741824 1073778376 140736052222592 139751260289448 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17293/tid=17297] ppid=17291 vsize=9625004 CPUtime=0.04 cores=1,3,5,7
/proc/17293/task/17297/stat : 17297 (java) S 17291 17293 15185 0 -1 4202560 98 0 0 0 3 1 0 0 20 0 19 0 283494303 9856004096 81384 33554432000 1073741824 1073778376 140736052222592 139751259236904 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 1 0 0
[pid=17293/tid=17298] ppid=17291 vsize=9625004 CPUtime=0.03 cores=1,3,5,7
/proc/17293/task/17298/stat : 17298 (java) S 17291 17293 15185 0 -1 4202560 93 0 0 0 3 0 0 0 20 0 19 0 283494303 9856004096 81384 33554432000 1073741824 1073778376 140736052222592 139751258183848 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17293/tid=17299] ppid=17291 vsize=9625004 CPUtime=0.02 cores=1,3,5,7
/proc/17293/task/17299/stat : 17299 (java) S 17291 17293 15185 0 -1 4202560 17 0 0 0 2 0 0 0 20 0 19 0 283494303 9856004096 81384 33554432000 1073741824 1073778376 140736052222592 139750920939816 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17293/tid=17300] ppid=17291 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17293/task/17300/stat : 17300 (java) S 17291 17293 15185 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 283494303 9856004096 81384 33554432000 1073741824 1073778376 140736052222592 139750919887784 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17293/tid=17301] ppid=17291 vsize=9625004 CPUtime=0.02 cores=1,3,5,7
/proc/17293/task/17301/stat : 17301 (java) S 17291 17293 15185 0 -1 4202560 100 0 0 0 2 0 0 0 20 0 19 0 283494303 9856004096 81384 33554432000 1073741824 1073778376 140736052222592 139750918835240 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17293/tid=17302] ppid=17291 vsize=9625004 CPUtime=0.02 cores=1,3,5,7
/proc/17293/task/17302/stat : 17302 (java) S 17291 17293 15185 0 -1 4202560 10 0 0 0 2 0 0 0 20 0 19 0 283494303 9856004096 81384 33554432000 1073741824 1073778376 140736052222592 139750917782184 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17293/tid=17303] ppid=17291 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/17293/task/17303/stat : 17303 (java) S 17291 17293 15185 0 -1 4202560 94 0 0 0 1 0 0 0 20 0 19 0 283494303 9856004096 81384 33554432000 1073741824 1073778376 140736052222592 139750916729640 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17293/tid=17304] ppid=17291 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17293/task/17304/stat : 17304 (java) S 17291 17293 15185 0 -1 4202560 73 0 0 0 0 0 0 0 20 0 19 0 283494304 9856004096 81384 33554432000 1073741824 1073778376 140736052222592 139750904531304 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17293/tid=17305] ppid=17291 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17293/task/17305/stat : 17305 (java) S 17291 17293 15185 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 283494304 9856004096 81384 33554432000 1073741824 1073778376 140736052222592 139750903477624 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17293/tid=17306] ppid=17291 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17293/task/17306/stat : 17306 (java) S 17291 17293 15185 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 283494304 9856004096 81384 33554432000 1073741824 1073778376 140736052222592 139750902424456 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17293/tid=17307] ppid=17291 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17293/task/17307/stat : 17307 (java) S 17291 17293 15185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283494307 9856004096 81384 33554432000 1073741824 1073778376 140736052222592 139750901373200 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17293/tid=17308] ppid=17291 vsize=9625004 CPUtime=0.82 cores=1,3,5,7
/proc/17293/task/17308/stat : 17308 (java) S 17291 17293 15185 0 -1 4202560 4582 0 0 0 80 2 0 0 20 0 19 0 283494307 9856004096 81384 33554432000 1073741824 1073778376 140736052222592 139750900321080 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17293/tid=17309] ppid=17291 vsize=9625004 CPUtime=0.81 cores=1,3,5,7
/proc/17293/task/17309/stat : 17309 (java) S 17291 17293 15185 0 -1 4202560 9314 0 0 0 79 2 0 0 20 0 19 0 283494307 9856004096 81384 33554432000 1073741824 1073778376 140736052222592 139750899268536 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17293/tid=17310] ppid=17291 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17293/task/17310/stat : 17310 (java) S 17291 17293 15185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283494307 9856004096 81384 33554432000 1073741824 1073778376 140736052222592 139750898215672 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17293/tid=17311] ppid=17291 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17293/task/17311/stat : 17311 (java) S 17291 17293 15185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283494307 9856004096 81384 33554432000 1073741824 1073778376 140736052222592 139750897163336 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17293/tid=17312] ppid=17291 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17293/task/17312/stat : 17312 (java) S 17291 17293 15185 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 283494398 9856004096 81384 33554432000 1073741824 1073778376 140736052222592 139750896047144 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 8.13
Current children cumulated vsize (KiB) 9625004

[startup+12.7008 s]

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

[pid=17293/tid=17308] ppid=17291 vsize=9625004 CPUtime=0.97 cores=1,3,5,7
/proc/17293/task/17308/stat : 17308 (java) S 17291 17293 15185 0 -1 4202560 4594 0 0 0 95 2 0 0 20 0 19 0 283494307 9856004096 199578 33554432000 1073741824 1073778376 140736052222592 139750900321080 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17293/tid=17309] ppid=17291 vsize=9625004 CPUtime=0.93 cores=1,3,5,7
/proc/17293/task/17309/stat : 17309 (java) S 17291 17293 15185 0 -1 4202560 9330 0 0 0 91 2 0 0 20 0 19 0 283494307 9856004096 199578 33554432000 1073741824 1073778376 140736052222592 139750899268536 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17293/tid=17310] ppid=17291 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17293/task/17310/stat : 17310 (java) S 17291 17293 15185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283494307 9856004096 199578 33554432000 1073741824 1073778376 140736052222592 139750898215672 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17293/tid=17311] ppid=17291 vsize=9625004 CPUtime=0.61 cores=1,3,5,7
/proc/17293/task/17311/stat : 17311 (java) S 17291 17293 15185 0 -1 4202560 95 0 0 0 27 34 0 0 20 0 19 0 283494307 9856004096 199578 33554432000 1073741824 1073778376 140736052222592 139750897163336 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17293/tid=17312] ppid=17291 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17293/task/17312/stat : 17312 (java) S 17291 17293 15185 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 283494398 9856004096 199578 33554432000 1073741824 1073778376 140736052222592 139750896047144 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1672.68
Current children cumulated vsize (KiB) 9625004

[startup+1722.3 s]
/proc/loadavg: 2.00 2.04 2.00 3/211 17807
/proc/meminfo: memFree=28966996/32873852 swapFree=7624/7624
[pid=17293] ppid=17291 vsize=9625004 CPUtime=1733.12 cores=1,3,5,7
/proc/17293/stat : 17293 (java) S 17291 17293 15185 0 -1 4202496 20561 0 1 0 173195 117 0 0 20 0 19 0 283494300 9856004096 199580 33554432000 1073741824 1073778376 140736052222592 140736052213728 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17293/statm: 2406251 199580 2295 9 0 2396937 0
[pid=17293/tid=17295] ppid=17291 vsize=9625004 CPUtime=1700.78 cores=1,3,5,7
/proc/17293/task/17295/stat : 17295 (java) R 17291 17293 15185 0 -1 4202560 2928 0 1 0 170044 34 0 0 20 0 19 0 283494301 9856004096 199580 33554432000 1073741824 1073778376 140736052222592 139751282188592 139751140020050 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=17293/tid=17296] ppid=17291 vsize=9625004 CPUtime=1.63 cores=1,3,5,7
/proc/17293/task/17296/stat : 17296 (java) S 17291 17293 15185 0 -1 4202560 177 0 0 0 156 7 0 0 20 0 19 0 283494303 9856004096 199580 33554432000 1073741824 1073778376 140736052222592 139751260289448 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17293/tid=17297] ppid=17291 vsize=9625004 CPUtime=1.43 cores=1,3,5,7
/proc/17293/task/17297/stat : 17297 (java) S 17291 17293 15185 0 -1 4202560 208 0 0 0 136 7 0 0 20 0 19 0 283494303 9856004096 199580 33554432000 1073741824 1073778376 140736052222592 139751259236904 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 1 0 0
[pid=17293/tid=17298] ppid=17291 vsize=9625004 CPUtime=1.4 cores=1,3,5,7
/proc/17293/task/17298/stat : 17298 (java) S 17291 17293 15185 0 -1 4202560 251 0 0 0 135 5 0 0 20 0 19 0 283494303 9856004096 199580 33554432000 1073741824 1073778376 140736052222592 139751258183848 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17293/tid=17299] ppid=17291 vsize=9625004 CPUtime=1.3 cores=1,3,5,7
/proc/17293/task/17299/stat : 17299 (java) S 17291 17293 15185 0 -1 4202560 167 0 0 0 123 7 0 0 20 0 19 0 283494303 9856004096 199580 33554432000 1073741824 1073778376 140736052222592 139750920939816 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17293/tid=17300] ppid=17291 vsize=9625004 CPUtime=1.7 cores=1,3,5,7
/proc/17293/task/17300/stat : 17300 (java) S 17291 17293 15185 0 -1 4202560 224 0 0 0 161 9 0 0 20 0 19 0 283494303 9856004096 199580 33554432000 1073741824 1073778376 140736052222592 139750919887784 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17293/tid=17301] ppid=17291 vsize=9625004 CPUtime=1.48 cores=1,3,5,7
/proc/17293/task/17301/stat : 17301 (java) S 17291 17293 15185 0 -1 4202560 271 0 0 0 138 10 0 0 20 0 19 0 283494303 9856004096 199580 33554432000 1073741824 1073778376 140736052222592 139750918835240 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17293/tid=17302] ppid=17291 vsize=9625004 CPUtime=1.57 cores=1,3,5,7
/proc/17293/task/17302/stat : 17302 (java) S 17291 17293 15185 0 -1 4202560 175 0 0 0 147 10 0 0 20 0 19 0 283494303 9856004096 199580 33554432000 1073741824 1073778376 140736052222592 139750917782184 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17293/tid=17303] ppid=17291 vsize=9625004 CPUtime=1.42 cores=1,3,5,7
/proc/17293/task/17303/stat : 17303 (java) S 17291 17293 15185 0 -1 4202560 279 0 0 0 137 5 0 0 20 0 19 0 283494303 9856004096 199580 33554432000 1073741824 1073778376 140736052222592 139750916729640 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17293/tid=17304] ppid=17291 vsize=9625004 CPUtime=13.42 cores=1,3,5,7
/proc/17293/task/17304/stat : 17304 (java) S 17291 17293 15185 0 -1 4202560 676 0 0 0 1338 4 0 0 20 0 19 0 283494304 9856004096 199580 33554432000 1073741824 1073778376 140736052222592 139750904531304 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17293/tid=17305] ppid=17291 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17293/task/17305/stat : 17305 (java) S 17291 17293 15185 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 283494304 9856004096 199580 33554432000 1073741824 1073778376 140736052222592 139750903477624 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17293/tid=17306] ppid=17291 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17293/task/17306/stat : 17306 (java) S 17291 17293 15185 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 283494304 9856004096 199580 33554432000 1073741824 1073778376 140736052222592 139750902424456 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17293/tid=17307] ppid=17291 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17293/task/17307/stat : 17307 (java) S 17291 17293 15185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283494307 9856004096 199580 33554432000 1073741824 1073778376 140736052222592 139750901373200 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17293/tid=17308] ppid=17291 vsize=9625004 CPUtime=0.97 cores=1,3,5,7
/proc/17293/task/17308/stat : 17308 (java) S 17291 17293 15185 0 -1 4202560 4594 0 0 0 95 2 0 0 20 0 19 0 283494307 9856004096 199580 33554432000 1073741824 1073778376 140736052222592 139750900321080 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17293/tid=17309] ppid=17291 vsize=9625004 CPUtime=0.93 cores=1,3,5,7
/proc/17293/task/17309/stat : 17309 (java) S 17291 17293 15185 0 -1 4202560 9330 0 0 0 91 2 0 0 20 0 19 0 283494307 9856004096 199580 33554432000 1073741824 1073778376 140736052222592 139750899268536 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17293/tid=17310] ppid=17291 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17293/task/17310/stat : 17310 (java) S 17291 17293 15185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283494307 9856004096 199580 33554432000 1073741824 1073778376 140736052222592 139750898215672 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17293/tid=17311] ppid=17291 vsize=9625004 CPUtime=0.63 cores=1,3,5,7
/proc/17293/task/17311/stat : 17311 (java) S 17291 17293 15185 0 -1 4202560 99 0 0 0 28 35 0 0 20 0 19 0 283494307 9856004096 199580 33554432000 1073741824 1073778376 140736052222592 139750897163336 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17293/tid=17312] ppid=17291 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17293/task/17312/stat : 17312 (java) S 17291 17293 15185 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 283494398 9856004096 199580 33554432000 1073741824 1073778376 140736052222592 139750896047144 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1733.12
Current children cumulated vsize (KiB) 9625004

[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/211 17807
/proc/meminfo: memFree=28939008/32873852 swapFree=7624/7624
[pid=17293] ppid=17291 vsize=9625004 CPUtime=1793.38 cores=1,3,5,7
/proc/17293/stat : 17293 (java) S 17291 17293 15185 0 -1 4202496 20578 0 1 0 179220 118 0 0 20 0 19 0 283494300 9856004096 199589 33554432000 1073741824 1073778376 140736052222592 140736052213728 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17293/statm: 2406251 199589 2295 9 0 2396937 0
[pid=17293/tid=17295] ppid=17291 vsize=9625004 CPUtime=1760.2 cores=1,3,5,7
/proc/17293/task/17295/stat : 17295 (java) R 17291 17293 15185 0 -1 4202560 2930 0 1 0 175985 35 0 0 20 0 19 0 283494301 9856004096 199589 33554432000 1073741824 1073778376 140736052222592 139751282188592 139751140096723 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=17293/tid=17296] ppid=17291 vsize=9625004 CPUtime=1.65 cores=1,3,5,7
/proc/17293/task/17296/stat : 17296 (java) S 17291 17293 15185 0 -1 4202560 177 0 0 0 158 7 0 0 20 0 19 0 283494303 9856004096 199589 33554432000 1073741824 1073778376 140736052222592 139751260289448 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17293/tid=17297] ppid=17291 vsize=9625004 CPUtime=1.51 cores=1,3,5,7
/proc/17293/task/17297/stat : 17297 (java) S 17291 17293 15185 0 -1 4202560 208 0 0 0 144 7 0 0 20 0 19 0 283494303 9856004096 199589 33554432000 1073741824 1073778376 140736052222592 139751259236904 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 1 0 0
[pid=17293/tid=17298] ppid=17291 vsize=9625004 CPUtime=1.42 cores=1,3,5,7
/proc/17293/task/17298/stat : 17298 (java) S 17291 17293 15185 0 -1 4202560 251 0 0 0 137 5 0 0 20 0 19 0 283494303 9856004096 199589 33554432000 1073741824 1073778376 140736052222592 139751258183848 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17293/tid=17299] ppid=17291 vsize=9625004 CPUtime=1.35 cores=1,3,5,7
/proc/17293/task/17299/stat : 17299 (java) S 17291 17293 15185 0 -1 4202560 169 0 0 0 128 7 0 0 20 0 19 0 283494303 9856004096 199589 33554432000 1073741824 1073778376 140736052222592 139750920939816 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17293/tid=17300] ppid=17291 vsize=9625004 CPUtime=1.74 cores=1,3,5,7
/proc/17293/task/17300/stat : 17300 (java) S 17291 17293 15185 0 -1 4202560 231 0 0 0 165 9 0 0 20 0 19 0 283494303 9856004096 199589 33554432000 1073741824 1073778376 140736052222592 139750919887784 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17293/tid=17301] ppid=17291 vsize=9625004 CPUtime=1.52 cores=1,3,5,7
/proc/17293/task/17301/stat : 17301 (java) S 17291 17293 15185 0 -1 4202560 271 0 0 0 142 10 0 0 20 0 19 0 283494303 9856004096 199589 33554432000 1073741824 1073778376 140736052222592 139750918835240 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17293/tid=17302] ppid=17291 vsize=9625004 CPUtime=1.62 cores=1,3,5,7
/proc/17293/task/17302/stat : 17302 (java) S 17291 17293 15185 0 -1 4202560 175 0 0 0 152 10 0 0 20 0 19 0 283494303 9856004096 199589 33554432000 1073741824 1073778376 140736052222592 139750917782184 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17293/tid=17303] ppid=17291 vsize=9625004 CPUtime=1.49 cores=1,3,5,7
/proc/17293/task/17303/stat : 17303 (java) S 17291 17293 15185 0 -1 4202560 279 0 0 0 144 5 0 0 20 0 19 0 283494303 9856004096 199589 33554432000 1073741824 1073778376 140736052222592 139750916729640 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17293/tid=17304] ppid=17291 vsize=9625004 CPUtime=13.73 cores=1,3,5,7
/proc/17293/task/17304/stat : 17304 (java) S 17291 17293 15185 0 -1 4202560 678 0 0 0 1369 4 0 0 20 0 19 0 283494304 9856004096 199589 33554432000 1073741824 1073778376 140736052222592 139750904531304 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17293/tid=17305] ppid=17291 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17293/task/17305/stat : 17305 (java) S 17291 17293 15185 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 283494304 9856004096 199589 33554432000 1073741824 1073778376 140736052222592 139750903477624 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17293/tid=17306] ppid=17291 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17293/task/17306/stat : 17306 (java) S 17291 17293 15185 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 283494304 9856004096 199589 33554432000 1073741824 1073778376 140736052222592 139750902424456 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17293/tid=17307] ppid=17291 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17293/task/17307/stat : 17307 (java) S 17291 17293 15185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283494307 9856004096 199589 33554432000 1073741824 1073778376 140736052222592 139750901373200 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17293/tid=17308] ppid=17291 vsize=9625004 CPUtime=0.97 cores=1,3,5,7
/proc/17293/task/17308/stat : 17308 (java) S 17291 17293 15185 0 -1 4202560 4594 0 0 0 95 2 0 0 20 0 19 0 283494307 9856004096 199589 33554432000 1073741824 1073778376 140736052222592 139750900321080 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17293/tid=17309] ppid=17291 vsize=9625004 CPUtime=0.93 cores=1,3,5,7
/proc/17293/task/17309/stat : 17309 (java) S 17291 17293 15185 0 -1 4202560 9330 0 0 0 91 2 0 0 20 0 19 0 283494307 9856004096 199589 33554432000 1073741824 1073778376 140736052222592 139750899268536 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17293/tid=17310] ppid=17291 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17293/task/17310/stat : 17310 (java) S 17291 17293 15185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283494307 9856004096 199589 33554432000 1073741824 1073778376 140736052222592 139750898215672 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17293/tid=17311] ppid=17291 vsize=9625004 CPUtime=0.64 cores=1,3,5,7
/proc/17293/task/17311/stat : 17311 (java) S 17291 17293 15185 0 -1 4202560 103 0 0 0 29 35 0 0 20 0 19 0 283494307 9856004096 199589 33554432000 1073741824 1073778376 140736052222592 139750897163336 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17293/tid=17312] ppid=17291 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17293/task/17312/stat : 17312 (java) S 17291 17293 15185 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 283494398 9856004096 199589 33554432000 1073741824 1073778376 140736052222592 139750896047144 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1793.38
Current children cumulated vsize (KiB) 9625004



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1789 s]
/proc/loadavg: 2.00 2.03 2.00 3/211 17807
/proc/meminfo: memFree=28938884/32873852 swapFree=7624/7624
[pid=17293] ppid=17291 vsize=9625004 CPUtime=1800.08 cores=1,3,5,7
/proc/17293/stat : 17293 (java) S 17291 17293 15185 0 -1 4202496 20578 0 1 0 179890 118 0 0 20 0 19 0 283494300 9856004096 199589 33554432000 1073741824 1073778376 140736052222592 140736052213728 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17293/statm: 2406251 199589 2295 9 0 2396937 0
[pid=17293/tid=17295] ppid=17291 vsize=9625004 CPUtime=1766.89 cores=1,3,5,7
/proc/17293/task/17295/stat : 17295 (java) R 17291 17293 15185 0 -1 4202560 2930 0 1 0 176654 35 0 0 20 0 19 0 283494301 9856004096 199589 33554432000 1073741824 1073778376 140736052222592 139751282188592 139751139486407 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=17293/tid=17296] ppid=17291 vsize=9625004 CPUtime=1.65 cores=1,3,5,7
/proc/17293/task/17296/stat : 17296 (java) S 17291 17293 15185 0 -1 4202560 177 0 0 0 158 7 0 0 20 0 19 0 283494303 9856004096 199589 33554432000 1073741824 1073778376 140736052222592 139751260289448 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17293/tid=17297] ppid=17291 vsize=9625004 CPUtime=1.51 cores=1,3,5,7
/proc/17293/task/17297/stat : 17297 (java) S 17291 17293 15185 0 -1 4202560 208 0 0 0 144 7 0 0 20 0 19 0 283494303 9856004096 199589 33554432000 1073741824 1073778376 140736052222592 139751259236904 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 1 0 0
[pid=17293/tid=17298] ppid=17291 vsize=9625004 CPUtime=1.42 cores=1,3,5,7
/proc/17293/task/17298/stat : 17298 (java) S 17291 17293 15185 0 -1 4202560 251 0 0 0 137 5 0 0 20 0 19 0 283494303 9856004096 199589 33554432000 1073741824 1073778376 140736052222592 139751258183848 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17293/tid=17299] ppid=17291 vsize=9625004 CPUtime=1.35 cores=1,3,5,7
/proc/17293/task/17299/stat : 17299 (java) S 17291 17293 15185 0 -1 4202560 169 0 0 0 128 7 0 0 20 0 19 0 283494303 9856004096 199589 33554432000 1073741824 1073778376 140736052222592 139750920939816 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17293/tid=17300] ppid=17291 vsize=9625004 CPUtime=1.74 cores=1,3,5,7
/proc/17293/task/17300/stat : 17300 (java) S 17291 17293 15185 0 -1 4202560 231 0 0 0 165 9 0 0 20 0 19 0 283494303 9856004096 199589 33554432000 1073741824 1073778376 140736052222592 139750919887784 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17293/tid=17301] ppid=17291 vsize=9625004 CPUtime=1.52 cores=1,3,5,7
/proc/17293/task/17301/stat : 17301 (java) S 17291 17293 15185 0 -1 4202560 271 0 0 0 142 10 0 0 20 0 19 0 283494303 9856004096 199589 33554432000 1073741824 1073778376 140736052222592 139750918835240 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17293/tid=17302] ppid=17291 vsize=9625004 CPUtime=1.62 cores=1,3,5,7
/proc/17293/task/17302/stat : 17302 (java) S 17291 17293 15185 0 -1 4202560 175 0 0 0 152 10 0 0 20 0 19 0 283494303 9856004096 199589 33554432000 1073741824 1073778376 140736052222592 139750917782184 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17293/tid=17303] ppid=17291 vsize=9625004 CPUtime=1.49 cores=1,3,5,7
/proc/17293/task/17303/stat : 17303 (java) S 17291 17293 15185 0 -1 4202560 279 0 0 0 144 5 0 0 20 0 19 0 283494303 9856004096 199589 33554432000 1073741824 1073778376 140736052222592 139750916729640 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17293/tid=17304] ppid=17291 vsize=9625004 CPUtime=13.73 cores=1,3,5,7
/proc/17293/task/17304/stat : 17304 (java) S 17291 17293 15185 0 -1 4202560 678 0 0 0 1369 4 0 0 20 0 19 0 283494304 9856004096 199589 33554432000 1073741824 1073778376 140736052222592 139750904531304 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17293/tid=17305] ppid=17291 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17293/task/17305/stat : 17305 (java) S 17291 17293 15185 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 283494304 9856004096 199589 33554432000 1073741824 1073778376 140736052222592 139750903477624 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17293/tid=17306] ppid=17291 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17293/task/17306/stat : 17306 (java) S 17291 17293 15185 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 283494304 9856004096 199589 33554432000 1073741824 1073778376 140736052222592 139750902424456 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17293/tid=17307] ppid=17291 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17293/task/17307/stat : 17307 (java) S 17291 17293 15185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283494307 9856004096 199589 33554432000 1073741824 1073778376 140736052222592 139750901373200 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17293/tid=17308] ppid=17291 vsize=9625004 CPUtime=0.97 cores=1,3,5,7
/proc/17293/task/17308/stat : 17308 (java) S 17291 17293 15185 0 -1 4202560 4594 0 0 0 95 2 0 0 20 0 19 0 283494307 9856004096 199589 33554432000 1073741824 1073778376 140736052222592 139750900321080 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17293/tid=17309] ppid=17291 vsize=9625004 CPUtime=0.93 cores=1,3,5,7
/proc/17293/task/17309/stat : 17309 (java) S 17291 17293 15185 0 -1 4202560 9330 0 0 0 91 2 0 0 20 0 19 0 283494307 9856004096 199589 33554432000 1073741824 1073778376 140736052222592 139750899268536 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17293/tid=17310] ppid=17291 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17293/task/17310/stat : 17310 (java) S 17291 17293 15185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283494307 9856004096 199589 33554432000 1073741824 1073778376 140736052222592 139750898215672 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17293/tid=17311] ppid=17291 vsize=9625004 CPUtime=0.65 cores=1,3,5,7
/proc/17293/task/17311/stat : 17311 (java) S 17291 17293 15185 0 -1 4202560 103 0 0 0 29 36 0 0 20 0 19 0 283494307 9856004096 199589 33554432000 1073741824 1073778376 140736052222592 139750897163336 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17293/tid=17312] ppid=17291 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17293/task/17312/stat : 17312 (java) S 17291 17293 15185 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 283494398 9856004096 199589 33554432000 1073741824 1073778376 140736052222592 139750896047144 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
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

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

Real time (s): 1789.06
CPU time (s): 1800.08
CPU user time (s): 1798.9
CPU system time (s): 1.18
CPU usage (%): 100.616
Max. virtual memory (cumulated for all children) (KiB): 9625004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.29
system time used= 1.53277
maximum resident set size= 798480
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20613
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1680
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 40640
involuntary context switches= 37113

runsolver used 5.9221 second user time and 16.0416 second system time

The end

Launcher Data 

Begin job on node131 at 2012-05-28 04:54:48
IDJOB=3711167
IDBENCH=48269
IDSOLVER=2289
FILE ID=node131/3711167-1338173688
RUNJOBID= node131-1338155741-15202
PBS_JOBID= 14624524
Free space on /tmp= 71728 MiB

SOLVER NAME= SAT4J PB specific settings 2.3.2 snapshot
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_1000_25_2.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-3711167-1338173688/watcher-3711167-1338173688 -o /tmp/evaluation-result-3711167-1338173688/solver-3711167-1338173688 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3711167-1338173688.opb

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

MD5SUM BENCH= 24465d104818b01999b811ba346c3d8e
RANDOM SEED=1585641510

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

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.805
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.91
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.805
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.92
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.805
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.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873852 kB
MemFree:        29719188 kB
Buffers:          343728 kB
Cached:          1812228 kB
SwapCached:         2172 kB
Active:           701992 kB
Inactive:        1614892 kB
Active(anon):     162380 kB
Inactive(anon):      820 kB
Active(file):     539612 kB
Inactive(file):  1614072 kB
Unevictable:        7624 kB
Mlocked:            7624 kB
SwapTotal:      67108856 kB
SwapFree:       67099044 kB
Dirty:              1636 kB
Writeback:             0 kB
AnonPages:        171676 kB
Mapped:            22516 kB
Shmem:                 0 kB
Slab:             693932 kB
SReclaimable:     136200 kB
SUnreclaim:       557732 kB
KernelStack:        1592 kB
PageTables:         4568 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545780 kB
Committed_AS:     698676 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346360 kB
VmallocChunk:   34341988004 kB
HardwareCorrupted:     0 kB
AnonHugePages:    124928 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= 71728 MiB
End job on node131 at 2012-05-28 05:24:40