Trace number 3711170

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)-62 1800.69 1790.85

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_1000_60_3.opb
MD5SUMe05fbfdce4433b0b2590ec382b530cec
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-69
Best CPU time to get the best result obtained on this benchmark1800.02
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -71
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)150588
Sum of products size (including duplicates)301176
Number of different products75294
Sum of products size150588

Quality of the solution as a function of time


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

Solver Data 

0.02/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.02/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.02/0.08	c See www.sat4j.org for details.
0.02/0.08	c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.org for details.
0.02/0.09	c version 2.3.2.v20120418
0.02/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.02/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.02/0.09	c java.vm.version	19.1-b02
0.02/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.02/0.09	c sun.arch.data.model	64
0.02/0.09	c java.version		1.6.0_24
0.02/0.09	c os.name		Linux
0.02/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.02/0.09	c os.arch		amd64
0.02/0.09	c Free memory 		501472288
0.02/0.09	c Max memory 		7480803328
0.02/0.09	c Total memory 		504102912
0.02/0.09	c Number of processors 	8
0.09/0.12	c read org.sat4j.minisat.orders.VarOrderHeap
0.09/0.12	c configuring ORDERS
0.09/0.13	c --- Begin Solver configuration ---
0.09/0.13	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2dcb25f1
0.09/0.13	c Learn all clauses as in MiniSAT
0.09/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.13	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause
0.09/0.13	c Expensive reason simplification
0.09/0.13	c Armin Biere (Picosat) restarts strategy
0.09/0.13	c Glucose learned constraints deletion strategy
0.09/0.13	c timeout=2147483s
0.09/0.13	c DB Simplification allowed=true
0.09/0.13	c Heuristics kept accross calls (keep the solver "hot")
0.09/0.13	c --- End Solver configuration ---
0.09/0.13	c solving HOME/instance-3711170-1338171117.opb
0.09/0.13	c reading problem ... 
3.07/1.43	c ... done. Wall clock time 1.3s.
3.07/1.43	c declared #vars     2000
3.07/1.43	c internal #vars     77294
3.07/1.43	c #constraints  153590
3.07/1.43	c constraints type 
3.07/1.43	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 75294
3.07/1.43	c org.sat4j.minisat.constraints.card.MinWatchCard => 2002
3.07/1.43	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1000
3.07/1.43	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 75294
3.07/1.43	c 153590 constraints processed.
3.44/1.67	c SATISFIABLE
3.44/1.67	c OPTIMIZING...
3.44/1.67	c Got one! Elapsed wall clock time (in seconds):1.547
3.44/1.67	o 0
3.61/1.74	c Got one! Elapsed wall clock time (in seconds):1.616
3.61/1.74	o -1
4.97/2.94	c Got one! Elapsed wall clock time (in seconds):2.815
4.97/2.94	o -24
6.62/4.58	c Got one! Elapsed wall clock time (in seconds):4.453
6.62/4.58	o -25
7.34/5.30	c Got one! Elapsed wall clock time (in seconds):5.17
7.34/5.30	o -33
8.07/5.99	c Got one! Elapsed wall clock time (in seconds):5.861
8.07/5.99	o -39
11.17/9.02	c Got one! Elapsed wall clock time (in seconds):8.89
11.17/9.02	o -40
13.38/11.22	c Got one! Elapsed wall clock time (in seconds):11.093
13.38/11.22	o -41
14.78/12.69	c Got one! Elapsed wall clock time (in seconds):12.563
14.78/12.69	o -42
15.68/13.51	c Got one! Elapsed wall clock time (in seconds):13.383
15.68/13.51	o -43
16.49/14.33	c Got one! Elapsed wall clock time (in seconds):14.2
16.49/14.33	o -44
22.80/20.66	c cleaning 3993 clauses out of 7998 with flag 4044/7998
26.14/23.82	c Got one! Elapsed wall clock time (in seconds):23.698
26.14/23.82	o -45
27.44/25.12	c Got one! Elapsed wall clock time (in seconds):24.991
27.44/25.12	o -46
28.05/25.77	c Got one! Elapsed wall clock time (in seconds):25.639
28.05/25.77	o -54
35.17/32.81	c cleaning 5042 clauses out of 10085 with flag 4000/14078
42.78/40.49	c cleaning 5514 clauses out of 11044 with flag 10001/20079
52.04/49.62	c cleaning 6258 clauses out of 12529 with flag 17000/27078
61.11/58.67	c cleaning 7135 clauses out of 14271 with flag 25000/35078
63.46/60.95	c Got one! Elapsed wall clock time (in seconds):60.82
63.46/60.95	o -55
66.06/63.56	c cleaning 6240 clauses out of 12490 with flag 3000/40432
70.61/68.01	c cleaning 6123 clauses out of 12253 with flag 9003/46435
79.43/76.89	c cleaning 6563 clauses out of 13127 with flag 16000/53432
87.95/85.30	c cleaning 7282 clauses out of 14575 with flag 24011/61443
88.20/85.57	c Got one! Elapsed wall clock time (in seconds):85.442
88.20/85.57	o -56
91.60/88.99	c cleaning 6165 clauses out of 12337 with flag 5000/66487
97.52/94.85	c cleaning 6089 clauses out of 12193 with flag 11021/72508
106.96/104.22	c cleaning 6517 clauses out of 13083 with flag 18000/79487
114.69/111.95	c cleaning 7286 clauses out of 14596 with flag 26030/87517
125.01/122.22	c cleaning 8132 clauses out of 16284 with flag 35004/96491
132.07/129.29	c cleaning 9080 clauses out of 18164 with flag 45016/106503
145.71/142.81	c cleaning 10029 clauses out of 20068 with flag 56000/117487
156.17/153.27	c cleaning 11010 clauses out of 22040 with flag 68001/129488
166.97/163.94	c cleaning 12012 clauses out of 24029 with flag 81000/142487
178.03/174.98	c cleaning 13000 clauses out of 26017 with flag 95000/156487
189.62/186.46	c cleaning 14005 clauses out of 28018 with flag 110001/171488
196.29/193.01	c Got one! Elapsed wall clock time (in seconds):192.885
196.29/193.01	o -57
198.59/195.33	c cleaning 9747 clauses out of 19497 with flag 2000/176972
205.92/202.63	c cleaning 7872 clauses out of 15754 with flag 8004/182976
211.56/208.29	c cleaning 7432 clauses out of 14878 with flag 15000/189972
217.99/214.69	c cleaning 7722 clauses out of 15446 with flag 23000/197972
225.66/222.28	c cleaning 8362 clauses out of 16740 with flag 32016/206988
233.09/229.64	c cleaning 9176 clauses out of 18362 with flag 42000/216972
240.15/236.61	c cleaning 10094 clauses out of 20188 with flag 53002/227974
251.50/247.98	c cleaning 11044 clauses out of 22099 with flag 65007/239979
264.16/260.50	c cleaning 12027 clauses out of 24053 with flag 78005/252977
281.80/278.12	c cleaning 13011 clauses out of 26021 with flag 92000/266972
292.26/288.55	c cleaning 14003 clauses out of 28012 with flag 107002/281974
297.12/293.39	c Got one! Elapsed wall clock time (in seconds):293.263
297.12/293.39	o -58
300.53/296.70	c cleaning 14014 clauses out of 28037 with flag 5002/296002
304.97/301.10	c cleaning 9994 clauses out of 20021 with flag 11000/302000
310.20/306.37	c cleaning 8491 clauses out of 17027 with flag 18000/309000
315.73/311.84	c cleaning 8236 clauses out of 16540 with flag 26004/317004
324.45/320.53	c cleaning 8658 clauses out of 17332 with flag 35032/326032
351.91/347.93	c cleaning 9333 clauses out of 18666 with flag 45024/336024
390.61/386.51	c cleaning 10155 clauses out of 20309 with flag 56000/347000
402.90/398.70	c cleaning 11071 clauses out of 22162 with flag 68008/359008
423.69/419.45	c cleaning 12039 clauses out of 24088 with flag 81005/372005
459.29/454.92	c cleaning 13025 clauses out of 26049 with flag 95005/386005
486.69/482.24	c cleaning 14009 clauses out of 28029 with flag 110010/401010
502.46/497.94	c cleaning 15006 clauses out of 30013 with flag 126003/417003
535.01/530.47	c cleaning 15999 clauses out of 32005 with flag 143001/434001
552.09/547.44	c cleaning 16999 clauses out of 34015 with flag 161010/452010
566.98/562.29	c cleaning 17999 clauses out of 36006 with flag 180000/471000
583.87/579.08	c cleaning 19000 clauses out of 38009 with flag 200002/491002
596.33/591.47	c cleaning 20001 clauses out of 40011 with flag 221004/512004
609.79/604.83	c cleaning 21002 clauses out of 42010 with flag 243004/534004
625.82/620.72	c cleaning 21999 clauses out of 44006 with flag 266002/557002
655.51/650.33	c cleaning 22978 clauses out of 46007 with flag 290002/581002
685.13/679.88	c cleaning 24017 clauses out of 48046 with flag 315019/606019
704.40/699.07	c cleaning 25005 clauses out of 50010 with flag 341000/632000
729.44/723.92	c cleaning 25993 clauses out of 52005 with flag 368000/659000
760.15/754.54	c cleaning 27002 clauses out of 54016 with flag 396004/687004
823.89/818.14	c cleaning 28011 clauses out of 56023 with flag 425013/716013
849.09/843.15	c cleaning 28987 clauses out of 58005 with flag 455006/746006
883.79/877.77	c cleaning 29998 clauses out of 60014 with flag 486002/777002
946.22/940.07	c cleaning 31008 clauses out of 62040 with flag 518026/809026
982.05/975.75	c cleaning 32006 clauses out of 64019 with flag 551013/842013
1046.29/1039.81	c cleaning 32999 clauses out of 66004 with flag 585004/876004
1081.25/1074.67	c Got one! Elapsed wall clock time (in seconds):1074.544
1081.25/1074.67	o -62
1085.95/1079.33	c cleaning 35596 clauses out of 71205 with flag 5003/914204
1090.45/1083.86	c cleaning 20791 clauses out of 41611 with flag 11005/920206
1094.77/1088.19	c cleaning 13906 clauses out of 27828 with flag 18013/927214
1101.83/1095.14	c cleaning 10950 clauses out of 21909 with flag 26000/935201
1112.76/1106.08	c cleaning 9992 clauses out of 19989 with flag 35030/944231
1121.69/1115.00	c cleaning 9977 clauses out of 19967 with flag 45000/954201
1132.26/1125.41	c cleaning 10496 clauses out of 20993 with flag 56003/965204
1142.16/1135.29	c cleaning 11246 clauses out of 22513 with flag 68019/977220
1160.20/1153.28	c cleaning 12129 clauses out of 24258 with flag 81010/990211
1181.56/1174.53	c cleaning 13057 clauses out of 26122 with flag 95003/1004204
1202.53/1195.43	c cleaning 14031 clauses out of 28062 with flag 110000/1019201
1217.72/1210.53	c cleaning 15017 clauses out of 30033 with flag 126002/1035203
1229.57/1222.32	c cleaning 16007 clauses out of 32014 with flag 143000/1052201
1239.27/1231.99	c cleaning 17004 clauses out of 34007 with flag 161000/1070201
1255.76/1248.30	c cleaning 18001 clauses out of 36007 with flag 180004/1089205
1269.70/1262.21	c cleaning 19008 clauses out of 38024 with flag 200022/1109223
1286.87/1279.35	c cleaning 19998 clauses out of 40012 with flag 221018/1130219
1305.04/1297.49	c cleaning 20985 clauses out of 41996 with flag 243000/1152201
1330.72/1323.06	c cleaning 21989 clauses out of 44013 with flag 266002/1175203
1350.39/1342.69	c cleaning 23018 clauses out of 46039 with flag 290017/1199218
1379.63/1371.82	c cleaning 24001 clauses out of 48006 with flag 315002/1224203
1410.49/1402.65	c cleaning 25006 clauses out of 50012 with flag 341009/1250210
1470.19/1462.27	c cleaning 25984 clauses out of 51997 with flag 368000/1277201
1518.81/1510.74	c cleaning 27008 clauses out of 54015 with flag 396002/1305203
1546.12/1537.96	c cleaning 28001 clauses out of 56011 with flag 425006/1334207
1569.81/1561.52	c cleaning 28994 clauses out of 58018 with flag 455014/1364215
1605.23/1596.86	c cleaning 29999 clauses out of 60011 with flag 486001/1395202
1635.82/1627.38	c cleaning 31014 clauses out of 62035 with flag 518024/1427225
1664.54/1655.94	c cleaning 31990 clauses out of 63998 with flag 551001/1460202
1688.58/1679.87	c cleaning 33001 clauses out of 66007 with flag 585000/1494201
1713.69/1704.89	c cleaning 33995 clauses out of 68007 with flag 620001/1529202
1751.45/1742.47	c cleaning 34992 clauses out of 70011 with flag 656000/1565201
1798.65/1789.50	c cleaning 36004 clauses out of 72019 with flag 693000/1602201
1800.09/1790.82	c starts		: 227
1800.09/1790.82	c conflicts		: 1603801
1800.09/1790.82	c decisions		: 14150539
1800.09/1790.82	c propagations		: 626409663
1800.09/1790.82	c inspects		: 4569989210
1800.09/1790.82	c shortcuts		: 0
1800.09/1790.82	c learnt literals	: 0
1800.09/1790.82	c learnt binary clauses	: 12
1800.09/1790.82	c learnt ternary clauses	: 34128
1800.09/1790.82	c learnt constraints	: 1603800
1800.09/1790.82	c ignored constraints	: 0
1800.09/1790.82	c root simplifications	: 227
1800.09/1790.82	c removed literals (reason simplification)	: 45450816
1800.09/1790.82	c reason swapping (by a shorter reason)	: 0
1800.09/1790.82	c Calls to reduceDB	: 94
1800.09/1790.82	c number of reductions to clauses (during analyze)	: 0
1800.09/1790.82	c number of learned constraints concerned by reduction	: 0
1800.09/1790.82	c number of learning phase by resolution	: 0
1800.09/1790.82	c number of learning phase by cutting planes	: 0
1800.09/1790.82	c speed (assignments/second)	: 350075.291850648
1800.09/1790.82	c non guided choices	221530
1800.09/1790.83	c learnt constraints type 
1800.09/1790.83	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 12
1800.09/1790.83	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 37620
1800.09/1790.83	c constraints type 
1800.09/1790.83	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 75294
1800.09/1790.83	c org.sat4j.minisat.constraints.card.MinWatchCard => 2003
1800.09/1790.83	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1000
1800.09/1790.83	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 75294
1800.09/1790.83	c 153591 constraints processed.
1800.09/1790.83	s SATISFIABLE
1800.09/1790.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.09/1790.84	c objective function=-62
1800.09/1790.84	c Total wall clock time (in seconds): 1790.715

