Trace number 4091926

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 NameAnswerCPU timeWall clock time
Sat4j PB 2.3.6 Res+CP PB16MSAT (TO) 1800.9 1795.85

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl20_25_pb.cnf.cr--soft-33-100-0.wbo
MD5SUMa9a2270f2536f669bb9dfa31ae05dbb5
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark17
Best CPU time to get the best result obtained on this benchmark1800.02
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables1000
Total number of constraints90
Number of soft constraints61
Number of constraints which are clauses50
Number of constraints which are cardinality constraints (but not clauses)40
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint20
Maximum length of a constraint25
Top cost 3008
Min constraint cost 1
Max constraint cost 98
Sum of constraints costs 3007
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 26
Number of bits of the biggest sum of numbers5
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.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.10/0.11	c Pseudo Boolean Optimization by upper bound
0.10/0.11	c ManyCore solver with 2 solvers running in parallel
0.10/0.11	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@16fd0b7
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c Expensive reason simplification
0.10/0.11	c Glucose 2.1 dynamic restart strategy
0.10/0.11	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.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.10/0.11	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@75786e64
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.10/0.11	c No reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	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.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-4091926-1466076992.wbo
0.10/0.11	c reading problem ... 
0.10/0.19	c ... done. Wall clock time 0.083s.
0.10/0.19	c declared #vars     1000
0.10/0.19	c internal #vars     1061
0.10/0.19	c #constraints  90
0.10/0.19	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.10/0.19	c constraints type 
0.10/0.19	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 50
0.10/0.19	c org.sat4j.minisat.constraints.card.MinWatchCard => 14
0.10/0.19	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 26
0.10/0.19	c 90 constraints processed.
0.10/0.19	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.10/0.19	c constraints type 
0.10/0.19	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 50
0.10/0.19	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 14
0.10/0.19	c org.sat4j.pb.constraints.pb.MaxWatchPb => 26
0.10/0.19	c 90 constraints processed.
0.10/0.19	c objective function length is 61 literals
0.64/0.33	c And the winner is solver1
1.17/0.69	c SATISFIABLE
1.17/0.69	c OPTIMIZING...
1.17/0.70	c Got one! Elapsed wall clock time (in seconds):0.589
1.17/0.70	o 241
1.17/0.71	c And the winner is solver1
1.22/1.20	c Got one! Elapsed wall clock time (in seconds):1.09
1.22/1.20	o 17
1.22/1.20	c And the winner is solver1
1.71/1.59	c cleaning 2723 clauses out of 5550 with flag 33941/5550
2.37/2.18	c cleaning 4415 clauses out of 8829 with flag 82112/11552
2.97/2.78	c cleaning 5646 clauses out of 11413 with flag 137247/18551
4.17/3.96	c cleaning 6841 clauses out of 13766 with flag 200409/26550
5.82/5.50	c cleaning 7919 clauses out of 15927 with flag 278179/35552
7.51/7.26	c cleaning 8956 clauses out of 18006 with flag 362296/45550
9.51/9.22	c cleaning 9979 clauses out of 20050 with flag 447873/56550
11.21/10.99	c cleaning 10995 clauses out of 22071 with flag 543438/68550
13.21/12.90	c cleaning 12034 clauses out of 24076 with flag 664749/81550
15.71/15.48	c cleaning 13018 clauses out of 26044 with flag 801176/95552
18.30/18.05	c cleaning 14008 clauses out of 28024 with flag 966845/110550
21.40/21.11	c cleaning 15008 clauses out of 30018 with flag 1140987/126552
24.95/24.63	c cleaning 15999 clauses out of 32008 with flag 1296224/143550
28.35/28.00	c cleaning 17004 clauses out of 34010 with flag 1453930/161551
30.65/30.37	c cleaning 17987 clauses out of 36005 with flag 1694681/180550
35.15/34.86	c cleaning 19010 clauses out of 38021 with flag 1891185/200553
38.96/38.65	c cleaning 20003 clauses out of 40010 with flag 2108697/221552
41.95/41.62	c cleaning 20997 clauses out of 42005 with flag 2311500/243550
45.85/45.55	c cleaning 21989 clauses out of 44011 with flag 2512775/266553
50.13/49.76	c cleaning 23005 clauses out of 46020 with flag 2707326/290551
55.13/54.70	c cleaning 24000 clauses out of 48014 with flag 2872057/315550
61.13/60.72	c cleaning 24998 clauses out of 50015 with flag 3072830/341551
66.93/66.53	c cleaning 25998 clauses out of 52016 with flag 3282821/368550
74.53/74.10	c cleaning 26999 clauses out of 54018 with flag 3482721/396550
81.73/81.36	c cleaning 28002 clauses out of 56019 with flag 3711926/425550
90.56/90.01	c cleaning 28996 clauses out of 58017 with flag 3994714/455550
98.58/98.05	c cleaning 30008 clauses out of 60024 with flag 4239431/486553
107.57/107.01	c cleaning 31001 clauses out of 62015 with flag 4474486/518552
117.07/116.57	c cleaning 32000 clauses out of 64012 with flag 4733797/551550
126.78/126.23	c cleaning 33003 clauses out of 66015 with flag 5106661/585553
136.48/135.78	c cleaning 33996 clauses out of 68009 with flag 5413737/620550
148.48/147.75	c cleaning 34994 clauses out of 70015 with flag 5692826/656552
159.68/158.91	c cleaning 36000 clauses out of 72020 with flag 6003887/693551
169.89/169.13	c cleaning 37000 clauses out of 74024 with flag 6324423/731555
183.19/182.29	c cleaning 37998 clauses out of 76020 with flag 6648833/770551
196.81/195.89	c cleaning 39003 clauses out of 78021 with flag 6972537/810550
212.59/211.64	c cleaning 39999 clauses out of 80018 with flag 7361460/851550
227.40/226.44	c cleaning 40998 clauses out of 82020 with flag 7691983/893551
242.97/241.80	c cleaning 42003 clauses out of 84021 with flag 8010978/936550
262.17/261.01	c cleaning 42996 clauses out of 86019 with flag 8421271/980551
279.99/278.83	c cleaning 44001 clauses out of 88023 with flag 8758044/1025551
297.23/295.90	c cleaning 44993 clauses out of 90021 with flag 9126456/1071550
316.64/315.25	c cleaning 46007 clauses out of 92028 with flag 9519085/1118550
337.65/336.28	c cleaning 46997 clauses out of 94021 with flag 9921454/1166550
359.01/357.35	c cleaning 48007 clauses out of 96027 with flag 10294721/1215553
382.81/381.13	c cleaning 49003 clauses out of 98019 with flag 10832985/1265552
405.54/403.74	c cleaning 50000 clauses out of 100015 with flag 11424435/1316551
430.44/428.66	c cleaning 50993 clauses out of 102014 with flag 11937423/1368550
454.53/452.51	c cleaning 51992 clauses out of 104022 with flag 12389229/1421551
479.14/477.16	c cleaning 53006 clauses out of 106029 with flag 12843380/1475550
507.70/505.60	c cleaning 54004 clauses out of 108028 with flag 13375021/1530555
539.90/537.90	c cleaning 55003 clauses out of 110021 with flag 13889134/1586552
571.80/569.66	c cleaning 55999 clauses out of 112016 with flag 14448175/1643550
601.71/599.53	c cleaning 57000 clauses out of 114018 with flag 14974334/1701551
640.32/638.04	c cleaning 57998 clauses out of 116019 with flag 15597593/1760552
680.53/678.10	c cleaning 58999 clauses out of 118023 with flag 16272941/1820554
719.65/717.27	c cleaning 59995 clauses out of 120020 with flag 16899448/1881550
760.96/758.43	c cleaning 61006 clauses out of 122025 with flag 17539370/1943550
798.95/796.34	c cleaning 62005 clauses out of 124024 with flag 18129422/2006555
834.15/831.52	c cleaning 62999 clauses out of 126018 with flag 18717061/2070554
872.93/870.23	c cleaning 63998 clauses out of 128017 with flag 19228173/2135552
910.88/908.11	c cleaning 65003 clauses out of 130018 with flag 19808364/2201551
951.77/948.96	c cleaning 65997 clauses out of 132015 with flag 20449861/2268551
993.99/991.11	c cleaning 67003 clauses out of 134020 with flag 21125355/2336553
1036.29/1033.36	c cleaning 67999 clauses out of 136014 with flag 21734536/2405550
1073.75/1070.72	c cleaning 68997 clauses out of 138015 with flag 22355006/2475550
1114.36/1111.29	c cleaning 70000 clauses out of 140022 with flag 22978880/2546554
1159.46/1156.22	c cleaning 70997 clauses out of 142019 with flag 23581522/2618551
1202.16/1198.89	c cleaning 72000 clauses out of 144021 with flag 24252935/2691550
1253.15/1249.79	c cleaning 72998 clauses out of 146023 with flag 24958865/2765552
1307.55/1304.05	c cleaning 74005 clauses out of 148023 with flag 25668857/2840550
1367.33/1363.70	c cleaning 75001 clauses out of 150019 with flag 26472099/2916551
1420.82/1417.17	c cleaning 76002 clauses out of 152017 with flag 27198717/2993550
1476.46/1472.63	c cleaning 76996 clauses out of 154015 with flag 27891779/3071550
1553.64/1549.74	c cleaning 78000 clauses out of 156019 with flag 28813989/3150550
1645.23/1641.29	c cleaning 78998 clauses out of 158019 with flag 29782759/3230550
1721.18/1717.19	c cleaning 80001 clauses out of 160024 with flag 30700768/3311553
1790.67/1786.44	c cleaning 81002 clauses out of 162023 with flag 31535399/3393553
1800.07/1795.80	c >>>>>>>>>> Solver number 0 (0 answers) <<<<<<<<<<<<<<<<<<
1800.07/1795.80	c starts		: 2683
1800.07/1795.80	c conflicts		: 3413997
1800.07/1795.80	c decisions		: 4455415
1800.07/1795.80	c propagations		: 74739983
1800.07/1795.80	c inspects		: 30065428912
1800.07/1795.80	c shortcuts		: 0
1800.07/1795.80	c learnt literals	: 0
1800.07/1795.80	c learnt binary clauses	: 0
1800.07/1795.80	c learnt ternary clauses	: 0
1800.07/1795.80	c learnt constraints	: 3413997
1800.07/1795.80	c ignored constraints	: 0
1800.07/1795.80	c root simplifications	: 0
1800.07/1795.80	c removed literals (reason simplification)	: 17962464
1800.07/1795.80	c reason swapping (by a shorter reason)	: 0
1800.07/1795.80	c Calls to reduceDB	: 78
1800.07/1795.80	c Number of update (reduction) of LBD	: 2016929
1800.07/1795.80	c Imported unit clauses	: 0
1800.07/1795.80	c number of reductions to clauses (during analyze)	: 0
1800.07/1795.80	c number of learned constraints concerned by reduction	: 0
1800.07/1795.80	c number of learning phase by resolution	: 0
1800.07/1795.80	c number of learning phase by cutting planes	: 0
1800.07/1795.80	c speed (assignments/second)	: 41647.06141299139
1800.07/1795.80	c non guided choices	3623
1800.07/1795.83	c learnt constraints type 
1800.07/1795.83	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 101465
1800.07/1795.83	c >>>>>>>>>> Solver number 1 (3 answers) <<<<<<<<<<<<<<<<<<
1800.07/1795.83	c starts		: 2
1800.07/1795.83	c conflicts		: 23
1800.07/1795.83	c decisions		: 1885
1800.07/1795.83	c propagations		: 4692
1800.07/1795.83	c inspects		: 5050
1800.07/1795.83	c shortcuts		: 0
1800.07/1795.83	c learnt literals	: 0
1800.07/1795.83	c learnt binary clauses	: 0
1800.07/1795.83	c learnt ternary clauses	: 0
1800.07/1795.83	c learnt constraints	: 23
1800.07/1795.83	c ignored constraints	: 0
1800.07/1795.83	c root simplifications	: 0
1800.07/1795.83	c removed literals (reason simplification)	: 0
1800.07/1795.83	c reason swapping (by a shorter reason)	: 0
1800.07/1795.83	c Calls to reduceDB	: 0
1800.07/1795.83	c Number of update (reduction) of LBD	: 0
1800.07/1795.83	c Imported unit clauses	: 0
1800.07/1795.83	c number of reductions to clauses (during analyze)	: 0
1800.07/1795.83	c number of learned constraints concerned by reduction	: 0
1800.07/1795.83	c number of learning phase by resolution	: 0
1800.07/1795.83	c number of learning phase by cutting planes	: 0
1800.07/1795.83	c speed (assignments/second)	: 2.613004654623381
1800.07/1795.83	c non guided choices	1221
1800.07/1795.83	c learnt constraints type 
1800.07/1795.83	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 6
1800.07/1795.83	c org.sat4j.pb.constraints.pb.MaxWatchPb => 17
1800.07/1795.83	s SATISFIABLE
1800.07/1795.83	c Found 2 solution(s)
1800.07/1795.84	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 
1800.07/1795.84	c objective function=17
1800.07/1795.84	c Total wall clock time (in seconds): 1795.729

