Trace number 4118866

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)-48 1800.03 1783.64

General information on the benchmark

NamePB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/
opb/normalized-graphpart_2pm-0088-0888.lin.opb
MD5SUM0ee6a8b2f1275cd99eec0cf1bae9addf
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-55
Best CPU time to get the best result obtained on this benchmark0.075987
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables576
Total number of constraints832
Number of constraints which are clauses384
Number of constraints which are cardinality constraints (but not clauses)64
Number of constraints which are nor clauses,nor cardinality constraints384
Minimum length of a constraint3
Maximum length of a constraint3
Number of terms in the objective function 384
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 384
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 384
Number of bits of the biggest sum of numbers9
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.08/0.10	c version PB16.v20160501
0.08/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.08/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.08/0.10	c java.vm.version	19.1-b02
0.08/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.08/0.10	c sun.arch.data.model	64
0.08/0.10	c java.version		1.6.0_24
0.08/0.10	c os.name		Linux
0.08/0.10	c os.version		2.6.32-71.29.1.el6.x86_64
0.08/0.10	c os.arch		amd64
0.08/0.10	c Free memory 		501472288
0.08/0.10	c Max memory 		7480803328
0.08/0.10	c Total memory 		504102912
0.08/0.10	c Number of processors 	16
0.08/0.12	c Pseudo Boolean Optimization by upper bound
0.08/0.12	c --- Begin Solver configuration ---
0.08/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@4d47c5fc
0.08/0.12	c Learn all clauses as in MiniSAT
0.08/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.08/0.12	c No reason simplification
0.08/0.12	c Glucose 2.1 dynamic restart strategy
0.08/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.08/0.12	c timeout=2147483s
0.08/0.12	c DB Simplification allowed=false
0.08/0.12	c Listener: org.sat4j.minisat.core.VoidTracing@31d520c4
0.08/0.12	c --- End Solver configuration ---
0.08/0.12	c solving HOME/instance-4118866-1467236749.opb
0.08/0.12	c reading problem ... 
0.08/0.12	c  objective function found
0.23/0.22	c ... done. Wall clock time 0.103s.
0.23/0.22	c declared #vars     576
0.23/0.22	c #constraints  896
0.23/0.22	c constraints type 
0.23/0.22	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 448
0.23/0.22	c org.sat4j.minisat.constraints.card.MinWatchCard => 64
0.23/0.22	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 384
0.23/0.22	c 896 constraints processed.
0.23/0.22	c objective function length is 384 literals
0.23/0.24	c SATISFIABLE
0.23/0.24	c OPTIMIZING...
0.23/0.24	c Got one! Elapsed wall clock time (in seconds):0.115
0.23/0.24	o -43
0.23/0.25	c Got one! Elapsed wall clock time (in seconds):0.128
0.23/0.25	o -44
0.46/0.35	c Got one! Elapsed wall clock time (in seconds):0.231
0.46/0.35	o -45
0.70/0.42	c Got one! Elapsed wall clock time (in seconds):0.297
0.70/0.42	o -46
0.93/0.65	c cleaning 2767 clauses out of 5536 with flag 8467/5536
1.06/0.72	c Got one! Elapsed wall clock time (in seconds):0.597
1.06/0.72	o -47
1.06/0.78	c Got one! Elapsed wall clock time (in seconds):0.657
1.06/0.78	o -48
1.41/0.97	c cleaning 4192 clauses out of 8386 with flag 6414/11153
1.72/1.28	c cleaning 5095 clauses out of 10193 with flag 19394/17152
2.12/1.68	c cleaning 6042 clauses out of 12098 with flag 35188/24152
2.65/2.16	c cleaning 7026 clauses out of 14056 with flag 53035/32152
3.15/2.67	c cleaning 8016 clauses out of 16031 with flag 72930/41153
3.87/3.36	c cleaning 9001 clauses out of 18014 with flag 94906/51152
4.65/4.14	c cleaning 10007 clauses out of 20013 with flag 119226/62152
5.55/5.07	c cleaning 11004 clauses out of 22007 with flag 146359/74153
6.65/6.12	c cleaning 12001 clauses out of 24003 with flag 178535/87153
7.65/7.14	c cleaning 12997 clauses out of 26001 with flag 214579/101152
8.85/8.35	c cleaning 14000 clauses out of 28005 with flag 251452/116153
10.15/9.63	c cleaning 14998 clauses out of 30005 with flag 291873/132153
11.67/11.14	c cleaning 16001 clauses out of 32008 with flag 334396/149154
13.06/12.58	c cleaning 17001 clauses out of 34006 with flag 380901/167153
14.65/14.18	c cleaning 18000 clauses out of 36004 with flag 427709/186152
16.37/15.78	c cleaning 18999 clauses out of 38005 with flag 478463/206153
18.38/17.73	c cleaning 20004 clauses out of 40007 with flag 537283/227154
20.67/20.00	c cleaning 20996 clauses out of 42003 with flag 596969/249154
22.87/22.24	c cleaning 22001 clauses out of 44005 with flag 655091/272152
24.88/24.28	c cleaning 22998 clauses out of 46004 with flag 718896/296152
27.18/26.51	c cleaning 24003 clauses out of 48007 with flag 778584/321153
29.57/28.98	c cleaning 24999 clauses out of 50004 with flag 836887/347153
32.07/31.42	c cleaning 26001 clauses out of 52005 with flag 901175/374153
34.47/33.85	c cleaning 26993 clauses out of 54003 with flag 965310/402152
37.28/36.48	c cleaning 28006 clauses out of 56011 with flag 1036764/431153
40.27/39.43	c cleaning 28996 clauses out of 58004 with flag 1107264/461152
43.37/42.53	c cleaning 30002 clauses out of 60010 with flag 1178953/492154
46.17/45.39	c cleaning 31000 clauses out of 62006 with flag 1253722/524152
49.17/48.32	c cleaning 32001 clauses out of 64007 with flag 1331039/557153
53.17/52.33	c cleaning 33003 clauses out of 66005 with flag 1408491/591152
57.44/56.43	c cleaning 33999 clauses out of 68005 with flag 1485295/626155
61.33/60.34	c cleaning 34997 clauses out of 70003 with flag 1564133/662152
65.43/64.44	c cleaning 36004 clauses out of 72007 with flag 1649357/699153
69.83/68.82	c cleaning 36995 clauses out of 74002 with flag 1735873/737152
74.13/73.15	c cleaning 38002 clauses out of 76009 with flag 1825062/776154
80.13/79.11	c cleaning 38996 clauses out of 78005 with flag 1923245/816152
86.45/85.10	c cleaning 39997 clauses out of 80009 with flag 2028108/857152
93.25/91.98	c cleaning 41003 clauses out of 82013 with flag 2131881/899153
99.36/98.09	c cleaning 42002 clauses out of 84009 with flag 2229564/942152
105.55/104.23	c cleaning 43002 clauses out of 86007 with flag 2326787/986152
111.46/110.16	c cleaning 44003 clauses out of 88005 with flag 2425436/1031152
118.60/116.83	c cleaning 44996 clauses out of 90002 with flag 2533694/1077152
126.60/124.82	c cleaning 46003 clauses out of 92006 with flag 2648270/1124152
134.70/132.93	c cleaning 46998 clauses out of 94004 with flag 2768614/1172153
143.39/141.67	c cleaning 48001 clauses out of 96005 with flag 2892424/1221152
152.45/150.01	c cleaning 49004 clauses out of 98007 with flag 3012965/1271155
158.85/156.44	c cleaning 49997 clauses out of 100000 with flag 3128295/1322152
166.85/164.47	c cleaning 51003 clauses out of 102006 with flag 3242639/1374155
175.58/172.59	c cleaning 52000 clauses out of 104000 with flag 3360632/1427152
183.38/180.38	c cleaning 53002 clauses out of 106003 with flag 3480720/1481155
191.58/188.59	c cleaning 53998 clauses out of 107998 with flag 3619243/1536152
199.99/196.98	c cleaning 54993 clauses out of 110000 with flag 3751470/1592152
209.14/205.51	c cleaning 55999 clauses out of 112008 with flag 3876344/1649153
218.44/214.88	c cleaning 57001 clauses out of 114008 with flag 4006200/1707152
227.72/223.56	c cleaning 58001 clauses out of 116007 with flag 4146431/1766152
238.54/234.39	c cleaning 59003 clauses out of 118006 with flag 4290493/1826152
251.43/247.27	c cleaning 59997 clauses out of 120003 with flag 4439651/1887152
264.21/259.47	c cleaning 61000 clauses out of 122006 with flag 4587181/1949152
276.81/272.05	c cleaning 61999 clauses out of 124006 with flag 4740796/2012152
291.43/285.94	c cleaning 62999 clauses out of 126007 with flag 4898227/2076152
306.03/300.51	c cleaning 63997 clauses out of 128010 with flag 5065516/2141154
316.63/311.16	c cleaning 65005 clauses out of 130011 with flag 5212452/2207152
329.26/323.61	c cleaning 66001 clauses out of 132007 with flag 5367496/2274153
342.86/337.20	c cleaning 66998 clauses out of 134006 with flag 5523304/2342153
360.62/354.85	c cleaning 67998 clauses out of 136009 with flag 5700991/2411154
377.32/371.55	c cleaning 69002 clauses out of 138009 with flag 5861457/2481152
392.59/386.72	c cleaning 70003 clauses out of 140009 with flag 6026269/2552154
409.59/403.76	c cleaning 71002 clauses out of 142004 with flag 6201450/2624152
425.76/419.72	c cleaning 71994 clauses out of 144002 with flag 6377470/2697152
438.56/432.54	c cleaning 73001 clauses out of 146009 with flag 6558128/2771153
452.31/446.19	c cleaning 74001 clauses out of 148007 with flag 6735288/2846152
474.20/467.81	c cleaning 75000 clauses out of 150007 with flag 6909220/2922153
494.71/488.37	c cleaning 76002 clauses out of 152008 with flag 7098590/2999154
512.44/505.85	c cleaning 76998 clauses out of 154005 with flag 7294002/3077153
529.75/523.16	c cleaning 77998 clauses out of 156006 with flag 7493728/3156152
548.59/541.93	c cleaning 78999 clauses out of 158010 with flag 7692628/3236154
567.38/560.51	c cleaning 80000 clauses out of 160010 with flag 7886852/3317153
584.28/577.44	c cleaning 81003 clauses out of 162011 with flag 8092798/3399154
603.47/596.49	c cleaning 82003 clauses out of 164006 with flag 8290490/3482152
623.67/616.41	c cleaning 82999 clauses out of 166003 with flag 8495498/3566152
641.07/633.80	c cleaning 83997 clauses out of 168005 with flag 8702215/3651153
658.15/650.79	c cleaning 85001 clauses out of 170007 with flag 8919109/3737152
675.89/668.28	c cleaning 85997 clauses out of 172007 with flag 9143123/3824153
696.80/688.93	c cleaning 87000 clauses out of 174009 with flag 9354954/3912152
714.41/706.51	c cleaning 87998 clauses out of 176009 with flag 9574179/4001152
732.27/724.38	c cleaning 89001 clauses out of 178012 with flag 9790629/4091153
753.97/745.82	c cleaning 90001 clauses out of 180011 with flag 10006438/4182153
779.18/770.85	c cleaning 90997 clauses out of 182011 with flag 10238510/4274154
798.57/790.05	c cleaning 91999 clauses out of 184012 with flag 10476363/4367152
817.32/808.54	c cleaning 93001 clauses out of 186013 with flag 10721763/4461152
836.31/827.37	c cleaning 94003 clauses out of 188014 with flag 10965131/4556154
855.40/846.49	c cleaning 95002 clauses out of 190009 with flag 11208454/4652152
875.16/866.10	c cleaning 96002 clauses out of 192008 with flag 11453590/4749153
892.76/883.53	c cleaning 96999 clauses out of 194007 with flag 11702081/4847154
913.51/904.14	c cleaning 97997 clauses out of 196007 with flag 11953927/4946153
936.38/926.77	c cleaning 99000 clauses out of 198009 with flag 12199444/5046152
958.31/948.39	c cleaning 99996 clauses out of 200009 with flag 12443020/5147152
984.60/974.44	c cleaning 101006 clauses out of 202014 with flag 12688736/5249153
1016.68/1006.27	c cleaning 102001 clauses out of 204007 with flag 12941885/5352152
1047.21/1036.58	c cleaning 103000 clauses out of 206006 with flag 13196006/5456152
1081.65/1070.89	c cleaning 104004 clauses out of 208008 with flag 13450038/5561154
1123.16/1111.97	c cleaning 104998 clauses out of 210002 with flag 13715667/5667152
1151.46/1140.04	c cleaning 106004 clauses out of 212007 with flag 13983084/5774155
1181.98/1170.49	c cleaning 106995 clauses out of 214002 with flag 14261754/5882154
1213.08/1201.23	c cleaning 108001 clauses out of 216005 with flag 14538247/5991152
1249.31/1237.32	c cleaning 109002 clauses out of 218004 with flag 14831608/6101152
1279.15/1267.00	c cleaning 109996 clauses out of 220005 with flag 15113268/6212155
1305.35/1292.94	c cleaning 110997 clauses out of 222006 with flag 15372086/6324152
1343.48/1330.79	c cleaning 112000 clauses out of 224010 with flag 15629907/6437153
1372.31/1359.43	c cleaning 112999 clauses out of 226009 with flag 15898632/6551152
1413.38/1400.24	c cleaning 114002 clauses out of 228012 with flag 16170445/6666154
1447.21/1433.87	c cleaning 114997 clauses out of 230010 with flag 16445367/6782154
1482.65/1468.98	c cleaning 116001 clauses out of 232011 with flag 16718941/6899152
1523.84/1509.91	c cleaning 117001 clauses out of 234012 with flag 17008319/7017154
1564.77/1550.56	c cleaning 118004 clauses out of 236011 with flag 17306667/7136154
1603.16/1588.62	c cleaning 118998 clauses out of 238005 with flag 17618187/7256152
1640.45/1625.59	c cleaning 120001 clauses out of 240007 with flag 17911645/7377152
1677.47/1662.18	c cleaning 120996 clauses out of 242006 with flag 18210536/7499152
1716.00/1700.33	c cleaning 121997 clauses out of 244010 with flag 18509102/7622152
1754.78/1738.75	c cleaning 123002 clauses out of 246013 with flag 18802175/7746152
1796.64/1780.33	c cleaning 124004 clauses out of 248015 with flag 19089688/7871156
1800.03/1783.60	c starts		: 1539
1800.03/1783.60	c conflicts		: 7892204
1800.03/1783.60	c decisions		: 8893717
1800.03/1783.60	c propagations		: 476868133
1800.03/1783.60	c inspects		: 31459966816
1800.03/1783.60	c shortcuts		: 0
1800.03/1783.60	c learnt literals	: 0
1800.03/1783.60	c learnt binary clauses	: 0
1800.03/1783.60	c learnt ternary clauses	: 0
1800.03/1783.60	c learnt constraints	: 7892204
1800.03/1783.60	c ignored constraints	: 0
1800.03/1783.60	c root simplifications	: 0
1800.03/1783.60	c removed literals (reason simplification)	: 0
1800.03/1783.60	c reason swapping (by a shorter reason)	: 0
1800.03/1783.60	c Calls to reduceDB	: 122
1800.03/1783.60	c Number of update (reduction) of LBD	: 330944
1800.03/1783.60	c Imported unit clauses	: 0
1800.03/1783.60	c number of reductions to clauses (during analyze)	: 0
1800.03/1783.60	c number of learned constraints concerned by reduction	: 0
1800.03/1783.60	c number of learning phase by resolution	: 0
1800.03/1783.60	c number of learning phase by cutting planes	: 0
1800.03/1783.60	c speed (assignments/second)	: 267396.593759918
1800.03/1783.60	c non guided choices	2
1800.03/1783.63	c learnt constraints type 
1800.03/1783.63	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 145059
1800.03/1783.63	s SATISFIABLE
1800.03/1783.63	c Found 6 solution(s)
1800.03/1783.63	v x1 -x2 -x3 x4 -x5 -x6 x7 -x8 -x9 x10 -x11 -x12 x13 -x14 -x15 -x16 x17 -x18 -x19 -x20 x21 -x22 -x23 x24 x25 -x26 -x27 x28 -x29 -x30 -x31 x32 -x33 x34 -x35 -x36 -x37 x38 -x39 -x40 x41 -x42 x43 -x44 -x45 -x46 -x47 x48 x49 -x50 -x51 -x52 -x53 x54 -x55 -x56 x57 x58 -x59 -x60 -x61 x62 -x63 -x64 -x65 x66 x67 -x68 -x69 x70 -x71 -x72 -x73 -x74 x75 -x76 -x77 x78 -x79 -x80 x81 -x82 -x83 x84 -x85 x86 -x87 x88 -x89 -x90 x91 -x92 -x93 -x94 x95 -x96 -x97 -x98 x99 x100 -x101 -x102 -x103 x104 -x105 x106 -x107 -x108 -x109 -x110 x111 -x112 -x113 x114 -x115 x116 -x117 -x118 x119 -x120 x121 -x122 -x123 x124 -x125 -x126 -x127 -x128 x129 -x130 -x131 x132 -x133 -x134 x135 -x136 -x137 x138 -x139 -x140 x141 -x142 x143 -x144 -x145 -x146 x147 x148 -x149 -x150 x151 -x152 -x153 x154 -x155 -x156 x157 -x158 -x159 x160 -x161 -x162 -x163 -x164 x165 -x166 x167 -x168 -x169 -x170 x171 x172 -x173 -x174 -x175 -x176 x177 x178 -x179 -x180 -x181 x182 -x183 -x184 x185 -x186 x187 -x188 -x189 -x190 -x191 x192 x193 -x194 x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 x205 x206 x207 -x208 -x209 -x210 -x211 -x212 -x213 x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 x223 x224 x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 x245 x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 x256 -x257 -x258 -x259 -x260 -x261 -x262 x263 x264 x265 -x266 x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 x287 -x288 -x289 -x290 -x291 -x292 -x293 x294 x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 x326 x327 -x328 -x329 -x330 -x331 -x332 x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 x352 x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 x367 -x368 x369 -x370 -x371 -x372 -x373 x374 -x375 -x376 -x377 -x378 -x379 x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 x440 x441 -x442 -x443 -x444 -x445 -x446 x447 -x448 -x449 x450 -x451 -x452 -x453 -x454 x455 -x456 x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 x476 -x477 -x478 -x479 -x480 -x481 x482 -x483 -x484 -x485 -x486 -x487 x488 -x489 -x490 -x491 -x492 -x493 x494 -x495 -x496 -x497 -x498 -x499 -x500 x501 -x502 x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 x513 x514 x515 -x516 -x517 -x518 -x519 x520 -x521 -x522 -x523 -x524 -x525 x526 x527 -x528 -x529 -x530 -x531 x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 
1800.03/1783.63	c objective function=-48
1800.03/1783.63	c Total wall clock time (in seconds): 1783.512

