Trace number 4090485

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 Resolution PB16MSAT (TO) 1800.88 1795.44

General information on the benchmark

Name/PARTIAL-BIGINT-LIN/wcsp/spot5/
normalized-spot5-42_wcsp.wbo
MD5SUM2650719d8056982b79efe8547fa4e1ef
Bench CategoryPARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark155050
Best CPU time to get the best result obtained on this benchmark1.10783
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables494
Total number of constraints2206
Number of soft constraints2016
Number of constraints which are clauses2016
Number of constraints which are cardinality constraints (but not clauses)190
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint4
Top cost 263118
Min constraint cost 1
Max constraint cost 263118
Sum of constraints costs 480716585
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 5
Number of bits of the biggest sum of numbers3
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.11	c Pseudo Boolean Optimization by upper bound
0.09/0.11	c --- Begin Solver configuration ---
0.09/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.09/0.11	c Learn all clauses as in MiniSAT
0.09/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.11	c No reason simplification
0.09/0.11	c Glucose 2.1 dynamic restart strategy
0.09/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.09/0.11	c timeout=2147483s
0.09/0.11	c DB Simplification allowed=false
0.09/0.11	c Listener: org.sat4j.minisat.core.VoidTracing@7c64dc11
0.09/0.11	c --- End Solver configuration ---
0.09/0.11	c solving HOME/instance-4090485-1466072194.wbo
0.09/0.11	c reading problem ... 
0.24/0.27	c ... done. Wall clock time 0.159s.
0.24/0.27	c declared #vars     494
0.24/0.27	c internal #vars     2510
0.24/0.27	c #constraints  2396
0.24/0.27	c constraints type 
0.24/0.27	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1883
0.24/0.27	c org.sat4j.minisat.constraints.card.MinWatchCard => 57
0.24/0.27	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 456
0.24/0.27	c 2396 constraints processed.
0.24/0.27	c objective function length is 2016 literals
0.68/0.40	c SATISFIABLE
0.68/0.40	c OPTIMIZING...
0.68/0.40	c Got one! Elapsed wall clock time (in seconds):0.283
0.68/0.40	o 181065
0.68/0.46	c Got one! Elapsed wall clock time (in seconds):0.351
0.68/0.46	o 181064
0.68/0.49	c Got one! Elapsed wall clock time (in seconds):0.376
0.68/0.49	o 181055
0.94/0.50	c Got one! Elapsed wall clock time (in seconds):0.387
0.94/0.50	o 177055
0.94/0.54	c Got one! Elapsed wall clock time (in seconds):0.428
0.94/0.54	o 177050
0.94/0.55	c Got one! Elapsed wall clock time (in seconds):0.438
0.94/0.55	o 175055
1.72/1.10	c cleaning 2847 clauses out of 5706 with flag 14044/5706
2.78/2.02	c cleaning 4430 clauses out of 8861 with flag 41509/11708
3.48/2.74	c cleaning 5714 clauses out of 11430 with flag 67545/18707
3.88/3.11	c Got one! Elapsed wall clock time (in seconds):2.992
3.88/3.11	o 175053
3.88/3.11	c Got one! Elapsed wall clock time (in seconds):3.0
3.88/3.11	o 172055
3.88/3.13	c Got one! Elapsed wall clock time (in seconds):3.021
3.88/3.13	o 172050
4.13/3.35	c cleaning 5778 clauses out of 11555 with flag 4138/24546
4.75/3.91	c cleaning 5890 clauses out of 11779 with flag 16413/30548
5.46/4.64	c cleaning 6438 clauses out of 12886 with flag 30814/37545
6.26/5.46	c cleaning 7222 clauses out of 14450 with flag 47200/45547
7.15/6.32	c cleaning 8110 clauses out of 16229 with flag 65558/54548
8.16/7.35	c cleaning 9056 clauses out of 18116 with flag 85940/64545
9.26/8.46	c cleaning 10027 clauses out of 20062 with flag 112035/75547
10.56/9.70	c cleaning 11017 clauses out of 22034 with flag 147837/87546
11.87/11.08	c cleaning 12008 clauses out of 24017 with flag 186579/100546
13.56/12.71	c cleaning 13001 clauses out of 26008 with flag 225839/114545
15.05/14.26	c cleaning 14000 clauses out of 28007 with flag 256419/129545
16.85/16.00	c cleaning 14997 clauses out of 30007 with flag 289117/145545
18.95/18.10	c cleaning 16003 clauses out of 32010 with flag 328026/162545
20.86/20.08	c cleaning 17003 clauses out of 34007 with flag 398614/180545
22.98/22.19	c cleaning 18003 clauses out of 36005 with flag 473198/199546
25.28/24.40	c cleaning 18997 clauses out of 38001 with flag 550739/219545
27.58/26.77	c cleaning 19997 clauses out of 40006 with flag 628968/240547
30.98/30.11	c cleaning 20997 clauses out of 42007 with flag 716572/262545
34.98/34.11	c cleaning 22000 clauses out of 44010 with flag 797537/285545
38.28/37.45	c cleaning 23001 clauses out of 46012 with flag 864455/309547
41.87/41.09	c cleaning 24003 clauses out of 48009 with flag 936576/334545
45.47/44.69	c cleaning 24998 clauses out of 50006 with flag 1011514/360545
49.28/48.41	c cleaning 25998 clauses out of 52009 with flag 1087777/387546
52.84/51.92	c cleaning 27004 clauses out of 54011 with flag 1177566/415546
56.64/55.79	c cleaning 27997 clauses out of 56006 with flag 1283165/444545
60.54/59.63	c cleaning 29000 clauses out of 58009 with flag 1396201/474545
64.64/63.74	c cleaning 30004 clauses out of 60009 with flag 1523476/505545
69.15/68.27	c cleaning 30996 clauses out of 62005 with flag 1647750/537545
74.04/73.12	c cleaning 32001 clauses out of 64009 with flag 1761851/570545
79.05/78.16	c cleaning 33001 clauses out of 66009 with flag 1878587/604546
84.50/83.51	c cleaning 33995 clauses out of 68008 with flag 1992883/639546
89.90/88.91	c cleaning 35002 clauses out of 70012 with flag 2110607/675545
95.50/94.55	c cleaning 36004 clauses out of 72012 with flag 2227548/712547
101.00/100.04	c cleaning 37003 clauses out of 74007 with flag 2362424/750546
106.30/105.39	c cleaning 38000 clauses out of 76003 with flag 2490619/789545
111.53/110.42	c cleaning 38998 clauses out of 78004 with flag 2605788/829546
117.03/115.99	c cleaning 39994 clauses out of 80006 with flag 2735236/870546
122.44/121.34	c cleaning 41004 clauses out of 82011 with flag 2863924/912545
128.34/127.21	c cleaning 42002 clauses out of 84008 with flag 3000894/955546
134.14/133.09	c cleaning 42998 clauses out of 86005 with flag 3141437/999545
141.03/139.92	c cleaning 44005 clauses out of 88011 with flag 3286435/1044549
148.57/147.30	c cleaning 44996 clauses out of 90002 with flag 3432388/1090545
156.57/155.31	c cleaning 46002 clauses out of 92006 with flag 3589122/1137545
164.77/163.56	c cleaning 46998 clauses out of 94005 with flag 3740573/1185546
173.37/172.19	c cleaning 47999 clauses out of 96007 with flag 3897141/1234546
182.53/181.16	c cleaning 49001 clauses out of 98007 with flag 4054445/1284545
191.43/190.04	c cleaning 49997 clauses out of 100006 with flag 4222501/1335545
201.33/199.90	c cleaning 51001 clauses out of 102009 with flag 4389040/1387545
210.83/209.49	c cleaning 51997 clauses out of 104010 with flag 4564347/1440547
220.95/219.44	c cleaning 53002 clauses out of 106012 with flag 4737506/1494546
230.27/228.72	c cleaning 54000 clauses out of 108009 with flag 4920541/1549545
240.87/239.32	c cleaning 54997 clauses out of 110009 with flag 5105788/1605545
251.68/250.15	c cleaning 55999 clauses out of 112012 with flag 5292237/1662545
263.67/262.03	c cleaning 56998 clauses out of 114014 with flag 5480645/1720546
275.36/273.74	c cleaning 58002 clauses out of 116016 with flag 5671412/1779546
286.76/285.10	c cleaning 59001 clauses out of 118014 with flag 5868294/1839546
299.39/297.65	c cleaning 60002 clauses out of 120013 with flag 6068458/1900546
312.19/310.48	c cleaning 61000 clauses out of 122010 with flag 6273572/1962545
325.09/323.40	c cleaning 62003 clauses out of 124010 with flag 6477509/2025545
339.51/337.65	c cleaning 63003 clauses out of 126008 with flag 6681981/2089546
354.40/352.57	c cleaning 64001 clauses out of 128005 with flag 6892573/2154546
369.20/367.38	c cleaning 65001 clauses out of 130004 with flag 7106481/2220546
384.93/382.91	c cleaning 65992 clauses out of 132002 with flag 7323505/2287545
400.62/398.63	c cleaning 67002 clauses out of 134011 with flag 7540948/2355546
415.42/413.46	c cleaning 67998 clauses out of 136008 with flag 7753998/2424545
431.10/429.06	c cleaning 68999 clauses out of 138010 with flag 7971963/2494545
446.29/444.21	c cleaning 70001 clauses out of 140011 with flag 8193933/2565545
462.68/460.52	c cleaning 70999 clauses out of 142010 with flag 8418196/2637545
479.38/477.25	c cleaning 72003 clauses out of 144012 with flag 8648638/2710546
496.68/494.52	c cleaning 72996 clauses out of 146008 with flag 8892451/2784545
515.94/513.78	c cleaning 73998 clauses out of 148012 with flag 9126649/2859545
533.73/531.51	c cleaning 74999 clauses out of 150014 with flag 9364789/2935545
552.44/550.12	c cleaning 76003 clauses out of 152015 with flag 9602166/3012545
572.93/570.66	c cleaning 77005 clauses out of 154012 with flag 9850844/3090545
593.94/591.51	c cleaning 78003 clauses out of 156007 with flag 10089142/3169545
611.05/608.64	c cleaning 78992 clauses out of 158004 with flag 10341684/3249545
629.41/626.98	c cleaning 80004 clauses out of 160012 with flag 10594414/3330545
646.90/644.49	c cleaning 81001 clauses out of 162010 with flag 10846282/3412547
668.49/665.94	c cleaning 81998 clauses out of 164007 with flag 11112002/3495545
689.00/686.46	c cleaning 82997 clauses out of 166010 with flag 11377623/3579546
710.69/708.05	c cleaning 84001 clauses out of 168012 with flag 11653019/3664545
732.98/730.32	c cleaning 84997 clauses out of 170012 with flag 11954123/3750546
757.61/754.88	c cleaning 86005 clauses out of 172015 with flag 12294516/3837546
782.60/779.86	c cleaning 87003 clauses out of 174010 with flag 12618680/3925546
805.16/802.34	c cleaning 87997 clauses out of 176006 with flag 12931824/4014545
826.55/823.68	c cleaning 89001 clauses out of 178011 with flag 13244861/4104547
851.05/848.16	c cleaning 89998 clauses out of 180008 with flag 13559053/4195545
875.90/872.94	c cleaning 90997 clauses out of 182010 with flag 13877025/4287545
898.79/895.79	c cleaning 92001 clauses out of 184014 with flag 14198924/4380546
923.39/920.35	c cleaning 93003 clauses out of 186014 with flag 14532992/4474547
946.77/943.64	c cleaning 94003 clauses out of 188010 with flag 14864847/4569546
975.58/972.30	c cleaning 94997 clauses out of 190006 with flag 15229155/4665545
1003.99/1000.72	c cleaning 96002 clauses out of 192009 with flag 15607779/4762545
1029.92/1026.69	c cleaning 97002 clauses out of 194007 with flag 15931346/4860545
1055.62/1052.28	c cleaning 97999 clauses out of 196005 with flag 16269938/4959545
1084.21/1080.71	c cleaning 98996 clauses out of 198006 with flag 16644646/5059545
1112.70/1109.23	c cleaning 100003 clauses out of 200010 with flag 17062900/5160545
1140.40/1136.83	c cleaning 101000 clauses out of 202008 with flag 17413847/5262546
1169.43/1165.87	c cleaning 102002 clauses out of 204008 with flag 17762988/5365546
1198.71/1195.10	c cleaning 102999 clauses out of 206005 with flag 18124843/5469545
1229.70/1225.97	c cleaning 103994 clauses out of 208007 with flag 18491472/5574546
1261.30/1257.44	c cleaning 105001 clauses out of 210012 with flag 18864088/5680545
1296.30/1292.50	c cleaning 105999 clauses out of 212011 with flag 19235499/5787545
1333.52/1329.61	c cleaning 107004 clauses out of 214012 with flag 19609417/5895545
1368.35/1364.47	c cleaning 108000 clauses out of 216008 with flag 19981840/6004545
1405.97/1402.09	c cleaning 109002 clauses out of 218008 with flag 20362489/6114545
1444.55/1440.56	c cleaning 109999 clauses out of 220006 with flag 20752712/6225545
1486.14/1482.09	c cleaning 110997 clauses out of 222008 with flag 21138222/6337546
1529.61/1525.46	c cleaning 112000 clauses out of 224010 with flag 21531440/6450545
1575.29/1571.02	c cleaning 113000 clauses out of 226011 with flag 21925609/6564546
1625.66/1621.37	c cleaning 114002 clauses out of 228010 with flag 22319362/6679545
1676.21/1671.85	c cleaning 114998 clauses out of 230008 with flag 22709908/6795545
1733.94/1729.43	c cleaning 115998 clauses out of 232010 with flag 23112564/6912545
1791.92/1787.35	c cleaning 117006 clauses out of 234012 with flag 23516548/7030545
1800.01/1795.40	c starts		: 9862
1800.01/1795.40	c conflicts		: 7057933
1800.01/1795.40	c decisions		: 12797445
1800.01/1795.40	c propagations		: 462761165
1800.01/1795.40	c inspects		: 28685929738
1800.01/1795.40	c shortcuts		: 0
1800.01/1795.40	c learnt literals	: 0
1800.01/1795.40	c learnt binary clauses	: 0
1800.01/1795.40	c learnt ternary clauses	: 0
1800.01/1795.40	c learnt constraints	: 7057933
1800.01/1795.40	c ignored constraints	: 0
1800.01/1795.40	c root simplifications	: 0
1800.01/1795.40	c removed literals (reason simplification)	: 0
1800.01/1795.40	c reason swapping (by a shorter reason)	: 0
1800.01/1795.40	c Calls to reduceDB	: 117
1800.01/1795.40	c Number of update (reduction) of LBD	: 570544
1800.01/1795.40	c Imported unit clauses	: 0
1800.01/1795.40	c number of reductions to clauses (during analyze)	: 0
1800.01/1795.40	c number of learned constraints concerned by reduction	: 0
1800.01/1795.40	c number of learning phase by resolution	: 0
1800.01/1795.40	c number of learning phase by cutting planes	: 0
1800.01/1795.40	c speed (assignments/second)	: 257788.57279099606
1800.01/1795.40	c non guided choices	140
1800.01/1795.43	c learnt constraints type 
1800.01/1795.43	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 144394
1800.01/1795.43	s SATISFIABLE
1800.01/1795.43	c Found 9 solution(s)
1800.01/1795.43	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 
1800.01/1795.43	c objective function=172050
1800.01/1795.43	c Total wall clock time (in seconds): 1795.316

