Trace number 3711166

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)-110 1800.4 1789.85

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_1000_25_1.opb
MD5SUM02054528a722e9af7937139e87d0b5ac
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-134
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 -169
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)63280
Sum of products size (including duplicates)126560
Number of different products31640
Sum of products size63280

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.06/0.08	c version 2.3.2.v20120418
0.06/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.06/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.06/0.08	c java.vm.version	19.1-b02
0.06/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.06/0.08	c sun.arch.data.model	64
0.06/0.08	c java.version		1.6.0_24
0.06/0.08	c os.name		Linux
0.06/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.06/0.08	c os.arch		amd64
0.06/0.08	c Free memory 		501472288
0.06/0.08	c Max memory 		7480803328
0.06/0.08	c Total memory 		504102912
0.06/0.08	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-3711166-1338173000.opb
0.09/0.12	c reading problem ... 
1.99/0.89	c ... done. Wall clock time 0.774s.
1.99/0.89	c declared #vars     2000
1.99/0.89	c internal #vars     33640
1.99/0.89	c #constraints  66282
1.99/0.89	c constraints type 
1.99/0.89	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 31640
1.99/0.89	c org.sat4j.minisat.constraints.card.MinWatchCard => 2002
1.99/0.89	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1000
1.99/0.89	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 31640
1.99/0.89	c 66282 constraints processed.
2.40/1.08	c SATISFIABLE
2.40/1.08	c OPTIMIZING...
2.40/1.08	c Got one! Elapsed wall clock time (in seconds):0.965
2.40/1.08	o 0
2.63/1.11	c Got one! Elapsed wall clock time (in seconds):0.992
2.63/1.11	o -1
4.79/3.02	c Got one! Elapsed wall clock time (in seconds):2.897
4.79/3.09	o -72
6.99/5.21	c Got one! Elapsed wall clock time (in seconds):5.087
6.99/5.21	o -77
8.90/7.15	c Got one! Elapsed wall clock time (in seconds):7.03
8.90/7.15	o -78
9.53/7.75	c Got one! Elapsed wall clock time (in seconds):7.634
9.53/7.75	o -79
12.34/10.59	c Got one! Elapsed wall clock time (in seconds):10.468
12.34/10.59	o -80
13.55/11.76	c cleaning 3415 clauses out of 6833 with flag 1000/6833
14.78/12.81	c Got one! Elapsed wall clock time (in seconds):12.691
14.78/12.81	o -101
16.88/14.95	c Got one! Elapsed wall clock time (in seconds):14.832
16.88/14.95	o -106
19.90/17.96	c cleaning 4712 clauses out of 9432 with flag 4000/12847
25.83/23.87	c cleaning 5351 clauses out of 10720 with flag 10000/18847
27.25/25.30	c Got one! Elapsed wall clock time (in seconds):25.182
27.25/25.30	o -107
31.76/29.71	c cleaning 5259 clauses out of 10519 with flag 4000/23997
36.39/34.37	c cleaning 5622 clauses out of 11260 with flag 10000/29997
43.01/40.95	c cleaning 6222 clauses out of 12638 with flag 17000/36997
49.13/47.09	c cleaning 7200 clauses out of 14420 with flag 25004/45001
56.37/54.21	c cleaning 8105 clauses out of 16217 with flag 34001/53998
64.17/61.90	c cleaning 9052 clauses out of 18115 with flag 44004/64001
71.90/69.61	c cleaning 9921 clauses out of 20059 with flag 55000/74997
83.23/80.90	c cleaning 11068 clauses out of 22138 with flag 67000/86997
91.88/89.55	c cleaning 12031 clauses out of 24071 with flag 80001/99998
102.31/99.92	c cleaning 13000 clauses out of 26039 with flag 94000/113997
114.13/111.72	c cleaning 14010 clauses out of 28042 with flag 109003/129000
124.80/122.31	c cleaning 15014 clauses out of 30033 with flag 125004/145001
135.10/132.53	c cleaning 16001 clauses out of 32017 with flag 142002/161999
150.16/147.57	c cleaning 16996 clauses out of 34014 with flag 160000/179997
164.02/161.37	c cleaning 17978 clauses out of 36018 with flag 179000/198997
174.29/171.60	c cleaning 19002 clauses out of 38055 with flag 199015/219012
191.89/189.04	c cleaning 19865 clauses out of 40038 with flag 220000/239997
203.52/200.54	c cleaning 21085 clauses out of 42173 with flag 242000/261997
220.03/217.08	c cleaning 21932 clauses out of 44089 with flag 265001/284998
243.10/240.06	c cleaning 23073 clauses out of 46156 with flag 289000/308997
255.46/252.35	c cleaning 24042 clauses out of 48089 with flag 314006/334003
268.14/264.90	c cleaning 25013 clauses out of 50041 with flag 340000/359997
283.34/280.09	c cleaning 26012 clauses out of 52028 with flag 367000/386997
306.45/303.07	c cleaning 26997 clauses out of 54018 with flag 395002/414999
331.41/327.96	c cleaning 28015 clauses out of 56046 with flag 424027/444024
349.61/346.01	c cleaning 28992 clauses out of 58004 with flag 454000/473997
374.71/371.04	c cleaning 30001 clauses out of 60014 with flag 485002/504999
401.11/397.33	c cleaning 30996 clauses out of 62011 with flag 517000/536997
412.47/408.56	c cleaning 32004 clauses out of 64018 with flag 550003/570000
438.23/434.20	c cleaning 32992 clauses out of 66011 with flag 584000/603997
462.71/458.65	c cleaning 34004 clauses out of 68023 with flag 619004/639001
482.09/477.93	c cleaning 35006 clauses out of 70015 with flag 655000/674997
510.09/505.81	c cleaning 35971 clauses out of 72009 with flag 692000/711997
537.41/533.06	c cleaning 37007 clauses out of 74039 with flag 730001/749998
566.21/561.77	c cleaning 38005 clauses out of 76036 with flag 769005/789002
598.62/593.75	c cleaning 39006 clauses out of 78028 with flag 809002/828999
620.85/615.94	c cleaning 40006 clauses out of 80020 with flag 850000/869997
628.99/623.91	c Got one! Elapsed wall clock time (in seconds):623.795
628.99/623.91	o -108
635.40/630.38	c cleaning 29272 clauses out of 58576 with flag 5000/888559
640.33/635.26	c cleaning 17638 clauses out of 35304 with flag 11000/894559
645.75/640.62	c cleaning 12316 clauses out of 24680 with flag 18014/901573
651.89/646.74	c cleaning 10165 clauses out of 20351 with flag 26001/909560
659.47/654.22	c cleaning 9588 clauses out of 19187 with flag 35002/918561
667.82/662.52	c cleaning 9774 clauses out of 19597 with flag 45000/928559
679.15/673.83	c cleaning 10406 clauses out of 20851 with flag 56028/939587
688.62/683.25	c cleaning 11198 clauses out of 22419 with flag 68002/951561
700.23/694.89	c cleaning 12101 clauses out of 24219 with flag 81000/964559
713.39/707.95	c cleaning 13071 clauses out of 26151 with flag 95033/978592
724.97/719.50	c cleaning 14021 clauses out of 28049 with flag 110002/993561
740.95/735.35	c cleaning 15008 clauses out of 30028 with flag 126002/1009561
766.57/760.97	c cleaning 16019 clauses out of 32038 with flag 143020/1026579
817.07/811.36	c cleaning 17005 clauses out of 34011 with flag 161012/1044571
842.07/836.24	c cleaning 17997 clauses out of 35994 with flag 180000/1063559
857.10/851.28	c cleaning 18999 clauses out of 37997 with flag 200000/1083559
866.49/860.57	c cleaning 19996 clauses out of 40000 with flag 221002/1104561
875.86/869.90	c cleaning 20999 clauses out of 42002 with flag 243000/1126559
885.26/879.17	c cleaning 21999 clauses out of 44004 with flag 266001/1149560
896.21/890.07	c cleaning 23004 clauses out of 46010 with flag 290006/1173565
912.70/906.47	c cleaning 23996 clauses out of 48000 with flag 315000/1198559
928.45/922.13	c cleaning 25001 clauses out of 50004 with flag 341000/1224559
943.93/937.54	c cleaning 26000 clauses out of 52003 with flag 368000/1251559
962.02/955.58	c cleaning 27003 clauses out of 54005 with flag 396002/1279561
979.04/972.42	c cleaning 27998 clauses out of 56000 with flag 425000/1308559
1000.71/994.01	c cleaning 29001 clauses out of 58002 with flag 455000/1338559
1022.98/1016.26	c Got one! Elapsed wall clock time (in seconds):1016.142
1022.98/1016.26	o -109
1023.09/1016.38	c Got one! Elapsed wall clock time (in seconds):1016.258
1023.09/1016.38	o -110
1028.28/1021.58	c cleaning 31873 clauses out of 63765 with flag 5003/1373323
1032.39/1025.58	c cleaning 18920 clauses out of 37901 with flag 11012/1379332
1036.83/1029.93	c cleaning 12977 clauses out of 25969 with flag 18000/1386320
1039.18/1032.21	c cleaning 10492 clauses out of 20993 with flag 26001/1394321
1043.42/1036.49	c cleaning 9736 clauses out of 19502 with flag 35002/1403322
1050.16/1043.10	c cleaning 9880 clauses out of 19767 with flag 45003/1413323
1063.42/1056.38	c cleaning 10437 clauses out of 20886 with flag 56002/1424322
1073.58/1066.42	c cleaning 11228 clauses out of 22457 with flag 68010/1436330
1084.35/1077.11	c cleaning 12110 clauses out of 24231 with flag 81012/1449332
1090.82/1083.57	c cleaning 13058 clauses out of 26131 with flag 95022/1463342
1107.96/1100.65	c cleaning 14024 clauses out of 28054 with flag 110003/1478323
1127.25/1119.85	c cleaning 14996 clauses out of 30027 with flag 126000/1494320
1154.23/1146.79	c cleaning 16018 clauses out of 32036 with flag 143005/1511325
1175.72/1168.20	c cleaning 17009 clauses out of 34032 with flag 161019/1529339
1183.62/1175.98	c cleaning 18002 clauses out of 36005 with flag 180001/1548321
1191.28/1183.50	c cleaning 19000 clauses out of 38002 with flag 200000/1568320
1199.21/1191.41	c cleaning 19998 clauses out of 40002 with flag 221000/1589320
1207.73/1199.94	c cleaning 21000 clauses out of 42004 with flag 243000/1611320
1219.85/1212.05	c cleaning 21997 clauses out of 44006 with flag 266002/1634322
1232.41/1224.50	c cleaning 23002 clauses out of 46007 with flag 290000/1658320
1242.79/1234.83	c cleaning 24000 clauses out of 48006 with flag 315001/1683321
1254.06/1246.09	c cleaning 25006 clauses out of 50015 with flag 341010/1709330
1270.31/1262.24	c cleaning 25993 clauses out of 52002 with flag 368003/1736323
1293.91/1285.76	c cleaning 26999 clauses out of 54007 with flag 396001/1764321
1305.30/1297.02	c cleaning 27999 clauses out of 56008 with flag 425001/1793321
1315.59/1307.25	c cleaning 28999 clauses out of 58008 with flag 455000/1823320
1327.56/1319.11	c cleaning 29999 clauses out of 60010 with flag 486001/1854321
1340.12/1331.62	c cleaning 31004 clauses out of 62011 with flag 518001/1886321
1352.88/1344.30	c cleaning 31998 clauses out of 64006 with flag 551000/1919320
1361.64/1353.03	c cleaning 33000 clauses out of 66008 with flag 585000/1953320
1372.58/1363.92	c cleaning 34000 clauses out of 68009 with flag 620001/1988321
1403.51/1394.87	c cleaning 35001 clauses out of 70018 with flag 656010/2024330
1427.48/1418.78	c cleaning 35985 clauses out of 72008 with flag 693001/2061321
1458.84/1449.90	c cleaning 37010 clauses out of 74029 with flag 731007/2099327
1492.45/1483.42	c cleaning 38006 clauses out of 76012 with flag 770000/2138320
1509.95/1500.85	c cleaning 38980 clauses out of 78006 with flag 810000/2178320
1538.81/1529.68	c cleaning 40008 clauses out of 80026 with flag 851000/2219320
1572.02/1562.72	c cleaning 40997 clauses out of 82018 with flag 893000/2261320
1605.89/1596.40	c cleaning 42003 clauses out of 84023 with flag 936002/2304322
1634.13/1624.51	c cleaning 43000 clauses out of 86019 with flag 980001/2348321
1658.15/1648.43	c cleaning 44001 clauses out of 88018 with flag 1025000/2393320
1714.66/1704.88	c cleaning 45002 clauses out of 90017 with flag 1071000/2439320
1749.95/1739.95	c cleaning 45997 clauses out of 92015 with flag 1118000/2486320
1800.00/1789.81	c starts		: 243
1800.00/1789.81	c conflicts		: 2528911
1800.00/1789.81	c decisions		: 47997024
1800.00/1789.81	c propagations		: 1067458027
1800.00/1789.81	c inspects		: 6182146447
1800.00/1789.81	c shortcuts		: 0
1800.00/1789.81	c learnt literals	: 0
1800.00/1789.81	c learnt binary clauses	: 182
1800.00/1789.81	c learnt ternary clauses	: 110424
1800.00/1789.81	c learnt constraints	: 2528911
1800.00/1789.81	c ignored constraints	: 0
1800.00/1789.81	c root simplifications	: 243
1800.00/1789.81	c removed literals (reason simplification)	: 227684300
1800.00/1789.81	c reason swapping (by a shorter reason)	: 0
1800.00/1789.81	c Calls to reduceDB	: 109
1800.00/1789.81	c number of reductions to clauses (during analyze)	: 0
1800.00/1789.81	c number of learned constraints concerned by reduction	: 0
1800.00/1789.81	c number of learning phase by resolution	: 0
1800.00/1789.81	c number of learning phase by cutting planes	: 0
1800.00/1789.81	c speed (assignments/second)	: 596713.9741091423
1800.00/1789.81	c non guided choices	180950
1800.00/1789.84	c learnt constraints type 
1800.00/1789.84	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 182
1800.00/1789.84	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 88435
1800.00/1789.84	c constraints type 
1800.00/1789.84	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 31640
1800.00/1789.84	c org.sat4j.minisat.constraints.card.MinWatchCard => 2003
1800.00/1789.84	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1000
1800.00/1789.84	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 31640
1800.00/1789.84	c 66283 constraints processed.
1800.00/1789.84	s SATISFIABLE
1800.00/1789.84	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.00/1789.84	c objective function=-110
1800.00/1789.84	c Total wall clock time (in seconds): 1789.722

