Trace number 4081250

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)-40 1800.6 885.076

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-1.opb
MD5SUMdc857dc123c51e1f53f981679774fda8
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-49
Best CPU time to get the best result obtained on this benchmark1800.02
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -49
Optimality of the best value was proved NO
Number of variables1150
Total number of constraints80072
Number of constraints which are clauses80072
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 1150
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 1150
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 1150
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.08/0.12	c Pseudo Boolean Optimization by upper bound
0.08/0.12	c ManyCore solver with 2 solvers running in parallel
0.08/0.12	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.08/0.12	c --- Begin Solver configuration ---
0.08/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1
0.08/0.12	c Learn all clauses as in MiniSAT
0.08/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.08/0.12	c Expensive reason simplification
0.08/0.12	c Glucose 2.1 dynamic restart strategy
0.08/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.08/0.12	c timeout=2147483s
0.08/0.12	c DB Simplification allowed=false
0.08/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.08/0.12	c --- End Solver configuration ---
0.08/0.12	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.08/0.12	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.08/0.12	c --- Begin Solver configuration ---
0.08/0.12	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee
0.08/0.12	c Learn all clauses as in MiniSAT
0.08/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.08/0.12	c No reason simplification
0.08/0.12	c Armin Biere (Picosat) restarts strategy
0.08/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.08/0.12	c timeout=2147483s
0.08/0.12	c DB Simplification allowed=false
0.08/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.08/0.12	c --- End Solver configuration ---
0.08/0.12	c solving HOME/instance-4081250-1465228126.opb
0.08/0.12	c reading problem ... 
0.08/0.12	c  objective function found
2.09/0.99	c ... done. Wall clock time 0.874s.
2.09/0.99	c declared #vars     1150
2.09/0.99	c #constraints  80072
2.22/1.00	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
2.22/1.00	c constraints type 
2.22/1.00	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 80072
2.22/1.00	c 80072 constraints processed.
2.22/1.00	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
2.22/1.00	c constraints type 
2.22/1.00	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 80072
2.22/1.00	c 80072 constraints processed.
2.22/1.00	c objective function length is 1150 literals
2.22/1.01	c And the winner is solver1
2.33/1.50	c SATISFIABLE
2.33/1.50	c OPTIMIZING...
2.33/1.50	c Got one! Elapsed wall clock time (in seconds):1.381
2.33/1.50	o -33
2.33/1.59	c And the winner is solver0
3.05/2.01	c Got one! Elapsed wall clock time (in seconds):1.888
3.05/2.01	o -34
3.05/2.06	c And the winner is solver0
3.36/2.51	c Got one! Elapsed wall clock time (in seconds):2.392
3.36/2.51	o -35
4.10/2.77	c And the winner is solver1
4.38/3.01	c Got one! Elapsed wall clock time (in seconds):2.894
4.38/3.01	o -36
5.97/3.79	c And the winner is solver1
6.15/4.02	c Got one! Elapsed wall clock time (in seconds):3.897
6.15/4.02	o -37
6.87/4.32	c cleaning 2988 clauses out of 5977 with flag 2375/5977
8.95/5.26	c And the winner is solver1
9.07/5.52	c Got one! Elapsed wall clock time (in seconds):5.399
9.07/5.52	o -38
9.43/5.74	c cleaning 4303 clauses out of 8607 with flag 2208/11595
12.34/7.15	c cleaning 5151 clauses out of 10301 with flag 16888/17592
15.96/8.90	c cleaning 6075 clauses out of 12150 with flag 34295/24592
19.99/10.80	c cleaning 7038 clauses out of 14076 with flag 52961/32593
24.88/13.16	c cleaning 8016 clauses out of 16037 with flag 74343/41592
25.48/13.41	c And the winner is solver1
25.51/13.65	c Got one! Elapsed wall clock time (in seconds):13.53
25.51/13.65	o -39
28.28/14.96	c cleaning 6612 clauses out of 13224 with flag 10276/46795
31.28/16.44	c cleaning 6306 clauses out of 12612 with flag 24837/52795
34.69/18.17	c cleaning 6654 clauses out of 13307 with flag 41404/59796
38.69/20.10	c cleaning 7324 clauses out of 14651 with flag 59855/67794
44.54/23.30	c cleaning 8160 clauses out of 16327 with flag 80166/76794
49.53/25.76	c cleaning 9078 clauses out of 18168 with flag 104276/86795
55.27/28.60	c cleaning 10039 clauses out of 20089 with flag 130605/97794
61.87/31.82	c cleaning 11021 clauses out of 22051 with flag 159548/109795
69.95/35.71	c cleaning 12012 clauses out of 24029 with flag 190150/122794
77.36/39.49	c cleaning 13009 clauses out of 26018 with flag 222978/136795
87.41/44.30	c cleaning 14004 clauses out of 28011 with flag 259488/151797
98.19/49.48	c cleaning 15003 clauses out of 30006 with flag 293358/167796
112.21/56.92	c cleaning 16001 clauses out of 32001 with flag 328471/184794
124.68/63.01	c cleaning 17000 clauses out of 34000 with flag 365811/202794
137.66/69.48	c cleaning 18001 clauses out of 36001 with flag 405431/221795
152.09/76.52	c cleaning 18996 clauses out of 38000 with flag 446714/241795
166.97/83.87	c cleaning 19993 clauses out of 40004 with flag 490328/262795
182.89/91.61	c cleaning 21003 clauses out of 42011 with flag 535914/284795
200.90/100.47	c cleaning 21998 clauses out of 44008 with flag 583627/307795
221.24/110.11	c cleaning 23005 clauses out of 46010 with flag 633369/331795
244.10/121.03	c cleaning 24000 clauses out of 48005 with flag 685221/356795
268.47/132.38	c cleaning 24995 clauses out of 50006 with flag 739031/382796
292.56/144.90	c cleaning 26005 clauses out of 52010 with flag 794308/409795
316.03/156.54	c cleaning 27002 clauses out of 54004 with flag 852076/437794
342.38/169.45	c cleaning 28002 clauses out of 56004 with flag 912039/466796
352.06/174.10	c cleaning 0 clauses out of 6352 with flag 0/6353
371.79/183.42	c cleaning 28997 clauses out of 58000 with flag 974076/496794
401.93/197.86	c cleaning 30000 clauses out of 60003 with flag 1038456/527794
432.31/212.26	c cleaning 30997 clauses out of 62003 with flag 1104894/559794
465.65/229.97	c cleaning 31998 clauses out of 64008 with flag 1173391/592796
498.06/245.97	c cleaning 33002 clauses out of 66008 with flag 1243953/626794
532.66/262.85	c cleaning 34003 clauses out of 68006 with flag 1316564/661794
541.46/267.25	c And the winner is solver1
541.64/267.63	c Got one! Elapsed wall clock time (in seconds):267.507
541.64/267.63	o -40
547.86/270.64	c cleaning 25357 clauses out of 50726 with flag 11917/678517
552.46/272.93	c cleaning 15677 clauses out of 31369 with flag 26415/684517
557.09/275.20	c cleaning 11344 clauses out of 22691 with flag 43385/691516
561.49/277.38	c cleaning 9665 clauses out of 19347 with flag 63377/699516
566.28/279.76	c cleaning 9337 clauses out of 18683 with flag 85032/708517
571.55/282.22	c cleaning 9669 clauses out of 19346 with flag 107867/718517
576.55/284.76	c cleaning 10337 clauses out of 20676 with flag 134115/729516
582.86/287.75	c cleaning 11167 clauses out of 22339 with flag 162008/741516
588.86/290.80	c cleaning 12082 clauses out of 24173 with flag 192215/754517
597.21/294.80	c cleaning 13045 clauses out of 26090 with flag 225722/768516
606.55/299.23	c cleaning 14015 clauses out of 28045 with flag 261357/783516
616.13/304.04	c cleaning 15011 clauses out of 30032 with flag 299147/799518
627.87/309.78	c cleaning 16010 clauses out of 32020 with flag 340004/816517
641.44/316.34	c cleaning 17003 clauses out of 34009 with flag 385754/834516
654.24/322.50	c cleaning 17998 clauses out of 36006 with flag 430292/853516
668.20/329.35	c cleaning 18997 clauses out of 38008 with flag 477726/873516
684.73/337.45	c cleaning 20003 clauses out of 40014 with flag 528813/894519
699.90/344.80	c cleaning 21004 clauses out of 42009 with flag 579241/916517
715.02/352.24	c cleaning 22000 clauses out of 44005 with flag 632706/939517
731.20/360.16	c cleaning 23000 clauses out of 46004 with flag 687948/963516
748.78/368.75	c cleaning 24000 clauses out of 48005 with flag 747639/988517
767.55/377.93	c cleaning 25001 clauses out of 50004 with flag 809035/1014516
788.76/388.35	c cleaning 25997 clauses out of 52003 with flag 871592/1041516
811.86/399.75	c cleaning 27000 clauses out of 54006 with flag 938783/1069516
838.26/412.56	c cleaning 28004 clauses out of 56007 with flag 1010209/1098517
867.10/426.51	c cleaning 28996 clauses out of 58003 with flag 1082036/1128517
894.32/439.96	c cleaning 29999 clauses out of 60007 with flag 1155500/1159517
923.14/453.92	c cleaning 31002 clauses out of 62008 with flag 1230149/1191517
952.20/468.05	c cleaning 31998 clauses out of 64005 with flag 1305702/1224516
985.87/484.40	c cleaning 32999 clauses out of 66007 with flag 1386901/1258516
1021.58/501.68	c cleaning 33999 clauses out of 68010 with flag 1471361/1293518
1056.79/520.52	c cleaning 34997 clauses out of 70010 with flag 1555770/1329517
1092.90/538.35	c cleaning 36006 clauses out of 72012 with flag 1643824/1366516
1125.77/554.58	c cleaning 36997 clauses out of 74006 with flag 1733375/1404516
1161.21/571.87	c cleaning 38006 clauses out of 76012 with flag 1825449/1443519
1196.27/589.08	c cleaning 38999 clauses out of 78003 with flag 1918504/1483516
1238.38/609.55	c cleaning 39997 clauses out of 80004 with flag 2013893/1524516
1283.57/631.52	c cleaning 41001 clauses out of 82007 with flag 2114044/1566516
1313.83/646.25	c cleaning 0 clauses out of 11935 with flag 0/11936
1330.51/654.32	c cleaning 42001 clauses out of 84007 with flag 2214308/1609517
1382.74/679.64	c cleaning 43003 clauses out of 86006 with flag 2322162/1653517
1441.55/708.05	c cleaning 43994 clauses out of 88002 with flag 2435915/1698516
1500.01/738.71	c cleaning 44999 clauses out of 90009 with flag 2547116/1744517
1551.78/763.96	c cleaning 46001 clauses out of 92009 with flag 2660400/1791516
1598.08/786.58	c cleaning 47002 clauses out of 94008 with flag 2772754/1839516
1650.99/812.37	c cleaning 48001 clauses out of 96008 with flag 2891898/1888518
1708.48/840.27	c cleaning 49001 clauses out of 98005 with flag 3013491/1938516
1769.16/869.96	c cleaning 50002 clauses out of 100004 with flag 3142090/1989516
1800.08/885.00	c >>>>>>>>>> Solver number 0 (2 answers) <<<<<<<<<<<<<<<<<<
1800.08/885.00	c starts		: 29567
1800.08/885.00	c conflicts		: 2023298
1800.08/885.00	c decisions		: 34048433
1800.08/885.00	c propagations		: 44151713
1800.08/885.00	c inspects		: 5541810854
1800.08/885.00	c shortcuts		: 0
1800.08/885.00	c learnt literals	: 0
1800.08/885.00	c learnt binary clauses	: 0
1800.08/885.00	c learnt ternary clauses	: 0
1800.08/885.00	c learnt constraints	: 2023298
1800.08/885.00	c ignored constraints	: 0
1800.08/885.00	c root simplifications	: 0
1800.08/885.00	c removed literals (reason simplification)	: 43714116
1800.08/885.00	c reason swapping (by a shorter reason)	: 0
1800.08/885.00	c Calls to reduceDB	: 84
1800.08/885.00	c Number of update (reduction) of LBD	: 105259
1800.08/885.00	c Imported unit clauses	: 0
1800.08/885.00	c number of reductions to clauses (during analyze)	: 0
1800.08/885.00	c number of learned constraints concerned by reduction	: 0
1800.08/885.00	c number of learning phase by resolution	: 0
1800.08/885.00	c number of learning phase by cutting planes	: 0
1800.08/885.00	c speed (assignments/second)	: 71515.11072668844
1800.08/885.00	c non guided choices	0
1800.08/885.03	c learnt constraints type 
1800.08/885.03	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 83784
1800.08/885.03	c >>>>>>>>>> Solver number 1 (6 answers) <<<<<<<<<<<<<<<<<<
1800.08/885.03	c starts		: 48
1800.08/885.03	c conflicts		: 13706
1800.08/885.03	c decisions		: 16893
1800.08/885.03	c propagations		: 169496
1800.08/885.03	c inspects		: 770289971
1800.08/885.03	c shortcuts		: 0
1800.08/885.03	c learnt literals	: 0
1800.08/885.03	c learnt binary clauses	: 0
1800.08/885.03	c learnt ternary clauses	: 0
1800.08/885.03	c learnt constraints	: 13705
1800.08/885.03	c ignored constraints	: 0
1800.08/885.03	c root simplifications	: 0
1800.08/885.03	c removed literals (reason simplification)	: 0
1800.08/885.03	c reason swapping (by a shorter reason)	: 0
1800.08/885.03	c Calls to reduceDB	: 2
1800.08/885.03	c Number of update (reduction) of LBD	: 0
1800.08/885.03	c Imported unit clauses	: 0
1800.08/885.03	c number of reductions to clauses (during analyze)	: 0
1800.08/885.03	c number of learned constraints concerned by reduction	: 0
1800.08/885.03	c number of learning phase by resolution	: 0
1800.08/885.03	c number of learning phase by cutting planes	: 0
1800.08/885.03	c speed (assignments/second)	: 192.06084449843175
1800.08/885.03	c non guided choices	0
1800.08/885.03	c learnt constraints type 
1800.08/885.03	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 367
1800.08/885.03	c org.sat4j.pb.constraints.pb.MaxWatchPb => 13338
1800.08/885.03	s SATISFIABLE
1800.08/885.03	c Found 8 solution(s)
1800.08/885.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 
1800.08/885.04	c objective function=-40
1800.08/885.04	c Total wall clock time (in seconds): 884.918

