Trace number 4109141

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.77 1795.05

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl20_25_pb.cnf.cr--soft-66-100-0.wbo
MD5SUM42da1cd697f3cedc8c0556e71b08964e
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark25
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 constraints38
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 1923
Min constraint cost 1
Max constraint cost 95
Sum of constraints costs 1922
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.07/0.20	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.07/0.20	c This is free software under the dual EPL/GNU LGPL licenses.
0.07/0.20	c See www.sat4j.org for details.
0.07/0.21	c version PB16.v20160501
0.07/0.21	c java.runtime.name	Java(TM) SE Runtime Environment
0.07/0.21	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.07/0.21	c java.vm.version	19.1-b02
0.07/0.21	c java.vm.vendor	Sun Microsystems Inc.
0.07/0.21	c sun.arch.data.model	64
0.07/0.21	c java.version		1.6.0_24
0.07/0.21	c os.name		Linux
0.07/0.21	c os.version		2.6.32-71.29.1.el6.x86_64
0.07/0.21	c os.arch		amd64
0.07/0.21	c Free memory 		501472288
0.07/0.21	c Max memory 		7480803328
0.07/0.21	c Total memory 		504102912
0.07/0.21	c Number of processors 	8
0.07/0.24	c Pseudo Boolean Optimization by upper bound
0.07/0.24	c ManyCore solver with 2 solvers running in parallel
0.07/0.24	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.07/0.24	c --- Begin Solver configuration ---
0.07/0.24	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@16fd0b7
0.07/0.24	c Learn all clauses as in MiniSAT
0.07/0.24	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.07/0.24	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.07/0.24	c Expensive reason simplification
0.07/0.24	c Glucose 2.1 dynamic restart strategy
0.07/0.24	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.07/0.24	c timeout=2147483s
0.07/0.24	c DB Simplification allowed=false
0.07/0.24	c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee
0.07/0.24	c --- End Solver configuration ---
0.07/0.24	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.07/0.24	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.07/0.24	c --- Begin Solver configuration ---
0.07/0.24	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@75786e64
0.07/0.24	c Learn all clauses as in MiniSAT
0.07/0.24	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.07/0.24	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.07/0.24	c No reason simplification
0.07/0.24	c Armin Biere (Picosat) restarts strategy
0.07/0.24	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.07/0.24	c timeout=2147483s
0.07/0.24	c DB Simplification allowed=false
0.07/0.24	c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee
0.07/0.24	c --- End Solver configuration ---
0.07/0.24	c solving HOME/instance-4109141-1466341797.wbo
0.07/0.24	c reading problem ... 
0.22/0.32	c ... done. Wall clock time 0.081s.
0.22/0.32	c declared #vars     1000
0.22/0.32	c internal #vars     1038
0.22/0.32	c #constraints  90
0.22/0.33	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.22/0.33	c constraints type 
0.22/0.33	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 50
0.22/0.33	c org.sat4j.minisat.constraints.card.MinWatchCard => 22
0.22/0.33	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 18
0.22/0.33	c 90 constraints processed.
0.22/0.33	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.22/0.33	c constraints type 
0.22/0.33	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 50
0.22/0.33	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 22
0.22/0.33	c org.sat4j.pb.constraints.pb.MaxWatchPb => 18
0.22/0.33	c 90 constraints processed.
0.22/0.33	c objective function length is 38 literals
0.48/0.48	c And the winner is solver1
1.21/0.83	c SATISFIABLE
1.21/0.83	c OPTIMIZING...
1.21/0.83	c Got one! Elapsed wall clock time (in seconds):0.597
1.21/0.83	o 102
1.21/0.84	c And the winner is solver1
1.23/1.34	c Got one! Elapsed wall clock time (in seconds):1.099
1.23/1.34	o 19
1.23/1.34	c And the winner is solver1
1.74/1.70	c cleaning 2774 clauses out of 5577 with flag 27331/5577
2.38/2.38	c cleaning 4400 clauses out of 8803 with flag 72194/11577
3.47/3.44	c cleaning 5695 clauses out of 11401 with flag 126241/18575
4.48/4.47	c cleaning 6831 clauses out of 13709 with flag 186998/26578
5.50/5.49	c cleaning 7908 clauses out of 15876 with flag 258190/35576
7.00/6.97	c cleaning 8957 clauses out of 17970 with flag 347772/45578
8.80/8.75	c cleaning 9983 clauses out of 20010 with flag 443810/56575
10.10/10.05	c cleaning 10951 clauses out of 22027 with flag 535352/68575
12.09/12.00	c cleaning 11944 clauses out of 24077 with flag 634853/81576
13.79/13.74	c cleaning 13058 clauses out of 26132 with flag 741524/95575
16.69/16.63	c cleaning 14030 clauses out of 28074 with flag 852371/110575
20.00/19.98	c cleaning 15011 clauses out of 30044 with flag 963487/126575
23.79/23.72	c cleaning 16010 clauses out of 32033 with flag 1085889/143575
28.09/28.02	c cleaning 16999 clauses out of 34025 with flag 1217175/161577
32.73/32.60	c cleaning 18004 clauses out of 36025 with flag 1371681/180576
37.83/37.74	c cleaning 19007 clauses out of 38026 with flag 1561604/200581
42.13/42.03	c cleaning 19996 clauses out of 40014 with flag 1748111/221576
46.73/46.64	c cleaning 20997 clauses out of 42017 with flag 1896918/243575
50.53/50.40	c cleaning 21936 clauses out of 44020 with flag 2062826/266575
54.04/53.96	c cleaning 23043 clauses out of 46085 with flag 2298004/290576
57.74/57.68	c cleaning 23950 clauses out of 48041 with flag 2522844/315575
61.14/61.03	c cleaning 25048 clauses out of 50095 with flag 2764723/341579
65.30/65.18	c cleaning 26016 clauses out of 52046 with flag 3006816/368578
70.50/70.36	c cleaning 27015 clauses out of 54029 with flag 3268682/396577
76.60/76.40	c cleaning 28006 clauses out of 56013 with flag 3555057/425576
81.10/80.92	c cleaning 28935 clauses out of 58007 with flag 3802133/455576
86.00/85.89	c cleaning 30018 clauses out of 60073 with flag 4089198/486577
92.95/92.67	c cleaning 31012 clauses out of 62053 with flag 4337703/518575
99.15/98.88	c cleaning 31915 clauses out of 64041 with flag 4609127/551575
110.46/110.16	c cleaning 32936 clauses out of 66126 with flag 4895704/585575
123.16/122.83	c cleaning 33975 clauses out of 68193 with flag 5207040/620578
137.16/136.88	c cleaning 34982 clauses out of 70215 with flag 5509115/656575
144.96/144.65	c cleaning 36034 clauses out of 72234 with flag 5853826/693576
153.84/153.40	c cleaning 37092 clauses out of 74201 with flag 6219609/731577
168.75/168.20	c cleaning 38051 clauses out of 76109 with flag 6592040/770577
185.55/185.02	c cleaning 39026 clauses out of 78057 with flag 6971857/810576
203.98/203.24	c cleaning 40017 clauses out of 80034 with flag 7409677/851579
213.98/213.22	c cleaning 41001 clauses out of 82013 with flag 7821310/893575
230.89/230.16	c cleaning 42003 clauses out of 84013 with flag 8245453/936576
239.20/238.43	c cleaning 42996 clauses out of 86011 with flag 8659310/980577
253.88/252.91	c cleaning 44004 clauses out of 88015 with flag 9075503/1025577
267.68/266.79	c cleaning 44997 clauses out of 90009 with flag 9506172/1071575
281.39/280.50	c cleaning 45973 clauses out of 92012 with flag 10024684/1118575
304.71/303.77	c cleaning 47019 clauses out of 94039 with flag 10502724/1166575
317.13/315.97	c cleaning 48005 clauses out of 96021 with flag 10973989/1215576
336.95/335.73	c cleaning 49007 clauses out of 98016 with flag 11408030/1265576
357.35/356.12	c cleaning 50005 clauses out of 100009 with flag 11814279/1316576
376.14/374.63	c cleaning 50998 clauses out of 102003 with flag 12263067/1368575
393.45/391.98	c cleaning 51985 clauses out of 104006 with flag 12725328/1421576
410.82/409.19	c cleaning 53011 clauses out of 106021 with flag 13191131/1475576
426.69/424.71	c cleaning 54000 clauses out of 108010 with flag 13662031/1530576
443.49/441.51	c cleaning 54959 clauses out of 110011 with flag 14197811/1586577
470.69/468.64	c cleaning 55961 clauses out of 112052 with flag 14756039/1643577
498.91/496.72	c cleaning 56982 clauses out of 114090 with flag 15353862/1701576
526.83/524.69	c cleaning 57989 clauses out of 116107 with flag 16020246/1760575
562.44/560.10	c cleaning 58993 clauses out of 118119 with flag 16697515/1820576
595.92/593.59	c cleaning 59999 clauses out of 120125 with flag 17416039/1881575
623.93/621.40	c cleaning 60996 clauses out of 122126 with flag 18119797/1943575
656.14/653.66	c cleaning 62002 clauses out of 124132 with flag 18863314/2006577
686.11/683.51	c cleaning 62999 clauses out of 126128 with flag 19671245/2070575
723.07/720.43	c cleaning 63992 clauses out of 128129 with flag 20470699/2135575
756.88/754.13	c cleaning 65006 clauses out of 130139 with flag 21338327/2201577
798.68/795.85	c cleaning 66000 clauses out of 132132 with flag 22234953/2268576
845.19/842.26	c cleaning 67000 clauses out of 134131 with flag 23084351/2336575
883.80/880.79	c cleaning 68003 clauses out of 136131 with flag 23811783/2405575
923.45/920.34	c cleaning 68995 clauses out of 138128 with flag 24733528/2475575
968.98/965.78	c cleaning 69998 clauses out of 140133 with flag 25532203/2546575
1014.20/1010.90	c cleaning 71001 clauses out of 142135 with flag 26340230/2618575
1058.93/1055.42	c cleaning 72001 clauses out of 144134 with flag 27167887/2691575
1106.94/1103.34	c cleaning 73002 clauses out of 146136 with flag 28135415/2765578
1152.82/1149.17	c cleaning 74000 clauses out of 148132 with flag 29137557/2840576
1205.83/1202.03	c cleaning 74997 clauses out of 150131 with flag 30106512/2916575
1256.43/1252.51	c cleaning 75996 clauses out of 152135 with flag 30898460/2993576
1310.35/1306.34	c cleaning 77003 clauses out of 154139 with flag 31780956/3071576
1358.70/1354.60	c cleaning 78000 clauses out of 156137 with flag 32843079/3150577
1421.13/1416.93	c cleaning 78997 clauses out of 158136 with flag 33836234/3230576
1483.84/1479.55	c cleaning 80001 clauses out of 160140 with flag 34654937/3311577
1545.96/1541.58	c cleaning 80999 clauses out of 162137 with flag 35548150/3393575
1612.62/1608.01	c cleaning 82000 clauses out of 164141 with flag 36448121/3476578
1677.63/1672.98	c cleaning 83002 clauses out of 166138 with flag 37386643/3560575
1714.60/1709.81	c cleaning 84034 clauses out of 168136 with flag 38244937/3645575
1779.40/1774.49	c cleaning 85015 clauses out of 170103 with flag 38970221/3731576
1800.09/1795.00	c >>>>>>>>>> Solver number 0 (0 answers) <<<<<<<<<<<<<<<<<<
1800.09/1795.00	c starts		: 16737
1800.09/1795.00	c conflicts		: 3775953
1800.09/1795.00	c decisions		: 7400388
1800.09/1795.00	c propagations		: 92025167
1800.09/1795.00	c inspects		: 30838208826
1800.09/1795.00	c shortcuts		: 0
1800.09/1795.00	c learnt literals	: 0
1800.09/1795.00	c learnt binary clauses	: 0
1800.09/1795.00	c learnt ternary clauses	: 0
1800.09/1795.00	c learnt constraints	: 3775953
1800.09/1795.00	c ignored constraints	: 0
1800.09/1795.00	c root simplifications	: 0
1800.09/1795.00	c removed literals (reason simplification)	: 17438639
1800.09/1795.00	c reason swapping (by a shorter reason)	: 0
1800.09/1795.00	c Calls to reduceDB	: 82
1800.09/1795.00	c Number of update (reduction) of LBD	: 2316187
1800.09/1795.00	c Imported unit clauses	: 0
1800.09/1795.00	c number of reductions to clauses (during analyze)	: 0
1800.09/1795.00	c number of learned constraints concerned by reduction	: 0
1800.09/1795.00	c number of learning phase by resolution	: 0
1800.09/1795.00	c number of learning phase by cutting planes	: 0
1800.09/1795.00	c speed (assignments/second)	: 51305.63159473392
1800.09/1795.00	c non guided choices	15077
1800.09/1795.03	c learnt constraints type 
1800.09/1795.03	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 129465
1800.09/1795.03	c >>>>>>>>>> Solver number 1 (3 answers) <<<<<<<<<<<<<<<<<<
1800.09/1795.03	c starts		: 2
1800.09/1795.03	c conflicts		: 27
1800.09/1795.03	c decisions		: 2005
1800.09/1795.03	c propagations		: 4655
1800.09/1795.03	c inspects		: 4690
1800.09/1795.03	c shortcuts		: 0
1800.09/1795.03	c learnt literals	: 0
1800.09/1795.03	c learnt binary clauses	: 0
1800.09/1795.03	c learnt ternary clauses	: 0
1800.09/1795.03	c learnt constraints	: 27
1800.09/1795.03	c ignored constraints	: 0
1800.09/1795.03	c root simplifications	: 0
1800.09/1795.03	c removed literals (reason simplification)	: 0
1800.09/1795.03	c reason swapping (by a shorter reason)	: 0
1800.09/1795.03	c Calls to reduceDB	: 0
1800.09/1795.03	c Number of update (reduction) of LBD	: 0
1800.09/1795.03	c Imported unit clauses	: 0
1800.09/1795.03	c number of reductions to clauses (during analyze)	: 0
1800.09/1795.03	c number of learned constraints concerned by reduction	: 0
1800.09/1795.03	c number of learning phase by resolution	: 0
1800.09/1795.03	c number of learning phase by cutting planes	: 0
1800.09/1795.03	c speed (assignments/second)	: 2.5937569301507666
1800.09/1795.03	c non guided choices	1356
1800.09/1795.03	c learnt constraints type 
1800.09/1795.03	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
1800.09/1795.03	c org.sat4j.pb.constraints.pb.MaxWatchPb => 26
1800.09/1795.03	s SATISFIABLE
1800.09/1795.03	c Found 2 solution(s)
1800.09/1795.03	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 x39 -x40 -x41 -x42 -x43 x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 x79 -x80 -x81 -x82 -x83 x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 x139 -x140 -x141 -x142 -x143 x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 x179 -x180 -x181 -x182 -x183 x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 
1800.09/1795.03	c objective function=19
1800.09/1795.03	c Total wall clock time (in seconds): 1794.798

