Trace number 4091893

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.96 898.864

General information on the benchmark

Name/PARTIAL-BIGINT-LIN/wcsp/warehouse/
normalized-cap73_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.07
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.09	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.09/0.12	c Pseudo Boolean Optimization by upper bound
0.09/0.12	c ManyCore solver with 2 solvers running in parallel
0.09/0.12	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.12	c Expensive reason simplification
0.09/0.12	c Glucose 2.1 dynamic restart strategy
0.09/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.09/0.12	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.09/0.12	c No reason simplification
0.09/0.12	c Armin Biere (Picosat) restarts strategy
0.09/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-4091893-1466089542.wbo
0.09/0.12	c reading problem ... 
0.24/0.27	c ... done. Wall clock time 0.157s.
0.24/0.27	c declared #vars     832
0.24/0.27	c internal #vars     2446
0.24/0.27	c #constraints  1746
0.24/0.28	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.24/0.28	c constraints type 
0.24/0.28	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 850
0.24/0.28	c org.sat4j.minisat.constraints.card.MinWatchCard => 50
0.24/0.28	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 846
0.24/0.28	c 1746 constraints processed.
0.24/0.28	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.24/0.28	c constraints type 
0.24/0.28	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 846
0.24/0.28	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 850
0.24/0.28	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 50
0.24/0.28	c 1746 constraints processed.
0.24/0.28	c objective function length is 1614 literals
0.48/0.32	c And the winner is solver1
0.55/0.78	c SATISFIABLE
0.55/0.78	c OPTIMIZING...
0.55/0.78	c Got one! Elapsed wall clock time (in seconds):0.664
0.55/0.78	o 9939840
0.59/0.87	c And the winner is solver1
1.17/1.31	c Got one! Elapsed wall clock time (in seconds):1.187
1.17/1.31	o 9890361
3.26/2.03	c cleaning 2506 clauses out of 5022 with flag 12128/5022
5.21/2.80	c cleaning 4248 clauses out of 8517 with flag 25779/11023
6.81/3.67	c cleaning 5625 clauses out of 11268 with flag 41551/18022
8.84/4.69	c cleaning 6811 clauses out of 13643 with flag 59538/26022
11.29/5.83	c cleaning 7910 clauses out of 15833 with flag 79623/35023
14.09/7.20	c cleaning 8953 clauses out of 17922 with flag 101542/45022
17.34/8.81	c cleaning 9977 clauses out of 19969 with flag 126466/56022
21.13/10.72	c cleaning 10990 clauses out of 21993 with flag 153711/68023
25.38/12.87	c cleaning 11991 clauses out of 24005 with flag 183313/81025
29.61/14.90	c cleaning 13006 clauses out of 26011 with flag 219188/95022
33.89/17.06	c cleaning 13999 clauses out of 28005 with flag 268383/110022
38.70/19.44	c cleaning 15005 clauses out of 30009 with flag 323685/126025
44.20/22.12	c cleaning 16002 clauses out of 32003 with flag 382015/143024
49.59/24.82	c cleaning 16995 clauses out of 33999 with flag 442833/161022
55.45/27.77	c cleaning 17994 clauses out of 36004 with flag 513076/180022
62.05/31.07	c cleaning 19000 clauses out of 38010 with flag 586181/200022
68.90/34.43	c cleaning 19998 clauses out of 40010 with flag 664960/221022
75.75/37.85	c cleaning 21006 clauses out of 42012 with flag 746461/243022
82.99/41.48	c cleaning 21984 clauses out of 44006 with flag 831241/266022
90.79/45.36	c cleaning 23006 clauses out of 46022 with flag 930152/290022
99.25/49.60	c cleaning 24003 clauses out of 48016 with flag 1028137/315022
107.68/53.78	c cleaning 25000 clauses out of 50013 with flag 1110303/341022
116.29/58.09	c cleaning 26004 clauses out of 52015 with flag 1208563/368024
125.11/62.44	c cleaning 26992 clauses out of 54010 with flag 1300531/396023
134.74/67.29	c cleaning 28008 clauses out of 56018 with flag 1407060/425023
144.73/72.23	c cleaning 29000 clauses out of 58010 with flag 1520459/455023
155.75/77.73	c cleaning 29980 clauses out of 60009 with flag 1636579/486022
167.16/83.49	c cleaning 31009 clauses out of 62029 with flag 1743307/518022
179.20/89.48	c cleaning 31977 clauses out of 64020 with flag 1869656/551022
192.02/95.83	c cleaning 33017 clauses out of 66043 with flag 1989561/585022
205.24/102.44	c cleaning 33997 clauses out of 68027 with flag 2120932/620023
218.67/109.13	c cleaning 35006 clauses out of 70033 with flag 2243000/656026
232.68/116.16	c cleaning 36011 clauses out of 72023 with flag 2371814/693022
247.51/123.51	c cleaning 37002 clauses out of 74013 with flag 2516146/731023
263.15/131.33	c cleaning 38000 clauses out of 76010 with flag 2643882/770022
279.38/139.40	c cleaning 38999 clauses out of 78012 with flag 2773972/810024
295.99/147.75	c cleaning 40004 clauses out of 80013 with flag 2922501/851024
312.84/156.11	c cleaning 40992 clauses out of 82007 with flag 3065238/893022
329.46/164.47	c cleaning 41997 clauses out of 84019 with flag 3221340/936026
346.89/173.10	c cleaning 42992 clauses out of 86018 with flag 3384456/980022
365.15/182.29	c cleaning 44003 clauses out of 88027 with flag 3533554/1025023
384.21/191.74	c cleaning 44997 clauses out of 90023 with flag 3687534/1071022
404.25/201.71	c cleaning 46010 clauses out of 92027 with flag 3840791/1118023
425.13/212.17	c cleaning 47000 clauses out of 94017 with flag 3995308/1166023
445.88/222.42	c cleaning 48007 clauses out of 96016 with flag 4176859/1215022
466.53/232.75	c cleaning 48988 clauses out of 98009 with flag 4381873/1265022
487.62/243.27	c cleaning 49986 clauses out of 100021 with flag 4575878/1316022
508.69/253.97	c cleaning 51016 clauses out of 102035 with flag 4762766/1368022
530.74/264.98	c cleaning 51999 clauses out of 104019 with flag 4953103/1421022
554.58/276.71	c cleaning 53004 clauses out of 106022 with flag 5147120/1475024
578.11/288.47	c cleaning 54004 clauses out of 108016 with flag 5392321/1530022
602.43/300.53	c cleaning 55001 clauses out of 110012 with flag 5614857/1586022
629.38/313.92	c cleaning 55995 clauses out of 112011 with flag 5809776/1643022
655.16/326.73	c cleaning 56996 clauses out of 114016 with flag 6017035/1701022
682.77/340.71	c cleaning 58003 clauses out of 116021 with flag 6251254/1760023
710.92/354.74	c cleaning 58989 clauses out of 118017 with flag 6515386/1820022
740.71/369.59	c cleaning 60010 clauses out of 120028 with flag 6760585/1881022
769.82/384.03	c cleaning 60993 clauses out of 122018 with flag 6992548/1943022
797.51/397.88	c cleaning 61989 clauses out of 124025 with flag 7206491/2006022
826.66/412.36	c cleaning 63015 clauses out of 126038 with flag 7459383/2070024
858.20/428.30	c cleaning 63999 clauses out of 128021 with flag 7734308/2135022
889.69/444.02	c cleaning 65004 clauses out of 130026 with flag 7979018/2201026
922.01/460.17	c cleaning 65997 clauses out of 132024 with flag 8212558/2268028
955.10/476.67	c cleaning 67007 clauses out of 134022 with flag 8485443/2336023
985.62/491.86	c cleaning 67995 clauses out of 136014 with flag 8773925/2405022
1018.56/508.24	c cleaning 69000 clauses out of 138020 with flag 9025935/2475023
1055.27/526.59	c cleaning 69987 clauses out of 140019 with flag 9285194/2546022
1085.19/541.46	c cleaning 71013 clauses out of 142033 with flag 9535440/2618023
1117.35/557.40	c cleaning 72010 clauses out of 144022 with flag 9788610/2691025
1150.13/574.11	c cleaning 73000 clauses out of 146010 with flag 10040339/2765023
1184.32/591.12	c cleaning 73999 clauses out of 148010 with flag 10316821/2840023
1220.88/609.39	c cleaning 74997 clauses out of 150019 with flag 10582803/2916031
1257.80/627.75	c cleaning 75990 clauses out of 152014 with flag 10837860/2993023
1298.56/648.06	c cleaning 77008 clauses out of 154023 with flag 11084408/3071022
1340.52/669.38	c cleaning 78002 clauses out of 156016 with flag 11354433/3150023
1384.93/691.48	c cleaning 78994 clauses out of 158013 with flag 11617477/3230022
1431.26/714.50	c cleaning 79995 clauses out of 160019 with flag 11888551/3311022
1476.63/737.13	c cleaning 81003 clauses out of 162026 with flag 12160770/3393024
1520.86/759.17	c cleaning 82003 clauses out of 164022 with flag 12428534/3476023
1570.47/783.86	c cleaning 83004 clauses out of 166018 with flag 12727535/3560022
1614.55/805.76	c cleaning 83999 clauses out of 168014 with flag 13007786/3645022
1662.92/829.87	c cleaning 84994 clauses out of 170015 with flag 13296519/3731022
1714.08/855.33	c cleaning 86009 clauses out of 172021 with flag 13573948/3818022
1765.02/881.30	c cleaning 87001 clauses out of 174012 with flag 13865300/3906022
1800.19/898.81	c >>>>>>>>>> Solver number 0 (0 answers) <<<<<<<<<<<<<<<<<<
1800.19/898.81	c starts		: 495
1800.19/898.81	c conflicts		: 3974447
1800.19/898.81	c decisions		: 12535530
1800.19/898.81	c propagations		: 1151520176
1800.19/898.81	c inspects		: 7932201504
1800.19/898.81	c shortcuts		: 0
1800.19/898.81	c learnt literals	: 0
1800.19/898.81	c learnt binary clauses	: 0
1800.19/898.81	c learnt ternary clauses	: 0
1800.19/898.81	c learnt constraints	: 3974447
1800.19/898.81	c ignored constraints	: 0
1800.19/898.81	c root simplifications	: 0
1800.19/898.81	c removed literals (reason simplification)	: 5606816
1800.19/898.81	c reason swapping (by a shorter reason)	: 0
1800.19/898.81	c Calls to reduceDB	: 84
1800.19/898.81	c Number of update (reduction) of LBD	: 1656641
1800.19/898.81	c Imported unit clauses	: 0
1800.19/898.81	c number of reductions to clauses (during analyze)	: 0
1800.19/898.81	c number of learned constraints concerned by reduction	: 0
1800.19/898.81	c number of learning phase by resolution	: 0
1800.19/898.81	c number of learning phase by cutting planes	: 0
1800.19/898.81	c speed (assignments/second)	: 1283042.2733573113
1800.19/898.81	c non guided choices	17
1800.19/898.84	c learnt constraints type 
1800.19/898.84	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 155436
1800.19/898.84	c >>>>>>>>>> Solver number 1 (2 answers) <<<<<<<<<<<<<<<<<<
1800.19/898.84	c starts		: 9
1800.19/898.84	c conflicts		: 2169
1800.19/898.84	c decisions		: 368667
1800.19/898.84	c propagations		: 927979
1800.19/898.84	c inspects		: 81435359
1800.19/898.84	c shortcuts		: 0
1800.19/898.84	c learnt literals	: 0
1800.19/898.84	c learnt binary clauses	: 0
1800.19/898.84	c learnt ternary clauses	: 0
1800.19/898.84	c learnt constraints	: 2169
1800.19/898.84	c ignored constraints	: 0
1800.19/898.84	c root simplifications	: 0
1800.19/898.84	c removed literals (reason simplification)	: 0
1800.19/898.84	c reason swapping (by a shorter reason)	: 0
1800.19/898.84	c Calls to reduceDB	: 0
1800.19/898.84	c Number of update (reduction) of LBD	: 0
1800.19/898.84	c Imported unit clauses	: 0
1800.19/898.84	c number of reductions to clauses (during analyze)	: 0
1800.19/898.84	c number of learned constraints concerned by reduction	: 0
1800.19/898.84	c number of learning phase by resolution	: 0
1800.19/898.84	c number of learning phase by cutting planes	: 0
1800.19/898.84	c speed (assignments/second)	: 1032.7528047997382
1800.19/898.84	c non guided choices	0
1800.19/898.84	c learnt constraints type 
1800.19/898.84	c org.sat4j.pb.constraints.pb.MaxWatchPb => 2169
1800.19/898.84	s SATISFIABLE
1800.19/898.84	c Found 2 solution(s)
1800.19/898.84	v x1 -x2 -x3 x4 -x5 x6 -x7 x8 x9 -x10 -x11 x12 -x13 x14 -x15 x16 -x17 x18 x19 -x20 -x21 x22 x23 -x24 -x25 x26 x27 -x28 x29 -x30 x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 x123 -x124 -x125 -x126 -x127 -x128 -x129 x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 x827 -x828 -x829 -x830 -x831 -x832 
1800.19/898.84	c objective function=9890361
1800.19/898.84	c Total wall clock time (in seconds): 898.726

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