Verifier Data 

OK	17

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-4091926-1466076992/watcher-4091926-1466076992 -o /tmp/evaluation-result-4091926-1466076992/solver-4091926-1466076992 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1466074085-13483 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4091926-1466076992.wbo 

pid=16915
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: 3.47 2.78 2.49 4/197 16918
/proc/meminfo: memFree=31439432/32872528 swapFree=162364/176672
[pid=16918] ppid=16915 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/16918/stat : 16918 (java) S 16915 16918 11533 0 -1 4202496 1354 0 0 0 0 0 0 0 20 0 2 0 9749144 98570240 978 33554432000 1073741824 1073778376 140737044165664 140737044156800 224925876285 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16918/statm: 24065 978 744 9 0 16771 0
[pid=16918/tid=16919] ppid=16915 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/16918/task/16919/stat : 16919 (java) R 16915 16918 11533 0 -1 4202560 130 0 0 0 0 0 0 0 20 0 2 0 9749145 98570240 978 33554432000 1073741824 1073778376 140737044165664 140661492743720 224922518912 0 0 4096 0 0 0 0 -1 1 0 0 0 0 0

[startup+0.100141 s]
/proc/loadavg: 3.47 2.78 2.49 4/197 16918
/proc/meminfo: memFree=31439432/32872528 swapFree=162364/176672
[pid=16918] ppid=16915 vsize=9558476 CPUtime=0.1 cores=1,3,5,7
/proc/16918/stat : 16918 (java) S 16915 16918 11533 0 -1 4202496 4489 0 1 0 9 1 0 0 20 0 18 0 9749144 9787879424 6118 33554432000 1073741824 1073778376 140737044165664 140737044156800 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16918/statm: 2389619 6118 2156 9 0 2380296 0
[pid=16918/tid=16919] ppid=16915 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/16918/task/16919/stat : 16919 (java) R 16915 16918 11533 0 -1 4202560 2390 0 1 0 6 1 0 0 20 0 18 0 9749145 9787879424 6118 33554432000 1073741824 1073778376 140737044165664 140661492748632 224925902093 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476