Verifier Data 

OK	19

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

pid=18633
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: 0.07 0.07 0.08 3/176 18636
/proc/meminfo: memFree=31350648/32872528 swapFree=496868/529572
[pid=18636] ppid=18633 vsize=24328 CPUtime=0 cores=1,3,5,7
/proc/18636/stat : 18636 (runsolver) R 18633 18636 18590 0 -1 4202560 123 0 0 0 0 0 0 0 20 0 1 0 36225182 24911872 160 33554432000 4194304 4338465 140736383360880 140736383358072 211458616759 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0
/proc/18636/statm: 6082 160 113 36 0 2655 0

[startup+0.100141 s]
/proc/loadavg: 0.07 0.07 0.08 3/176 18636
/proc/meminfo: memFree=31350648/32872528 swapFree=496868/529572
[pid=18636] ppid=18633 vsize=9225560 CPUtime=0.01 cores=1,3,5,7
/proc/18636/stat : 18636 (java) S 18633 18636 18590 0 -1 4202496 3067 0 7 0 1 0 0 0 20 0 13 0 36225182 9446973440 3693 33554432000 1073741824 1073778376 140735910419696 140735910410832 211462160445 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18636/statm: 2306390 3693 1678 9 0 2297091 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9225560

[startup+0.200308 s]
/proc/loadavg: 0.07 0.07 0.08 3/176 18636
/proc/meminfo: memFree=31350648/32872528 swapFree=496868/529572
[pid=18636] ppid=18633 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/18636/stat : 18636 (java) S 18633 18636 18590 0 -1 4202496 3783 0 7 0 6 1 0 0 20 0 18 0 36225182 9787879424 4920 33554432000 1073741824 1073778376 140735910419696 140735910410832 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18636/statm: 2389619 4921 1949 9 0 2380296 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 9558476

