Trace number 4106755

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)-22 1800.04 903.764

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_200_25_3.opb
MD5SUM7d5c1eba9f9b9c55d272c1a8f28b465a
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-28
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 -31
Optimality of the best value was proved NO
Number of variables400
Total number of constraints601
Number of constraints which are clauses200
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints401
Minimum length of a constraint2
Maximum length of a constraint400
Number of terms in the objective function 200
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 200
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 400
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)12432
Sum of products size (including duplicates)24864
Number of different products6216
Sum of products size12432

Quality of the solution as a function of time


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

Solver Data 

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.09/0.12	c Pseudo Boolean Optimization by upper bound
0.09/0.12	c ManyCore solver with 2 solvers running in parallel
0.09/0.12	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.12	c Expensive reason simplification
0.09/0.12	c Glucose 2.1 dynamic restart strategy
0.09/0.12	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.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.09/0.12	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.09/0.12	c No reason simplification
0.09/0.12	c Armin Biere (Picosat) restarts strategy
0.09/0.12	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.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-4106755-1466276772.opb
0.09/0.12	c reading problem ... 
0.09/0.12	c  objective function found
1.29/0.68	c ... done. Wall clock time 0.563s.
1.29/0.68	c declared #vars     400
1.29/0.68	c internal #vars     6616
1.29/0.68	c #constraints  13034
1.29/0.68	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
1.29/0.68	c constraints type 
1.29/0.68	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6216
1.29/0.68	c org.sat4j.minisat.constraints.card.MinWatchCard => 402
1.29/0.68	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 200
1.29/0.68	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6216
1.29/0.68	c 13034 constraints processed.
1.29/0.68	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
1.29/0.68	c constraints type 
1.29/0.68	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 200
1.29/0.68	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6216
1.29/0.68	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 402
1.29/0.68	c org.sat4j.pb.constraints.pb.MaxWatchPb => 6216
1.29/0.68	c 13034 constraints processed.
1.29/0.68	c objective function length is 200 literals
4.38/1.41	c And the winner is solver1
4.55/1.69	c SATISFIABLE
4.55/1.69	c OPTIMIZING...
4.55/1.69	c Got one! Elapsed wall clock time (in seconds):1.567
4.55/1.69	o -4
4.91/1.82	c And the winner is solver1
5.02/2.19	c Got one! Elapsed wall clock time (in seconds):2.069
5.02/2.19	o -5
5.06/2.29	c And the winner is solver1
5.34/2.69	c Got one! Elapsed wall clock time (in seconds):2.57
5.34/2.69	o -6
5.38/2.74	c And the winner is solver1
5.51/3.19	c Got one! Elapsed wall clock time (in seconds):3.071
5.51/3.19	o -7
5.53/3.23	c And the winner is solver1
5.63/3.69	c Got one! Elapsed wall clock time (in seconds):3.573
5.63/3.69	o -8
5.64/3.71	c And the winner is solver1
5.67/4.19	c Got one! Elapsed wall clock time (in seconds):4.074
5.67/4.19	o -9
5.68/4.24	c And the winner is solver1
5.78/4.69	c Got one! Elapsed wall clock time (in seconds):4.575
5.78/4.69	o -10
5.79/4.74	c And the winner is solver1
5.90/5.19	c Got one! Elapsed wall clock time (in seconds):5.076
5.90/5.19	o -11
5.91/5.24	c And the winner is solver1
6.04/5.69	c Got one! Elapsed wall clock time (in seconds):5.577
6.04/5.69	o -12
6.04/5.78	c And the winner is solver1
6.28/6.20	c Got one! Elapsed wall clock time (in seconds):6.078
6.28/6.20	o -13
6.28/6.24	c And the winner is solver1
6.38/6.70	c Got one! Elapsed wall clock time (in seconds):6.579
6.38/6.70	o -14
6.40/6.75	c And the winner is solver1
6.56/7.20	c Got one! Elapsed wall clock time (in seconds):7.08
6.56/7.20	o -15
6.56/7.27	c And the winner is solver1
6.80/7.70	c Got one! Elapsed wall clock time (in seconds):7.581
6.80/7.70	o -16
6.81/7.79	c And the winner is solver1
7.05/8.20	c Got one! Elapsed wall clock time (in seconds):8.082
7.05/8.20	o -17
7.05/8.25	c And the winner is solver1
7.16/8.70	c Got one! Elapsed wall clock time (in seconds):8.583
7.16/8.70	o -18
7.16/8.77	c And the winner is solver1
7.31/9.20	c Got one! Elapsed wall clock time (in seconds):9.083
7.31/9.20	o -19
8.46/9.71	c And the winner is solver0
8.50/10.20	c Got one! Elapsed wall clock time (in seconds):10.084
8.50/10.20	o -20
9.54/10.73	c And the winner is solver1
9.61/11.20	c Got one! Elapsed wall clock time (in seconds):11.085
9.61/11.20	o -21
11.83/12.23	c cleaning 3931 clauses out of 7863 with flag 18719/7863
16.07/14.26	c cleaning 4964 clauses out of 9928 with flag 53296/13859
20.57/16.44	c cleaning 5983 clauses out of 11965 with flag 100216/20860
26.12/19.11	c cleaning 6993 clauses out of 13985 with flag 139747/28863
27.38/19.70	c And the winner is solver1
27.38/19.71	c Got one! Elapsed wall clock time (in seconds):19.587
27.38/19.71	o -22
28.93/20.55	c cleaning 6205 clauses out of 12410 with flag 17679/34281
32.34/22.30	c cleaning 6067 clauses out of 12186 with flag 53804/40262
36.99/24.51	c cleaning 6557 clauses out of 13121 with flag 102083/47264
42.06/27.03	c cleaning 7262 clauses out of 14562 with flag 157213/55262
48.32/30.13	c cleaning 8151 clauses out of 16306 with flag 210959/64268
55.03/33.48	c cleaning 9083 clauses out of 18165 with flag 271234/74278
62.47/37.14	c cleaning 10031 clauses out of 20065 with flag 338165/85261
70.06/40.97	c cleaning 10995 clauses out of 22035 with flag 406933/97262
79.55/45.65	c cleaning 12018 clauses out of 24038 with flag 476202/110260
90.55/51.18	c cleaning 13010 clauses out of 26020 with flag 560133/124260
101.38/56.53	c cleaning 13983 clauses out of 28021 with flag 638246/139271
113.02/62.32	c cleaning 15024 clauses out of 30048 with flag 732754/155281
126.08/68.83	c cleaning 16004 clauses out of 32008 with flag 843461/172265
140.94/76.22	c cleaning 16973 clauses out of 34001 with flag 957131/190262
156.19/83.84	c cleaning 17981 clauses out of 36032 with flag 1051681/209266
172.85/92.17	c cleaning 19026 clauses out of 38052 with flag 1155917/229267
190.18/100.76	c cleaning 20009 clauses out of 40021 with flag 1259071/250262
190.38/100.88	c cleaning 0 clauses out of 5917 with flag 0/5917
210.17/110.62	c cleaning 21015 clauses out of 42036 with flag 1381992/272286
233.23/122.03	c cleaning 21997 clauses out of 43998 with flag 1512823/295263
254.79/132.73	c cleaning 22996 clauses out of 46011 with flag 1620660/319273
277.92/144.28	c cleaning 24013 clauses out of 48026 with flag 1764163/344284
306.30/158.69	c cleaning 24988 clauses out of 49989 with flag 1900615/370260
329.58/170.29	c cleaning 26005 clauses out of 52010 with flag 2038933/397269
354.32/182.59	c cleaning 26997 clauses out of 53998 with flag 2175771/425262
379.41/195.01	c cleaning 28004 clauses out of 56012 with flag 2317402/454273
405.92/208.21	c cleaning 28983 clauses out of 57995 with flag 2462150/484260
433.62/222.05	c cleaning 29980 clauses out of 60012 with flag 2620713/515260
466.19/238.23	c cleaning 31014 clauses out of 62032 with flag 2787026/547260
496.31/253.23	c cleaning 32007 clauses out of 64019 with flag 2918658/580261
535.07/272.54	c cleaning 33005 clauses out of 66014 with flag 3065381/614263
571.58/291.09	c cleaning 33995 clauses out of 68012 with flag 3220893/649266
608.17/309.21	c cleaning 35015 clauses out of 70030 with flag 3389475/685279
648.71/329.47	c cleaning 35988 clauses out of 72002 with flag 3564970/722266
688.08/349.10	c cleaning 36982 clauses out of 74016 with flag 3758248/760268
728.61/369.21	c cleaning 38013 clauses out of 76028 with flag 3927143/799262
764.22/386.97	c cleaning 38990 clauses out of 78020 with flag 4134774/839267
796.92/403.27	c cleaning 39987 clauses out of 80024 with flag 4302147/880261
832.88/421.14	c cleaning 41019 clauses out of 82037 with flag 4477070/922261
873.66/441.40	c cleaning 41972 clauses out of 84024 with flag 4680254/965267
926.32/467.61	c cleaning 42983 clauses out of 86048 with flag 4883370/1009263
966.53/488.01	c cleaning 44040 clauses out of 88079 with flag 5067329/1054277
994.64/502.03	c cleaning 0 clauses out of 11917 with flag 0/11917
1018.42/513.81	c cleaning 44983 clauses out of 90040 with flag 5322001/1100278
1070.26/539.66	c cleaning 46001 clauses out of 92039 with flag 5561082/1147260
1137.21/572.99	c cleaning 47036 clauses out of 94082 with flag 5760731/1195304
1186.56/597.51	c cleaning 47998 clauses out of 96005 with flag 5988860/1244263
1248.63/628.43	c cleaning 49005 clauses out of 98011 with flag 6178993/1294267
1305.65/656.82	c cleaning 49996 clauses out of 100003 with flag 6341342/1345264
1361.14/685.14	c cleaning 50977 clauses out of 102008 with flag 6557523/1397265
1424.20/716.59	c cleaning 51979 clauses out of 104028 with flag 6776169/1450262
1484.05/746.38	c cleaning 53000 clauses out of 106055 with flag 6998267/1504268
1554.93/781.66	c cleaning 54021 clauses out of 108047 with flag 7176332/1559260
1614.52/811.38	c cleaning 55009 clauses out of 110026 with flag 7357119/1615260
1675.91/841.90	c cleaning 55975 clauses out of 112019 with flag 7597890/1672262
1745.41/876.59	c cleaning 56978 clauses out of 114043 with flag 7854221/1730261
1800.04/903.70	c >>>>>>>>>> Solver number 0 (1 answers) <<<<<<<<<<<<<<<<<<
1800.04/903.70	c starts		: 12735
1800.04/903.70	c conflicts		: 1777595
1800.04/903.70	c decisions		: 15758741
1800.04/903.70	c propagations		: 225246283
1800.04/903.70	c inspects		: 10862666172
1800.04/903.70	c shortcuts		: 0
1800.04/903.70	c learnt literals	: 0
1800.04/903.70	c learnt binary clauses	: 21
1800.04/903.70	c learnt ternary clauses	: 2992
1800.04/903.70	c learnt constraints	: 1777595
1800.04/903.70	c ignored constraints	: 0
1800.04/903.70	c root simplifications	: 0
1800.04/903.70	c removed literals (reason simplification)	: 334762401
1800.04/903.70	c reason swapping (by a shorter reason)	: 0
1800.04/903.70	c Calls to reduceDB	: 58
1800.04/903.70	c Number of update (reduction) of LBD	: 332950
1800.04/903.70	c Imported unit clauses	: 0
1800.04/903.70	c number of reductions to clauses (during analyze)	: 0
1800.04/903.70	c number of learned constraints concerned by reduction	: 0
1800.04/903.70	c number of learning phase by resolution	: 0
1800.04/903.70	c number of learning phase by cutting planes	: 0
1800.04/903.70	c speed (assignments/second)	: 254804.35227721362
1800.04/903.70	c non guided choices	0
1800.04/903.73	c learnt constraints type 
1800.04/903.73	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 21
1800.04/903.73	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 104378
1800.04/903.73	c >>>>>>>>>> Solver number 1 (18 answers) <<<<<<<<<<<<<<<<<<
1800.04/903.73	c starts		: 64
1800.04/903.73	c conflicts		: 14917
1800.04/903.73	c decisions		: 222177
1800.04/903.73	c propagations		: 5273558
1800.04/903.73	c inspects		: 1068543502
1800.04/903.73	c shortcuts		: 0
1800.04/903.73	c learnt literals	: 0
1800.04/903.73	c learnt binary clauses	: 0
1800.04/903.73	c learnt ternary clauses	: 0
1800.04/903.73	c learnt constraints	: 14916
1800.04/903.73	c ignored constraints	: 0
1800.04/903.73	c root simplifications	: 0
1800.04/903.73	c removed literals (reason simplification)	: 0
1800.04/903.73	c reason swapping (by a shorter reason)	: 0
1800.04/903.73	c Calls to reduceDB	: 2
1800.04/903.73	c Number of update (reduction) of LBD	: 0
1800.04/903.73	c Imported unit clauses	: 0
1800.04/903.73	c number of reductions to clauses (during analyze)	: 0
1800.04/903.73	c number of learned constraints concerned by reduction	: 0
1800.04/903.73	c number of learning phase by resolution	: 0
1800.04/903.73	c number of learning phase by cutting planes	: 0
1800.04/903.73	c speed (assignments/second)	: 5901.976891499277
1800.04/903.73	c non guided choices	45
1800.04/903.73	c learnt constraints type 
1800.04/903.73	c org.sat4j.pb.constraints.pb.MaxWatchPb => 14916
1800.04/903.73	s SATISFIABLE
1800.04/903.73	c Found 19 solution(s)
1800.04/903.73	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 
1800.04/903.73	c objective function=-22
1800.04/903.73	c Total wall clock time (in seconds): 903.617