Verifier Data 

OK	-62

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

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

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


[startup+0 s]
/proc/loadavg: 1.97 2.05 2.03 2/194 14402
/proc/meminfo: memFree=30537508/32873844 swapFree=7372/7372
[pid=14402] ppid=14400 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/14402/stat : 14402 (java) D 14400 14402 12979 0 -1 4202496 248 0 0 0 0 0 0 0 20 0 1 0 283237776 9515008 182 33554432000 1073741824 1073778376 140734122527840 140734122518872 251032059573 0 0 4096 0 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/14402/statm: 2323 182 140 9 0 71 0

[startup+0.049502 s]
/proc/loadavg: 1.97 2.05 2.03 2/194 14402
/proc/meminfo: memFree=30537508/32873844 swapFree=7372/7372
[pid=14402] ppid=14400 vsize=9225560 CPUtime=0.02 cores=0,2,4,6
/proc/14402/stat : 14402 (java) S 14400 14402 12979 0 -1 4202496 3030 0 1 0 2 0 0 0 20 0 13 0 283237776 9446973440 3728 33554432000 1073741824 1073778376 140735605351360 140735605342496 251035418685 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14402/statm: 2306390 3728 1699 9 0 2297091 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 9225560

[startup+0.100246 s]
/proc/loadavg: 1.97 2.05 2.03 2/194 14402
/proc/meminfo: memFree=30537508/32873844 swapFree=7372/7372
[pid=14402] ppid=14400 vsize=9558440 CPUtime=0.09 cores=0,2,4,6
/proc/14402/stat : 14402 (java) S 14400 14402 12979 0 -1 4202496 4183 0 1 0 8 1 0 0 20 0 18 0 283237776 9787842560 5391 33554432000 1073741824 1073778376 140735605351360 140735605342496 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14402/statm: 2389610 5391 2111 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558440