[startup+0.300321 s]
/proc/loadavg: 0.07 0.07 0.08 3/176 18636
/proc/meminfo: memFree=31350648/32872528 swapFree=496868/529572
[pid=18636] ppid=18633 vsize=9558476 CPUtime=0.22 cores=1,3,5,7
/proc/18636/stat : 18636 (java) S 18633 18636 18590 0 -1 4202496 4666 0 7 0 21 1 0 0 20 0 18 0 36225182 9787879424 7281 33554432000 1073741824 1073778376 140735910419696 140735910410832 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18636/statm: 2389619 7281 2198 9 0 2380296 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 9558476

[startup+0.700238 s]
/proc/loadavg: 0.07 0.07 0.08 3/176 18636
/proc/meminfo: memFree=31350648/32872528 swapFree=496868/529572
[pid=18636] ppid=18633 vsize=9824732 CPUtime=1.21 cores=1,3,5,7
/proc/18636/stat : 18636 (java) S 18633 18636 18590 0 -1 4202496 15246 0 7 0 116 5 0 0 20 0 19 0 36225182 10060525568 15498 33554432000 1073741824 1073778376 140735910419696 140735910410832 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18636/statm: 2456183 15498 2254 9 0 2446860 0
Current children cumulated CPU time (s) 1.21
Current children cumulated vsize (KiB) 9824732

[startup+1.50072 s]
/proc/loadavg: 0.38 0.14 0.10 3/216 18682
/proc/meminfo: memFree=31209336/32872528 swapFree=496868/529572
[pid=18636] ppid=18633 vsize=9824732 CPUtime=1.47 cores=1,3,5,7
/proc/18636/stat : 18636 (java) S 18633 18636 18590 0 -1 4202496 15305 0 7 0 142 5 0 0 20 0 21 0 36225182 10060525568 17592 33554432000 1073741824 1073778376 140735910419696 140735910410832 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18636/statm: 2456183 17592 2257 9 0 2446860 0
[pid=18636/tid=18639] ppid=18633 vsize=9824732 CPUtime=0.18 cores=1,3,5,7
/proc/18636/task/18639/stat : 18639 (java) S 18633 18636 18590 0 -1 4202560 2406 0 7 0 17 1 0 0 20 0 21 0 36225184 10060525568 17592 33554432000 1073741824 1073778376 140735910419696 140579264013176 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 9 0 0
[pid=18636/tid=18640] ppid=18633 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18636/task/18640/stat : 18640 (java) S 18633 18636 18590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 36225187 10060525568 17592 33554432000 1073741824 1073778376 140735910419696 140579253074472 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18636/tid=18643] ppid=18633 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18636/task/18643/stat : 18643 (java) S 18633 18636 18590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 36225187 10060525568 17592 33554432000 1073741824 1073778376 140735910419696 140579252021672 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18636/tid=18645] ppid=18633 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18636/task/18645/stat : 18645 (java) S 18633 18636 18590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 36225187 10060525568 17592 33554432000 1073741824 1073778376 140735910419696 140579250968872 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18636/tid=18647] ppid=18633 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18636/task/18647/stat : 18647 (java) S 18633 18636 18590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 36225187 10060525568 17592 33554432000 1073741824 1073778376 140735910419696 140579249916072 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18636/tid=18648] ppid=18633 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18636/task/18648/stat : 18648 (java) S 18633 18636 18590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 36225187 10060525568 17592 33554432000 1073741824 1073778376 140735910419696 140579248864296 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18636/tid=18651] ppid=18633 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18636/task/18651/stat : 18651 (java) S 18633 18636 18590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 36225187 10060525568 17592 33554432000 1073741824 1073778376 140735910419696 140579247811496 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18636/tid=18653] ppid=18633 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18636/task/18653/stat : 18653 (java) S 18633 18636 18590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 36225187 10060525568 17592 33554432000 1073741824 1073778376 140735910419696 140579246758696 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18636/tid=18655] ppid=18633 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18636/task/18655/stat : 18655 (java) S 18633 18636 18590 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 21 0 36225187 10060525568 17592 33554432000 1073741824 1073778376 140735910419696 140579100637864 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18636/tid=18657] ppid=18633 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18636/task/18657/stat : 18657 (java) S 18633 18636 18590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 21 0 36225191 10060525568 17592 33554432000 1073741824 1073778376 140735910419696 140579088226792 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18636/tid=18658] ppid=18633 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18636/task/18658/stat : 18658 (java) S 18633 18636 18590 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 21 0 36225192 10060525568 17592 33554432000 1073741824 1073778376 140735910419696 140579087172856 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18636/tid=18660] ppid=18633 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18636/task/18660/stat : 18660 (java) S 18633 18636 18590 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 36225192 10060525568 17592 33554432000 1073741824 1073778376 140735910419696 140579086119944 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18636/tid=18662] ppid=18633 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18636/task/18662/stat : 18662 (java) S 18633 18636 18590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 36225196 10060525568 17592 33554432000 1073741824 1073778376 140735910419696 140579085068432 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18636/tid=18664] ppid=18633 vsize=9824732 CPUtime=0.38 cores=1,3,5,7
/proc/18636/task/18664/stat : 18664 (java) S 18633 18636 18590 0 -1 4202560 5890 0 0 0 36 2 0 0 20 0 21 0 36225196 10060525568 17592 33554432000 1073741824 1073778376 140735910419696 140579084016568 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18636/tid=18666] ppid=18633 vsize=9824732 CPUtime=0.41 cores=1,3,5,7
/proc/18636/task/18666/stat : 18666 (java) R 18633 18636 18590 0 -1 4202560 5664 0 0 0 41 0 0 0 20 0 21 0 36225196 10060525568 17592 33554432000 1073741824 1073778376 140735910419696 140579082963648 140579268130418 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=18636/tid=18668] ppid=18633 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18636/task/18668/stat : 18668 (java) S 18633 18636 18590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 36225196 10060525568 17592 33554432000 1073741824 1073778376 140735910419696 140579081911160 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18636/tid=18670] ppid=18633 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18636/task/18670/stat : 18670 (java) S 18633 18636 18590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 36225196 10060525568 17592 33554432000 1073741824 1073778376 140735910419696 140579080858568 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18636/tid=18675] ppid=18633 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18636/task/18675/stat : 18675 (java) S 18633 18636 18590 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 36225216 10060525568 17592 33554432000 1073741824 1073778376 140735910419696 140579076645672 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 9824732