Verifier Data 

OK	-40

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-4081250-1465228126/watcher-4081250-1465228126 -o /tmp/evaluation-result-4081250-1465228126/solver-4081250-1465228126 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1465220363-8289 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4081250-1465228126.opb 

pid=10621
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: 4.38 4.34 4.28 9/199 10624
/proc/meminfo: memFree=25830688/32872528 swapFree=15540/1663004
[pid=10624] ppid=10621 vsize=3568 CPUtime=0 cores=0,2,4,6
/proc/10624/stat : 10624 (java) R 10621 10624 8273 0 -1 4202496 377 0 0 0 0 0 0 0 20 0 1 0 104745402 3653632 48 33554432000 1073741824 1073778376 140735823619440 140735823616568 273896533335 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/10624/statm: 892 49 38 9 0 30 0

[startup+0.10016 s]
/proc/loadavg: 4.38 4.34 4.28 9/199 10624
/proc/meminfo: memFree=25830688/32872528 swapFree=15540/1663004
[pid=10624] ppid=10621 vsize=9558476 CPUtime=0.08 cores=0,2,4,6
/proc/10624/stat : 10624 (java) S 10621 10624 8273 0 -1 4202496 4480 0 1 0 8 0 0 0 20 0 18 0 104745402 9787879424 5594 33554432000 1073741824 1073778376 140735823619440 140735823610576 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10624/statm: 2389619 5594 2126 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558476

