Trace number 4085873

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 NameAnswerobjective functionCPU timeWall clock time
Sat4j PB 2.3.6 Resolution PB16SAT (TO)-55 1800.8 1776.44

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_500_25_3.opb
MD5SUM04b0fb885ddf05bea62d9eda618b3e5b
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-68
Best CPU time to get the best result obtained on this benchmark1800.03
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -79
Optimality of the best value was proved NO
Number of variables500
Total number of constraints500
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints500
Minimum length of a constraint25
Maximum length of a constraint49
Number of terms in the objective function 500
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 500
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 500
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)15722
Sum of products size (including duplicates)31444
Number of different products7861
Sum of products size15722

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.08/0.11	c Pseudo Boolean Optimization by upper bound
0.08/0.11	c --- Begin Solver configuration ---
0.08/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b21cc40
0.08/0.11	c Learn all clauses as in MiniSAT
0.08/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.08/0.11	c No reason simplification
0.08/0.11	c Glucose 2.1 dynamic restart strategy
0.08/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.08/0.11	c timeout=2147483s
0.08/0.11	c DB Simplification allowed=false
0.08/0.11	c Listener: org.sat4j.minisat.core.VoidTracing@7c64dc11
0.08/0.11	c --- End Solver configuration ---
0.08/0.11	c solving HOME/instance-4085873-1465259003.opb
0.08/0.11	c reading problem ... 
0.08/0.12	c  objective function found
1.04/0.54	c ... done. Wall clock time 0.428s.
1.04/0.54	c declared #vars     500
1.04/0.54	c internal #vars     8361
1.04/0.54	c #constraints  16722
1.04/0.54	c constraints type 
1.04/0.54	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 7861
1.04/0.54	c org.sat4j.minisat.constraints.cnf.UnitClauses => 450
1.04/0.54	c org.sat4j.specs.Constr$1 => 526
1.04/0.54	c org.sat4j.minisat.constraints.cnf.UnitClause => 24
1.04/0.54	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 7861
1.04/0.54	c 16722 constraints processed.
1.04/0.54	c objective function length is 500 literals
1.34/0.68	c SATISFIABLE
1.34/0.68	c OPTIMIZING...
1.34/0.68	c Got one! Elapsed wall clock time (in seconds):0.564
1.34/0.68	o -51
2.23/0.98	c Got one! Elapsed wall clock time (in seconds):0.868
2.23/0.98	o -52
2.54/1.10	c Got one! Elapsed wall clock time (in seconds):0.988
2.54/1.10	o -53
3.28/1.34	c Got one! Elapsed wall clock time (in seconds):1.223
3.28/1.34	o -54
3.57/1.58	c cleaning 2977 clauses out of 5953 with flag 6434/5953
4.19/2.00	c cleaning 4489 clauses out of 8977 with flag 18860/11954
4.69/2.50	c cleaning 5741 clauses out of 11488 with flag 33353/18954
5.30/3.14	c cleaning 6871 clauses out of 13746 with flag 49902/26953
5.46/3.30	c Got one! Elapsed wall clock time (in seconds):3.186
5.46/3.30	o -55
5.85/3.56	c cleaning 6121 clauses out of 12242 with flag 6455/32320
6.34/4.01	c cleaning 6060 clauses out of 12122 with flag 19543/38321
6.95/4.67	c cleaning 6525 clauses out of 13060 with flag 34804/45319
7.75/5.50	c cleaning 7264 clauses out of 14535 with flag 52562/53319
8.92/6.54	c cleaning 8136 clauses out of 16272 with flag 73540/62320
9.92/7.58	c cleaning 9064 clauses out of 18135 with flag 95657/72319
11.12/8.80	c cleaning 10034 clauses out of 20073 with flag 121382/83321
12.52/10.16	c cleaning 11013 clauses out of 22037 with flag 149356/95319
14.12/11.74	c cleaning 12010 clauses out of 24024 with flag 180241/108319
15.63/13.27	c cleaning 13002 clauses out of 26014 with flag 211985/122319
17.66/15.12	c cleaning 14003 clauses out of 28013 with flag 245684/137320
19.56/17.05	c cleaning 15003 clauses out of 30009 with flag 282139/153319
21.66/19.14	c cleaning 16001 clauses out of 32006 with flag 321398/170319
23.57/21.09	c cleaning 17004 clauses out of 34007 with flag 361563/188321
25.53/22.88	c cleaning 18001 clauses out of 36001 with flag 400729/207319
27.73/25.00	c cleaning 19001 clauses out of 38001 with flag 445100/227320
29.83/27.15	c cleaning 19996 clauses out of 40000 with flag 489664/248320
32.42/29.57	c cleaning 21003 clauses out of 42005 with flag 537105/270321
35.02/32.11	c cleaning 21998 clauses out of 44001 with flag 585772/293320
37.62/34.76	c cleaning 23000 clauses out of 46003 with flag 638586/317320
40.68/37.79	c cleaning 23997 clauses out of 48002 with flag 691032/342319
43.78/40.82	c cleaning 25003 clauses out of 50006 with flag 744874/368320
46.88/43.92	c cleaning 25991 clauses out of 52002 with flag 800773/395319
50.69/47.58	c cleaning 26999 clauses out of 54011 with flag 860073/423319
54.39/51.22	c cleaning 28005 clauses out of 56015 with flag 921128/452322
58.62/55.26	c cleaning 28998 clauses out of 58008 with flag 984706/482320
62.32/58.91	c cleaning 30001 clauses out of 60011 with flag 1051968/513321
66.88/63.26	c cleaning 31000 clauses out of 62008 with flag 1120067/545319
70.68/67.09	c cleaning 32005 clauses out of 64009 with flag 1190415/578320
75.19/71.33	c cleaning 32998 clauses out of 66003 with flag 1261183/612319
79.55/75.68	c cleaning 34001 clauses out of 68006 with flag 1337165/647320
84.14/80.20	c cleaning 34996 clauses out of 70004 with flag 1414278/683319
89.33/85.39	c cleaning 36003 clauses out of 72008 with flag 1492506/720319
94.24/90.25	c cleaning 37000 clauses out of 74006 with flag 1572269/758320
99.70/95.68	c cleaning 38001 clauses out of 76006 with flag 1654196/797320
105.30/101.12	c cleaning 38995 clauses out of 78005 with flag 1740765/837320
111.20/107.02	c cleaning 40005 clauses out of 80010 with flag 1828280/878320
118.54/114.23	c cleaning 40997 clauses out of 82004 with flag 1915343/920319
126.23/121.88	c cleaning 42000 clauses out of 84007 with flag 2004426/963319
133.93/129.53	c cleaning 43005 clauses out of 86009 with flag 2095485/1007321
141.61/137.20	c cleaning 44002 clauses out of 88003 with flag 2188689/1052320
149.59/145.04	c cleaning 44996 clauses out of 90000 with flag 2283982/1098319
158.60/153.96	c cleaning 46002 clauses out of 92004 with flag 2381211/1145319
167.21/162.45	c cleaning 46996 clauses out of 94003 with flag 2480127/1193320
176.18/171.31	c cleaning 48003 clauses out of 96008 with flag 2580894/1242321
185.39/180.51	c cleaning 49001 clauses out of 98003 with flag 2683074/1292319
194.72/189.86	c cleaning 49993 clauses out of 100002 with flag 2787215/1343319
204.21/199.29	c cleaning 50999 clauses out of 102009 with flag 2893437/1395319
213.68/208.54	c cleaning 52004 clauses out of 104010 with flag 3001812/1448319
223.60/218.36	c cleaning 53003 clauses out of 106007 with flag 3112386/1502320
234.41/229.03	c cleaning 53999 clauses out of 108003 with flag 3225077/1557319
245.49/240.00	c cleaning 54993 clauses out of 110004 with flag 3339814/1613319
259.81/254.23	c cleaning 56002 clauses out of 112013 with flag 3457717/1670321
273.10/267.47	c cleaning 57003 clauses out of 114010 with flag 3577656/1728320
286.44/280.65	c cleaning 58003 clauses out of 116008 with flag 3699269/1787321
301.01/295.18	c cleaning 58999 clauses out of 118005 with flag 3824170/1847321
315.58/309.67	c cleaning 59999 clauses out of 120004 with flag 3951088/1908319
329.72/323.61	c cleaning 61001 clauses out of 122005 with flag 4079354/1970319
344.01/337.71	c cleaning 61997 clauses out of 124004 with flag 4210176/2033319
359.88/353.53	c cleaning 63002 clauses out of 126008 with flag 4342657/2097320
375.45/368.92	c cleaning 64001 clauses out of 128006 with flag 4477778/2162320
390.61/383.94	c cleaning 64994 clauses out of 130004 with flag 4614458/2228319
404.97/398.21	c cleaning 65999 clauses out of 132011 with flag 4753421/2295320
419.90/412.94	c cleaning 66999 clauses out of 134011 with flag 4894747/2363319
436.39/429.22	c cleaning 68003 clauses out of 136012 with flag 5038427/2432319
452.95/445.61	c cleaning 69003 clauses out of 138009 with flag 5183898/2502319
468.44/461.03	c cleaning 69996 clauses out of 140006 with flag 5331633/2573319
483.00/475.41	c cleaning 71001 clauses out of 142010 with flag 5481736/2645319
501.86/494.00	c cleaning 72005 clauses out of 144011 with flag 5631728/2718321
518.90/510.92	c cleaning 73000 clauses out of 146005 with flag 5784827/2792320
539.28/531.16	c cleaning 73996 clauses out of 148004 with flag 5941284/2867319
559.57/551.15	c cleaning 75000 clauses out of 150010 with flag 6099318/2943321
581.62/572.94	c cleaning 76002 clauses out of 152008 with flag 6259223/3020319
602.48/593.51	c cleaning 77000 clauses out of 154006 with flag 6421138/3098319
625.75/616.53	c cleaning 77995 clauses out of 156006 with flag 6584778/3177319
649.88/640.41	c cleaning 79002 clauses out of 158011 with flag 6750474/3257319
670.66/660.81	c cleaning 80003 clauses out of 160011 with flag 6917703/3338321
695.32/685.19	c cleaning 80997 clauses out of 162007 with flag 7087188/3420320
721.42/711.08	c cleaning 82002 clauses out of 164009 with flag 7259545/3503319
745.10/734.38	c cleaning 83004 clauses out of 166009 with flag 7431746/3587321
769.25/758.26	c cleaning 83996 clauses out of 168004 with flag 7605362/3672320
795.49/784.17	c cleaning 85001 clauses out of 170007 with flag 7780781/3758319
821.03/809.34	c cleaning 85996 clauses out of 172006 with flag 7959737/3845319
849.43/837.45	c cleaning 87001 clauses out of 174010 with flag 8141842/3933319
878.89/866.52	c cleaning 88001 clauses out of 176011 with flag 8325861/4022321
907.25/894.56	c cleaning 88993 clauses out of 178008 with flag 8512299/4112319
936.26/923.25	c cleaning 90005 clauses out of 180015 with flag 8700555/4203319
964.80/951.44	c cleaning 91001 clauses out of 182011 with flag 8891108/4295320
995.09/981.31	c cleaning 92003 clauses out of 184010 with flag 9083316/4388320
1027.84/1013.80	c cleaning 93001 clauses out of 186007 with flag 9276560/4482320
1057.80/1043.35	c cleaning 93996 clauses out of 188006 with flag 9472468/4577320
1091.08/1076.28	c cleaning 95002 clauses out of 190010 with flag 9670781/4673320
1124.98/1109.77	c cleaning 95998 clauses out of 192007 with flag 9869784/4770319
1162.03/1146.40	c cleaning 97005 clauses out of 194010 with flag 10072052/4868320
1201.56/1185.48	c cleaning 97999 clauses out of 196005 with flag 10277093/4967320
1241.24/1224.63	c cleaning 98999 clauses out of 198007 with flag 10483875/5067321
1280.61/1263.63	c cleaning 100000 clauses out of 200006 with flag 10693219/5168319
1319.36/1301.78	c cleaning 100998 clauses out of 202006 with flag 10904305/5270319
1357.32/1339.37	c cleaning 102001 clauses out of 204008 with flag 11117840/5373319
1397.76/1379.22	c cleaning 102999 clauses out of 206009 with flag 11332405/5477321
1436.57/1417.63	c cleaning 104002 clauses out of 208008 with flag 11549396/5582319
1479.34/1459.96	c cleaning 105000 clauses out of 210007 with flag 11768177/5688320
1525.14/1505.25	c cleaning 105998 clauses out of 212006 with flag 11989260/5795319
1565.20/1544.52	c cleaning 107001 clauses out of 214008 with flag 12212458/5903319
1601.10/1579.92	c cleaning 107997 clauses out of 216007 with flag 12437194/6012319
1637.63/1616.14	c cleaning 109002 clauses out of 218010 with flag 12664286/6122319
1675.73/1653.72	c cleaning 110001 clauses out of 220008 with flag 12894515/6233319
1719.36/1696.85	c cleaning 110993 clauses out of 222007 with flag 13125654/6345319
1764.34/1741.38	c cleaning 112003 clauses out of 224014 with flag 13359133/6458319
1798.94/1775.32	c cleaning 113000 clauses out of 226013 with flag 13594407/6572321
1800.06/1776.40	c starts		: 2738
1800.06/1776.40	c conflicts		: 6580348
1800.06/1776.40	c decisions		: 8284542
1800.06/1776.40	c propagations		: 37918149
1800.06/1776.40	c inspects		: 23986304012
1800.06/1776.40	c shortcuts		: 0
1800.06/1776.40	c learnt literals	: 0
1800.06/1776.40	c learnt binary clauses	: 0
1800.06/1776.40	c learnt ternary clauses	: 0
1800.06/1776.40	c learnt constraints	: 6580349
1800.06/1776.40	c ignored constraints	: 0
1800.06/1776.40	c root simplifications	: 0
1800.06/1776.40	c removed literals (reason simplification)	: 0
1800.06/1776.40	c reason swapping (by a shorter reason)	: 0
1800.06/1776.40	c Calls to reduceDB	: 114
1800.06/1776.40	c Number of update (reduction) of LBD	: 180505
1800.06/1776.40	c Imported unit clauses	: 0
1800.06/1776.40	c number of reductions to clauses (during analyze)	: 0
1800.06/1776.40	c number of learned constraints concerned by reduction	: 0
1800.06/1776.40	c number of learning phase by resolution	: 0
1800.06/1776.40	c number of learning phase by cutting planes	: 0
1800.06/1776.40	c speed (assignments/second)	: 21352.797876779558
1800.06/1776.40	c non guided choices	0
1800.06/1776.43	c learnt constraints type 
1800.06/1776.43	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 121041
1800.06/1776.43	s SATISFIABLE
1800.06/1776.43	c Found 5 solution(s)
1800.06/1776.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 -x495 -x496 x497 x498 -x499 -x500 
1800.06/1776.43	c objective function=-55
1800.06/1776.43	c Total wall clock time (in seconds): 1776.32