[startup+3.10091 s]
/proc/loadavg: 0.38 0.14 0.10 2/215 18691
/proc/meminfo: memFree=31162652/32872528 swapFree=496868/529572
[pid=18636] ppid=18633 vsize=9824732 CPUtime=3.17 cores=1,3,5,7
/proc/18636/stat : 18636 (java) S 18633 18636 18590 0 -1 4202496 15321 0 7 0 312 5 0 0 20 0 21 0 36225182 10060525568 20160 33554432000 1073741824 1073778376 140735910419696 140735910410832 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18636/statm: 2456183 20160 2264 9 0 2446860 0
[pid=18636/tid=18639] ppid=18633 vsize=9824732 CPUtime=0.18 cores=1,3,5,7
/proc/18636/task/18639/stat : 18639 (java) S 18633 18636 18590 0 -1 4202560 2407 0 7 0 17 1 0 0 20 0 21 0 36225184 10060525568 20160 33554432000 1073741824 1073778376 140735910419696 140579264013176 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 9 0 0
[pid=18636/tid=18640] ppid=18633 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18636/task/18640/stat : 18640 (java) S 18633 18636 18590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 36225187 10060525568 20160 33554432000 1073741824 1073778376 140735910419696 140579253074472 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18636/tid=18643] ppid=18633 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18636/task/18643/stat : 18643 (java) S 18633 18636 18590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 36225187 10060525568 20160 33554432000 1073741824 1073778376 140735910419696 140579252021672 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18636/tid=18645] ppid=18633 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18636/task/18645/stat : 18645 (java) S 18633 18636 18590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 36225187 10060525568 20160 33554432000 1073741824 1073778376 140735910419696 140579250968872 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18636/tid=18647] ppid=18633 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18636/task/18647/stat : 18647 (java) S 18633 18636 18590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 36225187 10060525568 20160 33554432000 1073741824 1073778376 140735910419696 140579249916072 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18636/tid=18648] ppid=18633 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18636/task/18648/stat : 18648 (java) S 18633 18636 18590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 36225187 10060525568 20160 33554432000 1073741824 1073778376 140735910419696 140579248864296 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18636/tid=18651] ppid=18633 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18636/task/18651/stat : 18651 (java) S 18633 18636 18590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 36225187 10060525568 20160 33554432000 1073741824 1073778376 140735910419696 140579247811496 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18636/tid=18653] ppid=18633 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18636/task/18653/stat : 18653 (java) S 18633 18636 18590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 36225187 10060525568 20160 33554432000 1073741824 1073778376 140735910419696 140579246758696 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18636/tid=18655] ppid=18633 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18636/task/18655/stat : 18655 (java) S 18633 18636 18590 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 21 0 36225187 10060525568 20160 33554432000 1073741824 1073778376 140735910419696 140579100637864 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18636/tid=18657] ppid=18633 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18636/task/18657/stat : 18657 (java) S 18633 18636 18590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 21 0 36225191 10060525568 20160 33554432000 1073741824 1073778376 140735910419696 140579088226792 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18636/tid=18658] ppid=18633 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18636/task/18658/stat : 18658 (java) S 18633 18636 18590 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 21 0 36225192 10060525568 20160 33554432000 1073741824 1073778376 140735910419696 140579087172856 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18636/tid=18660] ppid=18633 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18636/task/18660/stat : 18660 (java) S 18633 18636 18590 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 36225192 10060525568 20160 33554432000 1073741824 1073778376 140735910419696 140579086119944 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18636/tid=18662] ppid=18633 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18636/task/18662/stat : 18662 (java) S 18633 18636 18590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 36225196 10060525568 20160 33554432000 1073741824 1073778376 140735910419696 140579085068432 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18636/tid=18664] ppid=18633 vsize=9824732 CPUtime=0.41 cores=1,3,5,7
/proc/18636/task/18664/stat : 18664 (java) S 18633 18636 18590 0 -1 4202560 5892 0 0 0 39 2 0 0 20 0 21 0 36225196 10060525568 20160 33554432000 1073741824 1073778376 140735910419696 140579084016568 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18636/tid=18666] ppid=18633 vsize=9824732 CPUtime=0.48 cores=1,3,5,7
/proc/18636/task/18666/stat : 18666 (java) S 18633 18636 18590 0 -1 4202560 5670 0 0 0 48 0 0 0 20 0 21 0 36225196 10060525568 20160 33554432000 1073741824 1073778376 140735910419696 140579082963768 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18636/tid=18668] ppid=18633 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18636/task/18668/stat : 18668 (java) S 18633 18636 18590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 36225196 10060525568 20160 33554432000 1073741824 1073778376 140735910419696 140579081911160 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18636/tid=18670] ppid=18633 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18636/task/18670/stat : 18670 (java) S 18633 18636 18590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 36225196 10060525568 20160 33554432000 1073741824 1073778376 140735910419696 140579080858568 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18636/tid=18675] ppid=18633 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18636/task/18675/stat : 18675 (java) S 18633 18636 18590 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 36225216 10060525568 20160 33554432000 1073741824 1073778376 140735910419696 140579076645672 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18636/tid=18683] ppid=18633 vsize=9824732 CPUtime=1.74 cores=1,3,5,7
/proc/18636/task/18683/stat : 18683 (java) R 18633 18636 18590 0 -1 4202560 10 0 0 0 174 0 0 0 20 0 21 0 36225316 10060525568 20160 33554432000 1073741824 1073778376 140735910419696 140579079801768 140579128678323 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=18636/tid=18685] ppid=18633 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18636/task/18685/stat : 18685 (java) S 18633 18636 18590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 21 0 36225316 10060525568 20160 33554432000 1073741824 1073778376 140735910419696 140579078751272 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 3.17
Current children cumulated vsize (KiB) 9824732

