Trace number 4110525

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.06 898.255

General information on the benchmark

Name/PARTIAL-BIGINT-LIN/wcsp/warehouse/
normalized-cap51_wcsp.wbo
MD5SUM6884eb16d9ca5647137a605a0e2a2e0d
Bench CategoryPARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark13399398
Best CPU time to get the best result obtained on this benchmark1800.06
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables832
Total number of constraints1680
Number of soft constraints1614
Number of constraints which are clauses1614
Number of constraints which are cardinality constraints (but not clauses)66
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint16
Top cost 57243026
Min constraint cost 1
Max constraint cost 57243026
Sum of constraints costs 46149905826
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 17
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.08	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.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.09	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-4110525-1466347532.wbo
0.10/0.11	c reading problem ... 
0.25/0.28	c ... done. Wall clock time 0.163s.
0.25/0.28	c declared #vars     832
0.25/0.28	c internal #vars     2446
0.25/0.28	c #constraints  1746
0.25/0.28	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.25/0.28	c constraints type 
0.25/0.28	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 850
0.25/0.28	c org.sat4j.minisat.constraints.card.MinWatchCard => 50
0.25/0.28	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 846
0.25/0.28	c 1746 constraints processed.
0.25/0.28	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.25/0.28	c constraints type 
0.25/0.28	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 846
0.25/0.28	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 850
0.25/0.28	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 50
0.25/0.28	c 1746 constraints processed.
0.25/0.28	c objective function length is 1614 literals
0.49/0.32	c And the winner is solver1
0.57/0.79	c SATISFIABLE
0.57/0.79	c OPTIMIZING...
0.57/0.79	c Got one! Elapsed wall clock time (in seconds):0.67
0.57/0.79	o 9939840
0.60/0.88	c And the winner is solver1
1.18/1.31	c Got one! Elapsed wall clock time (in seconds):1.195
1.18/1.31	o 9890361
3.22/2.04	c cleaning 2506 clauses out of 5022 with flag 12128/5022
5.19/2.87	c cleaning 4248 clauses out of 8517 with flag 25779/11023
6.99/3.79	c cleaning 5625 clauses out of 11268 with flag 41551/18022
9.23/4.85	c cleaning 6811 clauses out of 13643 with flag 59538/26022
11.87/6.12	c cleaning 7910 clauses out of 15833 with flag 79623/35023
14.86/7.63	c cleaning 8953 clauses out of 17922 with flag 101542/45022
18.11/9.26	c cleaning 9977 clauses out of 19969 with flag 126466/56022
21.93/11.16	c cleaning 10990 clauses out of 21993 with flag 153711/68023
26.18/13.27	c cleaning 11991 clauses out of 24005 with flag 183313/81025
30.41/15.37	c cleaning 13006 clauses out of 26011 with flag 219188/95022
34.82/17.56	c cleaning 13999 clauses out of 28005 with flag 268383/110022
39.69/19.95	c cleaning 15005 clauses out of 30009 with flag 323685/126025
45.17/22.65	c cleaning 16002 clauses out of 32003 with flag 382015/143024
50.58/25.36	c cleaning 16995 clauses out of 33999 with flag 442833/161022
56.63/28.35	c cleaning 17994 clauses out of 36004 with flag 513076/180022
63.23/31.64	c cleaning 19000 clauses out of 38010 with flag 586181/200022
70.11/35.00	c cleaning 19998 clauses out of 40010 with flag 664960/221022
76.97/38.43	c cleaning 21006 clauses out of 42012 with flag 746461/243022
84.24/42.09	c cleaning 21984 clauses out of 44006 with flag 831241/266022
92.03/45.97	c cleaning 23006 clauses out of 46022 with flag 930152/290022
100.67/50.23	c cleaning 24003 clauses out of 48016 with flag 1028137/315022
109.14/54.46	c cleaning 25000 clauses out of 50013 with flag 1110303/341022
117.76/58.77	c cleaning 26004 clauses out of 52015 with flag 1208563/368024
126.56/63.12	c cleaning 26992 clauses out of 54010 with flag 1300531/396023
136.56/68.17	c cleaning 28008 clauses out of 56018 with flag 1407060/425023
146.78/73.21	c cleaning 29000 clauses out of 58010 with flag 1520459/455023
157.81/78.73	c cleaning 29980 clauses out of 60009 with flag 1636579/486022
169.44/84.53	c cleaning 31009 clauses out of 62029 with flag 1743307/518022
181.48/90.53	c cleaning 31977 clauses out of 64020 with flag 1869656/551022
194.68/97.12	c cleaning 33017 clauses out of 66043 with flag 1989561/585022
208.52/104.01	c cleaning 33997 clauses out of 68027 with flag 2120932/620023
222.34/110.91	c cleaning 35006 clauses out of 70033 with flag 2243000/656026
236.78/118.10	c cleaning 36011 clauses out of 72023 with flag 2371814/693022
251.63/125.54	c cleaning 37002 clauses out of 74013 with flag 2516146/731023
267.67/133.56	c cleaning 38000 clauses out of 76010 with flag 2643882/770022
284.10/141.79	c cleaning 38999 clauses out of 78012 with flag 2773972/810024
301.93/150.69	c cleaning 40004 clauses out of 80013 with flag 2922501/851024
319.76/159.59	c cleaning 40992 clauses out of 82007 with flag 3065238/893022
337.78/168.55	c cleaning 41997 clauses out of 84019 with flag 3221340/936026
356.03/177.61	c cleaning 42992 clauses out of 86018 with flag 3384456/980022
375.71/187.45	c cleaning 44003 clauses out of 88027 with flag 3533554/1025023
395.38/197.28	c cleaning 44997 clauses out of 90023 with flag 3687534/1071022
415.84/207.47	c cleaning 46010 clauses out of 92027 with flag 3840791/1118023
436.78/217.85	c cleaning 47000 clauses out of 94017 with flag 3995308/1166023
457.86/228.35	c cleaning 48007 clauses out of 96016 with flag 4176859/1215022
479.10/238.94	c cleaning 48988 clauses out of 98009 with flag 4381873/1265022
501.21/249.91	c cleaning 49986 clauses out of 100021 with flag 4575878/1316022
522.55/260.80	c cleaning 51016 clauses out of 102035 with flag 4762766/1368022
544.59/271.69	c cleaning 51999 clauses out of 104019 with flag 4953103/1421022
568.97/283.70	c cleaning 53004 clauses out of 106022 with flag 5147120/1475024
593.69/296.03	c cleaning 54004 clauses out of 108016 with flag 5392321/1530022
617.61/307.99	c cleaning 55001 clauses out of 110012 with flag 5614857/1586022
644.69/321.42	c cleaning 55995 clauses out of 112011 with flag 5809776/1643022
671.02/334.53	c cleaning 56996 clauses out of 114016 with flag 6017035/1701022
698.61/348.56	c cleaning 58003 clauses out of 116021 with flag 6251254/1760023
726.08/362.29	c cleaning 58989 clauses out of 118017 with flag 6515386/1820022
758.41/378.36	c cleaning 60010 clauses out of 120028 with flag 6760585/1881022
788.10/393.13	c cleaning 60993 clauses out of 122018 with flag 6992548/1943022
816.72/407.30	c cleaning 61989 clauses out of 124025 with flag 7206491/2006022
848.81/423.39	c cleaning 63015 clauses out of 126038 with flag 7459383/2070024
880.57/439.47	c cleaning 63999 clauses out of 128021 with flag 7734308/2135022
912.48/455.36	c cleaning 65004 clauses out of 130026 with flag 7979018/2201026
945.61/471.83	c cleaning 65997 clauses out of 132024 with flag 8212558/2268028
980.91/489.43	c cleaning 67007 clauses out of 134022 with flag 8485443/2336023
1012.36/505.18	c cleaning 67995 clauses out of 136014 with flag 8773925/2405022
1045.89/521.89	c cleaning 69000 clauses out of 138020 with flag 9025935/2475023
1083.69/540.60	c cleaning 69987 clauses out of 140019 with flag 9285194/2546022
1114.40/555.91	c cleaning 71013 clauses out of 142033 with flag 9535440/2618023
1147.29/572.30	c cleaning 72010 clauses out of 144022 with flag 9788610/2691025
1182.11/589.63	c cleaning 73000 clauses out of 146010 with flag 10040339/2765023
1217.25/607.52	c cleaning 73999 clauses out of 148010 with flag 10316821/2840023
1255.04/626.31	c cleaning 74997 clauses out of 150019 with flag 10582803/2916031
1290.93/644.21	c cleaning 75990 clauses out of 152014 with flag 10837860/2993023
1331.87/664.64	c cleaning 77008 clauses out of 154023 with flag 11084408/3071022
1373.72/685.41	c cleaning 78002 clauses out of 156016 with flag 11354433/3150023
1421.54/709.26	c cleaning 78994 clauses out of 158013 with flag 11617477/3230022
1468.48/732.70	c cleaning 79995 clauses out of 160019 with flag 11888551/3311022
1514.83/755.77	c cleaning 81003 clauses out of 162026 with flag 12160770/3393024
1560.48/778.93	c cleaning 82003 clauses out of 164022 with flag 12428534/3476023
1610.48/803.80	c cleaning 83004 clauses out of 166018 with flag 12727535/3560022
1658.70/827.80	c cleaning 83999 clauses out of 168014 with flag 13007786/3645022
1709.06/852.96	c cleaning 84994 clauses out of 170015 with flag 13296519/3731022
1762.57/879.56	c cleaning 86009 clauses out of 172021 with flag 13573948/3818022
1800.06/898.20	c >>>>>>>>>> Solver number 0 (0 answers) <<<<<<<<<<<<<<<<<<
1800.06/898.20	c starts		: 495
1800.06/898.20	c conflicts		: 3882349
1800.06/898.20	c decisions		: 12287176
1800.06/898.20	c propagations		: 1123677408
1800.06/898.20	c inspects		: 7684646528
1800.06/898.20	c shortcuts		: 0
1800.06/898.20	c learnt literals	: 0
1800.06/898.20	c learnt binary clauses	: 0
1800.06/898.20	c learnt ternary clauses	: 0
1800.06/898.20	c learnt constraints	: 3882349
1800.06/898.20	c ignored constraints	: 0
1800.06/898.20	c root simplifications	: 0
1800.06/898.20	c removed literals (reason simplification)	: 5420866
1800.06/898.20	c reason swapping (by a shorter reason)	: 0
1800.06/898.20	c Calls to reduceDB	: 83
1800.06/898.20	c Number of update (reduction) of LBD	: 1621588
1800.06/898.20	c Imported unit clauses	: 0
1800.06/898.20	c number of reductions to clauses (during analyze)	: 0
1800.06/898.20	c number of learned constraints concerned by reduction	: 0
1800.06/898.20	c number of learning phase by resolution	: 0
1800.06/898.20	c number of learning phase by cutting planes	: 0
1800.06/898.20	c speed (assignments/second)	: 1252873.7489965213
1800.06/898.20	c non guided choices	17
1800.06/898.23	c learnt constraints type 
1800.06/898.23	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 150339
1800.06/898.23	c >>>>>>>>>> Solver number 1 (2 answers) <<<<<<<<<<<<<<<<<<
1800.06/898.23	c starts		: 9
1800.06/898.23	c conflicts		: 2132
1800.06/898.23	c decisions		: 367849
1800.06/898.23	c propagations		: 925672
1800.06/898.23	c inspects		: 80439364
1800.06/898.23	c shortcuts		: 0
1800.06/898.23	c learnt literals	: 0
1800.06/898.23	c learnt binary clauses	: 0
1800.06/898.23	c learnt ternary clauses	: 0
1800.06/898.23	c learnt constraints	: 2132
1800.06/898.23	c ignored constraints	: 0
1800.06/898.23	c root simplifications	: 0
1800.06/898.23	c removed literals (reason simplification)	: 0
1800.06/898.23	c reason swapping (by a shorter reason)	: 0
1800.06/898.23	c Calls to reduceDB	: 0
1800.06/898.23	c Number of update (reduction) of LBD	: 0
1800.06/898.23	c Imported unit clauses	: 0
1800.06/898.23	c number of reductions to clauses (during analyze)	: 0
1800.06/898.23	c number of learned constraints concerned by reduction	: 0
1800.06/898.23	c number of learning phase by resolution	: 0
1800.06/898.23	c number of learning phase by cutting planes	: 0
1800.06/898.23	c speed (assignments/second)	: 1030.887467606302
1800.06/898.23	c non guided choices	0
1800.06/898.23	c learnt constraints type 
1800.06/898.23	c org.sat4j.pb.constraints.pb.MaxWatchPb => 2132
1800.06/898.23	s SATISFIABLE
1800.06/898.23	c Found 2 solution(s)
1800.06/898.23	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 
1800.06/898.24	c objective function=9890361
1800.06/898.24	c Total wall clock time (in seconds): 898.121