Verifier Data 

OK	-55

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-4085873-1465259003/watcher-4085873-1465259003 -o /tmp/evaluation-result-4085873-1465259003/solver-4085873-1465259003 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node115-1465253623-5697 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4085873-1465259003.opb 

pid=6250
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.01 2.12 2.15 3/194 6253
/proc/meminfo: memFree=28946176/32872528 swapFree=13072/1184284
[pid=6253] ppid=6250 vsize=2500 CPUtime=0 cores=1,3,5,7
/proc/6253/stat : 6253 (java) D 6250 6253 5680 0 -1 4202496 376 0 0 0 0 0 0 0 20 0 1 0 107834992 2560000 46 33554432000 1073741824 1073778376 140737247024224 140737247021352 271778409767 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/6253/statm: 625 46 37 9 0 29 0

[startup+0.10014 s]
/proc/loadavg: 2.01 2.12 2.15 3/194 6253
/proc/meminfo: memFree=28946176/32872528 swapFree=13072/1184284
[pid=6253] ppid=6250 vsize=9558476 CPUtime=0.08 cores=1,3,5,7
/proc/6253/stat : 6253 (java) S 6250 6253 5680 0 -1 4202496 4412 0 1 0 8 0 0 0 20 0 18 0 107834992 9787879424 6040 33554432000 1073741824 1073778376 140737247024224 140737247015360 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6253/statm: 2389619 6040 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558476