pid=22294
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: 4.46 4.15 3.61 4/197 22297
/proc/meminfo: memFree=31535028/32872528 swapFree=162364/176672
[pid=22297] ppid=22294 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/22297/stat : 22297 (java) D 22294 22297 11533 0 -1 4202496 534 0 0 0 0 0 0 0 20 0 1 0 11004097 9515008 186 33554432000 1073741824 1073778376 140735625850544 140735625839608 224913354023 0 0 4096 0 18446744072100588836 0 0 17 5 0 0 0 0 0
/proc/22297/statm: 2323 186 143 9 0 71 0

[startup+0.100137 s]
/proc/loadavg: 4.46 4.15 3.61 4/197 22297
/proc/meminfo: memFree=31535028/32872528 swapFree=162364/176672
[pid=22297] ppid=22294 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/22297/stat : 22297 (java) S 22294 22297 11533 0 -1 4202496 4419 0 1 0 8 1 0 0 20 0 18 0 11004097 9787879424 6056 33554432000 1073741824 1073778376 140735625850544 140735625841680 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22297/statm: 2389619 6056 2126 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200329 s]
/proc/loadavg: 4.46 4.15 3.61 4/197 22297
/proc/meminfo: memFree=31535028/32872528 swapFree=162364/176672
[pid=22297] ppid=22294 vsize=9558476 CPUtime=0.24 cores=1,3,5,7
/proc/22297/stat : 22297 (java) S 22294 22297 11533 0 -1 4202496 4743 0 1 0 23 1 0 0 20 0 18 0 11004097 9787879424 6799 33554432000 1073741824 1073778376 140735625850544 140735625841680 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22297/statm: 2389619 6799 2210 9 0 2380296 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 9558476

