Trace number 4103066

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 Res+CP PB16SAT (TO)-44 1800.08 889.077

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-4.opb
MD5SUM09bf68c118cd38b954800f61edb04c4b
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-53
Best CPU time to get the best result obtained on this benchmark1800.01
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -54
Optimality of the best value was proved NO
Number of variables1400
Total number of constraints110038
Number of constraints which are clauses110038
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 constraint2
Number of terms in the objective function 1400
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 1400
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 1400
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.09	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.09/0.12	c Pseudo Boolean Optimization by upper bound
0.09/0.12	c ManyCore solver with 2 solvers running in parallel
0.09/0.12	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@16fd0b7
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.12	c Expensive reason simplification
0.09/0.12	c Glucose 2.1 dynamic restart strategy
0.09/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.09/0.12	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@75786e64
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.09/0.12	c No reason simplification
0.09/0.12	c Armin Biere (Picosat) restarts strategy
0.09/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-4103066-1466219314.opb
0.09/0.12	c reading problem ... 
0.09/0.12	c  objective function found
2.32/1.11	c ... done. Wall clock time 0.988s.
2.32/1.11	c declared #vars     1400
2.32/1.11	c #constraints  110038
2.32/1.11	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
2.32/1.11	c constraints type 
2.32/1.11	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 110038
2.32/1.11	c 110038 constraints processed.
2.32/1.11	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
2.32/1.11	c constraints type 
2.32/1.11	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 110038
2.32/1.11	c 110038 constraints processed.
2.32/1.11	c objective function length is 1400 literals
2.32/1.13	c And the winner is solver1
2.46/1.61	c SATISFIABLE
2.46/1.61	c OPTIMIZING...
2.46/1.61	c Got one! Elapsed wall clock time (in seconds):1.495
2.46/1.61	o -36
2.46/1.66	c And the winner is solver0
2.59/2.12	c Got one! Elapsed wall clock time (in seconds):2.003
2.59/2.12	o -37
2.59/2.18	c And the winner is solver0
3.05/2.64	c Got one! Elapsed wall clock time (in seconds):2.524
3.05/2.64	o -38
3.05/2.67	c And the winner is solver0
3.19/3.15	c Got one! Elapsed wall clock time (in seconds):3.026
3.19/3.15	o -39
3.35/3.28	c And the winner is solver0
3.75/3.65	c Got one! Elapsed wall clock time (in seconds):3.529
3.75/3.65	o -40
6.05/4.68	c And the winner is solver1
6.23/5.15	c Got one! Elapsed wall clock time (in seconds):5.031
6.23/5.15	o -41
7.47/5.76	c cleaning 3002 clauses out of 6017 with flag 4546/6017
11.37/7.58	c cleaning 4504 clauses out of 9015 with flag 18423/12017
15.78/9.61	c cleaning 5748 clauses out of 11511 with flag 35342/19017
20.19/11.83	c cleaning 6881 clauses out of 13762 with flag 52818/27016
25.15/14.16	c And the winner is solver1
25.25/14.21	c Got one! Elapsed wall clock time (in seconds):14.094
25.25/14.21	o -42
29.73/16.39	c cleaning 9819 clauses out of 19638 with flag 11788/39773
33.54/18.22	c cleaning 7906 clauses out of 15815 with flag 25383/45769
37.94/20.43	c cleaning 7451 clauses out of 14909 with flag 42700/52769
43.75/23.59	c cleaning 7726 clauses out of 15461 with flag 60693/60772
48.16/25.73	c And the winner is solver1
48.17/26.04	c Got one! Elapsed wall clock time (in seconds):25.925
48.17/26.04	o -43
51.90/27.95	c cleaning 10845 clauses out of 21694 with flag 12686/74731
56.77/30.21	c cleaning 8423 clauses out of 16849 with flag 29218/80731
61.37/32.54	c cleaning 7714 clauses out of 15427 with flag 48316/87732
65.90/34.78	c cleaning 7848 clauses out of 15712 with flag 66553/95731
71.01/37.26	c cleaning 8433 clauses out of 16865 with flag 87904/104732
76.61/40.06	c cleaning 9216 clauses out of 18433 with flag 112040/114733
84.02/43.53	c cleaning 10101 clauses out of 20215 with flag 139672/125731
90.82/46.95	c cleaning 11050 clauses out of 22114 with flag 168468/137731
100.57/52.26	c cleaning 12032 clauses out of 24064 with flag 198881/150731
108.47/56.18	c cleaning 13010 clauses out of 26032 with flag 230582/164731
117.65/60.71	c cleaning 14010 clauses out of 28023 with flag 266054/179732
128.06/65.83	c cleaning 15000 clauses out of 30012 with flag 304147/195731
139.50/71.42	c cleaning 16006 clauses out of 32012 with flag 343955/212731
150.82/76.99	c cleaning 17002 clauses out of 34008 with flag 384751/230733
164.21/83.44	c cleaning 17999 clauses out of 36004 with flag 428084/249731
180.67/92.26	c cleaning 19003 clauses out of 38005 with flag 471718/269731
197.38/100.51	c cleaning 20001 clauses out of 40002 with flag 514929/290731
215.78/109.58	c cleaning 20999 clauses out of 42002 with flag 560225/312732
235.08/119.06	c cleaning 22002 clauses out of 44004 with flag 607481/335733
250.80/126.71	c And the winner is solver1
250.80/127.17	c Got one! Elapsed wall clock time (in seconds):127.054
250.80/127.17	o -44
255.19/129.29	c cleaning 22790 clauses out of 45600 with flag 12084/359331
258.61/130.99	c cleaning 14402 clauses out of 28810 with flag 25803/365331
262.59/132.96	c cleaning 10698 clauses out of 21407 with flag 42636/372330
267.51/135.20	c cleaning 9356 clauses out of 18711 with flag 60941/380332
271.91/137.47	c cleaning 9169 clauses out of 18353 with flag 81151/389330
278.10/140.30	c cleaning 9584 clauses out of 19184 with flag 103917/399330
283.92/143.25	c cleaning 10299 clauses out of 20600 with flag 129266/410330
290.88/146.55	c cleaning 11148 clauses out of 22302 with flag 156659/422331
298.07/150.19	c cleaning 12071 clauses out of 24153 with flag 186967/435330
307.46/154.63	c cleaning 13038 clauses out of 26083 with flag 221039/449331
317.09/159.20	c cleaning 14022 clauses out of 28044 with flag 255657/464330
327.75/164.32	c cleaning 15007 clauses out of 30022 with flag 293012/480330
339.10/169.70	c cleaning 16004 clauses out of 32015 with flag 332611/497330
351.24/175.53	c cleaning 17002 clauses out of 34011 with flag 374814/515330
363.81/181.59	c cleaning 17999 clauses out of 36011 with flag 417992/534332
378.63/188.42	c cleaning 18999 clauses out of 38010 with flag 464815/554330
394.63/196.02	c cleaning 20004 clauses out of 40011 with flag 515634/575330
413.00/206.65	c cleaning 21001 clauses out of 42007 with flag 566993/597330
430.47/215.22	c cleaning 22000 clauses out of 44007 with flag 622147/620331
447.90/223.77	c cleaning 23003 clauses out of 46008 with flag 677239/644332
468.49/233.74	c cleaning 23999 clauses out of 48004 with flag 736614/669331
489.39/243.83	c cleaning 24999 clauses out of 50005 with flag 796946/695331
511.92/254.61	c cleaning 0 clauses out of 7122 with flag 0/7123
512.22/254.78	c cleaning 25995 clauses out of 52005 with flag 859737/722330
537.03/266.60	c cleaning 27000 clauses out of 54012 with flag 924870/750332
565.09/279.79	c cleaning 27999 clauses out of 56010 with flag 993914/779330
594.43/295.26	c cleaning 29006 clauses out of 58011 with flag 1064276/809330
622.98/309.24	c cleaning 30003 clauses out of 60006 with flag 1137759/840331
656.06/325.34	c cleaning 30995 clauses out of 62003 with flag 1215560/872331
688.72/341.41	c cleaning 32000 clauses out of 64008 with flag 1296351/905331
723.26/358.34	c cleaning 33000 clauses out of 66007 with flag 1374294/939330
763.40/378.06	c cleaning 34004 clauses out of 68009 with flag 1457863/974332
804.84/398.25	c cleaning 35001 clauses out of 70003 with flag 1548198/1010330
851.45/420.71	c cleaning 35994 clauses out of 72002 with flag 1638244/1047330
899.24/443.77	c cleaning 37002 clauses out of 74008 with flag 1728481/1085330
947.31/466.95	c cleaning 38001 clauses out of 76007 with flag 1821525/1124331
998.59/493.58	c cleaning 38995 clauses out of 78005 with flag 1915740/1164330
1047.61/517.76	c cleaning 40002 clauses out of 80010 with flag 2014083/1205330
1088.31/537.77	c cleaning 41005 clauses out of 82009 with flag 2104771/1247331
1138.94/562.47	c cleaning 42002 clauses out of 84003 with flag 2194349/1290330
1191.19/587.74	c cleaning 43002 clauses out of 86003 with flag 2286265/1334332
1245.38/613.71	c cleaning 43999 clauses out of 88000 with flag 2380187/1379331
1301.37/640.67	c cleaning 45000 clauses out of 90002 with flag 2476007/1425332
1359.16/671.28	c cleaning 45997 clauses out of 92001 with flag 2573334/1472331
1416.92/699.55	c cleaning 47002 clauses out of 94003 with flag 2673239/1520330
1478.53/729.69	c cleaning 47999 clauses out of 96002 with flag 2775702/1569331
1545.08/761.68	c cleaning 49002 clauses out of 98004 with flag 2880262/1619332
1612.06/793.85	c cleaning 49995 clauses out of 100002 with flag 2986486/1670332
1682.81/831.96	c cleaning 50998 clauses out of 102005 with flag 3094972/1722330
1712.60/846.51	c cleaning 0 clauses out of 13122 with flag 0/13123
1751.19/865.27	c cleaning 52005 clauses out of 104010 with flag 3205882/1775333
1800.08/889.00	c >>>>>>>>>> Solver number 0 (4 answers) <<<<<<<<<<<<<<<<<<
1800.08/889.00	c starts		: 21804
1800.08/889.00	c conflicts		: 1816178
1800.08/889.00	c decisions		: 30827485
1800.08/889.00	c propagations		: 39639271
1800.08/889.00	c inspects		: 4788736994
1800.08/889.00	c shortcuts		: 0
1800.08/889.00	c learnt literals	: 0
1800.08/889.00	c learnt binary clauses	: 0
1800.08/889.00	c learnt ternary clauses	: 0
1800.08/889.00	c learnt constraints	: 1816178
1800.08/889.00	c ignored constraints	: 0
1800.08/889.00	c root simplifications	: 0
1800.08/889.00	c removed literals (reason simplification)	: 37655546
1800.08/889.00	c reason swapping (by a shorter reason)	: 0
1800.08/889.00	c Calls to reduceDB	: 76
1800.08/889.00	c Number of update (reduction) of LBD	: 86606
1800.08/889.00	c Imported unit clauses	: 0
1800.08/889.00	c number of reductions to clauses (during analyze)	: 0
1800.08/889.00	c number of learned constraints concerned by reduction	: 0
1800.08/889.00	c number of learning phase by resolution	: 0
1800.08/889.00	c number of learning phase by cutting planes	: 0
1800.08/889.00	c speed (assignments/second)	: 52031.71709136828
1800.08/889.00	c non guided choices	0
1800.08/889.03	c learnt constraints type 
1800.08/889.03	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 92850
1800.08/889.03	c >>>>>>>>>> Solver number 1 (5 answers) <<<<<<<<<<<<<<<<<<
1800.08/889.03	c starts		: 46
1800.08/889.03	c conflicts		: 13318
1800.08/889.03	c decisions		: 17306
1800.08/889.03	c propagations		: 178673
1800.08/889.03	c inspects		: 750829637
1800.08/889.03	c shortcuts		: 0
1800.08/889.03	c learnt literals	: 0
1800.08/889.03	c learnt binary clauses	: 0
1800.08/889.03	c learnt ternary clauses	: 0
1800.08/889.03	c learnt constraints	: 13317
1800.08/889.03	c ignored constraints	: 0
1800.08/889.03	c root simplifications	: 0
1800.08/889.03	c removed literals (reason simplification)	: 0
1800.08/889.03	c reason swapping (by a shorter reason)	: 0
1800.08/889.03	c Calls to reduceDB	: 2
1800.08/889.03	c Number of update (reduction) of LBD	: 0
1800.08/889.03	c Imported unit clauses	: 0
1800.08/889.03	c number of reductions to clauses (during analyze)	: 0
1800.08/889.03	c number of learned constraints concerned by reduction	: 0
1800.08/889.03	c number of learning phase by resolution	: 0
1800.08/889.03	c number of learning phase by cutting planes	: 0
1800.08/889.03	c speed (assignments/second)	: 201.80397321373107
1800.08/889.03	c non guided choices	0
1800.08/889.03	c learnt constraints type 
1800.08/889.03	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 272
1800.08/889.03	c org.sat4j.pb.constraints.pb.MaxWatchPb => 13045
1800.08/889.03	s SATISFIABLE
1800.08/889.03	c Found 9 solution(s)
1800.08/889.04	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 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 
1800.08/889.04	c objective function=-44
1800.08/889.04	c Total wall clock time (in seconds): 888.921