Verifier Data 

OK	172050

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

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

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


[startup+0 s]
/proc/loadavg: 2.07 2.02 2.00 3/194 13285
/proc/meminfo: memFree=31150900/32872528 swapFree=162364/176672
[pid=13285] ppid=13282 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/13285/stat : 13285 (java) R 13282 13285 11533 0 -1 4202496 492 0 0 0 0 0 0 0 20 0 1 0 9269303 9515008 146 33554432000 1073741824 1073778376 140733994518736 140733994515864 224922138880 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13285/statm: 2323 150 110 9 0 71 0

[startup+0.10018 s]
/proc/loadavg: 2.07 2.02 2.00 3/194 13285
/proc/meminfo: memFree=31150900/32872528 swapFree=162364/176672
[pid=13285] ppid=13282 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/13285/stat : 13285 (java) S 13282 13285 11533 0 -1 4202496 4414 0 1 0 8 1 0 0 20 0 18 0 9269303 9787879424 6043 33554432000 1073741824 1073778376 140733994518736 140733994509872 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13285/statm: 2389619 6043 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200278 s]
/proc/loadavg: 2.07 2.02 2.00 3/194 13285
/proc/meminfo: memFree=31150900/32872528 swapFree=162364/176672
[pid=13285] ppid=13282 vsize=9558476 CPUtime=0.24 cores=1,3,5,7
/proc/13285/stat : 13285 (java) S 13282 13285 11533 0 -1 4202496 4766 0 1 0 23 1 0 0 20 0 18 0 9269303 9787879424 6840 33554432000 1073741824 1073778376 140733994518736 140733994509872 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13285/statm: 2389619 6840 2201 9 0 2380296 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 9558476

