Trace number 4085195

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)300 1800.67 1785.45

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/logic-synthesis/normalized-max1024.pi.opb
MD5SUM93fc03471d2b2f18ece1d77179dbcb30
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark276
Best CPU time to get the best result obtained on this benchmark1800.05
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 259
Optimality of the best value was proved YES
Number of variables1278
Total number of constraints1087
Number of constraints which are clauses1087
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 constraint1
Maximum length of a constraint18
Number of terms in the objective function 1278
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 1278
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 1278
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.08/0.10	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.08/0.10	c This is free software under the dual EPL/GNU LGPL licenses.
0.08/0.10	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 	8
0.08/0.13	c Pseudo Boolean Optimization by upper bound
0.08/0.13	c --- Begin Solver configuration ---
0.08/0.13	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.08/0.13	c Learn all clauses as in MiniSAT
0.08/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.08/0.13	c No reason simplification
0.08/0.13	c Glucose 2.1 dynamic restart strategy
0.08/0.13	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.13	c timeout=2147483s
0.08/0.13	c DB Simplification allowed=false
0.08/0.13	c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90
0.08/0.13	c --- End Solver configuration ---
0.08/0.13	c solving HOME/instance-4085195-1465230462.opb
0.08/0.13	c reading problem ... 
0.08/0.13	c  objective function found
0.24/0.28	c ... done. Wall clock time 0.152s.
0.24/0.28	c declared #vars     1278
0.24/0.28	c #constraints  1087
0.24/0.28	c constraints type 
0.24/0.28	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 970
0.24/0.28	c org.sat4j.specs.Constr$1 => 2
0.24/0.28	c org.sat4j.minisat.constraints.cnf.UnitClause => 14
0.24/0.28	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 101
0.24/0.28	c 1087 constraints processed.
0.24/0.28	c objective function length is 1278 literals
0.44/0.30	c SATISFIABLE
0.44/0.30	c OPTIMIZING...
0.44/0.30	c Got one! Elapsed wall clock time (in seconds):0.175
0.44/0.30	o 301
1.06/0.73	c cleaning 2495 clauses out of 5000 with flag 10689/5000
1.57/1.11	c cleaning 4248 clauses out of 8505 with flag 23956/11000
1.97/1.55	c cleaning 5623 clauses out of 11257 with flag 39713/18000
2.57/2.13	c cleaning 6806 clauses out of 13634 with flag 57609/26000
3.31/2.84	c cleaning 7908 clauses out of 15828 with flag 77872/35000
4.11/3.62	c cleaning 8951 clauses out of 17920 with flag 100655/45000
5.02/4.56	c cleaning 9979 clauses out of 19969 with flag 125390/56000
6.11/5.65	c cleaning 10985 clauses out of 21990 with flag 152844/68000
7.22/6.79	c cleaning 11991 clauses out of 24006 with flag 182162/81001
8.51/8.08	c cleaning 12996 clauses out of 26015 with flag 213697/95001
9.86/9.33	c cleaning 14003 clauses out of 28018 with flag 247472/110000
11.16/10.65	c cleaning 14998 clauses out of 30016 with flag 283777/126001
12.67/12.12	c cleaning 15998 clauses out of 32017 with flag 322306/143000
12.67/12.18	c Got one! Elapsed wall clock time (in seconds):12.052
12.67/12.18	o 300
13.22/12.60	c cleaning 10960 clauses out of 21938 with flag 10734/148919
13.62/13.01	c cleaning 8481 clauses out of 16979 with flag 24129/154920
14.02/13.47	c cleaning 7735 clauses out of 15498 with flag 39700/161920
14.62/14.00	c cleaning 7878 clauses out of 15764 with flag 57541/169921
15.22/14.63	c cleaning 8431 clauses out of 16885 with flag 77603/178920
15.92/15.36	c cleaning 9212 clauses out of 18453 with flag 100515/188919
16.72/16.18	c cleaning 10115 clauses out of 20243 with flag 125307/199921
17.80/17.14	c cleaning 11053 clauses out of 22126 with flag 152322/211919
18.80/18.18	c cleaning 12027 clauses out of 24073 with flag 181597/224919
20.00/19.32	c cleaning 13013 clauses out of 26047 with flag 212622/238920
21.30/20.63	c cleaning 14008 clauses out of 28034 with flag 245978/253920
22.90/22.26	c cleaning 15004 clauses out of 30026 with flag 281656/269920
24.80/24.13	c cleaning 15999 clauses out of 32021 with flag 321333/286919
26.70/26.08	c cleaning 17005 clauses out of 34022 with flag 362577/304919
28.78/28.00	c cleaning 18000 clauses out of 36018 with flag 405897/323920
30.79/30.00	c cleaning 18999 clauses out of 38018 with flag 453350/343920
33.19/32.44	c cleaning 20000 clauses out of 40019 with flag 503497/364920
35.69/34.96	c cleaning 21005 clauses out of 42019 with flag 553989/386920
38.20/37.43	c cleaning 21997 clauses out of 44015 with flag 606793/409921
40.82/39.93	c cleaning 22998 clauses out of 46016 with flag 662994/433919
43.32/42.46	c cleaning 23997 clauses out of 48018 with flag 721282/458919
46.22/45.34	c cleaning 24998 clauses out of 50021 with flag 782059/484919
49.72/48.82	c cleaning 25998 clauses out of 52023 with flag 845498/511919
53.44/52.49	c cleaning 27007 clauses out of 54025 with flag 909901/539919
56.94/55.97	c cleaning 28003 clauses out of 56020 with flag 976741/568921
60.45/59.50	c cleaning 28997 clauses out of 58015 with flag 1046601/598919
64.35/63.32	c cleaning 30000 clauses out of 60018 with flag 1119029/629919
69.28/68.20	c cleaning 30994 clauses out of 62018 with flag 1192170/661919
74.78/73.69	c cleaning 31997 clauses out of 64024 with flag 1268419/694919
80.28/79.18	c cleaning 33003 clauses out of 66027 with flag 1347601/728919
86.18/85.00	c cleaning 34004 clauses out of 68025 with flag 1429047/763920
91.68/90.49	c cleaning 34997 clauses out of 70020 with flag 1511849/799919
97.88/96.66	c cleaning 36001 clauses out of 72023 with flag 1598367/836919
104.63/103.22	c cleaning 37000 clauses out of 74022 with flag 1685281/874919
110.53/109.19	c cleaning 38005 clauses out of 76022 with flag 1775309/913919
116.66/115.15	c cleaning 38998 clauses out of 78017 with flag 1868049/953919
122.85/121.32	c cleaning 39997 clauses out of 80020 with flag 1961811/994920
129.82/128.18	c cleaning 40999 clauses out of 82022 with flag 2057238/1036919
136.60/134.81	c cleaning 42001 clauses out of 84024 with flag 2155356/1079920
143.90/142.16	c cleaning 42999 clauses out of 86022 with flag 2254653/1123919
151.07/149.28	c cleaning 44001 clauses out of 88023 with flag 2355024/1168919
159.07/157.29	c cleaning 45001 clauses out of 90022 with flag 2458486/1214919
167.20/165.37	c cleaning 46003 clauses out of 92021 with flag 2565094/1261919
176.16/174.21	c cleaning 46998 clauses out of 94018 with flag 2674654/1309919
186.16/184.24	c cleaning 48001 clauses out of 96021 with flag 2786273/1358920
196.70/194.74	c cleaning 49000 clauses out of 98020 with flag 2900754/1408920
207.53/205.51	c cleaning 50001 clauses out of 100020 with flag 3017798/1459920
219.44/217.37	c cleaning 50996 clauses out of 102018 with flag 3138249/1511919
230.45/228.35	c cleaning 52001 clauses out of 104022 with flag 3258863/1564919
242.29/240.12	c cleaning 52998 clauses out of 106022 with flag 3382010/1618920
253.45/251.21	c cleaning 54001 clauses out of 108023 with flag 3506979/1673919
265.75/263.49	c cleaning 55003 clauses out of 110022 with flag 3635847/1729919
278.32/275.95	c cleaning 55997 clauses out of 112019 with flag 3766789/1786919
290.61/288.10	c cleaning 56999 clauses out of 114023 with flag 3899185/1844920
303.78/301.26	c cleaning 58000 clauses out of 116023 with flag 4034506/1903919
314.54/311.90	c cleaning 59001 clauses out of 118023 with flag 4172783/1963919
326.48/323.88	c cleaning 60000 clauses out of 120022 with flag 4312256/2024919
338.04/335.32	c cleaning 61006 clauses out of 122023 with flag 4455279/2086920
350.51/347.78	c cleaning 61997 clauses out of 124017 with flag 4600436/2149920
363.98/361.14	c cleaning 62997 clauses out of 126019 with flag 4747994/2213919
377.61/374.80	c cleaning 63996 clauses out of 128022 with flag 4899913/2278919
392.53/389.54	c cleaning 65000 clauses out of 130027 with flag 5055947/2344920
408.86/405.90	c cleaning 66001 clauses out of 132026 with flag 5211868/2411919
425.09/422.01	c cleaning 67006 clauses out of 134026 with flag 5368870/2479920
439.18/436.00	c cleaning 67999 clauses out of 136022 with flag 5527688/2548922
453.73/450.55	c cleaning 68997 clauses out of 138020 with flag 5688473/2618919
470.25/466.96	c cleaning 70000 clauses out of 140023 with flag 5850221/2689919
485.88/482.47	c cleaning 71004 clauses out of 142024 with flag 6017389/2761920
503.56/500.03	c cleaning 71998 clauses out of 144020 with flag 6186533/2834920
522.96/519.36	c cleaning 73001 clauses out of 146022 with flag 6354776/2908920
541.37/537.61	c cleaning 74001 clauses out of 148021 with flag 6526953/2983920
563.10/559.29	c cleaning 74999 clauses out of 150019 with flag 6701359/3059919
584.86/580.86	c cleaning 76004 clauses out of 152021 with flag 6876478/3136920
605.56/601.43	c cleaning 76995 clauses out of 154016 with flag 7055943/3214919
626.97/622.77	c cleaning 77996 clauses out of 156021 with flag 7237314/3293919
649.58/645.28	c cleaning 79003 clauses out of 158026 with flag 7420009/3373920
675.48/670.99	c cleaning 80001 clauses out of 160023 with flag 7609062/3454920
701.61/696.98	c cleaning 81000 clauses out of 162022 with flag 7800391/3536920
727.42/722.55	c cleaning 81998 clauses out of 164022 with flag 7994079/3619920
754.69/749.69	c cleaning 83002 clauses out of 166024 with flag 8189365/3703920
781.16/775.90	c cleaning 83999 clauses out of 168022 with flag 8384710/3788920
808.51/803.19	c cleaning 84993 clauses out of 170023 with flag 8581336/3874920
840.57/835.03	c cleaning 85999 clauses out of 172029 with flag 8780501/3961919
873.44/867.73	c cleaning 87006 clauses out of 174030 with flag 8982400/4049919
906.54/900.66	c cleaning 88002 clauses out of 176025 with flag 9185433/4138920
937.36/931.26	c cleaning 88996 clauses out of 178022 with flag 9391937/4228919
968.09/961.79	c cleaning 89998 clauses out of 180026 with flag 9602759/4319919
1000.51/993.93	c cleaning 90999 clauses out of 182029 with flag 9816178/4411920
1032.03/1025.14	c cleaning 92002 clauses out of 184029 with flag 10032324/4504919
1065.50/1058.43	c cleaning 92999 clauses out of 186027 with flag 10249904/4598919
1098.92/1091.53	c cleaning 94003 clauses out of 188029 with flag 10468590/4693920
1134.06/1126.41	c cleaning 94995 clauses out of 190026 with flag 10690123/4789920
1164.67/1156.73	c cleaning 96005 clauses out of 192030 with flag 10916168/4886919
1201.73/1193.47	c cleaning 97002 clauses out of 194027 with flag 11142870/4984921
1236.37/1227.61	c cleaning 98005 clauses out of 196024 with flag 11372733/5083920
1277.53/1268.56	c cleaning 98994 clauses out of 198018 with flag 11604929/5183919
1318.42/1308.82	c cleaning 99996 clauses out of 200025 with flag 11837864/5284920
1355.33/1345.38	c cleaning 101004 clauses out of 202028 with flag 12073573/5386919
1391.85/1381.48	c cleaning 101995 clauses out of 204025 with flag 12310139/5489920
1429.45/1418.65	c cleaning 103004 clauses out of 206029 with flag 12549422/5593919
1472.64/1461.50	c cleaning 104003 clauses out of 208025 with flag 12789046/5698919
1521.57/1509.82	c cleaning 104996 clauses out of 210023 with flag 13033000/5804920
1569.97/1557.85	c cleaning 105997 clauses out of 212026 with flag 13279854/5911919
1613.13/1600.54	c cleaning 107000 clauses out of 214029 with flag 13527535/6019919
1657.57/1644.41	c cleaning 108006 clauses out of 216029 with flag 13777560/6128919
1704.47/1690.83	c cleaning 109000 clauses out of 218023 with flag 14031466/6238919
1755.49/1741.32	c cleaning 110000 clauses out of 220023 with flag 14287440/6349919
1800.09/1785.41	c starts		: 3
1800.09/1785.41	c conflicts		: 6452533
1800.09/1785.41	c decisions		: 9663025
1800.09/1785.41	c propagations		: 106982241
1800.09/1785.41	c inspects		: 35089530873
1800.09/1785.41	c shortcuts		: 0
1800.09/1785.41	c learnt literals	: 0
1800.09/1785.41	c learnt binary clauses	: 0
1800.09/1785.41	c learnt ternary clauses	: 0
1800.09/1785.41	c learnt constraints	: 6452533
1800.09/1785.41	c ignored constraints	: 0
1800.09/1785.41	c root simplifications	: 0
1800.09/1785.41	c removed literals (reason simplification)	: 0
1800.09/1785.41	c reason swapping (by a shorter reason)	: 0
1800.09/1785.41	c Calls to reduceDB	: 120
1800.09/1785.41	c Number of update (reduction) of LBD	: 651477
1800.09/1785.41	c Imported unit clauses	: 0
1800.09/1785.41	c number of reductions to clauses (during analyze)	: 0
1800.09/1785.41	c number of learned constraints concerned by reduction	: 0
1800.09/1785.41	c number of learning phase by resolution	: 0
1800.09/1785.41	c number of learning phase by cutting planes	: 0
1800.09/1785.41	c speed (assignments/second)	: 59929.89894813971
1800.09/1785.41	c non guided choices	0
1800.09/1785.44	c learnt constraints type 
1800.09/1785.44	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 212637
1800.09/1785.44	s SATISFIABLE
1800.09/1785.44	c Found 2 solution(s)
1800.09/1785.44	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 -x1074 x1075 -x1076 -x1077 x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 x1088 -x1089 -x1090 x1091 -x1092 -x1093 -x1094 -x1095 -x1096 x1097 -x1098 -x1099 -x1100 x1101 -x1102 -x1103 x1104 x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 x1156 -x1157 -x1158 x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 x1187 -x1188 -x1189 -x1190 -x1191 -x1192 x1193 -x1194 -x1195 -x1196 -x1197 -x1198 x1199 -x1200 x1201 x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 x1215 -x1216 -x1217 x1218 x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 x1233 -x1234 x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 x1254 x1255 -x1256 x1257 x1258 x1259 x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 
1800.09/1785.44	c objective function=300
1800.09/1785.44	c Total wall clock time (in seconds): 1785.317

