Trace number 3687524

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
SAT 4j PB RES // CP 2.3.2 SnapshotSAT (TO)3859 1800.53 939.668

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/
MIPLIB/miplib/normalized-mps-v2-20-10-lp4l.opb
MD5SUM8d2c17131f0dd6c2b5d472cf1eef4c89
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark2967
Best CPU time to get the best result obtained on this benchmark0.208968
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 2967
Optimality of the best value was proved YES
Number of variables1086
Total number of constraints85
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)84
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint4
Maximum length of a constraint1086
Number of terms in the objective function 1086
Biggest coefficient in the objective function 283
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 197191
Number of bits of the sum of numbers in the objective function 18
Biggest number in a constraint 283
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 197191
Number of bits of the biggest sum of numbers18
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.07	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.08	c version 2.3.2.v20120418
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		501472288
0.00/0.08	c Max memory 		7480803328
0.00/0.08	c Total memory 		504102912
0.00/0.08	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization by upper bound
0.10/0.11	c ManyCore solver with 2 solvers running in parallel
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c Expensive reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c c --- End Solver configuration ---
0.10/0.11	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4e3eca90
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.10/0.11	c No reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-3687524-1337871930.opb
0.10/0.11	c reading problem ... 
0.29/0.24	c ... done. Wall clock time 0.136s.
0.29/0.24	c declared #vars     1086
0.29/0.24	c #constraints  169
0.29/0.24	c constraints type 
0.29/0.24	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 83
0.29/0.24	c org.sat4j.minisat.constraints.card.MinWatchCard => 85
0.29/0.24	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1
0.29/0.24	c 169 constraints processed.
0.29/0.24	c constraints type 
0.29/0.24	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 83
0.29/0.24	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 85
0.29/0.24	c org.sat4j.pb.constraints.pb.MaxWatchPb => 1
0.29/0.24	c 169 constraints processed.
0.29/0.24	c objective function length is 1086 literals
0.63/0.40	c  And the winner is solver0
1.39/0.74	c SATISFIABLE
1.39/0.74	c OPTIMIZING...
1.39/0.74	c Got one! Elapsed wall clock time (in seconds):0.639
1.39/0.74	o 3946
3.12/1.32	c cleaning 2587 clauses out of 5177 with flag 5000/5177
4.41/1.94	c cleaning 4287 clauses out of 8592 with flag 11002/11179
5.83/2.68	c cleaning 5647 clauses out of 11303 with flag 18000/18177
8.04/3.61	c cleaning 6828 clauses out of 13656 with flag 26000/26177
10.06/4.70	c cleaning 7910 clauses out of 15828 with flag 35000/35177
12.20/5.75	c cleaning 8955 clauses out of 17918 with flag 45000/45177
14.36/6.88	c cleaning 9978 clauses out of 19963 with flag 56000/56177
16.69/8.05	c cleaning 10989 clauses out of 21985 with flag 68000/68177
19.59/9.50	c cleaning 11992 clauses out of 23997 with flag 81001/81178
22.52/11.10	c cleaning 12998 clauses out of 26005 with flag 95001/95178
25.26/12.46	c cleaning 13995 clauses out of 28006 with flag 110000/110177
28.34/14.08	c cleaning 15006 clauses out of 30011 with flag 126000/126177
32.19/16.00	c cleaning 16004 clauses out of 32008 with flag 143003/143180
36.06/18.01	c cleaning 16999 clauses out of 34003 with flag 161002/161179
40.50/20.35	c cleaning 18003 clauses out of 36006 with flag 180004/180181
45.58/22.93	c cleaning 18994 clauses out of 38000 with flag 200001/200178
51.53/26.05	c cleaning 19994 clauses out of 40005 with flag 221000/221177
57.15/28.93	c cleaning 20999 clauses out of 42013 with flag 243002/243179
63.37/32.12	c cleaning 22002 clauses out of 44013 with flag 266001/266178
69.95/35.55	c cleaning 22997 clauses out of 46010 with flag 290000/290177
76.43/38.94	c cleaning 24004 clauses out of 48014 with flag 315001/315178
83.19/42.45	c cleaning 24999 clauses out of 50011 with flag 341002/341179
90.55/46.22	c cleaning 26001 clauses out of 52012 with flag 368002/368179
98.74/50.50	c cleaning 26989 clauses out of 54010 with flag 396001/396178
106.77/54.66	c cleaning 28007 clauses out of 56020 with flag 425000/425177
114.48/58.61	c cleaning 28993 clauses out of 58014 with flag 455001/455178
123.36/63.29	c cleaning 30005 clauses out of 60020 with flag 486000/486177
133.22/68.34	c cleaning 31003 clauses out of 62020 with flag 518005/518182
143.69/73.81	c cleaning 31989 clauses out of 64013 with flag 551001/551178
154.15/79.30	c cleaning 33006 clauses out of 66024 with flag 585001/585178
164.78/84.76	c cleaning 34003 clauses out of 68017 with flag 620000/620177
175.57/90.38	c cleaning 34997 clauses out of 70014 with flag 656000/656177
187.80/96.79	c cleaning 36000 clauses out of 72017 with flag 693000/693177
198.56/102.33	c cleaning 36996 clauses out of 74018 with flag 731001/731178
208.90/107.73	c cleaning 38007 clauses out of 76025 with flag 770004/770181
223.43/115.25	c cleaning 38994 clauses out of 78015 with flag 810001/810178
237.54/122.63	c cleaning 39991 clauses out of 80021 with flag 851001/851178
253.51/130.84	c cleaning 41004 clauses out of 82029 with flag 893000/893177
269.43/139.09	c cleaning 41998 clauses out of 84025 with flag 936000/936177
287.28/148.20	c cleaning 43006 clauses out of 86027 with flag 980000/980177
305.41/157.70	c cleaning 44013 clauses out of 88025 with flag 1025004/1025181
326.86/168.74	c cleaning 44981 clauses out of 90010 with flag 1071002/1071179
357.69/184.84	c cleaning 46006 clauses out of 92029 with flag 1118002/1118179
379.98/196.39	c cleaning 47003 clauses out of 94027 with flag 1166006/1166183
396.30/204.74	c cleaning 47994 clauses out of 96018 with flag 1215000/1215177
411.82/212.73	c cleaning 49001 clauses out of 98026 with flag 1265002/1265179
427.96/221.03	c cleaning 49997 clauses out of 100024 with flag 1316001/1316178
444.79/229.89	c cleaning 50998 clauses out of 102026 with flag 1368000/1368177
466.27/240.82	c cleaning 52007 clauses out of 104029 with flag 1421001/1421178
487.79/251.81	c cleaning 53003 clauses out of 106021 with flag 1475000/1475177
508.47/262.49	c cleaning 54009 clauses out of 108021 with flag 1530003/1530180
530.88/274.03	c cleaning 54988 clauses out of 110010 with flag 1586001/1586178
550.00/283.82	c cleaning 56002 clauses out of 112022 with flag 1643001/1643178
570.48/294.34	c cleaning 56988 clauses out of 114019 with flag 1701000/1701177
597.97/308.32	c cleaning 57993 clauses out of 116031 with flag 1760000/1760177
617.79/318.61	c cleaning 59013 clauses out of 118039 with flag 1820001/1820178
636.27/328.11	c cleaning 60007 clauses out of 120027 with flag 1881002/1881179
653.56/337.05	c cleaning 61006 clauses out of 122018 with flag 1943000/1943177
674.44/347.73	c cleaning 62000 clauses out of 124014 with flag 2006002/2006179
700.03/360.96	c cleaning 62988 clauses out of 126013 with flag 2070001/2070178
721.13/371.79	c cleaning 64001 clauses out of 128025 with flag 2135001/2135178
744.42/383.69	c cleaning 64997 clauses out of 130023 with flag 2201000/2201177
773.93/398.63	c cleaning 65995 clauses out of 132027 with flag 2268001/2268178
800.96/412.56	c cleaning 67001 clauses out of 134031 with flag 2336000/2336177
825.84/425.20	c cleaning 68002 clauses out of 136031 with flag 2405001/2405178
850.12/437.67	c cleaning 68995 clauses out of 138028 with flag 2475000/2475177
884.79/455.23	c cleaning 70012 clauses out of 140033 with flag 2546000/2546177
913.80/470.16	c cleaning 70997 clauses out of 142021 with flag 2618000/2618177
940.49/483.74	c cleaning 72007 clauses out of 144024 with flag 2691000/2691177
969.78/498.66	c cleaning 72997 clauses out of 146017 with flag 2765000/2765177
1001.68/514.89	c cleaning 73999 clauses out of 148020 with flag 2840000/2840177
1032.63/530.70	c cleaning 75000 clauses out of 150021 with flag 2916000/2916177
1061.12/545.20	c cleaning 76008 clauses out of 152022 with flag 2993001/2993178
1092.42/561.14	c cleaning 76984 clauses out of 154013 with flag 3071000/3071177
1120.31/575.33	c cleaning 77995 clauses out of 156030 with flag 3150001/3150178
1157.07/594.11	c cleaning 79012 clauses out of 158036 with flag 3230002/3230179
1191.55/611.68	c cleaning 79994 clauses out of 160022 with flag 3311000/3311177
1229.62/630.98	c cleaning 81007 clauses out of 162031 with flag 3393003/3393180
1270.52/651.63	c cleaning 81996 clauses out of 164021 with flag 3476000/3476177
1321.68/677.61	c cleaning 83011 clauses out of 166025 with flag 3560000/3560177
1366.38/700.27	c cleaning 83979 clauses out of 168014 with flag 3645000/3645177
1408.88/721.73	c cleaning 85004 clauses out of 170035 with flag 3731000/3731177
1447.79/741.43	c cleaning 86001 clauses out of 172032 with flag 3818001/3818178
1486.54/761.30	c cleaning 87003 clauses out of 174032 with flag 3906002/3906179
1518.60/777.57	c  And the winner is solver0
1542.70/801.48	c Got one! Elapsed wall clock time (in seconds):801.372
1542.70/801.48	o 3940
1547.81/803.93	c cleaning 81160 clauses out of 162485 with flag 5001/3981635
1551.90/806.27	c  And the winner is solver0
1552.36/806.65	c Got one! Elapsed wall clock time (in seconds):806.542
1552.36/806.65	o 3859
1556.48/808.77	c cleaning 45924 clauses out of 91930 with flag 5001/3992240
1561.33/811.48	c cleaning 25917 clauses out of 52006 with flag 11001/3998240
1566.25/814.38	c cleaning 16489 clauses out of 33088 with flag 18000/4005239
1570.70/816.85	c cleaning 12234 clauses out of 24599 with flag 26000/4013239
1575.77/819.65	c cleaning 10590 clauses out of 21365 with flag 35000/4022239
1580.43/822.21	c cleaning 10321 clauses out of 20777 with flag 45002/4032241
1585.92/825.45	c cleaning 10692 clauses out of 21454 with flag 56000/4043239
1591.77/828.67	c cleaning 11350 clauses out of 22763 with flag 68001/4055240
1598.19/832.17	c cleaning 12177 clauses out of 24413 with flag 81001/4068240
1605.22/835.96	c cleaning 13056 clauses out of 26236 with flag 95001/4082240
1612.88/840.27	c cleaning 14066 clauses out of 28180 with flag 110001/4097240
1621.08/844.64	c cleaning 15011 clauses out of 30113 with flag 126000/4113239
1629.50/849.18	c cleaning 16019 clauses out of 32103 with flag 143001/4130240
1637.86/853.68	c cleaning 16997 clauses out of 34084 with flag 161001/4148240
1647.65/859.06	c cleaning 18022 clauses out of 36087 with flag 180001/4167240
1657.41/864.26	c cleaning 18995 clauses out of 38065 with flag 200001/4187240
1668.35/870.03	c cleaning 20007 clauses out of 40071 with flag 221002/4208241
1677.90/875.14	c cleaning 20990 clauses out of 42064 with flag 243002/4230241
1688.55/880.98	c cleaning 21956 clauses out of 44073 with flag 266001/4253240
1701.11/887.56	c cleaning 23002 clauses out of 46117 with flag 290001/4277240
1714.87/894.70	c cleaning 24016 clauses out of 48115 with flag 315001/4302240
1727.62/901.41	c cleaning 24974 clauses out of 50098 with flag 341000/4328239
1742.24/909.25	c cleaning 25999 clauses out of 52124 with flag 368000/4355239
1756.01/916.43	c cleaning 27016 clauses out of 54125 with flag 396000/4383239
1770.98/924.23	c cleaning 27987 clauses out of 56109 with flag 425000/4412239
1785.96/932.05	c cleaning 28957 clauses out of 58122 with flag 455000/4442239
1800.18/939.61	c starts		: 256
1800.18/939.61	c conflicts		: 4469691
1800.18/939.61	c decisions		: 5380558
1800.18/939.61	c propagations		: 74554740
1800.18/939.61	c inspects		: 6368521584
1800.18/939.61	c shortcuts		: 0
1800.18/939.61	c learnt literals	: 0
1800.18/939.61	c learnt binary clauses	: 0
1800.18/939.61	c learnt ternary clauses	: 3
1800.18/939.61	c learnt constraints	: 4469691
1800.18/939.61	c ignored constraints	: 0
1800.18/939.61	c root simplifications	: 0
1800.18/939.61	c removed literals (reason simplification)	: 24145081
1800.18/939.61	c reason swapping (by a shorter reason)	: 0
1800.18/939.61	c Calls to reduceDB	: 111
1800.18/939.61	c number of reductions to clauses (during analyze)	: 0
1800.18/939.61	c number of learned constraints concerned by reduction	: 0
1800.18/939.61	c number of learning phase by resolution	: 0
1800.18/939.61	c number of learning phase by cutting planes	: 0
1800.18/939.61	c speed (assignments/second)	: 79368.61631684957
1800.18/939.61	c non guided choices	0
1800.18/939.64	c learnt constraints type 
1800.18/939.64	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 56713
1800.18/939.64	c constraints type 
1800.18/939.64	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 83
1800.18/939.64	c org.sat4j.minisat.constraints.card.MinWatchCard => 85
1800.18/939.64	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2
1800.18/939.64	c 170 constraints processed.
1800.18/939.64	c constraints type 
1800.18/939.64	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 83
1800.18/939.64	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 85
1800.18/939.64	c org.sat4j.pb.constraints.pb.MaxWatchPb => 2
1800.18/939.64	c 170 constraints processed.
1800.18/939.64	s SATISFIABLE
1800.18/939.64	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 
1800.18/939.64	c objective function=3859
1800.18/939.64	c Total wall clock time (in seconds): 939.54