[startup+0.300295 s]
/proc/loadavg: 2.07 2.02 2.00 3/194 13285
/proc/meminfo: memFree=31150900/32872528 swapFree=162364/176672
[pid=13285] ppid=13282 vsize=9625040 CPUtime=0.44 cores=1,3,5,7
/proc/13285/stat : 13285 (java) S 13282 13285 11533 0 -1 4202496 5105 0 1 0 42 2 0 0 20 0 19 0 9269303 9856040960 8025 33554432000 1073741824 1073778376 140733994518736 140733994509872 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13285/statm: 2406260 8025 2240 9 0 2396937 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 9625040

[startup+0.700275 s]
/proc/loadavg: 2.07 2.02 2.00 3/194 13285
/proc/meminfo: memFree=31150900/32872528 swapFree=162364/176672
[pid=13285] ppid=13282 vsize=9625040 CPUtime=1.32 cores=1,3,5,7
/proc/13285/stat : 13285 (java) S 13282 13285 11533 0 -1 4202496 8005 0 1 0 130 2 0 0 20 0 19 0 9269303 9856040960 11462 33554432000 1073741824 1073778376 140733994518736 140733994509872 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13285/statm: 2406260 11462 2258 9 0 2396937 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 9625040

[startup+1.50077 s]
/proc/loadavg: 2.15 2.03 2.01 3/213 13304
/proc/meminfo: memFree=31110864/32872528 swapFree=162364/176672
[pid=13285] ppid=13282 vsize=9625040 CPUtime=2.25 cores=1,3,5,7
/proc/13285/stat : 13285 (java) S 13282 13285 11533 0 -1 4202496 8452 0 1 0 222 3 0 0 20 0 19 0 9269303 9856040960 12530 33554432000 1073741824 1073778376 140733994518736 140733994509872 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13285/statm: 2406260 12530 2267 9 0 2396937 0
[pid=13285/tid=13287] ppid=13282 vsize=9625040 CPUtime=1.47 cores=1,3,5,7
/proc/13285/task/13287/stat : 13287 (java) R 13282 13285 11533 0 -1 4202560 2416 0 1 0 145 2 0 0 20 0 19 0 9269304 9856040960 12530 33554432000 1073741824 1073778376 140733994518736 140675162561000 140675027329104 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=13285/tid=13288] ppid=13282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13285/task/13288/stat : 13288 (java) S 13282 13285 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9269305 9856040960 12530 33554432000 1073741824 1073778376 140733994518736 140675151624616 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13285/tid=13289] ppid=13282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13285/task/13289/stat : 13289 (java) S 13282 13285 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9269305 9856040960 12530 33554432000 1073741824 1073778376 140733994518736 140675150572072 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13285/tid=13290] ppid=13282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13285/task/13290/stat : 13290 (java) S 13282 13285 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9269305 9856040960 12530 33554432000 1073741824 1073778376 140733994518736 140675149519016 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13285/tid=13291] ppid=13282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13285/task/13291/stat : 13291 (java) S 13282 13285 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9269305 9856040960 12530 33554432000 1073741824 1073778376 140733994518736 140675148466472 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13285/tid=13292] ppid=13282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13285/task/13292/stat : 13292 (java) S 13282 13285 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9269305 9856040960 12530 33554432000 1073741824 1073778376 140733994518736 140675147414440 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13285/tid=13293] ppid=13282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13285/task/13293/stat : 13293 (java) S 13282 13285 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9269305 9856040960 12530 33554432000 1073741824 1073778376 140733994518736 140675146361896 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13285/tid=13294] ppid=13282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13285/task/13294/stat : 13294 (java) S 13282 13285 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9269305 9856040960 12530 33554432000 1073741824 1073778376 140733994518736 140675145308840 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13285/tid=13295] ppid=13282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13285/task/13295/stat : 13295 (java) S 13282 13285 11533 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 9269305 9856040960 12530 33554432000 1073741824 1073778376 140733994518736 140674999204648 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13285/tid=13296] ppid=13282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13285/task/13296/stat : 13296 (java) S 13282 13285 11533 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 9269306 9856040960 12530 33554432000 1073741824 1073778376 140733994518736 140674986793320 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13285/tid=13297] ppid=13282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13285/task/13297/stat : 13297 (java) S 13282 13285 11533 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 9269307 9856040960 12530 33554432000 1073741824 1073778376 140733994518736 140674985739640 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13285/tid=13298] ppid=13282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13285/task/13298/stat : 13298 (java) S 13282 13285 11533 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 9269307 9856040960 12530 33554432000 1073741824 1073778376 140733994518736 140674984686472 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13285/tid=13299] ppid=13282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13285/task/13299/stat : 13299 (java) S 13282 13285 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9269309 9856040960 12530 33554432000 1073741824 1073778376 140733994518736 140674983635216 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13285/tid=13300] ppid=13282 vsize=9625040 CPUtime=0.44 cores=1,3,5,7
/proc/13285/task/13300/stat : 13300 (java) S 13282 13285 11533 0 -1 4202560 2864 0 0 0 44 0 0 0 20 0 19 0 9269309 9856040960 12530 33554432000 1073741824 1073778376 140733994518736 140674982583096 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13285/tid=13301] ppid=13282 vsize=9625040 CPUtime=0.29 cores=1,3,5,7
/proc/13285/task/13301/stat : 13301 (java) S 13282 13285 11533 0 -1 4202560 1900 0 0 0 29 0 0 0 20 0 19 0 9269309 9856040960 12530 33554432000 1073741824 1073778376 140733994518736 140674981530552 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13285/tid=13302] ppid=13282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13285/task/13302/stat : 13302 (java) S 13282 13285 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9269309 9856040960 12530 33554432000 1073741824 1073778376 140733994518736 140674980477688 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13285/tid=13303] ppid=13282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13285/task/13303/stat : 13303 (java) S 13282 13285 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9269309 9856040960 12530 33554432000 1073741824 1073778376 140733994518736 140674979425352 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13285/tid=13304] ppid=13282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13285/task/13304/stat : 13304 (java) S 13282 13285 11533 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 9269332 9856040960 12530 33554432000 1073741824 1073778376 140733994518736 140674978321448 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 2.25
Current children cumulated vsize (KiB) 9625040