Verifier Data 

OK	-48

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-4118866-1467236749/watcher-4118866-1467236749 -o /tmp/evaluation-result-4118866-1467236749/solver-4118866-1467236749 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1467233254-15697 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4118866-1467236749.opb 

pid=16070
running on 8 cores: 0-3,8-11

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.14 2.12 3/281 16073
/proc/meminfo: memFree=26910344/32872528 swapFree=8828/8828
[pid=16073] ppid=16070 vsize=2500 CPUtime=0 cores=0-3,8-11
/proc/16073/stat : 16073 (java) D 16070 16073 15681 0 -1 4202496 376 0 0 0 0 0 0 0 20 0 1 0 4627723 2560000 46 33554432000 1073741824 1073778376 140734496150720 140734496147848 216799472935 0 0 4096 0 18446744072100756772 0 0 17 8 0 0 0 0 0
/proc/16073/statm: 625 46 37 9 0 29 0

[startup+0.10006 s]
/proc/loadavg: 2.07 2.14 2.12 3/281 16073
/proc/meminfo: memFree=26910344/32872528 swapFree=8828/8828
[pid=16073] ppid=16070 vsize=9896436 CPUtime=0.08 cores=0-3,8-11
/proc/16073/stat : 16073 (java) S 16070 16073 15681 0 -1 4202496 4370 0 1 0 7 1 0 0 20 0 23 0 4627723 10133950464 5490 33554432000 1073741824 1073778376 140734496150720 140734496141856 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16073/statm: 2474109 5493 2097 9 0 2464786 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9896436