Verifier Data 

OK	9890361

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

pid=25868
running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 1.18 1.20 1.33 2/190 25871
/proc/meminfo: memFree=29992648/32872528 swapFree=1482636/1662508
[pid=25871] ppid=25868 vsize=91816 CPUtime=0 cores=0,2,4,6
/proc/25871/stat : 25871 (java) S 25868 25871 22399 0 -1 4202496 1281 0 0 0 0 0 0 0 20 0 2 0 36799598 94019584 916 33554432000 1073741824 1073778376 140734639764032 140734639755168 273909055549 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25871/statm: 22954 916 697 9 0 16769 0
[pid=25871/tid=25872] ppid=25868 vsize=92900 CPUtime=0 cores=0,2,4,6
/proc/25871/task/25872/stat : 25872 (java) D 25868 25871 22399 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 2 0 36799599 95129600 926 33554432000 1073741824 1073778376 140734639764032 140134418546216 273896533287 0 0 4096 0 18446744072100756772 0 0 -1 0 0 0 0 0 0

[startup+0.100111 s]
/proc/loadavg: 1.18 1.20 1.33 2/190 25871
/proc/meminfo: memFree=29992648/32872528 swapFree=1482636/1662508
[pid=25871] ppid=25868 vsize=9558476 CPUtime=0.1 cores=0,2,4,6
/proc/25871/stat : 25871 (java) S 25868 25871 22399 0 -1 4202496 4400 0 1 0 9 1 0 0 20 0 18 0 36799598 9787879424 6025 33554432000 1073741824 1073778376 140734639764032 140734639755168 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25871/statm: 2389619 6025 2126 9 0 2380296 0
[pid=25871/tid=25872] ppid=25868 vsize=9558476 CPUtime=0.07 cores=0,2,4,6
/proc/25871/task/25872/stat : 25872 (java) R 25868 25871 22399 0 -1 4202560 2391 0 1 0 6 1 0 0 20 0 18 0 36799599 9787879424 6025 33554432000 1073741824 1073778376 140734639764032 140134418549664 140134263645235 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476

