Trace number 4081624

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 2.3.6 Res+CP PB16SAT (TO)436 1800.78 900.064

General information on the benchmark

Name/OPT-SMALLINT-LIN/heinz/
normalized-neos-1109824.opb
MD5SUM6b78caa911ec8d23c05ac6a0b1089c62
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark426
Best CPU time to get the best result obtained on this benchmark1800.03
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1520
Total number of constraints28979
Number of constraints which are clauses28880
Number of constraints which are cardinality constraints (but not clauses)23
Number of constraints which are nor clauses,nor cardinality constraints76
Minimum length of a constraint2
Maximum length of a constraint76
Number of terms in the objective function 1512
Biggest coefficient in the objective function 83
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 54080
Number of bits of the sum of numbers in the objective function 16
Biggest number in a constraint 83
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 54080
Number of bits of the biggest sum of numbers16
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.08/0.10	c version PB16.v20160501
0.08/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.08/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.08/0.10	c java.vm.version	19.1-b02
0.08/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.08/0.10	c sun.arch.data.model	64
0.08/0.10	c java.version		1.6.0_24
0.08/0.10	c os.name		Linux
0.08/0.10	c os.version		2.6.32-71.29.1.el6.x86_64
0.08/0.10	c os.arch		amd64
0.08/0.10	c Free memory 		501472288
0.08/0.10	c Max memory 		7480803328
0.08/0.10	c Total memory 		504102912
0.08/0.10	c Number of processors 	8
0.08/0.13	c Pseudo Boolean Optimization by upper bound
0.08/0.13	c ManyCore solver with 2 solvers running in parallel
0.08/0.13	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.08/0.13	c --- Begin Solver configuration ---
0.08/0.13	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1
0.08/0.13	c Learn all clauses as in MiniSAT
0.08/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.08/0.13	c Expensive reason simplification
0.08/0.13	c Glucose 2.1 dynamic restart strategy
0.08/0.13	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.08/0.13	c timeout=2147483s
0.08/0.13	c DB Simplification allowed=false
0.08/0.13	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.08/0.13	c --- End Solver configuration ---
0.08/0.13	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.08/0.13	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.08/0.13	c --- Begin Solver configuration ---
0.08/0.13	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee
0.08/0.13	c Learn all clauses as in MiniSAT
0.08/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.13	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.08/0.13	c No reason simplification
0.08/0.13	c Armin Biere (Picosat) restarts strategy
0.08/0.13	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.08/0.13	c timeout=2147483s
0.08/0.13	c DB Simplification allowed=false
0.08/0.13	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.08/0.13	c --- End Solver configuration ---
0.08/0.13	c solving HOME/instance-4081624-1465267511.opb
0.08/0.13	c reading problem ... 
0.08/0.13	c  objective function found
1.10/0.59	c ... done. Wall clock time 0.458s.
1.10/0.59	c declared #vars     1520
1.10/0.59	c #constraints  29078
1.10/0.59	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
1.10/0.59	c constraints type 
1.10/0.59	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 27383
1.10/0.59	c org.sat4j.minisat.constraints.card.MinWatchCard => 175
1.10/0.59	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1520
1.10/0.59	c 29078 constraints processed.
1.10/0.59	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
1.10/0.59	c constraints type 
1.10/0.59	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1520
1.10/0.59	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 27383
1.10/0.59	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 175
1.10/0.59	c 29078 constraints processed.
1.10/0.59	c objective function length is 1512 literals
2.00/0.83	c And the winner is solver0
2.47/1.09	c SATISFIABLE
2.47/1.09	c OPTIMIZING...
2.47/1.09	c Got one! Elapsed wall clock time (in seconds):0.966
2.47/1.09	o 649
2.61/1.16	c And the winner is solver0
3.13/1.61	c Got one! Elapsed wall clock time (in seconds):1.484
3.13/1.61	o 647
3.13/1.63	c And the winner is solver0
3.20/2.12	c Got one! Elapsed wall clock time (in seconds):1.995
3.20/2.12	o 609
5.91/3.37	c cleaning 2869 clauses out of 5738 with flag 27008/5738
9.94/5.26	c cleaning 4432 clauses out of 8864 with flag 65977/11733
14.84/7.67	c cleaning 5712 clauses out of 11434 with flag 103927/18735
20.23/10.28	c cleaning 6861 clauses out of 13722 with flag 155706/26735
27.54/13.81	c cleaning 7927 clauses out of 15859 with flag 211821/35733
34.03/17.01	c cleaning 8961 clauses out of 17932 with flag 278767/45733
42.03/21.04	c cleaning 9984 clauses out of 19973 with flag 348268/56735
44.03/22.04	c And the winner is solver1
44.38/22.22	c Got one! Elapsed wall clock time (in seconds):22.087
44.38/22.22	o 603
44.38/22.23	c And the winner is solver0
44.50/22.72	c Got one! Elapsed wall clock time (in seconds):22.592
44.50/22.72	o 437
45.64/23.36	c cleaning 7693 clauses out of 15397 with flag 12330/62143
48.64/24.86	c cleaning 6850 clauses out of 13706 with flag 40956/68145
50.44/25.77	c And the winner is solver1
50.59/26.23	c Got one! Elapsed wall clock time (in seconds):26.098
50.59/26.23	o 436
51.54/26.71	c cleaning 6087 clauses out of 12177 with flag 9460/73466
53.74/27.89	c cleaning 6046 clauses out of 12091 with flag 36186/79467
57.09/29.47	c cleaning 6520 clauses out of 13044 with flag 69753/86466
60.48/31.13	c cleaning 7263 clauses out of 14529 with flag 103015/94471
63.93/32.82	c cleaning 8126 clauses out of 16261 with flag 145076/103466
67.64/34.54	c cleaning 9067 clauses out of 18135 with flag 193209/113466
71.82/36.41	c cleaning 10029 clauses out of 20068 with flag 238965/124466
75.60/38.37	c cleaning 11014 clauses out of 22039 with flag 287887/136466
80.22/40.67	c cleaning 12001 clauses out of 24025 with flag 347825/149466
85.98/43.47	c cleaning 13012 clauses out of 26024 with flag 437452/163466
91.59/46.26	c cleaning 13999 clauses out of 28014 with flag 518097/178468
97.58/49.28	c cleaning 15007 clauses out of 30016 with flag 604694/194469
104.38/52.69	c cleaning 16002 clauses out of 32006 with flag 701032/211466
111.59/56.19	c cleaning 16999 clauses out of 34004 with flag 787543/229466
119.18/60.00	c cleaning 18002 clauses out of 36006 with flag 880767/248467
127.20/63.91	c cleaning 18993 clauses out of 38003 with flag 1011206/268466
135.79/68.29	c cleaning 20000 clauses out of 40011 with flag 1132634/289467
145.38/72.95	c cleaning 21000 clauses out of 42010 with flag 1258321/311466
154.38/77.49	c cleaning 21993 clauses out of 44010 with flag 1427073/334466
163.97/82.29	c cleaning 23005 clauses out of 46017 with flag 1569843/358466
175.56/87.90	c cleaning 23996 clauses out of 48012 with flag 1721768/383466
186.56/93.40	c cleaning 25003 clauses out of 50020 with flag 1859684/409470
198.15/99.28	c cleaning 26001 clauses out of 52013 with flag 2019018/436466
209.89/105.05	c cleaning 27003 clauses out of 54012 with flag 2201977/464466
223.35/112.20	c cleaning 28002 clauses out of 56011 with flag 2367808/493468
236.97/118.94	c cleaning 29000 clauses out of 58007 with flag 2553274/523466
250.81/125.81	c cleaning 29989 clauses out of 60010 with flag 2760472/554469
264.41/132.69	c cleaning 30994 clauses out of 62018 with flag 2953120/586466
279.35/140.07	c cleaning 32007 clauses out of 64024 with flag 3159713/619466
293.94/147.32	c cleaning 33008 clauses out of 66022 with flag 3356885/653471
308.74/154.73	c cleaning 33996 clauses out of 68009 with flag 3562880/688466
325.79/163.16	c cleaning 35004 clauses out of 70013 with flag 3805067/724466
341.38/170.97	c cleaning 36003 clauses out of 72009 with flag 4045614/761466
359.76/180.09	c cleaning 36993 clauses out of 74006 with flag 4289409/799466
379.83/189.90	c cleaning 37991 clauses out of 76014 with flag 4548057/838467
400.65/200.34	c cleaning 39009 clauses out of 78022 with flag 4795202/878466
423.67/211.79	c cleaning 40004 clauses out of 80014 with flag 5039793/919467
450.12/225.52	c cleaning 41005 clauses out of 82009 with flag 5310432/961466
469.91/235.47	c cleaning 41993 clauses out of 84007 with flag 5605805/1004469
489.91/245.43	c cleaning 42996 clauses out of 86011 with flag 5902606/1048466
510.70/255.80	c cleaning 43996 clauses out of 88015 with flag 6205627/1093466
531.89/266.48	c cleaning 45007 clauses out of 90020 with flag 6525463/1139467
553.70/277.39	c cleaning 46000 clauses out of 92012 with flag 6812654/1186466
577.09/289.07	c cleaning 47005 clauses out of 94015 with flag 7163754/1234469
600.25/300.45	c cleaning 48003 clauses out of 96007 with flag 7462876/1283466
627.03/313.82	c cleaning 48997 clauses out of 98004 with flag 7806414/1333466
652.83/326.76	c cleaning 49999 clauses out of 100007 with flag 8098184/1384466
683.20/341.94	c cleaning 51002 clauses out of 102009 with flag 8500216/1436467
710.01/355.36	c cleaning 52002 clauses out of 104007 with flag 8876904/1489467
738.82/369.76	c cleaning 52998 clauses out of 106004 with flag 9242742/1543466
763.50/382.09	c cleaning 53997 clauses out of 108006 with flag 9591159/1598466
790.50/395.58	c cleaning 55001 clauses out of 110009 with flag 9937285/1654466
817.09/408.86	c cleaning 55999 clauses out of 112010 with flag 10322691/1711468
845.70/423.15	c cleaning 57000 clauses out of 114012 with flag 10757568/1769469
874.09/437.39	c cleaning 57992 clauses out of 116009 with flag 11136851/1828466
904.04/452.25	c cleaning 59002 clauses out of 118017 with flag 11544339/1888466
932.22/466.34	c cleaning 60002 clauses out of 120015 with flag 11981768/1949466
962.62/481.54	c cleaning 61002 clauses out of 122014 with flag 12505098/2011467
993.02/496.79	c cleaning 61999 clauses out of 124012 with flag 13022375/2074467
1020.22/510.33	c cleaning 63004 clauses out of 126012 with flag 13582834/2138466
1047.03/523.79	c cleaning 63996 clauses out of 128008 with flag 14119606/2203466
1076.22/538.23	c cleaning 64998 clauses out of 130012 with flag 14537169/2269466
1107.62/553.93	c cleaning 65992 clauses out of 132014 with flag 15094567/2336466
1137.01/568.65	c cleaning 67004 clauses out of 134022 with flag 15644417/2404466
1168.22/584.22	c cleaning 68008 clauses out of 136020 with flag 16168338/2473468
1201.53/600.85	c cleaning 68994 clauses out of 138015 with flag 16762875/2543471
1237.13/618.69	c cleaning 69997 clauses out of 140016 with flag 17334133/2614466
1276.14/638.14	c cleaning 71003 clauses out of 142019 with flag 18020787/2686466
1309.13/654.68	c cleaning 72002 clauses out of 144016 with flag 18620101/2759466
1344.91/672.52	c cleaning 72991 clauses out of 146014 with flag 19220562/2833466
1377.71/688.91	c cleaning 73996 clauses out of 148024 with flag 19880514/2908467
1414.51/707.38	c cleaning 75008 clauses out of 150030 with flag 20510569/2984469
1449.81/724.95	c cleaning 75989 clauses out of 152019 with flag 21164415/3061466
1482.61/741.32	c cleaning 77010 clauses out of 154030 with flag 21743004/3139466
1519.21/759.67	c cleaning 77995 clauses out of 156020 with flag 22285094/3218466
1565.00/782.56	c cleaning 79002 clauses out of 158026 with flag 22944308/3298467
1602.01/801.04	c cleaning 80012 clauses out of 160025 with flag 23552060/3379468
1637.60/818.85	c cleaning 80993 clauses out of 162011 with flag 24148387/3461466
1674.42/837.24	c cleaning 82003 clauses out of 164020 with flag 24641313/3544468
1711.17/855.57	c cleaning 83004 clauses out of 166016 with flag 25152496/3628467
1748.37/874.18	c cleaning 83996 clauses out of 168011 with flag 25721297/3713466
1788.98/894.43	c cleaning 84990 clauses out of 170015 with flag 26401032/3799466
1800.16/900.00	c >>>>>>>>>> Solver number 0 (4 answers) <<<<<<<<<<<<<<<<<<
1800.16/900.00	c starts		: 15829
1800.16/900.00	c conflicts		: 3827062
1800.16/900.00	c decisions		: 10856742
1800.16/900.00	c propagations		: 295906065
1800.16/900.00	c inspects		: 3557490653
1800.16/900.00	c shortcuts		: 0
1800.16/900.00	c learnt literals	: 0
1800.16/900.00	c learnt binary clauses	: 151
1800.16/900.00	c learnt ternary clauses	: 716
1800.16/900.00	c learnt constraints	: 3827062
1800.16/900.00	c ignored constraints	: 0
1800.16/900.00	c root simplifications	: 0
1800.16/900.00	c removed literals (reason simplification)	: 89191955
1800.16/900.00	c reason swapping (by a shorter reason)	: 0
1800.16/900.00	c Calls to reduceDB	: 91
1800.16/900.00	c Number of update (reduction) of LBD	: 1462205
1800.16/900.00	c Imported unit clauses	: 0
1800.16/900.00	c number of reductions to clauses (during analyze)	: 0
1800.16/900.00	c number of learned constraints concerned by reduction	: 0
1800.16/900.00	c number of learning phase by resolution	: 0
1800.16/900.00	c number of learning phase by cutting planes	: 0
1800.16/900.00	c speed (assignments/second)	: 338653.63618884556
1800.16/900.00	c non guided choices	23
1800.16/900.03	c learnt constraints type 
1800.16/900.03	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 151
1800.16/900.03	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 112470
1800.16/900.03	c >>>>>>>>>> Solver number 1 (2 answers) <<<<<<<<<<<<<<<<<<
1800.16/900.03	c starts		: 25
1800.16/900.03	c conflicts		: 3148
1800.16/900.03	c decisions		: 39393
1800.16/900.03	c propagations		: 310276
1800.16/900.03	c inspects		: 59206408
1800.16/900.03	c shortcuts		: 0
1800.16/900.03	c learnt literals	: 0
1800.16/900.03	c learnt binary clauses	: 0
1800.16/900.03	c learnt ternary clauses	: 0
1800.16/900.03	c learnt constraints	: 3145
1800.16/900.03	c ignored constraints	: 0
1800.16/900.03	c root simplifications	: 0
1800.16/900.03	c removed literals (reason simplification)	: 0
1800.16/900.03	c reason swapping (by a shorter reason)	: 0
1800.16/900.03	c Calls to reduceDB	: 0
1800.16/900.03	c Number of update (reduction) of LBD	: 0
1800.16/900.03	c Imported unit clauses	: 0
1800.16/900.03	c number of reductions to clauses (during analyze)	: 0
1800.16/900.03	c number of learned constraints concerned by reduction	: 0
1800.16/900.03	c number of learning phase by resolution	: 0
1800.16/900.03	c number of learning phase by cutting planes	: 0
1800.16/900.03	c speed (assignments/second)	: 353.6706858071679
1800.16/900.03	c non guided choices	0
1800.16/900.03	c learnt constraints type 
1800.16/900.03	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 18
1800.16/900.03	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 91
1800.16/900.03	c org.sat4j.pb.constraints.pb.MaxWatchPb => 3036
1800.16/900.03	s SATISFIABLE
1800.16/900.03	c Found 6 solution(s)
1800.16/900.03	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 
1800.16/900.03	c objective function=436
1800.16/900.03	c Total wall clock time (in seconds): 899.906