[startup+3.10072 s]
/proc/loadavg: 2.15 2.03 2.01 3/213 13304
/proc/meminfo: memFree=31104100/32872528 swapFree=162364/176672
[pid=13285] ppid=13282 vsize=9625040 CPUtime=3.88 cores=1,3,5,7
/proc/13285/stat : 13285 (java) S 13282 13285 11533 0 -1 4202496 8457 0 1 0 385 3 0 0 20 0 19 0 9269303 9856040960 14578 33554432000 1073741824 1073778376 140733994518736 140733994509872 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13285/statm: 2406260 14578 2267 9 0 2396937 0
[pid=13285/tid=13287] ppid=13282 vsize=9625040 CPUtime=3.06 cores=1,3,5,7
/proc/13285/task/13287/stat : 13287 (java) R 13282 13285 11533 0 -1 4202560 2421 0 1 0 304 2 0 0 20 0 19 0 9269304 9856040960 14578 33554432000 1073741824 1073778376 140733994518736 140675162561000 140675027408056 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=13285/tid=13288] ppid=13282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13285/task/13288/stat : 13288 (java) S 13282 13285 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9269305 9856040960 14578 33554432000 1073741824 1073778376 140733994518736 140675151624616 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13285/tid=13289] ppid=13282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13285/task/13289/stat : 13289 (java) S 13282 13285 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9269305 9856040960 14578 33554432000 1073741824 1073778376 140733994518736 140675150572072 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13285/tid=13290] ppid=13282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13285/task/13290/stat : 13290 (java) S 13282 13285 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9269305 9856040960 14578 33554432000 1073741824 1073778376 140733994518736 140675149519016 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13285/tid=13291] ppid=13282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13285/task/13291/stat : 13291 (java) S 13282 13285 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9269305 9856040960 14578 33554432000 1073741824 1073778376 140733994518736 140675148466472 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13285/tid=13292] ppid=13282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13285/task/13292/stat : 13292 (java) S 13282 13285 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9269305 9856040960 14578 33554432000 1073741824 1073778376 140733994518736 140675147414440 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13285/tid=13293] ppid=13282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13285/task/13293/stat : 13293 (java) S 13282 13285 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9269305 9856040960 14578 33554432000 1073741824 1073778376 140733994518736 140675146361896 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13285/tid=13294] ppid=13282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13285/task/13294/stat : 13294 (java) S 13282 13285 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9269305 9856040960 14578 33554432000 1073741824 1073778376 140733994518736 140675145308840 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13285/tid=13295] ppid=13282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13285/task/13295/stat : 13295 (java) S 13282 13285 11533 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 9269305 9856040960 14578 33554432000 1073741824 1073778376 140733994518736 140674999204648 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13285/tid=13296] ppid=13282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13285/task/13296/stat : 13296 (java) S 13282 13285 11533 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 9269306 9856040960 14578 33554432000 1073741824 1073778376 140733994518736 140674986793320 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13285/tid=13297] ppid=13282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13285/task/13297/stat : 13297 (java) S 13282 13285 11533 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 9269307 9856040960 14578 33554432000 1073741824 1073778376 140733994518736 140674985739640 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13285/tid=13298] ppid=13282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13285/task/13298/stat : 13298 (java) S 13282 13285 11533 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 9269307 9856040960 14578 33554432000 1073741824 1073778376 140733994518736 140674984686472 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13285/tid=13299] ppid=13282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13285/task/13299/stat : 13299 (java) S 13282 13285 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9269309 9856040960 14578 33554432000 1073741824 1073778376 140733994518736 140674983635216 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13285/tid=13300] ppid=13282 vsize=9625040 CPUtime=0.46 cores=1,3,5,7
/proc/13285/task/13300/stat : 13300 (java) S 13282 13285 11533 0 -1 4202560 2864 0 0 0 46 0 0 0 20 0 19 0 9269309 9856040960 14578 33554432000 1073741824 1073778376 140733994518736 140674982583096 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13285/tid=13301] ppid=13282 vsize=9625040 CPUtime=0.31 cores=1,3,5,7
/proc/13285/task/13301/stat : 13301 (java) S 13282 13285 11533 0 -1 4202560 1900 0 0 0 31 0 0 0 20 0 19 0 9269309 9856040960 14578 33554432000 1073741824 1073778376 140733994518736 140674981530552 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13285/tid=13302] ppid=13282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13285/task/13302/stat : 13302 (java) S 13282 13285 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9269309 9856040960 14578 33554432000 1073741824 1073778376 140733994518736 140674980477688 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13285/tid=13303] ppid=13282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13285/task/13303/stat : 13303 (java) S 13282 13285 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9269309 9856040960 14578 33554432000 1073741824 1073778376 140733994518736 140674979425352 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13285/tid=13304] ppid=13282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13285/task/13304/stat : 13304 (java) S 13282 13285 11533 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 9269332 9856040960 14578 33554432000 1073741824 1073778376 140733994518736 140674978321448 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.88
Current children cumulated vsize (KiB) 9625040