Verifier Data 

OK	300

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-4085195-1465230462/watcher-4085195-1465230462 -o /tmp/evaluation-result-4085195-1465230462/solver-4085195-1465230462 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node107-1465220764-32603 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4085195-1465230462.opb 

pid=2115
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.01 2.03 2.05 2/194 2118
/proc/meminfo: memFree=31460812/32872528 swapFree=12744/274376
[pid=2118] ppid=2115 vsize=23236 CPUtime=0 cores=0,2,4,6
/proc/2118/stat : 2118 (java) R 2115 2118 32587 0 -1 4202496 570 0 0 0 0 0 0 0 20 0 1 0 104980907 23793664 220 33554432000 1073741824 1073778376 140737466374480 140737466363544 251133991515 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2118/statm: 5809 227 179 9 0 128 0

[startup+0.100124 s]
/proc/loadavg: 2.01 2.03 2.05 2/194 2118
/proc/meminfo: memFree=31460812/32872528 swapFree=12744/274376
[pid=2118] ppid=2115 vsize=9558476 CPUtime=0.08 cores=0,2,4,6
/proc/2118/stat : 2118 (java) S 2115 2118 32587 0 -1 4202496 4309 0 1 0 8 0 0 0 20 0 18 0 104980907 9787879424 5430 33554432000 1073741824 1073778376 140737466374480 140737466365616 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2118/statm: 2389619 5430 2096 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558476