Verifier Data 

OK	436

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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-4081624-1465267511/watcher-4081624-1465267511 -o /tmp/evaluation-result-4081624-1465267511/solver-4081624-1465267511 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node130-1465253566-15534 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4081624-1465267511.opb 

pid=22213
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: 4.28 4.21 4.18 4/197 22216
/proc/meminfo: memFree=28137868/32872528 swapFree=15784/1434320
[pid=22216] ppid=22213 vsize=2500 CPUtime=0 cores=0,2,4,6
/proc/22216/stat : 22216 (java) D 22213 22216 15518 0 -1 4202496 376 0 0 0 0 0 0 0 20 0 1 0 108684366 2560000 46 33554432000 1073741824 1073778376 140736036468800 140736036465928 214360485159 0 0 4096 0 18446744072100588836 0 0 17 4 0 0 0 0 0
/proc/22216/statm: 625 46 37 9 0 29 0

[startup+0.100061 s]
/proc/loadavg: 4.28 4.21 4.18 4/197 22216
/proc/meminfo: memFree=28137868/32872528 swapFree=15784/1434320
[pid=22216] ppid=22213 vsize=9558476 CPUtime=0.08 cores=0,2,4,6
/proc/22216/stat : 22216 (java) S 22213 22216 15518 0 -1 4202496 4346 0 1 0 7 1 0 0 20 0 18 0 108684366 9787879424 5471 33554432000 1073741824 1073778376 140736036468800 140736036459936 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22216/statm: 2389619 5471 2097 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558476