Verifier Data 

OK	-22

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-4106755-1466276772/watcher-4106755-1466276772 -o /tmp/evaluation-result-4106755-1466276772/solver-4106755-1466276772 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1466274976-28100 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4106755-1466276772.opb 

pid=28642
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.25 4.21 3.86 4/197 28645
/proc/meminfo: memFree=26457264/32872528 swapFree=1542984/1696284
[pid=28645] ppid=28642 vsize=2500 CPUtime=0 cores=0,2,4,6
/proc/28645/stat : 28645 (java) D 28642 28645 28084 0 -1 4202496 375 0 0 0 0 0 0 0 20 0 1 0 29723842 2560000 46 33554432000 1073741824 1073778376 140736419614048 140736419611176 270698376487 0 0 4096 0 18446744072100588836 0 0 17 0 0 0 0 0 0
/proc/28645/statm: 625 46 37 9 0 29 0

[startup+0.100159 s]
/proc/loadavg: 4.25 4.21 3.86 4/197 28645
/proc/meminfo: memFree=26457264/32872528 swapFree=1542984/1696284
[pid=28645] ppid=28642 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/28645/stat : 28645 (java) S 28642 28645 28084 0 -1 4202496 4403 0 1 0 8 1 0 0 20 0 18 0 29723842 9787879424 6044 33554432000 1073741824 1073778376 140736419614048 140736419605184 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28645/statm: 2389619 6044 2126 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200218 s]
/proc/loadavg: 4.25 4.21 3.86 4/197 28645
/proc/meminfo: memFree=26457264/32872528 swapFree=1542984/1696284
[pid=28645] ppid=28642 vsize=9558476 CPUtime=0.21 cores=0,2,4,6
/proc/28645/stat : 28645 (java) S 28642 28645 28084 0 -1 4202496 4609 0 1 0 20 1 0 0 20 0 18 0 29723842 9787879424 7244 33554432000 1073741824 1073778376 140736419614048 140736419605184 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28645/statm: 2389619 7244 2213 9 0 2380296 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 9558476