[startup+6.30079 s]
/proc/loadavg: 2.15 2.03 2.01 3/213 13304
/proc/meminfo: memFree=31083164/32872528 swapFree=162364/176672
[pid=13285] ppid=13282 vsize=9625040 CPUtime=7.15 cores=1,3,5,7
/proc/13285/stat : 13285 (java) S 13282 13285 11533 0 -1 4202496 8471 0 1 0 712 3 0 0 20 0 19 0 9269303 9856040960 19692 33554432000 1073741824 1073778376 140733994518736 140733994509872 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13285/statm: 2406260 19692 2268 9 0 2396937 0
[pid=13285/tid=13287] ppid=13282 vsize=9625040 CPUtime=6.26 cores=1,3,5,7
/proc/13285/task/13287/stat : 13287 (java) R 13282 13285 11533 0 -1 4202560 2433 0 1 0 624 2 0 0 20 0 19 0 9269304 9856040960 19692 33554432000 1073741824 1073778376 140733994518736 140675162554048 140675027639165 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=13285/tid=13288] ppid=13282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13285/task/13288/stat : 13288 (java) S 13282 13285 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9269305 9856040960 19692 33554432000 1073741824 1073778376 140733994518736 140675151624616 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13285/tid=13289] ppid=13282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13285/task/13289/stat : 13289 (java) S 13282 13285 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9269305 9856040960 19692 33554432000 1073741824 1073778376 140733994518736 140675150572072 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13285/tid=13290] ppid=13282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13285/task/13290/stat : 13290 (java) S 13282 13285 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9269305 9856040960 19692 33554432000 1073741824 1073778376 140733994518736 140675149519016 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13285/tid=13291] ppid=13282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13285/task/13291/stat : 13291 (java) S 13282 13285 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9269305 9856040960 19692 33554432000 1073741824 1073778376 140733994518736 140675148466472 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13285/tid=13292] ppid=13282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13285/task/13292/stat : 13292 (java) S 13282 13285 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9269305 9856040960 19692 33554432000 1073741824 1073778376 140733994518736 140675147414440 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13285/tid=13293] ppid=13282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13285/task/13293/stat : 13293 (java) S 13282 13285 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9269305 9856040960 19692 33554432000 1073741824 1073778376 140733994518736 140675146361896 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13285/tid=13294] ppid=13282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13285/task/13294/stat : 13294 (java) S 13282 13285 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9269305 9856040960 19692 33554432000 1073741824 1073778376 140733994518736 140675145308840 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13285/tid=13295] ppid=13282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13285/task/13295/stat : 13295 (java) S 13282 13285 11533 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 9269305 9856040960 19692 33554432000 1073741824 1073778376 140733994518736 140674999204648 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13285/tid=13296] ppid=13282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13285/task/13296/stat : 13296 (java) S 13282 13285 11533 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 9269306 9856040960 19692 33554432000 1073741824 1073778376 140733994518736 140674986793320 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13285/tid=13297] ppid=13282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13285/task/13297/stat : 13297 (java) S 13282 13285 11533 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 9269307 9856040960 19692 33554432000 1073741824 1073778376 140733994518736 140674985739640 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13285/tid=13298] ppid=13282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13285/task/13298/stat : 13298 (java) S 13282 13285 11533 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 9269307 9856040960 19692 33554432000 1073741824 1073778376 140733994518736 140674984686472 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13285/tid=13299] ppid=13282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13285/task/13299/stat : 13299 (java) S 13282 13285 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9269309 9856040960 19692 33554432000 1073741824 1073778376 140733994518736 140674983635216 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13285/tid=13300] ppid=13282 vsize=9625040 CPUtime=0.49 cores=1,3,5,7
/proc/13285/task/13300/stat : 13300 (java) S 13282 13285 11533 0 -1 4202560 2865 0 0 0 49 0 0 0 20 0 19 0 9269309 9856040960 19692 33554432000 1073741824 1073778376 140733994518736 140674982583096 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13285/tid=13301] ppid=13282 vsize=9625040 CPUtime=0.36 cores=1,3,5,7
/proc/13285/task/13301/stat : 13301 (java) S 13282 13285 11533 0 -1 4202560 1900 0 0 0 36 0 0 0 20 0 19 0 9269309 9856040960 19692 33554432000 1073741824 1073778376 140733994518736 140674981530552 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13285/tid=13302] ppid=13282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13285/task/13302/stat : 13302 (java) S 13282 13285 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9269309 9856040960 19692 33554432000 1073741824 1073778376 140733994518736 140674980477688 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13285/tid=13303] ppid=13282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13285/task/13303/stat : 13303 (java) S 13282 13285 11533 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 9269309 9856040960 19692 33554432000 1073741824 1073778376 140733994518736 140674979425352 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13285/tid=13304] ppid=13282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13285/task/13304/stat : 13304 (java) S 13282 13285 11533 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 9269332 9856040960 19692 33554432000 1073741824 1073778376 140733994518736 140674978321448 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 7.15
Current children cumulated vsize (KiB) 9625040


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