[startup+0.200215 s]
/proc/loadavg: 2.07 2.14 2.12 3/281 16073
/proc/meminfo: memFree=26910344/32872528 swapFree=8828/8828
[pid=16073] ppid=16070 vsize=9896436 CPUtime=0.23 cores=0-3,8-11
/proc/16073/stat : 16073 (java) S 16070 16073 15681 0 -1 4202496 4766 0 1 0 22 1 0 0 20 0 23 0 4627723 10133950464 6887 33554432000 1073741824 1073778376 140734496150720 140734496141856 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16073/statm: 2474109 6887 2201 9 0 2464786 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 9896436

[startup+0.300219 s]
/proc/loadavg: 2.07 2.14 2.12 3/281 16073
/proc/meminfo: memFree=26910344/32872528 swapFree=8828/8828
[pid=16073] ppid=16070 vsize=9963000 CPUtime=0.46 cores=0-3,8-11
/proc/16073/stat : 16073 (java) S 16070 16073 15681 0 -1 4202496 7101 0 1 0 44 2 0 0 20 0 24 0 4627723 10202112000 8930 33554432000 1073741824 1073778376 140734496150720 140734496141856 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16073/statm: 2490750 8930 2245 9 0 2481427 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 9963000

[startup+0.700244 s]
/proc/loadavg: 2.07 2.14 2.12 3/281 16073
/proc/meminfo: memFree=26910344/32872528 swapFree=8828/8828
[pid=16073] ppid=16070 vsize=9963000 CPUtime=1.06 cores=0-3,8-11
/proc/16073/stat : 16073 (java) S 16070 16073 15681 0 -1 4202496 7616 0 1 0 104 2 0 0 20 0 24 0 4627723 10202112000 10366 33554432000 1073741824 1073778376 140734496150720 140734496141856 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16073/statm: 2490750 10366 2254 9 0 2481427 0
Current children cumulated CPU time (s) 1.06
Current children cumulated vsize (KiB) 9963000

