Trace number 4105397

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 Resolution PB16SAT (TO)139 1800.03 1792.34

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-max512.r.opb
MD5SUMabda325d00dae29cc1f423bbedcd64ad
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark113
Best CPU time to get the best result obtained on this benchmark0.029994
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 113
Optimality of the best value was proved YES
Number of variables515
Total number of constraints559
Number of constraints which are clauses559
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint22
Number of terms in the objective function 515
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 515
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 515
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.08	c version PB16.v20160501
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		501472288
0.00/0.08	c Max memory 		7480803328
0.00/0.08	c Total memory 		504102912
0.00/0.08	c Number of processors 	8
0.11/0.10	c Pseudo Boolean Optimization by upper bound
0.11/0.10	c --- Begin Solver configuration ---
0.11/0.10	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.11/0.10	c Learn all clauses as in MiniSAT
0.11/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.10	c No reason simplification
0.11/0.10	c Glucose 2.1 dynamic restart strategy
0.11/0.10	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.11/0.10	c timeout=2147483s
0.11/0.10	c DB Simplification allowed=false
0.11/0.10	c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90
0.11/0.10	c --- End Solver configuration ---
0.11/0.10	c solving HOME/instance-4105397-1466260540.opb
0.11/0.10	c reading problem ... 
0.11/0.10	c  objective function found
0.29/0.20	c ... done. Wall clock time 0.105s.
0.29/0.20	c declared #vars     515
0.29/0.20	c #constraints  559
0.29/0.20	c constraints type 
0.29/0.21	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 501
0.29/0.21	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 58
0.29/0.21	c 559 constraints processed.
0.29/0.21	c objective function length is 515 literals
0.29/0.22	c SATISFIABLE
0.29/0.22	c OPTIMIZING...
0.29/0.22	c Got one! Elapsed wall clock time (in seconds):0.116
0.29/0.22	o 139
0.83/0.54	c cleaning 2497 clauses out of 5001 with flag 10280/5001
1.27/0.82	c cleaning 4244 clauses out of 8503 with flag 23393/11000
1.47/1.09	c cleaning 5623 clauses out of 11260 with flag 38270/18001
1.99/1.50	c cleaning 6813 clauses out of 13637 with flag 54689/26001
2.40/1.92	c cleaning 7903 clauses out of 15824 with flag 73512/35001
2.90/2.43	c cleaning 8956 clauses out of 17921 with flag 95107/45001
3.50/3.08	c cleaning 9980 clauses out of 19964 with flag 119845/56000
4.20/3.71	c cleaning 10983 clauses out of 21984 with flag 145097/68000
4.81/4.39	c cleaning 11994 clauses out of 24001 with flag 172531/81000
5.72/5.27	c cleaning 12997 clauses out of 26010 with flag 202027/95003
6.71/6.29	c cleaning 13999 clauses out of 28011 with flag 234389/110001
7.61/7.18	c cleaning 14998 clauses out of 30012 with flag 268839/126001
8.62/8.18	c cleaning 16000 clauses out of 32014 with flag 306065/143001
9.82/9.36	c cleaning 16995 clauses out of 34013 with flag 344814/161000
11.21/10.76	c cleaning 17998 clauses out of 36018 with flag 386203/180000
12.51/12.10	c cleaning 18999 clauses out of 38020 with flag 429978/200000
14.13/13.64	c cleaning 20004 clauses out of 40022 with flag 476778/221001
15.63/15.18	c cleaning 20997 clauses out of 42018 with flag 527066/243001
17.53/17.01	c cleaning 22001 clauses out of 44020 with flag 579596/266000
19.24/18.73	c cleaning 22998 clauses out of 46020 with flag 633821/290001
21.33/20.86	c cleaning 24002 clauses out of 48022 with flag 689316/315001
23.74/23.21	c cleaning 25001 clauses out of 50020 with flag 747980/341001
26.33/25.87	c cleaning 26000 clauses out of 52018 with flag 806153/368000
29.24/28.75	c cleaning 26994 clauses out of 54018 with flag 868340/396000
32.38/31.86	c cleaning 27996 clauses out of 56024 with flag 931729/425000
36.08/35.51	c cleaning 29003 clauses out of 58029 with flag 999375/455001
39.78/39.28	c cleaning 30001 clauses out of 60026 with flag 1068803/486001
43.48/42.93	c cleaning 30997 clauses out of 62025 with flag 1139106/518001
46.88/46.38	c cleaning 32002 clauses out of 64027 with flag 1212548/551000
50.28/49.73	c cleaning 33007 clauses out of 66025 with flag 1288684/585000
53.73/53.04	c cleaning 34002 clauses out of 68019 with flag 1367475/620001
57.03/56.31	c cleaning 34996 clauses out of 70016 with flag 1448986/656000
60.13/59.50	c cleaning 36000 clauses out of 72020 with flag 1533651/693000
63.93/63.28	c cleaning 36996 clauses out of 74020 with flag 1619915/731000
68.22/67.53	c cleaning 38002 clauses out of 76026 with flag 1708946/770002
72.12/71.44	c cleaning 38999 clauses out of 78022 with flag 1799616/810000
76.48/75.70	c cleaning 40001 clauses out of 80023 with flag 1892628/851000
80.88/80.19	c cleaning 41001 clauses out of 82022 with flag 1988454/893000
87.18/86.43	c cleaning 41998 clauses out of 84021 with flag 2086836/936000
92.88/92.17	c cleaning 43000 clauses out of 86024 with flag 2188058/980001
98.38/97.60	c cleaning 43998 clauses out of 88023 with flag 2290928/1025000
103.42/102.55	c cleaning 45000 clauses out of 90025 with flag 2396626/1071000
108.91/108.09	c cleaning 46004 clauses out of 92027 with flag 2504226/1118002
114.51/113.67	c cleaning 46994 clauses out of 94022 with flag 2613994/1166001
121.21/120.32	c cleaning 48004 clauses out of 96029 with flag 2726217/1215002
127.14/126.11	c cleaning 48998 clauses out of 98024 with flag 2840750/1265001
133.75/132.76	c cleaning 49999 clauses out of 100027 with flag 2957651/1316002
139.95/138.94	c cleaning 51005 clauses out of 102026 with flag 3076810/1368000
145.85/144.87	c cleaning 52000 clauses out of 104021 with flag 3198811/1421000
153.33/152.17	c cleaning 53000 clauses out of 106021 with flag 3322430/1475000
161.73/160.59	c cleaning 53999 clauses out of 108021 with flag 3448933/1530000
171.04/169.80	c cleaning 55001 clauses out of 110023 with flag 3577291/1586001
179.71/178.21	c cleaning 55999 clauses out of 112021 with flag 3708062/1643000
188.20/186.78	c cleaning 56997 clauses out of 114023 with flag 3840755/1701001
197.85/196.22	c cleaning 57997 clauses out of 116026 with flag 3975473/1760001
207.86/206.27	c cleaning 59005 clauses out of 118028 with flag 4113003/1820000
217.76/216.10	c cleaning 60002 clauses out of 120023 with flag 4250223/1881000
228.27/226.49	c cleaning 60999 clauses out of 122022 with flag 4391319/1943001
237.57/235.74	c cleaning 61999 clauses out of 124022 with flag 4535981/2006000
248.11/246.28	c cleaning 63007 clauses out of 126024 with flag 4679536/2070001
259.29/257.35	c cleaning 63996 clauses out of 128016 with flag 4824490/2135000
270.69/268.75	c cleaning 65002 clauses out of 130020 with flag 4971973/2201000
280.39/278.35	c cleaning 66002 clauses out of 132018 with flag 5121407/2268000
289.59/287.58	c cleaning 66996 clauses out of 134016 with flag 5276206/2336000
300.12/298.10	c cleaning 67998 clauses out of 136020 with flag 5435982/2405000
310.61/308.56	c cleaning 68999 clauses out of 138023 with flag 5597455/2475001
321.55/319.42	c cleaning 70000 clauses out of 140024 with flag 5760346/2546001
332.35/330.13	c cleaning 70999 clauses out of 142023 with flag 5926329/2618000
342.64/340.48	c cleaning 71998 clauses out of 144024 with flag 6095563/2691000
353.30/351.09	c cleaning 73004 clauses out of 146027 with flag 6266514/2765001
366.17/363.84	c cleaning 74004 clauses out of 148025 with flag 6439466/2840003
381.17/378.81	c cleaning 74999 clauses out of 150019 with flag 6615536/2916001
395.23/392.81	c cleaning 76000 clauses out of 152020 with flag 6792720/2993001
410.27/407.86	c cleaning 76999 clauses out of 154023 with flag 6973265/3071004
425.24/422.79	c cleaning 77999 clauses out of 156020 with flag 7157581/3150000
437.54/435.08	c cleaning 79001 clauses out of 158023 with flag 7342264/3230002
450.76/448.29	c cleaning 79993 clauses out of 160021 with flag 7527404/3311001
465.18/462.69	c cleaning 81000 clauses out of 162027 with flag 7715672/3393000
482.08/479.44	c cleaning 82000 clauses out of 164028 with flag 7905566/3476001
500.94/498.30	c cleaning 83003 clauses out of 166028 with flag 8096597/3560001
520.83/518.05	c cleaning 84004 clauses out of 168025 with flag 8287183/3645001
538.42/535.69	c cleaning 85002 clauses out of 170021 with flag 8482520/3731001
559.03/556.28	c cleaning 85995 clauses out of 172019 with flag 8681472/3818001
579.75/576.93	c cleaning 86995 clauses out of 174023 with flag 8882460/3906000
598.38/595.53	c cleaning 87998 clauses out of 176029 with flag 9085726/3995001
616.10/613.23	c cleaning 89001 clauses out of 178031 with flag 9288379/4085001
635.00/632.17	c cleaning 90007 clauses out of 180029 with flag 9494735/4176000
657.02/654.17	c cleaning 90996 clauses out of 182022 with flag 9704693/4268000
681.49/678.51	c cleaning 91997 clauses out of 184027 with flag 9918850/4361001
707.88/704.90	c cleaning 93005 clauses out of 186030 with flag 10134060/4455001
729.64/726.58	c cleaning 94000 clauses out of 188024 with flag 10352768/4550000
752.67/749.58	c cleaning 95002 clauses out of 190024 with flag 10571950/4646000
778.23/774.90	c cleaning 95996 clauses out of 192022 with flag 10792031/4743000
803.91/800.52	c cleaning 96997 clauses out of 194026 with flag 11015979/4841000
826.79/823.38	c cleaning 98006 clauses out of 196030 with flag 11243785/4940001
851.37/847.81	c cleaning 98997 clauses out of 198023 with flag 11473618/5040000
878.47/874.87	c cleaning 99998 clauses out of 200027 with flag 11705142/5141001
905.87/902.17	c cleaning 101003 clauses out of 202028 with flag 11937693/5243000
932.53/928.74	c cleaning 101997 clauses out of 204026 with flag 12174010/5346001
962.43/958.53	c cleaning 102997 clauses out of 206028 with flag 12411776/5450000
995.13/991.14	c cleaning 103999 clauses out of 208031 with flag 12652627/5555000
1031.26/1027.23	c cleaning 105005 clauses out of 210032 with flag 12897323/5661000
1063.94/1059.84	c cleaning 106001 clauses out of 212027 with flag 13142141/5768000
1097.37/1093.15	c cleaning 107002 clauses out of 214026 with flag 13385745/5876000
1130.00/1125.65	c cleaning 108001 clauses out of 216026 with flag 13633168/5985002
1164.72/1160.24	c cleaning 108999 clauses out of 218023 with flag 13883422/6095000
1194.44/1189.86	c cleaning 110001 clauses out of 220024 with flag 14134293/6206000
1220.10/1215.33	c cleaning 111001 clauses out of 222024 with flag 14388608/6318001
1247.29/1242.46	c cleaning 111999 clauses out of 224022 with flag 14644619/6431000
1281.50/1276.54	c cleaning 112994 clauses out of 226023 with flag 14904288/6545000
1319.51/1314.38	c cleaning 114000 clauses out of 228029 with flag 15165588/6660000
1349.75/1344.42	c cleaning 115003 clauses out of 230029 with flag 15428005/6776000
1378.17/1372.72	c cleaning 115998 clauses out of 232026 with flag 15694274/6893000
1409.88/1404.38	c cleaning 116998 clauses out of 234029 with flag 15963986/7011001
1437.18/1431.48	c cleaning 118002 clauses out of 236030 with flag 16235110/7130000
1474.10/1468.23	c cleaning 118998 clauses out of 238028 with flag 16507778/7250000
1511.44/1505.36	c cleaning 120003 clauses out of 240031 with flag 16784914/7371001
1545.24/1538.93	c cleaning 120998 clauses out of 242028 with flag 17064118/7493001
1579.79/1573.40	c cleaning 122002 clauses out of 244030 with flag 17345917/7616001
1612.08/1605.42	c cleaning 123000 clauses out of 246028 with flag 17629336/7740001
1647.08/1640.29	c cleaning 124000 clauses out of 248028 with flag 17915866/7865001
1684.75/1677.76	c cleaning 124998 clauses out of 250028 with flag 18204652/7991001
1713.08/1705.90	c cleaning 126001 clauses out of 252029 with flag 18497068/8118000
1751.55/1744.27	c cleaning 126997 clauses out of 254028 with flag 18794481/8246000
1786.71/1779.11	c cleaning 128002 clauses out of 256032 with flag 19094582/8375001
1800.03/1792.30	c starts		: 2
1800.03/1792.30	c conflicts		: 8444848
1800.03/1792.30	c decisions		: 11960836
1800.03/1792.30	c propagations		: 123860098
1800.03/1792.30	c inspects		: 38879156962
1800.03/1792.30	c shortcuts		: 0
1800.03/1792.30	c learnt literals	: 0
1800.03/1792.30	c learnt binary clauses	: 0
1800.03/1792.30	c learnt ternary clauses	: 0
1800.03/1792.30	c learnt constraints	: 8444848
1800.03/1792.30	c ignored constraints	: 0
1800.03/1792.30	c root simplifications	: 0
1800.03/1792.30	c removed literals (reason simplification)	: 0
1800.03/1792.30	c reason swapping (by a shorter reason)	: 0
1800.03/1792.30	c Calls to reduceDB	: 125
1800.03/1792.30	c Number of update (reduction) of LBD	: 805087
1800.03/1792.30	c Imported unit clauses	: 0
1800.03/1792.30	c number of reductions to clauses (during analyze)	: 0
1800.03/1792.30	c number of learned constraints concerned by reduction	: 0
1800.03/1792.30	c number of learning phase by resolution	: 0
1800.03/1792.30	c number of learning phase by cutting planes	: 0
1800.03/1792.30	c speed (assignments/second)	: 69114.73282093462
1800.03/1792.30	c non guided choices	0
1800.03/1792.33	c learnt constraints type 
1800.03/1792.33	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 197877
1800.03/1792.33	s SATISFIABLE
1800.03/1792.33	c Found 1 solution(s)
1800.03/1792.33	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 
1800.03/1792.34	c objective function=139
1800.03/1792.34	c Total wall clock time (in seconds): 1792.235