[pid=13285/tid=13297] ppid=13282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13285/task/13297/stat : 13297 (java) S 13282 13285 11533 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 9269307 9856040960 122256 33554432000 1073741824 1073778376 140733994518736 140674985739640 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13285/tid=13298] ppid=13282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13285/task/13298/stat : 13298 (java) S 13282 13285 11533 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 9269307 9856040960 122256 33554432000 1073741824 1073778376 140733994518736 140674984686472 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13285/tid=13299] ppid=13282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13285/task/13299/stat : 13299 (java) S 13282 13285 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9269309 9856040960 122256 33554432000 1073741824 1073778376 140733994518736 140674983635216 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13285/tid=13300] ppid=13282 vsize=9625040 CPUtime=0.49 cores=1,3,5,7
/proc/13285/task/13300/stat : 13300 (java) S 13282 13285 11533 0 -1 4202560 2865 0 0 0 49 0 0 0 20 0 19 0 9269309 9856040960 122256 33554432000 1073741824 1073778376 140733994518736 140674982583096 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13285/tid=13301] ppid=13282 vsize=9625040 CPUtime=0.38 cores=1,3,5,7
/proc/13285/task/13301/stat : 13301 (java) S 13282 13285 11533 0 -1 4202560 2024 0 0 0 38 0 0 0 20 0 19 0 9269309 9856040960 122256 33554432000 1073741824 1073778376 140733994518736 140674981530552 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13285/tid=13302] ppid=13282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13285/task/13302/stat : 13302 (java) S 13282 13285 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9269309 9856040960 122256 33554432000 1073741824 1073778376 140733994518736 140674980477688 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13285/tid=13303] ppid=13282 vsize=9625040 CPUtime=0.59 cores=1,3,5,7
/proc/13285/task/13303/stat : 13303 (java) S 13282 13285 11533 0 -1 4202560 98 0 0 0 24 35 0 0 20 0 19 0 9269309 9856040960 122256 33554432000 1073741824 1073778376 140733994518736 140674979425352 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13285/tid=13304] ppid=13282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13285/task/13304/stat : 13304 (java) S 13282 13285 11533 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 9269332 9856040960 122256 33554432000 1073741824 1073778376 140733994518736 140674978321448 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1666.71
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.05 2.06 2.01 3/213 13413
/proc/meminfo: memFree=30810276/32872528 swapFree=162364/176672
[pid=13285] ppid=13282 vsize=9625040 CPUtime=1726.84 cores=1,3,5,7
/proc/13285/stat : 13285 (java) S 13282 13285 11533 0 -1 4202496 12585 0 1 0 172608 76 0 0 20 0 19 0 9269303 9856040960 122257 33554432000 1073741824 1073778376 140733994518736 140733994509872 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13285/statm: 2406260 122257 2290 9 0 2396937 0
[pid=13285/tid=13287] ppid=13282 vsize=9625040 CPUtime=1720.64 cores=1,3,5,7
/proc/13285/task/13287/stat : 13287 (java) R 13282 13285 11533 0 -1 4202560 2522 0 1 0 172034 30 0 0 20 0 19 0 9269304 9856040960 122257 33554432000 1073741824 1073778376 140733994518736 140675162561792 140675027332419 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=13285/tid=13288] ppid=13282 vsize=9625040 CPUtime=0.53 cores=1,3,5,7
/proc/13285/task/13288/stat : 13288 (java) S 13282 13285 11533 0 -1 4202560 608 0 0 0 47 6 0 0 20 0 19 0 9269305 9856040960 122257 33554432000 1073741824 1073778376 140733994518736 140675151624616 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13285/tid=13289] ppid=13282 vsize=9625040 CPUtime=0.59 cores=1,3,5,7
/proc/13285/task/13289/stat : 13289 (java) S 13282 13285 11533 0 -1 4202560 164 0 0 0 54 5 0 0 20 0 19 0 9269305 9856040960 122257 33554432000 1073741824 1073778376 140733994518736 140675150572072 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13285/tid=13290] ppid=13282 vsize=9625040 CPUtime=0.64 cores=1,3,5,7
/proc/13285/task/13290/stat : 13290 (java) S 13282 13285 11533 0 -1 4202560 367 0 0 0 56 8 0 0 20 0 19 0 9269305 9856040960 122257 33554432000 1073741824 1073778376 140733994518736 140675149519016 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13285/tid=13291] ppid=13282 vsize=9625040 CPUtime=0.54 cores=1,3,5,7
/proc/13285/task/13291/stat : 13291 (java) S 13282 13285 11533 0 -1 4202560 397 0 0 0 48 6 0 0 20 0 19 0 9269305 9856040960 122257 33554432000 1073741824 1073778376 140733994518736 140675148466472 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13285/tid=13292] ppid=13282 vsize=9625040 CPUtime=0.7 cores=1,3,5,7
/proc/13285/task/13292/stat : 13292 (java) S 13282 13285 11533 0 -1 4202560 311 0 0 0 63 7 0 0 20 0 19 0 9269305 9856040960 122257 33554432000 1073741824 1073778376 140733994518736 140675147414440 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13285/tid=13293] ppid=13282 vsize=9625040 CPUtime=0.61 cores=1,3,5,7
/proc/13285/task/13293/stat : 13293 (java) S 13282 13285 11533 0 -1 4202560 727 0 0 0 53 8 0 0 20 0 19 0 9269305 9856040960 122257 33554432000 1073741824 1073778376 140733994518736 140675146361896 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13285/tid=13294] ppid=13282 vsize=9625040 CPUtime=0.67 cores=1,3,5,7
/proc/13285/task/13294/stat : 13294 (java) S 13282 13285 11533 0 -1 4202560 692 0 0 0 60 7 0 0 20 0 19 0 9269305 9856040960 122257 33554432000 1073741824 1073778376 140733994518736 140675145308840 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13285/tid=13295] ppid=13282 vsize=9625040 CPUtime=0.65 cores=1,3,5,7
/proc/13285/task/13295/stat : 13295 (java) S 13282 13285 11533 0 -1 4202560 342 0 0 0 57 8 0 0 20 0 19 0 9269305 9856040960 122257 33554432000 1073741824 1073778376 140733994518736 140674999204648 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13285/tid=13296] ppid=13282 vsize=9625040 CPUtime=0.25 cores=1,3,5,7
/proc/13285/task/13296/stat : 13296 (java) S 13282 13285 11533 0 -1 4202560 207 0 0 0 23 2 0 0 20 0 19 0 9269306 9856040960 122257 33554432000 1073741824 1073778376 140733994518736 140674986793320 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13285/tid=13297] ppid=13282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13285/task/13297/stat : 13297 (java) S 13282 13285 11533 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 9269307 9856040960 122257 33554432000 1073741824 1073778376 140733994518736 140674985739640 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13285/tid=13298] ppid=13282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13285/task/13298/stat : 13298 (java) S 13282 13285 11533 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 9269307 9856040960 122257 33554432000 1073741824 1073778376 140733994518736 140674984686472 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13285/tid=13299] ppid=13282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13285/task/13299/stat : 13299 (java) S 13282 13285 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9269309 9856040960 122257 33554432000 1073741824 1073778376 140733994518736 140674983635216 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13285/tid=13300] ppid=13282 vsize=9625040 CPUtime=0.49 cores=1,3,5,7
/proc/13285/task/13300/stat : 13300 (java) S 13282 13285 11533 0 -1 4202560 2865 0 0 0 49 0 0 0 20 0 19 0 9269309 9856040960 122257 33554432000 1073741824 1073778376 140733994518736 140674982583096 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13285/tid=13301] ppid=13282 vsize=9625040 CPUtime=0.38 cores=1,3,5,7
/proc/13285/task/13301/stat : 13301 (java) S 13282 13285 11533 0 -1 4202560 2024 0 0 0 38 0 0 0 20 0 19 0 9269309 9856040960 122257 33554432000 1073741824 1073778376 140733994518736 140674981530552 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13285/tid=13302] ppid=13282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13285/task/13302/stat : 13302 (java) S 13282 13285 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9269309 9856040960 122257 33554432000 1073741824 1073778376 140733994518736 140674980477688 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13285/tid=13303] ppid=13282 vsize=9625040 CPUtime=0.61 cores=1,3,5,7
/proc/13285/task/13303/stat : 13303 (java) S 13282 13285 11533 0 -1 4202560 100 0 0 0 25 36 0 0 20 0 19 0 9269309 9856040960 122257 33554432000 1073741824 1073778376 140733994518736 140674979425352 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13285/tid=13304] ppid=13282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13285/task/13304/stat : 13304 (java) S 13282 13285 11533 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 9269332 9856040960 122257 33554432000 1073741824 1073778376 140733994518736 140674978321448 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1726.84
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.02 2.04 2.01 3/213 13414
/proc/meminfo: memFree=30812600/32872528 swapFree=162364/176672
[pid=13285] ppid=13282 vsize=9625040 CPUtime=1786.92 cores=1,3,5,7
/proc/13285/stat : 13285 (java) S 13282 13285 11533 0 -1 4202496 12592 0 1 0 178615 77 0 0 20 0 19 0 9269303 9856040960 122174 33554432000 1073741824 1073778376 140733994518736 140733994509872 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13285/statm: 2406260 122174 2290 9 0 2396937 0
[pid=13285/tid=13287] ppid=13282 vsize=9625040 CPUtime=1780.62 cores=1,3,5,7
/proc/13285/task/13287/stat : 13287 (java) R 13282 13285 11533 0 -1 4202560 2523 0 1 0 178031 31 0 0 20 0 19 0 9269304 9856040960 122174 33554432000 1073741824 1073778376 140733994518736 140675162561792 140675027308400 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=13285/tid=13288] ppid=13282 vsize=9625040 CPUtime=0.56 cores=1,3,5,7
/proc/13285/task/13288/stat : 13288 (java) S 13282 13285 11533 0 -1 4202560 608 0 0 0 50 6 0 0 20 0 19 0 9269305 9856040960 122174 33554432000 1073741824 1073778376 140733994518736 140675151624616 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13285/tid=13289] ppid=13282 vsize=9625040 CPUtime=0.61 cores=1,3,5,7
/proc/13285/task/13289/stat : 13289 (java) S 13282 13285 11533 0 -1 4202560 164 0 0 0 56 5 0 0 20 0 19 0 9269305 9856040960 122174 33554432000 1073741824 1073778376 140733994518736 140675150572072 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13285/tid=13290] ppid=13282 vsize=9625040 CPUtime=0.65 cores=1,3,5,7
/proc/13285/task/13290/stat : 13290 (java) S 13282 13285 11533 0 -1 4202560 367 0 0 0 57 8 0 0 20 0 19 0 9269305 9856040960 122174 33554432000 1073741824 1073778376 140733994518736 140675149519016 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13285/tid=13291] ppid=13282 vsize=9625040 CPUtime=0.56 cores=1,3,5,7
/proc/13285/task/13291/stat : 13291 (java) S 13282 13285 11533 0 -1 4202560 397 0 0 0 50 6 0 0 20 0 19 0 9269305 9856040960 122174 33554432000 1073741824 1073778376 140733994518736 140675148466472 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13285/tid=13292] ppid=13282 vsize=9625040 CPUtime=0.71 cores=1,3,5,7
/proc/13285/task/13292/stat : 13292 (java) S 13282 13285 11533 0 -1 4202560 311 0 0 0 64 7 0 0 20 0 19 0 9269305 9856040960 122174 33554432000 1073741824 1073778376 140733994518736 140675147414440 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13285/tid=13293] ppid=13282 vsize=9625040 CPUtime=0.62 cores=1,3,5,7
/proc/13285/task/13293/stat : 13293 (java) S 13282 13285 11533 0 -1 4202560 727 0 0 0 54 8 0 0 20 0 19 0 9269305 9856040960 122174 33554432000 1073741824 1073778376 140733994518736 140675146361896 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13285/tid=13294] ppid=13282 vsize=9625040 CPUtime=0.68 cores=1,3,5,7
/proc/13285/task/13294/stat : 13294 (java) S 13282 13285 11533 0 -1 4202560 692 0 0 0 61 7 0 0 20 0 19 0 9269305 9856040960 122174 33554432000 1073741824 1073778376 140733994518736 140675145308840 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13285/tid=13295] ppid=13282 vsize=9625040 CPUtime=0.66 cores=1,3,5,7
/proc/13285/task/13295/stat : 13295 (java) S 13282 13285 11533 0 -1 4202560 342 0 0 0 58 8 0 0 20 0 19 0 9269305 9856040960 122174 33554432000 1073741824 1073778376 140733994518736 140674999204648 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13285/tid=13296] ppid=13282 vsize=9625040 CPUtime=0.25 cores=1,3,5,7
/proc/13285/task/13296/stat : 13296 (java) S 13282 13285 11533 0 -1 4202560 209 0 0 0 23 2 0 0 20 0 19 0 9269306 9856040960 122174 33554432000 1073741824 1073778376 140733994518736 140674986793320 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13285/tid=13297] ppid=13282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13285/task/13297/stat : 13297 (java) S 13282 13285 11533 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 9269307 9856040960 122174 33554432000 1073741824 1073778376 140733994518736 140674985739640 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13285/tid=13298] ppid=13282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13285/task/13298/stat : 13298 (java) S 13282 13285 11533 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 9269307 9856040960 122174 33554432000 1073741824 1073778376 140733994518736 140674984686472 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13285/tid=13299] ppid=13282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13285/task/13299/stat : 13299 (java) S 13282 13285 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9269309 9856040960 122174 33554432000 1073741824 1073778376 140733994518736 140674983635216 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13285/tid=13300] ppid=13282 vsize=9625040 CPUtime=0.49 cores=1,3,5,7
/proc/13285/task/13300/stat : 13300 (java) S 13282 13285 11533 0 -1 4202560 2865 0 0 0 49 0 0 0 20 0 19 0 9269309 9856040960 122174 33554432000 1073741824 1073778376 140733994518736 140674982583096 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13285/tid=13301] ppid=13282 vsize=9625040 CPUtime=0.38 cores=1,3,5,7
/proc/13285/task/13301/stat : 13301 (java) S 13282 13285 11533 0 -1 4202560 2024 0 0 0 38 0 0 0 20 0 19 0 9269309 9856040960 122174 33554432000 1073741824 1073778376 140733994518736 140674981530552 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13285/tid=13302] ppid=13282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13285/task/13302/stat : 13302 (java) S 13282 13285 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9269309 9856040960 122174 33554432000 1073741824 1073778376 140733994518736 140674980477688 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13285/tid=13303] ppid=13282 vsize=9625040 CPUtime=0.64 cores=1,3,5,7
/proc/13285/task/13303/stat : 13303 (java) S 13282 13285 11533 0 -1 4202560 104 0 0 0 27 37 0 0 20 0 19 0 9269309 9856040960 122174 33554432000 1073741824 1073778376 140733994518736 140674979425352 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13285/tid=13304] ppid=13282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13285/task/13304/stat : 13304 (java) S 13282 13285 11533 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 9269332 9856040960 122174 33554432000 1073741824 1073778376 140733994518736 140674978321448 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1786.92
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1795.4 s]
/proc/loadavg: 2.01 2.04 2.01 3/213 13414
/proc/meminfo: memFree=30813020/32872528 swapFree=162364/176672
[pid=13285] ppid=13282 vsize=9625040 CPUtime=1800.01 cores=1,3,5,7
/proc/13285/stat : 13285 (java) S 13282 13285 11533 0 -1 4202496 12594 0 1 0 179924 77 0 0 20 0 19 0 9269303 9856040960 122174 33554432000 1073741824 1073778376 140733994518736 140733994509872 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13285/statm: 2406260 122174 2290 9 0 2396937 0
[pid=13285/tid=13287] ppid=13282 vsize=9625040 CPUtime=1793.72 cores=1,3,5,7
/proc/13285/task/13287/stat : 13287 (java) R 13282 13285 11533 0 -1 4202560 2523 0 1 0 179341 31 0 0 20 0 19 0 9269304 9856040960 122174 33554432000 1073741824 1073778376 140733994518736 140675162554048 140675027394122 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=13285/tid=13288] ppid=13282 vsize=9625040 CPUtime=0.56 cores=1,3,5,7
/proc/13285/task/13288/stat : 13288 (java) S 13282 13285 11533 0 -1 4202560 608 0 0 0 50 6 0 0 20 0 19 0 9269305 9856040960 122174 33554432000 1073741824 1073778376 140733994518736 140675151624616 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13285/tid=13289] ppid=13282 vsize=9625040 CPUtime=0.61 cores=1,3,5,7
/proc/13285/task/13289/stat : 13289 (java) S 13282 13285 11533 0 -1 4202560 164 0 0 0 56 5 0 0 20 0 19 0 9269305 9856040960 122174 33554432000 1073741824 1073778376 140733994518736 140675150572072 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13285/tid=13290] ppid=13282 vsize=9625040 CPUtime=0.65 cores=1,3,5,7
/proc/13285/task/13290/stat : 13290 (java) S 13282 13285 11533 0 -1 4202560 367 0 0 0 57 8 0 0 20 0 19 0 9269305 9856040960 122174 33554432000 1073741824 1073778376 140733994518736 140675149519016 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13285/tid=13291] ppid=13282 vsize=9625040 CPUtime=0.56 cores=1,3,5,7
/proc/13285/task/13291/stat : 13291 (java) S 13282 13285 11533 0 -1 4202560 397 0 0 0 50 6 0 0 20 0 19 0 9269305 9856040960 122174 33554432000 1073741824 1073778376 140733994518736 140675148466472 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13285/tid=13292] ppid=13282 vsize=9625040 CPUtime=0.71 cores=1,3,5,7
/proc/13285/task/13292/stat : 13292 (java) S 13282 13285 11533 0 -1 4202560 311 0 0 0 64 7 0 0 20 0 19 0 9269305 9856040960 122174 33554432000 1073741824 1073778376 140733994518736 140675147414440 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13285/tid=13293] ppid=13282 vsize=9625040 CPUtime=0.62 cores=1,3,5,7
/proc/13285/task/13293/stat : 13293 (java) S 13282 13285 11533 0 -1 4202560 727 0 0 0 54 8 0 0 20 0 19 0 9269305 9856040960 122174 33554432000 1073741824 1073778376 140733994518736 140675146361896 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13285/tid=13294] ppid=13282 vsize=9625040 CPUtime=0.68 cores=1,3,5,7
/proc/13285/task/13294/stat : 13294 (java) S 13282 13285 11533 0 -1 4202560 692 0 0 0 61 7 0 0 20 0 19 0 9269305 9856040960 122174 33554432000 1073741824 1073778376 140733994518736 140675145308840 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13285/tid=13295] ppid=13282 vsize=9625040 CPUtime=0.66 cores=1,3,5,7
/proc/13285/task/13295/stat : 13295 (java) S 13282 13285 11533 0 -1 4202560 342 0 0 0 58 8 0 0 20 0 19 0 9269305 9856040960 122174 33554432000 1073741824 1073778376 140733994518736 140674999204648 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13285/tid=13296] ppid=13282 vsize=9625040 CPUtime=0.25 cores=1,3,5,7
/proc/13285/task/13296/stat : 13296 (java) S 13282 13285 11533 0 -1 4202560 209 0 0 0 23 2 0 0 20 0 19 0 9269306 9856040960 122174 33554432000 1073741824 1073778376 140733994518736 140674986793320 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13285/tid=13297] ppid=13282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13285/task/13297/stat : 13297 (java) S 13282 13285 11533 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 9269307 9856040960 122174 33554432000 1073741824 1073778376 140733994518736 140674985739640 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13285/tid=13298] ppid=13282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13285/task/13298/stat : 13298 (java) S 13282 13285 11533 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 9269307 9856040960 122174 33554432000 1073741824 1073778376 140733994518736 140674984686472 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13285/tid=13299] ppid=13282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13285/task/13299/stat : 13299 (java) S 13282 13285 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9269309 9856040960 122174 33554432000 1073741824 1073778376 140733994518736 140674983635216 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13285/tid=13300] ppid=13282 vsize=9625040 CPUtime=0.49 cores=1,3,5,7
/proc/13285/task/13300/stat : 13300 (java) S 13282 13285 11533 0 -1 4202560 2865 0 0 0 49 0 0 0 20 0 19 0 9269309 9856040960 122174 33554432000 1073741824 1073778376 140733994518736 140674982583096 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13285/tid=13301] ppid=13282 vsize=9625040 CPUtime=0.38 cores=1,3,5,7
/proc/13285/task/13301/stat : 13301 (java) S 13282 13285 11533 0 -1 4202560 2024 0 0 0 38 0 0 0 20 0 19 0 9269309 9856040960 122174 33554432000 1073741824 1073778376 140733994518736 140674981530552 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13285/tid=13302] ppid=13282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13285/task/13302/stat : 13302 (java) S 13282 13285 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9269309 9856040960 122174 33554432000 1073741824 1073778376 140733994518736 140674980477688 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13285/tid=13303] ppid=13282 vsize=9625040 CPUtime=0.65 cores=1,3,5,7
/proc/13285/task/13303/stat : 13303 (java) S 13282 13285 11533 0 -1 4202560 106 0 0 0 27 38 0 0 20 0 19 0 9269309 9856040960 122174 33554432000 1073741824 1073778376 140733994518736 140674979425352 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13285/tid=13304] ppid=13282 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13285/task/13304/stat : 13304 (java) S 13282 13285 11533 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 9269332 9856040960 122174 33554432000 1073741824 1073778376 140733994518736 140674978321448 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 9625040

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 13285 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 1795.44
CPU time (s): 1800.88
CPU user time (s): 1799.48
CPU system time (s): 1.40279
CPU usage (%): 100.303
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.48
system time used= 1.40279
maximum resident set size= 605468
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12639
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1680
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 39468
involuntary context switches= 11991

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.3644 second user time and 13.9219 second system time