[startup+1.50091 s]
/proc/loadavg: 2.07 2.14 2.12 3/305 16097
/proc/meminfo: memFree=26871556/32872528 swapFree=8828/8828
[pid=16073] ppid=16070 vsize=9963000 CPUtime=2.02 cores=0-3,8-11
/proc/16073/stat : 16073 (java) S 16070 16073 15681 0 -1 4202496 9950 0 1 0 200 2 0 0 20 0 24 0 4627723 10202112000 12467 33554432000 1073741824 1073778376 140734496150720 140734496141856 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16073/statm: 2490750 12467 2259 9 0 2481427 0
[pid=16073/tid=16075] ppid=16070 vsize=9963000 CPUtime=1.45 cores=0-3,8-11
/proc/16073/task/16075/stat : 16075 (java) R 16070 16073 15681 0 -1 4202560 2439 0 1 0 144 1 0 0 20 0 24 0 4627725 10202112000 12467 33554432000 1073741824 1073778376 140734496150720 139686543036112 139686379263907 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=16073/tid=16076] ppid=16070 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/16073/task/16076/stat : 16076 (java) S 16070 16073 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 4627726 10202112000 12467 33554432000 1073741824 1073778376 140734496150720 139686504537000 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
[pid=16073/tid=16077] ppid=16070 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/16073/task/16077/stat : 16077 (java) S 16070 16073 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 4627726 10202112000 12467 33554432000 1073741824 1073778376 140734496150720 139686503484456 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16073/tid=16078] ppid=16070 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/16073/task/16078/stat : 16078 (java) S 16070 16073 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 4627726 10202112000 12467 33554432000 1073741824 1073778376 140734496150720 139686502431400 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16073/tid=16079] ppid=16070 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/16073/task/16079/stat : 16079 (java) S 16070 16073 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 4627726 10202112000 12467 33554432000 1073741824 1073778376 140734496150720 139686501378856 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16073/tid=16080] ppid=16070 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/16073/task/16080/stat : 16080 (java) S 16070 16073 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 4627726 10202112000 12467 33554432000 1073741824 1073778376 140734496150720 139686500325800 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16073/tid=16081] ppid=16070 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/16073/task/16081/stat : 16081 (java) S 16070 16073 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 4627726 10202112000 12467 33554432000 1073741824 1073778376 140734496150720 139686499273256 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16073/tid=16082] ppid=16070 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/16073/task/16082/stat : 16082 (java) S 16070 16073 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 4627726 10202112000 12467 33554432000 1073741824 1073778376 140734496150720 139686498220200 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16073/tid=16083] ppid=16070 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/16073/task/16083/stat : 16083 (java) S 16070 16073 15681 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 4627726 10202112000 12467 33554432000 1073741824 1073778376 140734496150720 139686378989864 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=16073/tid=16084] ppid=16070 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/16073/task/16084/stat : 16084 (java) S 16070 16073 15681 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 4627726 10202112000 12467 33554432000 1073741824 1073778376 140734496150720 139686377937832 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=16073/tid=16085] ppid=16070 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/16073/task/16085/stat : 16085 (java) S 16070 16073 15681 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 24 0 4627726 10202112000 12467 33554432000 1073741824 1073778376 140734496150720 139686376885288 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
[pid=16073/tid=16086] ppid=16070 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/16073/task/16086/stat : 16086 (java) S 16070 16073 15681 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 4627726 10202112000 12467 33554432000 1073741824 1073778376 140734496150720 139686375832232 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=16073/tid=16087] ppid=16070 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/16073/task/16087/stat : 16087 (java) S 16070 16073 15681 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 4627726 10202112000 12467 33554432000 1073741824 1073778376 140734496150720 139686374779688 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16073/tid=16088] ppid=16070 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/16073/task/16088/stat : 16088 (java) S 16070 16073 15681 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 4627726 10202112000 12467 33554432000 1073741824 1073778376 140734496150720 139686373726632 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16073/tid=16089] ppid=16070 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/16073/task/16089/stat : 16089 (java) S 16070 16073 15681 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 4627727 10202112000 12467 33554432000 1073741824 1073778376 140734496150720 139685483481576 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16073/tid=16090] ppid=16070 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/16073/task/16090/stat : 16090 (java) S 16070 16073 15681 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 24 0 4627728 10202112000 12467 33554432000 1073741824 1073778376 140734496150720 139685482427384 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=16073/tid=16091] ppid=16070 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/16073/task/16091/stat : 16091 (java) S 16070 16073 15681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 4627728 10202112000 12467 33554432000 1073741824 1073778376 140734496150720 139685481374728 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=16073/tid=16092] ppid=16070 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/16073/task/16092/stat : 16092 (java) S 16070 16073 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 4627730 10202112000 12467 33554432000 1073741824 1073778376 140734496150720 139685480323984 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=16073/tid=16093] ppid=16070 vsize=9963000 CPUtime=0.25 cores=0-3,8-11
/proc/16073/task/16093/stat : 16093 (java) S 16070 16073 15681 0 -1 4202560 3313 0 0 0 25 0 0 0 20 0 24 0 4627730 10202112000 12467 33554432000 1073741824 1073778376 140734496150720 139685479271352 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=16073/tid=16094] ppid=16070 vsize=9963000 CPUtime=0.28 cores=0-3,8-11
/proc/16073/task/16094/stat : 16094 (java) S 16070 16073 15681 0 -1 4202560 2904 0 0 0 28 0 0 0 20 0 24 0 4627730 10202112000 12467 33554432000 1073741824 1073778376 140734496150720 139685478218296 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=16073/tid=16095] ppid=16070 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/16073/task/16095/stat : 16095 (java) S 16070 16073 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 4627730 10202112000 12467 33554432000 1073741824 1073778376 140734496150720 139685477165944 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=16073/tid=16096] ppid=16070 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/16073/task/16096/stat : 16096 (java) S 16070 16073 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 4627730 10202112000 12467 33554432000 1073741824 1073778376 140734496150720 139685476113096 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16073/tid=16097] ppid=16070 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/16073/task/16097/stat : 16097 (java) S 16070 16073 15681 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 24 0 4627747 10202112000 12467 33554432000 1073741824 1073778376 140734496150720 139685475058856 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
Current children cumulated CPU time (s) 2.02
Current children cumulated vsize (KiB) 9963000