[startup+0.200356 s]
/proc/loadavg: 1.18 1.20 1.33 2/190 25871
/proc/meminfo: memFree=29992648/32872528 swapFree=1482636/1662508
[pid=25871] ppid=25868 vsize=9558476 CPUtime=0.25 cores=0,2,4,6
/proc/25871/stat : 25871 (java) S 25868 25871 22399 0 -1 4202496 4740 0 1 0 24 1 0 0 20 0 18 0 36799598 9787879424 6781 33554432000 1073741824 1073778376 140734639764032 140734639755168 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25871/statm: 2389619 6781 2206 9 0 2380296 0
[pid=25871/tid=25872] ppid=25868 vsize=9558476 CPUtime=0.17 cores=0,2,4,6
/proc/25871/task/25872/stat : 25872 (java) R 25868 25871 22399 0 -1 4202560 2403 0 1 0 16 1 0 0 20 0 18 0 36799599 9787879424 6781 33554432000 1073741824 1073778376 140734639764032 140134418549664 140134263577222 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 9558476

[startup+0.300256 s]
/proc/loadavg: 1.18 1.20 1.33 2/190 25871
/proc/meminfo: memFree=29992648/32872528 swapFree=1482636/1662508
[pid=25871] ppid=25868 vsize=9758168 CPUtime=0.49 cores=0,2,4,6
/proc/25871/stat : 25871 (java) S 25868 25871 22399 0 -1 4202496 5630 0 1 0 47 2 0 0 20 0 21 0 36799598 9992364032 10019 33554432000 1073741824 1073778376 140734639764032 140734639755168 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25871/statm: 2439542 10019 2243 9 0 2430219 0
[pid=25871/tid=25872] ppid=25868 vsize=9758168 CPUtime=0.26 cores=0,2,4,6
/proc/25871/task/25872/stat : 25872 (java) S 25868 25871 22399 0 -1 4202560 2419 0 1 0 25 1 0 0 20 0 21 0 36799599 9992364032 10019 33554432000 1073741824 1073778376 140734639764032 140134418551672 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 9758168

[startup+0.700314 s]
/proc/loadavg: 1.18 1.20 1.33 2/190 25871
/proc/meminfo: memFree=29992648/32872528 swapFree=1482636/1662508
[pid=25871] ppid=25868 vsize=9824732 CPUtime=0.57 cores=0,2,4,6
/proc/25871/stat : 25871 (java) S 25868 25871 22399 0 -1 4202496 5645 0 1 0 53 4 0 0 20 0 19 0 36799598 10060525568 10023 33554432000 1073741824 1073778376 140734639764032 140734639755168 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25871/statm: 2456183 10023 2246 9 0 2446860 0
[pid=25871/tid=25872] ppid=25868 vsize=9824732 CPUtime=0.26 cores=0,2,4,6
/proc/25871/task/25872/stat : 25872 (java) S 25868 25871 22399 0 -1 4202560 2419 0 1 0 25 1 0 0 20 0 19 0 36799599 10060525568 10023 33554432000 1073741824 1073778376 140734639764032 140134418551672 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 9824732

[startup+1.50074 s]
/proc/loadavg: 1.18 1.20 1.33 6/218 25908
/proc/meminfo: memFree=29882876/32872528 swapFree=1482636/1662508
[pid=25871] ppid=25868 vsize=9824732 CPUtime=1.86 cores=0,2,4,6
/proc/25871/stat : 25871 (java) S 25868 25871 22399 0 -1 4202496 14236 0 1 0 178 8 0 0 20 0 22 0 36799598 10060525568 19829 33554432000 1073741824 1073778376 140734639764032 140734639755168 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25871/statm: 2456183 19829 2261 9 0 2446860 0
[pid=25871/tid=25872] ppid=25868 vsize=9824732 CPUtime=0.3 cores=0,2,4,6
/proc/25871/task/25872/stat : 25872 (java) S 25868 25871 22399 0 -1 4202560 2427 0 1 0 28 2 0 0 20 0 22 0 36799599 10060525568 19829 33554432000 1073741824 1073778376 140734639764032 140134418551672 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25871/tid=25879] ppid=25868 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25871/task/25879/stat : 25879 (java) S 25868 25871 22399 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36799599 10060525568 19829 33554432000 1073741824 1073778376 140734639764032 140134391003304 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25871/tid=25880] ppid=25868 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25871/task/25880/stat : 25880 (java) S 25868 25871 22399 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36799599 10060525568 19829 33554432000 1073741824 1073778376 140734639764032 140134389950760 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25871/tid=25881] ppid=25868 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25871/task/25881/stat : 25881 (java) S 25868 25871 22399 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36799599 10060525568 19829 33554432000 1073741824 1073778376 140734639764032 140134388898216 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25871/tid=25882] ppid=25868 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25871/task/25882/stat : 25882 (java) S 25868 25871 22399 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36799599 10060525568 19829 33554432000 1073741824 1073778376 140734639764032 140134387845672 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25871/tid=25883] ppid=25868 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25871/task/25883/stat : 25883 (java) S 25868 25871 22399 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36799599 10060525568 19829 33554432000 1073741824 1073778376 140734639764032 140134386793128 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25871/tid=25884] ppid=25868 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25871/task/25884/stat : 25884 (java) S 25868 25871 22399 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36799599 10060525568 19829 33554432000 1073741824 1073778376 140734639764032 140134385740584 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25871/tid=25885] ppid=25868 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25871/task/25885/stat : 25885 (java) S 25868 25871 22399 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36799599 10060525568 19829 33554432000 1073741824 1073778376 140734639764032 140134384688040 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25871/tid=25886] ppid=25868 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25871/task/25886/stat : 25886 (java) S 25868 25871 22399 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 36799599 10060525568 19829 33554432000 1073741824 1073778376 140734639764032 140134383635496 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25871/tid=25887] ppid=25868 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25871/task/25887/stat : 25887 (java) S 25868 25871 22399 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 36799600 10060525568 19829 33554432000 1073741824 1073778376 140734639764032 140133771745384 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25871/tid=25888] ppid=25868 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25871/task/25888/stat : 25888 (java) S 25868 25871 22399 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 36799601 10060525568 19829 33554432000 1073741824 1073778376 140734639764032 140133770691704 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25871/tid=25889] ppid=25868 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25871/task/25889/stat : 25889 (java) S 25868 25871 22399 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 36799601 10060525568 19829 33554432000 1073741824 1073778376 140734639764032 140133769639048 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25871/tid=25890] ppid=25868 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25871/task/25890/stat : 25890 (java) S 25868 25871 22399 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36799603 10060525568 19829 33554432000 1073741824 1073778376 140734639764032 140133768587792 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25871/tid=25891] ppid=25868 vsize=9824732 CPUtime=0.47 cores=0,2,4,6
/proc/25871/task/25891/stat : 25891 (java) S 25868 25871 22399 0 -1 4202560 4226 0 0 0 47 0 0 0 20 0 22 0 36799603 10060525568 19829 33554432000 1073741824 1073778376 140734639764032 140133767535160 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25871/tid=25892] ppid=25868 vsize=9824732 CPUtime=0.47 cores=0,2,4,6
/proc/25871/task/25892/stat : 25892 (java) S 25868 25871 22399 0 -1 4202560 6207 0 0 0 45 2 0 0 20 0 22 0 36799603 10060525568 19829 33554432000 1073741824 1073778376 140734639764032 140133766482616 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25871/tid=25893] ppid=25868 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25871/task/25893/stat : 25893 (java) S 25868 25871 22399 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36799603 10060525568 19829 33554432000 1073741824 1073778376 140734639764032 140133765430264 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25871/tid=25894] ppid=25868 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25871/task/25894/stat : 25894 (java) S 25868 25871 22399 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36799603 10060525568 19829 33554432000 1073741824 1073778376 140734639764032 140133764377928 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25871/tid=25901] ppid=25868 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25871/task/25901/stat : 25901 (java) S 25868 25871 22399 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 36799628 10060525568 19829 33554432000 1073741824 1073778376 140734639764032 140133761217576 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.86
Current children cumulated vsize (KiB) 9824732