[startup+0.20022 s]
/proc/loadavg: 2.01 2.12 2.15 3/194 6253
/proc/meminfo: memFree=28946176/32872528 swapFree=13072/1184284
[pid=6253] ppid=6250 vsize=9558476 CPUtime=0.23 cores=1,3,5,7
/proc/6253/stat : 6253 (java) S 6250 6253 5680 0 -1 4202496 4681 0 1 0 22 1 0 0 20 0 18 0 107834992 9787879424 6760 33554432000 1073741824 1073778376 140737247024224 140737247015360 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6253/statm: 2389619 6760 2199 9 0 2380296 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 9558476

[startup+0.300226 s]
/proc/loadavg: 2.01 2.12 2.15 3/194 6253
/proc/meminfo: memFree=28946176/32872528 swapFree=13072/1184284
[pid=6253] ppid=6250 vsize=9558476 CPUtime=0.45 cores=1,3,5,7
/proc/6253/stat : 6253 (java) S 6250 6253 5680 0 -1 4202496 5672 0 1 0 44 1 0 0 20 0 18 0 107834992 9787879424 8950 33554432000 1073741824 1073778376 140737247024224 140737247015360 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6253/statm: 2389619 8950 2237 9 0 2380296 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 9558476

[startup+0.700177 s]
/proc/loadavg: 2.01 2.12 2.15 3/194 6253
/proc/meminfo: memFree=28946176/32872528 swapFree=13072/1184284
[pid=6253] ppid=6250 vsize=9625040 CPUtime=1.64 cores=1,3,5,7
/proc/6253/stat : 6253 (java) S 6250 6253 5680 0 -1 4202496 29075 0 1 0 159 5 0 0 20 0 19 0 107834992 9856040960 30303 33554432000 1073741824 1073778376 140737247024224 140737247015360 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6253/statm: 2406260 30303 2262 9 0 2396937 0
Current children cumulated CPU time (s) 1.64
Current children cumulated vsize (KiB) 9625040

[startup+1.50071 s]
/proc/loadavg: 2.17 2.15 2.16 6/192 6287
/proc/meminfo: memFree=30719684/32872528 swapFree=13072/1184284
[pid=6253] ppid=6250 vsize=9625040 CPUtime=3.57 cores=1,3,5,7
/proc/6253/stat : 6253 (java) S 6250 6253 5680 0 -1 4202496 35568 0 1 0 351 6 0 0 20 0 19 0 107834992 9856040960 35846 33554432000 1073741824 1073778376 140737247024224 140737247015360 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6253/statm: 2406260 35846 2273 9 0 2396937 0
[pid=6253/tid=6255] ppid=6250 vsize=9625040 CPUtime=1.46 cores=1,3,5,7
/proc/6253/task/6255/stat : 6255 (java) R 6250 6253 5680 0 -1 4202560 2457 0 1 0 145 1 0 0 20 0 19 0 107834993 9856040960 35846 33554432000 1073741824 1073778376 140737247024224 140286457651504 140286331036574 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=6253/tid=6256] ppid=6250 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6253/task/6256/stat : 6256 (java) S 6250 6253 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107834994 9856040960 35846 33554432000 1073741824 1073778376 140737247024224 140286301567400 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6253/tid=6257] ppid=6250 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6253/task/6257/stat : 6257 (java) S 6250 6253 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107834994 9856040960 35846 33554432000 1073741824 1073778376 140737247024224 140286300514856 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6253/tid=6258] ppid=6250 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6253/task/6258/stat : 6258 (java) S 6250 6253 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107834994 9856040960 35846 33554432000 1073741824 1073778376 140737247024224 140286299461800 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6253/tid=6259] ppid=6250 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6253/task/6259/stat : 6259 (java) S 6250 6253 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107834994 9856040960 35846 33554432000 1073741824 1073778376 140737247024224 140286298409256 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6253/tid=6260] ppid=6250 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6253/task/6260/stat : 6260 (java) S 6250 6253 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107834994 9856040960 35846 33554432000 1073741824 1073778376 140737247024224 140286297357224 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6253/tid=6261] ppid=6250 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6253/task/6261/stat : 6261 (java) S 6250 6253 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107834994 9856040960 35846 33554432000 1073741824 1073778376 140737247024224 140286296304680 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6253/tid=6262] ppid=6250 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6253/task/6262/stat : 6262 (java) S 6250 6253 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107834994 9856040960 35846 33554432000 1073741824 1073778376 140737247024224 140286295251624 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6253/tid=6263] ppid=6250 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6253/task/6263/stat : 6263 (java) S 6250 6253 5680 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 107834994 9856040960 35846 33554432000 1073741824 1073778376 140737247024224 140286294199080 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6253/tid=6264] ppid=6250 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6253/task/6264/stat : 6264 (java) S 6250 6253 5680 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 107834995 9856040960 35846 33554432000 1073741824 1073778376 140737247024224 140286281787752 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6253/tid=6265] ppid=6250 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6253/task/6265/stat : 6265 (java) S 6250 6253 5680 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 107834995 9856040960 35846 33554432000 1073741824 1073778376 140737247024224 140286280734072 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6253/tid=6266] ppid=6250 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6253/task/6266/stat : 6266 (java) S 6250 6253 5680 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 107834995 9856040960 35846 33554432000 1073741824 1073778376 140737247024224 140286279680904 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6253/tid=6267] ppid=6250 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6253/task/6267/stat : 6267 (java) S 6250 6253 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107834998 9856040960 35846 33554432000 1073741824 1073778376 140737247024224 140286278629648 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6253/tid=6268] ppid=6250 vsize=9625040 CPUtime=1.03 cores=1,3,5,7
/proc/6253/task/6268/stat : 6268 (java) S 6250 6253 5680 0 -1 4202560 13807 0 0 0 100 3 0 0 20 0 19 0 107834998 9856040960 35846 33554432000 1073741824 1073778376 140737247024224 140286277577528 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6253/tid=6269] ppid=6250 vsize=9625040 CPUtime=1.05 cores=1,3,5,7
/proc/6253/task/6269/stat : 6269 (java) S 6250 6253 5680 0 -1 4202560 18026 0 0 0 102 3 0 0 20 0 19 0 107834998 9856040960 35846 33554432000 1073741824 1073778376 140737247024224 140286276524984 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6253/tid=6270] ppid=6250 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6253/task/6270/stat : 6270 (java) S 6250 6253 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107834998 9856040960 35846 33554432000 1073741824 1073778376 140737247024224 140286275472120 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6253/tid=6271] ppid=6250 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6253/task/6271/stat : 6271 (java) S 6250 6253 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107834998 9856040960 35846 33554432000 1073741824 1073778376 140737247024224 140286274419784 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6253/tid=6272] ppid=6250 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6253/task/6272/stat : 6272 (java) S 6250 6253 5680 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 107835053 9856040960 35846 33554432000 1073741824 1073778376 140737247024224 140286273365032 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.57
Current children cumulated vsize (KiB) 9625040