[startup+0.200224 s]
/proc/loadavg: 4.28 4.21 4.18 4/197 22216
/proc/meminfo: memFree=28137868/32872528 swapFree=15784/1434320
[pid=22216] ppid=22213 vsize=9558476 CPUtime=0.26 cores=0,2,4,6
/proc/22216/stat : 22216 (java) S 22213 22216 15518 0 -1 4202496 4864 0 1 0 24 2 0 0 20 0 18 0 108684366 9787879424 6941 33554432000 1073741824 1073778376 140736036468800 140736036459936 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22216/statm: 2389619 6927 2203 9 0 2380296 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 9558476

[startup+0.300219 s]
/proc/loadavg: 4.28 4.21 4.18 4/197 22216
/proc/meminfo: memFree=28137868/32872528 swapFree=15784/1434320
[pid=22216] ppid=22213 vsize=9558476 CPUtime=0.52 cores=0,2,4,6
/proc/22216/stat : 22216 (java) S 22213 22216 15518 0 -1 4202496 5922 0 1 0 50 2 0 0 20 0 18 0 108684366 9787879424 10606 33554432000 1073741824 1073778376 140736036468800 140736036459936 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22216/statm: 2389619 10606 2233 9 0 2380296 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 9558476

[startup+0.700178 s]
/proc/loadavg: 4.28 4.21 4.18 4/197 22216
/proc/meminfo: memFree=28137868/32872528 swapFree=15784/1434320
[pid=22216] ppid=22213 vsize=9824732 CPUtime=1.6 cores=0,2,4,6
/proc/22216/stat : 22216 (java) S 22213 22216 15518 0 -1 4202496 13733 0 1 0 156 4 0 0 20 0 22 0 108684366 10060525568 36945 33554432000 1073741824 1073778376 140736036468800 140736036459936 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22216/statm: 2456183 36945 2268 9 0 2446860 0
Current children cumulated CPU time (s) 1.6
Current children cumulated vsize (KiB) 9824732

[startup+1.5009 s]
/proc/loadavg: 4.28 4.21 4.18 6/216 22238
/proc/meminfo: memFree=27986060/32872528 swapFree=15784/1434320
[pid=22216] ppid=22213 vsize=9824732 CPUtime=3.13 cores=0,2,4,6
/proc/22216/stat : 22216 (java) S 22213 22216 15518 0 -1 4202496 21255 0 1 0 303 10 0 0 20 0 19 0 108684366 10060525568 42166 33554432000 1073741824 1073778376 140736036468800 140736036459936 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22216/statm: 2456183 42166 2274 9 0 2446860 0
[pid=22216/tid=22218] ppid=22213 vsize=9824732 CPUtime=0.57 cores=0,2,4,6
/proc/22216/task/22218/stat : 22218 (java) S 22213 22216 15518 0 -1 4202560 2475 0 1 0 54 3 0 0 20 0 19 0 108684367 10060525568 42166 33554432000 1073741824 1073778376 140736036468800 139636521116536 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22216/tid=22219] ppid=22213 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22216/task/22219/stat : 22219 (java) S 22213 22216 15518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108684368 10060525568 42166 33554432000 1073741824 1073778376 140736036468800 139636510178344 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22216/tid=22220] ppid=22213 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22216/task/22220/stat : 22220 (java) S 22213 22216 15518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108684368 10060525568 42166 33554432000 1073741824 1073778376 140736036468800 139636509125544 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22216/tid=22221] ppid=22213 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22216/task/22221/stat : 22221 (java) S 22213 22216 15518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108684368 10060525568 42166 33554432000 1073741824 1073778376 140736036468800 139636508072744 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22216/tid=22222] ppid=22213 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22216/task/22222/stat : 22222 (java) S 22213 22216 15518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108684368 10060525568 42166 33554432000 1073741824 1073778376 140736036468800 139636507019944 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22216/tid=22223] ppid=22213 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22216/task/22223/stat : 22223 (java) S 22213 22216 15518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108684368 10060525568 42166 33554432000 1073741824 1073778376 140736036468800 139636505967144 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22216/tid=22224] ppid=22213 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22216/task/22224/stat : 22224 (java) S 22213 22216 15518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108684368 10060525568 42166 33554432000 1073741824 1073778376 140736036468800 139636504914344 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22216/tid=22225] ppid=22213 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22216/task/22225/stat : 22225 (java) S 22213 22216 15518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108684368 10060525568 42166 33554432000 1073741824 1073778376 140736036468800 139636503861544 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22216/tid=22226] ppid=22213 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22216/task/22226/stat : 22226 (java) S 22213 22216 15518 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 108684368 10060525568 42166 33554432000 1073741824 1073778376 140736036468800 139636502808744 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22216/tid=22227] ppid=22213 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22216/task/22227/stat : 22227 (java) S 22213 22216 15518 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 108684369 10060525568 42166 33554432000 1073741824 1073778376 140736036468800 139636345224168 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22216/tid=22228] ppid=22213 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22216/task/22228/stat : 22228 (java) S 22213 22216 15518 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 108684370 10060525568 42166 33554432000 1073741824 1073778376 140736036468800 139636344170232 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22216/tid=22229] ppid=22213 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22216/task/22229/stat : 22229 (java) S 22213 22216 15518 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 108684370 10060525568 42166 33554432000 1073741824 1073778376 140736036468800 139636343117320 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22216/tid=22230] ppid=22213 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22216/task/22230/stat : 22230 (java) S 22213 22216 15518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108684373 10060525568 42166 33554432000 1073741824 1073778376 140736036468800 139636342065808 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22216/tid=22231] ppid=22213 vsize=9824732 CPUtime=1.07 cores=0,2,4,6
/proc/22216/task/22231/stat : 22231 (java) S 22213 22216 15518 0 -1 4202560 8674 0 0 0 105 2 0 0 20 0 19 0 108684373 10060525568 42166 33554432000 1073741824 1073778376 140736036468800 139636341012920 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22216/tid=22232] ppid=22213 vsize=9824732 CPUtime=0.87 cores=0,2,4,6
/proc/22216/task/22232/stat : 22232 (java) S 22213 22216 15518 0 -1 4202560 8762 0 0 0 85 2 0 0 20 0 19 0 108684373 10060525568 42166 33554432000 1073741824 1073778376 140736036468800 139636339960120 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22216/tid=22233] ppid=22213 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22216/task/22233/stat : 22233 (java) S 22213 22216 15518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108684373 10060525568 42166 33554432000 1073741824 1073778376 140736036468800 139636338907512 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22216/tid=22234] ppid=22213 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22216/task/22234/stat : 22234 (java) S 22213 22216 15518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108684373 10060525568 42166 33554432000 1073741824 1073778376 140736036468800 139636337854920 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22216/tid=22237] ppid=22213 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22216/task/22237/stat : 22237 (java) S 22213 22216 15518 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 108684427 10060525568 42166 33554432000 1073741824 1073778376 140736036468800 139636334695848 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.13
Current children cumulated vsize (KiB) 9824732