Verifier Data 

OK	139

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-4105397-1466260540/watcher-4105397-1466260540 -o /tmp/evaluation-result-4105397-1466260540/solver-4105397-1466260540 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1466258740-12610 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4105397-1466260540.opb 

pid=12896
running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.06 2.12 2.36 3/194 12899
/proc/meminfo: memFree=31057144/32872528 swapFree=681964/737152
[pid=12899] ppid=12896 vsize=96268 CPUtime=0 cores=1,3,5,7
/proc/12899/stat : 12899 (java) S 12896 12899 6358 0 -1 4202496 1366 0 0 0 0 0 0 0 20 0 2 0 28103223 98578432 989 33554432000 1073741824 1073778376 140734539256640 140734539247776 213869690941 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12899/statm: 24334 992 757 9 0 16774 0
[pid=12899/tid=12900] ppid=12896 vsize=97336 CPUtime=0 cores=1,3,5,7
/proc/12899/task/12900/stat : 12900 (java) R 12896 12899 6358 0 -1 4202560 172 0 0 0 0 0 0 0 20 0 2 0 28103224 99672064 1019 33554432000 1073741824 1073778376 140734539256640 140585424106168 213866333072 0 0 0 16784584 0 0 0 -1 1 0 0 0 0 0

[startup+0.10006 s]
/proc/loadavg: 2.06 2.12 2.36 3/194 12899
/proc/meminfo: memFree=31057144/32872528 swapFree=681964/737152
[pid=12899] ppid=12896 vsize=9558476 CPUtime=0.11 cores=1,3,5,7
/proc/12899/stat : 12899 (java) S 12896 12899 6358 0 -1 4202496 4519 0 1 0 9 2 0 0 20 0 18 0 28103223 9787879424 6152 33554432000 1073741824 1073778376 140734539256640 140734539247776 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12899/statm: 2389619 6152 2157 9 0 2380296 0
[pid=12899/tid=12900] ppid=12896 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/12899/task/12900/stat : 12900 (java) R 12896 12899 6358 0 -1 4202560 2405 0 1 0 6 1 0 0 20 0 18 0 28103224 9787879424 6152 33554432000 1073741824 1073778376 140734539256640 140585424108448 213869716749 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558476