[startup+0.200316 s]
/proc/loadavg: 4.38 4.34 4.28 9/199 10624
/proc/meminfo: memFree=25830688/32872528 swapFree=15540/1663004
[pid=10624] ppid=10621 vsize=9558476 CPUtime=0.25 cores=0,2,4,6
/proc/10624/stat : 10624 (java) S 10621 10624 8273 0 -1 4202496 4771 0 1 0 24 1 0 0 20 0 18 0 104745402 9787879424 6331 33554432000 1073741824 1073778376 140735823619440 140735823610576 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10624/statm: 2389619 6331 2203 9 0 2380296 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 9558476

[startup+0.300313 s]
/proc/loadavg: 4.38 4.34 4.28 9/199 10624
/proc/meminfo: memFree=25830688/32872528 swapFree=15540/1663004
[pid=10624] ppid=10621 vsize=9558476 CPUtime=0.46 cores=0,2,4,6
/proc/10624/stat : 10624 (java) S 10621 10624 8273 0 -1 4202496 5744 0 1 0 45 1 0 0 20 0 18 0 104745402 9787879424 8034 33554432000 1073741824 1073778376 140735823619440 140735823610576 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10624/statm: 2389619 8034 2232 9 0 2380296 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 9558476

[startup+0.700188 s]
/proc/loadavg: 4.38 4.34 4.28 9/199 10624
/proc/meminfo: memFree=25830688/32872528 swapFree=15540/1663004
[pid=10624] ppid=10621 vsize=9558476 CPUtime=1.62 cores=0,2,4,6
/proc/10624/stat : 10624 (java) S 10621 10624 8273 0 -1 4202496 23716 0 1 0 157 5 0 0 20 0 18 0 104745402 9787879424 32385 33554432000 1073741824 1073778376 140735823619440 140735823610576 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10624/statm: 2389619 32385 2244 9 0 2380296 0
Current children cumulated CPU time (s) 1.62
Current children cumulated vsize (KiB) 9558476

[startup+1.5008 s]
/proc/loadavg: 4.43 4.35 4.28 3/218 10646
/proc/meminfo: memFree=25629508/32872528 swapFree=15540/1663004
[pid=10624] ppid=10621 vsize=9824732 CPUtime=2.33 cores=0,2,4,6
/proc/10624/stat : 10624 (java) S 10621 10624 8273 0 -1 4202496 24037 0 1 0 224 9 0 0 20 0 19 0 104745402 10060525568 52617 33554432000 1073741824 1073778376 140735823619440 140735823610576 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10624/statm: 2456183 52617 2273 9 0 2446860 0
[pid=10624/tid=10626] ppid=10621 vsize=9824732 CPUtime=0.95 cores=0,2,4,6
/proc/10624/task/10626/stat : 10626 (java) S 10621 10624 8273 0 -1 4202560 2534 0 1 0 92 3 0 0 20 0 19 0 104745403 10060525568 52617 33554432000 1073741824 1073778376 140735823619440 140263969248120 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10624/tid=10627] ppid=10621 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10624/task/10627/stat : 10627 (java) S 10621 10624 8273 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 104745404 10060525568 52617 33554432000 1073741824 1073778376 140735823619440 140263907978280 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10624/tid=10628] ppid=10621 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10624/task/10628/stat : 10628 (java) S 10621 10624 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104745404 10060525568 52617 33554432000 1073741824 1073778376 140735823619440 140263906925480 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10624/tid=10629] ppid=10621 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10624/task/10629/stat : 10629 (java) S 10621 10624 8273 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 104745404 10060525568 52617 33554432000 1073741824 1073778376 140735823619440 140263905872680 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10624/tid=10630] ppid=10621 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10624/task/10630/stat : 10630 (java) S 10621 10624 8273 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 104745404 10060525568 52617 33554432000 1073741824 1073778376 140735823619440 140263904819880 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10624/tid=10631] ppid=10621 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10624/task/10631/stat : 10631 (java) S 10621 10624 8273 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 104745404 10060525568 52617 33554432000 1073741824 1073778376 140735823619440 140263903767080 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10624/tid=10632] ppid=10621 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10624/task/10632/stat : 10632 (java) S 10621 10624 8273 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 104745404 10060525568 52617 33554432000 1073741824 1073778376 140735823619440 140263902714280 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10624/tid=10633] ppid=10621 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10624/task/10633/stat : 10633 (java) S 10621 10624 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104745404 10060525568 52617 33554432000 1073741824 1073778376 140735823619440 140263806417192 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10624/tid=10634] ppid=10621 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10624/task/10634/stat : 10634 (java) S 10621 10624 8273 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 104745404 10060525568 52617 33554432000 1073741824 1073778376 140735823619440 140263805364392 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10624/tid=10635] ppid=10621 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10624/task/10635/stat : 10635 (java) S 10621 10624 8273 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 19 0 104745405 10060525568 52617 33554432000 1073741824 1073778376 140735823619440 140263793167336 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10624/tid=10636] ppid=10621 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10624/task/10636/stat : 10636 (java) S 10621 10624 8273 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 104745406 10060525568 52617 33554432000 1073741824 1073778376 140735823619440 140263792113400 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10624/tid=10637] ppid=10621 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10624/task/10637/stat : 10637 (java) S 10621 10624 8273 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 104745406 10060525568 52617 33554432000 1073741824 1073778376 140735823619440 140263791060488 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10624/tid=10638] ppid=10621 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10624/task/10638/stat : 10638 (java) S 10621 10624 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104745408 10060525568 52617 33554432000 1073741824 1073778376 140735823619440 140263790008976 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10624/tid=10639] ppid=10621 vsize=9824732 CPUtime=0.66 cores=0,2,4,6
/proc/10624/task/10639/stat : 10639 (java) S 10621 10624 8273 0 -1 4202560 9146 0 0 0 66 0 0 0 20 0 19 0 104745408 10060525568 52617 33554432000 1073741824 1073778376 140735823619440 140263788956088 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10624/tid=10640] ppid=10621 vsize=9824732 CPUtime=0.6 cores=0,2,4,6
/proc/10624/task/10640/stat : 10640 (java) S 10621 10624 8273 0 -1 4202560 10956 0 0 0 58 2 0 0 20 0 19 0 104745408 10060525568 52617 33554432000 1073741824 1073778376 140735823619440 140263787903288 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10624/tid=10641] ppid=10621 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10624/task/10641/stat : 10641 (java) S 10621 10624 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104745408 10060525568 52617 33554432000 1073741824 1073778376 140735823619440 140263786850680 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10624/tid=10642] ppid=10621 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10624/task/10642/stat : 10642 (java) S 10621 10624 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104745408 10060525568 52617 33554432000 1073741824 1073778376 140735823619440 140263785798088 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10624/tid=10645] ppid=10621 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10624/task/10645/stat : 10645 (java) S 10621 10624 8273 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104745503 10060525568 52617 33554432000 1073741824 1073778376 140735823619440 140263782639016 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.33
Current children cumulated vsize (KiB) 9824732