[startup+0.300224 s]
/proc/loadavg: 1.97 2.05 2.03 2/194 14402
/proc/meminfo: memFree=30537508/32873844 swapFree=7372/7372
[pid=14402] ppid=14400 vsize=9558440 CPUtime=0.42 cores=0,2,4,6
/proc/14402/stat : 14402 (java) S 14400 14402 12979 0 -1 4202496 5903 0 1 0 41 1 0 0 20 0 18 0 283237776 9787842560 8156 33554432000 1073741824 1073778376 140735605351360 140735605342496 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14402/statm: 2389610 8157 2222 9 0 2380296 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 9558440

[startup+0.700234 s]
/proc/loadavg: 1.97 2.05 2.03 2/194 14402
/proc/meminfo: memFree=30537508/32873844 swapFree=7372/7372
[pid=14402] ppid=14400 vsize=9558440 CPUtime=1.62 cores=0,2,4,6
/proc/14402/stat : 14402 (java) S 14400 14402 12979 0 -1 4202496 17370 0 1 0 157 5 0 0 20 0 18 0 283237776 9787842560 37648 33554432000 1073741824 1073778376 140735605351360 140735605342496 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14402/statm: 2389610 37648 2252 9 0 2380296 0
Current children cumulated CPU time (s) 1.62
Current children cumulated vsize (KiB) 9558440

[startup+1.50069 s]
/proc/loadavg: 1.97 2.05 2.03 4/212 14420
/proc/meminfo: memFree=30301860/32873844 swapFree=7372/7372
[pid=14402] ppid=14400 vsize=9625004 CPUtime=3.25 cores=0,2,4,6
/proc/14402/stat : 14402 (java) S 14400 14402 12979 0 -1 4202496 18644 0 1 0 303 22 0 0 20 0 19 0 283237776 9856004096 115903 33554432000 1073741824 1073778376 140735605351360 140735605342496 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14402/statm: 2406251 115903 2272 9 0 2396937 0
[pid=14402/tid=14404] ppid=14400 vsize=9625004 CPUtime=1.26 cores=0,2,4,6
/proc/14402/task/14404/stat : 14404 (java) R 14400 14402 12979 0 -1 4202560 2837 0 1 0 120 6 0 0 20 0 19 0 283237777 9856004096 115903 33554432000 1073741824 1073778376 140735605351360 140290726187792 140290560210408 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=14402/tid=14405] ppid=14400 vsize=9625004 CPUtime=0.05 cores=0,2,4,6
/proc/14402/task/14405/stat : 14405 (java) S 14400 14402 12979 0 -1 4202560 121 0 0 0 3 2 0 0 20 0 19 0 283237779 9856004096 115903 33554432000 1073741824 1073778376 140735605351360 140290687679272 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14402/tid=14406] ppid=14400 vsize=9625004 CPUtime=0.1 cores=0,2,4,6
/proc/14402/task/14406/stat : 14406 (java) S 14400 14402 12979 0 -1 4202560 136 0 0 0 8 2 0 0 20 0 19 0 283237779 9856004096 115903 33554432000 1073741824 1073778376 140735605351360 140290686626472 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14402/tid=14407] ppid=14400 vsize=9625004 CPUtime=0.09 cores=0,2,4,6
/proc/14402/task/14407/stat : 14407 (java) S 14400 14402 12979 0 -1 4202560 59 0 0 0 7 2 0 0 20 0 19 0 283237779 9856004096 115903 33554432000 1073741824 1073778376 140735605351360 140290685574184 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14402/tid=14408] ppid=14400 vsize=9625004 CPUtime=0.15 cores=0,2,4,6
/proc/14402/task/14408/stat : 14408 (java) S 14400 14402 12979 0 -1 4202560 183 0 0 0 12 3 0 0 20 0 19 0 283237779 9856004096 115903 33554432000 1073741824 1073778376 140735605351360 140290684521384 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14402/tid=14409] ppid=14400 vsize=9625004 CPUtime=0.07 cores=0,2,4,6
/proc/14402/task/14409/stat : 14409 (java) S 14400 14402 12979 0 -1 4202560 41 0 0 0 6 1 0 0 20 0 19 0 283237779 9856004096 115903 33554432000 1073741824 1073778376 140735605351360 140290683468072 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14402/tid=14410] ppid=14400 vsize=9625004 CPUtime=0.07 cores=0,2,4,6
/proc/14402/task/14410/stat : 14410 (java) S 14400 14402 12979 0 -1 4202560 33 0 0 0 5 2 0 0 20 0 19 0 283237779 9856004096 115903 33554432000 1073741824 1073778376 140735605351360 140290682415272 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14402/tid=14411] ppid=14400 vsize=9625004 CPUtime=0.06 cores=0,2,4,6
/proc/14402/task/14411/stat : 14411 (java) S 14400 14402 12979 0 -1 4202560 142 0 0 0 4 2 0 0 20 0 19 0 283237779 9856004096 115903 33554432000 1073741824 1073778376 140735605351360 140290681362984 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14402/tid=14412] ppid=14400 vsize=9625004 CPUtime=0.05 cores=0,2,4,6
/proc/14402/task/14412/stat : 14412 (java) S 14400 14402 12979 0 -1 4202560 32 0 0 0 5 0 0 0 20 0 19 0 283237779 9856004096 115903 33554432000 1073741824 1073778376 140735605351360 140290680310184 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14402/tid=14413] ppid=14400 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14402/task/14413/stat : 14413 (java) S 14400 14402 12979 0 -1 4202560 198 0 0 0 0 0 0 0 20 0 19 0 283237780 9856004096 115903 33554432000 1073741824 1073778376 140735605351360 140290550405864 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14402/tid=14414] ppid=14400 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14402/task/14414/stat : 14414 (java) S 14400 14402 12979 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 283237780 9856004096 115903 33554432000 1073741824 1073778376 140735605351360 140290549351928 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14402/tid=14415] ppid=14400 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14402/task/14415/stat : 14415 (java) S 14400 14402 12979 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 283237780 9856004096 115903 33554432000 1073741824 1073778376 140735605351360 140290548299528 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14402/tid=14416] ppid=14400 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14402/task/14416/stat : 14416 (java) S 14400 14402 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283237783 9856004096 115903 33554432000 1073741824 1073778376 140735605351360 140290547248016 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14402/tid=14417] ppid=14400 vsize=9625004 CPUtime=0.6 cores=0,2,4,6
/proc/14402/task/14417/stat : 14417 (java) S 14400 14402 12979 0 -1 4202560 4308 0 0 0 60 0 0 0 20 0 19 0 283237783 9856004096 115903 33554432000 1073741824 1073778376 140735605351360 140290546194616 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14402/tid=14418] ppid=14400 vsize=9625004 CPUtime=0.58 cores=0,2,4,6
/proc/14402/task/14418/stat : 14418 (java) S 14400 14402 12979 0 -1 4202560 9373 0 0 0 56 2 0 0 20 0 19 0 283237783 9856004096 115903 33554432000 1073741824 1073778376 140735605351360 140290545141816 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14402/tid=14419] ppid=14400 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14402/task/14419/stat : 14419 (java) S 14400 14402 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283237783 9856004096 115903 33554432000 1073741824 1073778376 140735605351360 140289670900344 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14402/tid=14420] ppid=14400 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14402/task/14420/stat : 14420 (java) S 14400 14402 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283237783 9856004096 115903 33554432000 1073741824 1073778376 140735605351360 140289669847752 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.25
Current children cumulated vsize (KiB) 9625004