Verifier Data 

OK	3859

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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-3687524-1337871930/watcher-3687524-1337871930 -o /tmp/evaluation-result-3687524-1337871930/solver-3687524-1337871930 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3687524-1337871930.opb 

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: 0.86 0.24 0.08 4/197 22060
/proc/meminfo: memFree=28897340/32873844 swapFree=7100/7100
[pid=22060] ppid=22058 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/22060/stat : 22060 (java) R 22058 22060 21308 0 -1 4202496 980 0 0 0 0 0 0 0 20 0 1 0 253321607 23793664 707 33554432000 1073741824 1073778376 140735946774688 140735946763752 247055038544 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/22060/statm: 5809 707 522 9 0 128 0

[startup+0.084994 s]
/proc/loadavg: 0.86 0.24 0.08 4/197 22060
/proc/meminfo: memFree=28897340/32873844 swapFree=7100/7100
[pid=22060] ppid=22058 vsize=9558412 CPUtime=0.08 cores=1,3,5,7
/proc/22060/stat : 22060 (java) S 22058 22060 21308 0 -1 4202496 4266 0 1 0 7 1 0 0 20 0 18 0 253321607 9787813888 5461 33554432000 1073741824 1073778376 140735946774688 140735946765824 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22060/statm: 2389603 5461 2109 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558412