[startup+3.1007 s]
/proc/loadavg: 4.43 4.35 4.28 3/218 10652
/proc/meminfo: memFree=25626648/32872528 swapFree=15540/1663004
[pid=10624] ppid=10621 vsize=9824732 CPUtime=4.6 cores=0,2,4,6
/proc/10624/stat : 10624 (java) S 10621 10624 8273 0 -1 4202496 26119 0 1 0 443 17 0 0 20 0 22 0 104745402 10060525568 59973 33554432000 1073741824 1073778376 140735823619440 140735823610576 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10624/statm: 2456183 59973 2285 9 0 2446860 0
[pid=10624/tid=10626] ppid=10621 vsize=9824732 CPUtime=0.97 cores=0,2,4,6
/proc/10624/task/10626/stat : 10626 (java) S 10621 10624 8273 0 -1 4202560 2539 0 1 0 93 4 0 0 20 0 22 0 104745403 10060525568 59973 33554432000 1073741824 1073778376 140735823619440 140263969248120 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10624/tid=10627] ppid=10621 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/10624/task/10627/stat : 10627 (java) S 10621 10624 8273 0 -1 4202560 126 0 0 0 3 0 0 0 20 0 22 0 104745404 10060525568 59973 33554432000 1073741824 1073778376 140735823619440 140263907978280 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10624/tid=10628] ppid=10621 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10624/task/10628/stat : 10628 (java) S 10621 10624 8273 0 -1 4202560 38 0 0 0 0 0 0 0 20 0 22 0 104745404 10060525568 59973 33554432000 1073741824 1073778376 140735823619440 140263906925480 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10624/tid=10629] ppid=10621 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10624/task/10629/stat : 10629 (java) S 10621 10624 8273 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 104745404 10060525568 59973 33554432000 1073741824 1073778376 140735823619440 140263905872680 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10624/tid=10630] ppid=10621 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10624/task/10630/stat : 10630 (java) S 10621 10624 8273 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 104745404 10060525568 59973 33554432000 1073741824 1073778376 140735823619440 140263904819880 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10624/tid=10631] ppid=10621 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/10624/task/10631/stat : 10631 (java) S 10621 10624 8273 0 -1 4202560 144 0 0 0 2 0 0 0 20 0 22 0 104745404 10060525568 59973 33554432000 1073741824 1073778376 140735823619440 140263903767080 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10624/tid=10632] ppid=10621 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10624/task/10632/stat : 10632 (java) S 10621 10624 8273 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 104745404 10060525568 59973 33554432000 1073741824 1073778376 140735823619440 140263902714280 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10624/tid=10633] ppid=10621 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10624/task/10633/stat : 10633 (java) S 10621 10624 8273 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 104745404 10060525568 59973 33554432000 1073741824 1073778376 140735823619440 140263806417192 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10624/tid=10634] ppid=10621 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/10624/task/10634/stat : 10634 (java) S 10621 10624 8273 0 -1 4202560 78 0 0 0 1 0 0 0 20 0 22 0 104745404 10060525568 59973 33554432000 1073741824 1073778376 140735823619440 140263805364392 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10624/tid=10635] ppid=10621 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10624/task/10635/stat : 10635 (java) S 10621 10624 8273 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 22 0 104745405 10060525568 59973 33554432000 1073741824 1073778376 140735823619440 140263793167336 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10624/tid=10636] ppid=10621 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10624/task/10636/stat : 10636 (java) S 10621 10624 8273 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 104745406 10060525568 59973 33554432000 1073741824 1073778376 140735823619440 140263792113400 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10624/tid=10637] ppid=10621 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10624/task/10637/stat : 10637 (java) S 10621 10624 8273 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 104745406 10060525568 59973 33554432000 1073741824 1073778376 140735823619440 140263791060488 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10624/tid=10638] ppid=10621 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10624/task/10638/stat : 10638 (java) S 10621 10624 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104745408 10060525568 59973 33554432000 1073741824 1073778376 140735823619440 140263790008976 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10624/tid=10639] ppid=10621 vsize=9824732 CPUtime=1.08 cores=0,2,4,6
/proc/10624/task/10639/stat : 10639 (java) S 10621 10624 8273 0 -1 4202560 9205 0 0 0 108 0 0 0 20 0 22 0 104745408 10060525568 59973 33554432000 1073741824 1073778376 140735823619440 140263788956088 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10624/tid=10640] ppid=10621 vsize=9824732 CPUtime=1.39 cores=0,2,4,6
/proc/10624/task/10640/stat : 10640 (java) S 10621 10624 8273 0 -1 4202560 12548 0 0 0 136 3 0 0 20 0 22 0 104745408 10060525568 59973 33554432000 1073741824 1073778376 140735823619440 140263787903288 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10624/tid=10641] ppid=10621 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10624/task/10641/stat : 10641 (java) S 10621 10624 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104745408 10060525568 59973 33554432000 1073741824 1073778376 140735823619440 140263786850680 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10624/tid=10642] ppid=10621 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10624/task/10642/stat : 10642 (java) S 10621 10624 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104745408 10060525568 59973 33554432000 1073741824 1073778376 140735823619440 140263785798088 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 4.6
Current children cumulated vsize (KiB) 9824732