[startup+0.200322 s]
/proc/loadavg: 2.06 2.12 2.36 3/194 12899
/proc/meminfo: memFree=31057144/32872528 swapFree=681964/737152
[pid=12899] ppid=12896 vsize=9558476 CPUtime=0.29 cores=1,3,5,7
/proc/12899/stat : 12899 (java) S 12896 12899 6358 0 -1 4202496 5070 0 1 0 27 2 0 0 20 0 18 0 28103223 9787879424 6913 33554432000 1073741824 1073778376 140734539256640 140734539247776 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12899/statm: 2389619 6913 2217 9 0 2380296 0
[pid=12899/tid=12900] ppid=12896 vsize=9558476 CPUtime=0.17 cores=1,3,5,7
/proc/12899/task/12900/stat : 12900 (java) R 12896 12899 6358 0 -1 4202560 2422 0 1 0 16 1 0 0 20 0 18 0 28103224 9787879424 6913 33554432000 1073741824 1073778376 140734539256640 140585424110008 140585295824143 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9558476

[startup+0.300382 s]
/proc/loadavg: 2.06 2.12 2.36 3/194 12899
/proc/meminfo: memFree=31057144/32872528 swapFree=681964/737152
[pid=12899] ppid=12896 vsize=9625040 CPUtime=0.54 cores=1,3,5,7
/proc/12899/stat : 12899 (java) S 12896 12899 6358 0 -1 4202496 7568 0 1 0 51 3 0 0 20 0 19 0 28103223 9856040960 8903 33554432000 1073741824 1073778376 140734539256640 140734539247776 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12899/statm: 2406260 8903 2243 9 0 2396937 0
[pid=12899/tid=12900] ppid=12896 vsize=9625040 CPUtime=0.27 cores=1,3,5,7
/proc/12899/task/12900/stat : 12900 (java) R 12896 12899 6358 0 -1 4202560 2435 0 1 0 26 1 0 0 20 0 19 0 28103224 9856040960 8903 33554432000 1073741824 1073778376 140734539256640 140585424109640 140585295736141 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 9625040

[startup+0.700321 s]
/proc/loadavg: 2.06 2.12 2.36 3/194 12899
/proc/meminfo: memFree=31057144/32872528 swapFree=681964/737152
[pid=12899] ppid=12896 vsize=9625040 CPUtime=1.14 cores=1,3,5,7
/proc/12899/stat : 12899 (java) S 12896 12899 6358 0 -1 4202496 8530 0 1 0 111 3 0 0 20 0 19 0 28103223 9856040960 10749 33554432000 1073741824 1073778376 140734539256640 140734539247776 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12899/statm: 2406260 10749 2255 9 0 2396937 0
[pid=12899/tid=12900] ppid=12896 vsize=9625040 CPUtime=0.67 cores=1,3,5,7
/proc/12899/task/12900/stat : 12900 (java) R 12896 12899 6358 0 -1 4202560 2438 0 1 0 66 1 0 0 20 0 19 0 28103224 9856040960 10749 33554432000 1073741824 1073778376 140734539256640 140585424109960 140585296198347 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.14
Current children cumulated vsize (KiB) 9625040