[startup+0.200297 s]
/proc/loadavg: 2.01 2.03 2.05 2/194 2118
/proc/meminfo: memFree=31460812/32872528 swapFree=12744/274376
[pid=2118] ppid=2115 vsize=9558476 CPUtime=0.24 cores=0,2,4,6
/proc/2118/stat : 2118 (java) S 2115 2118 32587 0 -1 4202496 4841 0 1 0 24 0 0 0 20 0 18 0 104980907 9787879424 6868 33554432000 1073741824 1073778376 140737466374480 140737466365616 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2118/statm: 2389619 6868 2211 9 0 2380296 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 9558476

[startup+0.300276 s]
/proc/loadavg: 2.01 2.03 2.05 2/194 2118
/proc/meminfo: memFree=31460812/32872528 swapFree=12744/274376
[pid=2118] ppid=2115 vsize=9625040 CPUtime=0.44 cores=0,2,4,6
/proc/2118/stat : 2118 (java) S 2115 2118 32587 0 -1 4202496 5691 0 1 0 44 0 0 0 20 0 19 0 104980907 9856040960 7826 33554432000 1073741824 1073778376 140737466374480 140737466365616 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2118/statm: 2406260 7826 2235 9 0 2396937 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 9625040

[startup+0.700221 s]
/proc/loadavg: 2.01 2.03 2.05 2/194 2118
/proc/meminfo: memFree=31460812/32872528 swapFree=12744/274376
[pid=2118] ppid=2115 vsize=9625040 CPUtime=1.06 cores=0,2,4,6
/proc/2118/stat : 2118 (java) S 2115 2118 32587 0 -1 4202496 6685 0 1 0 105 1 0 0 20 0 19 0 104980907 9856040960 10941 33554432000 1073741824 1073778376 140737466374480 140737466365616 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2118/statm: 2406260 10941 2246 9 0 2396937 0
Current children cumulated CPU time (s) 1.06
Current children cumulated vsize (KiB) 9625040

[startup+1.50076 s]
/proc/loadavg: 2.00 2.03 2.05 3/213 2137
/proc/meminfo: memFree=31418176/32872528 swapFree=12744/274376
[pid=2118] ppid=2115 vsize=9625040 CPUtime=1.97 cores=0,2,4,6
/proc/2118/stat : 2118 (java) S 2115 2118 32587 0 -1 4202496 7351 0 1 0 196 1 0 0 20 0 19 0 104980907 9856040960 14771 33554432000 1073741824 1073778376 140737466374480 140737466365616 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2118/statm: 2406260 14771 2257 9 0 2396937 0
[pid=2118/tid=2120] ppid=2115 vsize=9625040 CPUtime=1.46 cores=0,2,4,6
/proc/2118/task/2120/stat : 2120 (java) R 2115 2118 32587 0 -1 4202560 2425 0 1 0 145 1 0 0 20 0 19 0 104980908 9856040960 14771 33554432000 1073741824 1073778376 140737466374480 139652145188200 139652017694137 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=2118/tid=2121] ppid=2115 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2118/task/2121/stat : 2121 (java) S 2115 2118 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104980909 9856040960 14771 33554432000 1073741824 1073778376 140737466374480 139651988752680 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2118/tid=2122] ppid=2115 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2118/task/2122/stat : 2122 (java) S 2115 2118 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104980910 9856040960 14771 33554432000 1073741824 1073778376 140737466374480 139651987699880 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2118/tid=2123] ppid=2115 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2118/task/2123/stat : 2123 (java) S 2115 2118 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104980910 9856040960 14771 33554432000 1073741824 1073778376 140737466374480 139651986647592 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2118/tid=2124] ppid=2115 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2118/task/2124/stat : 2124 (java) S 2115 2118 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104980910 9856040960 14771 33554432000 1073741824 1073778376 140737466374480 139651985594792 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2118/tid=2125] ppid=2115 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2118/task/2125/stat : 2125 (java) S 2115 2118 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104980910 9856040960 14771 33554432000 1073741824 1073778376 140737466374480 139651984542504 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2118/tid=2126] ppid=2115 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2118/task/2126/stat : 2126 (java) S 2115 2118 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104980910 9856040960 14771 33554432000 1073741824 1073778376 140737466374480 139651983489704 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2118/tid=2127] ppid=2115 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2118/task/2127/stat : 2127 (java) S 2115 2118 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104980910 9856040960 14771 33554432000 1073741824 1073778376 140737466374480 139651982437416 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2118/tid=2128] ppid=2115 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2118/task/2128/stat : 2128 (java) S 2115 2118 32587 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 104980910 9856040960 14771 33554432000 1073741824 1073778376 140737466374480 139651981384616 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2118/tid=2129] ppid=2115 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2118/task/2129/stat : 2129 (java) S 2115 2118 32587 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 104980911 9856040960 14771 33554432000 1073741824 1073778376 140737466374480 139651969186024 251146581929 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2118/tid=2130] ppid=2115 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2118/task/2130/stat : 2130 (java) S 2115 2118 32587 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 104980911 9856040960 14771 33554432000 1073741824 1073778376 140737466374480 139651968132088 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2118/tid=2131] ppid=2115 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2118/task/2131/stat : 2131 (java) S 2115 2118 32587 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104980911 9856040960 14771 33554432000 1073741824 1073778376 140737466374480 139651967079688 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2118/tid=2132] ppid=2115 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2118/task/2132/stat : 2132 (java) S 2115 2118 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104980914 9856040960 14771 33554432000 1073741824 1073778376 140737466374480 139651966028176 251146589984 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2118/tid=2133] ppid=2115 vsize=9625040 CPUtime=0.22 cores=0,2,4,6
/proc/2118/task/2133/stat : 2133 (java) S 2115 2118 32587 0 -1 4202560 1392 0 0 0 22 0 0 0 20 0 19 0 104980914 9856040960 14771 33554432000 1073741824 1073778376 140737466374480 139651964975800 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2118/tid=2134] ppid=2115 vsize=9625040 CPUtime=0.24 cores=0,2,4,6
/proc/2118/task/2134/stat : 2134 (java) S 2115 2118 32587 0 -1 4202560 2262 0 0 0 24 0 0 0 20 0 19 0 104980914 9856040960 14771 33554432000 1073741824 1073778376 140737466374480 139651963923000 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2118/tid=2135] ppid=2115 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2118/task/2135/stat : 2135 (java) S 2115 2118 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104980914 9856040960 14771 33554432000 1073741824 1073778376 140737466374480 139651962870904 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2118/tid=2136] ppid=2115 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2118/task/2136/stat : 2136 (java) S 2115 2118 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104980914 9856040960 14771 33554432000 1073741824 1073778376 140737466374480 139651961818312 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2118/tid=2137] ppid=2115 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2118/task/2137/stat : 2137 (java) S 2115 2118 32587 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104980937 9856040960 14771 33554432000 1073741824 1073778376 140737466374480 139651960763304 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.97
Current children cumulated vsize (KiB) 9625040