[startup+6.30089 s]
/proc/loadavg: 4.23 4.31 4.27 3/218 10661
/proc/meminfo: memFree=25352004/32872528 swapFree=15540/1663004
[pid=10624] ppid=10621 vsize=9824732 CPUtime=10.65 cores=0,2,4,6
/proc/10624/stat : 10624 (java) S 10621 10624 8273 0 -1 4202496 26923 0 1 0 1025 40 0 0 20 0 22 0 104745402 10060525568 149421 33554432000 1073741824 1073778376 140735823619440 140735823610576 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10624/statm: 2456183 149421 2293 9 0 2446860 0
[pid=10624/tid=10626] ppid=10621 vsize=9824732 CPUtime=0.98 cores=0,2,4,6
/proc/10624/task/10626/stat : 10626 (java) S 10621 10624 8273 0 -1 4202560 2541 0 1 0 94 4 0 0 20 0 22 0 104745403 10060525568 149421 33554432000 1073741824 1073778376 140735823619440 140263969248120 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10624/tid=10627] ppid=10621 vsize=9824732 CPUtime=0.11 cores=0,2,4,6
/proc/10624/task/10627/stat : 10627 (java) S 10621 10624 8273 0 -1 4202560 191 0 0 0 8 3 0 0 20 0 22 0 104745404 10060525568 149421 33554432000 1073741824 1073778376 140735823619440 140263907978280 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10624/tid=10628] ppid=10621 vsize=9824732 CPUtime=0.06 cores=0,2,4,6
/proc/10624/task/10628/stat : 10628 (java) S 10621 10624 8273 0 -1 4202560 94 0 0 0 3 3 0 0 20 0 22 0 104745404 10060525568 149421 33554432000 1073741824 1073778376 140735823619440 140263906925480 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10624/tid=10629] ppid=10621 vsize=9824732 CPUtime=0.07 cores=0,2,4,6
/proc/10624/task/10629/stat : 10629 (java) S 10621 10624 8273 0 -1 4202560 45 0 0 0 5 2 0 0 20 0 22 0 104745404 10060525568 149421 33554432000 1073741824 1073778376 140735823619440 140263905872680 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10624/tid=10630] ppid=10621 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/10624/task/10630/stat : 10630 (java) S 10621 10624 8273 0 -1 4202560 35 0 0 0 3 1 0 0 20 0 22 0 104745404 10060525568 149421 33554432000 1073741824 1073778376 140735823619440 140263904819880 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10624/tid=10631] ppid=10621 vsize=9824732 CPUtime=0.07 cores=0,2,4,6
/proc/10624/task/10631/stat : 10631 (java) S 10621 10624 8273 0 -1 4202560 182 0 0 0 4 3 0 0 20 0 22 0 104745404 10060525568 149421 33554432000 1073741824 1073778376 140735823619440 140263903767080 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10624/tid=10632] ppid=10621 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/10624/task/10632/stat : 10632 (java) S 10621 10624 8273 0 -1 4202560 31 0 0 0 3 2 0 0 20 0 22 0 104745404 10060525568 149421 33554432000 1073741824 1073778376 140735823619440 140263902714280 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10624/tid=10633] ppid=10621 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/10624/task/10633/stat : 10633 (java) S 10621 10624 8273 0 -1 4202560 46 0 0 0 2 1 0 0 20 0 22 0 104745404 10060525568 149421 33554432000 1073741824 1073778376 140735823619440 140263806417192 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10624/tid=10634] ppid=10621 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/10624/task/10634/stat : 10634 (java) S 10621 10624 8273 0 -1 4202560 109 0 0 0 3 2 0 0 20 0 22 0 104745404 10060525568 149421 33554432000 1073741824 1073778376 140735823619440 140263805364392 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10624/tid=10635] ppid=10621 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10624/task/10635/stat : 10635 (java) S 10621 10624 8273 0 -1 4202560 197 0 0 0 0 0 0 0 20 0 22 0 104745405 10060525568 149421 33554432000 1073741824 1073778376 140735823619440 140263793167336 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10624/tid=10636] ppid=10621 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10624/task/10636/stat : 10636 (java) S 10621 10624 8273 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 104745406 10060525568 149421 33554432000 1073741824 1073778376 140735823619440 140263792113400 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10624/tid=10637] ppid=10621 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10624/task/10637/stat : 10637 (java) S 10621 10624 8273 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 104745406 10060525568 149421 33554432000 1073741824 1073778376 140735823619440 140263791060488 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10624/tid=10638] ppid=10621 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10624/task/10638/stat : 10638 (java) S 10621 10624 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104745408 10060525568 149421 33554432000 1073741824 1073778376 140735823619440 140263790008976 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10624/tid=10639] ppid=10621 vsize=9824732 CPUtime=1.22 cores=0,2,4,6
/proc/10624/task/10639/stat : 10639 (java) S 10621 10624 8273 0 -1 4202560 9214 0 0 0 122 0 0 0 20 0 22 0 104745408 10060525568 149421 33554432000 1073741824 1073778376 140735823619440 140263788956088 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10624/tid=10640] ppid=10621 vsize=9824732 CPUtime=1.65 cores=0,2,4,6
/proc/10624/task/10640/stat : 10640 (java) S 10621 10624 8273 0 -1 4202560 12574 0 0 0 162 3 0 0 20 0 22 0 104745408 10060525568 149421 33554432000 1073741824 1073778376 140735823619440 140263787903288 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10624/tid=10641] ppid=10621 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10624/task/10641/stat : 10641 (java) S 10621 10624 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104745408 10060525568 149421 33554432000 1073741824 1073778376 140735823619440 140263786850680 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10624/tid=10642] ppid=10621 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10624/task/10642/stat : 10642 (java) S 10621 10624 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104745408 10060525568 149421 33554432000 1073741824 1073778376 140735823619440 140263785798088 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10624/tid=10655] ppid=10621 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10624/task/10655/stat : 10655 (java) S 10621 10624 8273 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 104745654 10060525568 149421 33554432000 1073741824 1073778376 140735823619440 140263782638760 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 10.65
Current children cumulated vsize (KiB) 9824732

[startup+12.701 s]
/proc/loadavg: 4.21 4.31 4.27 5/221 10664

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