[startup+0.300218 s]
/proc/loadavg: 4.25 4.21 3.86 4/197 28645
/proc/meminfo: memFree=26457264/32872528 swapFree=1542984/1696284
[pid=28645] ppid=28642 vsize=9558476 CPUtime=0.46 cores=0,2,4,6
/proc/28645/stat : 28645 (java) S 28642 28645 28084 0 -1 4202496 5914 0 1 0 44 2 0 0 20 0 18 0 29723842 9787879424 9001 33554432000 1073741824 1073778376 140736419614048 140736419605184 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28645/statm: 2389619 9001 2240 9 0 2380296 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 9558476

[startup+0.700175 s]
/proc/loadavg: 4.25 4.21 3.86 4/197 28645
/proc/meminfo: memFree=26457264/32872528 swapFree=1542984/1696284
[pid=28645] ppid=28642 vsize=9691604 CPUtime=1.6 cores=0,2,4,6
/proc/28645/stat : 28645 (java) S 28642 28645 28084 0 -1 4202496 23407 0 1 0 154 6 0 0 20 0 20 0 29723842 9924202496 36187 33554432000 1073741824 1073778376 140736419614048 140736419605184 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28645/statm: 2422901 36187 2264 9 0 2413578 0
Current children cumulated CPU time (s) 1.6
Current children cumulated vsize (KiB) 9691604

[startup+1.50095 s]
/proc/loadavg: 4.39 4.24 3.87 7/219 28667
/proc/meminfo: memFree=26322480/32872528 swapFree=1542984/1696284
[pid=28645] ppid=28642 vsize=9824732 CPUtime=4.53 cores=0,2,4,6
/proc/28645/stat : 28645 (java) S 28642 28645 28084 0 -1 4202496 28898 0 1 0 445 8 0 0 20 0 19 0 29723842 10060525568 39982 33554432000 1073741824 1073778376 140736419614048 140736419605184 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28645/statm: 2456183 39982 2275 9 0 2446860 0
[pid=28645/tid=28647] ppid=28642 vsize=9824732 CPUtime=0.65 cores=0,2,4,6
/proc/28645/task/28647/stat : 28647 (java) S 28642 28645 28084 0 -1 4202560 2448 0 1 0 63 2 0 0 20 0 19 0 29723843 10060525568 39982 33554432000 1073741824 1073778376 140736419614048 139886467777400 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28645/tid=28648] ppid=28642 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/28645/task/28648/stat : 28648 (java) S 28642 28645 28084 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29723844 10060525568 39982 33554432000 1073741824 1073778376 140736419614048 139886429268392 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28645/tid=28649] ppid=28642 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/28645/task/28649/stat : 28649 (java) S 28642 28645 28084 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29723844 10060525568 39982 33554432000 1073741824 1073778376 140736419614048 139886428215848 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28645/tid=28650] ppid=28642 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/28645/task/28650/stat : 28650 (java) S 28642 28645 28084 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29723844 10060525568 39982 33554432000 1073741824 1073778376 140736419614048 139886427162792 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28645/tid=28651] ppid=28642 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/28645/task/28651/stat : 28651 (java) S 28642 28645 28084 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29723844 10060525568 39982 33554432000 1073741824 1073778376 140736419614048 139886426110248 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28645/tid=28652] ppid=28642 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/28645/task/28652/stat : 28652 (java) S 28642 28645 28084 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29723844 10060525568 39982 33554432000 1073741824 1073778376 140736419614048 139886425058216 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28645/tid=28653] ppid=28642 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/28645/task/28653/stat : 28653 (java) S 28642 28645 28084 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29723844 10060525568 39982 33554432000 1073741824 1073778376 140736419614048 139886424005672 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28645/tid=28654] ppid=28642 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/28645/task/28654/stat : 28654 (java) S 28642 28645 28084 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29723844 10060525568 39982 33554432000 1073741824 1073778376 140736419614048 139886422952616 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28645/tid=28655] ppid=28642 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/28645/task/28655/stat : 28655 (java) S 28642 28645 28084 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 29723844 10060525568 39982 33554432000 1073741824 1073778376 140736419614048 139886421900072 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28645/tid=28656] ppid=28642 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/28645/task/28656/stat : 28656 (java) S 28642 28645 28084 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 29723846 10060525568 39982 33554432000 1073741824 1073778376 140736419614048 139886291032424 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28645/tid=28657] ppid=28642 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/28645/task/28657/stat : 28657 (java) S 28642 28645 28084 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 29723846 10060525568 39982 33554432000 1073741824 1073778376 140736419614048 139886289978744 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28645/tid=28658] ppid=28642 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/28645/task/28658/stat : 28658 (java) S 28642 28645 28084 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29723846 10060525568 39982 33554432000 1073741824 1073778376 140736419614048 139886288925576 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28645/tid=28659] ppid=28642 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/28645/task/28659/stat : 28659 (java) S 28642 28645 28084 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29723848 10060525568 39982 33554432000 1073741824 1073778376 140736419614048 139886287874320 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28645/tid=28660] ppid=28642 vsize=9824732 CPUtime=1.23 cores=0,2,4,6
/proc/28645/task/28660/stat : 28660 (java) R 28642 28645 28084 0 -1 4202560 11768 0 0 0 121 2 0 0 20 0 19 0 29723848 10060525568 39982 33554432000 1073741824 1073778376 140736419614048 139886286809568 139886473620212 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=28645/tid=28661] ppid=28642 vsize=9824732 CPUtime=1.15 cores=0,2,4,6
/proc/28645/task/28661/stat : 28661 (java) S 28642 28645 28084 0 -1 4202560 13343 0 0 0 113 2 0 0 20 0 19 0 29723848 10060525568 39982 33554432000 1073741824 1073778376 140736419614048 139886285769656 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28645/tid=28662] ppid=28642 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/28645/task/28662/stat : 28662 (java) S 28642 28645 28084 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29723848 10060525568 39982 33554432000 1073741824 1073778376 140736419614048 139886284716792 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28645/tid=28663] ppid=28642 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/28645/task/28663/stat : 28663 (java) S 28642 28645 28084 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29723848 10060525568 39982 33554432000 1073741824 1073778376 140736419614048 139886283664456 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28645/tid=28667] ppid=28642 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/28645/task/28667/stat : 28667 (java) S 28642 28645 28084 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29723912 10060525568 39982 33554432000 1073741824 1073778376 140736419614048 139885137613736 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 4.53
Current children cumulated vsize (KiB) 9824732