[startup+3.10074 s]
/proc/loadavg: 2.00 2.03 2.05 3/213 2137
/proc/meminfo: memFree=31397200/32872528 swapFree=12744/274376
[pid=2118] ppid=2115 vsize=9625040 CPUtime=3.61 cores=0,2,4,6
/proc/2118/stat : 2118 (java) S 2115 2118 32587 0 -1 4202496 7364 0 1 0 359 2 0 0 20 0 19 0 104980907 9856040960 20915 33554432000 1073741824 1073778376 140737466374480 140737466365616 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2118/statm: 2406260 20915 2257 9 0 2396937 0
[pid=2118/tid=2120] ppid=2115 vsize=9625040 CPUtime=3.07 cores=0,2,4,6
/proc/2118/task/2120/stat : 2120 (java) R 2115 2118 32587 0 -1 4202560 2438 0 1 0 305 2 0 0 20 0 19 0 104980908 9856040960 20915 33554432000 1073741824 1073778376 140737466374480 139652145189160 139652017681820 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=2118/tid=2121] ppid=2115 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2118/task/2121/stat : 2121 (java) S 2115 2118 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104980909 9856040960 20915 33554432000 1073741824 1073778376 140737466374480 139651988752680 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2118/tid=2122] ppid=2115 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2118/task/2122/stat : 2122 (java) S 2115 2118 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104980910 9856040960 20915 33554432000 1073741824 1073778376 140737466374480 139651987699880 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2118/tid=2123] ppid=2115 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2118/task/2123/stat : 2123 (java) S 2115 2118 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104980910 9856040960 20915 33554432000 1073741824 1073778376 140737466374480 139651986647592 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2118/tid=2124] ppid=2115 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2118/task/2124/stat : 2124 (java) S 2115 2118 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104980910 9856040960 20915 33554432000 1073741824 1073778376 140737466374480 139651985594792 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2118/tid=2125] ppid=2115 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2118/task/2125/stat : 2125 (java) S 2115 2118 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104980910 9856040960 20915 33554432000 1073741824 1073778376 140737466374480 139651984542504 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2118/tid=2126] ppid=2115 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2118/task/2126/stat : 2126 (java) S 2115 2118 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104980910 9856040960 20915 33554432000 1073741824 1073778376 140737466374480 139651983489704 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2118/tid=2127] ppid=2115 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2118/task/2127/stat : 2127 (java) S 2115 2118 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104980910 9856040960 20915 33554432000 1073741824 1073778376 140737466374480 139651982437416 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2118/tid=2128] ppid=2115 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2118/task/2128/stat : 2128 (java) S 2115 2118 32587 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 104980910 9856040960 20915 33554432000 1073741824 1073778376 140737466374480 139651981384616 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2118/tid=2129] ppid=2115 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2118/task/2129/stat : 2129 (java) S 2115 2118 32587 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 104980911 9856040960 20915 33554432000 1073741824 1073778376 140737466374480 139651969186024 251146581929 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2118/tid=2130] ppid=2115 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2118/task/2130/stat : 2130 (java) S 2115 2118 32587 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 104980911 9856040960 20915 33554432000 1073741824 1073778376 140737466374480 139651968132088 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2118/tid=2131] ppid=2115 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2118/task/2131/stat : 2131 (java) S 2115 2118 32587 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104980911 9856040960 20915 33554432000 1073741824 1073778376 140737466374480 139651967079688 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2118/tid=2132] ppid=2115 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2118/task/2132/stat : 2132 (java) S 2115 2118 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104980914 9856040960 20915 33554432000 1073741824 1073778376 140737466374480 139651966028176 251146589984 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2118/tid=2133] ppid=2115 vsize=9625040 CPUtime=0.23 cores=0,2,4,6
/proc/2118/task/2133/stat : 2133 (java) S 2115 2118 32587 0 -1 4202560 1392 0 0 0 23 0 0 0 20 0 19 0 104980914 9856040960 20915 33554432000 1073741824 1073778376 140737466374480 139651964975800 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2118/tid=2134] ppid=2115 vsize=9625040 CPUtime=0.27 cores=0,2,4,6
/proc/2118/task/2134/stat : 2134 (java) S 2115 2118 32587 0 -1 4202560 2262 0 0 0 27 0 0 0 20 0 19 0 104980914 9856040960 20915 33554432000 1073741824 1073778376 140737466374480 139651963923000 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2118/tid=2135] ppid=2115 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2118/task/2135/stat : 2135 (java) S 2115 2118 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104980914 9856040960 20915 33554432000 1073741824 1073778376 140737466374480 139651962870904 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2118/tid=2136] ppid=2115 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2118/task/2136/stat : 2136 (java) S 2115 2118 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104980914 9856040960 20915 33554432000 1073741824 1073778376 140737466374480 139651961818312 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2118/tid=2137] ppid=2115 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2118/task/2137/stat : 2137 (java) S 2115 2118 32587 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104980937 9856040960 20915 33554432000 1073741824 1073778376 140737466374480 139651960763304 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.61
Current children cumulated vsize (KiB) 9625040