[startup+822.301 s]
/proc/loadavg: 4.88 4.51 4.38 5/221 10804
/proc/meminfo: memFree=20913092/32872528 swapFree=15540/1663004
[pid=10624] ppid=10621 vsize=9824732 CPUtime=1671.86 cores=0,2,4,6
/proc/10624/stat : 10624 (java) S 10621 10624 8273 0 -1 4202496 41267 0 1 0 166809 377 0 0 20 0 22 0 104745402 10060525568 1257975 33554432000 1073741824 1073778376 140735823619440 140735823610576 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10624/statm: 2456183 1257975 2301 9 0 2446860 0
[pid=10624/tid=10626] ppid=10621 vsize=9824732 CPUtime=1.02 cores=0,2,4,6
/proc/10624/task/10626/stat : 10626 (java) S 10621 10624 8273 0 -1 4202560 2581 0 1 0 97 5 0 0 20 0 22 0 104745403 10060525568 1257975 33554432000 1073741824 1073778376 140735823619440 140263969248120 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10624/tid=10627] ppid=10621 vsize=9824732 CPUtime=11.32 cores=0,2,4,6
/proc/10624/task/10627/stat : 10627 (java) S 10621 10624 8273 0 -1 4202560 1120 0 0 0 1097 35 0 0 20 0 22 0 104745404 10060525568 1257975 33554432000 1073741824 1073778376 140735823619440 140263907978280 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10624/tid=10628] ppid=10621 vsize=9824732 CPUtime=12.42 cores=0,2,4,6
/proc/10624/task/10628/stat : 10628 (java) S 10621 10624 8273 0 -1 4202560 1303 0 0 0 1193 49 0 0 20 0 22 0 104745404 10060525568 1257975 33554432000 1073741824 1073778376 140735823619440 140263906925480 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10624/tid=10629] ppid=10621 vsize=9824732 CPUtime=11.15 cores=0,2,4,6
/proc/10624/task/10629/stat : 10629 (java) S 10621 10624 8273 0 -1 4202560 1079 0 0 0 1079 36 0 0 20 0 22 0 104745404 10060525568 1257975 33554432000 1073741824 1073778376 140735823619440 140263905872680 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10624/tid=10630] ppid=10621 vsize=9824732 CPUtime=10.96 cores=0,2,4,6
/proc/10624/task/10630/stat : 10630 (java) S 10621 10624 8273 0 -1 4202560 1056 0 0 0 1061 35 0 0 20 0 22 0 104745404 10060525568 1257975 33554432000 1073741824 1073778376 140735823619440 140263904819880 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10624/tid=10631] ppid=10621 vsize=9824732 CPUtime=11.33 cores=0,2,4,6
/proc/10624/task/10631/stat : 10631 (java) S 10621 10624 8273 0 -1 4202560 1278 0 0 0 1094 39 0 0 20 0 22 0 104745404 10060525568 1257975 33554432000 1073741824 1073778376 140735823619440 140263903767080 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10624/tid=10632] ppid=10621 vsize=9824732 CPUtime=11.64 cores=0,2,4,6
/proc/10624/task/10632/stat : 10632 (java) S 10621 10624 8273 0 -1 4202560 1043 0 0 0 1125 39 0 0 20 0 22 0 104745404 10060525568 1257975 33554432000 1073741824 1073778376 140735823619440 140263902714280 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10624/tid=10633] ppid=10621 vsize=9824732 CPUtime=10.49 cores=0,2,4,6
/proc/10624/task/10633/stat : 10633 (java) S 10621 10624 8273 0 -1 4202560 1384 0 0 0 1011 38 0 0 20 0 22 0 104745404 10060525568 1257975 33554432000 1073741824 1073778376 140735823619440 140263806417192 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10624/tid=10634] ppid=10621 vsize=9824732 CPUtime=11.36 cores=0,2,4,6
/proc/10624/task/10634/stat : 10634 (java) S 10621 10624 8273 0 -1 4202560 844 0 0 0 1105 31 0 0 20 0 22 0 104745404 10060525568 1257975 33554432000 1073741824 1073778376 140735823619440 140263805364392 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10624/tid=10635] ppid=10621 vsize=9824732 CPUtime=14.15 cores=0,2,4,6
/proc/10624/task/10635/stat : 10635 (java) S 10621 10624 8273 0 -1 4202560 4646 0 0 0 1402 13 0 0 20 0 22 0 104745405 10060525568 1257975 33554432000 1073741824 1073778376 140735823619440 140263793167336 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10624/tid=10636] ppid=10621 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10624/task/10636/stat : 10636 (java) S 10621 10624 8273 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 104745406 10060525568 1257975 33554432000 1073741824 1073778376 140735823619440 140263792113400 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10624/tid=10637] ppid=10621 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10624/task/10637/stat : 10637 (java) S 10621 10624 8273 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 104745406 10060525568 1257975 33554432000 1073741824 1073778376 140735823619440 140263791060488 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10624/tid=10638] ppid=10621 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10624/task/10638/stat : 10638 (java) S 10621 10624 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104745408 10060525568 1257975 33554432000 1073741824 1073778376 140735823619440 140263790008976 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10624/tid=10639] ppid=10621 vsize=9824732 CPUtime=2.04 cores=0,2,4,6
/proc/10624/task/10639/stat : 10639 (java) S 10621 10624 8273 0 -1 4202560 9386 0 0 0 204 0 0 0 20 0 22 0 104745408 10060525568 1257975 33554432000 1073741824 1073778376 140735823619440 140263788956088 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10624/tid=10640] ppid=10621 vsize=9824732 CPUtime=1.69 cores=0,2,4,6
/proc/10624/task/10640/stat : 10640 (java) S 10621 10624 8273 0 -1 4202560 12582 0 0 0 166 3 0 0 20 0 22 0 104745408 10060525568 1257975 33554432000 1073741824 1073778376 140735823619440 140263787903288 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10624/tid=10641] ppid=10621 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10624/task/10641/stat : 10641 (java) S 10621 10624 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104745408 10060525568 1257975 33554432000 1073741824 1073778376 140735823619440 140263786850680 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10624/tid=10642] ppid=10621 vsize=9824732 CPUtime=0.3 cores=0,2,4,6
/proc/10624/task/10642/stat : 10642 (java) S 10621 10624 8273 0 -1 4202560 47 0 0 0 15 15 0 0 20 0 22 0 104745408 10060525568 1257975 33554432000 1073741824 1073778376 140735823619440 140263785798088 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10624/tid=10655] ppid=10621 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10624/task/10655/stat : 10655 (java) S 10621 10624 8273 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 104745654 10060525568 1257975 33554432000 1073741824 1073778376 140735823619440 140263782638760 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10624/tid=10676] ppid=10621 vsize=9824732 CPUtime=532.68 cores=0,2,4,6
/proc/10624/task/10676/stat : 10676 (java) R 10621 10624 8273 0 -1 4202560 22 0 0 0 53260 8 0 0 20 0 22 0 104772165 10060525568 1257975 33554432000 1073741824 1073778376 140735823619440 140263784742080 140263910019376 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=10624/tid=10677] ppid=10621 vsize=9824732 CPUtime=532.75 cores=0,2,4,6
/proc/10624/task/10677/stat : 10677 (java) R 10621 10624 8273 0 -1 4202560 40 0 0 0 53267 8 0 0 20 0 22 0 104772165 10060525568 1257975 33554432000 1073741824 1073778376 140735823619440 140263783689968 140263910087891 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=10624/tid=10678] ppid=10621 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10624/task/10678/stat : 10678 (java) S 10621 10624 8273 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 104772165 10060525568 1257975 33554432000 1073741824 1073778376 140735823619440 140263781586216 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1671.86
Current children cumulated vsize (KiB) 9824732