Verifier Data 

OK	-110

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-3711166-1338173000/watcher-3711166-1338173000 -o /tmp/evaluation-result-3711166-1338173000/solver-3711166-1338173000 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3711166-1338173000.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: 2.19 2.11 2.03 3/194 14961
/proc/meminfo: memFree=30106952/32873648 swapFree=6860/6860
[pid=14961] ppid=14959 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/14961/stat : 14961 (java) D 14959 14961 13368 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 283426067 9515008 182 33554432000 1073741824 1073778376 140735885139488 140735885130520 266435641013 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/14961/statm: 2323 182 140 9 0 71 0

[startup+0.083535 s]
/proc/loadavg: 2.19 2.11 2.03 3/194 14961
/proc/meminfo: memFree=30106952/32873648 swapFree=6860/6860
[pid=14961] ppid=14959 vsize=9558440 CPUtime=0.06 cores=1,3,5,7
/proc/14961/stat : 14961 (java) S 14959 14961 13368 0 -1 4202496 3470 0 1 0 5 1 0 0 20 0 18 0 283426067 9787842560 4678 33554432000 1073741824 1073778376 140734982548352 140734982539488 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/14961/statm: 2389610 4678 1779 9 0 2380296 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 9558440

[startup+0.100242 s]
/proc/loadavg: 2.19 2.11 2.03 3/194 14961
/proc/meminfo: memFree=30106952/32873648 swapFree=6860/6860
[pid=14961] ppid=14959 vsize=9558440 CPUtime=0.09 cores=1,3,5,7
/proc/14961/stat : 14961 (java) S 14959 14961 13368 0 -1 4202496 4297 0 1 0 8 1 0 0 20 0 18 0 283426067 9787842560 6013 33554432000 1073741824 1073778376 140734982548352 140734982539488 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/14961/statm: 2389610 6013 2115 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558440