[startup+3.10069 s]
/proc/loadavg: 1.97 2.05 2.03 4/213 14421
/proc/meminfo: memFree=30073968/32873844 swapFree=7372/7372
[pid=14402] ppid=14400 vsize=9625004 CPUtime=5.19 cores=0,2,4,6
/proc/14402/stat : 14402 (java) S 14400 14402 12979 0 -1 4202496 18657 0 1 0 497 22 0 0 20 0 19 0 283237776 9856004096 118468 33554432000 1073741824 1073778376 140735605351360 140735605342496 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14402/statm: 2406251 118468 2277 9 0 2396937 0
[pid=14402/tid=14404] ppid=14400 vsize=9625004 CPUtime=2.86 cores=0,2,4,6
/proc/14402/task/14404/stat : 14404 (java) R 14400 14402 12979 0 -1 4202560 2844 0 1 0 279 7 0 0 20 0 19 0 283237777 9856004096 118468 33554432000 1073741824 1073778376 140735605351360 140290726187576 140290561021837 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=14402/tid=14405] ppid=14400 vsize=9625004 CPUtime=0.05 cores=0,2,4,6
/proc/14402/task/14405/stat : 14405 (java) S 14400 14402 12979 0 -1 4202560 121 0 0 0 3 2 0 0 20 0 19 0 283237779 9856004096 118468 33554432000 1073741824 1073778376 140735605351360 140290687679272 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14402/tid=14406] ppid=14400 vsize=9625004 CPUtime=0.1 cores=0,2,4,6
/proc/14402/task/14406/stat : 14406 (java) S 14400 14402 12979 0 -1 4202560 136 0 0 0 8 2 0 0 20 0 19 0 283237779 9856004096 118468 33554432000 1073741824 1073778376 140735605351360 140290686626472 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14402/tid=14407] ppid=14400 vsize=9625004 CPUtime=0.09 cores=0,2,4,6
/proc/14402/task/14407/stat : 14407 (java) S 14400 14402 12979 0 -1 4202560 59 0 0 0 7 2 0 0 20 0 19 0 283237779 9856004096 118468 33554432000 1073741824 1073778376 140735605351360 140290685574184 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14402/tid=14408] ppid=14400 vsize=9625004 CPUtime=0.15 cores=0,2,4,6
/proc/14402/task/14408/stat : 14408 (java) S 14400 14402 12979 0 -1 4202560 183 0 0 0 12 3 0 0 20 0 19 0 283237779 9856004096 118468 33554432000 1073741824 1073778376 140735605351360 140290684521384 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14402/tid=14409] ppid=14400 vsize=9625004 CPUtime=0.07 cores=0,2,4,6
/proc/14402/task/14409/stat : 14409 (java) S 14400 14402 12979 0 -1 4202560 41 0 0 0 6 1 0 0 20 0 19 0 283237779 9856004096 118468 33554432000 1073741824 1073778376 140735605351360 140290683468072 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14402/tid=14410] ppid=14400 vsize=9625004 CPUtime=0.07 cores=0,2,4,6
/proc/14402/task/14410/stat : 14410 (java) S 14400 14402 12979 0 -1 4202560 33 0 0 0 5 2 0 0 20 0 19 0 283237779 9856004096 118468 33554432000 1073741824 1073778376 140735605351360 140290682415272 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14402/tid=14411] ppid=14400 vsize=9625004 CPUtime=0.06 cores=0,2,4,6
/proc/14402/task/14411/stat : 14411 (java) S 14400 14402 12979 0 -1 4202560 142 0 0 0 4 2 0 0 20 0 19 0 283237779 9856004096 118468 33554432000 1073741824 1073778376 140735605351360 140290681362984 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14402/tid=14412] ppid=14400 vsize=9625004 CPUtime=0.05 cores=0,2,4,6
/proc/14402/task/14412/stat : 14412 (java) S 14400 14402 12979 0 -1 4202560 32 0 0 0 5 0 0 0 20 0 19 0 283237779 9856004096 118468 33554432000 1073741824 1073778376 140735605351360 140290680310184 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14402/tid=14413] ppid=14400 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14402/task/14413/stat : 14413 (java) S 14400 14402 12979 0 -1 4202560 199 0 0 0 0 0 0 0 20 0 19 0 283237780 9856004096 118468 33554432000 1073741824 1073778376 140735605351360 140290550405864 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14402/tid=14414] ppid=14400 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14402/task/14414/stat : 14414 (java) S 14400 14402 12979 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 283237780 9856004096 118468 33554432000 1073741824 1073778376 140735605351360 140290549351928 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14402/tid=14415] ppid=14400 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14402/task/14415/stat : 14415 (java) S 14400 14402 12979 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 283237780 9856004096 118468 33554432000 1073741824 1073778376 140735605351360 140290548299528 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14402/tid=14416] ppid=14400 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14402/task/14416/stat : 14416 (java) S 14400 14402 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283237783 9856004096 118468 33554432000 1073741824 1073778376 140735605351360 140290547248016 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14402/tid=14417] ppid=14400 vsize=9625004 CPUtime=0.84 cores=0,2,4,6
/proc/14402/task/14417/stat : 14417 (java) S 14400 14402 12979 0 -1 4202560 4310 0 0 0 84 0 0 0 20 0 19 0 283237783 9856004096 118468 33554432000 1073741824 1073778376 140735605351360 140290546194616 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14402/tid=14418] ppid=14400 vsize=9625004 CPUtime=0.68 cores=0,2,4,6
/proc/14402/task/14418/stat : 14418 (java) S 14400 14402 12979 0 -1 4202560 9376 0 0 0 66 2 0 0 20 0 19 0 283237783 9856004096 118468 33554432000 1073741824 1073778376 140735605351360 140290545141816 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14402/tid=14419] ppid=14400 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14402/task/14419/stat : 14419 (java) S 14400 14402 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283237783 9856004096 118468 33554432000 1073741824 1073778376 140735605351360 140289670900344 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14402/tid=14420] ppid=14400 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14402/task/14420/stat : 14420 (java) S 14400 14402 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283237783 9856004096 118468 33554432000 1073741824 1073778376 140735605351360 140289669847752 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14402/tid=14421] ppid=14400 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14402/task/14421/stat : 14421 (java) S 14400 14402 12979 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 283237923 9856004096 118468 33554432000 1073741824 1073778376 140735605351360 140289668793768 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 5.19
Current children cumulated vsize (KiB) 9625004