[startup+0.300237 s]
/proc/loadavg: 4.46 4.15 3.61 4/197 22297
/proc/meminfo: memFree=31535028/32872528 swapFree=162364/176672
[pid=22297] ppid=22294 vsize=9824732 CPUtime=0.48 cores=1,3,5,7
/proc/22297/stat : 22297 (java) S 22294 22297 11533 0 -1 4202496 5637 0 1 0 47 1 0 0 20 0 22 0 11004097 10060525568 10035 33554432000 1073741824 1073778376 140735625850544 140735625841680 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22297/statm: 2456183 10035 2243 9 0 2446860 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9824732

[startup+0.700267 s]
/proc/loadavg: 4.46 4.15 3.61 4/197 22297
/proc/meminfo: memFree=31535028/32872528 swapFree=162364/176672
[pid=22297] ppid=22294 vsize=9824732 CPUtime=0.55 cores=1,3,5,7
/proc/22297/stat : 22297 (java) S 22294 22297 11533 0 -1 4202496 5640 0 1 0 52 3 0 0 20 0 19 0 11004097 10060525568 10028 33554432000 1073741824 1073778376 140735625850544 140735625841680 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22297/statm: 2456183 10028 2246 9 0 2446860 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 9824732

[startup+1.50078 s]
/proc/loadavg: 4.26 4.12 3.61 3/216 22322
/proc/meminfo: memFree=31480452/32872528 swapFree=162364/176672
[pid=22297] ppid=22294 vsize=9824732 CPUtime=1.86 cores=1,3,5,7
/proc/22297/stat : 22297 (java) S 22294 22297 11533 0 -1 4202496 14456 0 1 0 179 7 0 0 20 0 22 0 11004097 10060525568 20317 33554432000 1073741824 1073778376 140735625850544 140735625841680 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22297/statm: 2456183 20317 2261 9 0 2446860 0
[pid=22297/tid=22299] ppid=22294 vsize=9824732 CPUtime=0.28 cores=1,3,5,7
/proc/22297/task/22299/stat : 22299 (java) S 22294 22297 11533 0 -1 4202560 2432 0 1 0 27 1 0 0 20 0 22 0 11004098 10060525568 20317 33554432000 1073741824 1073778376 140735625850544 140567745434488 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22297/tid=22300] ppid=22294 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22297/task/22300/stat : 22300 (java) S 22294 22297 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 11004099 10060525568 20317 33554432000 1073741824 1073778376 140735625850544 140567706925992 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22297/tid=22301] ppid=22294 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22297/task/22301/stat : 22301 (java) S 22294 22297 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 11004099 10060525568 20317 33554432000 1073741824 1073778376 140735625850544 140567705873448 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22297/tid=22302] ppid=22294 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22297/task/22302/stat : 22302 (java) S 22294 22297 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 11004099 10060525568 20328 33554432000 1073741824 1073778376 140735625850544 140567704820392 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22297/tid=22303] ppid=22294 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22297/task/22303/stat : 22303 (java) S 22294 22297 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 11004099 10060525568 20345 33554432000 1073741824 1073778376 140735625850544 140567585483560 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22297/tid=22304] ppid=22294 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22297/task/22304/stat : 22304 (java) S 22294 22297 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 11004099 10060525568 20364 33554432000 1073741824 1073778376 140735625850544 140567584430504 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22297/tid=22305] ppid=22294 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22297/task/22305/stat : 22305 (java) S 22294 22297 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 11004099 10060525568 20381 33554432000 1073741824 1073778376 140735625850544 140567583377960 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22297/tid=22306] ppid=22294 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22297/task/22306/stat : 22306 (java) S 22294 22297 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 11004099 10060525568 20390 33554432000 1073741824 1073778376 140735625850544 140567582324904 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22297/tid=22307] ppid=22294 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22297/task/22307/stat : 22307 (java) S 22294 22297 11533 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 11004099 10060525568 20390 33554432000 1073741824 1073778376 140735625850544 140567581272360 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22297/tid=22308] ppid=22294 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22297/task/22308/stat : 22308 (java) S 22294 22297 11533 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 11004100 10060525568 20390 33554432000 1073741824 1073778376 140735625850544 140567098944360 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22297/tid=22309] ppid=22294 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22297/task/22309/stat : 22309 (java) S 22294 22297 11533 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 11004101 10060525568 20390 33554432000 1073741824 1073778376 140735625850544 140567097890680 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22297/tid=22310] ppid=22294 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22297/task/22310/stat : 22310 (java) S 22294 22297 11533 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 11004101 10060525568 20390 33554432000 1073741824 1073778376 140735625850544 140567096837512 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22297/tid=22311] ppid=22294 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22297/task/22311/stat : 22311 (java) S 22294 22297 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 11004103 10060525568 20390 33554432000 1073741824 1073778376 140735625850544 140567095786256 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22297/tid=22312] ppid=22294 vsize=9824732 CPUtime=0.45 cores=1,3,5,7
/proc/22297/task/22312/stat : 22312 (java) R 22294 22297 11533 0 -1 4202560 6174 0 0 0 44 1 0 0 20 0 22 0 11004103 10060525568 20390 33554432000 1073741824 1073778376 140735625850544 140567094733112 140567752408377 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=22297/tid=22313] ppid=22294 vsize=9824732 CPUtime=0.49 cores=1,3,5,7
/proc/22297/task/22313/stat : 22313 (java) R 22294 22297 11533 0 -1 4202560 4546 0 0 0 49 0 0 0 20 0 22 0 11004103 10060525568 20390 33554432000 1073741824 1073778376 140735625850544 140567093680568 224922559607 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=22297/tid=22314] ppid=22294 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22297/task/22314/stat : 22314 (java) S 22294 22297 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 11004103 10060525568 20317 33554432000 1073741824 1073778376 140735625850544 140567092627704 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22297/tid=22315] ppid=22294 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22297/task/22315/stat : 22315 (java) S 22294 22297 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 11004103 10060525568 20317 33554432000 1073741824 1073778376 140735625850544 140567091575368 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22297/tid=22318] ppid=22294 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22297/task/22318/stat : 22318 (java) S 22294 22297 11533 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 11004127 10060525568 20317 33554432000 1073741824 1073778376 140735625850544 140567088416040 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.86
Current children cumulated vsize (KiB) 9824732