[startup+3.10094 s]
/proc/loadavg: 4.28 4.21 4.18 7/219 22247
/proc/meminfo: memFree=27968528/32872528 swapFree=15784/1434320
[pid=22216] ppid=22213 vsize=9824732 CPUtime=5.49 cores=0,2,4,6
/proc/22216/stat : 22216 (java) S 22213 22216 15518 0 -1 4202496 21360 0 1 0 537 12 0 0 20 0 22 0 108684366 10060525568 47319 33554432000 1073741824 1073778376 140736036468800 140736036459936 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22216/statm: 2456183 47319 2288 9 0 2446860 0
[pid=22216/tid=22218] ppid=22213 vsize=9824732 CPUtime=0.59 cores=0,2,4,6
/proc/22216/task/22218/stat : 22218 (java) S 22213 22216 15518 0 -1 4202560 2475 0 1 0 56 3 0 0 20 0 22 0 108684367 10060525568 47319 33554432000 1073741824 1073778376 140736036468800 139636521116536 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22216/tid=22219] ppid=22213 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22216/task/22219/stat : 22219 (java) S 22213 22216 15518 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 108684368 10060525568 47319 33554432000 1073741824 1073778376 140736036468800 139636510178344 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22216/tid=22220] ppid=22213 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22216/task/22220/stat : 22220 (java) S 22213 22216 15518 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 108684368 10060525568 47319 33554432000 1073741824 1073778376 140736036468800 139636509125544 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22216/tid=22221] ppid=22213 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22216/task/22221/stat : 22221 (java) S 22213 22216 15518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 108684368 10060525568 47319 33554432000 1073741824 1073778376 140736036468800 139636508072744 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22216/tid=22222] ppid=22213 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22216/task/22222/stat : 22222 (java) S 22213 22216 15518 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 108684368 10060525568 47319 33554432000 1073741824 1073778376 140736036468800 139636507019944 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22216/tid=22223] ppid=22213 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22216/task/22223/stat : 22223 (java) S 22213 22216 15518 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 108684368 10060525568 47319 33554432000 1073741824 1073778376 140736036468800 139636505967144 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22216/tid=22224] ppid=22213 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22216/task/22224/stat : 22224 (java) S 22213 22216 15518 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 108684368 10060525568 47319 33554432000 1073741824 1073778376 140736036468800 139636504914344 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22216/tid=22225] ppid=22213 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22216/task/22225/stat : 22225 (java) S 22213 22216 15518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 108684368 10060525568 47319 33554432000 1073741824 1073778376 140736036468800 139636503861544 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22216/tid=22226] ppid=22213 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22216/task/22226/stat : 22226 (java) S 22213 22216 15518 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 108684368 10060525568 47319 33554432000 1073741824 1073778376 140736036468800 139636502808744 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22216/tid=22227] ppid=22213 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22216/task/22227/stat : 22227 (java) S 22213 22216 15518 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 108684369 10060525568 47319 33554432000 1073741824 1073778376 140736036468800 139636345224168 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22216/tid=22228] ppid=22213 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22216/task/22228/stat : 22228 (java) S 22213 22216 15518 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 108684370 10060525568 47319 33554432000 1073741824 1073778376 140736036468800 139636344170232 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22216/tid=22229] ppid=22213 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22216/task/22229/stat : 22229 (java) S 22213 22216 15518 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 108684370 10060525568 47319 33554432000 1073741824 1073778376 140736036468800 139636343117320 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22216/tid=22230] ppid=22213 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22216/task/22230/stat : 22230 (java) S 22213 22216 15518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 108684373 10060525568 47319 33554432000 1073741824 1073778376 140736036468800 139636342065808 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22216/tid=22231] ppid=22213 vsize=9824732 CPUtime=1.33 cores=0,2,4,6
/proc/22216/task/22231/stat : 22231 (java) S 22213 22216 15518 0 -1 4202560 8675 0 0 0 131 2 0 0 20 0 22 0 108684373 10060525568 47319 33554432000 1073741824 1073778376 140736036468800 139636341012920 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22216/tid=22232] ppid=22213 vsize=9824732 CPUtime=1.01 cores=0,2,4,6
/proc/22216/task/22232/stat : 22232 (java) S 22213 22216 15518 0 -1 4202560 8804 0 0 0 99 2 0 0 20 0 22 0 108684373 10060525568 47319 33554432000 1073741824 1073778376 140736036468800 139636339960120 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22216/tid=22233] ppid=22213 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22216/task/22233/stat : 22233 (java) S 22213 22216 15518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 108684373 10060525568 47319 33554432000 1073741824 1073778376 140736036468800 139636338907512 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22216/tid=22234] ppid=22213 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22216/task/22234/stat : 22234 (java) S 22213 22216 15518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 108684373 10060525568 47319 33554432000 1073741824 1073778376 140736036468800 139636337854920 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22216/tid=22237] ppid=22213 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22216/task/22237/stat : 22237 (java) S 22213 22216 15518 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 108684427 10060525568 47319 33554432000 1073741824 1073778376 140736036468800 139636334695848 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22216/tid=22245] ppid=22213 vsize=9824732 CPUtime=0.94 cores=0,2,4,6
/proc/22216/task/22245/stat : 22245 (java) R 22213 22216 15518 0 -1 4202560 3 0 0 0 94 0 0 0 20 0 22 0 108684579 10060525568 47319 33554432000 1073741824 1073778376 140736036468800 139636335747784 139636383782515 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=22216/tid=22246] ppid=22213 vsize=9824732 CPUtime=0.93 cores=0,2,4,6
/proc/22216/task/22246/stat : 22246 (java) R 22213 22216 15518 0 -1 4202560 8 0 0 0 93 0 0 0 20 0 22 0 108684579 10060525568 47319 33554432000 1073741824 1073778376 140736036468800 139636336799960 139636383806504 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=22216/tid=22247] ppid=22213 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22216/task/22247/stat : 22247 (java) S 22213 22216 15518 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 108684580 10060525568 47319 33554432000 1073741824 1073778376 140736036468800 139636333642920 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 5.49
Current children cumulated vsize (KiB) 9824732