[startup+6.30063 s]
/proc/loadavg: 2.05 2.06 2.03 4/213 14421
/proc/meminfo: memFree=30072720/32873844 swapFree=7372/7372
[pid=14402] ppid=14400 vsize=9625004 CPUtime=8.47 cores=0,2,4,6
/proc/14402/stat : 14402 (java) S 14400 14402 12979 0 -1 4202496 18665 0 1 0 824 23 0 0 20 0 19 0 283237776 9856004096 119041 33554432000 1073741824 1073778376 140735605351360 140735605342496 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14402/statm: 2406251 119041 2277 9 0 2396937 0
[pid=14402/tid=14404] ppid=14400 vsize=9625004 CPUtime=6.06 cores=0,2,4,6
/proc/14402/task/14404/stat : 14404 (java) R 14400 14402 12979 0 -1 4202560 2852 0 1 0 599 7 0 0 20 0 19 0 283237777 9856004096 119041 33554432000 1073741824 1073778376 140735605351360 140290726187616 140290561010528 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=14402/tid=14405] ppid=14400 vsize=9625004 CPUtime=0.05 cores=0,2,4,6
/proc/14402/task/14405/stat : 14405 (java) S 14400 14402 12979 0 -1 4202560 121 0 0 0 3 2 0 0 20 0 19 0 283237779 9856004096 119041 33554432000 1073741824 1073778376 140735605351360 140290687679272 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14402/tid=14406] ppid=14400 vsize=9625004 CPUtime=0.1 cores=0,2,4,6
/proc/14402/task/14406/stat : 14406 (java) S 14400 14402 12979 0 -1 4202560 136 0 0 0 8 2 0 0 20 0 19 0 283237779 9856004096 119041 33554432000 1073741824 1073778376 140735605351360 140290686626472 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14402/tid=14407] ppid=14400 vsize=9625004 CPUtime=0.09 cores=0,2,4,6
/proc/14402/task/14407/stat : 14407 (java) S 14400 14402 12979 0 -1 4202560 59 0 0 0 7 2 0 0 20 0 19 0 283237779 9856004096 119041 33554432000 1073741824 1073778376 140735605351360 140290685574184 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14402/tid=14408] ppid=14400 vsize=9625004 CPUtime=0.15 cores=0,2,4,6
/proc/14402/task/14408/stat : 14408 (java) S 14400 14402 12979 0 -1 4202560 183 0 0 0 12 3 0 0 20 0 19 0 283237779 9856004096 119041 33554432000 1073741824 1073778376 140735605351360 140290684521384 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14402/tid=14409] ppid=14400 vsize=9625004 CPUtime=0.07 cores=0,2,4,6
/proc/14402/task/14409/stat : 14409 (java) S 14400 14402 12979 0 -1 4202560 41 0 0 0 6 1 0 0 20 0 19 0 283237779 9856004096 119041 33554432000 1073741824 1073778376 140735605351360 140290683468072 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14402/tid=14410] ppid=14400 vsize=9625004 CPUtime=0.07 cores=0,2,4,6
/proc/14402/task/14410/stat : 14410 (java) S 14400 14402 12979 0 -1 4202560 33 0 0 0 5 2 0 0 20 0 19 0 283237779 9856004096 119041 33554432000 1073741824 1073778376 140735605351360 140290682415272 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14402/tid=14411] ppid=14400 vsize=9625004 CPUtime=0.06 cores=0,2,4,6
/proc/14402/task/14411/stat : 14411 (java) S 14400 14402 12979 0 -1 4202560 142 0 0 0 4 2 0 0 20 0 19 0 283237779 9856004096 119041 33554432000 1073741824 1073778376 140735605351360 140290681362984 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14402/tid=14412] ppid=14400 vsize=9625004 CPUtime=0.05 cores=0,2,4,6
/proc/14402/task/14412/stat : 14412 (java) S 14400 14402 12979 0 -1 4202560 32 0 0 0 5 0 0 0 20 0 19 0 283237779 9856004096 119041 33554432000 1073741824 1073778376 140735605351360 140290680310184 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14402/tid=14413] ppid=14400 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14402/task/14413/stat : 14413 (java) S 14400 14402 12979 0 -1 4202560 199 0 0 0 0 0 0 0 20 0 19 0 283237780 9856004096 119041 33554432000 1073741824 1073778376 140735605351360 140290550405864 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14402/tid=14414] ppid=14400 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14402/task/14414/stat : 14414 (java) S 14400 14402 12979 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 283237780 9856004096 119041 33554432000 1073741824 1073778376 140735605351360 140290549351928 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14402/tid=14415] ppid=14400 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14402/task/14415/stat : 14415 (java) S 14400 14402 12979 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 283237780 9856004096 119041 33554432000 1073741824 1073778376 140735605351360 140290548299528 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14402/tid=14416] ppid=14400 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14402/task/14416/stat : 14416 (java) S 14400 14402 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283237783 9856004096 119041 33554432000 1073741824 1073778376 140735605351360 140290547248016 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14402/tid=14417] ppid=14400 vsize=9625004 CPUtime=0.89 cores=0,2,4,6
/proc/14402/task/14417/stat : 14417 (java) S 14400 14402 12979 0 -1 4202560 4310 0 0 0 89 0 0 0 20 0 19 0 283237783 9856004096 119041 33554432000 1073741824 1073778376 140735605351360 140290546194616 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14402/tid=14418] ppid=14400 vsize=9625004 CPUtime=0.71 cores=0,2,4,6
/proc/14402/task/14418/stat : 14418 (java) S 14400 14402 12979 0 -1 4202560 9376 0 0 0 68 3 0 0 20 0 19 0 283237783 9856004096 119041 33554432000 1073741824 1073778376 140735605351360 140290545141816 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14402/tid=14419] ppid=14400 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14402/task/14419/stat : 14419 (java) S 14400 14402 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283237783 9856004096 119041 33554432000 1073741824 1073778376 140735605351360 140289670900344 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14402/tid=14420] ppid=14400 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14402/task/14420/stat : 14420 (java) S 14400 14402 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283237783 9856004096 119041 33554432000 1073741824 1073778376 140735605351360 140289669847752 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14402/tid=14421] ppid=14400 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14402/task/14421/stat : 14421 (java) S 14400 14402 12979 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 283237923 9856004096 119041 33554432000 1073741824 1073778376 140735605351360 140289668793768 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 8.47
Current children cumulated vsize (KiB) 9625004

[startup+12.7007 s]
/proc/loadavg: 2.05 2.06 2.03 4/213 14421
/proc/meminfo: memFree=30059968/32873844 swapFree=7372/7372

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