[startup+0.200279 s]
/proc/loadavg: 3.47 2.78 2.49 4/197 16918
/proc/meminfo: memFree=31439432/32872528 swapFree=162364/176672
[pid=16918] ppid=16915 vsize=9691604 CPUtime=0.27 cores=1,3,5,7
/proc/16918/stat : 16918 (java) S 16915 16918 11533 0 -1 4202496 4787 0 1 0 25 2 0 0 20 0 20 0 9749144 9924202496 8377 33554432000 1073741824 1073778376 140737044165664 140737044156800 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16918/statm: 2422901 8377 2225 9 0 2413578 0
[pid=16918/tid=16919] ppid=16915 vsize=9691604 CPUtime=0.17 cores=1,3,5,7
/proc/16918/task/16919/stat : 16919 (java) S 16915 16918 11533 0 -1 4202560 2425 0 1 0 15 2 0 0 20 0 20 0 9749145 9924202496 8377 33554432000 1073741824 1073778376 140737044165664 140661492749176 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 9691604

[startup+0.300264 s]
/proc/loadavg: 3.47 2.78 2.49 4/197 16918
/proc/meminfo: memFree=31439432/32872528 swapFree=162364/176672
[pid=16918] ppid=16915 vsize=9824732 CPUtime=0.64 cores=1,3,5,7
/proc/16918/stat : 16918 (java) S 16915 16918 11533 0 -1 4202496 7031 0 1 0 62 2 0 0 20 0 22 0 9749144 10060525568 10259 33554432000 1073741824 1073778376 140737044165664 140737044156800 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16918/statm: 2456183 10259 2246 9 0 2446860 0
[pid=16918/tid=16919] ppid=16915 vsize=9824732 CPUtime=0.17 cores=1,3,5,7
/proc/16918/task/16919/stat : 16919 (java) S 16915 16918 11533 0 -1 4202560 2425 0 1 0 15 2 0 0 20 0 22 0 9749145 10060525568 10259 33554432000 1073741824 1073778376 140737044165664 140661492749176 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.64
Current children cumulated vsize (KiB) 9824732

[startup+0.700241 s]
/proc/loadavg: 3.47 2.78 2.49 4/197 16918
/proc/meminfo: memFree=31439432/32872528 swapFree=162364/176672
[pid=16918] ppid=16915 vsize=9824732 CPUtime=1.17 cores=1,3,5,7
/proc/16918/stat : 16918 (java) S 16915 16918 11533 0 -1 4202496 15183 0 1 0 112 5 0 0 20 0 19 0 9749144 10060525568 14572 33554432000 1073741824 1073778376 140737044165664 140737044156800 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16918/statm: 2456183 14572 2251 9 0 2446860 0
[pid=16918/tid=16919] ppid=16915 vsize=9824732 CPUtime=0.17 cores=1,3,5,7
/proc/16918/task/16919/stat : 16919 (java) R 16915 16918 11533 0 -1 4202560 2425 0 1 0 15 2 0 0 20 0 19 0 9749145 10060525568 14572 33554432000 1073741824 1073778376 140737044165664 140661492749176 224925901997 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 9824732

[startup+1.50082 s]
/proc/loadavg: 3.47 2.78 2.49 3/216 16943
/proc/meminfo: memFree=31383672/32872528 swapFree=162364/176672
[pid=16918] ppid=16915 vsize=9824732 CPUtime=1.71 cores=1,3,5,7
/proc/16918/stat : 16918 (java) S 16915 16918 11533 0 -1 4202496 15265 0 1 0 165 6 0 0 20 0 21 0 9749144 10060525568 17200 33554432000 1073741824 1073778376 140737044165664 140737044156800 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16918/statm: 2456183 17200 2257 9 0 2446860 0
[pid=16918/tid=16919] ppid=16915 vsize=9824732 CPUtime=0.18 cores=1,3,5,7
/proc/16918/task/16919/stat : 16919 (java) S 16915 16918 11533 0 -1 4202560 2426 0 1 0 16 2 0 0 20 0 21 0 9749145 10060525568 17200 33554432000 1073741824 1073778376 140737044165664 140661492749176 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16918/tid=16921] ppid=16915 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16918/task/16921/stat : 16921 (java) S 16915 16918 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 9749145 10060525568 17200 33554432000 1073741824 1073778376 140737044165664 140661336566056 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16918/tid=16922] ppid=16915 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16918/task/16922/stat : 16922 (java) S 16915 16918 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 9749145 10060525568 17200 33554432000 1073741824 1073778376 140737044165664 140661335513256 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16918/tid=16923] ppid=16915 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16918/task/16923/stat : 16923 (java) S 16915 16918 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 9749145 10060525568 17200 33554432000 1073741824 1073778376 140737044165664 140661334460968 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16918/tid=16924] ppid=16915 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16918/task/16924/stat : 16924 (java) S 16915 16918 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 9749145 10060525568 17200 33554432000 1073741824 1073778376 140737044165664 140661333408168 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16918/tid=16925] ppid=16915 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16918/task/16925/stat : 16925 (java) S 16915 16918 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 9749145 10060525568 17200 33554432000 1073741824 1073778376 140737044165664 140661332355880 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16918/tid=16926] ppid=16915 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16918/task/16926/stat : 16926 (java) S 16915 16918 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 9749145 10060525568 17200 33554432000 1073741824 1073778376 140737044165664 140661331303080 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16918/tid=16927] ppid=16915 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16918/task/16927/stat : 16927 (java) S 16915 16918 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 9749145 10060525568 17200 33554432000 1073741824 1073778376 140737044165664 140661330250792 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16918/tid=16928] ppid=16915 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16918/task/16928/stat : 16928 (java) S 16915 16918 11533 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 21 0 9749145 10060525568 17200 33554432000 1073741824 1073778376 140737044165664 140661329197992 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16918/tid=16929] ppid=16915 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16918/task/16929/stat : 16929 (java) S 16915 16918 11533 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 21 0 9749147 10060525568 17200 33554432000 1073741824 1073778376 140737044165664 140660846868712 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16918/tid=16930] ppid=16915 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16918/task/16930/stat : 16930 (java) S 16915 16918 11533 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 21 0 9749147 10060525568 17200 33554432000 1073741824 1073778376 140737044165664 140660845814776 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16918/tid=16931] ppid=16915 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16918/task/16931/stat : 16931 (java) S 16915 16918 11533 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 9749147 10060525568 17200 33554432000 1073741824 1073778376 140737044165664 140660844762376 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16918/tid=16932] ppid=16915 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16918/task/16932/stat : 16932 (java) S 16915 16918 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 9749149 10060525568 17200 33554432000 1073741824 1073778376 140737044165664 140660843710864 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16918/tid=16933] ppid=16915 vsize=9824732 CPUtime=0.43 cores=1,3,5,7
/proc/16918/task/16933/stat : 16933 (java) S 16915 16918 11533 0 -1 4202560 5422 0 0 0 43 0 0 0 20 0 21 0 9749149 10060525568 17200 33554432000 1073741824 1073778376 140737044165664 140660842658488 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16918/tid=16934] ppid=16915 vsize=9824732 CPUtime=0.47 cores=1,3,5,7
/proc/16918/task/16934/stat : 16934 (java) S 16915 16918 11533 0 -1 4202560 6071 0 0 0 47 0 0 0 20 0 21 0 9749149 10060525568 17200 33554432000 1073741824 1073778376 140737044165664 140660841605688 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16918/tid=16935] ppid=16915 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16918/task/16935/stat : 16935 (java) S 16915 16918 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 9749149 10060525568 17200 33554432000 1073741824 1073778376 140737044165664 140660840553592 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16918/tid=16936] ppid=16915 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16918/task/16936/stat : 16936 (java) S 16915 16918 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 9749149 10060525568 17200 33554432000 1073741824 1073778376 140737044165664 140660839501000 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16918/tid=16939] ppid=16915 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16918/task/16939/stat : 16939 (java) S 16915 16918 11533 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 9749164 10060525568 17200 33554432000 1073741824 1073778376 140737044165664 140660836340904 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.71
Current children cumulated vsize (KiB) 9824732