[startup+6.3008 s]
/proc/loadavg: 2.00 2.03 2.05 3/213 2137
/proc/meminfo: memFree=31341284/32872528 swapFree=12744/274376
[pid=2118] ppid=2115 vsize=9625040 CPUtime=6.81 cores=0,2,4,6
/proc/2118/stat : 2118 (java) S 2115 2118 32587 0 -1 4202496 7388 0 1 0 678 3 0 0 20 0 19 0 104980907 9856040960 31699 33554432000 1073741824 1073778376 140737466374480 140737466365616 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2118/statm: 2406260 31699 2258 9 0 2396937 0
[pid=2118/tid=2120] ppid=2115 vsize=9625040 CPUtime=6.26 cores=0,2,4,6
/proc/2118/task/2120/stat : 2120 (java) R 2115 2118 32587 0 -1 4202560 2461 0 1 0 624 2 0 0 20 0 19 0 104980908 9856040960 31699 33554432000 1073741824 1073778376 140737466374480 139652145180368 139652017645534 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=2118/tid=2121] ppid=2115 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2118/task/2121/stat : 2121 (java) S 2115 2118 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104980909 9856040960 31699 33554432000 1073741824 1073778376 140737466374480 139651988752680 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2118/tid=2122] ppid=2115 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2118/task/2122/stat : 2122 (java) S 2115 2118 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104980910 9856040960 31699 33554432000 1073741824 1073778376 140737466374480 139651987699880 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2118/tid=2123] ppid=2115 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2118/task/2123/stat : 2123 (java) S 2115 2118 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104980910 9856040960 31699 33554432000 1073741824 1073778376 140737466374480 139651986647592 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2118/tid=2124] ppid=2115 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2118/task/2124/stat : 2124 (java) S 2115 2118 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104980910 9856040960 31699 33554432000 1073741824 1073778376 140737466374480 139651985594792 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2118/tid=2125] ppid=2115 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2118/task/2125/stat : 2125 (java) S 2115 2118 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104980910 9856040960 31699 33554432000 1073741824 1073778376 140737466374480 139651984542504 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2118/tid=2126] ppid=2115 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2118/task/2126/stat : 2126 (java) S 2115 2118 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104980910 9856040960 31699 33554432000 1073741824 1073778376 140737466374480 139651983489704 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2118/tid=2127] ppid=2115 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2118/task/2127/stat : 2127 (java) S 2115 2118 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104980910 9856040960 31699 33554432000 1073741824 1073778376 140737466374480 139651982437416 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2118/tid=2128] ppid=2115 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2118/task/2128/stat : 2128 (java) S 2115 2118 32587 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 104980910 9856040960 31699 33554432000 1073741824 1073778376 140737466374480 139651981384616 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2118/tid=2129] ppid=2115 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2118/task/2129/stat : 2129 (java) S 2115 2118 32587 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 104980911 9856040960 31699 33554432000 1073741824 1073778376 140737466374480 139651969186024 251146581929 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2118/tid=2130] ppid=2115 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2118/task/2130/stat : 2130 (java) S 2115 2118 32587 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 104980911 9856040960 31699 33554432000 1073741824 1073778376 140737466374480 139651968132088 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2118/tid=2131] ppid=2115 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2118/task/2131/stat : 2131 (java) S 2115 2118 32587 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104980911 9856040960 31699 33554432000 1073741824 1073778376 140737466374480 139651967079688 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2118/tid=2132] ppid=2115 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2118/task/2132/stat : 2132 (java) S 2115 2118 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104980914 9856040960 31699 33554432000 1073741824 1073778376 140737466374480 139651966028176 251146589984 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2118/tid=2133] ppid=2115 vsize=9625040 CPUtime=0.23 cores=0,2,4,6
/proc/2118/task/2133/stat : 2133 (java) S 2115 2118 32587 0 -1 4202560 1392 0 0 0 23 0 0 0 20 0 19 0 104980914 9856040960 31699 33554432000 1073741824 1073778376 140737466374480 139651964975800 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2118/tid=2134] ppid=2115 vsize=9625040 CPUtime=0.27 cores=0,2,4,6
/proc/2118/task/2134/stat : 2134 (java) S 2115 2118 32587 0 -1 4202560 2262 0 0 0 27 0 0 0 20 0 19 0 104980914 9856040960 31699 33554432000 1073741824 1073778376 140737466374480 139651963923000 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2118/tid=2135] ppid=2115 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2118/task/2135/stat : 2135 (java) S 2115 2118 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104980914 9856040960 31699 33554432000 1073741824 1073778376 140737466374480 139651962870904 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2118/tid=2136] ppid=2115 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2118/task/2136/stat : 2136 (java) S 2115 2118 32587 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 104980914 9856040960 31699 33554432000 1073741824 1073778376 140737466374480 139651961818312 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2118/tid=2137] ppid=2115 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2118/task/2137/stat : 2137 (java) S 2115 2118 32587 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104980937 9856040960 31699 33554432000 1073741824 1073778376 140737466374480 139651960763304 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.81
Current children cumulated vsize (KiB) 9625040


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