[startup+3.10097 s]
/proc/loadavg: 2.07 2.14 2.11 3/305 16097
/proc/meminfo: memFree=26859392/32872528 swapFree=8828/8828
[pid=16073] ppid=16070 vsize=9963000 CPUtime=3.66 cores=0-3,8-11
/proc/16073/stat : 16073 (java) S 16070 16073 15681 0 -1 4202496 9960 0 1 0 363 3 0 0 20 0 24 0 4627723 10202112000 17076 33554432000 1073741824 1073778376 140734496150720 140734496141856 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16073/statm: 2490750 17076 2259 9 0 2481427 0
[pid=16073/tid=16075] ppid=16070 vsize=9963000 CPUtime=3.05 cores=0-3,8-11
/proc/16073/task/16075/stat : 16075 (java) R 16070 16073 15681 0 -1 4202560 2448 0 1 0 304 1 0 0 20 0 24 0 4627725 10202112000 17076 33554432000 1073741824 1073778376 140734496150720 139686543045000 139686379492680 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=16073/tid=16076] ppid=16070 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/16073/task/16076/stat : 16076 (java) S 16070 16073 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 4627726 10202112000 17076 33554432000 1073741824 1073778376 140734496150720 139686504537000 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
[pid=16073/tid=16077] ppid=16070 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/16073/task/16077/stat : 16077 (java) S 16070 16073 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 4627726 10202112000 17076 33554432000 1073741824 1073778376 140734496150720 139686503484456 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16073/tid=16078] ppid=16070 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/16073/task/16078/stat : 16078 (java) S 16070 16073 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 4627726 10202112000 17076 33554432000 1073741824 1073778376 140734496150720 139686502431400 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16073/tid=16079] ppid=16070 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/16073/task/16079/stat : 16079 (java) S 16070 16073 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 4627726 10202112000 17076 33554432000 1073741824 1073778376 140734496150720 139686501378856 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16073/tid=16080] ppid=16070 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/16073/task/16080/stat : 16080 (java) S 16070 16073 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 4627726 10202112000 17076 33554432000 1073741824 1073778376 140734496150720 139686500325800 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16073/tid=16081] ppid=16070 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/16073/task/16081/stat : 16081 (java) S 16070 16073 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 4627726 10202112000 17076 33554432000 1073741824 1073778376 140734496150720 139686499273256 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16073/tid=16082] ppid=16070 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/16073/task/16082/stat : 16082 (java) S 16070 16073 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 4627726 10202112000 17076 33554432000 1073741824 1073778376 140734496150720 139686498220200 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16073/tid=16083] ppid=16070 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/16073/task/16083/stat : 16083 (java) S 16070 16073 15681 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 4627726 10202112000 17076 33554432000 1073741824 1073778376 140734496150720 139686378989864 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=16073/tid=16084] ppid=16070 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/16073/task/16084/stat : 16084 (java) S 16070 16073 15681 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 4627726 10202112000 17076 33554432000 1073741824 1073778376 140734496150720 139686377937832 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=16073/tid=16085] ppid=16070 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/16073/task/16085/stat : 16085 (java) S 16070 16073 15681 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 24 0 4627726 10202112000 17076 33554432000 1073741824 1073778376 140734496150720 139686376885288 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
[pid=16073/tid=16086] ppid=16070 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/16073/task/16086/stat : 16086 (java) S 16070 16073 15681 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 4627726 10202112000 17076 33554432000 1073741824 1073778376 140734496150720 139686375832232 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=16073/tid=16087] ppid=16070 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/16073/task/16087/stat : 16087 (java) S 16070 16073 15681 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 4627726 10202112000 17076 33554432000 1073741824 1073778376 140734496150720 139686374779688 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16073/tid=16088] ppid=16070 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/16073/task/16088/stat : 16088 (java) S 16070 16073 15681 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 4627726 10202112000 17076 33554432000 1073741824 1073778376 140734496150720 139686373726632 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16073/tid=16089] ppid=16070 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/16073/task/16089/stat : 16089 (java) S 16070 16073 15681 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 4627727 10202112000 17076 33554432000 1073741824 1073778376 140734496150720 139685483481576 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16073/tid=16090] ppid=16070 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/16073/task/16090/stat : 16090 (java) S 16070 16073 15681 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 24 0 4627728 10202112000 17076 33554432000 1073741824 1073778376 140734496150720 139685482427384 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=16073/tid=16091] ppid=16070 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/16073/task/16091/stat : 16091 (java) S 16070 16073 15681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 4627728 10202112000 17076 33554432000 1073741824 1073778376 140734496150720 139685481374728 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=16073/tid=16092] ppid=16070 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/16073/task/16092/stat : 16092 (java) S 16070 16073 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 4627730 10202112000 17076 33554432000 1073741824 1073778376 140734496150720 139685480323984 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=16073/tid=16093] ppid=16070 vsize=9963000 CPUtime=0.27 cores=0-3,8-11
/proc/16073/task/16093/stat : 16093 (java) S 16070 16073 15681 0 -1 4202560 3314 0 0 0 27 0 0 0 20 0 24 0 4627730 10202112000 17076 33554432000 1073741824 1073778376 140734496150720 139685479271352 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=16073/tid=16094] ppid=16070 vsize=9963000 CPUtime=0.28 cores=0-3,8-11
/proc/16073/task/16094/stat : 16094 (java) S 16070 16073 15681 0 -1 4202560 2904 0 0 0 28 0 0 0 20 0 24 0 4627730 10202112000 17076 33554432000 1073741824 1073778376 140734496150720 139685478218296 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=16073/tid=16095] ppid=16070 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/16073/task/16095/stat : 16095 (java) S 16070 16073 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 4627730 10202112000 17076 33554432000 1073741824 1073778376 140734496150720 139685477165944 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=16073/tid=16096] ppid=16070 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/16073/task/16096/stat : 16096 (java) S 16070 16073 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 4627730 10202112000 17076 33554432000 1073741824 1073778376 140734496150720 139685476113096 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16073/tid=16097] ppid=16070 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/16073/task/16097/stat : 16097 (java) S 16070 16073 15681 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 24 0 4627747 10202112000 17076 33554432000 1073741824 1073778376 140734496150720 139685475058856 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
Current children cumulated CPU time (s) 3.66
Current children cumulated vsize (KiB) 9963000

[startup+6.30099 s]
/proc/loadavg: 2.07 2.14 2.11 3/305 16097
/proc/meminfo: memFree=26830612/32872528 swapFree=8828/8828
[pid=16073] ppid=16070 vsize=9963000 CPUtime=6.85 cores=0-3,8-11
/proc/16073/stat : 16073 (java) S 16070 16073 15681 0 -1 4202496 9974 0 1 0 682 3 0 0 20 0 24 0 4627723 10202112000 23125 33554432000 1073741824 1073778376 140734496150720 140734496141856 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16073/statm: 2490750 23125 2260 9 0 2481427 0
[pid=16073/tid=16075] ppid=16070 vsize=9963000 CPUtime=6.24 cores=0-3,8-11
/proc/16073/task/16075/stat : 16075 (java) R 16070 16073 15681 0 -1 4202560 2461 0 1 0 623 1 0 0 20 0 24 0 4627725 10202112000 23125 33554432000 1073741824 1073778376 140734496150720 139686543036080 139686379492720 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=16073/tid=16076] ppid=16070 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/16073/task/16076/stat : 16076 (java) S 16070 16073 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 4627726 10202112000 23125 33554432000 1073741824 1073778376 140734496150720 139686504537000 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
[pid=16073/tid=16077] ppid=16070 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/16073/task/16077/stat : 16077 (java) S 16070 16073 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 4627726 10202112000 23125 33554432000 1073741824 1073778376 140734496150720 139686503484456 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16073/tid=16078] ppid=16070 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/16073/task/16078/stat : 16078 (java) S 16070 16073 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 4627726 10202112000 23125 33554432000 1073741824 1073778376 140734496150720 139686502431400 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16073/tid=16079] ppid=16070 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/16073/task/16079/stat : 16079 (java) S 16070 16073 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 4627726 10202112000 23125 33554432000 1073741824 1073778376 140734496150720 139686501378856 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16073/tid=16080] ppid=16070 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/16073/task/16080/stat : 16080 (java) S 16070 16073 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 4627726 10202112000 23125 33554432000 1073741824 1073778376 140734496150720 139686500325800 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16073/tid=16081] ppid=16070 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/16073/task/16081/stat : 16081 (java) S 16070 16073 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 4627726 10202112000 23125 33554432000 1073741824 1073778376 140734496150720 139686499273256 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16073/tid=16082] ppid=16070 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/16073/task/16082/stat : 16082 (java) S 16070 16073 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 4627726 10202112000 23125 33554432000 1073741824 1073778376 140734496150720 139686498220200 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16073/tid=16083] ppid=16070 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/16073/task/16083/stat : 16083 (java) S 16070 16073 15681 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 4627726 10202112000 23125 33554432000 1073741824 1073778376 140734496150720 139686378989864 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=16073/tid=16084] ppid=16070 vsize=9963000 CPUtime=0 cores=0-3,8-11

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