[startup+6.30099 s]
/proc/loadavg: 4.25 4.21 4.18 5/219 22247
/proc/meminfo: memFree=27946968/32872528 swapFree=15784/1434320
[pid=22216] ppid=22213 vsize=9824732 CPUtime=12.17 cores=0,2,4,6
/proc/22216/stat : 22216 (java) S 22213 22216 15518 0 -1 4202496 22399 0 1 0 1202 15 0 0 20 0 22 0 108684366 10060525568 51179 33554432000 1073741824 1073778376 140736036468800 140736036459936 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22216/statm: 2456183 51179 2293 9 0 2446860 0
[pid=22216/tid=22218] ppid=22213 vsize=9824732 CPUtime=0.59 cores=0,2,4,6
/proc/22216/task/22218/stat : 22218 (java) S 22213 22216 15518 0 -1 4202560 2475 0 1 0 56 3 0 0 20 0 22 0 108684367 10060525568 51179 33554432000 1073741824 1073778376 140736036468800 139636521116536 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22216/tid=22219] ppid=22213 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22216/task/22219/stat : 22219 (java) S 22213 22216 15518 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 108684368 10060525568 51179 33554432000 1073741824 1073778376 140736036468800 139636510178344 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22216/tid=22220] ppid=22213 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22216/task/22220/stat : 22220 (java) S 22213 22216 15518 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 108684368 10060525568 51179 33554432000 1073741824 1073778376 140736036468800 139636509125544 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22216/tid=22221] ppid=22213 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/22216/task/22221/stat : 22221 (java) S 22213 22216 15518 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 22 0 108684368 10060525568 51179 33554432000 1073741824 1073778376 140736036468800 139636508072744 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22216/tid=22222] ppid=22213 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/22216/task/22222/stat : 22222 (java) S 22213 22216 15518 0 -1 4202560 16 0 0 0 1 0 0 0 20 0 22 0 108684368 10060525568 51179 33554432000 1073741824 1073778376 140736036468800 139636507019944 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22216/tid=22223] ppid=22213 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22216/task/22223/stat : 22223 (java) S 22213 22216 15518 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 108684368 10060525568 51179 33554432000 1073741824 1073778376 140736036468800 139636505967144 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22216/tid=22224] ppid=22213 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22216/task/22224/stat : 22224 (java) S 22213 22216 15518 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 108684368 10060525568 51179 33554432000 1073741824 1073778376 140736036468800 139636504914344 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22216/tid=22225] ppid=22213 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22216/task/22225/stat : 22225 (java) S 22213 22216 15518 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 108684368 10060525568 51179 33554432000 1073741824 1073778376 140736036468800 139636503861544 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22216/tid=22226] ppid=22213 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/22216/task/22226/stat : 22226 (java) S 22213 22216 15518 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 22 0 108684368 10060525568 51179 33554432000 1073741824 1073778376 140736036468800 139636502808744 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22216/tid=22227] ppid=22213 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22216/task/22227/stat : 22227 (java) S 22213 22216 15518 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 22 0 108684369 10060525568 51179 33554432000 1073741824 1073778376 140736036468800 139636345224168 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22216/tid=22228] ppid=22213 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22216/task/22228/stat : 22228 (java) S 22213 22216 15518 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 108684370 10060525568 51179 33554432000 1073741824 1073778376 140736036468800 139636344170232 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22216/tid=22229] ppid=22213 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22216/task/22229/stat : 22229 (java) S 22213 22216 15518 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 108684370 10060525568 51179 33554432000 1073741824 1073778376 140736036468800 139636343117320 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22216/tid=22230] ppid=22213 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22216/task/22230/stat : 22230 (java) S 22213 22216 15518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 108684373 10060525568 51179 33554432000 1073741824 1073778376 140736036468800 139636342065808 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22216/tid=22231] ppid=22213 vsize=9824732 CPUtime=1.46 cores=0,2,4,6
/proc/22216/task/22231/stat : 22231 (java) S 22213 22216 15518 0 -1 4202560 8678 0 0 0 144 2 0 0 20 0 22 0 108684373 10060525568 51179 33554432000 1073741824 1073778376 140736036468800 139636341012920 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22216/tid=22232] ppid=22213 vsize=9824732 CPUtime=1.12 cores=0,2,4,6
/proc/22216/task/22232/stat : 22232 (java) S 22213 22216 15518 0 -1 4202560 9726 0 0 0 110 2 0 0 20 0 22 0 108684373 10060525568 51179 33554432000 1073741824 1073778376 140736036468800 139636339960120 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22216/tid=22233] ppid=22213 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22216/task/22233/stat : 22233 (java) S 22213 22216 15518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 108684373 10060525568 51179 33554432000 1073741824 1073778376 140736036468800 139636338907512 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22216/tid=22234] ppid=22213 vsize=9824732 CPUtime=0 cores=0,2,4,6

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