[startup+0.300232 s]
/proc/loadavg: 2.19 2.11 2.03 3/194 14961
/proc/meminfo: memFree=30106952/32873648 swapFree=6860/6860
[pid=14961] ppid=14959 vsize=9558440 CPUtime=0.45 cores=1,3,5,7
/proc/14961/stat : 14961 (java) S 14959 14961 13368 0 -1 4202496 6034 0 1 0 44 1 0 0 20 0 18 0 283426067 9787842560 8768 33554432000 1073741824 1073778376 140734982548352 140734982539488 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/14961/statm: 2389610 8768 2235 9 0 2380296 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 9558440

[startup+0.700246 s]
/proc/loadavg: 2.19 2.11 2.03 3/194 14961
/proc/meminfo: memFree=30106952/32873648 swapFree=6860/6860
[pid=14961] ppid=14959 vsize=9558440 CPUtime=1.67 cores=1,3,5,7
/proc/14961/stat : 14961 (java) S 14959 14961 13368 0 -1 4202496 18952 0 1 0 160 7 0 0 20 0 18 0 283426067 9787842560 50415 33554432000 1073741824 1073778376 140734982548352 140734982539488 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/14961/statm: 2389610 50415 2274 9 0 2380296 0
Current children cumulated CPU time (s) 1.67
Current children cumulated vsize (KiB) 9558440

[startup+1.50071 s]
/proc/loadavg: 2.19 2.11 2.03 5/213 14980
/proc/meminfo: memFree=29800088/32873648 swapFree=6860/6860
[pid=14961] ppid=14959 vsize=9625004 CPUtime=3.21 cores=1,3,5,7
/proc/14961/stat : 14961 (java) S 14959 14961 13368 0 -1 4202496 20613 0 1 0 311 10 0 0 20 0 19 0 283426067 9856004096 80073 33554432000 1073741824 1073778376 140734982548352 140734982539488 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/14961/statm: 2406251 80073 2280 9 0 2396937 0
[pid=14961/tid=14963] ppid=14959 vsize=9625004 CPUtime=1.41 cores=1,3,5,7
/proc/14961/task/14963/stat : 14963 (java) R 14959 14961 13368 0 -1 4202560 2630 0 1 0 136 5 0 0 20 0 19 0 283426068 9856004096 80073 33554432000 1073741824 1073778376 140734982548352 140658265542936 140658116263222 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=14961/tid=14964] ppid=14959 vsize=9625004 CPUtime=0.03 cores=1,3,5,7
/proc/14961/task/14964/stat : 14964 (java) S 14959 14961 13368 0 -1 4202560 97 0 0 0 3 0 0 0 20 0 19 0 283426069 9856004096 80073 33554432000 1073741824 1073778376 140734982548352 140658237995944 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14961/tid=14965] ppid=14959 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/14961/task/14965/stat : 14965 (java) S 14959 14961 13368 0 -1 4202560 34 0 0 0 0 0 0 0 20 0 19 0 283426069 9856004096 80073 33554432000 1073741824 1073778376 140734982548352 140658236943400 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14961/tid=14966] ppid=14959 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/14961/task/14966/stat : 14966 (java) S 14959 14961 13368 0 -1 4202560 64 0 0 0 0 0 0 0 20 0 19 0 283426069 9856004096 80073 33554432000 1073741824 1073778376 140734982548352 140658235890344 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14961/tid=14967] ppid=14959 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/14961/task/14967/stat : 14967 (java) S 14959 14961 13368 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 283426069 9856004096 80073 33554432000 1073741824 1073778376 140734982548352 140658234837800 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14961/tid=14968] ppid=14959 vsize=9625004 CPUtime=0.03 cores=1,3,5,7
/proc/14961/task/14968/stat : 14968 (java) S 14959 14961 13368 0 -1 4202560 98 0 0 0 3 0 0 0 20 0 19 0 283426069 9856004096 80073 33554432000 1073741824 1073778376 140734982548352 140658104379816 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14961/tid=14969] ppid=14959 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/14961/task/14969/stat : 14969 (java) S 14959 14961 13368 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 19 0 283426069 9856004096 80073 33554432000 1073741824 1073778376 140734982548352 140658103327272 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14961/tid=14970] ppid=14959 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/14961/task/14970/stat : 14970 (java) S 14959 14961 13368 0 -1 4202560 42 0 0 0 1 0 0 0 20 0 19 0 283426069 9856004096 80073 33554432000 1073741824 1073778376 140734982548352 140658102274216 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14961/tid=14971] ppid=14959 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/14961/task/14971/stat : 14971 (java) S 14959 14961 13368 0 -1 4202560 64 0 0 0 0 0 0 0 20 0 19 0 283426069 9856004096 80073 33554432000 1073741824 1073778376 140734982548352 140658101221672 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14961/tid=14972] ppid=14959 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/14961/task/14972/stat : 14972 (java) S 14959 14961 13368 0 -1 4202560 73 0 0 0 0 0 0 0 20 0 19 0 283426070 9856004096 80073 33554432000 1073741824 1073778376 140734982548352 140657618709352 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14961/tid=14973] ppid=14959 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/14961/task/14973/stat : 14973 (java) S 14959 14961 13368 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 283426071 9856004096 80073 33554432000 1073741824 1073778376 140734982548352 140657617655672 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14961/tid=14974] ppid=14959 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/14961/task/14974/stat : 14974 (java) S 14959 14961 13368 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 283426071 9856004096 80073 33554432000 1073741824 1073778376 140734982548352 140657616602504 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14961/tid=14975] ppid=14959 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/14961/task/14975/stat : 14975 (java) S 14959 14961 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283426073 9856004096 80073 33554432000 1073741824 1073778376 140734982548352 140657615551248 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14961/tid=14976] ppid=14959 vsize=9625004 CPUtime=0.77 cores=1,3,5,7
/proc/14961/task/14976/stat : 14976 (java) S 14959 14961 13368 0 -1 4202560 6045 0 0 0 77 0 0 0 20 0 19 0 283426073 9856004096 80073 33554432000 1073741824 1073778376 140734982548352 140657614498104 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14961/tid=14977] ppid=14959 vsize=9625004 CPUtime=0.79 cores=1,3,5,7
/proc/14961/task/14977/stat : 14977 (java) S 14959 14961 13368 0 -1 4202560 10259 0 0 0 77 2 0 0 20 0 19 0 283426073 9856004096 80073 33554432000 1073741824 1073778376 140734982548352 140657613445560 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14961/tid=14978] ppid=14959 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/14961/task/14978/stat : 14978 (java) S 14959 14961 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283426073 9856004096 80073 33554432000 1073741824 1073778376 140734982548352 140657612392696 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14961/tid=14979] ppid=14959 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/14961/task/14979/stat : 14979 (java) S 14959 14961 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283426073 9856004096 80073 33554432000 1073741824 1073778376 140734982548352 140657611340360 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14961/tid=14980] ppid=14959 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/14961/task/14980/stat : 14980 (java) S 14959 14961 13368 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 283426159 9856004096 80073 33554432000 1073741824 1073778376 140734982548352 140657610286632 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 3.21
Current children cumulated vsize (KiB) 9625004