[startup+0.100257 s]
/proc/loadavg: 0.86 0.24 0.08 4/197 22060
/proc/meminfo: memFree=28897340/32873844 swapFree=7100/7100
[pid=22060] ppid=22058 vsize=9558412 CPUtime=0.1 cores=1,3,5,7
/proc/22060/stat : 22060 (java) S 22058 22060 21308 0 -1 4202496 4412 0 1 0 9 1 0 0 20 0 18 0 253321607 9787813888 6118 33554432000 1073741824 1073778376 140735946774688 140735946765824 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22060/statm: 2389603 6118 2124 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558412

[startup+0.300196 s]
/proc/loadavg: 0.86 0.24 0.08 4/197 22060
/proc/meminfo: memFree=28897340/32873844 swapFree=7100/7100
[pid=22060] ppid=22058 vsize=9824668 CPUtime=0.63 cores=1,3,5,7
/proc/22060/stat : 22060 (java) S 22058 22060 21308 0 -1 4202496 7281 0 1 0 61 2 0 0 20 0 22 0 253321607 10060460032 10465 33554432000 1073741824 1073778376 140735946774688 140735946765824 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22060/statm: 2456167 10465 2232 9 0 2446860 0
Current children cumulated CPU time (s) 0.63
Current children cumulated vsize (KiB) 9824668

[startup+0.700256 s]
/proc/loadavg: 0.86 0.24 0.08 4/197 22060
/proc/meminfo: memFree=28897340/32873844 swapFree=7100/7100
[pid=22060] ppid=22058 vsize=9824668 CPUtime=1.39 cores=1,3,5,7
/proc/22060/stat : 22060 (java) S 22058 22060 21308 0 -1 4202496 11762 0 1 0 135 4 0 0 20 0 19 0 253321607 10060460032 14261 33554432000 1073741824 1073778376 140735946774688 140735946765824 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22060/statm: 2456167 14261 2241 9 0 2446860 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 9824668

[startup+1.50078 s]
/proc/loadavg: 1.19 0.32 0.11 7/219 22085
/proc/meminfo: memFree=28563668/32873844 swapFree=7100/7100
[pid=22060] ppid=22058 vsize=9824668 CPUtime=3.54 cores=1,3,5,7
/proc/22060/stat : 22060 (java) S 22058 22060 21308 0 -1 4202496 13207 0 1 0 346 8 0 0 20 0 22 0 253321607 10060460032 29699 33554432000 1073741824 1073778376 140735946774688 140735946765824 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22060/statm: 2456167 29699 2277 9 0 2446860 0
[pid=22060/tid=22062] ppid=22058 vsize=9824668 CPUtime=0.23 cores=1,3,5,7
/proc/22060/task/22062/stat : 22062 (java) S 22058 22060 21308 0 -1 4202560 2457 0 1 0 21 2 0 0 20 0 22 0 253321608 10060460032 29699 33554432000 1073741824 1073778376 140735946774688 140029465531384 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22060/tid=22063] ppid=22058 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22060/task/22063/stat : 22063 (java) S 22058 22060 21308 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 253321609 10060460032 29699 33554432000 1073741824 1073778376 140735946774688 140029427022376 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22060/tid=22064] ppid=22058 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22060/task/22064/stat : 22064 (java) S 22058 22060 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253321609 10060460032 29699 33554432000 1073741824 1073778376 140735946774688 140029425969576 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22060/tid=22065] ppid=22058 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22060/task/22065/stat : 22065 (java) S 22058 22060 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253321609 10060460032 29699 33554432000 1073741824 1073778376 140735946774688 140029424916776 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22060/tid=22066] ppid=22058 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22060/task/22066/stat : 22066 (java) S 22058 22060 21308 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 253321609 10060460032 29699 33554432000 1073741824 1073778376 140735946774688 140029423863976 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22060/tid=22067] ppid=22058 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22060/task/22067/stat : 22067 (java) S 22058 22060 21308 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253321609 10060460032 29699 33554432000 1073741824 1073778376 140735946774688 140029305285672 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22060/tid=22068] ppid=22058 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22060/task/22068/stat : 22068 (java) S 22058 22060 21308 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 253321609 10060460032 29699 33554432000 1073741824 1073778376 140735946774688 140029304232872 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22060/tid=22069] ppid=22058 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22060/task/22069/stat : 22069 (java) S 22058 22060 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253321609 10060460032 29699 33554432000 1073741824 1073778376 140735946774688 140029303180072 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22060/tid=22070] ppid=22058 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22060/task/22070/stat : 22070 (java) S 22058 22060 21308 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253321609 10060460032 29699 33554432000 1073741824 1073778376 140735946774688 140029302127272 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22060/tid=22071] ppid=22058 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/22060/task/22071/stat : 22071 (java) S 22058 22060 21308 0 -1 4202560 32 0 0 0 1 0 0 0 20 0 22 0 253321610 10060460032 29699 33554432000 1073741824 1073778376 140735946774688 140029289716200 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22060/tid=22072] ppid=22058 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22060/task/22072/stat : 22072 (java) S 22058 22060 21308 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253321610 10060460032 29699 33554432000 1073741824 1073778376 140735946774688 140028684526840 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22060/tid=22073] ppid=22058 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22060/task/22073/stat : 22073 (java) S 22058 22060 21308 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253321610 10060460032 29699 33554432000 1073741824 1073778376 140735946774688 140028683473928 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22060/tid=22074] ppid=22058 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22060/task/22074/stat : 22074 (java) S 22058 22060 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253321612 10060460032 29699 33554432000 1073741824 1073778376 140735946774688 140028682422416 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22060/tid=22075] ppid=22058 vsize=9824668 CPUtime=0.69 cores=1,3,5,7
/proc/22060/task/22075/stat : 22075 (java) S 22058 22060 21308 0 -1 4202560 3345 0 0 0 69 0 0 0 20 0 22 0 253321613 10060460032 29699 33554432000 1073741824 1073778376 140735946774688 140028681370552 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22060/tid=22076] ppid=22058 vsize=9824668 CPUtime=0.79 cores=1,3,5,7
/proc/22060/task/22076/stat : 22076 (java) S 22058 22060 21308 0 -1 4202560 6001 0 0 0 79 0 0 0 20 0 22 0 253321613 10060460032 29699 33554432000 1073741824 1073778376 140735946774688 140028680317752 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22060/tid=22077] ppid=22058 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22060/task/22077/stat : 22077 (java) S 22058 22060 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253321613 10060460032 29699 33554432000 1073741824 1073778376 140735946774688 140028679265144 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22060/tid=22078] ppid=22058 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22060/task/22078/stat : 22078 (java) S 22058 22060 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253321613 10060460032 29699 33554432000 1073741824 1073778376 140735946774688 140028678212552 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22060/tid=22082] ppid=22058 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22060/task/22082/stat : 22082 (java) S 22058 22060 21308 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253321634 10060460032 29699 33554432000 1073741824 1073778376 140735946774688 140028673999656 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22060/tid=22083] ppid=22058 vsize=9824668 CPUtime=0.69 cores=1,3,5,7
/proc/22060/task/22083/stat : 22083 (java) R 22058 22060 21308 0 -1 4202560 9 0 0 0 69 0 0 0 20 0 22 0 253321683 10060460032 29699 33554432000 1073741824 1073778376 140735946774688 140028676105304 140029306044835 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=22060/tid=22084] ppid=22058 vsize=9824668 CPUtime=0.69 cores=1,3,5,7
/proc/22060/task/22084/stat : 22084 (java) R 22058 22060 21308 0 -1 4202560 16 0 0 0 69 0 0 0 20 0 22 0 253321683 10060460032 29699 33554432000 1073741824 1073778376 140735946774688 140028677157656 140029305988320 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=22060/tid=22085] ppid=22058 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22060/task/22085/stat : 22085 (java) S 22058 22060 21308 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253321683 10060460032 29699 33554432000 1073741824 1073778376 140735946774688 140028675052968 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.54
Current children cumulated vsize (KiB) 9824668