[startup+822.301 s]
/proc/loadavg: 4.34 4.23 4.19 5/219 22356
/proc/meminfo: memFree=23185120/32872528 swapFree=15784/1434320
[pid=22216] ppid=22213 vsize=9824732 CPUtime=1644.6 cores=0,2,4,6
/proc/22216/stat : 22216 (java) S 22213 22216 15518 0 -1 4202496 39127 0 1 0 164270 190 0 0 20 0 22 0 108684366 10060525568 857858 33554432000 1073741824 1073778376 140736036468800 140736036459936 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22216/statm: 2456183 857858 2302 9 0 2446860 0
[pid=22216/tid=22218] ppid=22213 vsize=9824732 CPUtime=0.64 cores=0,2,4,6
/proc/22216/task/22218/stat : 22218 (java) S 22213 22216 15518 0 -1 4202560 2479 0 1 0 61 3 0 0 20 0 22 0 108684367 10060525568 857858 33554432000 1073741824 1073778376 140736036468800 139636521116536 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22216/tid=22219] ppid=22213 vsize=9824732 CPUtime=1.19 cores=0,2,4,6
/proc/22216/task/22219/stat : 22219 (java) S 22213 22216 15518 0 -1 4202560 596 0 0 0 103 16 0 0 20 0 22 0 108684368 10060525568 857858 33554432000 1073741824 1073778376 140736036468800 139636510178344 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22216/tid=22220] ppid=22213 vsize=9824732 CPUtime=0.95 cores=0,2,4,6
/proc/22216/task/22220/stat : 22220 (java) S 22213 22216 15518 0 -1 4202560 595 0 0 0 80 15 0 0 20 0 22 0 108684368 10060525568 857858 33554432000 1073741824 1073778376 140736036468800 139636509125544 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22216/tid=22221] ppid=22213 vsize=9824732 CPUtime=1.2 cores=0,2,4,6
/proc/22216/task/22221/stat : 22221 (java) S 22213 22216 15518 0 -1 4202560 487 0 0 0 101 19 0 0 20 0 22 0 108684368 10060525568 857858 33554432000 1073741824 1073778376 140736036468800 139636508072744 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22216/tid=22222] ppid=22213 vsize=9824732 CPUtime=1 cores=0,2,4,6
/proc/22216/task/22222/stat : 22222 (java) S 22213 22216 15518 0 -1 4202560 565 0 0 0 84 16 0 0 20 0 22 0 108684368 10060525568 857858 33554432000 1073741824 1073778376 140736036468800 139636507019944 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22216/tid=22223] ppid=22213 vsize=9824732 CPUtime=1.06 cores=0,2,4,6
/proc/22216/task/22223/stat : 22223 (java) S 22213 22216 15518 0 -1 4202560 507 0 0 0 91 15 0 0 20 0 22 0 108684368 10060525568 857858 33554432000 1073741824 1073778376 140736036468800 139636505967144 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22216/tid=22224] ppid=22213 vsize=9824732 CPUtime=0.98 cores=0,2,4,6
/proc/22216/task/22224/stat : 22224 (java) S 22213 22216 15518 0 -1 4202560 649 0 0 0 81 17 0 0 20 0 22 0 108684368 10060525568 857858 33554432000 1073741824 1073778376 140736036468800 139636504914344 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22216/tid=22225] ppid=22213 vsize=9824732 CPUtime=1.04 cores=0,2,4,6
/proc/22216/task/22225/stat : 22225 (java) S 22213 22216 15518 0 -1 4202560 515 0 0 0 87 17 0 0 20 0 22 0 108684368 10060525568 857858 33554432000 1073741824 1073778376 140736036468800 139636503861544 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22216/tid=22226] ppid=22213 vsize=9824732 CPUtime=1.12 cores=0,2,4,6
/proc/22216/task/22226/stat : 22226 (java) S 22213 22216 15518 0 -1 4202560 737 0 0 0 94 18 0 0 20 0 22 0 108684368 10060525568 857858 33554432000 1073741824 1073778376 140736036468800 139636502808744 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22216/tid=22227] ppid=22213 vsize=9824732 CPUtime=2.25 cores=0,2,4,6
/proc/22216/task/22227/stat : 22227 (java) S 22213 22216 15518 0 -1 4202560 2058 0 0 0 221 4 0 0 20 0 22 0 108684369 10060525568 857858 33554432000 1073741824 1073778376 140736036468800 139636345224168 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22216/tid=22228] ppid=22213 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22216/task/22228/stat : 22228 (java) S 22213 22216 15518 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 108684370 10060525568 857858 33554432000 1073741824 1073778376 140736036468800 139636344170232 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22216/tid=22229] ppid=22213 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22216/task/22229/stat : 22229 (java) S 22213 22216 15518 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 108684370 10060525568 857858 33554432000 1073741824 1073778376 140736036468800 139636343117320 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22216/tid=22230] ppid=22213 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22216/task/22230/stat : 22230 (java) S 22213 22216 15518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 108684373 10060525568 857858 33554432000 1073741824 1073778376 140736036468800 139636342065808 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22216/tid=22231] ppid=22213 vsize=9824732 CPUtime=1.55 cores=0,2,4,6
/proc/22216/task/22231/stat : 22231 (java) S 22213 22216 15518 0 -1 4202560 8678 0 0 0 153 2 0 0 20 0 22 0 108684373 10060525568 857858 33554432000 1073741824 1073778376 140736036468800 139636341012920 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22216/tid=22232] ppid=22213 vsize=9824732 CPUtime=2 cores=0,2,4,6
/proc/22216/task/22232/stat : 22232 (java) S 22213 22216 15518 0 -1 4202560 18700 0 0 0 196 4 0 0 20 0 22 0 108684373 10060525568 857858 33554432000 1073741824 1073778376 140736036468800 139636339960120 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22216/tid=22233] ppid=22213 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22216/task/22233/stat : 22233 (java) S 22213 22216 15518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 108684373 10060525568 857858 33554432000 1073741824 1073778376 140736036468800 139636338907512 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22216/tid=22234] ppid=22213 vsize=9824732 CPUtime=0.2 cores=0,2,4,6
/proc/22216/task/22234/stat : 22234 (java) S 22213 22216 15518 0 -1 4202560 47 0 0 0 11 9 0 0 20 0 22 0 108684373 10060525568 857858 33554432000 1073741824 1073778376 140736036468800 139636337854920 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22216/tid=22253] ppid=22213 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22216/task/22253/stat : 22253 (java) S 22213 22216 15518 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 108686639 10060525568 857858 33554432000 1073741824 1073778376 140736036468800 139636333643176 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22216/tid=22254] ppid=22213 vsize=9824732 CPUtime=791.75 cores=0,2,4,6
/proc/22216/task/22254/stat : 22254 (java) R 22213 22216 15518 0 -1 4202560 21 0 0 0 79161 14 0 0 20 0 22 0 108686990 10060525568 857858 33554432000 1073741824 1073778376 140736036468800 139636336791696 139636384206736 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=22216/tid=22255] ppid=22213 vsize=9824732 CPUtime=791.8 cores=0,2,4,6
/proc/22216/task/22255/stat : 22255 (java) R 22213 22216 15518 0 -1 4202560 781 0 0 0 79145 35 0 0 20 0 22 0 108686990 10060525568 857858 33554432000 1073741824 1073778376 140736036468800 139636335745568 139636384103616 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22216/tid=22256] ppid=22213 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22216/task/22256/stat : 22256 (java) S 22213 22216 15518 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 108686990 10060525568 857858 33554432000 1073741824 1073778376 140736036468800 139636334695464 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1644.6
Current children cumulated vsize (KiB) 9824732