[startup+3.10098 s]
/proc/loadavg: 1.18 1.20 1.33 7/221 25911
/proc/meminfo: memFree=29772716/32872528 swapFree=1482636/1662508
[pid=25871] ppid=25868 vsize=9824732 CPUtime=5.78 cores=0,2,4,6
/proc/25871/stat : 25871 (java) S 25868 25871 22399 0 -1 4202496 22042 0 1 0 568 10 0 0 20 0 22 0 36799598 10060525568 36758 33554432000 1073741824 1073778376 140734639764032 140734639755168 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25871/statm: 2456183 36758 2269 9 0 2446860 0
[pid=25871/tid=25872] ppid=25868 vsize=9824732 CPUtime=0.3 cores=0,2,4,6
/proc/25871/task/25872/stat : 25872 (java) S 25868 25871 22399 0 -1 4202560 2427 0 1 0 28 2 0 0 20 0 22 0 36799599 10060525568 36758 33554432000 1073741824 1073778376 140734639764032 140134418551672 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25871/tid=25879] ppid=25868 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25871/task/25879/stat : 25879 (java) S 25868 25871 22399 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36799599 10060525568 36758 33554432000 1073741824 1073778376 140734639764032 140134391003304 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25871/tid=25880] ppid=25868 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25871/task/25880/stat : 25880 (java) S 25868 25871 22399 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36799599 10060525568 36758 33554432000 1073741824 1073778376 140734639764032 140134389950760 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25871/tid=25881] ppid=25868 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25871/task/25881/stat : 25881 (java) S 25868 25871 22399 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36799599 10060525568 36758 33554432000 1073741824 1073778376 140734639764032 140134388898216 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25871/tid=25882] ppid=25868 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25871/task/25882/stat : 25882 (java) S 25868 25871 22399 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36799599 10060525568 36758 33554432000 1073741824 1073778376 140734639764032 140134387845672 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25871/tid=25883] ppid=25868 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25871/task/25883/stat : 25883 (java) S 25868 25871 22399 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36799599 10060525568 36758 33554432000 1073741824 1073778376 140734639764032 140134386793128 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25871/tid=25884] ppid=25868 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25871/task/25884/stat : 25884 (java) S 25868 25871 22399 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36799599 10060525568 36758 33554432000 1073741824 1073778376 140734639764032 140134385740584 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25871/tid=25885] ppid=25868 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25871/task/25885/stat : 25885 (java) S 25868 25871 22399 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36799599 10060525568 36758 33554432000 1073741824 1073778376 140734639764032 140134384688040 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25871/tid=25886] ppid=25868 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25871/task/25886/stat : 25886 (java) S 25868 25871 22399 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 36799599 10060525568 36758 33554432000 1073741824 1073778376 140734639764032 140134383635496 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25871/tid=25887] ppid=25868 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25871/task/25887/stat : 25887 (java) S 25868 25871 22399 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 36799600 10060525568 36758 33554432000 1073741824 1073778376 140734639764032 140133771745384 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25871/tid=25888] ppid=25868 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25871/task/25888/stat : 25888 (java) S 25868 25871 22399 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 36799601 10060525568 36758 33554432000 1073741824 1073778376 140734639764032 140133770691704 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25871/tid=25889] ppid=25868 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25871/task/25889/stat : 25889 (java) S 25868 25871 22399 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 36799601 10060525568 36758 33554432000 1073741824 1073778376 140734639764032 140133769639048 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25871/tid=25890] ppid=25868 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25871/task/25890/stat : 25890 (java) S 25868 25871 22399 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36799603 10060525568 36758 33554432000 1073741824 1073778376 140734639764032 140133768587792 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25871/tid=25891] ppid=25868 vsize=9824732 CPUtime=0.87 cores=0,2,4,6
/proc/25871/task/25891/stat : 25891 (java) S 25868 25871 22399 0 -1 4202560 6552 0 0 0 87 0 0 0 20 0 22 0 36799603 10060525568 36758 33554432000 1073741824 1073778376 140734639764032 140133767535160 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25871/tid=25892] ppid=25868 vsize=9824732 CPUtime=0.82 cores=0,2,4,6
/proc/25871/task/25892/stat : 25892 (java) S 25868 25871 22399 0 -1 4202560 11649 0 0 0 79 3 0 0 20 0 22 0 36799603 10060525568 36758 33554432000 1073741824 1073778376 140734639764032 140133766482616 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25871/tid=25893] ppid=25868 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25871/task/25893/stat : 25893 (java) S 25868 25871 22399 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36799603 10060525568 36758 33554432000 1073741824 1073778376 140734639764032 140133765430264 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25871/tid=25894] ppid=25868 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25871/task/25894/stat : 25894 (java) S 25868 25871 22399 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36799603 10060525568 36758 33554432000 1073741824 1073778376 140734639764032 140133764377928 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25871/tid=25901] ppid=25868 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25871/task/25901/stat : 25901 (java) S 25868 25871 22399 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 36799628 10060525568 36758 33554432000 1073741824 1073778376 140734639764032 140133761217576 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25871/tid=25909] ppid=25868 vsize=9824732 CPUtime=1.74 cores=0,2,4,6
/proc/25871/task/25909/stat : 25909 (java) R 25868 25871 22399 0 -1 4202560 9 0 0 0 174 0 0 0 20 0 22 0 36799730 10060525568 36758 33554432000 1073741824 1073778376 140734639764032 140133763320968 140134264131976 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=25871/tid=25910] ppid=25868 vsize=9824732 CPUtime=1.75 cores=0,2,4,6
/proc/25871/task/25910/stat : 25910 (java) R 25868 25871 22399 0 -1 4202560 40 0 0 0 175 0 0 0 20 0 22 0 36799730 10060525568 36758 33554432000 1073741824 1073778376 140734639764032 140133762267592 140134264131503 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=25871/tid=25911] ppid=25868 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25871/task/25911/stat : 25911 (java) S 25868 25871 22399 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 36799731 10060525568 36758 33554432000 1073741824 1073778376 140734639764032 140133760164776 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 5.78
Current children cumulated vsize (KiB) 9824732