/proc/16073/task/16084/stat : 16084 (java) S 16070 16073 15681 0 -1 4202560 293 0 0 0 111 15 0 0 20 0 24 0 4627726 10202112000 110907 33554432000 1073741824 1073778376 140734496150720 139686377937832 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=16073/tid=16085] ppid=16070 vsize=9963000 CPUtime=1.33 cores=0-3,8-11
/proc/16073/task/16085/stat : 16085 (java) S 16070 16073 15681 0 -1 4202560 273 0 0 0 119 14 0 0 20 0 24 0 4627726 10202112000 110907 33554432000 1073741824 1073778376 140734496150720 139686376885288 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16073/tid=16086] ppid=16070 vsize=9963000 CPUtime=1.25 cores=0-3,8-11
/proc/16073/task/16086/stat : 16086 (java) S 16070 16073 15681 0 -1 4202560 261 0 0 0 107 18 0 0 20 0 24 0 4627726 10202112000 110907 33554432000 1073741824 1073778376 140734496150720 139686375832232 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
[pid=16073/tid=16087] ppid=16070 vsize=9963000 CPUtime=1.43 cores=0-3,8-11
/proc/16073/task/16087/stat : 16087 (java) S 16070 16073 15681 0 -1 4202560 184 0 0 0 125 18 0 0 20 0 24 0 4627726 10202112000 110907 33554432000 1073741824 1073778376 140734496150720 139686374779688 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16073/tid=16088] ppid=16070 vsize=9963000 CPUtime=1.48 cores=0-3,8-11
/proc/16073/task/16088/stat : 16088 (java) S 16070 16073 15681 0 -1 4202560 336 0 0 0 122 26 0 0 20 0 24 0 4627726 10202112000 110907 33554432000 1073741824 1073778376 140734496150720 139686373726632 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16073/tid=16089] ppid=16070 vsize=9963000 CPUtime=1.02 cores=0-3,8-11
/proc/16073/task/16089/stat : 16089 (java) S 16070 16073 15681 0 -1 4202560 355 0 0 0 99 3 0 0 20 0 24 0 4627727 10202112000 110907 33554432000 1073741824 1073778376 140734496150720 139685483481576 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16073/tid=16090] ppid=16070 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/16073/task/16090/stat : 16090 (java) S 16070 16073 15681 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 24 0 4627728 10202112000 110907 33554432000 1073741824 1073778376 140734496150720 139685482427384 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=16073/tid=16091] ppid=16070 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/16073/task/16091/stat : 16091 (java) S 16070 16073 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 24 0 4627728 10202112000 110907 33554432000 1073741824 1073778376 140734496150720 139685481374728 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=16073/tid=16092] ppid=16070 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/16073/task/16092/stat : 16092 (java) S 16070 16073 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 4627730 10202112000 110907 33554432000 1073741824 1073778376 140734496150720 139685480323984 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=16073/tid=16093] ppid=16070 vsize=9963000 CPUtime=0.29 cores=0-3,8-11
/proc/16073/task/16093/stat : 16093 (java) S 16070 16073 15681 0 -1 4202560 3654 0 0 0 29 0 0 0 20 0 24 0 4627730 10202112000 110907 33554432000 1073741824 1073778376 140734496150720 139685479271352 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=16073/tid=16094] ppid=16070 vsize=9963000 CPUtime=0.28 cores=0-3,8-11
/proc/16073/task/16094/stat : 16094 (java) S 16070 16073 15681 0 -1 4202560 2904 0 0 0 28 0 0 0 20 0 24 0 4627730 10202112000 110907 33554432000 1073741824 1073778376 140734496150720 139685478218296 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=16073/tid=16095] ppid=16070 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/16073/task/16095/stat : 16095 (java) S 16070 16073 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 4627730 10202112000 110907 33554432000 1073741824 1073778376 140734496150720 139685477165944 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=16073/tid=16096] ppid=16070 vsize=9963000 CPUtime=0.52 cores=0-3,8-11
/proc/16073/task/16096/stat : 16096 (java) S 16070 16073 15681 0 -1 4202560 100 0 0 0 24 28 0 0 20 0 24 0 4627730 10202112000 110907 33554432000 1073741824 1073778376 140734496150720 139685476113096 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16073/tid=16097] ppid=16070 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/16073/task/16097/stat : 16097 (java) S 16070 16073 15681 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 24 0 4627747 10202112000 110907 33554432000 1073741824 1073778376 140734496150720 139685475058856 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
Current children cumulated CPU time (s) 1738.21
Current children cumulated vsize (KiB) 9963000