[startup+3.10097 s]
/proc/loadavg: 4.26 4.12 3.61 5/219 22325
/proc/meminfo: memFree=31425832/32872528 swapFree=162364/176672
[pid=22297] ppid=22294 vsize=9824732 CPUtime=5.81 cores=1,3,5,7
/proc/22297/stat : 22297 (java) S 22294 22297 11533 0 -1 4202496 22972 0 1 0 570 11 0 0 20 0 22 0 11004097 10060525568 37765 33554432000 1073741824 1073778376 140735625850544 140735625841680 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22297/statm: 2456183 37765 2269 9 0 2446860 0
[pid=22297/tid=22299] ppid=22294 vsize=9824732 CPUtime=0.28 cores=1,3,5,7
/proc/22297/task/22299/stat : 22299 (java) S 22294 22297 11533 0 -1 4202560 2432 0 1 0 27 1 0 0 20 0 22 0 11004098 10060525568 37765 33554432000 1073741824 1073778376 140735625850544 140567745434488 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22297/tid=22300] ppid=22294 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22297/task/22300/stat : 22300 (java) S 22294 22297 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 11004099 10060525568 37765 33554432000 1073741824 1073778376 140735625850544 140567706925992 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22297/tid=22301] ppid=22294 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22297/task/22301/stat : 22301 (java) S 22294 22297 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 11004099 10060525568 37765 33554432000 1073741824 1073778376 140735625850544 140567705873448 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22297/tid=22302] ppid=22294 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22297/task/22302/stat : 22302 (java) S 22294 22297 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 11004099 10060525568 37765 33554432000 1073741824 1073778376 140735625850544 140567704820392 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22297/tid=22303] ppid=22294 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22297/task/22303/stat : 22303 (java) S 22294 22297 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 11004099 10060525568 37765 33554432000 1073741824 1073778376 140735625850544 140567585483560 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22297/tid=22304] ppid=22294 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22297/task/22304/stat : 22304 (java) S 22294 22297 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 11004099 10060525568 37765 33554432000 1073741824 1073778376 140735625850544 140567584430504 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22297/tid=22305] ppid=22294 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22297/task/22305/stat : 22305 (java) S 22294 22297 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 11004099 10060525568 37765 33554432000 1073741824 1073778376 140735625850544 140567583377960 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22297/tid=22306] ppid=22294 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22297/task/22306/stat : 22306 (java) S 22294 22297 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 11004099 10060525568 37765 33554432000 1073741824 1073778376 140735625850544 140567582324904 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22297/tid=22307] ppid=22294 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22297/task/22307/stat : 22307 (java) S 22294 22297 11533 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 11004099 10060525568 37765 33554432000 1073741824 1073778376 140735625850544 140567581272360 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22297/tid=22308] ppid=22294 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22297/task/22308/stat : 22308 (java) S 22294 22297 11533 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 11004100 10060525568 37765 33554432000 1073741824 1073778376 140735625850544 140567098944360 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22297/tid=22309] ppid=22294 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22297/task/22309/stat : 22309 (java) S 22294 22297 11533 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 11004101 10060525568 37765 33554432000 1073741824 1073778376 140735625850544 140567097890680 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22297/tid=22310] ppid=22294 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22297/task/22310/stat : 22310 (java) S 22294 22297 11533 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 11004101 10060525568 37765 33554432000 1073741824 1073778376 140735625850544 140567096837512 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22297/tid=22311] ppid=22294 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22297/task/22311/stat : 22311 (java) S 22294 22297 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 11004103 10060525568 37765 33554432000 1073741824 1073778376 140735625850544 140567095786256 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22297/tid=22312] ppid=22294 vsize=9824732 CPUtime=0.89 cores=1,3,5,7
/proc/22297/task/22312/stat : 22312 (java) S 22294 22297 11533 0 -1 4202560 12075 0 0 0 85 4 0 0 20 0 22 0 11004103 10060525568 37765 33554432000 1073741824 1073778376 140735625850544 140567094733112 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22297/tid=22313] ppid=22294 vsize=9824732 CPUtime=0.83 cores=1,3,5,7
/proc/22297/task/22313/stat : 22313 (java) S 22294 22297 11533 0 -1 4202560 7049 0 0 0 83 0 0 0 20 0 22 0 11004103 10060525568 37765 33554432000 1073741824 1073778376 140735625850544 140567093680568 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22297/tid=22314] ppid=22294 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22297/task/22314/stat : 22314 (java) S 22294 22297 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 11004103 10060525568 37765 33554432000 1073741824 1073778376 140735625850544 140567092627704 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22297/tid=22315] ppid=22294 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22297/task/22315/stat : 22315 (java) S 22294 22297 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 11004103 10060525568 37765 33554432000 1073741824 1073778376 140735625850544 140567091575368 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22297/tid=22318] ppid=22294 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22297/task/22318/stat : 22318 (java) S 22294 22297 11533 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 11004127 10060525568 37765 33554432000 1073741824 1073778376 140735625850544 140567088416040 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22297/tid=22323] ppid=22294 vsize=9824732 CPUtime=1.75 cores=1,3,5,7
/proc/22297/task/22323/stat : 22323 (java) R 22294 22297 11533 0 -1 4202560 8 0 0 0 175 0 0 0 20 0 22 0 11004229 10060525568 37765 33554432000 1073741824 1073778376 140735625850544 140567090518408 140567586100884 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=22297/tid=22324] ppid=22294 vsize=9824732 CPUtime=1.76 cores=1,3,5,7
/proc/22297/task/22324/stat : 22324 (java) R 22294 22297 11533 0 -1 4202560 42 0 0 0 174 2 0 0 20 0 22 0 11004229 10060525568 37765 33554432000 1073741824 1073778376 140735625850544 140567089466568 140567586105901 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=22297/tid=22325] ppid=22294 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22297/task/22325/stat : 22325 (java) S 22294 22297 11533 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 11004230 10060525568 37765 33554432000 1073741824 1073778376 140735625850544 140567087363752 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 5.81
Current children cumulated vsize (KiB) 9824732

