Trace number 4105365

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)196 1800.03 1790.34

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-addm4.r.opb
MD5SUM9633aa6e9fb6df7104bc0e43c44542c0
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark165
Best CPU time to get the best result obtained on this benchmark0.049991
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 165
Optimality of the best value was proved YES
Number of variables1073
Total number of constraints832
Number of constraints which are clauses832
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint19
Number of terms in the objective function 1073
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 1073
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1073
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.09/0.11	c Pseudo Boolean Optimization by upper bound
0.09/0.11	c --- Begin Solver configuration ---
0.09/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b21cc40
0.09/0.11	c Learn all clauses as in MiniSAT
0.09/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.11	c No reason simplification
0.09/0.11	c Glucose 2.1 dynamic restart strategy
0.09/0.11	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.11	c timeout=2147483s
0.09/0.11	c DB Simplification allowed=false
0.09/0.11	c Listener: org.sat4j.minisat.core.VoidTracing@7c64dc11
0.09/0.11	c --- End Solver configuration ---
0.09/0.11	c solving HOME/instance-4105365-1466259889.opb
0.09/0.11	c reading problem ... 
0.09/0.11	c  objective function found
0.27/0.25	c ... done. Wall clock time 0.133s.
0.27/0.25	c declared #vars     1073
0.27/0.25	c #constraints  832
0.27/0.25	c constraints type 
0.27/0.25	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 759
0.27/0.25	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 73
0.27/0.25	c 832 constraints processed.
0.27/0.25	c objective function length is 1073 literals
0.27/0.26	c SATISFIABLE
0.27/0.26	c OPTIMIZING...
0.27/0.26	c Got one! Elapsed wall clock time (in seconds):0.152
0.27/0.26	o 199
0.27/0.29	c Got one! Elapsed wall clock time (in seconds):0.174
0.27/0.29	o 198
0.47/0.31	c Got one! Elapsed wall clock time (in seconds):0.193
0.47/0.31	o 197
0.47/0.36	c Got one! Elapsed wall clock time (in seconds):0.251
0.47/0.36	o 196
0.99/0.68	c cleaning 2558 clauses out of 5128 with flag 10776/5128
1.38/0.99	c cleaning 4276 clauses out of 8570 with flag 23212/11128
1.81/1.38	c cleaning 5641 clauses out of 11293 with flag 37536/18127
2.32/1.83	c cleaning 6821 clauses out of 13653 with flag 54199/26128
2.86/2.38	c cleaning 7906 clauses out of 15831 with flag 73433/35127
3.45/2.95	c cleaning 8954 clauses out of 17925 with flag 95464/45127
4.15/3.63	c cleaning 9978 clauses out of 19973 with flag 119544/56129
4.96/4.44	c cleaning 10989 clauses out of 21994 with flag 146045/68128
5.85/5.34	c cleaning 11997 clauses out of 24005 with flag 174661/81128
6.85/6.33	c cleaning 12995 clauses out of 26007 with flag 205162/95127
7.96/7.47	c cleaning 13996 clauses out of 28012 with flag 238041/110127
9.37/8.80	c cleaning 14997 clauses out of 30017 with flag 273374/126128
10.82/10.22	c cleaning 16000 clauses out of 32019 with flag 310962/143127
12.32/11.77	c cleaning 17000 clauses out of 34019 with flag 350272/161127
14.22/13.60	c cleaning 17999 clauses out of 36019 with flag 392268/180127
16.03/15.48	c cleaning 18999 clauses out of 38020 with flag 436585/200127
18.12/17.52	c cleaning 20001 clauses out of 40022 with flag 483120/221128
20.22/19.68	c cleaning 20997 clauses out of 42021 with flag 532124/243128
22.52/21.91	c cleaning 22002 clauses out of 44023 with flag 583159/266127
24.93/24.36	c cleaning 22998 clauses out of 46021 with flag 636132/290127
27.51/26.88	c cleaning 23999 clauses out of 48023 with flag 691257/315127
31.11/30.49	c cleaning 25003 clauses out of 50025 with flag 745878/341128
34.61/33.95	c cleaning 25995 clauses out of 52022 with flag 805267/368128
38.01/37.30	c cleaning 27001 clauses out of 54027 with flag 867171/396128
41.61/40.96	c cleaning 28000 clauses out of 56026 with flag 931149/425128
45.98/45.15	c cleaning 29007 clauses out of 58026 with flag 997573/455128
49.97/49.14	c cleaning 30002 clauses out of 60019 with flag 1066272/486128
54.37/53.56	c cleaning 31001 clauses out of 62016 with flag 1135672/518127
58.77/57.92	c cleaning 31995 clauses out of 64016 with flag 1208420/551128
63.58/62.79	c cleaning 32999 clauses out of 66020 with flag 1283659/585127
68.57/67.66	c cleaning 33999 clauses out of 68021 with flag 1361036/620127
73.68/72.74	c cleaning 35005 clauses out of 70022 with flag 1440768/656127
79.18/78.24	c cleaning 35998 clauses out of 72018 with flag 1527021/693128
84.68/83.78	c cleaning 37003 clauses out of 74019 with flag 1615353/731127
90.72/89.64	c cleaning 37998 clauses out of 76016 with flag 1706236/770127
96.71/95.61	c cleaning 38999 clauses out of 78020 with flag 1799357/810129
103.11/102.00	c cleaning 40002 clauses out of 80019 with flag 1894698/851127
109.41/108.37	c cleaning 40995 clauses out of 82018 with flag 1988909/893128
115.63/114.42	c cleaning 41998 clauses out of 84022 with flag 2087606/936127
121.72/120.50	c cleaning 43001 clauses out of 86025 with flag 2189705/980128
128.02/126.86	c cleaning 44000 clauses out of 88024 with flag 2294209/1025128
134.86/133.55	c cleaning 44999 clauses out of 90023 with flag 2400719/1071127
141.76/140.43	c cleaning 46000 clauses out of 92024 with flag 2510095/1118127
149.06/147.73	c cleaning 47000 clauses out of 94024 with flag 2621579/1166127
157.79/156.32	c cleaning 47997 clauses out of 96025 with flag 2735628/1215128
165.39/163.98	c cleaning 49000 clauses out of 98028 with flag 2852461/1265128
176.75/175.18	c cleaning 50002 clauses out of 100028 with flag 2971041/1316128
184.85/183.27	c cleaning 51000 clauses out of 102025 with flag 3092601/1368127
193.25/191.65	c cleaning 52000 clauses out of 104026 with flag 3216922/1421128
202.27/200.46	c cleaning 53003 clauses out of 106026 with flag 3343475/1475128
212.46/210.65	c cleaning 54000 clauses out of 108022 with flag 3471843/1530127
222.02/220.19	c cleaning 55001 clauses out of 110023 with flag 3601879/1586128
231.92/230.09	c cleaning 55998 clauses out of 112021 with flag 3734241/1643127
241.36/239.48	c cleaning 57004 clauses out of 114024 with flag 3868963/1701128
251.35/249.49	c cleaning 58002 clauses out of 116020 with flag 4005966/1760128
261.91/259.98	c cleaning 58999 clauses out of 118017 with flag 4145252/1820127
272.60/270.54	c cleaning 59996 clauses out of 120018 with flag 4286969/1881127
283.81/281.71	c cleaning 60998 clauses out of 122022 with flag 4427087/1943127
295.57/293.47	c cleaning 61997 clauses out of 124024 with flag 4568466/2006127
307.49/305.31	c cleaning 63004 clauses out of 126027 with flag 4715818/2070127
318.34/316.14	c cleaning 63997 clauses out of 128023 with flag 4866952/2135127
329.70/327.47	c cleaning 65003 clauses out of 130027 with flag 5020337/2201128
342.90/340.65	c cleaning 66002 clauses out of 132023 with flag 5176915/2268127
355.04/352.79	c cleaning 67004 clauses out of 134022 with flag 5334987/2336128
367.72/365.32	c cleaning 67998 clauses out of 136018 with flag 5496201/2405128
380.69/378.27	c cleaning 69003 clauses out of 138020 with flag 5658574/2475128
394.10/391.62	c cleaning 69997 clauses out of 140018 with flag 5823140/2546129
409.20/406.79	c cleaning 70998 clauses out of 142020 with flag 5989624/2618128
423.46/420.91	c cleaning 72001 clauses out of 144022 with flag 6159258/2691128
439.52/436.98	c cleaning 72999 clauses out of 146022 with flag 6331151/2765129
454.59/451.94	c cleaning 74001 clauses out of 148021 with flag 6505125/2840127
470.38/467.62	c cleaning 74998 clauses out of 150020 with flag 6682213/2916127
486.78/484.10	c cleaning 76000 clauses out of 152022 with flag 6861519/2993127
502.58/499.81	c cleaning 76994 clauses out of 154022 with flag 7043196/3071127
519.40/516.64	c cleaning 77999 clauses out of 156029 with flag 7226877/3150128
538.63/535.86	c cleaning 79008 clauses out of 158030 with flag 7406635/3230128
555.74/552.99	c cleaning 79997 clauses out of 160022 with flag 7585417/3311128
574.52/571.65	c cleaning 81000 clauses out of 162024 with flag 7763691/3393127
589.21/586.25	c cleaning 82001 clauses out of 164024 with flag 7941703/3476127
607.79/604.71	c cleaning 83001 clauses out of 166023 with flag 8126753/3560127
626.42/623.35	c cleaning 84001 clauses out of 168022 with flag 8314101/3645127
646.46/643.31	c cleaning 84994 clauses out of 170021 with flag 8503585/3731127
667.57/664.39	c cleaning 85996 clauses out of 172027 with flag 8695512/3818127
690.08/686.78	c cleaning 86999 clauses out of 174032 with flag 8888966/3906128
713.54/710.15	c cleaning 88003 clauses out of 176032 with flag 9084767/3995127
732.37/728.87	c cleaning 89005 clauses out of 178030 with flag 9288560/4085128
751.13/747.55	c cleaning 90002 clauses out of 180024 with flag 9498647/4176127
769.06/765.39	c cleaning 91004 clauses out of 182023 with flag 9710808/4268128
787.62/783.83	c cleaning 92000 clauses out of 184018 with flag 9925915/4361127
806.84/802.92	c cleaning 92997 clauses out of 186018 with flag 10143551/4455127
825.56/821.55	c cleaning 94003 clauses out of 188021 with flag 10365847/4550127
850.13/846.02	c cleaning 95002 clauses out of 190018 with flag 10589612/4646127
875.03/870.84	c cleaning 95997 clauses out of 192017 with flag 10814482/4743128
899.01/894.75	c cleaning 97001 clauses out of 194020 with flag 11042455/4841128
921.52/917.16	c cleaning 97999 clauses out of 196018 with flag 11271722/4940127
945.44/940.97	c cleaning 98998 clauses out of 198019 with flag 11503109/5040127
968.08/963.46	c cleaning 100001 clauses out of 200021 with flag 11737340/5141127
990.93/986.05	c cleaning 101001 clauses out of 202021 with flag 11974652/5243128
1013.44/1008.44	c cleaning 101994 clauses out of 204019 with flag 12214643/5346127
1042.05/1036.91	c cleaning 102999 clauses out of 206025 with flag 12457443/5450127
1069.72/1064.49	c cleaning 104003 clauses out of 208027 with flag 12700605/5555128
1105.59/1100.15	c cleaning 105003 clauses out of 210024 with flag 12946890/5661128
1131.24/1125.64	c cleaning 105999 clauses out of 212020 with flag 13194899/5768127
1158.73/1152.90	c cleaning 107002 clauses out of 214022 with flag 13445460/5876128
1182.36/1176.42	c cleaning 107997 clauses out of 216020 with flag 13697605/5985128
1220.68/1214.66	c cleaning 108999 clauses out of 218022 with flag 13951551/6095127
1258.38/1252.19	c cleaning 110001 clauses out of 220024 with flag 14209211/6206128
1289.25/1282.87	c cleaning 110997 clauses out of 222022 with flag 14466620/6318127
1322.37/1315.79	c cleaning 112002 clauses out of 224026 with flag 14727806/6431128
1358.04/1351.13	c cleaning 113000 clauses out of 226023 with flag 14991482/6545127
1398.23/1391.11	c cleaning 114001 clauses out of 228024 with flag 15258082/6660128
1432.01/1424.79	c cleaning 114996 clauses out of 230023 with flag 15527136/6776128
1467.42/1459.99	c cleaning 115999 clauses out of 232027 with flag 15797001/6893128
1500.24/1492.58	c cleaning 117002 clauses out of 234028 with flag 16070724/7011128
1536.85/1528.96	c cleaning 118000 clauses out of 236026 with flag 16345477/7130128
1574.47/1566.39	c cleaning 118997 clauses out of 238025 with flag 16623679/7250127
1612.73/1604.40	c cleaning 120002 clauses out of 240029 with flag 16905267/7371128
1659.88/1651.25	c cleaning 120995 clauses out of 242026 with flag 17187388/7493127
1707.63/1698.68	c cleaning 122007 clauses out of 244031 with flag 17471532/7616127
1751.80/1742.55	c cleaning 122995 clauses out of 246024 with flag 17758372/7740127
1793.05/1783.45	c cleaning 124000 clauses out of 248029 with flag 18046657/7865127
1800.03/1790.30	c starts		: 5
1800.03/1790.30	c conflicts		: 7900392
1800.03/1790.30	c decisions		: 10785334
1800.03/1790.30	c propagations		: 236052090
1800.03/1790.30	c inspects		: 36530505854
1800.03/1790.30	c shortcuts		: 0
1800.03/1790.30	c learnt literals	: 0
1800.03/1790.30	c learnt binary clauses	: 0
1800.03/1790.30	c learnt ternary clauses	: 0
1800.03/1790.30	c learnt constraints	: 7900392
1800.03/1790.30	c ignored constraints	: 0
1800.03/1790.30	c root simplifications	: 0
1800.03/1790.30	c removed literals (reason simplification)	: 0
1800.03/1790.30	c reason swapping (by a shorter reason)	: 0
1800.03/1790.30	c Calls to reduceDB	: 121
1800.03/1790.30	c Number of update (reduction) of LBD	: 722796
1800.03/1790.30	c Imported unit clauses	: 0
1800.03/1790.30	c number of reductions to clauses (during analyze)	: 0
1800.03/1790.30	c number of learned constraints concerned by reduction	: 0
1800.03/1790.30	c number of learning phase by resolution	: 0
1800.03/1790.30	c number of learning phase by cutting planes	: 0
1800.03/1790.30	c speed (assignments/second)	: 131869.01036283904
1800.03/1790.30	c non guided choices	0
1800.03/1790.33	c learnt constraints type 
1800.03/1790.33	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 159295
1800.03/1790.33	s SATISFIABLE
1800.03/1790.33	c Found 4 solution(s)
1800.03/1790.34	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 x8 -x9 -x10 -x11 -x12 x13 -x14 x15 -x16 -x17 x18 x19 x20 -x21 -x22 -x23 x24 -x25 -x26 -x27 -x28 -x29 x30 -x31 -x32 x33 -x34 -x35 -x36 -x37 x38 -x39 x40 -x41 x42 -x43 -x44 x45 -x46 -x47 -x48 x49 -x50 x51 x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 x61 x62 x63 -x64 x65 x66 -x67 -x68 -x69 -x70 -x71 x72 -x73 -x74 -x75 x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 x107 x108 -x109 x110 -x111 x112 -x113 -x114 x115 -x116 -x117 x118 -x119 x120 -x121 -x122 -x123 -x124 x125 -x126 -x127 -x128 -x129 -x130 x131 -x132 x133 x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 x147 -x148 -x149 -x150 x151 -x152 -x153 x154 -x155 -x156 -x157 -x158 -x159 -x160 x161 -x162 -x163 x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 x177 -x178 -x179 -x180 -x181 x182 x183 -x184 -x185 -x186 -x187 -x188 x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 x202 -x203 -x204 -x205 -x206 x207 -x208 -x209 -x210 x211 x212 -x213 x214 -x215 -x216 x217 -x218 x219 -x220 x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 x229 -x230 -x231 -x232 -x233 -x234 x235 -x236 -x237 x238 x239 -x240 -x241 x242 -x243 x244 -x245 x246 -x247 x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 x257 -x258 x259 -x260 -x261 x262 x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 x271 -x272 -x273 -x274 -x275 -x276 x277 -x278 -x279 -x280 x281 -x282 -x283 x284 -x285 -x286 -x287 -x288 -x289 -x290 x291 -x292 -x293 x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 x307 -x308 -x309 -x310 x311 -x312 -x313 x314 x315 -x316 x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 x328 x329 -x330 -x331 x332 -x333 x334 -x335 -x336 x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 x345 -x346 x347 x348 -x349 -x350 -x351 -x352 x353 -x354 -x355 x356 -x357 x358 -x359 x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 x368 -x369 x370 x371 -x372 -x373 x374 -x375 -x376 -x377 -x378 x379 -x380 x381 -x382 -x383 -x384 -x385 x386 -x387 -x388 -x389 x390 x391 x392 -x393 -x394 -x395 -x396 -x397 -x398 x399 x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 x415 -x416 -x417 -x418 -x419 -x420 x421 -x422 -x423 x424 x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 x443 -x444 -x445 -x446 x447 -x448 x449 -x450 x451 -x452 -x453 -x454 -x455 -x456 x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 x472 -x473 -x474 -x475 -x476 -x477 -x478 x479 -x480 -x481 -x482 -x483 -x484 x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 x508 -x509 -x510 x511 -x512 -x513 -x514 x515 x516 x517 -x518 x519 x520 x521 x522 -x523 -x524 x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 x542 x543 -x544 -x545 -x546 -x547 -x548 -x549 x550 -x551 -x552 -x553 -x554 x555 x556 -x557 -x558 -x559 -x560 x561 -x562 x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 x575 -x576 -x577 x578 -x579 x580 -x581 x582 -x583 x584 x585 x586 -x587 -x588 x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 x601 -x602 -x603 -x604 -x605 -x606 x607 -x608 x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 x619 -x620 -x621 -x622 -x623 -x624 x625 x626 x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 x637 -x638 -x639 -x640 x641 -x642 -x643 x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 x655 -x656 -x657 -x658 -x659 -x660 x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 x690 x691 -x692 -x693 x694 x695 -x696 x697 -x698 x699 -x700 -x701 -x702 -x703 x704 -x705 x706 -x707 -x708 -x709 -x710 -x711 x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 x723 -x724 -x725 -x726 -x727 -x728 -x729 x730 -x731 x732 -x733 -x734 -x735 -x736 -x737 x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 x749 -x750 -x751 -x752 -x753 -x754 -x755 x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 x787 -x788 -x789 -x790 x791 -x792 x793 x794 -x795 -x796 x797 -x798 x799 -x800 -x801 x802 -x803 x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 x868 x869 -x870 -x871 -x872 -x873 -x874 x875 x876 -x877 -x878 x879 x880 -x881 -x882 x883 x884 -x885 x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 x912 x913 -x914 -x915 -x916 -x917 x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 x943 x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 x1058 -x1059 x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 x1070 -x1071 -x1072 -x1073 
1800.03/1790.34	c objective function=196
1800.03/1790.34	c Total wall clock time (in seconds): 1790.225