[startup+882.308 s]
/proc/loadavg: 4.28 4.23 4.19 5/219 22357
/proc/meminfo: memFree=23166212/32872528 swapFree=15784/1434320
[pid=22216] ppid=22213 vsize=9824732 CPUtime=1764.78 cores=0,2,4,6
/proc/22216/stat : 22216 (java) S 22213 22216 15518 0 -1 4202496 39300 0 1 0 176284 194 0 0 20 0 22 0 108684366 10060525568 862594 33554432000 1073741824 1073778376 140736036468800 140736036459936 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22216/statm: 2456183 862594 2302 9 0 2446860 0
[pid=22216/tid=22218] ppid=22213 vsize=9824732 CPUtime=0.64 cores=0,2,4,6
/proc/22216/task/22218/stat : 22218 (java) S 22213 22216 15518 0 -1 4202560 2480 0 1 0 61 3 0 0 20 0 22 0 108684367 10060525568 862594 33554432000 1073741824 1073778376 140736036468800 139636521116536 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22216/tid=22219] ppid=22213 vsize=9824732 CPUtime=1.27 cores=0,2,4,6
/proc/22216/task/22219/stat : 22219 (java) S 22213 22216 15518 0 -1 4202560 609 0 0 0 110 17 0 0 20 0 22 0 108684368 10060525568 862594 33554432000 1073741824 1073778376 140736036468800 139636510178344 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22216/tid=22220] ppid=22213 vsize=9824732 CPUtime=0.99 cores=0,2,4,6
/proc/22216/task/22220/stat : 22220 (java) S 22213 22216 15518 0 -1 4202560 633 0 0 0 84 15 0 0 20 0 22 0 108684368 10060525568 862594 33554432000 1073741824 1073778376 140736036468800 139636509125544 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22216/tid=22221] ppid=22213 vsize=9824732 CPUtime=1.23 cores=0,2,4,6
/proc/22216/task/22221/stat : 22221 (java) S 22213 22216 15518 0 -1 4202560 511 0 0 0 104 19 0 0 20 0 22 0 108684368 10060525568 862594 33554432000 1073741824 1073778376 140736036468800 139636508072744 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22216/tid=22222] ppid=22213 vsize=9824732 CPUtime=1.04 cores=0,2,4,6
/proc/22216/task/22222/stat : 22222 (java) S 22213 22216 15518 0 -1 4202560 574 0 0 0 88 16 0 0 20 0 22 0 108684368 10060525568 862594 33554432000 1073741824 1073778376 140736036468800 139636507019944 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22216/tid=22223] ppid=22213 vsize=9824732 CPUtime=1.09 cores=0,2,4,6
/proc/22216/task/22223/stat : 22223 (java) S 22213 22216 15518 0 -1 4202560 539 0 0 0 94 15 0 0 20 0 22 0 108684368 10060525568 862594 33554432000 1073741824 1073778376 140736036468800 139636505967144 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22216/tid=22224] ppid=22213 vsize=9824732 CPUtime=1.02 cores=0,2,4,6
/proc/22216/task/22224/stat : 22224 (java) S 22213 22216 15518 0 -1 4202560 657 0 0 0 85 17 0 0 20 0 22 0 108684368 10060525568 862594 33554432000 1073741824 1073778376 140736036468800 139636504914344 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22216/tid=22225] ppid=22213 vsize=9824732 CPUtime=1.08 cores=0,2,4,6
/proc/22216/task/22225/stat : 22225 (java) S 22213 22216 15518 0 -1 4202560 552 0 0 0 91 17 0 0 20 0 22 0 108684368 10060525568 862594 33554432000 1073741824 1073778376 140736036468800 139636503861544 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22216/tid=22226] ppid=22213 vsize=9824732 CPUtime=1.15 cores=0,2,4,6
/proc/22216/task/22226/stat : 22226 (java) S 22213 22216 15518 0 -1 4202560 742 0 0 0 97 18 0 0 20 0 22 0 108684368 10060525568 862594 33554432000 1073741824 1073778376 140736036468800 139636502808744 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22216/tid=22227] ppid=22213 vsize=9824732 CPUtime=2.25 cores=0,2,4,6
/proc/22216/task/22227/stat : 22227 (java) S 22213 22216 15518 0 -1 4202560 2060 0 0 0 221 4 0 0 20 0 22 0 108684369 10060525568 862594 33554432000 1073741824 1073778376 140736036468800 139636345224168 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22216/tid=22228] ppid=22213 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22216/task/22228/stat : 22228 (java) S 22213 22216 15518 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 108684370 10060525568 862594 33554432000 1073741824 1073778376 140736036468800 139636344170232 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22216/tid=22229] ppid=22213 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22216/task/22229/stat : 22229 (java) S 22213 22216 15518 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 108684370 10060525568 862594 33554432000 1073741824 1073778376 140736036468800 139636343117320 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22216/tid=22230] ppid=22213 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22216/task/22230/stat : 22230 (java) S 22213 22216 15518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 108684373 10060525568 862594 33554432000 1073741824 1073778376 140736036468800 139636342065808 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22216/tid=22231] ppid=22213 vsize=9824732 CPUtime=1.55 cores=0,2,4,6
/proc/22216/task/22231/stat : 22231 (java) S 22213 22216 15518 0 -1 4202560 8678 0 0 0 153 2 0 0 20 0 22 0 108684373 10060525568 862594 33554432000 1073741824 1073778376 140736036468800 139636341012920 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22216/tid=22232] ppid=22213 vsize=9824732 CPUtime=2 cores=0,2,4,6
/proc/22216/task/22232/stat : 22232 (java) S 22213 22216 15518 0 -1 4202560 18700 0 0 0 196 4 0 0 20 0 22 0 108684373 10060525568 862594 33554432000 1073741824 1073778376 140736036468800 139636339960120 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22216/tid=22233] ppid=22213 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22216/task/22233/stat : 22233 (java) S 22213 22216 15518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 108684373 10060525568 862594 33554432000 1073741824 1073778376 140736036468800 139636338907512 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22216/tid=22234] ppid=22213 vsize=9824732 CPUtime=0.22 cores=0,2,4,6
/proc/22216/task/22234/stat : 22234 (java) S 22213 22216 15518 0 -1 4202560 51 0 0 0 12 10 0 0 20 0 22 0 108684373 10060525568 862594 33554432000 1073741824 1073778376 140736036468800 139636337854920 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22216/tid=22253] ppid=22213 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22216/task/22253/stat : 22253 (java) S 22213 22216 15518 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 108686639 10060525568 862594 33554432000 1073741824 1073778376 140736036468800 139636333643176 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22216/tid=22254] ppid=22213 vsize=9824732 CPUtime=851.68 cores=0,2,4,6
/proc/22216/task/22254/stat : 22254 (java) R 22213 22216 15518 0 -1 4202560 21 0 0 0 85154 14 0 0 20 0 22 0 108686990 10060525568 862594 33554432000 1073741824 1073778376 140736036468800 139636336791696 139636383781914 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=22216/tid=22255] ppid=22213 vsize=9824732 CPUtime=851.72 cores=0,2,4,6
/proc/22216/task/22255/stat : 22255 (java) R 22213 22216 15518 0 -1 4202560 781 0 0 0 85137 35 0 0 20 0 22 0 108686990 10060525568 862594 33554432000 1073741824 1073778376 140736036468800 139636335746352 139636384103729 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22216/tid=22256] ppid=22213 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22216/task/22256/stat : 22256 (java) S 22213 22216 15518 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 108686990 10060525568 862594 33554432000 1073741824 1073778376 140736036468800 139636334695464 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1764.78
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+900.001 s]
/proc/loadavg: 4.35 4.25 4.19 5/220 22360
/proc/meminfo: memFree=23165484/32872528 swapFree=15784/1434320
[pid=22216] ppid=22213 vsize=9824732 CPUtime=1800.16 cores=0,2,4,6
/proc/22216/stat : 22216 (java) S 22213 22216 15518 0 -1 4202496 39300 0 1 0 179822 194 0 0 20 0 22 0 108684366 10060525568 862594 33554432000 1073741824 1073778376 140736036468800 140736036459936 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22216/statm: 2456183 862594 2302 9 0 2446860 0
[pid=22216/tid=22218] ppid=22213 vsize=9824732 CPUtime=0.64 cores=0,2,4,6
/proc/22216/task/22218/stat : 22218 (java) S 22213 22216 15518 0 -1 4202560 2480 0 1 0 61 3 0 0 20 0 22 0 108684367 10060525568 862594 33554432000 1073741824 1073778376 140736036468800 139636521116536 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22216/tid=22219] ppid=22213 vsize=9824732 CPUtime=1.27 cores=0,2,4,6
/proc/22216/task/22219/stat : 22219 (java) S 22213 22216 15518 0 -1 4202560 609 0 0 0 110 17 0 0 20 0 22 0 108684368 10060525568 862594 33554432000 1073741824 1073778376 140736036468800 139636510178344 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22216/tid=22220] ppid=22213 vsize=9824732 CPUtime=0.99 cores=0,2,4,6
/proc/22216/task/22220/stat : 22220 (java) S 22213 22216 15518 0 -1 4202560 633 0 0 0 84 15 0 0 20 0 22 0 108684368 10060525568 862594 33554432000 1073741824 1073778376 140736036468800 139636509125544 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22216/tid=22221] ppid=22213 vsize=9824732 CPUtime=1.23 cores=0,2,4,6
/proc/22216/task/22221/stat : 22221 (java) S 22213 22216 15518 0 -1 4202560 511 0 0 0 104 19 0 0 20 0 22 0 108684368 10060525568 862594 33554432000 1073741824 1073778376 140736036468800 139636508072744 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22216/tid=22222] ppid=22213 vsize=9824732 CPUtime=1.04 cores=0,2,4,6
/proc/22216/task/22222/stat : 22222 (java) S 22213 22216 15518 0 -1 4202560 574 0 0 0 88 16 0 0 20 0 22 0 108684368 10060525568 862594 33554432000 1073741824 1073778376 140736036468800 139636507019944 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22216/tid=22223] ppid=22213 vsize=9824732 CPUtime=1.09 cores=0,2,4,6
/proc/22216/task/22223/stat : 22223 (java) S 22213 22216 15518 0 -1 4202560 539 0 0 0 94 15 0 0 20 0 22 0 108684368 10060525568 862594 33554432000 1073741824 1073778376 140736036468800 139636505967144 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22216/tid=22224] ppid=22213 vsize=9824732 CPUtime=1.02 cores=0,2,4,6
/proc/22216/task/22224/stat : 22224 (java) S 22213 22216 15518 0 -1 4202560 657 0 0 0 85 17 0 0 20 0 22 0 108684368 10060525568 862594 33554432000 1073741824 1073778376 140736036468800 139636504914344 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22216/tid=22225] ppid=22213 vsize=9824732 CPUtime=1.08 cores=0,2,4,6
/proc/22216/task/22225/stat : 22225 (java) S 22213 22216 15518 0 -1 4202560 552 0 0 0 91 17 0 0 20 0 22 0 108684368 10060525568 862594 33554432000 1073741824 1073778376 140736036468800 139636503861544 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22216/tid=22226] ppid=22213 vsize=9824732 CPUtime=1.15 cores=0,2,4,6
/proc/22216/task/22226/stat : 22226 (java) S 22213 22216 15518 0 -1 4202560 742 0 0 0 97 18 0 0 20 0 22 0 108684368 10060525568 862594 33554432000 1073741824 1073778376 140736036468800 139636502808744 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22216/tid=22227] ppid=22213 vsize=9824732 CPUtime=2.25 cores=0,2,4,6
/proc/22216/task/22227/stat : 22227 (java) S 22213 22216 15518 0 -1 4202560 2060 0 0 0 221 4 0 0 20 0 22 0 108684369 10060525568 862594 33554432000 1073741824 1073778376 140736036468800 139636345224168 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22216/tid=22228] ppid=22213 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22216/task/22228/stat : 22228 (java) S 22213 22216 15518 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 108684370 10060525568 862594 33554432000 1073741824 1073778376 140736036468800 139636344170232 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22216/tid=22229] ppid=22213 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22216/task/22229/stat : 22229 (java) S 22213 22216 15518 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 108684370 10060525568 862594 33554432000 1073741824 1073778376 140736036468800 139636343117320 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22216/tid=22230] ppid=22213 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22216/task/22230/stat : 22230 (java) S 22213 22216 15518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 108684373 10060525568 862594 33554432000 1073741824 1073778376 140736036468800 139636342065808 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22216/tid=22231] ppid=22213 vsize=9824732 CPUtime=1.55 cores=0,2,4,6
/proc/22216/task/22231/stat : 22231 (java) S 22213 22216 15518 0 -1 4202560 8678 0 0 0 153 2 0 0 20 0 22 0 108684373 10060525568 862594 33554432000 1073741824 1073778376 140736036468800 139636341012920 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22216/tid=22232] ppid=22213 vsize=9824732 CPUtime=2 cores=0,2,4,6
/proc/22216/task/22232/stat : 22232 (java) S 22213 22216 15518 0 -1 4202560 18700 0 0 0 196 4 0 0 20 0 22 0 108684373 10060525568 862594 33554432000 1073741824 1073778376 140736036468800 139636339960120 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22216/tid=22233] ppid=22213 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22216/task/22233/stat : 22233 (java) S 22213 22216 15518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 108684373 10060525568 862594 33554432000 1073741824 1073778376 140736036468800 139636338907512 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22216/tid=22234] ppid=22213 vsize=9824732 CPUtime=0.23 cores=0,2,4,6
/proc/22216/task/22234/stat : 22234 (java) S 22213 22216 15518 0 -1 4202560 51 0 0 0 13 10 0 0 20 0 22 0 108684373 10060525568 862594 33554432000 1073741824 1073778376 140736036468800 139636337854920 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22216/tid=22253] ppid=22213 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22216/task/22253/stat : 22253 (java) S 22213 22216 15518 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 108686639 10060525568 862594 33554432000 1073741824 1073778376 140736036468800 139636333643176 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22216/tid=22254] ppid=22213 vsize=9824732 CPUtime=869.37 cores=0,2,4,6
/proc/22216/task/22254/stat : 22254 (java) R 22213 22216 15518 0 -1 4202560 21 0 0 0 86922 15 0 0 20 0 22 0 108686990 10060525568 862594 33554432000 1073741824 1073778376 140736036468800 139636336791792 139636383783400 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=22216/tid=22255] ppid=22213 vsize=9824732 CPUtime=869.41 cores=0,2,4,6
/proc/22216/task/22255/stat : 22255 (java) R 22213 22216 15518 0 -1 4202560 781 0 0 0 86904 37 0 0 20 0 22 0 108686990 10060525568 862594 33554432000 1073741824 1073778376 140736036468800 139636335746352 139636384103648 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22216/tid=22256] ppid=22213 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22216/task/22256/stat : 22256 (java) S 22213 22216 15518 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 108686990 10060525568 862594 33554432000 1073741824 1073778376 140736036468800 139636334695464 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 9824732

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 22216 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 900.064
CPU time (s): 1800.78
CPU user time (s): 1798.37
CPU system time (s): 2.41263
CPU usage (%): 200.072
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.37
system time used= 2.41263
maximum resident set size= 3450488
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39338
page faults= 1
swaps= 0
block input operations= 0
block output operations= 744
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 22054
involuntary context switches= 13737

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.2512 second user time and 7.56585 second system time