[pid=14402/tid=14410] ppid=14400 vsize=9625004 CPUtime=1.26 cores=0,2,4,6
/proc/14402/task/14410/stat : 14410 (java) S 14400 14402 12979 0 -1 4202560 147 0 0 0 119 7 0 0 20 0 19 0 283237779 9856004096 201037 33554432000 1073741824 1073778376 140735605351360 140290682415272 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14402/tid=14411] ppid=14400 vsize=9625004 CPUtime=1.29 cores=0,2,4,6
/proc/14402/task/14411/stat : 14411 (java) S 14400 14402 12979 0 -1 4202560 269 0 0 0 122 7 0 0 20 0 19 0 283237779 9856004096 201037 33554432000 1073741824 1073778376 140735605351360 140290681362984 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14402/tid=14412] ppid=14400 vsize=9625004 CPUtime=1.24 cores=0,2,4,6
/proc/14402/task/14412/stat : 14412 (java) S 14400 14402 12979 0 -1 4202560 189 0 0 0 117 7 0 0 20 0 19 0 283237779 9856004096 201037 33554432000 1073741824 1073778376 140735605351360 140290680310184 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14402/tid=14413] ppid=14400 vsize=9625004 CPUtime=22.17 cores=0,2,4,6
/proc/14402/task/14413/stat : 14413 (java) S 14400 14402 12979 0 -1 4202560 347 0 0 0 2215 2 0 0 20 0 19 0 283237780 9856004096 201037 33554432000 1073741824 1073778376 140735605351360 140290550405864 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14402/tid=14414] ppid=14400 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14402/task/14414/stat : 14414 (java) S 14400 14402 12979 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 283237780 9856004096 201037 33554432000 1073741824 1073778376 140735605351360 140290549351928 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14402/tid=14415] ppid=14400 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14402/task/14415/stat : 14415 (java) S 14400 14402 12979 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 283237780 9856004096 201037 33554432000 1073741824 1073778376 140735605351360 140290548299528 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14402/tid=14416] ppid=14400 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14402/task/14416/stat : 14416 (java) S 14400 14402 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283237783 9856004096 201037 33554432000 1073741824 1073778376 140735605351360 140290547248016 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14402/tid=14417] ppid=14400 vsize=9625004 CPUtime=0.98 cores=0,2,4,6
/proc/14402/task/14417/stat : 14417 (java) S 14400 14402 12979 0 -1 4202560 4317 0 0 0 98 0 0 0 20 0 19 0 283237783 9856004096 201037 33554432000 1073741824 1073778376 140735605351360 140290546194616 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14402/tid=14418] ppid=14400 vsize=9625004 CPUtime=0.85 cores=0,2,4,6
/proc/14402/task/14418/stat : 14418 (java) S 14400 14402 12979 0 -1 4202560 9410 0 0 0 82 3 0 0 20 0 19 0 283237783 9856004096 201037 33554432000 1073741824 1073778376 140735605351360 140290545141816 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14402/tid=14419] ppid=14400 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14402/task/14419/stat : 14419 (java) S 14400 14402 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283237783 9856004096 201037 33554432000 1073741824 1073778376 140735605351360 140289670900344 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14402/tid=14420] ppid=14400 vsize=9625004 CPUtime=0.6 cores=0,2,4,6
/proc/14402/task/14420/stat : 14420 (java) S 14400 14402 12979 0 -1 4202560 95 0 0 0 27 33 0 0 20 0 19 0 283237783 9856004096 201037 33554432000 1073741824 1073778376 140735605351360 140289669847752 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14402/tid=14421] ppid=14400 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14402/task/14421/stat : 14421 (java) S 14400 14402 12979 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 283237923 9856004096 201037 33554432000 1073741824 1073778376 140735605351360 140289668793768 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1671.08
Current children cumulated vsize (KiB) 9625004

[startup+1722.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/214 14495
/proc/meminfo: memFree=30168428/32873844 swapFree=7372/7372
[pid=14402] ppid=14400 vsize=9625004 CPUtime=1731.33 cores=0,2,4,6
/proc/14402/stat : 14402 (java) S 14400 14402 12979 0 -1 4202496 19913 0 1 0 173047 86 0 0 20 0 19 0 283237776 9856004096 201049 33554432000 1073741824 1073778376 140735605351360 140735605342496 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14402/statm: 2406251 201049 2293 9 0 2396937 0
[pid=14402/tid=14404] ppid=14400 vsize=9625004 CPUtime=1696.79 cores=0,2,4,6
/proc/14402/task/14404/stat : 14404 (java) R 14400 14402 12979 0 -1 4202560 2964 0 1 0 169645 34 0 0 20 0 19 0 283237777 9856004096 201049 33554432000 1073741824 1073778376 140735605351360 140290726187312 140290560669853 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=14402/tid=14405] ppid=14400 vsize=9625004 CPUtime=1.05 cores=0,2,4,6
/proc/14402/task/14405/stat : 14405 (java) S 14400 14402 12979 0 -1 4202560 197 0 0 0 101 4 0 0 20 0 19 0 283237779 9856004096 201049 33554432000 1073741824 1073778376 140735605351360 140290687679272 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14402/tid=14406] ppid=14400 vsize=9625004 CPUtime=1.12 cores=0,2,4,6
/proc/14402/task/14406/stat : 14406 (java) S 14400 14402 12979 0 -1 4202560 231 0 0 0 105 7 0 0 20 0 19 0 283237779 9856004096 201049 33554432000 1073741824 1073778376 140735605351360 140290686626472 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14402/tid=14407] ppid=14400 vsize=9625004 CPUtime=1.25 cores=0,2,4,6
/proc/14402/task/14407/stat : 14407 (java) S 14400 14402 12979 0 -1 4202560 130 0 0 0 118 7 0 0 20 0 19 0 283237779 9856004096 201049 33554432000 1073741824 1073778376 140735605351360 140290685574184 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14402/tid=14408] ppid=14400 vsize=9625004 CPUtime=1.24 cores=0,2,4,6
/proc/14402/task/14408/stat : 14408 (java) S 14400 14402 12979 0 -1 4202560 265 0 0 0 117 7 0 0 20 0 19 0 283237779 9856004096 201049 33554432000 1073741824 1073778376 140735605351360 140290684521384 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14402/tid=14409] ppid=14400 vsize=9625004 CPUtime=0.98 cores=0,2,4,6
/proc/14402/task/14409/stat : 14409 (java) S 14400 14402 12979 0 -1 4202560 157 0 0 0 94 4 0 0 20 0 19 0 283237779 9856004096 201049 33554432000 1073741824 1073778376 140735605351360 140290683468072 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14402/tid=14410] ppid=14400 vsize=9625004 CPUtime=1.31 cores=0,2,4,6
/proc/14402/task/14410/stat : 14410 (java) S 14400 14402 12979 0 -1 4202560 149 0 0 0 124 7 0 0 20 0 19 0 283237779 9856004096 201049 33554432000 1073741824 1073778376 140735605351360 140290682415272 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14402/tid=14411] ppid=14400 vsize=9625004 CPUtime=1.32 cores=0,2,4,6
/proc/14402/task/14411/stat : 14411 (java) S 14400 14402 12979 0 -1 4202560 273 0 0 0 125 7 0 0 20 0 19 0 283237779 9856004096 201049 33554432000 1073741824 1073778376 140735605351360 140290681362984 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14402/tid=14412] ppid=14400 vsize=9625004 CPUtime=1.3 cores=0,2,4,6
/proc/14402/task/14412/stat : 14412 (java) S 14400 14402 12979 0 -1 4202560 192 0 0 0 123 7 0 0 20 0 19 0 283237779 9856004096 201049 33554432000 1073741824 1073778376 140735605351360 140290680310184 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14402/tid=14413] ppid=14400 vsize=9625004 CPUtime=22.75 cores=0,2,4,6
/proc/14402/task/14413/stat : 14413 (java) S 14400 14402 12979 0 -1 4202560 349 0 0 0 2273 2 0 0 20 0 19 0 283237780 9856004096 201049 33554432000 1073741824 1073778376 140735605351360 140290550405864 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14402/tid=14414] ppid=14400 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14402/task/14414/stat : 14414 (java) S 14400 14402 12979 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 283237780 9856004096 201049 33554432000 1073741824 1073778376 140735605351360 140290549351928 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14402/tid=14415] ppid=14400 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14402/task/14415/stat : 14415 (java) S 14400 14402 12979 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 283237780 9856004096 201049 33554432000 1073741824 1073778376 140735605351360 140290548299528 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14402/tid=14416] ppid=14400 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14402/task/14416/stat : 14416 (java) S 14400 14402 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283237783 9856004096 201049 33554432000 1073741824 1073778376 140735605351360 140290547248016 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14402/tid=14417] ppid=14400 vsize=9625004 CPUtime=0.98 cores=0,2,4,6
/proc/14402/task/14417/stat : 14417 (java) S 14400 14402 12979 0 -1 4202560 4317 0 0 0 98 0 0 0 20 0 19 0 283237783 9856004096 201049 33554432000 1073741824 1073778376 140735605351360 140290546194616 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14402/tid=14418] ppid=14400 vsize=9625004 CPUtime=0.85 cores=0,2,4,6
/proc/14402/task/14418/stat : 14418 (java) S 14400 14402 12979 0 -1 4202560 9410 0 0 0 82 3 0 0 20 0 19 0 283237783 9856004096 201049 33554432000 1073741824 1073778376 140735605351360 140290545141816 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14402/tid=14419] ppid=14400 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14402/task/14419/stat : 14419 (java) S 14400 14402 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283237783 9856004096 201049 33554432000 1073741824 1073778376 140735605351360 140289670900344 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14402/tid=14420] ppid=14400 vsize=9625004 CPUtime=0.62 cores=0,2,4,6
/proc/14402/task/14420/stat : 14420 (java) S 14400 14402 12979 0 -1 4202560 99 0 0 0 29 33 0 0 20 0 19 0 283237783 9856004096 201049 33554432000 1073741824 1073778376 140735605351360 140289669847752 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14402/tid=14421] ppid=14400 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14402/task/14421/stat : 14421 (java) S 14400 14402 12979 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 283237923 9856004096 201049 33554432000 1073741824 1073778376 140735605351360 140289668793768 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1731.33
Current children cumulated vsize (KiB) 9625004