Verifier Data 

OK	196

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-4105365-1466259889/watcher-4105365-1466259889 -o /tmp/evaluation-result-4105365-1466259889/solver-4105365-1466259889 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node124-1466241833-6932 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4105365-1466259889.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.27 2.24 2.22 3/194 19380
/proc/meminfo: memFree=29965332/32872528 swapFree=1497824/1644992
[pid=19380] ppid=19377 vsize=9224 CPUtime=0 cores=0,2,4,6
/proc/19380/stat : 19380 (java) R 19377 19380 6916 0 -1 4202496 404 0 0 0 0 0 0 0 20 0 1 0 28035774 9445376 75 33554432000 1073741824 1073778376 140737284465152 140737284462280 259103169789 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19380/statm: 2306 92 73 9 0 38 0

[startup+0.100059 s]
/proc/loadavg: 2.27 2.24 2.22 3/194 19380
/proc/meminfo: memFree=29965332/32872528 swapFree=1497824/1644992
[pid=19380] ppid=19377 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/19380/stat : 19380 (java) S 19377 19380 6916 0 -1 4202496 4401 0 1 0 8 1 0 0 20 0 18 0 28035774 9787879424 6029 33554432000 1073741824 1073778376 140737284465152 140737284456288 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19380/statm: 2389619 6029 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200215 s]
/proc/loadavg: 2.27 2.24 2.22 3/194 19380
/proc/meminfo: memFree=29965332/32872528 swapFree=1497824/1644992
[pid=19380] ppid=19377 vsize=9558476 CPUtime=0.27 cores=0,2,4,6
/proc/19380/stat : 19380 (java) S 19377 19380 6916 0 -1 4202496 4943 0 1 0 26 1 0 0 20 0 18 0 28035774 9787879424 6953 33554432000 1073741824 1073778376 140737284465152 140737284456288 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19380/statm: 2389619 6953 2216 9 0 2380296 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 9558476