[pid=2118/tid=2130] ppid=2115 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2118/task/2130/stat : 2130 (java) S 2115 2118 32587 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 104980911 9856040960 81028 33554432000 1073741824 1073778376 140737466374480 139651968132088 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2118/tid=2131] ppid=2115 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2118/task/2131/stat : 2131 (java) S 2115 2118 32587 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 104980911 9856040960 81028 33554432000 1073741824 1073778376 140737466374480 139651967079688 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2118/tid=2132] ppid=2115 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2118/task/2132/stat : 2132 (java) S 2115 2118 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104980914 9856040960 81028 33554432000 1073741824 1073778376 140737466374480 139651966028176 251146589984 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2118/tid=2133] ppid=2115 vsize=9625040 CPUtime=0.24 cores=0,2,4,6
/proc/2118/task/2133/stat : 2133 (java) S 2115 2118 32587 0 -1 4202560 1417 0 0 0 24 0 0 0 20 0 19 0 104980914 9856040960 81028 33554432000 1073741824 1073778376 140737466374480 139651964975800 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2118/tid=2134] ppid=2115 vsize=9625040 CPUtime=0.34 cores=0,2,4,6
/proc/2118/task/2134/stat : 2134 (java) S 2115 2118 32587 0 -1 4202560 3710 0 0 0 34 0 0 0 20 0 19 0 104980914 9856040960 81028 33554432000 1073741824 1073778376 140737466374480 139651963923000 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2118/tid=2135] ppid=2115 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2118/task/2135/stat : 2135 (java) S 2115 2118 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104980914 9856040960 81028 33554432000 1073741824 1073778376 140737466374480 139651962870904 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2118/tid=2136] ppid=2115 vsize=9625040 CPUtime=0.47 cores=0,2,4,6
/proc/2118/task/2136/stat : 2136 (java) S 2115 2118 32587 0 -1 4202560 96 0 0 0 25 22 0 0 20 0 19 0 104980914 9856040960 81028 33554432000 1073741824 1073778376 140737466374480 139651961818312 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2118/tid=2137] ppid=2115 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2118/task/2137/stat : 2137 (java) S 2115 2118 32587 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104980937 9856040960 81028 33554432000 1073741824 1073778376 140737466374480 139651960763304 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1675.73
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/213 2310
/proc/meminfo: memFree=30881528/32872528 swapFree=12744/274376
[pid=2118] ppid=2115 vsize=9625040 CPUtime=1736.4 cores=0,2,4,6
/proc/2118/stat : 2118 (java) S 2115 2118 32587 0 -1 4202496 22228 0 1 0 173496 144 0 0 20 0 19 0 104980907 9856040960 88595 33554432000 1073741824 1073778376 140737466374480 140737466365616 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2118/statm: 2406260 88595 2281 9 0 2396937 0
[pid=2118/tid=2120] ppid=2115 vsize=9625040 CPUtime=1711.69 cores=0,2,4,6
/proc/2118/task/2120/stat : 2120 (java) R 2115 2118 32587 0 -1 4202560 2862 0 1 0 171137 32 0 0 20 0 19 0 104980908 9856040960 88595 33554432000 1073741824 1073778376 140737466374480 139652145188080 139652017638251 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=2118/tid=2121] ppid=2115 vsize=9625040 CPUtime=2.37 cores=0,2,4,6
/proc/2118/task/2121/stat : 2121 (java) S 2115 2118 32587 0 -1 4202560 1228 0 0 0 224 13 0 0 20 0 19 0 104980909 9856040960 88595 33554432000 1073741824 1073778376 140737466374480 139651988752680 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2118/tid=2122] ppid=2115 vsize=9625040 CPUtime=2.45 cores=0,2,4,6
/proc/2118/task/2122/stat : 2122 (java) S 2115 2118 32587 0 -1 4202560 1767 0 0 0 229 16 0 0 20 0 19 0 104980910 9856040960 88595 33554432000 1073741824 1073778376 140737466374480 139651987699880 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2118/tid=2123] ppid=2115 vsize=9625040 CPUtime=2.3 cores=0,2,4,6
/proc/2118/task/2123/stat : 2123 (java) S 2115 2118 32587 0 -1 4202560 775 0 0 0 217 13 0 0 20 0 19 0 104980910 9856040960 88595 33554432000 1073741824 1073778376 140737466374480 139651986647592 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2118/tid=2124] ppid=2115 vsize=9625040 CPUtime=2.37 cores=0,2,4,6
/proc/2118/task/2124/stat : 2124 (java) S 2115 2118 32587 0 -1 4202560 1178 0 0 0 221 16 0 0 20 0 19 0 104980910 9856040960 88595 33554432000 1073741824 1073778376 140737466374480 139651985594792 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2118/tid=2125] ppid=2115 vsize=9625040 CPUtime=2.41 cores=0,2,4,6
/proc/2118/task/2125/stat : 2125 (java) S 2115 2118 32587 0 -1 4202560 1993 0 0 0 228 13 0 0 20 0 19 0 104980910 9856040960 88595 33554432000 1073741824 1073778376 140737466374480 139651984542504 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2118/tid=2126] ppid=2115 vsize=9625040 CPUtime=2.42 cores=0,2,4,6
/proc/2118/task/2126/stat : 2126 (java) S 2115 2118 32587 0 -1 4202560 1507 0 0 0 227 15 0 0 20 0 19 0 104980910 9856040960 88595 33554432000 1073741824 1073778376 140737466374480 139651983489704 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2118/tid=2127] ppid=2115 vsize=9625040 CPUtime=2.41 cores=0,2,4,6
/proc/2118/task/2127/stat : 2127 (java) S 2115 2118 32587 0 -1 4202560 1588 0 0 0 227 14 0 0 20 0 19 0 104980910 9856040960 88595 33554432000 1073741824 1073778376 140737466374480 139651982437416 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2118/tid=2128] ppid=2115 vsize=9625040 CPUtime=2.49 cores=0,2,4,6
/proc/2118/task/2128/stat : 2128 (java) S 2115 2118 32587 0 -1 4202560 1714 0 0 0 230 19 0 0 20 0 19 0 104980910 9856040960 88595 33554432000 1073741824 1073778376 140737466374480 139651981384616 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2118/tid=2129] ppid=2115 vsize=9625040 CPUtime=4.58 cores=0,2,4,6
/proc/2118/task/2129/stat : 2129 (java) S 2115 2118 32587 0 -1 4202560 1131 0 0 0 452 6 0 0 20 0 19 0 104980911 9856040960 88595 33554432000 1073741824 1073778376 140737466374480 139651969186024 251146581929 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2118/tid=2130] ppid=2115 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2118/task/2130/stat : 2130 (java) S 2115 2118 32587 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 104980911 9856040960 88595 33554432000 1073741824 1073778376 140737466374480 139651968132088 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2118/tid=2131] ppid=2115 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2118/task/2131/stat : 2131 (java) S 2115 2118 32587 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 104980911 9856040960 88595 33554432000 1073741824 1073778376 140737466374480 139651967079688 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2118/tid=2132] ppid=2115 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2118/task/2132/stat : 2132 (java) S 2115 2118 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104980914 9856040960 88595 33554432000 1073741824 1073778376 140737466374480 139651966028176 251146589984 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2118/tid=2133] ppid=2115 vsize=9625040 CPUtime=0.24 cores=0,2,4,6
/proc/2118/task/2133/stat : 2133 (java) S 2115 2118 32587 0 -1 4202560 1417 0 0 0 24 0 0 0 20 0 19 0 104980914 9856040960 88595 33554432000 1073741824 1073778376 140737466374480 139651964975800 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2118/tid=2134] ppid=2115 vsize=9625040 CPUtime=0.34 cores=0,2,4,6
/proc/2118/task/2134/stat : 2134 (java) S 2115 2118 32587 0 -1 4202560 3710 0 0 0 34 0 0 0 20 0 19 0 104980914 9856040960 88595 33554432000 1073741824 1073778376 140737466374480 139651963923000 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2118/tid=2135] ppid=2115 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2118/task/2135/stat : 2135 (java) S 2115 2118 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104980914 9856040960 88595 33554432000 1073741824 1073778376 140737466374480 139651962870904 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2118/tid=2136] ppid=2115 vsize=9625040 CPUtime=0.48 cores=0,2,4,6
/proc/2118/task/2136/stat : 2136 (java) S 2115 2118 32587 0 -1 4202560 100 0 0 0 25 23 0 0 20 0 19 0 104980914 9856040960 88595 33554432000 1073741824 1073778376 140737466374480 139651961818312 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2118/tid=2137] ppid=2115 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2118/task/2137/stat : 2137 (java) S 2115 2118 32587 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104980937 9856040960 88595 33554432000 1073741824 1073778376 140737466374480 139651960763304 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1736.4
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/213 2311
/proc/meminfo: memFree=30857504/32872528 swapFree=12744/274376
[pid=2118] ppid=2115 vsize=9625040 CPUtime=1796.96 cores=0,2,4,6
/proc/2118/stat : 2118 (java) S 2115 2118 32587 0 -1 4202496 24645 0 1 0 179544 152 0 0 20 0 19 0 104980907 9856040960 93736 33554432000 1073741824 1073778376 140737466374480 140737466365616 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2118/statm: 2406260 93736 2281 9 0 2396937 0
[pid=2118/tid=2120] ppid=2115 vsize=9625040 CPUtime=1771.16 cores=0,2,4,6
/proc/2118/task/2120/stat : 2120 (java) R 2115 2118 32587 0 -1 4202560 2885 0 1 0 177084 32 0 0 20 0 19 0 104980908 9856040960 93736 33554432000 1073741824 1073778376 140737466374480 139652145188064 139652017694137 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=2118/tid=2121] ppid=2115 vsize=9625040 CPUtime=2.47 cores=0,2,4,6
/proc/2118/task/2121/stat : 2121 (java) S 2115 2118 32587 0 -1 4202560 1268 0 0 0 233 14 0 0 20 0 19 0 104980909 9856040960 93736 33554432000 1073741824 1073778376 140737466374480 139651988752680 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2118/tid=2122] ppid=2115 vsize=9625040 CPUtime=2.59 cores=0,2,4,6
/proc/2118/task/2122/stat : 2122 (java) S 2115 2118 32587 0 -1 4202560 2227 0 0 0 241 18 0 0 20 0 19 0 104980910 9856040960 93736 33554432000 1073741824 1073778376 140737466374480 139651987699880 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2118/tid=2123] ppid=2115 vsize=9625040 CPUtime=2.4 cores=0,2,4,6
/proc/2118/task/2123/stat : 2123 (java) S 2115 2118 32587 0 -1 4202560 1015 0 0 0 227 13 0 0 20 0 19 0 104980910 9856040960 93736 33554432000 1073741824 1073778376 140737466374480 139651986647592 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2118/tid=2124] ppid=2115 vsize=9625040 CPUtime=2.49 cores=0,2,4,6
/proc/2118/task/2124/stat : 2124 (java) S 2115 2118 32587 0 -1 4202560 1861 0 0 0 232 17 0 0 20 0 19 0 104980910 9856040960 93736 33554432000 1073741824 1073778376 140737466374480 139651985594792 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2118/tid=2125] ppid=2115 vsize=9625040 CPUtime=2.51 cores=0,2,4,6
/proc/2118/task/2125/stat : 2125 (java) S 2115 2118 32587 0 -1 4202560 2001 0 0 0 237 14 0 0 20 0 19 0 104980910 9856040960 93736 33554432000 1073741824 1073778376 140737466374480 139651984542504 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2118/tid=2126] ppid=2115 vsize=9625040 CPUtime=2.51 cores=0,2,4,6
/proc/2118/task/2126/stat : 2126 (java) S 2115 2118 32587 0 -1 4202560 1797 0 0 0 235 16 0 0 20 0 19 0 104980910 9856040960 93736 33554432000 1073741824 1073778376 140737466374480 139651983489704 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2118/tid=2127] ppid=2115 vsize=9625040 CPUtime=2.54 cores=0,2,4,6
/proc/2118/task/2127/stat : 2127 (java) S 2115 2118 32587 0 -1 4202560 2161 0 0 0 238 16 0 0 20 0 19 0 104980910 9856040960 93736 33554432000 1073741824 1073778376 140737466374480 139651982437416 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2118/tid=2128] ppid=2115 vsize=9625040 CPUtime=2.58 cores=0,2,4,6
/proc/2118/task/2128/stat : 2128 (java) S 2115 2118 32587 0 -1 4202560 1721 0 0 0 239 19 0 0 20 0 19 0 104980910 9856040960 93736 33554432000 1073741824 1073778376 140737466374480 139651981384616 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2118/tid=2129] ppid=2115 vsize=9625040 CPUtime=4.85 cores=0,2,4,6
/proc/2118/task/2129/stat : 2129 (java) S 2115 2118 32587 0 -1 4202560 1220 0 0 0 479 6 0 0 20 0 19 0 104980911 9856040960 93736 33554432000 1073741824 1073778376 140737466374480 139651969186024 251146581929 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2118/tid=2130] ppid=2115 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2118/task/2130/stat : 2130 (java) S 2115 2118 32587 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 104980911 9856040960 93736 33554432000 1073741824 1073778376 140737466374480 139651968132088 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2118/tid=2131] ppid=2115 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2118/task/2131/stat : 2131 (java) S 2115 2118 32587 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 104980911 9856040960 93736 33554432000 1073741824 1073778376 140737466374480 139651967079688 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2118/tid=2132] ppid=2115 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2118/task/2132/stat : 2132 (java) S 2115 2118 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104980914 9856040960 93736 33554432000 1073741824 1073778376 140737466374480 139651966028176 251146589984 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2118/tid=2133] ppid=2115 vsize=9625040 CPUtime=0.24 cores=0,2,4,6
/proc/2118/task/2133/stat : 2133 (java) S 2115 2118 32587 0 -1 4202560 1417 0 0 0 24 0 0 0 20 0 19 0 104980914 9856040960 93736 33554432000 1073741824 1073778376 140737466374480 139651964975800 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2118/tid=2134] ppid=2115 vsize=9625040 CPUtime=0.34 cores=0,2,4,6
/proc/2118/task/2134/stat : 2134 (java) S 2115 2118 32587 0 -1 4202560 3710 0 0 0 34 0 0 0 20 0 19 0 104980914 9856040960 93736 33554432000 1073741824 1073778376 140737466374480 139651963923000 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2118/tid=2135] ppid=2115 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2118/task/2135/stat : 2135 (java) S 2115 2118 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104980914 9856040960 93736 33554432000 1073741824 1073778376 140737466374480 139651962870904 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2118/tid=2136] ppid=2115 vsize=9625040 CPUtime=0.5 cores=0,2,4,6
/proc/2118/task/2136/stat : 2136 (java) S 2115 2118 32587 0 -1 4202560 104 0 0 0 27 23 0 0 20 0 19 0 104980914 9856040960 93736 33554432000 1073741824 1073778376 140737466374480 139651961818312 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2118/tid=2137] ppid=2115 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2118/task/2137/stat : 2137 (java) S 2115 2118 32587 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104980937 9856040960 93736 33554432000 1073741824 1073778376 140737466374480 139651960763304 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1796.96
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1785.41 s]
/proc/loadavg: 2.01 2.03 2.00 3/213 2311
/proc/meminfo: memFree=30857504/32872528 swapFree=12744/274376
[pid=2118] ppid=2115 vsize=9625040 CPUtime=1800.09 cores=0,2,4,6
/proc/2118/stat : 2118 (java) S 2115 2118 32587 0 -1 4202496 24648 0 1 0 179857 152 0 0 20 0 19 0 104980907 9856040960 93738 33554432000 1073741824 1073778376 140737466374480 140737466365616 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2118/statm: 2406260 93738 2281 9 0 2396937 0
[pid=2118/tid=2120] ppid=2115 vsize=9625040 CPUtime=1774.26 cores=0,2,4,6
/proc/2118/task/2120/stat : 2120 (java) R 2115 2118 32587 0 -1 4202560 2886 0 1 0 177394 32 0 0 20 0 19 0 104980908 9856040960 93738 33554432000 1073741824 1073778376 140737466374480 139652145188080 139652017630111 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=2118/tid=2121] ppid=2115 vsize=9625040 CPUtime=2.47 cores=0,2,4,6
/proc/2118/task/2121/stat : 2121 (java) S 2115 2118 32587 0 -1 4202560 1268 0 0 0 233 14 0 0 20 0 19 0 104980909 9856040960 93738 33554432000 1073741824 1073778376 140737466374480 139651988752680 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2118/tid=2122] ppid=2115 vsize=9625040 CPUtime=2.59 cores=0,2,4,6
/proc/2118/task/2122/stat : 2122 (java) S 2115 2118 32587 0 -1 4202560 2227 0 0 0 241 18 0 0 20 0 19 0 104980910 9856040960 93738 33554432000 1073741824 1073778376 140737466374480 139651987699880 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2118/tid=2123] ppid=2115 vsize=9625040 CPUtime=2.4 cores=0,2,4,6
/proc/2118/task/2123/stat : 2123 (java) S 2115 2118 32587 0 -1 4202560 1015 0 0 0 227 13 0 0 20 0 19 0 104980910 9856040960 93738 33554432000 1073741824 1073778376 140737466374480 139651986647592 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2118/tid=2124] ppid=2115 vsize=9625040 CPUtime=2.49 cores=0,2,4,6
/proc/2118/task/2124/stat : 2124 (java) S 2115 2118 32587 0 -1 4202560 1861 0 0 0 232 17 0 0 20 0 19 0 104980910 9856040960 93738 33554432000 1073741824 1073778376 140737466374480 139651985594792 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2118/tid=2125] ppid=2115 vsize=9625040 CPUtime=2.52 cores=0,2,4,6
/proc/2118/task/2125/stat : 2125 (java) S 2115 2118 32587 0 -1 4202560 2001 0 0 0 238 14 0 0 20 0 19 0 104980910 9856040960 93738 33554432000 1073741824 1073778376 140737466374480 139651984542504 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2118/tid=2126] ppid=2115 vsize=9625040 CPUtime=2.52 cores=0,2,4,6
/proc/2118/task/2126/stat : 2126 (java) S 2115 2118 32587 0 -1 4202560 1797 0 0 0 236 16 0 0 20 0 19 0 104980910 9856040960 93738 33554432000 1073741824 1073778376 140737466374480 139651983489704 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2118/tid=2127] ppid=2115 vsize=9625040 CPUtime=2.55 cores=0,2,4,6
/proc/2118/task/2127/stat : 2127 (java) S 2115 2118 32587 0 -1 4202560 2161 0 0 0 239 16 0 0 20 0 19 0 104980910 9856040960 93738 33554432000 1073741824 1073778376 140737466374480 139651982437416 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2118/tid=2128] ppid=2115 vsize=9625040 CPUtime=2.59 cores=0,2,4,6
/proc/2118/task/2128/stat : 2128 (java) S 2115 2118 32587 0 -1 4202560 1721 0 0 0 240 19 0 0 20 0 19 0 104980910 9856040960 93738 33554432000 1073741824 1073778376 140737466374480 139651981384616 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2118/tid=2129] ppid=2115 vsize=9625040 CPUtime=4.85 cores=0,2,4,6
/proc/2118/task/2129/stat : 2129 (java) S 2115 2118 32587 0 -1 4202560 1222 0 0 0 479 6 0 0 20 0 19 0 104980911 9856040960 93738 33554432000 1073741824 1073778376 140737466374480 139651969186024 251146581929 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2118/tid=2130] ppid=2115 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2118/task/2130/stat : 2130 (java) S 2115 2118 32587 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 104980911 9856040960 93738 33554432000 1073741824 1073778376 140737466374480 139651968132088 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2118/tid=2131] ppid=2115 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2118/task/2131/stat : 2131 (java) S 2115 2118 32587 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 104980911 9856040960 93738 33554432000 1073741824 1073778376 140737466374480 139651967079688 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2118/tid=2132] ppid=2115 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2118/task/2132/stat : 2132 (java) S 2115 2118 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104980914 9856040960 93738 33554432000 1073741824 1073778376 140737466374480 139651966028176 251146589984 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2118/tid=2133] ppid=2115 vsize=9625040 CPUtime=0.24 cores=0,2,4,6
/proc/2118/task/2133/stat : 2133 (java) S 2115 2118 32587 0 -1 4202560 1417 0 0 0 24 0 0 0 20 0 19 0 104980914 9856040960 93738 33554432000 1073741824 1073778376 140737466374480 139651964975800 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2118/tid=2134] ppid=2115 vsize=9625040 CPUtime=0.34 cores=0,2,4,6
/proc/2118/task/2134/stat : 2134 (java) S 2115 2118 32587 0 -1 4202560 3710 0 0 0 34 0 0 0 20 0 19 0 104980914 9856040960 93738 33554432000 1073741824 1073778376 140737466374480 139651963923000 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2118/tid=2135] ppid=2115 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2118/task/2135/stat : 2135 (java) S 2115 2118 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104980914 9856040960 93738 33554432000 1073741824 1073778376 140737466374480 139651962870904 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2118/tid=2136] ppid=2115 vsize=9625040 CPUtime=0.5 cores=0,2,4,6
/proc/2118/task/2136/stat : 2136 (java) S 2115 2118 32587 0 -1 4202560 104 0 0 0 27 23 0 0 20 0 19 0 104980914 9856040960 93738 33554432000 1073741824 1073778376 140737466374480 139651961818312 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2118/tid=2137] ppid=2115 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2118/task/2137/stat : 2137 (java) S 2115 2118 32587 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104980937 9856040960 93738 33554432000 1073741824 1073778376 140737466374480 139651960763304 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
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 2118 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 1785.45
CPU time (s): 1800.67
CPU user time (s): 1798.64
CPU system time (s): 2.03169
CPU usage (%): 100.852
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.64
system time used= 2.03169
maximum resident set size= 632264
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24694
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 50318
involuntary context switches= 44335

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.7204 second user time and 12.6861 second system time