[startup+3.10071 s]
/proc/loadavg: 2.18 2.11 2.03 3/213 14980
/proc/meminfo: memFree=29794736/32873648 swapFree=6860/6860
[pid=14961] ppid=14959 vsize=9625004 CPUtime=4.89 cores=1,3,5,7
/proc/14961/stat : 14961 (java) S 14959 14961 13368 0 -1 4202496 20777 0 1 0 479 10 0 0 20 0 19 0 283426067 9856004096 80585 33554432000 1073741824 1073778376 140734982548352 140734982539488 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/14961/statm: 2406251 80585 2280 9 0 2396937 0
[pid=14961/tid=14963] ppid=14959 vsize=9625004 CPUtime=3.01 cores=1,3,5,7
/proc/14961/task/14963/stat : 14963 (java) R 14959 14961 13368 0 -1 4202560 2632 0 1 0 296 5 0 0 20 0 19 0 283426068 9856004096 80585 33554432000 1073741824 1073778376 140734982548352 140658265534912 140658116312861 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=14961/tid=14964] ppid=14959 vsize=9625004 CPUtime=0.03 cores=1,3,5,7
/proc/14961/task/14964/stat : 14964 (java) S 14959 14961 13368 0 -1 4202560 97 0 0 0 3 0 0 0 20 0 19 0 283426069 9856004096 80585 33554432000 1073741824 1073778376 140734982548352 140658237995944 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14961/tid=14965] ppid=14959 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/14961/task/14965/stat : 14965 (java) S 14959 14961 13368 0 -1 4202560 34 0 0 0 0 0 0 0 20 0 19 0 283426069 9856004096 80585 33554432000 1073741824 1073778376 140734982548352 140658236943400 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14961/tid=14966] ppid=14959 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/14961/task/14966/stat : 14966 (java) S 14959 14961 13368 0 -1 4202560 64 0 0 0 0 0 0 0 20 0 19 0 283426069 9856004096 80585 33554432000 1073741824 1073778376 140734982548352 140658235890344 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14961/tid=14967] ppid=14959 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/14961/task/14967/stat : 14967 (java) S 14959 14961 13368 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 283426069 9856004096 80585 33554432000 1073741824 1073778376 140734982548352 140658234837800 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14961/tid=14968] ppid=14959 vsize=9625004 CPUtime=0.03 cores=1,3,5,7
/proc/14961/task/14968/stat : 14968 (java) S 14959 14961 13368 0 -1 4202560 98 0 0 0 3 0 0 0 20 0 19 0 283426069 9856004096 80585 33554432000 1073741824 1073778376 140734982548352 140658104379816 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14961/tid=14969] ppid=14959 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/14961/task/14969/stat : 14969 (java) S 14959 14961 13368 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 19 0 283426069 9856004096 80585 33554432000 1073741824 1073778376 140734982548352 140658103327272 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14961/tid=14970] ppid=14959 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/14961/task/14970/stat : 14970 (java) S 14959 14961 13368 0 -1 4202560 42 0 0 0 1 0 0 0 20 0 19 0 283426069 9856004096 80585 33554432000 1073741824 1073778376 140734982548352 140658102274216 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14961/tid=14971] ppid=14959 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/14961/task/14971/stat : 14971 (java) S 14959 14961 13368 0 -1 4202560 64 0 0 0 0 0 0 0 20 0 19 0 283426069 9856004096 80585 33554432000 1073741824 1073778376 140734982548352 140658101221672 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14961/tid=14972] ppid=14959 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/14961/task/14972/stat : 14972 (java) S 14959 14961 13368 0 -1 4202560 73 0 0 0 0 0 0 0 20 0 19 0 283426070 9856004096 80585 33554432000 1073741824 1073778376 140734982548352 140657618709352 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14961/tid=14973] ppid=14959 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/14961/task/14973/stat : 14973 (java) S 14959 14961 13368 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 283426071 9856004096 80585 33554432000 1073741824 1073778376 140734982548352 140657617655672 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14961/tid=14974] ppid=14959 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/14961/task/14974/stat : 14974 (java) S 14959 14961 13368 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 283426071 9856004096 80585 33554432000 1073741824 1073778376 140734982548352 140657616602504 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14961/tid=14975] ppid=14959 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/14961/task/14975/stat : 14975 (java) S 14959 14961 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283426073 9856004096 80585 33554432000 1073741824 1073778376 140734982548352 140657615551248 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14961/tid=14976] ppid=14959 vsize=9625004 CPUtime=0.81 cores=1,3,5,7
/proc/14961/task/14976/stat : 14976 (java) S 14959 14961 13368 0 -1 4202560 6207 0 0 0 81 0 0 0 20 0 19 0 283426073 9856004096 80585 33554432000 1073741824 1073778376 140734982548352 140657614498104 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14961/tid=14977] ppid=14959 vsize=9625004 CPUtime=0.84 cores=1,3,5,7
/proc/14961/task/14977/stat : 14977 (java) S 14959 14961 13368 0 -1 4202560 10259 0 0 0 82 2 0 0 20 0 19 0 283426073 9856004096 80585 33554432000 1073741824 1073778376 140734982548352 140657613445560 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14961/tid=14978] ppid=14959 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/14961/task/14978/stat : 14978 (java) S 14959 14961 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283426073 9856004096 80585 33554432000 1073741824 1073778376 140734982548352 140657612392696 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14961/tid=14979] ppid=14959 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/14961/task/14979/stat : 14979 (java) S 14959 14961 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283426073 9856004096 80585 33554432000 1073741824 1073778376 140734982548352 140657611340360 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14961/tid=14980] ppid=14959 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/14961/task/14980/stat : 14980 (java) S 14959 14961 13368 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 283426159 9856004096 80585 33554432000 1073741824 1073778376 140734982548352 140657610286632 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 4.89
Current children cumulated vsize (KiB) 9625004