[startup+0.300218 s]
/proc/loadavg: 2.27 2.24 2.22 3/194 19380
/proc/meminfo: memFree=29965332/32872528 swapFree=1497824/1644992
[pid=19380] ppid=19377 vsize=9625040 CPUtime=0.47 cores=0,2,4,6
/proc/19380/stat : 19380 (java) S 19377 19380 6916 0 -1 4202496 5824 0 1 0 46 1 0 0 20 0 19 0 28035774 9856040960 8472 33554432000 1073741824 1073778376 140737284465152 140737284456288 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19380/statm: 2406260 8472 2240 9 0 2396937 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 9625040

[startup+0.70014 s]
/proc/loadavg: 2.27 2.24 2.22 3/194 19380
/proc/meminfo: memFree=29965332/32872528 swapFree=1497824/1644992
[pid=19380] ppid=19377 vsize=9625040 CPUtime=1.17 cores=0,2,4,6
/proc/19380/stat : 19380 (java) S 19377 19380 6916 0 -1 4202496 7460 0 1 0 115 2 0 0 20 0 19 0 28035774 9856040960 10662 33554432000 1073741824 1073778376 140737284465152 140737284456288 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19380/statm: 2406260 10662 2256 9 0 2396937 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 9625040

[startup+1.5008 s]
/proc/loadavg: 2.27 2.24 2.22 3/213 19399
/proc/meminfo: memFree=29924628/32872528 swapFree=1497824/1644992
[pid=19380] ppid=19377 vsize=9625040 CPUtime=2.02 cores=0,2,4,6
/proc/19380/stat : 19380 (java) S 19377 19380 6916 0 -1 4202496 7470 0 1 0 200 2 0 0 20 0 19 0 28035774 9856040960 13737 33554432000 1073741824 1073778376 140737284465152 140737284456288 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19380/statm: 2406260 13737 2258 9 0 2396937 0
[pid=19380/tid=19382] ppid=19377 vsize=9625040 CPUtime=1.45 cores=0,2,4,6
/proc/19380/task/19382/stat : 19382 (java) R 19377 19380 6916 0 -1 4202560 2444 0 1 0 144 1 0 0 20 0 19 0 28035775 9856040960 13737 33554432000 1073741824 1073778376 140737284465152 140525148377712 140524971912740 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=19380/tid=19383] ppid=19377 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19380/task/19383/stat : 19383 (java) S 19377 19380 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28035776 9856040960 13737 33554432000 1073741824 1073778376 140737284465152 140525109869096 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19380/tid=19384] ppid=19377 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19380/task/19384/stat : 19384 (java) S 19377 19380 6916 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 28035776 9856040960 13737 33554432000 1073741824 1073778376 140737284465152 140525108816296 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19380/tid=19385] ppid=19377 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19380/task/19385/stat : 19385 (java) S 19377 19380 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28035776 9856040960 13737 33554432000 1073741824 1073778376 140737284465152 140525107763496 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19380/tid=19386] ppid=19377 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19380/task/19386/stat : 19386 (java) S 19377 19380 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28035776 9856040960 13737 33554432000 1073741824 1073778376 140737284465152 140525106710696 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19380/tid=19387] ppid=19377 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19380/task/19387/stat : 19387 (java) S 19377 19380 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28035776 9856040960 13737 33554432000 1073741824 1073778376 140737284465152 140525105658920 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19380/tid=19388] ppid=19377 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19380/task/19388/stat : 19388 (java) S 19377 19380 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28035776 9856040960 13737 33554432000 1073741824 1073778376 140737284465152 140525104606120 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19380/tid=19389] ppid=19377 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19380/task/19389/stat : 19389 (java) S 19377 19380 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28035776 9856040960 13737 33554432000 1073741824 1073778376 140737284465152 140525103553320 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19380/tid=19390] ppid=19377 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19380/task/19390/stat : 19390 (java) S 19377 19380 6916 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 28035776 9856040960 13737 33554432000 1073741824 1073778376 140737284465152 140525102500520 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19380/tid=19391] ppid=19377 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19380/task/19391/stat : 19391 (java) S 19377 19380 6916 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 28035777 9856040960 13737 33554432000 1073741824 1073778376 140737284465152 140525090089448 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19380/tid=19392] ppid=19377 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19380/task/19392/stat : 19392 (java) S 19377 19380 6916 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 28035778 9856040960 13737 33554432000 1073741824 1073778376 140737284465152 140524971353336 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19380/tid=19393] ppid=19377 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19380/task/19393/stat : 19393 (java) S 19377 19380 6916 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28035778 9856040960 13737 33554432000 1073741824 1073778376 140737284465152 140524970300424 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19380/tid=19394] ppid=19377 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19380/task/19394/stat : 19394 (java) S 19377 19380 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28035780 9856040960 13737 33554432000 1073741824 1073778376 140737284465152 140524969248912 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19380/tid=19395] ppid=19377 vsize=9625040 CPUtime=0.27 cores=0,2,4,6
/proc/19380/task/19395/stat : 19395 (java) S 19377 19380 6916 0 -1 4202560 2206 0 0 0 27 0 0 0 20 0 19 0 28035780 9856040960 13737 33554432000 1073741824 1073778376 140737284465152 140524968197048 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19380/tid=19396] ppid=19377 vsize=9625040 CPUtime=0.24 cores=0,2,4,6
/proc/19380/task/19396/stat : 19396 (java) S 19377 19380 6916 0 -1 4202560 1546 0 0 0 24 0 0 0 20 0 19 0 28035780 9856040960 13737 33554432000 1073741824 1073778376 140737284465152 140524967144248 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19380/tid=19397] ppid=19377 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19380/task/19397/stat : 19397 (java) S 19377 19380 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28035780 9856040960 13737 33554432000 1073741824 1073778376 140737284465152 140524966091640 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19380/tid=19398] ppid=19377 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19380/task/19398/stat : 19398 (java) S 19377 19380 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28035780 9856040960 13737 33554432000 1073741824 1073778376 140737284465152 140524965039048 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19380/tid=19399] ppid=19377 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19380/task/19399/stat : 19399 (java) S 19377 19380 6916 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28035800 9856040960 13737 33554432000 1073741824 1073778376 140737284465152 140524963984552 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.02
Current children cumulated vsize (KiB) 9625040