[startup+3.10081 s]
/proc/loadavg: 4.39 4.24 3.87 6/219 28673
/proc/meminfo: memFree=26274508/32872528 swapFree=1542984/1696284
[pid=28645] ppid=28642 vsize=9824732 CPUtime=5.51 cores=0,2,4,6
/proc/28645/stat : 28645 (java) S 28642 28645 28084 0 -1 4202496 29943 0 1 0 536 15 0 0 20 0 19 0 29723842 10060525568 53325 33554432000 1073741824 1073778376 140736419614048 140736419605184 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28645/statm: 2456183 53325 2289 9 0 2446860 0
[pid=28645/tid=28647] ppid=28642 vsize=9824732 CPUtime=0.65 cores=0,2,4,6
/proc/28645/task/28647/stat : 28647 (java) S 28642 28645 28084 0 -1 4202560 2449 0 1 0 63 2 0 0 20 0 19 0 29723843 10060525568 53325 33554432000 1073741824 1073778376 140736419614048 139886467777400 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28645/tid=28648] ppid=28642 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/28645/task/28648/stat : 28648 (java) S 28642 28645 28084 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 29723844 10060525568 53325 33554432000 1073741824 1073778376 140736419614048 139886429268392 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28645/tid=28649] ppid=28642 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/28645/task/28649/stat : 28649 (java) S 28642 28645 28084 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29723844 10060525568 53325 33554432000 1073741824 1073778376 140736419614048 139886428215848 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28645/tid=28650] ppid=28642 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/28645/task/28650/stat : 28650 (java) S 28642 28645 28084 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 29723844 10060525568 53325 33554432000 1073741824 1073778376 140736419614048 139886427162792 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28645/tid=28651] ppid=28642 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/28645/task/28651/stat : 28651 (java) S 28642 28645 28084 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 29723844 10060525568 53325 33554432000 1073741824 1073778376 140736419614048 139886426110248 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28645/tid=28652] ppid=28642 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/28645/task/28652/stat : 28652 (java) S 28642 28645 28084 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 29723844 10060525568 53325 33554432000 1073741824 1073778376 140736419614048 139886425058216 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28645/tid=28653] ppid=28642 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/28645/task/28653/stat : 28653 (java) S 28642 28645 28084 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 29723844 10060525568 53325 33554432000 1073741824 1073778376 140736419614048 139886424005672 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28645/tid=28654] ppid=28642 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/28645/task/28654/stat : 28654 (java) S 28642 28645 28084 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 29723844 10060525568 53325 33554432000 1073741824 1073778376 140736419614048 139886422952616 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28645/tid=28655] ppid=28642 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/28645/task/28655/stat : 28655 (java) S 28642 28645 28084 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 29723844 10060525568 53325 33554432000 1073741824 1073778376 140736419614048 139886421900072 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28645/tid=28656] ppid=28642 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/28645/task/28656/stat : 28656 (java) S 28642 28645 28084 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 29723846 10060525568 53325 33554432000 1073741824 1073778376 140736419614048 139886291032424 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28645/tid=28657] ppid=28642 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/28645/task/28657/stat : 28657 (java) S 28642 28645 28084 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 29723846 10060525568 53325 33554432000 1073741824 1073778376 140736419614048 139886289978744 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28645/tid=28658] ppid=28642 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/28645/task/28658/stat : 28658 (java) S 28642 28645 28084 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 29723846 10060525568 53325 33554432000 1073741824 1073778376 140736419614048 139886288925576 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28645/tid=28659] ppid=28642 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/28645/task/28659/stat : 28659 (java) S 28642 28645 28084 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29723848 10060525568 53325 33554432000 1073741824 1073778376 140736419614048 139886287874320 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28645/tid=28660] ppid=28642 vsize=9824732 CPUtime=1.41 cores=0,2,4,6
/proc/28645/task/28660/stat : 28660 (java) S 28642 28645 28084 0 -1 4202560 11772 0 0 0 139 2 0 0 20 0 19 0 29723848 10060525568 53325 33554432000 1073741824 1073778376 140736419614048 139886286822200 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28645/tid=28661] ppid=28642 vsize=9824732 CPUtime=1.3 cores=0,2,4,6
/proc/28645/task/28661/stat : 28661 (java) S 28642 28645 28084 0 -1 4202560 14295 0 0 0 127 3 0 0 20 0 19 0 29723848 10060525568 53325 33554432000 1073741824 1073778376 140736419614048 139886285769656 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28645/tid=28662] ppid=28642 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/28645/task/28662/stat : 28662 (java) S 28642 28645 28084 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29723848 10060525568 53325 33554432000 1073741824 1073778376 140736419614048 139886284716792 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28645/tid=28663] ppid=28642 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/28645/task/28663/stat : 28663 (java) S 28642 28645 28084 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29723848 10060525568 53325 33554432000 1073741824 1073778376 140736419614048 139886283664456 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28645/tid=28667] ppid=28642 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/28645/task/28667/stat : 28667 (java) S 28642 28645 28084 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29723912 10060525568 53325 33554432000 1073741824 1073778376 140736419614048 139885137613736 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 5.51
Current children cumulated vsize (KiB) 9824732