The end

Launcher Data 

Begin job on node107 at 2016-06-06 18:27:42
IDJOB=4085195
IDBENCH=2043
IDSOLVER=2546
FILE ID=node107/4085195-1465230462
RUNJOBID= node107-1465220764-32603
PBS_JOBID= 19843224
Free space on /tmp= 71748 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-max1024.pi.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4085195-1465230462/watcher-4085195-1465230462 -o /tmp/evaluation-result-4085195-1465230462/solver-4085195-1465230462 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node107-1465220764-32603 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4085195-1465230462.opb

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

MD5SUM BENCH= 93fc03471d2b2f18ece1d77179dbcb30
RANDOM SEED=1208754323

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        31461340 kB
Buffers:           18000 kB
Cached:            86140 kB
SwapCached:         1692 kB
Active:           389468 kB
Inactive:          46584 kB
Active(anon):     333508 kB
Inactive(anon):      388 kB
Active(file):      55960 kB
Inactive(file):    46196 kB
Unevictable:      274376 kB
Mlocked:           12744 kB
SwapTotal:      67108856 kB
SwapFree:       67098428 kB
Dirty:               536 kB
Writeback:             0 kB
AnonPages:        607228 kB
Mapped:            15260 kB
Shmem:                 0 kB
Slab:             567148 kB
SReclaimable:      10488 kB
SUnreclaim:       556660 kB
KernelStack:        1600 kB
PageTables:         5504 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     981084 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    579584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71748 MiB
End job on node107 at 2016-06-06 18:57:27