[startup+3.10079 s]
/proc/loadavg: 1.19 0.32 0.11 5/219 22085
/proc/meminfo: memFree=28502228/32873844 swapFree=7100/7100
[pid=22060] ppid=22058 vsize=9824668 CPUtime=6.89 cores=1,3,5,7
/proc/22060/stat : 22060 (java) S 22058 22060 21308 0 -1 4202496 13263 0 1 0 678 11 0 0 20 0 22 0 253321607 10060460032 40464 33554432000 1073741824 1073778376 140735946774688 140735946765824 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22060/statm: 2456167 40464 2278 9 0 2446860 0
[pid=22060/tid=22062] ppid=22058 vsize=9824668 CPUtime=0.23 cores=1,3,5,7
/proc/22060/task/22062/stat : 22062 (java) S 22058 22060 21308 0 -1 4202560 2457 0 1 0 21 2 0 0 20 0 22 0 253321608 10060460032 40464 33554432000 1073741824 1073778376 140735946774688 140029465531384 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22060/tid=22063] ppid=22058 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/22060/task/22063/stat : 22063 (java) S 22058 22060 21308 0 -1 4202560 18 0 0 0 1 0 0 0 20 0 22 0 253321609 10060460032 40464 33554432000 1073741824 1073778376 140735946774688 140029427022376 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22060/tid=22064] ppid=22058 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22060/task/22064/stat : 22064 (java) S 22058 22060 21308 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253321609 10060460032 40464 33554432000 1073741824 1073778376 140735946774688 140029425969576 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22060/tid=22065] ppid=22058 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22060/task/22065/stat : 22065 (java) S 22058 22060 21308 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253321609 10060460032 40464 33554432000 1073741824 1073778376 140735946774688 140029424916776 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22060/tid=22066] ppid=22058 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/22060/task/22066/stat : 22066 (java) S 22058 22060 21308 0 -1 4202560 23 0 0 0 2 0 0 0 20 0 22 0 253321609 10060460032 40464 33554432000 1073741824 1073778376 140735946774688 140029423863976 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22060/tid=22067] ppid=22058 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22060/task/22067/stat : 22067 (java) S 22058 22060 21308 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253321609 10060460032 40464 33554432000 1073741824 1073778376 140735946774688 140029305285672 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22060/tid=22068] ppid=22058 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/22060/task/22068/stat : 22068 (java) S 22058 22060 21308 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 22 0 253321609 10060460032 40464 33554432000 1073741824 1073778376 140735946774688 140029304232872 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22060/tid=22069] ppid=22058 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22060/task/22069/stat : 22069 (java) S 22058 22060 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253321609 10060460032 40464 33554432000 1073741824 1073778376 140735946774688 140029303180072 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22060/tid=22070] ppid=22058 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/22060/task/22070/stat : 22070 (java) S 22058 22060 21308 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 22 0 253321609 10060460032 40464 33554432000 1073741824 1073778376 140735946774688 140029302127272 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22060/tid=22071] ppid=22058 vsize=9824668 CPUtime=0.1 cores=1,3,5,7
/proc/22060/task/22071/stat : 22071 (java) S 22058 22060 21308 0 -1 4202560 40 0 0 0 10 0 0 0 20 0 22 0 253321610 10060460032 40464 33554432000 1073741824 1073778376 140735946774688 140029289716200 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22060/tid=22072] ppid=22058 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22060/task/22072/stat : 22072 (java) S 22058 22060 21308 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253321610 10060460032 40464 33554432000 1073741824 1073778376 140735946774688 140028684526840 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22060/tid=22073] ppid=22058 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22060/task/22073/stat : 22073 (java) S 22058 22060 21308 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253321610 10060460032 40464 33554432000 1073741824 1073778376 140735946774688 140028683473928 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22060/tid=22074] ppid=22058 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22060/task/22074/stat : 22074 (java) S 22058 22060 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253321612 10060460032 40464 33554432000 1073741824 1073778376 140735946774688 140028682422416 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22060/tid=22075] ppid=22058 vsize=9824668 CPUtime=0.74 cores=1,3,5,7
/proc/22060/task/22075/stat : 22075 (java) S 22058 22060 21308 0 -1 4202560 3346 0 0 0 74 0 0 0 20 0 22 0 253321613 10060460032 40464 33554432000 1073741824 1073778376 140735946774688 140028681370552 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22060/tid=22076] ppid=22058 vsize=9824668 CPUtime=0.94 cores=1,3,5,7
/proc/22060/task/22076/stat : 22076 (java) S 22058 22060 21308 0 -1 4202560 6002 0 0 0 94 0 0 0 20 0 22 0 253321613 10060460032 40464 33554432000 1073741824 1073778376 140735946774688 140028680317752 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22060/tid=22077] ppid=22058 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22060/task/22077/stat : 22077 (java) S 22058 22060 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253321613 10060460032 40464 33554432000 1073741824 1073778376 140735946774688 140028679265144 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22060/tid=22078] ppid=22058 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22060/task/22078/stat : 22078 (java) S 22058 22060 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253321613 10060460032 40464 33554432000 1073741824 1073778376 140735946774688 140028678212552 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22060/tid=22082] ppid=22058 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22060/task/22082/stat : 22082 (java) S 22058 22060 21308 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253321634 10060460032 40464 33554432000 1073741824 1073778376 140735946774688 140028673999656 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22060/tid=22083] ppid=22058 vsize=9824668 CPUtime=2.18 cores=1,3,5,7
/proc/22060/task/22083/stat : 22083 (java) R 22058 22060 21308 0 -1 4202560 10 0 0 0 218 0 0 0 20 0 22 0 253321683 10060460032 40464 33554432000 1073741824 1073778376 140735946774688 140028676105304 140029305844648 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=22060/tid=22084] ppid=22058 vsize=9824668 CPUtime=2.17 cores=1,3,5,7
/proc/22060/task/22084/stat : 22084 (java) R 22058 22060 21308 0 -1 4202560 24 0 0 0 217 0 0 0 20 0 22 0 253321683 10060460032 40464 33554432000 1073741824 1073778376 140735946774688 140028677156968 140029306205948 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=22060/tid=22085] ppid=22058 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22060/task/22085/stat : 22085 (java) S 22058 22060 21308 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253321683 10060460032 40464 33554432000 1073741824 1073778376 140735946774688 140028675052968 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.89
Current children cumulated vsize (KiB) 9824668