[startup+6.30069 s]
/proc/loadavg: 4.39 4.24 3.87 3/216 28691
/proc/meminfo: memFree=26257464/32872528 swapFree=1542984/1696284
[pid=28645] ppid=28642 vsize=9824732 CPUtime=6.38 cores=0,2,4,6
/proc/28645/stat : 28645 (java) S 28642 28645 28084 0 -1 4202496 30054 0 1 0 607 31 0 0 20 0 19 0 29723842 10060525568 55498 33554432000 1073741824 1073778376 140736419614048 140736419605184 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28645/statm: 2456183 55498 2290 9 0 2446860 0
[pid=28645/tid=28647] ppid=28642 vsize=9824732 CPUtime=0.67 cores=0,2,4,6
/proc/28645/task/28647/stat : 28647 (java) S 28642 28645 28084 0 -1 4202560 2451 0 1 0 64 3 0 0 20 0 19 0 29723843 10060525568 55498 33554432000 1073741824 1073778376 140736419614048 139886467777400 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28645/tid=28648] ppid=28642 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/28645/task/28648/stat : 28648 (java) S 28642 28645 28084 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 19 0 29723844 10060525568 55498 33554432000 1073741824 1073778376 140736419614048 139886429268392 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28645/tid=28649] ppid=28642 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/28645/task/28649/stat : 28649 (java) S 28642 28645 28084 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 19 0 29723844 10060525568 55498 33554432000 1073741824 1073778376 140736419614048 139886428215848 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28645/tid=28650] ppid=28642 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/28645/task/28650/stat : 28650 (java) S 28642 28645 28084 0 -1 4202560 8 0 0 0 2 0 0 0 20 0 19 0 29723844 10060525568 55498 33554432000 1073741824 1073778376 140736419614048 139886427162792 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28645/tid=28651] ppid=28642 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/28645/task/28651/stat : 28651 (java) S 28642 28645 28084 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 29723844 10060525568 55498 33554432000 1073741824 1073778376 140736419614048 139886426110248 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28645/tid=28652] ppid=28642 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/28645/task/28652/stat : 28652 (java) S 28642 28645 28084 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 29723844 10060525568 55498 33554432000 1073741824 1073778376 140736419614048 139886425058216 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28645/tid=28653] ppid=28642 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/28645/task/28653/stat : 28653 (java) S 28642 28645 28084 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 19 0 29723844 10060525568 55498 33554432000 1073741824 1073778376 140736419614048 139886424005672 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28645/tid=28654] ppid=28642 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/28645/task/28654/stat : 28654 (java) S 28642 28645 28084 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 29723844 10060525568 55498 33554432000 1073741824 1073778376 140736419614048 139886422952616 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28645/tid=28655] ppid=28642 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/28645/task/28655/stat : 28655 (java) S 28642 28645 28084 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29723844 10060525568 55498 33554432000 1073741824 1073778376 140736419614048 139886421900072 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28645/tid=28656] ppid=28642 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/28645/task/28656/stat : 28656 (java) S 28642 28645 28084 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 29723846 10060525568 55498 33554432000 1073741824 1073778376 140736419614048 139886291032424 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28645/tid=28657] ppid=28642 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/28645/task/28657/stat : 28657 (java) S 28642 28645 28084 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 29723846 10060525568 55498 33554432000 1073741824 1073778376 140736419614048 139886289978744 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28645/tid=28658] ppid=28642 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/28645/task/28658/stat : 28658 (java) S 28642 28645 28084 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 29723846 10060525568 55498 33554432000 1073741824 1073778376 140736419614048 139886288925576 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28645/tid=28659] ppid=28642 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/28645/task/28659/stat : 28659 (java) S 28642 28645 28084 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29723848 10060525568 55498 33554432000 1073741824 1073778376 140736419614048 139886287874320 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28645/tid=28660] ppid=28642 vsize=9824732 CPUtime=1.45 cores=0,2,4,6
/proc/28645/task/28660/stat : 28660 (java) S 28642 28645 28084 0 -1 4202560 11780 0 0 0 143 2 0 0 20 0 19 0 29723848 10060525568 55498 33554432000 1073741824 1073778376 140736419614048 139886286822200 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28645/tid=28661] ppid=28642 vsize=9824732 CPUtime=1.35 cores=0,2,4,6
/proc/28645/task/28661/stat : 28661 (java) S 28642 28645 28084 0 -1 4202560 14302 0 0 0 132 3 0 0 20 0 19 0 29723848 10060525568 55498 33554432000 1073741824 1073778376 140736419614048 139886285769656 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28645/tid=28662] ppid=28642 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/28645/task/28662/stat : 28662 (java) S 28642 28645 28084 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29723848 10060525568 55498 33554432000 1073741824 1073778376 140736419614048 139886284716792 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28645/tid=28663] ppid=28642 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/28645/task/28663/stat : 28663 (java) S 28642 28645 28084 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29723848 10060525568 55498 33554432000 1073741824 1073778376 140736419614048 139886283664456 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28645/tid=28667] ppid=28642 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/28645/task/28667/stat : 28667 (java) S 28642 28645 28084 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29723912 10060525568 55498 33554432000 1073741824 1073778376 140736419614048 139885137613736 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.38
Current children cumulated vsize (KiB) 9824732


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