[startup+6.30093 s]
/proc/loadavg: 1.56 1.28 1.36 6/221 25911
/proc/meminfo: memFree=29630804/32872528 swapFree=1482636/1662508
[pid=25871] ppid=25868 vsize=9824732 CPUtime=12.27 cores=0,2,4,6
/proc/25871/stat : 25871 (java) S 25868 25871 22399 0 -1 4202496 22111 0 1 0 1214 13 0 0 20 0 22 0 36799598 10060525568 46918 33554432000 1073741824 1073778376 140734639764032 140734639755168 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25871/statm: 2456183 46918 2282 9 0 2446860 0
[pid=25871/tid=25872] ppid=25868 vsize=9824732 CPUtime=0.3 cores=0,2,4,6
/proc/25871/task/25872/stat : 25872 (java) S 25868 25871 22399 0 -1 4202560 2427 0 1 0 28 2 0 0 20 0 22 0 36799599 10060525568 46918 33554432000 1073741824 1073778376 140734639764032 140134418551672 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25871/tid=25879] ppid=25868 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25871/task/25879/stat : 25879 (java) S 25868 25871 22399 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 36799599 10060525568 46918 33554432000 1073741824 1073778376 140734639764032 140134391003304 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25871/tid=25880] ppid=25868 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25871/task/25880/stat : 25880 (java) S 25868 25871 22399 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 36799599 10060525568 46918 33554432000 1073741824 1073778376 140734639764032 140134389950760 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25871/tid=25881] ppid=25868 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25871/task/25881/stat : 25881 (java) S 25868 25871 22399 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 36799599 10060525568 46918 33554432000 1073741824 1073778376 140734639764032 140134388898216 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25871/tid=25882] ppid=25868 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25871/task/25882/stat : 25882 (java) S 25868 25871 22399 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 36799599 10060525568 46918 33554432000 1073741824 1073778376 140734639764032 140134387845672 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25871/tid=25883] ppid=25868 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25871/task/25883/stat : 25883 (java) S 25868 25871 22399 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 36799599 10060525568 46918 33554432000 1073741824 1073778376 140734639764032 140134386793128 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25871/tid=25884] ppid=25868 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25871/task/25884/stat : 25884 (java) S 25868 25871 22399 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 36799599 10060525568 46918 33554432000 1073741824 1073778376 140734639764032 140134385740584 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25871/tid=25885] ppid=25868 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25871/task/25885/stat : 25885 (java) S 25868 25871 22399 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 36799599 10060525568 46918 33554432000 1073741824 1073778376 140734639764032 140134384688040 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25871/tid=25886] ppid=25868 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25871/task/25886/stat : 25886 (java) S 25868 25871 22399 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 36799599 10060525568 46918 33554432000 1073741824 1073778376 140734639764032 140134383635496 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25871/tid=25887] ppid=25868 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25871/task/25887/stat : 25887 (java) S 25868 25871 22399 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 36799600 10060525568 46918 33554432000 1073741824 1073778376 140734639764032 140133771745384 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25871/tid=25888] ppid=25868 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25871/task/25888/stat : 25888 (java) S 25868 25871 22399 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 36799601 10060525568 46918 33554432000 1073741824 1073778376 140734639764032 140133770691704 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25871/tid=25889] ppid=25868 vsize=9824732 CPUtime=0 cores=0,2,4,6

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