[startup+3.10079 s]
/proc/loadavg: 3.47 2.78 2.49 4/218 16946
/proc/meminfo: memFree=31368912/32872528 swapFree=162364/176672
[pid=16918] ppid=16915 vsize=9824732 CPUtime=3.37 cores=1,3,5,7
/proc/16918/stat : 16918 (java) S 16915 16918 11533 0 -1 4202496 15280 0 1 0 330 7 0 0 20 0 21 0 9749144 10060525568 20789 33554432000 1073741824 1073778376 140737044165664 140737044156800 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16918/statm: 2456183 20789 2261 9 0 2446860 0
[pid=16918/tid=16919] ppid=16915 vsize=9824732 CPUtime=0.18 cores=1,3,5,7
/proc/16918/task/16919/stat : 16919 (java) S 16915 16918 11533 0 -1 4202560 2427 0 1 0 16 2 0 0 20 0 21 0 9749145 10060525568 20789 33554432000 1073741824 1073778376 140737044165664 140661492749176 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16918/tid=16921] ppid=16915 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16918/task/16921/stat : 16921 (java) S 16915 16918 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 9749145 10060525568 20789 33554432000 1073741824 1073778376 140737044165664 140661336566056 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16918/tid=16922] ppid=16915 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16918/task/16922/stat : 16922 (java) S 16915 16918 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 9749145 10060525568 20789 33554432000 1073741824 1073778376 140737044165664 140661335513256 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16918/tid=16923] ppid=16915 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16918/task/16923/stat : 16923 (java) S 16915 16918 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 9749145 10060525568 20789 33554432000 1073741824 1073778376 140737044165664 140661334460968 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16918/tid=16924] ppid=16915 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16918/task/16924/stat : 16924 (java) S 16915 16918 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 9749145 10060525568 20789 33554432000 1073741824 1073778376 140737044165664 140661333408168 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16918/tid=16925] ppid=16915 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16918/task/16925/stat : 16925 (java) S 16915 16918 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 9749145 10060525568 20789 33554432000 1073741824 1073778376 140737044165664 140661332355880 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16918/tid=16926] ppid=16915 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16918/task/16926/stat : 16926 (java) S 16915 16918 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 9749145 10060525568 20789 33554432000 1073741824 1073778376 140737044165664 140661331303080 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16918/tid=16927] ppid=16915 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16918/task/16927/stat : 16927 (java) S 16915 16918 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 9749145 10060525568 20789 33554432000 1073741824 1073778376 140737044165664 140661330250792 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16918/tid=16928] ppid=16915 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16918/task/16928/stat : 16928 (java) S 16915 16918 11533 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 21 0 9749145 10060525568 20789 33554432000 1073741824 1073778376 140737044165664 140661329197992 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16918/tid=16929] ppid=16915 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16918/task/16929/stat : 16929 (java) S 16915 16918 11533 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 21 0 9749147 10060525568 20789 33554432000 1073741824 1073778376 140737044165664 140660846868712 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16918/tid=16930] ppid=16915 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16918/task/16930/stat : 16930 (java) S 16915 16918 11533 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 21 0 9749147 10060525568 20789 33554432000 1073741824 1073778376 140737044165664 140660845814776 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16918/tid=16931] ppid=16915 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16918/task/16931/stat : 16931 (java) S 16915 16918 11533 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 9749147 10060525568 20789 33554432000 1073741824 1073778376 140737044165664 140660844762376 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16918/tid=16932] ppid=16915 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16918/task/16932/stat : 16932 (java) S 16915 16918 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 9749149 10060525568 20789 33554432000 1073741824 1073778376 140737044165664 140660843710864 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16918/tid=16933] ppid=16915 vsize=9824732 CPUtime=0.47 cores=1,3,5,7
/proc/16918/task/16933/stat : 16933 (java) S 16915 16918 11533 0 -1 4202560 5426 0 0 0 47 0 0 0 20 0 21 0 9749149 10060525568 20789 33554432000 1073741824 1073778376 140737044165664 140660842658488 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16918/tid=16934] ppid=16915 vsize=9824732 CPUtime=0.5 cores=1,3,5,7
/proc/16918/task/16934/stat : 16934 (java) S 16915 16918 11533 0 -1 4202560 6072 0 0 0 50 0 0 0 20 0 21 0 9749149 10060525568 20789 33554432000 1073741824 1073778376 140737044165664 140660841605688 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16918/tid=16935] ppid=16915 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16918/task/16935/stat : 16935 (java) S 16915 16918 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 9749149 10060525568 20789 33554432000 1073741824 1073778376 140737044165664 140660840553592 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16918/tid=16936] ppid=16915 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16918/task/16936/stat : 16936 (java) S 16915 16918 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 9749149 10060525568 20789 33554432000 1073741824 1073778376 140737044165664 140660839501000 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16918/tid=16939] ppid=16915 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16918/task/16939/stat : 16939 (java) S 16915 16918 11533 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 9749164 10060525568 20789 33554432000 1073741824 1073778376 140737044165664 140660836340904 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16918/tid=16944] ppid=16915 vsize=9824732 CPUtime=1.87 cores=1,3,5,7
/proc/16918/task/16944/stat : 16944 (java) R 16915 16918 11533 0 -1 4202560 13 0 0 0 187 0 0 0 20 0 21 0 9749264 10060525568 20789 33554432000 1073741824 1073778376 140737044165664 140660838444216 140661337074207 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=16918/tid=16946] ppid=16915 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16918/task/16946/stat : 16946 (java) S 16915 16918 11533 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 21 0 9749265 10060525568 20789 33554432000 1073741824 1073778376 140737044165664 140660837393192 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.37
Current children cumulated vsize (KiB) 9824732