/proc/28645/task/28650/stat : 28650 (java) S 28642 28645 28084 0 -1 4202560 436 0 0 0 200 11 0 0 20 0 22 0 29723844 10060525568 608688 33554432000 1073741824 1073778376 140736419614048 139886427162792 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28645/tid=28651] ppid=28642 vsize=9824732 CPUtime=2.33 cores=0,2,4,6
/proc/28645/task/28651/stat : 28651 (java) S 28642 28645 28084 0 -1 4202560 538 0 0 0 221 12 0 0 20 0 22 0 29723844 10060525568 608688 33554432000 1073741824 1073778376 140736419614048 139886426110248 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28645/tid=28652] ppid=28642 vsize=9824732 CPUtime=2.25 cores=0,2,4,6
/proc/28645/task/28652/stat : 28652 (java) S 28642 28645 28084 0 -1 4202560 531 0 0 0 214 11 0 0 20 0 22 0 29723844 10060525568 608688 33554432000 1073741824 1073778376 140736419614048 139886425058216 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28645/tid=28653] ppid=28642 vsize=9824732 CPUtime=2.29 cores=0,2,4,6
/proc/28645/task/28653/stat : 28653 (java) S 28642 28645 28084 0 -1 4202560 569 0 0 0 218 11 0 0 20 0 22 0 29723844 10060525568 608688 33554432000 1073741824 1073778376 140736419614048 139886424005672 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28645/tid=28654] ppid=28642 vsize=9824732 CPUtime=2.52 cores=0,2,4,6
/proc/28645/task/28654/stat : 28654 (java) S 28642 28645 28084 0 -1 4202560 478 0 0 0 240 12 0 0 20 0 22 0 29723844 10060525568 608688 33554432000 1073741824 1073778376 140736419614048 139886422952616 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28645/tid=28655] ppid=28642 vsize=9824732 CPUtime=2.13 cores=0,2,4,6
/proc/28645/task/28655/stat : 28655 (java) S 28642 28645 28084 0 -1 4202560 650 0 0 0 201 12 0 0 20 0 22 0 29723844 10060525568 608688 33554432000 1073741824 1073778376 140736419614048 139886421900072 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28645/tid=28656] ppid=28642 vsize=9824732 CPUtime=3.44 cores=0,2,4,6
/proc/28645/task/28656/stat : 28656 (java) S 28642 28645 28084 0 -1 4202560 1940 0 0 0 329 15 0 0 20 0 22 0 29723846 10060525568 608688 33554432000 1073741824 1073778376 140736419614048 139886291032424 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28645/tid=28657] ppid=28642 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/28645/task/28657/stat : 28657 (java) S 28642 28645 28084 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 29723846 10060525568 608688 33554432000 1073741824 1073778376 140736419614048 139886289978744 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28645/tid=28658] ppid=28642 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/28645/task/28658/stat : 28658 (java) S 28642 28645 28084 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 29723846 10060525568 608688 33554432000 1073741824 1073778376 140736419614048 139886288925576 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28645/tid=28659] ppid=28642 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/28645/task/28659/stat : 28659 (java) S 28642 28645 28084 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29723848 10060525568 608688 33554432000 1073741824 1073778376 140736419614048 139886287874320 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28645/tid=28660] ppid=28642 vsize=9824732 CPUtime=1.8 cores=0,2,4,6
/proc/28645/task/28660/stat : 28660 (java) S 28642 28645 28084 0 -1 4202560 11787 0 0 0 178 2 0 0 20 0 22 0 29723848 10060525568 608688 33554432000 1073741824 1073778376 140736419614048 139886286822200 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28645/tid=28661] ppid=28642 vsize=9824732 CPUtime=2.37 cores=0,2,4,6
/proc/28645/task/28661/stat : 28661 (java) S 28642 28645 28084 0 -1 4202560 17181 0 0 0 233 4 0 0 20 0 22 0 29723848 10060525568 608688 33554432000 1073741824 1073778376 140736419614048 139886285769656 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28645/tid=28662] ppid=28642 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/28645/task/28662/stat : 28662 (java) S 28642 28645 28084 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29723848 10060525568 608688 33554432000 1073741824 1073778376 140736419614048 139886284716792 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28645/tid=28663] ppid=28642 vsize=9824732 CPUtime=0.29 cores=0,2,4,6
/proc/28645/task/28663/stat : 28663 (java) S 28642 28645 28084 0 -1 4202560 51 0 0 0 10 19 0 0 20 0 22 0 29723848 10060525568 608688 33554432000 1073741824 1073778376 140736419614048 139886283664456 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28645/tid=28718] ppid=28642 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/28645/task/28718/stat : 28718 (java) S 28642 28645 28084 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 29724863 10060525568 608688 33554432000 1073741824 1073778376 140736419614048 139885137614120 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28645/tid=28722] ppid=28642 vsize=9824732 CPUtime=852.1 cores=0,2,4,6
/proc/28645/task/28722/stat : 28722 (java) R 28642 28645 28084 0 -1 4202560 52 0 0 0 85196 14 0 0 20 0 22 0 29725813 10060525568 608688 33554432000 1073741824 1073778376 140736419614048 139886281555120 139886297639218 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=28645/tid=28723] ppid=28642 vsize=9824732 CPUtime=852.08 cores=0,2,4,6
/proc/28645/task/28723/stat : 28723 (java) R 28642 28645 28084 0 -1 4202560 986 0 0 0 85167 41 0 0 20 0 22 0 29725813 10060525568 608688 33554432000 1073741824 1073778376 140736419614048 139886282607040 139886297516194 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=28645/tid=28724] ppid=28642 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/28645/task/28724/stat : 28724 (java) S 28642 28645 28084 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 29725813 10060525568 608688 33554432000 1073741824 1073778376 140736419614048 139885138667048 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1757.07
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+903.701 s]
/proc/loadavg: 4.27 4.23 4.06 5/219 28897
/proc/meminfo: memFree=24857024/32872528 swapFree=1542984/1696284
[pid=28645] ppid=28642 vsize=9824732 CPUtime=1800.04 cores=0,2,4,6
/proc/28645/stat : 28645 (java) S 28642 28645 28084 0 -1 4202496 40944 0 1 0 179789 215 0 0 20 0 22 0 29723842 10060525568 629418 33554432000 1073741824 1073778376 140736419614048 140736419605184 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28645/statm: 2456183 629418 2303 9 0 2446860 0
[pid=28645/tid=28647] ppid=28642 vsize=9824732 CPUtime=0.71 cores=0,2,4,6
/proc/28645/task/28647/stat : 28647 (java) S 28642 28645 28084 0 -1 4202560 2461 0 1 0 67 4 0 0 20 0 22 0 29723843 10060525568 629418 33554432000 1073741824 1073778376 140736419614048 139886467777400 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28645/tid=28648] ppid=28642 vsize=9824732 CPUtime=2.47 cores=0,2,4,6
/proc/28645/task/28648/stat : 28648 (java) S 28642 28645 28084 0 -1 4202560 469 0 0 0 235 12 0 0 20 0 22 0 29723844 10060525568 629418 33554432000 1073741824 1073778376 140736419614048 139886429268392 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28645/tid=28649] ppid=28642 vsize=9824732 CPUtime=2.27 cores=0,2,4,6
/proc/28645/task/28649/stat : 28649 (java) S 28642 28645 28084 0 -1 4202560 401 0 0 0 215 12 0 0 20 0 22 0 29723844 10060525568 629418 33554432000 1073741824 1073778376 140736419614048 139886428215848 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28645/tid=28650] ppid=28642 vsize=9824732 CPUtime=2.16 cores=0,2,4,6
/proc/28645/task/28650/stat : 28650 (java) S 28642 28645 28084 0 -1 4202560 446 0 0 0 204 12 0 0 20 0 22 0 29723844 10060525568 629418 33554432000 1073741824 1073778376 140736419614048 139886427162792 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28645/tid=28651] ppid=28642 vsize=9824732 CPUtime=2.38 cores=0,2,4,6
/proc/28645/task/28651/stat : 28651 (java) S 28642 28645 28084 0 -1 4202560 549 0 0 0 226 12 0 0 20 0 22 0 29723844 10060525568 629418 33554432000 1073741824 1073778376 140736419614048 139886426110248 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28645/tid=28652] ppid=28642 vsize=9824732 CPUtime=2.3 cores=0,2,4,6
/proc/28645/task/28652/stat : 28652 (java) S 28642 28645 28084 0 -1 4202560 535 0 0 0 218 12 0 0 20 0 22 0 29723844 10060525568 629418 33554432000 1073741824 1073778376 140736419614048 139886425058216 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28645/tid=28653] ppid=28642 vsize=9824732 CPUtime=2.35 cores=0,2,4,6
/proc/28645/task/28653/stat : 28653 (java) S 28642 28645 28084 0 -1 4202560 585 0 0 0 224 11 0 0 20 0 22 0 29723844 10060525568 629418 33554432000 1073741824 1073778376 140736419614048 139886424005672 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28645/tid=28654] ppid=28642 vsize=9824732 CPUtime=2.56 cores=0,2,4,6
/proc/28645/task/28654/stat : 28654 (java) S 28642 28645 28084 0 -1 4202560 485 0 0 0 244 12 0 0 20 0 22 0 29723844 10060525568 629418 33554432000 1073741824 1073778376 140736419614048 139886422952616 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28645/tid=28655] ppid=28642 vsize=9824732 CPUtime=2.2 cores=0,2,4,6
/proc/28645/task/28655/stat : 28655 (java) S 28642 28645 28084 0 -1 4202560 660 0 0 0 208 12 0 0 20 0 22 0 29723844 10060525568 629418 33554432000 1073741824 1073778376 140736419614048 139886421900072 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28645/tid=28656] ppid=28642 vsize=9824732 CPUtime=3.44 cores=0,2,4,6
/proc/28645/task/28656/stat : 28656 (java) S 28642 28645 28084 0 -1 4202560 1942 0 0 0 329 15 0 0 20 0 22 0 29723846 10060525568 629418 33554432000 1073741824 1073778376 140736419614048 139886291032424 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28645/tid=28657] ppid=28642 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/28645/task/28657/stat : 28657 (java) S 28642 28645 28084 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 29723846 10060525568 629418 33554432000 1073741824 1073778376 140736419614048 139886289978744 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28645/tid=28658] ppid=28642 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/28645/task/28658/stat : 28658 (java) S 28642 28645 28084 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 29723846 10060525568 629418 33554432000 1073741824 1073778376 140736419614048 139886288925576 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28645/tid=28659] ppid=28642 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/28645/task/28659/stat : 28659 (java) S 28642 28645 28084 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29723848 10060525568 629418 33554432000 1073741824 1073778376 140736419614048 139886287874320 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28645/tid=28660] ppid=28642 vsize=9824732 CPUtime=1.8 cores=0,2,4,6
/proc/28645/task/28660/stat : 28660 (java) S 28642 28645 28084 0 -1 4202560 11787 0 0 0 178 2 0 0 20 0 22 0 29723848 10060525568 629418 33554432000 1073741824 1073778376 140736419614048 139886286822200 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28645/tid=28661] ppid=28642 vsize=9824732 CPUtime=2.37 cores=0,2,4,6
/proc/28645/task/28661/stat : 28661 (java) S 28642 28645 28084 0 -1 4202560 17181 0 0 0 233 4 0 0 20 0 22 0 29723848 10060525568 629418 33554432000 1073741824 1073778376 140736419614048 139886285769656 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28645/tid=28662] ppid=28642 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/28645/task/28662/stat : 28662 (java) S 28642 28645 28084 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29723848 10060525568 629418 33554432000 1073741824 1073778376 140736419614048 139886284716792 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28645/tid=28663] ppid=28642 vsize=9824732 CPUtime=0.3 cores=0,2,4,6
/proc/28645/task/28663/stat : 28663 (java) S 28642 28645 28084 0 -1 4202560 53 0 0 0 11 19 0 0 20 0 22 0 29723848 10060525568 629418 33554432000 1073741824 1073778376 140736419614048 139886283664456 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28645/tid=28718] ppid=28642 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/28645/task/28718/stat : 28718 (java) S 28642 28645 28084 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 29724863 10060525568 629418 33554432000 1073741824 1073778376 140736419614048 139885137614120 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28645/tid=28722] ppid=28642 vsize=9824732 CPUtime=873.32 cores=0,2,4,6
/proc/28645/task/28722/stat : 28722 (java) R 28642 28645 28084 0 -1 4202560 55 0 0 0 87317 15 0 0 20 0 22 0 29725813 10060525568 629418 33554432000 1073741824 1073778376 140736419614048 139886281555120 139886297639218 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=28645/tid=28723] ppid=28642 vsize=9824732 CPUtime=873.29 cores=0,2,4,6
/proc/28645/task/28723/stat : 28723 (java) R 28642 28645 28084 0 -1 4202560 1415 0 0 0 87287 42 0 0 20 0 22 0 29725813 10060525568 629418 33554432000 1073741824 1073778376 140736419614048 139886282607040 139886297313018 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=28645/tid=28724] ppid=28642 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/28645/task/28724/stat : 28724 (java) S 28642 28645 28084 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 29725813 10060525568 629418 33554432000 1073741824 1073778376 140736419614048 139885138667048 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
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 28645 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+903.701 s]
/proc/loadavg: 4.27 4.23 4.06 5/219 28897
/proc/meminfo: memFree=24857024/32872528 swapFree=1542984/1696284
[pid=28645] ppid=28642 vsize=9824732 CPUtime=1800.04 cores=0,2,4,6
/proc/28645/stat : 28645 (java) S 28642 28645 28084 0 -1 4202496 40944 0 1 0 179789 215 0 0 20 0 22 0 29723842 10060525568 629418 33554432000 1073741824 1073778376 140736419614048 140736419605184 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28645/statm: 2456183 629418 2303 9 0 2446860 0
[pid=28645/tid=28647] ppid=28642 vsize=9824732 CPUtime=0.71 cores=0,2,4,6
/proc/28645/task/28647/stat : 28647 (java) S 28642 28645 28084 0 -1 4202560 2461 0 1 0 67 4 0 0 20 0 22 0 29723843 10060525568 629418 33554432000 1073741824 1073778376 140736419614048 139886467777400 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28645/tid=28648] ppid=28642 vsize=9824732 CPUtime=2.47 cores=0,2,4,6
/proc/28645/task/28648/stat : 28648 (java) S 28642 28645 28084 0 -1 4202560 469 0 0 0 235 12 0 0 20 0 22 0 29723844 10060525568 629418 33554432000 1073741824 1073778376 140736419614048 139886429268392 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28645/tid=28649] ppid=28642 vsize=9824732 CPUtime=2.27 cores=0,2,4,6
/proc/28645/task/28649/stat : 28649 (java) S 28642 28645 28084 0 -1 4202560 401 0 0 0 215 12 0 0 20 0 22 0 29723844 10060525568 629418 33554432000 1073741824 1073778376 140736419614048 139886428215848 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28645/tid=28650] ppid=28642 vsize=9824732 CPUtime=2.16 cores=0,2,4,6
/proc/28645/task/28650/stat : 28650 (java) S 28642 28645 28084 0 -1 4202560 446 0 0 0 204 12 0 0 20 0 22 0 29723844 10060525568 629418 33554432000 1073741824 1073778376 140736419614048 139886427162792 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28645/tid=28651] ppid=28642 vsize=9824732 CPUtime=2.38 cores=0,2,4,6
/proc/28645/task/28651/stat : 28651 (java) S 28642 28645 28084 0 -1 4202560 549 0 0 0 226 12 0 0 20 0 22 0 29723844 10060525568 629418 33554432000 1073741824 1073778376 140736419614048 139886426110248 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28645/tid=28652] ppid=28642 vsize=9824732 CPUtime=2.3 cores=0,2,4,6
/proc/28645/task/28652/stat : 28652 (java) S 28642 28645 28084 0 -1 4202560 535 0 0 0 218 12 0 0 20 0 22 0 29723844 10060525568 629418 33554432000 1073741824 1073778376 140736419614048 139886425058216 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28645/tid=28653] ppid=28642 vsize=9824732 CPUtime=2.35 cores=0,2,4,6
/proc/28645/task/28653/stat : 28653 (java) S 28642 28645 28084 0 -1 4202560 585 0 0 0 224 11 0 0 20 0 22 0 29723844 10060525568 629418 33554432000 1073741824 1073778376 140736419614048 139886424005672 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28645/tid=28654] ppid=28642 vsize=9824732 CPUtime=2.56 cores=0,2,4,6
/proc/28645/task/28654/stat : 28654 (java) S 28642 28645 28084 0 -1 4202560 485 0 0 0 244 12 0 0 20 0 22 0 29723844 10060525568 629418 33554432000 1073741824 1073778376 140736419614048 139886422952616 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28645/tid=28655] ppid=28642 vsize=9824732 CPUtime=2.2 cores=0,2,4,6
/proc/28645/task/28655/stat : 28655 (java) S 28642 28645 28084 0 -1 4202560 660 0 0 0 208 12 0 0 20 0 22 0 29723844 10060525568 629418 33554432000 1073741824 1073778376 140736419614048 139886421900072 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28645/tid=28656] ppid=28642 vsize=9824732 CPUtime=3.44 cores=0,2,4,6
/proc/28645/task/28656/stat : 28656 (java) S 28642 28645 28084 0 -1 4202560 1942 0 0 0 329 15 0 0 20 0 22 0 29723846 10060525568 629418 33554432000 1073741824 1073778376 140736419614048 139886291032424 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28645/tid=28657] ppid=28642 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/28645/task/28657/stat : 28657 (java) S 28642 28645 28084 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 29723846 10060525568 629418 33554432000 1073741824 1073778376 140736419614048 139886289978744 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28645/tid=28658] ppid=28642 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/28645/task/28658/stat : 28658 (java) S 28642 28645 28084 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 29723846 10060525568 629418 33554432000 1073741824 1073778376 140736419614048 139886288925576 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28645/tid=28659] ppid=28642 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/28645/task/28659/stat : 28659 (java) S 28642 28645 28084 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29723848 10060525568 629418 33554432000 1073741824 1073778376 140736419614048 139886287874320 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28645/tid=28660] ppid=28642 vsize=9824732 CPUtime=1.8 cores=0,2,4,6
/proc/28645/task/28660/stat : 28660 (java) S 28642 28645 28084 0 -1 4202560 11787 0 0 0 178 2 0 0 20 0 22 0 29723848 10060525568 629418 33554432000 1073741824 1073778376 140736419614048 139886286822200 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28645/tid=28661] ppid=28642 vsize=9824732 CPUtime=2.37 cores=0,2,4,6
/proc/28645/task/28661/stat : 28661 (java) S 28642 28645 28084 0 -1 4202560 17181 0 0 0 233 4 0 0 20 0 22 0 29723848 10060525568 629418 33554432000 1073741824 1073778376 140736419614048 139886285769656 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28645/tid=28662] ppid=28642 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/28645/task/28662/stat : 28662 (java) S 28642 28645 28084 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29723848 10060525568 629418 33554432000 1073741824 1073778376 140736419614048 139886284716792 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28645/tid=28663] ppid=28642 vsize=9824732 CPUtime=0.3 cores=0,2,4,6
/proc/28645/task/28663/stat : 28663 (java) S 28642 28645 28084 0 -1 4202560 53 0 0 0 11 19 0 0 20 0 22 0 29723848 10060525568 629418 33554432000 1073741824 1073778376 140736419614048 139886283664456 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28645/tid=28718] ppid=28642 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/28645/task/28718/stat : 28718 (java) S 28642 28645 28084 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 29724863 10060525568 629418 33554432000 1073741824 1073778376 140736419614048 139885137614120 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28645/tid=28722] ppid=28642 vsize=9824732 CPUtime=873.32 cores=0,2,4,6
/proc/28645/task/28722/stat : 28722 (java) R 28642 28645 28084 0 -1 4202560 55 0 0 0 87317 15 0 0 20 0 22 0 29725813 10060525568 629418 33554432000 1073741824 1073778376 140736419614048 139886281555120 139886297639218 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=28645/tid=28723] ppid=28642 vsize=9824732 CPUtime=873.29 cores=0,2,4,6
/proc/28645/task/28723/stat : 28723 (java) R 28642 28645 28084 0 -1 4202560 1415 0 0 0 87287 42 0 0 20 0 22 0 29725813 10060525568 629418 33554432000 1073741824 1073778376 140736419614048 139886282607040 139886297313018 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=28645/tid=28724] ppid=28642 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/28645/task/28724/stat : 28724 (java) S 28642 28645 28084 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 29725813 10060525568 629418 33554432000 1073741824 1073778376 140736419614048 139885138667048 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 9824732

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 28645 and gives
#  childrusage.ru_utime.tv_sec=1793
#  childrusage.ru_utime.tv_usec=528342
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=612602
# CPU time returned by wait4() is 1796.14
# while last known CPU time is 1800.04
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 903.764
CPU time (s): 1800.04
CPU user time (s): 1797.89
CPU system time (s): 2.15
CPU usage (%): 199.172
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.53
system time used= 2.6126
maximum resident set size= 2968064
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40980
page faults= 1
swaps= 0
block input operations= 0
block output operations= 952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 26986
involuntary context switches= 41162

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.62415 second user time and 7.47186 second system time