[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/304 16246
/proc/meminfo: memFree=27279528/32872528 swapFree=8828/8828
[pid=16073] ppid=16070 vsize=9963000 CPUtime=1798.64 cores=0-3,8-11
/proc/16073/stat : 16073 (java) S 16070 16073 15681 0 -1 4202496 15421 0 1 0 179584 280 0 0 20 0 24 0 4627723 10202112000 108550 33554432000 1073741824 1073778376 140734496150720 140734496141856 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16073/statm: 2490750 108550 2282 9 0 2481427 0
[pid=16073/tid=16075] ppid=16070 vsize=9963000 CPUtime=1774.14 cores=0-3,8-11
/proc/16073/task/16075/stat : 16075 (java) R 16070 16073 15681 0 -1 4202560 2573 0 1 0 177384 30 0 0 20 0 24 0 4627725 10202112000 108550 33554432000 1073741824 1073778376 140734496150720 139686543036080 139686379551054 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=16073/tid=16076] ppid=16070 vsize=9963000 CPUtime=1.38 cores=0-3,8-11
/proc/16073/task/16076/stat : 16076 (java) S 16070 16073 15681 0 -1 4202560 456 0 0 0 118 20 0 0 20 0 24 0 4627726 10202112000 108550 33554432000 1073741824 1073778376 140734496150720 139686504537000 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16073/tid=16077] ppid=16070 vsize=9963000 CPUtime=1.25 cores=0-3,8-11
/proc/16073/task/16077/stat : 16077 (java) S 16070 16073 15681 0 -1 4202560 353 0 0 0 110 15 0 0 20 0 24 0 4627726 10202112000 108550 33554432000 1073741824 1073778376 140734496150720 139686503484456 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16073/tid=16078] ppid=16070 vsize=9963000 CPUtime=1.17 cores=0-3,8-11
/proc/16073/task/16078/stat : 16078 (java) S 16070 16073 15681 0 -1 4202560 376 0 0 0 104 13 0 0 20 0 24 0 4627726 10202112000 108550 33554432000 1073741824 1073778376 140734496150720 139686502431400 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16073/tid=16079] ppid=16070 vsize=9963000 CPUtime=1.41 cores=0-3,8-11
/proc/16073/task/16079/stat : 16079 (java) S 16070 16073 15681 0 -1 4202560 461 0 0 0 119 22 0 0 20 0 24 0 4627726 10202112000 108550 33554432000 1073741824 1073778376 140734496150720 139686501378856 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=16073/tid=16080] ppid=16070 vsize=9963000 CPUtime=1.43 cores=0-3,8-11
/proc/16073/task/16080/stat : 16080 (java) S 16070 16073 15681 0 -1 4202560 377 0 0 0 123 20 0 0 20 0 24 0 4627726 10202112000 108550 33554432000 1073741824 1073778376 140734496150720 139686500325800 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=16073/tid=16081] ppid=16070 vsize=9963000 CPUtime=1.39 cores=0-3,8-11
/proc/16073/task/16081/stat : 16081 (java) S 16070 16073 15681 0 -1 4202560 298 0 0 0 117 22 0 0 20 0 24 0 4627726 10202112000 108550 33554432000 1073741824 1073778376 140734496150720 139686499273256 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=16073/tid=16082] ppid=16070 vsize=9963000 CPUtime=1.53 cores=0-3,8-11
/proc/16073/task/16082/stat : 16082 (java) S 16070 16073 15681 0 -1 4202560 409 0 0 0 127 26 0 0 20 0 24 0 4627726 10202112000 108550 33554432000 1073741824 1073778376 140734496150720 139686498220200 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16073/tid=16083] ppid=16070 vsize=9963000 CPUtime=1.41 cores=0-3,8-11
/proc/16073/task/16083/stat : 16083 (java) S 16070 16073 15681 0 -1 4202560 488 0 0 0 119 22 0 0 20 0 24 0 4627726 10202112000 108550 33554432000 1073741824 1073778376 140734496150720 139686378989864 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=16073/tid=16084] ppid=16070 vsize=9963000 CPUtime=1.31 cores=0-3,8-11
/proc/16073/task/16084/stat : 16084 (java) S 16070 16073 15681 0 -1 4202560 293 0 0 0 116 15 0 0 20 0 24 0 4627726 10202112000 108550 33554432000 1073741824 1073778376 140734496150720 139686377937832 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=16073/tid=16085] ppid=16070 vsize=9963000 CPUtime=1.36 cores=0-3,8-11
/proc/16073/task/16085/stat : 16085 (java) S 16070 16073 15681 0 -1 4202560 273 0 0 0 122 14 0 0 20 0 24 0 4627726 10202112000 108550 33554432000 1073741824 1073778376 140734496150720 139686376885288 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16073/tid=16086] ppid=16070 vsize=9963000 CPUtime=1.29 cores=0-3,8-11
/proc/16073/task/16086/stat : 16086 (java) S 16070 16073 15681 0 -1 4202560 261 0 0 0 111 18 0 0 20 0 24 0 4627726 10202112000 108550 33554432000 1073741824 1073778376 140734496150720 139686375832232 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
[pid=16073/tid=16087] ppid=16070 vsize=9963000 CPUtime=1.47 cores=0-3,8-11
/proc/16073/task/16087/stat : 16087 (java) S 16070 16073 15681 0 -1 4202560 184 0 0 0 129 18 0 0 20 0 24 0 4627726 10202112000 108550 33554432000 1073741824 1073778376 140734496150720 139686374779688 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16073/tid=16088] ppid=16070 vsize=9963000 CPUtime=1.51 cores=0-3,8-11
/proc/16073/task/16088/stat : 16088 (java) S 16070 16073 15681 0 -1 4202560 336 0 0 0 125 26 0 0 20 0 24 0 4627726 10202112000 108550 33554432000 1073741824 1073778376 140734496150720 139686373726632 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16073/tid=16089] ppid=16070 vsize=9963000 CPUtime=1.02 cores=0-3,8-11
/proc/16073/task/16089/stat : 16089 (java) S 16070 16073 15681 0 -1 4202560 357 0 0 0 99 3 0 0 20 0 24 0 4627727 10202112000 108550 33554432000 1073741824 1073778376 140734496150720 139685483481576 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=16073/tid=16090] ppid=16070 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/16073/task/16090/stat : 16090 (java) S 16070 16073 15681 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 24 0 4627728 10202112000 108550 33554432000 1073741824 1073778376 140734496150720 139685482427384 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=16073/tid=16091] ppid=16070 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/16073/task/16091/stat : 16091 (java) S 16070 16073 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 24 0 4627728 10202112000 108550 33554432000 1073741824 1073778376 140734496150720 139685481374728 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=16073/tid=16092] ppid=16070 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/16073/task/16092/stat : 16092 (java) S 16070 16073 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 4627730 10202112000 108550 33554432000 1073741824 1073778376 140734496150720 139685480323984 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=16073/tid=16093] ppid=16070 vsize=9963000 CPUtime=0.29 cores=0-3,8-11
/proc/16073/task/16093/stat : 16093 (java) S 16070 16073 15681 0 -1 4202560 3654 0 0 0 29 0 0 0 20 0 24 0 4627730 10202112000 108550 33554432000 1073741824 1073778376 140734496150720 139685479271352 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=16073/tid=16094] ppid=16070 vsize=9963000 CPUtime=0.28 cores=0-3,8-11
/proc/16073/task/16094/stat : 16094 (java) S 16070 16073 15681 0 -1 4202560 2904 0 0 0 28 0 0 0 20 0 24 0 4627730 10202112000 108550 33554432000 1073741824 1073778376 140734496150720 139685478218296 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=16073/tid=16095] ppid=16070 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/16073/task/16095/stat : 16095 (java) S 16070 16073 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 4627730 10202112000 108550 33554432000 1073741824 1073778376 140734496150720 139685477165944 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=16073/tid=16096] ppid=16070 vsize=9963000 CPUtime=0.54 cores=0-3,8-11
/proc/16073/task/16096/stat : 16096 (java) S 16070 16073 15681 0 -1 4202560 104 0 0 0 26 28 0 0 20 0 24 0 4627730 10202112000 108550 33554432000 1073741824 1073778376 140734496150720 139685476113096 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16073/tid=16097] ppid=16070 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/16073/task/16097/stat : 16097 (java) S 16070 16073 15681 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 24 0 4627747 10202112000 108550 33554432000 1073741824 1073778376 140734496150720 139685475058856 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
Current children cumulated CPU time (s) 1798.64
Current children cumulated vsize (KiB) 9963000



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1783.6 s]
/proc/loadavg: 2.01 2.02 2.05 3/304 16246
/proc/meminfo: memFree=27279528/32872528 swapFree=8828/8828
[pid=16073] ppid=16070 vsize=9963000 CPUtime=1800.03 cores=0-3,8-11
/proc/16073/stat : 16073 (java) S 16070 16073 15681 0 -1 4202496 15425 0 1 0 179723 280 0 0 20 0 24 0 4627723 10202112000 108551 33554432000 1073741824 1073778376 140734496150720 140734496141856 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16073/statm: 2490750 108551 2282 9 0 2481427 0
[pid=16073/tid=16075] ppid=16070 vsize=9963000 CPUtime=1775.42 cores=0-3,8-11
/proc/16073/task/16075/stat : 16075 (java) R 16070 16073 15681 0 -1 4202560 2574 0 1 0 177512 30 0 0 20 0 24 0 4627725 10202112000 108551 33554432000 1073741824 1073778376 140734496150720 139686543043792 139686379516828 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=16073/tid=16076] ppid=16070 vsize=9963000 CPUtime=1.39 cores=0-3,8-11
/proc/16073/task/16076/stat : 16076 (java) S 16070 16073 15681 0 -1 4202560 456 0 0 0 119 20 0 0 20 0 24 0 4627726 10202112000 108551 33554432000 1073741824 1073778376 140734496150720 139686504537000 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16073/tid=16077] ppid=16070 vsize=9963000 CPUtime=1.26 cores=0-3,8-11
/proc/16073/task/16077/stat : 16077 (java) S 16070 16073 15681 0 -1 4202560 353 0 0 0 111 15 0 0 20 0 24 0 4627726 10202112000 108551 33554432000 1073741824 1073778376 140734496150720 139686503484456 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16073/tid=16078] ppid=16070 vsize=9963000 CPUtime=1.19 cores=0-3,8-11
/proc/16073/task/16078/stat : 16078 (java) S 16070 16073 15681 0 -1 4202560 376 0 0 0 106 13 0 0 20 0 24 0 4627726 10202112000 108551 33554432000 1073741824 1073778376 140734496150720 139686502431400 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16073/tid=16079] ppid=16070 vsize=9963000 CPUtime=1.43 cores=0-3,8-11
/proc/16073/task/16079/stat : 16079 (java) S 16070 16073 15681 0 -1 4202560 461 0 0 0 121 22 0 0 20 0 24 0 4627726 10202112000 108551 33554432000 1073741824 1073778376 140734496150720 139686501378856 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=16073/tid=16080] ppid=16070 vsize=9963000 CPUtime=1.43 cores=0-3,8-11
/proc/16073/task/16080/stat : 16080 (java) S 16070 16073 15681 0 -1 4202560 377 0 0 0 123 20 0 0 20 0 24 0 4627726 10202112000 108551 33554432000 1073741824 1073778376 140734496150720 139686500325800 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=16073/tid=16081] ppid=16070 vsize=9963000 CPUtime=1.39 cores=0-3,8-11
/proc/16073/task/16081/stat : 16081 (java) S 16070 16073 15681 0 -1 4202560 298 0 0 0 117 22 0 0 20 0 24 0 4627726 10202112000 108551 33554432000 1073741824 1073778376 140734496150720 139686499273256 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=16073/tid=16082] ppid=16070 vsize=9963000 CPUtime=1.53 cores=0-3,8-11
/proc/16073/task/16082/stat : 16082 (java) S 16070 16073 15681 0 -1 4202560 409 0 0 0 127 26 0 0 20 0 24 0 4627726 10202112000 108551 33554432000 1073741824 1073778376 140734496150720 139686498220200 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16073/tid=16083] ppid=16070 vsize=9963000 CPUtime=1.42 cores=0-3,8-11
/proc/16073/task/16083/stat : 16083 (java) S 16070 16073 15681 0 -1 4202560 488 0 0 0 120 22 0 0 20 0 24 0 4627726 10202112000 108551 33554432000 1073741824 1073778376 140734496150720 139686378989864 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=16073/tid=16084] ppid=16070 vsize=9963000 CPUtime=1.32 cores=0-3,8-11
/proc/16073/task/16084/stat : 16084 (java) S 16070 16073 15681 0 -1 4202560 293 0 0 0 117 15 0 0 20 0 24 0 4627726 10202112000 108551 33554432000 1073741824 1073778376 140734496150720 139686377937832 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16073/tid=16085] ppid=16070 vsize=9963000 CPUtime=1.37 cores=0-3,8-11
/proc/16073/task/16085/stat : 16085 (java) S 16070 16073 15681 0 -1 4202560 273 0 0 0 123 14 0 0 20 0 24 0 4627726 10202112000 108551 33554432000 1073741824 1073778376 140734496150720 139686376885288 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
[pid=16073/tid=16086] ppid=16070 vsize=9963000 CPUtime=1.3 cores=0-3,8-11
/proc/16073/task/16086/stat : 16086 (java) S 16070 16073 15681 0 -1 4202560 261 0 0 0 112 18 0 0 20 0 24 0 4627726 10202112000 108551 33554432000 1073741824 1073778376 140734496150720 139686375832232 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
[pid=16073/tid=16087] ppid=16070 vsize=9963000 CPUtime=1.47 cores=0-3,8-11
/proc/16073/task/16087/stat : 16087 (java) S 16070 16073 15681 0 -1 4202560 184 0 0 0 129 18 0 0 20 0 24 0 4627726 10202112000 108551 33554432000 1073741824 1073778376 140734496150720 139686374779688 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=16073/tid=16088] ppid=16070 vsize=9963000 CPUtime=1.51 cores=0-3,8-11
/proc/16073/task/16088/stat : 16088 (java) S 16070 16073 15681 0 -1 4202560 336 0 0 0 125 26 0 0 20 0 24 0 4627726 10202112000 108551 33554432000 1073741824 1073778376 140734496150720 139686373726632 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=16073/tid=16089] ppid=16070 vsize=9963000 CPUtime=1.02 cores=0-3,8-11
/proc/16073/task/16089/stat : 16089 (java) S 16070 16073 15681 0 -1 4202560 360 0 0 0 99 3 0 0 20 0 24 0 4627727 10202112000 108551 33554432000 1073741824 1073778376 140734496150720 139685483481576 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=16073/tid=16090] ppid=16070 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/16073/task/16090/stat : 16090 (java) S 16070 16073 15681 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 24 0 4627728 10202112000 108551 33554432000 1073741824 1073778376 140734496150720 139685482427384 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=16073/tid=16091] ppid=16070 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/16073/task/16091/stat : 16091 (java) S 16070 16073 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 24 0 4627728 10202112000 108551 33554432000 1073741824 1073778376 140734496150720 139685481374728 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=16073/tid=16092] ppid=16070 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/16073/task/16092/stat : 16092 (java) S 16070 16073 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 4627730 10202112000 108551 33554432000 1073741824 1073778376 140734496150720 139685480323984 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=16073/tid=16093] ppid=16070 vsize=9963000 CPUtime=0.29 cores=0-3,8-11
/proc/16073/task/16093/stat : 16093 (java) S 16070 16073 15681 0 -1 4202560 3654 0 0 0 29 0 0 0 20 0 24 0 4627730 10202112000 108551 33554432000 1073741824 1073778376 140734496150720 139685479271352 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=16073/tid=16094] ppid=16070 vsize=9963000 CPUtime=0.28 cores=0-3,8-11
/proc/16073/task/16094/stat : 16094 (java) S 16070 16073 15681 0 -1 4202560 2904 0 0 0 28 0 0 0 20 0 24 0 4627730 10202112000 108551 33554432000 1073741824 1073778376 140734496150720 139685478218296 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=16073/tid=16095] ppid=16070 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/16073/task/16095/stat : 16095 (java) S 16070 16073 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 4627730 10202112000 108551 33554432000 1073741824 1073778376 140734496150720 139685477165944 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=16073/tid=16096] ppid=16070 vsize=9963000 CPUtime=0.54 cores=0-3,8-11
/proc/16073/task/16096/stat : 16096 (java) S 16070 16073 15681 0 -1 4202560 104 0 0 0 26 28 0 0 20 0 24 0 4627730 10202112000 108551 33554432000 1073741824 1073778376 140734496150720 139685476113096 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16073/tid=16097] ppid=16070 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/16073/task/16097/stat : 16097 (java) S 16070 16073 15681 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 24 0 4627747 10202112000 108551 33554432000 1073741824 1073778376 140734496150720 139685475058856 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 9963000

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 16073 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 16073 and gives
#  childrusage.ru_utime.tv_sec=1792
#  childrusage.ru_utime.tv_usec=699468
#  childrusage.ru_stime.tv_sec=3
#  childrusage.ru_stime.tv_usec=312496
# CPU time returned by wait4() is 1796.01
# while last known CPU time is 1800.03
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1783.64
CPU time (s): 1800.03
CPU user time (s): 1797.23
CPU system time (s): 2.8
CPU usage (%): 100.919
Max. virtual memory (cumulated for all children) (KiB): 9963000

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.7
system time used= 3.3125
maximum resident set size= 706644
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15473
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= 41295
involuntary context switches= 13994

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.6228 second user time and 17.9133 second system time