[startup+6.30081 s]
/proc/loadavg: 0.38 0.14 0.10 2/216 18768
/proc/meminfo: memFree=31149812/32872528 swapFree=496868/529572
[pid=18636] ppid=18633 vsize=9824732 CPUtime=6.4 cores=1,3,5,7
/proc/18636/stat : 18636 (java) S 18633 18636 18590 0 -1 4202496 15331 0 7 0 634 6 0 0 20 0 21 0 36225182 10060525568 23669 33554432000 1073741824 1073778376 140735910419696 140735910410832 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18636/statm: 2456183 23669 2265 9 0 2446860 0
[pid=18636/tid=18639] ppid=18633 vsize=9824732 CPUtime=0.18 cores=1,3,5,7
/proc/18636/task/18639/stat : 18639 (java) S 18633 18636 18590 0 -1 4202560 2407 0 7 0 17 1 0 0 20 0 21 0 36225184 10060525568 23669 33554432000 1073741824 1073778376 140735910419696 140579264013176 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 9 0 0
[pid=18636/tid=18640] ppid=18633 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18636/task/18640/stat : 18640 (java) S 18633 18636 18590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 36225187 10060525568 23669 33554432000 1073741824 1073778376 140735910419696 140579253074472 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18636/tid=18643] ppid=18633 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18636/task/18643/stat : 18643 (java) S 18633 18636 18590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 36225187 10060525568 23669 33554432000 1073741824 1073778376 140735910419696 140579252021672 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18636/tid=18645] ppid=18633 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18636/task/18645/stat : 18645 (java) S 18633 18636 18590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 36225187 10060525568 23669 33554432000 1073741824 1073778376 140735910419696 140579250968872 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18636/tid=18647] ppid=18633 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18636/task/18647/stat : 18647 (java) S 18633 18636 18590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 36225187 10060525568 23669 33554432000 1073741824 1073778376 140735910419696 140579249916072 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18636/tid=18648] ppid=18633 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18636/task/18648/stat : 18648 (java) S 18633 18636 18590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 36225187 10060525568 23669 33554432000 1073741824 1073778376 140735910419696 140579248864296 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18636/tid=18651] ppid=18633 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18636/task/18651/stat : 18651 (java) S 18633 18636 18590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 36225187 10060525568 23669 33554432000 1073741824 1073778376 140735910419696 140579247811496 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18636/tid=18653] ppid=18633 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18636/task/18653/stat : 18653 (java) S 18633 18636 18590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 36225187 10060525568 23669 33554432000 1073741824 1073778376 140735910419696 140579246758696 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18636/tid=18655] ppid=18633 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18636/task/18655/stat : 18655 (java) S 18633 18636 18590 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 21 0 36225187 10060525568 23669 33554432000 1073741824 1073778376 140735910419696 140579100637864 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18636/tid=18657] ppid=18633 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18636/task/18657/stat : 18657 (java) S 18633 18636 18590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 21 0 36225191 10060525568 23669 33554432000 1073741824 1073778376 140735910419696 140579088226792 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18636/tid=18658] ppid=18633 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18636/task/18658/stat : 18658 (java) S 18633 18636 18590 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 21 0 36225192 10060525568 23669 33554432000 1073741824 1073778376 140735910419696 140579087172856 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18636/tid=18660] ppid=18633 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18636/task/18660/stat : 18660 (java) S 18633 18636 18590 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 36225192 10060525568 23669 33554432000 1073741824 1073778376 140735910419696 140579086119944 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18636/tid=18662] ppid=18633 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18636/task/18662/stat : 18662 (java) S 18633 18636 18590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 36225196 10060525568 23669 33554432000 1073741824 1073778376 140735910419696 140579085068432 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18636/tid=18664] ppid=18633 vsize=9824732 CPUtime=0.41 cores=1,3,5,7
/proc/18636/task/18664/stat : 18664 (java) S 18633 18636 18590 0 -1 4202560 5892 0 0 0 39 2 0 0 20 0 21 0 36225196 10060525568 23669 33554432000 1073741824 1073778376 140735910419696 140579084016568 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18636/tid=18666] ppid=18633 vsize=9824732 CPUtime=0.49 cores=1,3,5,7
/proc/18636/task/18666/stat : 18666 (java) S 18633 18636 18590 0 -1 4202560 5670 0 0 0 49 0 0 0 20 0 21 0 36225196 10060525568 23669 33554432000 1073741824 1073778376 140735910419696 140579082963768 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18636/tid=18668] ppid=18633 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18636/task/18668/stat : 18668 (java) S 18633 18636 18590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 36225196 10060525568 23669 33554432000 1073741824 1073778376 140735910419696 140579081911160 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18636/tid=18670] ppid=18633 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18636/task/18670/stat : 18670 (java) S 18633 18636 18590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 21 0 36225196 10060525568 23669 33554432000 1073741824 1073778376 140735910419696 140579080858568 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18636/tid=18675] ppid=18633 vsize=9824732 CPUtime=0 cores=1,3,5,7

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

[pid=18636/tid=18683] ppid=18633 vsize=9824732 CPUtime=1658.7 cores=1,3,5,7
/proc/18636/task/18683/stat : 18683 (java) R 18633 18636 18590 0 -1 4202560 76 0 0 0 165837 33 0 0 20 0 21 0 36225316 10060525568 128101 33554432000 1073741824 1073778376 140735910419696 140579079802640 140579128673858 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=18636/tid=18685] ppid=18633 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18636/task/18685/stat : 18685 (java) S 18633 18636 18590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 21 0 36225316 10060525568 128101 33554432000 1073741824 1073778376 140735910419696 140579078751272 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1667.03
Current children cumulated vsize (KiB) 9824732