[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/213 14495
/proc/meminfo: memFree=30168312/32873844 swapFree=7372/7372
[pid=14402] ppid=14400 vsize=9625004 CPUtime=1791.45 cores=0,2,4,6
/proc/14402/stat : 14402 (java) S 14400 14402 12979 0 -1 4202496 19929 0 1 0 179058 87 0 0 20 0 19 0 283237776 9856004096 201058 33554432000 1073741824 1073778376 140735605351360 140735605342496 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14402/statm: 2406251 201058 2293 9 0 2396937 0
[pid=14402/tid=14404] ppid=14400 vsize=9625004 CPUtime=1756.51 cores=0,2,4,6
/proc/14402/task/14404/stat : 14404 (java) R 14400 14402 12979 0 -1 4202560 2965 0 1 0 175616 35 0 0 20 0 19 0 283237777 9856004096 201058 33554432000 1073741824 1073778376 140735605351360 140290726187312 140290561133995 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=14402/tid=14405] ppid=14400 vsize=9625004 CPUtime=1.06 cores=0,2,4,6
/proc/14402/task/14405/stat : 14405 (java) S 14400 14402 12979 0 -1 4202560 197 0 0 0 102 4 0 0 20 0 19 0 283237779 9856004096 201058 33554432000 1073741824 1073778376 140735605351360 140290687679272 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14402/tid=14406] ppid=14400 vsize=9625004 CPUtime=1.13 cores=0,2,4,6
/proc/14402/task/14406/stat : 14406 (java) S 14400 14402 12979 0 -1 4202560 231 0 0 0 106 7 0 0 20 0 19 0 283237779 9856004096 201058 33554432000 1073741824 1073778376 140735605351360 140290686626472 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14402/tid=14407] ppid=14400 vsize=9625004 CPUtime=1.29 cores=0,2,4,6
/proc/14402/task/14407/stat : 14407 (java) S 14400 14402 12979 0 -1 4202560 130 0 0 0 122 7 0 0 20 0 19 0 283237779 9856004096 201058 33554432000 1073741824 1073778376 140735605351360 140290685574184 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14402/tid=14408] ppid=14400 vsize=9625004 CPUtime=1.25 cores=0,2,4,6
/proc/14402/task/14408/stat : 14408 (java) S 14400 14402 12979 0 -1 4202560 265 0 0 0 118 7 0 0 20 0 19 0 283237779 9856004096 201058 33554432000 1073741824 1073778376 140735605351360 140290684521384 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14402/tid=14409] ppid=14400 vsize=9625004 CPUtime=1 cores=0,2,4,6
/proc/14402/task/14409/stat : 14409 (java) S 14400 14402 12979 0 -1 4202560 158 0 0 0 96 4 0 0 20 0 19 0 283237779 9856004096 201058 33554432000 1073741824 1073778376 140735605351360 140290683468072 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14402/tid=14410] ppid=14400 vsize=9625004 CPUtime=1.32 cores=0,2,4,6
/proc/14402/task/14410/stat : 14410 (java) S 14400 14402 12979 0 -1 4202560 149 0 0 0 125 7 0 0 20 0 19 0 283237779 9856004096 201058 33554432000 1073741824 1073778376 140735605351360 140290682415272 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14402/tid=14411] ppid=14400 vsize=9625004 CPUtime=1.33 cores=0,2,4,6
/proc/14402/task/14411/stat : 14411 (java) S 14400 14402 12979 0 -1 4202560 273 0 0 0 126 7 0 0 20 0 19 0 283237779 9856004096 201058 33554432000 1073741824 1073778376 140735605351360 140290681362984 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14402/tid=14412] ppid=14400 vsize=9625004 CPUtime=1.33 cores=0,2,4,6
/proc/14402/task/14412/stat : 14412 (java) S 14400 14402 12979 0 -1 4202560 200 0 0 0 126 7 0 0 20 0 19 0 283237779 9856004096 201058 33554432000 1073741824 1073778376 140735605351360 140290680310184 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14402/tid=14413] ppid=14400 vsize=9625004 CPUtime=22.99 cores=0,2,4,6
/proc/14402/task/14413/stat : 14413 (java) S 14400 14402 12979 0 -1 4202560 351 0 0 0 2297 2 0 0 20 0 19 0 283237780 9856004096 201058 33554432000 1073741824 1073778376 140735605351360 140290550405864 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14402/tid=14414] ppid=14400 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14402/task/14414/stat : 14414 (java) S 14400 14402 12979 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 283237780 9856004096 201058 33554432000 1073741824 1073778376 140735605351360 140290549351928 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14402/tid=14415] ppid=14400 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14402/task/14415/stat : 14415 (java) S 14400 14402 12979 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 283237780 9856004096 201058 33554432000 1073741824 1073778376 140735605351360 140290548299528 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14402/tid=14416] ppid=14400 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14402/task/14416/stat : 14416 (java) S 14400 14402 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283237783 9856004096 201058 33554432000 1073741824 1073778376 140735605351360 140290547248016 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14402/tid=14417] ppid=14400 vsize=9625004 CPUtime=0.98 cores=0,2,4,6
/proc/14402/task/14417/stat : 14417 (java) S 14400 14402 12979 0 -1 4202560 4317 0 0 0 98 0 0 0 20 0 19 0 283237783 9856004096 201058 33554432000 1073741824 1073778376 140735605351360 140290546194616 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14402/tid=14418] ppid=14400 vsize=9625004 CPUtime=0.85 cores=0,2,4,6
/proc/14402/task/14418/stat : 14418 (java) S 14400 14402 12979 0 -1 4202560 9410 0 0 0 82 3 0 0 20 0 19 0 283237783 9856004096 201058 33554432000 1073741824 1073778376 140735605351360 140290545141816 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14402/tid=14419] ppid=14400 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14402/task/14419/stat : 14419 (java) S 14400 14402 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283237783 9856004096 201058 33554432000 1073741824 1073778376 140735605351360 140289670900344 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14402/tid=14420] ppid=14400 vsize=9625004 CPUtime=0.64 cores=0,2,4,6
/proc/14402/task/14420/stat : 14420 (java) S 14400 14402 12979 0 -1 4202560 103 0 0 0 30 34 0 0 20 0 19 0 283237783 9856004096 201058 33554432000 1073741824 1073778376 140735605351360 140289669847752 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14402/tid=14421] ppid=14400 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14402/task/14421/stat : 14421 (java) S 14400 14402 12979 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 283237923 9856004096 201058 33554432000 1073741824 1073778376 140735605351360 140289668793768 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1791.45
Current children cumulated vsize (KiB) 9625004



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1790.81 s]
/proc/loadavg: 2.08 2.02 2.00 3/213 14495
/proc/meminfo: memFree=30168188/32873844 swapFree=7372/7372
[pid=14402] ppid=14400 vsize=9625004 CPUtime=1800.09 cores=0,2,4,6
/proc/14402/stat : 14402 (java) S 14400 14402 12979 0 -1 4202496 19946 0 1 0 179922 87 0 0 20 0 19 0 283237776 9856004096 201072 33554432000 1073741824 1073778376 140735605351360 140735605342496 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14402/statm: 2406251 201072 2293 9 0 2396937 0
[pid=14402/tid=14404] ppid=14400 vsize=9625004 CPUtime=1764.73 cores=0,2,4,6
/proc/14402/task/14404/stat : 14404 (java) R 14400 14402 12979 0 -1 4202560 2966 0 1 0 176438 35 0 0 20 0 19 0 283237777 9856004096 201072 33554432000 1073741824 1073778376 140735605351360 140290726187312 140290561133995 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=14402/tid=14405] ppid=14400 vsize=9625004 CPUtime=1.08 cores=0,2,4,6
/proc/14402/task/14405/stat : 14405 (java) S 14400 14402 12979 0 -1 4202560 197 0 0 0 104 4 0 0 20 0 19 0 283237779 9856004096 201072 33554432000 1073741824 1073778376 140735605351360 140290687679272 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14402/tid=14406] ppid=14400 vsize=9625004 CPUtime=1.14 cores=0,2,4,6
/proc/14402/task/14406/stat : 14406 (java) S 14400 14402 12979 0 -1 4202560 231 0 0 0 107 7 0 0 20 0 19 0 283237779 9856004096 201072 33554432000 1073741824 1073778376 140735605351360 140290686626472 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14402/tid=14407] ppid=14400 vsize=9625004 CPUtime=1.33 cores=0,2,4,6
/proc/14402/task/14407/stat : 14407 (java) S 14400 14402 12979 0 -1 4202560 130 0 0 0 126 7 0 0 20 0 19 0 283237779 9856004096 201072 33554432000 1073741824 1073778376 140735605351360 140290685574184 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14402/tid=14408] ppid=14400 vsize=9625004 CPUtime=1.26 cores=0,2,4,6
/proc/14402/task/14408/stat : 14408 (java) S 14400 14402 12979 0 -1 4202560 265 0 0 0 119 7 0 0 20 0 19 0 283237779 9856004096 201072 33554432000 1073741824 1073778376 140735605351360 140290684521384 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14402/tid=14409] ppid=14400 vsize=9625004 CPUtime=1.04 cores=0,2,4,6
/proc/14402/task/14409/stat : 14409 (java) S 14400 14402 12979 0 -1 4202560 162 0 0 0 100 4 0 0 20 0 19 0 283237779 9856004096 201072 33554432000 1073741824 1073778376 140735605351360 140290683468072 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14402/tid=14410] ppid=14400 vsize=9625004 CPUtime=1.35 cores=0,2,4,6
/proc/14402/task/14410/stat : 14410 (java) S 14400 14402 12979 0 -1 4202560 156 0 0 0 128 7 0 0 20 0 19 0 283237779 9856004096 201072 33554432000 1073741824 1073778376 140735605351360 140290682415272 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14402/tid=14411] ppid=14400 vsize=9625004 CPUtime=1.35 cores=0,2,4,6
/proc/14402/task/14411/stat : 14411 (java) S 14400 14402 12979 0 -1 4202560 275 0 0 0 128 7 0 0 20 0 19 0 283237779 9856004096 201072 33554432000 1073741824 1073778376 140735605351360 140290681362984 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14402/tid=14412] ppid=14400 vsize=9625004 CPUtime=1.35 cores=0,2,4,6
/proc/14402/task/14412/stat : 14412 (java) S 14400 14402 12979 0 -1 4202560 201 0 0 0 128 7 0 0 20 0 19 0 283237779 9856004096 201072 33554432000 1073741824 1073778376 140735605351360 140290680310184 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14402/tid=14413] ppid=14400 vsize=9625004 CPUtime=23.24 cores=0,2,4,6
/proc/14402/task/14413/stat : 14413 (java) S 14400 14402 12979 0 -1 4202560 353 0 0 0 2322 2 0 0 20 0 19 0 283237780 9856004096 201072 33554432000 1073741824 1073778376 140735605351360 140290550405864 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14402/tid=14414] ppid=14400 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14402/task/14414/stat : 14414 (java) S 14400 14402 12979 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 283237780 9856004096 201072 33554432000 1073741824 1073778376 140735605351360 140290549351928 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14402/tid=14415] ppid=14400 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14402/task/14415/stat : 14415 (java) S 14400 14402 12979 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 283237780 9856004096 201072 33554432000 1073741824 1073778376 140735605351360 140290548299528 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14402/tid=14416] ppid=14400 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14402/task/14416/stat : 14416 (java) S 14400 14402 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283237783 9856004096 201072 33554432000 1073741824 1073778376 140735605351360 140290547248016 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14402/tid=14417] ppid=14400 vsize=9625004 CPUtime=0.98 cores=0,2,4,6
/proc/14402/task/14417/stat : 14417 (java) S 14400 14402 12979 0 -1 4202560 4317 0 0 0 98 0 0 0 20 0 19 0 283237783 9856004096 201072 33554432000 1073741824 1073778376 140735605351360 140290546194616 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14402/tid=14418] ppid=14400 vsize=9625004 CPUtime=0.85 cores=0,2,4,6
/proc/14402/task/14418/stat : 14418 (java) S 14400 14402 12979 0 -1 4202560 9410 0 0 0 82 3 0 0 20 0 19 0 283237783 9856004096 201072 33554432000 1073741824 1073778376 140735605351360 140290545141816 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14402/tid=14419] ppid=14400 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14402/task/14419/stat : 14419 (java) S 14400 14402 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283237783 9856004096 201072 33554432000 1073741824 1073778376 140735605351360 140289670900344 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14402/tid=14420] ppid=14400 vsize=9625004 CPUtime=0.65 cores=0,2,4,6
/proc/14402/task/14420/stat : 14420 (java) S 14400 14402 12979 0 -1 4202560 103 0 0 0 30 35 0 0 20 0 19 0 283237783 9856004096 201072 33554432000 1073741824 1073778376 140735605351360 140289669847752 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14402/tid=14421] ppid=14400 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14402/task/14421/stat : 14421 (java) S 14400 14402 12979 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 283237923 9856004096 201072 33554432000 1073741824 1073778376 140735605351360 140289668793768 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
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): 1790.85
CPU time (s): 1800.69
CPU user time (s): 1799.3
CPU system time (s): 1.39179
CPU usage (%): 100.549
Max. virtual memory (cumulated for all children) (KiB): 9625004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.3
system time used= 1.39179
maximum resident set size= 804408
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19978
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= 40543
involuntary context switches= 16800