The end

Launcher Data 

Begin job on node105 at 2016-06-16 12:16:34
IDJOB=4090485
IDBENCH=79607
IDSOLVER=2551
FILE ID=node105/4090485-1466072194
RUNJOBID= node105-1466062135-11550
PBS_JOBID= 19904027
Free space on /tmp= 71740 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB10/normalized-PB10/PARTIAL-BIGINT-LIN/wcsp/spot5/normalized-spot5-42_wcsp.wbo
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4090485-1466072194/watcher-4090485-1466072194 -o /tmp/evaluation-result-4090485-1466072194/solver-4090485-1466072194 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1466062135-11550 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4090485-1466072194.wbo

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

MD5SUM BENCH= 2650719d8056982b79efe8547fa4e1ef
RANDOM SEED=1500827485

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:        31151280 kB
Buffers:           12300 kB
Cached:            52328 kB
SwapCached:         1468 kB
Active:           797276 kB
Inactive:          35044 kB
Active(anon):     768684 kB
Inactive(anon):     1624 kB
Active(file):      28592 kB
Inactive(file):    33420 kB
Unevictable:      176672 kB
Mlocked:          162364 kB
SwapTotal:      67108856 kB
SwapFree:       67097208 kB
Dirty:               816 kB
Writeback:             0 kB
AnonPages:        930612 kB
Mapped:            15368 kB
Shmem:                 0 kB
Slab:             565468 kB
SReclaimable:       9340 kB
SUnreclaim:       556128 kB
KernelStack:        1760 kB
PageTables:         6620 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1944916 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    753664 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= 71744 MiB
End job on node105 at 2016-06-16 12:46:29