[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 1.73 3/217 20132
/proc/meminfo: memFree=29936844/32872528 swapFree=496868/529572
[pid=18636] ppid=18633 vsize=9824732 CPUtime=1727.16 cores=1,3,5,7
/proc/18636/stat : 18636 (java) S 18633 18636 18590 0 -1 4202496 19038 0 7 0 172570 146 0 0 20 0 21 0 36225182 10060525568 126401 33554432000 1073741824 1073778376 140735910419696 140735910410832 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18636/statm: 2456183 126401 2286 9 0 2446860 0
[pid=18636/tid=18639] ppid=18633 vsize=9824732 CPUtime=0.87 cores=1,3,5,7
/proc/18636/task/18639/stat : 18639 (java) S 18633 18636 18590 0 -1 4202560 2430 0 7 0 54 33 0 0 20 0 21 0 36225184 10060525568 126401 33554432000 1073741824 1073778376 140735910419696 140579264013288 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 9 0 0
[pid=18636/tid=18640] ppid=18633 vsize=9824732 CPUtime=0.74 cores=1,3,5,7
/proc/18636/task/18640/stat : 18640 (java) S 18633 18636 18590 0 -1 4202560 560 0 0 0 65 9 0 0 20 0 21 0 36225187 10060525568 126401 33554432000 1073741824 1073778376 140735910419696 140579253074472 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18636/tid=18643] ppid=18633 vsize=9824732 CPUtime=0.69 cores=1,3,5,7
/proc/18636/task/18643/stat : 18643 (java) S 18633 18636 18590 0 -1 4202560 361 0 0 0 59 10 0 0 20 0 21 0 36225187 10060525568 126401 33554432000 1073741824 1073778376 140735910419696 140579252021672 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18636/tid=18645] ppid=18633 vsize=9824732 CPUtime=0.68 cores=1,3,5,7
/proc/18636/task/18645/stat : 18645 (java) S 18633 18636 18590 0 -1 4202560 395 0 0 0 58 10 0 0 20 0 21 0 36225187 10060525568 126401 33554432000 1073741824 1073778376 140735910419696 140579250968872 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18636/tid=18647] ppid=18633 vsize=9824732 CPUtime=0.77 cores=1,3,5,7
/proc/18636/task/18647/stat : 18647 (java) S 18633 18636 18590 0 -1 4202560 498 0 0 0 67 10 0 0 20 0 21 0 36225187 10060525568 126401 33554432000 1073741824 1073778376 140735910419696 140579249916072 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18636/tid=18648] ppid=18633 vsize=9824732 CPUtime=0.66 cores=1,3,5,7
/proc/18636/task/18648/stat : 18648 (java) S 18633 18636 18590 0 -1 4202560 401 0 0 0 58 8 0 0 20 0 21 0 36225187 10060525568 126401 33554432000 1073741824 1073778376 140735910419696 140579248864296 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18636/tid=18651] ppid=18633 vsize=9824732 CPUtime=0.61 cores=1,3,5,7
/proc/18636/task/18651/stat : 18651 (java) S 18633 18636 18590 0 -1 4202560 381 0 0 0 52 9 0 0 20 0 21 0 36225187 10060525568 126401 33554432000 1073741824 1073778376 140735910419696 140579247811496 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18636/tid=18653] ppid=18633 vsize=9824732 CPUtime=0.73 cores=1,3,5,7
/proc/18636/task/18653/stat : 18653 (java) S 18633 18636 18590 0 -1 4202560 408 0 0 0 63 10 0 0 20 0 21 0 36225187 10060525568 126401 33554432000 1073741824 1073778376 140735910419696 140579246758696 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18636/tid=18655] ppid=18633 vsize=9824732 CPUtime=0.61 cores=1,3,5,7
/proc/18636/task/18655/stat : 18655 (java) S 18633 18636 18590 0 -1 4202560 214 0 0 0 52 9 0 0 20 0 21 0 36225187 10060525568 126401 33554432000 1073741824 1073778376 140735910419696 140579100637864 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18636/tid=18657] ppid=18633 vsize=9824732 CPUtime=0.64 cores=1,3,5,7
/proc/18636/task/18657/stat : 18657 (java) S 18633 18636 18590 0 -1 4202560 309 0 0 0 61 3 0 0 20 0 21 0 36225191 10060525568 126401 33554432000 1073741824 1073778376 140735910419696 140579088226792 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18636/tid=18658] ppid=18633 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18636/task/18658/stat : 18658 (java) S 18633 18636 18590 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 36225192 10060525568 126401 33554432000 1073741824 1073778376 140735910419696 140579087172856 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18636/tid=18660] ppid=18633 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18636/task/18660/stat : 18660 (java) S 18633 18636 18590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 21 0 36225192 10060525568 126401 33554432000 1073741824 1073778376 140735910419696 140579086119944 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18636/tid=18662] ppid=18633 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18636/task/18662/stat : 18662 (java) S 18633 18636 18590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 36225196 10060525568 126401 33554432000 1073741824 1073778376 140735910419696 140579085068432 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18636/tid=18664] ppid=18633 vsize=9824732 CPUtime=0.45 cores=1,3,5,7
/proc/18636/task/18664/stat : 18664 (java) S 18633 18636 18590 0 -1 4202560 5902 0 0 0 43 2 0 0 20 0 21 0 36225196 10060525568 126401 33554432000 1073741824 1073778376 140735910419696 140579084016568 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18636/tid=18666] ppid=18633 vsize=9824732 CPUtime=0.49 cores=1,3,5,7
/proc/18636/task/18666/stat : 18666 (java) S 18633 18636 18590 0 -1 4202560 5670 0 0 0 49 0 0 0 20 0 21 0 36225196 10060525568 126401 33554432000 1073741824 1073778376 140735910419696 140579082963768 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18636/tid=18668] ppid=18633 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18636/task/18668/stat : 18668 (java) S 18633 18636 18590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 36225196 10060525568 126401 33554432000 1073741824 1073778376 140735910419696 140579081911160 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18636/tid=18670] ppid=18633 vsize=9824732 CPUtime=0.58 cores=1,3,5,7
/proc/18636/task/18670/stat : 18670 (java) S 18633 18636 18590 0 -1 4202560 100 0 0 0 24 34 0 0 20 0 21 0 36225196 10060525568 126401 33554432000 1073741824 1073778376 140735910419696 140579080858568 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18636/tid=18675] ppid=18633 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18636/task/18675/stat : 18675 (java) S 18633 18636 18590 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 36225216 10060525568 126401 33554432000 1073741824 1073778376 140735910419696 140579076645672 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18636/tid=18683] ppid=18633 vsize=9824732 CPUtime=1718.65 cores=1,3,5,7
/proc/18636/task/18683/stat : 18683 (java) R 18633 18636 18590 0 -1 4202560 78 0 0 0 171831 34 0 0 20 0 21 0 36225316 10060525568 126401 33554432000 1073741824 1073778376 140735910419696 140579079802640 140579128759725 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=18636/tid=18685] ppid=18633 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18636/task/18685/stat : 18685 (java) S 18633 18636 18590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 21 0 36225316 10060525568 126401 33554432000 1073741824 1073778376 140735910419696 140579078751272 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1727.16
Current children cumulated vsize (KiB) 9824732