[startup+6.30092 s]
/proc/loadavg: 1.19 0.32 0.11 7/219 22085
/proc/meminfo: memFree=28291388/32873844 swapFree=7100/7100
[pid=22060] ppid=22058 vsize=9824668 CPUtime=13.35 cores=1,3,5,7
/proc/22060/stat : 22060 (java) S 22058 22060 21308 0 -1 4202496 13323 0 1 0 1322 13 0 0 20 0 22 0 253321607 10060460032 48882 33554432000 1073741824 1073778376 140735946774688 140735946765824 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22060/statm: 2456167 48882 2279 9 0 2446860 0
[pid=22060/tid=22062] ppid=22058 vsize=9824668 CPUtime=0.23 cores=1,3,5,7
/proc/22060/task/22062/stat : 22062 (java) S 22058 22060 21308 0 -1 4202560 2459 0 1 0 21 2 0 0 20 0 22 0 253321608 10060460032 48882 33554432000 1073741824 1073778376 140735946774688 140029465531384 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22060/tid=22063] ppid=22058 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/22060/task/22063/stat : 22063 (java) S 22058 22060 21308 0 -1 4202560 19 0 0 0 2 0 0 0 20 0 22 0 253321609 10060460032 48882 33554432000 1073741824 1073778376 140735946774688 140029427022376 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22060/tid=22064] ppid=22058 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22060/task/22064/stat : 22064 (java) S 22058 22060 21308 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 253321609 10060460032 48882 33554432000 1073741824 1073778376 140735946774688 140029425969576 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22060/tid=22065] ppid=22058 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/22060/task/22065/stat : 22065 (java) S 22058 22060 21308 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 22 0 253321609 10060460032 48882 33554432000 1073741824 1073778376 140735946774688 140029424916776 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22060/tid=22066] ppid=22058 vsize=9824668 CPUtime=0.03 cores=1,3,5,7
/proc/22060/task/22066/stat : 22066 (java) S 22058 22060 21308 0 -1 4202560 25 0 0 0 2 1 0 0 20 0 22 0 253321609 10060460032 48882 33554432000 1073741824 1073778376 140735946774688 140029423863976 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22060/tid=22067] ppid=22058 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/22060/task/22067/stat : 22067 (java) S 22058 22060 21308 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 22 0 253321609 10060460032 48882 33554432000 1073741824 1073778376 140735946774688 140029305285672 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22060/tid=22068] ppid=22058 vsize=9824668 CPUtime=0.03 cores=1,3,5,7
/proc/22060/task/22068/stat : 22068 (java) S 22058 22060 21308 0 -1 4202560 16 0 0 0 3 0 0 0 20 0 22 0 253321609 10060460032 48882 33554432000 1073741824 1073778376 140735946774688 140029304232872 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22060/tid=22069] ppid=22058 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/22060/task/22069/stat : 22069 (java) S 22058 22060 21308 0 -1 4202560 6 0 0 0 2 0 0 0 20 0 22 0 253321609 10060460032 48882 33554432000 1073741824 1073778376 140735946774688 140029303180072 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22060/tid=22070] ppid=22058 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/22060/task/22070/stat : 22070 (java) S 22058 22060 21308 0 -1 4202560 12 0 0 0 2 0 0 0 20 0 22 0 253321609 10060460032 48882 33554432000 1073741824 1073778376 140735946774688 140029302127272 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22060/tid=22071] ppid=22058 vsize=9824668 CPUtime=0.32 cores=1,3,5,7
/proc/22060/task/22071/stat : 22071 (java) S 22058 22060 21308 0 -1 4202560 47 0 0 0 31 1 0 0 20 0 22 0 253321610 10060460032 48882 33554432000 1073741824 1073778376 140735946774688 140029289716200 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22060/tid=22072] ppid=22058 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22060/task/22072/stat : 22072 (java) S 22058 22060 21308 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253321610 10060460032 48882 33554432000 1073741824 1073778376 140735946774688 140028684526840 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22060/tid=22073] ppid=22058 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22060/task/22073/stat : 22073 (java) S 22058 22060 21308 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253321610 10060460032 48882 33554432000 1073741824 1073778376 140735946774688 140028683473928 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22060/tid=22074] ppid=22058 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22060/task/22074/stat : 22074 (java) S 22058 22060 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253321612 10060460032 48882 33554432000 1073741824 1073778376 140735946774688 140028682422416 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22060/tid=22075] ppid=22058 vsize=9824668 CPUtime=0.87 cores=1,3,5,7
/proc/22060/task/22075/stat : 22075 (java) S 22058 22060 21308 0 -1 4202560 3362 0 0 0 87 0 0 0 20 0 22 0 253321613 10060460032 48882 33554432000 1073741824 1073778376 140735946774688 140028681370552 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0

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

[pid=22060/tid=22083] ppid=22058 vsize=9824668 CPUtime=717.21 cores=1,3,5,7
/proc/22060/task/22083/stat : 22083 (java) R 22058 22060 21308 0 -1 4202560 93 0 0 0 71708 13 0 0 20 0 22 0 253321683 10060460032 747584 33554432000 1073741824 1073778376 140735946774688 140028676105304 140029305848005 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=22060/tid=22084] ppid=22058 vsize=9824668 CPUtime=717.38 cores=1,3,5,7
/proc/22060/task/22084/stat : 22084 (java) R 22058 22060 21308 0 -1 4202560 1504 0 0 0 71694 44 0 0 20 0 22 0 253321683 10060460032 747584 33554432000 1073741824 1073778376 140735946774688 140028677155720 140029306172673 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=22060/tid=22085] ppid=22058 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22060/task/22085/stat : 22085 (java) S 22058 22060 21308 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253321683 10060460032 747584 33554432000 1073741824 1073778376 140735946774688 140028675052968 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1488.22
Current children cumulated vsize (KiB) 9824668