[startup+1.50075 s]
/proc/loadavg: 2.06 2.12 2.36 5/213 12918
/proc/meminfo: memFree=31016500/32872528 swapFree=681964/737152
[pid=12899] ppid=12896 vsize=9625040 CPUtime=1.99 cores=1,3,5,7
/proc/12899/stat : 12899 (java) S 12896 12899 6358 0 -1 4202496 8540 0 1 0 196 3 0 0 20 0 19 0 28103223 9856040960 13313 33554432000 1073741824 1073778376 140734539256640 140734539247776 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12899/statm: 2406260 13313 2257 9 0 2396937 0
[pid=12899/tid=12900] ppid=12896 vsize=9625040 CPUtime=1.47 cores=1,3,5,7
/proc/12899/task/12900/stat : 12900 (java) R 12896 12899 6358 0 -1 4202560 2444 0 1 0 146 1 0 0 20 0 19 0 28103224 9856040960 13313 33554432000 1073741824 1073778376 140734539256640 140585424101072 140585296402912 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=12899/tid=12902] ppid=12896 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12899/task/12902/stat : 12902 (java) S 12896 12899 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28103224 9856040960 13313 33554432000 1073741824 1073778376 140734539256640 140585268136616 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12899/tid=12903] ppid=12896 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12899/task/12903/stat : 12903 (java) S 12896 12899 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28103224 9856040960 13313 33554432000 1073741824 1073778376 140734539256640 140585267084072 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12899/tid=12904] ppid=12896 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12899/task/12904/stat : 12904 (java) S 12896 12899 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28103224 9856040960 13313 33554432000 1073741824 1073778376 140734539256640 140585266031528 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12899/tid=12905] ppid=12896 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12899/task/12905/stat : 12905 (java) S 12896 12899 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28103224 9856040960 13313 33554432000 1073741824 1073778376 140734539256640 140585264978984 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12899/tid=12906] ppid=12896 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12899/task/12906/stat : 12906 (java) S 12896 12899 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28103224 9856040960 13313 33554432000 1073741824 1073778376 140734539256640 140585263925416 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12899/tid=12907] ppid=12896 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12899/task/12907/stat : 12907 (java) S 12896 12899 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28103224 9856040960 13313 33554432000 1073741824 1073778376 140734539256640 140585262872872 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12899/tid=12908] ppid=12896 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12899/task/12908/stat : 12908 (java) S 12896 12899 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28103224 9856040960 13313 33554432000 1073741824 1073778376 140734539256640 140585261820328 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12899/tid=12909] ppid=12896 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12899/task/12909/stat : 12909 (java) S 12896 12899 6358 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 28103224 9856040960 13313 33554432000 1073741824 1073778376 140734539256640 140585260767784 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12899/tid=12910] ppid=12896 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12899/task/12910/stat : 12910 (java) S 12896 12899 6358 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 28103225 9856040960 13313 33554432000 1073741824 1073778376 140734539256640 140585248356968 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12899/tid=12911] ppid=12896 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12899/task/12911/stat : 12911 (java) S 12896 12899 6358 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 28103226 9856040960 13313 33554432000 1073741824 1073778376 140734539256640 140585247303288 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12899/tid=12912] ppid=12896 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12899/task/12912/stat : 12912 (java) S 12896 12899 6358 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28103226 9856040960 13313 33554432000 1073741824 1073778376 140734539256640 140585246250632 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12899/tid=12913] ppid=12896 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12899/task/12913/stat : 12913 (java) S 12896 12899 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28103228 9856040960 13313 33554432000 1073741824 1073778376 140734539256640 140585245199376 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12899/tid=12914] ppid=12896 vsize=9625040 CPUtime=0.23 cores=1,3,5,7
/proc/12899/task/12914/stat : 12914 (java) S 12896 12899 6358 0 -1 4202560 1838 0 0 0 23 0 0 0 20 0 19 0 28103228 9856040960 13313 33554432000 1073741824 1073778376 140734539256640 140585244145720 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12899/tid=12915] ppid=12896 vsize=9625040 CPUtime=0.24 cores=1,3,5,7
/proc/12899/task/12915/stat : 12915 (java) S 12896 12899 6358 0 -1 4202560 2986 0 0 0 24 0 0 0 20 0 19 0 28103228 9856040960 13313 33554432000 1073741824 1073778376 140734539256640 140585243093176 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12899/tid=12916] ppid=12896 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12899/task/12916/stat : 12916 (java) S 12896 12899 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28103228 9856040960 13313 33554432000 1073741824 1073778376 140734539256640 140585242040824 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12899/tid=12917] ppid=12896 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12899/task/12917/stat : 12917 (java) S 12896 12899 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28103228 9856040960 13313 33554432000 1073741824 1073778376 140734539256640 140585240988488 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12899/tid=12918] ppid=12896 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12899/task/12918/stat : 12918 (java) S 12896 12899 6358 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28103245 9856040960 13313 33554432000 1073741824 1073778376 140734539256640 140585239885096 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.99
Current children cumulated vsize (KiB) 9625040

[startup+3.10076 s]
/proc/loadavg: 2.06 2.12 2.36 3/213 12918
/proc/meminfo: memFree=31002040/32872528 swapFree=681964/737152
[pid=12899] ppid=12896 vsize=9625040 CPUtime=3.6 cores=1,3,5,7
/proc/12899/stat : 12899 (java) S 12896 12899 6358 0 -1 4202496 8550 0 1 0 357 3 0 0 20 0 19 0 28103223 9856040960 18433 33554432000 1073741824 1073778376 140734539256640 140734539247776 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12899/statm: 2406260 18433 2257 9 0 2396937 0
[pid=12899/tid=12900] ppid=12896 vsize=9625040 CPUtime=3.08 cores=1,3,5,7
/proc/12899/task/12900/stat : 12900 (java) R 12896 12899 6358 0 -1 4202560 2454 0 1 0 306 2 0 0 20 0 19 0 28103224 9856040960 18433 33554432000 1073741824 1073778376 140734539256640 140585424109784 140585296245632 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=12899/tid=12902] ppid=12896 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12899/task/12902/stat : 12902 (java) S 12896 12899 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28103224 9856040960 18433 33554432000 1073741824 1073778376 140734539256640 140585268136616 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12899/tid=12903] ppid=12896 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12899/task/12903/stat : 12903 (java) S 12896 12899 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28103224 9856040960 18433 33554432000 1073741824 1073778376 140734539256640 140585267084072 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12899/tid=12904] ppid=12896 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12899/task/12904/stat : 12904 (java) S 12896 12899 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28103224 9856040960 18433 33554432000 1073741824 1073778376 140734539256640 140585266031528 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12899/tid=12905] ppid=12896 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12899/task/12905/stat : 12905 (java) S 12896 12899 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28103224 9856040960 18433 33554432000 1073741824 1073778376 140734539256640 140585264978984 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12899/tid=12906] ppid=12896 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12899/task/12906/stat : 12906 (java) S 12896 12899 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28103224 9856040960 18433 33554432000 1073741824 1073778376 140734539256640 140585263925416 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12899/tid=12907] ppid=12896 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12899/task/12907/stat : 12907 (java) S 12896 12899 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28103224 9856040960 18433 33554432000 1073741824 1073778376 140734539256640 140585262872872 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12899/tid=12908] ppid=12896 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12899/task/12908/stat : 12908 (java) S 12896 12899 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28103224 9856040960 18433 33554432000 1073741824 1073778376 140734539256640 140585261820328 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12899/tid=12909] ppid=12896 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12899/task/12909/stat : 12909 (java) S 12896 12899 6358 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 28103224 9856040960 18433 33554432000 1073741824 1073778376 140734539256640 140585260767784 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12899/tid=12910] ppid=12896 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12899/task/12910/stat : 12910 (java) S 12896 12899 6358 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 28103225 9856040960 18433 33554432000 1073741824 1073778376 140734539256640 140585248356968 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12899/tid=12911] ppid=12896 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12899/task/12911/stat : 12911 (java) S 12896 12899 6358 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 28103226 9856040960 18433 33554432000 1073741824 1073778376 140734539256640 140585247303288 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12899/tid=12912] ppid=12896 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12899/task/12912/stat : 12912 (java) S 12896 12899 6358 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28103226 9856040960 18433 33554432000 1073741824 1073778376 140734539256640 140585246250632 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12899/tid=12913] ppid=12896 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12899/task/12913/stat : 12913 (java) S 12896 12899 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28103228 9856040960 18433 33554432000 1073741824 1073778376 140734539256640 140585245199376 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12899/tid=12914] ppid=12896 vsize=9625040 CPUtime=0.24 cores=1,3,5,7
/proc/12899/task/12914/stat : 12914 (java) S 12896 12899 6358 0 -1 4202560 1838 0 0 0 24 0 0 0 20 0 19 0 28103228 9856040960 18433 33554432000 1073741824 1073778376 140734539256640 140585244145720 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12899/tid=12915] ppid=12896 vsize=9625040 CPUtime=0.24 cores=1,3,5,7
/proc/12899/task/12915/stat : 12915 (java) S 12896 12899 6358 0 -1 4202560 2986 0 0 0 24 0 0 0 20 0 19 0 28103228 9856040960 18433 33554432000 1073741824 1073778376 140734539256640 140585243093176 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12899/tid=12916] ppid=12896 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12899/task/12916/stat : 12916 (java) S 12896 12899 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28103228 9856040960 18433 33554432000 1073741824 1073778376 140734539256640 140585242040824 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12899/tid=12917] ppid=12896 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12899/task/12917/stat : 12917 (java) S 12896 12899 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28103228 9856040960 18433 33554432000 1073741824 1073778376 140734539256640 140585240988488 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12899/tid=12918] ppid=12896 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12899/task/12918/stat : 12918 (java) S 12896 12899 6358 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28103245 9856040960 18433 33554432000 1073741824 1073778376 140734539256640 140585239885096 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.6
Current children cumulated vsize (KiB) 9625040