[startup+3.10082 s]
/proc/loadavg: 2.17 2.15 2.16 3/213 6338
/proc/meminfo: memFree=30658272/32872528 swapFree=13072/1184284
[pid=6253] ppid=6250 vsize=9625040 CPUtime=5.3 cores=1,3,5,7
/proc/6253/stat : 6253 (java) S 6250 6253 5680 0 -1 4202496 35595 0 1 0 523 7 0 0 20 0 19 0 107834992 9856040960 45580 33554432000 1073741824 1073778376 140737247024224 140737247015360 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6253/statm: 2406260 45580 2278 9 0 2396937 0
[pid=6253/tid=6255] ppid=6250 vsize=9625040 CPUtime=3.06 cores=1,3,5,7
/proc/6253/task/6255/stat : 6255 (java) R 6250 6253 5680 0 -1 4202560 2478 0 1 0 305 1 0 0 20 0 19 0 107834993 9856040960 45580 33554432000 1073741824 1073778376 140737247024224 140286457657848 140286331036816 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=6253/tid=6256] ppid=6250 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6253/task/6256/stat : 6256 (java) S 6250 6253 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107834994 9856040960 45580 33554432000 1073741824 1073778376 140737247024224 140286301567400 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6253/tid=6257] ppid=6250 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6253/task/6257/stat : 6257 (java) S 6250 6253 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107834994 9856040960 45580 33554432000 1073741824 1073778376 140737247024224 140286300514856 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6253/tid=6258] ppid=6250 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6253/task/6258/stat : 6258 (java) S 6250 6253 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107834994 9856040960 45580 33554432000 1073741824 1073778376 140737247024224 140286299461800 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6253/tid=6259] ppid=6250 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6253/task/6259/stat : 6259 (java) S 6250 6253 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107834994 9856040960 45580 33554432000 1073741824 1073778376 140737247024224 140286298409256 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6253/tid=6260] ppid=6250 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6253/task/6260/stat : 6260 (java) S 6250 6253 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107834994 9856040960 45580 33554432000 1073741824 1073778376 140737247024224 140286297357224 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6253/tid=6261] ppid=6250 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6253/task/6261/stat : 6261 (java) S 6250 6253 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107834994 9856040960 45580 33554432000 1073741824 1073778376 140737247024224 140286296304680 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6253/tid=6262] ppid=6250 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6253/task/6262/stat : 6262 (java) S 6250 6253 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107834994 9856040960 45580 33554432000 1073741824 1073778376 140737247024224 140286295251624 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6253/tid=6263] ppid=6250 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6253/task/6263/stat : 6263 (java) S 6250 6253 5680 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 107834994 9856040960 45580 33554432000 1073741824 1073778376 140737247024224 140286294199080 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6253/tid=6264] ppid=6250 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6253/task/6264/stat : 6264 (java) S 6250 6253 5680 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 107834995 9856040960 45580 33554432000 1073741824 1073778376 140737247024224 140286281787752 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6253/tid=6265] ppid=6250 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6253/task/6265/stat : 6265 (java) S 6250 6253 5680 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 107834995 9856040960 45580 33554432000 1073741824 1073778376 140737247024224 140286280734072 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6253/tid=6266] ppid=6250 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6253/task/6266/stat : 6266 (java) S 6250 6253 5680 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 107834995 9856040960 45580 33554432000 1073741824 1073778376 140737247024224 140286279680904 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6253/tid=6267] ppid=6250 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6253/task/6267/stat : 6267 (java) S 6250 6253 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107834998 9856040960 45580 33554432000 1073741824 1073778376 140737247024224 140286278629648 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6253/tid=6268] ppid=6250 vsize=9625040 CPUtime=1.14 cores=1,3,5,7
/proc/6253/task/6268/stat : 6268 (java) S 6250 6253 5680 0 -1 4202560 13807 0 0 0 111 3 0 0 20 0 19 0 107834998 9856040960 45580 33554432000 1073741824 1073778376 140737247024224 140286277577528 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6253/tid=6269] ppid=6250 vsize=9625040 CPUtime=1.06 cores=1,3,5,7
/proc/6253/task/6269/stat : 6269 (java) S 6250 6253 5680 0 -1 4202560 18031 0 0 0 103 3 0 0 20 0 19 0 107834998 9856040960 45580 33554432000 1073741824 1073778376 140737247024224 140286276524984 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6253/tid=6270] ppid=6250 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6253/task/6270/stat : 6270 (java) S 6250 6253 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107834998 9856040960 45580 33554432000 1073741824 1073778376 140737247024224 140286275472120 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6253/tid=6271] ppid=6250 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6253/task/6271/stat : 6271 (java) S 6250 6253 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107834998 9856040960 45580 33554432000 1073741824 1073778376 140737247024224 140286274419784 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6253/tid=6272] ppid=6250 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6253/task/6272/stat : 6272 (java) S 6250 6253 5680 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 107835053 9856040960 45580 33554432000 1073741824 1073778376 140737247024224 140286273365032 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 5.3
Current children cumulated vsize (KiB) 9625040