Verifier Data 

OK	-44

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-4103066-1466219314/watcher-4103066-1466219314 -o /tmp/evaluation-result-4103066-1466219314/solver-4103066-1466219314 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node135-1466206056-7346 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4103066-1466219314.opb 

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

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


[startup+0 s]
/proc/loadavg: 4.10 4.22 4.21 4/199 13629
/proc/meminfo: memFree=29621200/32872528 swapFree=1505436/1685308
[pid=13629] ppid=13626 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/13629/stat : 13629 (java) R 13626 13629 7329 0 -1 4202496 501 0 0 0 0 0 0 0 20 0 1 0 23977381 9515008 155 33554432000 1073741824 1073778376 140733953622480 140733953619608 215124629255 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13629/statm: 2323 169 128 9 0 71 0

[startup+0.10011 s]
/proc/loadavg: 4.10 4.22 4.21 4/199 13629
/proc/meminfo: memFree=29621200/32872528 swapFree=1505436/1685308
[pid=13629] ppid=13626 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/13629/stat : 13629 (java) S 13626 13629 7329 0 -1 4202496 4412 0 1 0 8 1 0 0 20 0 18 0 23977381 9787879424 6043 33554432000 1073741824 1073778376 140733953622480 140733953613616 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13629/statm: 2389619 6043 2126 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200239 s]
/proc/loadavg: 4.10 4.22 4.21 4/199 13629
/proc/meminfo: memFree=29621200/32872528 swapFree=1505436/1685308
[pid=13629] ppid=13626 vsize=9558476 CPUtime=0.24 cores=1,3,5,7
/proc/13629/stat : 13629 (java) S 13626 13629 7329 0 -1 4202496 4715 0 1 0 22 2 0 0 20 0 18 0 23977381 9787879424 6798 33554432000 1073741824 1073778376 140733953622480 140733953613616 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13629/statm: 2389619 6798 2202 9 0 2380296 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 9558476