[startup+6.30079 s]
/proc/loadavg: 3.43 2.78 2.49 4/218 16946
/proc/meminfo: memFree=31345716/32872528 swapFree=162364/176672
[pid=16918] ppid=16915 vsize=9824732 CPUtime=6.61 cores=1,3,5,7
/proc/16918/stat : 16918 (java) S 16915 16918 11533 0 -1 4202496 15290 0 1 0 653 8 0 0 20 0 21 0 9749144 10060525568 24250 33554432000 1073741824 1073778376 140737044165664 140737044156800 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16918/statm: 2456183 24250 2262 9 0 2446860 0
[pid=16918/tid=16919] ppid=16915 vsize=9824732 CPUtime=0.18 cores=1,3,5,7
/proc/16918/task/16919/stat : 16919 (java) S 16915 16918 11533 0 -1 4202560 2427 0 1 0 16 2 0 0 20 0 21 0 9749145 10060525568 24250 33554432000 1073741824 1073778376 140737044165664 140661492749176 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16918/tid=16921] ppid=16915 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16918/task/16921/stat : 16921 (java) S 16915 16918 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 9749145 10060525568 24250 33554432000 1073741824 1073778376 140737044165664 140661336566056 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16918/tid=16922] ppid=16915 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16918/task/16922/stat : 16922 (java) S 16915 16918 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 9749145 10060525568 24250 33554432000 1073741824 1073778376 140737044165664 140661335513256 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16918/tid=16923] ppid=16915 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16918/task/16923/stat : 16923 (java) S 16915 16918 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 9749145 10060525568 24250 33554432000 1073741824 1073778376 140737044165664 140661334460968 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16918/tid=16924] ppid=16915 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16918/task/16924/stat : 16924 (java) S 16915 16918 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 9749145 10060525568 24250 33554432000 1073741824 1073778376 140737044165664 140661333408168 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16918/tid=16925] ppid=16915 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16918/task/16925/stat : 16925 (java) S 16915 16918 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 9749145 10060525568 24250 33554432000 1073741824 1073778376 140737044165664 140661332355880 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16918/tid=16926] ppid=16915 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16918/task/16926/stat : 16926 (java) S 16915 16918 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 9749145 10060525568 24250 33554432000 1073741824 1073778376 140737044165664 140661331303080 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16918/tid=16927] ppid=16915 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16918/task/16927/stat : 16927 (java) S 16915 16918 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 9749145 10060525568 24250 33554432000 1073741824 1073778376 140737044165664 140661330250792 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16918/tid=16928] ppid=16915 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16918/task/16928/stat : 16928 (java) S 16915 16918 11533 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 21 0 9749145 10060525568 24250 33554432000 1073741824 1073778376 140737044165664 140661329197992 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16918/tid=16929] ppid=16915 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16918/task/16929/stat : 16929 (java) S 16915 16918 11533 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 21 0 9749147 10060525568 24250 33554432000 1073741824 1073778376 140737044165664 140660846868712 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16918/tid=16930] ppid=16915 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16918/task/16930/stat : 16930 (java) S 16915 16918 11533 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 21 0 9749147 10060525568 24250 33554432000 1073741824 1073778376 140737044165664 140660845814776 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16918/tid=16931] ppid=16915 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16918/task/16931/stat : 16931 (java) S 16915 16918 11533 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 9749147 10060525568 24250 33554432000 1073741824 1073778376 140737044165664 140660844762376 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16918/tid=16932] ppid=16915 vsize=9824732 CPUtime=0 cores=1,3,5,7

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

[pid=16918/tid=16944] ppid=16915 vsize=9824732 CPUtime=1659.05 cores=1,3,5,7
/proc/16918/task/16944/stat : 16944 (java) R 16915 16918 11533 0 -1 4202560 80 0 0 0 165876 29 0 0 20 0 21 0 9749264 10060525568 144222 33554432000 1073741824 1073778376 140737044165664 140660838444976 140661337135352 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=16918/tid=16946] ppid=16915 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16918/task/16946/stat : 16946 (java) S 16915 16918 11533 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 21 0 9749265 10060525568 144222 33554432000 1073741824 1073778376 140737044165664 140660837393192 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1666.35
Current children cumulated vsize (KiB) 9824732