[startup+822.301 s]
/proc/loadavg: 3.64 3.57 2.28 5/219 22105
/proc/meminfo: memFree=24985772/32873844 swapFree=7100/7100
[pid=22060] ppid=22058 vsize=9824668 CPUtime=1580.6 cores=1,3,5,7
/proc/22060/stat : 22060 (java) S 22058 22060 21308 0 -1 4202496 21206 0 1 0 157862 198 0 0 20 0 22 0 253321607 10060460032 747603 33554432000 1073741824 1073778376 140735946774688 140735946765824 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22060/statm: 2456167 747603 2280 9 0 2446860 0
[pid=22060/tid=22062] ppid=22058 vsize=9824668 CPUtime=0.28 cores=1,3,5,7
/proc/22060/task/22062/stat : 22062 (java) S 22058 22060 21308 0 -1 4202560 2524 0 1 0 25 3 0 0 20 0 22 0 253321608 10060460032 747603 33554432000 1073741824 1073778376 140735946774688 140029465531096 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22060/tid=22063] ppid=22058 vsize=9824668 CPUtime=1.31 cores=1,3,5,7
/proc/22060/task/22063/stat : 22063 (java) S 22058 22060 21308 0 -1 4202560 671 0 0 0 121 10 0 0 20 0 22 0 253321609 10060460032 747603 33554432000 1073741824 1073778376 140735946774688 140029427022376 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22060/tid=22064] ppid=22058 vsize=9824668 CPUtime=1.13 cores=1,3,5,7
/proc/22060/task/22064/stat : 22064 (java) S 22058 22060 21308 0 -1 4202560 333 0 0 0 104 9 0 0 20 0 22 0 253321609 10060460032 747603 33554432000 1073741824 1073778376 140735946774688 140029425969576 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22060/tid=22065] ppid=22058 vsize=9824668 CPUtime=1.08 cores=1,3,5,7
/proc/22060/task/22065/stat : 22065 (java) S 22058 22060 21308 0 -1 4202560 551 0 0 0 97 11 0 0 20 0 22 0 253321609 10060460032 747603 33554432000 1073741824 1073778376 140735946774688 140029424916776 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22060/tid=22066] ppid=22058 vsize=9824668 CPUtime=1.36 cores=1,3,5,7
/proc/22060/task/22066/stat : 22066 (java) S 22058 22060 21308 0 -1 4202560 640 0 0 0 121 15 0 0 20 0 22 0 253321609 10060460032 747603 33554432000 1073741824 1073778376 140735946774688 140029423863976 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22060/tid=22067] ppid=22058 vsize=9824668 CPUtime=1.14 cores=1,3,5,7
/proc/22060/task/22067/stat : 22067 (java) S 22058 22060 21308 0 -1 4202560 611 0 0 0 104 10 0 0 20 0 22 0 253321609 10060460032 747603 33554432000 1073741824 1073778376 140735946774688 140029305285672 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22060/tid=22068] ppid=22058 vsize=9824668 CPUtime=1.26 cores=1,3,5,7
/proc/22060/task/22068/stat : 22068 (java) S 22058 22060 21308 0 -1 4202560 367 0 0 0 112 14 0 0 20 0 22 0 253321609 10060460032 747603 33554432000 1073741824 1073778376 140735946774688 140029304232872 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22060/tid=22069] ppid=22058 vsize=9824668 CPUtime=1.3 cores=1,3,5,7
/proc/22060/task/22069/stat : 22069 (java) S 22058 22060 21308 0 -1 4202560 720 0 0 0 117 13 0 0 20 0 22 0 253321609 10060460032 747603 33554432000 1073741824 1073778376 140735946774688 140029303180072 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22060/tid=22070] ppid=22058 vsize=9824668 CPUtime=1.21 cores=1,3,5,7
/proc/22060/task/22070/stat : 22070 (java) S 22058 22060 21308 0 -1 4202560 530 0 0 0 109 12 0 0 20 0 22 0 253321609 10060460032 747603 33554432000 1073741824 1073778376 140735946774688 140029302127272 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22060/tid=22071] ppid=22058 vsize=9824668 CPUtime=45.56 cores=1,3,5,7
/proc/22060/task/22071/stat : 22071 (java) R 22058 22060 21308 0 -1 4202560 1909 0 0 0 4532 24 0 0 20 0 22 0 253321610 10060460032 747603 33554432000 1073741824 1073778376 140735946774688 140029289715048 140029471654304 0 0 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22060/tid=22072] ppid=22058 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22060/task/22072/stat : 22072 (java) S 22058 22060 21308 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253321610 10060460032 747603 33554432000 1073741824 1073778376 140735946774688 140028684526840 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22060/tid=22073] ppid=22058 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22060/task/22073/stat : 22073 (java) S 22058 22060 21308 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253321610 10060460032 747603 33554432000 1073741824 1073778376 140735946774688 140028683473928 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22060/tid=22074] ppid=22058 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22060/task/22074/stat : 22074 (java) S 22058 22060 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253321612 10060460032 747603 33554432000 1073741824 1073778376 140735946774688 140028682422416 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22060/tid=22075] ppid=22058 vsize=9824668 CPUtime=0.91 cores=1,3,5,7
/proc/22060/task/22075/stat : 22075 (java) S 22058 22060 21308 0 -1 4202560 3363 0 0 0 91 0 0 0 20 0 22 0 253321613 10060460032 747603 33554432000 1073741824 1073778376 140735946774688 140028681370552 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22060/tid=22076] ppid=22058 vsize=9824668 CPUtime=1.23 cores=1,3,5,7
/proc/22060/task/22076/stat : 22076 (java) S 22058 22060 21308 0 -1 4202560 6018 0 0 0 123 0 0 0 20 0 22 0 253321613 10060460032 747603 33554432000 1073741824 1073778376 140735946774688 140028680317752 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22060/tid=22077] ppid=22058 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22060/task/22077/stat : 22077 (java) S 22058 22060 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253321613 10060460032 747603 33554432000 1073741824 1073778376 140735946774688 140028679265144 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22060/tid=22078] ppid=22058 vsize=9824668 CPUtime=0.26 cores=1,3,5,7
/proc/22060/task/22078/stat : 22078 (java) S 22058 22060 21308 0 -1 4202560 49 0 0 0 13 13 0 0 20 0 22 0 253321613 10060460032 747603 33554432000 1073741824 1073778376 140735946774688 140028678212552 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22060/tid=22082] ppid=22058 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22060/task/22082/stat : 22082 (java) S 22058 22060 21308 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253321634 10060460032 747603 33554432000 1073741824 1073778376 140735946774688 140028673999656 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22060/tid=22103] ppid=22058 vsize=9824668 CPUtime=12.2 cores=1,3,5,7
/proc/22060/task/22103/stat : 22103 (java) S 22058 22060 21308 0 -1 4202560 4 0 0 0 1220 0 0 0 20 0 22 0 253402273 10060460032 747603 33554432000 1073741824 1073778376 140735946774688 140028675051864 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22060/tid=22104] ppid=22058 vsize=9824668 CPUtime=12.2 cores=1,3,5,7
/proc/22060/task/22104/stat : 22104 (java) S 22058 22060 21308 0 -1 4202560 5 0 0 0 1220 0 0 0 20 0 22 0 253402273 10060460032 747603 33554432000 1073741824 1073778376 140735946774688 140028676102536 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22060/tid=22105] ppid=22058 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22060/task/22105/stat : 22105 (java) S 22058 22060 21308 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253402273 10060460032 747603 33554432000 1073741824 1073778376 140735946774688 140028677158568 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1580.6
Current children cumulated vsize (KiB) 9824668