[startup+0.300271 s]
/proc/loadavg: 4.10 4.22 4.21 4/199 13629
/proc/meminfo: memFree=29621200/32872528 swapFree=1505436/1685308
[pid=13629] ppid=13626 vsize=9558476 CPUtime=0.46 cores=1,3,5,7
/proc/13629/stat : 13629 (java) S 13626 13629 7329 0 -1 4202496 5678 0 1 0 44 2 0 0 20 0 18 0 23977381 9787879424 8482 33554432000 1073741824 1073778376 140733953622480 140733953613616 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13629/statm: 2389619 8482 2231 9 0 2380296 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 9558476

[startup+0.700213 s]
/proc/loadavg: 4.10 4.22 4.21 4/199 13629
/proc/meminfo: memFree=29621200/32872528 swapFree=1505436/1685308
[pid=13629] ppid=13626 vsize=9558476 CPUtime=1.62 cores=1,3,5,7
/proc/13629/stat : 13629 (java) S 13626 13629 7329 0 -1 4202496 23654 0 1 0 156 6 0 0 20 0 18 0 23977381 9787879424 32766 33554432000 1073741824 1073778376 140733953622480 140733953613616 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13629/statm: 2389619 32766 2244 9 0 2380296 0
Current children cumulated CPU time (s) 1.62
Current children cumulated vsize (KiB) 9558476

[startup+1.50072 s]
/proc/loadavg: 4.10 4.22 4.21 4/217 13647
/proc/meminfo: memFree=29420516/32872528 swapFree=1505436/1685308
[pid=13629] ppid=13626 vsize=9824732 CPUtime=2.46 cores=1,3,5,7
/proc/13629/stat : 13629 (java) S 13626 13629 7329 0 -1 4202496 23917 0 1 0 236 10 0 0 20 0 19 0 23977381 10060525568 52939 33554432000 1073741824 1073778376 140733953622480 140733953613616 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13629/statm: 2456183 52939 2273 9 0 2446860 0
[pid=13629/tid=13631] ppid=13626 vsize=9824732 CPUtime=1.06 cores=1,3,5,7
/proc/13629/task/13631/stat : 13631 (java) S 13626 13629 7329 0 -1 4202560 2482 0 1 0 103 3 0 0 20 0 19 0 23977382 10060525568 52939 33554432000 1073741824 1073778376 140733953622480 140633997796216 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13629/tid=13632] ppid=13626 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13629/task/13632/stat : 13632 (java) S 13626 13629 7329 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 23977383 10060525568 52939 33554432000 1073741824 1073778376 140733953622480 140633959287208 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13629/tid=13633] ppid=13626 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13629/task/13633/stat : 13633 (java) S 13626 13629 7329 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23977383 10060525568 52939 33554432000 1073741824 1073778376 140733953622480 140633958234664 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13629/tid=13634] ppid=13626 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13629/task/13634/stat : 13634 (java) S 13626 13629 7329 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23977383 10060525568 52939 33554432000 1073741824 1073778376 140733953622480 140633957181608 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13629/tid=13635] ppid=13626 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13629/task/13635/stat : 13635 (java) S 13626 13629 7329 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 23977383 10060525568 52939 33554432000 1073741824 1073778376 140733953622480 140633956129064 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13629/tid=13636] ppid=13626 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13629/task/13636/stat : 13636 (java) S 13626 13629 7329 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 23977383 10060525568 52939 33554432000 1073741824 1073778376 140733953622480 140633955077032 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13629/tid=13637] ppid=13626 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13629/task/13637/stat : 13637 (java) S 13626 13629 7329 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 23977383 10060525568 52939 33554432000 1073741824 1073778376 140733953622480 140633954024488 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13629/tid=13638] ppid=13626 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13629/task/13638/stat : 13638 (java) S 13626 13629 7329 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23977383 10060525568 52939 33554432000 1073741824 1073778376 140733953622480 140633952971432 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13629/tid=13639] ppid=13626 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13629/task/13639/stat : 13639 (java) S 13626 13629 7329 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 23977383 10060525568 52939 33554432000 1073741824 1073778376 140733953622480 140633951918888 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13629/tid=13640] ppid=13626 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13629/task/13640/stat : 13640 (java) S 13626 13629 7329 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 19 0 23977384 10060525568 52939 33554432000 1073741824 1073778376 140733953622480 140633821931880 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13629/tid=13641] ppid=13626 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13629/task/13641/stat : 13641 (java) S 13626 13629 7329 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 23977385 10060525568 52939 33554432000 1073741824 1073778376 140733953622480 140633820878200 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13629/tid=13642] ppid=13626 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13629/task/13642/stat : 13642 (java) S 13626 13629 7329 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 23977385 10060525568 52939 33554432000 1073741824 1073778376 140733953622480 140633819825032 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13629/tid=13643] ppid=13626 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13629/task/13643/stat : 13643 (java) S 13626 13629 7329 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23977387 10060525568 52939 33554432000 1073741824 1073778376 140733953622480 140633818773776 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13629/tid=13644] ppid=13626 vsize=9824732 CPUtime=0.61 cores=1,3,5,7
/proc/13629/task/13644/stat : 13644 (java) S 13626 13629 7329 0 -1 4202560 10537 0 0 0 58 3 0 0 20 0 19 0 23977387 10060525568 52939 33554432000 1073741824 1073778376 140733953622480 140633817721656 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13629/tid=13645] ppid=13626 vsize=9824732 CPUtime=0.68 cores=1,3,5,7
/proc/13629/task/13645/stat : 13645 (java) S 13626 13629 7329 0 -1 4202560 9497 0 0 0 66 2 0 0 20 0 19 0 23977387 10060525568 52939 33554432000 1073741824 1073778376 140733953622480 140633816669112 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13629/tid=13646] ppid=13626 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13629/task/13646/stat : 13646 (java) S 13626 13629 7329 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23977387 10060525568 52939 33554432000 1073741824 1073778376 140733953622480 140633815616248 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13629/tid=13647] ppid=13626 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13629/task/13647/stat : 13647 (java) S 13626 13629 7329 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23977387 10060525568 52939 33554432000 1073741824 1073778376 140733953622480 140633814563912 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.46
Current children cumulated vsize (KiB) 9824732