runsolver used 6.26005 second user time and 14.2028 second system time

The end

Launcher Data 

Begin job on node118 at 2012-05-28 04:11:57
IDJOB=3711170
IDBENCH=48225
IDSOLVER=2289
FILE ID=node118/3711170-1338171117
RUNJOBID= node118-1338156758-12995
PBS_JOBID= 14624527
Free space on /tmp= 71668 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_60_3.opb
COMMAND LINE= java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3711170-1338171117/watcher-3711170-1338171117 -o /tmp/evaluation-result-3711170-1338171117/solver-3711170-1338171117 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3711170-1338171117.opb

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

MD5SUM BENCH= e05fbfdce4433b0b2590ec382b530cec
RANDOM SEED=743054410

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.212
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:       32873844 kB
MemFree:        30537772 kB
Buffers:          376256 kB
Cached:           498772 kB
SwapCached:            0 kB
Active:          1097764 kB
Inactive:         380768 kB
Active(anon):     593300 kB
Inactive(anon):    11320 kB
Active(file):     504464 kB
Inactive(file):   369448 kB
Unevictable:        7372 kB
Mlocked:            7372 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              2784 kB
Writeback:            32 kB
AnonPages:        629536 kB
Mapped:            19944 kB
Shmem:               200 kB
Slab:             695444 kB
SReclaimable:     136760 kB
SUnreclaim:       558684 kB
KernelStack:        1592 kB
PageTables:         5320 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1099736 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    595968 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= 71668 MiB
End job on node118 at 2012-05-28 04:41:50