[startup+882.301 s]
/proc/loadavg: 3.95 3.66 2.39 5/220 22109
/proc/meminfo: memFree=25039272/32873844 swapFree=7100/7100
[pid=22060] ppid=22058 vsize=9824668 CPUtime=1690.72 cores=1,3,5,7
/proc/22060/stat : 22060 (java) S 22058 22060 21308 0 -1 4202496 21250 0 1 0 168871 201 0 0 20 0 22 0 253321607 10060460032 732702 33554432000 1073741824 1073778376 140735946774688 140735946765824 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22060/statm: 2456167 732702 2280 9 0 2446860 0
[pid=22060/tid=22062] ppid=22058 vsize=9824668 CPUtime=0.28 cores=1,3,5,7
/proc/22060/task/22062/stat : 22062 (java) S 22058 22060 21308 0 -1 4202560 2531 0 1 0 25 3 0 0 20 0 22 0 253321608 10060460032 732702 33554432000 1073741824 1073778376 140735946774688 140029465531384 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22060/tid=22063] ppid=22058 vsize=9824668 CPUtime=1.43 cores=1,3,5,7
/proc/22060/task/22063/stat : 22063 (java) S 22058 22060 21308 0 -1 4202560 675 0 0 0 133 10 0 0 20 0 22 0 253321609 10060460032 732702 33554432000 1073741824 1073778376 140735946774688 140029427022376 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22060/tid=22064] ppid=22058 vsize=9824668 CPUtime=1.26 cores=1,3,5,7
/proc/22060/task/22064/stat : 22064 (java) S 22058 22060 21308 0 -1 4202560 333 0 0 0 117 9 0 0 20 0 22 0 253321609 10060460032 732702 33554432000 1073741824 1073778376 140735946774688 140029425969576 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22060/tid=22065] ppid=22058 vsize=9824668 CPUtime=1.17 cores=1,3,5,7
/proc/22060/task/22065/stat : 22065 (java) S 22058 22060 21308 0 -1 4202560 551 0 0 0 106 11 0 0 20 0 22 0 253321609 10060460032 732702 33554432000 1073741824 1073778376 140735946774688 140029424916776 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22060/tid=22066] ppid=22058 vsize=9824668 CPUtime=1.47 cores=1,3,5,7
/proc/22060/task/22066/stat : 22066 (java) S 22058 22060 21308 0 -1 4202560 645 0 0 0 132 15 0 0 20 0 22 0 253321609 10060460032 732702 33554432000 1073741824 1073778376 140735946774688 140029423863976 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22060/tid=22067] ppid=22058 vsize=9824668 CPUtime=1.25 cores=1,3,5,7
/proc/22060/task/22067/stat : 22067 (java) S 22058 22060 21308 0 -1 4202560 613 0 0 0 115 10 0 0 20 0 22 0 253321609 10060460032 732702 33554432000 1073741824 1073778376 140735946774688 140029305285672 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22060/tid=22068] ppid=22058 vsize=9824668 CPUtime=1.39 cores=1,3,5,7
/proc/22060/task/22068/stat : 22068 (java) S 22058 22060 21308 0 -1 4202560 374 0 0 0 125 14 0 0 20 0 22 0 253321609 10060460032 732702 33554432000 1073741824 1073778376 140735946774688 140029304232872 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22060/tid=22069] ppid=22058 vsize=9824668 CPUtime=1.41 cores=1,3,5,7
/proc/22060/task/22069/stat : 22069 (java) S 22058 22060 21308 0 -1 4202560 723 0 0 0 128 13 0 0 20 0 22 0 253321609 10060460032 732702 33554432000 1073741824 1073778376 140735946774688 140029303180072 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22060/tid=22070] ppid=22058 vsize=9824668 CPUtime=1.32 cores=1,3,5,7
/proc/22060/task/22070/stat : 22070 (java) S 22058 22060 21308 0 -1 4202560 533 0 0 0 120 12 0 0 20 0 22 0 253321609 10060460032 732702 33554432000 1073741824 1073778376 140735946774688 140029302127272 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22060/tid=22071] ppid=22058 vsize=9824668 CPUtime=55.79 cores=1,3,5,7
/proc/22060/task/22071/stat : 22071 (java) S 22058 22060 21308 0 -1 4202560 1914 0 0 0 5554 25 0 0 20 0 22 0 253321610 10060460032 732702 33554432000 1073741824 1073778376 140735946774688 140029289716200 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22060/tid=22072] ppid=22058 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22060/task/22072/stat : 22072 (java) S 22058 22060 21308 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253321610 10060460032 732702 33554432000 1073741824 1073778376 140735946774688 140028684526840 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22060/tid=22073] ppid=22058 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22060/task/22073/stat : 22073 (java) S 22058 22060 21308 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253321610 10060460032 732702 33554432000 1073741824 1073778376 140735946774688 140028683473928 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22060/tid=22074] ppid=22058 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22060/task/22074/stat : 22074 (java) S 22058 22060 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253321612 10060460032 732702 33554432000 1073741824 1073778376 140735946774688 140028682422416 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22060/tid=22075] ppid=22058 vsize=9824668 CPUtime=0.91 cores=1,3,5,7
/proc/22060/task/22075/stat : 22075 (java) S 22058 22060 21308 0 -1 4202560 3363 0 0 0 91 0 0 0 20 0 22 0 253321613 10060460032 732702 33554432000 1073741824 1073778376 140735946774688 140028681370552 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22060/tid=22076] ppid=22058 vsize=9824668 CPUtime=1.23 cores=1,3,5,7
/proc/22060/task/22076/stat : 22076 (java) S 22058 22060 21308 0 -1 4202560 6018 0 0 0 123 0 0 0 20 0 22 0 253321613 10060460032 732702 33554432000 1073741824 1073778376 140735946774688 140028680317752 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22060/tid=22077] ppid=22058 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22060/task/22077/stat : 22077 (java) S 22058 22060 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253321613 10060460032 732702 33554432000 1073741824 1073778376 140735946774688 140028679265144 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22060/tid=22078] ppid=22058 vsize=9824668 CPUtime=0.28 cores=1,3,5,7
/proc/22060/task/22078/stat : 22078 (java) S 22058 22060 21308 0 -1 4202560 51 0 0 0 14 14 0 0 20 0 22 0 253321613 10060460032 732702 33554432000 1073741824 1073778376 140735946774688 140028678212552 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22060/tid=22082] ppid=22058 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22060/task/22082/stat : 22082 (java) S 22058 22060 21308 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253321634 10060460032 732702 33554432000 1073741824 1073778376 140735946774688 140028673999656 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22060/tid=22103] ppid=22058 vsize=9824668 CPUtime=61.69 cores=1,3,5,7
/proc/22060/task/22103/stat : 22103 (java) R 22058 22060 21308 0 -1 4202560 10 0 0 0 6169 0 0 0 20 0 22 0 253402273 10060460032 732702 33554432000 1073741824 1073778376 140735946774688 140028675051864 140029305911042 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=22060/tid=22104] ppid=22058 vsize=9824668 CPUtime=61.71 cores=1,3,5,7
/proc/22060/task/22104/stat : 22104 (java) R 22058 22060 21308 0 -1 4202560 5 0 0 0 6171 0 0 0 20 0 22 0 253402273 10060460032 732702 33554432000 1073741824 1073778376 140735946774688 140028676102160 140029306172743 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22060/tid=22105] ppid=22058 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22060/task/22105/stat : 22105 (java) S 22058 22060 21308 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253402273 10060460032 732702 33554432000 1073741824 1073778376 140735946774688 140028677158568 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1690.72
Current children cumulated vsize (KiB) 9824668



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+939.601 s]
/proc/loadavg: 4.15 3.77 2.50 5/219 22174
/proc/meminfo: memFree=25399992/32873844 swapFree=7100/7100
[pid=22060] ppid=22058 vsize=9824668 CPUtime=1800.18 cores=1,3,5,7
/proc/22060/stat : 22060 (java) S 22058 22060 21308 0 -1 4202496 21292 0 1 0 179814 204 0 0 20 0 22 0 253321607 10060460032 728934 33554432000 1073741824 1073778376 140735946774688 140735946765824 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22060/statm: 2456167 728934 2280 9 0 2446860 0
[pid=22060/tid=22062] ppid=22058 vsize=9824668 CPUtime=0.29 cores=1,3,5,7
/proc/22060/task/22062/stat : 22062 (java) S 22058 22060 21308 0 -1 4202560 2538 0 1 0 26 3 0 0 20 0 22 0 253321608 10060460032 728934 33554432000 1073741824 1073778376 140735946774688 140029465531384 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22060/tid=22063] ppid=22058 vsize=9824668 CPUtime=1.47 cores=1,3,5,7
/proc/22060/task/22063/stat : 22063 (java) S 22058 22060 21308 0 -1 4202560 684 0 0 0 137 10 0 0 20 0 22 0 253321609 10060460032 728934 33554432000 1073741824 1073778376 140735946774688 140029427022376 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22060/tid=22064] ppid=22058 vsize=9824668 CPUtime=1.32 cores=1,3,5,7
/proc/22060/task/22064/stat : 22064 (java) S 22058 22060 21308 0 -1 4202560 338 0 0 0 122 10 0 0 20 0 22 0 253321609 10060460032 728934 33554432000 1073741824 1073778376 140735946774688 140029425969576 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22060/tid=22065] ppid=22058 vsize=9824668 CPUtime=1.2 cores=1,3,5,7
/proc/22060/task/22065/stat : 22065 (java) S 22058 22060 21308 0 -1 4202560 551 0 0 0 109 11 0 0 20 0 22 0 253321609 10060460032 728934 33554432000 1073741824 1073778376 140735946774688 140029424916776 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22060/tid=22066] ppid=22058 vsize=9824668 CPUtime=1.5 cores=1,3,5,7
/proc/22060/task/22066/stat : 22066 (java) S 22058 22060 21308 0 -1 4202560 646 0 0 0 135 15 0 0 20 0 22 0 253321609 10060460032 728934 33554432000 1073741824 1073778376 140735946774688 140029423863976 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22060/tid=22067] ppid=22058 vsize=9824668 CPUtime=1.3 cores=1,3,5,7
/proc/22060/task/22067/stat : 22067 (java) S 22058 22060 21308 0 -1 4202560 614 0 0 0 120 10 0 0 20 0 22 0 253321609 10060460032 728934 33554432000 1073741824 1073778376 140735946774688 140029305285672 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22060/tid=22068] ppid=22058 vsize=9824668 CPUtime=1.43 cores=1,3,5,7
/proc/22060/task/22068/stat : 22068 (java) S 22058 22060 21308 0 -1 4202560 374 0 0 0 129 14 0 0 20 0 22 0 253321609 10060460032 728934 33554432000 1073741824 1073778376 140735946774688 140029304232872 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22060/tid=22069] ppid=22058 vsize=9824668 CPUtime=1.45 cores=1,3,5,7
/proc/22060/task/22069/stat : 22069 (java) S 22058 22060 21308 0 -1 4202560 727 0 0 0 132 13 0 0 20 0 22 0 253321609 10060460032 728934 33554432000 1073741824 1073778376 140735946774688 140029303180072 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22060/tid=22070] ppid=22058 vsize=9824668 CPUtime=1.36 cores=1,3,5,7
/proc/22060/task/22070/stat : 22070 (java) S 22058 22060 21308 0 -1 4202560 534 0 0 0 124 12 0 0 20 0 22 0 253321609 10060460032 728934 33554432000 1073741824 1073778376 140735946774688 140029302127272 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22060/tid=22071] ppid=22058 vsize=9824668 CPUtime=61.07 cores=1,3,5,7
/proc/22060/task/22071/stat : 22071 (java) S 22058 22060 21308 0 -1 4202560 1924 0 0 0 6080 27 0 0 20 0 22 0 253321610 10060460032 728934 33554432000 1073741824 1073778376 140735946774688 140029289716200 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22060/tid=22072] ppid=22058 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22060/task/22072/stat : 22072 (java) S 22058 22060 21308 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253321610 10060460032 728934 33554432000 1073741824 1073778376 140735946774688 140028684526840 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22060/tid=22073] ppid=22058 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22060/task/22073/stat : 22073 (java) S 22058 22060 21308 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253321610 10060460032 728934 33554432000 1073741824 1073778376 140735946774688 140028683473928 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22060/tid=22074] ppid=22058 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22060/task/22074/stat : 22074 (java) S 22058 22060 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253321612 10060460032 728934 33554432000 1073741824 1073778376 140735946774688 140028682422416 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22060/tid=22075] ppid=22058 vsize=9824668 CPUtime=0.91 cores=1,3,5,7
/proc/22060/task/22075/stat : 22075 (java) S 22058 22060 21308 0 -1 4202560 3363 0 0 0 91 0 0 0 20 0 22 0 253321613 10060460032 728934 33554432000 1073741824 1073778376 140735946774688 140028681370552 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22060/tid=22076] ppid=22058 vsize=9824668 CPUtime=1.23 cores=1,3,5,7
/proc/22060/task/22076/stat : 22076 (java) S 22058 22060 21308 0 -1 4202560 6018 0 0 0 123 0 0 0 20 0 22 0 253321613 10060460032 728934 33554432000 1073741824 1073778376 140735946774688 140028680317752 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22060/tid=22077] ppid=22058 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22060/task/22077/stat : 22077 (java) S 22058 22060 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253321613 10060460032 728934 33554432000 1073741824 1073778376 140735946774688 140028679265144 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22060/tid=22078] ppid=22058 vsize=9824668 CPUtime=0.3 cores=1,3,5,7
/proc/22060/task/22078/stat : 22078 (java) S 22058 22060 21308 0 -1 4202560 55 0 0 0 15 15 0 0 20 0 22 0 253321613 10060460032 728934 33554432000 1073741824 1073778376 140735946774688 140028678212552 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22060/tid=22082] ppid=22058 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22060/task/22082/stat : 22082 (java) S 22058 22060 21308 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253321634 10060460032 728934 33554432000 1073741824 1073778376 140735946774688 140028673999656 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22060/tid=22103] ppid=22058 vsize=9824668 CPUtime=113.62 cores=1,3,5,7
/proc/22060/task/22103/stat : 22103 (java) R 22058 22060 21308 0 -1 4202560 10 0 0 0 11361 1 0 0 20 0 22 0 253402273 10060460032 728934 33554432000 1073741824 1073778376 140735946774688 140028675051744 140029305868936 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=22060/tid=22104] ppid=22058 vsize=9824668 CPUtime=113.63 cores=1,3,5,7
/proc/22060/task/22104/stat : 22104 (java) R 22058 22060 21308 0 -1 4202560 5 0 0 0 11362 1 0 0 20 0 22 0 253402273 10060460032 728934 33554432000 1073741824 1073778376 140735946774688 140028676102160 140029306172724 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=22060/tid=22105] ppid=22058 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22060/task/22105/stat : 22105 (java) S 22058 22060 21308 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253402273 10060460032 728934 33554432000 1073741824 1073778376 140735946774688 140028677158568 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.18
Current children cumulated vsize (KiB) 9824668

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