[startup+3.10075 s]
/proc/loadavg: 4.10 4.22 4.21 6/218 13657
/proc/meminfo: memFree=29417964/32872528 swapFree=1505436/1685308
[pid=13629] ppid=13626 vsize=9824732 CPUtime=3.19 cores=1,3,5,7
/proc/13629/stat : 13629 (java) S 13626 13629 7329 0 -1 4202496 24035 0 1 0 302 17 0 0 20 0 19 0 23977381 10060525568 53023 33554432000 1073741824 1073778376 140733953622480 140733953613616 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13629/statm: 2456183 53023 2277 9 0 2446860 0
[pid=13629/tid=13631] ppid=13626 vsize=9824732 CPUtime=1.08 cores=1,3,5,7
/proc/13629/task/13631/stat : 13631 (java) S 13626 13629 7329 0 -1 4202560 2487 0 1 0 104 4 0 0 20 0 19 0 23977382 10060525568 53023 33554432000 1073741824 1073778376 140733953622480 140633997796216 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13629/tid=13632] ppid=13626 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13629/task/13632/stat : 13632 (java) S 13626 13629 7329 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 23977383 10060525568 53023 33554432000 1073741824 1073778376 140733953622480 140633959287208 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13629/tid=13633] ppid=13626 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13629/task/13633/stat : 13633 (java) S 13626 13629 7329 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23977383 10060525568 53023 33554432000 1073741824 1073778376 140733953622480 140633958234664 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13629/tid=13634] ppid=13626 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13629/task/13634/stat : 13634 (java) S 13626 13629 7329 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23977383 10060525568 53023 33554432000 1073741824 1073778376 140733953622480 140633957181608 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13629/tid=13635] ppid=13626 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13629/task/13635/stat : 13635 (java) S 13626 13629 7329 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 23977383 10060525568 53023 33554432000 1073741824 1073778376 140733953622480 140633956129064 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13629/tid=13636] ppid=13626 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13629/task/13636/stat : 13636 (java) S 13626 13629 7329 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 23977383 10060525568 53023 33554432000 1073741824 1073778376 140733953622480 140633955077032 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13629/tid=13637] ppid=13626 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13629/task/13637/stat : 13637 (java) S 13626 13629 7329 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 23977383 10060525568 53023 33554432000 1073741824 1073778376 140733953622480 140633954024488 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13629/tid=13638] ppid=13626 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13629/task/13638/stat : 13638 (java) S 13626 13629 7329 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23977383 10060525568 53023 33554432000 1073741824 1073778376 140733953622480 140633952971432 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13629/tid=13639] ppid=13626 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13629/task/13639/stat : 13639 (java) S 13626 13629 7329 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 23977383 10060525568 53023 33554432000 1073741824 1073778376 140733953622480 140633951918888 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13629/tid=13640] ppid=13626 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13629/task/13640/stat : 13640 (java) S 13626 13629 7329 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 19 0 23977384 10060525568 53023 33554432000 1073741824 1073778376 140733953622480 140633821931880 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13629/tid=13641] ppid=13626 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13629/task/13641/stat : 13641 (java) S 13626 13629 7329 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 23977385 10060525568 53023 33554432000 1073741824 1073778376 140733953622480 140633820878200 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13629/tid=13642] ppid=13626 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13629/task/13642/stat : 13642 (java) S 13626 13629 7329 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 23977385 10060525568 53023 33554432000 1073741824 1073778376 140733953622480 140633819825032 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13629/tid=13643] ppid=13626 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13629/task/13643/stat : 13643 (java) S 13626 13629 7329 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23977387 10060525568 53023 33554432000 1073741824 1073778376 140733953622480 140633818773776 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13629/tid=13644] ppid=13626 vsize=9824732 CPUtime=0.91 cores=1,3,5,7
/proc/13629/task/13644/stat : 13644 (java) S 13626 13629 7329 0 -1 4202560 10599 0 0 0 88 3 0 0 20 0 19 0 23977387 10060525568 53023 33554432000 1073741824 1073778376 140733953622480 140633817721656 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13629/tid=13645] ppid=13626 vsize=9824732 CPUtime=0.86 cores=1,3,5,7
/proc/13629/task/13645/stat : 13645 (java) S 13626 13629 7329 0 -1 4202560 9499 0 0 0 84 2 0 0 20 0 19 0 23977387 10060525568 53023 33554432000 1073741824 1073778376 140733953622480 140633816669112 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13629/tid=13646] ppid=13626 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13629/task/13646/stat : 13646 (java) S 13626 13629 7329 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23977387 10060525568 53023 33554432000 1073741824 1073778376 140733953622480 140633815616248 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13629/tid=13647] ppid=13626 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13629/task/13647/stat : 13647 (java) S 13626 13629 7329 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23977387 10060525568 53023 33554432000 1073741824 1073778376 140733953622480 140633814563912 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13629/tid=13654] ppid=13626 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13629/task/13654/stat : 13654 (java) S 13626 13629 7329 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 23977544 10060525568 53023 33554432000 1073741824 1073778376 140733953622480 140633810351400 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 3.19
Current children cumulated vsize (KiB) 9824732