[startup+6.30089 s]
/proc/loadavg: 2.17 2.15 2.16 3/213 6338
/proc/meminfo: memFree=30573080/32872528 swapFree=13072/1184284
[pid=6253] ppid=6250 vsize=9625040 CPUtime=8.72 cores=1,3,5,7
/proc/6253/stat : 6253 (java) S 6250 6253 5680 0 -1 4202496 35799 0 1 0 861 11 0 0 20 0 19 0 107834992 9856040960 62886 33554432000 1073741824 1073778376 140737247024224 140737247015360 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6253/statm: 2406260 62886 2291 9 0 2396937 0
[pid=6253/tid=6255] ppid=6250 vsize=9625040 CPUtime=6.24 cores=1,3,5,7
/proc/6253/task/6255/stat : 6255 (java) R 6250 6253 5680 0 -1 4202560 2509 0 1 0 621 3 0 0 20 0 19 0 107834993 9856040960 62886 33554432000 1073741824 1073778376 140737247024224 140286457658664 140286330838735 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=6253/tid=6256] ppid=6250 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6253/task/6256/stat : 6256 (java) S 6250 6253 5680 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 107834994 9856040960 62886 33554432000 1073741824 1073778376 140737247024224 140286301567400 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6253/tid=6257] ppid=6250 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6253/task/6257/stat : 6257 (java) S 6250 6253 5680 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 107834994 9856040960 62886 33554432000 1073741824 1073778376 140737247024224 140286300514856 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6253/tid=6258] ppid=6250 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6253/task/6258/stat : 6258 (java) S 6250 6253 5680 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 107834994 9856040960 62886 33554432000 1073741824 1073778376 140737247024224 140286299461800 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6253/tid=6259] ppid=6250 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/6253/task/6259/stat : 6259 (java) S 6250 6253 5680 0 -1 4202560 19 0 0 0 1 0 0 0 20 0 19 0 107834994 9856040960 62886 33554432000 1073741824 1073778376 140737247024224 140286298409256 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6253/tid=6260] ppid=6250 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6253/task/6260/stat : 6260 (java) S 6250 6253 5680 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 107834994 9856040960 62886 33554432000 1073741824 1073778376 140737247024224 140286297357224 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6253/tid=6261] ppid=6250 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6253/task/6261/stat : 6261 (java) S 6250 6253 5680 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 107834994 9856040960 62886 33554432000 1073741824 1073778376 140737247024224 140286296304680 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6253/tid=6262] ppid=6250 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6253/task/6262/stat : 6262 (java) S 6250 6253 5680 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 107834994 9856040960 62886 33554432000 1073741824 1073778376 140737247024224 140286295251624 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6253/tid=6263] ppid=6250 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6253/task/6263/stat : 6263 (java) S 6250 6253 5680 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 107834994 9856040960 62886 33554432000 1073741824 1073778376 140737247024224 140286294199080 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6253/tid=6264] ppid=6250 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6253/task/6264/stat : 6264 (java) S 6250 6253 5680 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 107834995 9856040960 62886 33554432000 1073741824 1073778376 140737247024224 140286281787752 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6253/tid=6265] ppid=6250 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6253/task/6265/stat : 6265 (java) S 6250 6253 5680 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 107834995 9856040960 62886 33554432000 1073741824 1073778376 140737247024224 140286280734072 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6253/tid=6266] ppid=6250 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6253/task/6266/stat : 6266 (java) S 6250 6253 5680 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 107834995 9856040960 62886 33554432000 1073741824 1073778376 140737247024224 140286279680904 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6253/tid=6267] ppid=6250 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6253/task/6267/stat : 6267 (java) S 6250 6253 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107834998 9856040960 62886 33554432000 1073741824 1073778376 140737247024224 140286278629648 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6253/tid=6268] ppid=6250 vsize=9625040 CPUtime=1.22 cores=1,3,5,7
/proc/6253/task/6268/stat : 6268 (java) S 6250 6253 5680 0 -1 4202560 13807 0 0 0 119 3 0 0 20 0 19 0 107834998 9856040960 62886 33554432000 1073741824 1073778376 140737247024224 140286277577528 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6253/tid=6269] ppid=6250 vsize=9625040 CPUtime=1.14 cores=1,3,5,7
/proc/6253/task/6269/stat : 6269 (java) S 6250 6253 5680 0 -1 4202560 18140 0 0 0 111 3 0 0 20 0 19 0 107834998 9856040960 62886 33554432000 1073741824 1073778376 140737247024224 140286276524984 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6253/tid=6270] ppid=6250 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6253/task/6270/stat : 6270 (java) S 6250 6253 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107834998 9856040960 62886 33554432000 1073741824 1073778376 140737247024224 140286275472120 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6253/tid=6271] ppid=6250 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6253/task/6271/stat : 6271 (java) S 6250 6253 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107834998 9856040960 62886 33554432000 1073741824 1073778376 140737247024224 140286274419784 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6253/tid=6272] ppid=6250 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6253/task/6272/stat : 6272 (java) S 6250 6253 5680 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 107835053 9856040960 62886 33554432000 1073741824 1073778376 140737247024224 140286273365032 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 8.72
Current children cumulated vsize (KiB) 9625040


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

[pid=6253/tid=6265] ppid=6250 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6253/task/6265/stat : 6265 (java) S 6250 6253 5680 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 107834995 9856040960 178673 33554432000 1073741824 1073778376 140737247024224 140286280734072 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6253/tid=6266] ppid=6250 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6253/task/6266/stat : 6266 (java) S 6250 6253 5680 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 107834995 9856040960 178673 33554432000 1073741824 1073778376 140737247024224 140286279680904 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6253/tid=6267] ppid=6250 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6253/task/6267/stat : 6267 (java) S 6250 6253 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107834998 9856040960 178673 33554432000 1073741824 1073778376 140737247024224 140286278629648 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6253/tid=6268] ppid=6250 vsize=9625040 CPUtime=1.24 cores=1,3,5,7
/proc/6253/task/6268/stat : 6268 (java) S 6250 6253 5680 0 -1 4202560 13810 0 0 0 121 3 0 0 20 0 19 0 107834998 9856040960 178673 33554432000 1073741824 1073778376 140737247024224 140286277577528 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6253/tid=6269] ppid=6250 vsize=9625040 CPUtime=1.14 cores=1,3,5,7
/proc/6253/task/6269/stat : 6269 (java) S 6250 6253 5680 0 -1 4202560 18140 0 0 0 111 3 0 0 20 0 19 0 107834998 9856040960 178673 33554432000 1073741824 1073778376 140737247024224 140286276524984 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6253/tid=6270] ppid=6250 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6253/task/6270/stat : 6270 (java) S 6250 6253 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107834998 9856040960 178673 33554432000 1073741824 1073778376 140737247024224 140286275472120 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6253/tid=6271] ppid=6250 vsize=9625040 CPUtime=0.62 cores=1,3,5,7
/proc/6253/task/6271/stat : 6271 (java) S 6250 6253 5680 0 -1 4202560 93 0 0 0 25 37 0 0 20 0 19 0 107834998 9856040960 178673 33554432000 1073741824 1073778376 140737247024224 140286274419784 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6253/tid=6272] ppid=6250 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6253/task/6272/stat : 6272 (java) S 6250 6253 5680 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 107835053 9856040960 178673 33554432000 1073741824 1073778376 140737247024224 140286273365032 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1623.77
Current children cumulated vsize (KiB) 9625040