/proc/25871/task/25881/stat : 25881 (java) S 25868 25871 22399 0 -1 4202560 1452 0 0 0 199 13 0 0 20 0 22 0 36799599 10060525568 214391 33554432000 1073741824 1073778376 140734639764032 140134388898216 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25871/tid=25882] ppid=25868 vsize=9824732 CPUtime=2.16 cores=0,2,4,6
/proc/25871/task/25882/stat : 25882 (java) S 25868 25871 22399 0 -1 4202560 1653 0 0 0 202 14 0 0 20 0 22 0 36799599 10060525568 214391 33554432000 1073741824 1073778376 140734639764032 140134387845672 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25871/tid=25883] ppid=25868 vsize=9824732 CPUtime=1.86 cores=0,2,4,6
/proc/25871/task/25883/stat : 25883 (java) S 25868 25871 22399 0 -1 4202560 1478 0 0 0 174 12 0 0 20 0 22 0 36799599 10060525568 214391 33554432000 1073741824 1073778376 140734639764032 140134386793128 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25871/tid=25884] ppid=25868 vsize=9824732 CPUtime=1.92 cores=0,2,4,6
/proc/25871/task/25884/stat : 25884 (java) S 25868 25871 22399 0 -1 4202560 1337 0 0 0 181 11 0 0 20 0 22 0 36799599 10060525568 214391 33554432000 1073741824 1073778376 140734639764032 140134385740584 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25871/tid=25885] ppid=25868 vsize=9824732 CPUtime=1.98 cores=0,2,4,6
/proc/25871/task/25885/stat : 25885 (java) S 25868 25871 22399 0 -1 4202560 1369 0 0 0 186 12 0 0 20 0 22 0 36799599 10060525568 214391 33554432000 1073741824 1073778376 140734639764032 140134384688040 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25871/tid=25886] ppid=25868 vsize=9824732 CPUtime=2.06 cores=0,2,4,6
/proc/25871/task/25886/stat : 25886 (java) S 25868 25871 22399 0 -1 4202560 856 0 0 0 191 15 0 0 20 0 22 0 36799599 10060525568 214391 33554432000 1073741824 1073778376 140734639764032 140134383635496 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25871/tid=25887] ppid=25868 vsize=9824732 CPUtime=3.36 cores=0,2,4,6
/proc/25871/task/25887/stat : 25887 (java) S 25868 25871 22399 0 -1 4202560 1088 0 0 0 316 20 0 0 20 0 22 0 36799600 10060525568 214391 33554432000 1073741824 1073778376 140734639764032 140133771745384 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25871/tid=25888] ppid=25868 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25871/task/25888/stat : 25888 (java) S 25868 25871 22399 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 36799601 10060525568 214391 33554432000 1073741824 1073778376 140734639764032 140133770691704 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25871/tid=25889] ppid=25868 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25871/task/25889/stat : 25889 (java) S 25868 25871 22399 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 36799601 10060525568 214391 33554432000 1073741824 1073778376 140734639764032 140133769639048 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25871/tid=25890] ppid=25868 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25871/task/25890/stat : 25890 (java) S 25868 25871 22399 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36799603 10060525568 214391 33554432000 1073741824 1073778376 140734639764032 140133768587792 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25871/tid=25891] ppid=25868 vsize=9824732 CPUtime=1.14 cores=0,2,4,6
/proc/25871/task/25891/stat : 25891 (java) S 25868 25871 22399 0 -1 4202560 6562 0 0 0 114 0 0 0 20 0 22 0 36799603 10060525568 214391 33554432000 1073741824 1073778376 140734639764032 140133767535160 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25871/tid=25892] ppid=25868 vsize=9824732 CPUtime=1.03 cores=0,2,4,6
/proc/25871/task/25892/stat : 25892 (java) S 25868 25871 22399 0 -1 4202560 11660 0 0 0 100 3 0 0 20 0 22 0 36799603 10060525568 214391 33554432000 1073741824 1073778376 140734639764032 140133766482616 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25871/tid=25893] ppid=25868 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25871/task/25893/stat : 25893 (java) S 25868 25871 22399 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36799603 10060525568 214391 33554432000 1073741824 1073778376 140734639764032 140133765430264 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25871/tid=25894] ppid=25868 vsize=9824732 CPUtime=0.28 cores=0,2,4,6
/proc/25871/task/25894/stat : 25894 (java) S 25868 25871 22399 0 -1 4202560 47 0 0 0 11 17 0 0 20 0 22 0 36799603 10060525568 214391 33554432000 1073741824 1073778376 140734639764032 140133764377928 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25871/tid=25901] ppid=25868 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25871/task/25901/stat : 25901 (java) S 25868 25871 22399 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 36799628 10060525568 214391 33554432000 1073741824 1073778376 140734639764032 140133761217576 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25871/tid=25909] ppid=25868 vsize=9824732 CPUtime=810.74 cores=0,2,4,6
/proc/25871/task/25909/stat : 25909 (java) R 25868 25871 22399 0 -1 4202560 300 0 0 0 81060 14 0 0 20 0 22 0 36799730 10060525568 214391 33554432000 1073741824 1073778376 140734639764032 140133763320848 140134264355459 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=25871/tid=25910] ppid=25868 vsize=9824732 CPUtime=810.66 cores=0,2,4,6
/proc/25871/task/25910/stat : 25910 (java) R 25868 25871 22399 0 -1 4202560 4622 0 0 0 81050 16 0 0 20 0 22 0 36799730 10060525568 214391 33554432000 1073741824 1073778376 140734639764032 140133762267616 140134264043196 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=25871/tid=25911] ppid=25868 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25871/task/25911/stat : 25911 (java) S 25868 25871 22399 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 36799731 10060525568 214391 33554432000 1073741824 1073778376 140734639764032 140133760164776 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1647.67
Current children cumulated vsize (KiB) 9824732