[startup+1722.3 s]
/proc/loadavg: 2.13 2.12 2.32 3/217 17405
/proc/meminfo: memFree=29346936/32872528 swapFree=162364/176672
[pid=16918] ppid=16915 vsize=9824732 CPUtime=1726.38 cores=1,3,5,7
/proc/16918/stat : 16918 (java) S 16915 16918 11533 0 -1 4202496 19314 0 1 0 172509 129 0 0 20 0 21 0 9749144 10060525568 144222 33554432000 1073741824 1073778376 140737044165664 140737044156800 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16918/statm: 2456183 144222 2283 9 0 2446860 0
[pid=16918/tid=16919] ppid=16915 vsize=9824732 CPUtime=0.83 cores=1,3,5,7
/proc/16918/task/16919/stat : 16919 (java) S 16915 16918 11533 0 -1 4202560 2440 0 1 0 50 33 0 0 20 0 21 0 9749145 10060525568 144222 33554432000 1073741824 1073778376 140737044165664 140661492749288 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16918/tid=16921] ppid=16915 vsize=9824732 CPUtime=0.56 cores=1,3,5,7
/proc/16918/task/16921/stat : 16921 (java) S 16915 16918 11533 0 -1 4202560 587 0 0 0 49 7 0 0 20 0 21 0 9749145 10060525568 144222 33554432000 1073741824 1073778376 140737044165664 140661336566056 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16918/tid=16922] ppid=16915 vsize=9824732 CPUtime=0.54 cores=1,3,5,7
/proc/16918/task/16922/stat : 16922 (java) S 16915 16918 11533 0 -1 4202560 279 0 0 0 46 8 0 0 20 0 21 0 9749145 10060525568 144222 33554432000 1073741824 1073778376 140737044165664 140661335513256 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16918/tid=16923] ppid=16915 vsize=9824732 CPUtime=0.59 cores=1,3,5,7
/proc/16918/task/16923/stat : 16923 (java) S 16915 16918 11533 0 -1 4202560 452 0 0 0 50 9 0 0 20 0 21 0 9749145 10060525568 144222 33554432000 1073741824 1073778376 140737044165664 140661334460968 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16918/tid=16924] ppid=16915 vsize=9824732 CPUtime=0.57 cores=1,3,5,7
/proc/16918/task/16924/stat : 16924 (java) S 16915 16918 11533 0 -1 4202560 517 0 0 0 47 10 0 0 20 0 21 0 9749145 10060525568 144222 33554432000 1073741824 1073778376 140737044165664 140661333408168 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16918/tid=16925] ppid=16915 vsize=9824732 CPUtime=0.54 cores=1,3,5,7
/proc/16918/task/16925/stat : 16925 (java) S 16915 16918 11533 0 -1 4202560 302 0 0 0 45 9 0 0 20 0 21 0 9749145 10060525568 144222 33554432000 1073741824 1073778376 140737044165664 140661332355880 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16918/tid=16926] ppid=16915 vsize=9824732 CPUtime=0.51 cores=1,3,5,7
/proc/16918/task/16926/stat : 16926 (java) S 16915 16918 11533 0 -1 4202560 464 0 0 0 43 8 0 0 20 0 21 0 9749145 10060525568 144222 33554432000 1073741824 1073778376 140737044165664 140661331303080 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16918/tid=16927] ppid=16915 vsize=9824732 CPUtime=0.62 cores=1,3,5,7
/proc/16918/task/16927/stat : 16927 (java) S 16915 16918 11533 0 -1 4202560 409 0 0 0 51 11 0 0 20 0 21 0 9749145 10060525568 144222 33554432000 1073741824 1073778376 140737044165664 140661330250792 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16918/tid=16928] ppid=16915 vsize=9824732 CPUtime=0.56 cores=1,3,5,7
/proc/16918/task/16928/stat : 16928 (java) S 16915 16918 11533 0 -1 4202560 509 0 0 0 46 10 0 0 20 0 21 0 9749145 10060525568 144222 33554432000 1073741824 1073778376 140737044165664 140661329197992 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16918/tid=16929] ppid=16915 vsize=9824732 CPUtime=0.55 cores=1,3,5,7
/proc/16918/task/16929/stat : 16929 (java) S 16915 16918 11533 0 -1 4202560 337 0 0 0 52 3 0 0 20 0 21 0 9749147 10060525568 144222 33554432000 1073741824 1073778376 140737044165664 140660846868712 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16918/tid=16930] ppid=16915 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16918/task/16930/stat : 16930 (java) S 16915 16918 11533 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 9749147 10060525568 144222 33554432000 1073741824 1073778376 140737044165664 140660845814776 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16918/tid=16931] ppid=16915 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16918/task/16931/stat : 16931 (java) S 16915 16918 11533 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 21 0 9749147 10060525568 144222 33554432000 1073741824 1073778376 140737044165664 140660844762376 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16918/tid=16932] ppid=16915 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16918/task/16932/stat : 16932 (java) S 16915 16918 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 9749149 10060525568 144222 33554432000 1073741824 1073778376 140737044165664 140660843710864 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16918/tid=16933] ppid=16915 vsize=9824732 CPUtime=0.47 cores=1,3,5,7
/proc/16918/task/16933/stat : 16933 (java) S 16915 16918 11533 0 -1 4202560 5426 0 0 0 47 0 0 0 20 0 21 0 9749149 10060525568 144222 33554432000 1073741824 1073778376 140737044165664 140660842658488 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16918/tid=16934] ppid=16915 vsize=9824732 CPUtime=0.55 cores=1,3,5,7
/proc/16918/task/16934/stat : 16934 (java) S 16915 16918 11533 0 -1 4202560 6081 0 0 0 55 0 0 0 20 0 21 0 9749149 10060525568 144222 33554432000 1073741824 1073778376 140737044165664 140660841605688 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16918/tid=16935] ppid=16915 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16918/task/16935/stat : 16935 (java) S 16915 16918 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 9749149 10060525568 144222 33554432000 1073741824 1073778376 140737044165664 140660840553592 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16918/tid=16936] ppid=16915 vsize=9824732 CPUtime=0.57 cores=1,3,5,7
/proc/16918/task/16936/stat : 16936 (java) S 16915 16918 11533 0 -1 4202560 100 0 0 0 26 31 0 0 20 0 21 0 9749149 10060525568 144222 33554432000 1073741824 1073778376 140737044165664 140660839501000 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16918/tid=16939] ppid=16915 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16918/task/16939/stat : 16939 (java) S 16915 16918 11533 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 9749164 10060525568 144222 33554432000 1073741824 1073778376 140737044165664 140660836340904 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16918/tid=16944] ppid=16915 vsize=9824732 CPUtime=1719.05 cores=1,3,5,7
/proc/16918/task/16944/stat : 16944 (java) R 16915 16918 11533 0 -1 4202560 80 0 0 0 171875 30 0 0 20 0 21 0 9749264 10060525568 144222 33554432000 1073741824 1073778376 140737044165664 140660838437264 140661337053505 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=16918/tid=16946] ppid=16915 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16918/task/16946/stat : 16946 (java) S 16915 16918 11533 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 21 0 9749265 10060525568 144222 33554432000 1073741824 1073778376 140737044165664 140660837393192 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1726.38
Current children cumulated vsize (KiB) 9824732