[startup+882.308 s]
/proc/loadavg: 4.36 4.41 4.36 5/221 10805
/proc/meminfo: memFree=20181544/32872528 swapFree=15540/1663004
[pid=10624] ppid=10621 vsize=9824732 CPUtime=1794.7 cores=0,2,4,6
/proc/10624/stat : 10624 (java) S 10621 10624 8273 0 -1 4202496 41643 0 1 0 179076 394 0 0 20 0 22 0 104745402 10060525568 1330687 33554432000 1073741824 1073778376 140735823619440 140735823610576 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10624/statm: 2456183 1330687 2301 9 0 2446860 0
[pid=10624/tid=10626] ppid=10621 vsize=9824732 CPUtime=1.02 cores=0,2,4,6
/proc/10624/task/10626/stat : 10626 (java) S 10621 10624 8273 0 -1 4202560 2582 0 1 0 97 5 0 0 20 0 22 0 104745403 10060525568 1330687 33554432000 1073741824 1073778376 140735823619440 140263969248120 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10624/tid=10627] ppid=10621 vsize=9824732 CPUtime=11.85 cores=0,2,4,6
/proc/10624/task/10627/stat : 10627 (java) S 10621 10624 8273 0 -1 4202560 1145 0 0 0 1149 36 0 0 20 0 22 0 104745404 10060525568 1330687 33554432000 1073741824 1073778376 140735823619440 140263907978280 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10624/tid=10628] ppid=10621 vsize=9824732 CPUtime=13.12 cores=0,2,4,6
/proc/10624/task/10628/stat : 10628 (java) S 10621 10624 8273 0 -1 4202560 1342 0 0 0 1261 51 0 0 20 0 22 0 104745404 10060525568 1330687 33554432000 1073741824 1073778376 140735823619440 140263906925480 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10624/tid=10629] ppid=10621 vsize=9824732 CPUtime=11.86 cores=0,2,4,6
/proc/10624/task/10629/stat : 10629 (java) S 10621 10624 8273 0 -1 4202560 1133 0 0 0 1147 39 0 0 20 0 22 0 104745404 10060525568 1330687 33554432000 1073741824 1073778376 140735823619440 140263905872680 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10624/tid=10630] ppid=10621 vsize=9824732 CPUtime=11.75 cores=0,2,4,6
/proc/10624/task/10630/stat : 10630 (java) S 10621 10624 8273 0 -1 4202560 1076 0 0 0 1139 36 0 0 20 0 22 0 104745404 10060525568 1330687 33554432000 1073741824 1073778376 140735823619440 140263904819880 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10624/tid=10631] ppid=10621 vsize=9824732 CPUtime=11.97 cores=0,2,4,6
/proc/10624/task/10631/stat : 10631 (java) S 10621 10624 8273 0 -1 4202560 1331 0 0 0 1155 42 0 0 20 0 22 0 104745404 10060525568 1330687 33554432000 1073741824 1073778376 140735823619440 140263903767080 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10624/tid=10632] ppid=10621 vsize=9824732 CPUtime=12.55 cores=0,2,4,6
/proc/10624/task/10632/stat : 10632 (java) S 10621 10624 8273 0 -1 4202560 1084 0 0 0 1213 42 0 0 20 0 22 0 104745404 10060525568 1330687 33554432000 1073741824 1073778376 140735823619440 140263902714280 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10624/tid=10633] ppid=10621 vsize=9824732 CPUtime=11.17 cores=0,2,4,6
/proc/10624/task/10633/stat : 10633 (java) S 10621 10624 8273 0 -1 4202560 1422 0 0 0 1078 39 0 0 20 0 22 0 104745404 10060525568 1330687 33554432000 1073741824 1073778376 140735823619440 140263806417192 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10624/tid=10634] ppid=10621 vsize=9824732 CPUtime=12.2 cores=0,2,4,6
/proc/10624/task/10634/stat : 10634 (java) S 10621 10624 8273 0 -1 4202560 876 0 0 0 1188 32 0 0 20 0 22 0 104745404 10060525568 1330687 33554432000 1073741824 1073778376 140735823619440 140263805364392 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10624/tid=10635] ppid=10621 vsize=9824732 CPUtime=14.15 cores=0,2,4,6
/proc/10624/task/10635/stat : 10635 (java) S 10621 10624 8273 0 -1 4202560 4708 0 0 0 1402 13 0 0 20 0 22 0 104745405 10060525568 1330687 33554432000 1073741824 1073778376 140735823619440 140263793167336 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10624/tid=10636] ppid=10621 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10624/task/10636/stat : 10636 (java) S 10621 10624 8273 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 104745406 10060525568 1330687 33554432000 1073741824 1073778376 140735823619440 140263792113400 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10624/tid=10637] ppid=10621 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10624/task/10637/stat : 10637 (java) S 10621 10624 8273 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 104745406 10060525568 1330687 33554432000 1073741824 1073778376 140735823619440 140263791060488 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10624/tid=10638] ppid=10621 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10624/task/10638/stat : 10638 (java) S 10621 10624 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104745408 10060525568 1330687 33554432000 1073741824 1073778376 140735823619440 140263790008976 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10624/tid=10639] ppid=10621 vsize=9824732 CPUtime=2.04 cores=0,2,4,6
/proc/10624/task/10639/stat : 10639 (java) S 10621 10624 8273 0 -1 4202560 9386 0 0 0 204 0 0 0 20 0 22 0 104745408 10060525568 1330687 33554432000 1073741824 1073778376 140735823619440 140263788956088 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10624/tid=10640] ppid=10621 vsize=9824732 CPUtime=1.69 cores=0,2,4,6
/proc/10624/task/10640/stat : 10640 (java) S 10621 10624 8273 0 -1 4202560 12582 0 0 0 166 3 0 0 20 0 22 0 104745408 10060525568 1330687 33554432000 1073741824 1073778376 140735823619440 140263787903288 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10624/tid=10641] ppid=10621 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10624/task/10641/stat : 10641 (java) S 10621 10624 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104745408 10060525568 1330687 33554432000 1073741824 1073778376 140735823619440 140263786850680 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10624/tid=10642] ppid=10621 vsize=9824732 CPUtime=0.33 cores=0,2,4,6
/proc/10624/task/10642/stat : 10642 (java) S 10621 10624 8273 0 -1 4202560 51 0 0 0 16 17 0 0 20 0 22 0 104745408 10060525568 1330687 33554432000 1073741824 1073778376 140735823619440 140263785798088 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10624/tid=10655] ppid=10621 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10624/task/10655/stat : 10655 (java) S 10621 10624 8273 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 104745654 10060525568 1330687 33554432000 1073741824 1073778376 140735823619440 140263782638760 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10624/tid=10676] ppid=10621 vsize=9824732 CPUtime=591.2 cores=0,2,4,6
/proc/10624/task/10676/stat : 10676 (java) R 10621 10624 8273 0 -1 4202560 28 0 0 0 59110 10 0 0 20 0 22 0 104772165 10060525568 1330687 33554432000 1073741824 1073778376 140735823619440 140263784742928 140263909920487 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10624/tid=10677] ppid=10621 vsize=9824732 CPUtime=591.27 cores=0,2,4,6
/proc/10624/task/10677/stat : 10677 (java) R 10621 10624 8273 0 -1 4202560 41 0 0 0 59119 8 0 0 20 0 22 0 104772165 10060525568 1330687 33554432000 1073741824 1073778376 140735823619440 140263783689184 140263910295048 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=10624/tid=10678] ppid=10621 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10624/task/10678/stat : 10678 (java) S 10621 10624 8273 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 104772165 10060525568 1330687 33554432000 1073741824 1073778376 140735823619440 140263781586216 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1794.7
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+885.001 s]
/proc/loadavg: 4.36 4.41 4.36 5/221 10805
/proc/meminfo: memFree=20181544/32872528 swapFree=15540/1663004
[pid=10624] ppid=10621 vsize=9824732 CPUtime=1800.08 cores=0,2,4,6
/proc/10624/stat : 10624 (java) S 10621 10624 8273 0 -1 4202496 41643 0 1 0 179614 394 0 0 20 0 22 0 104745402 10060525568 1330687 33554432000 1073741824 1073778376 140735823619440 140735823610576 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10624/statm: 2456183 1330687 2301 9 0 2446860 0
[pid=10624/tid=10626] ppid=10621 vsize=9824732 CPUtime=1.02 cores=0,2,4,6
/proc/10624/task/10626/stat : 10626 (java) S 10621 10624 8273 0 -1 4202560 2582 0 1 0 97 5 0 0 20 0 22 0 104745403 10060525568 1330687 33554432000 1073741824 1073778376 140735823619440 140263969248120 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10624/tid=10627] ppid=10621 vsize=9824732 CPUtime=11.85 cores=0,2,4,6
/proc/10624/task/10627/stat : 10627 (java) S 10621 10624 8273 0 -1 4202560 1145 0 0 0 1149 36 0 0 20 0 22 0 104745404 10060525568 1330687 33554432000 1073741824 1073778376 140735823619440 140263907978280 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10624/tid=10628] ppid=10621 vsize=9824732 CPUtime=13.12 cores=0,2,4,6
/proc/10624/task/10628/stat : 10628 (java) S 10621 10624 8273 0 -1 4202560 1342 0 0 0 1261 51 0 0 20 0 22 0 104745404 10060525568 1330687 33554432000 1073741824 1073778376 140735823619440 140263906925480 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10624/tid=10629] ppid=10621 vsize=9824732 CPUtime=11.86 cores=0,2,4,6
/proc/10624/task/10629/stat : 10629 (java) S 10621 10624 8273 0 -1 4202560 1133 0 0 0 1147 39 0 0 20 0 22 0 104745404 10060525568 1330687 33554432000 1073741824 1073778376 140735823619440 140263905872680 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10624/tid=10630] ppid=10621 vsize=9824732 CPUtime=11.75 cores=0,2,4,6
/proc/10624/task/10630/stat : 10630 (java) S 10621 10624 8273 0 -1 4202560 1076 0 0 0 1139 36 0 0 20 0 22 0 104745404 10060525568 1330687 33554432000 1073741824 1073778376 140735823619440 140263904819880 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10624/tid=10631] ppid=10621 vsize=9824732 CPUtime=11.97 cores=0,2,4,6
/proc/10624/task/10631/stat : 10631 (java) S 10621 10624 8273 0 -1 4202560 1331 0 0 0 1155 42 0 0 20 0 22 0 104745404 10060525568 1330687 33554432000 1073741824 1073778376 140735823619440 140263903767080 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10624/tid=10632] ppid=10621 vsize=9824732 CPUtime=12.55 cores=0,2,4,6
/proc/10624/task/10632/stat : 10632 (java) S 10621 10624 8273 0 -1 4202560 1084 0 0 0 1213 42 0 0 20 0 22 0 104745404 10060525568 1330687 33554432000 1073741824 1073778376 140735823619440 140263902714280 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10624/tid=10633] ppid=10621 vsize=9824732 CPUtime=11.17 cores=0,2,4,6
/proc/10624/task/10633/stat : 10633 (java) S 10621 10624 8273 0 -1 4202560 1422 0 0 0 1078 39 0 0 20 0 22 0 104745404 10060525568 1330687 33554432000 1073741824 1073778376 140735823619440 140263806417192 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10624/tid=10634] ppid=10621 vsize=9824732 CPUtime=12.2 cores=0,2,4,6
/proc/10624/task/10634/stat : 10634 (java) S 10621 10624 8273 0 -1 4202560 876 0 0 0 1188 32 0 0 20 0 22 0 104745404 10060525568 1330687 33554432000 1073741824 1073778376 140735823619440 140263805364392 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10624/tid=10635] ppid=10621 vsize=9824732 CPUtime=14.15 cores=0,2,4,6
/proc/10624/task/10635/stat : 10635 (java) S 10621 10624 8273 0 -1 4202560 4708 0 0 0 1402 13 0 0 20 0 22 0 104745405 10060525568 1330687 33554432000 1073741824 1073778376 140735823619440 140263793167336 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10624/tid=10636] ppid=10621 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10624/task/10636/stat : 10636 (java) S 10621 10624 8273 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 104745406 10060525568 1330687 33554432000 1073741824 1073778376 140735823619440 140263792113400 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10624/tid=10637] ppid=10621 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10624/task/10637/stat : 10637 (java) S 10621 10624 8273 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 104745406 10060525568 1330687 33554432000 1073741824 1073778376 140735823619440 140263791060488 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10624/tid=10638] ppid=10621 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10624/task/10638/stat : 10638 (java) S 10621 10624 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104745408 10060525568 1330687 33554432000 1073741824 1073778376 140735823619440 140263790008976 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10624/tid=10639] ppid=10621 vsize=9824732 CPUtime=2.04 cores=0,2,4,6
/proc/10624/task/10639/stat : 10639 (java) S 10621 10624 8273 0 -1 4202560 9386 0 0 0 204 0 0 0 20 0 22 0 104745408 10060525568 1330687 33554432000 1073741824 1073778376 140735823619440 140263788956088 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10624/tid=10640] ppid=10621 vsize=9824732 CPUtime=1.69 cores=0,2,4,6
/proc/10624/task/10640/stat : 10640 (java) S 10621 10624 8273 0 -1 4202560 12582 0 0 0 166 3 0 0 20 0 22 0 104745408 10060525568 1330687 33554432000 1073741824 1073778376 140735823619440 140263787903288 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10624/tid=10641] ppid=10621 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10624/task/10641/stat : 10641 (java) S 10621 10624 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104745408 10060525568 1330687 33554432000 1073741824 1073778376 140735823619440 140263786850680 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10624/tid=10642] ppid=10621 vsize=9824732 CPUtime=0.33 cores=0,2,4,6
/proc/10624/task/10642/stat : 10642 (java) S 10621 10624 8273 0 -1 4202560 51 0 0 0 16 17 0 0 20 0 22 0 104745408 10060525568 1330687 33554432000 1073741824 1073778376 140735823619440 140263785798088 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10624/tid=10655] ppid=10621 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10624/task/10655/stat : 10655 (java) S 10621 10624 8273 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 104745654 10060525568 1330687 33554432000 1073741824 1073778376 140735823619440 140263782638760 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10624/tid=10676] ppid=10621 vsize=9824732 CPUtime=593.89 cores=0,2,4,6
/proc/10624/task/10676/stat : 10676 (java) R 10621 10624 8273 0 -1 4202560 28 0 0 0 59378 11 0 0 20 0 22 0 104772165 10060525568 1330687 33554432000 1073741824 1073778376 140735823619440 140263784742928 140263910019464 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10624/tid=10677] ppid=10621 vsize=9824732 CPUtime=593.96 cores=0,2,4,6
/proc/10624/task/10677/stat : 10677 (java) R 10621 10624 8273 0 -1 4202560 41 0 0 0 59387 9 0 0 20 0 22 0 104772165 10060525568 1330687 33554432000 1073741824 1073778376 140735823619440 140263783689184 140263910295133 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=10624/tid=10678] ppid=10621 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10624/task/10678/stat : 10678 (java) S 10621 10624 8273 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 104772165 10060525568 1330687 33554432000 1073741824 1073778376 140735823619440 140263781586216 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
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 10624 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 885.076
CPU time (s): 1800.6
CPU user time (s): 1796.22
CPU system time (s): 4.38133
CPU usage (%): 203.44
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.22
system time used= 4.38133
maximum resident set size= 5322872
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 41683
page faults= 1
swaps= 0
block input operations= 0
block output operations= 952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 25398
involuntary context switches= 56953

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.69413 second user time and 7.29389 second system time