[startup+882.308 s]
/proc/loadavg: 4.27 4.12 3.11 5/222 25934
/proc/meminfo: memFree=28617176/32872528 swapFree=1482636/1662508
[pid=25871] ppid=25868 vsize=9824732 CPUtime=1768.18 cores=0,2,4,6
/proc/25871/stat : 25871 (java) S 25868 25871 22399 0 -1 4202496 39096 0 1 0 176654 164 0 0 20 0 22 0 36799598 10060525568 235494 33554432000 1073741824 1073778376 140734639764032 140734639755168 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25871/statm: 2456183 235494 2294 9 0 2446860 0
[pid=25871/tid=25872] ppid=25868 vsize=9824732 CPUtime=0.34 cores=0,2,4,6
/proc/25871/task/25872/stat : 25872 (java) S 25868 25871 22399 0 -1 4202560 2438 0 1 0 31 3 0 0 20 0 22 0 36799599 10060525568 235494 33554432000 1073741824 1073778376 140734639764032 140134418551672 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25871/tid=25879] ppid=25868 vsize=9824732 CPUtime=2 cores=0,2,4,6
/proc/25871/task/25879/stat : 25879 (java) S 25868 25871 22399 0 -1 4202560 1343 0 0 0 187 13 0 0 20 0 22 0 36799599 10060525568 235494 33554432000 1073741824 1073778376 140734639764032 140134391003304 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25871/tid=25880] ppid=25868 vsize=9824732 CPUtime=2.1 cores=0,2,4,6
/proc/25871/task/25880/stat : 25880 (java) S 25868 25871 22399 0 -1 4202560 1105 0 0 0 196 14 0 0 20 0 22 0 36799599 10060525568 235494 33554432000 1073741824 1073778376 140734639764032 140134389950760 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25871/tid=25881] ppid=25868 vsize=9824732 CPUtime=2.24 cores=0,2,4,6
/proc/25871/task/25881/stat : 25881 (java) S 25868 25871 22399 0 -1 4202560 1466 0 0 0 211 13 0 0 20 0 22 0 36799599 10060525568 235494 33554432000 1073741824 1073778376 140734639764032 140134388898216 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25871/tid=25882] ppid=25868 vsize=9824732 CPUtime=2.35 cores=0,2,4,6
/proc/25871/task/25882/stat : 25882 (java) S 25868 25871 22399 0 -1 4202560 1756 0 0 0 219 16 0 0 20 0 22 0 36799599 10060525568 235494 33554432000 1073741824 1073778376 140734639764032 140134387845672 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25871/tid=25883] ppid=25868 vsize=9824732 CPUtime=2 cores=0,2,4,6
/proc/25871/task/25883/stat : 25883 (java) S 25868 25871 22399 0 -1 4202560 1489 0 0 0 187 13 0 0 20 0 22 0 36799599 10060525568 235494 33554432000 1073741824 1073778376 140734639764032 140134386793128 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25871/tid=25884] ppid=25868 vsize=9824732 CPUtime=2.08 cores=0,2,4,6
/proc/25871/task/25884/stat : 25884 (java) S 25868 25871 22399 0 -1 4202560 1391 0 0 0 195 13 0 0 20 0 22 0 36799599 10060525568 235494 33554432000 1073741824 1073778376 140734639764032 140134385740584 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25871/tid=25885] ppid=25868 vsize=9824732 CPUtime=2.13 cores=0,2,4,6
/proc/25871/task/25885/stat : 25885 (java) S 25868 25871 22399 0 -1 4202560 1553 0 0 0 199 14 0 0 20 0 22 0 36799599 10060525568 235494 33554432000 1073741824 1073778376 140734639764032 140134384688040 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25871/tid=25886] ppid=25868 vsize=9824732 CPUtime=2.2 cores=0,2,4,6
/proc/25871/task/25886/stat : 25886 (java) S 25868 25871 22399 0 -1 4202560 875 0 0 0 203 17 0 0 20 0 22 0 36799599 10060525568 235494 33554432000 1073741824 1073778376 140734639764032 140134383635496 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25871/tid=25887] ppid=25868 vsize=9824732 CPUtime=3.36 cores=0,2,4,6
/proc/25871/task/25887/stat : 25887 (java) S 25868 25871 22399 0 -1 4202560 1123 0 0 0 316 20 0 0 20 0 22 0 36799600 10060525568 235494 33554432000 1073741824 1073778376 140734639764032 140133771745384 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25871/tid=25888] ppid=25868 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25871/task/25888/stat : 25888 (java) S 25868 25871 22399 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 36799601 10060525568 235494 33554432000 1073741824 1073778376 140734639764032 140133770691704 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25871/tid=25889] ppid=25868 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25871/task/25889/stat : 25889 (java) S 25868 25871 22399 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 36799601 10060525568 235494 33554432000 1073741824 1073778376 140734639764032 140133769639048 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25871/tid=25890] ppid=25868 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25871/task/25890/stat : 25890 (java) S 25868 25871 22399 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36799603 10060525568 235494 33554432000 1073741824 1073778376 140734639764032 140133768587792 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25871/tid=25891] ppid=25868 vsize=9824732 CPUtime=1.14 cores=0,2,4,6
/proc/25871/task/25891/stat : 25891 (java) S 25868 25871 22399 0 -1 4202560 6562 0 0 0 114 0 0 0 20 0 22 0 36799603 10060525568 235494 33554432000 1073741824 1073778376 140734639764032 140133767535160 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25871/tid=25892] ppid=25868 vsize=9824732 CPUtime=1.03 cores=0,2,4,6
/proc/25871/task/25892/stat : 25892 (java) S 25868 25871 22399 0 -1 4202560 11660 0 0 0 100 3 0 0 20 0 22 0 36799603 10060525568 235494 33554432000 1073741824 1073778376 140734639764032 140133766482616 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25871/tid=25893] ppid=25868 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25871/task/25893/stat : 25893 (java) S 25868 25871 22399 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36799603 10060525568 235494 33554432000 1073741824 1073778376 140734639764032 140133765430264 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25871/tid=25894] ppid=25868 vsize=9824732 CPUtime=0.31 cores=0,2,4,6
/proc/25871/task/25894/stat : 25894 (java) S 25868 25871 22399 0 -1 4202560 51 0 0 0 12 19 0 0 20 0 22 0 36799603 10060525568 235494 33554432000 1073741824 1073778376 140734639764032 140133764377928 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25871/tid=25901] ppid=25868 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25871/task/25901/stat : 25901 (java) S 25868 25871 22399 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 36799628 10060525568 235494 33554432000 1073741824 1073778376 140734639764032 140133761217576 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25871/tid=25909] ppid=25868 vsize=9824732 CPUtime=870.26 cores=0,2,4,6
/proc/25871/task/25909/stat : 25909 (java) R 25868 25871 22399 0 -1 4202560 305 0 0 0 87011 15 0 0 20 0 22 0 36799730 10060525568 235494 33554432000 1073741824 1073778376 140734639764032 140133763314192 140134264136484 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=25871/tid=25910] ppid=25868 vsize=9824732 CPUtime=870.19 cores=0,2,4,6
/proc/25871/task/25910/stat : 25910 (java) R 25868 25871 22399 0 -1 4202560 4626 0 0 0 87002 17 0 0 20 0 22 0 36799730 10060525568 235494 33554432000 1073741824 1073778376 140734639764032 140133762268304 140134264173991 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=25871/tid=25911] ppid=25868 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25871/task/25911/stat : 25911 (java) S 25868 25871 22399 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 36799731 10060525568 235494 33554432000 1073741824 1073778376 140734639764032 140133760164776 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1768.18
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+898.201 s]
/proc/loadavg: 4.14 4.10 3.11 5/222 25934
/proc/meminfo: memFree=28554144/32872528 swapFree=1482636/1662508
[pid=25871] ppid=25868 vsize=9824732 CPUtime=1800.06 cores=0,2,4,6
/proc/25871/stat : 25871 (java) S 25868 25871 22399 0 -1 4202496 39154 0 1 0 179839 167 0 0 20 0 22 0 36799598 10060525568 243701 33554432000 1073741824 1073778376 140734639764032 140734639755168 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25871/statm: 2456183 243701 2294 9 0 2446860 0
[pid=25871/tid=25872] ppid=25868 vsize=9824732 CPUtime=0.34 cores=0,2,4,6
/proc/25871/task/25872/stat : 25872 (java) S 25868 25871 22399 0 -1 4202560 2438 0 1 0 31 3 0 0 20 0 22 0 36799599 10060525568 243701 33554432000 1073741824 1073778376 140734639764032 140134418551672 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25871/tid=25879] ppid=25868 vsize=9824732 CPUtime=2.03 cores=0,2,4,6
/proc/25871/task/25879/stat : 25879 (java) S 25868 25871 22399 0 -1 4202560 1347 0 0 0 190 13 0 0 20 0 22 0 36799599 10060525568 243701 33554432000 1073741824 1073778376 140734639764032 140134391003304 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25871/tid=25880] ppid=25868 vsize=9824732 CPUtime=2.13 cores=0,2,4,6
/proc/25871/task/25880/stat : 25880 (java) S 25868 25871 22399 0 -1 4202560 1108 0 0 0 199 14 0 0 20 0 22 0 36799599 10060525568 243701 33554432000 1073741824 1073778376 140734639764032 140134389950760 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25871/tid=25881] ppid=25868 vsize=9824732 CPUtime=2.27 cores=0,2,4,6
/proc/25871/task/25881/stat : 25881 (java) S 25868 25871 22399 0 -1 4202560 1471 0 0 0 213 14 0 0 20 0 22 0 36799599 10060525568 243701 33554432000 1073741824 1073778376 140734639764032 140134388898216 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25871/tid=25882] ppid=25868 vsize=9824732 CPUtime=2.38 cores=0,2,4,6
/proc/25871/task/25882/stat : 25882 (java) S 25868 25871 22399 0 -1 4202560 1767 0 0 0 221 17 0 0 20 0 22 0 36799599 10060525568 243701 33554432000 1073741824 1073778376 140734639764032 140134387845672 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25871/tid=25883] ppid=25868 vsize=9824732 CPUtime=2.03 cores=0,2,4,6
/proc/25871/task/25883/stat : 25883 (java) S 25868 25871 22399 0 -1 4202560 1496 0 0 0 190 13 0 0 20 0 22 0 36799599 10060525568 243701 33554432000 1073741824 1073778376 140734639764032 140134386793128 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25871/tid=25884] ppid=25868 vsize=9824732 CPUtime=2.1 cores=0,2,4,6
/proc/25871/task/25884/stat : 25884 (java) S 25868 25871 22399 0 -1 4202560 1394 0 0 0 197 13 0 0 20 0 22 0 36799599 10060525568 243701 33554432000 1073741824 1073778376 140734639764032 140134385740584 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25871/tid=25885] ppid=25868 vsize=9824732 CPUtime=2.15 cores=0,2,4,6
/proc/25871/task/25885/stat : 25885 (java) S 25868 25871 22399 0 -1 4202560 1561 0 0 0 201 14 0 0 20 0 22 0 36799599 10060525568 243701 33554432000 1073741824 1073778376 140734639764032 140134384688040 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25871/tid=25886] ppid=25868 vsize=9824732 CPUtime=2.24 cores=0,2,4,6
/proc/25871/task/25886/stat : 25886 (java) S 25868 25871 22399 0 -1 4202560 878 0 0 0 207 17 0 0 20 0 22 0 36799599 10060525568 243701 33554432000 1073741824 1073778376 140734639764032 140134383635496 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25871/tid=25887] ppid=25868 vsize=9824732 CPUtime=3.36 cores=0,2,4,6
/proc/25871/task/25887/stat : 25887 (java) S 25868 25871 22399 0 -1 4202560 1135 0 0 0 316 20 0 0 20 0 22 0 36799600 10060525568 243701 33554432000 1073741824 1073778376 140734639764032 140133771745384 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25871/tid=25888] ppid=25868 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25871/task/25888/stat : 25888 (java) S 25868 25871 22399 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 36799601 10060525568 243701 33554432000 1073741824 1073778376 140734639764032 140133770691704 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25871/tid=25889] ppid=25868 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25871/task/25889/stat : 25889 (java) S 25868 25871 22399 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 36799601 10060525568 243701 33554432000 1073741824 1073778376 140734639764032 140133769639048 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25871/tid=25890] ppid=25868 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25871/task/25890/stat : 25890 (java) S 25868 25871 22399 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36799603 10060525568 243701 33554432000 1073741824 1073778376 140734639764032 140133768587792 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25871/tid=25891] ppid=25868 vsize=9824732 CPUtime=1.14 cores=0,2,4,6
/proc/25871/task/25891/stat : 25891 (java) S 25868 25871 22399 0 -1 4202560 6562 0 0 0 114 0 0 0 20 0 22 0 36799603 10060525568 243701 33554432000 1073741824 1073778376 140734639764032 140133767535160 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25871/tid=25892] ppid=25868 vsize=9824732 CPUtime=1.03 cores=0,2,4,6
/proc/25871/task/25892/stat : 25892 (java) S 25868 25871 22399 0 -1 4202560 11660 0 0 0 100 3 0 0 20 0 22 0 36799603 10060525568 243701 33554432000 1073741824 1073778376 140734639764032 140133766482616 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25871/tid=25893] ppid=25868 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25871/task/25893/stat : 25893 (java) S 25868 25871 22399 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36799603 10060525568 243701 33554432000 1073741824 1073778376 140734639764032 140133765430264 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25871/tid=25894] ppid=25868 vsize=9824732 CPUtime=0.32 cores=0,2,4,6
/proc/25871/task/25894/stat : 25894 (java) S 25868 25871 22399 0 -1 4202560 51 0 0 0 13 19 0 0 20 0 22 0 36799603 10060525568 243701 33554432000 1073741824 1073778376 140734639764032 140133764377928 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25871/tid=25901] ppid=25868 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25871/task/25901/stat : 25901 (java) S 25868 25871 22399 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 36799628 10060525568 243701 33554432000 1073741824 1073778376 140734639764032 140133761217576 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25871/tid=25909] ppid=25868 vsize=9824732 CPUtime=886.04 cores=0,2,4,6
/proc/25871/task/25909/stat : 25909 (java) R 25868 25871 22399 0 -1 4202560 306 0 0 0 88589 15 0 0 20 0 22 0 36799730 10060525568 243701 33554432000 1073741824 1073778376 140734639764032 140133763321136 140134264136088 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=25871/tid=25910] ppid=25868 vsize=9824732 CPUtime=885.97 cores=0,2,4,6
/proc/25871/task/25910/stat : 25910 (java) R 25868 25871 22399 0 -1 4202560 4627 0 0 0 88580 17 0 0 20 0 22 0 36799730 10060525568 243701 33554432000 1073741824 1073778376 140734639764032 140133762268368 140134264173874 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=25871/tid=25911] ppid=25868 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/25871/task/25911/stat : 25911 (java) S 25868 25871 22399 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 36799731 10060525568 243701 33554432000 1073741824 1073778376 140734639764032 140133760164776 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
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 25871 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 25871 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=28266
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=121677
# CPU time returned by wait4() is 1796.15
# while last known CPU time is 1800.06
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 898.255
CPU time (s): 1800.06
CPU user time (s): 1798.39
CPU system time (s): 1.67
CPU usage (%): 200.395
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.03
system time used= 2.12168
maximum resident set size= 974936
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39197
page faults= 1
swaps= 0
block input operations= 0
block output operations= 952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 30260
involuntary context switches= 44985

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.58415 second user time and 7.55185 second system time