[startup+6.30077 s]
/proc/loadavg: 2.05 2.12 2.36 3/213 12918
/proc/meminfo: memFree=30965480/32872528 swapFree=681964/737152
[pid=12899] ppid=12896 vsize=9625040 CPUtime=6.81 cores=1,3,5,7
/proc/12899/stat : 12899 (java) S 12896 12899 6358 0 -1 4202496 8568 0 1 0 677 4 0 0 20 0 19 0 28103223 9856040960 26528 33554432000 1073741824 1073778376 140734539256640 140734539247776 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12899/statm: 2406260 26528 2258 9 0 2396937 0
[pid=12899/tid=12900] ppid=12896 vsize=9625040 CPUtime=6.26 cores=1,3,5,7
/proc/12899/task/12900/stat : 12900 (java) R 12896 12899 6358 0 -1 4202560 2471 0 1 0 624 2 0 0 20 0 19 0 28103224 9856040960 26528 33554432000 1073741824 1073778376 140734539256640 140585424101056 140585296188955 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=12899/tid=12902] ppid=12896 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12899/task/12902/stat : 12902 (java) S 12896 12899 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28103224 9856040960 26528 33554432000 1073741824 1073778376 140734539256640 140585268136616 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12899/tid=12903] ppid=12896 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12899/task/12903/stat : 12903 (java) S 12896 12899 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28103224 9856040960 26528 33554432000 1073741824 1073778376 140734539256640 140585267084072 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12899/tid=12904] ppid=12896 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12899/task/12904/stat : 12904 (java) S 12896 12899 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28103224 9856040960 26528 33554432000 1073741824 1073778376 140734539256640 140585266031528 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12899/tid=12905] ppid=12896 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12899/task/12905/stat : 12905 (java) S 12896 12899 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28103224 9856040960 26528 33554432000 1073741824 1073778376 140734539256640 140585264978984 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12899/tid=12906] ppid=12896 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12899/task/12906/stat : 12906 (java) S 12896 12899 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28103224 9856040960 26528 33554432000 1073741824 1073778376 140734539256640 140585263925416 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12899/tid=12907] ppid=12896 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12899/task/12907/stat : 12907 (java) S 12896 12899 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28103224 9856040960 26528 33554432000 1073741824 1073778376 140734539256640 140585262872872 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12899/tid=12908] ppid=12896 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12899/task/12908/stat : 12908 (java) S 12896 12899 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28103224 9856040960 26528 33554432000 1073741824 1073778376 140734539256640 140585261820328 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12899/tid=12909] ppid=12896 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12899/task/12909/stat : 12909 (java) S 12896 12899 6358 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 28103224 9856040960 26528 33554432000 1073741824 1073778376 140734539256640 140585260767784 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12899/tid=12910] ppid=12896 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12899/task/12910/stat : 12910 (java) S 12896 12899 6358 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 28103225 9856040960 26528 33554432000 1073741824 1073778376 140734539256640 140585248356968 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12899/tid=12911] ppid=12896 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12899/task/12911/stat : 12911 (java) S 12896 12899 6358 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 28103226 9856040960 26528 33554432000 1073741824 1073778376 140734539256640 140585247303288 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12899/tid=12912] ppid=12896 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12899/task/12912/stat : 12912 (java) S 12896 12899 6358 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28103226 9856040960 26528 33554432000 1073741824 1073778376 140734539256640 140585246250632 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12899/tid=12913] ppid=12896 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12899/task/12913/stat : 12913 (java) S 12896 12899 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28103228 9856040960 26528 33554432000 1073741824 1073778376 140734539256640 140585245199376 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12899/tid=12914] ppid=12896 vsize=9625040 CPUtime=0.25 cores=1,3,5,7
/proc/12899/task/12914/stat : 12914 (java) S 12896 12899 6358 0 -1 4202560 1838 0 0 0 25 0 0 0 20 0 19 0 28103228 9856040960 26528 33554432000 1073741824 1073778376 140734539256640 140585244145720 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12899/tid=12915] ppid=12896 vsize=9625040 CPUtime=0.24 cores=1,3,5,7

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