[startup+3.1008 s]
/proc/loadavg: 2.27 2.24 2.22 3/213 19399
/proc/meminfo: memFree=29907872/32872528 swapFree=1497824/1644992
[pid=19380] ppid=19377 vsize=9625040 CPUtime=3.65 cores=0,2,4,6
/proc/19380/stat : 19380 (java) S 19377 19380 6916 0 -1 4202496 7483 0 1 0 363 2 0 0 20 0 19 0 28035774 9856040960 19882 33554432000 1073741824 1073778376 140737284465152 140737284456288 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19380/statm: 2406260 19882 2258 9 0 2396937 0
[pid=19380/tid=19382] ppid=19377 vsize=9625040 CPUtime=3.05 cores=0,2,4,6
/proc/19380/task/19382/stat : 19382 (java) R 19377 19380 6916 0 -1 4202560 2456 0 1 0 304 1 0 0 20 0 19 0 28035775 9856040960 19882 33554432000 1073741824 1073778376 140737284465152 140525148368592 140524971974252 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=19380/tid=19383] ppid=19377 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19380/task/19383/stat : 19383 (java) S 19377 19380 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28035776 9856040960 19882 33554432000 1073741824 1073778376 140737284465152 140525109869096 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19380/tid=19384] ppid=19377 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19380/task/19384/stat : 19384 (java) S 19377 19380 6916 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 28035776 9856040960 19882 33554432000 1073741824 1073778376 140737284465152 140525108816296 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19380/tid=19385] ppid=19377 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19380/task/19385/stat : 19385 (java) S 19377 19380 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28035776 9856040960 19882 33554432000 1073741824 1073778376 140737284465152 140525107763496 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19380/tid=19386] ppid=19377 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19380/task/19386/stat : 19386 (java) S 19377 19380 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28035776 9856040960 19882 33554432000 1073741824 1073778376 140737284465152 140525106710696 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19380/tid=19387] ppid=19377 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19380/task/19387/stat : 19387 (java) S 19377 19380 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28035776 9856040960 19882 33554432000 1073741824 1073778376 140737284465152 140525105658920 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19380/tid=19388] ppid=19377 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19380/task/19388/stat : 19388 (java) S 19377 19380 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28035776 9856040960 19882 33554432000 1073741824 1073778376 140737284465152 140525104606120 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19380/tid=19389] ppid=19377 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19380/task/19389/stat : 19389 (java) S 19377 19380 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28035776 9856040960 19882 33554432000 1073741824 1073778376 140737284465152 140525103553320 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19380/tid=19390] ppid=19377 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19380/task/19390/stat : 19390 (java) S 19377 19380 6916 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 28035776 9856040960 19882 33554432000 1073741824 1073778376 140737284465152 140525102500520 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19380/tid=19391] ppid=19377 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19380/task/19391/stat : 19391 (java) S 19377 19380 6916 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 28035777 9856040960 19882 33554432000 1073741824 1073778376 140737284465152 140525090089448 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19380/tid=19392] ppid=19377 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19380/task/19392/stat : 19392 (java) S 19377 19380 6916 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 28035778 9856040960 19882 33554432000 1073741824 1073778376 140737284465152 140524971353336 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19380/tid=19393] ppid=19377 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19380/task/19393/stat : 19393 (java) S 19377 19380 6916 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28035778 9856040960 19882 33554432000 1073741824 1073778376 140737284465152 140524970300424 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19380/tid=19394] ppid=19377 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19380/task/19394/stat : 19394 (java) S 19377 19380 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28035780 9856040960 19882 33554432000 1073741824 1073778376 140737284465152 140524969248912 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19380/tid=19395] ppid=19377 vsize=9625040 CPUtime=0.31 cores=0,2,4,6
/proc/19380/task/19395/stat : 19395 (java) S 19377 19380 6916 0 -1 4202560 2207 0 0 0 31 0 0 0 20 0 19 0 28035780 9856040960 19882 33554432000 1073741824 1073778376 140737284465152 140524968197048 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19380/tid=19396] ppid=19377 vsize=9625040 CPUtime=0.24 cores=0,2,4,6
/proc/19380/task/19396/stat : 19396 (java) S 19377 19380 6916 0 -1 4202560 1546 0 0 0 24 0 0 0 20 0 19 0 28035780 9856040960 19882 33554432000 1073741824 1073778376 140737284465152 140524967144248 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19380/tid=19397] ppid=19377 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19380/task/19397/stat : 19397 (java) S 19377 19380 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28035780 9856040960 19882 33554432000 1073741824 1073778376 140737284465152 140524966091640 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19380/tid=19398] ppid=19377 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19380/task/19398/stat : 19398 (java) S 19377 19380 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28035780 9856040960 19882 33554432000 1073741824 1073778376 140737284465152 140524965039048 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19380/tid=19399] ppid=19377 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19380/task/19399/stat : 19399 (java) S 19377 19380 6916 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28035800 9856040960 19882 33554432000 1073741824 1073778376 140737284465152 140524963984552 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.65
Current children cumulated vsize (KiB) 9625040