The end

Launcher Data 

Begin job on node130 at 2016-06-07 04:45:11
IDJOB=4081624
IDBENCH=89828
IDSOLVER=2543
FILE ID=node130/4081624-1465267511
RUNJOBID= node130-1465253566-15534
PBS_JOBID= 19843263
Free space on /tmp= 71740 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/normalized-neos-1109824.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4081624-1465267511/watcher-4081624-1465267511 -o /tmp/evaluation-result-4081624-1465267511/solver-4081624-1465267511 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node130-1465253566-15534 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4081624-1465267511.opb

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

MD5SUM BENCH= 6b78caa911ec8d23c05ac6a0b1089c62
RANDOM SEED=1427201562

node130.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.261
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.52
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.261
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	: 5332.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.261
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	: 5332.55
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.261
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	: 5332.61
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.261
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	: 5332.55
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.261
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	: 5332.55
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.261
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	: 5332.55
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.261
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	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        28138132 kB
Buffers:          105336 kB
Cached:           180164 kB
SwapCached:         1724 kB
Active:          2361524 kB
Inactive:         196592 kB
Active(anon):    2273856 kB
Inactive(anon):     1252 kB
Active(file):      87668 kB
Inactive(file):   195340 kB
Unevictable:     1434320 kB
Mlocked:           15784 kB
SwapTotal:      67108856 kB
SwapFree:       67098432 kB
Dirty:              1616 kB
Writeback:             0 kB
AnonPages:       3815052 kB
Mapped:            15456 kB
Shmem:                 0 kB
Slab:             601160 kB
SReclaimable:      44768 kB
SUnreclaim:       556392 kB
KernelStack:        1808 kB
PageTables:        12248 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3885832 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3751936 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71736 MiB
End job on node130 at 2016-06-07 05:00:11