Child status: 143
Real time (s): 939.668
CPU time (s): 1800.53
CPU user time (s): 1798.28
CPU system time (s): 2.25266
CPU usage (%): 191.613
Max. virtual memory (cumulated for all children) (KiB): 9824668

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.28
system time used= 2.25266
maximum resident set size= 2990424
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21331
page faults= 1
swaps= 0
block input operations= 0
block output operations= 968
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 25921
involuntary context switches= 29064

runsolver used 3.39148 second user time and 9.26459 second system time

The end

Launcher Data 

Begin job on node103 at 2012-05-24 17:05:30
IDJOB=3687524
IDBENCH=1856
IDSOLVER=2268
FILE ID=node103/3687524-1337871930
RUNJOBID= node103-1337871881-21325
PBS_JOBID= 14620101
Free space on /tmp= 71716 MiB

SOLVER NAME= SAT 4j PB RES // CP 2.3.2 Snapshot
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-lp4l.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3687524-1337871930/watcher-3687524-1337871930 -o /tmp/evaluation-result-3687524-1337871930/solver-3687524-1337871930 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar Both HOME/instance-3687524-1337871930.opb

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

MD5SUM BENCH= 8d2c17131f0dd6c2b5d472cf1eef4c89
RANDOM SEED=1473233965

node103.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.189
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.37
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.189
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	: 5331.91
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.189
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	: 5331.92
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.189
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	: 5331.91
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.189
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	: 5331.91
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.189
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	: 5411.36
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.189
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	: 5331.91
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.189
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	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        28897720 kB
Buffers:          198100 kB
Cached:          2651172 kB
SwapCached:            0 kB
Active:          1026652 kB
Inactive:        2177608 kB
Active(anon):     357696 kB
Inactive(anon):        0 kB
Active(file):     668956 kB
Inactive(file):  2177608 kB
Unevictable:        7100 kB
Mlocked:            7100 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              1152 kB
Writeback:             0 kB
AnonPages:        362300 kB
Mapped:            22508 kB
Shmem:               200 kB
Slab:             627144 kB
SReclaimable:      68484 kB
SUnreclaim:       558660 kB
KernelStack:        1600 kB
PageTables:         4840 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1085368 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    301056 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71696 MiB
End job on node103 at 2012-05-24 17:21:12