[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 1.74 3/217 20133
/proc/meminfo: memFree=29952228/32872528 swapFree=496868/529572
[pid=18636] ppid=18633 vsize=9824732 CPUtime=1787.39 cores=1,3,5,7
/proc/18636/stat : 18636 (java) S 18633 18636 18590 0 -1 4202496 19059 0 7 0 178589 150 0 0 20 0 21 0 36225182 10060525568 122292 33554432000 1073741824 1073778376 140735910419696 140735910410832 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18636/statm: 2456183 122292 2286 9 0 2446860 0
[pid=18636/tid=18639] ppid=18633 vsize=9824732 CPUtime=0.89 cores=1,3,5,7
/proc/18636/task/18639/stat : 18639 (java) S 18633 18636 18590 0 -1 4202560 2431 0 7 0 55 34 0 0 20 0 21 0 36225184 10060525568 122292 33554432000 1073741824 1073778376 140735910419696 140579264013288 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 9 0 0
[pid=18636/tid=18640] ppid=18633 vsize=9824732 CPUtime=0.77 cores=1,3,5,7
/proc/18636/task/18640/stat : 18640 (java) S 18633 18636 18590 0 -1 4202560 560 0 0 0 68 9 0 0 20 0 21 0 36225187 10060525568 122292 33554432000 1073741824 1073778376 140735910419696 140579253074472 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18636/tid=18643] ppid=18633 vsize=9824732 CPUtime=0.71 cores=1,3,5,7
/proc/18636/task/18643/stat : 18643 (java) S 18633 18636 18590 0 -1 4202560 361 0 0 0 61 10 0 0 20 0 21 0 36225187 10060525568 122292 33554432000 1073741824 1073778376 140735910419696 140579252021672 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18636/tid=18645] ppid=18633 vsize=9824732 CPUtime=0.73 cores=1,3,5,7
/proc/18636/task/18645/stat : 18645 (java) S 18633 18636 18590 0 -1 4202560 395 0 0 0 63 10 0 0 20 0 21 0 36225187 10060525568 122292 33554432000 1073741824 1073778376 140735910419696 140579250968872 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18636/tid=18647] ppid=18633 vsize=9824732 CPUtime=0.79 cores=1,3,5,7
/proc/18636/task/18647/stat : 18647 (java) S 18633 18636 18590 0 -1 4202560 498 0 0 0 69 10 0 0 20 0 21 0 36225187 10060525568 122292 33554432000 1073741824 1073778376 140735910419696 140579249916072 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18636/tid=18648] ppid=18633 vsize=9824732 CPUtime=0.71 cores=1,3,5,7
/proc/18636/task/18648/stat : 18648 (java) S 18633 18636 18590 0 -1 4202560 401 0 0 0 63 8 0 0 20 0 21 0 36225187 10060525568 122292 33554432000 1073741824 1073778376 140735910419696 140579248864296 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18636/tid=18651] ppid=18633 vsize=9824732 CPUtime=0.63 cores=1,3,5,7
/proc/18636/task/18651/stat : 18651 (java) S 18633 18636 18590 0 -1 4202560 381 0 0 0 54 9 0 0 20 0 21 0 36225187 10060525568 122292 33554432000 1073741824 1073778376 140735910419696 140579247811496 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18636/tid=18653] ppid=18633 vsize=9824732 CPUtime=0.77 cores=1,3,5,7
/proc/18636/task/18653/stat : 18653 (java) S 18633 18636 18590 0 -1 4202560 421 0 0 0 67 10 0 0 20 0 21 0 36225187 10060525568 122292 33554432000 1073741824 1073778376 140735910419696 140579246758696 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18636/tid=18655] ppid=18633 vsize=9824732 CPUtime=0.65 cores=1,3,5,7
/proc/18636/task/18655/stat : 18655 (java) S 18633 18636 18590 0 -1 4202560 214 0 0 0 56 9 0 0 20 0 21 0 36225187 10060525568 122292 33554432000 1073741824 1073778376 140735910419696 140579100637864 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18636/tid=18657] ppid=18633 vsize=9824732 CPUtime=0.73 cores=1,3,5,7
/proc/18636/task/18657/stat : 18657 (java) S 18633 18636 18590 0 -1 4202560 311 0 0 0 70 3 0 0 20 0 21 0 36225191 10060525568 122292 33554432000 1073741824 1073778376 140735910419696 140579088226792 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18636/tid=18658] ppid=18633 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18636/task/18658/stat : 18658 (java) S 18633 18636 18590 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 36225192 10060525568 122292 33554432000 1073741824 1073778376 140735910419696 140579087172856 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18636/tid=18660] ppid=18633 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18636/task/18660/stat : 18660 (java) S 18633 18636 18590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 21 0 36225192 10060525568 122292 33554432000 1073741824 1073778376 140735910419696 140579086119944 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18636/tid=18662] ppid=18633 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18636/task/18662/stat : 18662 (java) S 18633 18636 18590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 36225196 10060525568 122292 33554432000 1073741824 1073778376 140735910419696 140579085068432 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18636/tid=18664] ppid=18633 vsize=9824732 CPUtime=0.45 cores=1,3,5,7
/proc/18636/task/18664/stat : 18664 (java) S 18633 18636 18590 0 -1 4202560 5902 0 0 0 43 2 0 0 20 0 21 0 36225196 10060525568 122292 33554432000 1073741824 1073778376 140735910419696 140579084016568 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18636/tid=18666] ppid=18633 vsize=9824732 CPUtime=0.49 cores=1,3,5,7
/proc/18636/task/18666/stat : 18666 (java) S 18633 18636 18590 0 -1 4202560 5670 0 0 0 49 0 0 0 20 0 21 0 36225196 10060525568 122292 33554432000 1073741824 1073778376 140735910419696 140579082963768 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18636/tid=18668] ppid=18633 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18636/task/18668/stat : 18668 (java) S 18633 18636 18590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 36225196 10060525568 122292 33554432000 1073741824 1073778376 140735910419696 140579081911160 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18636/tid=18670] ppid=18633 vsize=9824732 CPUtime=0.6 cores=1,3,5,7
/proc/18636/task/18670/stat : 18670 (java) S 18633 18636 18590 0 -1 4202560 104 0 0 0 25 35 0 0 20 0 21 0 36225196 10060525568 122292 33554432000 1073741824 1073778376 140735910419696 140579080858568 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18636/tid=18675] ppid=18633 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18636/task/18675/stat : 18675 (java) S 18633 18636 18590 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 36225216 10060525568 122292 33554432000 1073741824 1073778376 140735910419696 140579076645672 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18636/tid=18683] ppid=18633 vsize=9824732 CPUtime=1778.48 cores=1,3,5,7
/proc/18636/task/18683/stat : 18683 (java) R 18633 18636 18590 0 -1 4202560 79 0 0 0 177813 35 0 0 20 0 21 0 36225316 10060525568 122292 33554432000 1073741824 1073778376 140735910419696 140579079802640 140579128673879 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=18636/tid=18685] ppid=18633 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18636/task/18685/stat : 18685 (java) S 18633 18636 18590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 21 0 36225316 10060525568 122292 33554432000 1073741824 1073778376 140735910419696 140579078751272 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1787.39
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1795 s]
/proc/loadavg: 2.00 2.02 1.74 4/217 20134
/proc/meminfo: memFree=29952224/32872528 swapFree=496868/529572
[pid=18636] ppid=18633 vsize=9824732 CPUtime=1800.09 cores=1,3,5,7
/proc/18636/stat : 18636 (java) S 18633 18636 18590 0 -1 4202496 19059 0 7 0 179858 151 0 0 20 0 21 0 36225182 10060525568 122292 33554432000 1073741824 1073778376 140735910419696 140735910410832 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18636/statm: 2456183 122292 2286 9 0 2446860 0
[pid=18636/tid=18639] ppid=18633 vsize=9824732 CPUtime=0.89 cores=1,3,5,7
/proc/18636/task/18639/stat : 18639 (java) S 18633 18636 18590 0 -1 4202560 2431 0 7 0 55 34 0 0 20 0 21 0 36225184 10060525568 122292 33554432000 1073741824 1073778376 140735910419696 140579264013288 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 9 0 0
[pid=18636/tid=18640] ppid=18633 vsize=9824732 CPUtime=0.77 cores=1,3,5,7
/proc/18636/task/18640/stat : 18640 (java) S 18633 18636 18590 0 -1 4202560 560 0 0 0 68 9 0 0 20 0 21 0 36225187 10060525568 122292 33554432000 1073741824 1073778376 140735910419696 140579253074472 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18636/tid=18643] ppid=18633 vsize=9824732 CPUtime=0.71 cores=1,3,5,7
/proc/18636/task/18643/stat : 18643 (java) S 18633 18636 18590 0 -1 4202560 361 0 0 0 61 10 0 0 20 0 21 0 36225187 10060525568 122292 33554432000 1073741824 1073778376 140735910419696 140579252021672 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18636/tid=18645] ppid=18633 vsize=9824732 CPUtime=0.73 cores=1,3,5,7
/proc/18636/task/18645/stat : 18645 (java) S 18633 18636 18590 0 -1 4202560 395 0 0 0 63 10 0 0 20 0 21 0 36225187 10060525568 122292 33554432000 1073741824 1073778376 140735910419696 140579250968872 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18636/tid=18647] ppid=18633 vsize=9824732 CPUtime=0.79 cores=1,3,5,7
/proc/18636/task/18647/stat : 18647 (java) S 18633 18636 18590 0 -1 4202560 498 0 0 0 69 10 0 0 20 0 21 0 36225187 10060525568 122292 33554432000 1073741824 1073778376 140735910419696 140579249916072 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18636/tid=18648] ppid=18633 vsize=9824732 CPUtime=0.71 cores=1,3,5,7
/proc/18636/task/18648/stat : 18648 (java) S 18633 18636 18590 0 -1 4202560 401 0 0 0 63 8 0 0 20 0 21 0 36225187 10060525568 122292 33554432000 1073741824 1073778376 140735910419696 140579248864296 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18636/tid=18651] ppid=18633 vsize=9824732 CPUtime=0.63 cores=1,3,5,7
/proc/18636/task/18651/stat : 18651 (java) S 18633 18636 18590 0 -1 4202560 381 0 0 0 54 9 0 0 20 0 21 0 36225187 10060525568 122292 33554432000 1073741824 1073778376 140735910419696 140579247811496 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18636/tid=18653] ppid=18633 vsize=9824732 CPUtime=0.77 cores=1,3,5,7
/proc/18636/task/18653/stat : 18653 (java) S 18633 18636 18590 0 -1 4202560 421 0 0 0 67 10 0 0 20 0 21 0 36225187 10060525568 122292 33554432000 1073741824 1073778376 140735910419696 140579246758696 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18636/tid=18655] ppid=18633 vsize=9824732 CPUtime=0.65 cores=1,3,5,7
/proc/18636/task/18655/stat : 18655 (java) S 18633 18636 18590 0 -1 4202560 214 0 0 0 56 9 0 0 20 0 21 0 36225187 10060525568 122292 33554432000 1073741824 1073778376 140735910419696 140579100637864 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18636/tid=18657] ppid=18633 vsize=9824732 CPUtime=0.73 cores=1,3,5,7
/proc/18636/task/18657/stat : 18657 (java) S 18633 18636 18590 0 -1 4202560 311 0 0 0 70 3 0 0 20 0 21 0 36225191 10060525568 122292 33554432000 1073741824 1073778376 140735910419696 140579088226792 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18636/tid=18658] ppid=18633 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18636/task/18658/stat : 18658 (java) S 18633 18636 18590 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 36225192 10060525568 122292 33554432000 1073741824 1073778376 140735910419696 140579087172856 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18636/tid=18660] ppid=18633 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18636/task/18660/stat : 18660 (java) S 18633 18636 18590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 21 0 36225192 10060525568 122292 33554432000 1073741824 1073778376 140735910419696 140579086119944 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18636/tid=18662] ppid=18633 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18636/task/18662/stat : 18662 (java) S 18633 18636 18590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 36225196 10060525568 122292 33554432000 1073741824 1073778376 140735910419696 140579085068432 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18636/tid=18664] ppid=18633 vsize=9824732 CPUtime=0.45 cores=1,3,5,7
/proc/18636/task/18664/stat : 18664 (java) S 18633 18636 18590 0 -1 4202560 5902 0 0 0 43 2 0 0 20 0 21 0 36225196 10060525568 122292 33554432000 1073741824 1073778376 140735910419696 140579084016568 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18636/tid=18666] ppid=18633 vsize=9824732 CPUtime=0.49 cores=1,3,5,7
/proc/18636/task/18666/stat : 18666 (java) S 18633 18636 18590 0 -1 4202560 5670 0 0 0 49 0 0 0 20 0 21 0 36225196 10060525568 122292 33554432000 1073741824 1073778376 140735910419696 140579082963768 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18636/tid=18668] ppid=18633 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18636/task/18668/stat : 18668 (java) S 18633 18636 18590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 36225196 10060525568 122292 33554432000 1073741824 1073778376 140735910419696 140579081911160 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18636/tid=18670] ppid=18633 vsize=9824732 CPUtime=0.61 cores=1,3,5,7
/proc/18636/task/18670/stat : 18670 (java) S 18633 18636 18590 0 -1 4202560 104 0 0 0 25 36 0 0 20 0 21 0 36225196 10060525568 122292 33554432000 1073741824 1073778376 140735910419696 140579080858568 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18636/tid=18675] ppid=18633 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18636/task/18675/stat : 18675 (java) S 18633 18636 18590 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 36225216 10060525568 122292 33554432000 1073741824 1073778376 140735910419696 140579076645672 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18636/tid=18683] ppid=18633 vsize=9824732 CPUtime=1791.17 cores=1,3,5,7
/proc/18636/task/18683/stat : 18683 (java) R 18633 18636 18590 0 -1 4202560 79 0 0 0 179082 35 0 0 20 0 21 0 36225316 10060525568 122292 33554432000 1073741824 1073778376 140735910419696 140579079802640 140579128673847 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=18636/tid=18685] ppid=18633 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18636/task/18685/stat : 18685 (java) S 18633 18636 18590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 21 0 36225316 10060525568 122292 33554432000 1073741824 1073778376 140735910419696 140579078751272 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
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 18636 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 1795.05
CPU time (s): 1800.77
CPU user time (s): 1798.74
CPU system time (s): 2.03369
CPU usage (%): 100.319
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.74
system time used= 2.03369
maximum resident set size= 817532
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19097
page faults= 7
swaps= 0
block input operations= 6672
block output operations= 1584
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 75212
involuntary context switches= 19266

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.1713 second user time and 14.0049 second system time