[startup+6.30078 s]
/proc/loadavg: 2.25 2.24 2.22 3/213 19399
/proc/meminfo: memFree=29862436/32872528 swapFree=1497824/1644992
[pid=19380] ppid=19377 vsize=9625040 CPUtime=6.85 cores=0,2,4,6
/proc/19380/stat : 19380 (java) S 19377 19380 6916 0 -1 4202496 7504 0 1 0 683 2 0 0 20 0 19 0 28035774 9856040960 29587 33554432000 1073741824 1073778376 140737284465152 140737284456288 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19380/statm: 2406260 29587 2259 9 0 2396937 0
[pid=19380/tid=19382] ppid=19377 vsize=9625040 CPUtime=6.24 cores=0,2,4,6
/proc/19380/task/19382/stat : 19382 (java) R 19377 19380 6916 0 -1 4202560 2476 0 1 0 623 1 0 0 20 0 19 0 28035775 9856040960 29587 33554432000 1073741824 1073778376 140737284465152 140525148368592 140524972078843 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=19380/tid=19383] ppid=19377 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19380/task/19383/stat : 19383 (java) S 19377 19380 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28035776 9856040960 29587 33554432000 1073741824 1073778376 140737284465152 140525109869096 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19380/tid=19384] ppid=19377 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19380/task/19384/stat : 19384 (java) S 19377 19380 6916 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 28035776 9856040960 29587 33554432000 1073741824 1073778376 140737284465152 140525108816296 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19380/tid=19385] ppid=19377 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19380/task/19385/stat : 19385 (java) S 19377 19380 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28035776 9856040960 29587 33554432000 1073741824 1073778376 140737284465152 140525107763496 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19380/tid=19386] ppid=19377 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19380/task/19386/stat : 19386 (java) S 19377 19380 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28035776 9856040960 29587 33554432000 1073741824 1073778376 140737284465152 140525106710696 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19380/tid=19387] ppid=19377 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19380/task/19387/stat : 19387 (java) S 19377 19380 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28035776 9856040960 29587 33554432000 1073741824 1073778376 140737284465152 140525105658920 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19380/tid=19388] ppid=19377 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19380/task/19388/stat : 19388 (java) S 19377 19380 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28035776 9856040960 29587 33554432000 1073741824 1073778376 140737284465152 140525104606120 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19380/tid=19389] ppid=19377 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19380/task/19389/stat : 19389 (java) S 19377 19380 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28035776 9856040960 29587 33554432000 1073741824 1073778376 140737284465152 140525103553320 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19380/tid=19390] ppid=19377 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19380/task/19390/stat : 19390 (java) S 19377 19380 6916 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 28035776 9856040960 29587 33554432000 1073741824 1073778376 140737284465152 140525102500520 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19380/tid=19391] ppid=19377 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19380/task/19391/stat : 19391 (java) S 19377 19380 6916 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 28035777 9856040960 29587 33554432000 1073741824 1073778376 140737284465152 140525090089448 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19380/tid=19392] ppid=19377 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19380/task/19392/stat : 19392 (java) S 19377 19380 6916 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 28035778 9856040960 29587 33554432000 1073741824 1073778376 140737284465152 140524971353336 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19380/tid=19393] ppid=19377 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19380/task/19393/stat : 19393 (java) S 19377 19380 6916 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28035778 9856040960 29587 33554432000 1073741824 1073778376 140737284465152 140524970300424 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19380/tid=19394] ppid=19377 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19380/task/19394/stat : 19394 (java) S 19377 19380 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28035780 9856040960 29587 33554432000 1073741824 1073778376 140737284465152 140524969248912 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19380/tid=19395] ppid=19377 vsize=9625040 CPUtime=0.32 cores=0,2,4,6
/proc/19380/task/19395/stat : 19395 (java) S 19377 19380 6916 0 -1 4202560 2207 0 0 0 32 0 0 0 20 0 19 0 28035780 9856040960 29587 33554432000 1073741824 1073778376 140737284465152 140524968197048 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19380/tid=19396] ppid=19377 vsize=9625040 CPUtime=0.24 cores=0,2,4,6
/proc/19380/task/19396/stat : 19396 (java) S 19377 19380 6916 0 -1 4202560 1546 0 0 0 24 0 0 0 20 0 19 0 28035780 9856040960 29587 33554432000 1073741824 1073778376 140737284465152 140524967144248 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19380/tid=19397] ppid=19377 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19380/task/19397/stat : 19397 (java) S 19377 19380 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28035780 9856040960 29587 33554432000 1073741824 1073778376 140737284465152 140524966091640 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19380/tid=19398] ppid=19377 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19380/task/19398/stat : 19398 (java) S 19377 19380 6916 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 28035780 9856040960 29587 33554432000 1073741824 1073778376 140737284465152 140524965039048 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19380/tid=19399] ppid=19377 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19380/task/19399/stat : 19399 (java) S 19377 19380 6916 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28035800 9856040960 29587 33554432000 1073741824 1073778376 140737284465152 140524963984552 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.85
Current children cumulated vsize (KiB) 9625040


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