[pid=12899/tid=12918] ppid=12896 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12899/task/12918/stat : 12918 (java) S 12896 12899 6358 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28103245 9856040960 89634 33554432000 1073741824 1073778376 140734539256640 140585239885096 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1729.59
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.12 2.11 2.15 3/213 12985
/proc/meminfo: memFree=30253624/32872528 swapFree=681964/737152
[pid=12899] ppid=12896 vsize=9625040 CPUtime=1789.91 cores=1,3,5,7
/proc/12899/stat : 12899 (java) S 12896 12899 6358 0 -1 4202496 13764 0 1 0 178895 96 0 0 20 0 19 0 28103223 9856040960 88883 33554432000 1073741824 1073778376 140734539256640 140734539247776 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12899/statm: 2406260 88883 2280 9 0 2396937 0
[pid=12899/tid=12900] ppid=12896 vsize=9625040 CPUtime=1773.42 cores=1,3,5,7
/proc/12899/task/12900/stat : 12900 (java) R 12896 12899 6358 0 -1 4202560 2617 0 1 0 177310 32 0 0 20 0 19 0 28103224 9856040960 88883 33554432000 1073741824 1073778376 140734539256640 140585424101056 140585296234884 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=12899/tid=12902] ppid=12896 vsize=9625040 CPUtime=1.16 cores=1,3,5,7
/proc/12899/task/12902/stat : 12902 (java) S 12896 12899 6358 0 -1 4202560 384 0 0 0 108 8 0 0 20 0 19 0 28103224 9856040960 88883 33554432000 1073741824 1073778376 140734539256640 140585268136616 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12899/tid=12903] ppid=12896 vsize=9625040 CPUtime=1.21 cores=1,3,5,7
/proc/12899/task/12903/stat : 12903 (java) S 12896 12899 6358 0 -1 4202560 634 0 0 0 113 8 0 0 20 0 19 0 28103224 9856040960 88883 33554432000 1073741824 1073778376 140734539256640 140585267084072 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12899/tid=12904] ppid=12896 vsize=9625040 CPUtime=1.29 cores=1,3,5,7
/proc/12899/task/12904/stat : 12904 (java) S 12896 12899 6358 0 -1 4202560 664 0 0 0 122 7 0 0 20 0 19 0 28103224 9856040960 88883 33554432000 1073741824 1073778376 140734539256640 140585266031528 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12899/tid=12905] ppid=12896 vsize=9625040 CPUtime=1.26 cores=1,3,5,7
/proc/12899/task/12905/stat : 12905 (java) S 12896 12899 6358 0 -1 4202560 392 0 0 0 117 9 0 0 20 0 19 0 28103224 9856040960 88883 33554432000 1073741824 1073778376 140734539256640 140585264978984 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12899/tid=12906] ppid=12896 vsize=9625040 CPUtime=1.19 cores=1,3,5,7
/proc/12899/task/12906/stat : 12906 (java) S 12896 12899 6358 0 -1 4202560 327 0 0 0 113 6 0 0 20 0 19 0 28103224 9856040960 88883 33554432000 1073741824 1073778376 140734539256640 140585263925416 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12899/tid=12907] ppid=12896 vsize=9625040 CPUtime=1.27 cores=1,3,5,7
/proc/12899/task/12907/stat : 12907 (java) S 12896 12899 6358 0 -1 4202560 530 0 0 0 119 8 0 0 20 0 19 0 28103224 9856040960 88883 33554432000 1073741824 1073778376 140734539256640 140585262872872 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12899/tid=12908] ppid=12896 vsize=9625040 CPUtime=1.36 cores=1,3,5,7
/proc/12899/task/12908/stat : 12908 (java) S 12896 12899 6358 0 -1 4202560 717 0 0 0 128 8 0 0 20 0 19 0 28103224 9856040960 88883 33554432000 1073741824 1073778376 140734539256640 140585261820328 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12899/tid=12909] ppid=12896 vsize=9625040 CPUtime=1.13 cores=1,3,5,7
/proc/12899/task/12909/stat : 12909 (java) S 12896 12899 6358 0 -1 4202560 596 0 0 0 106 7 0 0 20 0 19 0 28103224 9856040960 88883 33554432000 1073741824 1073778376 140734539256640 140585260767784 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12899/tid=12910] ppid=12896 vsize=9625040 CPUtime=1.17 cores=1,3,5,7
/proc/12899/task/12910/stat : 12910 (java) S 12896 12899 6358 0 -1 4202560 425 0 0 0 113 4 0 0 20 0 19 0 28103225 9856040960 88883 33554432000 1073741824 1073778376 140734539256640 140585248356968 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12899/tid=12911] ppid=12896 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12899/task/12911/stat : 12911 (java) S 12896 12899 6358 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 28103226 9856040960 88883 33554432000 1073741824 1073778376 140734539256640 140585247303288 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12899/tid=12912] ppid=12896 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12899/task/12912/stat : 12912 (java) S 12896 12899 6358 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 28103226 9856040960 88883 33554432000 1073741824 1073778376 140734539256640 140585246250632 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12899/tid=12913] ppid=12896 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12899/task/12913/stat : 12913 (java) S 12896 12899 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28103228 9856040960 88883 33554432000 1073741824 1073778376 140734539256640 140585245199376 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12899/tid=12914] ppid=12896 vsize=9625040 CPUtime=0.27 cores=1,3,5,7
/proc/12899/task/12914/stat : 12914 (java) S 12896 12899 6358 0 -1 4202560 2131 0 0 0 27 0 0 0 20 0 19 0 28103228 9856040960 88883 33554432000 1073741824 1073778376 140734539256640 140585244145720 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12899/tid=12915] ppid=12896 vsize=9625040 CPUtime=0.24 cores=1,3,5,7
/proc/12899/task/12915/stat : 12915 (java) S 12896 12899 6358 0 -1 4202560 2986 0 0 0 24 0 0 0 20 0 19 0 28103228 9856040960 88883 33554432000 1073741824 1073778376 140734539256640 140585243093176 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12899/tid=12916] ppid=12896 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12899/task/12916/stat : 12916 (java) S 12896 12899 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28103228 9856040960 88883 33554432000 1073741824 1073778376 140734539256640 140585242040824 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12899/tid=12917] ppid=12896 vsize=9625040 CPUtime=0.49 cores=1,3,5,7
/proc/12899/task/12917/stat : 12917 (java) S 12896 12899 6358 0 -1 4202560 103 0 0 0 21 28 0 0 20 0 19 0 28103228 9856040960 88883 33554432000 1073741824 1073778376 140734539256640 140585240988488 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12899/tid=12918] ppid=12896 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12899/task/12918/stat : 12918 (java) S 12896 12899 6358 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28103245 9856040960 88883 33554432000 1073741824 1073778376 140734539256640 140585239885096 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1789.91
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1792.3 s]
/proc/loadavg: 2.10 2.11 2.15 3/213 12985
/proc/meminfo: memFree=30250336/32872528 swapFree=681964/737152
[pid=12899] ppid=12896 vsize=9625040 CPUtime=1800.03 cores=1,3,5,7
/proc/12899/stat : 12899 (java) S 12896 12899 6358 0 -1 4202496 13778 0 1 0 179906 97 0 0 20 0 19 0 28103223 9856040960 89681 33554432000 1073741824 1073778376 140734539256640 140734539247776 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12899/statm: 2406260 89681 2280 9 0 2396937 0
[pid=12899/tid=12900] ppid=12896 vsize=9625040 CPUtime=1783.35 cores=1,3,5,7
/proc/12899/task/12900/stat : 12900 (java) R 12896 12899 6358 0 -1 4202560 2619 0 1 0 178302 33 0 0 20 0 19 0 28103224 9856040960 89681 33554432000 1073741824 1073778376 140734539256640 140585424108768 140585296345680 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=12899/tid=12902] ppid=12896 vsize=9625040 CPUtime=1.18 cores=1,3,5,7
/proc/12899/task/12902/stat : 12902 (java) S 12896 12899 6358 0 -1 4202560 385 0 0 0 110 8 0 0 20 0 19 0 28103224 9856040960 89681 33554432000 1073741824 1073778376 140734539256640 140585268136616 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12899/tid=12903] ppid=12896 vsize=9625040 CPUtime=1.23 cores=1,3,5,7
/proc/12899/task/12903/stat : 12903 (java) S 12896 12899 6358 0 -1 4202560 636 0 0 0 115 8 0 0 20 0 19 0 28103224 9856040960 89681 33554432000 1073741824 1073778376 140734539256640 140585267084072 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12899/tid=12904] ppid=12896 vsize=9625040 CPUtime=1.31 cores=1,3,5,7
/proc/12899/task/12904/stat : 12904 (java) S 12896 12899 6358 0 -1 4202560 666 0 0 0 124 7 0 0 20 0 19 0 28103224 9856040960 89681 33554432000 1073741824 1073778376 140734539256640 140585266031528 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12899/tid=12905] ppid=12896 vsize=9625040 CPUtime=1.28 cores=1,3,5,7
/proc/12899/task/12905/stat : 12905 (java) S 12896 12899 6358 0 -1 4202560 393 0 0 0 119 9 0 0 20 0 19 0 28103224 9856040960 89681 33554432000 1073741824 1073778376 140734539256640 140585264978984 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12899/tid=12906] ppid=12896 vsize=9625040 CPUtime=1.21 cores=1,3,5,7
/proc/12899/task/12906/stat : 12906 (java) S 12896 12899 6358 0 -1 4202560 328 0 0 0 115 6 0 0 20 0 19 0 28103224 9856040960 89681 33554432000 1073741824 1073778376 140734539256640 140585263925416 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12899/tid=12907] ppid=12896 vsize=9625040 CPUtime=1.29 cores=1,3,5,7
/proc/12899/task/12907/stat : 12907 (java) S 12896 12899 6358 0 -1 4202560 532 0 0 0 121 8 0 0 20 0 19 0 28103224 9856040960 89681 33554432000 1073741824 1073778376 140734539256640 140585262872872 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12899/tid=12908] ppid=12896 vsize=9625040 CPUtime=1.39 cores=1,3,5,7
/proc/12899/task/12908/stat : 12908 (java) S 12896 12899 6358 0 -1 4202560 718 0 0 0 131 8 0 0 20 0 19 0 28103224 9856040960 89681 33554432000 1073741824 1073778376 140734539256640 140585261820328 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12899/tid=12909] ppid=12896 vsize=9625040 CPUtime=1.15 cores=1,3,5,7
/proc/12899/task/12909/stat : 12909 (java) S 12896 12899 6358 0 -1 4202560 598 0 0 0 107 8 0 0 20 0 19 0 28103224 9856040960 89681 33554432000 1073741824 1073778376 140734539256640 140585260767784 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12899/tid=12910] ppid=12896 vsize=9625040 CPUtime=1.17 cores=1,3,5,7
/proc/12899/task/12910/stat : 12910 (java) S 12896 12899 6358 0 -1 4202560 425 0 0 0 113 4 0 0 20 0 19 0 28103225 9856040960 89681 33554432000 1073741824 1073778376 140734539256640 140585248356968 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12899/tid=12911] ppid=12896 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12899/task/12911/stat : 12911 (java) S 12896 12899 6358 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 28103226 9856040960 89681 33554432000 1073741824 1073778376 140734539256640 140585247303288 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12899/tid=12912] ppid=12896 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12899/task/12912/stat : 12912 (java) S 12896 12899 6358 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 28103226 9856040960 89681 33554432000 1073741824 1073778376 140734539256640 140585246250632 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12899/tid=12913] ppid=12896 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12899/task/12913/stat : 12913 (java) S 12896 12899 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28103228 9856040960 89681 33554432000 1073741824 1073778376 140734539256640 140585245199376 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12899/tid=12914] ppid=12896 vsize=9625040 CPUtime=0.27 cores=1,3,5,7
/proc/12899/task/12914/stat : 12914 (java) S 12896 12899 6358 0 -1 4202560 2131 0 0 0 27 0 0 0 20 0 19 0 28103228 9856040960 89681 33554432000 1073741824 1073778376 140734539256640 140585244145720 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12899/tid=12915] ppid=12896 vsize=9625040 CPUtime=0.24 cores=1,3,5,7
/proc/12899/task/12915/stat : 12915 (java) S 12896 12899 6358 0 -1 4202560 2986 0 0 0 24 0 0 0 20 0 19 0 28103228 9856040960 89681 33554432000 1073741824 1073778376 140734539256640 140585243093176 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12899/tid=12916] ppid=12896 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12899/task/12916/stat : 12916 (java) S 12896 12899 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28103228 9856040960 89681 33554432000 1073741824 1073778376 140734539256640 140585242040824 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12899/tid=12917] ppid=12896 vsize=9625040 CPUtime=0.49 cores=1,3,5,7
/proc/12899/task/12917/stat : 12917 (java) S 12896 12899 6358 0 -1 4202560 103 0 0 0 21 28 0 0 20 0 19 0 28103228 9856040960 89681 33554432000 1073741824 1073778376 140734539256640 140585240988488 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12899/tid=12918] ppid=12896 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12899/task/12918/stat : 12918 (java) S 12896 12899 6358 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28103245 9856040960 89681 33554432000 1073741824 1073778376 140734539256640 140585239885096 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 9625040

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 12899 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1792.3 s]
/proc/loadavg: 2.10 2.11 2.15 3/213 12985
/proc/meminfo: memFree=30250336/32872528 swapFree=681964/737152
[pid=12899] ppid=12896 vsize=9625040 CPUtime=1800.03 cores=1,3,5,7
/proc/12899/stat : 12899 (java) S 12896 12899 6358 0 -1 4202496 13778 0 1 0 179906 97 0 0 20 0 19 0 28103223 9856040960 89681 33554432000 1073741824 1073778376 140734539256640 140734539247776 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12899/statm: 2406260 89681 2280 9 0 2396937 0
[pid=12899/tid=12900] ppid=12896 vsize=9625040 CPUtime=1783.35 cores=1,3,5,7
/proc/12899/task/12900/stat : 12900 (java) R 12896 12899 6358 0 -1 4202560 2619 0 1 0 178302 33 0 0 20 0 19 0 28103224 9856040960 89681 33554432000 1073741824 1073778376 140734539256640 140585424108768 140585296345680 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=12899/tid=12902] ppid=12896 vsize=9625040 CPUtime=1.18 cores=1,3,5,7
/proc/12899/task/12902/stat : 12902 (java) S 12896 12899 6358 0 -1 4202560 385 0 0 0 110 8 0 0 20 0 19 0 28103224 9856040960 89681 33554432000 1073741824 1073778376 140734539256640 140585268136616 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12899/tid=12903] ppid=12896 vsize=9625040 CPUtime=1.23 cores=1,3,5,7
/proc/12899/task/12903/stat : 12903 (java) S 12896 12899 6358 0 -1 4202560 636 0 0 0 115 8 0 0 20 0 19 0 28103224 9856040960 89681 33554432000 1073741824 1073778376 140734539256640 140585267084072 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12899/tid=12904] ppid=12896 vsize=9625040 CPUtime=1.31 cores=1,3,5,7
/proc/12899/task/12904/stat : 12904 (java) S 12896 12899 6358 0 -1 4202560 666 0 0 0 124 7 0 0 20 0 19 0 28103224 9856040960 89681 33554432000 1073741824 1073778376 140734539256640 140585266031528 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12899/tid=12905] ppid=12896 vsize=9625040 CPUtime=1.28 cores=1,3,5,7
/proc/12899/task/12905/stat : 12905 (java) S 12896 12899 6358 0 -1 4202560 393 0 0 0 119 9 0 0 20 0 19 0 28103224 9856040960 89681 33554432000 1073741824 1073778376 140734539256640 140585264978984 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12899/tid=12906] ppid=12896 vsize=9625040 CPUtime=1.21 cores=1,3,5,7
/proc/12899/task/12906/stat : 12906 (java) S 12896 12899 6358 0 -1 4202560 328 0 0 0 115 6 0 0 20 0 19 0 28103224 9856040960 89681 33554432000 1073741824 1073778376 140734539256640 140585263925416 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12899/tid=12907] ppid=12896 vsize=9625040 CPUtime=1.29 cores=1,3,5,7
/proc/12899/task/12907/stat : 12907 (java) S 12896 12899 6358 0 -1 4202560 532 0 0 0 121 8 0 0 20 0 19 0 28103224 9856040960 89681 33554432000 1073741824 1073778376 140734539256640 140585262872872 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12899/tid=12908] ppid=12896 vsize=9625040 CPUtime=1.39 cores=1,3,5,7
/proc/12899/task/12908/stat : 12908 (java) S 12896 12899 6358 0 -1 4202560 718 0 0 0 131 8 0 0 20 0 19 0 28103224 9856040960 89681 33554432000 1073741824 1073778376 140734539256640 140585261820328 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12899/tid=12909] ppid=12896 vsize=9625040 CPUtime=1.15 cores=1,3,5,7
/proc/12899/task/12909/stat : 12909 (java) S 12896 12899 6358 0 -1 4202560 598 0 0 0 107 8 0 0 20 0 19 0 28103224 9856040960 89681 33554432000 1073741824 1073778376 140734539256640 140585260767784 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12899/tid=12910] ppid=12896 vsize=9625040 CPUtime=1.17 cores=1,3,5,7
/proc/12899/task/12910/stat : 12910 (java) S 12896 12899 6358 0 -1 4202560 425 0 0 0 113 4 0 0 20 0 19 0 28103225 9856040960 89681 33554432000 1073741824 1073778376 140734539256640 140585248356968 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12899/tid=12911] ppid=12896 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12899/task/12911/stat : 12911 (java) S 12896 12899 6358 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 28103226 9856040960 89681 33554432000 1073741824 1073778376 140734539256640 140585247303288 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12899/tid=12912] ppid=12896 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12899/task/12912/stat : 12912 (java) S 12896 12899 6358 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 28103226 9856040960 89681 33554432000 1073741824 1073778376 140734539256640 140585246250632 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12899/tid=12913] ppid=12896 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12899/task/12913/stat : 12913 (java) S 12896 12899 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28103228 9856040960 89681 33554432000 1073741824 1073778376 140734539256640 140585245199376 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12899/tid=12914] ppid=12896 vsize=9625040 CPUtime=0.27 cores=1,3,5,7
/proc/12899/task/12914/stat : 12914 (java) S 12896 12899 6358 0 -1 4202560 2131 0 0 0 27 0 0 0 20 0 19 0 28103228 9856040960 89681 33554432000 1073741824 1073778376 140734539256640 140585244145720 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12899/tid=12915] ppid=12896 vsize=9625040 CPUtime=0.24 cores=1,3,5,7
/proc/12899/task/12915/stat : 12915 (java) S 12896 12899 6358 0 -1 4202560 2986 0 0 0 24 0 0 0 20 0 19 0 28103228 9856040960 89681 33554432000 1073741824 1073778376 140734539256640 140585243093176 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12899/tid=12916] ppid=12896 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12899/task/12916/stat : 12916 (java) S 12896 12899 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28103228 9856040960 89681 33554432000 1073741824 1073778376 140734539256640 140585242040824 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12899/tid=12917] ppid=12896 vsize=9625040 CPUtime=0.49 cores=1,3,5,7
/proc/12899/task/12917/stat : 12917 (java) S 12896 12899 6358 0 -1 4202560 103 0 0 0 21 28 0 0 20 0 19 0 28103228 9856040960 89681 33554432000 1073741824 1073778376 140734539256640 140585240988488 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12899/tid=12918] ppid=12896 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12899/task/12918/stat : 12918 (java) S 12896 12899 6358 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28103245 9856040960 89681 33554432000 1073741824 1073778376 140734539256640 140585239885096 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 9625040