The end

Launcher Data 

Begin job on node125 at 2016-06-18 21:06:12
IDJOB=4106755
IDBENCH=48233
IDSOLVER=2543
FILE ID=node125/4106755-1466276772
RUNJOBID= node125-1466274976-28100
PBS_JOBID= 19918241
Free space on /tmp= 71744 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_200_25_3.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106755-1466276772/watcher-4106755-1466276772 -o /tmp/evaluation-result-4106755-1466276772/solver-4106755-1466276772 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1466274976-28100 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4106755-1466276772.opb

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

MD5SUM BENCH= 7d5c1eba9f9b9c55d272c1a8f28b465a
RANDOM SEED=1885306651

node125.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.683
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.36
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.683
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.683
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.683
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.54
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.683
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.683
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.683
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.683
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:        26458180 kB
Buffers:          145692 kB
Cached:           173484 kB
SwapCached:          688 kB
Active:          3709240 kB
Inactive:         244252 kB
Active(anon):    3636016 kB
Inactive(anon):     1040 kB
Active(file):      73224 kB
Inactive(file):   243212 kB
Unevictable:     1696284 kB
Mlocked:         1542984 kB
SwapTotal:      67108856 kB
SwapFree:       67098232 kB
Dirty:               456 kB
Writeback:             0 kB
AnonPages:       5346780 kB
Mapped:            15468 kB
Shmem:                 0 kB
Slab:             604444 kB
SReclaimable:      48232 kB
SUnreclaim:       556212 kB
KernelStack:        1808 kB
PageTables:        14932 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    5685612 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3704832 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= 71744 MiB
End job on node125 at 2016-06-18 21:21:16