[pid=19380/tid=19399] ppid=19377 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19380/task/19399/stat : 19399 (java) S 19377 19380 6916 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28035800 9856040960 84793 33554432000 1073741824 1073778376 140737284465152 140524963984552 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1731.51
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.28 2.25 2.21 3/212 19509
/proc/meminfo: memFree=29537720/32872528 swapFree=1497824/1644992
[pid=19380] ppid=19377 vsize=9625040 CPUtime=1791.95 cores=0,2,4,6
/proc/19380/stat : 19380 (java) S 19377 19380 6916 0 -1 4202496 12612 0 1 0 179098 97 0 0 20 0 19 0 28035774 9856040960 81535 33554432000 1073741824 1073778376 140737284465152 140737284456288 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19380/statm: 2406260 81535 2281 9 0 2396937 0
[pid=19380/tid=19382] ppid=19377 vsize=9625040 CPUtime=1771.45 cores=0,2,4,6
/proc/19380/task/19382/stat : 19382 (java) R 19377 19380 6916 0 -1 4202560 2680 0 1 0 177115 30 0 0 20 0 19 0 28035775 9856040960 81535 33554432000 1073741824 1073778376 140737284465152 140525148376304 140524971628482 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19380/tid=19383] ppid=19377 vsize=9625040 CPUtime=1.56 cores=0,2,4,6
/proc/19380/task/19383/stat : 19383 (java) S 19377 19380 6916 0 -1 4202560 480 0 0 0 148 8 0 0 20 0 19 0 28035776 9856040960 81535 33554432000 1073741824 1073778376 140737284465152 140525109869096 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19380/tid=19384] ppid=19377 vsize=9625040 CPUtime=1.52 cores=0,2,4,6
/proc/19380/task/19384/stat : 19384 (java) S 19377 19380 6916 0 -1 4202560 357 0 0 0 146 6 0 0 20 0 19 0 28035776 9856040960 81535 33554432000 1073741824 1073778376 140737284465152 140525108816296 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19380/tid=19385] ppid=19377 vsize=9625040 CPUtime=1.55 cores=0,2,4,6
/proc/19380/task/19385/stat : 19385 (java) S 19377 19380 6916 0 -1 4202560 503 0 0 0 146 9 0 0 20 0 19 0 28035776 9856040960 81535 33554432000 1073741824 1073778376 140737284465152 140525107763496 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19380/tid=19386] ppid=19377 vsize=9625040 CPUtime=1.69 cores=0,2,4,6
/proc/19380/task/19386/stat : 19386 (java) S 19377 19380 6916 0 -1 4202560 681 0 0 0 160 9 0 0 20 0 19 0 28035776 9856040960 81535 33554432000 1073741824 1073778376 140737284465152 140525106710696 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19380/tid=19387] ppid=19377 vsize=9625040 CPUtime=1.66 cores=0,2,4,6
/proc/19380/task/19387/stat : 19387 (java) S 19377 19380 6916 0 -1 4202560 472 0 0 0 156 10 0 0 20 0 19 0 28035776 9856040960 81535 33554432000 1073741824 1073778376 140737284465152 140525105658920 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19380/tid=19388] ppid=19377 vsize=9625040 CPUtime=1.67 cores=0,2,4,6
/proc/19380/task/19388/stat : 19388 (java) S 19377 19380 6916 0 -1 4202560 466 0 0 0 157 10 0 0 20 0 19 0 28035776 9856040960 81535 33554432000 1073741824 1073778376 140737284465152 140525104606120 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19380/tid=19389] ppid=19377 vsize=9625040 CPUtime=1.47 cores=0,2,4,6
/proc/19380/task/19389/stat : 19389 (java) S 19377 19380 6916 0 -1 4202560 538 0 0 0 138 9 0 0 20 0 19 0 28035776 9856040960 81535 33554432000 1073741824 1073778376 140737284465152 140525103553320 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19380/tid=19390] ppid=19377 vsize=9625040 CPUtime=1.52 cores=0,2,4,6
/proc/19380/task/19390/stat : 19390 (java) S 19377 19380 6916 0 -1 4202560 521 0 0 0 143 9 0 0 20 0 19 0 28035776 9856040960 81535 33554432000 1073741824 1073778376 140737284465152 140525102500520 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19380/tid=19391] ppid=19377 vsize=9625040 CPUtime=2.46 cores=0,2,4,6
/proc/19380/task/19391/stat : 19391 (java) S 19377 19380 6916 0 -1 4202560 522 0 0 0 242 4 0 0 20 0 19 0 28035777 9856040960 81535 33554432000 1073741824 1073778376 140737284465152 140525090089448 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19380/tid=19392] ppid=19377 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19380/task/19392/stat : 19392 (java) S 19377 19380 6916 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 28035778 9856040960 81535 33554432000 1073741824 1073778376 140737284465152 140524971353336 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19380/tid=19393] ppid=19377 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19380/task/19393/stat : 19393 (java) S 19377 19380 6916 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 28035778 9856040960 81535 33554432000 1073741824 1073778376 140737284465152 140524970300424 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19380/tid=19394] ppid=19377 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19380/task/19394/stat : 19394 (java) S 19377 19380 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28035780 9856040960 81535 33554432000 1073741824 1073778376 140737284465152 140524969248912 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19380/tid=19395] ppid=19377 vsize=9625040 CPUtime=0.34 cores=0,2,4,6
/proc/19380/task/19395/stat : 19395 (java) S 19377 19380 6916 0 -1 4202560 2483 0 0 0 34 0 0 0 20 0 19 0 28035780 9856040960 81535 33554432000 1073741824 1073778376 140737284465152 140524968197048 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19380/tid=19396] ppid=19377 vsize=9625040 CPUtime=0.24 cores=0,2,4,6
/proc/19380/task/19396/stat : 19396 (java) S 19377 19380 6916 0 -1 4202560 1546 0 0 0 24 0 0 0 20 0 19 0 28035780 9856040960 81535 33554432000 1073741824 1073778376 140737284465152 140524967144248 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19380/tid=19397] ppid=19377 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19380/task/19397/stat : 19397 (java) S 19377 19380 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28035780 9856040960 81535 33554432000 1073741824 1073778376 140737284465152 140524966091640 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19380/tid=19398] ppid=19377 vsize=9625040 CPUtime=0.43 cores=0,2,4,6
/proc/19380/task/19398/stat : 19398 (java) S 19377 19380 6916 0 -1 4202560 104 0 0 0 21 22 0 0 20 0 19 0 28035780 9856040960 81535 33554432000 1073741824 1073778376 140737284465152 140524965039048 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19380/tid=19399] ppid=19377 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19380/task/19399/stat : 19399 (java) S 19377 19380 6916 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28035800 9856040960 81535 33554432000 1073741824 1073778376 140737284465152 140524963984552 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1791.95
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1790.3 s]
/proc/loadavg: 2.23 2.24 2.21 3/213 19510
/proc/meminfo: memFree=29497124/32872528 swapFree=1497824/1644992
[pid=19380] ppid=19377 vsize=9625040 CPUtime=1800.03 cores=0,2,4,6
/proc/19380/stat : 19380 (java) S 19377 19380 6916 0 -1 4202496 12618 0 1 0 179906 97 0 0 20 0 19 0 28035774 9856040960 72766 33554432000 1073741824 1073778376 140737284465152 140737284456288 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19380/statm: 2406260 72766 2281 9 0 2396937 0
[pid=19380/tid=19382] ppid=19377 vsize=9625040 CPUtime=1779.31 cores=0,2,4,6
/proc/19380/task/19382/stat : 19382 (java) R 19377 19380 6916 0 -1 4202560 2684 0 1 0 177900 31 0 0 20 0 19 0 28035775 9856040960 72766 33554432000 1073741824 1073778376 140737284465152 140525148376288 140524971974516 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19380/tid=19383] ppid=19377 vsize=9625040 CPUtime=1.57 cores=0,2,4,6
/proc/19380/task/19383/stat : 19383 (java) S 19377 19380 6916 0 -1 4202560 480 0 0 0 149 8 0 0 20 0 19 0 28035776 9856040960 72766 33554432000 1073741824 1073778376 140737284465152 140525109869096 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19380/tid=19384] ppid=19377 vsize=9625040 CPUtime=1.54 cores=0,2,4,6
/proc/19380/task/19384/stat : 19384 (java) S 19377 19380 6916 0 -1 4202560 357 0 0 0 148 6 0 0 20 0 19 0 28035776 9856040960 72766 33554432000 1073741824 1073778376 140737284465152 140525108816296 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19380/tid=19385] ppid=19377 vsize=9625040 CPUtime=1.57 cores=0,2,4,6
/proc/19380/task/19385/stat : 19385 (java) S 19377 19380 6916 0 -1 4202560 503 0 0 0 148 9 0 0 20 0 19 0 28035776 9856040960 72766 33554432000 1073741824 1073778376 140737284465152 140525107763496 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19380/tid=19386] ppid=19377 vsize=9625040 CPUtime=1.71 cores=0,2,4,6
/proc/19380/task/19386/stat : 19386 (java) S 19377 19380 6916 0 -1 4202560 681 0 0 0 162 9 0 0 20 0 19 0 28035776 9856040960 72766 33554432000 1073741824 1073778376 140737284465152 140525106710696 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19380/tid=19387] ppid=19377 vsize=9625040 CPUtime=1.67 cores=0,2,4,6
/proc/19380/task/19387/stat : 19387 (java) S 19377 19380 6916 0 -1 4202560 472 0 0 0 157 10 0 0 20 0 19 0 28035776 9856040960 72766 33554432000 1073741824 1073778376 140737284465152 140525105658920 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19380/tid=19388] ppid=19377 vsize=9625040 CPUtime=1.68 cores=0,2,4,6
/proc/19380/task/19388/stat : 19388 (java) S 19377 19380 6916 0 -1 4202560 466 0 0 0 158 10 0 0 20 0 19 0 28035776 9856040960 72766 33554432000 1073741824 1073778376 140737284465152 140525104606120 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19380/tid=19389] ppid=19377 vsize=9625040 CPUtime=1.49 cores=0,2,4,6
/proc/19380/task/19389/stat : 19389 (java) S 19377 19380 6916 0 -1 4202560 538 0 0 0 140 9 0 0 20 0 19 0 28035776 9856040960 72766 33554432000 1073741824 1073778376 140737284465152 140525103553320 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19380/tid=19390] ppid=19377 vsize=9625040 CPUtime=1.53 cores=0,2,4,6
/proc/19380/task/19390/stat : 19390 (java) S 19377 19380 6916 0 -1 4202560 521 0 0 0 144 9 0 0 20 0 19 0 28035776 9856040960 72766 33554432000 1073741824 1073778376 140737284465152 140525102500520 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19380/tid=19391] ppid=19377 vsize=9625040 CPUtime=2.54 cores=0,2,4,6
/proc/19380/task/19391/stat : 19391 (java) S 19377 19380 6916 0 -1 4202560 524 0 0 0 250 4 0 0 20 0 19 0 28035777 9856040960 72766 33554432000 1073741824 1073778376 140737284465152 140525090089448 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19380/tid=19392] ppid=19377 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19380/task/19392/stat : 19392 (java) S 19377 19380 6916 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 28035778 9856040960 72766 33554432000 1073741824 1073778376 140737284465152 140524971353336 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19380/tid=19393] ppid=19377 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19380/task/19393/stat : 19393 (java) S 19377 19380 6916 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 28035778 9856040960 72766 33554432000 1073741824 1073778376 140737284465152 140524970300424 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19380/tid=19394] ppid=19377 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19380/task/19394/stat : 19394 (java) S 19377 19380 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28035780 9856040960 72766 33554432000 1073741824 1073778376 140737284465152 140524969248912 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19380/tid=19395] ppid=19377 vsize=9625040 CPUtime=0.34 cores=0,2,4,6
/proc/19380/task/19395/stat : 19395 (java) S 19377 19380 6916 0 -1 4202560 2483 0 0 0 34 0 0 0 20 0 19 0 28035780 9856040960 72766 33554432000 1073741824 1073778376 140737284465152 140524968197048 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19380/tid=19396] ppid=19377 vsize=9625040 CPUtime=0.24 cores=0,2,4,6
/proc/19380/task/19396/stat : 19396 (java) S 19377 19380 6916 0 -1 4202560 1546 0 0 0 24 0 0 0 20 0 19 0 28035780 9856040960 72766 33554432000 1073741824 1073778376 140737284465152 140524967144248 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19380/tid=19397] ppid=19377 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19380/task/19397/stat : 19397 (java) S 19377 19380 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28035780 9856040960 72766 33554432000 1073741824 1073778376 140737284465152 140524966091640 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19380/tid=19398] ppid=19377 vsize=9625040 CPUtime=0.43 cores=0,2,4,6
/proc/19380/task/19398/stat : 19398 (java) S 19377 19380 6916 0 -1 4202560 104 0 0 0 21 22 0 0 20 0 19 0 28035780 9856040960 72766 33554432000 1073741824 1073778376 140737284465152 140524965039048 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19380/tid=19399] ppid=19377 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19380/task/19399/stat : 19399 (java) S 19377 19380 6916 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28035800 9856040960 72766 33554432000 1073741824 1073778376 140737284465152 140524963984552 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
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 19380 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1790.3 s]
/proc/loadavg: 2.23 2.24 2.21 3/213 19510
/proc/meminfo: memFree=29497124/32872528 swapFree=1497824/1644992
[pid=19380] ppid=19377 vsize=9625040 CPUtime=1800.03 cores=0,2,4,6
/proc/19380/stat : 19380 (java) S 19377 19380 6916 0 -1 4202496 12618 0 1 0 179906 97 0 0 20 0 19 0 28035774 9856040960 72766 33554432000 1073741824 1073778376 140737284465152 140737284456288 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19380/statm: 2406260 72766 2281 9 0 2396937 0
[pid=19380/tid=19382] ppid=19377 vsize=9625040 CPUtime=1779.31 cores=0,2,4,6
/proc/19380/task/19382/stat : 19382 (java) R 19377 19380 6916 0 -1 4202560 2684 0 1 0 177900 31 0 0 20 0 19 0 28035775 9856040960 72766 33554432000 1073741824 1073778376 140737284465152 140525148376288 140524971974516 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19380/tid=19383] ppid=19377 vsize=9625040 CPUtime=1.57 cores=0,2,4,6
/proc/19380/task/19383/stat : 19383 (java) S 19377 19380 6916 0 -1 4202560 480 0 0 0 149 8 0 0 20 0 19 0 28035776 9856040960 72766 33554432000 1073741824 1073778376 140737284465152 140525109869096 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19380/tid=19384] ppid=19377 vsize=9625040 CPUtime=1.54 cores=0,2,4,6
/proc/19380/task/19384/stat : 19384 (java) S 19377 19380 6916 0 -1 4202560 357 0 0 0 148 6 0 0 20 0 19 0 28035776 9856040960 72766 33554432000 1073741824 1073778376 140737284465152 140525108816296 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19380/tid=19385] ppid=19377 vsize=9625040 CPUtime=1.57 cores=0,2,4,6
/proc/19380/task/19385/stat : 19385 (java) S 19377 19380 6916 0 -1 4202560 503 0 0 0 148 9 0 0 20 0 19 0 28035776 9856040960 72766 33554432000 1073741824 1073778376 140737284465152 140525107763496 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19380/tid=19386] ppid=19377 vsize=9625040 CPUtime=1.71 cores=0,2,4,6
/proc/19380/task/19386/stat : 19386 (java) S 19377 19380 6916 0 -1 4202560 681 0 0 0 162 9 0 0 20 0 19 0 28035776 9856040960 72766 33554432000 1073741824 1073778376 140737284465152 140525106710696 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19380/tid=19387] ppid=19377 vsize=9625040 CPUtime=1.67 cores=0,2,4,6
/proc/19380/task/19387/stat : 19387 (java) S 19377 19380 6916 0 -1 4202560 472 0 0 0 157 10 0 0 20 0 19 0 28035776 9856040960 72766 33554432000 1073741824 1073778376 140737284465152 140525105658920 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19380/tid=19388] ppid=19377 vsize=9625040 CPUtime=1.68 cores=0,2,4,6
/proc/19380/task/19388/stat : 19388 (java) S 19377 19380 6916 0 -1 4202560 466 0 0 0 158 10 0 0 20 0 19 0 28035776 9856040960 72766 33554432000 1073741824 1073778376 140737284465152 140525104606120 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19380/tid=19389] ppid=19377 vsize=9625040 CPUtime=1.49 cores=0,2,4,6
/proc/19380/task/19389/stat : 19389 (java) S 19377 19380 6916 0 -1 4202560 538 0 0 0 140 9 0 0 20 0 19 0 28035776 9856040960 72766 33554432000 1073741824 1073778376 140737284465152 140525103553320 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19380/tid=19390] ppid=19377 vsize=9625040 CPUtime=1.53 cores=0,2,4,6
/proc/19380/task/19390/stat : 19390 (java) S 19377 19380 6916 0 -1 4202560 521 0 0 0 144 9 0 0 20 0 19 0 28035776 9856040960 72766 33554432000 1073741824 1073778376 140737284465152 140525102500520 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19380/tid=19391] ppid=19377 vsize=9625040 CPUtime=2.54 cores=0,2,4,6
/proc/19380/task/19391/stat : 19391 (java) S 19377 19380 6916 0 -1 4202560 524 0 0 0 250 4 0 0 20 0 19 0 28035777 9856040960 72766 33554432000 1073741824 1073778376 140737284465152 140525090089448 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19380/tid=19392] ppid=19377 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19380/task/19392/stat : 19392 (java) S 19377 19380 6916 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 28035778 9856040960 72766 33554432000 1073741824 1073778376 140737284465152 140524971353336 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19380/tid=19393] ppid=19377 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19380/task/19393/stat : 19393 (java) S 19377 19380 6916 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 28035778 9856040960 72766 33554432000 1073741824 1073778376 140737284465152 140524970300424 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19380/tid=19394] ppid=19377 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19380/task/19394/stat : 19394 (java) S 19377 19380 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28035780 9856040960 72766 33554432000 1073741824 1073778376 140737284465152 140524969248912 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19380/tid=19395] ppid=19377 vsize=9625040 CPUtime=0.34 cores=0,2,4,6
/proc/19380/task/19395/stat : 19395 (java) S 19377 19380 6916 0 -1 4202560 2483 0 0 0 34 0 0 0 20 0 19 0 28035780 9856040960 72766 33554432000 1073741824 1073778376 140737284465152 140524968197048 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19380/tid=19396] ppid=19377 vsize=9625040 CPUtime=0.24 cores=0,2,4,6
/proc/19380/task/19396/stat : 19396 (java) S 19377 19380 6916 0 -1 4202560 1546 0 0 0 24 0 0 0 20 0 19 0 28035780 9856040960 72766 33554432000 1073741824 1073778376 140737284465152 140524967144248 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19380/tid=19397] ppid=19377 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19380/task/19397/stat : 19397 (java) S 19377 19380 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28035780 9856040960 72766 33554432000 1073741824 1073778376 140737284465152 140524966091640 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19380/tid=19398] ppid=19377 vsize=9625040 CPUtime=0.43 cores=0,2,4,6
/proc/19380/task/19398/stat : 19398 (java) S 19377 19380 6916 0 -1 4202560 104 0 0 0 21 22 0 0 20 0 19 0 28035780 9856040960 72766 33554432000 1073741824 1073778376 140737284465152 140524965039048 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19380/tid=19399] ppid=19377 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19380/task/19399/stat : 19399 (java) S 19377 19380 6916 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28035800 9856040960 72766 33554432000 1073741824 1073778376 140737284465152 140524963984552 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 9625040

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 19380 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=578182
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=412785
# CPU time returned by wait4() is 1795.99
# 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): 1790.34
CPU time (s): 1800.03
CPU user time (s): 1799.06
CPU system time (s): 0.97
CPU usage (%): 100.541
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.58
system time used= 1.41278
maximum resident set size= 684740
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12665
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= 43643
involuntary context switches= 33678

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.8735 second user time and 13.284 second system time