Child status: 143

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

Real time (s): 1792.34
CPU time (s): 1800.03
CPU user time (s): 1799.06
CPU system time (s): 0.97
CPU usage (%): 100.429
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.52
system time used= 1.41278
maximum resident set size= 662852
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13824
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 41545
involuntary context switches= 35722

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.2096 second user time and 14.5958 second system time

The end

Launcher Data 

Begin job on node112 at 2016-06-18 16:35:40
IDJOB=4105397
IDBENCH=2855
IDSOLVER=2546
FILE ID=node112/4105397-1466260540
RUNJOBID= node112-1466258740-12610
PBS_JOBID= 19918204
Free space on /tmp= 71708 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-max512.r.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4105397-1466260540/watcher-4105397-1466260540 -o /tmp/evaluation-result-4105397-1466260540/solver-4105397-1466260540 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1466258740-12610 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4105397-1466260540.opb

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

MD5SUM BENCH= abda325d00dae29cc1f423bbedcd64ad
RANDOM SEED=1251301776

node112.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.734
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.46
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.734
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.734
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	: 5321.48
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.734
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.55
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.734
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.734
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.734
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.734
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.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        31057680 kB
Buffers:           52572 kB
Cached:           125448 kB
SwapCached:         2028 kB
Active:           227516 kB
Inactive:         115396 kB
Active(anon):     165144 kB
Inactive(anon):     2096 kB
Active(file):      62372 kB
Inactive(file):   113300 kB
Unevictable:      737152 kB
Mlocked:          681964 kB
SwapTotal:      67108856 kB
SwapFree:       67096744 kB
Dirty:              5448 kB
Writeback:             0 kB
AnonPages:        901080 kB
Mapped:            15236 kB
Shmem:                 0 kB
Slab:             602164 kB
SReclaimable:      45324 kB
SUnreclaim:       556840 kB
KernelStack:        1600 kB
PageTables:         6192 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1554592 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    196608 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= 71708 MiB
End job on node112 at 2016-06-18 17:05:32