[startup+6.30098 s]
/proc/loadavg: 4.18 4.24 4.21 6/221 13669
/proc/meminfo: memFree=29217196/32872528 swapFree=1505436/1685308
[pid=13629] ppid=13626 vsize=9824732 CPUtime=8.79 cores=1,3,5,7
/proc/13629/stat : 13629 (java) S 13626 13629 7329 0 -1 4202496 24659 0 1 0 843 36 0 0 20 0 22 0 23977381 10060525568 116787 33554432000 1073741824 1073778376 140733953622480 140733953613616 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13629/statm: 2456183 116787 2293 9 0 2446860 0
[pid=13629/tid=13631] ppid=13626 vsize=9824732 CPUtime=1.09 cores=1,3,5,7
/proc/13629/task/13631/stat : 13631 (java) S 13626 13629 7329 0 -1 4202560 2488 0 1 0 105 4 0 0 20 0 22 0 23977382 10060525568 116787 33554432000 1073741824 1073778376 140733953622480 140633997796216 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13629/tid=13632] ppid=13626 vsize=9824732 CPUtime=0.07 cores=1,3,5,7
/proc/13629/task/13632/stat : 13632 (java) S 13626 13629 7329 0 -1 4202560 55 0 0 0 5 2 0 0 20 0 22 0 23977383 10060525568 116787 33554432000 1073741824 1073778376 140733953622480 140633959287208 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13629/tid=13633] ppid=13626 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/13629/task/13633/stat : 13633 (java) S 13626 13629 7329 0 -1 4202560 37 0 0 0 4 1 0 0 20 0 22 0 23977383 10060525568 116787 33554432000 1073741824 1073778376 140733953622480 140633958234664 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13629/tid=13634] ppid=13626 vsize=9824732 CPUtime=0.08 cores=1,3,5,7
/proc/13629/task/13634/stat : 13634 (java) S 13626 13629 7329 0 -1 4202560 47 0 0 0 5 3 0 0 20 0 22 0 23977383 10060525568 116787 33554432000 1073741824 1073778376 140733953622480 140633957181608 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13629/tid=13635] ppid=13626 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/13629/task/13635/stat : 13635 (java) S 13626 13629 7329 0 -1 4202560 39 0 0 0 4 2 0 0 20 0 22 0 23977383 10060525568 116787 33554432000 1073741824 1073778376 140733953622480 140633956129064 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13629/tid=13636] ppid=13626 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/13629/task/13636/stat : 13636 (java) S 13626 13629 7329 0 -1 4202560 28 0 0 0 3 2 0 0 20 0 22 0 23977383 10060525568 116787 33554432000 1073741824 1073778376 140733953622480 140633955077032 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13629/tid=13637] ppid=13626 vsize=9824732 CPUtime=0.08 cores=1,3,5,7
/proc/13629/task/13637/stat : 13637 (java) S 13626 13629 7329 0 -1 4202560 70 0 0 0 6 2 0 0 20 0 22 0 23977383 10060525568 116787 33554432000 1073741824 1073778376 140733953622480 140633954024488 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13629/tid=13638] ppid=13626 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/13629/task/13638/stat : 13638 (java) S 13626 13629 7329 0 -1 4202560 29 0 0 0 3 2 0 0 20 0 22 0 23977383 10060525568 116787 33554432000 1073741824 1073778376 140733953622480 140633952971432 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13629/tid=13639] ppid=13626 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/13629/task/13639/stat : 13639 (java) S 13626 13629 7329 0 -1 4202560 40 0 0 0 4 2 0 0 20 0 22 0 23977383 10060525568 116787 33554432000 1073741824 1073778376 140733953622480 140633951918888 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13629/tid=13640] ppid=13626 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13629/task/13640/stat : 13640 (java) S 13626 13629 7329 0 -1 4202560 197 0 0 0 0 0 0 0 20 0 22 0 23977384 10060525568 116787 33554432000 1073741824 1073778376 140733953622480 140633821931880 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13629/tid=13641] ppid=13626 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13629/task/13641/stat : 13641 (java) S 13626 13629 7329 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23977385 10060525568 116787 33554432000 1073741824 1073778376 140733953622480 140633820878200 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13629/tid=13642] ppid=13626 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13629/task/13642/stat : 13642 (java) S 13626 13629 7329 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 23977385 10060525568 116787 33554432000 1073741824 1073778376 140733953622480 140633819825032 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13629/tid=13643] ppid=13626 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13629/task/13643/stat : 13643 (java) S 13626 13629 7329 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23977387 10060525568 116787 33554432000 1073741824 1073778376 140733953622480 140633818773776 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13629/tid=13644] ppid=13626 vsize=9824732 CPUtime=1.24 cores=1,3,5,7
/proc/13629/task/13644/stat : 13644 (java) S 13626 13629 7329 0 -1 4202560 10607 0 0 0 121 3 0 0 20 0 22 0 23977387 10060525568 116787 33554432000 1073741824 1073778376 140733953622480 140633817721656 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13629/tid=13645] ppid=13626 vsize=9824732 CPUtime=1.28 cores=1,3,5,7
/proc/13629/task/13645/stat : 13645 (java) S 13626 13629 7329 0 -1 4202560 9589 0 0 0 126 2 0 0 20 0 22 0 23977387 10060525568 116787 33554432000 1073741824 1073778376 140733953622480 140633816669112 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13629/tid=13646] ppid=13626 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13629/task/13646/stat : 13646 (java) S 13626 13629 7329 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23977387 10060525568 116787 33554432000 1073741824 1073778376 140733953622480 140633815616248 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13629/tid=13647] ppid=13626 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13629/task/13647/stat : 13647 (java) S 13626 13629 7329 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23977387 10060525568 116787 33554432000 1073741824 1073778376 140733953622480 140633814563912 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13629/tid=13666] ppid=13626 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13629/task/13666/stat : 13666 (java) S 13626 13629 7329 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 23977746 10060525568 116787 33554432000 1073741824 1073778376 140733953622480 140633811403560 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13629/tid=13667] ppid=13626 vsize=9824732 CPUtime=1.04 cores=1,3,5,7
/proc/13629/task/13667/stat : 13667 (java) R 13626 13629 7329 0 -1 4202560 5 0 0 0 104 0 0 0 20 0 22 0 23977897 10060525568 116787 33554432000 1073741824 1073778376 140733953622480 140633813506648 140633822934847 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=13629/tid=13668] ppid=13626 vsize=9824732 CPUtime=1.06 cores=1,3,5,7
/proc/13629/task/13668/stat : 13668 (java) R 13626 13629 7329 0 -1 4202560 4 0 0 0 106 0 0 0 20 0 22 0 23977897 10060525568 116787 33554432000 1073741824 1073778376 140733953622480 140633810349592 140633822987837 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=13629/tid=13669] ppid=13626 vsize=9824732 CPUtime=0 cores=1,3,5,7

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