The end

Launcher Data 

Begin job on node141 at 2016-06-19 15:09:58
IDJOB=4109141
IDBENCH=78672
IDSOLVER=2552
FILE ID=node141/4109141-1466341797
RUNJOBID= node141-1466341797-18607
PBS_JOBID= 19922012
Free space on /tmp= 71728 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-66-100-0.wbo
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4109141-1466341797/watcher-4109141-1466341797 -o /tmp/evaluation-result-4109141-1466341797/solver-4109141-1466341797 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466341797-18607 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4109141-1466341797.wbo

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

MD5SUM BENCH= 42da1cd697f3cedc8c0556e71b08964e
RANDOM SEED=514904102

node141.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.547
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.09
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.547
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.547
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.54
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.547
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.547
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.56
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.547
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.547
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.547
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        31354904 kB
Buffers:           82548 kB
Cached:           161268 kB
SwapCached:         2228 kB
Active:            79880 kB
Inactive:         167664 kB
Active(anon):       4032 kB
Inactive(anon):     2440 kB
Active(file):      75848 kB
Inactive(file):   165224 kB
Unevictable:      529572 kB
Mlocked:          496868 kB
SwapTotal:      67108856 kB
SwapFree:       67099196 kB
Dirty:              1560 kB
Writeback:             0 kB
AnonPages:        532848 kB
Mapped:             6912 kB
Shmem:                 0 kB
Slab:             607992 kB
SReclaimable:      51972 kB
SUnreclaim:       556020 kB
KernelStack:        1336 kB
PageTables:         5004 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     648672 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     32768 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= 71728 MiB
End job on node141 at 2016-06-19 15:39:53