[startup+6.30105 s]
/proc/loadavg: 4.26 4.12 3.61 5/219 22325
/proc/meminfo: memFree=31352568/32872528 swapFree=162364/176672
[pid=22297] ppid=22294 vsize=9824732 CPUtime=12.29 cores=1,3,5,7
/proc/22297/stat : 22297 (java) S 22294 22297 11533 0 -1 4202496 23037 0 1 0 1216 13 0 0 20 0 22 0 11004097 10060525568 47268 33554432000 1073741824 1073778376 140735625850544 140735625841680 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22297/statm: 2456183 47268 2282 9 0 2446860 0
[pid=22297/tid=22299] ppid=22294 vsize=9824732 CPUtime=0.28 cores=1,3,5,7
/proc/22297/task/22299/stat : 22299 (java) S 22294 22297 11533 0 -1 4202560 2432 0 1 0 27 1 0 0 20 0 22 0 11004098 10060525568 47268 33554432000 1073741824 1073778376 140735625850544 140567745434488 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22297/tid=22300] ppid=22294 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22297/task/22300/stat : 22300 (java) S 22294 22297 11533 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 11004099 10060525568 47268 33554432000 1073741824 1073778376 140735625850544 140567706925992 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22297/tid=22301] ppid=22294 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22297/task/22301/stat : 22301 (java) S 22294 22297 11533 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 11004099 10060525568 47268 33554432000 1073741824 1073778376 140735625850544 140567705873448 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22297/tid=22302] ppid=22294 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22297/task/22302/stat : 22302 (java) S 22294 22297 11533 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 11004099 10060525568 47268 33554432000 1073741824 1073778376 140735625850544 140567704820392 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22297/tid=22303] ppid=22294 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/22297/task/22303/stat : 22303 (java) S 22294 22297 11533 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 22 0 11004099 10060525568 47268 33554432000 1073741824 1073778376 140735625850544 140567585483560 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22297/tid=22304] ppid=22294 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22297/task/22304/stat : 22304 (java) S 22294 22297 11533 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 11004099 10060525568 47268 33554432000 1073741824 1073778376 140735625850544 140567584430504 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22297/tid=22305] ppid=22294 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22297/task/22305/stat : 22305 (java) S 22294 22297 11533 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 11004099 10060525568 47268 33554432000 1073741824 1073778376 140735625850544 140567583377960 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22297/tid=22306] ppid=22294 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22297/task/22306/stat : 22306 (java) S 22294 22297 11533 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 11004099 10060525568 47268 33554432000 1073741824 1073778376 140735625850544 140567582324904 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22297/tid=22307] ppid=22294 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22297/task/22307/stat : 22307 (java) S 22294 22297 11533 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 11004099 10060525568 47268 33554432000 1073741824 1073778376 140735625850544 140567581272360 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22297/tid=22308] ppid=22294 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22297/task/22308/stat : 22308 (java) S 22294 22297 11533 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 11004100 10060525568 47268 33554432000 1073741824 1073778376 140735625850544 140567098944360 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22297/tid=22309] ppid=22294 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22297/task/22309/stat : 22309 (java) S 22294 22297 11533 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 11004101 10060525568 47268 33554432000 1073741824 1073778376 140735625850544 140567097890680 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22297/tid=22310] ppid=22294 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22297/task/22310/stat : 22310 (java) S 22294 22297 11533 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 11004101 10060525568 47268 33554432000 1073741824 1073778376 140735625850544 140567096837512 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22297/tid=22311] ppid=22294 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22297/task/22311/stat : 22311 (java) S 22294 22297 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 11004103 10060525568 47268 33554432000 1073741824 1073778376 140735625850544 140567095786256 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22297/tid=22312] ppid=22294 vsize=9824732 CPUtime=0.93 cores=1,3,5,7
/proc/22297/task/22312/stat : 22312 (java) S 22294 22297 11533 0 -1 4202560 12076 0 0 0 89 4 0 0 20 0 22 0 11004103 10060525568 47268 33554432000 1073741824 1073778376 140735625850544 140567094733112 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22297/tid=22313] ppid=22294 vsize=9824732 CPUtime=0.84 cores=1,3,5,7
/proc/22297/task/22313/stat : 22313 (java) S 22294 22297 11533 0 -1 4202560 7049 0 0 0 84 0 0 0 20 0 22 0 11004103 10060525568 47268 33554432000 1073741824 1073778376 140735625850544 140567093680568 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22297/tid=22314] ppid=22294 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22297/task/22314/stat : 22314 (java) S 22294 22297 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 11004103 10060525568 47268 33554432000 1073741824 1073778376 140735625850544 140567092627704 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22297/tid=22315] ppid=22294 vsize=9824732 CPUtime=0 cores=1,3,5,7

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