[pid=13629/tid=13639] ppid=13626 vsize=9824732 CPUtime=12.92 cores=1,3,5,7
/proc/13629/task/13639/stat : 13639 (java) S 13626 13629 7329 0 -1 4202560 1330 0 0 0 1247 45 0 0 20 0 22 0 23977383 10060525568 1474208 33554432000 1073741824 1073778376 140733953622480 140633951918888 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13629/tid=13640] ppid=13626 vsize=9824732 CPUtime=24.49 cores=1,3,5,7
/proc/13629/task/13640/stat : 13640 (java) S 13626 13629 7329 0 -1 4202560 5273 0 0 0 2439 10 0 0 20 0 22 0 23977384 10060525568 1474208 33554432000 1073741824 1073778376 140733953622480 140633821931880 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13629/tid=13641] ppid=13626 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13629/task/13641/stat : 13641 (java) S 13626 13629 7329 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23977385 10060525568 1474208 33554432000 1073741824 1073778376 140733953622480 140633820878200 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13629/tid=13642] ppid=13626 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13629/task/13642/stat : 13642 (java) S 13626 13629 7329 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 23977385 10060525568 1474208 33554432000 1073741824 1073778376 140733953622480 140633819825032 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13629/tid=13643] ppid=13626 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13629/task/13643/stat : 13643 (java) S 13626 13629 7329 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23977387 10060525568 1474208 33554432000 1073741824 1073778376 140733953622480 140633818773776 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13629/tid=13644] ppid=13626 vsize=9824732 CPUtime=1.88 cores=1,3,5,7
/proc/13629/task/13644/stat : 13644 (java) S 13626 13629 7329 0 -1 4202560 10643 0 0 0 185 3 0 0 20 0 22 0 23977387 10060525568 1474208 33554432000 1073741824 1073778376 140733953622480 140633817721656 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13629/tid=13645] ppid=13626 vsize=9824732 CPUtime=1.44 cores=1,3,5,7
/proc/13629/task/13645/stat : 13645 (java) S 13626 13629 7329 0 -1 4202560 9591 0 0 0 142 2 0 0 20 0 22 0 23977387 10060525568 1474208 33554432000 1073741824 1073778376 140733953622480 140633816669112 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13629/tid=13646] ppid=13626 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13629/task/13646/stat : 13646 (java) S 13626 13629 7329 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23977387 10060525568 1474208 33554432000 1073741824 1073778376 140733953622480 140633815616248 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13629/tid=13647] ppid=13626 vsize=9824732 CPUtime=0.36 cores=1,3,5,7
/proc/13629/task/13647/stat : 13647 (java) S 13626 13629 7329 0 -1 4202560 47 0 0 0 13 23 0 0 20 0 22 0 23977387 10060525568 1474208 33554432000 1073741824 1073778376 140733953622480 140633814563912 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13629/tid=13666] ppid=13626 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13629/task/13666/stat : 13666 (java) S 13626 13629 7329 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 23977746 10060525568 1474208 33554432000 1073741824 1073778376 140733953622480 140633811403560 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13629/tid=13681] ppid=13626 vsize=9824732 CPUtime=650.2 cores=1,3,5,7
/proc/13629/task/13681/stat : 13681 (java) R 13626 13629 7329 0 -1 4202560 39 0 0 0 65009 11 0 0 20 0 22 0 23990099 10060525568 1474208 33554432000 1073741824 1073778376 140733953622480 140633813508112 140633822934805 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=13629/tid=13682] ppid=13626 vsize=9824732 CPUtime=650.12 cores=1,3,5,7
/proc/13629/task/13682/stat : 13682 (java) R 13626 13629 7329 0 -1 4202560 57 0 0 0 65002 10 0 0 20 0 22 0 23990099 10060525568 1474208 33554432000 1073741824 1073778376 140733953622480 140633810349248 140633823345697 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=13629/tid=13683] ppid=13626 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13629/task/13683/stat : 13683 (java) S 13626 13629 7329 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 23990099 10060525568 1474208 33554432000 1073741824 1073778376 140733953622480 140633812456744 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1662.67
Current children cumulated vsize (KiB) 9824732