[startup+6.30071 s]
/proc/loadavg: 2.18 2.11 2.03 3/213 14980
/proc/meminfo: memFree=29790336/32873648 swapFree=6860/6860
[pid=14961] ppid=14959 vsize=9625004 CPUtime=8.09 cores=1,3,5,7
/proc/14961/stat : 14961 (java) S 14959 14961 13368 0 -1 4202496 20780 0 1 0 799 10 0 0 20 0 19 0 283426067 9856004096 80996 33554432000 1073741824 1073778376 140734982548352 140734982539488 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/14961/statm: 2406251 80996 2280 9 0 2396937 0
[pid=14961/tid=14963] ppid=14959 vsize=9625004 CPUtime=6.21 cores=1,3,5,7
/proc/14961/task/14963/stat : 14963 (java) R 14959 14961 13368 0 -1 4202560 2635 0 1 0 616 5 0 0 20 0 19 0 283426068 9856004096 80996 33554432000 1073741824 1073778376 140734982548352 140658265534912 140658116313319 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=14961/tid=14964] ppid=14959 vsize=9625004 CPUtime=0.03 cores=1,3,5,7
/proc/14961/task/14964/stat : 14964 (java) S 14959 14961 13368 0 -1 4202560 97 0 0 0 3 0 0 0 20 0 19 0 283426069 9856004096 80996 33554432000 1073741824 1073778376 140734982548352 140658237995944 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14961/tid=14965] ppid=14959 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/14961/task/14965/stat : 14965 (java) S 14959 14961 13368 0 -1 4202560 34 0 0 0 0 0 0 0 20 0 19 0 283426069 9856004096 80996 33554432000 1073741824 1073778376 140734982548352 140658236943400 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14961/tid=14966] ppid=14959 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/14961/task/14966/stat : 14966 (java) S 14959 14961 13368 0 -1 4202560 64 0 0 0 0 0 0 0 20 0 19 0 283426069 9856004096 80996 33554432000 1073741824 1073778376 140734982548352 140658235890344 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14961/tid=14967] ppid=14959 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/14961/task/14967/stat : 14967 (java) S 14959 14961 13368 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 283426069 9856004096 80996 33554432000 1073741824 1073778376 140734982548352 140658234837800 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14961/tid=14968] ppid=14959 vsize=9625004 CPUtime=0.03 cores=1,3,5,7
/proc/14961/task/14968/stat : 14968 (java) S 14959 14961 13368 0 -1 4202560 98 0 0 0 3 0 0 0 20 0 19 0 283426069 9856004096 80996 33554432000 1073741824 1073778376 140734982548352 140658104379816 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14961/tid=14969] ppid=14959 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/14961/task/14969/stat : 14969 (java) S 14959 14961 13368 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 19 0 283426069 9856004096 80996 33554432000 1073741824 1073778376 140734982548352 140658103327272 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14961/tid=14970] ppid=14959 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/14961/task/14970/stat : 14970 (java) S 14959 14961 13368 0 -1 4202560 42 0 0 0 1 0 0 0 20 0 19 0 283426069 9856004096 80996 33554432000 1073741824 1073778376 140734982548352 140658102274216 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14961/tid=14971] ppid=14959 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/14961/task/14971/stat : 14971 (java) S 14959 14961 13368 0 -1 4202560 64 0 0 0 0 0 0 0 20 0 19 0 283426069 9856004096 80996 33554432000 1073741824 1073778376 140734982548352 140658101221672 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14961/tid=14972] ppid=14959 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/14961/task/14972/stat : 14972 (java) S 14959 14961 13368 0 -1 4202560 73 0 0 0 0 0 0 0 20 0 19 0 283426070 9856004096 80996 33554432000 1073741824 1073778376 140734982548352 140657618709352 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14961/tid=14973] ppid=14959 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/14961/task/14973/stat : 14973 (java) S 14959 14961 13368 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 283426071 9856004096 80996 33554432000 1073741824 1073778376 140734982548352 140657617655672 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14961/tid=14974] ppid=14959 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/14961/task/14974/stat : 14974 (java) S 14959 14961 13368 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 283426071 9856004096 80996 33554432000 1073741824 1073778376 140734982548352 140657616602504 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14961/tid=14975] ppid=14959 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/14961/task/14975/stat : 14975 (java) S 14959 14961 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283426073 9856004096 80996 33554432000 1073741824 1073778376 140734982548352 140657615551248 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14961/tid=14976] ppid=14959 vsize=9625004 CPUtime=0.81 cores=1,3,5,7
/proc/14961/task/14976/stat : 14976 (java) S 14959 14961 13368 0 -1 4202560 6207 0 0 0 81 0 0 0 20 0 19 0 283426073 9856004096 80996 33554432000 1073741824 1073778376 140734982548352 140657614498104 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14961/tid=14977] ppid=14959 vsize=9625004 CPUtime=0.84 cores=1,3,5,7
/proc/14961/task/14977/stat : 14977 (java) S 14959 14961 13368 0 -1 4202560 10259 0 0 0 82 2 0 0 20 0 19 0 283426073 9856004096 80996 33554432000 1073741824 1073778376 140734982548352 140657613445560 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14961/tid=14978] ppid=14959 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/14961/task/14978/stat : 14978 (java) S 14959 14961 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283426073 9856004096 80996 33554432000 1073741824 1073778376 140734982548352 140657612392696 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14961/tid=14979] ppid=14959 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/14961/task/14979/stat : 14979 (java) S 14959 14961 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283426073 9856004096 80996 33554432000 1073741824 1073778376 140734982548352 140657611340360 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14961/tid=14980] ppid=14959 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/14961/task/14980/stat : 14980 (java) S 14959 14961 13368 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 283426159 9856004096 80996 33554432000 1073741824 1073778376 140734982548352 140657610286632 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 8.09
Current children cumulated vsize (KiB) 9625004

[startup+12.7006 s]

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

[pid=14961/tid=14969] ppid=14959 vsize=9625004 CPUtime=1.36 cores=1,3,5,7
/proc/14961/task/14969/stat : 14969 (java) S 14959 14961 13368 0 -1 4202560 300 0 0 0 131 5 0 0 20 0 19 0 283426069 9856004096 184732 33554432000 1073741824 1073778376 140734982548352 140658103327272 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14961/tid=14970] ppid=14959 vsize=9625004 CPUtime=1.29 cores=1,3,5,7
/proc/14961/task/14970/stat : 14970 (java) S 14959 14961 13368 0 -1 4202560 273 0 0 0 123 6 0 0 20 0 19 0 283426069 9856004096 184732 33554432000 1073741824 1073778376 140734982548352 140658102274216 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14961/tid=14971] ppid=14959 vsize=9625004 CPUtime=1.25 cores=1,3,5,7
/proc/14961/task/14971/stat : 14971 (java) S 14959 14961 13368 0 -1 4202560 277 0 0 0 121 4 0 0 20 0 19 0 283426069 9856004096 184732 33554432000 1073741824 1073778376 140734982548352 140658101221672 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14961/tid=14972] ppid=14959 vsize=9625004 CPUtime=12.9 cores=1,3,5,7
/proc/14961/task/14972/stat : 14972 (java) S 14959 14961 13368 0 -1 4202560 704 0 0 0 1287 3 0 0 20 0 19 0 283426070 9856004096 184732 33554432000 1073741824 1073778376 140734982548352 140657618709352 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14961/tid=14973] ppid=14959 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/14961/task/14973/stat : 14973 (java) S 14959 14961 13368 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 283426071 9856004096 184732 33554432000 1073741824 1073778376 140734982548352 140657617655672 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14961/tid=14974] ppid=14959 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/14961/task/14974/stat : 14974 (java) S 14959 14961 13368 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 283426071 9856004096 184732 33554432000 1073741824 1073778376 140734982548352 140657616602504 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14961/tid=14975] ppid=14959 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/14961/task/14975/stat : 14975 (java) S 14959 14961 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283426073 9856004096 184732 33554432000 1073741824 1073778376 140734982548352 140657615551248 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14961/tid=14976] ppid=14959 vsize=9625004 CPUtime=0.93 cores=1,3,5,7
/proc/14961/task/14976/stat : 14976 (java) S 14959 14961 13368 0 -1 4202560 6221 0 0 0 93 0 0 0 20 0 19 0 283426073 9856004096 184732 33554432000 1073741824 1073778376 140734982548352 140657614498104 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14961/tid=14977] ppid=14959 vsize=9625004 CPUtime=1 cores=1,3,5,7
/proc/14961/task/14977/stat : 14977 (java) S 14959 14961 13368 0 -1 4202560 10275 0 0 0 98 2 0 0 20 0 19 0 283426073 9856004096 184732 33554432000 1073741824 1073778376 140734982548352 140657613445560 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14961/tid=14978] ppid=14959 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/14961/task/14978/stat : 14978 (java) S 14959 14961 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283426073 9856004096 184732 33554432000 1073741824 1073778376 140734982548352 140657612392696 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14961/tid=14979] ppid=14959 vsize=9625004 CPUtime=0.51 cores=1,3,5,7
/proc/14961/task/14979/stat : 14979 (java) S 14959 14961 13368 0 -1 4202560 95 0 0 0 23 28 0 0 20 0 19 0 283426073 9856004096 184732 33554432000 1073741824 1073778376 140734982548352 140657611340360 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14961/tid=14980] ppid=14959 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/14961/task/14980/stat : 14980 (java) S 14959 14961 13368 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 283426159 9856004096 184732 33554432000 1073741824 1073778376 140734982548352 140657610286632 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1672.15
Current children cumulated vsize (KiB) 9625004