[startup+1782.3 s]
/proc/loadavg: 2.10 2.11 2.31 3/217 17407
/proc/meminfo: memFree=29296852/32872528 swapFree=162364/176672
[pid=16918] ppid=16915 vsize=9824732 CPUtime=1786.57 cores=1,3,5,7
/proc/16918/stat : 16918 (java) S 16915 16918 11533 0 -1 4202496 19347 0 1 0 178527 130 0 0 20 0 21 0 9749144 10060525568 140654 33554432000 1073741824 1073778376 140737044165664 140737044156800 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16918/statm: 2456183 140654 2283 9 0 2446860 0
[pid=16918/tid=16919] ppid=16915 vsize=9824732 CPUtime=0.86 cores=1,3,5,7
/proc/16918/task/16919/stat : 16919 (java) S 16915 16918 11533 0 -1 4202560 2441 0 1 0 52 34 0 0 20 0 21 0 9749145 10060525568 140654 33554432000 1073741824 1073778376 140737044165664 140661492749288 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16918/tid=16921] ppid=16915 vsize=9824732 CPUtime=0.58 cores=1,3,5,7
/proc/16918/task/16921/stat : 16921 (java) S 16915 16918 11533 0 -1 4202560 596 0 0 0 51 7 0 0 20 0 21 0 9749145 10060525568 140654 33554432000 1073741824 1073778376 140737044165664 140661336566056 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16918/tid=16922] ppid=16915 vsize=9824732 CPUtime=0.56 cores=1,3,5,7
/proc/16918/task/16922/stat : 16922 (java) S 16915 16918 11533 0 -1 4202560 279 0 0 0 48 8 0 0 20 0 21 0 9749145 10060525568 140654 33554432000 1073741824 1073778376 140737044165664 140661335513256 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16918/tid=16923] ppid=16915 vsize=9824732 CPUtime=0.63 cores=1,3,5,7
/proc/16918/task/16923/stat : 16923 (java) S 16915 16918 11533 0 -1 4202560 452 0 0 0 54 9 0 0 20 0 21 0 9749145 10060525568 140654 33554432000 1073741824 1073778376 140737044165664 140661334460968 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16918/tid=16924] ppid=16915 vsize=9824732 CPUtime=0.59 cores=1,3,5,7
/proc/16918/task/16924/stat : 16924 (java) S 16915 16918 11533 0 -1 4202560 517 0 0 0 49 10 0 0 20 0 21 0 9749145 10060525568 140654 33554432000 1073741824 1073778376 140737044165664 140661333408168 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16918/tid=16925] ppid=16915 vsize=9824732 CPUtime=0.57 cores=1,3,5,7
/proc/16918/task/16925/stat : 16925 (java) S 16915 16918 11533 0 -1 4202560 302 0 0 0 48 9 0 0 20 0 21 0 9749145 10060525568 140654 33554432000 1073741824 1073778376 140737044165664 140661332355880 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16918/tid=16926] ppid=16915 vsize=9824732 CPUtime=0.56 cores=1,3,5,7
/proc/16918/task/16926/stat : 16926 (java) S 16915 16918 11533 0 -1 4202560 465 0 0 0 48 8 0 0 20 0 21 0 9749145 10060525568 140654 33554432000 1073741824 1073778376 140737044165664 140661331303080 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16918/tid=16927] ppid=16915 vsize=9824732 CPUtime=0.64 cores=1,3,5,7
/proc/16918/task/16927/stat : 16927 (java) S 16915 16918 11533 0 -1 4202560 409 0 0 0 53 11 0 0 20 0 21 0 9749145 10060525568 140654 33554432000 1073741824 1073778376 140737044165664 140661330250792 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16918/tid=16928] ppid=16915 vsize=9824732 CPUtime=0.6 cores=1,3,5,7
/proc/16918/task/16928/stat : 16928 (java) S 16915 16918 11533 0 -1 4202560 522 0 0 0 50 10 0 0 20 0 21 0 9749145 10060525568 140654 33554432000 1073741824 1073778376 140737044165664 140661329197992 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16918/tid=16929] ppid=16915 vsize=9824732 CPUtime=0.55 cores=1,3,5,7
/proc/16918/task/16929/stat : 16929 (java) S 16915 16918 11533 0 -1 4202560 341 0 0 0 52 3 0 0 20 0 21 0 9749147 10060525568 140654 33554432000 1073741824 1073778376 140737044165664 140660846868712 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16918/tid=16930] ppid=16915 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16918/task/16930/stat : 16930 (java) S 16915 16918 11533 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 9749147 10060525568 140654 33554432000 1073741824 1073778376 140737044165664 140660845814776 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16918/tid=16931] ppid=16915 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16918/task/16931/stat : 16931 (java) S 16915 16918 11533 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 21 0 9749147 10060525568 140654 33554432000 1073741824 1073778376 140737044165664 140660844762376 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16918/tid=16932] ppid=16915 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16918/task/16932/stat : 16932 (java) S 16915 16918 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 9749149 10060525568 140654 33554432000 1073741824 1073778376 140737044165664 140660843710864 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16918/tid=16933] ppid=16915 vsize=9824732 CPUtime=0.47 cores=1,3,5,7
/proc/16918/task/16933/stat : 16933 (java) S 16915 16918 11533 0 -1 4202560 5426 0 0 0 47 0 0 0 20 0 21 0 9749149 10060525568 140654 33554432000 1073741824 1073778376 140737044165664 140660842658488 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16918/tid=16934] ppid=16915 vsize=9824732 CPUtime=0.55 cores=1,3,5,7
/proc/16918/task/16934/stat : 16934 (java) S 16915 16918 11533 0 -1 4202560 6081 0 0 0 55 0 0 0 20 0 21 0 9749149 10060525568 140654 33554432000 1073741824 1073778376 140737044165664 140660841605688 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16918/tid=16935] ppid=16915 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16918/task/16935/stat : 16935 (java) S 16915 16918 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 9749149 10060525568 140654 33554432000 1073741824 1073778376 140737044165664 140660840553592 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16918/tid=16936] ppid=16915 vsize=9824732 CPUtime=0.6 cores=1,3,5,7
/proc/16918/task/16936/stat : 16936 (java) S 16915 16918 11533 0 -1 4202560 104 0 0 0 27 33 0 0 20 0 21 0 9749149 10060525568 140654 33554432000 1073741824 1073778376 140737044165664 140660839501000 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16918/tid=16939] ppid=16915 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16918/task/16939/stat : 16939 (java) S 16915 16918 11533 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 9749164 10060525568 140654 33554432000 1073741824 1073778376 140737044165664 140660836340904 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16918/tid=16944] ppid=16915 vsize=9824732 CPUtime=1778.98 cores=1,3,5,7
/proc/16918/task/16944/stat : 16944 (java) R 16915 16918 11533 0 -1 4202560 81 0 0 0 177867 31 0 0 20 0 21 0 9749264 10060525568 140654 33554432000 1073741824 1073778376 140737044165664 140660838444976 140661337047056 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=16918/tid=16946] ppid=16915 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16918/task/16946/stat : 16946 (java) S 16915 16918 11533 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 21 0 9749265 10060525568 140654 33554432000 1073741824 1073778376 140737044165664 140660837393192 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1786.57
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1795.8 s]
/proc/loadavg: 2.08 2.11 2.30 3/217 17408
/proc/meminfo: memFree=29242620/32872528 swapFree=162364/176672
[pid=16918] ppid=16915 vsize=9824732 CPUtime=1800.07 cores=1,3,5,7
/proc/16918/stat : 16918 (java) S 16915 16918 11533 0 -1 4202496 19347 0 1 0 179877 130 0 0 20 0 21 0 9749144 10060525568 140654 33554432000 1073741824 1073778376 140737044165664 140737044156800 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16918/statm: 2456183 140654 2283 9 0 2446860 0
[pid=16918/tid=16919] ppid=16915 vsize=9824732 CPUtime=0.86 cores=1,3,5,7
/proc/16918/task/16919/stat : 16919 (java) S 16915 16918 11533 0 -1 4202560 2441 0 1 0 52 34 0 0 20 0 21 0 9749145 10060525568 140654 33554432000 1073741824 1073778376 140737044165664 140661492749288 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16918/tid=16921] ppid=16915 vsize=9824732 CPUtime=0.58 cores=1,3,5,7
/proc/16918/task/16921/stat : 16921 (java) S 16915 16918 11533 0 -1 4202560 596 0 0 0 51 7 0 0 20 0 21 0 9749145 10060525568 140654 33554432000 1073741824 1073778376 140737044165664 140661336566056 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16918/tid=16922] ppid=16915 vsize=9824732 CPUtime=0.56 cores=1,3,5,7
/proc/16918/task/16922/stat : 16922 (java) S 16915 16918 11533 0 -1 4202560 279 0 0 0 48 8 0 0 20 0 21 0 9749145 10060525568 140654 33554432000 1073741824 1073778376 140737044165664 140661335513256 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16918/tid=16923] ppid=16915 vsize=9824732 CPUtime=0.63 cores=1,3,5,7
/proc/16918/task/16923/stat : 16923 (java) S 16915 16918 11533 0 -1 4202560 452 0 0 0 54 9 0 0 20 0 21 0 9749145 10060525568 140654 33554432000 1073741824 1073778376 140737044165664 140661334460968 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16918/tid=16924] ppid=16915 vsize=9824732 CPUtime=0.59 cores=1,3,5,7
/proc/16918/task/16924/stat : 16924 (java) S 16915 16918 11533 0 -1 4202560 517 0 0 0 49 10 0 0 20 0 21 0 9749145 10060525568 140654 33554432000 1073741824 1073778376 140737044165664 140661333408168 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16918/tid=16925] ppid=16915 vsize=9824732 CPUtime=0.57 cores=1,3,5,7
/proc/16918/task/16925/stat : 16925 (java) S 16915 16918 11533 0 -1 4202560 302 0 0 0 48 9 0 0 20 0 21 0 9749145 10060525568 140654 33554432000 1073741824 1073778376 140737044165664 140661332355880 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16918/tid=16926] ppid=16915 vsize=9824732 CPUtime=0.56 cores=1,3,5,7
/proc/16918/task/16926/stat : 16926 (java) S 16915 16918 11533 0 -1 4202560 465 0 0 0 48 8 0 0 20 0 21 0 9749145 10060525568 140654 33554432000 1073741824 1073778376 140737044165664 140661331303080 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16918/tid=16927] ppid=16915 vsize=9824732 CPUtime=0.64 cores=1,3,5,7
/proc/16918/task/16927/stat : 16927 (java) S 16915 16918 11533 0 -1 4202560 409 0 0 0 53 11 0 0 20 0 21 0 9749145 10060525568 140654 33554432000 1073741824 1073778376 140737044165664 140661330250792 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16918/tid=16928] ppid=16915 vsize=9824732 CPUtime=0.6 cores=1,3,5,7
/proc/16918/task/16928/stat : 16928 (java) S 16915 16918 11533 0 -1 4202560 522 0 0 0 50 10 0 0 20 0 21 0 9749145 10060525568 140654 33554432000 1073741824 1073778376 140737044165664 140661329197992 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16918/tid=16929] ppid=16915 vsize=9824732 CPUtime=0.55 cores=1,3,5,7
/proc/16918/task/16929/stat : 16929 (java) S 16915 16918 11533 0 -1 4202560 341 0 0 0 52 3 0 0 20 0 21 0 9749147 10060525568 140654 33554432000 1073741824 1073778376 140737044165664 140660846868712 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16918/tid=16930] ppid=16915 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16918/task/16930/stat : 16930 (java) S 16915 16918 11533 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 9749147 10060525568 140654 33554432000 1073741824 1073778376 140737044165664 140660845814776 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16918/tid=16931] ppid=16915 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16918/task/16931/stat : 16931 (java) S 16915 16918 11533 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 21 0 9749147 10060525568 140654 33554432000 1073741824 1073778376 140737044165664 140660844762376 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16918/tid=16932] ppid=16915 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16918/task/16932/stat : 16932 (java) S 16915 16918 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 9749149 10060525568 140654 33554432000 1073741824 1073778376 140737044165664 140660843710864 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16918/tid=16933] ppid=16915 vsize=9824732 CPUtime=0.47 cores=1,3,5,7
/proc/16918/task/16933/stat : 16933 (java) S 16915 16918 11533 0 -1 4202560 5426 0 0 0 47 0 0 0 20 0 21 0 9749149 10060525568 140654 33554432000 1073741824 1073778376 140737044165664 140660842658488 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16918/tid=16934] ppid=16915 vsize=9824732 CPUtime=0.55 cores=1,3,5,7
/proc/16918/task/16934/stat : 16934 (java) S 16915 16918 11533 0 -1 4202560 6081 0 0 0 55 0 0 0 20 0 21 0 9749149 10060525568 140654 33554432000 1073741824 1073778376 140737044165664 140660841605688 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16918/tid=16935] ppid=16915 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16918/task/16935/stat : 16935 (java) S 16915 16918 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 9749149 10060525568 140654 33554432000 1073741824 1073778376 140737044165664 140660840553592 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16918/tid=16936] ppid=16915 vsize=9824732 CPUtime=0.6 cores=1,3,5,7
/proc/16918/task/16936/stat : 16936 (java) S 16915 16918 11533 0 -1 4202560 104 0 0 0 27 33 0 0 20 0 21 0 9749149 10060525568 140654 33554432000 1073741824 1073778376 140737044165664 140660839501000 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16918/tid=16939] ppid=16915 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16918/task/16939/stat : 16939 (java) S 16915 16918 11533 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 9749164 10060525568 140654 33554432000 1073741824 1073778376 140737044165664 140660836340904 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16918/tid=16944] ppid=16915 vsize=9824732 CPUtime=1792.48 cores=1,3,5,7
/proc/16918/task/16944/stat : 16944 (java) R 16915 16918 11533 0 -1 4202560 81 0 0 0 179217 31 0 0 20 0 21 0 9749264 10060525568 140654 33554432000 1073741824 1073778376 140737044165664 140660838437264 140661337053654 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=16918/tid=16946] ppid=16915 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16918/task/16946/stat : 16946 (java) S 16915 16918 11533 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 21 0 9749265 10060525568 140654 33554432000 1073741824 1073778376 140737044165664 140660837393192 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
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 16918 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 1795.85
CPU time (s): 1800.9
CPU user time (s): 1798.98
CPU system time (s): 1.92171
CPU usage (%): 100.281
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.98
system time used= 1.92171
maximum resident set size= 778484
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19386
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1432
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 74794
involuntary context switches= 24379

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.072 second user time and 12.4841 second system time