[startup+1662.3 s]
/proc/loadavg: 2.11 2.15 2.16 3/212 6380
/proc/meminfo: memFree=29515588/32872528 swapFree=13072/1184284
[pid=6253] ppid=6250 vsize=9625040 CPUtime=1684.46 cores=1,3,5,7
/proc/6253/stat : 6253 (java) S 6250 6253 5680 0 -1 4202496 56634 0 1 0 168223 223 0 0 20 0 19 0 107834992 9856040960 187273 33554432000 1073741824 1073778376 140737247024224 140737247015360 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6253/statm: 2406260 187273 2300 9 0 2396937 0
[pid=6253/tid=6255] ppid=6250 vsize=9625040 CPUtime=1647.76 cores=1,3,5,7
/proc/6253/task/6255/stat : 6255 (java) R 6250 6253 5680 0 -1 4202560 2866 0 1 0 164744 32 0 0 20 0 19 0 107834993 9856040960 187273 33554432000 1073741824 1073778376 140737247024224 140286457658576 140286331175099 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=6253/tid=6256] ppid=6250 vsize=9625040 CPUtime=3.42 cores=1,3,5,7
/proc/6253/task/6256/stat : 6256 (java) S 6250 6253 5680 0 -1 4202560 2514 0 0 0 324 18 0 0 20 0 19 0 107834994 9856040960 187273 33554432000 1073741824 1073778376 140737247024224 140286301567400 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6253/tid=6257] ppid=6250 vsize=9625040 CPUtime=3.37 cores=1,3,5,7
/proc/6253/task/6257/stat : 6257 (java) S 6250 6253 5680 0 -1 4202560 2348 0 0 0 317 20 0 0 20 0 19 0 107834994 9856040960 187273 33554432000 1073741824 1073778376 140737247024224 140286300514856 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6253/tid=6258] ppid=6250 vsize=9625040 CPUtime=3.59 cores=1,3,5,7
/proc/6253/task/6258/stat : 6258 (java) S 6250 6253 5680 0 -1 4202560 1795 0 0 0 335 24 0 0 20 0 19 0 107834994 9856040960 187273 33554432000 1073741824 1073778376 140737247024224 140286299461800 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6253/tid=6259] ppid=6250 vsize=9625040 CPUtime=3.31 cores=1,3,5,7
/proc/6253/task/6259/stat : 6259 (java) S 6250 6253 5680 0 -1 4202560 2230 0 0 0 314 17 0 0 20 0 19 0 107834994 9856040960 187273 33554432000 1073741824 1073778376 140737247024224 140286298409256 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6253/tid=6260] ppid=6250 vsize=9625040 CPUtime=3.41 cores=1,3,5,7
/proc/6253/task/6260/stat : 6260 (java) S 6250 6253 5680 0 -1 4202560 2089 0 0 0 317 24 0 0 20 0 19 0 107834994 9856040960 187273 33554432000 1073741824 1073778376 140737247024224 140286297357224 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6253/tid=6261] ppid=6250 vsize=9625040 CPUtime=3.63 cores=1,3,5,7
/proc/6253/task/6261/stat : 6261 (java) S 6250 6253 5680 0 -1 4202560 3712 0 0 0 337 26 0 0 20 0 19 0 107834994 9856040960 187273 33554432000 1073741824 1073778376 140737247024224 140286296304680 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6253/tid=6262] ppid=6250 vsize=9625040 CPUtime=3.46 cores=1,3,5,7
/proc/6253/task/6262/stat : 6262 (java) S 6250 6253 5680 0 -1 4202560 2248 0 0 0 325 21 0 0 20 0 19 0 107834994 9856040960 187273 33554432000 1073741824 1073778376 140737247024224 140286295251624 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6253/tid=6263] ppid=6250 vsize=9625040 CPUtime=3.36 cores=1,3,5,7
/proc/6253/task/6263/stat : 6263 (java) S 6250 6253 5680 0 -1 4202560 1959 0 0 0 311 25 0 0 20 0 19 0 107834994 9856040960 187273 33554432000 1073741824 1073778376 140737247024224 140286294199080 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6253/tid=6264] ppid=6250 vsize=9625040 CPUtime=6.49 cores=1,3,5,7
/proc/6253/task/6264/stat : 6264 (java) S 6250 6253 5680 0 -1 4202560 1563 0 0 0 642 7 0 0 20 0 19 0 107834995 9856040960 187273 33554432000 1073741824 1073778376 140737247024224 140286281787752 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6253/tid=6265] ppid=6250 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6253/task/6265/stat : 6265 (java) S 6250 6253 5680 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 107834995 9856040960 187273 33554432000 1073741824 1073778376 140737247024224 140286280734072 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6253/tid=6266] ppid=6250 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6253/task/6266/stat : 6266 (java) S 6250 6253 5680 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 107834995 9856040960 187273 33554432000 1073741824 1073778376 140737247024224 140286279680904 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6253/tid=6267] ppid=6250 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6253/task/6267/stat : 6267 (java) S 6250 6253 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107834998 9856040960 187273 33554432000 1073741824 1073778376 140737247024224 140286278629648 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6253/tid=6268] ppid=6250 vsize=9625040 CPUtime=1.24 cores=1,3,5,7
/proc/6253/task/6268/stat : 6268 (java) S 6250 6253 5680 0 -1 4202560 13810 0 0 0 121 3 0 0 20 0 19 0 107834998 9856040960 187273 33554432000 1073741824 1073778376 140737247024224 140286277577528 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6253/tid=6269] ppid=6250 vsize=9625040 CPUtime=1.14 cores=1,3,5,7
/proc/6253/task/6269/stat : 6269 (java) S 6250 6253 5680 0 -1 4202560 18140 0 0 0 111 3 0 0 20 0 19 0 107834998 9856040960 187273 33554432000 1073741824 1073778376 140737247024224 140286276524984 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6253/tid=6270] ppid=6250 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6253/task/6270/stat : 6270 (java) S 6250 6253 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107834998 9856040960 187273 33554432000 1073741824 1073778376 140737247024224 140286275472120 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6253/tid=6271] ppid=6250 vsize=9625040 CPUtime=0.64 cores=1,3,5,7
/proc/6253/task/6271/stat : 6271 (java) S 6250 6253 5680 0 -1 4202560 95 0 0 0 27 37 0 0 20 0 19 0 107834998 9856040960 187273 33554432000 1073741824 1073778376 140737247024224 140286274419784 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6253/tid=6272] ppid=6250 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6253/task/6272/stat : 6272 (java) S 6250 6253 5680 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 107835053 9856040960 187273 33554432000 1073741824 1073778376 140737247024224 140286273365032 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1684.46
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.09 2.13 2.15 3/213 6382
/proc/meminfo: memFree=29470968/32872528 swapFree=13072/1184284
[pid=6253] ppid=6250 vsize=9625040 CPUtime=1745.22 cores=1,3,5,7
/proc/6253/stat : 6253 (java) S 6250 6253 5680 0 -1 4202496 56793 0 1 0 174292 230 0 0 20 0 19 0 107834992 9856040960 198311 33554432000 1073741824 1073778376 140737247024224 140737247015360 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6253/statm: 2406260 198311 2300 9 0 2396937 0
[pid=6253/tid=6255] ppid=6250 vsize=9625040 CPUtime=1707.29 cores=1,3,5,7
/proc/6253/task/6255/stat : 6255 (java) R 6250 6253 5680 0 -1 4202560 2878 0 1 0 170697 32 0 0 20 0 19 0 107834993 9856040960 198311 33554432000 1073741824 1073778376 140737247024224 140286457658576 140286331175099 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=6253/tid=6256] ppid=6250 vsize=9625040 CPUtime=3.5 cores=1,3,5,7
/proc/6253/task/6256/stat : 6256 (java) S 6250 6253 5680 0 -1 4202560 2519 0 0 0 331 19 0 0 20 0 19 0 107834994 9856040960 198311 33554432000 1073741824 1073778376 140737247024224 140286301567400 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6253/tid=6257] ppid=6250 vsize=9625040 CPUtime=3.45 cores=1,3,5,7
/proc/6253/task/6257/stat : 6257 (java) S 6250 6253 5680 0 -1 4202560 2362 0 0 0 324 21 0 0 20 0 19 0 107834994 9856040960 198311 33554432000 1073741824 1073778376 140737247024224 140286300514856 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6253/tid=6258] ppid=6250 vsize=9625040 CPUtime=3.75 cores=1,3,5,7
/proc/6253/task/6258/stat : 6258 (java) S 6250 6253 5680 0 -1 4202560 1814 0 0 0 349 26 0 0 20 0 19 0 107834994 9856040960 198311 33554432000 1073741824 1073778376 140737247024224 140286299461800 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6253/tid=6259] ppid=6250 vsize=9625040 CPUtime=3.48 cores=1,3,5,7
/proc/6253/task/6259/stat : 6259 (java) S 6250 6253 5680 0 -1 4202560 2237 0 0 0 331 17 0 0 20 0 19 0 107834994 9856040960 198311 33554432000 1073741824 1073778376 140737247024224 140286298409256 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6253/tid=6260] ppid=6250 vsize=9625040 CPUtime=3.54 cores=1,3,5,7
/proc/6253/task/6260/stat : 6260 (java) S 6250 6253 5680 0 -1 4202560 2111 0 0 0 329 25 0 0 20 0 19 0 107834994 9856040960 198311 33554432000 1073741824 1073778376 140737247024224 140286297357224 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6253/tid=6261] ppid=6250 vsize=9625040 CPUtime=3.78 cores=1,3,5,7
/proc/6253/task/6261/stat : 6261 (java) S 6250 6253 5680 0 -1 4202560 3728 0 0 0 351 27 0 0 20 0 19 0 107834994 9856040960 198311 33554432000 1073741824 1073778376 140737247024224 140286296304680 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6253/tid=6262] ppid=6250 vsize=9625040 CPUtime=3.6 cores=1,3,5,7
/proc/6253/task/6262/stat : 6262 (java) S 6250 6253 5680 0 -1 4202560 2254 0 0 0 339 21 0 0 20 0 19 0 107834994 9856040960 198311 33554432000 1073741824 1073778376 140737247024224 140286295251624 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6253/tid=6263] ppid=6250 vsize=9625040 CPUtime=3.48 cores=1,3,5,7
/proc/6253/task/6263/stat : 6263 (java) S 6250 6253 5680 0 -1 4202560 1969 0 0 0 323 25 0 0 20 0 19 0 107834994 9856040960 198311 33554432000 1073741824 1073778376 140737247024224 140286294199080 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6253/tid=6264] ppid=6250 vsize=9625040 CPUtime=6.68 cores=1,3,5,7
/proc/6253/task/6264/stat : 6264 (java) S 6250 6253 5680 0 -1 4202560 1607 0 0 0 661 7 0 0 20 0 19 0 107834995 9856040960 198311 33554432000 1073741824 1073778376 140737247024224 140286281787752 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6253/tid=6265] ppid=6250 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6253/task/6265/stat : 6265 (java) S 6250 6253 5680 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 107834995 9856040960 198311 33554432000 1073741824 1073778376 140737247024224 140286280734072 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6253/tid=6266] ppid=6250 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6253/task/6266/stat : 6266 (java) S 6250 6253 5680 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 107834995 9856040960 198311 33554432000 1073741824 1073778376 140737247024224 140286279680904 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6253/tid=6267] ppid=6250 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6253/task/6267/stat : 6267 (java) S 6250 6253 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107834998 9856040960 198311 33554432000 1073741824 1073778376 140737247024224 140286278629648 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6253/tid=6268] ppid=6250 vsize=9625040 CPUtime=1.24 cores=1,3,5,7
/proc/6253/task/6268/stat : 6268 (java) S 6250 6253 5680 0 -1 4202560 13810 0 0 0 121 3 0 0 20 0 19 0 107834998 9856040960 198311 33554432000 1073741824 1073778376 140737247024224 140286277577528 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6253/tid=6269] ppid=6250 vsize=9625040 CPUtime=1.14 cores=1,3,5,7
/proc/6253/task/6269/stat : 6269 (java) S 6250 6253 5680 0 -1 4202560 18140 0 0 0 111 3 0 0 20 0 19 0 107834998 9856040960 198311 33554432000 1073741824 1073778376 140737247024224 140286276524984 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6253/tid=6270] ppid=6250 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6253/task/6270/stat : 6270 (java) S 6250 6253 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107834998 9856040960 198311 33554432000 1073741824 1073778376 140737247024224 140286275472120 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6253/tid=6271] ppid=6250 vsize=9625040 CPUtime=0.67 cores=1,3,5,7
/proc/6253/task/6271/stat : 6271 (java) S 6250 6253 5680 0 -1 4202560 99 0 0 0 28 39 0 0 20 0 19 0 107834998 9856040960 198311 33554432000 1073741824 1073778376 140737247024224 140286274419784 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6253/tid=6272] ppid=6250 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6253/task/6272/stat : 6272 (java) S 6250 6253 5680 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 107835053 9856040960 198311 33554432000 1073741824 1073778376 140737247024224 140286273365032 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1745.22
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1776.4 s]
/proc/loadavg: 2.10 2.13 2.15 3/213 6383
/proc/meminfo: memFree=29449020/32872528 swapFree=13072/1184284
[pid=6253] ppid=6250 vsize=9625040 CPUtime=1800.06 cores=1,3,5,7
/proc/6253/stat : 6253 (java) S 6250 6253 5680 0 -1 4202496 57332 0 1 0 179771 235 0 0 20 0 19 0 107834992 9856040960 203870 33554432000 1073741824 1073778376 140737247024224 140737247015360 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6253/statm: 2406260 203870 2300 9 0 2396937 0
[pid=6253/tid=6255] ppid=6250 vsize=9625040 CPUtime=1760.64 cores=1,3,5,7
/proc/6253/task/6255/stat : 6255 (java) R 6250 6253 5680 0 -1 4202560 2894 0 1 0 176031 33 0 0 20 0 19 0 107834993 9856040960 203870 33554432000 1073741824 1073778376 140737247024224 140286457658576 140286331175099 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=6253/tid=6256] ppid=6250 vsize=9625040 CPUtime=3.64 cores=1,3,5,7
/proc/6253/task/6256/stat : 6256 (java) S 6250 6253 5680 0 -1 4202560 2735 0 0 0 345 19 0 0 20 0 19 0 107834994 9856040960 203870 33554432000 1073741824 1073778376 140737247024224 140286301567400 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6253/tid=6257] ppid=6250 vsize=9625040 CPUtime=3.62 cores=1,3,5,7
/proc/6253/task/6257/stat : 6257 (java) S 6250 6253 5680 0 -1 4202560 2370 0 0 0 340 22 0 0 20 0 19 0 107834994 9856040960 203870 33554432000 1073741824 1073778376 140737247024224 140286300514856 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6253/tid=6258] ppid=6250 vsize=9625040 CPUtime=3.86 cores=1,3,5,7
/proc/6253/task/6258/stat : 6258 (java) S 6250 6253 5680 0 -1 4202560 1818 0 0 0 360 26 0 0 20 0 19 0 107834994 9856040960 203870 33554432000 1073741824 1073778376 140737247024224 140286299461800 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6253/tid=6259] ppid=6250 vsize=9625040 CPUtime=3.6 cores=1,3,5,7
/proc/6253/task/6259/stat : 6259 (java) S 6250 6253 5680 0 -1 4202560 2268 0 0 0 342 18 0 0 20 0 19 0 107834994 9856040960 203870 33554432000 1073741824 1073778376 140737247024224 140286298409256 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6253/tid=6260] ppid=6250 vsize=9625040 CPUtime=3.67 cores=1,3,5,7
/proc/6253/task/6260/stat : 6260 (java) S 6250 6253 5680 0 -1 4202560 2141 0 0 0 342 25 0 0 20 0 19 0 107834994 9856040960 203870 33554432000 1073741824 1073778376 140737247024224 140286297357224 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6253/tid=6261] ppid=6250 vsize=9625040 CPUtime=3.94 cores=1,3,5,7
/proc/6253/task/6261/stat : 6261 (java) S 6250 6253 5680 0 -1 4202560 3937 0 0 0 367 27 0 0 20 0 19 0 107834994 9856040960 203870 33554432000 1073741824 1073778376 140737247024224 140286296304680 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6253/tid=6262] ppid=6250 vsize=9625040 CPUtime=3.72 cores=1,3,5,7
/proc/6253/task/6262/stat : 6262 (java) S 6250 6253 5680 0 -1 4202560 2256 0 0 0 351 21 0 0 20 0 19 0 107834994 9856040960 203870 33554432000 1073741824 1073778376 140737247024224 140286295251624 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6253/tid=6263] ppid=6250 vsize=9625040 CPUtime=3.57 cores=1,3,5,7
/proc/6253/task/6263/stat : 6263 (java) S 6250 6253 5680 0 -1 4202560 1969 0 0 0 332 25 0 0 20 0 19 0 107834994 9856040960 203870 33554432000 1073741824 1073778376 140737247024224 140286294199080 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6253/tid=6264] ppid=6250 vsize=9625040 CPUtime=7.14 cores=1,3,5,7
/proc/6253/task/6264/stat : 6264 (java) S 6250 6253 5680 0 -1 4202560 1626 0 0 0 707 7 0 0 20 0 19 0 107834995 9856040960 203870 33554432000 1073741824 1073778376 140737247024224 140286281787752 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6253/tid=6265] ppid=6250 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6253/task/6265/stat : 6265 (java) S 6250 6253 5680 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 107834995 9856040960 203870 33554432000 1073741824 1073778376 140737247024224 140286280734072 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6253/tid=6266] ppid=6250 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6253/task/6266/stat : 6266 (java) S 6250 6253 5680 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 107834995 9856040960 203870 33554432000 1073741824 1073778376 140737247024224 140286279680904 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6253/tid=6267] ppid=6250 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6253/task/6267/stat : 6267 (java) S 6250 6253 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107834998 9856040960 203870 33554432000 1073741824 1073778376 140737247024224 140286278629648 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6253/tid=6268] ppid=6250 vsize=9625040 CPUtime=1.24 cores=1,3,5,7
/proc/6253/task/6268/stat : 6268 (java) S 6250 6253 5680 0 -1 4202560 13810 0 0 0 121 3 0 0 20 0 19 0 107834998 9856040960 203870 33554432000 1073741824 1073778376 140737247024224 140286277577528 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6253/tid=6269] ppid=6250 vsize=9625040 CPUtime=1.14 cores=1,3,5,7
/proc/6253/task/6269/stat : 6269 (java) S 6250 6253 5680 0 -1 4202560 18140 0 0 0 111 3 0 0 20 0 19 0 107834998 9856040960 203870 33554432000 1073741824 1073778376 140737247024224 140286276524984 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6253/tid=6270] ppid=6250 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6253/task/6270/stat : 6270 (java) S 6250 6253 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107834998 9856040960 203870 33554432000 1073741824 1073778376 140737247024224 140286275472120 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6253/tid=6271] ppid=6250 vsize=9625040 CPUtime=0.69 cores=1,3,5,7
/proc/6253/task/6271/stat : 6271 (java) S 6250 6253 5680 0 -1 4202560 103 0 0 0 28 41 0 0 20 0 19 0 107834998 9856040960 203870 33554432000 1073741824 1073778376 140737247024224 140286274419784 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6253/tid=6272] ppid=6250 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6253/task/6272/stat : 6272 (java) S 6250 6253 5680 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 107835053 9856040960 203870 33554432000 1073741824 1073778376 140737247024224 140286273365032 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
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 6253 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 1776.44
CPU time (s): 1800.8
CPU user time (s): 1797.96
CPU system time (s): 2.84257
CPU usage (%): 101.371
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.96
system time used= 2.84257
maximum resident set size= 924876
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57367
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 50089
involuntary context switches= 59201

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.04708 second user time and 7.13991 second system time