[startup+1722.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/213 15134
/proc/meminfo: memFree=29251604/32873648 swapFree=6860/6860
[pid=14961] ppid=14959 vsize=9625004 CPUtime=1732.35 cores=1,3,5,7
/proc/14961/stat : 14961 (java) S 14959 14961 13368 0 -1 4202496 23570 0 1 0 173145 90 0 0 20 0 19 0 283426067 9856004096 186780 33554432000 1073741824 1073778376 140734982548352 140734982539488 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/14961/statm: 2406251 186780 2295 9 0 2396937 0
[pid=14961/tid=14963] ppid=14959 vsize=9625004 CPUtime=1706.22 cores=1,3,5,7
/proc/14961/task/14963/stat : 14963 (java) R 14959 14961 13368 0 -1 4202560 2881 0 1 0 170591 31 0 0 20 0 19 0 283426068 9856004096 186780 33554432000 1073741824 1073778376 140734982548352 140658265542960 140658116392842 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=14961/tid=14964] ppid=14959 vsize=9625004 CPUtime=1.34 cores=1,3,5,7
/proc/14961/task/14964/stat : 14964 (java) S 14959 14961 13368 0 -1 4202560 371 0 0 0 125 9 0 0 20 0 19 0 283426069 9856004096 186780 33554432000 1073741824 1073778376 140734982548352 140658237995944 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14961/tid=14965] ppid=14959 vsize=9625004 CPUtime=1.36 cores=1,3,5,7
/proc/14961/task/14965/stat : 14965 (java) S 14959 14961 13368 0 -1 4202560 282 0 0 0 131 5 0 0 20 0 19 0 283426069 9856004096 186780 33554432000 1073741824 1073778376 140734982548352 140658236943400 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14961/tid=14966] ppid=14959 vsize=9625004 CPUtime=1.31 cores=1,3,5,7
/proc/14961/task/14966/stat : 14966 (java) S 14959 14961 13368 0 -1 4202560 257 0 0 0 124 7 0 0 20 0 19 0 283426069 9856004096 186780 33554432000 1073741824 1073778376 140734982548352 140658235890344 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14961/tid=14967] ppid=14959 vsize=9625004 CPUtime=1.42 cores=1,3,5,7
/proc/14961/task/14967/stat : 14967 (java) S 14959 14961 13368 0 -1 4202560 207 0 0 0 135 7 0 0 20 0 19 0 283426069 9856004096 186780 33554432000 1073741824 1073778376 140734982548352 140658234837800 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14961/tid=14968] ppid=14959 vsize=9625004 CPUtime=1.29 cores=1,3,5,7
/proc/14961/task/14968/stat : 14968 (java) S 14959 14961 13368 0 -1 4202560 236 0 0 0 124 5 0 0 20 0 19 0 283426069 9856004096 186780 33554432000 1073741824 1073778376 140734982548352 140658104379816 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14961/tid=14969] ppid=14959 vsize=9625004 CPUtime=1.38 cores=1,3,5,7
/proc/14961/task/14969/stat : 14969 (java) S 14959 14961 13368 0 -1 4202560 302 0 0 0 133 5 0 0 20 0 19 0 283426069 9856004096 186780 33554432000 1073741824 1073778376 140734982548352 140658103327272 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14961/tid=14970] ppid=14959 vsize=9625004 CPUtime=1.31 cores=1,3,5,7
/proc/14961/task/14970/stat : 14970 (java) S 14959 14961 13368 0 -1 4202560 275 0 0 0 125 6 0 0 20 0 19 0 283426069 9856004096 186780 33554432000 1073741824 1073778376 140734982548352 140658102274216 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14961/tid=14971] ppid=14959 vsize=9625004 CPUtime=1.27 cores=1,3,5,7
/proc/14961/task/14971/stat : 14971 (java) S 14959 14961 13368 0 -1 4202560 277 0 0 0 123 4 0 0 20 0 19 0 283426069 9856004096 186780 33554432000 1073741824 1073778376 140734982548352 140658101221672 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14961/tid=14972] ppid=14959 vsize=9625004 CPUtime=13.03 cores=1,3,5,7
/proc/14961/task/14972/stat : 14972 (java) S 14959 14961 13368 0 -1 4202560 706 0 0 0 1300 3 0 0 20 0 19 0 283426070 9856004096 186780 33554432000 1073741824 1073778376 140734982548352 140657618709352 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14961/tid=14973] ppid=14959 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/14961/task/14973/stat : 14973 (java) S 14959 14961 13368 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 283426071 9856004096 186780 33554432000 1073741824 1073778376 140734982548352 140657617655672 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14961/tid=14974] ppid=14959 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/14961/task/14974/stat : 14974 (java) S 14959 14961 13368 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 283426071 9856004096 186780 33554432000 1073741824 1073778376 140734982548352 140657616602504 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14961/tid=14975] ppid=14959 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/14961/task/14975/stat : 14975 (java) S 14959 14961 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283426073 9856004096 186780 33554432000 1073741824 1073778376 140734982548352 140657615551248 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14961/tid=14976] ppid=14959 vsize=9625004 CPUtime=0.93 cores=1,3,5,7
/proc/14961/task/14976/stat : 14976 (java) S 14959 14961 13368 0 -1 4202560 6221 0 0 0 93 0 0 0 20 0 19 0 283426073 9856004096 186780 33554432000 1073741824 1073778376 140734982548352 140657614498104 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14961/tid=14977] ppid=14959 vsize=9625004 CPUtime=1 cores=1,3,5,7
/proc/14961/task/14977/stat : 14977 (java) S 14959 14961 13368 0 -1 4202560 10275 0 0 0 98 2 0 0 20 0 19 0 283426073 9856004096 186780 33554432000 1073741824 1073778376 140734982548352 140657613445560 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14961/tid=14978] ppid=14959 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/14961/task/14978/stat : 14978 (java) S 14959 14961 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283426073 9856004096 186780 33554432000 1073741824 1073778376 140734982548352 140657612392696 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14961/tid=14979] ppid=14959 vsize=9625004 CPUtime=0.53 cores=1,3,5,7
/proc/14961/task/14979/stat : 14979 (java) S 14959 14961 13368 0 -1 4202560 99 0 0 0 24 29 0 0 20 0 19 0 283426073 9856004096 186780 33554432000 1073741824 1073778376 140734982548352 140657611340360 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14961/tid=14980] ppid=14959 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/14961/task/14980/stat : 14980 (java) S 14959 14961 13368 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 283426159 9856004096 186780 33554432000 1073741824 1073778376 140734982548352 140657610286632 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1732.35
Current children cumulated vsize (KiB) 9625004