[startup+882.308 s]
/proc/loadavg: 4.29 4.24 4.20 5/221 13769
/proc/meminfo: memFree=19765796/32872528 swapFree=1505436/1685308
[pid=13629] ppid=13626 vsize=9824732 CPUtime=1785.81 cores=1,3,5,7
/proc/13629/stat : 13629 (java) S 13626 13629 7329 0 -1 4202496 41456 0 1 0 178107 474 0 0 20 0 22 0 23977381 10060525568 1474208 33554432000 1073741824 1073778376 140733953622480 140733953613616 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13629/statm: 2456183 1474208 2301 9 0 2446860 0
[pid=13629/tid=13631] ppid=13626 vsize=9824732 CPUtime=1.13 cores=1,3,5,7
/proc/13629/task/13631/stat : 13631 (java) S 13626 13629 7329 0 -1 4202560 2539 0 1 0 108 5 0 0 20 0 22 0 23977382 10060525568 1474208 33554432000 1073741824 1073778376 140733953622480 140633997796216 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13629/tid=13632] ppid=13626 vsize=9824732 CPUtime=13.24 cores=1,3,5,7
/proc/13629/task/13632/stat : 13632 (java) S 13626 13629 7329 0 -1 4202560 1411 0 0 0 1274 50 0 0 20 0 22 0 23977383 10060525568 1474208 33554432000 1073741824 1073778376 140733953622480 140633959287208 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13629/tid=13633] ppid=13626 vsize=9824732 CPUtime=12.94 cores=1,3,5,7
/proc/13629/task/13633/stat : 13633 (java) S 13626 13629 7329 0 -1 4202560 1518 0 0 0 1246 48 0 0 20 0 22 0 23977383 10060525568 1474208 33554432000 1073741824 1073778376 140733953622480 140633958234664 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13629/tid=13634] ppid=13626 vsize=9824732 CPUtime=13.44 cores=1,3,5,7
/proc/13629/task/13634/stat : 13634 (java) S 13626 13629 7329 0 -1 4202560 1314 0 0 0 1292 52 0 0 20 0 22 0 23977383 10060525568 1474208 33554432000 1073741824 1073778376 140733953622480 140633957181608 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13629/tid=13635] ppid=13626 vsize=9824732 CPUtime=12.96 cores=1,3,5,7
/proc/13629/task/13635/stat : 13635 (java) S 13626 13629 7329 0 -1 4202560 1346 0 0 0 1244 52 0 0 20 0 22 0 23977383 10060525568 1474208 33554432000 1073741824 1073778376 140733953622480 140633956129064 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13629/tid=13636] ppid=13626 vsize=9824732 CPUtime=13.43 cores=1,3,5,7
/proc/13629/task/13636/stat : 13636 (java) S 13626 13629 7329 0 -1 4202560 1296 0 0 0 1300 43 0 0 20 0 22 0 23977383 10060525568 1474208 33554432000 1073741824 1073778376 140733953622480 140633955077032 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13629/tid=13637] ppid=13626 vsize=9824732 CPUtime=13.82 cores=1,3,5,7
/proc/13629/task/13637/stat : 13637 (java) S 13626 13629 7329 0 -1 4202560 1334 0 0 0 1328 54 0 0 20 0 22 0 23977383 10060525568 1474208 33554432000 1073741824 1073778376 140733953622480 140633954024488 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13629/tid=13638] ppid=13626 vsize=9824732 CPUtime=12.35 cores=1,3,5,7
/proc/13629/task/13638/stat : 13638 (java) S 13626 13629 7329 0 -1 4202560 983 0 0 0 1194 41 0 0 20 0 22 0 23977383 10060525568 1474208 33554432000 1073741824 1073778376 140733953622480 140633952971432 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13629/tid=13639] ppid=13626 vsize=9824732 CPUtime=13.75 cores=1,3,5,7
/proc/13629/task/13639/stat : 13639 (java) S 13626 13629 7329 0 -1 4202560 1330 0 0 0 1330 45 0 0 20 0 22 0 23977383 10060525568 1474208 33554432000 1073741824 1073778376 140733953622480 140633951918888 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13629/tid=13640] ppid=13626 vsize=9824732 CPUtime=24.51 cores=1,3,5,7
/proc/13629/task/13640/stat : 13640 (java) S 13626 13629 7329 0 -1 4202560 5340 0 0 0 2440 11 0 0 20 0 22 0 23977384 10060525568 1474208 33554432000 1073741824 1073778376 140733953622480 140633821931880 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13629/tid=13641] ppid=13626 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13629/task/13641/stat : 13641 (java) S 13626 13629 7329 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23977385 10060525568 1474208 33554432000 1073741824 1073778376 140733953622480 140633820878200 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13629/tid=13642] ppid=13626 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13629/task/13642/stat : 13642 (java) S 13626 13629 7329 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 23977385 10060525568 1474208 33554432000 1073741824 1073778376 140733953622480 140633819825032 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13629/tid=13643] ppid=13626 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13629/task/13643/stat : 13643 (java) S 13626 13629 7329 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23977387 10060525568 1474208 33554432000 1073741824 1073778376 140733953622480 140633818773776 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13629/tid=13644] ppid=13626 vsize=9824732 CPUtime=1.88 cores=1,3,5,7
/proc/13629/task/13644/stat : 13644 (java) S 13626 13629 7329 0 -1 4202560 10643 0 0 0 185 3 0 0 20 0 22 0 23977387 10060525568 1474208 33554432000 1073741824 1073778376 140733953622480 140633817721656 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13629/tid=13645] ppid=13626 vsize=9824732 CPUtime=1.46 cores=1,3,5,7
/proc/13629/task/13645/stat : 13645 (java) S 13626 13629 7329 0 -1 4202560 9592 0 0 0 144 2 0 0 20 0 22 0 23977387 10060525568 1474208 33554432000 1073741824 1073778376 140733953622480 140633816669112 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13629/tid=13646] ppid=13626 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13629/task/13646/stat : 13646 (java) S 13626 13629 7329 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23977387 10060525568 1474208 33554432000 1073741824 1073778376 140733953622480 140633815616248 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13629/tid=13647] ppid=13626 vsize=9824732 CPUtime=0.38 cores=1,3,5,7
/proc/13629/task/13647/stat : 13647 (java) S 13626 13629 7329 0 -1 4202560 51 0 0 0 14 24 0 0 20 0 22 0 23977387 10060525568 1474208 33554432000 1073741824 1073778376 140733953622480 140633814563912 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13629/tid=13666] ppid=13626 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13629/task/13666/stat : 13666 (java) S 13626 13629 7329 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 23977746 10060525568 1474208 33554432000 1073741824 1073778376 140733953622480 140633811403560 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13629/tid=13681] ppid=13626 vsize=9824732 CPUtime=708.39 cores=1,3,5,7
/proc/13629/task/13681/stat : 13681 (java) R 13626 13629 7329 0 -1 4202560 40 0 0 0 70827 12 0 0 20 0 22 0 23990099 10060525568 1474208 33554432000 1073741824 1073778376 140733953622480 140633813507264 140633822923325 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=13629/tid=13682] ppid=13626 vsize=9824732 CPUtime=708.31 cores=1,3,5,7
/proc/13629/task/13682/stat : 13682 (java) R 13626 13629 7329 0 -1 4202560 64 0 0 0 70820 11 0 0 20 0 22 0 23990099 10060525568 1474208 33554432000 1073741824 1073778376 140733953622480 140633810350048 140633823346444 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=13629/tid=13683] ppid=13626 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13629/task/13683/stat : 13683 (java) S 13626 13629 7329 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 23990099 10060525568 1474208 33554432000 1073741824 1073778376 140733953622480 140633812456744 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1785.81
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+889.001 s]
/proc/loadavg: 4.26 4.23 4.20 5/221 13769
/proc/meminfo: memFree=19765796/32872528 swapFree=1505436/1685308
[pid=13629] ppid=13626 vsize=9824732 CPUtime=1799.66 cores=1,3,5,7
/proc/13629/stat : 13629 (java) S 13626 13629 7329 0 -1 4202496 41457 0 1 0 179491 475 0 0 20 0 22 0 23977381 10060525568 1474208 33554432000 1073741824 1073778376 140733953622480 140733953613616 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13629/statm: 2456183 1474208 2301 9 0 2446860 0
[pid=13629/tid=13631] ppid=13626 vsize=9824732 CPUtime=1.13 cores=1,3,5,7
/proc/13629/task/13631/stat : 13631 (java) S 13626 13629 7329 0 -1 4202560 2539 0 1 0 108 5 0 0 20 0 22 0 23977382 10060525568 1474208 33554432000 1073741824 1073778376 140733953622480 140633997796216 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13629/tid=13632] ppid=13626 vsize=9824732 CPUtime=13.32 cores=1,3,5,7
/proc/13629/task/13632/stat : 13632 (java) S 13626 13629 7329 0 -1 4202560 1411 0 0 0 1282 50 0 0 20 0 22 0 23977383 10060525568 1474208 33554432000 1073741824 1073778376 140733953622480 140633959287208 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13629/tid=13633] ppid=13626 vsize=9824732 CPUtime=12.99 cores=1,3,5,7
/proc/13629/task/13633/stat : 13633 (java) S 13626 13629 7329 0 -1 4202560 1518 0 0 0 1251 48 0 0 20 0 22 0 23977383 10060525568 1474208 33554432000 1073741824 1073778376 140733953622480 140633958234664 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13629/tid=13634] ppid=13626 vsize=9824732 CPUtime=13.55 cores=1,3,5,7
/proc/13629/task/13634/stat : 13634 (java) S 13626 13629 7329 0 -1 4202560 1314 0 0 0 1303 52 0 0 20 0 22 0 23977383 10060525568 1474208 33554432000 1073741824 1073778376 140733953622480 140633957181608 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13629/tid=13635] ppid=13626 vsize=9824732 CPUtime=13.02 cores=1,3,5,7
/proc/13629/task/13635/stat : 13635 (java) S 13626 13629 7329 0 -1 4202560 1346 0 0 0 1250 52 0 0 20 0 22 0 23977383 10060525568 1474208 33554432000 1073741824 1073778376 140733953622480 140633956129064 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13629/tid=13636] ppid=13626 vsize=9824732 CPUtime=13.59 cores=1,3,5,7
/proc/13629/task/13636/stat : 13636 (java) S 13626 13629 7329 0 -1 4202560 1296 0 0 0 1316 43 0 0 20 0 22 0 23977383 10060525568 1474208 33554432000 1073741824 1073778376 140733953622480 140633955077032 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13629/tid=13637] ppid=13626 vsize=9824732 CPUtime=14.04 cores=1,3,5,7
/proc/13629/task/13637/stat : 13637 (java) S 13626 13629 7329 0 -1 4202560 1334 0 0 0 1350 54 0 0 20 0 22 0 23977383 10060525568 1474208 33554432000 1073741824 1073778376 140733953622480 140633954024488 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13629/tid=13638] ppid=13626 vsize=9824732 CPUtime=12.41 cores=1,3,5,7
/proc/13629/task/13638/stat : 13638 (java) S 13626 13629 7329 0 -1 4202560 983 0 0 0 1200 41 0 0 20 0 22 0 23977383 10060525568 1474208 33554432000 1073741824 1073778376 140733953622480 140633952971432 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13629/tid=13639] ppid=13626 vsize=9824732 CPUtime=13.96 cores=1,3,5,7
/proc/13629/task/13639/stat : 13639 (java) S 13626 13629 7329 0 -1 4202560 1330 0 0 0 1351 45 0 0 20 0 22 0 23977383 10060525568 1474208 33554432000 1073741824 1073778376 140733953622480 140633951918888 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13629/tid=13640] ppid=13626 vsize=9824732 CPUtime=24.51 cores=1,3,5,7
/proc/13629/task/13640/stat : 13640 (java) S 13626 13629 7329 0 -1 4202560 5340 0 0 0 2440 11 0 0 20 0 22 0 23977384 10060525568 1474208 33554432000 1073741824 1073778376 140733953622480 140633821931880 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13629/tid=13641] ppid=13626 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13629/task/13641/stat : 13641 (java) S 13626 13629 7329 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23977385 10060525568 1474208 33554432000 1073741824 1073778376 140733953622480 140633820878200 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13629/tid=13642] ppid=13626 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13629/task/13642/stat : 13642 (java) S 13626 13629 7329 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 23977385 10060525568 1474208 33554432000 1073741824 1073778376 140733953622480 140633819825032 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13629/tid=13643] ppid=13626 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13629/task/13643/stat : 13643 (java) S 13626 13629 7329 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23977387 10060525568 1474208 33554432000 1073741824 1073778376 140733953622480 140633818773776 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13629/tid=13644] ppid=13626 vsize=9824732 CPUtime=1.88 cores=1,3,5,7
/proc/13629/task/13644/stat : 13644 (java) S 13626 13629 7329 0 -1 4202560 10643 0 0 0 185 3 0 0 20 0 22 0 23977387 10060525568 1474208 33554432000 1073741824 1073778376 140733953622480 140633817721656 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13629/tid=13645] ppid=13626 vsize=9824732 CPUtime=1.46 cores=1,3,5,7
/proc/13629/task/13645/stat : 13645 (java) S 13626 13629 7329 0 -1 4202560 9592 0 0 0 144 2 0 0 20 0 22 0 23977387 10060525568 1474208 33554432000 1073741824 1073778376 140733953622480 140633816669112 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13629/tid=13646] ppid=13626 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13629/task/13646/stat : 13646 (java) S 13626 13629 7329 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23977387 10060525568 1474208 33554432000 1073741824 1073778376 140733953622480 140633815616248 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13629/tid=13647] ppid=13626 vsize=9824732 CPUtime=0.38 cores=1,3,5,7
/proc/13629/task/13647/stat : 13647 (java) S 13626 13629 7329 0 -1 4202560 51 0 0 0 14 24 0 0 20 0 22 0 23977387 10060525568 1474208 33554432000 1073741824 1073778376 140733953622480 140633814563912 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13629/tid=13666] ppid=13626 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13629/task/13666/stat : 13666 (java) S 13626 13629 7329 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 23977746 10060525568 1474208 33554432000 1073741824 1073778376 140733953622480 140633811403560 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13629/tid=13681] ppid=13626 vsize=9824732 CPUtime=714.82 cores=1,3,5,7
/proc/13629/task/13681/stat : 13681 (java) R 13626 13629 7329 0 -1 4202560 40 0 0 0 71470 12 0 0 20 0 22 0 23990099 10060525568 1474208 33554432000 1073741824 1073778376 140733953622480 140633813508112 140633823032095 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=13629/tid=13682] ppid=13626 vsize=9824732 CPUtime=714.74 cores=1,3,5,7
/proc/13629/task/13682/stat : 13682 (java) R 13626 13629 7329 0 -1 4202560 65 0 0 0 71463 11 0 0 20 0 22 0 23990099 10060525568 1474208 33554432000 1073741824 1073778376 140733953622480 140633810349072 140633823346374 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=13629/tid=13683] ppid=13626 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13629/task/13683/stat : 13683 (java) S 13626 13629 7329 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 23990099 10060525568 1474208 33554432000 1073741824 1073778376 140733953622480 140633812456744 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1799.66
Current children cumulated vsize (KiB) 9824732

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

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 13629 and gives
#  childrusage.ru_utime.tv_sec=1791
#  childrusage.ru_utime.tv_usec=328676
#  childrusage.ru_stime.tv_sec=5
#  childrusage.ru_stime.tv_usec=131219
# CPU time returned by wait4() is 1796.46
# while last known CPU time is 1799.66
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...


# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 0.420013
#  lost CPU user time (s): 0.450012
#  lost CPU system time (s): -0.03

Real time (s): 889.077
CPU time (s): 1800.08
CPU user time (s): 1795.36
CPU system time (s): 4.72
CPU usage (%): 202.466
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.33
system time used= 5.13122
maximum resident set size= 5896944
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 41495
page faults= 1
swaps= 0
block input operations= 0
block output operations= 960
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 25940
involuntary context switches= 55250

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.74113 second user time and 7.75682 second system time

The end

Launcher Data 

Begin job on node135 at 2016-06-18 05:08:35
IDJOB=4103066
IDBENCH=2246
IDSOLVER=2543
FILE ID=node135/4103066-1466219314
RUNJOBID= node135-1466206056-7346
PBS_JOBID= 19918142
Free space on /tmp= 71700 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-4.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4103066-1466219314/watcher-4103066-1466219314 -o /tmp/evaluation-result-4103066-1466219314/solver-4103066-1466219314 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node135-1466206056-7346 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4103066-1466219314.opb

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

MD5SUM BENCH= 09bf68c118cd38b954800f61edb04c4b
RANDOM SEED=361595218

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.004
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:        29623180 kB
Buffers:          102924 kB
Cached:           137740 kB
SwapCached:          712 kB
Active:           647296 kB
Inactive:         177652 kB
Active(anon):     585720 kB
Inactive(anon):     1300 kB
Active(file):      61576 kB
Inactive(file):   176352 kB
Unevictable:     1685308 kB
Mlocked:         1505436 kB
SwapTotal:      67108856 kB
SwapFree:       67100440 kB
Dirty:              3564 kB
Writeback:             0 kB
AnonPages:       2271536 kB
Mapped:            15412 kB
Shmem:                 0 kB
Slab:             599868 kB
SReclaimable:      43596 kB
SUnreclaim:       556272 kB
KernelStack:        1616 kB
PageTables:         9872 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2423204 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987908 kB
HardwareCorrupted:     0 kB
AnonHugePages:    712704 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= 71660 MiB
End job on node135 at 2016-06-18 05:23:24