The end

Launcher Data 

Begin job on node132 at 2016-06-29 23:45:49
IDJOB=4118866
IDBENCH=111541
IDSOLVER=2546
FILE ID=node132/4118866-1467236749
RUNJOBID= node132-1467233254-15697
PBS_JOBID= 19997601
Free space on /tmp= 71536 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-graphpart_2pm-0088-0888.lin.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4118866-1467236749/watcher-4118866-1467236749 -o /tmp/evaluation-result-4118866-1467236749/solver-4118866-1467236749 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1467233254-15697 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4118866-1467236749.opb

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

MD5SUM BENCH= 0ee6a8b2f1275cd99eec0cf1bae9addf
RANDOM SEED=1554650018

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

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.012
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.012
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.012
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.012
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.012
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.012
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.012
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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:

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.012
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 1
initial apicid	: 1
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	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.012
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 3
initial apicid	: 3
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	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.012
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 5
initial apicid	: 5
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	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.012
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
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	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.012
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
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	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.012
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 19
initial apicid	: 19
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	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.012
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
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	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.012
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
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:        26911112 kB
Buffers:          118768 kB
Cached:          3853524 kB
SwapCached:            0 kB
Active:          1287628 kB
Inactive:        3865752 kB
Active(anon):    1183192 kB
Inactive(anon):        0 kB
Active(file):     104436 kB
Inactive(file):  3865752 kB
Unevictable:        8828 kB
Mlocked:            8828 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               608 kB
Writeback:             0 kB
AnonPages:       1193620 kB
Mapped:            22356 kB
Shmem:               216 kB
Slab:             631876 kB
SReclaimable:      72608 kB
SUnreclaim:       559268 kB
KernelStack:        2360 kB
PageTables:         7416 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1386352 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987140 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1136640 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= 71536 MiB
End job on node132 at 2016-06-30 00:15:33