[startup+1782.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/213 15134
/proc/meminfo: memFree=29234976/32873648 swapFree=6860/6860
[pid=14961] ppid=14959 vsize=9625004 CPUtime=1792.49 cores=1,3,5,7
/proc/14961/stat : 14961 (java) S 14959 14961 13368 0 -1 4202496 23577 0 1 0 179159 90 0 0 20 0 19 0 283426067 9856004096 186780 33554432000 1073741824 1073778376 140734982548352 140734982539488 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/14961/statm: 2406251 186780 2295 9 0 2396937 0
[pid=14961/tid=14963] ppid=14959 vsize=9625004 CPUtime=1766.03 cores=1,3,5,7
/proc/14961/task/14963/stat : 14963 (java) R 14959 14961 13368 0 -1 4202560 2882 0 1 0 176571 32 0 0 20 0 19 0 283426068 9856004096 186780 33554432000 1073741824 1073778376 140734982548352 140658265542960 140658116470276 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=14961/tid=14964] ppid=14959 vsize=9625004 CPUtime=1.35 cores=1,3,5,7
/proc/14961/task/14964/stat : 14964 (java) S 14959 14961 13368 0 -1 4202560 371 0 0 0 126 9 0 0 20 0 19 0 283426069 9856004096 186780 33554432000 1073741824 1073778376 140734982548352 140658237995944 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14961/tid=14965] ppid=14959 vsize=9625004 CPUtime=1.37 cores=1,3,5,7
/proc/14961/task/14965/stat : 14965 (java) S 14959 14961 13368 0 -1 4202560 282 0 0 0 132 5 0 0 20 0 19 0 283426069 9856004096 186780 33554432000 1073741824 1073778376 140734982548352 140658236943400 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14961/tid=14966] ppid=14959 vsize=9625004 CPUtime=1.34 cores=1,3,5,7
/proc/14961/task/14966/stat : 14966 (java) S 14959 14961 13368 0 -1 4202560 257 0 0 0 127 7 0 0 20 0 19 0 283426069 9856004096 186780 33554432000 1073741824 1073778376 140734982548352 140658235890344 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14961/tid=14967] ppid=14959 vsize=9625004 CPUtime=1.43 cores=1,3,5,7
/proc/14961/task/14967/stat : 14967 (java) S 14959 14961 13368 0 -1 4202560 207 0 0 0 136 7 0 0 20 0 19 0 283426069 9856004096 186780 33554432000 1073741824 1073778376 140734982548352 140658234837800 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14961/tid=14968] ppid=14959 vsize=9625004 CPUtime=1.34 cores=1,3,5,7
/proc/14961/task/14968/stat : 14968 (java) S 14959 14961 13368 0 -1 4202560 236 0 0 0 128 6 0 0 20 0 19 0 283426069 9856004096 186780 33554432000 1073741824 1073778376 140734982548352 140658104379816 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14961/tid=14969] ppid=14959 vsize=9625004 CPUtime=1.4 cores=1,3,5,7
/proc/14961/task/14969/stat : 14969 (java) S 14959 14961 13368 0 -1 4202560 302 0 0 0 135 5 0 0 20 0 19 0 283426069 9856004096 186780 33554432000 1073741824 1073778376 140734982548352 140658103327272 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14961/tid=14970] ppid=14959 vsize=9625004 CPUtime=1.33 cores=1,3,5,7
/proc/14961/task/14970/stat : 14970 (java) S 14959 14961 13368 0 -1 4202560 275 0 0 0 127 6 0 0 20 0 19 0 283426069 9856004096 186780 33554432000 1073741824 1073778376 140734982548352 140658102274216 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14961/tid=14971] ppid=14959 vsize=9625004 CPUtime=1.32 cores=1,3,5,7
/proc/14961/task/14971/stat : 14971 (java) S 14959 14961 13368 0 -1 4202560 277 0 0 0 128 4 0 0 20 0 19 0 283426069 9856004096 186780 33554432000 1073741824 1073778376 140734982548352 140658101221672 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14961/tid=14972] ppid=14959 vsize=9625004 CPUtime=13.16 cores=1,3,5,7
/proc/14961/task/14972/stat : 14972 (java) S 14959 14961 13368 0 -1 4202560 708 0 0 0 1313 3 0 0 20 0 19 0 283426070 9856004096 186780 33554432000 1073741824 1073778376 140734982548352 140657618709352 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14961/tid=14973] ppid=14959 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/14961/task/14973/stat : 14973 (java) S 14959 14961 13368 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 283426071 9856004096 186780 33554432000 1073741824 1073778376 140734982548352 140657617655672 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14961/tid=14974] ppid=14959 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/14961/task/14974/stat : 14974 (java) S 14959 14961 13368 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 283426071 9856004096 186780 33554432000 1073741824 1073778376 140734982548352 140657616602504 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14961/tid=14975] ppid=14959 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/14961/task/14975/stat : 14975 (java) S 14959 14961 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283426073 9856004096 186780 33554432000 1073741824 1073778376 140734982548352 140657615551248 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14961/tid=14976] ppid=14959 vsize=9625004 CPUtime=0.93 cores=1,3,5,7
/proc/14961/task/14976/stat : 14976 (java) S 14959 14961 13368 0 -1 4202560 6221 0 0 0 93 0 0 0 20 0 19 0 283426073 9856004096 186780 33554432000 1073741824 1073778376 140734982548352 140657614498104 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14961/tid=14977] ppid=14959 vsize=9625004 CPUtime=1 cores=1,3,5,7
/proc/14961/task/14977/stat : 14977 (java) S 14959 14961 13368 0 -1 4202560 10275 0 0 0 98 2 0 0 20 0 19 0 283426073 9856004096 186780 33554432000 1073741824 1073778376 140734982548352 140657613445560 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14961/tid=14978] ppid=14959 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/14961/task/14978/stat : 14978 (java) S 14959 14961 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283426073 9856004096 186780 33554432000 1073741824 1073778376 140734982548352 140657612392696 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14961/tid=14979] ppid=14959 vsize=9625004 CPUtime=0.55 cores=1,3,5,7
/proc/14961/task/14979/stat : 14979 (java) S 14959 14961 13368 0 -1 4202560 103 0 0 0 24 31 0 0 20 0 19 0 283426073 9856004096 186780 33554432000 1073741824 1073778376 140734982548352 140657611340360 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14961/tid=14980] ppid=14959 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/14961/task/14980/stat : 14980 (java) S 14959 14961 13368 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 283426159 9856004096 186780 33554432000 1073741824 1073778376 140734982548352 140657610286632 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1792.49
Current children cumulated vsize (KiB) 9625004



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1789.8 s]
/proc/loadavg: 2.05 2.02 2.00 3/213 15134
/proc/meminfo: memFree=29234976/32873648 swapFree=6860/6860
[pid=14961] ppid=14959 vsize=9625004 CPUtime=1800 cores=1,3,5,7
/proc/14961/stat : 14961 (java) S 14959 14961 13368 0 -1 4202496 23577 0 1 0 179909 91 0 0 20 0 19 0 283426067 9856004096 186780 33554432000 1073741824 1073778376 140734982548352 140734982539488 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/14961/statm: 2406251 186780 2295 9 0 2396937 0
[pid=14961/tid=14963] ppid=14959 vsize=9625004 CPUtime=1773.53 cores=1,3,5,7
/proc/14961/task/14963/stat : 14963 (java) R 14959 14961 13368 0 -1 4202560 2882 0 1 0 177321 32 0 0 20 0 19 0 283426068 9856004096 186780 33554432000 1073741824 1073778376 140734982548352 140658265542960 140658116392526 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=14961/tid=14964] ppid=14959 vsize=9625004 CPUtime=1.35 cores=1,3,5,7
/proc/14961/task/14964/stat : 14964 (java) S 14959 14961 13368 0 -1 4202560 371 0 0 0 126 9 0 0 20 0 19 0 283426069 9856004096 186780 33554432000 1073741824 1073778376 140734982548352 140658237995944 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14961/tid=14965] ppid=14959 vsize=9625004 CPUtime=1.37 cores=1,3,5,7
/proc/14961/task/14965/stat : 14965 (java) S 14959 14961 13368 0 -1 4202560 282 0 0 0 132 5 0 0 20 0 19 0 283426069 9856004096 186780 33554432000 1073741824 1073778376 140734982548352 140658236943400 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14961/tid=14966] ppid=14959 vsize=9625004 CPUtime=1.34 cores=1,3,5,7
/proc/14961/task/14966/stat : 14966 (java) S 14959 14961 13368 0 -1 4202560 257 0 0 0 127 7 0 0 20 0 19 0 283426069 9856004096 186780 33554432000 1073741824 1073778376 140734982548352 140658235890344 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14961/tid=14967] ppid=14959 vsize=9625004 CPUtime=1.43 cores=1,3,5,7
/proc/14961/task/14967/stat : 14967 (java) S 14959 14961 13368 0 -1 4202560 207 0 0 0 136 7 0 0 20 0 19 0 283426069 9856004096 186780 33554432000 1073741824 1073778376 140734982548352 140658234837800 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14961/tid=14968] ppid=14959 vsize=9625004 CPUtime=1.34 cores=1,3,5,7
/proc/14961/task/14968/stat : 14968 (java) S 14959 14961 13368 0 -1 4202560 236 0 0 0 128 6 0 0 20 0 19 0 283426069 9856004096 186780 33554432000 1073741824 1073778376 140734982548352 140658104379816 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14961/tid=14969] ppid=14959 vsize=9625004 CPUtime=1.4 cores=1,3,5,7
/proc/14961/task/14969/stat : 14969 (java) S 14959 14961 13368 0 -1 4202560 302 0 0 0 135 5 0 0 20 0 19 0 283426069 9856004096 186780 33554432000 1073741824 1073778376 140734982548352 140658103327272 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14961/tid=14970] ppid=14959 vsize=9625004 CPUtime=1.33 cores=1,3,5,7
/proc/14961/task/14970/stat : 14970 (java) S 14959 14961 13368 0 -1 4202560 275 0 0 0 127 6 0 0 20 0 19 0 283426069 9856004096 186780 33554432000 1073741824 1073778376 140734982548352 140658102274216 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14961/tid=14971] ppid=14959 vsize=9625004 CPUtime=1.32 cores=1,3,5,7
/proc/14961/task/14971/stat : 14971 (java) S 14959 14961 13368 0 -1 4202560 277 0 0 0 128 4 0 0 20 0 19 0 283426069 9856004096 186780 33554432000 1073741824 1073778376 140734982548352 140658101221672 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14961/tid=14972] ppid=14959 vsize=9625004 CPUtime=13.16 cores=1,3,5,7
/proc/14961/task/14972/stat : 14972 (java) S 14959 14961 13368 0 -1 4202560 708 0 0 0 1313 3 0 0 20 0 19 0 283426070 9856004096 186780 33554432000 1073741824 1073778376 140734982548352 140657618709352 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14961/tid=14973] ppid=14959 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/14961/task/14973/stat : 14973 (java) S 14959 14961 13368 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 283426071 9856004096 186780 33554432000 1073741824 1073778376 140734982548352 140657617655672 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14961/tid=14974] ppid=14959 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/14961/task/14974/stat : 14974 (java) S 14959 14961 13368 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 283426071 9856004096 186780 33554432000 1073741824 1073778376 140734982548352 140657616602504 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14961/tid=14975] ppid=14959 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/14961/task/14975/stat : 14975 (java) S 14959 14961 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283426073 9856004096 186780 33554432000 1073741824 1073778376 140734982548352 140657615551248 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14961/tid=14976] ppid=14959 vsize=9625004 CPUtime=0.93 cores=1,3,5,7
/proc/14961/task/14976/stat : 14976 (java) S 14959 14961 13368 0 -1 4202560 6221 0 0 0 93 0 0 0 20 0 19 0 283426073 9856004096 186780 33554432000 1073741824 1073778376 140734982548352 140657614498104 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14961/tid=14977] ppid=14959 vsize=9625004 CPUtime=1 cores=1,3,5,7
/proc/14961/task/14977/stat : 14977 (java) S 14959 14961 13368 0 -1 4202560 10275 0 0 0 98 2 0 0 20 0 19 0 283426073 9856004096 186780 33554432000 1073741824 1073778376 140734982548352 140657613445560 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14961/tid=14978] ppid=14959 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/14961/task/14978/stat : 14978 (java) S 14959 14961 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283426073 9856004096 186780 33554432000 1073741824 1073778376 140734982548352 140657612392696 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14961/tid=14979] ppid=14959 vsize=9625004 CPUtime=0.55 cores=1,3,5,7
/proc/14961/task/14979/stat : 14979 (java) S 14959 14961 13368 0 -1 4202560 103 0 0 0 24 31 0 0 20 0 19 0 283426073 9856004096 186780 33554432000 1073741824 1073778376 140734982548352 140657611340360 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14961/tid=14980] ppid=14959 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/14961/task/14980/stat : 14980 (java) S 14959 14961 13368 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 283426159 9856004096 186780 33554432000 1073741824 1073778376 140734982548352 140657610286632 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 9625004

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

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