The end

Launcher Data 

Begin job on node134 at 2016-06-19 16:45:32
IDJOB=4110525
IDBENCH=79508
IDSOLVER=2552
FILE ID=node134/4110525-1466347532
RUNJOBID= node134-1466347532-25829
PBS_JOBID= 19922019
Free space on /tmp= 71720 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB10/normalized-PB10/PARTIAL-BIGINT-LIN/wcsp/warehouse/normalized-cap51_wcsp.wbo
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4110525-1466347532/watcher-4110525-1466347532 -o /tmp/evaluation-result-4110525-1466347532/solver-4110525-1466347532 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1466347532-25829 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4110525-1466347532.wbo

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

MD5SUM BENCH= 6884eb16d9ca5647137a605a0e2a2e0d
RANDOM SEED=1179374202

node134.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		: 2667.020
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	: 5334.04
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		: 2667.020
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	: 7358.89
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		: 2667.020
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		: 2667.020
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		: 2667.020
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.020
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.54
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		: 2667.020
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		: 2667.020
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29993712 kB
Buffers:          198020 kB
Cached:           267192 kB
SwapCached:         1068 kB
Active:           124660 kB
Inactive:         351888 kB
Active(anon):      12204 kB
Inactive(anon):     1732 kB
Active(file):     112456 kB
Inactive(file):   350156 kB
Unevictable:     1662508 kB
Mlocked:         1482636 kB
SwapTotal:      67108856 kB
SwapFree:       67100176 kB
Dirty:              1580 kB
Writeback:             0 kB
AnonPages:       1669084 kB
Mapped:            12836 kB
Shmem:                 0 kB
Slab:             606712 kB
SReclaimable:      50548 kB
SUnreclaim:       556164 kB
KernelStack:        1384 kB
PageTables:         6756 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2342464 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987908 kB
HardwareCorrupted:     0 kB
AnonHugePages:    180224 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= 71720 MiB
End job on node134 at 2016-06-19 17:00:30