The end

Launcher Data 

Begin job on node115 at 2016-06-07 02:23:23
IDJOB=4085873
IDBENCH=48215
IDSOLVER=2546
FILE ID=node115/4085873-1465259003
RUNJOBID= node115-1465253623-5697
PBS_JOBID= 19843266
Free space on /tmp= 71740 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_500_25_3.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4085873-1465259003/watcher-4085873-1465259003 -o /tmp/evaluation-result-4085873-1465259003/solver-4085873-1465259003 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node115-1465253623-5697 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4085873-1465259003.opb

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

MD5SUM BENCH= 04b0fb885ddf05bea62d9eda618b3e5b
RANDOM SEED=1422988405

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        28947348 kB
Buffers:           32688 kB
Cached:           101268 kB
SwapCached:         2032 kB
Active:          1949552 kB
Inactive:          79544 kB
Active(anon):    1895744 kB
Inactive(anon):     2032 kB
Active(file):      53808 kB
Inactive(file):    77512 kB
Unevictable:     1184284 kB
Mlocked:           13072 kB
SwapTotal:      67108856 kB
SwapFree:       67098756 kB
Dirty:               868 kB
Writeback:             0 kB
AnonPages:       3080244 kB
Mapped:            16288 kB
Shmem:                 0 kB
Slab:             571704 kB
SReclaimable:      15520 kB
SUnreclaim:       556184 kB
KernelStack:        1608 kB
PageTables:        10656 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3279576 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2967552 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= 71740 MiB
End job on node115 at 2016-06-07 02:52:59