Child status: 143
Real time (s): 1789.85
CPU time (s): 1800.4
CPU user time (s): 1799.09
CPU system time (s): 1.3128
CPU usage (%): 100.589
Max. virtual memory (cumulated for all children) (KiB): 9625004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.09
system time used= 1.3128
maximum resident set size= 747240
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23611
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1760
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 41208
involuntary context switches= 20847

runsolver used 6.15906 second user time and 14.2938 second system time

The end

Launcher Data 

Begin job on node116 at 2012-05-28 04:43:20
IDJOB=3711166
IDBENCH=48255
IDSOLVER=2289
FILE ID=node116/3711166-1338173000
RUNJOBID= node116-1338158618-13385
PBS_JOBID= 14624543
Free space on /tmp= 71472 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_1.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-3711166-1338173000/watcher-3711166-1338173000 -o /tmp/evaluation-result-3711166-1338173000/solver-3711166-1338173000 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3711166-1338173000.opb

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

MD5SUM BENCH= 02054528a722e9af7937139e87d0b5ac
RANDOM SEED=907558237

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

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

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


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        30107340 kB
Buffers:          372872 kB
Cached:          1115264 kB
SwapCached:         3236 kB
Active:          1206620 kB
Inactive:         711064 kB
Active(anon):     420640 kB
Inactive(anon):     8956 kB
Active(file):     785980 kB
Inactive(file):   702108 kB
Unevictable:        6860 kB
Mlocked:            6860 kB
SwapTotal:      67108856 kB
SwapFree:       67103668 kB
Dirty:              1628 kB
Writeback:             0 kB
AnonPages:        442140 kB
Mapped:            20872 kB
Shmem:                96 kB
Slab:             699988 kB
SReclaimable:     144184 kB
SUnreclaim:       555804 kB
KernelStack:        1600 kB
PageTables:         5100 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     695520 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    413696 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71468 MiB
End job on node116 at 2012-05-28 05:13:12