[startup+822.301 s]
/proc/loadavg: 4.02 4.00 3.82 5/219 22416
/proc/meminfo: memFree=30564424/32872528 swapFree=162364/176672
[pid=22297] ppid=22294 vsize=9824732 CPUtime=1647.85 cores=1,3,5,7
/proc/22297/stat : 22297 (java) S 22294 22297 11533 0 -1 4202496 42720 0 1 0 164617 168 0 0 20 0 22 0 11004097 10060525568 267494 33554432000 1073741824 1073778376 140735625850544 140735625841680 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22297/statm: 2456183 267494 2294 9 0 2446860 0
[pid=22297/tid=22299] ppid=22294 vsize=9824732 CPUtime=0.33 cores=1,3,5,7
/proc/22297/task/22299/stat : 22299 (java) S 22294 22297 11533 0 -1 4202560 2441 0 1 0 29 4 0 0 20 0 22 0 11004098 10060525568 267494 33554432000 1073741824 1073778376 140735625850544 140567745434488 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22297/tid=22300] ppid=22294 vsize=9824732 CPUtime=1.99 cores=1,3,5,7
/proc/22297/task/22300/stat : 22300 (java) S 22294 22297 11533 0 -1 4202560 2059 0 0 0 184 15 0 0 20 0 22 0 11004099 10060525568 267494 33554432000 1073741824 1073778376 140735625850544 140567706925992 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22297/tid=22301] ppid=22294 vsize=9824732 CPUtime=1.88 cores=1,3,5,7
/proc/22297/task/22301/stat : 22301 (java) S 22294 22297 11533 0 -1 4202560 1293 0 0 0 176 12 0 0 20 0 22 0 11004099 10060525568 267494 33554432000 1073741824 1073778376 140735625850544 140567705873448 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22297/tid=22302] ppid=22294 vsize=9824732 CPUtime=2.17 cores=1,3,5,7
/proc/22297/task/22302/stat : 22302 (java) S 22294 22297 11533 0 -1 4202560 1622 0 0 0 202 15 0 0 20 0 22 0 11004099 10060525568 267494 33554432000 1073741824 1073778376 140735625850544 140567704820392 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22297/tid=22303] ppid=22294 vsize=9824732 CPUtime=1.9 cores=1,3,5,7
/proc/22297/task/22303/stat : 22303 (java) S 22294 22297 11533 0 -1 4202560 1278 0 0 0 175 15 0 0 20 0 22 0 11004099 10060525568 267494 33554432000 1073741824 1073778376 140735625850544 140567585483560 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22297/tid=22304] ppid=22294 vsize=9824732 CPUtime=1.98 cores=1,3,5,7
/proc/22297/task/22304/stat : 22304 (java) S 22294 22297 11533 0 -1 4202560 1898 0 0 0 183 15 0 0 20 0 22 0 11004099 10060525568 267494 33554432000 1073741824 1073778376 140735625850544 140567584430504 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22297/tid=22305] ppid=22294 vsize=9824732 CPUtime=1.84 cores=1,3,5,7
/proc/22297/task/22305/stat : 22305 (java) S 22294 22297 11533 0 -1 4202560 1369 0 0 0 172 12 0 0 20 0 22 0 11004099 10060525568 267494 33554432000 1073741824 1073778376 140735625850544 140567583377960 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22297/tid=22306] ppid=22294 vsize=9824732 CPUtime=1.99 cores=1,3,5,7
/proc/22297/task/22306/stat : 22306 (java) S 22294 22297 11533 0 -1 4202560 2001 0 0 0 185 14 0 0 20 0 22 0 11004099 10060525568 267494 33554432000 1073741824 1073778376 140735625850544 140567582324904 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22297/tid=22307] ppid=22294 vsize=9824732 CPUtime=1.87 cores=1,3,5,7
/proc/22297/task/22307/stat : 22307 (java) S 22294 22297 11533 0 -1 4202560 1724 0 0 0 173 14 0 0 20 0 22 0 11004099 10060525568 267494 33554432000 1073741824 1073778376 140735625850544 140567581272360 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22297/tid=22308] ppid=22294 vsize=9824732 CPUtime=3.17 cores=1,3,5,7
/proc/22297/task/22308/stat : 22308 (java) S 22294 22297 11533 0 -1 4202560 1826 0 0 0 295 22 0 0 20 0 22 0 11004100 10060525568 267494 33554432000 1073741824 1073778376 140735625850544 140567098944360 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22297/tid=22309] ppid=22294 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22297/task/22309/stat : 22309 (java) S 22294 22297 11533 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 11004101 10060525568 267494 33554432000 1073741824 1073778376 140735625850544 140567097890680 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22297/tid=22310] ppid=22294 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22297/task/22310/stat : 22310 (java) S 22294 22297 11533 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 11004101 10060525568 267494 33554432000 1073741824 1073778376 140735625850544 140567096837512 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22297/tid=22311] ppid=22294 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22297/task/22311/stat : 22311 (java) S 22294 22297 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 11004103 10060525568 267494 33554432000 1073741824 1073778376 140735625850544 140567095786256 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22297/tid=22312] ppid=22294 vsize=9824732 CPUtime=1.16 cores=1,3,5,7
/proc/22297/task/22312/stat : 22312 (java) S 22294 22297 11533 0 -1 4202560 12080 0 0 0 112 4 0 0 20 0 22 0 11004103 10060525568 267494 33554432000 1073741824 1073778376 140735625850544 140567094733112 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22297/tid=22313] ppid=22294 vsize=9824732 CPUtime=1.05 cores=1,3,5,7
/proc/22297/task/22313/stat : 22313 (java) S 22294 22297 11533 0 -1 4202560 7061 0 0 0 105 0 0 0 20 0 22 0 11004103 10060525568 267494 33554432000 1073741824 1073778376 140735625850544 140567093680568 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22297/tid=22314] ppid=22294 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22297/task/22314/stat : 22314 (java) S 22294 22297 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 11004103 10060525568 267494 33554432000 1073741824 1073778376 140735625850544 140567092627704 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22297/tid=22315] ppid=22294 vsize=9824732 CPUtime=0.32 cores=1,3,5,7
/proc/22297/task/22315/stat : 22315 (java) S 22294 22297 11533 0 -1 4202560 47 0 0 0 12 20 0 0 20 0 22 0 11004103 10060525568 267494 33554432000 1073741824 1073778376 140735625850544 140567091575368 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22297/tid=22318] ppid=22294 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22297/task/22318/stat : 22318 (java) S 22294 22297 11533 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 11004127 10060525568 267494 33554432000 1073741824 1073778376 140735625850544 140567088416040 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22297/tid=22323] ppid=22294 vsize=9824732 CPUtime=813.14 cores=1,3,5,7
/proc/22297/task/22323/stat : 22323 (java) R 22294 22297 11533 0 -1 4202560 410 0 0 0 81299 15 0 0 20 0 22 0 11004229 10060525568 267494 33554432000 1073741824 1073778376 140735625850544 140567090519360 140567586084307 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=22297/tid=22324] ppid=22294 vsize=9824732 CPUtime=813.17 cores=1,3,5,7
/proc/22297/task/22324/stat : 22324 (java) R 22294 22297 11533 0 -1 4202560 4257 0 0 0 81300 17 0 0 20 0 22 0 11004229 10060525568 267494 33554432000 1073741824 1073778376 140735625850544 140567089466448 140567586106346 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22297/tid=22325] ppid=22294 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22297/task/22325/stat : 22325 (java) S 22294 22297 11533 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 11004230 10060525568 267494 33554432000 1073741824 1073778376 140735625850544 140567087363752 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1647.85
Current children cumulated vsize (KiB) 9824732