The end

Launcher Data 

Begin job on node134 at 2016-06-06 17:48:46
IDJOB=4081250
IDBENCH=2260
IDSOLVER=2543
FILE ID=node134/4081250-1465228126
RUNJOBID= node134-1465220363-8289
PBS_JOBID= 19843220
Free space on /tmp= 71728 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/frb50-23-opb/normalized-frb50-23-1.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4081250-1465228126/watcher-4081250-1465228126 -o /tmp/evaluation-result-4081250-1465228126/solver-4081250-1465228126 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1465220363-8289 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4081250-1465228126.opb

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

MD5SUM BENCH= dc857dc123c51e1f53f981679774fda8
RANDOM SEED=252583347

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.403
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.56
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.403
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.403
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.403
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.403
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:        25830952 kB
Buffers:           19968 kB
Cached:            88224 kB
SwapCached:         1808 kB
Active:          4624384 kB
Inactive:          45240 kB
Active(anon):    4562876 kB
Inactive(anon):     1036 kB
Active(file):      61508 kB
Inactive(file):    44204 kB
Unevictable:     1663004 kB
Mlocked:           15540 kB
SwapTotal:      67108856 kB
SwapFree:       67098288 kB
Dirty:              2800 kB
Writeback:             0 kB
AnonPages:       6223604 kB
Mapped:            15368 kB
Shmem:                 0 kB
Slab:             566460 kB
SReclaimable:      10316 kB
SUnreclaim:       556144 kB
KernelStack:        1608 kB
PageTables:        16732 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    6996896 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987908 kB
HardwareCorrupted:     0 kB
AnonHugePages:   6121472 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71728 MiB
End job on node134 at 2016-06-06 18:03:31