The end

Launcher Data 

Begin job on node105 at 2016-06-16 13:36:32
IDJOB=4091926
IDBENCH=78663
IDSOLVER=2552
FILE ID=node105/4091926-1466076992
RUNJOBID= node105-1466074085-13483
PBS_JOBID= 19904027
Free space on /tmp= 71744 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl20_25_pb.cnf.cr--soft-33-100-0.wbo
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4091926-1466076992/watcher-4091926-1466076992 -o /tmp/evaluation-result-4091926-1466076992/solver-4091926-1466076992 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1466074085-13483 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4091926-1466076992.wbo

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

MD5SUM BENCH= a9a2270f2536f669bb9dfa31ae05dbb5
RANDOM SEED=1720402902

node105.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.561
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.12
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.561
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.561
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.561
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.561
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.54
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.561
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.561
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.561
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.58
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        31440340 kB
Buffers:           18816 kB
Cached:            60076 kB
SwapCached:         1468 kB
Active:           500464 kB
Inactive:          43728 kB
Active(anon):     466032 kB
Inactive(anon):     1624 kB
Active(file):      34432 kB
Inactive(file):    42104 kB
Unevictable:      176672 kB
Mlocked:          162364 kB
SwapTotal:      67108856 kB
SwapFree:       67097208 kB
Dirty:               452 kB
Writeback:             0 kB
AnonPages:        679296 kB
Mapped:            15392 kB
Shmem:                 0 kB
Slab:             567124 kB
SReclaimable:      10076 kB
SUnreclaim:       557048 kB
KernelStack:        1784 kB
PageTables:         5772 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1254960 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    462848 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= 71748 MiB
End job on node105 at 2016-06-16 14:06:28