[startup+882.308 s]
/proc/loadavg: 4.00 4.00 3.82 5/220 22420
/proc/meminfo: memFree=30406160/32872528 swapFree=162364/176672
[pid=22297] ppid=22294 vsize=9824732 CPUtime=1767.03 cores=1,3,5,7
/proc/22297/stat : 22297 (java) S 22294 22297 11533 0 -1 4202496 43188 0 1 0 176525 178 0 0 20 0 22 0 11004097 10060525568 289039 33554432000 1073741824 1073778376 140735625850544 140735625841680 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22297/statm: 2456183 289039 2294 9 0 2446860 0
[pid=22297/tid=22299] ppid=22294 vsize=9824732 CPUtime=0.33 cores=1,3,5,7
/proc/22297/task/22299/stat : 22299 (java) S 22294 22297 11533 0 -1 4202560 2442 0 1 0 29 4 0 0 20 0 22 0 11004098 10060525568 289039 33554432000 1073741824 1073778376 140735625850544 140567745434488 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22297/tid=22300] ppid=22294 vsize=9824732 CPUtime=2.14 cores=1,3,5,7
/proc/22297/task/22300/stat : 22300 (java) S 22294 22297 11533 0 -1 4202560 2084 0 0 0 198 16 0 0 20 0 22 0 11004099 10060525568 289039 33554432000 1073741824 1073778376 140735625850544 140567706925992 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22297/tid=22301] ppid=22294 vsize=9824732 CPUtime=1.97 cores=1,3,5,7
/proc/22297/task/22301/stat : 22301 (java) S 22294 22297 11533 0 -1 4202560 1396 0 0 0 184 13 0 0 20 0 22 0 11004099 10060525568 289039 33554432000 1073741824 1073778376 140735625850544 140567705873448 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22297/tid=22302] ppid=22294 vsize=9824732 CPUtime=2.28 cores=1,3,5,7
/proc/22297/task/22302/stat : 22302 (java) S 22294 22297 11533 0 -1 4202560 1641 0 0 0 212 16 0 0 20 0 22 0 11004099 10060525568 289039 33554432000 1073741824 1073778376 140735625850544 140567704820392 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22297/tid=22303] ppid=22294 vsize=9824732 CPUtime=1.98 cores=1,3,5,7
/proc/22297/task/22303/stat : 22303 (java) S 22294 22297 11533 0 -1 4202560 1283 0 0 0 182 16 0 0 20 0 22 0 11004099 10060525568 289039 33554432000 1073741824 1073778376 140735625850544 140567585483560 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22297/tid=22304] ppid=22294 vsize=9824732 CPUtime=2.13 cores=1,3,5,7
/proc/22297/task/22304/stat : 22304 (java) S 22294 22297 11533 0 -1 4202560 1916 0 0 0 197 16 0 0 20 0 22 0 11004099 10060525568 289039 33554432000 1073741824 1073778376 140735625850544 140567584430504 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22297/tid=22305] ppid=22294 vsize=9824732 CPUtime=1.99 cores=1,3,5,7
/proc/22297/task/22305/stat : 22305 (java) S 22294 22297 11533 0 -1 4202560 1394 0 0 0 185 14 0 0 20 0 22 0 11004099 10060525568 289039 33554432000 1073741824 1073778376 140735625850544 140567583377960 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22297/tid=22306] ppid=22294 vsize=9824732 CPUtime=2.09 cores=1,3,5,7
/proc/22297/task/22306/stat : 22306 (java) S 22294 22297 11533 0 -1 4202560 2017 0 0 0 194 15 0 0 20 0 22 0 11004099 10060525568 289039 33554432000 1073741824 1073778376 140735625850544 140567582324904 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22297/tid=22307] ppid=22294 vsize=9824732 CPUtime=1.96 cores=1,3,5,7
/proc/22297/task/22307/stat : 22307 (java) S 22294 22297 11533 0 -1 4202560 1732 0 0 0 182 14 0 0 20 0 22 0 11004099 10060525568 289039 33554432000 1073741824 1073778376 140735625850544 140567581272360 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22297/tid=22308] ppid=22294 vsize=9824732 CPUtime=4.41 cores=1,3,5,7
/proc/22297/task/22308/stat : 22308 (java) S 22294 22297 11533 0 -1 4202560 2063 0 0 0 419 22 0 0 20 0 22 0 11004100 10060525568 289039 33554432000 1073741824 1073778376 140735625850544 140567098944360 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22297/tid=22309] ppid=22294 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22297/task/22309/stat : 22309 (java) S 22294 22297 11533 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 11004101 10060525568 289039 33554432000 1073741824 1073778376 140735625850544 140567097890680 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22297/tid=22310] ppid=22294 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22297/task/22310/stat : 22310 (java) S 22294 22297 11533 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 11004101 10060525568 289039 33554432000 1073741824 1073778376 140735625850544 140567096837512 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22297/tid=22311] ppid=22294 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22297/task/22311/stat : 22311 (java) S 22294 22297 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 11004103 10060525568 289039 33554432000 1073741824 1073778376 140735625850544 140567095786256 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22297/tid=22312] ppid=22294 vsize=9824732 CPUtime=1.16 cores=1,3,5,7
/proc/22297/task/22312/stat : 22312 (java) S 22294 22297 11533 0 -1 4202560 12080 0 0 0 112 4 0 0 20 0 22 0 11004103 10060525568 289039 33554432000 1073741824 1073778376 140735625850544 140567094733112 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22297/tid=22313] ppid=22294 vsize=9824732 CPUtime=1.05 cores=1,3,5,7
/proc/22297/task/22313/stat : 22313 (java) S 22294 22297 11533 0 -1 4202560 7062 0 0 0 105 0 0 0 20 0 22 0 11004103 10060525568 289039 33554432000 1073741824 1073778376 140735625850544 140567093680568 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22297/tid=22314] ppid=22294 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22297/task/22314/stat : 22314 (java) S 22294 22297 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 11004103 10060525568 289039 33554432000 1073741824 1073778376 140735625850544 140567092627704 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22297/tid=22315] ppid=22294 vsize=9824732 CPUtime=0.34 cores=1,3,5,7
/proc/22297/task/22315/stat : 22315 (java) S 22294 22297 11533 0 -1 4202560 51 0 0 0 13 21 0 0 20 0 22 0 11004103 10060525568 289039 33554432000 1073741824 1073778376 140735625850544 140567091575368 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22297/tid=22318] ppid=22294 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22297/task/22318/stat : 22318 (java) S 22294 22297 11533 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 11004127 10060525568 289039 33554432000 1073741824 1073778376 140735625850544 140567088416040 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22297/tid=22323] ppid=22294 vsize=9824732 CPUtime=871.66 cores=1,3,5,7
/proc/22297/task/22323/stat : 22323 (java) R 22294 22297 11533 0 -1 4202560 413 0 0 0 87150 16 0 0 20 0 22 0 11004229 10060525568 289039 33554432000 1073741824 1073778376 140735625850544 140567090511632 140567586071460 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=22297/tid=22324] ppid=22294 vsize=9824732 CPUtime=871.69 cores=1,3,5,7
/proc/22297/task/22324/stat : 22324 (java) R 22294 22297 11533 0 -1 4202560 4260 0 0 0 87151 18 0 0 20 0 22 0 11004229 10060525568 289039 33554432000 1073741824 1073778376 140735625850544 140567089467344 140567586105901 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=22297/tid=22325] ppid=22294 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22297/task/22325/stat : 22325 (java) S 22294 22297 11533 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 11004230 10060525568 289039 33554432000 1073741824 1073778376 140735625850544 140567087363752 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1767.03
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+898.808 s]
/proc/loadavg: 4.00 4.00 3.83 5/220 22420
/proc/meminfo: memFree=30405844/32872528 swapFree=162364/176672
[pid=22297] ppid=22294 vsize=9824732 CPUtime=1800.19 cores=1,3,5,7
/proc/22297/stat : 22297 (java) S 22294 22297 11533 0 -1 4202496 43192 0 1 0 179841 178 0 0 20 0 22 0 11004097 10060525568 287261 33554432000 1073741824 1073778376 140735625850544 140735625841680 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22297/statm: 2456183 287261 2294 9 0 2446860 0
[pid=22297/tid=22299] ppid=22294 vsize=9824732 CPUtime=0.33 cores=1,3,5,7
/proc/22297/task/22299/stat : 22299 (java) S 22294 22297 11533 0 -1 4202560 2442 0 1 0 29 4 0 0 20 0 22 0 11004098 10060525568 287261 33554432000 1073741824 1073778376 140735625850544 140567745434488 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22297/tid=22300] ppid=22294 vsize=9824732 CPUtime=2.16 cores=1,3,5,7
/proc/22297/task/22300/stat : 22300 (java) S 22294 22297 11533 0 -1 4202560 2084 0 0 0 200 16 0 0 20 0 22 0 11004099 10060525568 287261 33554432000 1073741824 1073778376 140735625850544 140567706925992 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22297/tid=22301] ppid=22294 vsize=9824732 CPUtime=2.03 cores=1,3,5,7
/proc/22297/task/22301/stat : 22301 (java) S 22294 22297 11533 0 -1 4202560 1396 0 0 0 190 13 0 0 20 0 22 0 11004099 10060525568 287261 33554432000 1073741824 1073778376 140735625850544 140567705873448 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22297/tid=22302] ppid=22294 vsize=9824732 CPUtime=2.32 cores=1,3,5,7
/proc/22297/task/22302/stat : 22302 (java) S 22294 22297 11533 0 -1 4202560 1641 0 0 0 216 16 0 0 20 0 22 0 11004099 10060525568 287261 33554432000 1073741824 1073778376 140735625850544 140567704820392 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22297/tid=22303] ppid=22294 vsize=9824732 CPUtime=2.04 cores=1,3,5,7
/proc/22297/task/22303/stat : 22303 (java) S 22294 22297 11533 0 -1 4202560 1283 0 0 0 188 16 0 0 20 0 22 0 11004099 10060525568 287261 33554432000 1073741824 1073778376 140735625850544 140567585483560 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22297/tid=22304] ppid=22294 vsize=9824732 CPUtime=2.15 cores=1,3,5,7
/proc/22297/task/22304/stat : 22304 (java) S 22294 22297 11533 0 -1 4202560 1916 0 0 0 199 16 0 0 20 0 22 0 11004099 10060525568 287261 33554432000 1073741824 1073778376 140735625850544 140567584430504 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22297/tid=22305] ppid=22294 vsize=9824732 CPUtime=2.02 cores=1,3,5,7
/proc/22297/task/22305/stat : 22305 (java) S 22294 22297 11533 0 -1 4202560 1394 0 0 0 188 14 0 0 20 0 22 0 11004099 10060525568 287261 33554432000 1073741824 1073778376 140735625850544 140567583377960 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22297/tid=22306] ppid=22294 vsize=9824732 CPUtime=2.12 cores=1,3,5,7
/proc/22297/task/22306/stat : 22306 (java) S 22294 22297 11533 0 -1 4202560 2017 0 0 0 197 15 0 0 20 0 22 0 11004099 10060525568 287261 33554432000 1073741824 1073778376 140735625850544 140567582324904 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22297/tid=22307] ppid=22294 vsize=9824732 CPUtime=2.02 cores=1,3,5,7
/proc/22297/task/22307/stat : 22307 (java) S 22294 22297 11533 0 -1 4202560 1732 0 0 0 188 14 0 0 20 0 22 0 11004099 10060525568 287261 33554432000 1073741824 1073778376 140735625850544 140567581272360 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22297/tid=22308] ppid=22294 vsize=9824732 CPUtime=4.41 cores=1,3,5,7
/proc/22297/task/22308/stat : 22308 (java) S 22294 22297 11533 0 -1 4202560 2064 0 0 0 419 22 0 0 20 0 22 0 11004100 10060525568 287261 33554432000 1073741824 1073778376 140735625850544 140567098944360 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22297/tid=22309] ppid=22294 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22297/task/22309/stat : 22309 (java) S 22294 22297 11533 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 11004101 10060525568 287261 33554432000 1073741824 1073778376 140735625850544 140567097890680 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22297/tid=22310] ppid=22294 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22297/task/22310/stat : 22310 (java) S 22294 22297 11533 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 11004101 10060525568 287261 33554432000 1073741824 1073778376 140735625850544 140567096837512 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22297/tid=22311] ppid=22294 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22297/task/22311/stat : 22311 (java) S 22294 22297 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 11004103 10060525568 287261 33554432000 1073741824 1073778376 140735625850544 140567095786256 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22297/tid=22312] ppid=22294 vsize=9824732 CPUtime=1.16 cores=1,3,5,7
/proc/22297/task/22312/stat : 22312 (java) S 22294 22297 11533 0 -1 4202560 12080 0 0 0 112 4 0 0 20 0 22 0 11004103 10060525568 287261 33554432000 1073741824 1073778376 140735625850544 140567094733112 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22297/tid=22313] ppid=22294 vsize=9824732 CPUtime=1.05 cores=1,3,5,7
/proc/22297/task/22313/stat : 22313 (java) S 22294 22297 11533 0 -1 4202560 7063 0 0 0 105 0 0 0 20 0 22 0 11004103 10060525568 287261 33554432000 1073741824 1073778376 140735625850544 140567093680568 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22297/tid=22314] ppid=22294 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22297/task/22314/stat : 22314 (java) S 22294 22297 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 11004103 10060525568 287261 33554432000 1073741824 1073778376 140735625850544 140567092627704 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22297/tid=22315] ppid=22294 vsize=9824732 CPUtime=0.35 cores=1,3,5,7
/proc/22297/task/22315/stat : 22315 (java) S 22294 22297 11533 0 -1 4202560 51 0 0 0 13 22 0 0 20 0 22 0 11004103 10060525568 287261 33554432000 1073741824 1073778376 140735625850544 140567091575368 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22297/tid=22318] ppid=22294 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22297/task/22318/stat : 22318 (java) S 22294 22297 11533 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 11004127 10060525568 287261 33554432000 1073741824 1073778376 140735625850544 140567088416040 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22297/tid=22323] ppid=22294 vsize=9824732 CPUtime=888.07 cores=1,3,5,7
/proc/22297/task/22323/stat : 22323 (java) R 22294 22297 11533 0 -1 4202560 414 0 0 0 88791 16 0 0 20 0 22 0 11004229 10060525568 287261 33554432000 1073741824 1073778376 140735625850544 140567090519408 140567586071460 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=22297/tid=22324] ppid=22294 vsize=9824732 CPUtime=888.1 cores=1,3,5,7
/proc/22297/task/22324/stat : 22324 (java) R 22294 22297 11533 0 -1 4202560 4261 0 0 0 88791 19 0 0 20 0 22 0 11004229 10060525568 287261 33554432000 1073741824 1073778376 140735625850544 140567089466224 140567586106328 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22297/tid=22325] ppid=22294 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22297/task/22325/stat : 22325 (java) S 22294 22297 11533 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 11004230 10060525568 287261 33554432000 1073741824 1073778376 140735625850544 140567087363752 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.19
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 22297 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 898.864
CPU time (s): 1800.96
CPU user time (s): 1798.68
CPU system time (s): 2.28165
CPU usage (%): 200.359
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.68
system time used= 2.28165
maximum resident set size= 1157200
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43234
page faults= 1
swaps= 0
block input operations= 0
block output operations= 960
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 29738
involuntary context switches= 37515

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.75182 second user time and 5.62514 second system time