The end

Launcher Data 

Begin job on node124 at 2016-06-18 16:24:49
IDJOB=4105365
IDBENCH=2842
IDSOLVER=2546
FILE ID=node124/4105365-1466259889
RUNJOBID= node124-1466241833-6932
PBS_JOBID= 19918215
Free space on /tmp= 71728 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-addm4.r.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4105365-1466259889/watcher-4105365-1466259889 -o /tmp/evaluation-result-4105365-1466259889/solver-4105365-1466259889 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node124-1466241833-6932 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4105365-1466259889.opb

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

MD5SUM BENCH= 9633aa6e9fb6df7104bc0e43c44542c0
RANDOM SEED=751186754

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.791
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.54
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.791
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.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29965976 kB
Buffers:          147388 kB
Cached:           174028 kB
SwapCached:         3080 kB
Active:           259124 kB
Inactive:         231896 kB
Active(anon):     169076 kB
Inactive(anon):     3132 kB
Active(file):      90048 kB
Inactive(file):   228764 kB
Unevictable:     1644992 kB
Mlocked:         1497824 kB
SwapTotal:      67108856 kB
SwapFree:       67099796 kB
Dirty:               816 kB
Writeback:             0 kB
AnonPages:       1798636 kB
Mapped:            17056 kB
Shmem:                 0 kB
Slab:             627116 kB
SReclaimable:      70464 kB
SUnreclaim:       556652 kB
KernelStack:        1672 kB
PageTables:         7808 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2333504 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    278528 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= 71728 MiB
End job on node124 at 2016-06-18 16:54:40