The end

Launcher Data 

Begin job on node105 at 2016-06-16 17:05:42
IDJOB=4091893
IDBENCH=79498
IDSOLVER=2552
FILE ID=node105/4091893-1466089542
RUNJOBID= node105-1466074085-13483
PBS_JOBID= 19904027
Free space on /tmp= 71748 MiB

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

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

MD5SUM BENCH= 6884eb16d9ca5647137a605a0e2a2e0d
RANDOM SEED=993889133

node105.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        31536200 kB
Buffers:           33076 kB
Cached:            64416 kB
SwapCached:         1468 kB
Active:           386856 kB
Inactive:          63772 kB
Active(anon):     353352 kB
Inactive(anon):     1624 kB
Active(file):      33504 kB
Inactive(file):    62148 kB
Unevictable:      176672 kB
Mlocked:          162364 kB
SwapTotal:      67108856 kB
SwapFree:       67097208 kB
Dirty:               908 kB
Writeback:             4 kB
AnonPages:        540128 kB
Mapped:            15280 kB
Shmem:                 0 kB
Slab:             566952 kB
SReclaimable:      10656 kB
SUnreclaim:       556296 kB
KernelStack:        1624 kB
PageTables:         5532 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     877268 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    348160 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71748 MiB
End job on node105 at 2016-06-16 17:20:41